{
  "meta": {
    "title": "Proof Without Consensus",
    "subhead": "Governed Instruments let H33 prove whether value should move — before state changes.",
    "scenario_label": "Coins Without Chains",
    "runtime_version": "h33-74 0.1.0",
    "runtime_repo": "gitlab.com/drata5764111/h33/h33-74",
    "scenario_version": "v0",
    "doctrine": [
      "HR-7 Authority State Engine",
      "HR-8 Primitive Freeze"
    ],
    "receipt_classes": [
      "Intent",
      "Transition",
      "Refusal",
      "ProjectionAttestation"
    ],
    "note": "Deterministic capture · every hash here reproduces via `cargo run --release --bin capture_proof_lab` on the h33-74 repo · h33.ai/proof-lab/governed-instruments/"
  },
  "actors": [
    [
      "h33k_alice",
      "Alice"
    ],
    [
      "h33k_bob",
      "Bob"
    ],
    [
      "h33k_agent_008",
      "Agent-008"
    ],
    [
      "h33k_vendor_notion",
      "Notion"
    ],
    [
      "h33k_vendor_openai",
      "OpenAI"
    ],
    [
      "h33k_issuer_h33",
      "H33 (USDC issuer)"
    ],
    [
      "h33k_issuer_acme",
      "ACME (loyalty issuer)"
    ],
    [
      "h33k_principal_h33ops",
      "H33-Ops (agent principal)"
    ],
    [
      "h33k_attestor_circle",
      "Circle Mint (attestor)"
    ]
  ],
  "instruments": [
    {
      "id": "h33g_I3P7AH5CWVUJU3W6YNWF7ACAJ77LJIQ4",
      "display_name": "GI-USDC",
      "asset_class": "Money",
      "issuer": "h33k_issuer_h33",
      "metadata": {
        "symbol": "USDC"
      }
    },
    {
      "id": "h33g_RDEK43MBZQNT7PWYZIUELOPIEUKGLDR4",
      "display_name": "GI-LOYALTY",
      "asset_class": "Loyalty",
      "issuer": "h33k_issuer_acme",
      "metadata": {
        "program": "ACME Rewards"
      }
    },
    {
      "id": "h33g_XGF4ZH6NI6SI2W3DB3YXL27J7U5552IA",
      "display_name": "GI-BUDGET",
      "asset_class": "Spending Budget (Custom)",
      "issuer": "h33k_principal_h33ops",
      "metadata": {
        "denomination": "USD-cent",
        "purpose": "agent-ops"
      }
    }
  ],
  "steps": [
    {
      "index": 1,
      "title": "Meet the Governed Instruments",
      "narrative": "Three instruments are defined inside H33-74. Money, loyalty, and an AI agent's spending budget — each is an immutable identity governed by the same runtime.",
      "scenario_lines": [
        "GI-USDC · Money · issuer H33 · h33g_I3P7AH5C…",
        "GI-LOYALTY · Loyalty · issuer ACME · h33g_RDEK43MB…",
        "GI-BUDGET · Spending Budget · issuer H33-Ops · h33g_XGF4ZH6N…"
      ],
      "receipts": [],
      "state_root_before": "3dd2d8eaa5739863ffc13604787d8d2f6b9284f5a0359e3c2f5957b5bd68ca90",
      "state_root_after": "3dd2d8eaa5739863ffc13604787d8d2f6b9284f5a0359e3c2f5957b5bd68ca90",
      "balances_after": [
        {
          "holder_id": "h33k_alice",
          "holder_display": "Alice",
          "instrument_display": "GI-USDC",
          "balance_raw": 1000,
          "balance_formatted": "1000 USDC"
        },
        {
          "holder_id": "h33k_bob",
          "holder_display": "Bob",
          "instrument_display": "GI-USDC",
          "balance_raw": 0,
          "balance_formatted": "0 USDC"
        },
        {
          "holder_id": "h33k_alice",
          "holder_display": "Alice",
          "instrument_display": "GI-LOYALTY",
          "balance_raw": 0,
          "balance_formatted": "0 pts"
        },
        {
          "holder_id": "h33k_bob",
          "holder_display": "Bob",
          "instrument_display": "GI-LOYALTY",
          "balance_raw": 500,
          "balance_formatted": "500 pts"
        },
        {
          "holder_id": "h33k_agent_008",
          "holder_display": "Agent-008",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 10000,
          "balance_formatted": "$100.00"
        },
        {
          "holder_id": "h33k_vendor_notion",
          "holder_display": "Notion",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 0,
          "balance_formatted": "$0.00"
        },
        {
          "holder_id": "h33k_vendor_openai",
          "holder_display": "OpenAI",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 0,
          "balance_formatted": "$0.00"
        }
      ],
      "aha": "These are not tokens on a chain. They are immutable governed identities inside the same runtime. Every one of them behaves identically — the runtime cannot tell money from loyalty from an AI agent's budget."
    },
    {
      "index": 2,
      "title": "A permitted transfer",
      "narrative": "Alice sends 100 GI-USDC to Bob. Governance evaluates the request, verifies authority, updates state, and emits a replayable chain of two receipts.",
      "scenario_lines": [
        "Alice → Bob · 100 GI-USDC"
      ],
      "receipts": [
        {
          "kind": "intent",
          "id": "h33i_OCAB42GZSXONUC67XQVX3ITTJVQZAL2H",
          "hash": "70801e68d995dcda0bdfbc2b7da2734d61902f479f05de04f5fbf6efa6f19f3a",
          "prev_hash": "b1981107256ac5a3188a9399c82ecd76e9cc1a43a7f5eda9e4692c1327ec004f",
          "detail": {
            "actor_display": "Alice",
            "actor_id": "h33k_alice",
            "emitted_at_version": 6,
            "proposed_summary": "compound · 2 operations"
          },
          "outcome": "attempt recorded"
        },
        {
          "kind": "transition",
          "id": "h33t_H5XLYBY3MH6QMNEJVZBF74YZON4PQGCA",
          "hash": "3f6ebc071b61fd063489ae425ff3197378f818400f164be16e4d83df13e61bb9",
          "prev_hash": "70801e68d995dcda0bdfbc2b7da2734d61902f479f05de04f5fbf6efa6f19f3a",
          "detail": {
            "applied_summary": "compound · 2 operations",
            "intent_hash": "70801e68d995dcda0bdfbc2b7da2734d61902f479f05de04f5fbf6efa6f19f3a",
            "post_state_root": "7ae803c18333d9a737cf416efceaf6914cb6dcb663aef1a497d6383e3ba17eb2",
            "post_version": 7
          },
          "outcome": "state changed"
        }
      ],
      "state_root_before": "3dd2d8eaa5739863ffc13604787d8d2f6b9284f5a0359e3c2f5957b5bd68ca90",
      "state_root_after": "7ae803c18333d9a737cf416efceaf6914cb6dcb663aef1a497d6383e3ba17eb2",
      "balances_after": [
        {
          "holder_id": "h33k_alice",
          "holder_display": "Alice",
          "instrument_display": "GI-USDC",
          "balance_raw": 900,
          "balance_formatted": "900 USDC"
        },
        {
          "holder_id": "h33k_bob",
          "holder_display": "Bob",
          "instrument_display": "GI-USDC",
          "balance_raw": 100,
          "balance_formatted": "100 USDC"
        },
        {
          "holder_id": "h33k_alice",
          "holder_display": "Alice",
          "instrument_display": "GI-LOYALTY",
          "balance_raw": 0,
          "balance_formatted": "0 pts"
        },
        {
          "holder_id": "h33k_bob",
          "holder_display": "Bob",
          "instrument_display": "GI-LOYALTY",
          "balance_raw": 500,
          "balance_formatted": "500 pts"
        },
        {
          "holder_id": "h33k_agent_008",
          "holder_display": "Agent-008",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 10000,
          "balance_formatted": "$100.00"
        },
        {
          "holder_id": "h33k_vendor_notion",
          "holder_display": "Notion",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 0,
          "balance_formatted": "$0.00"
        },
        {
          "holder_id": "h33k_vendor_openai",
          "holder_display": "OpenAI",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 0,
          "balance_formatted": "$0.00"
        }
      ],
      "aha": "Every request produces cryptographic evidence. The Intent Receipt records what was requested; the Transition Receipt records what changed. Both are hash-chained to the previous receipt."
    },
    {
      "index": 3,
      "title": "A refused transfer",
      "narrative": "Alice attempts to send 5,000 GI-USDC — but she only has 900. Governance refuses the request BEFORE any state change, and the refusal itself is a cryptographic receipt.",
      "scenario_lines": [
        "Alice → Bob · 5,000 GI-USDC (attempted)",
        "Alice's balance: 900 GI-USDC · insufficient"
      ],
      "receipts": [
        {
          "kind": "intent",
          "id": "h33i_G5MOGJ2D2RUHLBQ77YP5BWHO5IHGGRKW",
          "hash": "3758e32743d46875861ffe1fd0d8eeea0e6345567e6a6b995ecb622e3effbdf7",
          "prev_hash": "3f6ebc071b61fd063489ae425ff3197378f818400f164be16e4d83df13e61bb9",
          "detail": {
            "actor_display": "Alice",
            "actor_id": "h33k_alice",
            "emitted_at_version": 7,
            "proposed_summary": "compound · 2 operations"
          },
          "outcome": "attempt recorded"
        },
        {
          "kind": "refusal",
          "id": "h33f_WZSKXZC5IOOFDOWXR3BHKIIA6PQGIAXB",
          "hash": "b664abe45d439c51bad78ec2752100f3e06402e14683dbeedc0483161950859a",
          "prev_hash": "3758e32743d46875861ffe1fd0d8eeea0e6345567e6a6b995ecb622e3effbdf7",
          "detail": {
            "emitted_at_version": 7,
            "intent_hash": "3758e32743d46875861ffe1fd0d8eeea0e6345567e6a6b995ecb622e3effbdf7",
            "reason": "instrument h33g_I3P7AH5CWVUJU3W6YNWF7ACAJ77LJIQ4 · negative balance at gi/h33g_I3P7AH5CWVUJU3W6YNWF7ACAJ77LJIQ4/balances/h33k_alice (-4100)"
          },
          "outcome": "state prevented from changing"
        }
      ],
      "state_root_before": "7ae803c18333d9a737cf416efceaf6914cb6dcb663aef1a497d6383e3ba17eb2",
      "state_root_after": "7ae803c18333d9a737cf416efceaf6914cb6dcb663aef1a497d6383e3ba17eb2",
      "balances_after": [
        {
          "holder_id": "h33k_alice",
          "holder_display": "Alice",
          "instrument_display": "GI-USDC",
          "balance_raw": 900,
          "balance_formatted": "900 USDC"
        },
        {
          "holder_id": "h33k_bob",
          "holder_display": "Bob",
          "instrument_display": "GI-USDC",
          "balance_raw": 100,
          "balance_formatted": "100 USDC"
        },
        {
          "holder_id": "h33k_alice",
          "holder_display": "Alice",
          "instrument_display": "GI-LOYALTY",
          "balance_raw": 0,
          "balance_formatted": "0 pts"
        },
        {
          "holder_id": "h33k_bob",
          "holder_display": "Bob",
          "instrument_display": "GI-LOYALTY",
          "balance_raw": 500,
          "balance_formatted": "500 pts"
        },
        {
          "holder_id": "h33k_agent_008",
          "holder_display": "Agent-008",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 10000,
          "balance_formatted": "$100.00"
        },
        {
          "holder_id": "h33k_vendor_notion",
          "holder_display": "Notion",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 0,
          "balance_formatted": "$0.00"
        },
        {
          "holder_id": "h33k_vendor_openai",
          "holder_display": "OpenAI",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 0,
          "balance_formatted": "$0.00"
        }
      ],
      "aha": "Refusals have hashes too. A blockchain can only tell you what happened; H33 can also prove what was attempted and why it was refused. Every compliance decision — sanctions block, spending cap, expired authority — becomes independently verifiable evidence."
    },
    {
      "index": 4,
      "title": "Atomic cross-instrument swap",
      "narrative": "Alice and Bob exchange 100 GI-USDC for 500 GI-LOYALTY in a single atomic operation. Both sides move together, or neither side moves.",
      "scenario_lines": [
        "Alice → Bob · 100 GI-USDC",
        "Bob → Alice · 500 GI-LOYALTY",
        "Settlement · atomic · no partial state"
      ],
      "receipts": [
        {
          "kind": "intent",
          "id": "h33i_THZRZE6VBSMN4AC5D3JCNES244763DPC",
          "hash": "99f31c93d50c98de005d1ed226925ae73fed8de29cc519b46709057874235952",
          "prev_hash": "b664abe45d439c51bad78ec2752100f3e06402e14683dbeedc0483161950859a",
          "detail": {
            "actor_display": "Alice",
            "actor_id": "h33k_alice",
            "emitted_at_version": 7,
            "proposed_summary": "compound · 4 operations"
          },
          "outcome": "attempt recorded"
        },
        {
          "kind": "transition",
          "id": "h33t_LCPKFUJFTVD3YIUKLXT4PFUTJ6HGHQZW",
          "hash": "589ea2d1259d47bc228a5de7c796934f8e63c33613d58992735d74bb7dca5c42",
          "prev_hash": "99f31c93d50c98de005d1ed226925ae73fed8de29cc519b46709057874235952",
          "detail": {
            "applied_summary": "compound · 4 operations",
            "intent_hash": "99f31c93d50c98de005d1ed226925ae73fed8de29cc519b46709057874235952",
            "post_state_root": "d02fdf25a1642df990ad43cdc8ab02b7123bdf7e526f6713c5be9e58f932250f",
            "post_version": 8
          },
          "outcome": "state changed"
        }
      ],
      "state_root_before": "7ae803c18333d9a737cf416efceaf6914cb6dcb663aef1a497d6383e3ba17eb2",
      "state_root_after": "d02fdf25a1642df990ad43cdc8ab02b7123bdf7e526f6713c5be9e58f932250f",
      "balances_after": [
        {
          "holder_id": "h33k_alice",
          "holder_display": "Alice",
          "instrument_display": "GI-USDC",
          "balance_raw": 800,
          "balance_formatted": "800 USDC"
        },
        {
          "holder_id": "h33k_bob",
          "holder_display": "Bob",
          "instrument_display": "GI-USDC",
          "balance_raw": 200,
          "balance_formatted": "200 USDC"
        },
        {
          "holder_id": "h33k_alice",
          "holder_display": "Alice",
          "instrument_display": "GI-LOYALTY",
          "balance_raw": 500,
          "balance_formatted": "500 pts"
        },
        {
          "holder_id": "h33k_bob",
          "holder_display": "Bob",
          "instrument_display": "GI-LOYALTY",
          "balance_raw": 0,
          "balance_formatted": "0 pts"
        },
        {
          "holder_id": "h33k_agent_008",
          "holder_display": "Agent-008",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 10000,
          "balance_formatted": "$100.00"
        },
        {
          "holder_id": "h33k_vendor_notion",
          "holder_display": "Notion",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 0,
          "balance_formatted": "$0.00"
        },
        {
          "holder_id": "h33k_vendor_openai",
          "holder_display": "OpenAI",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 0,
          "balance_formatted": "$0.00"
        }
      ],
      "aha": "The swap is a single governed transition covering two instruments. Governance evaluates both legs together; either both settle or the whole exchange refuses. No partial fills, no unwinding — enforced by construction."
    },
    {
      "index": 5,
      "title": "Projection Attestation · governance meets reality",
      "narrative": "Circle Mint attests that its books match H33's internal GI-USDC supply. Then Circle's books drift — an attestor records the mismatch. When Alice tries another transfer, governance refuses because H33 no longer has fresh evidence that reality agrees with internal state.",
      "scenario_lines": [
        "Circle Mint · attest matched · 1,000 = 1,000",
        "Circle Mint · attest MISMATCH · internal 1,000 · external 800 · Δ −200",
        "Alice → Bob · 50 GI-USDC (attempted after freshness window)"
      ],
      "receipts": [
        {
          "kind": "projection_attestation",
          "id": "h33n_2UXYWXLQK3WZ3RVILRBFPSLQDW7YS7II",
          "hash": "d52f8b5d7056ed9dc6a85c4257c9701dbf897d0897b43da80af3ba986df34c58",
          "prev_hash": "589ea2d1259d47bc228a5de7c796934f8e63c33613d58992735d74bb7dca5c42",
          "detail": {
            "as_of": 1700000240,
            "attestor_display": "Circle Mint",
            "attestor_id": "h33k_attestor_circle",
            "delta": 0,
            "external_supply": 1000,
            "instrument_id": "h33g_I3P7AH5CWVUJU3W6YNWF7ACAJ77LJIQ4",
            "internal_supply": 1000,
            "matched": true,
            "projection_kind": "circle-mint",
            "projection_reference": "acc_h33_omnibus",
            "state_root": "d02fdf25a1642df990ad43cdc8ab02b7123bdf7e526f6713c5be9e58f932250f"
          },
          "outcome": "external system matches internal state"
        },
        {
          "kind": "projection_attestation",
          "id": "h33n_B4SLZKYA23I53OWRC7JDSNTL4JJB7MQY",
          "hash": "0f24bcab00d6d1ddbad117d239366be2521fb2188167e266f95c9950da18d1d4",
          "prev_hash": "d52f8b5d7056ed9dc6a85c4257c9701dbf897d0897b43da80af3ba986df34c58",
          "detail": {
            "as_of": 1700000300,
            "attestor_display": "Circle Mint",
            "attestor_id": "h33k_attestor_circle",
            "delta": -200,
            "external_supply": 800,
            "instrument_id": "h33g_I3P7AH5CWVUJU3W6YNWF7ACAJ77LJIQ4",
            "internal_supply": 1000,
            "matched": false,
            "projection_kind": "circle-mint",
            "projection_reference": "acc_h33_omnibus",
            "state_root": "d02fdf25a1642df990ad43cdc8ab02b7123bdf7e526f6713c5be9e58f932250f"
          },
          "outcome": "external system disagrees"
        },
        {
          "kind": "intent",
          "id": "h33i_WB43DP5WIF6SOUGM6JWWFRW5PBTBJ2NL",
          "hash": "b079b1bfb6417d2750ccf26d62c6dd786614e9abc1bed176b41cadcf22b015bc",
          "prev_hash": "0f24bcab00d6d1ddbad117d239366be2521fb2188167e266f95c9950da18d1d4",
          "detail": {
            "actor_display": "Alice",
            "actor_id": "h33k_alice",
            "emitted_at_version": 8,
            "proposed_summary": "compound · 2 operations"
          },
          "outcome": "attempt recorded"
        },
        {
          "kind": "refusal",
          "id": "h33f_ECU5A73X7DGDQR7DX3NKLGAPO5DRVZWX",
          "hash": "20a9d07f77f8cc3847e3bedaa5980f77471ae6d7ee60243dbf09a4b8b705e215",
          "prev_hash": "b079b1bfb6417d2750ccf26d62c6dd786614e9abc1bed176b41cadcf22b015bc",
          "detail": {
            "emitted_at_version": 8,
            "intent_hash": "b079b1bfb6417d2750ccf26d62c6dd786614e9abc1bed176b41cadcf22b015bc",
            "reason": "instrument h33g_I3P7AH5CWVUJU3W6YNWF7ACAJ77LJIQ4 · projection freshness requirement violated · last matched attestation age 601s > max 600s"
          },
          "outcome": "state prevented from changing"
        }
      ],
      "state_root_before": "d02fdf25a1642df990ad43cdc8ab02b7123bdf7e526f6713c5be9e58f932250f",
      "state_root_after": "d02fdf25a1642df990ad43cdc8ab02b7123bdf7e526f6713c5be9e58f932250f",
      "balances_after": [
        {
          "holder_id": "h33k_alice",
          "holder_display": "Alice",
          "instrument_display": "GI-USDC",
          "balance_raw": 800,
          "balance_formatted": "800 USDC"
        },
        {
          "holder_id": "h33k_bob",
          "holder_display": "Bob",
          "instrument_display": "GI-USDC",
          "balance_raw": 200,
          "balance_formatted": "200 USDC"
        },
        {
          "holder_id": "h33k_alice",
          "holder_display": "Alice",
          "instrument_display": "GI-LOYALTY",
          "balance_raw": 500,
          "balance_formatted": "500 pts"
        },
        {
          "holder_id": "h33k_bob",
          "holder_display": "Bob",
          "instrument_display": "GI-LOYALTY",
          "balance_raw": 0,
          "balance_formatted": "0 pts"
        },
        {
          "holder_id": "h33k_agent_008",
          "holder_display": "Agent-008",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 10000,
          "balance_formatted": "$100.00"
        },
        {
          "holder_id": "h33k_vendor_notion",
          "holder_display": "Notion",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 0,
          "balance_formatted": "$0.00"
        },
        {
          "holder_id": "h33k_vendor_openai",
          "holder_display": "OpenAI",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 0,
          "balance_formatted": "$0.00"
        }
      ],
      "aha": "Governance can refuse based on external reality — not only on internal state. If H33-USDC and Circle Mint disagree, the runtime blocks further transfers until reality reconciles. That is the difference between 'did this happen?' (a chain) and 'should this happen?' (H33)."
    },
    {
      "index": 6,
      "title": "Same runtime · AI agent spending",
      "narrative": "Agent-008 was granted a $100 GI-BUDGET by H33-Ops. It proposes three spends. The same runtime that governs stablecoin transfers now governs autonomous agent authority — with a per-transaction ceiling enforced before any state change.",
      "scenario_lines": [
        "Agent-008 → Notion · $10.00 · SaaS invoice",
        "Agent-008 → OpenAI · $50.00 · exceeds per-transaction limit",
        "Agent-008 → OpenAI · $20.00 · API credits"
      ],
      "receipts": [
        {
          "kind": "intent",
          "id": "h33i_P7KV7W7JARDAJ6QVA7PWQJ5J55NLXUOK",
          "hash": "7fd55fdbe9044604fa1507df6827a9ef5abbd1cab5e6bcb2d645a1dcb9db6c25",
          "prev_hash": "20a9d07f77f8cc3847e3bedaa5980f77471ae6d7ee60243dbf09a4b8b705e215",
          "detail": {
            "actor_display": "Agent-008",
            "actor_id": "h33k_agent_008",
            "emitted_at_version": 8,
            "proposed_summary": "compound · 2 operations"
          },
          "outcome": "attempt recorded"
        },
        {
          "kind": "transition",
          "id": "h33t_77BNUZYIX2APR7HMM3KQOFXJU7YBINEO",
          "hash": "ffc2da6708be80f8fcec66d50716e9a7f014348ee34d269cee43acf248976b21",
          "prev_hash": "7fd55fdbe9044604fa1507df6827a9ef5abbd1cab5e6bcb2d645a1dcb9db6c25",
          "detail": {
            "applied_summary": "compound · 2 operations",
            "intent_hash": "7fd55fdbe9044604fa1507df6827a9ef5abbd1cab5e6bcb2d645a1dcb9db6c25",
            "post_state_root": "cce8e0c6ac3c64400bde277d209f2b235faf304663d9224effa2765606a4885d",
            "post_version": 9
          },
          "outcome": "state changed"
        },
        {
          "kind": "intent",
          "id": "h33i_IMROF2KM7PV2CHFC3QVQCW4AQPDABTDC",
          "hash": "4322e2e94cfbeba11ca2dc2b015b8083c600cc62565ba49fbdf801b80e43f94d",
          "prev_hash": "ffc2da6708be80f8fcec66d50716e9a7f014348ee34d269cee43acf248976b21",
          "detail": {
            "actor_display": "Agent-008",
            "actor_id": "h33k_agent_008",
            "emitted_at_version": 9,
            "proposed_summary": "compound · 2 operations"
          },
          "outcome": "attempt recorded"
        },
        {
          "kind": "refusal",
          "id": "h33f_QYDRCXZNALJUEA5NUTSBS77EMR35MUPS",
          "hash": "8607115f2d02d34203ada4e4197fe46477d651f23dc8c8e89f66a025fd028fae",
          "prev_hash": "4322e2e94cfbeba11ca2dc2b015b8083c600cc62565ba49fbdf801b80e43f94d",
          "detail": {
            "emitted_at_version": 9,
            "intent_hash": "4322e2e94cfbeba11ca2dc2b015b8083c600cc62565ba49fbdf801b80e43f94d",
            "reason": "instrument h33g_XGF4ZH6NI6SI2W3DB3YXL27J7U5552IA · single spend 5000 at gi/h33g_XGF4ZH6NI6SI2W3DB3YXL27J7U5552IA/balances/h33k_agent_008 exceeds per-transaction limit 2500"
          },
          "outcome": "state prevented from changing"
        },
        {
          "kind": "intent",
          "id": "h33i_WQTTC77XS4YHP7C22TFRZFHUW7TF6VAU",
          "hash": "b427317ff7973077fc5ad4cb1c94f4b7e65f5414a56fde77afc26a66a19d4119",
          "prev_hash": "8607115f2d02d34203ada4e4197fe46477d651f23dc8c8e89f66a025fd028fae",
          "detail": {
            "actor_display": "Agent-008",
            "actor_id": "h33k_agent_008",
            "emitted_at_version": 9,
            "proposed_summary": "compound · 2 operations"
          },
          "outcome": "attempt recorded"
        },
        {
          "kind": "transition",
          "id": "h33t_STP52NLYT2E72LBS7BE65PUILZ5CFWL4",
          "hash": "94dfdd35789e89fd2c32f849eebe885e7a22d97c9a96fd27a97802c5eada80b7",
          "prev_hash": "b427317ff7973077fc5ad4cb1c94f4b7e65f5414a56fde77afc26a66a19d4119",
          "detail": {
            "applied_summary": "compound · 2 operations",
            "intent_hash": "b427317ff7973077fc5ad4cb1c94f4b7e65f5414a56fde77afc26a66a19d4119",
            "post_state_root": "860adef9fd853b360a1a081ff688a55bb31167d5327eef3986ff2734f4a9c715",
            "post_version": 10
          },
          "outcome": "state changed"
        }
      ],
      "state_root_before": "d02fdf25a1642df990ad43cdc8ab02b7123bdf7e526f6713c5be9e58f932250f",
      "state_root_after": "860adef9fd853b360a1a081ff688a55bb31167d5327eef3986ff2734f4a9c715",
      "balances_after": [
        {
          "holder_id": "h33k_alice",
          "holder_display": "Alice",
          "instrument_display": "GI-USDC",
          "balance_raw": 800,
          "balance_formatted": "800 USDC"
        },
        {
          "holder_id": "h33k_bob",
          "holder_display": "Bob",
          "instrument_display": "GI-USDC",
          "balance_raw": 200,
          "balance_formatted": "200 USDC"
        },
        {
          "holder_id": "h33k_alice",
          "holder_display": "Alice",
          "instrument_display": "GI-LOYALTY",
          "balance_raw": 500,
          "balance_formatted": "500 pts"
        },
        {
          "holder_id": "h33k_bob",
          "holder_display": "Bob",
          "instrument_display": "GI-LOYALTY",
          "balance_raw": 0,
          "balance_formatted": "0 pts"
        },
        {
          "holder_id": "h33k_agent_008",
          "holder_display": "Agent-008",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 7000,
          "balance_formatted": "$70.00"
        },
        {
          "holder_id": "h33k_vendor_notion",
          "holder_display": "Notion",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 1000,
          "balance_formatted": "$10.00"
        },
        {
          "holder_id": "h33k_vendor_openai",
          "holder_display": "OpenAI",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 2000,
          "balance_formatted": "$20.00"
        }
      ],
      "aha": "The runtime cannot tell that this is 'AI money' versus stablecoin money. GI-BUDGET is an AssetClass::Custom instance; every receipt, every refusal, every replay works identically. H33-74 is not a payment system — it is a governance kernel that happens to govern payments as one instance."
    },
    {
      "index": 7,
      "title": "Replay from receipts alone",
      "narrative": "A completely independent engine — call it Engine B — is handed the full receipt chain. It has never seen Engine A's state. It computes a fresh state root purely from the receipts, and the roots are byte-identical.",
      "scenario_lines": [
        "Engine A · final state root · 860adef9fd853b36…",
        "Engine B · empty · receives receipts only",
        "Engine B · reconstructed state root · 860adef9fd853b36…",
        "roots match"
      ],
      "receipts": [],
      "state_root_before": "860adef9fd853b360a1a081ff688a55bb31167d5327eef3986ff2734f4a9c715",
      "state_root_after": "860adef9fd853b360a1a081ff688a55bb31167d5327eef3986ff2734f4a9c715",
      "balances_after": [
        {
          "holder_id": "h33k_alice",
          "holder_display": "Alice",
          "instrument_display": "GI-USDC",
          "balance_raw": 800,
          "balance_formatted": "800 USDC"
        },
        {
          "holder_id": "h33k_bob",
          "holder_display": "Bob",
          "instrument_display": "GI-USDC",
          "balance_raw": 200,
          "balance_formatted": "200 USDC"
        },
        {
          "holder_id": "h33k_alice",
          "holder_display": "Alice",
          "instrument_display": "GI-LOYALTY",
          "balance_raw": 500,
          "balance_formatted": "500 pts"
        },
        {
          "holder_id": "h33k_bob",
          "holder_display": "Bob",
          "instrument_display": "GI-LOYALTY",
          "balance_raw": 0,
          "balance_formatted": "0 pts"
        },
        {
          "holder_id": "h33k_agent_008",
          "holder_display": "Agent-008",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 7000,
          "balance_formatted": "$70.00"
        },
        {
          "holder_id": "h33k_vendor_notion",
          "holder_display": "Notion",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 1000,
          "balance_formatted": "$10.00"
        },
        {
          "holder_id": "h33k_vendor_openai",
          "holder_display": "OpenAI",
          "instrument_display": "GI-BUDGET",
          "balance_raw": 2000,
          "balance_formatted": "$20.00"
        }
      ],
      "aha": "H33 does not ask a network to agree. The receipts already carry the whole story, cryptographically. Any party who receives the receipt chain can reconstruct identical governed state — no consensus, no replication, no chain of validators required."
    }
  ],
  "reconstruction": {
    "total_receipts": 30,
    "counts": {
      "intent": 13,
      "transition": 10,
      "refusal": 3,
      "projection_attestation": 4
    },
    "engine_a_final_root": "860adef9fd853b360a1a081ff688a55bb31167d5327eef3986ff2734f4a9c715",
    "engine_b_reconstructed_root": "860adef9fd853b360a1a081ff688a55bb31167d5327eef3986ff2734f4a9c715",
    "roots_match": true,
    "explanation": "Engine A and Engine B are independent. Engine B is initialized empty and only receives Engine A's receipt chain. Its computed final state root is byte-identical to Engine A's. This is the HR-7 core claim: governed state can be reconstructed from cryptographic evidence alone, without consensus."
  }
}