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 1201–1269 of 1269
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E42-CAT-false_completion | every false_completion scenario holds | E42 | held |
| E42-CAT-reject | every reject scenario holds | E42 | held |
| E42-CAT-scale | every scale scenario holds | E42 | held |
| E42-FAM-abi-bulk_abi | family abi/bulk_abi holds | E42 | held |
| E42-FAM-abi-object | family abi/object holds | E42 | held |
| E42-FAM-abi-version | family abi/version holds | E42 | held |
| E42-FAM-action-bad_surface | family action/bad_surface holds | E42 | held |
| E42-FAM-action-bulk_surface | family action/bulk_surface holds | E42 | held |
| E42-FAM-action-field | family action/field holds | E42 | held |
| E42-FAM-action-surface | family action/surface holds | E42 | held |
| E42-FAM-coverage-bad_class | family coverage/bad_class holds | E42 | held |
| E42-FAM-coverage-compile | family coverage/compile holds | E42 | held |
| E42-FAM-coverage-honest_claim | family coverage/honest_claim holds | E42 | held |
| E42-FAM-coverage-no_upgrade | family coverage/no_upgrade holds | E42 | held |
| E42-FAM-dedup-dedup_audit | family dedup/dedup_audit holds | E42 | held |
| E42-FAM-evolution-evolution_stage | family evolution/evolution_stage holds | E42 | held |
| E42-FAM-false_completion-false_completion | family false_completion/false_completion holds | E42 | held |
| E42-FAM-graph-edge | family graph/edge holds | E42 | held |
| E42-FAM-graph-node_kind | family graph/node_kind holds | E42 | held |
| E42-FAM-kernel-decision | family kernel/decision holds | E42 | held |
| E42-FAM-kernel-path | family kernel/path holds | E42 | held |
| E42-FAM-law-bulk_law | family law/bulk_law holds | E42 | held |
| E42-FAM-law-no_authority | family law/no_authority holds | E42 | held |
| E42-FAM-proof-bad_kind | family proof/bad_kind holds | E42 | held |
| E42-FAM-proof-evidence_class | family proof/evidence_class holds | E42 | held |
| E42-FAM-proof-proof_kind | family proof/proof_kind holds | E42 | held |
| E42-FAM-receipt-field | family receipt/field holds | E42 | held |
| E42-FAM-receipt-no_authority | family receipt/no_authority holds | E42 | held |
| E42-FAM-receipt-receipt | family receipt/receipt holds | E42 | held |
| E42-FAM-registry-honest_missing | family registry/honest_missing holds | E42 | held |
| E42-FAM-registry-integration_map | family registry/integration_map holds | E42 | held |
| E42-FAM-reject-no_authority | family reject/no_authority holds | E42 | held |
| E42-FAM-scale-kernel_scale | family scale/kernel_scale holds | E42 | held |
| E42-FAM-time_machine-known_at_t | family time_machine/known_at_t holds | E42 | held |
| E42-FAM-truth-negated_ok | family truth/negated_ok holds | E42 | held |
| E42-FAM-truth-unsupported_claim | family truth/unsupported_claim holds | E42 | held |
| E42-FAM2-abi-bulk_abi | family abi/bulk_abi is a held, non-empty check | E42 | held |
| E42-FAM2-abi-object | family abi/object is a held, non-empty check | E42 | held |
| E42-FAM2-abi-version | family abi/version is a held, non-empty check | E42 | held |
| E42-FAM2-action-bad_surface | family action/bad_surface is a held, non-empty check | E42 | held |
| E42-FAM2-action-bulk_surface | family action/bulk_surface is a held, non-empty check | E42 | held |
| E42-FAM2-action-field | family action/field is a held, non-empty check | E42 | held |
| E42-FAM2-action-surface | family action/surface is a held, non-empty check | E42 | held |
| E42-FAM2-coverage-bad_class | family coverage/bad_class is a held, non-empty check | E42 | held |
| E42-FAM2-coverage-compile | family coverage/compile is a held, non-empty check | E42 | held |
| E42-FAM2-coverage-honest_claim | family coverage/honest_claim is a held, non-empty check | E42 | held |
| E42-FAM2-coverage-no_upgrade | family coverage/no_upgrade is a held, non-empty check | E42 | held |
| E42-FAM2-dedup-dedup_audit | family dedup/dedup_audit is a held, non-empty check | E42 | held |
| E42-FAM2-evolution-evolution_stage | family evolution/evolution_stage is a held, non-empty check | E42 | held |
| E42-FAM2-false_completion-false_completion | family false_completion/false_completion is a held, non-empty check | E42 | held |
| E42-FAM2-graph-edge | family graph/edge is a held, non-empty check | E42 | held |
| E42-FAM2-graph-node_kind | family graph/node_kind is a held, non-empty check | E42 | held |
| E42-FAM2-kernel-decision | family kernel/decision is a held, non-empty check | E42 | held |
| E42-FAM2-kernel-path | family kernel/path is a held, non-empty check | E42 | held |
| E42-FAM2-law-bulk_law | family law/bulk_law is a held, non-empty check | E42 | held |
| E42-FAM2-law-no_authority | family law/no_authority is a held, non-empty check | E42 | held |
| E42-FAM2-proof-bad_kind | family proof/bad_kind is a held, non-empty check | E42 | held |
| E42-FAM2-proof-evidence_class | family proof/evidence_class is a held, non-empty check | E42 | held |
| E42-FAM2-proof-proof_kind | family proof/proof_kind is a held, non-empty check | E42 | held |
| E42-FAM2-receipt-field | family receipt/field is a held, non-empty check | E42 | held |
| E42-FAM2-receipt-no_authority | family receipt/no_authority is a held, non-empty check | E42 | held |
| E42-FAM2-receipt-receipt | family receipt/receipt is a held, non-empty check | E42 | held |
| E42-FAM2-registry-honest_missing | family registry/honest_missing is a held, non-empty check | E42 | held |
| E42-FAM2-registry-integration_map | family registry/integration_map is a held, non-empty check | E42 | held |
| E42-FAM2-reject-no_authority | family reject/no_authority is a held, non-empty check | E42 | held |
| E42-FAM2-scale-kernel_scale | family scale/kernel_scale is a held, non-empty check | E42 | held |
| E42-FAM2-time_machine-known_at_t | family time_machine/known_at_t is a held, non-empty check | E42 | held |
| E42-FAM2-truth-negated_ok | family truth/negated_ok is a held, non-empty check | E42 | held |
| E42-FAM2-truth-unsupported_claim | family truth/unsupported_claim is a held, non-empty check | 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