{
  "artefact": "vauban-pay/strk20-mainnet-value-leg-claim/v1",
  "binding_ref": "sha256:8dd34ef240501d516b7479bd170cdd8fa6e6a71f03f300bd8d5f51b3b3be8bce",
  "claim": {
    "anchor_count": 2,
    "anchors": [
      {
        "meta": {
          "chain_id": "SN_SEPOLIA",
          "storage_key": "0x410bdf991d522b41a5ed3774d47ad38addf945a5c20084575c1b1a3b81a021b"
        },
        "ref": "0x040dc9c501290390b4bdc24d9c9e3f9d3b3d3d0e018a3bfc0f6df666e5394d8f",
        "type": "starknet-l3"
      },
      {
        "epoch": 13114297,
        "meta": {
          "chain_id": "SN_MAIN",
          "tx_hash": "0x4b4b35f259a6d2b4983f87f721022151852f06fb2cc9ad6995805e52f805506"
        },
        "nullifier": "0x006eeee562483af05ffbf98f90dd2ab39cbb124b3bc81b872de2af96dea00761",
        "ref": "0x040337b1af3c663e86e333bab5a4b28da8d4652a15a69beee2b677776ffe812a",
        "type": "starknet-l3"
      }
    ],
    "claim_ref": "sha256:c7c8d9046b5caa483c1ced9a1a9854410b334ee310403287f8e4a3252955a428"
  },
  "honesty": {
    "agentic_leg": "Sepolia ; x402 negotiation + delegation caps proven by STARK (demo/x402-agent/run-agent-flow.sh)",
    "not_proven": [
      "that the receipt's subject executed the pool transaction",
      "the value moved (amounts inside the pool are shielded)",
      "any on-chain verification of a Vauban Pay proof (the pool is application-blind)"
    ],
    "nullifier_domain": "the pool's own privacy::events::NoteUsed spend marker ; NOT a Vauban Pay payment nullifier",
    "value_leg": "Starknet mainnet ; referenced by hash, read-only. NOT executed by this repo ; no claim about who executed it.",
    "value_tx_provenance": "third-party public transaction, read-only. Vauban Pay makes no claim about who sent it."
  },
  "read_provenance": {
    "finality_at_read": "ACCEPTED_ON_L1",
    "pool_contract_class": "privacy:: (starkware-libs/starknet-privacy)",
    "pool_event": "privacy::events::NoteUsed",
    "read_at": "2026-08-13",
    "rpc": "https://rpc.vauban.tech/rpc/v0_10"
  },
  "receipt": {
    "block_number": 10427606,
    "payment_id": "0f8a1d2e-6b47-4c11-9f30-2b8c5e7a91d4",
    "settled_at": 1786431237,
    "tx_hash": "0x0410bdf991d522b41a5ed3774d47ad38addf945a5c20084575c1b1a3b81a021b",
    "value_pool_binding": {
      "block_number": 13114297,
      "chain_id": "SN_MAIN",
      "nullifier": "0x6eeee562483af05ffbf98f90dd2ab39cbb124b3bc81b872de2af96dea00761",
      "pool_address": "0x40337b1af3c663e86e333bab5a4b28da8d4652a15a69beee2b677776ffe812a",
      "tx_hash": "0x4b4b35f259a6d2b4983f87f721022151852f06fb2cc9ad6995805e52f805506"
    }
  },
  "verify": {
    "expect": "execution_status SUCCEEDED, block_number matching `binding.block_number`, one privacy::events::NoteUsed event whose key[1] is `binding.nullifier`",
    "recompute_binding_ref": "cargo test -p zkpay-types fixture_binding_ref_recomputes",
    "reread_value_tx": "curl -s -X POST https://rpc.vauban.tech/rpc/v0_10 -H 'content-type: application/json' -d '{\"jsonrpc\":\"2.0\",\"id\":1,\"method\":\"starknet_getTransactionReceipt\",\"params\":[\"0x4b4b35f259a6d2b4983f87f721022151852f06fb2cc9ad6995805e52f805506\"]}'"
  }
}