verification
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 checksviem: precision-safe math and custom scripts- raw RPC: historical
eth_callat prior blocks - explorers/indexer: events, tx traces, and timeline reconstruction
Core workflow
- Identify module path:
- Dynamic (
Doppler) - Multicurve (base/scheduled/decay)
- Hook-initializer (
DopplerHookInitializer+ hooks) - Proceeds split migration (
UniswapV4MigratorSplit,TopUpDistributor)
- Dynamic (
More from rustydotwtf/doppler-skills
fee-architecture
Reference for Doppler fee collection, distribution, and configuration across Airlock, FeesManager, locker contracts, and hook-based fee paths.
9token-lifecycle
Reference for Doppler token creation, vesting, inflation, and factory selection across DERC20, DERC2080, CloneERC20, and CloneDERC20VotesV2 paths.
9uniswap-fundamentals
Reference for Uniswap V3/V4 concepts used in Doppler development, including tick math, sqrtPriceX96, concentrated liquidity formulas, and V4 hooks/singleton architecture.
9proceeds-split-migration
Configure and verify migration-time proceeds split flows using `ProceedsSplitter`, `TopUpDistributor`, `UniswapV4MigratorSplit`, and `UniswapV4MigratorSplitHook`.
7rehype
Operate, configure, test, and deploy Doppler's Rehype V4 hook for buybacks, beneficiary fees, and airlock-owner fee claims.
4pda-multicurve
Reference for multicurve price discovery auctions with scheduled multicurve as the canonical default; covers shares-based curve allocation, deployment modes, and lifecycle constraints.
4