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 151–300 of 407
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E32-SELFTEST-enforcement | self-test of enforcement passes, and a failing check degrades it | E32 | held |
| E32-SELFTEST-evidence | self-test of evidence passes, and a failing check degrades it | E32 | held |
| E32-SELFTEST-memory | self-test of memory passes, and a failing check degrades it | E32 | held |
| E32-SELFTEST-world_model | self-test of world_model passes, and a failing check degrades it | E32 | held |
| E32-SELFTEST-learning | self-test of learning passes, and a failing check degrades it | E32 | held |
| E32-SELFTEST-evolution | self-test of evolution passes, and a failing check degrades it | E32 | held |
| E32-SELFTEST-rollback | self-test of rollback passes, and a failing check degrades it | E32 | held |
| E32-SELFTEST-revocation | self-test of revocation passes, and a failing check degrades it | E32 | held |
| E32-SELFTEST-clean_room | self-test of clean_room passes, and a failing check degrades it | E32 | held |
| E32-SCI-promote | the governance scientist may not promote | E32 | held |
| E32-REPAIR-ISOLATE | governed self-repair records ISOLATE in order | E32 | held |
| E32-REPAIR-PRESERVE_EVIDENCE | governed self-repair records PRESERVE_EVIDENCE in order | E32 | held |
| E32-REPAIR-IDENTIFY | governed self-repair records IDENTIFY in order | E32 | held |
| E32-REPAIR-REPAIR_CANDIDATE | governed self-repair records REPAIR_CANDIDATE in order | E32 | held |
| E32-REPAIR-TEST | governed self-repair records TEST in order | E32 | held |
| E32-REPAIR-ADVERSARIAL_TEST | governed self-repair records ADVERSARIAL_TEST in order | E32 | held |
| E32-REPAIR-CLEAN_ROOM_VERIFY | governed self-repair records CLEAN_ROOM_VERIFY in order | E32 | held |
| E32-REPAIR-CANARY | governed self-repair records CANARY in order | E32 | held |
| E32-REPAIR-PROMOTE | governed self-repair records PROMOTE in order | E32 | held |
| E32-REPAIR-ROLLBACK_IF_REGRESSION | governed self-repair records ROLLBACK_IF_REGRESSION in order | E32 | held |
| E32-LOOP-OBSERVE | loop step OBSERVE holds on real governed actions | E32 | held |
| E32-LOOP-EVIDENCE | loop step EVIDENCE holds on real governed actions | E32 | held |
| E32-LOOP-PREDICT | loop step PREDICT holds on real governed actions | E32 | held |
| E32-LOOP-ACT | loop step ACT holds on real governed actions | E32 | held |
| E32-LOOP-OUTCOME | loop step OUTCOME holds on real governed actions | E32 | held |
| E32-LOOP-COMPARE | loop step COMPARE holds on real governed actions | E32 | held |
| E32-LOOP-ERROR_DRIFT_FAILURE | loop step ERROR_DRIFT_FAILURE holds on real governed actions | E32 | held |
| E32-LOOP-LEARN | loop step LEARN holds on real governed actions | E32 | held |
| E32-LOOP-GENERATE_CANDIDATE | loop step GENERATE_CANDIDATE holds on real governed actions | E32 | held |
| E32-LOOP-SANDBOX | loop step SANDBOX holds on real governed actions | E32 | held |
| E32-LOOP-ADVERSARIAL_TEST | loop step ADVERSARIAL_TEST holds on real governed actions | E32 | held |
| E32-LOOP-PROOF | loop step PROOF holds on real governed actions | E32 | held |
| E32-LOOP-CONFORMANCE | loop step CONFORMANCE holds on real governed actions | E32 | held |
| E32-LOOP-CANARY | loop step CANARY holds on real governed actions | E32 | held |
| E32-LOOP-RE_AUTHORIZE | loop step RE_AUTHORIZE holds on real governed actions | E32 | held |
| E32-LOOP-PROMOTE_OR_REJECT | loop step PROMOTE_OR_REJECT holds on real governed actions | E32 | held |
| E32-LOOP-OBSERVE_AGAIN | loop step OBSERVE_AGAIN holds on real governed actions | E32 | held |
| E32-DOM-authority_preservation | a regression in authority_preservation blocks promotion | E32 | held |
| E32-DOM-enforcement_coverage | a regression in enforcement_coverage blocks promotion | E32 | held |
| E32-DOM-evidence_integrity | a regression in evidence_integrity blocks promotion | E32 | held |
| E32-DOM-identity_continuity | a regression in identity_continuity blocks promotion | E32 | held |
| E32-DOM-revocation_latency_us | a regression in revocation_latency_us blocks promotion | E32 | held |
| E32-DOM-failure_containment | a regression in failure_containment blocks promotion | E32 | held |
| E32-DOM-prediction_calibration | a regression in prediction_calibration blocks promotion | E32 | held |
| E32-DOM-policy_correctness | a regression in policy_correctness blocks promotion | E32 | held |
| E32-DOM-adversarial_robustness | a regression in adversarial_robustness blocks promotion | E32 | held |
| E32-DOM-recovery | a regression in recovery blocks promotion | E32 | held |
| E32-DOM-observability | a regression in observability blocks promotion | E32 | held |
| E32-DOM-reproducibility | a regression in reproducibility blocks promotion | E32 | held |
| E32-DOM-verifier_independence | a regression in verifier_independence blocks promotion | E32 | held |
| E32-DOM-computational_cost_us | a regression in computational_cost_us blocks promotion | E32 | held |
| E32-DOM-governance_latency_us | a regression in governance_latency_us blocks promotion | E32 | held |
| E33-STATE-RECOVER_ADAPT | no state can be skipped after RECOVER_ADAPT | E33 | held |
| E33-DEGRADED-verifier_unavailable | verifier_unavailable only removes routes | E33 | held |
| E33-DEGRADED-evidence_unavailable | evidence_unavailable only removes routes | E33 | held |
| E33-DEGRADED-trust_domain_unreachable | trust_domain_unreachable only removes routes | E33 | held |
| E33-DEGRADED-policy_service_unavailable | policy_service_unavailable only removes routes | E33 | held |
| E33-DEGRADED-world_state_stale | world_state_stale only removes routes | E33 | held |
| E33-DEGRADED-revocation_service_unavailable | revocation_service_unavailable only removes routes | E33 | held |
| E33-DEGRADED-cluster_partition | cluster_partition only removes routes | E33 | held |
| E33-DEGRADED-model_unavailable | model_unavailable only removes routes | E33 | held |
| E33-DEGRADED-runtime_failure | runtime_failure only removes routes | E33 | held |
| E33-DEGRADED-enforcement_boundary_unavailable | enforcement_boundary_unavailable only removes routes | E33 | held |
| E33-GAP-recovery_gap | the gap detector knows recovery_gap | E33 | held |
| E33-AUTOPILOT-expand_authority | the autopilot may not expand_authority | E33 | held |
| E33-AUTOPILOT-disable_controls | the autopilot may not disable_controls | E33 | held |
| E33-AUTOPILOT-promote_itself | the autopilot may not promote_itself | E33 | held |
| E33-AUTOPILOT-alter_trust_roots | the autopilot may not alter_trust_roots | E33 | held |
| E33-AUTOPILOT-bypass_e8 | the autopilot may not bypass_e8 | E33 | held |
| E33-AUTOPILOT-deploy_unverified_governance | the autopilot may not deploy_unverified_governance | E33 | held |
| E35-FABRIC-drift_learner | the intelligence fabric exposes drift_learner | E35 | held |
| E35-FABRIC-evolution_engine | the intelligence fabric exposes evolution_engine | E35 | held |
| E35-FABRIC-canary_engine | the intelligence fabric exposes canary_engine | E35 | held |
| E35-FABRIC-rollback_engine | the intelligence fabric exposes rollback_engine | E35 | held |
| E35-AUTONOMY-planning | autonomy dimension planning exists | E35 | held |
| E35-AUTONOMY-execution | autonomy dimension execution exists | E35 | held |
| E35-AUTONOMY-temporal | autonomy dimension temporal exists | E35 | held |
| E35-AUTONOMY-financial | autonomy dimension financial exists | E35 | held |
| E35-AUTONOMY-communication | autonomy dimension communication exists | E35 | held |
| E35-AUTONOMY-delegation | autonomy dimension delegation exists | E35 | held |
| E35-AUTONOMY-capability_acquisition | autonomy dimension capability_acquisition exists | E35 | held |
| E35-AUTONOMY-environmental | autonomy dimension environmental exists | E35 | held |
| E35-AUTONOMY-self_modification | autonomy dimension self_modification exists | E35 | held |
| E35-AUTONOMY-replication | autonomy dimension replication exists | E35 | held |
| E35-AUTONOMY-organizational | autonomy dimension organizational exists | E35 | held |
| E35-DECISION-ROLLBACK | plan-check-act decision ROLLBACK is first-class | E35 | held |
| E35-PROFILE-autonomy | agentic profile dimension autonomy exists | E35 | held |
| E35-PROFILE-recoverability | agentic profile dimension recoverability exists | E35 | held |
| E35-TRAJ-DRIFTING | trajectory state DRIFTING exists | E35 | held |
| E35-RADAR-self_improvement | radar topic self_improvement exists | E35 | held |
| E35-SWARM-evolution | swarm role evolution exists | E35 | held |
| E35-DEGRADE-NORMAL | degradation state NORMAL exists | E35 | held |
| E35-DEGRADE-DEGRADED | degradation state DEGRADED exists | E35 | held |
| E35-DEGRADE-RESTRICTED | degradation state RESTRICTED exists | E35 | held |
| E35-DEGRADE-READ_ONLY | degradation state READ_ONLY exists | E35 | held |
| E35-DEGRADE-HUMAN_REQUIRED | degradation state HUMAN_REQUIRED exists | E35 | held |
| E35-DEGRADE-CONTAINMENT | degradation state CONTAINMENT exists | E35 | held |
| E35-DEGRADE-OFFLINE | degradation state OFFLINE exists | E35 | held |
| E35-DEGRADE-RECOVERY | degradation state RECOVERY exists | E35 | held |
| E35-HEAL-detect | self-healing may detect | E35 | held |
| E35-HEAL-diagnose | self-healing may diagnose | E35 | held |
| E35-HEAL-propose | self-healing may propose | E35 | held |
| E35-HEAL-sandbox | self-healing may sandbox | E35 | held |
| E35-HEAL-test | self-healing may test | E35 | held |
| E35-HEAL-canary | self-healing may canary | E35 | held |
| E35-HEAL-rollback | self-healing may rollback | E35 | held |
| E35-HEAL-request_authorization | self-healing may request_authorization | E35 | held |
| E35-HEALNOT-self_authorize | self-healing may not self_authorize | E35 | held |
| E35-HEALNOT-self_expand_authority | self-healing may not self_expand_authority | E35 | held |
| E35-HEALNOT-disable_governance | self-healing may not disable_governance | E35 | held |
| E35-HEALNOT-rewrite_verifier_to_pass | self-healing may not rewrite_verifier_to_pass | E35 | held |
| E35-HEALNOT-delete_evidence | self-healing may not delete_evidence | E35 | held |
| E35-HEALNOT-hide_incidents | self-healing may not hide_incidents | E35 | held |
| E35-HEALNOT-rewrite_history | self-healing may not rewrite_history | E35 | held |
| E35-SELFGOV-agents | CAIN governs its own agents | E35 | held |
| E35-SELFGOV-policies | CAIN governs its own policies | E35 | held |
| E35-SELFGOV-plugins | CAIN governs its own plugins | E35 | held |
| E35-SELFGOV-adapters | CAIN governs its own adapters | E35 | held |
| E35-SELFGOV-models | CAIN governs its own models | E35 | held |
| E35-SELFGOV-research | CAIN governs its own research | E35 | held |
| E35-SELFGOV-evolution | CAIN governs its own evolution | E35 | held |
| E35-SELFGOV-evidence | CAIN governs its own evidence | E35 | held |
| E35-SELFGOV-deployment | CAIN governs its own deployment | E35 | held |
| E35-SELFGOV-transactions | CAIN governs its own transactions | E35 | held |
| E35-SELFGOV-cloud | CAIN governs its own cloud | E35 | held |
| E35-SELFGOV-marketplace | CAIN governs its own marketplace | E35 | held |
| E35-EVOGATE-DISCOVERY | evolution gate DISCOVERY exists | E35 | held |
| E35-EVOGATE-DESIGN | evolution gate DESIGN exists | E35 | held |
| E35-EVOGATE-THREAT_MODEL | evolution gate THREAT_MODEL exists | E35 | held |
| E35-EVOGATE-SANDBOX | evolution gate SANDBOX exists | E35 | held |
| E35-EVOGATE-UNIT_TEST | evolution gate UNIT_TEST exists | E35 | held |
| E35-EVOGATE-ADVERSARIAL_TEST | evolution gate ADVERSARIAL_TEST exists | E35 | held |
| E35-EVOGATE-DIFFERENTIAL_TEST | evolution gate DIFFERENTIAL_TEST exists | E35 | held |
| E35-EVOGATE-CLEAN_ROOM_TEST | evolution gate CLEAN_ROOM_TEST exists | E35 | held |
| E35-EVOGATE-PERFORMANCE_TEST | evolution gate PERFORMANCE_TEST exists | E35 | held |
| E35-EVOGATE-GOVERNABILITY_TEST | evolution gate GOVERNABILITY_TEST exists | E35 | held |
| E35-EVOGATE-CANARY | evolution gate CANARY exists | E35 | held |
| E35-EVOGATE-OBSERVE | evolution gate OBSERVE exists | E35 | held |
| E35-EVOGATE-PROOF | evolution gate PROOF exists | E35 | held |
| E35-EVOGATE-HUMAN_ADMIN_APPROVAL | evolution gate HUMAN_ADMIN_APPROVAL exists | E35 | held |
| E35-EVOGATE-DEPLOY | evolution gate DEPLOY exists | E35 | held |
| E35-EVOGATE-MONITOR | evolution gate MONITOR exists | E35 | held |
| E35-EVOGATE-ROLLBACK | evolution gate ROLLBACK exists | E35 | held |
| E35-LOOP-OBSERVE | intelligence loop step OBSERVE exists | E35 | held |
| E35-LOOP-UNDERSTAND | intelligence loop step UNDERSTAND exists | E35 | held |
| E35-LOOP-MODEL | intelligence loop step MODEL exists | E35 | held |
| E35-LOOP-PREDICT | intelligence loop step PREDICT exists | E35 | held |
| E35-LOOP-SIMULATE | intelligence loop step SIMULATE exists | E35 | held |
| E35-LOOP-ADVERSARIAL_TEST | intelligence loop step ADVERSARIAL_TEST exists | E35 | held |
| E35-LOOP-RECOMMEND | intelligence loop step RECOMMEND exists | E35 | 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