CAIN-42 CAIN StudioEvidence library · niche
Prediction, world models & simulation
Predicting consequences before acting, and never mistaking a guess for a fact. 417 tested invariants.
Last reviewed 2026-10-01
417 of 417 held
Test families in this niche
world_model (79) · knowledge_graph (43) · simulation (36) · epistemic (28) · inference (27) · truth (19) · blast_radius (16) · state_predictor (14) · truth_guard (12) · knowledge (10) · world_action (10) · model_swap (9) · observation (9) · causal_state (7) · moat (6) · fabric_component (6) · causal (5) · model_state (4) · research (3) · model_change (3) · operation_kind (2) · radar (2) · action (2) · graph (2) · risk (1) · reassessment (1) · cognitive (1) · prediction (1) · operation_state (1) · environment_query (1) · ip (1) · swarm (1) · lab (1) · agency_graph (1) · environment (1)
Where these come from
- CAIN-42 Evolution 40 -- Autonomous Enterprise Intelligence Fabric: 132
- CAIN-42 Evolution 35 -- Continuous Governance Intelligence Fabric: 87
- CAIN-42 Evolution 27 -- Agentic Internet Control Plane: 54
- CAIN-42 Evolution 42 -- Supreme Governed Agentic Infrastructure Platform: 23
- CAIN-42 Evolution 32 -- Governed Autonomy Learning Fabric: 20
- CAIN-42 Evolution 21 -- Governed Open-Ended Intelligence Fabric: 16
- CAIN-42 Evolution 33 -- Governed Agentic Operating Fabric: 16
- CAIN-42 Evolution 23 -- Governed Meta-Intelligence Fabric: 15
- CAIN-42 Evolution 34 -- Proof-Carrying Machine Agency: 12
- CAIN-42 Evolution 30 -- Governed Machine Autonomy Fabric: 10
- CAIN-42 Evolution 19 -- Governed Autonomy Operating Fabric: 7
- CAIN-42 Evolution 20 -- Governed Agentic Civilization Fabric: 7
- CAIN-42 Evolution 24 -- Governed Agentic Internet Fabric: 7
- CAIN-42 Evolution 36 -- Machine Agency Exchange Fabric: 6
- CAIN-42 Evolution 26 -- Universal Machine Agency Trust Fabric: 4
- CAIN-42 Evolution 28 -- Portable Machine Agency & Execution Identity: 1
Rules 301–417 of 417
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E40-OBJECTFIELD-risk | an object without risk is refused | E40 | held |
| E40-OBJECTFIELD-state | an object without state is refused | E40 | held |
| E40-OBJECTFIELD-confidence | an object without confidence is refused | E40 | held |
| E40-OBJECTFIELD-freshness | an object without freshness is refused | E40 | held |
| E40-OBJECTFIELD-source | an object without source is refused | E40 | held |
| E40-OBJECTFIELD-timestamp | an object without timestamp is refused | E40 | held |
| E40-OBJECTFIELD-verification_status | an object without verification_status is refused | E40 | held |
| E40-EPISTEMIC-OBSERVED | epistemic state OBSERVED is first-class | E40 | held |
| E40-EPISTEMIC-VERIFIED | epistemic state VERIFIED is first-class | E40 | held |
| E40-EPISTEMIC-CORROBORATED | epistemic state CORROBORATED is first-class | E40 | held |
| E40-EPISTEMIC-INFERRED | epistemic state INFERRED is first-class | E40 | held |
| E40-EPISTEMIC-PREDICTED | epistemic state PREDICTED is first-class | E40 | held |
| E40-EPISTEMIC-SIMULATED | epistemic state SIMULATED is first-class | E40 | held |
| E40-EPISTEMIC-CLAIMED | epistemic state CLAIMED is first-class | E40 | held |
| E40-EPISTEMIC-CONFLICTED | epistemic state CONFLICTED is first-class | E40 | held |
| E40-EPISTEMIC-STALE | epistemic state STALE is first-class | E40 | held |
| E40-EPISTEMIC-REVOKED | epistemic state REVOKED is first-class | E40 | held |
| E40-EPISTEMIC-UNKNOWN | epistemic state UNKNOWN is first-class | E40 | held |
| E40-CAUSAL-OBSERVED | causal relation OBSERVED is preserved | E40 | held |
| E40-CAUSAL-INFERRED | causal relation INFERRED is preserved | E40 | held |
| E40-CAUSAL-HYPOTHESIZED | causal relation HYPOTHESIZED is preserved | E40 | held |
| E40-CAUSAL-SIMULATED | causal relation SIMULATED is preserved | E40 | held |
| E40-CAUSAL-UNKNOWN | causal relation UNKNOWN is preserved | E40 | held |
| E40-SCENARIO-normal_operations | enterprise scenario normal_operations is SIMULATED | E40 | held |
| E40-SCENARIO-agent_failure | enterprise scenario agent_failure is SIMULATED | E40 | held |
| E40-SCENARIO-model_failure | enterprise scenario model_failure is SIMULATED | E40 | held |
| E40-SCENARIO-system_failure | enterprise scenario system_failure is SIMULATED | E40 | held |
| E40-SCENARIO-supplier_failure | enterprise scenario supplier_failure is SIMULATED | E40 | held |
| E40-SCENARIO-cloud_failure | enterprise scenario cloud_failure is SIMULATED | E40 | held |
| E40-SCENARIO-cyber_incident | enterprise scenario cyber_incident is SIMULATED | E40 | held |
| E40-SCENARIO-market_shock | enterprise scenario market_shock is SIMULATED | E40 | held |
| E40-SCENARIO-resource_shortage | enterprise scenario resource_shortage is SIMULATED | E40 | held |
| E40-SCENARIO-policy_change | enterprise scenario policy_change is SIMULATED | E40 | held |
| E40-SCENARIO-demand_change | enterprise scenario demand_change is SIMULATED | E40 | held |
| E40-SCENARIO-staffing_change | enterprise scenario staffing_change is SIMULATED | E40 | held |
| E40-SCENARIO-agent_population_growth | enterprise scenario agent_population_growth is SIMULATED | E40 | held |
| E40-SCENARIO-workflow_expansion | enterprise scenario workflow_expansion is SIMULATED | E40 | held |
| E40-OBJ2-person | object kind person declares no authority | E40 | held |
| E40-OBJ2-agent | object kind agent declares no authority | E40 | held |
| E40-OBJ2-organization | object kind organization declares no authority | E40 | held |
| E40-OBJ2-department | object kind department declares no authority | E40 | held |
| E40-OBJ2-system | object kind system declares no authority | E40 | held |
| E40-OBJ2-application | object kind application declares no authority | E40 | held |
| E40-OBJ2-database | object kind database declares no authority | E40 | held |
| E40-OBJ2-api | object kind api declares no authority | E40 | held |
| E40-OBJ2-cloud_resource | object kind cloud_resource declares no authority | E40 | held |
| E40-OBJ2-device | object kind device declares no authority | E40 | held |
| E40-OBJ2-network | object kind network declares no authority | E40 | held |
| E40-OBJ2-model | object kind model declares no authority | E40 | held |
| E40-OBJ2-tool | object kind tool declares no authority | E40 | held |
| E40-OBJ2-mcp_server | object kind mcp_server declares no authority | E40 | held |
| E40-OBJ2-a2a_agent | object kind a2a_agent declares no authority | E40 | held |
| E40-OBJ2-workflow | object kind workflow declares no authority | E40 | held |
| E40-OBJ2-project | object kind project declares no authority | E40 | held |
| E40-OBJ2-customer | object kind customer declares no authority | E40 | held |
| E40-OBJ2-supplier | object kind supplier declares no authority | E40 | held |
| E40-OBJ2-contract | object kind contract declares no authority | E40 | held |
| E40-OBJ2-financial_resource | object kind financial_resource declares no authority | E40 | held |
| E40-OBJ2-budget | object kind budget declares no authority | E40 | held |
| E40-OBJ2-credential | object kind credential declares no authority | E40 | held |
| E40-OBJ2-policy | object kind policy declares no authority | E40 | held |
| E40-OBJ2-risk | object kind risk declares no authority | E40 | held |
| E40-OBJ2-incident | object kind incident declares no authority | E40 | held |
| E40-OBJ2-asset | object kind asset declares no authority | E40 | held |
| E40-OBJ2-data | object kind data declares no authority | E40 | held |
| E40-OBJ2-intellectual_property | object kind intellectual_property declares no authority | E40 | held |
| E40-OBJ2-physical_resource | object kind physical_resource declares no authority | E40 | held |
| E40-OBJ2-location | object kind location declares no authority | E40 | held |
| E40-OBJ2-external_dependency | object kind external_dependency declares no authority | E40 | held |
| E40-EPI2-OBSERVED | epistemic OBSERVED is never merged | E40 | held |
| E40-EPI2-VERIFIED | epistemic VERIFIED is never merged | E40 | held |
| E40-EPI2-CORROBORATED | epistemic CORROBORATED is never merged | E40 | held |
| E40-EPI2-INFERRED | epistemic INFERRED is never merged | E40 | held |
| E40-EPI2-PREDICTED | epistemic PREDICTED is never merged | E40 | held |
| E40-EPI2-SIMULATED | epistemic SIMULATED is never merged | E40 | held |
| E40-EPI2-CLAIMED | epistemic CLAIMED is never merged | E40 | held |
| E40-EPI2-CONFLICTED | epistemic CONFLICTED is never merged | E40 | held |
| E40-EPI2-STALE | epistemic STALE is never merged | E40 | held |
| E40-EPI2-REVOKED | epistemic REVOKED is never merged | E40 | held |
| E40-EPI2-UNKNOWN | epistemic UNKNOWN is never merged | E40 | held |
| E40-SIM2-normal_operations | simulation normal_operations is never real-world validation | E40 | held |
| E40-SIM2-agent_failure | simulation agent_failure is never real-world validation | E40 | held |
| E40-SIM2-model_failure | simulation model_failure is never real-world validation | E40 | held |
| E40-SIM2-system_failure | simulation system_failure is never real-world validation | E40 | held |
| E40-SIM2-supplier_failure | simulation supplier_failure is never real-world validation | E40 | held |
| E40-SIM2-cloud_failure | simulation cloud_failure is never real-world validation | E40 | held |
| E40-SIM2-cyber_incident | simulation cyber_incident is never real-world validation | E40 | held |
| E40-SIM2-market_shock | simulation market_shock is never real-world validation | E40 | held |
| E40-SIM2-resource_shortage | simulation resource_shortage is never real-world validation | E40 | held |
| E40-SIM2-policy_change | simulation policy_change is never real-world validation | E40 | held |
| E40-SIM2-demand_change | simulation demand_change is never real-world validation | E40 | held |
| E40-SIM2-staffing_change | simulation staffing_change is never real-world validation | E40 | held |
| E40-SIM2-agent_population_growth | simulation agent_population_growth is never real-world validation | E40 | held |
| E40-SIM2-workflow_expansion | simulation workflow_expansion is never real-world validation | E40 | held |
| E42-GRAPH-world | unified graph node kind world exists | E42 | held |
| E42-GRAPH-causal | unified graph node kind causal exists | E42 | held |
| E42-TRUTH-universal_control | the truth engine knows the phrase 'universal control' | E42 | held |
| E42-TRUTH-agi | the truth engine knows the phrase 'agi' | E42 | held |
| E42-TRUTH-superintelligence | the truth engine knows the phrase 'superintelligence' | E42 | held |
| E42-TRUTH-perfect_security | the truth engine knows the phrase 'perfect security' | E42 | held |
| E42-TRUTH-perfect_alignment | the truth engine knows the phrase 'perfect alignment' | E42 | held |
| E42-TRUTH-guaranteed_safety | the truth engine knows the phrase 'guaranteed safety' | E42 | held |
| E42-TRUTH-guarantees_safety | the truth engine knows the phrase 'guarantees safety' | E42 | held |
| E42-TRUTH-universal_enforcement | the truth engine knows the phrase 'universal enforcement' | E42 | held |
| E42-TRUTH-controls_all_ai | the truth engine knows the phrase 'controls all ai' | E42 | held |
| E42-TRUTH-controls_the_internet | the truth engine knows the phrase 'controls the internet' | E42 | held |
| E42-TRUTH-global_economic_control | the truth engine knows the phrase 'global economic control' | E42 | held |
| E42-TRUTH-certified | the truth engine knows the phrase 'certified' | E42 | held |
| E42-TRUTH-certification | the truth engine knows the phrase 'certification' | E42 | held |
| E42-TRUTH-customers | the truth engine knows the phrase 'customers' | E42 | held |
| E42-TRUTH-revenue | the truth engine knows the phrase 'revenue' | E42 | held |
| E42-TRUTH-solves_alignment | the truth engine knows the phrase 'solves alignment' | E42 | held |
| E42-TRUTH-hardware_attestation | the truth engine knows the phrase 'hardware attestation' | E42 | held |
| E42-TRUTH-hardware-attested | the truth engine knows the phrase 'hardware-attested' | E42 | held |
| E42-TRUTH-production_deployment | the truth engine knows the phrase 'production deployment' | E42 | held |
| E42-ACTIONFIELD-consequence | a universal action requires consequence | E42 | held |
| E42-ACTIONFIELD-world_state | a universal action requires world_state | E42 | held |
Other niches
Consensus & distributed systems · Attacks, threats & containment · Identity, authority & delegation · Evidence, receipts & proofs · Memory, data & privacy · Transactions, markets & economics · Tools, MCP, protocols & adapters · Autonomy, control loops & recovery · Policy, law & governance · Trust & reputation · Supply chain, registry & lifecycle · Benchmarks, coverage & performance · Core guarantees
Try CAIN-42 on your own agents
Create a free account and every new account starts with a 7-day trial of the full platform. Or try the sandbox first, with no account at all.
Create a free account → · Try the sandbox · See the whole ecosystem