Invention verification / CAIN-INV-0508
CAIN-INV-0508: Clean-room offline verifier for CAIN governance contracts (cain.contract.v1)
VERIFIED source compiles
| Domain | COMPLIANCE_AND_ASSURANCE |
|---|---|
| Tier | ENGINEERING_INNOVATION |
| Source | platform-gateway/frontend/proof/bundle/auditor-kit/contract_verify_offline.py |
| Mapped tests ran | 1268 |
| Passed / failed / errored | 1268 / 0 / 0 |
| Compiles | yes |
Mapped tests
tests/test_auditor_pack.py |
tests/test_contract_evolution2.py |
tests/test_contract_forecast.py |
tests/test_external_trust.py |
tests/test_governance_contract.py |
tests/test_governance_contract_cleanroom.py |
Generated 2026-10-06T19:15:35Z from git unknown. This page is a republication of the run result; it is not an independent audit.
Same-project verification only. The tests are authored in this repository; no third party has reviewed or reproduced these results. VERIFIED means the mapped tests passed in this run, not that the mechanism is independently correct.