IMPLEMENTED, TESTED (library). NOT DEPLOYED at the enforcement boundary. Same-project clean-room verification only; no third party has verified it.
Portable, per-action governance proofs: a 14-stage, causally-linked, per-stage-signed chain (IDENTITY→AUTHORITY→INTENT→POLICY→RISK→PREDICTION?→DELIBERATION?→QUORUM?→DECISION→ENVELOPE→LEASE→EXECUTION→OBSERVATION→EVIDENCE) whose verifier recomputes every digest and signature and needs no CAIN code.
| Conformance | 10/10 |
|---|---|
| Byzantine attack lab | 21/21 blocked |
| Formal invariants P1–P15 | 15/15 |
| Property search | 200/200 base verified · 200/200 mutations caught · 0 escapes |
| Verification latency (single process) | p50 3.46 ms |
python3 verify_publisher.py e11-governance-proof-2026-10-05 e11-governance-proof-2026-10-05.attestation.json \
&& python3 verify_e11.py.txt .See REPRODUCTION.md and E11_LIMITATIONS.json.
The publisher key is CAIN's own, so this proves publication and internal consistency — not truth, and not independent verification.