CAIN-42 CAIN StudioEvidence library · niche
Autonomy, control loops & recovery
Agents acting on their own, and how CAIN keeps them in bounds and recovers. 407 tested invariants.
Last reviewed 2026-10-01
407 of 407 held
Test families in this niche
evolution (56) · loop (44) · autonomy (25) · drift (25) · learning_loop (17) · promotion_dominance (15) · self_healing (15) · self_test (13) · degradation (13) · self_governance (12) · autonomy_gradient (11) · self_improvement (10) · promotion_stage (10) · self_repair (10) · degraded_mode (10) · replan (10) · continuity (9) · autonomy_level (9) · research (7) · autopilot (6) · recovery (6) · fabric_component (4) · swe (3) · state_machine (2) · integrity (2) · profile (2) · risk (1) · scientist (1) · operation_state (1) · gap_detector (1) · plan_check_act (1) · trajectory (1) · radar (1) · swarm (1) · continuity_token (1) · canary (1) · interrupt (1) · promotion (1) · replanning (1) · rollback (1) · systemic (1) · graph (1)
Where these come from
- CAIN-42 Evolution 35 -- Continuous Governance Intelligence Fabric: 86
- CAIN-42 Evolution 40 -- Autonomous Enterprise Intelligence Fabric: 70
- CAIN-42 Evolution 32 -- Governed Autonomy Learning Fabric: 66
- CAIN-42 Evolution 27 -- Agentic Internet Control Plane: 60
- CAIN-42 Evolution 23 -- Governed Meta-Intelligence Fabric: 31
- CAIN-42 Evolution 30 -- Governed Machine Autonomy Fabric: 21
- CAIN-42 Evolution 33 -- Governed Agentic Operating Fabric: 18
- CAIN-42 Evolution 42 -- Supreme Governed Agentic Infrastructure Platform: 15
- CAIN-42 Evolution 28 -- Portable Machine Agency & Execution Identity: 10
- CAIN-42 Evolution 36 -- Machine Agency Exchange Fabric: 6
- CAIN-42 Evolution 39 -- Governed Agent Factory: 6
- CAIN-42 Evolution 20 -- Governed Agentic Civilization Fabric: 5
- CAIN-42 Evolution 21 -- Governed Open-Ended Intelligence Fabric: 5
- CAIN-42 Evolution 19 -- Governed Autonomy Operating Fabric: 3
- CAIN-42 Evolution 37 -- Autonomous Execution Mesh: 3
- CAIN-42 Evolution 24 -- Governed Agentic Internet Fabric: 1
- CAIN-42 Evolution 41 -- Machine Agency Exchange Fabric: 1
Rules 301–407 of 407
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E35-LOOP-GOVERNANCE_REVIEW | intelligence loop step GOVERNANCE_REVIEW exists | E35 | held |
| E35-LOOP-CANARY | intelligence loop step CANARY exists | E35 | held |
| E35-LOOP-MEASURE | intelligence loop step MEASURE exists | E35 | held |
| E35-LOOP-VERIFY | intelligence loop step VERIFY exists | E35 | held |
| E35-LOOP-DEPLOY_CONTROL | intelligence loop step DEPLOY_CONTROL exists | E35 | held |
| E35-LOOP-OBSERVE_AGAIN | intelligence loop step OBSERVE_AGAIN exists | E35 | held |
| E36-RECOVERY-DISCOVER | recovery step DISCOVER exists | E36 | held |
| E36-RECOVERY-VERIFY | recovery step VERIFY exists | E36 | held |
| E36-RECOVERY-SUBSTITUTE | recovery step SUBSTITUTE exists | E36 | held |
| E36-RECOVERY-RECONTRACT | recovery step RECONTRACT exists | E36 | held |
| E36-RECOVERY-REAUTHORIZE | recovery step REAUTHORIZE exists | E36 | held |
| E36-RECOVERY-EXECUTE | recovery step EXECUTE exists | E36 | held |
| continuity | every 'continuity' invariant in this bundle (19 of 19 held) | E37 | held |
| continuity_token | every 'continuity token' invariant in this bundle (4 of 4 held) | E37 | held |
| drift | every 'drift' invariant in this bundle (14 of 14 held) | E37 | held |
| canary | every 'canary' invariant in this bundle (6 of 6 held) | E39 | held |
| evolution | every 'evolution' invariant in this bundle (8 of 8 held) | E39 | held |
| interrupt | every 'interrupt' invariant in this bundle (12 of 12 held) | E39 | held |
| promotion | every 'promotion' invariant in this bundle (12 of 12 held) | E39 | held |
| replanning | every 'replanning' invariant in this bundle (10 of 10 held) | E39 | held |
| rollback | every 'rollback' invariant in this bundle (10 of 10 held) | E39 | held |
| E40-DRIFT-state | drift kind state is detected | E40 | held |
| E40-DRIFT-configuration | drift kind configuration is detected | E40 | held |
| E40-DRIFT-identity | drift kind identity is detected | E40 | held |
| E40-DRIFT-authority | drift kind authority is detected | E40 | held |
| E40-DRIFT-workflow | drift kind workflow is detected | E40 | held |
| E40-DRIFT-financial | drift kind financial is detected | E40 | held |
| E40-DRIFT-security | drift kind security is detected | E40 | held |
| E40-DRIFT-data | drift kind data is detected | E40 | held |
| E40-DRIFT-agent | drift kind agent is detected | E40 | held |
| E40-DRIFT-policy | drift kind policy is detected | E40 | held |
| E40-DRIFT-organizational | drift kind organizational is detected | E40 | held |
| E40-DRIFT-environmental | drift kind environmental is detected | E40 | held |
| E40-DEGRADE-FULL | degradation state FULL never increases authority | E40 | held |
| E40-DEGRADE-DEGRADED | degradation state DEGRADED never increases authority | E40 | held |
| E40-DEGRADE-RESTRICTED | degradation state RESTRICTED never increases authority | E40 | held |
| E40-DEGRADE-SAFE_HOLD | degradation state SAFE_HOLD never increases authority | E40 | held |
| E40-DEGRADE-RECOVERY | degradation state RECOVERY never increases authority | E40 | held |
| E40-REPLAN-world_state | replan trigger world_state re-evaluates authorization | E40 | held |
| E40-REPLAN-objective | replan trigger objective re-evaluates authorization | E40 | held |
| E40-REPLAN-risk | replan trigger risk re-evaluates authorization | E40 | held |
| E40-REPLAN-resource | replan trigger resource re-evaluates authorization | E40 | held |
| E40-REPLAN-agent | replan trigger agent re-evaluates authorization | E40 | held |
| E40-REPLAN-policy | replan trigger policy re-evaluates authorization | E40 | held |
| E40-REPLAN-evidence | replan trigger evidence re-evaluates authorization | E40 | held |
| E40-REPLAN-customer | replan trigger customer re-evaluates authorization | E40 | held |
| E40-REPLAN-supplier | replan trigger supplier re-evaluates authorization | E40 | held |
| E40-REPLAN-security | replan trigger security re-evaluates authorization | E40 | held |
| E40-LOOP-OBSERVE | enterprise loop step OBSERVE exists | E40 | held |
| E40-LOOP-RECONCILE | enterprise loop step RECONCILE exists | E40 | held |
| E40-LOOP-UNDERSTAND | enterprise loop step UNDERSTAND exists | E40 | held |
| E40-LOOP-PREDICT | enterprise loop step PREDICT exists | E40 | held |
| E40-LOOP-SIMULATE | enterprise loop step SIMULATE exists | E40 | held |
| E40-LOOP-PLAN | enterprise loop step PLAN exists | E40 | held |
| E40-LOOP-GOVERN | enterprise loop step GOVERN exists | E40 | held |
| E40-LOOP-AUTHORIZE | enterprise loop step AUTHORIZE exists | E40 | held |
| E40-LOOP-EXECUTE | enterprise loop step EXECUTE exists | E40 | held |
| E40-LOOP-VERIFY | enterprise loop step VERIFY exists | E40 | held |
| E40-LOOP-MEASURE | enterprise loop step MEASURE exists | E40 | held |
| E40-LOOP-LEARN | enterprise loop step LEARN exists | E40 | held |
| E40-LOOP-UPDATE | enterprise loop step UPDATE exists | E40 | held |
| E40-LOOP-REPLAN | enterprise loop step REPLAN exists | E40 | held |
| E40-MANDATORY-GOVERN | GOVERN is a mandatory loop step | E40 | held |
| E40-MANDATORY-AUTHORIZE | AUTHORIZE is a mandatory loop step | E40 | held |
| E40-MANDATORY-VERIFY | VERIFY is a mandatory loop step | E40 | held |
| E40-DRIFT2-state | drift state invalidates assumptions | E40 | held |
| E40-DRIFT2-configuration | drift configuration invalidates assumptions | E40 | held |
| E40-DRIFT2-identity | drift identity invalidates assumptions | E40 | held |
| E40-DRIFT2-authority | drift authority invalidates assumptions | E40 | held |
| E40-DRIFT2-workflow | drift workflow invalidates assumptions | E40 | held |
| E40-DRIFT2-financial | drift financial invalidates assumptions | E40 | held |
| E40-DRIFT2-security | drift security invalidates assumptions | E40 | held |
| E40-DRIFT2-data | drift data invalidates assumptions | E40 | held |
| E40-DRIFT2-agent | drift agent invalidates assumptions | E40 | held |
| E40-DRIFT2-policy | drift policy invalidates assumptions | E40 | held |
| E40-DRIFT2-organizational | drift organizational invalidates assumptions | E40 | held |
| E40-DRIFT2-environmental | drift environmental invalidates assumptions | E40 | held |
| E40-LOOP2-OBSERVE | loop step OBSERVE runs without self-authorization | E40 | held |
| E40-LOOP2-RECONCILE | loop step RECONCILE runs without self-authorization | E40 | held |
| E40-LOOP2-UNDERSTAND | loop step UNDERSTAND runs without self-authorization | E40 | held |
| E40-LOOP2-PREDICT | loop step PREDICT runs without self-authorization | E40 | held |
| E40-LOOP2-SIMULATE | loop step SIMULATE runs without self-authorization | E40 | held |
| E40-LOOP2-PLAN | loop step PLAN runs without self-authorization | E40 | held |
| E40-LOOP2-GOVERN | loop step GOVERN runs without self-authorization | E40 | held |
| E40-LOOP2-AUTHORIZE | loop step AUTHORIZE runs without self-authorization | E40 | held |
| E40-LOOP2-EXECUTE | loop step EXECUTE runs without self-authorization | E40 | held |
| E40-LOOP2-VERIFY | loop step VERIFY runs without self-authorization | E40 | held |
| E40-LOOP2-MEASURE | loop step MEASURE runs without self-authorization | E40 | held |
| E40-LOOP2-LEARN | loop step LEARN runs without self-authorization | E40 | held |
| E40-LOOP2-UPDATE | loop step UPDATE runs without self-authorization | E40 | held |
| E40-LOOP2-REPLAN | loop step REPLAN runs without self-authorization | E40 | held |
| E41-BOUNDARY-recovery | systemic risk reports the recovery boundary | E41 | held |
| E42-GRAPH-evolution | unified graph node kind evolution exists | E42 | held |
| E42-EVOSTAGE-DISCOVER | governed evolution stage DISCOVER exists | E42 | held |
| E42-EVOSTAGE-HYPOTHESIZE | governed evolution stage HYPOTHESIZE exists | E42 | held |
| E42-EVOSTAGE-EXPERIMENT | governed evolution stage EXPERIMENT exists | E42 | held |
| E42-EVOSTAGE-EVALUATE | governed evolution stage EVALUATE exists | E42 | held |
| E42-EVOSTAGE-VERIFY | governed evolution stage VERIFY exists | E42 | held |
| E42-EVOSTAGE-PROPOSE | governed evolution stage PROPOSE exists | E42 | held |
| E42-EVOSTAGE-SANDBOX | governed evolution stage SANDBOX exists | E42 | held |
| E42-EVOSTAGE-CANARY | governed evolution stage CANARY exists | E42 | held |
| E42-EVOSTAGE-COMPARE | governed evolution stage COMPARE exists | E42 | held |
| E42-EVOSTAGE-AUTHORIZE | governed evolution stage AUTHORIZE exists | E42 | held |
| E42-EVOSTAGE-DEPLOY | governed evolution stage DEPLOY exists | E42 | held |
| E42-EVOSTAGE-OBSERVE | governed evolution stage OBSERVE exists | E42 | held |
| E42-EVOSTAGE-ROLLBACK | governed evolution stage ROLLBACK exists | E42 | held |
| E42-EVOSTAGE-REVERIFY | governed evolution stage REVERIFY exists | 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 · 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