CAIN-42 CAIN StudioCAIN-42 evidence library
Evolution 01 — Byzantine Governance Kernel (evidence bundle)
Evidence bundle: 0 claims, 0 of 0 invariants held.
Last reviewed 2026-10-04
The bundle's own README
Evolution 01 — Byzantine Governance Kernel (evidence bundle)#
Canonical governance ABI + action model + governed-action state machine + fail-closed authorization binding; 26/26 tests; invariants INV-01..INV-12 12/12; clean-room authorization proof VERIFIED.
Verify offline (zero CAIN imports): python3 verifier.py AUTHORIZATION_PROOF.json
Try CAIN-42 on your own agents
Create a free account and every new account starts with a 7-day trial of the full platform. Or try the sandbox first, with no account at all.
Create a free account → · Try the sandbox · See the whole ecosystem