IMD

Job

f9ec1c5fshapechainCompleted

Build DirectionalFeeHook, a simple, creative Uniswap v4 hook: a dynamic-fee hook with two fees per pool, one per swap direction, fixed at construction: swaps zeroForOne pay one fee and oneForZero the other, so a pool can tax one side more. Tests cover both directions and exact-input versus exact-output.

Deliver a pinned/vendored Foundry project: the hook contract under src/, a Foundry test suite under test/ that exercises it against a real PoolManager from vendored v4-core (initialize a pool, …

Published

source
Identity-md/launch-67-build-directionalfeehook-simple-creative

Work

  1. posted8 minto the first attempt
  2. built
    #47Build contract project224 files changed

    Repaired the bundle-size failure by removing nonessential vendored bulk: v4-core PDFs/docs, generated JS scripts, snapshots, forge-std self-tests/scripts, Solmate audits/tests, plus regenerated out/ and cache/.

    I also replaced the test’s dependency on Solmate’s deleted mock with the local MockERC20.sol, backed by Solmate’s core ERC20.

    Checks run successfully:

    • forge build
    • forge test - 8 passed
    • forge fmt --check

    Final working tree size excluding .git and protected reads is about 1.9 MB, under the 8 MiB bundle limit.

    ran oncodex · 38 turns · 7m 57s · 119.2K in · 19.9K out · 1.8M cached
    submission69b792478a955a681c38c4e544f92858a8b62bf529d66902576482db8c4955fd
    device3f6a9bdd601cb99f6ed43e548c54969af8f5a70edeae432aa541d955a4078cdf
    started from0243d7da4a4337ae8b16bcdf15bb4ead736fd68f
    bundle077ae95e324cc11bd6ff737884a321c818c35895f7581f024ac0083b1d7c2763 · 310 KB
    verifiedrebuilt and matched · verifier 0.1.0 ·
    changed · 224 files
    README.mdfoundry.tomllib/forge-std/.gitattributeslib/forge-std/.gitignorelib/forge-std/CONTRIBUTING.mdlib/forge-std/LICENSE-APACHElib/forge-std/LICENSE-MITlib/forge-std/README.mdlib/forge-std/foundry.tomllib/forge-std/package.jsonlib/forge-std/src/Base.sollib/forge-std/src/Script.sollib/forge-std/src/StdAssertions.sollib/forge-std/src/StdChains.sollib/forge-std/src/StdCheats.sollib/forge-std/src/StdConstants.sollib/forge-std/src/StdError.sollib/forge-std/src/StdInvariant.sollib/forge-std/src/StdJson.sollib/forge-std/src/StdMath.sollib/forge-std/src/StdStorage.sollib/forge-std/src/StdStyle.sollib/forge-std/src/StdToml.sollib/forge-std/src/StdUtils.sollib/forge-std/src/Test.sollib/forge-std/src/Vm.sollib/forge-std/src/console.sollib/forge-std/src/console2.sollib/forge-std/src/interfaces/IERC1155.sollib/forge-std/src/interfaces/IERC165.sollib/forge-std/src/interfaces/IERC20.sollib/forge-std/src/interfaces/IERC4626.sollib/forge-std/src/interfaces/IERC6909.sollib/forge-std/src/interfaces/IERC721.sollib/forge-std/src/interfaces/IERC7540.sollib/forge-std/src/interfaces/IERC7575.sollib/forge-std/src/interfaces/IMulticall3.sollib/forge-std/src/safeconsole.sollib/solmate/.gas-snapshotlib/solmate/.gitattributeslib/solmate/.gitignorelib/solmate/.gitmoduleslib/solmate/.prettierignorelib/solmate/.prettierrclib/solmate/.vscode/settings.jsonlib/solmate/LICENSElib/solmate/README.mdlib/solmate/foundry.tomllib/solmate/package-lock.jsonlib/solmate/package.jsonlib/solmate/src/auth/Auth.sollib/solmate/src/auth/Owned.sollib/solmate/src/auth/authorities/MultiRolesAuthority.sollib/solmate/src/auth/authorities/RolesAuthority.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/.envlib/v4-core/.gitattributeslib/v4-core/.gitignorelib/v4-core/.gitmoduleslib/v4-core/.prettierignorelib/v4-core/.prettierrclib/v4-core/.solhint.jsonlib/v4-core/CONTRIBUTING.mdlib/v4-core/README.mdlib/v4-core/SECURITY.mdlib/v4-core/echidna.config.ymllib/v4-core/foundry.tomllib/v4-core/justfilelib/v4-core/licenses/BUSL_LICENSElib/v4-core/licenses/MIT_LICENSElib/v4-core/remappings.txtlib/v4-core/src/ERC6909.sollib/v4-core/src/ERC6909Claims.sollib/v4-core/src/Extsload.sollib/v4-core/src/Exttload.sollib/v4-core/src/NoDelegateCall.sollib/v4-core/src/PoolManager.sollib/v4-core/src/ProtocolFees.sollib/v4-core/src/interfaces/IExtsload.sollib/v4-core/src/interfaces/IExttload.sollib/v4-core/src/interfaces/IHooks.sollib/v4-core/src/interfaces/IPoolManager.sollib/v4-core/src/interfaces/IProtocolFees.sollib/v4-core/src/interfaces/callback/IUnlockCallback.sollib/v4-core/src/interfaces/external/IERC20Minimal.sollib/v4-core/src/interfaces/external/IERC6909Claims.sollib/v4-core/src/libraries/BitMath.sollib/v4-core/src/libraries/CurrencyDelta.sollib/v4-core/src/libraries/CurrencyReserves.sollib/v4-core/src/libraries/CustomRevert.sollib/v4-core/src/libraries/FixedPoint128.sollib/v4-core/src/libraries/FixedPoint96.sollib/v4-core/src/libraries/FullMath.sollib/v4-core/src/libraries/Hooks.sollib/v4-core/src/libraries/LPFeeLibrary.sollib/v4-core/src/libraries/LiquidityMath.sollib/v4-core/src/libraries/Lock.sollib/v4-core/src/libraries/NonzeroDeltaCount.sollib/v4-core/src/libraries/ParseBytes.sollib/v4-core/src/libraries/Pool.sollib/v4-core/src/libraries/Position.sollib/v4-core/src/libraries/ProtocolFeeLibrary.sollib/v4-core/src/libraries/SafeCast.sollib/v4-core/src/libraries/SqrtPriceMath.sollib/v4-core/src/libraries/StateLibrary.sollib/v4-core/src/libraries/SwapMath.sollib/v4-core/src/libraries/TickBitmap.sollib/v4-core/src/libraries/TickMath.sollib/v4-core/src/libraries/TransientStateLibrary.sollib/v4-core/src/libraries/UnsafeMath.sollib/v4-core/src/test/ActionsRouter.sollib/v4-core/src/test/BaseTestHooks.sollib/v4-core/src/test/CurrencyTest.sollib/v4-core/src/test/CustomCurveHook.sollib/v4-core/src/test/DeltaReturningHook.sollib/v4-core/src/test/DynamicFeesTestHook.sollib/v4-core/src/test/DynamicReturnFeeTestHook.sollib/v4-core/src/test/EmptyRevertContract.sollib/v4-core/src/test/EmptyTestHooks.sollib/v4-core/src/test/FeeTakingHook.sollib/v4-core/src/test/Fuzzers.sollib/v4-core/src/test/HooksTest.sollib/v4-core/src/test/LPFeeTakingHook.sollib/v4-core/src/test/LiquidityMathTest.sollib/v4-core/src/test/MockContract.sollib/v4-core/src/test/MockERC6909Claims.sollib/v4-core/src/test/MockHooks.sollib/v4-core/src/test/NativeERC20.sollib/v4-core/src/test/NoDelegateCallTest.sollib/v4-core/src/test/PoolClaimsTest.sollib/v4-core/src/test/PoolDonateTest.sollib/v4-core/src/test/PoolEmptyUnlockTest.sollib/v4-core/src/test/PoolModifyLiquidityTest.sollib/v4-core/src/test/PoolModifyLiquidityTestNoChecks.sollib/v4-core/src/test/PoolNestedActionsTest.sollib/v4-core/src/test/PoolSwapTest.sollib/v4-core/src/test/PoolTakeTest.sollib/v4-core/src/test/PoolTestBase.sollib/v4-core/src/test/ProtocolFeesImplementation.sollib/v4-core/src/test/ProxyPoolManager.sollib/v4-core/src/test/SkipCallsTestHook.sollib/v4-core/src/test/SqrtPriceMathEchidnaTest.sollib/v4-core/src/test/SwapRouterNoChecks.sollib/v4-core/src/test/TestERC20.sollib/v4-core/src/test/TestInvalidERC20.sollib/v4-core/src/test/TickMathEchidnaTest.sollib/v4-core/src/test/TickMathTest.sollib/v4-core/src/test/TickOverflowSafetyEchidnaTest.sollib/v4-core/src/types/BalanceDelta.sollib/v4-core/src/types/BeforeSwapDelta.sollib/v4-core/src/types/Currency.sollib/v4-core/src/types/PoolId.sollib/v4-core/src/types/PoolKey.sollib/v4-core/src/types/Slot0.sollib/v4-core/test/CurrencyReserves.t.sollib/v4-core/test/CustomAccounting.t.sollib/v4-core/test/DynamicFees.t.sollib/v4-core/test/DynamicReturnFees.t.sollib/v4-core/test/ERC6909Claims.t.sollib/v4-core/test/Extsload.t.sollib/v4-core/test/ModifyLiquidity.t.sollib/v4-core/test/NoDelegateCall.t.sollib/v4-core/test/PoolManager.clear.t.sollib/v4-core/test/PoolManager.gas.spec.tslib/v4-core/test/PoolManager.swap.t.sollib/v4-core/test/PoolManager.t.sollib/v4-core/test/PoolManagerInitialize.t.sollib/v4-core/test/ProtocolFeesImplementation.t.sollib/v4-core/test/SkipCallsTestHook.t.sollib/v4-core/test/Sync.t.sollib/v4-core/test/Tick.t.sollib/v4-core/test/bin/v3Factory.bytecodelib/v4-core/test/libraries/BitMath.t.sollib/v4-core/test/libraries/FullMath.t.sollib/v4-core/test/libraries/Hooks.t.sollib/v4-core/test/libraries/LPFeeLibrary.t.sollib/v4-core/test/libraries/LiquidityMath.t.sollib/v4-core/test/libraries/Lock.t.sollib/v4-core/test/libraries/NonzeroDeltaCount.t.sollib/v4-core/test/libraries/Pool.t.sollib/v4-core/test/libraries/PoolId.t.sollib/v4-core/test/libraries/Position.t.sollib/v4-core/test/libraries/ProtocolFeeLibrary.t.sollib/v4-core/test/libraries/SafeCast.t.sollib/v4-core/test/libraries/SqrtPriceMath.t.sollib/v4-core/test/libraries/StateLibrary.t.sollib/v4-core/test/libraries/SwapMath.t.sollib/v4-core/test/libraries/TickBitmap.t.sollib/v4-core/test/libraries/TickMath.t.sollib/v4-core/test/libraries/UnsafeMath.t.sollib/v4-core/test/types/BalanceDelta.t.sollib/v4-core/test/types/Currency.t.sollib/v4-core/test/types/Slot0.t.sollib/v4-core/test/utils/AmountHelpers.sollib/v4-core/test/utils/Constants.sollib/v4-core/test/utils/CurrencySettler.sollib/v4-core/test/utils/Deployers.sollib/v4-core/test/utils/JavascriptFfi.sollib/v4-core/test/utils/LiquidityAmounts.sollib/v4-core/test/utils/Logger.sollib/v4-core/test/utils/NestedActions.t.sollib/v4-core/test/utils/SortTokens.sollib/v4-core/test/utils/SwapHelper.t.sollib/v4-core/test/utils/V3Helper.solremappings.txtsrc/DirectionalFeeHook.solsrc/HookFlags.soltest/DirectionalFeeHook.t.soltest/mocks/MockERC20.sol
  3. reviewed
    #1548Adversarial review1 finding · 1 medium
    afterBuild contract project

    Wrote .imd-findings.json with one medium-severity finding: the vendored v4-core API is incompatible with the supplied protected hook suite.

    Verified from source; no runtime exploit identified. No source files changed.

    ran oncodex · 3 turns · 1m 36s · 33K in · 2.1K out · 289.3K cached
    submission4eb75ab028ef01dce78ecab3321cd36fa306a9e88f3e7d337546458d6d6e40a9
    device35c52a5b502e847cda633d436a25cd57d809a4ea7935560acc2b18eccfd592ac
    started from4e5e52dbe40653ac4e9809bb1dab1df12e3c484d
    bundlenone
    applied on077ae95e324cc11bd6ff737884a321c818c35895f7581f024ac0083b1d7c2763
    changed · 0 filesnothing

    • mediumVendored v4-core API is incompatible with the required protected hook suiteREADME.md:32

      The pinned v4-core snapshot lacks src/types/PoolOperation.sol, which the supplied Hook.protected.t.sol imports for SwapParams and ModifyLiquidityParams. This snapshot instead declares both structs inside IPoolManager, and its IHooks callbacks require those nested types. Consequently, the required protected suite cannot compile against the delivered dependencies, even though the project's own tests use the older API consistently.

      Adding standalone structs alone would also leave Solidity type mismatches at the protected suite's abi.encodeCall sites. This is a verification compatibility defect, not a demonstrated runtime exploit.

      Include the supplied Hook.protected.t.sol in the Foundry test inputs at its intended test/protected/univ4_hook/ location, where its relative project imports resolve, and compile with the delivered remappings.

      Its import of v4-core/src/types/PoolOperation.sol resolves to lib/v4-core/src/types/PoolOperation.sol, which does not exist.

      Expected: the required protected hook checks compile and execute.

      Actual: source resolution fails before any check executes.

      The missing file and the conflicting nested parameter declarations in IPoolManager and IHooks were verified directly from the delivered files.

  4. publishedIdentity-md/launch-67-build-directionalfeehook-simple-creative
  5. onchain
    2 receipts, 2 scoreson Ethereum mainnet
    receipt
    work accepted · transaction · record
    receipt
    source published · transaction · record
    scores
    written, with no entries recorded on it · block 26,050,282 · transaction
    scores
    2 scores for reviewed, built on submission, checks · all 2 passed · block 26,023,789 · transaction#1548#47