Reverted call with unresolved initialization

End-of-block token state cannot establish initialization before a reverted call.

Synthetic evidence

Base Sepolia

Modeled transactions and receipts demonstrate the analyzer. These hashes are not claims of existing network transactions.

Application readiness: Not tested. Runtime qualification: Not qualified.

Capture time, blocks, and selection

Supplied scope: 1 supplied hashes · 1 unique
Modeled block: 123
Capture time (UTC): 2026-09-29T12:00:00.000Z
Selection: Synthetic direct transfer fixture; no network observation.

Read each result separately

B20 evidence: 0 eligible direct calls · 0 factory observations · 0 event-only transactions
Expected Builder Code: bc_example
All input attribution: 1/1 (100%)
Supported direct-call attribution: Not measured
Execution: 0 successful · 1 reverted · 0 pending · 0 unavailable
Unresolved evidence: 1 transactions · run partial
Application readiness: Not tested
Runtime qualification: Not qualified

Coverage applies to the supplied hashes. A zero denominator means “Not measured.” The producer’s observe decision is pass; this page has not evaluated strict policy with fresh RPC evidence.

Transaction evidence

Direct token call

0x11111111…11111111reverted · Expected code foundDetails

0x1111111111111111111111111111111111111111111111111111111111111111

Attribution · top-level transaction: Expected code found · bc_example
Execution: reverted
Direct coverage: Excluded: required direct-call scope or evidence is unresolved
Method: transfer
Recipient / spender: 0x3333333333333333333333333333333333333333
Raw amount: 79228162514264337593543950337 · token base units

Diagnostics

B20_TRANSACTION_TIME_INITIALIZATION_UNRESOLVED

Token findings

0xb200000000000000000000111111111111111111Initialized B20 token · factory-query

Supporting transaction, receipt, block, and token reads

{
  "hash": "0x1111111111111111111111111111111111111111111111111111111111111111",
  "transaction": {
    "hash": "0x1111111111111111111111111111111111111111111111111111111111111111",
    "from": "0x2222222222222222222222222222222222222222",
    "to": "0xb200000000000000000000111111111111111111",
    "input": "0xa9059cbb0000000000000000000000003333333333333333333333333333333333333333000000000000000000000000000000000000000100000000000000000000000162635f6578616d706c650a0080218021802180218021802180218021",
    "blockHash": "0xabababababababababababababababababababababababababababababababab",
    "blockNumber": "123",
    "transactionIndex": "1"
  },
  "receipt": {
    "transactionHash": "0x1111111111111111111111111111111111111111111111111111111111111111",
    "transactionIndex": "1",
    "blockHash": "0xabababababababababababababababababababababababababababababababab",
    "blockNumber": "123",
    "status": "reverted",
    "logs": []
  },
  "block": {
    "number": "123",
    "hash": "0xabababababababababababababababababababababababababababababababab",
    "timestamp": "1790683200",
    "statePosition": "end-of-block"
  },
  "blockAfter": {
    "number": "123",
    "hash": "0xabababababababababababababababababababababababababababababababab",
    "timestamp": "1790683200",
    "statePosition": "end-of-block"
  },
  "tokens": [
    {
      "kind": "bao.b20-inspection-capture",
      "schemaVersion": 1,
      "chainId": 84532,
      "address": "0xb200000000000000000000111111111111111111",
      "protocolProfileId": "base-std-1505323-inspect-v1",
      "protocolSourceDigest": "0xf94bc2a2d18330180dfc1a22e0c586c608791524946a22f1b22f871a49bc4d4d",
      "acquisition": "synthetic",
      "capturedAt": "2026-09-29T12:00:00.000Z",
      "requestedBlock": "123",
      "chainResponse": "0x14a34",
      "block": {
        "number": "123",
        "hash": "0xabababababababababababababababababababababababababababababababab",
        "timestamp": "1790683200",
        "statePosition": "end-of-block"
      },
      "blockAfter": {
        "number": "123",
        "hash": "0xabababababababababababababababababababababababababababababababab",
        "timestamp": "1790683200",
        "statePosition": "end-of-block"
      },
      "initialization": {
        "id": "initialization",
        "method": "eth_call",
        "request": {
          "to": "0xb20f000000000000000000000000000000000000",
          "data": "0x6a45ba98000000000000000000000000b200000000000000000000111111111111111111",
          "block": {
            "blockHash": "0xabababababababababababababababababababababababababababababababab",
            "requireCanonical": true
          }
        },
        "result": {
          "status": "returned",
          "data": "0x0000000000000000000000000000000000000000000000000000000000000001"
        }
      }
    }
  ],
  "error": null
}

Download and reproduce this report

Download report JSON Download capture JSON

bao b20 verify --input b20-reverted-unresolved.report.json --offline
bao b20 replay --input b20-reverted-unresolved.capture.json --chain-id 84532 --expect bc_example --offline

Offline validation checks internal consistency. Imported acquisition and policy remain producer claims. Read the collection and recheck guide.

Protocol profile: base-std-1505323-replay-v1
Evidence digest: 0x29e7961dffa9d90e88b09ed5ad4ca3d67c4d209dfb8fbe1227b5b0ccae5d8745
Pinned source: base/base-std source

Scope and limitations

Coverage describes only the explicitly supplied transaction set; producer-declared completeness is not independently established.
Builder-Code-filtered selection cannot measure omitted attribution outside the supplied set.
Token reads describe end-of-block state. Reverted calls without earlier creation evidence remain unresolved at transaction time.
Receipt events in routers or batches do not establish attribution for a nested application or UserOperation.
Acquisition and policy in an imported artifact are producer claims. Offline validation cannot grant current-run RPC authority.
Application readiness, deployment activation, consensus proofs, ownership, and reward eligibility are not tested.