CAIN-42 CAIN StudioEvidence library · niche
Benchmarks, coverage & performance
How fast it runs and how much was tested. 1269 tested invariants.
Last reviewed 2026-10-01
1269 of 1269 held
Test families in this niche
bench_family (669) · bench_category (336) · coverage (116) · property (50) · harness (15) · regression (11) · performance (11) · corpus (11) · end_to_end (10) · completion (10) · latency (9) · false_completion (8) · fabric_component (2) · failure_to_test (1) · swe (1) · telemetry (1) · radar (1) · f2t (1)
Where these come from
- CAIN-42 Evolution 36 -- Machine Agency Exchange Fabric: 307
- CAIN-42 Evolution 35 -- Continuous Governance Intelligence Fabric: 202
- CAIN-42 Evolution 34 -- Proof-Carrying Machine Agency: 195
- CAIN-42 Evolution 40 -- Autonomous Enterprise Intelligence Fabric: 176
- CAIN-42 Evolution 41 -- Machine Agency Exchange Fabric: 135
- CAIN-42 Evolution 42 -- Supreme Governed Agentic Infrastructure Platform: 96
- CAIN-42 Evolution 29 -- Governed Agentic Internet Transaction Fabric: 50
- CAIN-42 Evolution 33 -- Governed Agentic Operating Fabric: 43
- CAIN-42 Evolution 32 -- Governed Autonomy Learning Fabric: 22
- CAIN-42 Evolution 30 -- Governed Machine Autonomy Fabric: 18
- CAIN-42 Evolution 31 -- Universal Proof-of-Governance Fabric: 15
- CAIN-42 Evolution 21 -- Governed Open-Ended Intelligence Fabric: 3
- CAIN-42 Evolution 27 -- Agentic Internet Control Plane: 2
- CAIN-42 Evolution 19 -- Governed Autonomy Operating Fabric: 1
- CAIN-42 Evolution 20 -- Governed Agentic Civilization Fabric: 1
- CAIN-42 Evolution 23 -- Governed Meta-Intelligence Fabric: 1
- CAIN-42 Evolution 37 -- Autonomous Execution Mesh: 1
- CAIN-42 Evolution 38 -- Portable Proof-Carrying Machine Agency: 1
Rules 1051–1200 of 1269
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E41-CAT-reputation | every reputation scenario holds | E41 | held |
| E41-CAT-federation | every federation scenario holds | E41 | held |
| E41-CAT-translation | every translation scenario holds | E41 | held |
| E41-CAT-revocation | every revocation scenario holds | E41 | held |
| E41-CAT-systemic | every systemic scenario holds | E41 | held |
| E41-CAT-breaker | every breaker scenario holds | E41 | held |
| E41-CAT-sybil | every sybil scenario holds | E41 | held |
| E41-CAT-time_machine | every time_machine scenario holds | E41 | held |
| E41-CAT-threat | every threat scenario holds | E41 | held |
| E41-CAT-learning | every learning scenario holds | E41 | held |
| E41-CAT-f2t | every f2t scenario holds | E41 | held |
| E41-CAT-conformance | every conformance scenario holds | E41 | held |
| E41-CAT-reject | every reject scenario holds | E41 | held |
| E41-CAT-scale | every scale scenario holds | E41 | held |
| E41-FAM-attest-attestation | family attest/attestation holds | E41 | held |
| E41-FAM-breaker-circuit_breaker | family breaker/circuit_breaker holds | E41 | held |
| E41-FAM-breaker-reset_needs_auth | family breaker/reset_needs_auth holds | E41 | held |
| E41-FAM-conformance-domains | family conformance/domains holds | E41 | held |
| E41-FAM-conformance-lifecycle | family conformance/lifecycle holds | E41 | held |
| E41-FAM-contract-machine_contract | family contract/machine_contract holds | E41 | held |
| E41-FAM-discovery-field | family discovery/field holds | E41 | held |
| E41-FAM-discovery-publish | family discovery/publish holds | E41 | held |
| E41-FAM-dispute-dispute_needs_decision | family dispute/dispute_needs_decision holds | E41 | held |
| E41-FAM-f2t-f2t_stage | family f2t/f2t_stage holds | E41 | held |
| E41-FAM-federation-untrusted | family federation/untrusted holds | E41 | held |
| E41-FAM-handshake-established | family handshake/established holds | E41 | held |
| E41-FAM-handshake-unknown_step | family handshake/unknown_step holds | E41 | held |
| E41-FAM-law-bulk_law | family law/bulk_law holds | E41 | held |
| E41-FAM-law-no_authority | family law/no_authority holds | E41 | held |
| E41-FAM-learning-learning_no_authority | family learning/learning_no_authority holds | E41 | held |
| E41-FAM-negotiation-agreed | family negotiation/agreed holds | E41 | held |
| E41-FAM-negotiation-intersection | family negotiation/intersection holds | E41 | held |
| E41-FAM-negotiation-requirement | family negotiation/requirement holds | E41 | held |
| E41-FAM-receipt-receipt_authorization | family receipt/receipt_authorization holds | E41 | held |
| E41-FAM-receipt-receipt_field | family receipt/receipt_field holds | E41 | held |
| E41-FAM-receipt-receipt_verify | family receipt/receipt_verify holds | E41 | held |
| E41-FAM-reject-no_authority | family reject/no_authority holds | E41 | held |
| E41-FAM-relationship-bad_state | family relationship/bad_state holds | E41 | held |
| E41-FAM-relationship-bulk_relationship | family relationship/bulk_relationship holds | E41 | held |
| E41-FAM-relationship-no_skip | family relationship/no_skip holds | E41 | held |
| E41-FAM-relationship-state | family relationship/state holds | E41 | held |
| E41-FAM-relationship-terminal_final | family relationship/terminal_final holds | E41 | held |
| E41-FAM-reputation-reputation_no_authority | family reputation/reputation_no_authority holds | E41 | held |
| E41-FAM-revocation-revocation_propagates | family revocation/revocation_propagates holds | E41 | held |
| E41-FAM-scale-relationship_scale | family scale/relationship_scale holds | E41 | held |
| E41-FAM-settlement-settlement_synthetic | family settlement/settlement_synthetic holds | E41 | held |
| E41-FAM-sybil-sybil_strength | family sybil/sybil_strength holds | E41 | held |
| E41-FAM-systemic-contagion | family systemic/contagion holds | E41 | held |
| E41-FAM-threat-exchange_attack | family threat/exchange_attack holds | E41 | held |
| E41-FAM-time_machine-known_at_t | family time_machine/known_at_t holds | E41 | held |
| E41-FAM-translation-declares_drops | family translation/declares_drops holds | E41 | held |
| E41-FAM-work-lease_bounded | family work/lease_bounded holds | E41 | held |
| E41-FAM-work-lease_budget | family work/lease_budget holds | E41 | held |
| E41-FAM-work-receipt | family work/receipt holds | E41 | held |
| E41-FAM-work-receipt_e8 | family work/receipt_e8 holds | E41 | held |
| E41-FAM-work-receipt_evidence | family work/receipt_evidence holds | E41 | held |
| E41-FAM2-attest-attestation | family attest/attestation is a held, non-empty check | E41 | held |
| E41-FAM2-breaker-circuit_breaker | family breaker/circuit_breaker is a held, non-empty check | E41 | held |
| E41-FAM2-breaker-reset_needs_auth | family breaker/reset_needs_auth is a held, non-empty check | E41 | held |
| E41-FAM2-conformance-domains | family conformance/domains is a held, non-empty check | E41 | held |
| E41-FAM2-conformance-lifecycle | family conformance/lifecycle is a held, non-empty check | E41 | held |
| E41-FAM2-contract-machine_contract | family contract/machine_contract is a held, non-empty check | E41 | held |
| E41-FAM2-discovery-field | family discovery/field is a held, non-empty check | E41 | held |
| E41-FAM2-discovery-publish | family discovery/publish is a held, non-empty check | E41 | held |
| E41-FAM2-dispute-dispute_needs_decision | family dispute/dispute_needs_decision is a held, non-empty check | E41 | held |
| E41-FAM2-f2t-f2t_stage | family f2t/f2t_stage is a held, non-empty check | E41 | held |
| E41-FAM2-federation-untrusted | family federation/untrusted is a held, non-empty check | E41 | held |
| E41-FAM2-handshake-established | family handshake/established is a held, non-empty check | E41 | held |
| E41-FAM2-handshake-unknown_step | family handshake/unknown_step is a held, non-empty check | E41 | held |
| E41-FAM2-law-bulk_law | family law/bulk_law is a held, non-empty check | E41 | held |
| E41-FAM2-law-no_authority | family law/no_authority is a held, non-empty check | E41 | held |
| E41-FAM2-learning-learning_no_authority | family learning/learning_no_authority is a held, non-empty check | E41 | held |
| E41-FAM2-negotiation-agreed | family negotiation/agreed is a held, non-empty check | E41 | held |
| E41-FAM2-negotiation-intersection | family negotiation/intersection is a held, non-empty check | E41 | held |
| E41-FAM2-negotiation-requirement | family negotiation/requirement is a held, non-empty check | E41 | held |
| E41-FAM2-receipt-receipt_authorization | family receipt/receipt_authorization is a held, non-empty check | E41 | held |
| E41-FAM2-receipt-receipt_field | family receipt/receipt_field is a held, non-empty check | E41 | held |
| E41-FAM2-receipt-receipt_verify | family receipt/receipt_verify is a held, non-empty check | E41 | held |
| E41-FAM2-reject-no_authority | family reject/no_authority is a held, non-empty check | E41 | held |
| E41-FAM2-relationship-bad_state | family relationship/bad_state is a held, non-empty check | E41 | held |
| E41-FAM2-relationship-bulk_relationship | family relationship/bulk_relationship is a held, non-empty check | E41 | held |
| E41-FAM2-relationship-no_skip | family relationship/no_skip is a held, non-empty check | E41 | held |
| E41-FAM2-relationship-state | family relationship/state is a held, non-empty check | E41 | held |
| E41-FAM2-relationship-terminal_final | family relationship/terminal_final is a held, non-empty check | E41 | held |
| E41-FAM2-reputation-reputation_no_authority | family reputation/reputation_no_authority is a held, non-empty check | E41 | held |
| E41-FAM2-revocation-revocation_propagates | family revocation/revocation_propagates is a held, non-empty check | E41 | held |
| E41-FAM2-scale-relationship_scale | family scale/relationship_scale is a held, non-empty check | E41 | held |
| E41-FAM2-settlement-settlement_synthetic | family settlement/settlement_synthetic is a held, non-empty check | E41 | held |
| E41-FAM2-sybil-sybil_strength | family sybil/sybil_strength is a held, non-empty check | E41 | held |
| E41-FAM2-systemic-contagion | family systemic/contagion is a held, non-empty check | E41 | held |
| E41-FAM2-threat-exchange_attack | family threat/exchange_attack is a held, non-empty check | E41 | held |
| E41-FAM2-time_machine-known_at_t | family time_machine/known_at_t is a held, non-empty check | E41 | held |
| E41-FAM2-translation-declares_drops | family translation/declares_drops is a held, non-empty check | E41 | held |
| E41-FAM2-work-lease_bounded | family work/lease_bounded is a held, non-empty check | E41 | held |
| E41-FAM2-work-lease_budget | family work/lease_budget is a held, non-empty check | E41 | held |
| E41-FAM2-work-receipt | family work/receipt is a held, non-empty check | E41 | held |
| E41-FAM2-work-receipt_e8 | family work/receipt_e8 is a held, non-empty check | E41 | held |
| E41-FAM2-work-receipt_evidence | family work/receipt_evidence is a held, non-empty check | E41 | held |
| E41-CAT2-law | category law has held scenarios | E41 | held |
| E41-CAT2-relationship | category relationship has held scenarios | E41 | held |
| E41-CAT2-discovery | category discovery has held scenarios | E41 | held |
| E41-CAT2-attest | category attest has held scenarios | E41 | held |
| E41-CAT2-negotiation | category negotiation has held scenarios | E41 | held |
| E41-CAT2-handshake | category handshake has held scenarios | E41 | held |
| E41-CAT2-contract | category contract has held scenarios | E41 | held |
| E41-CAT2-work | category work has held scenarios | E41 | held |
| E41-CAT2-receipt | category receipt has held scenarios | E41 | held |
| E41-CAT2-settlement | category settlement has held scenarios | E41 | held |
| E41-CAT2-dispute | category dispute has held scenarios | E41 | held |
| E41-CAT2-reputation | category reputation has held scenarios | E41 | held |
| E41-CAT2-federation | category federation has held scenarios | E41 | held |
| E41-CAT2-translation | category translation has held scenarios | E41 | held |
| E41-CAT2-revocation | category revocation has held scenarios | E41 | held |
| E41-CAT2-systemic | category systemic has held scenarios | E41 | held |
| E41-CAT2-breaker | category breaker has held scenarios | E41 | held |
| E41-CAT2-sybil | category sybil has held scenarios | E41 | held |
| E41-CAT2-time_machine | category time_machine has held scenarios | E41 | held |
| E41-CAT2-threat | category threat has held scenarios | E41 | held |
| E41-CAT2-learning | category learning has held scenarios | E41 | held |
| E41-CAT2-f2t | category f2t has held scenarios | E41 | held |
| E41-CAT2-conformance | category conformance has held scenarios | E41 | held |
| E41-CAT2-reject | category reject has held scenarios | E41 | held |
| E41-CAT2-scale | category scale has held scenarios | E41 | held |
| E42-COVCLASS-ENFORCED | coverage class ENFORCED exists and is never upgraded | E42 | held |
| E42-COVCLASS-MONITORED | coverage class MONITORED exists and is never upgraded | E42 | held |
| E42-COVCLASS-OBSERVED | coverage class OBSERVED exists and is never upgraded | E42 | held |
| E42-COVCLASS-BYPASSABLE | coverage class BYPASSABLE exists and is never upgraded | E42 | held |
| E42-COVCLASS-UNKNOWN | coverage class UNKNOWN exists and is never upgraded | E42 | held |
| E42-COVCLASS-UNCONTROLLED | coverage class UNCONTROLLED exists and is never upgraded | E42 | held |
| E42-FALSECLAIM-done | completion claim 'done' maps to evidence | E42 | held |
| E42-FALSECLAIM-completed | completion claim 'completed' maps to evidence | E42 | held |
| E42-FALSECLAIM-deployed | completion claim 'deployed' maps to evidence | E42 | held |
| E42-FALSECLAIM-verified | completion claim 'verified' maps to evidence | E42 | held |
| E42-FALSECLAIM-fixed | completion claim 'fixed' maps to evidence | E42 | held |
| E42-FALSECLAIM-sent | completion claim 'sent' maps to evidence | E42 | held |
| E42-FALSECLAIM-purchased | completion claim 'purchased' maps to evidence | E42 | held |
| E42-FALSECLAIM-executed | completion claim 'executed' maps to evidence | E42 | held |
| E42-CAT-law | every law scenario holds | E42 | held |
| E42-CAT-kernel | every kernel scenario holds | E42 | held |
| E42-CAT-action | every action scenario holds | E42 | held |
| E42-CAT-abi | every abi scenario holds | E42 | held |
| E42-CAT-proof | every proof scenario holds | E42 | held |
| E42-CAT-receipt | every receipt scenario holds | E42 | held |
| E42-CAT-coverage | every coverage scenario holds | E42 | held |
| E42-CAT-registry | every registry scenario holds | E42 | held |
| E42-CAT-truth | every truth scenario holds | E42 | held |
| E42-CAT-graph | every graph scenario holds | E42 | held |
| E42-CAT-dedup | every dedup scenario holds | E42 | held |
| E42-CAT-evolution | every evolution scenario holds | E42 | held |
| E42-CAT-time_machine | every time_machine scenario holds | E42 | held |
Other niches
Consensus & distributed systems · 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 · 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