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

Core workflow

1. Identify module path:
   • Dynamic (Doppler)
   • Multicurve (base/scheduled/decay)
   • Hook-initializer (DopplerHookInitializer + hooks)
   • Proceeds split migration (UniswapV4MigratorSplit, TopUpDistributor)
2. Read primary state directly from source contract.
3. Recompute expected values off-chain (ticks, prices, allocations, proceeds split).
4. Compare against emitted events and token balances.

High-impact checks

• Auction progression: epochs, proceeds, sold amounts
• Pool status transitions (Initialized, Locked, Graduated, Exited where applicable)
• Hook permissions/flags and callback state
• Split recipient payout + top-up pull-up outcomes

References

• CAST.md
• VIEM.md
• RPC.md
• EXPLORERS.md

Related skills

• airlock
• migrator-uniswap-v2
• migrator-uniswap-v3
• migrator-uniswap-v4
• pda-dynamic
• pda-multicurve
• doppler-hooks
• proceeds-split-migration