Verification

When to use

• Contract state does not match expected launch/migration behavior
• Rebalances, fee claims, or migration splits need confirmation
• You need deterministic proof from chain data before making changes

Tool selection

• cast: fast reads and direct function checks
• viem: precision-safe math and custom scripts
• raw RPC: historical eth_call at prior blocks
• explorers/indexer: events, tx traces, and timeline reconstruction