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 751–900 of 1269
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E36-FAM-a2a-a2a_op | family a2a/a2a_op is a held, non-empty check | E36 | held |
| E36-FAM-a2a-a2a_unclaimed_protocol | family a2a/a2a_unclaimed_protocol is a held, non-empty check | E36 | held |
| E36-FAM-agency_graph-agency_dangling | family agency_graph/agency_dangling is a held, non-empty check | E36 | held |
| E36-FAM-agency_graph-agency_edge | family agency_graph/agency_edge is a held, non-empty check | E36 | held |
| E36-FAM-agency_graph-agency_node | family agency_graph/agency_node is a held, non-empty check | E36 | held |
| E36-FAM-arbitration-arbitration_not_binding | family arbitration/arbitration_not_binding is a held, non-empty check | E36 | held |
| E36-FAM-auction-sealed_auction | family auction/sealed_auction is a held, non-empty check | E36 | held |
| E36-FAM-auction-unsealed_refused | family auction/unsealed_refused is a held, non-empty check | E36 | held |
| E36-FAM-bid-bid_selection | family bid/bid_selection is a held, non-empty check | E36 | held |
| E36-FAM-collective-collective_intersection | family collective/collective_intersection is a held, non-empty check | E36 | held |
| E36-FAM-competition-multidimensional_competition | family competition/multidimensional_competition is a held, non-empty check | E36 | held |
| E36-FAM-competitive_gap-competitive_gap | family competitive_gap/competitive_gap is a held, non-empty check | E36 | held |
| E36-FAM-composition-service_composition | family composition/service_composition is a held, non-empty check | E36 | held |
| E36-FAM-continuity-service_continuity | family continuity/service_continuity is a held, non-empty check | E36 | held |
| E36-FAM-contract-contract_build | family contract/contract_build is a held, non-empty check | E36 | held |
| E36-FAM-contract-contract_expires | family contract/contract_expires is a held, non-empty check | E36 | held |
| E36-FAM-contract-contract_section | family contract/contract_section is a held, non-empty check | E36 | held |
| E36-FAM-contract_compile-compile_complete | family contract_compile/compile_complete is a held, non-empty check | E36 | held |
| E36-FAM-contract_compile-compile_escalates | family contract_compile/compile_escalates is a held, non-empty check | E36 | held |
| E36-FAM-corpus-bulk_corpus | family corpus/bulk_corpus is a held, non-empty check | E36 | held |
| E36-FAM-corpus-corpus_authorization | family corpus/corpus_authorization is a held, non-empty check | E36 | held |
| E36-FAM-corpus-corpus_category | family corpus/corpus_category is a held, non-empty check | E36 | held |
| E36-FAM-descriptor-descriptor_field | family descriptor/descriptor_field is a held, non-empty check | E36 | held |
| E36-FAM-descriptor-msdp_experimental | family descriptor/msdp_experimental is a held, non-empty check | E36 | held |
| E36-FAM-directory-agent_directory | family directory/agent_directory is a held, non-empty check | E36 | held |
| E36-FAM-discovery-match_requires_evidence | family discovery/match_requires_evidence is a held, non-empty check | E36 | held |
| E36-FAM-discovery-unknown_never_upgraded | family discovery/unknown_never_upgraded is a held, non-empty check | E36 | held |
| E36-FAM-dispute-dispute_not_invented | family dispute/dispute_not_invented is a held, non-empty check | E36 | held |
| E36-FAM-dispute-dispute_state | family dispute/dispute_state is a held, non-empty check | E36 | held |
| E36-FAM-econ_attack-bulk_attack | family econ_attack/bulk_attack is a held, non-empty check | E36 | held |
| E36-FAM-econ_attack-economic_attack | family econ_attack/economic_attack is a held, non-empty check | E36 | held |
| E36-FAM-econ_graph-econ_edge | family econ_graph/econ_edge is a held, non-empty check | E36 | held |
| E36-FAM-econ_graph-econ_node | family econ_graph/econ_node is a held, non-empty check | E36 | held |
| E36-FAM-econ_knowledge-knowledge_tenant_isolation | family econ_knowledge/knowledge_tenant_isolation is a held, non-empty check | E36 | held |
| E36-FAM-econ_policy-economic_policy | family econ_policy/economic_policy is a held, non-empty check | E36 | held |
| E36-FAM-econ_twin-econ_twin_scenario | family econ_twin/econ_twin_scenario is a held, non-empty check | E36 | held |
| E36-FAM-escrow-escrow_not_custodial | family escrow/escrow_not_custodial is a held, non-empty check | E36 | held |
| E36-FAM-exchange-exchange_lifecycle | family exchange/exchange_lifecycle is a held, non-empty check | E36 | held |
| E36-FAM-exchange-exchange_list | family exchange/exchange_list is a held, non-empty check | E36 | held |
| E36-FAM-firebreak-economic_firebreak | family firebreak/economic_firebreak is a held, non-empty check | E36 | held |
| E36-FAM-gov_budget-budget_dimension | family gov_budget/budget_dimension is a held, non-empty check | E36 | held |
| E36-FAM-gov_budget-budget_exhaustion | family gov_budget/budget_exhaustion is a held, non-empty check | E36 | held |
| E36-FAM-gov_budget-budget_field | family gov_budget/budget_field is a held, non-empty check | E36 | held |
| E36-FAM-gov_budget-bulk_budget | family gov_budget/bulk_budget is a held, non-empty check | E36 | held |
| E36-FAM-identity-no_provenance | family identity/no_provenance is a held, non-empty check | E36 | held |
| E36-FAM-identity-self_declared_unverified | family identity/self_declared_unverified is a held, non-empty check | E36 | held |
| E36-FAM-internal-cain_self_governance | family internal/cain_self_governance is a held, non-empty check | E36 | held |
| E36-FAM-labor_contract-labor_legal_review | family labor_contract/labor_legal_review is a held, non-empty check | E36 | held |
| E36-FAM-labor_contract-labor_section | family labor_contract/labor_section is a held, non-empty check | E36 | held |
| E36-FAM-law-bulk_law | family law/bulk_law is a held, non-empty check | E36 | held |
| E36-FAM-law-no_authority | family law/no_authority is a held, non-empty check | E36 | held |
| E36-FAM-marketplace-capability_category | family marketplace/capability_category is a held, non-empty check | E36 | held |
| E36-FAM-marketplace-capability_fields | family marketplace/capability_fields is a held, non-empty check | E36 | held |
| E36-FAM-match-bulk_match | family match/bulk_match is a held, non-empty check | E36 | held |
| E36-FAM-match-match_class | family match/match_class is a held, non-empty check | E36 | held |
| E36-FAM-moat-no_market_moat | family moat/no_market_moat is a held, non-empty check | E36 | held |
| E36-FAM-msdp-msdp_advertise | family msdp/msdp_advertise is a held, non-empty check | E36 | held |
| E36-FAM-negotiation-negotiation_intersection | family negotiation/negotiation_intersection is a held, non-empty check | E36 | held |
| E36-FAM-negotiation-negotiation_item | family negotiation/negotiation_item is a held, non-empty check | E36 | held |
| E36-FAM-org_market-org_expose | family org_market/org_expose is a held, non-empty check | E36 | held |
| E36-FAM-org_market-org_offer | family org_market/org_offer is a held, non-empty check | E36 | held |
| E36-FAM-passport-passport_field | family passport/passport_field is a held, non-empty check | E36 | held |
| E36-FAM-passport-passport_revoke | family passport/passport_revoke is a held, non-empty check | E36 | held |
| E36-FAM-passport-passport_unknowns | family passport/passport_unknowns is a held, non-empty check | E36 | held |
| E36-FAM-passport-passport_verify | family passport/passport_verify is a held, non-empty check | E36 | held |
| E36-FAM-payment-payment_authorization | family payment/payment_authorization is a held, non-empty check | E36 | held |
| E36-FAM-performance-bulk_performance | family performance/bulk_performance is a held, non-empty check | E36 | held |
| E36-FAM-performance-performance_dimension | family performance/performance_dimension is a held, non-empty check | E36 | held |
| E36-FAM-procurement-procurement_candidates | family procurement/procurement_candidates is a held, non-empty check | E36 | held |
| E36-FAM-procurement_agent-procurement_may | family procurement_agent/procurement_may is a held, non-empty check | E36 | held |
| E36-FAM-procurement_agent-procurement_may_not | family procurement_agent/procurement_may_not is a held, non-empty check | E36 | held |
| E36-FAM-procurement_sim-procurement_simulation | family procurement_sim/procurement_simulation is a held, non-empty check | E36 | held |
| E36-FAM-proof_market-proof_backed_filter | family proof_market/proof_backed_filter is a held, non-empty check | E36 | held |
| E36-FAM-quality_graph-quality_graph | family quality_graph/quality_graph is a held, non-empty check | E36 | held |
| E36-FAM-receipt-receipt_requires_e8 | family receipt/receipt_requires_e8 is a held, non-empty check | E36 | held |
| E36-FAM-receipt-receipt_synthetic | family receipt/receipt_synthetic is a held, non-empty check | E36 | held |
| E36-FAM-recovery-recovery_complete | family recovery/recovery_complete is a held, non-empty check | E36 | held |
| E36-FAM-recovery-recovery_incomplete | family recovery/recovery_incomplete is a held, non-empty check | E36 | held |
| E36-FAM-reputation-bulk_reputation | family reputation/bulk_reputation is a held, non-empty check | E36 | held |
| E36-FAM-reputation-reputation_dimension | family reputation/reputation_dimension is a held, non-empty check | E36 | held |
| E36-FAM-reputation-reputation_provenance | family reputation/reputation_provenance is a held, non-empty check | E36 | held |
| E36-FAM-revocation-bulk_revoke | family revocation/bulk_revoke is a held, non-empty check | E36 | held |
| E36-FAM-revocation-revocation_trigger | family revocation/revocation_trigger is a held, non-empty check | E36 | held |
| E36-FAM-risk_pool-risk_pool_architecture | family risk_pool/risk_pool_architecture is a held, non-empty check | E36 | held |
| E36-FAM-router-governance_aware_router | family router/governance_aware_router is a held, non-empty check | E36 | held |
| E36-FAM-safe_mode-safe_mode_freeze | family safe_mode/safe_mode_freeze is a held, non-empty check | E36 | held |
| E36-FAM-safe_mode-safe_mode_normal | family safe_mode/safe_mode_normal is a held, non-empty check | E36 | held |
| E36-FAM-service_cert-service_cert_blanket | family service_cert/service_cert_blanket is a held, non-empty check | E36 | held |
| E36-FAM-service_cert-service_cert_field | family service_cert/service_cert_field is a held, non-empty check | E36 | held |
| E36-FAM-service_cert-service_cert_scope | family service_cert/service_cert_scope is a held, non-empty check | E36 | held |
| E36-FAM-service_chain_proof-chain_proof_complete | family service_chain_proof/chain_proof_complete is a held, non-empty check | E36 | held |
| E36-FAM-service_chain_proof-chain_proof_incomplete | family service_chain_proof/chain_proof_incomplete is a held, non-empty check | E36 | held |
| E36-FAM-service_evolution-service_version_no_inherit | family service_evolution/service_version_no_inherit is a held, non-empty check | E36 | held |
| E36-FAM-service_search-service_search_escalate | family service_search/service_search_escalate is a held, non-empty check | E36 | held |
| E36-FAM-service_search-service_search_parsed | family service_search/service_search_parsed is a held, non-empty check | E36 | held |
| E36-FAM-service_twin-service_twin_scenario | family service_twin/service_twin_scenario is a held, non-empty check | E36 | held |
| E36-FAM-sla-self_report_unverified | family sla/self_report_unverified is a held, non-empty check | E36 | held |
| E36-FAM-sla-sla_violation | family sla/sla_violation is a held, non-empty check | E36 | held |
| E36-FAM-subcontract-subcontract_gates | family subcontract/subcontract_gates is a held, non-empty check | E36 | held |
| E36-FAM-substitution-substitution_incomplete | family substitution/substitution_incomplete is a held, non-empty check | E36 | held |
| E36-FAM-substitution-substitution_revalidated | family substitution/substitution_revalidated is a held, non-empty check | E36 | held |
| E36-FAM-supply_chain-service_bom | family supply_chain/service_bom is a held, non-empty check | E36 | held |
| E36-FAM-supply_chain-supply_substitution | family supply_chain/supply_substitution is a held, non-empty check | E36 | held |
| E36-FAM-telemetry-bulk_telemetry | family telemetry/bulk_telemetry is a held, non-empty check | E36 | held |
| E36-FAM-telemetry-telemetry_authorization | family telemetry/telemetry_authorization is a held, non-empty check | E36 | held |
| E36-FAM-telemetry-telemetry_metric | family telemetry/telemetry_metric is a held, non-empty check | E36 | held |
| E36-FAM-threat_intel-threat_intel | family threat_intel/threat_intel is a held, non-empty check | E36 | held |
| E36-FAM-trust_negotiation-trust_permissible | family trust_negotiation/trust_permissible is a held, non-empty check | E36 | held |
| E36-FAM-trust_negotiation-trust_unknown | family trust_negotiation/trust_unknown is a held, non-empty check | E36 | held |
| E36-FAM-warranty-warranty_conditions_not_safety | family warranty/warranty_conditions_not_safety is a held, non-empty check | E36 | held |
| coverage | every 'coverage' invariant in this bundle (46 of 46 held) | E37 | held |
| coverage | every 'coverage' invariant in this bundle (12 of 12 held) | E38 | held |
| E40-COMPLETION-code | code completion requires configured evidence | E40 | held |
| E40-COMPLETION-data | data completion requires configured evidence | E40 | held |
| E40-COMPLETION-business | business completion requires configured evidence | E40 | held |
| E40-COMPLETION-research | research completion requires configured evidence | E40 | held |
| E40-COMPSTATE-COMPLETE | completion state COMPLETE exists | E40 | held |
| E40-COMPSTATE-PARTIAL | completion state PARTIAL exists | E40 | held |
| E40-COMPSTATE-FAILED | completion state FAILED exists | E40 | held |
| E40-COMPSTATE-BLOCKED | completion state BLOCKED exists | E40 | held |
| E40-COMPSTATE-UNVERIFIED | completion state UNVERIFIED exists | E40 | held |
| E40-COMPSTATE-UNKNOWN | completion state UNKNOWN exists | E40 | held |
| E40-CAT-law | every law scenario holds | E40 | held |
| E40-CAT-epistemic | every epistemic scenario holds | E40 | held |
| E40-CAT-world_model | every world_model scenario holds | E40 | held |
| E40-CAT-reconcile | every reconcile scenario holds | E40 | held |
| E40-CAT-drift | every drift scenario holds | E40 | held |
| E40-CAT-causal | every causal scenario holds | E40 | held |
| E40-CAT-objective | every objective scenario holds | E40 | held |
| E40-CAT-risk | every risk scenario holds | E40 | held |
| E40-CAT-resource | every resource scenario holds | E40 | held |
| E40-CAT-authority | every authority scenario holds | E40 | held |
| E40-CAT-forecast | every forecast scenario holds | E40 | held |
| E40-CAT-calibration | every calibration scenario holds | E40 | held |
| E40-CAT-counterfactual | every counterfactual scenario holds | E40 | held |
| E40-CAT-simulation | every simulation scenario holds | E40 | held |
| E40-CAT-autonomy_budget | every autonomy_budget scenario holds | E40 | held |
| E40-CAT-autonomy_gradient | every autonomy_gradient scenario holds | E40 | held |
| E40-CAT-human | every human scenario holds | E40 | held |
| E40-CAT-checkpoint | every checkpoint scenario holds | E40 | held |
| E40-CAT-completion | every completion scenario holds | E40 | held |
| E40-CAT-false_completion | every false_completion scenario holds | E40 | held |
| E40-CAT-clock | every clock scenario holds | E40 | held |
| E40-CAT-degradation | every degradation scenario holds | E40 | held |
| E40-CAT-replan | every replan scenario holds | E40 | held |
| E40-CAT-time_machine | every time_machine scenario holds | E40 | held |
| E40-CAT-proof | every proof scenario holds | E40 | held |
| E40-CAT-certificate | every certificate scenario holds | E40 | held |
| E40-CAT-loop | every loop scenario holds | E40 | held |
| E40-CAT-reject | every reject scenario holds | E40 | 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