CAIN-42 CAIN StudioCAIN-42 evidence library
27 invariants
From CAIN-42 Evolution 37 -- Autonomous Execution Mesh.
Last reviewed 2026-10-01
| ID | Rule | Niche | Result |
|---|---|---|---|
| authority_algebra | every 'authority algebra' invariant in this bundle (9 of 9 held) | Identity, authority & delegation | held |
| certificate | every 'certificate' invariant in this bundle (1 of 1 held) | Evidence, receipts & proofs | held |
| compute_abuse | every 'compute abuse' invariant in this bundle (10 of 10 held) | Transactions, markets & economics | held |
| computer_use | every 'computer use' invariant in this bundle (405 of 405 held) | Transactions, markets & economics | held |
| conflict | every 'conflict' invariant in this bundle (20 of 20 held) | Core guarantees | held |
| continuity | every 'continuity' invariant in this bundle (19 of 19 held) | Autonomy, control loops & recovery | held |
| continuity_token | every 'continuity token' invariant in this bundle (4 of 4 held) | Autonomy, control loops & recovery | held |
| coverage | every 'coverage' invariant in this bundle (46 of 46 held) | Benchmarks, coverage & performance | held |
| credential | every 'credential' invariant in this bundle (3 of 3 held) | Identity, authority & delegation | held |
| drift | every 'drift' invariant in this bundle (14 of 14 held) | Autonomy, control loops & recovery | held |
| engine_mesh | every 'engine mesh' invariant in this bundle (6 of 6 held) | Core guarantees | held |
| epoch | every 'epoch' invariant in this bundle (9 of 9 held) | Consensus & distributed systems | held |
| event_log | every 'event log' invariant in this bundle (34 of 34 held) | Evidence, receipts & proofs | held |
| field_tamper | every 'field tamper' invariant in this bundle (199 of 199 held) | Attacks, threats & containment | held |
| fingerprint | every 'fingerprint' invariant in this bundle (10 of 10 held) | Evidence, receipts & proofs | held |
| law | every 'law' invariant in this bundle (50 of 50 held) | Policy, law & governance | held |
| migration | every 'migration' invariant in this bundle (96 of 96 held) | Supply chain, registry & lifecycle | held |
| partition | every 'partition' invariant in this bundle (5 of 5 held) | Consensus & distributed systems | held |
| perimeter | every 'perimeter' invariant in this bundle (16 of 16 held) | Core guarantees | held |
| policy_compiler | every 'policy compiler' invariant in this bundle (5 of 5 held) | Policy, law & governance | held |
| quorum | every 'quorum' invariant in this bundle (3 of 3 held) | Consensus & distributed systems | held |
| recursion | every 'recursion' invariant in this bundle (9 of 9 held) | Core guarantees | held |
| residency | every 'residency' invariant in this bundle (6 of 6 held) | Memory, data & privacy | held |
| scheduler | every 'scheduler' invariant in this bundle (5 of 5 held) | Core guarantees | held |
| signed_object | every 'signed object' invariant in this bundle (100 of 100 held) | Evidence, receipts & proofs | held |
| substitution | every 'substitution' invariant in this bundle (42 of 42 held) | Attacks, threats & containment | held |
| temporal_fence | every 'temporal fence' invariant in this bundle (6 of 6 held) | Consensus & distributed systems | 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