{
  "bundle_version": "0.1",
  "receipt": {
    "type": "ZkVmReceipt",
    "system": "risc0",
    "receiptFormat": "groth16-bn254",
    "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
    "seal": "IEEhM8LFJTcgXhXJL9J/VEiuz5Ltz3m3luUjfhO7cboAm3tJOg+xO3OK/3aRhrr0GTU9I1DN/kJKEoX6LwWJoQI8zmafrPGwkbdCSXWH65sKZ/vKuBUxRuHVG+aUtsXtDmY1Tw7S364Fa0R3ELWA3TmI+GT4nmXCdZS5idcVHvcrCG0IwuNY7ibHgz1clrPy3yMSo61pVAtKIr88xcL52gIdZ0i3lm2WyRJuJxWEMbJyLkGgNVwoJZQ6Xnn7gqWPFyxOHe4daB271QcXyOhY2ZavJXOtqsA+wcFx2JbBlx4ZqSIn/u6Hw/EJhyoH5tpig4YXACGrspaOdoIZQbaxiw==",
    "journal": {
      "chaingraph_version": "0.4.0",
      "kernel_digest": "sha256:6f656bb896a5c568378f091572e1c6bcf1d22803b6929de33b9315eb3771d6ac",
      "output": {
        "checks": [
          {
            "field_path": "message.value",
            "id": "AMOUNT_ABOVE_POLICY",
            "observed": null,
            "policy": "max_amount_by_token was not declared, or the classified payload carries no amount member",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "mode",
            "id": "BLIND_SIGNATURE",
            "observed": "typed_data",
            "policy": "a structured payload was supplied",
            "severity": "structure",
            "status": "CLEAR"
          },
          {
            "field_path": "domain.chainId",
            "id": "CHAIN_MISMATCH_ACTIVE",
            "observed": null,
            "policy": "active_chain_id was not declared, or the payload carries no domain.chainId",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "domain.chainId",
            "id": "CHAIN_NOT_ALLOWED",
            "observed": null,
            "policy": "allowed_chain_ids was not declared, or the payload carries no domain.chainId",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "mode",
            "id": "CROSS_CHAIN_AUTHORIZATION",
            "observed": null,
            "policy": "these checks read a delegation tuple; this payload is structured data",
            "severity": "eip7702",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "mode",
            "id": "DELEGATE_NOT_ALLOWLISTED",
            "observed": null,
            "policy": "these checks read a delegation tuple; this payload is structured data",
            "severity": "eip7702",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "mode",
            "id": "DELEGATION_CLEAR",
            "observed": null,
            "policy": "these checks read a delegation tuple; this payload is structured data",
            "severity": "eip7702",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "mode",
            "id": "EIP2_HIGH_S",
            "observed": null,
            "policy": "these checks read a delegation tuple; this payload is structured data",
            "severity": "eip7702",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "message.to",
            "id": "EIP3009_TRANSFER_TO_CONTRACT",
            "observed": null,
            "policy": "contract_addresses was not declared, or the payload is not the transfer-form authorization",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "signature",
            "id": "ERC6492_WRAPPED",
            "observed": null,
            "policy": "no signature was supplied",
            "severity": "informational",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "domain",
            "id": "ERC7730_DESCRIPTOR_MISMATCH",
            "observed": null,
            "policy": "erc7730_descriptor was not declared",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "message.deadline",
            "id": "EXPIRED",
            "observed": null,
            "policy": "now_unix or a deadline member was not present",
            "severity": "informational",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "signature",
            "id": "HIGH_S",
            "observed": null,
            "policy": "no signature was supplied, or it carries no recoverable s",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "typed_data.primaryType",
            "id": "LOOKALIKE_TYPE",
            "observed": "Permit",
            "policy": "a known struct name must carry its canonical encodeType",
            "severity": "structure",
            "status": "CLEAR"
          },
          {
            "field_path": "typed_data.message",
            "id": "MESSAGE_FIELD_MISSING",
            "observed": [],
            "policy": "every declared member must be present in message",
            "severity": "structure",
            "status": "CLEAR"
          },
          {
            "field_path": "typed_data.message",
            "id": "MESSAGE_FIELD_NOT_IN_TYPES",
            "observed": [],
            "policy": "every message member must be declared in types",
            "severity": "structure",
            "status": "CLEAR"
          },
          {
            "field_path": "mode",
            "id": "NONCE_OUT_OF_RANGE",
            "observed": null,
            "policy": "these checks read a delegation tuple; this payload is structured data",
            "severity": "eip7702",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "signature",
            "id": "NON_ECDSA_LENGTH",
            "observed": null,
            "policy": "no signature was supplied",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "message",
            "id": "NOT_YET_VALID",
            "observed": null,
            "policy": "now_unix or a start-of-window member was not present",
            "severity": "informational",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "message",
            "id": "NO_EXPIRY",
            "observed": {
              "expires_this_block": [],
              "no_expiry": []
            },
            "policy": "a ceiling deadline, or a zero expiry on the legacy permit struct, never expires",
            "severity": "policy",
            "status": "CLEAR"
          },
          {
            "field_path": "message",
            "id": "PAYEE_NOT_ALLOWLISTED",
            "observed": null,
            "policy": "payee_allowlist was not declared, or the classified payload carries no payee",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "message",
            "id": "PAYLOAD_DIVERGES_FROM_INTENT",
            "observed": null,
            "policy": "intent was not declared",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "domain",
            "id": "PERMIT2_DOMAIN_SHAPE",
            "observed": null,
            "policy": "the payload is not classified as one of the recognised allowance-router types",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "message.spender",
            "id": "SPENDER_NOT_ALLOWLISTED",
            "observed": null,
            "policy": "spender_allowlist was not declared, or the classified payload carries no spender",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "message.spender",
            "id": "SPENDER_NOT_DECLARED_CONTRACT",
            "observed": null,
            "policy": "contract_addresses was not declared, or the classified payload carries no spender",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "message.value",
            "id": "UNLIMITED_AMOUNT",
            "observed": [],
            "policy": "an amount at its type ceiling is an unlimited allowance",
            "severity": "policy",
            "status": "CLEAR"
          },
          {
            "field_path": "typed_data.primaryType",
            "id": "UNRECOGNIZED_TYPE",
            "observed": "Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)",
            "policy": "classification by encodeType string equality",
            "severity": "informational",
            "status": "CLEAR"
          },
          {
            "field_path": "message.deadline",
            "id": "VALIDITY_BEYOND_POLICY",
            "observed": null,
            "policy": "max_validity_seconds, now_unix, or a deadline member was not present",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "domain.verifyingContract",
            "id": "VERIFYING_CONTRACT_NOT_ALLOWED",
            "observed": null,
            "policy": "allowed_verifying_contracts was not declared, or the payload carries no domain.verifyingContract",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "signature",
            "id": "V_FORM_RAW_YPARITY",
            "observed": null,
            "policy": "no 65-byte signature was supplied",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "message.value",
            "id": "X402_AMOUNT_MISMATCH",
            "observed": null,
            "policy": "expected_x402.scheme, expected_x402.amount, or an amount member was not present",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "message",
            "id": "X402_ASSET_MISMATCH",
            "observed": null,
            "policy": "expected_x402.asset was not declared, or the classified payload carries no token",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "typed_data.primaryType",
            "id": "X402_METHOD_NOT_OFFLINE_CHECKABLE",
            "observed": null,
            "policy": "expected_x402 was not declared",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "domain.chainId",
            "id": "X402_NETWORK_MISMATCH",
            "observed": null,
            "policy": "expected_x402.network, the caller-declared network_chain_ids map, or domain.chainId was not present",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "message",
            "id": "X402_PAYTO_MISMATCH",
            "observed": null,
            "policy": "expected_x402.payTo was not declared, or the classified payload carries no payee",
            "severity": "policy",
            "status": "NOT_EVALUATED"
          },
          {
            "field_path": "mode",
            "id": "Y_PARITY_OUT_OF_RANGE",
            "observed": null,
            "policy": "these checks read a delegation tuple; this payload is structured data",
            "severity": "eip7702",
            "status": "NOT_EVALUATED"
          }
        ],
        "classification": {
          "encode_type": "Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)",
          "entry_count": null,
          "lookalike": false,
          "payment_method": "not_detected",
          "primary_type": "Permit",
          "standard": "ERC2612_PERMIT",
          "witness_is_named_payment_witness": false,
          "witness_type": null
        },
        "display": [
          {
            "format": "chainId",
            "label": "Chain",
            "params": {},
            "path": "domain.chainId",
            "value": "1"
          },
          {
            "format": "addressName",
            "label": "Verifying contract",
            "params": {
              "raw": "0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48"
            },
            "path": "domain.verifyingContract",
            "value": "0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48"
          },
          {
            "format": "addressName",
            "label": "Spender",
            "params": {
              "raw": "0x1111111111111111111111111111111111111111"
            },
            "path": "message.spender",
            "value": "0x1111111111111111111111111111111111111111"
          },
          {
            "format": "tokenAmount",
            "label": "Amount",
            "params": {
              "decimals": null,
              "raw_base_units": true,
              "ticker": null,
              "token": "0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48"
            },
            "path": "message.value",
            "value": "1000000"
          },
          {
            "format": "date",
            "label": "Expires",
            "params": {
              "unix": "2000000000"
            },
            "path": "message.deadline",
            "value": "2033-05-18T03:33:20Z"
          }
        ],
        "evaluated_count": 7,
        "flagged_count": 0,
        "handoffs": {
          "art_612": {
            "chainId": "1",
            "deadline": "2000000000",
            "name": "USD Coin",
            "nonce": "0",
            "owner": "0xe05fcc23807536bee418f142d19fa0d21bb0cff7",
            "r": null,
            "s": null,
            "spender": "0x1111111111111111111111111111111111111111",
            "value": "1000000",
            "verifyingContract": "0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48",
            "version": "2",
            "yParity": null
          }
        },
        "mode": "typed_data",
        "not_evaluated": [
          "AMOUNT_ABOVE_POLICY",
          "CHAIN_MISMATCH_ACTIVE",
          "CHAIN_NOT_ALLOWED",
          "CROSS_CHAIN_AUTHORIZATION",
          "DELEGATE_NOT_ALLOWLISTED",
          "DELEGATION_CLEAR",
          "EIP2_HIGH_S",
          "EIP3009_TRANSFER_TO_CONTRACT",
          "ERC6492_WRAPPED",
          "ERC7730_DESCRIPTOR_MISMATCH",
          "EXPIRED",
          "HIGH_S",
          "NONCE_OUT_OF_RANGE",
          "NON_ECDSA_LENGTH",
          "NOT_YET_VALID",
          "PAYEE_NOT_ALLOWLISTED",
          "PAYLOAD_DIVERGES_FROM_INTENT",
          "PERMIT2_DOMAIN_SHAPE",
          "SPENDER_NOT_ALLOWLISTED",
          "SPENDER_NOT_DECLARED_CONTRACT",
          "VALIDITY_BEYOND_POLICY",
          "VERIFYING_CONTRACT_NOT_ALLOWED",
          "V_FORM_RAW_YPARITY",
          "X402_AMOUNT_MISMATCH",
          "X402_ASSET_MISMATCH",
          "X402_METHOD_NOT_OFFLINE_CHECKABLE",
          "X402_NETWORK_MISMATCH",
          "X402_PAYTO_MISMATCH",
          "Y_PARITY_OUT_OF_RANGE"
        ],
        "policy_conformance": "CONFORMS",
        "scope_note": "Classifies an authorization payload that is about to be signed and reports how it stands against a signing policy the caller declares. Classification is string equality of the computed encodeType against canonical type strings, so a type this node does not recognise is reported as UNRECOGNIZED and never guessed. Every threshold, allowlist, counterparty set and clock reading is a caller-declared input: a check whose input was not declared reports NOT_EVALUATED and is listed separately, never folded into a CLEAR. This node performs no chain read, recovers no signer, computes no digest, and never submits anything. It reports flags against a declared policy; it does not judge a counterparty, a delegate contract, or an outcome.",
        "signature_form": null,
        "warnings": [
          "29 check(s) could not be evaluated because a declared input was absent; they are listed in not_evaluated and are never counted as CLEAR"
        ]
      }
    }
  },
  "journal_contract": {
    "spec": "SPEC.md §18.7",
    "serialization": "rfc8785-jcs+utf8",
    "journal_digest": "sha256:ac1cd2d36e3f6912dc97b414d75a3a2643c528c2314dcbcf8fb8d040f932b4c9",
    "claim_digest": null
  },
  "provenance": {
    "repo": "PostOakLabs/ainumbers",
    "receipt_source": "chaingraph/graph/nodes/art-700-authorization-payload-linter.json",
    "receipt_source_sha256": "sha256:4e74e30a4d911dcb5208659591b585aa849fc91515ffc604bde69a3e35c9b379",
    "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"
  }
}