Investigation Report

Kind: algorithm

Record: algorithms:investigation-report

Canonical: Algorithms

Closure: Dependencies in load order

Collect verified findings, failed checks, warnings, discrepancies, environmental limits, adversarial results, and confidence level into a structured report without performing remediation.

Listed in Algorithm contracts, after Advanced Tool Escalation and before Action Log.

Domain

• Context verification

Stage

• commit

Axis

• representation

Tier

• process

Named in the derivation of

• Contract-Based Verification Kernel

Math type

• Information Theory

Force

• Correctness verification

Linked from

• Context verification
• The derivation loop
• The axes
• The mathematics
• Domain tiers
• The forces