{
  "bundle_version": "0.1",
  "receipt": {
    "type": "ZkVmReceipt",
    "system": "risc0",
    "receiptFormat": "groth16-bn254",
    "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
    "seal": "Fv7mPSCdmtLbIEHoXcGBGcEClaFOg6qS/ipqqI5fGF8ktaKDsGxFU0je2bQ9aCbm2wnzr1Htico8j3+jLDw0eQmmcyO7HWejR+ohWwRRfRztv21lmBgZF/dpNMX5TY4SHZbARmIcYQAlcI0DvOT5pSr3JejLvhH0gQdCNUtyUTwCYfH7C1TQVxpi2UYM2vABcGz5UNyw3Jw4WRqN5ngMzhOBiEJI1Wj7W4BuzmoiS/Qx+NLMFGFcV6s/+0UTrCAeJ7dXFh5Nc70G/lB3FHvgv5Jbo05T12C4p/zTWcs4MP4JF0u2X4rDc0bN33eIu7WzxHXomvI/IFbSc24cQtmY5g==",
    "journal": {
      "chaingraph_version": "0.4.0",
      "kernel_digest": "sha256:3123cd816d8e2879a6ea052f973621b149340b5cd6072232bf2666e1bbe9c333",
      "output": {
        "as_of": "2026-06-30",
        "cadence": {
          "cadence_days_declared": 31,
          "disclosure_dates_ordered": [
            "2026-01-31",
            "2026-02-28",
            "2026-03-31",
            "2026-04-30",
            "2026-05-31",
            "2026-06-30"
          ],
          "invalid_disclosure_dates": [],
          "missed_periods": [],
          "window_end": "2026-06-30",
          "window_start": "2026-01-01"
        },
        "composition": {
          "class_totals": [
            {
              "amount": "205000000.00",
              "asset_class": "bank_deposit",
              "limit_pct": "60",
              "pct_of_reserve": "40.00"
            },
            {
              "amount": "200000000.00",
              "asset_class": "sovereign_bill",
              "limit_pct": "60",
              "pct_of_reserve": "39.02"
            },
            {
              "amount": "107500000.00",
              "asset_class": "reverse_repo",
              "limit_pct": "30",
              "pct_of_reserve": "20.98"
            }
          ],
          "concentration_breaches": [],
          "eligible_asset_classes_declared": [
            "bank_deposit",
            "sovereign_bill",
            "reverse_repo"
          ],
          "ineligible_components": [],
          "ineligible_total": "0.00"
        },
        "coverage": {
          "circulation_positive": true,
          "coverage_ratio": "1.0250",
          "covered": true,
          "eligible_coverage_ratio": "1.0250",
          "eligible_reserve_total": "512500000.00",
          "reserve_empty": false,
          "reserve_total": "512500000.00",
          "surplus_or_shortfall": "12500000.00",
          "tokens_in_circulation": "500000000.00"
        },
        "disclosure_ref": "RESERVE-DISCLOSURE-2026-06",
        "fence": "Eligible asset classes, concentration limits, the minimum segregated percentage, acceptable custodian types and the disclosure cadence are every one of them a caller input, transcribed from the terms the reader is holding the issuer to. This kernel ships no reporting template, no eligible-asset table and no issuer library, and performs no lookups of any kind (zero-egress by contract). disclosure_ref and rules_version are pinned so a later rule change makes an old receipt dated, not wrong.",
        "issuer_id": "ISSUER-DEMO-01",
        "judgment_required": null,
        "not_proven": [
          {
            "detail": "The eligible asset classes, concentration limits, minimum segregated percentage, acceptable custodian types and disclosure cadence are every one of them caller-supplied and asserted. This kernel ships no reporting template and no eligible-asset table, performs no lookups of any kind (zero-egress), and does not verify these rules against the regulation, a technical standard, or any supervisory expectation.",
            "item": "Rule accuracy"
          },
          {
            "detail": "The amount in circulation, the component amounts, the custodian types, the segregation markers and the publication dates are taken as given from the disclosure being checked. This kernel does not verify that the published document says what was transcribed from it, nor that the reserve exists.",
            "item": "Disclosure accuracy"
          },
          {
            "detail": "Component amounts are asserted at the values supplied. No independent valuation, haircut, or mark to market is performed, and no market data is read.",
            "item": "Valuation"
          },
          {
            "detail": "Every verdict here is against the CALLER's declared rules. This is not a determination that the issuer complies with MiCA or with anything else, not legal advice, and not a submission to any authority. A finding can equally originate from a rule this run had wrong.",
            "item": "Compliance"
          }
        ],
        "rationale": [
          "Reserve total of 512500000.00 checked against 500000000.00 of tokens in circulation.",
          "The reserve carries 3 declared components across 3 asset classes.",
          "Every component sits inside the declared eligible asset classes.",
          "No declared concentration limit is exceeded.",
          "Segregated proportion is 40.00% against a minimum of 30% (the e-money-token default, applied only because the caller declared nothing).",
          "Every component sits with a custodian type the caller declared acceptable.",
          "Every interval between publications is within the declared 31-day cadence.",
          "Every verdict above is against the rules supplied with this run. It is not a determination that the issuer complies, not legal advice, and not a submission."
        ],
        "rounding": {
          "decimal_places": 2,
          "mode": "half_up"
        },
        "rules_version": "reader-rules-1.0",
        "segregation": {
          "acceptable_custodian_types_declared": [
            "credit_institution",
            "investment_firm",
            "casp"
          ],
          "meets_declared_minimum": true,
          "min_segregated_pct_applied": "30",
          "min_segregated_pct_source": "default_emt_30",
          "segregated_amount": "205000000.00",
          "segregation_pct": "40.00",
          "undeclared_custodian_components": []
        },
        "sign_off": {
          "note": "Where a named human attests this check, the dual-control certification surface is the one to use. This kernel emits the receipt and evaluates no threshold of its own.",
          "surface": "art-503-build-dual-control-certification"
        },
        "token_type": "EMT"
      }
    }
  },
  "journal_contract": {
    "spec": "SPEC.md §18.7",
    "serialization": "rfc8785-jcs+utf8",
    "journal_digest": "sha256:47ccd34d4e14eb5bb718b9b6317e9c39cb1169c449dc6e2830dfee4496b6e8aa",
    "claim_digest": null
  },
  "provenance": {
    "repo": "PostOakLabs/ainumbers",
    "receipt_source": "chaingraph/graph/nodes/art-512-check-mica-reserve-disclosure.json",
    "receipt_source_sha256": "sha256:a89f29e8ee3058e01ea3ec02b9d18b35b8705095c434292bf27ed38d342f7a8c",
    "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"
  }
}