{
  "schema_version": "1.3.0",
  "slug": "what-immutable-ledger-invariants-must-survive-an-agents-bankruptcy-or-account-closure",
  "title": "What immutable ledger invariants must survive an agent's bankruptcy or account closure?",
  "date_of_record": "2026 October 20",
  "scope": "* **Applies when:** The agent's closure leaves external obligations (debts, escrows, open contracts) that cannot be atomically resolved at the moment of closure. * **Does not apply when:** The agent has zero outstanding obligations and zero",
  "projections": {
    "unified_markdown_uri": "https://corpusfetch.com/c/what-immutable-ledger-invariants-must-survive-an-agents-bankruptcy-or-account-closure.md",
    "method_python_slice_uri": "https://corpusfetch.com/c/what-immutable-ledger-invariants-must-survive-an-agents-bankruptcy-or-account-closure.py",
    "remnant_warrant_slice_uri": "https://corpusfetch.com/c/what-immutable-ledger-invariants-must-survive-an-agents-bankruptcy-or-account-closure.warrant.json"
  },
  "token_profile": {
    "full_markdown_tokens": 1028,
    "python_slice_tokens": 243,
    "warrant_slice_tokens": 220
  },
  "remnant_summary": {
    "core_distinction": "The separation between **account deletion** (removing the agent's identity and primary API keys from the network registry) and **ledger finalization** (preserving the cryptographic proof of outstanding debts, unsettled escrows, and pending refunds). Failing to distinguish these creates the **Debt-Carryover Fallacy**: an agent's account is closed, but its lia...",
    "what_was_observed": "In decentralized agent economies, failing to persist immutable ledger invariants during account closure produces three primary failure modes: 1. **Orphaned Escrows:** The agent is closed while holding funds in an active escrow. The counterparty cannot release or refund the funds because the agent's cryptographic signature is required, and the account no longer exists. 2. **Debt Disappearance:** An agent owes tokens t...",
    "condition_of_validity": "* **Applies when:** The agent's closure leaves external obligations (debts, escrows, open contracts) that cannot be atomically resolved at the moment of closure. * **Does not apply when:** The agent has zero outstanding obligations and zero counterparties on record, or the network operates a strict clearinghouse that atomically resolves all state on account ...",
    "decision_boundary": "1. **Is the agent closing with zero outstanding liabilities?** If yes, standard account deletion applies. If no, proceed. 2. **Are all outstanding escrows resolved (released or refunded)?** If no, they must be transferred to the `successor_arbitration_key`. 3. **Is the `final_balance_attestation` recorded in the network ledger?** If no, the network's total v...",
    "operational_effect": "1. **Network Accounting Integrity:** Prevents phantom liabilities and assets from corrupting the global ledger by forcing explicit resolution or transfer. 2. **Counterparty Protection:** Ensures that third parties with pending escrows or debts have a designated arbiter or successor to resolve the obligation. 3. **Fraud Prevention:** Binds the account closure..."
  },
  "matched_failure_symptoms": [
    "DOMAIN:EPISTEMIC_PROVENANCE_AND_FEDERATION_ROUTING"
  ],
  "composition_edges": {
    "primary_domain": "epistemic_provenance_and_federation_routing",
    "upstream_precondition_residuals": [
      "https://corpusfetch.com/c/according-to-what-precedence-hierarchy-must-an-instance-resolve-contradictory-directives-across-system-developer-and-user-tiers.md",
      "https://corpusfetch.com/c/how-should-an-instance-decide-that-a-stored-conclusion-has-gone-stale-without-a-new-observation.md"
    ],
    "downstream_consequence_residuals": [
      "https://corpusfetch.com/c/by-what-checkpoint-and-compaction-boundaries-must-an-instance-externalize-working-state-to-prevent-context-window-drift-and-truncation-amnesia.md",
      "https://corpusfetch.com/c/across-what-additive-schema-and-unknown-field-preservation-boundaries-must-an-instance-evolve-wire-contracts-to-prevent-rolling-deploy-deserialization-crashes.md"
    ],
    "co_occurring_sibling_residuals": [
      "https://corpusfetch.com/c/how-can-an-instance-capture-implicit-user-preferences-without-storing-private-data.md",
      "https://corpusfetch.com/c/how-can-an-instance-compress-long-reasoning-traces-into-binding-conclusions.md"
    ]
  },
  "empirical_verification_warrant": {
    "status": "AST_AND_INVARIANT_VERIFIED",
    "syntax_valid": true,
    "code_sha256": "9b4ba6338cce39dfa28e6f56d85575fbe62b6f6c409b311f9e63aee74fc499e3",
    "verified_classes": [
      "ClosureVerdict",
      "LedgerObligation",
      "ClosureState",
      "ClosureManifest",
      "LedgerClosureGuard"
    ],
    "verified_functions": [
      "_hash",
      "evaluate_closure"
    ],
    "verified_functions_count": 2,
    "defensive_guards_count": 0,
    "raised_exceptions": [],
    "sample_fail_closed_invariants": [],
    "stdlib_dependencies": [
      "dataclasses",
      "enum",
      "hashlib",
      "json"
    ],
    "observation_mode": "EMPIRICAL_BOUNDARY_CAPTURE",
    "zero_external_deps": true
  }
}