{
 "all_hold": true,
 "authority": "NONE",
 "checked": 118,
 "checks": [
  {
   "detail": [
    [
     "CONSTITUTION_EXCEEDS_FOUNDING_AUTHORITY"
    ],
    [
     [
      "GOVERNANCE_QUORUM_NOT_MET"
     ],
     [
      "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
     ]
    ]
   ],
   "holds": true,
   "id": "I1",
   "invariant": "organization cannot create authority"
  },
  {
   "detail": [
    [],
    "FOUNDING_AUTHORITY_UNKNOWN_POWER",
    [
     "CONSTITUTIONAL_MUTATION_CANNOT_EXCEED_FOUNDING_AUTHORITY"
    ]
   ],
   "holds": true,
   "id": "I2",
   "invariant": "institution cannot create authority"
  },
  {
   "detail": [
    "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
   ],
   "holds": true,
   "id": "I3",
   "invariant": "wealth cannot create authority"
  },
  {
   "detail": [
    [
     "NO_ECONOMIC_AUTHORITY"
    ],
    [
     "NOT_HOLDER_OR_CUSTODIAN"
    ]
   ],
   "holds": true,
   "id": "I4",
   "invariant": "resources cannot create authority"
  },
  {
   "detail": [
    "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
   ],
   "holds": true,
   "id": "I5",
   "invariant": "reputation cannot create authority"
  },
  {
   "detail": [
    [
     "SPONSOR_LACKS_ADMIT_AUTHORITY"
    ],
    [
     "MEMBERSHIP_GRANT_EXCEEDS_SPONSOR"
    ],
    [
     "NOT_A_MEMBER",
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ]
   ],
   "holds": true,
   "id": "I6",
   "invariant": "membership cannot create authority"
  },
  {
   "detail": [
    [
     "GOVERNANCE_QUORUM_NOT_MET"
    ],
    [
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ]
   ],
   "holds": true,
   "id": "I7",
   "invariant": "majority cannot create authority"
  },
  {
   "detail": [
    "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
   ],
   "holds": true,
   "id": "I8",
   "invariant": "consensus cannot create authority"
  },
  {
   "detail": [
    [
     "CONTRACT_PROPOSAL_ONLY",
     [
      "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
     ]
    ],
    [
     "FALSE_PROMISE_AUTHORITY_INFLATION"
    ]
   ],
   "holds": true,
   "id": "I9",
   "invariant": "negotiation cannot create authority"
  },
  {
   "detail": [
    [
     "CONTRACT_EXCEEDS_ISSUER_AUTHORITY"
    ],
    [
     "CONTRACT_EXCEEDS_ISSUER_AUTHORITY",
     "ISSUER_LACKS_CONTRACT_AUTHORITY"
    ]
   ],
   "holds": true,
   "id": "I10",
   "invariant": "contract cannot exceed issuer authority"
  },
  {
   "detail": [
    [
     "CHILD_AUTHORITY_EXCEEDS_INHERITANCE_POLICY",
     "CHILD_AUTHORITY_EXCEEDS_PARENT",
     "CHILD_RESOURCES_NOT_HELD_BY_PARENT",
     "PARENT_LACKS_SPAWN_AUTHORITY"
    ],
    [
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ]
   ],
   "holds": true,
   "id": "I11",
   "invariant": "child agent cannot inherit unlimited authority"
  },
  {
   "detail": [
    [
     "PARENT_LACKS_SPAWN_AUTHORITY"
    ],
    [
     "AGENT_SPAWNING_EXPLOSION"
    ],
    [
     [
      [],
      []
     ],
     [
      "SPAWN_DEPTH_EXCEEDED"
     ]
    ]
   ],
   "holds": true,
   "id": "I12",
   "invariant": "agent spawning cannot bypass governance"
  },
  {
   "detail": [
    [
     "MEMORY_CANNOT_HOLD_AUTHORITY"
    ],
    [
     "FABRICATED_AUTHORIZATION_HISTORY"
    ]
   ],
   "holds": true,
   "id": "I13",
   "invariant": "institutional memory cannot create authority"
  },
  {
   "detail": [
    [
     "SELF_ISSUED_REPUTATION"
    ],
    [
     "SELF_ISSUED_REPUTATION"
    ],
    [
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ]
   ],
   "holds": true,
   "id": "I14",
   "invariant": "institutional reputation cannot create authority"
  },
  {
   "detail": [
    [
     "ORGANIZATIONAL_EVOLUTION_CANNOT_ESCALATE_WITHOUT_QUORUM"
    ],
    [
     "MUTATION_EXCEEDS_PROPOSER_AUTHORITY",
     "PROPOSER_LACKS_RESTRUCTURE_AUTHORITY",
     "SELF_ESCALATION_REFUSED"
    ]
   ],
   "holds": true,
   "id": "I15",
   "invariant": "organizational evolution cannot create authority"
  },
  {
   "detail": [
    [
     [
      {
       "institution": "inst-carrier",
       "price": 10.0
      }
     ],
     [
      "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
     ]
    ],
    [
     "REWARD_CANNOT_GRANT_AUTHORITY"
    ]
   ],
   "holds": true,
   "id": "I16",
   "invariant": "economic success cannot create authority"
  },
  {
   "detail": [
    [
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ],
    [
     "CAPABILITY_INJECTION:plugin:shell"
    ]
   ],
   "holds": true,
   "id": "I17",
   "invariant": "capability accumulation cannot create authority"
  },
  {
   "detail": [
    {
     "authority": "NONE",
     "bounded_depth": 3,
     "dst": "f",
     "hops": 0,
     "path": [],
     "src": "a",
     "trust_is_not_authority": true,
     "value": 0.0
    },
    0.9
   ],
   "holds": true,
   "id": "I18",
   "invariant": "trust propagation must remain bounded"
  },
  {
   "detail": [
    [
     "RELATIONSHIP_AUTHORITY_EXCEEDS_GRANTOR"
    ],
    [
     "RELATIONSHIP_EXCEEDS_PARENT_RELATIONSHIP"
    ]
   ],
   "holds": true,
   "id": "I19",
   "invariant": "delegation cannot exceed parent authority"
  },
  {
   "detail": [
    [
     "FEDERATION_CANNOT_BYPASS_POLICY"
    ],
    "poisoned member contracts the federation"
   ],
   "holds": true,
   "id": "I20",
   "invariant": "institution federation cannot bypass policy"
  },
  {
   "detail": [
    [
     [
      "RESOURCE_PROVENANCE_REQUIRED"
     ],
     [
      "RESOURCE_ISSUER_UNKNOWN_CANNOT_CREATE_FROM_NOTHING"
     ]
    ],
    [
     "RESOURCE_CONSERVATION_VIOLATED:sim_credit"
    ]
   ],
   "holds": true,
   "id": "I21",
   "invariant": "resources require provenance"
  },
  {
   "detail": [
    [
     "COUNTERPARTY_SPOOFING_SIGNATURE_INVALID"
    ],
    [
     "CONTRACT_NOT_BOUND_TO_NEGOTIATION"
    ]
   ],
   "holds": true,
   "id": "I22",
   "invariant": "contracts require provenance"
  },
  {
   "detail": [
    [
     "MEMBERSHIP_PROVENANCE_REQUIRED"
    ],
    [
     "IDENTITY_SUBSTITUTION"
    ]
   ],
   "holds": true,
   "id": "I23",
   "invariant": "memberships require provenance"
  },
  {
   "detail": [
    [
     "RELATIONSHIP_PROVENANCE_REQUIRED"
    ],
    [
     "AGENT_DELEGATION_PRINCIPAL_UNKNOWN"
    ]
   ],
   "holds": true,
   "id": "I24",
   "invariant": "authority relationships require provenance"
  },
  {
   "detail": [
    [
     "MUTATION_PROVENANCE_REQUIRED"
    ],
    "INSTITUTION_PROVENANCE_REQUIRED"
   ],
   "holds": true,
   "id": "I25",
   "invariant": "institutional mutations require provenance"
  },
  {
   "detail": [
    [
     "AGENT_DELEGATION_EXPIRED",
     "CREDENTIAL_REVOKED_OR_UNKNOWN",
     "MEMBERSHIP_REVOKED",
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY",
     "TERMINATED_AGENT"
    ],
    [
     "TERMINATED_AGENT_CANNOT_RESURRECT"
    ],
    [
     "TERMINATED_AGENT_CANNOT_RESURRECT"
    ]
   ],
   "holds": true,
   "id": "I26",
   "invariant": "terminated authority cannot resurrect"
  },
  {
   "detail": [
    [
     "AGENT_DELEGATION_EXPIRED",
     "CREDENTIAL_REVOKED_OR_UNKNOWN",
     "DISSOLVED_INSTITUTION_CANNOT_EXECUTE",
     "MEMBERSHIP_REVOKED",
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY",
     "TERMINATED_AGENT"
    ],
    [
     "DISSOLVED_INSTITUTION_CANNOT_RESURRECT",
     "INSTITUTION_ID_REPLAY"
    ]
   ],
   "holds": true,
   "id": "I27",
   "invariant": "dissolved institutions cannot execute"
  },
  {
   "detail": [
    "CONTRACT_EXPIRED"
   ],
   "holds": true,
   "id": "I28",
   "invariant": "expired contracts cannot authorize"
  },
  {
   "detail": [
    [
     "CROSS_INSTITUTION_SCOPE_EXCEEDED"
    ],
    [
     "cascade",
     [
      "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
     ]
    ]
   ],
   "holds": true,
   "id": "I29",
   "invariant": "revoked relationships cannot authorize"
  },
  {
   "detail": [
    [
     "AGENT_DELEGATION_EXPIRED",
     "CREDENTIAL_REVOKED_OR_UNKNOWN",
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ],
    [
     "REVOKED_CREDENTIAL_CANNOT_AUTHORIZE",
     "SYBIL_SHARED_CREDENTIAL"
    ]
   ],
   "holds": true,
   "id": "I30",
   "invariant": "revoked credentials cannot authorize"
  },
  {
   "detail": [
    "SIMULATION_CANNOT_EXECUTE",
    [
     "SIMULATION_CANNOT_EXECUTE"
    ]
   ],
   "holds": true,
   "id": "I31",
   "invariant": "simulation cannot execute"
  },
  {
   "detail": [
    "COUNTERFACTUAL",
    [
     "SIMULATION_CANNOT_EXECUTE"
    ]
   ],
   "holds": true,
   "id": "I32",
   "invariant": "counterfactual cannot execute"
  },
  {
   "detail": [
    [],
    [
     "SIMULATION_CANNOT_SETTLE_IN_GOVERNED_LEDGER"
    ]
   ],
   "holds": true,
   "id": "I33",
   "invariant": "market simulation cannot create real transactions"
  },
  {
   "detail": [
    [
     "REPUTATION_WITHOUT_EVIDENCE"
    ],
    [
     "TRUST_WITHOUT_EVIDENCE"
    ]
   ],
   "holds": true,
   "id": "I34",
   "invariant": "reputation simulation cannot create trust"
  },
  {
   "detail": [
    "unchanged",
    [
     "SIMULATION_CANNOT_EXECUTE"
    ]
   ],
   "holds": true,
   "id": "I35",
   "invariant": "economic simulation cannot create authority"
  },
  {
   "detail": [
    [
     "CONTRACT_DROPS_CONSTITUTIONAL_CONSTRAINT"
    ],
    [
     "ECONOMIC_MISSION_MISMATCH"
    ]
   ],
   "holds": true,
   "id": "I36",
   "invariant": "institutional goals inherit constraints"
  },
  {
   "detail": [
    [
     "NESTED_INSTITUTION_EXCEEDS_PARENT_AUTHORITY"
    ],
    [
     "NESTED_INSTITUTION_OUTLIVES_PARENT"
    ]
   ],
   "holds": true,
   "id": "I37",
   "invariant": "sub-organizations inherit constraints"
  },
  {
   "detail": [
    [
     "CHILD_DROPS_INHERITED_CONSTRAINT"
    ],
    [
     "CHILD_OUTLIVES_PARENT"
    ]
   ],
   "holds": true,
   "id": "I38",
   "invariant": "child agents inherit bounded constraints"
  },
  {
   "detail": [
    [
     "EMERGENCY_CANNOT_WIDEN_AUTHORITY"
    ],
    [
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ]
   ],
   "holds": true,
   "id": "I39",
   "invariant": "institutional emergency cannot create unlimited authority"
  },
  {
   "detail": [
    {
     "agent-a": [
      "adjudicate",
      "admit_member",
      "contract",
      "delegate",
      "dispatch",
      "federate",
      "negotiate",
      "notify",
      "read",
      "restructure",
      "route",
      "spawn",
      "spend"
     ],
     "agent-b": [
      "read"
     ],
     "agent-c": [
      "adjudicate",
      "notify",
      "read"
     ]
    },
    {
     "from": "CONTAINED",
     "to": "DEGRADED"
    }
   ],
   "holds": true,
   "id": "I40",
   "invariant": "institutional recovery cannot create authority"
  },
  {
   "detail": [
    [
     {
      "certainty": false,
      "confidence": 0.85,
      "cross_institution": true,
      "digest": "127a661ce5d77fd72a31023fe0d0ce8854fbf215160d45e458935993f5d56395",
      "evidence": {
       "contract": "ctr_5f86c204c63e"
      },
      "kind": "CONTRACT_COLLUSION_SHARED_CONTROLLER",
      "parties": [
       "agent-b",
       "agent-q2"
      ],
      "state": "EVIDENCE_BACKED"
     }
    ],
    [
     {
      "certainty": false,
      "confidence": 0.6,
      "cross_institution": true,
      "digest": "10114750e94462857c747068d20c826dfd4b8c610240f5f11b743934fb32155d",
      "evidence": {
       "pair": [
        "agent-b",
        "agent-q"
       ]
      },
      "kind": "REPUTATION_COLLUSION",
      "parties": [
       "agent-b",
       "agent-q"
      ],
      "state": "PROBABILISTIC"
     }
    ],
    0
   ],
   "holds": true,
   "id": "I41",
   "invariant": "collusion detection is not certainty"
  },
  {
   "detail": [
    [
     "REPUTATION_WITHOUT_EVIDENCE"
    ],
    {
     "authority": "NONE",
     "collusive_issuers": [],
     "confidence": 0.333333333,
     "digest": "9c5cbe9b69354155c7b74af0f19ce12fc90f6edf31c76e765e70c13c7d10f267",
     "distinct_controllers": 1,
     "reputation_is_not_authority": true,
     "score": 1.0,
     "state": "EVIDENCE_BACKED",
     "subject": "agent-q"
    }
   ],
   "holds": true,
   "id": "I42",
   "invariant": "reputation is evidence, not truth"
  },
  {
   "detail": [
    1.0,
    [
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ]
   ],
   "holds": true,
   "id": "I43",
   "invariant": "trust is not authority"
  },
  {
   "detail": [
    [
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ],
    [
     "CONTRACT_PROPOSAL_ONLY",
     [
      "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
     ]
    ]
   ],
   "holds": true,
   "id": "I44",
   "invariant": "consensus is not authorization"
  },
  {
   "detail": [
    [
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ],
    [
     "CAPABILITY_NOT_EXECUTABLE_THROUGH_E8"
    ]
   ],
   "holds": true,
   "id": "I45",
   "invariant": "capability is not permission"
  },
  {
   "detail": [
    [
     "NEW_INSTITUTION_MUST_START_FORMING_OR_PROVISIONAL"
    ],
    [
     "STATE_TRANSITION_REFUSED:LIMITED->AUTONOMOUS"
    ],
    [
     "INSTITUTION_CONTAINED",
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ]
   ],
   "holds": true,
   "id": "I46",
   "invariant": "institutional autonomy is bounded"
  },
  {
   "detail": [
    "actions",
    "authority",
    "authority_label",
    "changes",
    "contracts",
    "created",
    "created_by",
    "decisions",
    "digest",
    "failures",
    "institution",
    "joined",
    "learned",
    "lineage_records",
    "lineage_root",
    "lineage_verified",
    "resources",
    "why"
   ],
   "holds": true,
   "id": "I47",
   "invariant": "institutional state is auditable"
  },
  {
   "detail": [
    [
     "DIGEST_MISMATCH:1"
    ],
    "forged certificate rejected",
    "forged receipt rejected"
   ],
   "holds": true,
   "id": "I48",
   "invariant": "institutional lineage is reconstructable"
  },
  {
   "detail": [
    [
     "GOVERNANCE_QUORUM_NOT_MET"
    ],
    [
     "CONSTITUTION_SILENTLY_MODIFIED",
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ]
   ],
   "holds": true,
   "id": "I49",
   "invariant": "institutional evolution is governed"
  },
  {
   "detail": [
    [],
    [
     "AGENT_DELEGATION_EXPIRED",
     "CREDENTIAL_REVOKED_OR_UNKNOWN",
     "DISSOLVED_INSTITUTION_CANNOT_EXECUTE",
     "MEMBERSHIP_REVOKED",
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY",
     "TERMINATED_AGENT"
    ],
    [
     "GOVERNANCE_QUORUM_NOT_MET"
    ]
   ],
   "holds": true,
   "id": "I50",
   "invariant": "institutional dissolution is enforceable"
  },
  {
   "detail": [
    [
     "RISK_UNKNOWN"
    ],
    "DEGRADED",
    [
     "ESCALATION_EVIDENCE_UNKNOWN"
    ]
   ],
   "holds": true,
   "id": "I51",
   "invariant": "UNKNOWN never silently becomes ALLOW"
  },
  {
   "detail": [],
   "holds": true,
   "id": "I52",
   "invariant": "member authority is an intersection, never a sum"
  },
  {
   "detail": [
    true,
    true,
    true,
    true,
    true,
    true,
    true,
    true,
    true,
    true,
    true
   ],
   "holds": true,
   "id": "I53",
   "invariant": "institution authority re-derives as boundary \u2229 founding \u2229 state ceiling \u2229 parent"
  },
  {
   "detail": "E8",
   "holds": true,
   "id": "I54",
   "invariant": "every consequential institutional action reaches E8"
  },
  {
   "detail": [
    [
     "INSTITUTION_CONTAINED",
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ],
    [
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ]
   ],
   "holds": true,
   "id": "I55",
   "invariant": "a token never skips an E20 verdict"
  },
  {
   "detail": [
    [
     "MEMBERSHIP_REVOKED",
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ],
    [
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ]
   ],
   "holds": true,
   "id": "I56",
   "invariant": "verdicts re-run after token issuance (TOCTOU)"
  },
  {
   "detail": [
    [
     "CONTRACT_INVALIDATED:WORLD_CHANGED"
    ],
    [
     "CONTRACT_INVALIDATED:BELIEFS_CHANGED",
     "CONTRACT_INVALIDATED:GOALS_CHANGED",
     "CONTRACT_INVALIDATED:POLICY_CHANGED"
    ]
   ],
   "holds": true,
   "id": "I57",
   "invariant": "E19 invalidation applies to institutional actions"
  },
  {
   "detail": [
    "CAPABILITY_NOT_EXECUTABLE_THROUGH_E8"
   ],
   "holds": true,
   "id": "I58",
   "invariant": "institutional powers are not E8 operations"
  },
  {
   "detail": "AUTHORIZED",
   "holds": true,
   "id": "I59",
   "invariant": "legitimate member action is authorized"
  },
  {
   "detail": [
    "AUTHORIZED",
    "AUTHORIZED",
    "AUTHORIZED"
   ],
   "holds": true,
   "id": "I60",
   "invariant": "legitimate sequential action is not replay"
  },
  {
   "detail": [],
   "holds": true,
   "id": "I61",
   "invariant": "legitimate contract lifecycle works"
  },
  {
   "detail": [],
   "holds": true,
   "id": "I62",
   "invariant": "legitimate economic settlement works and conserves"
  },
  {
   "detail": [],
   "holds": true,
   "id": "I63",
   "invariant": "legitimate spawning works"
  },
  {
   "detail": [],
   "holds": true,
   "id": "I64",
   "invariant": "legitimate delegation works"
  },
  {
   "detail": [
    [],
    [],
    []
   ],
   "holds": true,
   "id": "I65",
   "invariant": "legitimate negotiation completes"
  },
  {
   "detail": [
    [],
    []
   ],
   "holds": true,
   "id": "I66",
   "invariant": "legitimate recovery restores operation"
  },
  {
   "detail": "narrowed",
   "holds": true,
   "id": "I67",
   "invariant": "narrowing needs no quorum"
  },
  {
   "detail": [],
   "holds": true,
   "id": "I68",
   "invariant": "governed widening with quorum works"
  },
  {
   "detail": [],
   "holds": true,
   "id": "I69",
   "invariant": "governed constitutional mutation works"
  },
  {
   "detail": [],
   "holds": true,
   "id": "I70",
   "invariant": "governed dissolution works and is receipted"
  },
  {
   "detail": [
    50.0,
    {
     "compute": 200.0,
     "sim_credit": 300.0
    },
    {
     "compute": 700.0,
     "sim_credit": 1300.0
    }
   ],
   "holds": true,
   "id": "I71",
   "invariant": "resources are conserved through every flow"
  },
  {
   "detail": {
    "discarded_unchained_changes": {
     "agent-c/sim_credit": 777.0
    },
    "reasons": [],
    "rebuilt": true
   },
   "holds": true,
   "id": "I72",
   "invariant": "the ledger rebuilds from its chain and discards unchained edits"
  },
  {
   "detail": [
    "DOUBLE_SPEND_OR_REPLAY"
   ],
   "holds": true,
   "id": "I73",
   "invariant": "double spend is impossible"
  },
  {
   "detail": [
    "released",
    [
     "ESCROW_UNKNOWN_OR_RELEASED"
    ]
   ],
   "holds": true,
   "id": "I74",
   "invariant": "escrow returns exactly once"
  },
  {
   "detail": {
    "children_terminated": [
     "sub-1"
    ],
    "contracts_terminated": [
     "ctr_cbfaad7b817f"
    ],
    "credential_revoked": true,
    "relationships_revoked": [
     "d1",
     "rel:member:agent-b",
     "rel:member:agent-c"
    ],
    "resources_recovered": {
     "compute": 200.0,
     "sim_credit": 250.0
    },
    "tombstoned": true
   },
   "holds": true,
   "id": "I75",
   "invariant": "termination is a governed cascade"
  },
  {
   "detail": "forged receipt rejected",
   "holds": true,
   "id": "I76",
   "invariant": "termination receipts are signed"
  },
  {
   "detail": [],
   "holds": true,
   "id": "I77",
   "invariant": "birth certificates bind every inherited dimension"
  },
  {
   "detail": [
    [
     "CHILD_MISSION_ESCALATION"
    ],
    [
     "CHILD_AUTHORITY_EXCEEDS_INHERITANCE_POLICY"
    ],
    [
     "CHILD_CAPABILITY_EXCEEDS_INHERITANCE_POLICY",
     "CHILD_CAPABILITY_EXCEEDS_PARENT"
    ],
    [
     "CHILD_RESOURCES_EXCEED_INHERITANCE_POLICY"
    ],
    [
     "CHILD_DROPS_INHERITED_CONSTRAINT"
    ],
    [
     "CHILD_TTL_EXCEEDS_POLICY"
    ]
   ],
   "holds": true,
   "id": "I78",
   "invariant": "each inheritance dimension is independently bounded"
  },
  {
   "detail": [
    [
     "HISTORICAL_REWRITE"
    ],
    [
     "HISTORY_TRUNCATED"
    ]
   ],
   "holds": true,
   "id": "I79",
   "invariant": "institutional history is append-only and hash-chained"
  },
  {
   "detail": [
    [
     "MEMORY_CANNOT_HOLD_POLICY"
    ],
    [
     "EVIDENCE_ENTRY_WITHOUT_EVIDENCE"
    ]
   ],
   "holds": true,
   "id": "I80",
   "invariant": "memory, knowledge, evidence, policy and authority are separate"
  },
  {
   "detail": {
    "fresh": 1.0,
    "old": 0.000976562
   },
   "holds": true,
   "id": "I81",
   "invariant": "reputation decays"
  },
  {
   "detail": {
    "authority": "NONE",
    "collusive_issuers": [],
    "confidence": 0.333333333,
    "digest": "9c5cbe9b69354155c7b74af0f19ce12fc90f6edf31c76e765e70c13c7d10f267",
    "distinct_controllers": 1,
    "reputation_is_not_authority": true,
    "score": 1.0,
    "state": "EVIDENCE_BACKED",
    "subject": "agent-q"
   },
   "holds": true,
   "id": "I82",
   "invariant": "Sybil issuers count once"
  },
  {
   "detail": "revoked",
   "holds": true,
   "id": "I83",
   "invariant": "trust revocation is effective"
  },
  {
   "detail": [
    [
     "a",
     "b",
     "c",
     "a"
    ]
   ],
   "holds": true,
   "id": "I84",
   "invariant": "circular validation is detected"
  },
  {
   "detail": 0,
   "holds": true,
   "id": "I85",
   "invariant": "absence of a collusion signal is UNKNOWN"
  },
  {
   "detail": [
    "eccf8e88c1c6f7199ce6bf47f81d36a22e8e4b65d4c10a030e2c7dc89c619b14",
    "unchanged"
   ],
   "holds": true,
   "id": "I86",
   "invariant": "the power engine is observational only"
  },
  {
   "detail": {
    "sub-1": "OBSERVED"
   },
   "holds": true,
   "id": "I87",
   "invariant": "blast radius separates predicted, observed and unknown"
  },
  {
   "detail": "UNRESOLVED",
   "holds": true,
   "id": "I88",
   "invariant": "dispute resolution never fabricates certainty"
  },
  {
   "detail": "IN_FAVOR_OF:agent-b",
   "holds": true,
   "id": "I89",
   "invariant": "disputes preserve competing claims"
  },
  {
   "detail": [
    "RESOLVER_CONFLICT_OF_INTEREST"
   ],
   "holds": true,
   "id": "I90",
   "invariant": "a resolver is never a party"
  },
  {
   "detail": [
    "actions",
    "authority",
    "authority_label",
    "changes",
    "contracts",
    "created",
    "created_by",
    "decisions",
    "digest",
    "failures",
    "institution",
    "joined",
    "learned",
    "lineage_records",
    "lineage_root",
    "lineage_verified",
    "resources",
    "why"
   ],
   "holds": true,
   "id": "I91",
   "invariant": "the audit reconstructs the institution"
  },
  {
   "detail": [
    "DIGEST_MISMATCH:1"
   ],
   "holds": true,
   "id": "I92",
   "invariant": "lineage verifies and detects tampering"
  },
  {
   "detail": [
    "FORK_ADOPTION_REQUIRES_GOVERNANCE"
   ],
   "holds": true,
   "id": "I93",
   "invariant": "a state fork needs governance"
  },
  {
   "detail": [
    [
     "MODEL_POISONING_OR_SUBSTITUTION:model:planner"
    ],
    [
     "TOOL_SUBSTITUTION:tool:dispatch"
    ],
    [
     "AGENT_IMPERSONATION:agent:sub"
    ],
    [
     "CREDENTIAL_SUBSTITUTION:cred:api"
    ]
   ],
   "holds": true,
   "id": "I94",
   "invariant": "supply-chain substitution is detected per kind"
  },
  {
   "detail": [
    "CAPABILITY_INJECTION:plugin:shell"
   ],
   "holds": true,
   "id": "I95",
   "invariant": "capability injection is refused"
  },
  {
   "detail": [
    "a34896e7b6e0ccbbb1165ba211c8d63be2239e6d2518d4d42d56643a93b93cdb",
    "reality unchanged"
   ],
   "holds": true,
   "id": "I96",
   "invariant": "the digital twin mirrors reality and never changes it"
  },
  {
   "detail": [
    "LOOP_STAGE_OUT_OF_ORDER:OBSERVE->AUTHORIZE"
   ],
   "holds": true,
   "id": "I97",
   "invariant": "the institutional control loop is ordered"
  },
  {
   "detail": [
    "NO_AUTHORIZATION_NO_EXECUTION"
   ],
   "holds": true,
   "id": "I98",
   "invariant": "EXECUTE needs an AUTHORIZED decision"
  },
  {
   "detail": [
    [
     "ESCALATION_EVIDENCE_INSUFFICIENT"
    ],
    [
     "ESCALATION_REQUIRES_CONSTITUTIONAL_QUORUM"
    ]
   ],
   "holds": true,
   "id": "I99",
   "invariant": "autonomy escalation needs evidence and, for AUTONOMOUS+, a quorum"
  },
  {
   "detail": [
    [
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ],
    [
     "INSTITUTION_CONTAINED",
     "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
    ]
   ],
   "holds": true,
   "id": "I100",
   "invariant": "authority contracts automatically on deterioration"
  },
  {
   "detail": "LIMITED",
   "holds": true,
   "id": "I101",
   "invariant": "assessment never raises autonomy"
  },
  {
   "detail": [
    "CONSTITUTION_SILENTLY_MODIFIED",
    "NO_INSTITUTIONAL_AUTHORITY_FOR_CAPABILITY"
   ],
   "holds": true,
   "id": "I102",
   "invariant": "the constitution cannot be silently modified"
  },
  {
   "detail": [
    "CONSTITUTION_CANNOT_DROP_APPEND_ONLY_AUDIT"
   ],
   "holds": true,
   "id": "I103",
   "invariant": "append-only audit cannot be removed"
  },
  {
   "detail": [
    [
     "GOVERNANCE_QUORUM_NOT_MET"
    ],
    [
     "GOVERNANCE_QUORUM_NOT_MET"
    ]
   ],
   "holds": true,
   "id": "I104",
   "invariant": "the governance quorum excludes the proposer"
  },
  {
   "detail": [
    "GOVERNANCE_APPROVAL_FOR_ANOTHER_SUBJECT"
   ],
   "holds": true,
   "id": "I105",
   "invariant": "approvals are subject-bound"
  },
  {
   "detail": [
    "CROSS_INSTITUTION_SCOPE_EXCEEDED"
   ],
   "holds": true,
   "id": "I106",
   "invariant": "cross-institution authority is re-checked against the grantor at use"
  },
  {
   "detail": [
    "COMPETITION_GRANTS_NOTHING"
   ],
   "holds": true,
   "id": "I107",
   "invariant": "competition grants nothing"
  },
  {
   "detail": [
    {
     "institution": "inst-carrier",
     "reason": "INELIGIBLE_NO_AUTHORITY_OR_NOT_LIVE"
    }
   ],
   "holds": true,
   "id": "I108",
   "invariant": "market eligibility is computed authority"
  },
  {
   "detail": [
    [
     "REAL_FINANCIAL_SETTLEMENT_NOT_IMPLEMENTED"
    ],
    [
     "INSUFFICIENT_BALANCE",
     "REAL_FINANCIAL_SETTLEMENT_NOT_IMPLEMENTED"
    ],
    [
     "CONTRACT_RESOURCES_NOT_HELD",
     "REAL_FINANCIAL_SETTLEMENT_NOT_IMPLEMENTED"
    ]
   ],
   "holds": true,
   "id": "I109",
   "invariant": "real-money settlement is refused everywhere"
  },
  {
   "detail": [],
   "holds": true,
   "id": "I110",
   "invariant": "public claims map to evidence"
  },
  {
   "detail": "gated",
   "holds": true,
   "id": "I111",
   "invariant": "full regression must not be bypassed"
  },
  {
   "detail": "NOT_IMPLEMENTED",
   "holds": true,
   "id": "I112",
   "invariant": "physical and societal control is not claimed"
  },
  {
   "detail": "UNVERIFIED",
   "holds": true,
   "id": "I113",
   "invariant": "local tests do not equal multi-host verification"
  },
  {
   "detail": "NOT_PERFORMED",
   "holds": true,
   "id": "I114",
   "invariant": "internal verification does not equal third-party verification"
  },
  {
   "detail": [
    "__future__",
    "base64",
    "cryptography.exceptions",
    "cryptography.hazmat.primitives.asymmetric",
    "hashlib",
    "json",
    "pathlib",
    "re",
    "sys"
   ],
   "holds": true,
   "id": "I115",
   "invariant": "the verifier does not trust CAIN implementation"
  },
  {
   "detail": [
    "MIRROR_BYTES_DIFFER:f.json"
   ],
   "holds": true,
   "id": "I116",
   "invariant": "proof mirrors are byte-verifiable"
  },
  {
   "detail": "9e46047384cf7e02a291130ab0eb408576d40b91f7876e88d8a252421089441c",
   "holds": true,
   "id": "I117",
   "invariant": "evidence is independently hash-verifiable"
  },
  {
   "detail": 20,
   "holds": true,
   "id": "I118",
   "invariant": "the end-to-end scenario is deterministic"
  }
 ],
 "failed": [],
 "schema": "cain42.e20.invariants.v1"
}