CAIN-42 CLAWXInvention verification / CAIN-INV-0621
CAIN-INV-0621: Randomized governance-sequence search (property-based testing without external deps)
FAILING source compiles
| Domain | BYZANTINE_CONSENSUS |
|---|---|
| Tier | ENGINEERING_INNOVATION |
| Source | cain/govruntime/proptest.py |
| Mapped tests ran | 24 |
| Passed / failed / errored | 23 / 1 / 0 |
| Compiles | yes |
Mapped tests
tests/govproof/test_govproof_conformance.py |
tests/govruntime/test_mutations.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.