CAIN-42 CAIN StudioCAIN-42 evidence library
118 invariants
From CAIN-42 Evolution 20 -- Governed Agentic Civilization Fabric.
Last reviewed 2026-10-01
| ID | Rule | Niche | Result |
|---|---|---|---|
| I1 | organization cannot create authority | Identity, authority & delegation | held |
| I2 | institution cannot create authority | Identity, authority & delegation | held |
| I3 | wealth cannot create authority | Identity, authority & delegation | held |
| I4 | resources cannot create authority | Identity, authority & delegation | held |
| I5 | reputation cannot create authority | Identity, authority & delegation | held |
| I6 | membership cannot create authority | Identity, authority & delegation | held |
| I7 | majority cannot create authority | Identity, authority & delegation | held |
| I8 | consensus cannot create authority | Consensus & distributed systems | held |
| I9 | negotiation cannot create authority | Identity, authority & delegation | held |
| I10 | contract cannot exceed issuer authority | Identity, authority & delegation | held |
| I11 | child agent cannot inherit unlimited authority | Identity, authority & delegation | held |
| I12 | agent spawning cannot bypass governance | Policy, law & governance | held |
| I13 | institutional memory cannot create authority | Identity, authority & delegation | held |
| I14 | institutional reputation cannot create authority | Identity, authority & delegation | held |
| I15 | organizational evolution cannot create authority | Identity, authority & delegation | held |
| I16 | economic success cannot create authority | Identity, authority & delegation | held |
| I17 | capability accumulation cannot create authority | Identity, authority & delegation | held |
| I18 | trust propagation must remain bounded | Trust & reputation | held |
| I19 | delegation cannot exceed parent authority | Identity, authority & delegation | held |
| I20 | institution federation cannot bypass policy | Policy, law & governance | held |
| I21 | resources require provenance | Evidence, receipts & proofs | held |
| I22 | contracts require provenance | Evidence, receipts & proofs | held |
| I23 | memberships require provenance | Evidence, receipts & proofs | held |
| I24 | authority relationships require provenance | Identity, authority & delegation | held |
| I25 | institutional mutations require provenance | Evidence, receipts & proofs | held |
| I26 | terminated authority cannot resurrect | Identity, authority & delegation | held |
| I27 | dissolved institutions cannot execute | Core guarantees | held |
| I28 | expired contracts cannot authorize | Identity, authority & delegation | held |
| I29 | revoked relationships cannot authorize | Identity, authority & delegation | held |
| I30 | revoked credentials cannot authorize | Identity, authority & delegation | held |
| I31 | simulation cannot execute | Prediction, world models & simulation | held |
| I32 | counterfactual cannot execute | Prediction, world models & simulation | held |
| I33 | market simulation cannot create real transactions | Prediction, world models & simulation | held |
| I34 | reputation simulation cannot create trust | Prediction, world models & simulation | held |
| I35 | economic simulation cannot create authority | Identity, authority & delegation | held |
| I36 | institutional goals inherit constraints | Core guarantees | held |
| I37 | sub-organizations inherit constraints | Supply chain, registry & lifecycle | held |
| I38 | child agents inherit bounded constraints | Core guarantees | held |
| I39 | institutional emergency cannot create unlimited authority | Attacks, threats & containment | held |
| I40 | institutional recovery cannot create authority | Identity, authority & delegation | held |
| I41 | collusion detection is not certainty | Core guarantees | held |
| I42 | reputation is evidence, not truth | Evidence, receipts & proofs | held |
| I43 | trust is not authority | Identity, authority & delegation | held |
| I44 | consensus is not authorization | Consensus & distributed systems | held |
| I45 | capability is not permission | Identity, authority & delegation | held |
| I46 | institutional autonomy is bounded | Autonomy, control loops & recovery | held |
| I47 | institutional state is auditable | Core guarantees | held |
| I48 | institutional lineage is reconstructable | Evidence, receipts & proofs | held |
| I49 | institutional evolution is governed | Autonomy, control loops & recovery | held |
| I50 | institutional dissolution is enforceable | Policy, law & governance | held |
| I51 | UNKNOWN never silently becomes ALLOW | Core guarantees | held |
| I52 | member authority is an intersection, never a sum | Identity, authority & delegation | held |
| I53 | institution authority re-derives as boundary ∩ founding ∩ state ceiling ∩ parent | Identity, authority & delegation | held |
| I54 | every consequential institutional action reaches E8 | Core guarantees | held |
| I55 | a token never skips an E20 verdict | Core guarantees | held |
| I56 | verdicts re-run after token issuance (TOCTOU) | Core guarantees | held |
| I57 | E19 invalidation applies to institutional actions | Core guarantees | held |
| I58 | institutional powers are not E8 operations | Core guarantees | held |
| I59 | legitimate member action is authorized | Identity, authority & delegation | held |
| I60 | legitimate sequential action is not replay | Core guarantees | held |
| I61 | legitimate contract lifecycle works | Transactions, markets & economics | held |
| I62 | legitimate economic settlement works and conserves | Transactions, markets & economics | held |
| I63 | legitimate spawning works | Supply chain, registry & lifecycle | held |
| I64 | legitimate delegation works | Identity, authority & delegation | held |
| I65 | legitimate negotiation completes | Transactions, markets & economics | held |
| I66 | legitimate recovery restores operation | Autonomy, control loops & recovery | held |
| I67 | narrowing needs no quorum | Consensus & distributed systems | held |
| I68 | governed widening with quorum works | Consensus & distributed systems | held |
| I69 | governed constitutional mutation works | Policy, law & governance | held |
| I70 | governed dissolution works and is receipted | Evidence, receipts & proofs | held |
| I71 | resources are conserved through every flow | Core guarantees | held |
| I72 | the ledger rebuilds from its chain and discards unchained edits | Evidence, receipts & proofs | held |
| I73 | double spend is impossible | Transactions, markets & economics | held |
| I74 | escrow returns exactly once | Transactions, markets & economics | held |
| I75 | termination is a governed cascade | Core guarantees | held |
| I76 | termination receipts are signed | Evidence, receipts & proofs | held |
| I77 | birth certificates bind every inherited dimension | Evidence, receipts & proofs | held |
| I78 | each inheritance dimension is independently bounded | Core guarantees | held |
| I79 | institutional history is append-only and hash-chained | Evidence, receipts & proofs | held |
| I80 | memory, knowledge, evidence, policy and authority are separate | Identity, authority & delegation | held |
| I81 | reputation decays | Trust & reputation | held |
| I82 | Sybil issuers count once | Attacks, threats & containment | held |
| I83 | trust revocation is effective | Identity, authority & delegation | held |
| I84 | circular validation is detected | Core guarantees | held |
| I85 | absence of a collusion signal is UNKNOWN | Core guarantees | held |
| I86 | the power engine is observational only | Prediction, world models & simulation | held |
| I87 | blast radius separates predicted, observed and unknown | Prediction, world models & simulation | held |
| I88 | dispute resolution never fabricates certainty | Transactions, markets & economics | held |
| I89 | disputes preserve competing claims | Transactions, markets & economics | held |
| I90 | a resolver is never a party | Core guarantees | held |
| I91 | the audit reconstructs the institution | Core guarantees | held |
| I92 | lineage verifies and detects tampering | Attacks, threats & containment | held |
| I93 | a state fork needs governance | Consensus & distributed systems | held |
| I94 | supply-chain substitution is detected per kind | Attacks, threats & containment | held |
| I95 | capability injection is refused | Attacks, threats & containment | held |
| I96 | the digital twin mirrors reality and never changes it | Prediction, world models & simulation | held |
| I97 | the institutional control loop is ordered | Autonomy, control loops & recovery | held |
| I98 | EXECUTE needs an AUTHORIZED decision | Identity, authority & delegation | held |
| I99 | autonomy escalation needs evidence and, for AUTONOMOUS+, a quorum | Consensus & distributed systems | held |
| I100 | authority contracts automatically on deterioration | Identity, authority & delegation | held |
| I101 | assessment never raises autonomy | Autonomy, control loops & recovery | held |
| I102 | the constitution cannot be silently modified | Policy, law & governance | held |
| I103 | append-only audit cannot be removed | Core guarantees | held |
| I104 | the governance quorum excludes the proposer | Consensus & distributed systems | held |
| I105 | approvals are subject-bound | Identity, authority & delegation | held |
| I106 | cross-institution authority is re-checked against the grantor at use | Identity, authority & delegation | held |
| I107 | competition grants nothing | Core guarantees | held |
| I108 | market eligibility is computed authority | Identity, authority & delegation | held |
| I109 | real-money settlement is refused everywhere | Transactions, markets & economics | held |
| I110 | public claims map to evidence | Evidence, receipts & proofs | held |
| I111 | full regression must not be bypassed | Benchmarks, coverage & performance | held |
| I112 | physical and societal control is not claimed | Tools, MCP, protocols & adapters | held |
| I113 | local tests do not equal multi-host verification | Core guarantees | held |
| I114 | internal verification does not equal third-party verification | Core guarantees | held |
| I115 | the verifier does not trust CAIN implementation | Trust & reputation | held |
| I116 | proof mirrors are byte-verifiable | Evidence, receipts & proofs | held |
| I117 | evidence is independently hash-verifiable | Evidence, receipts & proofs | held |
| I118 | the end-to-end scenario is deterministic | Core guarantees | held |
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