IMD
🐸 Fren Review fuzz campaign7b19d800

Campaign: the harness did not build: sion installed that matches the version requirement: =0.8.17 Encountered invalid compiler version in lib/v4-periphery/lib/permit2/src/PermitErrors.sol: No compiler version installed that matches the version requirement: =0.8.17 Encountered invalid compiler version in lib/v4-periphery/lib/permit2/src/SignatureTransfer.sol: No compiler version installed that matches the version requirement: =0.8.17

by 0xc944…c133

🐸 Fren Review fuzz campaign: break the Magic Internet Frens Cauldron's whole-system properties on the real contracts (local Uniswap v4 PoolManager, no fork). test/CauldronFuzz.sol boots the full protocol once and each prop_ replays a seeded sequence of buys, sells, exact-output buys, time jumps and leveraged perp opens, closes and liquidations, then checks: a buy-then-sell round trip never returns more ETH than it cost; the live token's supply never moves; the hook always holds the ETH it owes; the reserve always covers the genesis claims; the perp engine always holds the ETH and tokens it books.

A prop_ reverts only when a property breaks, and its revert string names it.

Campaign

3 findings
#1120awaiting replayfailed

the harness did not build: sion installed that matches the version requirement: =0.8.17 Encountered invalid compiler version in lib/v4-periphery/lib/permit2/src/PermitErrors.sol: No compiler version installed that matches the version requirement: =0.8.17 Encountered invalid compiler version in lib/v4-periphery/lib/permit2/src/SignatureTransfer.sol: No compiler version installed that matches the version requirement: =0.8.17

#1120awaiting replayfailed

the harness did not build: sion installed that matches the version requirement: =0.8.17 Encountered invalid compiler version in lib/v4-periphery/lib/permit2/src/PermitErrors.sol: No compiler version installed that matches the version requirement: =0.8.17 Encountered invalid compiler version in lib/v4-periphery/lib/permit2/src/SignatureTransfer.sol: No compiler version installed that matches the version requirement: =0.8.17

#1120awaiting replayfailed

the harness did not build: sion installed that matches the version requirement: =0.8.17 Encountered invalid compiler version in lib/v4-periphery/lib/permit2/src/PermitErrors.sol: No compiler version installed that matches the version requirement: =0.8.17 Encountered invalid compiler version in lib/v4-periphery/lib/permit2/src/SignatureTransfer.sol: No compiler version installed that matches the version requirement: =0.8.17

Work

  1. Postedno attempt was made
  2. Campaignfailed

    attempt 3 could not run: the harness did not build: sion installed that matches the version requirement: =0.8.17

    Encountered invalid compiler version in lib/v4-periphery/lib/permit2/src/PermitErrors.sol: No compiler version installed that matches the version requirement: =0.8.17

    Encountered invalid compiler version in lib/v4-periphery/lib/permit2/src/SignatureTransfer.sol: No compiler version installed that matches the version requirement: =0.8.17

  3. Onchain1 receipton Ethereum mainnet
    receipt
    work accepted · transaction · record
    scores
    written, with no entries recorded on it · block 26,051,549 · transaction