@strkfarm/sdk 2.0.0-dev.32 → 2.0.0-dev.34

package/dist/index.browser.mjs

@@ -43470,6 +43470,142 @@ function createSolveBudgetFromRawState(params) {
   }
   return budget;
 }
+function assertRouteSanityAndAdjust(route, availableAmount) {
+  if (!route.amount) {
+    throw new Error(`Invalid route given to assertRouteSanityAndAdjust: ${JSON.stringify(route)}`);
+  }
+  const routeAmount = route.amount.toNumber();
+  if (routeAmount <= availableAmount) {
+    return route;
+  }
+  if (routeAmount - availableAmount <= CASE_THRESHOLD_USD) {
+    return { ...route, amount: new Web3Number(availableAmount, route.amount.decimals) };
+  }
+  throw new Error(`Route amount ${routeAmount} exceeds available amount ${availableAmount}, Route name: ${route.type}`);
+}
+function assertVesuMultiplyRouteSanityAndAdjust(route, availableAmount, state, isIncrease) {
+  const btcPrice = state.vesuPoolState.collateralPrice;
+  const totalCollateralAmount = isIncrease ? route.marginAmount.plus(route.swappedCollateralAmount).plus(state.vesuPoolState.collateralAmount) : state.vesuPoolState.collateralAmount.minus(route.marginAmount.plus(route.swappedCollateralAmount));
+  const totalDebtAmount = isIncrease ? route.debtAmount.plus(state.vesuPoolState.debtAmount) : state.vesuPoolState.debtAmount.minus(route.debtAmount);
+  const newHF = HealthFactorMath.getHealthFactor(
+    totalCollateralAmount,
+    btcPrice,
+    VesuConfig.maxLtv,
+    totalDebtAmount,
+    state.vesuPoolState.debtPrice
+  );
+  const idealHF = VesuConfig.maxLtv / VesuConfig.targetLtv - 0.05;
+  assert(newHF >= idealHF, `SolveBudget::applyRoutesAndVerifyLtvState newHF=${newHF} < idealHF=${idealHF}`);
+}
+function applyRoutesAndVerifyLtvState(state, routes) {
+  const btcPrice = state.vesuPoolState.collateralPrice;
+  const adjustedRouters = [...routes];
+  let index = 0;
+  for (const r of routes) {
+    switch (r.type) {
+      case "WALLET_TO_VA" /* WALLET_TO_VA */: {
+        const adjustedRoute = assertRouteSanityAndAdjust(r, state.walletUsd);
+        const amt = adjustedRoute.amount.toNumber();
+        state.spendWallet(amt);
+        state.addToVA(amt);
+        break;
+      }
+      case "VESU_REPAY" /* VESU_REPAY */: {
+        const adjustedRoute = assertRouteSanityAndAdjust(r, state.vaRawUsd);
+        const amt = Math.abs(adjustedRoute.amount.toNumber());
+        state.repayVesuBorrowCapacity(amt);
+        state.spendVA(amt);
+        break;
+      }
+      case "EXTENDED_TO_WALLET" /* EXTENDED_TO_WALLET */: {
+        const adjustedRoute = assertRouteSanityAndAdjust(r, state.extAvailWithdraw);
+        const amt = adjustedRoute.amount.toNumber();
+        state.addToWallet(amt);
+        state.spendExtAvailTrade(amt);
+        break;
+      }
+      case "REALISE_PNL" /* REALISE_PNL */: {
+        const amt = r.amount.toNumber();
+        state.spendExtAvailUpnl(amt);
+        state.addToExtAvailTrade(amt);
+        break;
+      }
+      case "VA_TO_EXTENDED" /* VA_TO_EXTENDED */: {
+        const adjustedRoute = assertRouteSanityAndAdjust(r, state.vaRawUsd);
+        const amt = adjustedRoute.amount.toNumber();
+        state.spendVA(amt);
+        state.addToExtAvailTrade(amt);
+        break;
+      }
+      case "WALLET_TO_EXTENDED" /* WALLET_TO_EXTENDED */: {
+        const adjustedRoute = assertRouteSanityAndAdjust(r, state.walletUsd);
+        const amt = adjustedRoute.amount.toNumber();
+        state.spendWallet(amt);
+        state.addToExtAvailTrade(amt);
+        break;
+      }
+      case "VESU_BORROW" /* VESU_BORROW */: {
+        const borrowedAmount = r.amount.toNumber();
+        const currentCollateralAmount = state.vesuPoolState.collateralAmount.toNumber();
+        const currentDebtAmount = state.vesuPoolState.debtAmount.toNumber();
+        const maxDebtAmount = HealthFactorMath.getMaxDebtAmount(
+          new Web3Number(currentCollateralAmount, state.vesuPoolState.collateralToken.decimals),
+          state.vesuPoolState.collateralPrice,
+          VesuConfig.maxLtv,
+          VesuConfig.maxLtv / VesuConfig.targetLtv - 0.05,
+          // e.g. if ideal HF is 1.4, upto 1.35 is ok.
+          state.vesuPoolState.debtPrice,
+          state.vesuPoolState.debtToken
+        );
+        const availableDebtAmount = maxDebtAmount.minus(new Web3Number(currentDebtAmount, state.vesuPoolState.debtToken.decimals));
+        if (!availableDebtAmount.plus(CASE_THRESHOLD_USD).greaterThan(borrowedAmount)) {
+          throw new Error(`SolveBudget::applyRoutesAndVerifyLtvState availableDebtAmount=${availableDebtAmount.toNumber()} < borrowedAmount=${borrowedAmount}`);
+        }
+        state.spendVesuBorrowCapacity(borrowedAmount);
+        state.addToVA(borrowedAmount);
+        break;
+      }
+      case "VESU_MULTIPLY_INCREASE_LEVER" /* VESU_MULTIPLY_INCREASE_LEVER */: {
+        const mr = r;
+        assertVesuMultiplyRouteSanityAndAdjust(mr, state.vaRawUsd, state, true);
+        state.applyVesuDelta(
+          mr.poolId,
+          mr.collateralToken,
+          mr.debtToken,
+          mr.marginAmount.plus(mr.swappedCollateralAmount),
+          mr.debtAmount
+        );
+        state.spendVA(mr.marginAmount.toNumber() * btcPrice);
+        break;
+      }
+      case "VESU_MULTIPLY_DECREASE_LEVER" /* VESU_MULTIPLY_DECREASE_LEVER */: {
+        const mr = r;
+        assertVesuMultiplyRouteSanityAndAdjust(mr, state.vaRawUsd, state, false);
+        state.applyVesuDelta(
+          mr.poolId,
+          mr.collateralToken,
+          mr.debtToken,
+          new Web3Number(mr.marginAmount.negated().minus(mr.swappedCollateralAmount).toFixed(8), mr.marginAmount.decimals),
+          mr.debtAmount
+        );
+        const marginBtc = mr.marginAmount.toNumber();
+        if (marginBtc > 10 ** -COLLATERAL_PRECISION) {
+          state.addToVA(marginBtc * btcPrice);
+        }
+        break;
+      }
+      case "EXTENDED_DECREASE_LEVER" /* EXTENDED_DECREASE_LEVER */:
+      case "EXTENDED_INCREASE_LEVER" /* EXTENDED_INCREASE_LEVER */: {
+        const er = r;
+        state.applyExtendedExposureDelta(er.instrument, er.amount, btcPrice);
+        break;
+      }
+      case "RETURN_TO_WAIT" /* RETURN_TO_WAIT */:
+        break;
+    }
+    index++;
+  }
+}
 var ExtendedSVKVesuStateManager = class {
   constructor(config) {
     this._tag = "ExtendedSVKVesuStateManager";
@@ -43488,13 +43624,19 @@ var ExtendedSVKVesuStateManager = class {
    *   Pass 0 (default) for normal investment / rebalancing cycles.
    */
   async solve(withdrawAmount = new Web3Number(0, USDC_TOKEN_DECIMALS)) {
-    await this._refresh();
+    const gaurdrailBudget = await this._refresh();
     if (Math.abs(this._budget.extPendingDeposit) > 0) {
       logger.warn(`${this._tag}::solve extPendingDeposit=${this._budget.extPendingDeposit}`);
       return null;
     }
     this._validateRefreshedState();
     const cases = this._classifyCases(withdrawAmount);
+    for (const c of cases) {
+      applyRoutesAndVerifyLtvState(gaurdrailBudget, c.routes);
+    }
+    const extendedPositionSize = gaurdrailBudget.extendedPositionsView[0].size.toNumber();
+    const vesuPositionSize = gaurdrailBudget.vesuPoolState.collateralAmount.toNumber();
+    assert(Math.abs(extendedPositionSize - vesuPositionSize) <= 1e-5, "extended positions size mismatch");
     const result = {
       cases,
       // ignore these fields for now. only cases are relevant.
@@ -43542,7 +43684,7 @@ var ExtendedSVKVesuStateManager = class {
       vaultUsdcBalance,
       walletBalance
     );
-    this._budget = createSolveBudgetFromRawState({
+    const data = {
       assetToken: this._config.assetToken,
       usdcToken: this._config.usdcToken,
       unusedBalance,
@@ -43559,7 +43701,9 @@ var ExtendedSVKVesuStateManager = class {
         pendingDeposit: extendedBalance?.pendingDeposit || new Web3Number(0, USDC_TOKEN_DECIMALS)
       },
       vesuPoolStates
-    });
+    };
+    this._budget = createSolveBudgetFromRawState(data);
+    const gaurdrailBudget = createSolveBudgetFromRawState({ ...data });
     this._budget.logStateSummary();
     const totalUnusedUsd = unusedBalance.reduce(
       (acc, b) => acc + b.usdValue,
@@ -43568,6 +43712,7 @@ var ExtendedSVKVesuStateManager = class {
     logger.info(
       `${this._tag}::_refresh completed \u2014 unusedBalances: ${unusedBalance.length} tokens [${unusedBalance.map((b) => `${b.token.symbol}=$${b.usdValue.toFixed(2)}`).join(", ")}], totalUnusedUsd: ${totalUnusedUsd.toFixed(2)}, extendedPositions: ${extendedPositions.length} [${extendedPositions.map((p) => `${p.instrument}=${p.size.toFixed(6)} ${p.side}, ${p.valueUsd.toFixed(6)} ${p.instrument}`).join(", ")}], vesuPools: ${vesuPoolStates.length} [${vesuPoolStates.map((p) => `${p.poolId.shortString()}=${p.debtAmount.toFixed(6)} ${p.debtToken.symbol}, ${p.collateralAmount.toFixed(6)} ${p.collateralToken.symbol}`).join(", ")}], availableForTrade: ${extendedBalance?.availableForTrade.toNumber()} - availableForWithdrawal: ${extendedBalance?.availableForWithdrawal.toNumber()} - unrealisedPnl: ${extendedBalance?.unrealisedPnl.toNumber()} - extendedBalance::balance: ${extendedBalance?.balance.toNumber()} - extendedBalance::pendingDeposit: ${extendedBalance?.pendingDeposit.toNumber()} - extendedBalance::equity: ${extendedBalance?.equity.toNumber()}`
     );
+    return gaurdrailBudget;
   }
   // todo add communication check with python server of extended. if not working, throw error in solve function.
   /** True when strategy asset and USDC share one token — VA idle balance is tracked as USDC, not as asset. */
@@ -47328,7 +47473,7 @@ var VesuExtendedMultiplierStrategy = class _VesuExtendedMultiplierStrategy exten
     );
     allPositions.push({
       tokenInfo: this.usdcToken,
-      amount: new Web3Number(extendedPosition.size, 0),
+      amount: new Web3Number(extendedPosition?.size || 0, 0),
       usdValue: Number(extendedEquity),
       apy: { apy: extendedApy, type: "base" /* BASE */ },
       remarks: "finalised" /* FINALISED */,

package/dist/index.js

@@ -43833,6 +43833,142 @@ function createSolveBudgetFromRawState(params) {
   }
   return budget;
 }
+function assertRouteSanityAndAdjust(route, availableAmount) {
+  if (!route.amount) {
+    throw new Error(`Invalid route given to assertRouteSanityAndAdjust: ${JSON.stringify(route)}`);
+  }
+  const routeAmount = route.amount.toNumber();
+  if (routeAmount <= availableAmount) {
+    return route;
+  }
+  if (routeAmount - availableAmount <= CASE_THRESHOLD_USD) {
+    return { ...route, amount: new Web3Number(availableAmount, route.amount.decimals) };
+  }
+  throw new Error(`Route amount ${routeAmount} exceeds available amount ${availableAmount}, Route name: ${route.type}`);
+}
+function assertVesuMultiplyRouteSanityAndAdjust(route, availableAmount, state, isIncrease) {
+  const btcPrice = state.vesuPoolState.collateralPrice;
+  const totalCollateralAmount = isIncrease ? route.marginAmount.plus(route.swappedCollateralAmount).plus(state.vesuPoolState.collateralAmount) : state.vesuPoolState.collateralAmount.minus(route.marginAmount.plus(route.swappedCollateralAmount));
+  const totalDebtAmount = isIncrease ? route.debtAmount.plus(state.vesuPoolState.debtAmount) : state.vesuPoolState.debtAmount.minus(route.debtAmount);
+  const newHF = HealthFactorMath.getHealthFactor(
+    totalCollateralAmount,
+    btcPrice,
+    VesuConfig.maxLtv,
+    totalDebtAmount,
+    state.vesuPoolState.debtPrice
+  );
+  const idealHF = VesuConfig.maxLtv / VesuConfig.targetLtv - 0.05;
+  assert(newHF >= idealHF, `SolveBudget::applyRoutesAndVerifyLtvState newHF=${newHF} < idealHF=${idealHF}`);
+}
+function applyRoutesAndVerifyLtvState(state, routes) {
+  const btcPrice = state.vesuPoolState.collateralPrice;
+  const adjustedRouters = [...routes];
+  let index = 0;
+  for (const r of routes) {
+    switch (r.type) {
+      case "WALLET_TO_VA" /* WALLET_TO_VA */: {
+        const adjustedRoute = assertRouteSanityAndAdjust(r, state.walletUsd);
+        const amt = adjustedRoute.amount.toNumber();
+        state.spendWallet(amt);
+        state.addToVA(amt);
+        break;
+      }
+      case "VESU_REPAY" /* VESU_REPAY */: {
+        const adjustedRoute = assertRouteSanityAndAdjust(r, state.vaRawUsd);
+        const amt = Math.abs(adjustedRoute.amount.toNumber());
+        state.repayVesuBorrowCapacity(amt);
+        state.spendVA(amt);
+        break;
+      }
+      case "EXTENDED_TO_WALLET" /* EXTENDED_TO_WALLET */: {
+        const adjustedRoute = assertRouteSanityAndAdjust(r, state.extAvailWithdraw);
+        const amt = adjustedRoute.amount.toNumber();
+        state.addToWallet(amt);
+        state.spendExtAvailTrade(amt);
+        break;
+      }
+      case "REALISE_PNL" /* REALISE_PNL */: {
+        const amt = r.amount.toNumber();
+        state.spendExtAvailUpnl(amt);
+        state.addToExtAvailTrade(amt);
+        break;
+      }
+      case "VA_TO_EXTENDED" /* VA_TO_EXTENDED */: {
+        const adjustedRoute = assertRouteSanityAndAdjust(r, state.vaRawUsd);
+        const amt = adjustedRoute.amount.toNumber();
+        state.spendVA(amt);
+        state.addToExtAvailTrade(amt);
+        break;
+      }
+      case "WALLET_TO_EXTENDED" /* WALLET_TO_EXTENDED */: {
+        const adjustedRoute = assertRouteSanityAndAdjust(r, state.walletUsd);
+        const amt = adjustedRoute.amount.toNumber();
+        state.spendWallet(amt);
+        state.addToExtAvailTrade(amt);
+        break;
+      }
+      case "VESU_BORROW" /* VESU_BORROW */: {
+        const borrowedAmount = r.amount.toNumber();
+        const currentCollateralAmount = state.vesuPoolState.collateralAmount.toNumber();
+        const currentDebtAmount = state.vesuPoolState.debtAmount.toNumber();
+        const maxDebtAmount = HealthFactorMath.getMaxDebtAmount(
+          new Web3Number(currentCollateralAmount, state.vesuPoolState.collateralToken.decimals),
+          state.vesuPoolState.collateralPrice,
+          VesuConfig.maxLtv,
+          VesuConfig.maxLtv / VesuConfig.targetLtv - 0.05,
+          // e.g. if ideal HF is 1.4, upto 1.35 is ok.
+          state.vesuPoolState.debtPrice,
+          state.vesuPoolState.debtToken
+        );
+        const availableDebtAmount = maxDebtAmount.minus(new Web3Number(currentDebtAmount, state.vesuPoolState.debtToken.decimals));
+        if (!availableDebtAmount.plus(CASE_THRESHOLD_USD).greaterThan(borrowedAmount)) {
+          throw new Error(`SolveBudget::applyRoutesAndVerifyLtvState availableDebtAmount=${availableDebtAmount.toNumber()} < borrowedAmount=${borrowedAmount}`);
+        }
+        state.spendVesuBorrowCapacity(borrowedAmount);
+        state.addToVA(borrowedAmount);
+        break;
+      }
+      case "VESU_MULTIPLY_INCREASE_LEVER" /* VESU_MULTIPLY_INCREASE_LEVER */: {
+        const mr = r;
+        assertVesuMultiplyRouteSanityAndAdjust(mr, state.vaRawUsd, state, true);
+        state.applyVesuDelta(
+          mr.poolId,
+          mr.collateralToken,
+          mr.debtToken,
+          mr.marginAmount.plus(mr.swappedCollateralAmount),
+          mr.debtAmount
+        );
+        state.spendVA(mr.marginAmount.toNumber() * btcPrice);
+        break;
+      }
+      case "VESU_MULTIPLY_DECREASE_LEVER" /* VESU_MULTIPLY_DECREASE_LEVER */: {
+        const mr = r;
+        assertVesuMultiplyRouteSanityAndAdjust(mr, state.vaRawUsd, state, false);
+        state.applyVesuDelta(
+          mr.poolId,
+          mr.collateralToken,
+          mr.debtToken,
+          new Web3Number(mr.marginAmount.negated().minus(mr.swappedCollateralAmount).toFixed(8), mr.marginAmount.decimals),
+          mr.debtAmount
+        );
+        const marginBtc = mr.marginAmount.toNumber();
+        if (marginBtc > 10 ** -COLLATERAL_PRECISION) {
+          state.addToVA(marginBtc * btcPrice);
+        }
+        break;
+      }
+      case "EXTENDED_DECREASE_LEVER" /* EXTENDED_DECREASE_LEVER */:
+      case "EXTENDED_INCREASE_LEVER" /* EXTENDED_INCREASE_LEVER */: {
+        const er = r;
+        state.applyExtendedExposureDelta(er.instrument, er.amount, btcPrice);
+        break;
+      }
+      case "RETURN_TO_WAIT" /* RETURN_TO_WAIT */:
+        break;
+    }
+    index++;
+  }
+}
 var ExtendedSVKVesuStateManager = class {
   constructor(config) {
     this._tag = "ExtendedSVKVesuStateManager";
@@ -43851,13 +43987,19 @@ var ExtendedSVKVesuStateManager = class {
    *   Pass 0 (default) for normal investment / rebalancing cycles.
    */
   async solve(withdrawAmount = new Web3Number(0, USDC_TOKEN_DECIMALS)) {
-    await this._refresh();
+    const gaurdrailBudget = await this._refresh();
     if (Math.abs(this._budget.extPendingDeposit) > 0) {
       logger.warn(`${this._tag}::solve extPendingDeposit=${this._budget.extPendingDeposit}`);
       return null;
     }
     this._validateRefreshedState();
     const cases = this._classifyCases(withdrawAmount);
+    for (const c of cases) {
+      applyRoutesAndVerifyLtvState(gaurdrailBudget, c.routes);
+    }
+    const extendedPositionSize = gaurdrailBudget.extendedPositionsView[0].size.toNumber();
+    const vesuPositionSize = gaurdrailBudget.vesuPoolState.collateralAmount.toNumber();
+    assert(Math.abs(extendedPositionSize - vesuPositionSize) <= 1e-5, "extended positions size mismatch");
     const result = {
       cases,
       // ignore these fields for now. only cases are relevant.
@@ -43905,7 +44047,7 @@ var ExtendedSVKVesuStateManager = class {
       vaultUsdcBalance,
       walletBalance
     );
-    this._budget = createSolveBudgetFromRawState({
+    const data = {
       assetToken: this._config.assetToken,
       usdcToken: this._config.usdcToken,
       unusedBalance,
@@ -43922,7 +44064,9 @@ var ExtendedSVKVesuStateManager = class {
         pendingDeposit: extendedBalance?.pendingDeposit || new Web3Number(0, USDC_TOKEN_DECIMALS)
       },
       vesuPoolStates
-    });
+    };
+    this._budget = createSolveBudgetFromRawState(data);
+    const gaurdrailBudget = createSolveBudgetFromRawState({ ...data });
     this._budget.logStateSummary();
     const totalUnusedUsd = unusedBalance.reduce(
       (acc, b) => acc + b.usdValue,
@@ -43931,6 +44075,7 @@ var ExtendedSVKVesuStateManager = class {
     logger.info(
       `${this._tag}::_refresh completed \u2014 unusedBalances: ${unusedBalance.length} tokens [${unusedBalance.map((b) => `${b.token.symbol}=$${b.usdValue.toFixed(2)}`).join(", ")}], totalUnusedUsd: ${totalUnusedUsd.toFixed(2)}, extendedPositions: ${extendedPositions.length} [${extendedPositions.map((p) => `${p.instrument}=${p.size.toFixed(6)} ${p.side}, ${p.valueUsd.toFixed(6)} ${p.instrument}`).join(", ")}], vesuPools: ${vesuPoolStates.length} [${vesuPoolStates.map((p) => `${p.poolId.shortString()}=${p.debtAmount.toFixed(6)} ${p.debtToken.symbol}, ${p.collateralAmount.toFixed(6)} ${p.collateralToken.symbol}`).join(", ")}], availableForTrade: ${extendedBalance?.availableForTrade.toNumber()} - availableForWithdrawal: ${extendedBalance?.availableForWithdrawal.toNumber()} - unrealisedPnl: ${extendedBalance?.unrealisedPnl.toNumber()} - extendedBalance::balance: ${extendedBalance?.balance.toNumber()} - extendedBalance::pendingDeposit: ${extendedBalance?.pendingDeposit.toNumber()} - extendedBalance::equity: ${extendedBalance?.equity.toNumber()}`
     );
+    return gaurdrailBudget;
   }
   // todo add communication check with python server of extended. if not working, throw error in solve function.
   /** True when strategy asset and USDC share one token — VA idle balance is tracked as USDC, not as asset. */
@@ -47691,7 +47836,7 @@ var VesuExtendedMultiplierStrategy = class _VesuExtendedMultiplierStrategy exten
     );
     allPositions.push({
       tokenInfo: this.usdcToken,
-      amount: new Web3Number(extendedPosition.size, 0),
+      amount: new Web3Number(extendedPosition?.size || 0, 0),
       usdValue: Number(extendedEquity),
       apy: { apy: extendedApy, type: "base" /* BASE */ },
       remarks: "finalised" /* FINALISED */,

package/dist/index.mjs

@@ -43635,6 +43635,142 @@ function createSolveBudgetFromRawState(params) {
   }
   return budget;
 }
+function assertRouteSanityAndAdjust(route, availableAmount) {
+  if (!route.amount) {
+    throw new Error(`Invalid route given to assertRouteSanityAndAdjust: ${JSON.stringify(route)}`);
+  }
+  const routeAmount = route.amount.toNumber();
+  if (routeAmount <= availableAmount) {
+    return route;
+  }
+  if (routeAmount - availableAmount <= CASE_THRESHOLD_USD) {
+    return { ...route, amount: new Web3Number(availableAmount, route.amount.decimals) };
+  }
+  throw new Error(`Route amount ${routeAmount} exceeds available amount ${availableAmount}, Route name: ${route.type}`);
+}
+function assertVesuMultiplyRouteSanityAndAdjust(route, availableAmount, state, isIncrease) {
+  const btcPrice = state.vesuPoolState.collateralPrice;
+  const totalCollateralAmount = isIncrease ? route.marginAmount.plus(route.swappedCollateralAmount).plus(state.vesuPoolState.collateralAmount) : state.vesuPoolState.collateralAmount.minus(route.marginAmount.plus(route.swappedCollateralAmount));
+  const totalDebtAmount = isIncrease ? route.debtAmount.plus(state.vesuPoolState.debtAmount) : state.vesuPoolState.debtAmount.minus(route.debtAmount);
+  const newHF = HealthFactorMath.getHealthFactor(
+    totalCollateralAmount,
+    btcPrice,
+    VesuConfig.maxLtv,
+    totalDebtAmount,
+    state.vesuPoolState.debtPrice
+  );
+  const idealHF = VesuConfig.maxLtv / VesuConfig.targetLtv - 0.05;
+  assert(newHF >= idealHF, `SolveBudget::applyRoutesAndVerifyLtvState newHF=${newHF} < idealHF=${idealHF}`);
+}
+function applyRoutesAndVerifyLtvState(state, routes) {
+  const btcPrice = state.vesuPoolState.collateralPrice;
+  const adjustedRouters = [...routes];
+  let index = 0;
+  for (const r of routes) {
+    switch (r.type) {
+      case "WALLET_TO_VA" /* WALLET_TO_VA */: {
+        const adjustedRoute = assertRouteSanityAndAdjust(r, state.walletUsd);
+        const amt = adjustedRoute.amount.toNumber();
+        state.spendWallet(amt);
+        state.addToVA(amt);
+        break;
+      }
+      case "VESU_REPAY" /* VESU_REPAY */: {
+        const adjustedRoute = assertRouteSanityAndAdjust(r, state.vaRawUsd);
+        const amt = Math.abs(adjustedRoute.amount.toNumber());
+        state.repayVesuBorrowCapacity(amt);
+        state.spendVA(amt);
+        break;
+      }
+      case "EXTENDED_TO_WALLET" /* EXTENDED_TO_WALLET */: {
+        const adjustedRoute = assertRouteSanityAndAdjust(r, state.extAvailWithdraw);
+        const amt = adjustedRoute.amount.toNumber();
+        state.addToWallet(amt);
+        state.spendExtAvailTrade(amt);
+        break;
+      }
+      case "REALISE_PNL" /* REALISE_PNL */: {
+        const amt = r.amount.toNumber();
+        state.spendExtAvailUpnl(amt);
+        state.addToExtAvailTrade(amt);
+        break;
+      }
+      case "VA_TO_EXTENDED" /* VA_TO_EXTENDED */: {
+        const adjustedRoute = assertRouteSanityAndAdjust(r, state.vaRawUsd);
+        const amt = adjustedRoute.amount.toNumber();
+        state.spendVA(amt);
+        state.addToExtAvailTrade(amt);
+        break;
+      }
+      case "WALLET_TO_EXTENDED" /* WALLET_TO_EXTENDED */: {
+        const adjustedRoute = assertRouteSanityAndAdjust(r, state.walletUsd);
+        const amt = adjustedRoute.amount.toNumber();
+        state.spendWallet(amt);
+        state.addToExtAvailTrade(amt);
+        break;
+      }
+      case "VESU_BORROW" /* VESU_BORROW */: {
+        const borrowedAmount = r.amount.toNumber();
+        const currentCollateralAmount = state.vesuPoolState.collateralAmount.toNumber();
+        const currentDebtAmount = state.vesuPoolState.debtAmount.toNumber();
+        const maxDebtAmount = HealthFactorMath.getMaxDebtAmount(
+          new Web3Number(currentCollateralAmount, state.vesuPoolState.collateralToken.decimals),
+          state.vesuPoolState.collateralPrice,
+          VesuConfig.maxLtv,
+          VesuConfig.maxLtv / VesuConfig.targetLtv - 0.05,
+          // e.g. if ideal HF is 1.4, upto 1.35 is ok.
+          state.vesuPoolState.debtPrice,
+          state.vesuPoolState.debtToken
+        );
+        const availableDebtAmount = maxDebtAmount.minus(new Web3Number(currentDebtAmount, state.vesuPoolState.debtToken.decimals));
+        if (!availableDebtAmount.plus(CASE_THRESHOLD_USD).greaterThan(borrowedAmount)) {
+          throw new Error(`SolveBudget::applyRoutesAndVerifyLtvState availableDebtAmount=${availableDebtAmount.toNumber()} < borrowedAmount=${borrowedAmount}`);
+        }
+        state.spendVesuBorrowCapacity(borrowedAmount);
+        state.addToVA(borrowedAmount);
+        break;
+      }
+      case "VESU_MULTIPLY_INCREASE_LEVER" /* VESU_MULTIPLY_INCREASE_LEVER */: {
+        const mr = r;
+        assertVesuMultiplyRouteSanityAndAdjust(mr, state.vaRawUsd, state, true);
+        state.applyVesuDelta(
+          mr.poolId,
+          mr.collateralToken,
+          mr.debtToken,
+          mr.marginAmount.plus(mr.swappedCollateralAmount),
+          mr.debtAmount
+        );
+        state.spendVA(mr.marginAmount.toNumber() * btcPrice);
+        break;
+      }
+      case "VESU_MULTIPLY_DECREASE_LEVER" /* VESU_MULTIPLY_DECREASE_LEVER */: {
+        const mr = r;
+        assertVesuMultiplyRouteSanityAndAdjust(mr, state.vaRawUsd, state, false);
+        state.applyVesuDelta(
+          mr.poolId,
+          mr.collateralToken,
+          mr.debtToken,
+          new Web3Number(mr.marginAmount.negated().minus(mr.swappedCollateralAmount).toFixed(8), mr.marginAmount.decimals),
+          mr.debtAmount
+        );
+        const marginBtc = mr.marginAmount.toNumber();
+        if (marginBtc > 10 ** -COLLATERAL_PRECISION) {
+          state.addToVA(marginBtc * btcPrice);
+        }
+        break;
+      }
+      case "EXTENDED_DECREASE_LEVER" /* EXTENDED_DECREASE_LEVER */:
+      case "EXTENDED_INCREASE_LEVER" /* EXTENDED_INCREASE_LEVER */: {
+        const er = r;
+        state.applyExtendedExposureDelta(er.instrument, er.amount, btcPrice);
+        break;
+      }
+      case "RETURN_TO_WAIT" /* RETURN_TO_WAIT */:
+        break;
+    }
+    index++;
+  }
+}
 var ExtendedSVKVesuStateManager = class {
   constructor(config) {
     this._tag = "ExtendedSVKVesuStateManager";
@@ -43653,13 +43789,19 @@ var ExtendedSVKVesuStateManager = class {
    *   Pass 0 (default) for normal investment / rebalancing cycles.
    */
   async solve(withdrawAmount = new Web3Number(0, USDC_TOKEN_DECIMALS)) {
-    await this._refresh();
+    const gaurdrailBudget = await this._refresh();
     if (Math.abs(this._budget.extPendingDeposit) > 0) {
       logger.warn(`${this._tag}::solve extPendingDeposit=${this._budget.extPendingDeposit}`);
       return null;
     }
     this._validateRefreshedState();
     const cases = this._classifyCases(withdrawAmount);
+    for (const c of cases) {
+      applyRoutesAndVerifyLtvState(gaurdrailBudget, c.routes);
+    }
+    const extendedPositionSize = gaurdrailBudget.extendedPositionsView[0].size.toNumber();
+    const vesuPositionSize = gaurdrailBudget.vesuPoolState.collateralAmount.toNumber();
+    assert(Math.abs(extendedPositionSize - vesuPositionSize) <= 1e-5, "extended positions size mismatch");
     const result = {
       cases,
       // ignore these fields for now. only cases are relevant.
@@ -43707,7 +43849,7 @@ var ExtendedSVKVesuStateManager = class {
       vaultUsdcBalance,
       walletBalance
     );
-    this._budget = createSolveBudgetFromRawState({
+    const data = {
       assetToken: this._config.assetToken,
       usdcToken: this._config.usdcToken,
       unusedBalance,
@@ -43724,7 +43866,9 @@ var ExtendedSVKVesuStateManager = class {
         pendingDeposit: extendedBalance?.pendingDeposit || new Web3Number(0, USDC_TOKEN_DECIMALS)
       },
       vesuPoolStates
-    });
+    };
+    this._budget = createSolveBudgetFromRawState(data);
+    const gaurdrailBudget = createSolveBudgetFromRawState({ ...data });
     this._budget.logStateSummary();
     const totalUnusedUsd = unusedBalance.reduce(
       (acc, b) => acc + b.usdValue,
@@ -43733,6 +43877,7 @@ var ExtendedSVKVesuStateManager = class {
     logger.info(
       `${this._tag}::_refresh completed \u2014 unusedBalances: ${unusedBalance.length} tokens [${unusedBalance.map((b) => `${b.token.symbol}=$${b.usdValue.toFixed(2)}`).join(", ")}], totalUnusedUsd: ${totalUnusedUsd.toFixed(2)}, extendedPositions: ${extendedPositions.length} [${extendedPositions.map((p) => `${p.instrument}=${p.size.toFixed(6)} ${p.side}, ${p.valueUsd.toFixed(6)} ${p.instrument}`).join(", ")}], vesuPools: ${vesuPoolStates.length} [${vesuPoolStates.map((p) => `${p.poolId.shortString()}=${p.debtAmount.toFixed(6)} ${p.debtToken.symbol}, ${p.collateralAmount.toFixed(6)} ${p.collateralToken.symbol}`).join(", ")}], availableForTrade: ${extendedBalance?.availableForTrade.toNumber()} - availableForWithdrawal: ${extendedBalance?.availableForWithdrawal.toNumber()} - unrealisedPnl: ${extendedBalance?.unrealisedPnl.toNumber()} - extendedBalance::balance: ${extendedBalance?.balance.toNumber()} - extendedBalance::pendingDeposit: ${extendedBalance?.pendingDeposit.toNumber()} - extendedBalance::equity: ${extendedBalance?.equity.toNumber()}`
     );
+    return gaurdrailBudget;
   }
   // todo add communication check with python server of extended. if not working, throw error in solve function.
   /** True when strategy asset and USDC share one token — VA idle balance is tracked as USDC, not as asset. */
@@ -47493,7 +47638,7 @@ var VesuExtendedMultiplierStrategy = class _VesuExtendedMultiplierStrategy exten
     );
     allPositions.push({
       tokenInfo: this.usdcToken,
-      amount: new Web3Number(extendedPosition.size, 0),
+      amount: new Web3Number(extendedPosition?.size || 0, 0),
       usdValue: Number(extendedEquity),
       apy: { apy: extendedApy, type: "base" /* BASE */ },
       remarks: "finalised" /* FINALISED */,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@strkfarm/sdk",
-  "version": "2.0.0-dev.32",
+  "version": "2.0.0-dev.34",
   "description": "STRKFarm TS SDK (Meant for our internal use, but feel free to use it)",
   "typings": "dist/index.d.ts",
   "types": "dist/index.d.ts",