{
      "name": "x402-permit2-sponsored-spend-evidence",
      "domain": "Digital-Asset Rails",
      "title": "x402 Permit2 Sponsored Spend Evidence Pack",
      "description": "Linear three-step evidence pipeline for an x402 Permit2 payment that also carries the gas-sponsoring approval extension, where the payer signs a second message approving the transfer contract and a facilitator pays the gas to submit it. The first step recomputes the Permit2 transfer digest and, when the extension is present, emits the sponsored-approval facts and a handoff in the approval verifier's input shape; the second step recovers the transfer signer; the third recomputes the approval digest and reports whether its signer binds to the declared owner. The three outputs compose into an evidence pack covering both signatures. This is an evidence bundle and never a settlement proof: no chain is read, nothing is submitted, and the approval handoff carries nulls rather than a guess when the token domain name and version were not declared.",
      "composer_url": "https://ainumbers.co/chaingraph/chains/x402-permit2-sponsored-spend-evidence.html",
      "regulatory_basis_status": "not_assessed",
      "regulatory_basis_decided_by": "X402-PERMIT2-EVIDENCE-1",
      "regulatory_basis_decided_at": "2026-09-29",
      "steps": [
        {
          "tool_id": "art-699-x402-permit2-evidence-recomputer",
          "handoff": "recomputes the Permit2 transfer digest, emits handoff_591 for the recovery step, and emits handoff_612 carrying the sponsored approval fields in the shape the third step reads"
        },
        {
          "tool_id": "art-591-x402-signer-recovery-verifier",
          "handoff": "recovers the signer of the transfer digest and reports the claimed-from match, alongside the digest, in the assembled evidence pack"
        },
        {
          "tool_id": "art-612-erc2612-permit-binding-verifier",
          "handoff": "recomputes the approval digest from the handoff fields and reports whether its recovered signer binds to the declared owner, which is the terminal fact in the assembled pack"
        }
      ]
    }