{
  "bundle_version": "0.1",
  "receipt": {
    "type": "ZkVmReceipt",
    "system": "risc0",
    "receiptFormat": "groth16-bn254",
    "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
    "seal": "JIhAo+MCUAlJA6JD36Un37CPRhE/RnHyyWE9M7Ds2bQpCT4ZniloQb8vZjpx1Ft80C/+hRUe2RMZWVQyrq5D6xstiweYdgxLwueJjXhiRfyCmNkk5obJiVwPq6WaZOhZD03evrbEacuGF3aJvqZKK/Qg3ABBWeiHgNcQ/VDHXIwBr/JfK9Qg/M6ub4XyTXy+Io/h4q/+wdhYuipaGjP5DBbkwCNDUwTfC/AjO8vU08owVprtcyBj9dQMAyJT3LX4CkriM+lZRNXaH3OK4r/Y7SQovFB8dD2Fq9PIMFa7yO8Uhunofjw3l3/oRQz5KFmboUqh7h0ZsPNItqxsnjgMhg==",
    "journal": {
      "chaingraph_version": "0.4.0",
      "kernel_digest": "sha256:a584ec949403437257fff542b1a398296b05bd693748e96a1382329d3dff139c",
      "output": {
        "citations": {},
        "currency": "USD",
        "diff_sources": 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. The chart-of-accounts mapping is a caller-declared input, never chosen or inferred. A divergence is an arithmetic finding, never a determination that a figure is incorrect or that funds are owed -- interpretation belongs to the caller. Diff mode asserts no correct side between the two sources compared.",
        "indeterminate_reason": "mode was not declared, or was not one of \"single\" or \"diff\"; no recompute is possible without it.",
        "minor_unit_exponent": 2,
        "mode": null,
        "not_proven": [
          {
            "detail": "This kernel recomputes GL tie-out arithmetic given the caller's own declared product_code -> gl_account_code mapping. It makes no claim about whether that mapping, the ledger, or the reported/compared figures comply with any accounting standard, GAAP treatment, or regulation.",
            "item": "Not an accounting-standard or legality determination"
          },
          {
            "detail": "The product_code -> gl_account_code mapping is a caller-declared chart-of-accounts mapping, never inferred or independently verified against the bank's own general-ledger system by this kernel.",
            "item": "Chart-of-accounts mapping is caller-asserted"
          },
          {
            "detail": "This kernel consumes only the Sec0 generic ledger CSV shape (mapped by the caller to the JSON fields below). 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": "In diff mode, a divergence between source_a and source_b is reported symmetrically as a conversion-balancing finding. This kernel does not determine which source, if either, holds the legally or operationally correct figure.",
            "item": "Diff mode asserts no correct side"
          },
          {
            "detail": "The ledger rows, chart-of-accounts mapping, and reported/comparison figures are caller-supplied and asserted, not independently verified against source records.",
            "item": "Input accuracy"
          }
        ],
        "note": "Deterministic GL tie-out recomputation for one stated period, in either single-source mode (recompute vs a reported trial balance) or diff mode (two full sources diffed against each other for conversion balancing). 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).",
        "period_label": "2026-08",
        "rationale": [
          "Verdict is INDETERMINATE: mode was not declared, or was not one of \"single\" or \"diff\"; no recompute is possible without it.",
          "1 supplied value was not usable and was excluded or treated as zero. Each one is named in rejected_inputs rather than silently dropped.",
          "This tool independently recomputes and receipts GL tie-out arithmetic given the caller's own declared chart-of-accounts mapping. 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 or accounting-standard compliance about any core platform, mapping, or figure."
        ],
        "rejected_inputs": [
          {
            "reason": "absent or not one of single, diff; no recompute is possible without a declared mode",
            "supplied": null,
            "where": "mode"
          }
        ],
        "single_source": null,
        "verdict": "INDETERMINATE"
      }
    }
  },
  "journal_contract": {
    "spec": "SPEC.md §18.7",
    "serialization": "rfc8785-jcs+utf8",
    "journal_digest": "sha256:41cbf5ec3cae8282a882adbf5d9729a75454ce67b1ed36167442a7e18fe079d8",
    "claim_digest": null
  },
  "provenance": {
    "repo": "PostOakLabs/ainumbers",
    "receipt_source": "chaingraph/graph/nodes/art-665-gl-tieout-recompute.json",
    "receipt_source_sha256": "sha256:cdd844be53bf45b50be6110b9c9f7cfff322ddbe6e3e3d8e216f2c87c42dd92c",
    "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"
  }
}