Delivered the vault, keeper, tests, deployment factory, and self-audit report.
Clean offline verification: 20 tests passed, including 100k-input fuzz tests. afterSwap execution measured 1,014 gas.
Full acceptance remains unverified: the Medusa campaign, broader adversarial coverage, and keeper operational gaps are documented with file:line references.
ran oncodex · 8 turns · 10m 55s · 64K in · 24.8K out · 1.5M cached
submission780477b5b3cf2aaf6fc14a0106b685bb513cea45f881450cbcf486a767b75d80
device7b7c27166477ddd884539d9980ee8e1ed9aef2958e4d806d5b0533d0734b728d
started from0243d7da4a4337ae8b16bcdf15bb4ead736fd68f
bundle47dacdae2a70fa13897e2a40fc9fee080c02eff635ac02513a75e5a49d4cda52 · 5.8 MB
verifiedrebuilt and matched · verifier 0.1.0 ·
changed · 167 files.gitignoreREADME.mddocs/threat-model.mdfoundry.tomllib/SOURCES.txtlib/periphery/HookMiner.sollib/periphery/LICENSElib/periphery/LiquidityAmounts.sollib/solmate/LICENSElib/solmate/src/auth/Auth.sollib/solmate/src/auth/Owned.sollib/solmate/src/auth/authorities/MultiRolesAuthority.sollib/solmate/src/auth/authorities/RolesAuthority.sollib/solmate/src/test/Auth.t.sollib/solmate/src/test/Bytes32AddressLib.t.sollib/solmate/src/test/CREATE3.t.sollib/solmate/src/test/DSTestPlus.t.sollib/solmate/src/test/ERC1155.t.sollib/solmate/src/test/ERC20.t.sollib/solmate/src/test/ERC4626.t.sollib/solmate/src/test/ERC6909.t.sollib/solmate/src/test/ERC721.t.sollib/solmate/src/test/FixedPointMathLib.t.sollib/solmate/src/test/LibString.t.sollib/solmate/src/test/MerkleProofLib.t.sollib/solmate/src/test/MultiRolesAuthority.t.sollib/solmate/src/test/Owned.t.sollib/solmate/src/test/ReentrancyGuard.t.sollib/solmate/src/test/RolesAuthority.t.sollib/solmate/src/test/SSTORE2.t.sollib/solmate/src/test/SafeCastLib.t.sollib/solmate/src/test/SafeTransferLib.t.sollib/solmate/src/test/SignedWadMath.t.sollib/solmate/src/test/WETH.t.sollib/solmate/src/test/utils/DSInvariantTest.sollib/solmate/src/test/utils/DSTestPlus.sollib/solmate/src/test/utils/Hevm.sollib/solmate/src/test/utils/mocks/MockAuthChild.sollib/solmate/src/test/utils/mocks/MockAuthority.sollib/solmate/src/test/utils/mocks/MockERC1155.sollib/solmate/src/test/utils/mocks/MockERC20.sollib/solmate/src/test/utils/mocks/MockERC4626.sollib/solmate/src/test/utils/mocks/MockERC6909.sollib/solmate/src/test/utils/mocks/MockERC721.sollib/solmate/src/test/utils/mocks/MockOwned.sollib/solmate/src/test/utils/weird-tokens/MissingReturnToken.sollib/solmate/src/test/utils/weird-tokens/ReturnsFalseToken.sollib/solmate/src/test/utils/weird-tokens/ReturnsGarbageToken.sollib/solmate/src/test/utils/weird-tokens/ReturnsTooLittleToken.sollib/solmate/src/test/utils/weird-tokens/ReturnsTooMuchToken.sollib/solmate/src/test/utils/weird-tokens/ReturnsTwoToken.sollib/solmate/src/test/utils/weird-tokens/RevertingToken.sollib/solmate/src/tokens/ERC1155.sollib/solmate/src/tokens/ERC20.sollib/solmate/src/tokens/ERC4626.sollib/solmate/src/tokens/ERC6909.sollib/solmate/src/tokens/ERC721.sollib/solmate/src/tokens/WETH.sollib/solmate/src/utils/Bytes32AddressLib.sollib/solmate/src/utils/CREATE3.sollib/solmate/src/utils/FixedPointMathLib.sollib/solmate/src/utils/LibString.sollib/solmate/src/utils/MerkleProofLib.sollib/solmate/src/utils/ReentrancyGuard.sollib/solmate/src/utils/SSTORE2.sollib/solmate/src/utils/SafeCastLib.sollib/solmate/src/utils/SafeTransferLib.sollib/solmate/src/utils/SignedWadMath.sollib/v4-core-licenses/BUSL_LICENSElib/v4-core-licenses/MIT_LICENSElib/v4-core/ERC6909.sollib/v4-core/ERC6909Claims.sollib/v4-core/Extsload.sollib/v4-core/Exttload.sollib/v4-core/NoDelegateCall.sollib/v4-core/PoolManager.sollib/v4-core/ProtocolFees.sollib/v4-core/interfaces/IExtsload.sollib/v4-core/interfaces/IExttload.sollib/v4-core/interfaces/IHooks.sollib/v4-core/interfaces/IPoolManager.sollib/v4-core/interfaces/IProtocolFees.sollib/v4-core/interfaces/callback/IUnlockCallback.sollib/v4-core/interfaces/external/IERC20Minimal.sollib/v4-core/interfaces/external/IERC6909Claims.sollib/v4-core/libraries/BitMath.sollib/v4-core/libraries/CurrencyDelta.sollib/v4-core/libraries/CurrencyReserves.sollib/v4-core/libraries/CustomRevert.sollib/v4-core/libraries/FixedPoint128.sollib/v4-core/libraries/FixedPoint96.sollib/v4-core/libraries/FullMath.sollib/v4-core/libraries/Hooks.sollib/v4-core/libraries/LPFeeLibrary.sollib/v4-core/libraries/LiquidityMath.sollib/v4-core/libraries/Lock.sollib/v4-core/libraries/NonzeroDeltaCount.sollib/v4-core/libraries/ParseBytes.sollib/v4-core/libraries/Pool.sollib/v4-core/libraries/Position.sollib/v4-core/libraries/ProtocolFeeLibrary.sollib/v4-core/libraries/SafeCast.sollib/v4-core/libraries/SqrtPriceMath.sollib/v4-core/libraries/StateLibrary.sollib/v4-core/libraries/SwapMath.sollib/v4-core/libraries/TickBitmap.sollib/v4-core/libraries/TickMath.sollib/v4-core/libraries/TransientStateLibrary.sollib/v4-core/libraries/UnsafeMath.sollib/v4-core/test/ActionsRouter.sollib/v4-core/test/BaseTestHooks.sollib/v4-core/test/CurrencyTest.sollib/v4-core/test/CustomCurveHook.sollib/v4-core/test/DeltaReturningHook.sollib/v4-core/test/DynamicFeesTestHook.sollib/v4-core/test/DynamicReturnFeeTestHook.sollib/v4-core/test/EmptyRevertContract.sollib/v4-core/test/EmptyTestHooks.sollib/v4-core/test/FeeTakingHook.sollib/v4-core/test/Fuzzers.sollib/v4-core/test/HooksTest.sollib/v4-core/test/LPFeeTakingHook.sollib/v4-core/test/LiquidityMathTest.sollib/v4-core/test/MockContract.sollib/v4-core/test/MockERC6909Claims.sollib/v4-core/test/MockHooks.sollib/v4-core/test/NativeERC20.sollib/v4-core/test/NoDelegateCallTest.sollib/v4-core/test/PoolClaimsTest.sollib/v4-core/test/PoolDonateTest.sollib/v4-core/test/PoolEmptyUnlockTest.sollib/v4-core/test/PoolModifyLiquidityTest.sollib/v4-core/test/PoolModifyLiquidityTestNoChecks.sollib/v4-core/test/PoolNestedActionsTest.sollib/v4-core/test/PoolSwapTest.sollib/v4-core/test/PoolTakeTest.sollib/v4-core/test/PoolTestBase.sollib/v4-core/test/ProtocolFeesImplementation.sollib/v4-core/test/ProxyPoolManager.sollib/v4-core/test/SkipCallsTestHook.sollib/v4-core/test/SqrtPriceMathEchidnaTest.sollib/v4-core/test/SwapRouterNoChecks.sollib/v4-core/test/TestERC20.sollib/v4-core/test/TestInvalidERC20.sollib/v4-core/test/TickMathEchidnaTest.sollib/v4-core/test/TickMathTest.sollib/v4-core/test/TickOverflowSafetyEchidnaTest.sollib/v4-core/types/BalanceDelta.sollib/v4-core/types/BeforeSwapDelta.sollib/v4-core/types/Currency.sollib/v4-core/types/PoolId.sollib/v4-core/types/PoolKey.sollib/v4-core/types/PoolOperation.sollib/v4-core/types/Slot0.solscript/DeployHook.s.solscript/check.shsrc/BaseHook.solsrc/ShareToken.solsrc/SigmaKeeper.tssrc/SigmaRangeHook.soltest/SigmaRangeHook.t.soltest/fuzz/README.mdtest/fuzz/Reentrancy.t.soltest/fuzz/SigmaInvariants.soltest/fuzz/medusa.jsontest/keeper.test.mjstools/solc