# Investigation Report

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

Record: `algo:investigation-report`
Kind: context-verification
Canonical: https://banes-lab.com/ontology/algorithms#algo-investigation-report
Closure: https://banes-lab.com/json/records/algo/investigation-report/closure

## stage

- [commit](https://banes-lab.com/records/stage/commit.md)

## axis

- [representation](https://banes-lab.com/records/reason/axis-representation.md)

## derived-by

- [Contract-Based Verification Kernel](https://banes-lab.com/records/algo/contract-based-verification-kernel.md)