CAIN-42 CAIN StudioCAIN-42 evidence library
106 invariants
From CAIN-42 Evolution 29 -- Governed Agentic Internet Transaction Fabric.
Last reviewed 2026-10-01
| ID | Rule | Niche | Result |
|---|---|---|---|
| E29-L1 | no governed identity, no governed transaction | Policy, law & governance | held |
| E29-L2 | no authority, no authorization | Policy, law & governance | held |
| E29-L3 | no authorization, no execution | Policy, law & governance | held |
| E29-L4 | no evidence, no trust upgrade | Policy, law & governance | held |
| E29-L5 | no portable authority | Policy, law & governance | held |
| E29-L6 | unknown never becomes verified | Policy, law & governance | held |
| E29-L7 | agreement is not authorization | Policy, law & governance | held |
| E29-L8 | reputation is not authorization | Policy, law & governance | held |
| E29-L9 | discovery is not trust | Policy, law & governance | held |
| E29-L10 | authority to act is not authority to complete every transaction | Policy, law & governance | held |
| E29-L11 | no money moves without an E8-committed governance receipt | Policy, law & governance | held |
| E29-L12 | a claim of success never releases escrow | Policy, law & governance | held |
| E29-L13 | confidence never resolves a dispute | Policy, law & governance | held |
| E29-L14 | degraded mode never escalates privilege | Policy, law & governance | held |
| E29-L15 | organizational scale never creates unbounded authority | Policy, law & governance | held |
| E29-L16 | no agent promotes its own code to production | Policy, law & governance | held |
| E29-L17 | a learned rule never activates without a governed approval | Policy, law & governance | held |
| E29-L18 | a restart never restores authority | Policy, law & governance | held |
| E29-L19 | graph intelligence is a risk signal, never a grant | Policy, law & governance | held |
| E29-L20 | routing never bypasses E8 | Policy, law & governance | held |
| E29-S-DISCOVER | a veto at DISCOVER aborts the transaction and no later stage runs | Transactions, markets & economics | held |
| E29-S-IDENTIFY | a veto at IDENTIFY aborts the transaction and no later stage runs | Transactions, markets & economics | held |
| E29-S-NEGOTIATE | a veto at NEGOTIATE aborts the transaction and no later stage runs | Transactions, markets & economics | held |
| E29-S-PROPOSE | a veto at PROPOSE aborts the transaction and no later stage runs | Transactions, markets & economics | held |
| E29-S-CONTRACT | a veto at CONTRACT aborts the transaction and no later stage runs | Transactions, markets & economics | held |
| E29-S-AUTHORIZE | a veto at AUTHORIZE aborts the transaction and no later stage runs | Identity, authority & delegation | held |
| E29-S-COMMIT | a veto at COMMIT aborts the transaction and no later stage runs | Transactions, markets & economics | held |
| E29-S-EXECUTE | a veto at EXECUTE aborts the transaction and no later stage runs | Transactions, markets & economics | held |
| E29-S-SETTLE | a veto at SETTLE aborts the transaction and no later stage runs | Transactions, markets & economics | held |
| E29-S-VERIFY | a veto at VERIFY aborts the transaction and no later stage runs | Transactions, markets & economics | held |
| E29-S-RECORD | a veto at RECORD aborts the transaction and no later stage runs | Transactions, markets & economics | held |
| E29-S-REASSESS | a veto at REASSESS aborts the transaction and no later stage runs | Transactions, markets & economics | held |
| E29-B-transaction_id | the transaction envelope binds 'transaction_id' under its signature | Evidence, receipts & proofs | held |
| E29-B-execution_identity | the transaction envelope binds 'execution_identity' under its signature | Evidence, receipts & proofs | held |
| E29-B-principal | the transaction envelope binds 'principal' under its signature | Evidence, receipts & proofs | held |
| E29-B-agent_lineage | the transaction envelope binds 'agent_lineage' under its signature | Evidence, receipts & proofs | held |
| E29-B-counterparty_identity | the transaction envelope binds 'counterparty_identity' under its signature | Evidence, receipts & proofs | held |
| E29-B-intent | the transaction envelope binds 'intent' under its signature | Evidence, receipts & proofs | held |
| E29-B-requested_action | the transaction envelope binds 'requested_action' under its signature | Evidence, receipts & proofs | held |
| E29-B-capabilities | the transaction envelope binds 'capabilities' under its signature | Evidence, receipts & proofs | held |
| E29-B-authority | the transaction envelope binds 'authority' under its signature | Evidence, receipts & proofs | held |
| E29-B-delegation | the transaction envelope binds 'delegation' under its signature | Evidence, receipts & proofs | held |
| E29-B-policy | the transaction envelope binds 'policy' under its signature | Evidence, receipts & proofs | held |
| E29-B-risk | the transaction envelope binds 'risk' under its signature | Evidence, receipts & proofs | held |
| E29-B-consequence | the transaction envelope binds 'consequence' under its signature | Evidence, receipts & proofs | held |
| E29-B-resource_limits | the transaction envelope binds 'resource_limits' under its signature | Evidence, receipts & proofs | held |
| E29-B-economic_value | the transaction envelope binds 'economic_value' under its signature | Evidence, receipts & proofs | held |
| E29-B-temporal_limits | the transaction envelope binds 'temporal_limits' under its signature | Evidence, receipts & proofs | held |
| E29-B-nonce | the transaction envelope binds 'nonce' under its signature | Evidence, receipts & proofs | held |
| E29-B-expiration | the transaction envelope binds 'expiration' under its signature | Evidence, receipts & proofs | held |
| E29-B-protocol | the transaction envelope binds 'protocol' under its signature | Evidence, receipts & proofs | held |
| E29-B-destination | the transaction envelope binds 'destination' under its signature | Evidence, receipts & proofs | held |
| E29-B-contract | the transaction envelope binds 'contract' under its signature | Evidence, receipts & proofs | held |
| E29-B-authorization_result | the transaction envelope binds 'authorization_result' under its signature | Evidence, receipts & proofs | held |
| E29-B-execution_result | the transaction envelope binds 'execution_result' under its signature | Evidence, receipts & proofs | held |
| E29-B-evidence_root | the transaction envelope binds 'evidence_root' under its signature | Evidence, receipts & proofs | held |
| E29-P01 | the end-to-end procurement transaction completes every acceptance step | Benchmarks, coverage & performance | held |
| E29-P02 | every ledger TRANSFER is backed by an ALLOW receipt that reached E8 for the same transaction | Benchmarks, coverage & performance | held |
| E29-P03 | the ledger is hash-chained, signed and conserves value | Benchmarks, coverage & performance | held |
| E29-P04 | the stage records of the transaction verify as a signed hash chain | Benchmarks, coverage & performance | held |
| E29-P05 | the transaction envelope is issued at AUTHORIZE and re-issued at RECORD with the evidence root | Benchmarks, coverage & performance | held |
| E29-P06 | discovery never reports trust | Benchmarks, coverage & performance | held |
| E29-P07 | counterparty risk has thirteen dimensions and no score | Benchmarks, coverage & performance | held |
| E29-P08 | reputation has thirteen dimensions and no aggregate | Benchmarks, coverage & performance | held |
| E29-P09 | the governability index has fourteen dimensions and no score; its manifest is signed | Benchmarks, coverage & performance | held |
| E29-P10 | the transaction authority is a ceiling, never an execution grant | Benchmarks, coverage & performance | held |
| E29-P11 | a contract never grants authority | Benchmarks, coverage & performance | held |
| E29-P12 | negotiation yields a PROPOSED contract, never an authorization | Benchmarks, coverage & performance | held |
| E29-P13 | capability passports are TESTED only after a real in-scope ALLOW and an out-of-scope refusal | Benchmarks, coverage & performance | held |
| E29-P14 | directory records are signed by the domain issuer and name the current identity digest | Benchmarks, coverage & performance | held |
| E29-P15 | the escrow account ends at zero and the vendor received exactly the price | Benchmarks, coverage & performance | held |
| E29-P16 | every governed action of the transaction left a receipt in the E28 chain | Benchmarks, coverage & performance | held |
| E29-P17 | the evidence root is the Merkle root of the transaction's receipts | Benchmarks, coverage & performance | held |
| E29-P18 | the consequence vector was computed before authorization for the payment | Benchmarks, coverage & performance | held |
| E29-P19 | the escrow release was performed by the escrow identity, not the buyer or seller | Benchmarks, coverage & performance | held |
| E29-P20 | reputation updates cite evidence | Benchmarks, coverage & performance | held |
| E29-P21 | real currency codes are refused by the treasury | Benchmarks, coverage & performance | held |
| E29-P22 | agent names are validated | Benchmarks, coverage & performance | held |
| E29-P23 | graph intelligence returns signals only | Benchmarks, coverage & performance | held |
| E29-P24 | the router returns a destination and no authority, and never bypasses E8 | Benchmarks, coverage & performance | held |
| E29-P25 | the conformance network labels CAIN GOVERNED only when every criterion passes | Benchmarks, coverage & performance | held |
| E29-P26 | incident containment identifies descendants, delegations, counterparties and freezes accounts | Benchmarks, coverage & performance | held |
| E29-P27 | recovery yields a new identity, never the old one | Benchmarks, coverage & performance | held |
| E29-P28 | federated incident exchange quarantines the translated identity | Benchmarks, coverage & performance | held |
| E29-P29 | a forged incident notice is ignored | Benchmarks, coverage & performance | held |
| E29-P30 | anchor rotation needs the old anchor's signature | Benchmarks, coverage & performance | held |
| E29-P31 | federation expires | Benchmarks, coverage & performance | held |
| E29-P32 | the partition ceiling never exceeds the connected ceiling in any mode | Benchmarks, coverage & performance | held |
| E29-P33 | partition synchronization appends evidence and returns to CONNECTED | Benchmarks, coverage & performance | held |
| E29-P34 | firebreak capability isolation reaches the E25 boundary | Benchmarks, coverage & performance | held |
| E29-P35 | firebreak protocol isolation reaches the E25 adapter list | Benchmarks, coverage & performance | held |
| E29-P36 | a two-human restore lifts a capability isolation in E25 too | Benchmarks, coverage & performance | held |
| E29-P37 | an immune rule activated by two humans takes effect and is logged | Benchmarks, coverage & performance | held |
| E29-P38 | the failure-to-test compiler produces every artifact kind | Benchmarks, coverage & performance | held |
| E29-P39 | the software promotion gate promotes only with distinct roles, a human and an E8 deploy | Benchmarks, coverage & performance | held |
| E29-P40 | organization budgets are booked on every layer of the path | Benchmarks, coverage & performance | held |
| E29-P41 | the dispute engine resolves on verified evidence alone | Benchmarks, coverage & performance | held |
| E29-P42 | the E28 transparency log still verifies after the whole transaction | Benchmarks, coverage & performance | held |
| E29-P43 | graph node and edge kinds are closed sets | Benchmarks, coverage & performance | held |
| E29-P44 | the moat graph never labels an idea as a moat | Benchmarks, coverage & performance | held |
| E29-P45 | the competitive radar holds no unverified competitor facts | Benchmarks, coverage & performance | held |
| E29-P46 | no feature is labelled novel without passing the eight-step novelty gate | Benchmarks, coverage & performance | held |
| E29-P47 | every product candidate carries an evidence status, none PRODUCTION | Benchmarks, coverage & performance | held |
| E29-P48 | a completed transaction cannot be advanced further | Benchmarks, coverage & performance | held |
| E29-P49 | the payment's identity envelope was bound to the transaction request | Benchmarks, coverage & performance | held |
| E29-P50 | the delivery went through MCP and the buyer's check through HTTP, both via E8 | Benchmarks, coverage & performance | 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