{
  "bundle_version": "0.1",
  "receipt": {
    "type": "ZkVmReceipt",
    "system": "risc0",
    "receiptFormat": "groth16-bn254",
    "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
    "seal": "IHH7s6xO/n+qU8AraF+yiT+g1lFFaBQ1gogWPgR+shUo+IH8/I8tS2DYllRt2bOlml6r9vCM8fGYp9TuOKMzJiHaRlJQ9mHxf3wKTvpJXST4VkByNOaGKwRd6LYU61dMHYLu+el3nQd9Jb8Ff14JfaW1WhPhaqsSsyfmmtLMgEMdD87XIZzzYW/Fi3G+a2tRp1G7hImSNvlBdip6qgGXUA2m6edNj1c7EzDaqddlX2WasFoq0ak9TNPwwt6UWs1cHH9tf3W6BzKYU7GsmseSsiO2U1dhjgAP6U0k14cHWUsXUcsZ2VCCGOBwdrTVomVjqZq2Bv0vXbIsdUQ9Ge7IXw==",
    "journal": {
      "chaingraph_version": "0.4.0",
      "kernel_digest": "sha256:40566c4874e0229d5ecd0a9656e3643dfaabfb3bfdc79ddc78a332d900bec3bf",
      "output": {
        "aggregate_cap_display": "440.10",
        "aggregate_cap_minor_units": 44010,
        "ccpa_floor_display": "217.50",
        "ccpa_floor_minor_units": 21750,
        "citations": {
          "ccpa_general_cap": {
            "detail": "General garnishment ceiling of 25% of disposable earnings, or the amount by which disposable earnings exceed 30 times the federal minimum wage, whichever is less.",
            "source": "29 CFR Part 870 / CCPA Sec. 303"
          },
          "ccpa_support_tiers": {
            "detail": "Support-order withholding tiers of 50/55/60/65% of disposable earnings, keyed on whether the obligor supports another spouse/child and whether arrears exceed 12 weeks. Re-verify against primary text before relying on it (research findings, not facts).",
            "source": "Consumer Credit Protection Act Title III, 15 U.S.C. Sec. 1673(b)"
          },
          "dol_fact_sheet_30": {
            "detail": "General guidance on Title III of the CCPA, cited for the aggregate-ceiling pattern this kernel applies across a multi-order stack.",
            "source": "U.S. DOL Wage and Hour Division, Fact Sheet 30"
          },
          "federal_tax_levy_exemption": {
            "detail": "A federal tax levy is exempt from the CCPA percentage limitations that bind every other order type modelled here. The IRS Publication 1494 wage-bracket exempt-amount table is NOT computed by this kernel.",
            "source": "26 U.S.C. Sec. 6334; CCPA Sec. 303(b)"
          },
          "hea_awg": {
            "detail": "Administrative Wage Garnishment on defaulted federal student loans is capped at 15% of disposable earnings, and may not reduce weekly pay below 30 times the federal minimum wage.",
            "source": "34 CFR Part 34 (Administrative Wage Garnishment); DOL Fact Sheet 30"
          }
        },
        "comparison_basis": "The recomputed side of every comparison is derived here from disposable earnings and the caller-declared order stack, allocated in the order the orders[] array was supplied. It is not read from a garnishment notice. A comparison is only meaningful because the two sides have independent provenance.",
        "currency": "USD",
        "diff": [
          {
            "agrees": true,
            "detail": "The independently recomputed withholding equals the amount the notice states for this order.",
            "difference_display": "0.00",
            "difference_minor_units": 0,
            "in_order_stack": true,
            "noticed_display": "440.10",
            "noticed_minor_units": 44010,
            "order_id": "ord-1",
            "recomputed_display": "440.10",
            "recomputed_minor_units": 44010
          },
          {
            "agrees": true,
            "detail": "The independently recomputed withholding equals the amount the notice states for this order.",
            "difference_display": "0.00",
            "difference_minor_units": 0,
            "in_order_stack": true,
            "noticed_display": "0.00",
            "noticed_minor_units": 0,
            "order_id": "ord-2",
            "recomputed_display": "0.00",
            "recomputed_minor_units": 0
          }
        ],
        "disposable_earnings_display": "733.50",
        "disposable_earnings_floored_at_zero": false,
        "disposable_earnings_minor_units": 73350,
        "employee_net_display": "293.40",
        "employee_net_minor_units": 29340,
        "employee_ref": "SYNTH-EMP-001",
        "federal_minimum_wage_display": "7.25",
        "federal_minimum_wage_minor_units": 725,
        "federal_minimum_wage_source": {
          "dated": "2009-07-24",
          "kind": "dated_prefill"
        },
        "fence": "This is not legal advice. Orders are withheld in the priority order the caller supplies, subject to each order's own statutory cap and an aggregate ceiling equal to the single highest individual cap present in the stack. A federal tax levy is capped only at remaining disposable earnings, not the IRS exempt-amount table. A state levy uses a caller-declared percentage where supplied, otherwise the general CCPA cap. No 50-state table is bundled. A divergence against a supplied notice is an arithmetic finding about the figures supplied here, never a legal determination.",
        "first_uncapped_shortfall": "ord-2",
        "gross_display": "1000.00",
        "gross_minor_units": 100000,
        "indeterminate_reason": null,
        "legally_required_deductions": [
          {
            "amount_display": "150.00",
            "amount_minor_units": 15000,
            "label": "Federal income tax withholding"
          },
          {
            "amount_display": "76.50",
            "amount_minor_units": 7650,
            "label": "FICA"
          },
          {
            "amount_display": "40.00",
            "amount_minor_units": 4000,
            "label": "State income tax withholding"
          }
        ],
        "minor_unit_exponent": 2,
        "not_proven": [
          {
            "detail": "This kernel recomputes statutory-cap arithmetic from caller-declared facts about one pay period. It is not a substitute for counsel, a state agency, or the employer's own legal review.",
            "item": "Not legal advice"
          },
          {
            "detail": "A federal_tax_levy order is capped only at remaining disposable earnings, not at the IRS Publication 1494 wage-bracket exempt-amount table, which this kernel does not compute.",
            "item": "Federal tax levy exempt amount"
          },
          {
            "detail": "No 50-state table is bundled. A state_levy order uses the caller-declared state_overlay.state_levy_cap_percent where supplied; absent that, it defaults to the general CCPA cap, which may not be the correct figure for the governing state.",
            "item": "State levy percentage"
          },
          {
            "detail": "The combined cap across every order in the stack is modelled here as the single highest individual statutory cap present. This is a documented simplification of a fact-specific area of law, not a comprehensive multi-order interaction rule for every jurisdiction.",
            "item": "Aggregate-ceiling simplification"
          },
          {
            "detail": "Orders are withheld in the order the caller lists orders[] in. This kernel infers no priority from order type and does not verify that the supplied order matches the governing statute or a court's instructions.",
            "item": "Priority ordering"
          },
          {
            "detail": "Gross earnings, legally-required deductions, and every order's claimed amount are caller-supplied and asserted, not independently verified against payroll records or a court order.",
            "item": "Input accuracy"
          }
        ],
        "note": "Deterministic multi-garnishment stacking recomputation for one stated pay period. Single-run and stateless: it holds no records, runs on no schedule, and retains nothing. It performs no payroll processing and makes no assertion that any order is valid, enforceable, or correctly served.",
        "noticed_supplied": true,
        "order_count": 2,
        "orders": [
          {
            "arrears_over_12wk": false,
            "cap_basis": "CCPA Title III support tier: 60% of disposable earnings (arrears>12wk=false, second_family=false).",
            "cap_display": "440.10",
            "cap_minor_units": 44010,
            "ccpa_capped": true,
            "claimed_amount_minor_units": 44010,
            "claimed_display": "440.10",
            "fully_withheld": true,
            "label": "Child support order, county court",
            "order_id": "ord-1",
            "second_family": false,
            "shortfall_display": "0.00",
            "shortfall_minor_units": 0,
            "type": "child_support",
            "withheld_display": "440.10",
            "withheld_minor_units": 44010
          },
          {
            "arrears_over_12wk": null,
            "cap_basis": "General CCPA cap: lesser of 25% of disposable earnings and the amount by which disposable earnings exceed 30x the federal minimum wage.",
            "cap_display": "183.38",
            "cap_minor_units": 18338,
            "ccpa_capped": true,
            "claimed_amount_minor_units": 30000,
            "claimed_display": "300.00",
            "fully_withheld": false,
            "label": "Creditor garnishment",
            "order_id": "ord-2",
            "second_family": null,
            "shortfall_display": "300.00",
            "shortfall_minor_units": 30000,
            "type": "creditor",
            "withheld_display": "0.00",
            "withheld_minor_units": 0
          }
        ],
        "period_label": "2026-01-15 biweekly pay period",
        "rationale": [
          "Garnishment stack recomputed for period 2026-01-15 biweekly pay period on employee reference SYNTH-EMP-001.",
          "Disposable earnings of 733.50 USD were derived from gross earnings of 1000.00 USD less 266.50 USD of legally-required deductions.",
          "The federal minimum wage figure used was 7.25 USD/hour (a dated prefill from 2009-07-24), giving a 30x weekly floor of 217.50 USD.",
          "2 orders were withheld in the priority order supplied, subject to each order's own statutory cap and an aggregate ceiling of 440.10 USD (the single highest individual cap present in the stack).",
          "The stack ran out of capacity at order ord-2, the first order whose claimed amount could not be withheld in full within its cap and the remaining disposable earnings and aggregate ceiling.",
          "Total withheld across the stack is 440.10 USD, leaving the employee 293.40 USD of disposable earnings for the period.",
          "The independently recomputed withholding agrees with every one of the 2 orders the notice states a figure for. The left-hand side was computed here from the order stack, not lifted from the notice.",
          "This is not legal advice. The statutory caps modelled here (CCPA support tiers, the general CCPA cap, the HEA AWG cap, and the federal-tax-levy CCPA exemption) are a simplification of a fact-specific area of law; a state's own wage-garnishment statute, a court's instructions, or counsel govern over this arithmetic."
        ],
        "rejected_inputs": [],
        "state_overlay": {},
        "total_deductions_display": "266.50",
        "total_deductions_minor_units": 26650,
        "total_withheld_display": "440.10",
        "total_withheld_minor_units": 44010,
        "verdict": "MATCHES"
      }
    }
  },
  "journal_contract": {
    "spec": "SPEC.md §18.7",
    "serialization": "rfc8785-jcs+utf8",
    "journal_digest": "sha256:550f7940987bb52cf840a9f2f0082c7794a1b588962f3c9864238f73b53c2d81",
    "claim_digest": null
  },
  "provenance": {
    "repo": "PostOakLabs/ainumbers",
    "receipt_source": "chaingraph/graph/nodes/art-572-multi-garnishment-stacking-recompute.json",
    "receipt_source_sha256": "sha256:6281b23d3e5735c10fbcee5c033c6fa9688b477b5d81202427d0deeeb7f5dd6b",
    "anchor_source": "registry/lineage/checkpoint.sigsum-record.json",
    "checkpoint_source": "registry/lineage/checkpoint"
  },
  "anchor": {
    "type": "c2sp-tlog-proof-v1",
    "record": {
      "anchor_type": "c2sp-tlog-proof-v1",
      "log_origin": "sigsum.org/v1/tree/44ad38f8226ff9bd27629a41e55df727308d0a1cd8a2c31d3170048ac1dd22a1",
      "log_url": "https://seasalp.glasklar.is",
      "log_public_key": "0ec7e16843119b120377a73913ac6acbc2d03d82432e2c36b841b09a95841f25",
      "anchored_hash": "sha256:3b9dddcfacf47214cc0bbb19edbc39a5cd3d1c97fa00aa0fd68a517cf67aee2a",
      "leaf": {
        "checksum": "76ea62f7c28942563a1008b44ff888a990b6b2f1d740023982bbd04662adbedb",
        "signature": "2e994211513e790035c9040f4e23b518e64a188f8fd211d203d3a380511fa355e559348b84fc00953c3aa9d91d95bb3696a292054041389943b0fcf4b6c9c502",
        "public_key": "64ffed0396abb761968b34ce849b7b09bc47b8a492ba2efd006b6b8f5622ceca"
      },
      "tree_head": {
        "size": 75024,
        "root_hash": "3cd5407964fe6c6df9f1e7051f5a8e941030b93b68a97656de81f9baa43d640d",
        "log_signature": "ff6baa55f14a9b9a695483113f00fc5c9f3bbb9ca74c01c83dfd8715ad154b2f2d302e71b1b4f52f87ba58f9c15a80a30c6302f0910dc2f0d3e7d857ab0a5003"
      },
      "inclusion_proof": {
        "leaf_index": 75022,
        "path": [
          "15d2f7a6315ce3382346be0bae0b920bfa68349ad438b517277c6e973f5343ef",
          "33dc416363cc76a4e1d907d7c46cafa5ccde896c4b3aac8783b7dc56df5795d8",
          "d2ee6278e332275416624857eed451d640f159258f4c9b315be88fe939ca8a77",
          "83e35bee174ca40f3413c410657f7b3a7c444435043c0af96c8865e03095913c",
          "a59bef38745cdb26f6b87a19b8cd0f609c2e906f02f1d3991d9fa60f0480b580",
          "3ce012af67840673cbd9835e3e57c1d8c6f47f6d737188365acb80151a30e0cc",
          "668dba989ea933a1ecea7315cad1eb9b4e65c7bfdf993edb5f9e992e4c7a354d",
          "6e3104eb98a720cc868416197a730db01f0032cbbb3f74602bf997125a81f28b"
        ]
      },
      "witness_cosignatures": [
        {
          "key_hash": "0dad9d849c57687454f100d87fa729b54cb69f7af97346613348defcba9c361c",
          "timestamp": 1792825229,
          "signature": "b71a5a1b8d95c3a70512cab1930c2468533f3cf40d09d4126fb3c8eadd17fc738a0944b56886befa48d4f917306867b5d669b77f3091c90d936783f470338c07"
        },
        {
          "key_hash": "cd02db1cc0488c28245d7c3ff50b3e214334c067f2571e849425146bb6bd173d",
          "timestamp": 1792825229,
          "signature": "95d726f8522e14a3ec2bd04687b0ea98db64dad72319e1a40653b9d0066423ffd17f37a44c6e7d1da09c13b4cb3c364080a4850aba12a602456706989bfff303"
        },
        {
          "key_hash": "9a0dcddbd96f6d6d404227b5ff23de7a43f25cdde9790af5ace332d347fac49a",
          "timestamp": 1792825230,
          "signature": "86b01971d57851ba8e5fd51e9c3f4845d50dfe9baead1f72a0e759e6a309386cd234321575bac7986b35fd13f98b6ee8e7645a92afef9cfb9f09cf88c0a81c0e"
        },
        {
          "key_hash": "6d6a78191e59815eff9131941fc3e08dd716a281c8b886dd67880d552e587a23",
          "timestamp": 1792825229,
          "signature": "81671d11a22ae26bd348344f7e15db82ca6267f7de4126a8e947a5da628989eb167a8b282d202c62377bf26753a1de62c322b6460b899f854465da5fc1c27601"
        },
        {
          "key_hash": "6bdf03b285fce48e00ff9b199cb2b77472dcc4a112f067fa5b274929cb9504e3",
          "timestamp": 1792825229,
          "signature": "49450a408ffdb2e047076e8ed01beb2f8077a53e3cab765ecec0614151f50c643038be46f4a7266ed6edb30974d4154b9a4c2c6c3b46d71e10f878dbe2c36102"
        },
        {
          "key_hash": "ff2f237a707a2d3a6adfb1600d3375cafe4527ba4fcec793e6093b9b1a4bd79a",
          "timestamp": 1792825229,
          "signature": "dfa05cb7f4c1389903f8377e8f4daf7fbf3a7c99ad65bc9c81029c12cb07004d25473ed022e0cefe5cdf05e497aeded87e57fabcc7d87dbfc1923bee2ab1260e"
        },
        {
          "key_hash": "81538d254f0a67aa07172826ef46fe0cd04b7425bd634a50bb0a8419d55fa65f",
          "timestamp": 1792825229,
          "signature": "6caece92c05dd00057b0c908c969b0eccbcf87c1b418c3fe4cb7b3dad781c125dc86b1895fc7019614a1eca3cfb6fb19f8442e64069d38870f1f620a6d41a60d"
        },
        {
          "key_hash": "774fafee07d3b0d9399d669676440a6301db9fa8fe2140d7d352418da25144c5",
          "timestamp": 1792825230,
          "signature": "7f0c93c5f31347edcd47f5850bf665de43539efb3b295e32563f004f0feec33ae3d9d84e031f1859e42b10218a17a0f0df019253f448ccd76d7499afa2e0ab04"
        },
        {
          "key_hash": "f6f91669f7955f542718af9edb6a1276d88a0f8822cba9046e549d0b3796f394",
          "timestamp": 1792825229,
          "signature": "a3d77cfcafbc1a1d096b422276fa50994e269a7b61797064a4b2e758808bf8c4e27b4f1caae28291bd486c71ae2c2a6b57d0443cc7a7eac11114ce517c3c800c"
        },
        {
          "key_hash": "5da2b3803c2f802eed9744b74e3e4a3d31e1e77ed994ef56730d57fa52f698a5",
          "timestamp": 1792825229,
          "signature": "302d4d04700aff6efa819b203915b04f7ffdac8b1579b969d54d332f3a74063d390383fa77766d4e3fbe995cc2de69be6127d3a0662559db80b9f6e187c59105"
        },
        {
          "key_hash": "3573fb7fdab7434cd0dad9fd6460abf420388055db8aaaec177c248f03a990cc",
          "timestamp": 1792825230,
          "signature": "a6bdce3abf06934fb65d3ccfa49dab537569f36f9ffddb219642104272de95cdadb2f501cfd0e71995328c5b6df899d89f88650c67a3a61f2cca166ac1556c06"
        },
        {
          "key_hash": "d59098d686f47ec1d4d1984c8ac0ab97a3d8a65c7ba8cb6422ada0fae927e194",
          "timestamp": 1792825230,
          "signature": "8dab0aaec1272e078195a13b620c2a6f46128218ac70440383b59f9038d4d42f4bc8b643c001592ae005b157f221ba0387733d1505dd5b3298ad579398129c04"
        }
      ]
    },
    "checkpoint_text": "ainumbers.co/registry/lineage\n77\n5z6Ug6W2BZ2nOm3btMKO8R4pkYHtYENH0v+MJOm9qac=\n\n— ainumbers.co/registry/lineage JrLnur2JVUx48WLcyZxWqbSgiY63HRRAlGCvfM7AgCcnBY06MX8kbyWE290q052tS6nQyxTr3fclM7c2Qi/pfqcrGAM=\n",
    "subject": {
      "kind": "registry-checkpoint",
      "origin": "ainumbers.co/registry/lineage",
      "log_policy": "chaingraph/policies/ainumbers-registry-lineage.tlog-policy"
    }
  },
  "trust_policy": {
    "name": "sigsum-generic-2025-1",
    "source": "chaingraph/policies/sigsum-generic-2025-1.tlog-policy",
    "sha256": "sha256:666d9d0b9ab2e4019769c42eaccd7d6d502a9abac45979bb9b08b7213e4f53e3",
    "shape": "2 logs, 3 witnesses, quorum 2-of-3"
  }
}