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 151–300 of 417
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E33-BLAST-networks | blast radius reports networks separately (no aggregate) | E33 | held |
| E33-BLAST-data | blast radius reports data separately (no aggregate) | E33 | held |
| E33-BLAST-finances | blast radius reports finances separately (no aggregate) | E33 | held |
| E33-BLAST-physical_systems | blast radius reports physical_systems separately (no aggregate) | E33 | held |
| E33-BLAST-contracts | blast radius reports contracts separately (no aggregate) | E33 | held |
| E33-BLAST-downstream_agents | blast radius reports downstream_agents separately (no aggregate) | E33 | held |
| E33-BLAST-trust_domains | blast radius reports trust_domains separately (no aggregate) | E33 | held |
| E34-TRUTHPHRASE-fully_autonomous | the truth guard knows the phrase 'fully autonomous' | E34 | held |
| E34-TRUTHPHRASE-fully_secure | the truth guard knows the phrase 'fully secure' | E34 | held |
| E34-TRUTHPHRASE-guaranteed | the truth guard knows the phrase 'guaranteed' | E34 | held |
| E34-TRUTHPHRASE-controls_all_agents | the truth guard knows the phrase 'controls all agents' | E34 | held |
| E34-TRUTHPHRASE-controls_the_internet | the truth guard knows the phrase 'controls the internet' | E34 | held |
| E34-TRUTHPHRASE-certified | the truth guard knows the phrase 'certified' | E34 | held |
| E34-TRUTHPHRASE-enterprise-ready | the truth guard knows the phrase 'enterprise-ready' | E34 | held |
| E34-TRUTHPHRASE-independently_audited | the truth guard knows the phrase 'independently audited' | E34 | held |
| E34-TRUTHPHRASE-hardware-attested | the truth guard knows the phrase 'hardware-attested' | E34 | held |
| E34-TRUTHPHRASE-universal | the truth guard knows the phrase 'universal' | E34 | held |
| E34-TRUTHPHRASE-production-ready | the truth guard knows the phrase 'production-ready' | E34 | held |
| E34-TRUTHPHRASE-in_production | the truth guard knows the phrase 'in production' | E34 | held |
| E35-EPISTEMIC-OBSERVED | epistemic state OBSERVED is a first-class value | E35 | held |
| E35-EPISTEMIC-INFERRED | epistemic state INFERRED is a first-class value | E35 | held |
| E35-EPISTEMIC-PREDICTED | epistemic state PREDICTED is a first-class value | E35 | held |
| E35-EPISTEMIC-SIMULATED | epistemic state SIMULATED is a first-class value | E35 | held |
| E35-EPISTEMIC-COUNTERFACTUAL | epistemic state COUNTERFACTUAL is a first-class value | E35 | held |
| E35-EPISTEMIC-UNKNOWN | epistemic state UNKNOWN is a first-class value | E35 | held |
| E35-OBS-action | observation kind action is accepted | E35 | held |
| E35-OBS-outcome | observation kind outcome is accepted | E35 | held |
| E35-OBS-drift | observation kind drift is accepted | E35 | held |
| E35-OBS-incident | observation kind incident is accepted | E35 | held |
| E35-OBS-cost | observation kind cost is accepted | E35 | held |
| E35-OBS-latency | observation kind latency is accepted | E35 | held |
| E35-OBS-environment | observation kind environment is accepted | E35 | held |
| E35-OBS-policy | observation kind policy is accepted | E35 | held |
| E35-OBS-capability | observation kind capability is accepted | E35 | held |
| E35-RISK-epistemic | risk dimension epistemic is separate | E35 | held |
| E35-FABRIC-risk_model | the intelligence fabric exposes risk_model | E35 | held |
| E35-FABRIC-prediction_engine | the intelligence fabric exposes prediction_engine | E35 | held |
| E35-FABRIC-world_model | the intelligence fabric exposes world_model | E35 | held |
| E35-FABRIC-counterfactual_engine | the intelligence fabric exposes counterfactual_engine | E35 | held |
| E35-FABRIC-simulation_engine | the intelligence fabric exposes simulation_engine | E35 | held |
| E35-FABRIC-knowledge_graph | the intelligence fabric exposes knowledge_graph | E35 | held |
| E35-QUERY-model_change | environment query model_change exists | E35 | held |
| E35-STATE-authority_drift | state predictor target authority_drift exists | E35 | held |
| E35-STATE-capability_drift | state predictor target capability_drift exists | E35 | held |
| E35-STATE-policy_drift | state predictor target policy_drift exists | E35 | held |
| E35-STATE-identity_drift | state predictor target identity_drift exists | E35 | held |
| E35-STATE-trajectory_risk | state predictor target trajectory_risk exists | E35 | held |
| E35-STATE-environmental_change | state predictor target environmental_change exists | E35 | held |
| E35-STATE-dependency_failure | state predictor target dependency_failure exists | E35 | held |
| E35-STATE-enforcement_degradation | state predictor target enforcement_degradation exists | E35 | held |
| E35-STATE-incident_propagation | state predictor target incident_propagation exists | E35 | held |
| E35-STATE-delegation_risk | state predictor target delegation_risk exists | E35 | held |
| E35-STATE-transaction_risk | state predictor target transaction_risk exists | E35 | held |
| E35-STATE-collective_risk | state predictor target collective_risk exists | E35 | held |
| E35-STATE-physical_world_risk | state predictor target physical_world_risk exists | E35 | held |
| E35-STATE-self_improvement_risk | state predictor target self_improvement_risk exists | E35 | held |
| E35-KGNODE-Agent | knowledge-graph node Agent exists | E35 | held |
| E35-KGNODE-Identity | knowledge-graph node Identity exists | E35 | held |
| E35-KGNODE-Capability | knowledge-graph node Capability exists | E35 | held |
| E35-KGNODE-Authority | knowledge-graph node Authority exists | E35 | held |
| E35-KGNODE-Policy | knowledge-graph node Policy exists | E35 | held |
| E35-KGNODE-Evidence | knowledge-graph node Evidence exists | E35 | held |
| E35-KGNODE-Decision | knowledge-graph node Decision exists | E35 | held |
| E35-KGNODE-Action | knowledge-graph node Action exists | E35 | held |
| E35-KGNODE-Environment | knowledge-graph node Environment exists | E35 | held |
| E35-KGNODE-Tool | knowledge-graph node Tool exists | E35 | held |
| E35-KGNODE-Protocol | knowledge-graph node Protocol exists | E35 | held |
| E35-KGNODE-Transaction | knowledge-graph node Transaction exists | E35 | held |
| E35-KGNODE-Incident | knowledge-graph node Incident exists | E35 | held |
| E35-KGNODE-Attack | knowledge-graph node Attack exists | E35 | held |
| E35-KGNODE-Recovery | knowledge-graph node Recovery exists | E35 | held |
| E35-KGNODE-Proof | knowledge-graph node Proof exists | E35 | held |
| E35-KGNODE-Verifier | knowledge-graph node Verifier exists | E35 | held |
| E35-KGNODE-Model | knowledge-graph node Model exists | E35 | held |
| E35-KGNODE-Runtime | knowledge-graph node Runtime exists | E35 | held |
| E35-KGNODE-Organization | knowledge-graph node Organization exists | E35 | held |
| E35-KGNODE-TrustDomain | knowledge-graph node TrustDomain exists | E35 | held |
| E35-KGNODE-WorldState | knowledge-graph node WorldState exists | E35 | held |
| E35-KGNODE-Research | knowledge-graph node Research exists | E35 | held |
| E35-KGNODE-Product | knowledge-graph node Product exists | E35 | held |
| E35-KGNODE-Test | knowledge-graph node Test exists | E35 | held |
| E35-KGNODE-Invariant | knowledge-graph node Invariant exists | E35 | held |
| E35-KGEDGE-PROPOSED | knowledge-graph edge PROPOSED exists | E35 | held |
| E35-KGEDGE-AUTHORIZED | knowledge-graph edge AUTHORIZED exists | E35 | held |
| E35-KGEDGE-DELEGATED | knowledge-graph edge DELEGATED exists | E35 | held |
| E35-KGEDGE-USES | knowledge-graph edge USES exists | E35 | held |
| E35-KGEDGE-AFFECTS | knowledge-graph edge AFFECTS exists | E35 | held |
| E35-KGEDGE-DEPENDS_ON | knowledge-graph edge DEPENDS_ON exists | E35 | held |
| E35-KGEDGE-VIOLATES | knowledge-graph edge VIOLATES exists | E35 | held |
| E35-KGEDGE-PROVES | knowledge-graph edge PROVES exists | E35 | held |
| E35-KGEDGE-VERIFIES | knowledge-graph edge VERIFIES exists | E35 | held |
| E35-KGEDGE-CAUSED | knowledge-graph edge CAUSED exists | E35 | held |
| E35-KGEDGE-MITIGATED | knowledge-graph edge MITIGATED exists | E35 | held |
| E35-KGEDGE-RECOVERED | knowledge-graph edge RECOVERED exists | E35 | held |
| E35-KGEDGE-SUPERSEDES | knowledge-graph edge SUPERSEDES exists | E35 | held |
| E35-KGEDGE-REQUIRES | knowledge-graph edge REQUIRES exists | E35 | held |
| E35-KGEDGE-CONFLICTS | knowledge-graph edge CONFLICTS exists | E35 | held |
| E35-KGEDGE-DERIVED_FROM | knowledge-graph edge DERIVED_FROM exists | E35 | held |
| E35-KGEDGE-TESTED_BY | knowledge-graph edge TESTED_BY exists | E35 | held |
| E35-RADAR-world_models | radar topic world_models exists | E35 | held |
| E35-RADAR-model_reasoning | radar topic model_reasoning exists | E35 | held |
| E35-IP-governance_digital_twins | IP primitive governance_digital_twins exists | E35 | held |
| E35-MOAT-governance_digital_twin | moat governance_digital_twin is technical, not a market moat | E35 | held |
| E35-MOAT-governance_knowledge_graph | moat governance_knowledge_graph is technical, not a market moat | E35 | held |
| E35-SWARM-simulation | swarm role simulation exists | E35 | held |
| E35-LAB-new_world_model_failures | research-lab topic new_world_model_failures exists | E35 | held |
| E36-AGENCY-NODE-model | agency graph node model exists | E36 | held |
| E36-MOAT-machine_service_digital_twins | moat machine_service_digital_twins is technical only | E36 | held |
| E36-MOAT-procurement_simulation | moat procurement_simulation is technical only | E36 | held |
| E36-MOAT-economic_digital_twin | moat economic_digital_twin is technical only | E36 | held |
| E36-MOAT-machine_economy_knowledge_graph | moat machine_economy_knowledge_graph is technical only | E36 | held |
| E36-ENV-SIMULATED | environment label SIMULATED is a recognised CAIN environment | E36 | held |
| E40-OBJECT-person | object kind person carries no authority | E40 | held |
| E40-OBJECT-agent | object kind agent carries no authority | E40 | held |
| E40-OBJECT-organization | object kind organization carries no authority | E40 | held |
| E40-OBJECT-department | object kind department carries no authority | E40 | held |
| E40-OBJECT-system | object kind system carries no authority | E40 | held |
| E40-OBJECT-application | object kind application carries no authority | E40 | held |
| E40-OBJECT-database | object kind database carries no authority | E40 | held |
| E40-OBJECT-api | object kind api carries no authority | E40 | held |
| E40-OBJECT-cloud_resource | object kind cloud_resource carries no authority | E40 | held |
| E40-OBJECT-device | object kind device carries no authority | E40 | held |
| E40-OBJECT-network | object kind network carries no authority | E40 | held |
| E40-OBJECT-model | object kind model carries no authority | E40 | held |
| E40-OBJECT-tool | object kind tool carries no authority | E40 | held |
| E40-OBJECT-mcp_server | object kind mcp_server carries no authority | E40 | held |
| E40-OBJECT-a2a_agent | object kind a2a_agent carries no authority | E40 | held |
| E40-OBJECT-workflow | object kind workflow carries no authority | E40 | held |
| E40-OBJECT-project | object kind project carries no authority | E40 | held |
| E40-OBJECT-customer | object kind customer carries no authority | E40 | held |
| E40-OBJECT-supplier | object kind supplier carries no authority | E40 | held |
| E40-OBJECT-contract | object kind contract carries no authority | E40 | held |
| E40-OBJECT-financial_resource | object kind financial_resource carries no authority | E40 | held |
| E40-OBJECT-budget | object kind budget carries no authority | E40 | held |
| E40-OBJECT-credential | object kind credential carries no authority | E40 | held |
| E40-OBJECT-policy | object kind policy carries no authority | E40 | held |
| E40-OBJECT-risk | object kind risk carries no authority | E40 | held |
| E40-OBJECT-incident | object kind incident carries no authority | E40 | held |
| E40-OBJECT-asset | object kind asset carries no authority | E40 | held |
| E40-OBJECT-data | object kind data carries no authority | E40 | held |
| E40-OBJECT-intellectual_property | object kind intellectual_property carries no authority | E40 | held |
| E40-OBJECT-physical_resource | object kind physical_resource carries no authority | E40 | held |
| E40-OBJECT-location | object kind location carries no authority | E40 | held |
| E40-OBJECT-external_dependency | object kind external_dependency carries no authority | E40 | held |
| E40-OBJECTFIELD-identity | an object without identity is refused | E40 | held |
| E40-OBJECTFIELD-provenance | an object without provenance is refused | E40 | held |
| E40-OBJECTFIELD-owner | an object without owner is refused | E40 | held |
| E40-OBJECTFIELD-authority | an object without authority is refused | E40 | held |
| E40-OBJECTFIELD-capabilities | an object without capabilities is refused | E40 | held |
| E40-OBJECTFIELD-dependencies | an object without dependencies is refused | E40 | 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