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 151–300 of 1269
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E33-CAT-governance_loop | every governance_loop scenario holds | E33 | held |
| E33-CAT-recursive | every recursive scenario holds | E33 | held |
| E33-CAT-recovery | every recovery scenario holds | E33 | held |
| E33-CAT-partition | every partition scenario holds | E33 | held |
| E33-CAT-byzantine | every byzantine scenario holds | E33 | held |
| E33-CAT-insider | every insider scenario holds | E33 | held |
| E34-COVCLASS-ENFORCED | coverage class ENFORCED exists and is never auto-universal | E34 | held |
| E34-COVCLASS-MONITORED | coverage class MONITORED exists and is never auto-universal | E34 | held |
| E34-COVCLASS-OBSERVED | coverage class OBSERVED exists and is never auto-universal | E34 | held |
| E34-COVCLASS-PARTIALLY_ENFORCED | coverage class PARTIALLY_ENFORCED exists and is never auto-universal | E34 | held |
| E34-COVCLASS-BYPASSABLE | coverage class BYPASSABLE exists and is never auto-universal | E34 | held |
| E34-COVCLASS-UNCONTROLLED | coverage class UNCONTROLLED exists and is never auto-universal | E34 | held |
| E34-COVCLASS-UNKNOWN | coverage class UNKNOWN exists and is never auto-universal | E34 | held |
| E34-SURFACE-mcp | surface mcp states its real class and basis | E34 | held |
| E34-SURFACE-a2a | surface a2a states its real class and basis | E34 | held |
| E34-SURFACE-http | surface http states its real class and basis | E34 | held |
| E34-SURFACE-rest | surface rest states its real class and basis | E34 | held |
| E34-SURFACE-grpc | surface grpc states its real class and basis | E34 | held |
| E34-SURFACE-websocket | surface websocket states its real class and basis | E34 | held |
| E34-SURFACE-event_bus | surface event_bus states its real class and basis | E34 | held |
| E34-SURFACE-cli | surface cli states its real class and basis | E34 | held |
| E34-SURFACE-shell | surface shell states its real class and basis | E34 | held |
| E34-SURFACE-filesystem | surface filesystem states its real class and basis | E34 | held |
| E34-SURFACE-browser | surface browser states its real class and basis | E34 | held |
| E34-SURFACE-computer_use | surface computer_use states its real class and basis | E34 | held |
| E34-SURFACE-databases | surface databases states its real class and basis | E34 | held |
| E34-SURFACE-cloud_apis | surface cloud_apis states its real class and basis | E34 | held |
| E34-SURFACE-credentials | surface credentials states its real class and basis | E34 | held |
| E34-SURFACE-secrets | surface secrets states its real class and basis | E34 | held |
| E34-SURFACE-deployment | surface deployment states its real class and basis | E34 | held |
| E34-SURFACE-ci_cd | surface ci_cd states its real class and basis | E34 | held |
| E34-SURFACE-containers | surface containers states its real class and basis | E34 | held |
| E34-SURFACE-subagents | surface subagents states its real class and basis | E34 | held |
| E34-SURFACE-delegation | surface delegation states its real class and basis | E34 | held |
| E34-SURFACE-scheduled_jobs | surface scheduled_jobs states its real class and basis | E34 | held |
| E34-SURFACE-autonomous_loops | surface autonomous_loops states its real class and basis | E34 | held |
| E34-SURFACE-memory_mutation | surface memory_mutation states its real class and basis | E34 | held |
| E34-SURFACE-policy_mutation | surface policy_mutation states its real class and basis | E34 | held |
| E34-SURFACE-model_replacement | surface model_replacement states its real class and basis | E34 | held |
| E34-SURFACE-skill_installation | surface skill_installation states its real class and basis | E34 | held |
| E34-SURFACE-plugin_installation | surface plugin_installation states its real class and basis | E34 | held |
| E34-SURFACE-capability_acquisition | surface capability_acquisition states its real class and basis | E34 | held |
| E34-SURFACE-financial_transactions | surface financial_transactions states its real class and basis | E34 | held |
| E34-SURFACE-machine_contracts | surface machine_contracts states its real class and basis | E34 | held |
| E34-SURFACE-physical_actuators | surface physical_actuators states its real class and basis | E34 | held |
| E34-SURFACE-vehicle_robot_boundaries | surface vehicle_robot_boundaries states its real class and basis | E34 | held |
| E34-SURFACE-research_experiments | surface research_experiments states its real class and basis | E34 | held |
| E34-SURFACE-self_improvement | surface self_improvement states its real class and basis | E34 | held |
| E34-SURFACE-code_modification | surface code_modification states its real class and basis | E34 | held |
| E34-CAT-envelope | every envelope scenario holds | E34 | held |
| E34-CAT-status | every status scenario holds | E34 | held |
| E34-CAT-receipt_chain | every receipt_chain scenario holds | E34 | held |
| E34-CAT-delegation_proof | every delegation_proof scenario holds | E34 | held |
| E34-CAT-coverage | every coverage scenario holds | E34 | held |
| E34-CAT-conformance | every conformance scenario holds | E34 | held |
| E34-CAT-certificate | every certificate scenario holds | E34 | held |
| E34-CAT-contract | every contract scenario holds | E34 | held |
| E34-CAT-disclosure | every disclosure scenario holds | E34 | held |
| E34-CAT-federation | every federation scenario holds | E34 | held |
| E34-CAT-edge | every edge scenario holds | E34 | held |
| E34-CAT-transaction | every transaction scenario holds | E34 | held |
| E34-CAT-computer_use | every computer_use scenario holds | E34 | held |
| E34-CAT-evolution | every evolution scenario holds | E34 | held |
| E34-CAT-supply_chain | every supply_chain scenario holds | E34 | held |
| E34-CAT-recovery | every recovery scenario holds | E34 | held |
| E34-CAT-reputation | every reputation scenario holds | E34 | held |
| E34-CAT-governability | every governability scenario holds | E34 | held |
| E34-CAT-tenancy | every tenancy scenario holds | E34 | held |
| E34-CAT-handshake | every handshake scenario holds | E34 | held |
| E34-CAT-interchange | every interchange scenario holds | E34 | held |
| E34-CAT-immune_v3 | every immune_v3 scenario holds | E34 | held |
| E34-CAT-failure_to_proof | every failure_to_proof scenario holds | E34 | held |
| E34-CAT-replay | every replay scenario holds | E34 | held |
| E34-CAT-time_machine | every time_machine scenario holds | E34 | held |
| E34-CAT-dataplane | every dataplane scenario holds | E34 | held |
| E34-CAT-truth_guard | every truth_guard scenario holds | E34 | held |
| E34-CAT-moat | every moat scenario holds | E34 | held |
| E34-CAT-law | every law scenario holds | E34 | held |
| E34-CAT-primitive | every primitive scenario holds | E34 | held |
| E34-CAT-enforcement | every enforcement scenario holds | E34 | held |
| E34-CAT-proof_exchange | every proof_exchange scenario holds | E34 | held |
| E34-BENCHFAM-certificate-blanket_refused | every certificate/blanket_refused scenario holds | E34 | held |
| E34-BENCHFAM-certificate-certificate_expires | every certificate/certificate_expires scenario holds | E34 | held |
| E34-BENCHFAM-certificate-field_required | every certificate/field_required scenario holds | E34 | held |
| E34-BENCHFAM-certificate-scoped_claim | every certificate/scoped_claim scenario holds | E34 | held |
| E34-BENCHFAM-computer_use-model_claim_is_not_evidence | every computer_use/model_claim_is_not_evidence scenario holds | E34 | held |
| E34-BENCHFAM-conformance-g7_needs_federation | every conformance/g7_needs_federation scenario holds | E34 | held |
| E34-BENCHFAM-conformance-level_ladder | every conformance/level_ladder scenario holds | E34 | held |
| E34-BENCHFAM-conformance-level_meaning | every conformance/level_meaning scenario holds | E34 | held |
| E34-BENCHFAM-contract-cannot_exceed_grants | every contract/cannot_exceed_grants scenario holds | E34 | held |
| E34-BENCHFAM-contract-contract_expires | every contract/contract_expires scenario holds | E34 | held |
| E34-BENCHFAM-contract-contract_valid | every contract/contract_valid scenario holds | E34 | held |
| E34-BENCHFAM-contract-limit_required | every contract/limit_required scenario holds | E34 | held |
| E34-BENCHFAM-coverage-no_universal_claim | every coverage/no_universal_claim scenario holds | E34 | held |
| E34-BENCHFAM-coverage-surface_basis | every coverage/surface_basis scenario holds | E34 | held |
| E34-BENCHFAM-coverage-uncontrolled_disclosed | every coverage/uncontrolled_disclosed scenario holds | E34 | held |
| E34-BENCHFAM-dataplane-event_chain_tamper | every dataplane/event_chain_tamper scenario holds | E34 | held |
| E34-BENCHFAM-dataplane-event_kind | every dataplane/event_kind scenario holds | E34 | held |
| E34-BENCHFAM-delegation_proof-attenuation | every delegation_proof/attenuation scenario holds | E34 | held |
| E34-BENCHFAM-delegation_proof-attenuation_ok | every delegation_proof/attenuation_ok scenario holds | E34 | held |
| E34-BENCHFAM-delegation_proof-chain_shape | every delegation_proof/chain_shape scenario holds | E34 | held |
| E34-BENCHFAM-delegation_proof-chain_tamper | every delegation_proof/chain_tamper scenario holds | E34 | held |
| E34-BENCHFAM-disclosure-hides_undisclosed | every disclosure/hides_undisclosed scenario holds | E34 | held |
| E34-BENCHFAM-disclosure-inclusion_proof | every disclosure/inclusion_proof scenario holds | E34 | held |
| E34-BENCHFAM-disclosure-root_signature | every disclosure/root_signature scenario holds | E34 | held |
| E34-BENCHFAM-disclosure-tampered_disclosure | every disclosure/tampered_disclosure scenario holds | E34 | held |
| E34-BENCHFAM-disclosure-tampered_salt | every disclosure/tampered_salt scenario holds | E34 | held |
| E34-BENCHFAM-edge-bundle_rollback | every edge/bundle_rollback scenario holds | E34 | held |
| E34-BENCHFAM-edge-edge_decides | every edge/edge_decides scenario holds | E34 | held |
| E34-BENCHFAM-edge-emergency_revoke | every edge/emergency_revoke scenario holds | E34 | held |
| E34-BENCHFAM-edge-partition_no_widen | every edge/partition_no_widen scenario holds | E34 | held |
| E34-BENCHFAM-edge-partition_reduces | every edge/partition_reduces scenario holds | E34 | held |
| E34-BENCHFAM-enforcement-enforcement_order | every enforcement/enforcement_order scenario holds | E34 | held |
| E34-BENCHFAM-enforcement-enforcement_stage | every enforcement/enforcement_stage scenario holds | E34 | held |
| E34-BENCHFAM-envelope-bulk_field_fuzz | every envelope/bulk_field_fuzz scenario holds | E34 | held |
| E34-BENCHFAM-envelope-extra_field | every envelope/extra_field scenario holds | E34 | held |
| E34-BENCHFAM-envelope-field_tamper | every envelope/field_tamper scenario holds | E34 | held |
| E34-BENCHFAM-envelope-hash | every envelope/hash scenario holds | E34 | held |
| E34-BENCHFAM-envelope-null_vs_unknown | every envelope/null_vs_unknown scenario holds | E34 | held |
| E34-BENCHFAM-envelope-required_component | every envelope/required_component scenario holds | E34 | held |
| E34-BENCHFAM-envelope-signature | every envelope/signature scenario holds | E34 | held |
| E34-BENCHFAM-evolution-evolution_proof | every evolution/evolution_proof scenario holds | E34 | held |
| E34-BENCHFAM-failure_to_proof-stage_present | every failure_to_proof/stage_present scenario holds | E34 | held |
| E34-BENCHFAM-failure_to_proof-unknown_not_invented | every failure_to_proof/unknown_not_invented scenario holds | E34 | held |
| E34-BENCHFAM-federation-recognized_as_evidence | every federation/recognized_as_evidence scenario holds | E34 | held |
| E34-BENCHFAM-federation-revocation_propagates | every federation/revocation_propagates scenario holds | E34 | held |
| E34-BENCHFAM-federation-untrusted_domain | every federation/untrusted_domain scenario holds | E34 | held |
| E34-BENCHFAM-governability-index_multidimensional | every governability/index_multidimensional scenario holds | E34 | held |
| E34-BENCHFAM-handshake-established_no_authority | every handshake/established_no_authority scenario holds | E34 | held |
| E34-BENCHFAM-handshake-unknown_step | every handshake/unknown_step scenario holds | E34 | held |
| E34-BENCHFAM-immune_v3-signal_response | every immune_v3/signal_response scenario holds | E34 | held |
| E34-BENCHFAM-immune_v3-unknown_signal | every immune_v3/unknown_signal scenario holds | E34 | held |
| E34-BENCHFAM-interchange-protocol_support | every interchange/protocol_support scenario holds | E34 | held |
| E34-BENCHFAM-law-law_no_authority | every law/law_no_authority scenario holds | E34 | held |
| E34-BENCHFAM-moat-no_market_moat | every moat/no_market_moat scenario holds | E34 | held |
| E34-BENCHFAM-primitive-primitive_binds_layer | every primitive/primitive_binds_layer scenario holds | E34 | held |
| E34-BENCHFAM-proof_exchange-exchange_verifies | every proof_exchange/exchange_verifies scenario holds | E34 | held |
| E34-BENCHFAM-proof_exchange-proof_not_authority | every proof_exchange/proof_not_authority scenario holds | E34 | held |
| E34-BENCHFAM-receipt_chain-chain_break | every receipt_chain/chain_break scenario holds | E34 | held |
| E34-BENCHFAM-receipt_chain-no_authority | every receipt_chain/no_authority scenario holds | E34 | held |
| E34-BENCHFAM-receipt_chain-receipt_tamper | every receipt_chain/receipt_tamper scenario holds | E34 | held |
| E34-BENCHFAM-recovery-incomplete_recovery | every recovery/incomplete_recovery scenario holds | E34 | held |
| E34-BENCHFAM-recovery-recovery_proof | every recovery/recovery_proof scenario holds | E34 | held |
| E34-BENCHFAM-replay-replay_diff | every replay/replay_diff scenario holds | E34 | held |
| E34-BENCHFAM-replay-replay_same | every replay/replay_same scenario holds | E34 | held |
| E34-BENCHFAM-reputation-reputation_vector | every reputation/reputation_vector scenario holds | E34 | held |
| E34-BENCHFAM-status-demo_only | every status/demo_only scenario holds | E34 | held |
| E34-BENCHFAM-status-expired | every status/expired scenario holds | E34 | held |
| E34-BENCHFAM-status-no_single_score | every status/no_single_score scenario holds | E34 | held |
| E34-BENCHFAM-status-observed_only | every status/observed_only scenario holds | E34 | 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