CAIN-42 CAIN StudioEvidence library · niche
Core guarantees
Fail-closed basics that every other area relies on. 377 tested invariants.
Last reviewed 2026-10-01
377 of 377 held
Test families in this niche
action (32) · state_machine (17) · relationship (14) · operation_state (12) · integrity (11) · swe (10) · hardware (9) · cognitive (9) · plan_check_act (9) · r2e (8) · radar (8) · graph (8) · research (7) · telemetry (7) · research_to_implementation (7) · federation (6) · translation (6) · fabric_component (6) · tech_radar (5) · environment_query (5) · profile (5) · risk (4) · operation_kind (4) · trajectory (4) · agency_graph (4) · environment (4) · intent (3) · moat (3) · swarm (3) · match (3) · competitive_gap (3) · f2t (3) · replay (2) · offline (2) · reassessment (2) · cross_domain (2) · failure_to_test (2) · composition (2) · soc (1) · developer (1) · gap_detector (1) · status (1) · conflict (1) · engine_mesh (1) · perimeter (1) · recursion (1) · scheduler (1) · architecture (1) · evaluation (1) · health (1) · systemic (1)
Where these come from
- CAIN-42 Evolution 35 -- Continuous Governance Intelligence Fabric: 54
- CAIN-42 Evolution 42 -- Supreme Governed Agentic Infrastructure Platform: 40
- CAIN-42 Evolution 27 -- Agentic Internet Control Plane: 36
- CAIN-42 Evolution 21 -- Governed Open-Ended Intelligence Fabric: 35
- CAIN-42 Evolution 33 -- Governed Agentic Operating Fabric: 29
- CAIN-42 Evolution 26 -- Universal Machine Agency Trust Fabric: 26
- CAIN-42 Evolution 20 -- Governed Agentic Civilization Fabric: 24
- CAIN-42 Evolution 23 -- Governed Meta-Intelligence Fabric: 24
- CAIN-42 Evolution 19 -- Governed Autonomy Operating Fabric: 21
- CAIN-42 Evolution 36 -- Machine Agency Exchange Fabric: 20
- CAIN-42 Evolution 41 -- Machine Agency Exchange Fabric: 18
- CAIN-42 Evolution 25 -- Universal Machine Agency Fabric: 14
- CAIN-42 Evolution 24 -- Governed Agentic Internet Fabric: 9
- CAIN-42 Evolution 30 -- Governed Machine Autonomy Fabric: 7
- CAIN-42 Evolution 32 -- Governed Autonomy Learning Fabric: 7
- CAIN-42 Evolution 37 -- Autonomous Execution Mesh: 5
- CAIN-42 Evolution 38 -- Portable Proof-Carrying Machine Agency: 4
- CAIN-42 Evolution 39 -- Governed Agent Factory: 4
Rules 301–377 of 377
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E36-COMPETITOR-agent_orchestration | competitor category agent_orchestration makes no claim | E36 | held |
| E36-COMPETITOR-agent_evaluation_platforms | competitor category agent_evaluation_platforms makes no claim | E36 | held |
| E36-ENV-LIVE | environment label LIVE is a recognised CAIN environment | E36 | held |
| E36-ENV-DISPOSABLE | environment label DISPOSABLE is a recognised CAIN environment | E36 | held |
| E36-ENV-OFFLINE | environment label OFFLINE is a recognised CAIN environment | E36 | held |
| E36-ENV-UNKNOWN | environment label UNKNOWN is a recognised CAIN environment | E36 | held |
| conflict | every 'conflict' invariant in this bundle (20 of 20 held) | E37 | held |
| engine_mesh | every 'engine mesh' invariant in this bundle (6 of 6 held) | E37 | held |
| perimeter | every 'perimeter' invariant in this bundle (16 of 16 held) | E37 | held |
| recursion | every 'recursion' invariant in this bundle (9 of 9 held) | E37 | held |
| scheduler | every 'scheduler' invariant in this bundle (5 of 5 held) | E37 | held |
| composition | every 'composition' invariant in this bundle (8 of 8 held) | E38 | held |
| federation | every 'federation' invariant in this bundle (5 of 5 held) | E38 | held |
| status | every 'status' invariant in this bundle (15 of 15 held) | E38 | held |
| translation | every 'translation' invariant in this bundle (16 of 16 held) | E38 | held |
| architecture | every 'architecture' invariant in this bundle (31 of 31 held) | E39 | held |
| composition | every 'composition' invariant in this bundle (15 of 15 held) | E39 | held |
| evaluation | every 'evaluation' invariant in this bundle (42 of 42 held) | E39 | held |
| health | every 'health' invariant in this bundle (10 of 10 held) | E39 | held |
| E41-RELSTATE-DISCOVERED | relationship state DISCOVERED exists and is never collapsed | E41 | held |
| E41-RELSTATE-IDENTIFIED | relationship state IDENTIFIED exists and is never collapsed | E41 | held |
| E41-RELSTATE-ATTESTED | relationship state ATTESTED exists and is never collapsed | E41 | held |
| E41-RELSTATE-EXECUTING | relationship state EXECUTING exists and is never collapsed | E41 | held |
| E41-RELSTATE-VERIFIED | relationship state VERIFIED exists and is never collapsed | E41 | held |
| E41-RELSTATE-UNKNOWN | relationship state UNKNOWN exists and is never collapsed | E41 | held |
| E41-RELSTATE-UNCONTROLLED | relationship state UNCONTROLLED exists and is never collapsed | E41 | held |
| E41-BOUNDARY-execution | systemic risk reports the execution boundary | E41 | held |
| E41-F2T-ROOT_CAUSE | failure-to-test stage ROOT_CAUSE exists | E41 | held |
| E41-F2T-TEST | failure-to-test stage TEST exists | E41 | held |
| E41-F2T-INVARIANT | failure-to-test stage INVARIANT exists | E41 | held |
| E41-REL2-DISCOVERED | relationship state DISCOVERED is reachable/held or explicitly refused | E41 | held |
| E41-REL2-IDENTIFIED | relationship state IDENTIFIED is reachable/held or explicitly refused | E41 | held |
| E41-REL2-ATTESTED | relationship state ATTESTED is reachable/held or explicitly refused | E41 | held |
| E41-REL2-EXECUTING | relationship state EXECUTING is reachable/held or explicitly refused | E41 | held |
| E41-REL2-VERIFIED | relationship state VERIFIED is reachable/held or explicitly refused | E41 | held |
| E41-REL2-UNKNOWN | relationship state UNKNOWN is reachable/held or explicitly refused | E41 | held |
| E41-REL2-UNCONTROLLED | relationship state UNCONTROLLED is reachable/held or explicitly refused | E41 | held |
| E42-SURFACE-a2a | universal action surface a2a is covered | E42 | held |
| E42-SURFACE-http | universal action surface http is covered | E42 | held |
| E42-SURFACE-rest | universal action surface rest is covered | E42 | held |
| E42-SURFACE-grpc | universal action surface grpc is covered | E42 | held |
| E42-SURFACE-websocket | universal action surface websocket is covered | E42 | held |
| E42-SURFACE-cli | universal action surface cli is covered | E42 | held |
| E42-SURFACE-shell | universal action surface shell is covered | E42 | held |
| E42-SURFACE-filesystem | universal action surface filesystem is covered | E42 | held |
| E42-SURFACE-browser | universal action surface browser is covered | E42 | held |
| E42-SURFACE-cloud | universal action surface cloud is covered | E42 | held |
| E42-SURFACE-kubernetes | universal action surface kubernetes is covered | E42 | held |
| E42-SURFACE-ci_cd | universal action surface ci_cd is covered | E42 | held |
| E42-SURFACE-serverless | universal action surface serverless is covered | E42 | held |
| E42-SURFACE-gpu | universal action surface gpu is covered | E42 | held |
| E42-SURFACE-robotics_boundary | universal action surface robotics_boundary is covered | E42 | held |
| E42-SURFACE-vehicle_boundary | universal action surface vehicle_boundary is covered | E42 | held |
| E42-SURFACE-messaging | universal action surface messaging is covered | E42 | held |
| E42-SURFACE-email | universal action surface email is covered | E42 | held |
| E42-SURFACE-calendar | universal action surface calendar is covered | E42 | held |
| E42-SURFACE-code_execution | universal action surface code_execution is covered | E42 | held |
| E42-SURFACE-config_mutation | universal action surface config_mutation is covered | E42 | held |
| E42-GRAPH-decision | unified graph node kind decision exists | E42 | held |
| E42-GRAPH-agent | unified graph node kind agent exists | E42 | held |
| E42-GRAPH-collective | unified graph node kind collective exists | E42 | held |
| E42-GRAPH-institution | unified graph node kind institution exists | E42 | held |
| E42-GRAPH-spatial | unified graph node kind spatial exists | E42 | held |
| E42-GRAPH-execution | unified graph node kind execution exists | E42 | held |
| E42-GRAPH-enterprise | unified graph node kind enterprise exists | E42 | held |
| E42-GRAPH-federation | unified graph node kind federation exists | E42 | held |
| E42-ACTIONFIELD-surface | a universal action requires surface | E42 | held |
| E42-ACTIONFIELD-actor | a universal action requires actor | E42 | held |
| E42-ACTIONFIELD-intent | a universal action requires intent | E42 | held |
| E42-ACTIONFIELD-target | a universal action requires target | E42 | held |
| E42-ACTIONFIELD-parameters_digest | a universal action requires parameters_digest | E42 | held |
| E42-ACTIONFIELD-risk | a universal action requires risk | E42 | held |
| E42-ACTIONFIELD-trajectory | a universal action requires trajectory | E42 | held |
| E42-ACTIONFIELD-environment | a universal action requires environment | E42 | held |
| E42-ACTIONFIELD-amount | a universal action requires amount | E42 | held |
| E42-ACTIONFIELD-reversible | a universal action requires reversible | E42 | held |
| E42-ACTIONFIELD-nonce | a universal action requires nonce | E42 | held |
Other niches
Consensus & distributed systems · Attacks, threats & containment · Identity, authority & delegation · Evidence, receipts & proofs · Memory, data & privacy · Prediction, world models & simulation · Transactions, markets & economics · Tools, MCP, protocols & adapters · Autonomy, control loops & recovery · Policy, law & governance · Trust & reputation · Supply chain, registry & lifecycle · Benchmarks, coverage & performance
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