{
 "all_hold": true,
 "authority": "NONE",
 "checked": 155,
 "checks": [
  {
   "detail": [
    [
     "CAPABILITY_NOT_PROMOTED"
    ],
    [
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ]
   ],
   "holds": true,
   "id": "D1",
   "invariant": "discovery cannot create authority"
  },
  {
   "detail": [
    [
     "NO_RESEARCH_AUTHORITY:hypothesize"
    ],
    [
     "CANNOT_RETIRE_WITHOUT_REFUTING_EVIDENCE"
    ]
   ],
   "holds": true,
   "id": "D2",
   "invariant": "hypothesis cannot create authority"
  },
  {
   "detail": [
    {
     "accepted": false,
     "authority": "NONE",
     "claimed": 0.999,
     "reason": "CONFIDENCE_IS_COMPUTED_NOT_ASSERTED"
    },
    [
     "CONFIDENCE_SELF_ASSERTED"
    ]
   ],
   "holds": true,
   "id": "D3",
   "invariant": "confidence cannot create authority"
  },
  {
   "detail": [
    [
     "EVIDENCE_CLASS_NOT_ADMISSIBLE"
    ],
    [
     "SIMULATED_INTERVENTION_EVIDENCE_REQUIRED"
    ]
   ],
   "holds": true,
   "id": "D4",
   "invariant": "model prediction cannot create authority"
  },
  {
   "detail": [
    {
     "authority": "NONE",
     "confidence": 0.6875,
     "hypothesis": "h1",
     "independent_groups": 6,
     "independent_replications": 0,
     "observational_contradiction": 0,
     "observational_support": 0,
     "quality": "LOW_CONFIDENCE",
     "simulation_only": true,
     "third_party_reproductions": 0,
     "uncertainty": 0.625
    },
    [
     "SIMULATION_CANNOT_EXECUTE"
    ]
   ],
   "holds": true,
   "id": "D5",
   "invariant": "simulation cannot create authority"
  },
  {
   "detail": [
    [
     "CAPABILITY_NOT_PROMOTED"
    ]
   ],
   "holds": true,
   "id": "D6",
   "invariant": "experiment result cannot create authority"
  },
  {
   "detail": [
    [
     "OPEN_REVIEW_OBJECTION"
    ],
    [
     "EVIDENCE_DOES_NOT_SUPPORT:PRELIMINARY",
     "INDEPENDENT_REPLICATION_REQUIRED"
    ]
   ],
   "holds": true,
   "id": "D7",
   "invariant": "scientific consensus cannot create authority"
  },
  {
   "detail": [
    {
     "inst-logistics": 50.0,
     "res-hyp": 50.0
    }
   ],
   "holds": true,
   "id": "D8",
   "invariant": "research reputation cannot create authority"
  },
  {
   "detail": [
    [
     "RESEARCH_OPTIMIZATION_IS_NOT_AUTHORITY_ESCALATION"
    ]
   ],
   "holds": true,
   "id": "D9",
   "invariant": "intelligence improvement cannot create authority"
  },
  {
   "detail": [
    [
     [
      "SINGLE_BENCHMARK_PROMOTION_REFUSED"
     ]
    ],
    [
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ]
   ],
   "holds": true,
   "id": "D10",
   "invariant": "benchmark performance cannot create authority"
  },
  {
   "detail": [
    [
     "HYPOTHESIS_UNFALSIFIABLE_NO_PREDICTION"
    ],
    [
     "REFUTING_EVIDENCE_REQUIRED"
    ],
    [
     "HYPOTHESIS_ASSUMPTIONS_REQUIRED"
    ]
   ],
   "holds": true,
   "id": "D11",
   "invariant": "unsupported claims remain unsupported"
  },
  {
   "detail": [
    [
     "neg"
    ],
    [
     [
      "CONFIRMATION_BIAS_CONTRADICTING_EVIDENCE_OMITTED"
     ]
    ]
   ],
   "holds": true,
   "id": "D12",
   "invariant": "contradictory evidence remains visible"
  },
  {
   "detail": [
    [
     {
      "experiment": "x-bad",
      "reasons": [
       "FORBIDDEN_OPERATION:modify_policy"
      ],
      "status": "TERMINATED"
     },
     {
      "hypothesis": "h2",
      "reason": "refuted"
     },
     {
      "hypothesis": "h3",
      "reason": "refuted"
     }
    ],
    [
     [
      "FORBIDDEN_OPERATION:exfiltrate"
     ]
    ]
   ],
   "holds": true,
   "id": "D13",
   "invariant": "failed experiments remain auditable"
  },
  {
   "detail": [
    {
     "authority": "NONE",
     "confidence": 0.5,
     "hypothesis": "h1",
     "independent_groups": 0,
     "independent_replications": 0,
     "observational_contradiction": 0,
     "observational_support": 0,
     "quality": "UNKNOWN",
     "simulation_only": false,
     "third_party_reproductions": 0,
     "uncertainty": 1.0
    },
    {
     "cascade": {
      "at": 1003.0,
      "authority": "NONE",
      "authorizations_revoked": [
       "c1"
      ],
      "capabilities_suspended": [
       "c1"
      ],
      "claims_invalidated": [
       "k1",
       "k2"
      ],
      "dependents_invalidated": [
       "k2"
      ],
      "digest": "3c9a0970f6158c98ee8e9edbade285767b24c104b856e91f1f68f2075665ca7b",
      "evidence": "e-rep",
      "policies_suspended": [
       "p1"
      ],
      "reason": "replication fraud"
     },
     "exec": [
      "CAPABILITY_SUSPENDED"
     ]
    }
   ],
   "holds": true,
   "id": "D14",
   "invariant": "revoked evidence cannot support authorization"
  },
  {
   "detail": [
    "stale ignored",
    [
     "CAPABILITY_PROMOTION_EXPIRED"
    ],
    {
     "confidence": 0.5,
     "contradictions": [],
     "quality": "UNKNOWN",
     "uncertainty": 1.0
    }
   ],
   "holds": true,
   "id": "D15",
   "invariant": "stale evidence cannot silently authorize"
  },
  {
   "detail": [
    [
     "EVIDENCE_SIGNATURE_INVALID",
     "NO_RESEARCH_AUTHORITY:experiment"
    ],
    [
     "SIMULATION_MUST_BE_LABELLED_SIMULATED"
    ],
    [
     "STAGE_MASQUERADE:SIMULATION->OBSERVATION"
    ]
   ],
   "holds": true,
   "id": "D16",
   "invariant": "simulation remains simulation"
  },
  {
   "detail": [
    [
     "EVIDENCE_CLASS_NOT_ADMISSIBLE"
    ],
    [
     [
      "EVIDENCE_CLASS_NOT_ADMISSIBLE",
      "NO_RESEARCH_AUTHORITY:observe"
     ],
     [
      "HYPOTHETICAL",
      "SIMULATED",
      "UNEXECUTED"
     ]
    ]
   ],
   "holds": true,
   "id": "D17",
   "invariant": "counterfactual remains counterfactual"
  },
  {
   "detail": [
    [
     "EVIDENCE_CLASS_NOT_ADMISSIBLE"
    ]
   ],
   "holds": true,
   "id": "D18",
   "invariant": "hypothetical remains hypothetical"
  },
  {
   "detail": [
    [
     "SYNTHETIC_DATA_MUST_BE_LABELLED_SYNTHETIC"
    ],
    {
     "authority": "NONE",
     "confidence": 0.583333,
     "hypothesis": "h1",
     "independent_groups": 1,
     "independent_replications": 0,
     "observational_contradiction": 0,
     "observational_support": 0,
     "quality": "LOW_CONFIDENCE",
     "simulation_only": true,
     "third_party_reproductions": 0,
     "uncertainty": 0.833333
    }
   ],
   "holds": true,
   "id": "D19",
   "invariant": "synthetic data remains synthetic"
  },
  {
   "detail": [
    [
     "OBSERVATION_MUST_BE_LABELLED_OBSERVATIONAL"
    ],
    [
     "SANDBOX_CANNOT_PRODUCE_REAL_WORLD_OBSERVATION"
    ]
   ],
   "holds": true,
   "id": "D20",
   "invariant": "observed data remains observational"
  },
  {
   "detail": [
    [
     "DISCOVERY_PROVENANCE_REQUIRED",
     [
      "EVIDENCE_SIGNATURE_INVALID"
     ]
    ],
    [
     "DIGEST_MISMATCH:2"
    ]
   ],
   "holds": true,
   "id": "D21",
   "invariant": "discovery provenance is immutable"
  },
  {
   "detail": [
    [
     "EXPERIMENT_APPROVAL_FOR_ANOTHER_DESIGN"
    ],
    [
     "EXPERIMENT_APPROVAL_INVALID"
    ]
   ],
   "holds": true,
   "id": "D22",
   "invariant": "experiment provenance is immutable"
  },
  {
   "detail": [
    [
     "MODEL_VERSION_REPLAY"
    ],
    [
     "MODEL_RESULT_NOT_BOUND_TO_CANDIDATE"
    ]
   ],
   "holds": true,
   "id": "D23",
   "invariant": "model provenance is immutable"
  },
  {
   "detail": [
    [
     "BENCHMARK_SUBSTITUTION"
    ]
   ],
   "holds": true,
   "id": "D24",
   "invariant": "benchmark provenance is immutable"
  },
  {
   "detail": [
    {
     "at": 1001.0,
     "claim_id": "k1",
     "confidence": 0.8,
     "contradictions": [],
     "digest": "103d5fe65ef0a0d5e63a0186b63464d30cd3c915ec0553acf61ac8df225f2213",
     "quality": "SUPPORTED",
     "state": "SUPPORTED",
     "uncertainty": 0.4,
     "version": 1
    },
    {
     "at": 1001.0,
     "claim_id": "k1",
     "confidence": 0.8,
     "contradictions": [],
     "digest": "8f9024c989320bbfbfdfc59f7eaadb377480a6429b382adb83748d968fbc52b4",
     "quality": "SUPPORTED",
     "state": "SUPPORTED",
     "uncertainty": 0.4,
     "version": 2
    }
   ],
   "holds": true,
   "id": "D25",
   "invariant": "knowledge lineage is reconstructable"
  },
  {
   "detail": [
    [
     "REPLICATION_SAME_CONTROLLER"
    ],
    [
     "REPLICATION_NOT_INDEPENDENT"
    ]
   ],
   "holds": true,
   "id": "D26",
   "invariant": "replication is independent where claimed"
  },
  {
   "detail": [
    [
     "EVIDENCE_DOES_NOT_SUPPORT:PRELIMINARY",
     "INDEPENDENT_REPLICATION_REQUIRED"
    ]
   ],
   "holds": true,
   "id": "D27",
   "invariant": "consensus is not replication"
  },
  {
   "detail": [
    {
     "authority": "NONE",
     "confidence": 0.545455,
     "hypothesis": "h1",
     "independent_groups": 1,
     "independent_replications": 0,
     "observational_contradiction": 0,
     "observational_support": 0,
     "quality": "LOW_CONFIDENCE",
     "simulation_only": true,
     "third_party_reproductions": 0,
     "uncertainty": 0.909091
    }
   ],
   "holds": true,
   "id": "D28",
   "invariant": "repeated identical simulations are not independent confirmation"
  },
  {
   "detail": [
    [
     "CORRELATED_EVIDENCE"
    ],
    {
     "authority": "NONE",
     "blind_replication_broken": [],
     "committed_after_reveal": [],
     "contaminated": [
      "B"
     ],
     "independent_convergence": [],
     "independent_tracks": [
      "A"
     ],
     "premature_consensus_prevented": true,
     "problem": "q1",
     "tracks": [
      "A",
      "B",
      "R"
     ]
    }
   ],
   "holds": true,
   "id": "D29",
   "invariant": "correlated evidence cannot masquerade as independent evidence"
  },
  {
   "detail": [
    {
     "authority": "NONE",
     "confidence": 0.6875,
     "hypothesis": "h1",
     "independent_groups": 1,
     "independent_replications": 0,
     "observational_contradiction": 0,
     "observational_support": 1,
     "quality": "PRELIMINARY",
     "simulation_only": false,
     "third_party_reproductions": 0,
     "uncertainty": 0.625
    }
   ],
   "holds": true,
   "id": "D30",
   "invariant": "source multiplication cannot create truth"
  },
  {
   "detail": [],
   "holds": true,
   "id": "D31",
   "invariant": "learning cannot silently change authority"
  },
  {
   "detail": [
    [
     "RESEARCH_OPTIMIZATION_IS_NOT_AUTHORITY_ESCALATION"
    ],
    [
     "INTELLIGENCE_REGRESSION:safety"
    ]
   ],
   "holds": true,
   "id": "D32",
   "invariant": "self-improvement cannot silently change authority"
  },
  {
   "detail": [
    [
     "CHILD_RESEARCH_AUTHORITY_EXCEEDS_PARENT"
    ],
    [
     "CHILD_AUTHORITY_EXCEEDS_PARENT"
    ]
   ],
   "holds": true,
   "id": "D33",
   "invariant": "agent spawning cannot silently change authority"
  },
  {
   "detail": [
    {
     "inst-logistics": 50.0,
     "res-hyp": 50.0
    },
    [
     "RESEARCHER_CANNOT_CONFIRM_OWN_DISCOVERY"
    ]
   ],
   "holds": true,
   "id": "D34",
   "invariant": "research success cannot silently change authority"
  },
  {
   "detail": [
    [
     "KNOWLEDGE_DOES_NOT_BECOME_POLICY_AUTOMATICALLY"
    ],
    [
     "MEMORY_CANNOT_HOLD_AUTHORITY",
     "MEMORY_KIND_UNKNOWN:authority"
    ]
   ],
   "holds": true,
   "id": "D35",
   "invariant": "knowledge accumulation cannot silently change authority"
  },
  {
   "detail": [
    [
     "CAPABILITY_PROMOTION_REQUIRES_GOVERNANCE"
    ],
    [
     "CAPABILITY_STAGE_SKIP_REFUSED:QUARANTINED->SECURITY_REVIEWED"
    ]
   ],
   "holds": true,
   "id": "D36",
   "invariant": "capability promotion requires governance"
  },
  {
   "detail": [
    [
     "MODEL_PROMOTION_REQUIRES_GOVERNANCE"
    ],
    [
     "GOVERNANCE_QUORUM_NOT_MET"
    ]
   ],
   "holds": true,
   "id": "D37",
   "invariant": "model promotion requires governance"
  },
  {
   "detail": [
    [
     "GOVERNANCE_QUORUM_NOT_MET"
    ]
   ],
   "holds": true,
   "id": "D38",
   "invariant": "skill promotion requires governance"
  },
  {
   "detail": [
    [
     "GOVERNANCE_APPROVAL_FOR_ANOTHER_SUBJECT"
    ]
   ],
   "holds": true,
   "id": "D39",
   "invariant": "tool promotion requires governance"
  },
  {
   "detail": [
    [
     "KNOWLEDGE_DOES_NOT_BECOME_POLICY_AUTOMATICALLY"
    ],
    [
     "GOVERNANCE_QUORUM_NOT_MET"
    ]
   ],
   "holds": true,
   "id": "D40",
   "invariant": "policy promotion requires governance"
  },
  {
   "detail": [
    {
     "limits": {
      "agents": 3.0,
      "compute": 500.0,
      "data_queries": 20.0,
      "experiments": 30.0,
      "search_nodes": 200.0,
      "time": 3600.0,
      "tool_calls": 500.0
     },
     "program": "prog-1",
     "renewals": 0,
     "used": {
      "agents": 0.0,
      "compute": 0.0,
      "data_queries": 0.0,
      "experiments": 0.0,
      "search_nodes": 0.0,
      "time": 0.0,
      "tool_calls": 0.0
     }
    },
    [
     [
      "BUDGET_RENEWAL_EXCEEDS_CHARTER_CEILING:compute"
     ]
    ]
   ],
   "holds": true,
   "id": "D41",
   "invariant": "research budgets are bounded"
  },
  {
   "detail": [
    [
     "RESEARCH_BUDGET_EXHAUSTED:experiments"
    ],
    [
     "EXPERIMENT_STEP_LIMIT"
    ]
   ],
   "holds": true,
   "id": "D42",
   "invariant": "experiment budgets are bounded"
  },
  {
   "detail": [
    [
     "RESEARCH_BUDGET_EXHAUSTED:compute"
    ],
    [
     "RESEARCH_BUDGET_EXHAUSTED:search_nodes"
    ]
   ],
   "holds": true,
   "id": "D43",
   "invariant": "compute budgets are bounded"
  },
  {
   "detail": [
    [
     "RESEARCH_BUDGET_EXHAUSTED:agents"
    ]
   ],
   "holds": true,
   "id": "D44",
   "invariant": "agent creation budgets are bounded"
  },
  {
   "detail": [
    [
     "RESEARCH_BUDGET_EXHAUSTED:data_queries"
    ]
   ],
   "holds": true,
   "id": "D45",
   "invariant": "tool budgets are bounded"
  },
  {
   "detail": [
    [
     "DISCOVERY_MEMORY_IS_APPEND_ONLY"
    ],
    [
     "NEGATIVE_RESULTS_CANNOT_BE_DROPPED"
    ]
   ],
   "holds": true,
   "id": "D46",
   "invariant": "failed research remains evidence"
  },
  {
   "detail": [
    {
     "cascade": {
      "at": 1003.0,
      "authority": "NONE",
      "authorizations_revoked": [
       "c1"
      ],
      "capabilities_suspended": [
       "c1"
      ],
      "claims_invalidated": [
       "k1",
       "k2"
      ],
      "dependents_invalidated": [
       "k2"
      ],
      "digest": "3c9a0970f6158c98ee8e9edbade285767b24c104b856e91f1f68f2075665ca7b",
      "evidence": "e-rep",
      "policies_suspended": [
       "p1"
      ],
      "reason": "replication fraud"
     },
     "exec": [
      "CAPABILITY_SUSPENDED"
     ]
    }
   ],
   "holds": true,
   "id": "D47",
   "invariant": "invalidated knowledge propagates"
  },
  {
   "detail": [
    [
     "KNOWLEDGE_RESURRECTION_REFUSED"
    ],
    [
     "CAPABILITY_CLAIM_INVALID"
    ],
    [
     "POLICY_CLAIM_INVALID"
    ]
   ],
   "holds": true,
   "id": "D48",
   "invariant": "revoked claims propagate"
  },
  {
   "detail": [
    [
     "SUPERSEDED_MODEL_NOT_AUTHORITATIVE"
    ],
    [
     "SUPPORTED_SUCCESSOR_REQUIRED"
    ]
   ],
   "holds": true,
   "id": "D49",
   "invariant": "superseded models cannot silently remain authoritative"
  },
  {
   "detail": [
    {
     "comparable": false,
     "reason": "BENCHMARK_VERSION_MISMATCH_COMPARISON_INVALID"
    },
    [
     "STALE_BENCHMARK_VERSION"
    ]
   ],
   "holds": true,
   "id": "D50",
   "invariant": "benchmark changes invalidate incompatible comparisons"
  },
  {
   "detail": [
    "CAPABILITY_NOT_PROMOTED",
    "NOT_A_MEMBER",
    "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
   ],
   "holds": true,
   "id": "D51",
   "invariant": "governance failures fail closed"
  },
  {
   "detail": {
    "authority": "NONE",
    "confidence": 0.5,
    "hypothesis": "never-seen",
    "independent_groups": 0,
    "independent_replications": 0,
    "observational_contradiction": 0,
    "observational_support": 0,
    "quality": "UNKNOWN",
    "simulation_only": false,
    "third_party_reproductions": 0,
    "uncertainty": 1.0
   },
   "holds": true,
   "id": "D52",
   "invariant": "unknown does not become allow"
  },
  {
   "detail": [
    [
     "EVIDENCE_PROVENANCE_REQUIRED"
    ],
    [
     "HYPOTHESIS_PROVENANCE_REQUIRED"
    ]
   ],
   "holds": true,
   "id": "D53",
   "invariant": "missing provenance does not become trusted"
  },
  {
   "detail": [
    [
     "DISCOVERY_TRANSITION_REFUSED:PROPOSED->VERIFIED",
     "THIRD_PARTY_REPRODUCTION_REQUIRED"
    ],
    [
     "KNOWLEDGE_EVIDENCE_REQUIRED"
    ]
   ],
   "holds": true,
   "id": "D54",
   "invariant": "missing evidence does not become verified"
  },
  {
   "detail": [
    [
     "EVIDENCE_DOES_NOT_SUPPORT:PRELIMINARY",
     "INDEPENDENT_REPLICATION_REQUIRED"
    ],
    [
     "OBSERVATION_TO_REPLICATE_REQUIRED"
    ]
   ],
   "holds": true,
   "id": "D55",
   "invariant": "missing replication does not become reproduced"
  },
  {
   "detail": [
    [],
    [
     "COORDINATOR_ROLE_ONLY_BY_CHARTER"
    ]
   ],
   "holds": true,
   "id": "D56",
   "invariant": "research authority is bounded"
  },
  {
   "detail": [
    [
     "EXPERIMENT_AUTHORITY_EXCEEDS_RESEARCHER"
    ],
    [
     "EXPERIMENT_FIELD_MISSING:authority",
     "NO_RESEARCH_AUTHORITY:experiment"
    ]
   ],
   "holds": true,
   "id": "D57",
   "invariant": "experiment authority is bounded"
  },
  {
   "detail": [
    [
     "NO_RESEARCH_AUTHORITY:simulate"
    ],
    [
     "NO_RESEARCH_AUTHORITY:review"
    ]
   ],
   "holds": true,
   "id": "D58",
   "invariant": "reviewer authority is bounded"
  },
  {
   "detail": [
    [
     "ADVERSARIAL_TESTER_NOT_INDEPENDENT",
     "NO_RESEARCH_AUTHORITY:refute"
    ],
    [
     "AUTHOR_CANNOT_ADVERSARIALLY_TEST_OWN_DISCOVERY"
    ]
   ],
   "holds": true,
   "id": "D59",
   "invariant": "researcher authority is bounded"
  },
  {
   "detail": [
    "GOVERNANCE_QUORUM_NOT_MET",
    []
   ],
   "holds": true,
   "id": "D60",
   "invariant": "institutional research authority is bounded"
  },
  {
   "detail": [
    [
     "FORBIDDEN_OPERATION:actuate"
    ],
    [
     "CAPABILITY_NOT_PROMOTED"
    ]
   ],
   "holds": true,
   "id": "D61",
   "invariant": "no experiment bypasses E8"
  },
  {
   "detail": [
    "E8",
    [
     [
      "ACTION_PARAMETER_MISMATCH",
      "CAPABILITY_NOT_PROMOTED"
     ]
    ]
   ],
   "holds": true,
   "id": "D62",
   "invariant": "no capability bypasses E8"
  },
  {
   "detail": [
    [
     "GOVERNANCE_WEAKNESS_CAN_ONLY_BE_DISCLOSED"
    ],
    [
     "DISCOVERY_NOT_SUPPORTED:PROPOSED",
     "GOVERNANCE_WEAKNESS_CAN_ONLY_BE_DISCLOSED"
    ]
   ],
   "holds": true,
   "id": "D63",
   "invariant": "no discovery bypasses E8"
  },
  {
   "detail": [
    [
     "INSTITUTION_CONTAINED",
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ],
    [
     "AGENT_DELEGATION_EXPIRED",
     "CREDENTIAL_REVOKED_OR_UNKNOWN",
     "DISSOLVED_INSTITUTION_CANNOT_EXECUTE",
     "MEMBERSHIP_REVOKED",
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY",
     "TERMINATED_AGENT"
    ]
   ],
   "holds": true,
   "id": "D64",
   "invariant": "no research institution bypasses E8"
  },
  {
   "detail": [
    [
     "STRATEGY_PROMOTION_REQUIRES_GOVERNANCE"
    ],
    [
     "GOVERNANCE_QUORUM_NOT_MET"
    ]
   ],
   "holds": true,
   "id": "D65",
   "invariant": "no self-improvement bypasses E8"
  },
  {
   "detail": [],
   "holds": true,
   "id": "D66",
   "invariant": "no private reasoning is required for governance verification"
  },
  {
   "detail": [
    [
     "PRIVATE_REASONING_IN_TRACE:chain_of_thought"
    ],
    [
     "PRIVATE_REASONING_IN_TRACE:thoughts"
    ],
    [
     "PRIVATE_REASONING_IN_TRACE:hidden_reasoning"
    ]
   ],
   "holds": true,
   "id": "D67",
   "invariant": "governance traces do not expose chain-of-thought"
  },
  {
   "detail": [
    [
     "PRIVATE_REASONING_IN_TRACE:scratchpad"
    ]
   ],
   "holds": true,
   "id": "D68",
   "invariant": "causal metadata remains distinct from private reasoning"
  },
  {
   "detail": [
    [
     "EVIDENCE_SIGNATURE_INVALID"
    ],
    [
     "CAPABILITY_PROMOTION_FORGED"
    ]
   ],
   "holds": true,
   "id": "D69",
   "invariant": "evidence is machine-verifiable"
  },
  {
   "detail": "verify_e21 imports",
   "holds": true,
   "id": "D70",
   "invariant": "clean-room verification remains independent"
  },
  {
   "detail": [],
   "holds": true,
   "id": "D71",
   "invariant": "public claims map to evidence"
  },
  {
   "detail": {
    "C42-E21-AGI": "NOT_IMPLEMENTED",
    "C42-E21-LOOPHOLE": "TESTED",
    "C42-E21-MULTI-HOST": "UNVERIFIED",
    "C42-E21-OPEN-ENDED-INTELLIGENCE": "TESTED",
    "C42-E21-SCALE": "SIMULATED",
    "C42-E21-SCIENTIFIC-TRUTH": "NOT_IMPLEMENTED",
    "C42-E21-THIRD-PARTY": "NOT_PERFORMED"
   },
   "holds": true,
   "id": "D72",
   "invariant": "simulated claims remain simulated"
  },
  {
   "detail": [
    {
     "authority": "NONE",
     "candidate": "4c95ea5c8c7cc928ecdfcd8641bd2ba6936ff37eac712a506269d380a8e51768",
     "claim_accepted": true,
     "claimed": "",
     "corpus_version": "c1",
     "digest": "9bf1849674c5dd68abfe7f4857d6c49b3726137e069454f297b79613fdbb9628",
     "scope": "",
     "state": "NOT_NOVEL"
    },
    {
     "authority": "NONE",
     "candidate": "4c95ea5c8c7cc928ecdfcd8641bd2ba6936ff37eac712a506269d380a8e51768",
     "claim_accepted": true,
     "claimed": "",
     "corpus_version": "c1",
     "digest": "9bf1849674c5dd68abfe7f4857d6c49b3726137e069454f297b79613fdbb9628",
     "scope": "",
     "state": "NOT_NOVEL"
    }
   ],
   "holds": true,
   "id": "D73",
   "invariant": "unverified claims remain unverified"
  },
  {
   "detail": [
    {
     "authority": "NONE",
     "candidate": "4c95ea5c8c7cc928ecdfcd8641bd2ba6936ff37eac712a506269d380a8e51768",
     "claim_accepted": true,
     "claimed": "",
     "corpus_version": "",
     "digest": "55994732480e915b8e456a55bf8f088b5a4f7ec847035781692e20fd4a0ca3a0",
     "scope": "",
     "state": "UNKNOWN"
    }
   ],
   "holds": true,
   "id": "D74",
   "invariant": "unknown claims remain unknown"
  },
  {
   "detail": [
    [
     "THIRD_PARTY_REPRODUCTION_REQUIRED"
    ],
    [
     "THIRD_PARTY_NOT_REGISTERED"
    ],
    {
     "authority": "NONE",
     "candidate": "0e7705d3f515c96bb036db28d7094393ba57c419f6c442e8cf13f966a091a9c1",
     "claim_accepted": false,
     "claimed": "VERIFIED_AGAINST_CORPUS",
     "corpus_version": "",
     "digest": "8fb4f9811d73ea3bc5497bb2eb61af702ba2c60d22ddb10408149336edbce68b",
     "scope": "",
     "state": "CANDIDATE"
    }
   ],
   "holds": true,
   "id": "D75",
   "invariant": "third-party verification is never implied without third-party verification"
  },
  {
   "detail": [],
   "holds": true,
   "id": "D76",
   "invariant": "autonomous research may continue without autonomous authority escalation"
  },
  {
   "detail": {
    "authority": "NONE",
    "environment": "ef23710f3ad6e1727c3c084969c5eda803d81c353f1ddf11f8f2a4e67c9b625b",
    "execution": "CONTROLLED_ENVIRONMENT",
    "experiment": "a855be4fb41424643779792d19b89f9d0344489dd450cadafce34a2dd8fcc2dd",
    "method_class": "CONTROLLED_EXPERIMENT",
    "observations": {
     "y": 1
    },
    "operations": [
     "measure"
    ],
    "reasons": [],
    "status": "COMPLETED",
    "steps": 1
   },
   "holds": true,
   "id": "D77",
   "invariant": "legitimate experimentation remains possible"
  },
  {
   "detail": {
    "authority": "NONE",
    "confidence": 0.52381,
    "hypothesis": "h1",
    "independent_groups": 2,
    "independent_replications": 0,
    "observational_contradiction": 1,
    "observational_support": 1,
    "quality": "DISPUTED",
    "simulation_only": false,
    "third_party_reproductions": 0,
    "uncertainty": 0.47619
   },
   "holds": true,
   "id": "D78",
   "invariant": "legitimate scientific disagreement remains possible"
  },
  {
   "detail": [
    "m@1",
    "m@2"
   ],
   "holds": true,
   "id": "D79",
   "invariant": "legitimate model diversity remains possible"
  },
  {
   "detail": {
    "alternatives_kept": 3,
    "authority": "NONE",
    "question": "q1",
    "ranking": [
     {
      "confidence": 0.6875,
      "hypothesis": "h1"
     },
     {
      "confidence": 0.5,
      "hypothesis": "h2"
     },
     {
      "confidence": 0.5,
      "hypothesis": "h3"
     }
    ],
    "ranking_is_authority": false
   },
   "holds": true,
   "id": "D80",
   "invariant": "legitimate hypothesis diversity remains possible"
  },
  {
   "detail": [
    [
     "KNOWLEDGE_DOES_NOT_BECOME_POLICY_AUTOMATICALLY"
    ]
   ],
   "holds": true,
   "id": "D81",
   "invariant": "knowledge does not become policy automatically"
  },
  {
   "detail": {
    "effective_authority": [],
    "member_authority": [],
    "research_authority": []
   },
   "holds": true,
   "id": "D82",
   "invariant": "policy does not become authority automatically"
  },
  {
   "detail": [
    [
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ],
    [
     "LIMITED_DEPLOYMENT_TARGET_EXCEEDED"
    ]
   ],
   "holds": true,
   "id": "D83",
   "invariant": "authority does not become execution automatically"
  },
  {
   "detail": "outcome compared",
   "holds": true,
   "id": "D84",
   "invariant": "execution does not become success automatically"
  },
  {
   "detail": [
    "neg"
   ],
   "holds": true,
   "id": "D85",
   "invariant": "success does not retroactively validate every assumption"
  },
  {
   "detail": [
    {
     "promote": [
      "CAPABILITY_UNKNOWN"
     ],
     "propose": [
      "GOVERNANCE_WEAKNESS_CAN_ONLY_BE_DISCLOSED"
     ]
    }
   ],
   "holds": true,
   "id": "D86",
   "invariant": "discovery loops cannot create infinite authority"
  },
  {
   "detail": [
    [
     "CONSTITUTION_VERSION_NOT_SEQUENTIAL",
     "GOVERNANCE_QUORUM_NOT_MET"
    ],
    "GOVERNANCE_QUORUM_NOT_MET",
    [
     "CIRCULAR_REASONING"
    ]
   ],
   "holds": true,
   "id": "D87",
   "invariant": "self-reference cannot create constitutional authority"
  },
  {
   "detail": [
    [
     "assign",
     "document",
     "hypothesize",
     "propose_capability",
     "propose_strategy",
     "question",
     "search",
     "spawn_research_agent"
    ],
    [
     [
      [
       "document"
      ],
      []
     ]
    ]
   ],
   "holds": true,
   "id": "D88",
   "invariant": "recursive agents cannot recursively amplify authority"
  },
  {
   "detail": [
    "CHARTER_FOR_ANOTHER_INSTITUTION",
    "CHARTER_OUTLIVES_INSTITUTION"
   ],
   "holds": true,
   "id": "D89",
   "invariant": "nested institutions cannot recursively amplify authority"
  },
  {
   "detail": [
    [
     "CHILD_AUTHORITY_EXCEEDS_PARENT"
    ],
    [
     "CHILD_RESEARCH_AUTHORITY_EXCEEDS_PARENT"
    ]
   ],
   "holds": true,
   "id": "D90",
   "invariant": "delegated research cannot exceed parent authority"
  },
  {
   "detail": [
    [
     "EXPERIMENT_ENVIRONMENT_UNKNOWN"
    ],
    [
     "EXPERIMENT_ENVIRONMENT_SUBSTITUTED"
    ]
   ],
   "holds": true,
   "id": "D91",
   "invariant": "experiment environments are identity-bound"
  },
  {
   "detail": [
    [
     "SIMULATION_OUTSIDE_SANDBOX"
    ],
    [
     "SIMULATION_OUTSIDE_SANDBOX"
    ]
   ],
   "holds": true,
   "id": "D92",
   "invariant": "simulation environments are provenance-bound"
  },
  {
   "detail": [
    [
     "BENCHMARK_LEAKAGE_TEST_DATA_IN_TRAINING"
    ],
    [
     "HIDDEN_TEST_EXPOSURE"
    ],
    [
     "BENCHMARK_TRAIN_TEST_OVERLAP"
    ]
   ],
   "holds": true,
   "id": "D93",
   "invariant": "benchmark environments are version-bound"
  },
  {
   "detail": [
    [
     "MODEL_RESULT_NOT_BOUND_TO_CANDIDATE"
    ],
    [
     "MODEL_VERSION_REPLAY"
    ]
   ],
   "holds": true,
   "id": "D94",
   "invariant": "models are version-bound"
  },
  {
   "detail": [
    [
     "DATASET_NOT_IN_CHARTER"
    ],
    [
     "DATASET_LEAKAGE"
    ]
   ],
   "holds": true,
   "id": "D95",
   "invariant": "datasets are version-bound"
  },
  {
   "detail": "deterministic",
   "holds": true,
   "id": "D96",
   "invariant": "research state is replayable"
  },
  {
   "detail": [
    7,
    [
     [
      "MEMORY_CHAIN_BROKEN:0"
     ]
    ]
   ],
   "holds": true,
   "id": "D97",
   "invariant": "research state is auditable"
  },
  {
   "detail": [
    "383c3f2faeec9e9b",
    "2054802552a5223c"
   ],
   "holds": true,
   "id": "D98",
   "invariant": "research state is hashable"
  },
  {
   "detail": "verify_e21.py",
   "holds": true,
   "id": "D99",
   "invariant": "research state is independently verifiable"
  },
  {
   "detail": "checked",
   "holds": true,
   "id": "D100",
   "invariant": "evidence bundle is reproducible"
  },
  {
   "detail": [],
   "holds": true,
   "id": "D101",
   "invariant": "research authority is disjoint from execution authority"
  },
  {
   "detail": {
    "effective_authority": [],
    "member_authority": [],
    "research_authority": []
   },
   "holds": true,
   "id": "D102",
   "invariant": "authority functions take no epistemic input"
  },
  {
   "detail": [
    "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
   ],
   "holds": true,
   "id": "D103",
   "invariant": "a claimed basis never changes an execution decision"
  },
  {
   "detail": [
    [
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ],
    [
     "MEMBERSHIP_REVOKED",
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ]
   ],
   "holds": true,
   "id": "D104",
   "invariant": "a promotion is necessary but never sufficient"
  },
  {
   "detail": [
    "route"
   ],
   "holds": true,
   "id": "D105",
   "invariant": "promotion scope is an intersection"
  },
  {
   "detail": "E8",
   "holds": true,
   "id": "D106",
   "invariant": "every E21 action reaches E8 through E20 and E19"
  },
  {
   "detail": [
    [
     "ACTION_PARAMETER_MISMATCH",
     "CAPABILITY_NOT_PROMOTED"
    ]
   ],
   "holds": true,
   "id": "D107",
   "invariant": "a token never skips an E21 verdict"
  },
  {
   "detail": [
    [
     "CAPABILITY_ROLLED_BACK"
    ]
   ],
   "holds": true,
   "id": "D108",
   "invariant": "E21 verdicts re-checked after token issue"
  },
  {
   "detail": [
    [
     "ACTION_PARAMETER_MISMATCH"
    ]
   ],
   "holds": true,
   "id": "D109",
   "invariant": "E8 tokens are single-use through E21"
  },
  {
   "detail": [
    [
     "GOVERNANCE_WEAKNESS_CAN_ONLY_BE_DISCLOSED"
    ],
    [
     "CAPABILITY_NOT_PROMOTED"
    ]
   ],
   "holds": true,
   "id": "D110",
   "invariant": "a governance weakness can only be disclosed"
  },
  {
   "detail": [
    {
     "promote": [
      "CAPABILITY_UNKNOWN"
     ],
     "propose": [
      "GOVERNANCE_WEAKNESS_CAN_ONLY_BE_DISCLOSED"
     ]
    }
   ],
   "holds": true,
   "id": "D111",
   "invariant": "no quorum can approve an exploit"
  },
  {
   "detail": [
    [
     "EVIDENCE_CLASS_UNKNOWN:VIBES"
    ],
    [
     "EVIDENCE_CLASS_NOT_ADMISSIBLE"
    ]
   ],
   "holds": true,
   "id": "D112",
   "invariant": "evidence classes are closed"
  },
  {
   "detail": "frozen",
   "holds": true,
   "id": "D113",
   "invariant": "evidence is frozen after construction"
  },
  {
   "detail": [
    [
     "EVIDENCE_PRODUCER_REVOKED",
     "NO_RESEARCH_AUTHORITY:experiment"
    ],
    [
     "EVIDENCE_PRODUCER_REVOKED",
     "NO_RESEARCH_AUTHORITY:experiment"
    ],
    [
     "EVIDENCE_PRODUCER_UNKNOWN",
     "NO_RESEARCH_AUTHORITY:experiment"
    ]
   ],
   "holds": true,
   "id": "D114",
   "invariant": "evidence producers must be live"
  },
  {
   "detail": [
    [
     "EVIDENCE_FROM_THE_FUTURE"
    ],
    [
     "EVIDENCE_VALIDITY_INVALID"
    ]
   ],
   "holds": true,
   "id": "D115",
   "invariant": "evidence cannot come from the future"
  },
  {
   "detail": [
    [
     "THIRD_PARTY_CLASS_MISMATCH"
    ]
   ],
   "holds": true,
   "id": "D116",
   "invariant": "third-party evidence is labelled third-party"
  },
  {
   "detail": [
    [
     "REVIEWER_IS_A_RESEARCHER",
     "REVIEWER_SHARES_CONTROLLER_WITH_RESEARCHER"
    ],
    [
     "REVIEWER_SHARES_CONTROLLER_WITH_RESEARCHER"
    ]
   ],
   "holds": true,
   "id": "D117",
   "invariant": "reviewers are independent of researchers"
  },
  {
   "detail": [
    [
     "OBJECTION_REQUIRES_EVIDENCE_NOT_VOTES"
    ],
    [
     "OBJECTION_REQUIRES_EVIDENCE_NOT_VOTES"
    ]
   ],
   "holds": true,
   "id": "D118",
   "invariant": "objections are resolved by evidence, not votes"
  },
  {
   "detail": [
    [
     "TWO_INDEPENDENT_REVIEWERS_REQUIRED"
    ],
    [
     "METHOD_OR_EVIDENCE_REVIEW_REQUIRED"
    ]
   ],
   "holds": true,
   "id": "D119",
   "invariant": "two independent reviews are required"
  },
  {
   "detail": [
    [
     "ADVERSARIAL_REFUTE_NOT_ATTEMPTED",
     "ADVERSARIAL_ALTERNATIVE_NOT_ATTEMPTED",
     "ADVERSARIAL_ASSUMPTION_ATTACK_NOT_ATTEMPTED",
     "ADVERSARIAL_REPRODUCE_NOT_ATTEMPTED"
    ],
    [
     "ADVERSARIAL_CHALLENGE_REQUIRED"
    ]
   ],
   "holds": true,
   "id": "D120",
   "invariant": "all five adversarial challenges precede support"
  },
  {
   "detail": [
    [
     "ADVERSARIAL_TEST_BROKE_THE_DISCOVERY"
    ]
   ],
   "holds": true,
   "id": "D121",
   "invariant": "a broken adversarial challenge blocks support"
  },
  {
   "detail": [
    [
     "RESEARCHER_CANNOT_CONFIRM_OWN_DISCOVERY"
    ]
   ],
   "holds": true,
   "id": "D122",
   "invariant": "a researcher cannot confirm their own discovery"
  },
  {
   "detail": [
    [
     "ADVERSARIAL_CHALLENGE_REQUIRED",
     "DISCOVERY_TRANSITION_REFUSED:PROPOSED->SUPPORTED",
     "EVIDENCE_DOES_NOT_SUPPORT:UNKNOWN",
     "INDEPENDENT_REPLICATION_REQUIRED",
     "PEER_REVIEW_REQUIRED"
    ],
    [
     "OBSERVATIONAL_EVIDENCE_REQUIRED"
    ]
   ],
   "holds": true,
   "id": "D123",
   "invariant": "the discovery lifecycle has no shortcuts"
  },
  {
   "detail": 16,
   "holds": true,
   "id": "D124",
   "invariant": "each lifecycle stage has one artefact kind"
  },
  {
   "detail": [
    [
     "TRACKS_SHARE_A_CONTROLLER"
    ]
   ],
   "holds": true,
   "id": "D125",
   "invariant": "competing tracks have distinct controllers"
  },
  {
   "detail": [
    {
     "authority": "NONE",
     "blind_replication_broken": [],
     "committed_after_reveal": [
      "B"
     ],
     "contaminated": [],
     "independent_convergence": [],
     "independent_tracks": [
      "A"
     ],
     "premature_consensus_prevented": true,
     "problem": "q1",
     "tracks": [
      "A",
      "B",
      "R"
     ]
    },
    [
     "REVEAL_DOES_NOT_MATCH_COMMITMENT"
    ]
   ],
   "holds": true,
   "id": "D126",
   "invariant": "commit-reveal prevents copied answers"
  },
  {
   "detail": [
    {
     "authority": "NONE",
     "blind_replication_broken": [
      "R"
     ],
     "committed_after_reveal": [],
     "contaminated": [
      "R"
     ],
     "independent_convergence": [],
     "independent_tracks": [],
     "premature_consensus_prevented": true,
     "problem": "q1",
     "tracks": [
      "A",
      "B",
      "R"
     ]
    }
   ],
   "holds": true,
   "id": "D127",
   "invariant": "blind replication stays blind"
  },
  {
   "detail": [
    [
     "CAUSAL_LEVEL_SKIP_REFUSED:CORRELATION->OBSERVED_INTERVENTION"
    ]
   ],
   "holds": true,
   "id": "D128",
   "invariant": "causal levels cannot be skipped"
  },
  {
   "detail": [
    "CORRELATES_WITH",
    [
     "OBSERVED_INTERVENTION_REQUIRES_CONTROLLED_EXPERIMENT"
    ]
   ],
   "holds": true,
   "id": "D129",
   "invariant": "correlation is never labelled causation"
  },
  {
   "detail": [
    [
     "VERIFIED_CAUSAL_REQUIRES_INDEPENDENT_REPLICATED_INTERVENTION"
    ]
   ],
   "holds": true,
   "id": "D130",
   "invariant": "verified causation needs replicated intervention"
  },
  {
   "detail": [
    [
     "LABELS",
     "as_evidence_class",
     "ask",
     "runs"
    ]
   ],
   "holds": true,
   "id": "D131",
   "invariant": "the counterfactual lab cannot execute"
  },
  {
   "detail": [
    [
     "EXPERIMENT_MUST_FORBID_GOVERNANCE_BYPASS"
    ],
    [
     "FORBIDDEN_OPERATION:modify_policy"
    ]
   ],
   "holds": true,
   "id": "D132",
   "invariant": "experiments forbid governance bypass"
  },
  {
   "detail": [
    [
     "EXPERIMENT_DROPS_INSTITUTIONAL_CONSTRAINT"
    ]
   ],
   "holds": true,
   "id": "D133",
   "invariant": "experiments inherit institutional constraints"
  },
  {
   "detail": [
    [
     "HIGH_RISK_EXPERIMENT_REQUIRES_GOVERNANCE"
    ],
    [
     "HIGH_RISK_EXPERIMENT_REQUIRES_GOVERNANCE"
    ],
    [
     "GOVERNANCE_QUORUM_NOT_MET"
    ]
   ],
   "holds": true,
   "id": "D134",
   "invariant": "high-risk and field experiments need the quorum"
  },
  {
   "detail": [
    [
     "EXPERIMENT_APPROVAL_REPLAY"
    ],
    [
     "EXPERIMENT_APPROVAL_EXPIRED"
    ]
   ],
   "holds": true,
   "id": "D135",
   "invariant": "experiment approvals are single-use and expire"
  },
  {
   "detail": [
    [
     1.0,
     0.0
    ],
    [
     [
      "RESTRICTED_DATA_NOT_ACCESSIBLE_TO_RESEARCH"
     ]
    ]
   ],
   "holds": true,
   "id": "D136",
   "invariant": "information value is correct and is not permission"
  },
  {
   "detail": [
    [
     "RESTRICTED_DATA_NOT_ACCESSIBLE_TO_RESEARCH"
    ],
    {
     "authority": "NONE",
     "curiosity_is_authority": false,
     "order": [
      "s1"
     ],
     "rejected": [
      "s2",
      "s3"
     ]
    }
   ],
   "holds": true,
   "id": "D137",
   "invariant": "curiosity is not authority"
  },
  {
   "detail": [
    [
     "DATA_ACCESS_PURPOSE_OUTSIDE_MISSION"
    ],
    [
     "DATASET_NOT_IN_CHARTER"
    ]
   ],
   "holds": true,
   "id": "D138",
   "invariant": "data access is bound to mission and charter"
  },
  {
   "detail": {
    "authority": "NONE",
    "deltas": {
     "calibration": 0.0,
     "capability": 0.4,
     "reasoning": 0.4,
     "research": 0.8,
     "safety": -0.2
    },
    "digest": "1fa7749addd8b54d442145bcc1cbbcb7f3ebe83c9c32b50904515833345b5611",
    "missing": [],
    "regressed": true,
    "regressions": [
     "safety"
    ],
    "single_score_used": false
   },
   "holds": true,
   "id": "D139",
   "invariant": "intelligence is never reduced to one score"
  },
  {
   "detail": [
    [
     "INTELLIGENCE_REGRESSION:safety"
    ]
   ],
   "holds": true,
   "id": "D140",
   "invariant": "a missing dimension is a regression"
  },
  {
   "detail": [
    [
     "STRATEGY_STAGE_SKIP_REFUSED:PROPOSED->LIMITED_DEPLOYMENT"
    ],
    [
     "STRATEGY_SIMULATED_EVIDENCE_REQUIRED"
    ]
   ],
   "holds": true,
   "id": "D141",
   "invariant": "strategy stages cannot be skipped"
  },
  {
   "detail": [
    [
     "SELECTIVE_REPORTING_BEST_OF_N"
    ],
    [
     "METRIC_GAMING_PARTIAL_REPORTING"
    ]
   ],
   "holds": true,
   "id": "D142",
   "invariant": "benchmarks detect selective reporting and partial metrics"
  },
  {
   "detail": [
    [
     "MODEL_REGRESSES_AGAINST_INCUMBENT"
    ]
   ],
   "holds": true,
   "id": "D143",
   "invariant": "models cannot regress against the incumbent"
  },
  {
   "detail": {
    "inst-logistics": 60.0,
    "res-hyp": 40.0
   },
   "holds": true,
   "id": "D144",
   "invariant": "research bounties conserve simulated units"
  },
  {
   "detail": "simulated units only",
   "holds": true,
   "id": "D145",
   "invariant": "research bounties move no real money"
  },
  {
   "detail": [
    [
     "REWARD_HACKING_SELF_REPLICATION",
     "REWARD_HACKING_UNSUPPORTED_DISCOVERY"
    ],
    [
     "BOUNTY_ALREADY_PAID"
    ]
   ],
   "holds": true,
   "id": "D146",
   "invariant": "bounties pay only for supported discoveries"
  },
  {
   "detail": [
    {
     "confidence": 0.821429,
     "hypothesis": "h1"
    },
    {
     "confidence": 0.5,
     "hypothesis": "h2"
    },
    {
     "confidence": 0.5,
     "hypothesis": "h3"
    }
   ],
   "holds": true,
   "id": "D147",
   "invariant": "hypothesis ranking is not authority"
  },
  {
   "detail": {
    "disputed": [],
    "known": [],
    "partially_known": [
     "q1"
    ],
    "unexplored": [
     "q-next"
    ],
    "unknown": [],
    "unreachable": [],
    "unverified": []
   },
   "holds": true,
   "id": "D148",
   "invariant": "the discovery flywheel has no terminal state"
  },
  {
   "detail": 14,
   "holds": true,
   "id": "D149",
   "invariant": "the E21 laws and constitution are present"
  },
  {
   "detail": [],
   "holds": true,
   "id": "D150",
   "invariant": "public E21 text avoids forbidden claims"
  },
  {
   "detail": "gate",
   "holds": true,
   "id": "D151",
   "invariant": "E21 is COMPLETE only when every gate holds"
  },
  {
   "detail": [
    [
     "SEARCH_DEPTH_LIMIT"
    ],
    [
     "SEARCH_BRANCHING_EXPLOSION"
    ]
   ],
   "holds": true,
   "id": "D152",
   "invariant": "search depth, branching and nodes are bounded"
  },
  {
   "detail": [
    [
     "BUDGET_RENEWAL_REQUIRES_GOVERNANCE"
    ],
    [
     "GOVERNANCE_QUORUM_NOT_MET"
    ]
   ],
   "holds": true,
   "id": "D153",
   "invariant": "budget renewal needs the quorum"
  },
  {
   "detail": [
    [
     "NO_RESEARCH_AUTHORITY:assign"
    ],
    [
     "NOT_A_LIVE_MEMBER"
    ]
   ],
   "holds": true,
   "id": "D154",
   "invariant": "research roles are assigned within the assigner's authority"
  },
  {
   "detail": [
    [
     "AGENT_EVALUATION_REQUIRED_BEFORE_ADMISSION"
    ],
    [
     "AGENT_EVALUATION_REQUIRED_BEFORE_ADMISSION"
    ]
   ],
   "holds": true,
   "id": "D155",
   "invariant": "a spawned research agent is evaluated before admission"
  }
 ],
 "failed": [],
 "schema": "cain42.e21.invariants.v1"
}