{
  "type": "ZkVmReceipt",
  "system": "risc0",
  "receiptFormat": "groth16-bn254",
  "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
  "seal": "Ar5Zbig8JXotyy7yWwLhW+mD+QWTMQgnG6n7xDNjM7UGdDHPg1tS+uX++TRt7psMYo+NxXI36/eyPa4GQ2v5uAd/mJymZsr0K/0YIeHX2q/29JbR8EOVJ8AsWYGyo2KKG9NFty+srtlofXS0f9/X+wYG5pIcnMLB+1IExMXfjgcMzRqZbCUdxEIg5ZpDr7AV5fn0TRQTCKdrTOYXC7beuxLGdmYUWI7Vu1IrseIPp3ZEidLGWmPXiDRRs0S0+FbuKa9lmEtpT/JWWRBDg6mLgvIjC0JK/8V5YE5AL2mgqLcky+WmYVHaljmcDvlsnp3SnLrXS765PclyAvf8f0+iqw==",
  "journal": {
    "chaingraph_version": "0.4.0",
    "kernel_digest": "sha256:0c36a136f75d75a9dbc83a6d6230e082a4d33eb3fb43c2c52de58b9dcc2b39f9",
    "output": {
      "allowance_expiry": null,
      "digest": "0x7d49d112cf01c74a5dce717f5e786ca6774b0e45658eff49d6b871aa480af95b",
      "domain": {
        "chain_id": "84532",
        "field_count": 3,
        "name": "Permit2",
        "verifying_contract": "0x000000000022d473030f116ddee9f6b43ac78ba3",
        "verifying_contract_is_canonical_permit2": true
      },
      "domain_separator": "0x010f27a92fb9a32622f44f001dc4d15706a85b33499cfc2ce9033113ab26592c",
      "domain_typehash": "0x8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a866",
      "errors": [],
      "handoff_591": {
        "claimedFrom": "0x2c7536e3605d9c16a7a3d7b1898e529396a65c23",
        "digest": "0x7d49d112cf01c74a5dce717f5e786ca6774b0e45658eff49d6b871aa480af95b",
        "r": "0x25756b2bf033967940a5fdc0735ab623fea0727447b70dbf4980a4e26a10a1e1",
        "s": "0x68a8a260ea84da98a5674371f183b87b966c972e320aac93d1e85916ca50aa84",
        "yParity": 1
      },
      "handoff_612": null,
      "message": {
        "deadline": "1790000600",
        "nonce": "1701411834604692317316873037158841057",
        "permitted": {
          "amount": "10000",
          "token": "0x036cbd53842c5426634e7929541ec2318f3dcf7e"
        },
        "spender": "0x402085c248eea27d92e8b30b2c58ed07f9e20001",
        "token_permissions_hash": "0x8a320c6226077ff73fae601a9ffd16445c55f717ef1cfd2f7905c573e75c03a4",
        "witness": {
          "to": "0x209693bc6afc0c5328ba36faf03c514ef312287c",
          "valid_after": "1790000000"
        },
        "witness_hash": "0x873a63751248b755bfaf45dff43913fce6711cc9b5cf470b2331aec6adb8bfd2",
        "witness_type_string": "Witness(address to,uint256 validAfter)"
      },
      "nonce_facts": {
        "nonce_already_used": null,
        "nonce_bit_pos": 225,
        "nonce_space": "signature_transfer_unordered_bitmap",
        "nonce_word_pos": "6646139978924579364519035301401722",
        "sequential_nonce": null,
        "space_note": "The transfer message shapes use an unordered bitmap: the upper 248 bits index the word and the low 8 bits index the bit within it. It is a different space from the allowance shape's sequential counter, and the two are never conflated."
      },
      "reasons": [],
      "scope_note": "Recomputes the Permit2 typed-data digest for a single-item x402 witness transfer, an unwitnessed signature transfer, or an allowance permit, from caller-supplied domain and message fields, and reports binding facts against a caller-supplied payment requirement. It proves nothing about who signed: signer recovery is the downstream recovery node's job and this kernel emits its input record instead. It reads no chain, so nonce spend state, stored allowance, contract code and the current block time are caller-declared inputs echoed back, and an absent input reports NOT_EVALUATED. Zero network calls. Never a facilitator, proxy or settlement relay.",
      "signature_form": {
        "ecdsa_recovery_applicable": true,
        "erc6492_wrapped": false,
        "notes": [],
        "present": true,
        "r": "0x25756b2bf033967940a5fdc0735ab623fea0727447b70dbf4980a4e26a10a1e1",
        "s": "0x68a8a260ea84da98a5674371f183b87b966c972e320aac93d1e85916ca50aa84",
        "s_above_half_order": false,
        "signature_byte_length": 65,
        "signature_length_class": "65",
        "v_form": "legacy_27_28",
        "v_onchain_compatible": true,
        "y_parity": 1
      },
      "sponsored_approval": null,
      "struct_hash": "0x4a662cd0ab203d6f82055c77d5d7b442845fc55e2ce2b0e4dbaebae838eb96c2",
      "type_string": "PermitWitnessTransferFrom(TokenPermissions permitted,address spender,uint256 nonce,uint256 deadline,Witness witness)TokenPermissions(address token,uint256 amount)Witness(address to,uint256 validAfter)",
      "typehash": "0xebc156cd23678a74c94df13d772ef5478420637f0c94bd10d509e1dc98f521c7",
      "variant": "x402_witness_transfer",
      "verdict": "DIGEST_RECOMPUTED",
      "warnings": [],
      "window": {
        "deadline": "1790000600",
        "deadline_status": "WITHIN",
        "now_unix": "1790000300",
        "valid_after": "1790000000",
        "valid_after_status": "ACTIVE"
      },
      "x402_binding": {
        "amount_vs_requirement": "EQUAL",
        "chain_matches_network": true,
        "network_comparison_note": null,
        "requirement_amount": "10000",
        "requirement_declared": true,
        "scheme": "exact",
        "signed_amount": "10000",
        "spender_is_x402_permit2_proxy": true,
        "token_matches_asset": true,
        "witness_to_matches_pay_to": true
      }
    }
  }
}