CAIN-42 CAIN StudioEvidence library · niche
Consensus & distributed systems
Many machines agreeing on one answer, even when some fail or lie. 64 tested invariants.
Last reviewed 2026-10-01
64 of 64 held
Test families in this niche
clock (15) · finality (12) · fork (4) · environment_query (2) · time (1) · reassessment (1) · research (1) · epoch (1) · partition (1) · quorum (1) · temporal_fence (1) · freshness (1)
Where these come from
- CAIN-42 Evolution 26 -- Universal Machine Agency Trust Fabric: 13
- CAIN-42 Evolution 21 -- Governed Open-Ended Intelligence Fabric: 9
- CAIN-42 Evolution 33 -- Governed Agentic Operating Fabric: 8
- CAIN-42 Evolution 20 -- Governed Agentic Civilization Fabric: 7
- CAIN-42 Evolution 40 -- Autonomous Enterprise Intelligence Fabric: 7
- CAIN-42 Evolution 28 -- Portable Machine Agency & Execution Identity: 4
- CAIN-42 Evolution 37 -- Autonomous Execution Mesh: 4
- CAIN-42 Evolution 19 -- Governed Autonomy Operating Fabric: 3
- CAIN-42 Evolution 23 -- Governed Meta-Intelligence Fabric: 2
- CAIN-42 Evolution 24 -- Governed Agentic Internet Fabric: 2
- CAIN-42 Evolution 35 -- Continuous Governance Intelligence Fabric: 2
- CAIN-42 Evolution 25 -- Universal Machine Agency Fabric: 1
- CAIN-42 Evolution 27 -- Agentic Internet Control Plane: 1
- CAIN-42 Evolution 38 -- Portable Proof-Carrying Machine Agency: 1
Rules 1–64 of 64
| ID | Rule | Bundle | Result |
|---|---|---|---|
| G8 | consensus cannot create authority | E19 | held |
| G47 | state lineage cannot silently fork | E19 | held |
| G108 | the seven governance clocks detect drift, replay and causal inversion | E19 | held |
| I8 | consensus cannot create authority | E20 | held |
| I44 | consensus is not authorization | E20 | held |
| I67 | narrowing needs no quorum | E20 | held |
| I68 | governed widening with quorum works | E20 | held |
| I93 | a state fork needs governance | E20 | held |
| I99 | autonomy escalation needs evidence and, for AUTONOMOUS+, a quorum | E20 | held |
| I104 | the governance quorum excludes the proposer | E20 | held |
| D7 | scientific consensus cannot create authority | E21 | held |
| D26 | replication is independent where claimed | E21 | held |
| D27 | consensus is not replication | E21 | held |
| D55 | missing replication does not become reproduced | E21 | held |
| D111 | no quorum can approve an exploit | E21 | held |
| D127 | blind replication stays blind | E21 | held |
| D130 | verified causation needs replicated intervention | E21 | held |
| D134 | high-risk and field experiments need the quorum | E21 | held |
| D153 | budget renewal needs the quorum | E21 | held |
| META-I006 | self-replication cannot mint authority | E23 | held |
| META-I072 | a legitimate objective change passes with a quorum excluding the proposer | E23 | held |
| NET-I036 | network partition cannot expand authority | E24 | held |
| NET-I061 | the governance clock: authorized now, not authorized later | E24 | held |
| I-TEMP-not_before | temporal scope not yet valid refused | E25 | held |
| I-FINALITY-order | finality advances in order | E26 | held |
| I-FINALITY-skip | out-of-order refused | E26 | held |
| I-FINALITY-distinct | authorization/execution/outcome distinct | E26 | held |
| I-ABE-valid | bound execution finalizes | E26 | held |
| I-ABE-invalid | violated condition is INVALID | E26 | held |
| I-ABE-missing | missing binding is INVALID | E26 | held |
| I-REASSESS-partition | trigger partition | E26 | held |
| I-ABE-required-authorization_id | missing authorization_id invalid | E26 | held |
| I-ABE-required-transaction_id | missing transaction_id invalid | E26 | held |
| I-ABE-required-agent_instance | missing agent_instance invalid | E26 | held |
| I-ABE-required-runtime_binding | missing runtime_binding invalid | E26 | held |
| I-ABE-required-receipt_hash | missing receipt_hash invalid | E26 | held |
| I-ABE-required-evidence_root | missing evidence_root invalid | E26 | held |
| I-RESEARCH-LOOP-REPLICATION | loop REPLICATION | E27 | held |
| E28-I71 | with insufficient telemetry the fork verdict is UNKNOWN | E28 | held |
| E28-I72 | a duplicated nonce is reported as a fork signal | E28 | held |
| E28-I73 | impossible concurrent use of an exclusive identity is detected | E28 | held |
| E28-I74 | two successors claiming one parent are divergent descendants | E28 | held |
| E33-CLOCK-state | a stale state invalidates authorization | E33 | held |
| E33-CLOCK-evidence | a stale evidence invalidates authorization | E33 | held |
| E33-CLOCK-policy | a stale policy invalidates authorization | E33 | held |
| E33-CLOCK-authorization | a stale authorization invalidates authorization | E33 | held |
| E33-CLOCK-world_model | a stale world_model invalidates authorization | E33 | held |
| E33-CLOCK-identity | a stale identity invalidates authorization | E33 | held |
| E33-CLOCK-capability | a stale capability invalidates authorization | E33 | held |
| E33-CLOCK-revocation | a stale revocation invalidates authorization | E33 | held |
| E35-QUERY-agent_fork | environment query agent_fork exists | E35 | held |
| E35-QUERY-network_partition | environment query network_partition exists | E35 | held |
| epoch | every 'epoch' invariant in this bundle (9 of 9 held) | E37 | held |
| partition | every 'partition' invariant in this bundle (5 of 5 held) | E37 | held |
| quorum | every 'quorum' invariant in this bundle (3 of 3 held) | E37 | held |
| temporal_fence | every 'temporal fence' invariant in this bundle (6 of 6 held) | E37 | held |
| freshness | every 'freshness' invariant in this bundle (27 of 27 held) | E38 | held |
| E40-CLOCK-state | stale state is detected | E40 | held |
| E40-CLOCK-prediction | stale prediction is detected | E40 | held |
| E40-CLOCK-authorization | stale authorization is detected | E40 | held |
| E40-CLOCK-policy | stale policy is detected | E40 | held |
| E40-CLOCK-risk | stale risk is detected | E40 | held |
| E40-CLOCK-evidence | stale evidence is detected | E40 | held |
| E40-CLOCK-execution | stale execution is detected | E40 | held |
Other niches
Attacks, threats & containment · Identity, authority & delegation · Evidence, receipts & proofs · Memory, data & privacy · Prediction, world models & simulation · Transactions, markets & economics · Tools, MCP, protocols & adapters · Autonomy, control loops & recovery · Policy, law & governance · Trust & reputation · Supply chain, registry & lifecycle · Benchmarks, coverage & performance · Core guarantees
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