{
  "bundle_version": "0.1",
  "receipt": {
    "type": "ZkVmReceipt",
    "system": "risc0",
    "receiptFormat": "groth16-bn254",
    "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
    "seal": "Ewi9P7LzZl3diijjbtltcyOI/G1qfD2CSL6ii5FtRbUDFIBW+/16ULZMDID7zK477eDtxNwHkcV93Fs8SXW/kwFdjYXwFf8MzfVXmYSXn+GeSJhrwa+dlFL4/KF6gs1SKYyzdWQOej1YMdsVEPxWLkYoMNcCr/i6MF5nGxQ/wHMf1HF0mH5VplKH+QvpDzTSY3UPwTWs/hytXiJv1BfI8giixJYFtAhLTZoDfHrjV2xL64wBXfVUY4lWGzCOl2ArFsvlUpGhmRX5jNYHLFMNwjtf685m+AZ4nODZyK4E8kgZVPnL9h2JpM2x9RH1fRuGImfwjmhRmSJgFcttypKPRw==",
    "journal": {
      "chaingraph_version": "0.4.0",
      "kernel_digest": "sha256:d9ed5d3a0780e192b9d8f56ff41b6893ab74c516128dfca643191e9a76324caf",
      "output": {
        "__async": true,
        "anchored_hash": "1a48948724b049112cff2467561ab5307cf76b60dd11b63847449daf155c5485",
        "checks": [
          {
            "check": "anchored_hash_present",
            "detail": "ok",
            "pass": true
          },
          {
            "check": "witness_keys_present",
            "detail": "2 pinned witness key(s)",
            "pass": true
          },
          {
            "check": "threshold_valid",
            "detail": "ok",
            "pass": true
          },
          {
            "check": "checkpoint_note_parses",
            "detail": "ok",
            "pass": true
          }
        ],
        "log_origin": "witness-verify-1-fixture-log.example.org",
        "mode": "cosignature",
        "not_proven": [
          {
            "detail": "A witness cosignature closes anchor equivocation (one root shown to two verifiers) but says nothing about whether the log operator omitted entries or is otherwise dishonest.",
            "item": "Log honesty or completeness"
          },
          {
            "detail": "This tool verifies signatures against the pinned public keys supplied by the caller. It does not establish that those keys belong to the parties they claim to be — that trust decision is made before pinning, not by this verification.",
            "item": "Witness key ownership"
          },
          {
            "detail": "This tool verifies the checkpoint root and its witness cosignatures only. It does not recompute or verify a Merkle inclusion path for any individual leaf (see SPEC.md §20.1 for that check).",
            "item": "Inclusion of any specific artifact leaf"
          }
        ],
        "parsed": {
          "extensionLines": [],
          "noteText": "witness-verify-1-fixture-log.example.org\n42\nGkiUhySwSREs/yRnVhq1MHz3a2DdEbY4R0SdrxVcVIU=\n",
          "origin": "witness-verify-1-fixture-log.example.org",
          "rootHex": "1a48948724b049112cff2467561ab5307cf76b60dd11b63847449daf155c5485",
          "sigLines": [
            {
              "blob_b64": "ug/AhAAAAABobWYAaccGWkwwp5YCyD1NxFIT3tTt3sa+GKUYMe5QfPIbsGhNlhVvMOYbOyFwWb4Ie4qmw1veCD/8fadoGxyR72/XAg==",
              "name": "witness-ed25519-1"
            },
            {
              "blob_b64": "PRYuZQAAAABobWYAkHDvvAg2CW6/CJJNYus8I8IV+Rl4y+hdLFcjKha052gCVoSr/u3rfbUZmcCcBFole8q/UVGgB7ZkDMB5pgF5UkBfy7KvoZ/ZRSIXTJECqcab8PEQSWvg9xU9NXwl4dwNFUuibZ4Cy4d/t1tBuJ0yCo2qn1SCO7RfEFnoIu88UHi+kpQB3ApZrVbbptjT9CdB00xyKJ494lwUY4pfJBFwGZ4zEM1oB6RzNUY4dediT0fnfdAzIxY5tHhGPjWdA+NUIbQO9OP3k2I1DNHvpKld+W6xhxVTRxqBlvXaYx0bBMhGq27qXi7sc1zFHqos7Me+n6FG6iDMrn9FUBMS6POda+VPLlv+Yv/ui7VEZFg5zkF4+IYz/pEcx4BquDbaDr529ZPgoxTKRVnji5N5CkXsfavdUYG3+AnhUhEeyzbF9ICs4FhB5+mOUM+dAztEIKDtiZ6+x3pf0oZdZ9iEI5xTm5OvnVbijWJ4E7ufHUVm/8QKKezlwdVDsCvx53wQtiwai6XctvQE+24OAc5OquFCyuLv1K8ctN7Y7RNdoozjlE2Ut/7ex7R5jKoCYFImz4qdDVDKOVFpWRSqn1dhL4SjjY/SKviZkarT87jPGA+HNDdfw7PwjDaY+SlpaQSVaBUEMqbsbm4wKMZuNJ0YiUglo/f7a7Kf6aHZxIsGntXxKgDvxydeTaWvkhILNsBPekeDvg2Q6eVSrW4Si4gGQWZWCU2CFCM5/nzFle/F9PSKMBybKpZ260IprVo+tXsCVkVVXTopXLA8dyvG5OzQvOz1jOGyCw2sgIT0fN+rUOOYt2nbKZ6pTqB9kqDixvKSilcNJAwTW5oQDXUrwltyIyea6VkN6/8UkRtkn/aG0nodd/3OJMG05lOsxqo6o/PWLplmhDXgFeI9gHUfOmynjbliHg/cCz1cUXlE0mQ7XSZIHP31LtV7ZifpcbSzV9IUhYNSf+4I8lT05vfm99nTX9qt3NNAKHGWO03syqfZ7SZQukAmdMR7nMVEve9lV234w+PmOGHgvh7ZFS8s4o3Ehhy3flHk/DuXB4I1mxChjbBpYZ0B0XSa17br8qvayOV+YAFW5+bqudQiu8b1il0vIlP/QwDcicwQFK+Sfursen5Udzc+3y4FDT2H5vSnZUKX3KiHDxQ7Fsh6GZ28L5LHVdqU9CCcu2vJCEfCYBTiTP9pPb9NV7HZJWqctNSzkwuXAJ2S/kJsHIXzSEliGfA+2kIUynblTdAfufNNJxWigCzCHozjjPKGPj4kA+Z7/prnTSBjssKaNQL53+LUFtvSRj5SCzftkyhNabXtSN7Q5SkK1vhzE+GNHhfmSphgfaCUO4Hd6JvEpAHOSUqBfhwL93r92ECdCg+TRBn7ljhfJ9bhPDYUq6CP+n/PrI5YLDeN7vtVtSgT26d+q9gScqKcpB96pJu36Z8kKQkxkGti0rRB8Dg8Lg0EugN0aV0H6Mkm1cnCrqqmLVB4OCxRK9XqV4dAM68gxJEKtNkcaxGuVNQ0eVtbyaIrfdwnncSEGhj2CX1GsvVQ++6dJmvdxsOX003a6lGdRAt2aEvCCzCxNwR22e3YHGe6i1snQTV6oKVTSJPcXfhdVwX66JybG+9q4ocBEWIWMhqdeQD7Dk1qVUQDh6Fmmnr6wNDBxZJBNoWyV6UEwvSap0uj5tardQH0BN01E1kr2ll+8eiKQkvvcnvLJ0uVPEBQTrbkiPNBJLgzjWPFN6uF8X6bgV74STxwMcGc8e45qH3bcWZljFMVopYkQMTbhJAN/lXibIJcMRnxLXwCzLD5IVhmJ6zErqglRm0xpIMXmfYutzxYr82MW2Tt6LM/21DO1v/koqlk35GmFMJdjm+nHB56G6rom+Tlp1GPzO4w0+DERG0JzDRXFARzJiipRvb/lWt+FortMwCs2GOaWUH5g3EzwVwU2j5jkqtipIl5JraIFa3ZXA8CRh7D4xRNJ4YEsTtHd0BMSD2nUC6jFPmQEIxj40C1drzMCt0aMl8jd16exNbfBuS7LatMIaRaMHJZxT7HUzrgwz7sw0vJbLwKSLlqRpYAkmbfC/nLpiOFjhkDBjQZ7E/oI3OQ+HmB0XE5+496qRJSDKBHtBeL73kdjPANAlWFFDsLLV039osgPVfGScmYwUuNxtcmomtx2i9vzkOIXPVOLhM3PorHLRs8SH0UgMfnww8qICABStVvRCP1dJdWizC27KQkocHsa+ny4JKZmnwaLBskoIX6ma3t8pVgHaEQwuhN46VNJW//eFGy6d0kplbYTR4P/6YR7vJN8kJy/FGIHInGrfA36zUDmKmx+B6UZC6vYCmyRCQnJqDqRl/0moaHoj2IKu5GaF+QUtr9j9h1KH95nXc8ehHCdLf6d/CIK2xgiU/ctD87iFJmQBqP8m6Jl6Su2bnrKFTo+M/EuGHVfJS2W0abzlmhflPl5t3PMXdEzkRaUR2rEDszup6cZ03AZRTIjaAKmRY6GTRWBEVanizXc4k8yVcYOvdqbxSnZECxtEqXwKF3hP/F2J84xdbpiIjBRjmWDzC7jHMrEznrFmYQlWtVFfG1zS1W8fbMuAGN+aXPO2P/6+cvYRwnlAB/CRrk5zP73ENQD29hs+v9ZxhsMfRIir1+V3+ntv7dfWFZuoeypch1d2yk9Q7Ea3iND4gYF89HpcHfppYDFdUqBrE7h+gXGKYkMWm+PFh3ZpugJgzIgqt0UyhQStzLcbsvmSDk99Ig726O01uYSkcYKpL08SO2s6MLbaUYwM+0t5TJrF5UbM3weU1rZJsRYuO/yIhBROZtRt19+wo3OuerMDGrMo2AuQyeGu0mTJjyA6R7K8iU726KtkIQO/Q9TYLC86TcEbnsO4rt0Z4jZ7TcEjTlNgqykONfAdvMATmBCEGSY/gsccA4YvfzBcExepDhiYKz0+or3sx+Av6IRc0zByjZ+cYLfx4lZlpO86VGd6EA5f+rlYmKVJkrJ3XGzfVW6V9CGljIa6NkYl09nqF5jqWU9aeuJx2iSt7zooV16Yx4Pdb+vkpzTBbSpGljq1A7et3ti7we6Cx5kFcAznvekMZ3FLityRsPalgSNuqKVbRcieFsIrn48tkaC3Voa1+kgCBkZNcEGVGAja21u87f+QEbHCImMkx7fIOFjJCTlLG7zPUWGh0jKzlCUlNXWlxjam1zdIKIlqayvcvW19zj8fb8L0NkeH6Bn6Cjs7bkAAAAAAAAAAsePUk=",
              "name": "witness-mldsa44-1"
            }
          ],
          "size": 42
        },
        "threshold": 2,
        "witness_keys": [
          {
            "algorithm": "ed25519",
            "name": "witness-ed25519-1",
            "public_key_b64": "0fN6s6H2ctimNrsDRNlBLbK1wST+50DANLqoPidppTY="
          },
          {
            "algorithm": "ml-dsa-44",
            "name": "witness-mldsa44-1",
            "public_key_b64": "tf0mhz7oIabShCTchLbxRpMiL8zFDKsGRcGbU0hBqbL6/ZegtljiRLQ67FBEOjHg0En+FiD2GifLWua1n+q2pO4JHiTmZibhukyZauWwGZAZTgZHBgi2JljF5aIa0aNwLhupiLuoiK2AroNKZJy29fgEaFRj7T0znwn8Djw8bAmzFkGcMdKDSjutv60wQA3ng4fpeg+BPGvpNIcThRP/dLyC0HOQqlc9WZKucXeYIvwgF5Od8m4sgc9CNuqfCWV075gMOx+oZz+VMfw9/eHK5mezqBh7Fo2dXRc1LURTChnbO5SoCT/AQ+dUu+WI6yfTJT5kfYr7TLJWosqlfiq+j1y156Mp4OZywFJH4BuHKruwGGgjYwg+RR3RnpJpuI500UKE+qu6HGvZgsxjHeIvEGHw7Lxubi4cnQ2ZP5h0mjXOpIf/mKTkNElY/Rr0YJq4whvFzQ9xWjhV9tn6bs5DRq6IM7Cs0GgRW0YlRvTdRxNuOD66wuLDXHo6RiobU1RQAbvjCRGU8f1EeLtZfCleVosyjPzmYVR3f24qvCizyitMtAI5iMOAhQGIaetTLVlQQFkOAhExAiIm5snNccg+UiUJODTeQ2vc+F2g1Smlcxd+nVuONYmb10U0e7O6EPXN3xFapS02wJeh7ezW4A8gC1hwnKj51QLOuOVHHIeLlzIZkNUmFVVs4OQ1/QGSnkCFbTkt+fjWYGdRz8JyLte23wVXPCJBBvv2fFRPLnKu+C/d2SzLS2OHWW3HoUlMcniEb9ZotMl4jghWTq38pa6r9AApL3S1Rbz8dbEOEd2vCiIVGNn9aYctCMaT1oxwTgZ3k9zJHjBI9TvfV5yIM0Yxgxn6yecSWDEl4fhIFZB037+dRx+0salm/Xzc35cOjcOoOWLfFOnezdOyi0qdVgMjmLNVSn2S5CLyF0lo/wEGnnJsUmB/KzBg4micLBzQhSul/ZxmBMAulN05KpnCtp+A4nxIlBBc44PcAFovohrPjcWW81vzewDhU+UwyVj/BwQxkZesRrfSAKTZhedQfpU5eKC0uT5dPSIMNbQyp44TeKHdhdnJXbLaF57xfiBfS4Xq+TPgDJXH35b+z2/WThMUYwG2urTBCa4mr1BDkXNQucZ2z+TpJyTJs+9klEK4cNCl12sQ3ATo99pPpQq68PTZhu+yAzfLtRiaSkwwpslCp3DNkkpxGaNz/XolsDXl2Qn2V1joQQkokrLKwszfbPxsFHevIg2cJjCdUTp9f0bJ2EeP3HCs+Jxb46b0oz77b3DFdfUmIWcJITLAFVpehZ/5ih3xyyyGVx7JBIlVi8AgxByja5LU5hVWiIMcikFidxo8Dk0KFelTFc8OElxtqPMwgtAUAtoQzFuW4KFBwVXzQvEdJqLLIxo+WsGHacyVwMhUWT5prYip7WzoI9vI3X+dvGzH8hdJ3C4K4FVJEcMSJLeqzNxKiKzNZNTyX1nj9fMQX/WFPxHf/MuKKKDvmhMhDb1KZMPprwN5yMHaT8yCfB1v5g3qCXQFDGHTytnfwIF55xqMEDKKLHLE5gm8j9ezMtmu0wtKWYXE/DnVK46w87AB1d3w42F+lGlU2+Y8xBy2RPE/UCDdKFiKrtL59c63rhBhHZ/RlyI/R3q2G8pGnZDdTJesCvWNWaYB2bu6W0T8AhW17GJ/w2BPF6yWv4hNpWF2MvlUZn4x5bUS5FbDS8I13xYbQUGvwlmHHZfnfILr3UDQaGmvv5fddEOl7+igVg=="
          }
        ]
      }
    }
  },
  "journal_contract": {
    "spec": "SPEC.md §18.7",
    "serialization": "rfc8785-jcs+utf8",
    "journal_digest": "sha256:753a03fd8e7f4b6c042d4303e7d34ccf4243b5b94f17784f425dd24ababb8a86",
    "claim_digest": null
  },
  "provenance": {
    "repo": "PostOakLabs/ainumbers",
    "receipt_source": "chaingraph/graph/nodes/art-424-witness-cosignature-verifier.json",
    "receipt_source_sha256": "sha256:c2dd9e153c82b191c5ddbd33f04b7b987675846d3c384c35cb6d70b2b23ccf76",
    "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"
  }
}