@mento-protocol/mento-sdk 3.2.6 → 3.2.7-beta.0

package/dist/esm/services/liquidity/zapHelpers.js

@@ -83,6 +83,67 @@ export function splitAmount(amountIn, splitRatio) {
     const amountB = amountIn - amountA;
     return { amountA, amountB };
 }
+/**
+ * Off-chain mirror of Router.sol's quoteAddLiquidity / _quoteZapLiquidity logic.
+ *
+ * Given desired amounts and pool reserves, returns the (amountA, amountB) the
+ * router will actually deposit when adding liquidity. Used to predict the exact
+ * `amountAMin` / `amountBMin` the contract will check against post-swap reserves.
+ *
+ * @param amountADesired - Desired amount of tokenA
+ * @param amountBDesired - Desired amount of tokenB
+ * @param reserveA - Reserve of tokenA at the moment liquidity is added
+ * @param reserveB - Reserve of tokenB at the moment liquidity is added
+ */
+export function quoteAddLiquidityFromReserves(amountADesired, amountBDesired, reserveA, reserveB) {
+    if (reserveA === 0n && reserveB === 0n) {
+        return { amountA: amountADesired, amountB: amountBDesired };
+    }
+    if (reserveA === 0n || reserveB === 0n) {
+        // Mirrors Router.sol's InsufficientLiquidity revert. Caller can fall back.
+        return { amountA: 0n, amountB: 0n };
+    }
+    const amountBOptimal = (amountADesired * reserveB) / reserveA;
+    if (amountBOptimal <= amountBDesired) {
+        return { amountA: amountADesired, amountB: amountBOptimal };
+    }
+    const amountAOptimal = (amountBDesired * reserveA) / reserveB;
+    return { amountA: amountAOptimal, amountB: amountBDesired };
+}
+/**
+ * Computes the net delta a single-hop zap swap applies to a target pool's
+ * reserves. Returns `{delta0, delta1}` to add to the pool's pre-swap reserves
+ * to obtain the reserves the router will see when it runs `_quoteZapLiquidity`.
+ *
+ * Only single-hop routes whose factory matches the target pool's factory and
+ * whose `(from, to)` are `(token0, token1)` (in either direction) are
+ * considered. Multi-hop routes and routes through other pools have no effect
+ * on the target pool's reserves and return `{0, 0}`.
+ *
+ * Note: Multi-hop routes that traverse the target pool as an intermediate hop
+ * are intentionally not handled here — they are uncommon for single-sided zaps
+ * and would require per-hop amounts from `getAmountsOut`.
+ */
+export function computeTargetPoolImpact(routes, amountIn, amountOut, token0, token1, factoryAddr) {
+    if (routes.length !== 1) {
+        return { delta0: 0n, delta1: 0n };
+    }
+    const route = routes[0];
+    if (route.factory.toLowerCase() !== factoryAddr.toLowerCase()) {
+        return { delta0: 0n, delta1: 0n };
+    }
+    const fromLower = route.from.toLowerCase();
+    const toLower = route.to.toLowerCase();
+    const t0 = token0.toLowerCase();
+    const t1 = token1.toLowerCase();
+    if (fromLower === t0 && toLower === t1) {
+        return { delta0: amountIn, delta1: -amountOut };
+    }
+    if (fromLower === t1 && toLower === t0) {
+        return { delta0: -amountOut, delta1: amountIn };
+    }
+    return { delta0: 0n, delta1: 0n };
+}
 /**
  * Estimates minimum LP tokens from zap in amounts.
  *

package/dist/esm/services/liquidity/zapIn.js

@@ -2,7 +2,7 @@ import { ROUTER_ABI } from '../../core/abis';
 import { getContractAddress } from '../../core/constants';
 import { validateAddress } from '../../utils/validation';
 import { buildApprovalParams, getAllowance, calculateMinAmount, getPoolInfo, getPoolSnapshot } from './liquidityHelpers';
-import { encodeZapInCall, findZapInRoutes, splitAmount, estimateLiquidityFromZapIn, } from './zapHelpers';
+import { encodeZapInCall, findZapInRoutes, splitAmount, estimateLiquidityFromZapIn, quoteAddLiquidityFromReserves, computeTargetPoolImpact, } from './zapHelpers';
 // ========== ZAP IN OPERATIONS ==========
 /**
  * Builds a complete zap in transaction including approval if needed
@@ -66,8 +66,27 @@ async function prepareZapInContextInternal(publicClient, chainId, poolService, r
         functionName: 'generateZapInParams',
         args: [token0, token1, factoryAddr, amountInA, amountInB, routesA, routesB],
     }));
-    const finalAmountAMin = calculateMinAmount(amountAMin, options.slippageTolerance);
-    const finalAmountBMin = calculateMinAmount(amountBMin, options.slippageTolerance);
+    // Re-quote amountAMin / amountBMin against POST-swap reserves.
+    //
+    // `generateZapInParams` calls `quoteAddLiquidity` with the pool's *current*
+    // reserves, but on-chain `_quoteZapLiquidity` runs *after* the zap's internal
+    // swap, which moves the same pool when tokenIn is one of the pool tokens.
+    // Applying user slippage on top of a pre-swap minimum makes the contract
+    // reject any non-trivial amount because the deterministic price impact of
+    // the swap alone exceeds the slippage budget. Predict the post-swap reserves
+    // and re-derive the minimums so that user slippage only covers real drift
+    // between quote-time and execution.
+    const impactA = computeTargetPoolImpact(routesA, amountInA, amountOutMinA, token0, token1, factoryAddr);
+    const impactB = computeTargetPoolImpact(routesB, amountInB, amountOutMinB, token0, token1, factoryAddr);
+    const projectedReserveA = poolSnapshot.reserve0 + impactA.delta0 + impactB.delta0;
+    const projectedReserveB = poolSnapshot.reserve1 + impactA.delta1 + impactB.delta1;
+    const useReserveA = projectedReserveA > 0n ? projectedReserveA : poolSnapshot.reserve0;
+    const useReserveB = projectedReserveB > 0n ? projectedReserveB : poolSnapshot.reserve1;
+    const projected = quoteAddLiquidityFromReserves(amountOutMinA, amountOutMinB, useReserveA, useReserveB);
+    const baselineAmountAMin = projected.amountA > 0n ? projected.amountA : amountAMin;
+    const baselineAmountBMin = projected.amountB > 0n ? projected.amountB : amountBMin;
+    const finalAmountAMin = calculateMinAmount(baselineAmountAMin, options.slippageTolerance);
+    const finalAmountBMin = calculateMinAmount(baselineAmountBMin, options.slippageTolerance);
     const finalAmountOutMinA = calculateMinAmount(amountOutMinA, options.slippageTolerance);
     const finalAmountOutMinB = calculateMinAmount(amountOutMinB, options.slippageTolerance);
     const expectedLiquidity = estimateLiquidityFromZapIn(finalAmountOutMinA, finalAmountOutMinB, poolSnapshot.reserve0, poolSnapshot.reserve1, poolSnapshot.totalSupply);

package/dist/services/liquidity/zapHelpers.d.ts

@@ -47,6 +47,40 @@ export declare function splitAmount(amountIn: bigint, splitRatio: number): {
     amountA: bigint;
     amountB: bigint;
 };
+/**
+ * Off-chain mirror of Router.sol's quoteAddLiquidity / _quoteZapLiquidity logic.
+ *
+ * Given desired amounts and pool reserves, returns the (amountA, amountB) the
+ * router will actually deposit when adding liquidity. Used to predict the exact
+ * `amountAMin` / `amountBMin` the contract will check against post-swap reserves.
+ *
+ * @param amountADesired - Desired amount of tokenA
+ * @param amountBDesired - Desired amount of tokenB
+ * @param reserveA - Reserve of tokenA at the moment liquidity is added
+ * @param reserveB - Reserve of tokenB at the moment liquidity is added
+ */
+export declare function quoteAddLiquidityFromReserves(amountADesired: bigint, amountBDesired: bigint, reserveA: bigint, reserveB: bigint): {
+    amountA: bigint;
+    amountB: bigint;
+};
+/**
+ * Computes the net delta a single-hop zap swap applies to a target pool's
+ * reserves. Returns `{delta0, delta1}` to add to the pool's pre-swap reserves
+ * to obtain the reserves the router will see when it runs `_quoteZapLiquidity`.
+ *
+ * Only single-hop routes whose factory matches the target pool's factory and
+ * whose `(from, to)` are `(token0, token1)` (in either direction) are
+ * considered. Multi-hop routes and routes through other pools have no effect
+ * on the target pool's reserves and return `{0, 0}`.
+ *
+ * Note: Multi-hop routes that traverse the target pool as an intermediate hop
+ * are intentionally not handled here — they are uncommon for single-sided zaps
+ * and would require per-hop amounts from `getAmountsOut`.
+ */
+export declare function computeTargetPoolImpact(routes: RouterRoute[], amountIn: bigint, amountOut: bigint, token0: Address, token1: Address, factoryAddr: Address): {
+    delta0: bigint;
+    delta1: bigint;
+};
 /**
  * Estimates minimum LP tokens from zap in amounts.
  *

package/dist/services/liquidity/zapHelpers.js

@@ -5,6 +5,8 @@ exports.encodeZapOutCall = encodeZapOutCall;
 exports.findZapInRoutes = findZapInRoutes;
 exports.findZapOutRoutes = findZapOutRoutes;
 exports.splitAmount = splitAmount;
+exports.quoteAddLiquidityFromReserves = quoteAddLiquidityFromReserves;
+exports.computeTargetPoolImpact = computeTargetPoolImpact;
 exports.estimateLiquidityFromZapIn = estimateLiquidityFromZapIn;
 const viem_1 = require("viem");
 const abis_1 = require("../../core/abis");
@@ -91,6 +93,67 @@ function splitAmount(amountIn, splitRatio) {
     const amountB = amountIn - amountA;
     return { amountA, amountB };
 }
+/**
+ * Off-chain mirror of Router.sol's quoteAddLiquidity / _quoteZapLiquidity logic.
+ *
+ * Given desired amounts and pool reserves, returns the (amountA, amountB) the
+ * router will actually deposit when adding liquidity. Used to predict the exact
+ * `amountAMin` / `amountBMin` the contract will check against post-swap reserves.
+ *
+ * @param amountADesired - Desired amount of tokenA
+ * @param amountBDesired - Desired amount of tokenB
+ * @param reserveA - Reserve of tokenA at the moment liquidity is added
+ * @param reserveB - Reserve of tokenB at the moment liquidity is added
+ */
+function quoteAddLiquidityFromReserves(amountADesired, amountBDesired, reserveA, reserveB) {
+    if (reserveA === 0n && reserveB === 0n) {
+        return { amountA: amountADesired, amountB: amountBDesired };
+    }
+    if (reserveA === 0n || reserveB === 0n) {
+        // Mirrors Router.sol's InsufficientLiquidity revert. Caller can fall back.
+        return { amountA: 0n, amountB: 0n };
+    }
+    const amountBOptimal = (amountADesired * reserveB) / reserveA;
+    if (amountBOptimal <= amountBDesired) {
+        return { amountA: amountADesired, amountB: amountBOptimal };
+    }
+    const amountAOptimal = (amountBDesired * reserveA) / reserveB;
+    return { amountA: amountAOptimal, amountB: amountBDesired };
+}
+/**
+ * Computes the net delta a single-hop zap swap applies to a target pool's
+ * reserves. Returns `{delta0, delta1}` to add to the pool's pre-swap reserves
+ * to obtain the reserves the router will see when it runs `_quoteZapLiquidity`.
+ *
+ * Only single-hop routes whose factory matches the target pool's factory and
+ * whose `(from, to)` are `(token0, token1)` (in either direction) are
+ * considered. Multi-hop routes and routes through other pools have no effect
+ * on the target pool's reserves and return `{0, 0}`.
+ *
+ * Note: Multi-hop routes that traverse the target pool as an intermediate hop
+ * are intentionally not handled here — they are uncommon for single-sided zaps
+ * and would require per-hop amounts from `getAmountsOut`.
+ */
+function computeTargetPoolImpact(routes, amountIn, amountOut, token0, token1, factoryAddr) {
+    if (routes.length !== 1) {
+        return { delta0: 0n, delta1: 0n };
+    }
+    const route = routes[0];
+    if (route.factory.toLowerCase() !== factoryAddr.toLowerCase()) {
+        return { delta0: 0n, delta1: 0n };
+    }
+    const fromLower = route.from.toLowerCase();
+    const toLower = route.to.toLowerCase();
+    const t0 = token0.toLowerCase();
+    const t1 = token1.toLowerCase();
+    if (fromLower === t0 && toLower === t1) {
+        return { delta0: amountIn, delta1: -amountOut };
+    }
+    if (fromLower === t1 && toLower === t0) {
+        return { delta0: -amountOut, delta1: amountIn };
+    }
+    return { delta0: 0n, delta1: 0n };
+}
 /**
  * Estimates minimum LP tokens from zap in amounts.
  *

package/dist/services/liquidity/zapIn.js

@@ -72,8 +72,27 @@ async function prepareZapInContextInternal(publicClient, chainId, poolService, r
         functionName: 'generateZapInParams',
         args: [token0, token1, factoryAddr, amountInA, amountInB, routesA, routesB],
     }));
-    const finalAmountAMin = (0, liquidityHelpers_1.calculateMinAmount)(amountAMin, options.slippageTolerance);
-    const finalAmountBMin = (0, liquidityHelpers_1.calculateMinAmount)(amountBMin, options.slippageTolerance);
+    // Re-quote amountAMin / amountBMin against POST-swap reserves.
+    //
+    // `generateZapInParams` calls `quoteAddLiquidity` with the pool's *current*
+    // reserves, but on-chain `_quoteZapLiquidity` runs *after* the zap's internal
+    // swap, which moves the same pool when tokenIn is one of the pool tokens.
+    // Applying user slippage on top of a pre-swap minimum makes the contract
+    // reject any non-trivial amount because the deterministic price impact of
+    // the swap alone exceeds the slippage budget. Predict the post-swap reserves
+    // and re-derive the minimums so that user slippage only covers real drift
+    // between quote-time and execution.
+    const impactA = (0, zapHelpers_1.computeTargetPoolImpact)(routesA, amountInA, amountOutMinA, token0, token1, factoryAddr);
+    const impactB = (0, zapHelpers_1.computeTargetPoolImpact)(routesB, amountInB, amountOutMinB, token0, token1, factoryAddr);
+    const projectedReserveA = poolSnapshot.reserve0 + impactA.delta0 + impactB.delta0;
+    const projectedReserveB = poolSnapshot.reserve1 + impactA.delta1 + impactB.delta1;
+    const useReserveA = projectedReserveA > 0n ? projectedReserveA : poolSnapshot.reserve0;
+    const useReserveB = projectedReserveB > 0n ? projectedReserveB : poolSnapshot.reserve1;
+    const projected = (0, zapHelpers_1.quoteAddLiquidityFromReserves)(amountOutMinA, amountOutMinB, useReserveA, useReserveB);
+    const baselineAmountAMin = projected.amountA > 0n ? projected.amountA : amountAMin;
+    const baselineAmountBMin = projected.amountB > 0n ? projected.amountB : amountBMin;
+    const finalAmountAMin = (0, liquidityHelpers_1.calculateMinAmount)(baselineAmountAMin, options.slippageTolerance);
+    const finalAmountBMin = (0, liquidityHelpers_1.calculateMinAmount)(baselineAmountBMin, options.slippageTolerance);
     const finalAmountOutMinA = (0, liquidityHelpers_1.calculateMinAmount)(amountOutMinA, options.slippageTolerance);
     const finalAmountOutMinB = (0, liquidityHelpers_1.calculateMinAmount)(amountOutMinB, options.slippageTolerance);
     const expectedLiquidity = (0, zapHelpers_1.estimateLiquidityFromZapIn)(finalAmountOutMinA, finalAmountOutMinB, poolSnapshot.reserve0, poolSnapshot.reserve1, poolSnapshot.totalSupply);

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@mento-protocol/mento-sdk",
   "description": "Official SDK for interacting with the Mento Protocol",
-  "version": "3.2.6",
+  "version": "3.2.7-beta.0",
   "license": "MIT",
   "author": "Mento Labs",
   "keywords": [
@@ -80,5 +80,11 @@
   },
   "dependencies": {
     "viem": "^2.21.44"
+  },
+  "pnpm": {
+    "onlyBuiltDependencies": [
+      "esbuild",
+      "unrs-resolver"
+    ]
   }
 }