| I40-001 | enterprise state is not truth merely because it exists in the world model | Policy, law & governance | held |
| I40-002 | prediction cannot become observation | Policy, law & governance | held |
| I40-003 | simulation cannot become observation | Policy, law & governance | held |
| I40-004 | agent belief cannot become enterprise fact without evidence | Policy, law & governance | held |
| I40-005 | business value cannot create authority | Policy, law & governance | held |
| I40-006 | optimization cannot remove mandatory governance | Policy, law & governance | held |
| I40-007 | local objective cannot silently override a higher-level objective | Policy, law & governance | held |
| I40-008 | agent population cannot create collective authority | Policy, law & governance | held |
| I40-009 | enterprise scale cannot weaken authorization | Policy, law & governance | held |
| I40-010 | enterprise degradation cannot increase authority | Policy, law & governance | held |
| I40-011 | world-model confidence cannot create authorization | Policy, law & governance | held |
| I40-012 | prediction confidence cannot create authorization | Policy, law & governance | held |
| I40-013 | completion claims require configured evidence | Policy, law & governance | held |
| I40-014 | a failed workflow cannot report COMPLETE | Policy, law & governance | held |
| I40-015 | a partially completed workflow cannot silently report COMPLETE | Policy, law & governance | held |
| I40-016 | enterprise memory cannot mint authority | Policy, law & governance | held |
| I40-017 | the enterprise digital twin cannot authorize production action | Policy, law & governance | held |
| I40-018 | counterfactual outcomes cannot be represented as observed outcomes | Policy, law & governance | held |
| I40-019 | enterprise optimization cannot bypass E8 | Policy, law & governance | held |
| I40-020 | enterprise replanning must re-evaluate affected authorization | Policy, law & governance | held |
| I40-021 | enterprise state drift must invalidate affected stale assumptions | Policy, law & governance | held |
| I40-022 | revoked enterprise evidence cannot remain authoritative | Policy, law & governance | held |
| I40-023 | a compromised agent cannot expand enterprise authority | Policy, law & governance | held |
| I40-024 | agent replacement cannot automatically inherit unrestricted authority | Policy, law & governance | held |
| I40-025 | model substitution requires governed evaluation | Policy, law & governance | held |
| I40-026 | runtime substitution requires governed evaluation | Policy, law & governance | held |
| I40-027 | every consequential enterprise action remains traceable to identity, authority, policy, E8, execution and evidence | Policy, law & governance | held |
| I40-028 | unknown remains unknown | Policy, law & governance | held |
| I40-029 | a governance failure cannot silently become a business-success signal | Policy, law & governance | held |
| I40-030 | enterprise autonomy must remain bounded by explicit governance policy | Policy, law & governance | held |
| I40-031 | an enterprise layer never authorizes | Policy, law & governance | held |
| I40-032 | epistemic states are never merged | Policy, law & governance | held |
| I40-033 | state is never assumed correct merely because it was correct before | Policy, law & governance | held |
| I40-034 | a child budget never exceeds its parent | Policy, law & governance | held |
| I40-035 | autonomy never increases because an agent requests it | Policy, law & governance | held |
| I40-036 | stale state never silently authorizes current action | Policy, law & governance | held |
| I40-037 | the enterprise layer never certifies its own output | Policy, law & governance | held |
| I40-038 | a disputed enterprise record is not silently resolved to the convenient answer | Policy, law & governance | held |
| E40-LAW2-I40-001 | law I40-001 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-002 | law I40-002 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-003 | law I40-003 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-004 | law I40-004 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-005 | law I40-005 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-006 | law I40-006 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-007 | law I40-007 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-008 | law I40-008 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-009 | law I40-009 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-010 | law I40-010 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-011 | law I40-011 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-012 | law I40-012 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-013 | law I40-013 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-014 | law I40-014 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-015 | law I40-015 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-016 | law I40-016 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-017 | law I40-017 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-018 | law I40-018 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-019 | law I40-019 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-020 | law I40-020 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-021 | law I40-021 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-022 | law I40-022 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-023 | law I40-023 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-024 | law I40-024 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-025 | law I40-025 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-026 | law I40-026 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-027 | law I40-027 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-028 | law I40-028 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-029 | law I40-029 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-030 | law I40-030 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-031 | law I40-031 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-032 | law I40-032 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-033 | law I40-033 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-034 | law I40-034 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-035 | law I40-035 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-036 | law I40-036 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-037 | law I40-037 maps to held scenarios | Policy, law & governance | held |
| E40-LAW2-I40-038 | law I40-038 maps to held scenarios | Policy, law & governance | held |
| E40-DOMAIN-ENTERPRISE-OBJECT | signed domain ENTERPRISE-OBJECT exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-STATE | signed domain STATE exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-CONFLICT | signed domain CONFLICT exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-EPISTEMIC | signed domain EPISTEMIC exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-CAUSAL | signed domain CAUSAL exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-FORECAST | signed domain FORECAST exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-CALIBRATION | signed domain CALIBRATION exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-OBJECTIVE | signed domain OBJECTIVE exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-RISK | signed domain RISK exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-RESOURCE | signed domain RESOURCE exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-AUTHORITY | signed domain AUTHORITY exists | Identity, authority & delegation | held |
| E40-DOMAIN-AGENT-GRAPH | signed domain AGENT-GRAPH exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-WORKFLOW-GRAPH | signed domain WORKFLOW-GRAPH exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-AUTONOMY-BUDGET | signed domain AUTONOMY-BUDGET exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-AUTONOMY-GRADIENT | signed domain AUTONOMY-GRADIENT exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-HUMAN-CHECKPOINT | signed domain HUMAN-CHECKPOINT exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-COMPLETION | signed domain COMPLETION exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-FALSE-COMPLETION | signed domain FALSE-COMPLETION exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-REPLAN | signed domain REPLAN exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-DEGRADATION | signed domain DEGRADATION exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-TIME-MACHINE | signed domain TIME-MACHINE exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-REPLAY | signed domain REPLAY exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-PROOF | signed domain PROOF exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-CERTIFICATE | signed domain CERTIFICATE exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-SCENARIO | signed domain SCENARIO exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-COUNTERFACTUAL | signed domain COUNTERFACTUAL exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-SLA | signed domain SLA exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-BOM | signed domain BOM exists | Evidence, receipts & proofs | held |
| E40-DOMAIN-MASTER | signed domain MASTER exists | Evidence, receipts & proofs | held |
| E40-OBJECT-person | object kind person carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-agent | object kind agent carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-organization | object kind organization carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-department | object kind department carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-system | object kind system carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-application | object kind application carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-database | object kind database carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-api | object kind api carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-cloud_resource | object kind cloud_resource carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-device | object kind device carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-network | object kind network carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-model | object kind model carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-tool | object kind tool carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-mcp_server | object kind mcp_server carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-a2a_agent | object kind a2a_agent carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-workflow | object kind workflow carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-project | object kind project carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-customer | object kind customer carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-supplier | object kind supplier carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-contract | object kind contract carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-financial_resource | object kind financial_resource carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-budget | object kind budget carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-credential | object kind credential carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-policy | object kind policy carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-risk | object kind risk carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-incident | object kind incident carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-asset | object kind asset carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-data | object kind data carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-intellectual_property | object kind intellectual_property carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-physical_resource | object kind physical_resource carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-location | object kind location carries no authority | Prediction, world models & simulation | held |
| E40-OBJECT-external_dependency | object kind external_dependency carries no authority | Prediction, world models & simulation | held |
| E40-OBJECTFIELD-identity | an object without identity is refused | Prediction, world models & simulation | held |
| E40-OBJECTFIELD-provenance | an object without provenance is refused | Prediction, world models & simulation | held |
| E40-OBJECTFIELD-owner | an object without owner is refused | Prediction, world models & simulation | held |
| E40-OBJECTFIELD-authority | an object without authority is refused | Prediction, world models & simulation | held |
| E40-OBJECTFIELD-capabilities | an object without capabilities is refused | Prediction, world models & simulation | held |
| E40-OBJECTFIELD-dependencies | an object without dependencies is refused | Prediction, world models & simulation | held |
| E40-OBJECTFIELD-risk | an object without risk is refused | Prediction, world models & simulation | held |
| E40-OBJECTFIELD-state | an object without state is refused | Prediction, world models & simulation | held |
| E40-OBJECTFIELD-confidence | an object without confidence is refused | Prediction, world models & simulation | held |
| E40-OBJECTFIELD-freshness | an object without freshness is refused | Prediction, world models & simulation | held |
| E40-OBJECTFIELD-source | an object without source is refused | Prediction, world models & simulation | held |
| E40-OBJECTFIELD-timestamp | an object without timestamp is refused | Prediction, world models & simulation | held |
| E40-OBJECTFIELD-verification_status | an object without verification_status is refused | Prediction, world models & simulation | held |
| E40-EPISTEMIC-OBSERVED | epistemic state OBSERVED is first-class | Prediction, world models & simulation | held |
| E40-EPISTEMIC-VERIFIED | epistemic state VERIFIED is first-class | Prediction, world models & simulation | held |
| E40-EPISTEMIC-CORROBORATED | epistemic state CORROBORATED is first-class | Prediction, world models & simulation | held |
| E40-EPISTEMIC-INFERRED | epistemic state INFERRED is first-class | Prediction, world models & simulation | held |
| E40-EPISTEMIC-PREDICTED | epistemic state PREDICTED is first-class | Prediction, world models & simulation | held |
| E40-EPISTEMIC-SIMULATED | epistemic state SIMULATED is first-class | Prediction, world models & simulation | held |
| E40-EPISTEMIC-CLAIMED | epistemic state CLAIMED is first-class | Prediction, world models & simulation | held |
| E40-EPISTEMIC-CONFLICTED | epistemic state CONFLICTED is first-class | Prediction, world models & simulation | held |
| E40-EPISTEMIC-STALE | epistemic state STALE is first-class | Prediction, world models & simulation | held |
| E40-EPISTEMIC-REVOKED | epistemic state REVOKED is first-class | Prediction, world models & simulation | held |
| E40-EPISTEMIC-UNKNOWN | epistemic state UNKNOWN is first-class | Prediction, world models & simulation | held |
| E40-DRIFT-state | drift kind state is detected | Autonomy, control loops & recovery | held |
| E40-DRIFT-configuration | drift kind configuration is detected | Autonomy, control loops & recovery | held |
| E40-DRIFT-identity | drift kind identity is detected | Autonomy, control loops & recovery | held |
| E40-DRIFT-authority | drift kind authority is detected | Autonomy, control loops & recovery | held |
| E40-DRIFT-workflow | drift kind workflow is detected | Autonomy, control loops & recovery | held |
| E40-DRIFT-financial | drift kind financial is detected | Autonomy, control loops & recovery | held |
| E40-DRIFT-security | drift kind security is detected | Autonomy, control loops & recovery | held |
| E40-DRIFT-data | drift kind data is detected | Autonomy, control loops & recovery | held |
| E40-DRIFT-agent | drift kind agent is detected | Autonomy, control loops & recovery | held |
| E40-DRIFT-policy | drift kind policy is detected | Autonomy, control loops & recovery | held |
| E40-DRIFT-organizational | drift kind organizational is detected | Autonomy, control loops & recovery | held |
| E40-DRIFT-environmental | drift kind environmental is detected | Autonomy, control loops & recovery | held |
| E40-CAUSAL-OBSERVED | causal relation OBSERVED is preserved | Prediction, world models & simulation | held |
| E40-CAUSAL-INFERRED | causal relation INFERRED is preserved | Prediction, world models & simulation | held |
| E40-CAUSAL-HYPOTHESIZED | causal relation HYPOTHESIZED is preserved | Prediction, world models & simulation | held |
| E40-CAUSAL-SIMULATED | causal relation SIMULATED is preserved | Prediction, world models & simulation | held |
| E40-CAUSAL-UNKNOWN | causal relation UNKNOWN is preserved | Prediction, world models & simulation | held |
| E40-SCENARIO-normal_operations | enterprise scenario normal_operations is SIMULATED | Prediction, world models & simulation | held |
| E40-SCENARIO-agent_failure | enterprise scenario agent_failure is SIMULATED | Prediction, world models & simulation | held |
| E40-SCENARIO-model_failure | enterprise scenario model_failure is SIMULATED | Prediction, world models & simulation | held |
| E40-SCENARIO-system_failure | enterprise scenario system_failure is SIMULATED | Prediction, world models & simulation | held |
| E40-SCENARIO-supplier_failure | enterprise scenario supplier_failure is SIMULATED | Prediction, world models & simulation | held |
| E40-SCENARIO-cloud_failure | enterprise scenario cloud_failure is SIMULATED | Prediction, world models & simulation | held |
| E40-SCENARIO-cyber_incident | enterprise scenario cyber_incident is SIMULATED | Prediction, world models & simulation | held |
| E40-SCENARIO-market_shock | enterprise scenario market_shock is SIMULATED | Prediction, world models & simulation | held |
| E40-SCENARIO-resource_shortage | enterprise scenario resource_shortage is SIMULATED | Prediction, world models & simulation | held |
| E40-SCENARIO-policy_change | enterprise scenario policy_change is SIMULATED | Prediction, world models & simulation | held |
| E40-SCENARIO-demand_change | enterprise scenario demand_change is SIMULATED | Prediction, world models & simulation | held |
| E40-SCENARIO-staffing_change | enterprise scenario staffing_change is SIMULATED | Prediction, world models & simulation | held |
| E40-SCENARIO-agent_population_growth | enterprise scenario agent_population_growth is SIMULATED | Prediction, world models & simulation | held |
| E40-SCENARIO-workflow_expansion | enterprise scenario workflow_expansion is SIMULATED | Prediction, world models & simulation | held |
| E40-BUDGET-agents | autonomy budget dimension agents exists | Transactions, markets & economics | held |
| E40-BUDGET-missions | autonomy budget dimension missions exists | Transactions, markets & economics | held |
| E40-BUDGET-compute | autonomy budget dimension compute exists | Transactions, markets & economics | held |
| E40-BUDGET-tool_calls | autonomy budget dimension tool_calls exists | Transactions, markets & economics | held |
| E40-BUDGET-transactions | autonomy budget dimension transactions exists | Transactions, markets & economics | held |
| E40-BUDGET-economic_exposure | autonomy budget dimension economic_exposure exists | Transactions, markets & economics | held |
| E40-BUDGET-risk | autonomy budget dimension risk exists | Transactions, markets & economics | held |
| E40-BUDGET-human_review | autonomy budget dimension human_review exists | Transactions, markets & economics | held |
| E40-DEGRADE-FULL | degradation state FULL never increases authority | Autonomy, control loops & recovery | held |
| E40-DEGRADE-DEGRADED | degradation state DEGRADED never increases authority | Autonomy, control loops & recovery | held |
| E40-DEGRADE-RESTRICTED | degradation state RESTRICTED never increases authority | Autonomy, control loops & recovery | held |
| E40-DEGRADE-SAFE_HOLD | degradation state SAFE_HOLD never increases authority | Autonomy, control loops & recovery | held |
| E40-DEGRADE-RECOVERY | degradation state RECOVERY never increases authority | Autonomy, control loops & recovery | held |
| E40-CLOCK-state | stale state is detected | Consensus & distributed systems | held |
| E40-CLOCK-prediction | stale prediction is detected | Consensus & distributed systems | held |
| E40-CLOCK-authorization | stale authorization is detected | Consensus & distributed systems | held |
| E40-CLOCK-policy | stale policy is detected | Consensus & distributed systems | held |
| E40-CLOCK-risk | stale risk is detected | Consensus & distributed systems | held |
| E40-CLOCK-evidence | stale evidence is detected | Consensus & distributed systems | held |
| E40-CLOCK-execution | stale execution is detected | Consensus & distributed systems | held |
| E40-COMPLETION-code | code completion requires configured evidence | Benchmarks, coverage & performance | held |
| E40-COMPLETION-data | data completion requires configured evidence | Benchmarks, coverage & performance | held |
| E40-COMPLETION-business | business completion requires configured evidence | Benchmarks, coverage & performance | held |
| E40-COMPLETION-research | research completion requires configured evidence | Benchmarks, coverage & performance | held |
| E40-COMPSTATE-COMPLETE | completion state COMPLETE exists | Benchmarks, coverage & performance | held |
| E40-COMPSTATE-PARTIAL | completion state PARTIAL exists | Benchmarks, coverage & performance | held |
| E40-COMPSTATE-FAILED | completion state FAILED exists | Benchmarks, coverage & performance | held |
| E40-COMPSTATE-BLOCKED | completion state BLOCKED exists | Benchmarks, coverage & performance | held |
| E40-COMPSTATE-UNVERIFIED | completion state UNVERIFIED exists | Benchmarks, coverage & performance | held |
| E40-COMPSTATE-UNKNOWN | completion state UNKNOWN exists | Benchmarks, coverage & performance | held |
| E40-REPLAN-world_state | replan trigger world_state re-evaluates authorization | Autonomy, control loops & recovery | held |
| E40-REPLAN-objective | replan trigger objective re-evaluates authorization | Autonomy, control loops & recovery | held |
| E40-REPLAN-risk | replan trigger risk re-evaluates authorization | Autonomy, control loops & recovery | held |
| E40-REPLAN-resource | replan trigger resource re-evaluates authorization | Autonomy, control loops & recovery | held |
| E40-REPLAN-agent | replan trigger agent re-evaluates authorization | Autonomy, control loops & recovery | held |
| E40-REPLAN-policy | replan trigger policy re-evaluates authorization | Autonomy, control loops & recovery | held |
| E40-REPLAN-evidence | replan trigger evidence re-evaluates authorization | Autonomy, control loops & recovery | held |
| E40-REPLAN-customer | replan trigger customer re-evaluates authorization | Autonomy, control loops & recovery | held |
| E40-REPLAN-supplier | replan trigger supplier re-evaluates authorization | Autonomy, control loops & recovery | held |
| E40-REPLAN-security | replan trigger security re-evaluates authorization | Autonomy, control loops & recovery | held |
| E40-LOOP-OBSERVE | enterprise loop step OBSERVE exists | Autonomy, control loops & recovery | held |
| E40-LOOP-RECONCILE | enterprise loop step RECONCILE exists | Autonomy, control loops & recovery | held |
| E40-LOOP-UNDERSTAND | enterprise loop step UNDERSTAND exists | Autonomy, control loops & recovery | held |
| E40-LOOP-PREDICT | enterprise loop step PREDICT exists | Autonomy, control loops & recovery | held |
| E40-LOOP-SIMULATE | enterprise loop step SIMULATE exists | Autonomy, control loops & recovery | held |
| E40-LOOP-PLAN | enterprise loop step PLAN exists | Autonomy, control loops & recovery | held |
| E40-LOOP-GOVERN | enterprise loop step GOVERN exists | Autonomy, control loops & recovery | held |
| E40-LOOP-AUTHORIZE | enterprise loop step AUTHORIZE exists | Autonomy, control loops & recovery | held |
| E40-LOOP-EXECUTE | enterprise loop step EXECUTE exists | Autonomy, control loops & recovery | held |
| E40-LOOP-VERIFY | enterprise loop step VERIFY exists | Autonomy, control loops & recovery | held |
| E40-LOOP-MEASURE | enterprise loop step MEASURE exists | Autonomy, control loops & recovery | held |
| E40-LOOP-LEARN | enterprise loop step LEARN exists | Autonomy, control loops & recovery | held |
| E40-LOOP-UPDATE | enterprise loop step UPDATE exists | Autonomy, control loops & recovery | held |
| E40-LOOP-REPLAN | enterprise loop step REPLAN exists | Autonomy, control loops & recovery | held |
| E40-MANDATORY-GOVERN | GOVERN is a mandatory loop step | Autonomy, control loops & recovery | held |
| E40-MANDATORY-AUTHORIZE | AUTHORIZE is a mandatory loop step | Autonomy, control loops & recovery | held |
| E40-MANDATORY-VERIFY | VERIFY is a mandatory loop step | Autonomy, control loops & recovery | held |
| E40-CAT-law | every law scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-epistemic | every epistemic scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-world_model | every world_model scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-reconcile | every reconcile scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-drift | every drift scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-causal | every causal scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-objective | every objective scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-risk | every risk scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-resource | every resource scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-authority | every authority scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-forecast | every forecast scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-calibration | every calibration scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-counterfactual | every counterfactual scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-simulation | every simulation scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-autonomy_budget | every autonomy_budget scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-autonomy_gradient | every autonomy_gradient scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-human | every human scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-checkpoint | every checkpoint scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-completion | every completion scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-false_completion | every false_completion scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-clock | every clock scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-degradation | every degradation scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-replan | every replan scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-time_machine | every time_machine scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-proof | every proof scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-certificate | every certificate scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-loop | every loop scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-reject | every reject scenario holds | Benchmarks, coverage & performance | held |
| E40-CAT-scale | every scale scenario holds | Benchmarks, coverage & performance | held |
| E40-FAM-authority-bounded | family authority/bounded holds | Benchmarks, coverage & performance | held |
| E40-FAM-authority-unbounded | family authority/unbounded holds | Benchmarks, coverage & performance | held |
| E40-FAM-autonomy_budget-budget_dim | family autonomy_budget/budget_dim holds | Benchmarks, coverage & performance | held |
| E40-FAM-autonomy_budget-budget_exhaustion | family autonomy_budget/budget_exhaustion holds | Benchmarks, coverage & performance | held |
| E40-FAM-autonomy_budget-child_bounded | family autonomy_budget/child_bounded holds | Benchmarks, coverage & performance | held |
| E40-FAM-autonomy_gradient-no_request_increase | family autonomy_gradient/no_request_increase holds | Benchmarks, coverage & performance | held |
| E40-FAM-calibration-overconfidence | family calibration/overconfidence holds | Benchmarks, coverage & performance | held |
| E40-FAM-causal-bad_relation | family causal/bad_relation holds | Benchmarks, coverage & performance | held |
| E40-FAM-causal-causal_relation | family causal/causal_relation holds | Benchmarks, coverage & performance | held |
| E40-FAM-certificate-completion_certificate | family certificate/completion_certificate holds | Benchmarks, coverage & performance | held |
| E40-FAM-checkpoint-human_on_high_risk | family checkpoint/human_on_high_risk holds | Benchmarks, coverage & performance | held |
| E40-FAM-clock-stale_state | family clock/stale_state holds | Benchmarks, coverage & performance | held |
| E40-FAM-completion-bulk_completion | family completion/bulk_completion holds | Benchmarks, coverage & performance | held |
| E40-FAM-completion-completion_kind | family completion/completion_kind holds | Benchmarks, coverage & performance | held |
| E40-FAM-completion-partial_not_complete | family completion/partial_not_complete holds | Benchmarks, coverage & performance | held |
| E40-FAM-counterfactual-counterfactual_not_fact | family counterfactual/counterfactual_not_fact holds | Benchmarks, coverage & performance | held |
| E40-FAM-degradation-no_authority_increase | family degradation/no_authority_increase holds | Benchmarks, coverage & performance | held |
| E40-FAM-drift-bad_kind | family drift/bad_kind holds | Benchmarks, coverage & performance | held |
| E40-FAM-drift-drift_kind | family drift/drift_kind holds | Benchmarks, coverage & performance | held |
| E40-FAM-epistemic-claimed | family epistemic/claimed holds | Benchmarks, coverage & performance | held |
| E40-FAM-epistemic-conflicted | family epistemic/conflicted holds | Benchmarks, coverage & performance | held |
| E40-FAM-epistemic-corroborated | family epistemic/corroborated holds | Benchmarks, coverage & performance | held |
| E40-FAM-epistemic-observed | family epistemic/observed holds | Benchmarks, coverage & performance | held |
| E40-FAM-epistemic-predicted | family epistemic/predicted holds | Benchmarks, coverage & performance | held |
| E40-FAM-epistemic-revoked | family epistemic/revoked holds | Benchmarks, coverage & performance | held |
| E40-FAM-epistemic-simulated | family epistemic/simulated holds | Benchmarks, coverage & performance | held |
| E40-FAM-epistemic-stale | family epistemic/stale holds | Benchmarks, coverage & performance | held |
| E40-FAM-false_completion-false_completion | family false_completion/false_completion holds | Benchmarks, coverage & performance | held |
| E40-FAM-forecast-prediction_not_observation | family forecast/prediction_not_observation holds | Benchmarks, coverage & performance | held |
| E40-FAM-human-human_authority | family human/human_authority holds | Benchmarks, coverage & performance | held |
| E40-FAM-law-bulk_law | family law/bulk_law holds | Benchmarks, coverage & performance | held |
| E40-FAM-law-no_authority | family law/no_authority holds | Benchmarks, coverage & performance | held |
| E40-FAM-loop-loop_step | family loop/loop_step holds | Benchmarks, coverage & performance | held |
| E40-FAM-loop-mandatory_step | family loop/mandatory_step holds | Benchmarks, coverage & performance | held |
| E40-FAM-objective-no_silent_override | family objective/no_silent_override holds | Benchmarks, coverage & performance | held |
| E40-FAM-objective-objective_level | family objective/objective_level holds | Benchmarks, coverage & performance | held |
| E40-FAM-proof-proof_complete | family proof/proof_complete holds | Benchmarks, coverage & performance | held |
| E40-FAM-proof-proof_incomplete | family proof/proof_incomplete holds | Benchmarks, coverage & performance | held |
| E40-FAM-reconcile-conflicted | family reconcile/conflicted holds | Benchmarks, coverage & performance | held |
| E40-FAM-reconcile-resolved | family reconcile/resolved holds | Benchmarks, coverage & performance | held |
| E40-FAM-reconcile-stale | family reconcile/stale holds | Benchmarks, coverage & performance | held |
| E40-FAM-reconcile-unknown | family reconcile/unknown holds | Benchmarks, coverage & performance | held |
| E40-FAM-reject-no_authority | family reject/no_authority holds | Benchmarks, coverage & performance | held |
| E40-FAM-replan-replan_trigger | family replan/replan_trigger holds | Benchmarks, coverage & performance | held |
| E40-FAM-resource-resource_object | family resource/resource_object holds | Benchmarks, coverage & performance | held |
| E40-FAM-risk-risk_dimension | family risk/risk_dimension holds | Benchmarks, coverage & performance | held |
| E40-FAM-scale-object_scale | family scale/object_scale holds | Benchmarks, coverage & performance | held |
| E40-FAM-simulation-simulation_not_reality | family simulation/simulation_not_reality holds | Benchmarks, coverage & performance | held |
| E40-FAM-time_machine-known_at_t | family time_machine/known_at_t holds | Benchmarks, coverage & performance | held |
| E40-FAM-world_model-bad_epistemic | family world_model/bad_epistemic holds | Benchmarks, coverage & performance | held |
| E40-FAM-world_model-bad_kind | family world_model/bad_kind holds | Benchmarks, coverage & performance | held |
| E40-FAM-world_model-bulk_object | family world_model/bulk_object holds | Benchmarks, coverage & performance | held |
| E40-FAM-world_model-object_field | family world_model/object_field holds | Benchmarks, coverage & performance | held |
| E40-FAM-world_model-object_kind | family world_model/object_kind holds | Benchmarks, coverage & performance | held |
| E40-FAM2-authority-bounded | family authority/bounded is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-authority-unbounded | family authority/unbounded is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-autonomy_budget-budget_dim | family autonomy_budget/budget_dim is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-autonomy_budget-budget_exhaustion | family autonomy_budget/budget_exhaustion is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-autonomy_budget-child_bounded | family autonomy_budget/child_bounded is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-autonomy_gradient-no_request_increase | family autonomy_gradient/no_request_increase is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-calibration-overconfidence | family calibration/overconfidence is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-causal-bad_relation | family causal/bad_relation is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-causal-causal_relation | family causal/causal_relation is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-certificate-completion_certificate | family certificate/completion_certificate is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-checkpoint-human_on_high_risk | family checkpoint/human_on_high_risk is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-clock-stale_state | family clock/stale_state is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-completion-bulk_completion | family completion/bulk_completion is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-completion-completion_kind | family completion/completion_kind is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-completion-partial_not_complete | family completion/partial_not_complete is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-counterfactual-counterfactual_not_fact | family counterfactual/counterfactual_not_fact is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-degradation-no_authority_increase | family degradation/no_authority_increase is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-drift-bad_kind | family drift/bad_kind is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-drift-drift_kind | family drift/drift_kind is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-epistemic-claimed | family epistemic/claimed is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-epistemic-conflicted | family epistemic/conflicted is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-epistemic-corroborated | family epistemic/corroborated is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-epistemic-observed | family epistemic/observed is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-epistemic-predicted | family epistemic/predicted is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-epistemic-revoked | family epistemic/revoked is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-epistemic-simulated | family epistemic/simulated is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-epistemic-stale | family epistemic/stale is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-false_completion-false_completion | family false_completion/false_completion is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-forecast-prediction_not_observation | family forecast/prediction_not_observation is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-human-human_authority | family human/human_authority is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-law-bulk_law | family law/bulk_law is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-law-no_authority | family law/no_authority is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-loop-loop_step | family loop/loop_step is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-loop-mandatory_step | family loop/mandatory_step is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-objective-no_silent_override | family objective/no_silent_override is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-objective-objective_level | family objective/objective_level is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-proof-proof_complete | family proof/proof_complete is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-proof-proof_incomplete | family proof/proof_incomplete is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-reconcile-conflicted | family reconcile/conflicted is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-reconcile-resolved | family reconcile/resolved is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-reconcile-stale | family reconcile/stale is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-reconcile-unknown | family reconcile/unknown is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-reject-no_authority | family reject/no_authority is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-replan-replan_trigger | family replan/replan_trigger is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-resource-resource_object | family resource/resource_object is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-risk-risk_dimension | family risk/risk_dimension is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-scale-object_scale | family scale/object_scale is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-simulation-simulation_not_reality | family simulation/simulation_not_reality is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-time_machine-known_at_t | family time_machine/known_at_t is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-world_model-bad_epistemic | family world_model/bad_epistemic is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-world_model-bad_kind | family world_model/bad_kind is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-world_model-bulk_object | family world_model/bulk_object is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-world_model-object_field | family world_model/object_field is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-FAM2-world_model-object_kind | family world_model/object_kind is a held, non-empty check | Benchmarks, coverage & performance | held |
| E40-CAT2-law | category law has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-epistemic | category epistemic has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-world_model | category world_model has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-reconcile | category reconcile has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-drift | category drift has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-causal | category causal has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-objective | category objective has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-risk | category risk has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-resource | category resource has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-authority | category authority has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-forecast | category forecast has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-calibration | category calibration has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-counterfactual | category counterfactual has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-simulation | category simulation has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-autonomy_budget | category autonomy_budget has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-autonomy_gradient | category autonomy_gradient has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-human | category human has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-checkpoint | category checkpoint has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-completion | category completion has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-false_completion | category false_completion has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-clock | category clock has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-degradation | category degradation has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-replan | category replan has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-time_machine | category time_machine has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-proof | category proof has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-certificate | category certificate has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-loop | category loop has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-reject | category reject has many held scenarios | Benchmarks, coverage & performance | held |
| E40-CAT2-scale | category scale has many held scenarios | Benchmarks, coverage & performance | held |
| E40-OBJ2-person | object kind person declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-agent | object kind agent declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-organization | object kind organization declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-department | object kind department declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-system | object kind system declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-application | object kind application declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-database | object kind database declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-api | object kind api declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-cloud_resource | object kind cloud_resource declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-device | object kind device declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-network | object kind network declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-model | object kind model declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-tool | object kind tool declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-mcp_server | object kind mcp_server declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-a2a_agent | object kind a2a_agent declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-workflow | object kind workflow declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-project | object kind project declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-customer | object kind customer declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-supplier | object kind supplier declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-contract | object kind contract declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-financial_resource | object kind financial_resource declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-budget | object kind budget declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-credential | object kind credential declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-policy | object kind policy declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-risk | object kind risk declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-incident | object kind incident declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-asset | object kind asset declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-data | object kind data declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-intellectual_property | object kind intellectual_property declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-physical_resource | object kind physical_resource declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-location | object kind location declares no authority | Prediction, world models & simulation | held |
| E40-OBJ2-external_dependency | object kind external_dependency declares no authority | Prediction, world models & simulation | held |
| E40-EPI2-OBSERVED | epistemic OBSERVED is never merged | Prediction, world models & simulation | held |
| E40-EPI2-VERIFIED | epistemic VERIFIED is never merged | Prediction, world models & simulation | held |
| E40-EPI2-CORROBORATED | epistemic CORROBORATED is never merged | Prediction, world models & simulation | held |
| E40-EPI2-INFERRED | epistemic INFERRED is never merged | Prediction, world models & simulation | held |
| E40-EPI2-PREDICTED | epistemic PREDICTED is never merged | Prediction, world models & simulation | held |
| E40-EPI2-SIMULATED | epistemic SIMULATED is never merged | Prediction, world models & simulation | held |
| E40-EPI2-CLAIMED | epistemic CLAIMED is never merged | Prediction, world models & simulation | held |
| E40-EPI2-CONFLICTED | epistemic CONFLICTED is never merged | Prediction, world models & simulation | held |
| E40-EPI2-STALE | epistemic STALE is never merged | Prediction, world models & simulation | held |
| E40-EPI2-REVOKED | epistemic REVOKED is never merged | Prediction, world models & simulation | held |
| E40-EPI2-UNKNOWN | epistemic UNKNOWN is never merged | Prediction, world models & simulation | held |
| E40-SIM2-normal_operations | simulation normal_operations is never real-world validation | Prediction, world models & simulation | held |
| E40-SIM2-agent_failure | simulation agent_failure is never real-world validation | Prediction, world models & simulation | held |
| E40-SIM2-model_failure | simulation model_failure is never real-world validation | Prediction, world models & simulation | held |
| E40-SIM2-system_failure | simulation system_failure is never real-world validation | Prediction, world models & simulation | held |
| E40-SIM2-supplier_failure | simulation supplier_failure is never real-world validation | Prediction, world models & simulation | held |
| E40-SIM2-cloud_failure | simulation cloud_failure is never real-world validation | Prediction, world models & simulation | held |
| E40-SIM2-cyber_incident | simulation cyber_incident is never real-world validation | Prediction, world models & simulation | held |
| E40-SIM2-market_shock | simulation market_shock is never real-world validation | Prediction, world models & simulation | held |
| E40-SIM2-resource_shortage | simulation resource_shortage is never real-world validation | Prediction, world models & simulation | held |
| E40-SIM2-policy_change | simulation policy_change is never real-world validation | Prediction, world models & simulation | held |
| E40-SIM2-demand_change | simulation demand_change is never real-world validation | Prediction, world models & simulation | held |
| E40-SIM2-staffing_change | simulation staffing_change is never real-world validation | Prediction, world models & simulation | held |
| E40-SIM2-agent_population_growth | simulation agent_population_growth is never real-world validation | Prediction, world models & simulation | held |
| E40-SIM2-workflow_expansion | simulation workflow_expansion is never real-world validation | Prediction, world models & simulation | held |
| E40-DRIFT2-state | drift state invalidates assumptions | Autonomy, control loops & recovery | held |
| E40-DRIFT2-configuration | drift configuration invalidates assumptions | Autonomy, control loops & recovery | held |
| E40-DRIFT2-identity | drift identity invalidates assumptions | Autonomy, control loops & recovery | held |
| E40-DRIFT2-authority | drift authority invalidates assumptions | Autonomy, control loops & recovery | held |
| E40-DRIFT2-workflow | drift workflow invalidates assumptions | Autonomy, control loops & recovery | held |
| E40-DRIFT2-financial | drift financial invalidates assumptions | Autonomy, control loops & recovery | held |
| E40-DRIFT2-security | drift security invalidates assumptions | Autonomy, control loops & recovery | held |
| E40-DRIFT2-data | drift data invalidates assumptions | Autonomy, control loops & recovery | held |
| E40-DRIFT2-agent | drift agent invalidates assumptions | Autonomy, control loops & recovery | held |
| E40-DRIFT2-policy | drift policy invalidates assumptions | Autonomy, control loops & recovery | held |
| E40-DRIFT2-organizational | drift organizational invalidates assumptions | Autonomy, control loops & recovery | held |
| E40-DRIFT2-environmental | drift environmental invalidates assumptions | Autonomy, control loops & recovery | held |
| E40-BUDGET2-agents | budget agents is bounded | Transactions, markets & economics | held |
| E40-BUDGET2-missions | budget missions is bounded | Transactions, markets & economics | held |
| E40-BUDGET2-compute | budget compute is bounded | Transactions, markets & economics | held |
| E40-BUDGET2-tool_calls | budget tool_calls is bounded | Transactions, markets & economics | held |
| E40-BUDGET2-transactions | budget transactions is bounded | Transactions, markets & economics | held |
| E40-BUDGET2-economic_exposure | budget economic_exposure is bounded | Transactions, markets & economics | held |
| E40-BUDGET2-risk | budget risk is bounded | Transactions, markets & economics | held |
| E40-BUDGET2-human_review | budget human_review is bounded | Transactions, markets & economics | held |
| E40-LOOP2-OBSERVE | loop step OBSERVE runs without self-authorization | Autonomy, control loops & recovery | held |
| E40-LOOP2-RECONCILE | loop step RECONCILE runs without self-authorization | Autonomy, control loops & recovery | held |
| E40-LOOP2-UNDERSTAND | loop step UNDERSTAND runs without self-authorization | Autonomy, control loops & recovery | held |
| E40-LOOP2-PREDICT | loop step PREDICT runs without self-authorization | Autonomy, control loops & recovery | held |
| E40-LOOP2-SIMULATE | loop step SIMULATE runs without self-authorization | Autonomy, control loops & recovery | held |
| E40-LOOP2-PLAN | loop step PLAN runs without self-authorization | Autonomy, control loops & recovery | held |
| E40-LOOP2-GOVERN | loop step GOVERN runs without self-authorization | Autonomy, control loops & recovery | held |
| E40-LOOP2-AUTHORIZE | loop step AUTHORIZE runs without self-authorization | Autonomy, control loops & recovery | held |
| E40-LOOP2-EXECUTE | loop step EXECUTE runs without self-authorization | Autonomy, control loops & recovery | held |
| E40-LOOP2-VERIFY | loop step VERIFY runs without self-authorization | Autonomy, control loops & recovery | held |
| E40-LOOP2-MEASURE | loop step MEASURE runs without self-authorization | Autonomy, control loops & recovery | held |
| E40-LOOP2-LEARN | loop step LEARN runs without self-authorization | Autonomy, control loops & recovery | held |
| E40-LOOP2-UPDATE | loop step UPDATE runs without self-authorization | Autonomy, control loops & recovery | held |
| E40-LOOP2-REPLAN | loop step REPLAN runs without self-authorization | Autonomy, control loops & recovery | held |
CAIN-42 CAIN Studio