CAIN-42 CAIN StudioCAIN-42 evidence library
24 invariants
From CAIN-42 Evolution 38 -- Portable Proof-Carrying Machine Agency.
Last reviewed 2026-10-01
| ID | Rule | Niche | Result |
|---|---|---|---|
| action_proof | every 'action proof' invariant in this bundle (26 of 26 held) | Evidence, receipts & proofs | held |
| certificate | every 'certificate' invariant in this bundle (6 of 6 held) | Evidence, receipts & proofs | held |
| composition | every 'composition' invariant in this bundle (8 of 8 held) | Core guarantees | held |
| conformance | every 'conformance' invariant in this bundle (11 of 11 held) | Policy, law & governance | held |
| coverage | every 'coverage' invariant in this bundle (12 of 12 held) | Benchmarks, coverage & performance | held |
| dependency | every 'dependency' invariant in this bundle (12 of 12 held) | Supply chain, registry & lifecycle | held |
| evidence_basis | every 'evidence basis' invariant in this bundle (133 of 133 held) | Evidence, receipts & proofs | held |
| federation | every 'federation' invariant in this bundle (5 of 5 held) | Core guarantees | held |
| field_tamper | every 'field tamper' invariant in this bundle (398 of 398 held) | Attacks, threats & containment | held |
| freshness | every 'freshness' invariant in this bundle (27 of 27 held) | Consensus & distributed systems | held |
| handshake | every 'handshake' invariant in this bundle (5 of 5 held) | Identity, authority & delegation | held |
| law | every 'law' invariant in this bundle (42 of 42 held) | Policy, law & governance | held |
| negotiation | every 'negotiation' invariant in this bundle (13 of 13 held) | Transactions, markets & economics | held |
| physical_hybrid | every 'physical hybrid' invariant in this bundle (36 of 36 held) | Tools, MCP, protocols & adapters | held |
| proof_confusion | every 'proof confusion' invariant in this bundle (24 of 24 held) | Evidence, receipts & proofs | held |
| protocol | every 'protocol' invariant in this bundle (12 of 12 held) | Tools, MCP, protocols & adapters | held |
| receipt | every 'receipt' invariant in this bundle (10 of 10 held) | Evidence, receipts & proofs | held |
| revocation | every 'revocation' invariant in this bundle (23 of 23 held) | Identity, authority & delegation | held |
| secrecy | every 'secrecy' invariant in this bundle (17 of 17 held) | Memory, data & privacy | held |
| signed_object | every 'signed object' invariant in this bundle (136 of 136 held) | Evidence, receipts & proofs | held |
| status | every 'status' invariant in this bundle (15 of 15 held) | Core guarantees | held |
| translation | every 'translation' invariant in this bundle (16 of 16 held) | Core guarantees | held |
| transparency | every 'transparency' invariant in this bundle (30 of 30 held) | Evidence, receipts & proofs | held |
| trust_state | every 'trust state' invariant in this bundle (13 of 13 held) | Trust & reputation | 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