Commit 6b34c19 · Solidity 0.8.26 · Uniswap v4 on Ethereum mainnet · unaudited
Download PRESSURE-CONTRACT-REVIEW.md (~1,750 lines)
Full source of the in-scope contracts inline, plus scope, invariants to attack, accepted-and-known properties, prior bugs, and the test inventory. Nothing else needed to start reading.