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 601–750 of 1269
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E36-CAT-supply_chain | every supply_chain scenario holds | E36 | held |
| E36-CAT-subcontract | every subcontract scenario holds | E36 | held |
| E36-CAT-service_chain_proof | every service_chain_proof scenario holds | E36 | held |
| E36-CAT-quality_graph | every quality_graph scenario holds | E36 | held |
| E36-CAT-service_twin | every service_twin scenario holds | E36 | held |
| E36-CAT-procurement_sim | every procurement_sim scenario holds | E36 | held |
| E36-CAT-econ_twin | every econ_twin scenario holds | E36 | held |
| E36-CAT-econ_attack | every econ_attack scenario holds | E36 | held |
| E36-CAT-firebreak | every firebreak scenario holds | E36 | held |
| E36-CAT-org_market | every org_market scenario holds | E36 | held |
| E36-CAT-collective | every collective scenario holds | E36 | held |
| E36-CAT-labor_contract | every labor_contract scenario holds | E36 | held |
| E36-CAT-a2a | every a2a scenario holds | E36 | held |
| E36-CAT-directory | every directory scenario holds | E36 | held |
| E36-CAT-trust_negotiation | every trust_negotiation scenario holds | E36 | held |
| E36-CAT-msdp | every msdp scenario holds | E36 | held |
| E36-CAT-descriptor | every descriptor scenario holds | E36 | held |
| E36-CAT-service_cert | every service_cert scenario holds | E36 | held |
| E36-CAT-telemetry | every telemetry scenario holds | E36 | held |
| E36-CAT-econ_graph | every econ_graph scenario holds | E36 | held |
| E36-CAT-econ_knowledge | every econ_knowledge scenario holds | E36 | held |
| E36-CAT-corpus | every corpus scenario holds | E36 | held |
| E36-CAT-threat_intel | every threat_intel scenario holds | E36 | held |
| E36-CAT-service_search | every service_search scenario holds | E36 | held |
| E36-CAT-procurement_agent | every procurement_agent scenario holds | E36 | held |
| E36-CAT-substitution | every substitution scenario holds | E36 | held |
| E36-CAT-continuity | every continuity scenario holds | E36 | held |
| E36-CAT-router | every router scenario holds | E36 | held |
| E36-CAT-econ_policy | every econ_policy scenario holds | E36 | held |
| E36-CAT-gov_budget | every gov_budget scenario holds | E36 | held |
| E36-CAT-safe_mode | every safe_mode scenario holds | E36 | held |
| E36-CAT-moat | every moat scenario holds | E36 | held |
| E36-CAT-agency_graph | every agency_graph scenario holds | E36 | held |
| E36-CAT-competition | every competition scenario holds | E36 | held |
| E36-CAT-service_evolution | every service_evolution scenario holds | E36 | held |
| E36-CAT-revocation | every revocation scenario holds | E36 | held |
| E36-CAT-recovery | every recovery scenario holds | E36 | held |
| E36-CAT-internal | every internal scenario holds | E36 | held |
| E36-CAT-competitive_gap | every competitive_gap scenario holds | E36 | held |
| E36-CAT-exchange | every exchange scenario holds | E36 | held |
| E36-BENCHFAM-a2a-a2a_op | every a2a/a2a_op scenario holds | E36 | held |
| E36-BENCHFAM-a2a-a2a_unclaimed_protocol | every a2a/a2a_unclaimed_protocol scenario holds | E36 | held |
| E36-BENCHFAM-agency_graph-agency_dangling | every agency_graph/agency_dangling scenario holds | E36 | held |
| E36-BENCHFAM-agency_graph-agency_edge | every agency_graph/agency_edge scenario holds | E36 | held |
| E36-BENCHFAM-agency_graph-agency_node | every agency_graph/agency_node scenario holds | E36 | held |
| E36-BENCHFAM-arbitration-arbitration_not_binding | every arbitration/arbitration_not_binding scenario holds | E36 | held |
| E36-BENCHFAM-auction-sealed_auction | every auction/sealed_auction scenario holds | E36 | held |
| E36-BENCHFAM-auction-unsealed_refused | every auction/unsealed_refused scenario holds | E36 | held |
| E36-BENCHFAM-bid-bid_selection | every bid/bid_selection scenario holds | E36 | held |
| E36-BENCHFAM-collective-collective_intersection | every collective/collective_intersection scenario holds | E36 | held |
| E36-BENCHFAM-competition-multidimensional_competition | every competition/multidimensional_competition scenario holds | E36 | held |
| E36-BENCHFAM-competitive_gap-competitive_gap | every competitive_gap/competitive_gap scenario holds | E36 | held |
| E36-BENCHFAM-composition-service_composition | every composition/service_composition scenario holds | E36 | held |
| E36-BENCHFAM-continuity-service_continuity | every continuity/service_continuity scenario holds | E36 | held |
| E36-BENCHFAM-contract-contract_build | every contract/contract_build scenario holds | E36 | held |
| E36-BENCHFAM-contract-contract_expires | every contract/contract_expires scenario holds | E36 | held |
| E36-BENCHFAM-contract-contract_section | every contract/contract_section scenario holds | E36 | held |
| E36-BENCHFAM-contract_compile-compile_complete | every contract_compile/compile_complete scenario holds | E36 | held |
| E36-BENCHFAM-contract_compile-compile_escalates | every contract_compile/compile_escalates scenario holds | E36 | held |
| E36-BENCHFAM-corpus-bulk_corpus | every corpus/bulk_corpus scenario holds | E36 | held |
| E36-BENCHFAM-corpus-corpus_authorization | every corpus/corpus_authorization scenario holds | E36 | held |
| E36-BENCHFAM-corpus-corpus_category | every corpus/corpus_category scenario holds | E36 | held |
| E36-BENCHFAM-descriptor-descriptor_field | every descriptor/descriptor_field scenario holds | E36 | held |
| E36-BENCHFAM-descriptor-msdp_experimental | every descriptor/msdp_experimental scenario holds | E36 | held |
| E36-BENCHFAM-directory-agent_directory | every directory/agent_directory scenario holds | E36 | held |
| E36-BENCHFAM-discovery-match_requires_evidence | every discovery/match_requires_evidence scenario holds | E36 | held |
| E36-BENCHFAM-discovery-unknown_never_upgraded | every discovery/unknown_never_upgraded scenario holds | E36 | held |
| E36-BENCHFAM-dispute-dispute_not_invented | every dispute/dispute_not_invented scenario holds | E36 | held |
| E36-BENCHFAM-dispute-dispute_state | every dispute/dispute_state scenario holds | E36 | held |
| E36-BENCHFAM-econ_attack-bulk_attack | every econ_attack/bulk_attack scenario holds | E36 | held |
| E36-BENCHFAM-econ_attack-economic_attack | every econ_attack/economic_attack scenario holds | E36 | held |
| E36-BENCHFAM-econ_graph-econ_edge | every econ_graph/econ_edge scenario holds | E36 | held |
| E36-BENCHFAM-econ_graph-econ_node | every econ_graph/econ_node scenario holds | E36 | held |
| E36-BENCHFAM-econ_knowledge-knowledge_tenant_isolation | every econ_knowledge/knowledge_tenant_isolation scenario holds | E36 | held |
| E36-BENCHFAM-econ_policy-economic_policy | every econ_policy/economic_policy scenario holds | E36 | held |
| E36-BENCHFAM-econ_twin-econ_twin_scenario | every econ_twin/econ_twin_scenario scenario holds | E36 | held |
| E36-BENCHFAM-escrow-escrow_not_custodial | every escrow/escrow_not_custodial scenario holds | E36 | held |
| E36-BENCHFAM-exchange-exchange_lifecycle | every exchange/exchange_lifecycle scenario holds | E36 | held |
| E36-BENCHFAM-exchange-exchange_list | every exchange/exchange_list scenario holds | E36 | held |
| E36-BENCHFAM-firebreak-economic_firebreak | every firebreak/economic_firebreak scenario holds | E36 | held |
| E36-BENCHFAM-gov_budget-budget_dimension | every gov_budget/budget_dimension scenario holds | E36 | held |
| E36-BENCHFAM-gov_budget-budget_exhaustion | every gov_budget/budget_exhaustion scenario holds | E36 | held |
| E36-BENCHFAM-gov_budget-budget_field | every gov_budget/budget_field scenario holds | E36 | held |
| E36-BENCHFAM-gov_budget-bulk_budget | every gov_budget/bulk_budget scenario holds | E36 | held |
| E36-BENCHFAM-identity-no_provenance | every identity/no_provenance scenario holds | E36 | held |
| E36-BENCHFAM-identity-self_declared_unverified | every identity/self_declared_unverified scenario holds | E36 | held |
| E36-BENCHFAM-internal-cain_self_governance | every internal/cain_self_governance scenario holds | E36 | held |
| E36-BENCHFAM-labor_contract-labor_legal_review | every labor_contract/labor_legal_review scenario holds | E36 | held |
| E36-BENCHFAM-labor_contract-labor_section | every labor_contract/labor_section scenario holds | E36 | held |
| E36-BENCHFAM-law-bulk_law | every law/bulk_law scenario holds | E36 | held |
| E36-BENCHFAM-law-no_authority | every law/no_authority scenario holds | E36 | held |
| E36-BENCHFAM-marketplace-capability_category | every marketplace/capability_category scenario holds | E36 | held |
| E36-BENCHFAM-marketplace-capability_fields | every marketplace/capability_fields scenario holds | E36 | held |
| E36-BENCHFAM-match-bulk_match | every match/bulk_match scenario holds | E36 | held |
| E36-BENCHFAM-match-match_class | every match/match_class scenario holds | E36 | held |
| E36-BENCHFAM-moat-no_market_moat | every moat/no_market_moat scenario holds | E36 | held |
| E36-BENCHFAM-msdp-msdp_advertise | every msdp/msdp_advertise scenario holds | E36 | held |
| E36-BENCHFAM-negotiation-negotiation_intersection | every negotiation/negotiation_intersection scenario holds | E36 | held |
| E36-BENCHFAM-negotiation-negotiation_item | every negotiation/negotiation_item scenario holds | E36 | held |
| E36-BENCHFAM-org_market-org_expose | every org_market/org_expose scenario holds | E36 | held |
| E36-BENCHFAM-org_market-org_offer | every org_market/org_offer scenario holds | E36 | held |
| E36-BENCHFAM-passport-passport_field | every passport/passport_field scenario holds | E36 | held |
| E36-BENCHFAM-passport-passport_revoke | every passport/passport_revoke scenario holds | E36 | held |
| E36-BENCHFAM-passport-passport_unknowns | every passport/passport_unknowns scenario holds | E36 | held |
| E36-BENCHFAM-passport-passport_verify | every passport/passport_verify scenario holds | E36 | held |
| E36-BENCHFAM-payment-payment_authorization | every payment/payment_authorization scenario holds | E36 | held |
| E36-BENCHFAM-performance-bulk_performance | every performance/bulk_performance scenario holds | E36 | held |
| E36-BENCHFAM-performance-performance_dimension | every performance/performance_dimension scenario holds | E36 | held |
| E36-BENCHFAM-procurement-procurement_candidates | every procurement/procurement_candidates scenario holds | E36 | held |
| E36-BENCHFAM-procurement_agent-procurement_may | every procurement_agent/procurement_may scenario holds | E36 | held |
| E36-BENCHFAM-procurement_agent-procurement_may_not | every procurement_agent/procurement_may_not scenario holds | E36 | held |
| E36-BENCHFAM-procurement_sim-procurement_simulation | every procurement_sim/procurement_simulation scenario holds | E36 | held |
| E36-BENCHFAM-proof_market-proof_backed_filter | every proof_market/proof_backed_filter scenario holds | E36 | held |
| E36-BENCHFAM-quality_graph-quality_graph | every quality_graph/quality_graph scenario holds | E36 | held |
| E36-BENCHFAM-receipt-receipt_requires_e8 | every receipt/receipt_requires_e8 scenario holds | E36 | held |
| E36-BENCHFAM-receipt-receipt_synthetic | every receipt/receipt_synthetic scenario holds | E36 | held |
| E36-BENCHFAM-recovery-recovery_complete | every recovery/recovery_complete scenario holds | E36 | held |
| E36-BENCHFAM-recovery-recovery_incomplete | every recovery/recovery_incomplete scenario holds | E36 | held |
| E36-BENCHFAM-reputation-bulk_reputation | every reputation/bulk_reputation scenario holds | E36 | held |
| E36-BENCHFAM-reputation-reputation_dimension | every reputation/reputation_dimension scenario holds | E36 | held |
| E36-BENCHFAM-reputation-reputation_provenance | every reputation/reputation_provenance scenario holds | E36 | held |
| E36-BENCHFAM-revocation-bulk_revoke | every revocation/bulk_revoke scenario holds | E36 | held |
| E36-BENCHFAM-revocation-revocation_trigger | every revocation/revocation_trigger scenario holds | E36 | held |
| E36-BENCHFAM-risk_pool-risk_pool_architecture | every risk_pool/risk_pool_architecture scenario holds | E36 | held |
| E36-BENCHFAM-router-governance_aware_router | every router/governance_aware_router scenario holds | E36 | held |
| E36-BENCHFAM-safe_mode-safe_mode_freeze | every safe_mode/safe_mode_freeze scenario holds | E36 | held |
| E36-BENCHFAM-safe_mode-safe_mode_normal | every safe_mode/safe_mode_normal scenario holds | E36 | held |
| E36-BENCHFAM-service_cert-service_cert_blanket | every service_cert/service_cert_blanket scenario holds | E36 | held |
| E36-BENCHFAM-service_cert-service_cert_field | every service_cert/service_cert_field scenario holds | E36 | held |
| E36-BENCHFAM-service_cert-service_cert_scope | every service_cert/service_cert_scope scenario holds | E36 | held |
| E36-BENCHFAM-service_chain_proof-chain_proof_complete | every service_chain_proof/chain_proof_complete scenario holds | E36 | held |
| E36-BENCHFAM-service_chain_proof-chain_proof_incomplete | every service_chain_proof/chain_proof_incomplete scenario holds | E36 | held |
| E36-BENCHFAM-service_evolution-service_version_no_inherit | every service_evolution/service_version_no_inherit scenario holds | E36 | held |
| E36-BENCHFAM-service_search-service_search_escalate | every service_search/service_search_escalate scenario holds | E36 | held |
| E36-BENCHFAM-service_search-service_search_parsed | every service_search/service_search_parsed scenario holds | E36 | held |
| E36-BENCHFAM-service_twin-service_twin_scenario | every service_twin/service_twin_scenario scenario holds | E36 | held |
| E36-BENCHFAM-sla-self_report_unverified | every sla/self_report_unverified scenario holds | E36 | held |
| E36-BENCHFAM-sla-sla_violation | every sla/sla_violation scenario holds | E36 | held |
| E36-BENCHFAM-subcontract-subcontract_gates | every subcontract/subcontract_gates scenario holds | E36 | held |
| E36-BENCHFAM-substitution-substitution_incomplete | every substitution/substitution_incomplete scenario holds | E36 | held |
| E36-BENCHFAM-substitution-substitution_revalidated | every substitution/substitution_revalidated scenario holds | E36 | held |
| E36-BENCHFAM-supply_chain-service_bom | every supply_chain/service_bom scenario holds | E36 | held |
| E36-BENCHFAM-supply_chain-supply_substitution | every supply_chain/supply_substitution scenario holds | E36 | held |
| E36-BENCHFAM-telemetry-bulk_telemetry | every telemetry/bulk_telemetry scenario holds | E36 | held |
| E36-BENCHFAM-telemetry-telemetry_authorization | every telemetry/telemetry_authorization scenario holds | E36 | held |
| E36-BENCHFAM-telemetry-telemetry_metric | every telemetry/telemetry_metric scenario holds | E36 | held |
| E36-BENCHFAM-threat_intel-threat_intel | every threat_intel/threat_intel scenario holds | E36 | held |
| E36-BENCHFAM-trust_negotiation-trust_permissible | every trust_negotiation/trust_permissible scenario holds | E36 | held |
| E36-BENCHFAM-trust_negotiation-trust_unknown | every trust_negotiation/trust_unknown scenario holds | E36 | held |
| E36-BENCHFAM-warranty-warranty_conditions_not_safety | every warranty/warranty_conditions_not_safety scenario holds | E36 | 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