{
  "bundle_version": "0.1",
  "receipt": {
    "type": "ZkVmReceipt",
    "system": "risc0",
    "receiptFormat": "groth16-bn254",
    "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
    "seal": "HRcJQ0P6fx+FFKRgwWSdqySc6vFH8m7f5P2Ai1ywV2Emusvp45nDH6kQOmoWx6Lc7G2P5IO6ESG78yR7JzGe3Ce+Jj3vWn1tITCSTtBlWohci8pADCLvoi+0kUH2QuspGNwS5UO21LSbgxoKOeawXCb/pI5pql4Id8e+XqDrHnkWP7Hp849zsZzP6b5sucN1ok27SjtR6NkI0tHq2QZCfSzTdX55rvofgKuXMQlNFLud0Y7958KNzh33XK5GleYqHYZ2SG8aHnYJZsBOCdV18qSGYc3Er6/gcyXrjBJiCNwIVxDoKMaUKeFd7/B+jShMbLAOIte0F029+JjtrncJQg==",
    "journal": {
      "chaingraph_version": "0.4.0",
      "kernel_digest": "sha256:79ba683f5f9684c6c7ab2b2cfe7cdd8546591b5de200da9f10a3bb9637e408f1",
      "output": {
        "asserted_step_count": 2,
        "available_funds_by_ledger": [
          {
            "ledger": "interest",
            "opening_display": "125000.00",
            "opening_minor_units": 12500000
          }
        ],
        "basis": {
          "basis_id": "CALLER-SUPPLIED-LADDER",
          "basis_label": "Priority of payments as declared by the caller from the transaction documents",
          "field_set_version": "1.0.0",
          "ladder_source": "transaction_documents",
          "template_conformance_checked": false,
          "template_note": "No Article 7 disclosure template is read, validated or asserted anywhere in this tool. The ladder comes from the deal documents the investor already holds."
        },
        "citations": {
          "investor_diligence": {
            "id": "Regulation (EU) 2017/2402 Article 5(4)",
            "in_force_from": "2019-01-01",
            "mapped_at": "2026-07-31",
            "mapped_by": "AINumbers SECZ-K-1",
            "scheme": "eu-regulation",
            "uri": "https://eur-lex.europa.eu/eli/reg/2017/2402/oj"
          },
          "investor_report": {
            "id": "Regulation (EU) 2017/2402 Article 7(1)(e)",
            "in_force_from": "2019-01-01",
            "mapped_at": "2026-07-31",
            "mapped_by": "AINumbers SECZ-K-1",
            "scheme": "eu-regulation",
            "uri": "https://eur-lex.europa.eu/eli/reg/2017/2402/oj"
          }
        },
        "comparison_basis": "The recomputed side of every comparison is derived here by running the caller declared ladder against the caller supplied available funds. It is not read from the investor report. A comparison is only meaningful because the two sides have independent provenance.",
        "comparison_state": "matches",
        "currency": "EUR",
        "deal_ref": "SYNTH-2025-A",
        "diff": [
          {
            "agrees": true,
            "asserted_display": "1500.00",
            "asserted_minor_units": 150000,
            "detail": "The independently recomputed allocation equals the allocation the report asserts for this step.",
            "difference_display": "0.00",
            "difference_minor_units": 0,
            "in_ladder": true,
            "recomputed_display": "1500.00",
            "recomputed_minor_units": 150000,
            "step_id": "a"
          },
          {
            "agrees": true,
            "asserted_display": "3500.00",
            "asserted_minor_units": 350000,
            "detail": "The independently recomputed allocation equals the allocation the report asserts for this step.",
            "difference_display": "0.00",
            "difference_minor_units": 0,
            "in_ladder": true,
            "recomputed_display": "3500.00",
            "recomputed_minor_units": 350000,
            "step_id": "b"
          },
          {
            "agrees": true,
            "asserted_display": "62000.00",
            "asserted_minor_units": 6200000,
            "detail": "The independently recomputed allocation equals the allocation the report asserts for this step.",
            "difference_display": "0.00",
            "difference_minor_units": 0,
            "in_ladder": true,
            "recomputed_display": "62000.00",
            "recomputed_minor_units": 6200000,
            "step_id": "c"
          },
          {
            "agrees": true,
            "asserted_display": "40000.00",
            "asserted_minor_units": 4000000,
            "detail": "The independently recomputed allocation equals the allocation the report asserts for this step.",
            "difference_display": "0.00",
            "difference_minor_units": 0,
            "in_ladder": true,
            "recomputed_display": "40000.00",
            "recomputed_minor_units": 4000000,
            "step_id": "d"
          },
          {
            "agrees": true,
            "asserted_display": "18000.00",
            "asserted_minor_units": 1800000,
            "detail": "The independently recomputed allocation equals the allocation the report asserts for this step.",
            "difference_display": "0.00",
            "difference_minor_units": 0,
            "in_ladder": true,
            "recomputed_display": "18000.00",
            "recomputed_minor_units": 1800000,
            "step_id": "e"
          }
        ],
        "first_unfunded_step": "e",
        "ladder_ref": {
          "dated": "2025-05-01",
          "document_ref": "SYNTHETIC PROSPECTUS SYNTH-2025-A",
          "section_ref": "Priority of Payments, items a to f",
          "supplied": true,
          "version": "1.0"
        },
        "minor_unit_exponent": 2,
        "no_template_claim": "This tool reads no Article 7 disclosure template, validates no field set, and asserts conformance with no annex. The priority of payments is taken from the caller transaction documents.",
        "note": "Deterministic securitisation payment waterfall recomputation for one stated period. Single-run and stateless: it holds no records, runs on no schedule, and retains nothing. The allocation is derived here from a caller declared priority ladder and caller supplied available funds, so a comparison against an investor report is an independent recomputation rather than a re-footing of published totals. It forecasts nothing, models no scenario, performs no credit or rating analysis, and makes no assertion about the compliance status of the deal. It is not a regulatory filing and not legal advice.",
        "period_label": "2025-07 collection period",
        "rationale": [
          "Waterfall recomputed for period 2025-07 collection period on deal reference SYNTH-2025-A, against the priority ladder pinned as SYNTHETIC PROSPECTUS SYNTH-2025-A Priority of Payments, items a to f version 1.0 dated 2025-05-01.",
          "Total available funds of 125000.00 EUR across 1 ledger were allocated down 5 ladder steps in the order supplied, honouring every declared cap.",
          "2 of 5 steps carry an amount the caller declared as ASSERTED rather than recomputed, typically a trustee fee or a senior expense set by a fee letter that is not a public document. Those amounts are allocated exactly as supplied and are reported as asserted inputs, never as figures this tool derived.",
          "Funds ran out at step e, which is the first step whose claim could not be met in full. Total shortfall across the ladder is 6000.00 EUR.",
          "Residual after the ladder is 0.00 EUR.",
          "1 test evaluated against caller-supplied thresholds: 1 pass, 0 fail, 0 undetermined. No market convention threshold is baked into this tool.",
          "The independently recomputed allocation agrees with every one of the 5 steps the supplied report allocations name. The left-hand side of that comparison was computed here from the ladder, not lifted from the report.",
          "No Article 7 disclosure template was read, validated or asserted. The priority of payments used here is the one declared from the transaction documents, which is why a template amendment cannot reach this arithmetic."
        ],
        "recompute_only_note": "Where comparison_state is recompute_only, no asserted allocations were supplied and this artifact records what the ladder produces, never agreement with an investor report.",
        "recomputed_step_count": 3,
        "rejected_inputs": [],
        "residual_by_ledger": [
          {
            "ledger": "interest",
            "opening_display": "125000.00",
            "opening_minor_units": 12500000,
            "residual_display": "0.00",
            "residual_minor_units": 0
          }
        ],
        "residual_display": "0.00",
        "residual_minor_units": 0,
        "step_count": 5,
        "steps": [
          {
            "amount_source": "asserted",
            "basis": "Fee letter, not a public document",
            "cap_applied": false,
            "cap_display": null,
            "cap_minor_units": null,
            "claim_display": "1500.00",
            "claim_minor_units": 150000,
            "due_display": "1500.00",
            "due_minor_units": 150000,
            "fully_paid": true,
            "label": "Trustee fee",
            "ledger": "interest",
            "ledger_supplied": true,
            "paid_display": "1500.00",
            "paid_minor_units": 150000,
            "position": 1,
            "shortfall_display": "0.00",
            "shortfall_minor_units": 0,
            "step_id": "a",
            "suppressed_by_test": null
          },
          {
            "amount_source": "asserted",
            "basis": "Fee letter, not a public document",
            "cap_applied": false,
            "cap_display": "4000.00",
            "cap_minor_units": 400000,
            "claim_display": "3500.00",
            "claim_minor_units": 350000,
            "due_display": "3500.00",
            "due_minor_units": 350000,
            "fully_paid": true,
            "label": "Senior expenses",
            "ledger": "interest",
            "ledger_supplied": true,
            "paid_display": "3500.00",
            "paid_minor_units": 350000,
            "position": 2,
            "shortfall_display": "0.00",
            "shortfall_minor_units": 0,
            "step_id": "b",
            "suppressed_by_test": null
          },
          {
            "amount_source": "recomputed",
            "basis": "Prospectus interest provisions",
            "cap_applied": false,
            "cap_display": null,
            "cap_minor_units": null,
            "claim_display": "62000.00",
            "claim_minor_units": 6200000,
            "due_display": "62000.00",
            "due_minor_units": 6200000,
            "fully_paid": true,
            "label": "Class A interest",
            "ledger": "interest",
            "ledger_supplied": true,
            "paid_display": "62000.00",
            "paid_minor_units": 6200000,
            "position": 3,
            "shortfall_display": "0.00",
            "shortfall_minor_units": 0,
            "step_id": "c",
            "suppressed_by_test": null
          },
          {
            "amount_source": "recomputed",
            "basis": "Prospectus reserve provisions",
            "cap_applied": false,
            "cap_display": "40000.00",
            "cap_minor_units": 4000000,
            "claim_display": "40000.00",
            "claim_minor_units": 4000000,
            "due_display": "40000.00",
            "due_minor_units": 4000000,
            "fully_paid": true,
            "label": "Cash reserve replenishment",
            "ledger": "interest",
            "ledger_supplied": true,
            "paid_display": "40000.00",
            "paid_minor_units": 4000000,
            "position": 4,
            "shortfall_display": "0.00",
            "shortfall_minor_units": 0,
            "step_id": "d",
            "suppressed_by_test": null
          },
          {
            "amount_source": "recomputed",
            "basis": "Prospectus interest provisions",
            "cap_applied": false,
            "cap_display": null,
            "cap_minor_units": null,
            "claim_display": "24000.00",
            "claim_minor_units": 2400000,
            "due_display": "24000.00",
            "due_minor_units": 2400000,
            "fully_paid": false,
            "label": "Class B interest",
            "ledger": "interest",
            "ledger_supplied": true,
            "paid_display": "18000.00",
            "paid_minor_units": 1800000,
            "position": 5,
            "shortfall_display": "6000.00",
            "shortfall_minor_units": 600000,
            "step_id": "e",
            "suppressed_by_test": null
          }
        ],
        "test_results": [
          {
            "basis": "Threshold declared by the caller from the transaction documents",
            "basis_detail": "Ratio test evaluated by integer cross-multiplication against the threshold supplied for it. No division is performed on the comparison path.",
            "comparator": "gte",
            "divert_applied": false,
            "divert_declared": false,
            "divert_description": "The caller declared no diversion for this test, so a failure suppresses nothing. Divert behaviour is never inferred here.",
            "label": "Credit enhancement test",
            "measured": {
              "denominator": 10000,
              "form": "ratio",
              "numerator": 1450
            },
            "outcome": "pass",
            "suppress_step_ids": [],
            "test_id": "credit-enhancement",
            "threshold": {
              "denominator": 10000,
              "form": "ratio",
              "numerator": 1000
            }
          }
        ],
        "total_available_display": "125000.00",
        "total_available_minor_units": 12500000,
        "total_paid_display": "125000.00",
        "total_paid_minor_units": 12500000,
        "total_shortfall_display": "6000.00",
        "total_shortfall_minor_units": 600000
      }
    }
  },
  "journal_contract": {
    "spec": "SPEC.md §18.7",
    "serialization": "rfc8785-jcs+utf8",
    "journal_digest": "sha256:fe86bfa7043f4db87d3e9212d3da830b18fc98c9ad863dd51908a4b8b3453c51",
    "claim_digest": null
  },
  "provenance": {
    "repo": "PostOakLabs/ainumbers",
    "receipt_source": "chaingraph/graph/nodes/art-509-recompute-payment-waterfall.json",
    "receipt_source_sha256": "sha256:e034bedd6a3f1d0865eecef20d3f2e1ee25c8bcaf9edf6592bd9613639c810ba",
    "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"
  }
}