{
  "_what": "One money-path rehearsal of the Voidly session rail, run 2026-08-21 against a LOCAL ANVIL FORK of Base mainnet. No real value moved and none could. There is no explorer link because no public transaction exists.",
  "_redaction": "Every 40-hex account address is truncated to 0x<first 8>\u2026<last 8>. A published voidpay surface does not print any address a reader could send funds to; a build guard enforces it. Local process ids and filesystem paths are removed. Nothing else is altered \u2014 check ids, names, ok flags, verdicts and counts are verbatim.",
  "_counts": {
    "checks": 87,
    "failures": 0,
    "distinct_assertion_names": 74,
    "repeated_assertion_names": 13,
    "note": "The S lane runs twelve assertions against a stub chain and the A lane re-runs the same twelve against the fork; the redeem lane runs twice and one of its five assertions repeats by name. So 13 of the 87 records carry an assertion name that already appeared. Each record here carries repeat_of_earlier_assertion so the split can be re-derived, not taken on trust."
  },
  "mode": "fork",
  "pass": true,
  "chain": "eip155:8453",
  "agreement_class": "arranged-local-fork",
  "real_money": false,
  "value_bearing_chain": false,
  "settlement_substrate": "local-anvil-fork-of-base-mainnet",
  "fork_block": 50245600,
  "checks": [
    {
      "id": "B1",
      "name": "the frozen table already knows Base MAINNET",
      "ok": true,
      "detail": "0x833589fc\u2026bda02913",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "B2",
      "name": "the SHIPPED registry still registers Base mainnet only",
      "ok": true,
      "detail": "eip155:8453",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "Q0",
      "name": "three SEPARATE anvil processes, three PIDs",
      "ok": true,
      "detail": "35160 / 35210 / 35278",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "Q1",
      "name": "every node reports chain 8453 (Base MAINNET), observed not configured",
      "ok": true,
      "detail": "8453, 8453, 8453",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "Q2",
      "name": "all three agree on the fork block, before any transaction exists",
      "ok": true,
      "detail": "50245600@0x5c8b763781909e2ae022beb59009411636458ea5f4e85bc43ac6a9ae6397a5a1",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "S0",
      "name": "binding reference is exactly 32 bytes of hex",
      "ok": true,
      "detail": "",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "S1",
      "name": "verdict is accepted",
      "ok": true,
      "detail": "accepted",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "S2",
      "name": "chain === grant.price_chain",
      "ok": true,
      "detail": "eip155:8453",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "S3",
      "name": "asset === grant.price_asset",
      "ok": true,
      "detail": "eip155:8453/erc20:0x833589fc\u2026bda02913",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "S4",
      "name": "binding_reference verbatim off the rail",
      "ok": true,
      "detail": "0x5dc9d9a0d74e994e71309c24f49a03d66c249177527f97b45de9a749bd196c9d",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "S5",
      "name": "canonicalEvidenceId(binding) === settlementBindingReference(grant_hash)",
      "ok": true,
      "detail": "5dc9d9a0d74e994e71309c24f49a03d66c249177527f97b45de9a749bd196c9d",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "S6",
      "name": "payee_account === grant.price_payee_account",
      "ok": true,
      "detail": "eip155:8453:0x22222222\u202622222222",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "S7",
      "name": "payer_account === grant.price_payer_account",
      "ok": true,
      "detail": "eip155:8453:0x11111111\u202611111111",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "S8",
      "name": "amount === the exact agreed price",
      "ok": true,
      "detail": "1000",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "S9",
      "name": "amount is within [price_min, price_max]",
      "ok": true,
      "detail": "1000 <= 1000 <= 1000",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "S10",
      "name": "evidence_id is the settled transaction hash",
      "ok": true,
      "detail": "0xabababababababababababababababababababababababababababababababab",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "S11",
      "name": "canonicalEvidenceId(evidence_id) folds 0x away",
      "ok": true,
      "detail": "abababababababababababababababababababababababababababababababab",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "S12",
      "name": "grant_hash is the binding preimage",
      "ok": true,
      "detail": "5dc9d9a0d74e994e71309c24f49a03d66c249177527f97b45de9a749bd196c9d",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "M1",
      "name": "refused: wrong nonce \u2014 adapter parses it, the CORE refuses the binding",
      "ok": true,
      "detail": "verdict=accepted",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "M2",
      "name": "refused: one unit short \u2014 adapter parses it, the CORE refuses the floor",
      "ok": true,
      "detail": "verdict=accepted",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "M3",
      "name": "refused: payee drained in the same tx",
      "ok": true,
      "detail": "verdict=rejected",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "M4",
      "name": "refused: wrong token contract",
      "ok": true,
      "detail": "verdict=rejected",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "M5",
      "name": "refused: two authorizations",
      "ok": true,
      "detail": "verdict=indeterminate",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "M6",
      "name": "refused: one confirmation short",
      "ok": true,
      "detail": "verdict=indeterminate",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "M7",
      "name": "refused: receipt for another tx",
      "ok": true,
      "detail": "verdict=indeterminate",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "M8",
      "name": "refused: transfer.from !== authorizer",
      "ok": true,
      "detail": "verdict=rejected",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "G1",
      "name": "evidence carrying \"authorization\" is refused",
      "ok": true,
      "detail": "verdict=indeterminate",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "G2",
      "name": "evidence carrying \"signature\" is refused",
      "ok": true,
      "detail": "verdict=indeterminate",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "G3",
      "name": "evidence carrying \"paymentPayload\" is refused",
      "ok": true,
      "detail": "verdict=indeterminate",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "G4",
      "name": "evidence carrying \"settleResponse\" is refused",
      "ok": true,
      "detail": "verdict=indeterminate",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "G5",
      "name": "evidence carrying \"receipt\" is refused",
      "ok": true,
      "detail": "verdict=indeterminate",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "R1",
      "name": "redeemGrant -> redeemed",
      "ok": true,
      "detail": "redeemed",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "R2",
      "name": "record.settled_amount is the exact price",
      "ok": true,
      "detail": "1000",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "R3",
      "name": "record.evidence_id is the canonical tx hash",
      "ok": true,
      "detail": "abababababababababababababababababababababababababababababababab",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "R4",
      "name": "second presentation -> replayed (single use)",
      "ok": true,
      "detail": "replayed",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "R5",
      "name": "same payment, different grant -> settlement_binding_mismatch",
      "ok": true,
      "detail": "settlement_binding_mismatch",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "Q3",
      "name": "every operator URL is a loopback anvil THIS process spawned",
      "ok": true,
      "detail": "http://127.0.0.1:50230 http://localhost:50249 http://localhost.:50287",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "Q4",
      "name": "name() is the Base-MAINNET spelling (not Sepolia's \"USDC\")",
      "ok": true,
      "detail": "USD Coin",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "Q5",
      "name": "the contract's OWN TRANSFER_WITH_AUTHORIZATION_TYPEHASH()",
      "ok": true,
      "detail": "0x7c7c6cdb67a18743f49ec6fa9b35f50d52ed05cbed4cc592e13b44501c1a2267",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "Q6",
      "name": "the adapter's frozen table names THIS contract for eip155:8453",
      "ok": true,
      "detail": "0x833589fc\u2026bda02913",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "Q7",
      "name": "the funding is a REAL contract transfer, identical on all three nodes",
      "ok": true,
      "detail": "tx 0x5e3b7991aa9c0d6c\u2026 status=0x1 logs=1 block 0xc96c6b882e7fe7cb\u2026",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "Q8",
      "name": "a real holder's balance decremented by exactly the funded amount",
      "ok": true,
      "detail": "2957316439776 -> 2957316436776",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "F1",
      "name": "payer holds the price",
      "ok": true,
      "detail": "3000 micro",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "F2",
      "name": "relayer holds gas",
      "ok": true,
      "detail": "1000000000000000000 wei",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "H1",
      "name": "nonce is the binding reference, byte for byte",
      "ok": true,
      "detail": "",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "H2",
      "name": "this (payer, nonce) has never been used",
      "ok": true,
      "detail": "false",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "H3",
      "name": "DOMAIN_SEPARATOR reproduced locally before signing",
      "ok": true,
      "detail": "0x02fa7265e7c5d81118673727957699e4d68f74cd74b7db77da710fe8a2c7834f",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "H4",
      "name": "simulation succeeds (signature is valid to the contract)",
      "ok": true,
      "detail": "",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "T0",
      "name": "THE GASLESS STRANGER: payer ETH is 0 wei and payer tx nonce is 0 at the instant of the transfer",
      "ok": true,
      "detail": "eth_getBalance(payer) = 0 wei, eth_getTransactionCount(payer) = 0",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "Q9",
      "name": "one signed transaction -> the SAME hash from all three nodes",
      "ok": true,
      "detail": "distinct = 1  0x0ed0159bb6719ba76ca69f729065af2b0720b242b096d7386da930cf68f0c52c",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "T1",
      "name": "transaction status",
      "ok": true,
      "detail": "success",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "Q10",
      "name": "all three nodes serve ONE identical account of it (distinct counts, not a boolean)",
      "ok": true,
      "detail": "blockNumber=1  receiptBlockHash=1  headerHash=1  headerTimestamp=1  logs=1  present=3/3",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "T2",
      "name": "chain marks (payer, nonce) consumed forever",
      "ok": true,
      "detail": "true",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "T4",
      "name": "INDEPENDENT OF EVERYTHING UNDER TEST: the payee's own token balance rose by exactly the price",
      "ok": true,
      "detail": "balanceOf(payee) 0 -> 1000, delta 1000, price 1000",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "T5",
      "name": "and the payer's balance fell by exactly the same amount",
      "ok": true,
      "detail": "balanceOf(payer) 3000 -> 2000, delta -1000",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "V1",
      "name": "quorum agreed AND the read settled (agreed_by alone is the usable set, not the agreeing set)",
      "ok": true,
      "detail": "verdict=accepted; agreed_by = 0.1, localhost, localhost.; silent = none",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "A1",
      "name": "verdict is accepted",
      "ok": true,
      "detail": "accepted",
      "repeat_of_earlier_assertion": true
    },
    {
      "id": "A2",
      "name": "chain === grant.price_chain",
      "ok": true,
      "detail": "eip155:8453",
      "repeat_of_earlier_assertion": true
    },
    {
      "id": "A3",
      "name": "asset === grant.price_asset",
      "ok": true,
      "detail": "eip155:8453/erc20:0x833589fc\u2026bda02913",
      "repeat_of_earlier_assertion": true
    },
    {
      "id": "A4",
      "name": "binding_reference verbatim off the rail",
      "ok": true,
      "detail": "0x2dd290b88d38c0741645176e307479754c191a3ea7621a4f21d294dfab5f91cf",
      "repeat_of_earlier_assertion": true
    },
    {
      "id": "A5",
      "name": "canonicalEvidenceId(binding) === settlementBindingReference(grant_hash)",
      "ok": true,
      "detail": "2dd290b88d38c0741645176e307479754c191a3ea7621a4f21d294dfab5f91cf",
      "repeat_of_earlier_assertion": true
    },
    {
      "id": "A6",
      "name": "payee_account === grant.price_payee_account",
      "ok": true,
      "detail": "eip155:8453:0xdb6a5f22\u2026c94fc367",
      "repeat_of_earlier_assertion": true
    },
    {
      "id": "A7",
      "name": "payer_account === grant.price_payer_account",
      "ok": true,
      "detail": "eip155:8453:0x9d4a8c2d\u20264329a544",
      "repeat_of_earlier_assertion": true
    },
    {
      "id": "A8",
      "name": "amount === the exact agreed price",
      "ok": true,
      "detail": "1000",
      "repeat_of_earlier_assertion": true
    },
    {
      "id": "A9",
      "name": "amount is within [price_min, price_max]",
      "ok": true,
      "detail": "1000 <= 1000 <= 1000",
      "repeat_of_earlier_assertion": true
    },
    {
      "id": "A10",
      "name": "evidence_id is the settled transaction hash",
      "ok": true,
      "detail": "0x0ed0159bb6719ba76ca69f729065af2b0720b242b096d7386da930cf68f0c52c",
      "repeat_of_earlier_assertion": true
    },
    {
      "id": "A11",
      "name": "canonicalEvidenceId(evidence_id) folds 0x away",
      "ok": true,
      "detail": "0ed0159bb6719ba76ca69f729065af2b0720b242b096d7386da930cf68f0c52c",
      "repeat_of_earlier_assertion": true
    },
    {
      "id": "A12",
      "name": "grant_hash is the binding preimage",
      "ok": true,
      "detail": "2dd290b88d38c0741645176e307479754c191a3ea7621a4f21d294dfab5f91cf",
      "repeat_of_earlier_assertion": true
    },
    {
      "id": "A13",
      "name": "token discovered by event topic == the frozen table",
      "ok": true,
      "detail": "0x833589fc\u2026bda02913",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "A14",
      "name": "exactly one EIP-3009 authorization in the transaction",
      "ok": true,
      "detail": "1",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "A15",
      "name": "payee NET delta covers the transfer in full",
      "ok": true,
      "detail": "1000",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "A16",
      "name": "AuthorizationUsed.nonce is the grant binding",
      "ok": true,
      "detail": "0x2dd290b88d38c0741645176e307479754c191a3ea7621a4f21d294dfab5f91cf",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "A17",
      "name": "Transfer.from === AuthorizationUsed.authorizer",
      "ok": true,
      "detail": "0x9d4a8c2d\u20264329a544",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "A18",
      "name": "depth >= minConfirmations (12)",
      "ok": true,
      "detail": "14 confirmations",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "Q11",
      "name": "one node serving a false blockHash -> the READ REFUSES, it does not out-vote",
      "ok": true,
      "detail": "kind=unavailable code=operator_self_contradiction",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "Q12",
      "name": "one node silent -> still settled, at 2 of 3",
      "ok": true,
      "detail": "agreed_by = [0.1, localhost]  silent = localhost.(http_403)",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "Q13",
      "name": "the shipped rail registers THIS chain at THIS depth",
      "ok": true,
      "detail": "chain=eip155:8453 minConfirmations=12 (this run used 12)",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "Q14",
      "name": "the shipped rail's OWN adapter accepts this payment, same binding, same amount",
      "ok": true,
      "detail": "kind=accepted amount=1000",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "R1",
      "name": "redeemGrant -> redeemed",
      "ok": true,
      "detail": "redeemed",
      "repeat_of_earlier_assertion": true
    },
    {
      "id": "R2",
      "name": "settled_amount is what actually landed",
      "ok": true,
      "detail": "1000",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "R3",
      "name": "evidence_id is the canonical transaction hash",
      "ok": true,
      "detail": "0ed0159bb6719ba76ca69f729065af2b0720b242b096d7386da930cf68f0c52c",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "R4",
      "name": "a VerifiedGrant was minted (the only key to the brief)",
      "ok": true,
      "detail": "",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "R5",
      "name": "second presentation -> replayed",
      "ok": true,
      "detail": "replayed",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "N1",
      "name": "a hash that never existed -> indeterminate",
      "ok": true,
      "detail": "indeterminate",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "N2",
      "name": "evidence carrying an authorization payload -> refused",
      "ok": true,
      "detail": "indeterminate",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "N3",
      "name": "an unrelated real EIP-3009 self-transfer -> rejected",
      "ok": true,
      "detail": "rejected",
      "repeat_of_earlier_assertion": false
    },
    {
      "id": "N4",
      "name": "the SAME payment against a DIFFERENT grant -> settlement_binding_mismatch",
      "ok": true,
      "detail": "settlement_binding_mismatch",
      "repeat_of_earlier_assertion": false
    }
  ],
  "result": {
    "txHash": "0x0ed0159bb6719ba76ca69f729065af2b0720b242b096d7386da930cf68f0c52c",
    "grantHash": "048c4146bea9b4dd56981c3b153da8cf03201a215d5e71f49a99b4f692b17ef3",
    "bindingRef": "2dd290b88d38c0741645176e307479754c191a3ea7621a4f21d294dfab5f91cf",
    "payer": "0x9d4a8C2d\u20264329a544",
    "payee": "0xdB6a5f22\u2026C94Fc367",
    "relayer": "0xf9EEAE99\u202648a48Ed7",
    "explorer": null
  }
}