{
  "composed_ok": true,
  "composed_reasons": [],
  "composed_status": "NARROWED",
  "extras": {
    "inputs": {
      "admission_context": {
        "amount_usd": 250,
        "principal": {
          "trust": "verified"
        },
        "tool": "transfer_funds",
        "tool_args": "payee=ACME-001"
      },
      "admission_history": [
        {
          "facts": {
            "account": "primary",
            "event": "account_read"
          },
          "scope": "billing"
        },
        {
          "facts": {
            "event": "limit_check",
            "limit_minor": 100000
          },
          "scope": "billing"
        }
      ],
      "decision": {
        "detail": {
          "fail_closed": false,
          "permit": 0
        },
        "layer": "L2.admission",
        "ok": true,
        "reasons": [],
        "status": "AUTHORIZED"
      },
      "delegation_chain": [
        {
          "audience": [
            "ledger-api",
            "treasury-api"
          ],
          "capabilities": [
            "query_db:read",
            "read_file:invoke",
            "transfer_funds:invoke"
          ],
          "delegate_public_b64": "G4XpB8In4nutRop7rGZyoViFMA7HRf62OgRDfkcL5H4=",
          "depth": 0,
          "expires_at": "2026-12-31T23:59:59Z",
          "issued_at": "2026-11-01T00:00:00Z",
          "link_id": "67feee18ea9fd826f66a504f121950a6f6cd72dffcd9e12e16eb11314414e359",
          "max_depth": 3,
          "parent_depth": null,
          "parent_expires_at": null,
          "parent_issuer_public_b64": null,
          "parent_link_hash": null,
          "principal": "acme/ops/human:v.noriega",
          "public_key_b64": "9FzZKNvU+gvEAPD3LHGvLCS56O64bGIij4WtexVhfnc=",
          "purpose": "quarterly payables run",
          "record_hash": "e7e2d3a6742cf1a5918ef67a23d25c4bcffc019b6b538a142dbe6aed4109799c",
          "schema": "cain42.notary.l1.link.v1",
          "sig_b64": "9G0lHlP+mZnZyXEuhmFUuugoabvD3WSsW69lOI6NqJEwrWn5k4suVFb43R1K73mZQk2jZcXaxHAyNUinVHgpDw=="
        },
        {
          "audience": [
            "treasury-api"
          ],
          "capabilities": [
            "query_db:read",
            "transfer_funds:invoke"
          ],
          "delegate_public_b64": "1GlJhfCjfY9PhL/37dvuhQjrSG3MGbJ2N3uJm71d0J8=",
          "depth": 1,
          "expires_at": "2026-12-01T23:59:59Z",
          "issued_at": "2026-11-02T00:00:00Z",
          "link_id": "002817032ede1ca256eb646d4a703fe5a29d2aa069bc3f01e01819f0ae1c3d0f",
          "max_depth": 3,
          "parent_depth": 0,
          "parent_expires_at": "2026-12-31T23:59:59Z",
          "parent_issuer_public_b64": "9FzZKNvU+gvEAPD3LHGvLCS56O64bGIij4WtexVhfnc=",
          "parent_link_hash": "e7e2d3a6742cf1a5918ef67a23d25c4bcffc019b6b538a142dbe6aed4109799c",
          "principal": "acme/ops/human:v.noriega",
          "public_key_b64": "G4XpB8In4nutRop7rGZyoViFMA7HRf62OgRDfkcL5H4=",
          "purpose": "pay approved invoices",
          "record_hash": "a26c0df90c058c1a935425f3834befbb294726be55f0deb4252f122d5c3f77ed",
          "schema": "cain42.notary.l1.link.v1",
          "sig_b64": "gaX4dbYQG1CpnN8H31IKxVob02DjjwTAD5FMtBt1V1L/ESlPuJIZCmwmQAGkenuj9iRKZ/2Tv74/rZ5Utn4ACQ=="
        }
      ],
      "effect": {
        "amount_minor": 25000,
        "currency": "USD",
        "nonce": "mandate-4432",
        "params": {
          "amount_minor": 25000,
          "executed_at": "2026-11-10T12:00:00Z",
          "payee": "ACME-001"
        },
        "settlement": {
          "amount_minor": 25000,
          "currency": "USD",
          "ref": "stl_9f31"
        },
        "side_effects": [
          "ledger_entry"
        ],
        "tool": "transfer_funds"
      },
      "expected": {
        "compose": "strictest layer wins"
      },
      "mandate": {
        "agent": "agent:treasury-bot-7",
        "allowed_effect_keys": [
          "executed_at",
          "nonce",
          "settlement",
          "side_effects"
        ],
        "allowed_side_effects": [
          "ledger_entry",
          "notify_treasury"
        ],
        "allowed_tools": [
          "query_db",
          "transfer_funds"
        ],
        "audience": [
          "treasury-api"
        ],
        "budget_minor": 50000,
        "currency": "USD",
        "expires_at": "2026-12-31T23:59:59Z",
        "nonce": "mandate-4432",
        "param_constraints": {
          "params.payee": [
            {
              "op": "startswith",
              "value": "ACME-"
            }
          ]
        },
        "principal": "acme/ops/human:v.noriega",
        "public_key_b64": "9FzZKNvU+gvEAPD3LHGvLCS56O64bGIij4WtexVhfnc=",
        "record_hash": "c904b6c049ac4c4c33940109da7d31cc8ce7f62a5b4566ac37359212bb46dd1c",
        "schema": "cain42.notary.l4.mandate.v1",
        "sig_b64": "Kqy1Amj7L4ze4Xo9o+BVEe6kDV53vFj9hYcwKL7lD3ral0bp7WAM4u0ez8yohtlFA93BawAjME04XUT3+vqtCw=="
      },
      "proposal": {
        "amount_minor": 25000,
        "audience": "treasury-api",
        "currency": "USD",
        "nonce": "mandate-4432",
        "params": {
          "amount_minor": 25000,
          "payee": "ACME-001"
        },
        "tool": "transfer_funds"
      },
      "receipt": {
        "agent": "agent:treasury-bot-7",
        "amount_minor": 25000,
        "currency": "USD",
        "effect_hash": "785e76df24c31452b90a4e610e27117313858a222347c899011f47acd745c931",
        "grants_authority": false,
        "mandate_hash": "c904b6c049ac4c4c33940109da7d31cc8ce7f62a5b4566ac37359212bb46dd1c",
        "nonce": "mandate-4432",
        "principal": "acme/ops/human:v.noriega",
        "proposal_hash": "f0abd620b5b65f30f714a6a251c55fa2bdcbb4254810759fbc316cc41d9f0458",
        "public_key_b64": "aJMEAaKGwlCUASj6xKZ4HnmfM3t/A2+WCpMLHybGw9w=",
        "record_hash": "5a2be8bca1dcb0c1caa2155e5795d2b9b2d87057155b437cd8beba72dda93e4f",
        "schema": "cain42.notary.l4.receipt.v1",
        "settlement_hash": "548a435387078b95ddb7933785d699264b32cd38ad71fecb04a1087e8477ca39",
        "sig_b64": "9emq2mBW2xDgJVMgKQqg3pk81KlKMdsmpZoj/mnFMPaGmahCXgUcUMkp11hZhyKNAibVV45StT7TyNue72RKAA==",
        "tool": "transfer_funds",
        "verdict": {
          "detail": {
            "budget_minor": 50000,
            "currency": "USD",
            "remaining_minor": 25000,
            "spent_minor": 25000,
            "tool": "transfer_funds"
          },
          "layer": "L4.intent-effect",
          "ok": true,
          "reasons": [],
          "status": "NARROWED"
        }
      },
      "root": {
        "fault_tolerance": 1,
        "grants_authority": false,
        "n": 4,
        "notarizes_only": true,
        "receipts": [
          {
            "digest": "02b9b77401e41f28eea2251857d51ce8391446e84ed8a0680b2312d8c092e819",
            "fault_tolerance": 1,
            "height": 0,
            "n": 4,
            "receipt_hash": "3f63f7e8118569b320f3bc8b4e0ba32bb0a40ecb5c1824cc26d8b1284e655d26",
            "schema": "cain42.notary.l0.receipt.v1",
            "threshold": 3,
            "votes": [
              {
                "public_key_b64": "VBdKtM44qCVUCzO5rCJxBpoZl2ZxfkhSrRzI6lZnQkk=",
                "replica": "quorum/replica-0",
                "sig_b64": "jjw1l/PMt8D9YyBY02GKIQubSTkqCf9hfd1z9tHAcKYVxLwjuGx3G9UYuBLKyasLvJka3BSxzRGo6gLP2CGJAg=="
              },
              {
                "public_key_b64": "Ljdn9gjp1J06T1z69u9oi+eXLyrBV9aMJOOGNUE5wgs=",
                "replica": "quorum/replica-1",
                "sig_b64": "dzOABfrCuRDiuaENOM2uSxTTwI8v2MwMnfShWTxhpv+xrAGHjoa6yMmedZVHf9QK8nCAKCNV1GP9cIN5upe5Bg=="
              },
              {
                "public_key_b64": "7AdMvBTH/FNfJRgC67wjxOJeKPo4+bVL4fenEBz9jTk=",
                "replica": "quorum/replica-2",
                "sig_b64": "MhzIUg32j77zI/Qlfe/L0O5k6DBiDRISzqCvOP5dITtGHrvWc/GSVb2IrDeM+sevRvbryoDZXVR9S8vBVEaJBQ=="
              },
              {
                "public_key_b64": "h3yeW5wGWZJvgQCV76Wz0L/Q/ZcGNKAQMgWx1ArwntI=",
                "replica": "quorum/replica-3",
                "sig_b64": "jG+ZdZejZIPCPCWFC2q+FnODqZO96Yk9oSof9ymsA5ZFPkA/Ab1aqe4NWjN1LYpVAxS3+hUIEltFRMUkhYVaCQ=="
              }
            ]
          },
          {
            "digest": "cd19176c6e11c4bd966709d43972dcd05cf846694af7206a00b6a37a6e2c4d97",
            "fault_tolerance": 1,
            "height": 1,
            "n": 4,
            "receipt_hash": "3dea0ff34895af656149d32d9d26d7cf08e190d54b6619d738139fdc3207eb28",
            "schema": "cain42.notary.l0.receipt.v1",
            "threshold": 3,
            "votes": [
              {
                "public_key_b64": "VBdKtM44qCVUCzO5rCJxBpoZl2ZxfkhSrRzI6lZnQkk=",
                "replica": "quorum/replica-0",
                "sig_b64": "EMkRjsf8jOvPFSyHP0rAYe+snCIMLXNBZb5Yer44BSbroHqFDZR1HSDXL2cx1P9LiUwt/hMncYUXrcPnosvQBg=="
              },
              {
                "public_key_b64": "Ljdn9gjp1J06T1z69u9oi+eXLyrBV9aMJOOGNUE5wgs=",
                "replica": "quorum/replica-1",
                "sig_b64": "K4H+3X+/7DzffmkqLlB2Yr/b95a/R5keqdrwgqzkbuGL+lMCWKV8SB1zUjTg8ygUqxaMh3sB4bBSwuSd0ciLAA=="
              },
              {
                "public_key_b64": "7AdMvBTH/FNfJRgC67wjxOJeKPo4+bVL4fenEBz9jTk=",
                "replica": "quorum/replica-2",
                "sig_b64": "Dt2AgXSgcFMeYrFhKDvfWzBzIj3g8gsXCUoGaCZrfXDR0cxiRLBCrStRlGeipAhO0EWrApDsTC7U7s+KmSuzCQ=="
              },
              {
                "public_key_b64": "h3yeW5wGWZJvgQCV76Wz0L/Q/ZcGNKAQMgWx1ArwntI=",
                "replica": "quorum/replica-3",
                "sig_b64": "0u9u6yveCSaVmwIaacCOpQc6mSBpDTi49y2B+USdCZNIiF9L3fbwVynEx5CRuJaY2X1uHYrgDn8/I0akVhsRCg=="
              }
            ]
          },
          {
            "digest": "0e7d1a12a86d7001fcb3c00ab4f0deb39e396e52e897a7941e7d273be393ee3a",
            "fault_tolerance": 1,
            "height": 2,
            "n": 4,
            "receipt_hash": "048653681019e34750c7cae92ae5ca0c9f575972dcd3772163c194a6c1f6d988",
            "schema": "cain42.notary.l0.receipt.v1",
            "threshold": 3,
            "votes": [
              {
                "public_key_b64": "VBdKtM44qCVUCzO5rCJxBpoZl2ZxfkhSrRzI6lZnQkk=",
                "replica": "quorum/replica-0",
                "sig_b64": "6jM75GU5Ta0Hnu1PmBJydRow0/adBSNF5cC/20/vw15ILBxi/v+Z5hIlCdy3Y6FLJ33MkF+UxzlClzgzdBkdDw=="
              },
              {
                "public_key_b64": "Ljdn9gjp1J06T1z69u9oi+eXLyrBV9aMJOOGNUE5wgs=",
                "replica": "quorum/replica-1",
                "sig_b64": "rYOZ1DOYBwBnElUYp2Ym3PQdHctbrvXNQ1pDmegZx1jp++CZJ9IgF2wpobhTA36HyLjsLfhVRJD1H0XICnZJAA=="
              },
              {
                "public_key_b64": "7AdMvBTH/FNfJRgC67wjxOJeKPo4+bVL4fenEBz9jTk=",
                "replica": "quorum/replica-2",
                "sig_b64": "HoefmW2rpxRSl/cQEorFTqciXwxmRrCOMBStIPB8TQoQwctsIHDPVITlyhq5ajBnaxxEXH2Zuv15cQM+FB/7DA=="
              },
              {
                "public_key_b64": "h3yeW5wGWZJvgQCV76Wz0L/Q/ZcGNKAQMgWx1ArwntI=",
                "replica": "quorum/replica-3",
                "sig_b64": "YU+6qTLVmzo9+oKeTFImZ0DQ3Om7xz1s4hE9E+ZCsIRzMB0bCfeMDrlqOu0XiUDAdUWrmw9U3hRaZI4WmIlhCw=="
              }
            ]
          },
          {
            "digest": "d93131bf5275214e53ab7f37f18388e5655d3229fed3fb680085a8b5969ec4a8",
            "fault_tolerance": 1,
            "height": 3,
            "n": 4,
            "receipt_hash": "f281399b06245536be1b0e3c9fd5353723800ea0b8e786ea12d7e3d27b8eb6f4",
            "schema": "cain42.notary.l0.receipt.v1",
            "threshold": 3,
            "votes": [
              {
                "public_key_b64": "VBdKtM44qCVUCzO5rCJxBpoZl2ZxfkhSrRzI6lZnQkk=",
                "replica": "quorum/replica-0",
                "sig_b64": "dV0mAeuX0koNiL+r8nGM1sTxM6SYTcZ5/cZtkaVdAF1ms5TBdHto5dqzscdfW470wgxOBUWTAeETlNLbx6YODA=="
              },
              {
                "public_key_b64": "Ljdn9gjp1J06T1z69u9oi+eXLyrBV9aMJOOGNUE5wgs=",
                "replica": "quorum/replica-1",
                "sig_b64": "LQbj4Q3gdhQI1AwC1ly6C03ZvOF/dE45pgP2IiLNxsb+qxtLxvyReYmBWbrVanh86NYWoGmkAX3jc+ES2pSsCA=="
              },
              {
                "public_key_b64": "7AdMvBTH/FNfJRgC67wjxOJeKPo4+bVL4fenEBz9jTk=",
                "replica": "quorum/replica-2",
                "sig_b64": "o9bRfE6rsUPM5d5rHS7sFQ/NgCvZzi8xNAVJxjTTRiIqy0WUawfzmSr6BZ07KCHzuT8PoYc5csOKoHkeIUEzCQ=="
              },
              {
                "public_key_b64": "h3yeW5wGWZJvgQCV76Wz0L/Q/ZcGNKAQMgWx1ArwntI=",
                "replica": "quorum/replica-3",
                "sig_b64": "B1SAD5WRrwBNi9oZFN+3oFlB9nXiW9AhAhsJtuk/W92eHogn+u0YScXblzKMRUh9MJS3vpyS1bJAsSugpjp5Cg=="
              }
            ]
          },
          {
            "digest": "452dc53074bccfd356826b162a2debe607252e79a1892fa9ed742de3c085b269",
            "fault_tolerance": 1,
            "height": 4,
            "n": 4,
            "receipt_hash": "7c105c53a2cc3ebcefb4c5182b1b4984fe35e0b8fd324a88f643ceccfd953517",
            "schema": "cain42.notary.l0.receipt.v1",
            "threshold": 3,
            "votes": [
              {
                "public_key_b64": "VBdKtM44qCVUCzO5rCJxBpoZl2ZxfkhSrRzI6lZnQkk=",
                "replica": "quorum/replica-0",
                "sig_b64": "sPuJyipCXBpI95th8Z55eT8fTLkgfUF1mfktDp3crDeqKdvZ9Vp+1BmlvJyiYisj5kKwExFsYITV3w1V3BcRCQ=="
              },
              {
                "public_key_b64": "Ljdn9gjp1J06T1z69u9oi+eXLyrBV9aMJOOGNUE5wgs=",
                "replica": "quorum/replica-1",
                "sig_b64": "ZsyCJZWIPpikPYK77lR+TECjo7JBxUi5x8H8p/joIZA4bZ3t3qlA/fbvNFhQJsHhlsUfEtB0Zz6b3NM/l8Y5DA=="
              },
              {
                "public_key_b64": "7AdMvBTH/FNfJRgC67wjxOJeKPo4+bVL4fenEBz9jTk=",
                "replica": "quorum/replica-2",
                "sig_b64": "/Gx8yMD3vAP7Sqt5DK2wAWAhgro6tzimev/yIHm1lLExwjsIYwPnd0XMHPXtqDl+gVvhBgOKldtlqE+Pdxu8BQ=="
              },
              {
                "public_key_b64": "h3yeW5wGWZJvgQCV76Wz0L/Q/ZcGNKAQMgWx1ArwntI=",
                "replica": "quorum/replica-3",
                "sig_b64": "Nz0OFQtDI9p4dYs+ErkjR/2ySvH0wB23v/bvNwXog/hp/MrMGBShBOWH0OeBQwvWVxEwHo7/wBgbSUKq0ccBBg=="
              }
            ]
          }
        ],
        "root_digest": "3b32b252973318a347874538bc77d7f410099450d6ece4dc6d8235dd288456f3",
        "schema": "cain42.notary.l0.root.v1",
        "threshold": 3
      },
      "state_chain": [
        {
          "facts": [
            {
              "key": "balance_minor",
              "source": "bank://acct/primary",
              "value": 120000,
              "verdict": "VERIFIED"
            },
            {
              "key": "payee",
              "source": "erp://vendors/ACME-001",
              "value": "ACME-001",
              "verdict": "VERIFIED"
            }
          ],
          "facts_digest": "1cd963d9de7be3a20225c43f5d796177d0f1746dc86b720967d8cf14ff417b75",
          "hash": "20c58e71fc6aeb6ffd0aa4b563101f05774751ab6eb35c1089176009b1723a41",
          "note": "verified state at step 1",
          "prev_hash": "94c381bf665147a660111601bc1fd65ab43dba0dcc2e70e896016b0f652335e2",
          "schema": "cain42.notary.l3.checkpoint.v1",
          "step": 1,
          "tenant": "acme-treasury",
          "unverified_keys": [],
          "verified_only": true
        },
        {
          "facts": [
            {
              "key": "daily_limit_minor",
              "source": "policy://treasury/limits",
              "value": 100000,
              "verdict": "VERIFIED"
            },
            {
              "key": "invoice_total_minor",
              "source": "erp://invoices/INV-4471",
              "value": 25000,
              "verdict": "VERIFIED"
            }
          ],
          "facts_digest": "870d280613821b10fcedd3fc358dfd797b453ebcf59289000359ea34c225eeba",
          "hash": "7ab8fd9dbdc6929f4f206f5decbe0ea2ccd805086e99f478251f0b12721cdfcf",
          "note": "verified state at step 2",
          "prev_hash": "20c58e71fc6aeb6ffd0aa4b563101f05774751ab6eb35c1089176009b1723a41",
          "schema": "cain42.notary.l3.checkpoint.v1",
          "step": 2,
          "tenant": "acme-treasury",
          "unverified_keys": [],
          "verified_only": true
        },
        {
          "facts": [
            {
              "key": "approved_by",
              "source": "approvals://queue/4432",
              "value": "v.noriega",
              "verdict": "VERIFIED"
            }
          ],
          "facts_digest": "16fb193b481c13dfc57ceb2207d00a15b327c7e31ba9b26fe8540f5702573669",
          "hash": "bad95a3e4fa5111e0db66d4fec0a397ec52114b99f6d225f65ed4416af45f90b",
          "note": "verified state at step 3",
          "prev_hash": "7ab8fd9dbdc6929f4f206f5decbe0ea2ccd805086e99f478251f0b12721cdfcf",
          "schema": "cain42.notary.l3.checkpoint.v1",
          "step": 3,
          "tenant": "acme-treasury",
          "unverified_keys": [],
          "verified_only": true
        }
      ]
    },
    "proof": {
      "all_proved": true,
      "decision_algebra": "decision = permit AND requires AND NOT forbid AND NOT error",
      "engine": "z3",
      "grants_authority": false,
      "lean_equivalence_proof": "PENDING — Lean 4 is not installed on the build host",
      "proof_hash": "452dc53074bccfd356826b162a2debe607252e79a1892fa9ed742de3c085b269",
      "schema": "cain42.notary.l2.proof.v1",
      "scope": "Bounded symbolic proof of the admission decision algebra with Z3. Not a Lean 4 machine-checked equivalence proof; not a proof about the world.",
      "theorems": [
        {
          "counterexample": null,
          "id": "T1-safety",
          "proved": true,
          "smt_result": "unsat"
        },
        {
          "counterexample": null,
          "id": "T2-fail-closed",
          "proved": true,
          "smt_result": "unsat"
        },
        {
          "counterexample": null,
          "id": "T3-permit-necessity",
          "proved": true,
          "smt_result": "unsat"
        },
        {
          "counterexample": null,
          "id": "T4-forbid-monotone",
          "proved": true,
          "smt_result": "unsat"
        },
        {
          "counterexample": null,
          "id": "T5-require-necessity",
          "proved": true,
          "smt_result": "unsat"
        }
      ],
      "z3_version": "5.1.0"
    },
    "proof_check": {
      "all_proved": true,
      "problems": [],
      "theorems": 5,
      "valid": true
    },
    "root_check": {
      "problems": [],
      "receipts": 5,
      "root_digest": "3b32b252973318a347874538bc77d7f410099450d6ece4dc6d8235dd288456f3",
      "valid": true
    }
  },
  "grants_authority": false,
  "layers": [
    {
      "detail": {
        "notarizes_only": true,
        "receipts": 5,
        "root_digest": "3b32b252973318a347874538bc77d7f410099450d6ece4dc6d8235dd288456f3"
      },
      "layer": "L0.root",
      "ok": true,
      "reasons": [],
      "status": "AUTHORIZED"
    },
    {
      "detail": {
        "hops": 2,
        "leaf_capabilities": [
          "query_db:read",
          "transfer_funds:invoke"
        ],
        "narrowed": true,
        "principal": "acme/ops/human:v.noriega",
        "root_capabilities": [
          "query_db:read",
          "read_file:invoke",
          "transfer_funds:invoke"
        ]
      },
      "layer": "L1.delegation",
      "ok": true,
      "reasons": [],
      "status": "NARROWED"
    },
    {
      "detail": {
        "fail_closed": false,
        "permit": 0
      },
      "layer": "L2.admission",
      "ok": true,
      "reasons": [],
      "status": "AUTHORIZED"
    },
    {
      "detail": {
        "checkpoints": 3,
        "head": "bad95a3e4fa5111e0db66d4fec0a397ec52114b99f6d225f65ed4416af45f90b",
        "verified_only": true
      },
      "layer": "L3.state",
      "ok": true,
      "reasons": [],
      "status": "AUTHORIZED"
    },
    {
      "detail": {
        "budget_minor": 50000,
        "currency": "USD",
        "remaining_minor": 25000,
        "spent_minor": 25000,
        "tool": "transfer_funds"
      },
      "layer": "L4.intent-effect",
      "ok": true,
      "reasons": [],
      "status": "NARROWED"
    }
  ],
  "notarizes_only": true,
  "proof_all_proved": true,
  "proof_hash": "452dc53074bccfd356826b162a2debe607252e79a1892fa9ed742de3c085b269",
  "root_digest": "3b32b252973318a347874538bc77d7f410099450d6ece4dc6d8235dd288456f3",
  "scenario": "A-compliant-treasury-transfer",
  "schema": "cain42.notary.v3.stack.v1",
  "stack_hash": "c9e36bf08f9dd8776d9adbebae4d6e2a186339bed0877d9425246cb756b9cb3c"
}