KNOWN
EDGES
Five hard boundaries define what this interface can observe and what it refuses to infer.

This ledger is useful only when its boundary is visible.
Five hard boundaries define what this interface can observe and what it refuses to infer.
UNSPENT covers only the Arbitrum canonical Outbox route and makes no chain-wide coverage claim.
Expired retryable ETH is refunded to callValueRefundAddress on L2, and a ticket can be extended. ERC-20 escrow needs a separate inference method; this interface draws no conclusion about deposits.
One address can represent multiple people; one person can use multiple addresses. The ledger shows records and stops there.
Not even Stage 0; no upgrade delay or exit window; a centralized sequencer; fraud proofs are not permissionless, with two whitelisted challengers.
“critical contracts can be upgraded by an EOA which could result in the loss of all funds” — L2BEAT
If the source cannot be reached, live figures and records are hidden. Cached figures never fill the gap.