{
  "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"
      ]
    }
  }
}