{
  "bundle_version": "0.1",
  "receipt": {
    "type": "ZkVmReceipt",
    "system": "risc0",
    "receiptFormat": "groth16-bn254",
    "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
    "seal": "I6GGG6U7pWdu6RuElR2u6J4YCHzUoGUJdBh44ONq/EsH35jrtzHP7wC0ns1uD2dz5ePdXLifH4Vy5aNVAL6FOCyRj7COn0DTNP7TtYhsapydcrklGa/paGFQafW/Dt52BQKR1M/B0J8qrOANn58RLKGjpX2OWUB8+rkxpFvJeCkhaeijPjejVtl2Av95LRrFyXI6KB+VV++EZthM1KanezAMEI5WwigS49ySCXr2lrpKdwKa5Ed6c/Z3vsTsGK0bAX8tuNSoUMeShzzdUoCBSLpb6ACWkegrxI588E97S44Aa4GHcgsO+zyi81sGb+Y7MysZ+Anl7yhC+GrAA9Gb0g==",
    "journal": {
      "chaingraph_version": "0.4.0",
      "kernel_digest": "sha256:08217afde2dfb95ca1d609a0f728de20f5c0786e6784d47b79847984109622a3",
      "output": {
        "account_token": "acct-demo-001",
        "citations": {
          "reg_dd_fee_disclosure": {
            "detail": "Requires disclosure of fees that may be imposed on an account, including overdraft and NSF fee amounts. Re-verify against primary text before relying on it (research findings, not facts).",
            "source": "Truth in Savings Act / Regulation DD, 12 CFR Part 1030"
          },
          "reg_e_authorization_hold": {
            "detail": "Governs authorization-hold and electronic-transfer dispute-resolution treatment referenced by the APSN (authorize-positive-settle-negative) fee pattern this kernel recomputes given a declared posting policy -- cited for the authorization-hold concept, not as a determination of any institution's compliance.",
            "source": "Regulation E, 12 CFR Part 1005"
          }
        },
        "comparison_basis": "The recomputed side of every comparison is derived here from the posted ledger, the declared opening balance, and the declared fee schedule, aggregated by post_date and fee type. It is not read from the core-charged figures. A comparison is only meaningful because the two sides have independent provenance.",
        "core_charged_fee_events": [],
        "core_supplied": false,
        "currency": "USD",
        "diff": [],
        "events": [],
        "extended_fee_dates": [],
        "fee_schedule": {
          "daily_fee_cap_count": null,
          "extended_overdrawn_days": null,
          "extended_overdrawn_fee_minor_units": null,
          "extended_tier_active": false,
          "nsf_fee_display": "0.00",
          "nsf_fee_minor_units": 0,
          "od_fee_display": "0.00",
          "od_fee_minor_units": 0,
          "representment_dedup_days": null
        },
        "fence": "This is an independent recompute and receipt, not a core alternative, not a vendor audit, and not an endorsement claim by any core vendor or platform. Posting order and the fee schedule are caller-declared inputs, never chosen or inferred. A divergence is an arithmetic finding, never a determination that a fee was charged incorrectly or impermissibly, or is owed back -- interpretation belongs to the caller.",
        "indeterminate_reason": "No usable ledger rows were supplied, so no fee events could be recomputed.",
        "ledger_row_count": 0,
        "minor_unit_exponent": 2,
        "not_proven": [
          {
            "detail": "This kernel recomputes fee arithmetic given a caller-declared posting-order policy and fee schedule. It makes no claim about whether that policy or schedule is lawful, disclosed correctly, or matches the account agreement.",
            "item": "Not a legality determination"
          },
          {
            "detail": "The extended-overdrawn streak counts consecutive DISTINCT post_date values present in the supplied ledger, not true consecutive calendar days. A ledger with gaps (no transactions on some calendar days) will undercount calendar days negative.",
            "item": "Extended-overdrawn day counting is ledger-date-based, not calendar-based"
          },
          {
            "detail": "core_charged_fees is compared against recomputed fees aggregated per day and fee type, not matched one-to-one against a specific triggering item, unless the caller-supplied txn_id happens to align.",
            "item": "Diff aggregation is by (post_date, fee_type), not by individual transaction"
          },
          {
            "detail": "This kernel consumes only the Sec0 generic ledger CSV shape. It does not read any core's native export format (Episys, SilverLake, DNA, Premier, or otherwise) and makes no claim about those formats.",
            "item": "No per-core export adapter"
          },
          {
            "detail": "The posted ledger, fee schedule, and core-charged fees are caller-supplied and asserted, not independently verified against source records.",
            "item": "Input accuracy"
          }
        ],
        "note": "Deterministic OD/NSF fee-event recomputation for one stated period. Single-run and stateless: it holds no records, runs on no schedule, and retains nothing. It performs no core posting integration of any kind (batch, caller-pasted export only).",
        "opening_balance_display": "0.00",
        "opening_balance_minor_units": 0,
        "period_label": "2026-08",
        "posting_order_policy": "as_supplied",
        "posting_policy_defaulted": true,
        "rationale": [
          "OD/NSF fee events recomputed for account acct-demo-001, period 2026-08, opening balance 0.00 USD.",
          "Same-post_date items were re-sequenced per the declared posting_order_policy \"as_supplied\" (defaulted -- none was validly declared). Posting order is a caller-declared input; this kernel infers no default beyond as_supplied and makes no claim about the policy's permissibility.",
          "0 items were paid into a negative balance (OD) and 0 items were returned unpaid (NSF), each per its own settle_negative_allowed declaration.",
          "No extended-overdrawn fee tier was declared (both extended_overdrawn_days and extended_overdrawn_fee_minor_units are required to activate it), so none was modelled.",
          "Total recomputed fees for the period: 0.00 USD across 0 date/fee-type buckets.",
          "Verdict is INDETERMINATE: No usable ledger rows were supplied, so no fee events could be recomputed.",
          "1 supplied value was not usable and was treated as zero, defaulted, or excluded. Each one is named in rejected_inputs rather than silently dropped.",
          "This tool independently recomputes and receipts fee arithmetic given the caller's own declared posting-order policy and fee schedule. It is not a core alternative, does not audit or find bugs in any vendor's system, and makes no claim of endorsement by or determination of legality about any core platform or posting-order policy."
        ],
        "recomputed_fee_events": [],
        "rejected_inputs": [
          {
            "reason": "absent",
            "supplied": null,
            "where": "opening_balance_minor_units"
          }
        ],
        "total_recomputed_fees_display": "0.00",
        "total_recomputed_fees_minor_units": 0,
        "verdict": "INDETERMINATE"
      }
    }
  },
  "journal_contract": {
    "spec": "SPEC.md §18.7",
    "serialization": "rfc8785-jcs+utf8",
    "journal_digest": "sha256:162e0ba18fc071d8b5771655bf381d1d6049f53bbefbc2cae7435c3e613b9123",
    "claim_digest": null
  },
  "provenance": {
    "repo": "PostOakLabs/ainumbers",
    "receipt_source": "chaingraph/graph/nodes/art-662-odnsf-fee-recompute.json",
    "receipt_source_sha256": "sha256:e80e468fe2140e1c191b9eb70fe78cc57b24243170cb6e92838a631a663fa964",
    "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"
  }
}
