CAIN-42 CAIN StudioEvidence library · family
Bench family
669 tested rules in the 'bench_family' family, 669 held.
Last reviewed 2026-10-01
669 of 669 held niche Benchmarks, coverage & performance
What this family tests
Every rule the CAIN-42 test suites recorded under the family bench_family, across 6 evidence bundles. Each rule links to its own page with the recorded result and an in-browser check of the file it came from.
| ID | Rule | Bundle | Result |
|---|---|---|---|
| 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 |
| E34-BENCHFAM-status-simulation_is_not_production | every status/simulation_is_not_production scenario holds | E34 | held |
| E34-BENCHFAM-status-status | every status/status scenario holds | E34 | held |
| E34-BENCHFAM-status-status_priority | every status/status_priority scenario holds | E34 | held |
| E34-BENCHFAM-status-uncontrolled_channel | every status/uncontrolled_channel scenario holds | E34 | held |
| E34-BENCHFAM-status-unknown_core | every status/unknown_core scenario holds | E34 | held |
| E34-BENCHFAM-supply_chain-component_kind | every supply_chain/component_kind scenario holds | E34 | held |
| E34-BENCHFAM-supply_chain-model_substitution | every supply_chain/model_substitution scenario holds | E34 | held |
| E34-BENCHFAM-supply_chain-unsigned_component | every supply_chain/unsigned_component scenario holds | E34 | held |
| E34-BENCHFAM-tenancy-cross_tenant_denied | every tenancy/cross_tenant_denied scenario holds | E34 | held |
| E34-BENCHFAM-tenancy-isolated_key | every tenancy/isolated_key scenario holds | E34 | held |
| E34-BENCHFAM-tenancy-rbac_denied | every tenancy/rbac_denied scenario holds | E34 | held |
| E34-BENCHFAM-time_machine-known_at_time | every time_machine/known_at_time scenario holds | E34 | held |
| E34-BENCHFAM-transaction-transaction_units | every transaction/transaction_units scenario holds | E34 | held |
| E34-BENCHFAM-truth_guard-negated_ok | every truth_guard/negated_ok scenario holds | E34 | held |
| E34-BENCHFAM-truth_guard-unsupported_claim | every truth_guard/unsupported_claim scenario holds | E34 | held |
| E35-BENCHFAM-action_graph-anomaly | every action_graph/anomaly scenario holds | E35 | held |
| E35-BENCHFAM-adversarial_generation-adversarial_source | every adversarial_generation/adversarial_source scenario holds | E35 | held |
| E35-BENCHFAM-autonomy_gradient-autonomy_dimension | every autonomy_gradient/autonomy_dimension scenario holds | E35 | held |
| E35-BENCHFAM-benchmark-benchmark_no_authority | every benchmark/benchmark_no_authority scenario holds | E35 | held |
| E35-BENCHFAM-benchmark_v2-benchmark_v2_no_authority | every benchmark_v2/benchmark_v2_no_authority scenario holds | E35 | held |
| E35-BENCHFAM-blue_team-blue_team_proposal | every blue_team/blue_team_proposal scenario holds | E35 | held |
| E35-BENCHFAM-budget_learner-budget_recommendation | every budget_learner/budget_recommendation scenario holds | E35 | held |
| E35-BENCHFAM-calibration-calibration_by_dimension | every calibration/calibration_by_dimension scenario holds | E35 | held |
| E35-BENCHFAM-calibration-no_hidden_poor_calibration | every calibration/no_hidden_poor_calibration scenario holds | E35 | held |
| E35-BENCHFAM-calibration_engine-calibration_gap | every calibration_engine/calibration_gap scenario holds | E35 | held |
| E35-BENCHFAM-canary-canary_observes | every canary/canary_observes scenario holds | E35 | held |
| E35-BENCHFAM-canary-canary_share | every canary/canary_share scenario holds | E35 | held |
| E35-BENCHFAM-collusion-collusion_strength | every collusion/collusion_strength scenario holds | E35 | held |
| E35-BENCHFAM-communication-message_class | every communication/message_class scenario holds | E35 | held |
| E35-BENCHFAM-communication-message_class_rejected | every communication/message_class_rejected scenario holds | E35 | held |
| E35-BENCHFAM-compiler-governance_compiler | every compiler/governance_compiler scenario holds | E35 | held |
| E35-BENCHFAM-computer_use-bulk_cu | every computer_use/bulk_cu scenario holds | E35 | held |
| E35-BENCHFAM-computer_use-computer_use_incomplete | every computer_use/computer_use_incomplete scenario holds | E35 | held |
| E35-BENCHFAM-computer_use-computer_use_surface | every computer_use/computer_use_surface scenario holds | E35 | held |
| E35-BENCHFAM-consequence_graph-consequence_chain | every consequence_graph/consequence_chain scenario holds | E35 | held |
| E35-BENCHFAM-control_optimizer-proposal_only | every control_optimizer/proposal_only scenario holds | E35 | held |
| E35-BENCHFAM-counterfactual-bulk_cf | every counterfactual/bulk_cf scenario holds | E35 | held |
| E35-BENCHFAM-counterfactual-counterfactual_field | every counterfactual/counterfactual_field scenario holds | E35 | held |
| E35-BENCHFAM-counterfactual-intervention | every counterfactual/intervention scenario holds | E35 | held |
| E35-BENCHFAM-counterfactual-unknown_intervention | every counterfactual/unknown_intervention scenario holds | E35 | held |
| E35-BENCHFAM-degradation-degradation_state | every degradation/degradation_state scenario holds | E35 | held |
| E35-BENCHFAM-deployment-deployment_dimension | every deployment/deployment_dimension scenario holds | E35 | held |
| E35-BENCHFAM-deployment-governance_failure_dominates | every deployment/governance_failure_dominates scenario holds | E35 | held |
| E35-BENCHFAM-economics-economics_metric | every economics/economics_metric scenario holds | E35 | held |
| E35-BENCHFAM-economy-economy_attack | every economy/economy_attack scenario holds | E35 | held |
| E35-BENCHFAM-environment_query-governance_question | every environment_query/governance_question scenario holds | E35 | held |
| E35-BENCHFAM-environment_query-unknown_answer | every environment_query/unknown_answer scenario holds | E35 | held |
| E35-BENCHFAM-environment_query-unknown_query | every environment_query/unknown_query scenario holds | E35 | held |
| E35-BENCHFAM-epistemic-bulk_epistemic | every epistemic/bulk_epistemic scenario holds | E35 | held |
| E35-BENCHFAM-epistemic-epistemic_rejected | every epistemic/epistemic_rejected scenario holds | E35 | held |
| E35-BENCHFAM-epistemic-epistemic_state | every epistemic/epistemic_state scenario holds | E35 | held |
| E35-BENCHFAM-evaluation-evaluation_dimension | every evaluation/evaluation_dimension scenario holds | E35 | held |
| E35-BENCHFAM-evolution-evolution_gate | every evolution/evolution_gate scenario holds | E35 | held |
| E35-BENCHFAM-fabric-fabric_analyze | every fabric/fabric_analyze scenario holds | E35 | held |
| E35-BENCHFAM-fabric-fabric_review_by_kernel | every fabric/fabric_review_by_kernel scenario holds | E35 | held |
| E35-BENCHFAM-failure_predictor-failure_hypothesis | every failure_predictor/failure_hypothesis scenario holds | E35 | held |
| E35-BENCHFAM-failure_to_product-f2p_stage | every failure_to_product/f2p_stage scenario holds | E35 | held |
| E35-BENCHFAM-goal_integrity-drift_detected | every goal_integrity/drift_detected scenario holds | E35 | held |
| E35-BENCHFAM-goal_integrity-no_drift | every goal_integrity/no_drift scenario holds | E35 | held |
| E35-BENCHFAM-harness-harness_event | every harness/harness_event scenario holds | E35 | held |
| E35-BENCHFAM-harness-harness_event_rejected | every harness/harness_event_rejected scenario holds | E35 | held |
| E35-BENCHFAM-integrity-integrity_watch | every integrity/integrity_watch scenario holds | E35 | held |
| E35-BENCHFAM-intent_compiler-ambiguity_not_permission | every intent_compiler/ambiguity_not_permission scenario holds | E35 | held |
| E35-BENCHFAM-intent_compiler-intent_field | every intent_compiler/intent_field scenario holds | E35 | held |
| E35-BENCHFAM-ip-ip_disclosure | every ip/ip_disclosure scenario holds | E35 | held |
| E35-BENCHFAM-knowledge-kg_dangling_edge | every knowledge/kg_dangling_edge scenario holds | E35 | held |
| E35-BENCHFAM-knowledge-kg_edge | every knowledge/kg_edge scenario holds | E35 | held |
| E35-BENCHFAM-knowledge-kg_node | every knowledge/kg_node scenario holds | E35 | held |
| E35-BENCHFAM-knowledge-knowledge_revocation | every knowledge/knowledge_revocation scenario holds | E35 | held |
| E35-BENCHFAM-lab-research_lab | every lab/research_lab scenario holds | E35 | held |
| E35-BENCHFAM-labor-reputation_not_authority | every labor/reputation_not_authority scenario holds | E35 | held |
| E35-BENCHFAM-latency-latency_stage | every latency/latency_stage scenario holds | E35 | held |
| E35-BENCHFAM-law-bulk_law | every law/bulk_law scenario holds | E35 | held |
| E35-BENCHFAM-law-no_authority | every law/no_authority scenario holds | E35 | held |
| E35-BENCHFAM-learner-learner_finding | every learner/learner_finding scenario holds | E35 | held |
| E35-BENCHFAM-loop-loop_step | every loop/loop_step scenario holds | E35 | held |
| E35-BENCHFAM-loop-no_self_deploy | every loop/no_self_deploy scenario holds | E35 | held |
| E35-BENCHFAM-marketplace-marketplace_object | every marketplace/marketplace_object scenario holds | E35 | held |
| E35-BENCHFAM-memory-memory_kind | every memory/memory_kind scenario holds | E35 | held |
| E35-BENCHFAM-memory-memory_kind_rejected | every memory/memory_kind_rejected scenario holds | E35 | held |
| E35-BENCHFAM-moat-no_market_moat | every moat/no_market_moat scenario holds | E35 | held |
| E35-BENCHFAM-obligation-bulk_ob | every obligation/bulk_ob scenario holds | E35 | held |
| E35-BENCHFAM-obligation-obligation_lifecycle | every obligation/obligation_lifecycle scenario holds | E35 | held |
| E35-BENCHFAM-obligation-obligation_modal | every obligation/obligation_modal scenario holds | E35 | held |
| E35-BENCHFAM-observation-epistemic_separated | every observation/epistemic_separated scenario holds | E35 | held |
| E35-BENCHFAM-observation-observation_kind | every observation/observation_kind scenario holds | E35 | held |
| E35-BENCHFAM-observation-observed_needs_source | every observation/observed_needs_source scenario holds | E35 | held |
| E35-BENCHFAM-observation-unknown_kind_refused | every observation/unknown_kind_refused scenario holds | E35 | held |
| E35-BENCHFAM-plan_check_act-decision_kind | every plan_check_act/decision_kind scenario holds | E35 | held |
| E35-BENCHFAM-policy_conflict-conflict_dimension | every policy_conflict/conflict_dimension scenario holds | E35 | held |
| E35-BENCHFAM-policy_conflict-fail_closed | every policy_conflict/fail_closed scenario holds | E35 | held |
| E35-BENCHFAM-policy_optimizer-proposal_only | every policy_optimizer/proposal_only scenario holds | E35 | held |
| E35-BENCHFAM-prediction-prediction_field | every prediction/prediction_field scenario holds | E35 | held |
| E35-BENCHFAM-prediction-prediction_signed | every prediction/prediction_signed scenario holds | E35 | held |
| E35-BENCHFAM-profile-profile_dimension | every profile/profile_dimension scenario holds | E35 | held |
| E35-BENCHFAM-r2e-research_pipeline_stage | every r2e/research_pipeline_stage scenario holds | E35 | held |
| E35-BENCHFAM-radar-radar_no_evidence | every radar/radar_no_evidence scenario holds | E35 | held |
| E35-BENCHFAM-radar-radar_topic | every radar/radar_topic scenario holds | E35 | held |
| E35-BENCHFAM-recommendation-recommendation_not_authority | every recommendation/recommendation_not_authority scenario holds | E35 | held |
| E35-BENCHFAM-recommendation-recommendation_refused_as_authority | every recommendation/recommendation_refused_as_authority scenario holds | E35 | held |
| E35-BENCHFAM-red_team-redteam_may | every red_team/redteam_may scenario holds | E35 | held |
| E35-BENCHFAM-red_team-redteam_may_not | every red_team/redteam_may_not scenario holds | E35 | held |
| E35-BENCHFAM-regret-regret_dimension | every regret/regret_dimension scenario holds | E35 | held |
| E35-BENCHFAM-research-research_maturity | every research/research_maturity scenario holds | E35 | held |
| E35-BENCHFAM-revision-no_revision | every revision/no_revision scenario holds | E35 | held |
| E35-BENCHFAM-revision-state_revision | every revision/state_revision scenario holds | E35 | held |
| E35-BENCHFAM-risk-bulk_risk | every risk/bulk_risk scenario holds | E35 | held |
| E35-BENCHFAM-risk-risk_clamped | every risk/risk_clamped scenario holds | E35 | held |
| E35-BENCHFAM-risk-risk_dimension | every risk/risk_dimension scenario holds | E35 | held |
| E35-BENCHFAM-risk-unknown_dimension | every risk/unknown_dimension scenario holds | E35 | held |
| E35-BENCHFAM-rollback-rollback_no_authority | every rollback/rollback_no_authority scenario holds | E35 | held |
| E35-BENCHFAM-root_of_trust-root_of_trust_separated | every root_of_trust/root_of_trust_separated scenario holds | E35 | held |
| E35-BENCHFAM-self_governance-self_governance_object | every self_governance/self_governance_object scenario holds | E35 | held |
| E35-BENCHFAM-self_healing-self_healing_allowed | every self_healing/self_healing_allowed scenario holds | E35 | held |
| E35-BENCHFAM-self_healing-self_healing_forbidden | every self_healing/self_healing_forbidden scenario holds | E35 | held |
| E35-BENCHFAM-simulation-simulation_is_not_reality | every simulation/simulation_is_not_reality scenario holds | E35 | held |
| E35-BENCHFAM-state_predictor-prediction_target | every state_predictor/prediction_target scenario holds | E35 | held |
| E35-BENCHFAM-swarm-swarm_role | every swarm/swarm_role scenario holds | E35 | held |
| E35-BENCHFAM-tournament-tournament_no_authority | every tournament/tournament_no_authority scenario holds | E35 | held |
| E35-BENCHFAM-trajectory-trajectory_state | every trajectory/trajectory_state scenario holds | E35 | held |
| E35-BENCHFAM-world_model-epistemic_state | every world_model/epistemic_state scenario holds | E35 | held |
| E35-BENCHFAM-world_model-transition_simulated | every world_model/transition_simulated scenario holds | E35 | 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 |
| 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 |
| E40-FAM-authority-bounded | family authority/bounded holds | E40 | held |
| E40-FAM-authority-unbounded | family authority/unbounded holds | E40 | held |
| E40-FAM-autonomy_budget-budget_dim | family autonomy_budget/budget_dim holds | E40 | held |
| E40-FAM-autonomy_budget-budget_exhaustion | family autonomy_budget/budget_exhaustion holds | E40 | held |
| E40-FAM-autonomy_budget-child_bounded | family autonomy_budget/child_bounded holds | E40 | held |
| E40-FAM-autonomy_gradient-no_request_increase | family autonomy_gradient/no_request_increase holds | E40 | held |
| E40-FAM-calibration-overconfidence | family calibration/overconfidence holds | E40 | held |
| E40-FAM-causal-bad_relation | family causal/bad_relation holds | E40 | held |
| E40-FAM-causal-causal_relation | family causal/causal_relation holds | E40 | held |
| E40-FAM-certificate-completion_certificate | family certificate/completion_certificate holds | E40 | held |
| E40-FAM-checkpoint-human_on_high_risk | family checkpoint/human_on_high_risk holds | E40 | held |
| E40-FAM-clock-stale_state | family clock/stale_state holds | E40 | held |
| E40-FAM-completion-bulk_completion | family completion/bulk_completion holds | E40 | held |
| E40-FAM-completion-completion_kind | family completion/completion_kind holds | E40 | held |
| E40-FAM-completion-partial_not_complete | family completion/partial_not_complete holds | E40 | held |
| E40-FAM-counterfactual-counterfactual_not_fact | family counterfactual/counterfactual_not_fact holds | E40 | held |
| E40-FAM-degradation-no_authority_increase | family degradation/no_authority_increase holds | E40 | held |
| E40-FAM-drift-bad_kind | family drift/bad_kind holds | E40 | held |
| E40-FAM-drift-drift_kind | family drift/drift_kind holds | E40 | held |
| E40-FAM-epistemic-claimed | family epistemic/claimed holds | E40 | held |
| E40-FAM-epistemic-conflicted | family epistemic/conflicted holds | E40 | held |
| E40-FAM-epistemic-corroborated | family epistemic/corroborated holds | E40 | held |
| E40-FAM-epistemic-observed | family epistemic/observed holds | E40 | held |
| E40-FAM-epistemic-predicted | family epistemic/predicted holds | E40 | held |
| E40-FAM-epistemic-revoked | family epistemic/revoked holds | E40 | held |
| E40-FAM-epistemic-simulated | family epistemic/simulated holds | E40 | held |
| E40-FAM-epistemic-stale | family epistemic/stale holds | E40 | held |
| E40-FAM-false_completion-false_completion | family false_completion/false_completion holds | E40 | held |
| E40-FAM-forecast-prediction_not_observation | family forecast/prediction_not_observation holds | E40 | held |
| E40-FAM-human-human_authority | family human/human_authority holds | E40 | held |
| E40-FAM-law-bulk_law | family law/bulk_law holds | E40 | held |
| E40-FAM-law-no_authority | family law/no_authority holds | E40 | held |
| E40-FAM-loop-loop_step | family loop/loop_step holds | E40 | held |
| E40-FAM-loop-mandatory_step | family loop/mandatory_step holds | E40 | held |
| E40-FAM-objective-no_silent_override | family objective/no_silent_override holds | E40 | held |
| E40-FAM-objective-objective_level | family objective/objective_level holds | E40 | held |
| E40-FAM-proof-proof_complete | family proof/proof_complete holds | E40 | held |
| E40-FAM-proof-proof_incomplete | family proof/proof_incomplete holds | E40 | held |
| E40-FAM-reconcile-conflicted | family reconcile/conflicted holds | E40 | held |
| E40-FAM-reconcile-resolved | family reconcile/resolved holds | E40 | held |
| E40-FAM-reconcile-stale | family reconcile/stale holds | E40 | held |
| E40-FAM-reconcile-unknown | family reconcile/unknown holds | E40 | held |
| E40-FAM-reject-no_authority | family reject/no_authority holds | E40 | held |
| E40-FAM-replan-replan_trigger | family replan/replan_trigger holds | E40 | held |
| E40-FAM-resource-resource_object | family resource/resource_object holds | E40 | held |
| E40-FAM-risk-risk_dimension | family risk/risk_dimension holds | E40 | held |
| E40-FAM-scale-object_scale | family scale/object_scale holds | E40 | held |
| E40-FAM-simulation-simulation_not_reality | family simulation/simulation_not_reality holds | E40 | held |
| E40-FAM-time_machine-known_at_t | family time_machine/known_at_t holds | E40 | held |
| E40-FAM-world_model-bad_epistemic | family world_model/bad_epistemic holds | E40 | held |
| E40-FAM-world_model-bad_kind | family world_model/bad_kind holds | E40 | held |
| E40-FAM-world_model-bulk_object | family world_model/bulk_object holds | E40 | held |
| E40-FAM-world_model-object_field | family world_model/object_field holds | E40 | held |
| E40-FAM-world_model-object_kind | family world_model/object_kind holds | E40 | held |
| E40-FAM2-authority-bounded | family authority/bounded is a held, non-empty check | E40 | held |
| E40-FAM2-authority-unbounded | family authority/unbounded is a held, non-empty check | E40 | held |
| E40-FAM2-autonomy_budget-budget_dim | family autonomy_budget/budget_dim is a held, non-empty check | E40 | held |
| E40-FAM2-autonomy_budget-budget_exhaustion | family autonomy_budget/budget_exhaustion is a held, non-empty check | E40 | held |
| E40-FAM2-autonomy_budget-child_bounded | family autonomy_budget/child_bounded is a held, non-empty check | E40 | held |
| E40-FAM2-autonomy_gradient-no_request_increase | family autonomy_gradient/no_request_increase is a held, non-empty check | E40 | held |
| E40-FAM2-calibration-overconfidence | family calibration/overconfidence is a held, non-empty check | E40 | held |
| E40-FAM2-causal-bad_relation | family causal/bad_relation is a held, non-empty check | E40 | held |
| E40-FAM2-causal-causal_relation | family causal/causal_relation is a held, non-empty check | E40 | held |
| E40-FAM2-certificate-completion_certificate | family certificate/completion_certificate is a held, non-empty check | E40 | held |
| E40-FAM2-checkpoint-human_on_high_risk | family checkpoint/human_on_high_risk is a held, non-empty check | E40 | held |
| E40-FAM2-clock-stale_state | family clock/stale_state is a held, non-empty check | E40 | held |
| E40-FAM2-completion-bulk_completion | family completion/bulk_completion is a held, non-empty check | E40 | held |
| E40-FAM2-completion-completion_kind | family completion/completion_kind is a held, non-empty check | E40 | held |
| E40-FAM2-completion-partial_not_complete | family completion/partial_not_complete is a held, non-empty check | E40 | held |
| E40-FAM2-counterfactual-counterfactual_not_fact | family counterfactual/counterfactual_not_fact is a held, non-empty check | E40 | held |
| E40-FAM2-degradation-no_authority_increase | family degradation/no_authority_increase is a held, non-empty check | E40 | held |
| E40-FAM2-drift-bad_kind | family drift/bad_kind is a held, non-empty check | E40 | held |
| E40-FAM2-drift-drift_kind | family drift/drift_kind is a held, non-empty check | E40 | held |
| E40-FAM2-epistemic-claimed | family epistemic/claimed is a held, non-empty check | E40 | held |
| E40-FAM2-epistemic-conflicted | family epistemic/conflicted is a held, non-empty check | E40 | held |
| E40-FAM2-epistemic-corroborated | family epistemic/corroborated is a held, non-empty check | E40 | held |
| E40-FAM2-epistemic-observed | family epistemic/observed is a held, non-empty check | E40 | held |
| E40-FAM2-epistemic-predicted | family epistemic/predicted is a held, non-empty check | E40 | held |
| E40-FAM2-epistemic-revoked | family epistemic/revoked is a held, non-empty check | E40 | held |
| E40-FAM2-epistemic-simulated | family epistemic/simulated is a held, non-empty check | E40 | held |
| E40-FAM2-epistemic-stale | family epistemic/stale is a held, non-empty check | E40 | held |
| E40-FAM2-false_completion-false_completion | family false_completion/false_completion is a held, non-empty check | E40 | held |
| E40-FAM2-forecast-prediction_not_observation | family forecast/prediction_not_observation is a held, non-empty check | E40 | held |
| E40-FAM2-human-human_authority | family human/human_authority is a held, non-empty check | E40 | held |
| E40-FAM2-law-bulk_law | family law/bulk_law is a held, non-empty check | E40 | held |
| E40-FAM2-law-no_authority | family law/no_authority is a held, non-empty check | E40 | held |
| E40-FAM2-loop-loop_step | family loop/loop_step is a held, non-empty check | E40 | held |
| E40-FAM2-loop-mandatory_step | family loop/mandatory_step is a held, non-empty check | E40 | held |
| E40-FAM2-objective-no_silent_override | family objective/no_silent_override is a held, non-empty check | E40 | held |
| E40-FAM2-objective-objective_level | family objective/objective_level is a held, non-empty check | E40 | held |
| E40-FAM2-proof-proof_complete | family proof/proof_complete is a held, non-empty check | E40 | held |
| E40-FAM2-proof-proof_incomplete | family proof/proof_incomplete is a held, non-empty check | E40 | held |
| E40-FAM2-reconcile-conflicted | family reconcile/conflicted is a held, non-empty check | E40 | held |
| E40-FAM2-reconcile-resolved | family reconcile/resolved is a held, non-empty check | E40 | held |
| E40-FAM2-reconcile-stale | family reconcile/stale is a held, non-empty check | E40 | held |
| E40-FAM2-reconcile-unknown | family reconcile/unknown is a held, non-empty check | E40 | held |
| E40-FAM2-reject-no_authority | family reject/no_authority is a held, non-empty check | E40 | held |
| E40-FAM2-replan-replan_trigger | family replan/replan_trigger is a held, non-empty check | E40 | held |
| E40-FAM2-resource-resource_object | family resource/resource_object is a held, non-empty check | E40 | held |
| E40-FAM2-risk-risk_dimension | family risk/risk_dimension is a held, non-empty check | E40 | held |
| E40-FAM2-scale-object_scale | family scale/object_scale is a held, non-empty check | E40 | held |
| E40-FAM2-simulation-simulation_not_reality | family simulation/simulation_not_reality is a held, non-empty check | E40 | held |
| E40-FAM2-time_machine-known_at_t | family time_machine/known_at_t is a held, non-empty check | E40 | held |
| E40-FAM2-world_model-bad_epistemic | family world_model/bad_epistemic is a held, non-empty check | E40 | held |
| E40-FAM2-world_model-bad_kind | family world_model/bad_kind is a held, non-empty check | E40 | held |
| E40-FAM2-world_model-bulk_object | family world_model/bulk_object is a held, non-empty check | E40 | held |
| E40-FAM2-world_model-object_field | family world_model/object_field is a held, non-empty check | E40 | held |
| E40-FAM2-world_model-object_kind | family world_model/object_kind is a held, non-empty check | E40 | 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 |
Showing 600 of 669; the rest are on their bundles' invariant pages.
Other families in this niche
bench_category · coverage · property · telemetry · fabric_component · radar · swe · harness · regression · performance · corpus · end_to_end · completion · latency · f2t · false_completion · failure_to_test
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