@gearbox-protocol/sdk 16.0.0-next.17 → 16.0.0-next.19

package/dist/esm/common-utils/utils/strategies/strategy-info/credit-manager-issues.js

@@ -0,0 +1,133 @@
+import { BigIntMath } from "../../../../onchain/utils/bigint-math.js";
+import { checkBorrowLimit, checkCollateralised, checkCreditManagerPaused, checkDebtInBand, checkForbiddenToken, checkFunding, checkQuotaCount, checkQuotaLimit } from "../../../../onchain/validation/checks.js";
+import "../../../../onchain/index.js";
+//#region src/common-utils/utils/strategies/strategy-info/credit-manager-issues.ts
+/**
+* The ladders below are the order the strategy lists report in, which is theirs
+* to decide — the engine weighs the same ceilings differently and says so.
+*/
+/**
+* The lists hold no token registry, so only the address is real here — these
+* issues are read as a reason, not rendered as an amount.
+*/
+function tokenOf(chainId, address) {
+	return {
+		chainId,
+		address,
+		symbol: address,
+		name: "",
+		decimals: 0
+	};
+}
+/**
+* The debt ceilings an account opening runs into, in the order a form reports
+* them. The minimum debt is what is weighed — asking for less does not make it
+* fit.
+*/
+function checkOpenAccountCeilings(args) {
+	const { creditManager, pool, debt, targetToken } = args;
+	const underlying = tokenOf(creditManager.chainId, creditManager.underlyingToken);
+	const effectiveDebt = BigIntMath.max(creditManager.minDebt, debt);
+	const debtLimitLeft = BigIntMath.max(creditManager.totalDebtLimit - creditManager.totalDebt, 0n);
+	const { totalDebtLimit = 0n, totalBorrowed = 0n } = pool || {};
+	const poolDebtLimitLeft = totalDebtLimit - totalBorrowed;
+	const canOpenMinDebt = creditManager.minDebt <= debtLimitLeft && creditManager.minDebt <= poolDebtLimitLeft && creditManager.minDebt <= creditManager.availableToBorrow;
+	const minPositionSize = BigIntMath.min(BigIntMath.min(debtLimitLeft, poolDebtLimitLeft), creditManager.availableToBorrow);
+	const ceilings = [
+		...creditManager.totalDebtLimit >= 0n ? [{
+			available: debtLimitLeft,
+			binding: "managerDebtAvailable"
+		}] : [],
+		...totalDebtLimit > 0n ? [{
+			available: poolDebtLimitLeft,
+			binding: "poolDebtLimit"
+		}] : [],
+		{
+			available: creditManager.availableToBorrow,
+			binding: "poolAvailableLiquidity"
+		}
+	];
+	for (const { available, binding } of ceilings) {
+		const issue = checkBorrowLimit({
+			requested: effectiveDebt,
+			available,
+			binding,
+			underlying,
+			solutionAmount: canOpenMinDebt ? minPositionSize : void 0
+		});
+		if (issue) return issue;
+	}
+	if (targetToken !== null) return quotaIssue(creditManager, targetToken, effectiveDebt, underlying);
+	return null;
+}
+/** The room the keeper has left for a token, read off a slice. */
+function quotaIssue(creditManager, token, requested, underlying) {
+	const quota = creditManager.quotas[token];
+	if (!quota) return null;
+	const realLimit = quota.isActive ? quota.limit : 0n;
+	return checkQuotaLimit({
+		token: tokenOf(creditManager.chainId, token),
+		requested,
+		available: realLimit - quota.totalQuoted,
+		underlying
+	});
+}
+/** Everything the lists weigh before calling a manager usable, in their order. */
+function checkCreditManagerUsable(args) {
+	const { creditManager, pool, debt, targetToken } = args;
+	const { chainId } = creditManager;
+	const underlying = tokenOf(chainId, creditManager.underlyingToken);
+	return checkCreditManagerPaused({
+		isPaused: creditManager.isPaused,
+		creditManager: creditManager.address
+	}) || checkOpenAccountCeilings({
+		creditManager,
+		pool,
+		debt,
+		targetToken
+	}) || (args.tokenToObtain === null ? null : checkForbiddenToken({
+		token: tokenOf(chainId, args.tokenToObtain),
+		isForbidden: creditManager.isForbidden(args.tokenToObtain)
+	})) || fundingIssue(chainId, args.collateral, args.balances) || checkDebtInBand({
+		debt,
+		minDebt: creditManager.minDebt,
+		maxDebt: creditManager.maxDebt,
+		underlying,
+		allowZero: false
+	}) || checkQuotaCount({
+		count: Object.values(args.desiredQuota).filter((a) => a.balance > 0n).length,
+		max: creditManager.maxEnabledTokensLength
+	}) || quotaUpdateIssue(creditManager, args.quotaUpdate, underlying) || checkCollateralised({
+		healthFactor: args.healthFactor,
+		required: 10101,
+		safePrices: false
+	});
+}
+/**
+* The first asset the wallet cannot fund.
+*
+* The lookup lowercases because the balance map is keyed that way while a
+* market names its tokens as it spells them.
+*/
+function fundingIssue(chainId, collateral, balances) {
+	for (const { token, balance } of collateral) {
+		const held = balances[token.toLowerCase()] || 0n;
+		const issue = checkFunding({
+			token: tokenOf(chainId, token),
+			required: balance,
+			held
+		});
+		if (issue) return issue;
+	}
+	return null;
+}
+function quotaUpdateIssue(creditManager, quotaUpdate, underlying) {
+	for (const { token, balance: updateBy } of quotaUpdate) {
+		if (updateBy <= 0n) continue;
+		const issue = quotaIssue(creditManager, token, updateBy, underlying);
+		if (issue) return issue;
+	}
+	return null;
+}
+//#endregion
+export { checkCreditManagerUsable, checkOpenAccountCeilings };

package/dist/esm/common-utils/utils/strategies/strategy-info/get-cm-you-can-earn.js

@@ -1,8 +1,8 @@
 import { BigIntMath } from "../../../../onchain/utils/bigint-math.js";
-import { LEVERAGE_DECIMALS } from "../../../../onchain/constants/math.js";
+import { LEVERAGE_DECIMALS, isZeroBalance } from "../../../../onchain/constants/math.js";
 import { formatBN, toBN, toBigInt } from "../../../../onchain/utils/formatter.js";
-import { validateHF } from "../../validation/validate-hf.js";
 import { calcQuotaUpdate } from "../../creditAccount/quota-utils.js";
+import "../../../../onchain/index.js";
 import { PriceUtils } from "../../price-math.js";
 import { calculateEarnings } from "../../apy/calculate-earnings.js";
 import { calculateEffectiveBorrowRate } from "../../apy/calculate-effective-borrow-rate.js";
@@ -19,14 +19,9 @@ import { getListWithAmountInTarget } from "../tokens/get-list-with-amount-in-tar
 import { getWalletBalancesAllowedOnCM } from "../credit-managers/get-wallet-balances-allowed-on-cm.js";
 import { getComplexPointsList } from "../points/get-complex-points-list.js";
 import { getPointsInfo } from "../points/get-points-info.js";
-import { validateOpenAccountPoolStatus } from "../../validation/validate-open-account-pool-status.js";
+import { checkCreditManagerUsable } from "./credit-manager-issues.js";
 import { calculateTotalAPY } from "./calculate-total-apy.js";
 import { calculateTotalPoints } from "./calculate-total-points.js";
-import { isZeroBalance } from "../../validation/is-zero-balance.js";
-import { validateBalances } from "../../validation/validate-balances.js";
-import { validateCreditManager } from "../../validation/validate-credit-manager.js";
-import { validateOpenAccount } from "../../validation/validate-open-account.js";
-import { validateTokenToObtain } from "../../validation/validate-token-to-obtain.js";
 //#region src/common-utils/utils/strategies/strategy-info/get-cm-you-can-earn.ts
 function getCMYouCanEarn({ allPrices, creditManager, tokensList, delayedPhantoms, nativeTokenAddress, wrappedNativeTokenAddress, walletBalances, strategy, slippage, quotaReserve, apyList, pools }) {
 	const baseInfo = {
@@ -176,27 +171,21 @@ function getCMYouCanEarn({ allPrices, creditManager, tokensList, delayedPhantoms
 		tokensList
 	});
 	const pool = pools?.[creditManager.pool];
-	const error = validateCreditManager({ creditManager }) || validateOpenAccountPoolStatus({
-		pool,
+	const error = collateral.some((a) => isZeroBalance(a.balance)) ? { reason: "insufficientSourceBalance" } : checkCreditManagerUsable({
 		creditManager,
+		pool,
 		debt,
-		targetToken: targetTokenAddress
-	}) || validateTokenToObtain({
-		targetToken: strategy.tokenOutAddress,
-		creditManager
-	}) || validateBalances({
+		healthFactor: hf,
+		targetToken: targetTokenAddress,
+		tokenToObtain: strategy.tokenOutAddress,
+		collateral,
 		balances: walletBalances,
-		assets: collateral
-	}) || validateOpenAccount({
 		desiredQuota,
-		quotaUpdate,
-		debt,
-		creditManager,
-		loading: false
-	}) || validateHF({ hf });
+		quotaUpdate
+	});
 	if (error) return {
 		status: "error",
-		description: `Resulting CA did not pass validation: ${error.message}`,
+		description: `Resulting CA did not pass validation: ${error.reason}`,
 		otherInfo: {
 			...baseInfo,
 			hf

package/dist/esm/common-utils/utils/strategies/strategy-info/index.js

@@ -1,4 +1,5 @@
 import { isStrategyCMDisabled } from "./is-strategy-cm-disabled.js";
+import { checkCreditManagerUsable, checkOpenAccountCeilings } from "./credit-manager-issues.js";
 import { cmAvailabilityCondition } from "./cm-availability-condition.js";
 import { getStrategyMaxAPY } from "./get-strategy-max-apy.js";
 import { calculateTotalAPY } from "./calculate-total-apy.js";
@@ -8,4 +9,4 @@ import { getStrategyInfoCore } from "./get-strategy-info-core.js";
 import { getStrategyInfo } from "./get-strategy-info.js";
 import { getStrategyYouCanEarn } from "./get-strategy-you-can-earn.js";
 import "./types.js";
-export { calculateTotalAPY, calculateTotalPoints, cmAvailabilityCondition, getCMYouCanEarn, getStrategyInfo, getStrategyInfoCore, getStrategyMaxAPY, getStrategyYouCanEarn, isStrategyCMDisabled };
+export { calculateTotalAPY, calculateTotalPoints, checkCreditManagerUsable, checkOpenAccountCeilings, cmAvailabilityCondition, getCMYouCanEarn, getStrategyInfo, getStrategyInfoCore, getStrategyMaxAPY, getStrategyYouCanEarn, isStrategyCMDisabled };

package/dist/esm/dev/AccountOpener.js

@@ -1,9 +1,9 @@
+import { ierc20Abi } from "../abi/iERC20.js";
 import { iCreditFacadeV310Abi } from "../abi/310/generated.js";
 import { AddressMap } from "../onchain/utils/AddressMap.js";
 import { AddressSet } from "../onchain/utils/AddressSet.js";
 import { AssetsMap } from "../onchain/utils/AssetsMap.js";
 import { childLogger } from "../onchain/utils/childLogger.js";
-import { ierc20Abi } from "../abi/iERC20.js";
 import "../onchain/constants/addresses.js";
 import { MAX_UINT256, PERCENTAGE_FACTOR } from "../onchain/constants/math.js";
 import { SDKConstruct } from "../onchain/base/SDKConstruct.js";

package/dist/esm/dev/withdrawalUtils.js

@@ -1,6 +1,6 @@
+import { iWithdrawalCompressorV313Abi } from "../abi/IWithdrawalCompressorV313.js";
 import { getNetworkType } from "../onchain/chain/chains.js";
 import { getWithdrawalCompressorAddress } from "../onchain/accounts/withdrawal-compressor/addresses.js";
-import { iWithdrawalCompressorV313Abi } from "../abi/IWithdrawalCompressorV313.js";
 import "../onchain/index.js";
 import { iMidasDataFeedAbi, iMidasRedemptionVaultAbi, midasGatewayAbi, midasRedeemerAbi, midasRedemptionVaultPhantomTokenAbi, securitizeRedeemerAbi, securitizeRedemptionGatewayAbi, securitizeRedemptionPhantomTokenAbi } from "./withdrawalAbi.js";
 import { erc20Abi, hexToString, parseAbi, parseEther } from "viem";

package/dist/esm/onchain/accounts/CreditAccountsServiceV310.js

@@ -1,3 +1,5 @@
+import { iBaseRewardPoolAbi } from "../../abi/iBaseRewardPool.js";
+import { ierc4626AdapterAbi } from "../../abi/ierc4626Adapter.js";
 import { AP_REWARDS_COMPRESSOR } from "../constants/address-provider.js";
 import { ADDRESS_0X0 } from "../constants/addresses.js";
 import { MAX_UINT256 } from "../constants/math.js";
@@ -8,8 +10,6 @@ import "../base/index.js";
 import { AccountBotsService } from "./bots/AccountBotsService.js";
 import "./bots/index.js";
 import { rewardsCompressorAbi } from "../../abi/compressors/rewardsCompressor.js";
-import { iBaseRewardPoolAbi } from "../../abi/iBaseRewardPool.js";
-import { ierc4626AdapterAbi } from "../../abi/ierc4626Adapter.js";
 import { expectedBalanceDeltas } from "../market/credit/expectedBalanceDeltas.js";
 import "../market/index.js";
 import { CreditAccountCompressor } from "./credit-account-compressor/CreditAccountCompressor.js";

package/dist/esm/onchain/accounts/index.js

@@ -5,7 +5,7 @@ import { CreditAccountCompressorV310Contract } from "./credit-account-compressor
 import { CreditAccountCompressor } from "./credit-account-compressor/CreditAccountCompressor.js";
 import "./credit-account-compressor/index.js";
 import { CreditAccountsServiceV310 } from "./CreditAccountsServiceV310.js";
-import { IntentPreviewError, refuse } from "./intents/refusal.js";
+import { borrowable } from "./intents/guards.js";
 import { fetchCreditAccountSlice, toCreditAccountSlice } from "./intents/utils/credit-account-slice.js";
 import { CreditAccountOperationsService } from "./intents/index.js";
 import { LIQUIDATION_APPROVAL_BUFFER, LIQUIDATION_COMPRESSOR_V313_ADDRESS } from "./liquidations/constants.js";
@@ -25,4 +25,4 @@ import { toWithdrawalStatus } from "./withdrawal-compressor/types.js";
 import { WithdrawalCompressorV313Contract } from "./withdrawal-compressor/WithdrawalCompressorV313Contract.js";
 import { createWithdrawalCompressor } from "./withdrawal-compressor/createWithdrawalCompressor.js";
 import "./withdrawal-compressor/index.js";
-export { AbstractWithdrawalCompressorContract, AccountBotsService, CreditAccountCompressor, CreditAccountCompressorV310Contract, CreditAccountOperationsService, CreditAccountsServiceV310, DELAYED_INTENT_TYPES, DELAYED_INTENT_VERSION, IntentPreviewError, InvalidDelayedIntentError, LIQUIDATION_APPROVAL_BUFFER, LIQUIDATION_COMPRESSOR_V313_ADDRESS, LiquidationsService, MultichainLiquidationsService, PeripheryCompressorV310Contract, RedemptionLoggerV310Contract, WithdrawalCompressorV310Contract, WithdrawalCompressorV311Contract, WithdrawalCompressorV313Contract, createRedemptionLogger, createWithdrawalCompressor, decodeDelayedIntent, encodeDelayedIntent, fetchCreditAccountSlice, getWithdrawalCompressorAddress, iCreditAccountAbi, refuse, toClaimableWithdrawal, toCreditAccountSlice, toPendingWithdrawal, toRequestableWithdrawal, toWithdrawalStatus };
+export { AbstractWithdrawalCompressorContract, AccountBotsService, CreditAccountCompressor, CreditAccountCompressorV310Contract, CreditAccountOperationsService, CreditAccountsServiceV310, DELAYED_INTENT_TYPES, DELAYED_INTENT_VERSION, InvalidDelayedIntentError, LIQUIDATION_APPROVAL_BUFFER, LIQUIDATION_COMPRESSOR_V313_ADDRESS, LiquidationsService, MultichainLiquidationsService, PeripheryCompressorV310Contract, RedemptionLoggerV310Contract, WithdrawalCompressorV310Contract, WithdrawalCompressorV311Contract, WithdrawalCompressorV313Contract, borrowable, createRedemptionLogger, createWithdrawalCompressor, decodeDelayedIntent, encodeDelayedIntent, fetchCreditAccountSlice, getWithdrawalCompressorAddress, iCreditAccountAbi, toClaimableWithdrawal, toCreditAccountSlice, toPendingWithdrawal, toRequestableWithdrawal, toWithdrawalStatus };

package/dist/esm/onchain/accounts/intents/guards.js

@@ -1,6 +1,6 @@
-import { PERCENTAGE_FACTOR } from "../../constants/math.js";
-import "../../constants/index.js";
-import { IntentPreviewError } from "./refusal.js";
+import { MIN_HEALTH_FACTOR_FACADE, checkBorrowLimit, checkCollateralised, checkCreditManagerPaused, checkForbiddenToken, checkMarketExpired, checkQuotaLimit } from "../../validation/checks.js";
+import { raise } from "../../validation/refusal.js";
+import { toToken } from "../../validation/token.js";
 import { eq } from "./utils/common.js";
 import { isPhantomToken } from "./utils/pick-token.js";
 //#region src/onchain/accounts/intents/guards.ts
@@ -24,11 +24,15 @@ import { isPhantomToken } from "./utils/pick-token.js";
 */
 function assertMarketOperable(suite) {
 	const creditManager = suite.creditManager.address;
-	if (suite.isPaused) throw new IntentPreviewError("marketPaused", { creditManager }, `${creditManager} is paused`);
-	if (suite.isExpired) throw new IntentPreviewError("marketExpired", {
+	raise(checkCreditManagerPaused({
+		isPaused: suite.isPaused,
+		creditManager
+	}), `${creditManager} is paused`);
+	raise(checkMarketExpired({
+		isExpired: suite.isExpired,
 		creditManager,
 		expirationDate: suite.creditFacade.expirationDate
-	}, `${creditManager} expired at ${suite.creditFacade.expirationDate}`);
+	}), `${creditManager} expired at ${suite.creditFacade.expirationDate}`);
 }
 /**
 * What the pool will hand this manager in one transaction: the tightest of its
@@ -39,30 +43,35 @@ function assertMarketOperable(suite) {
 function borrowable(suite) {
 	const { pool } = suite.market.pool;
 	const { maxDebtPerBlockMultiplier, maxDebt } = suite.creditFacade;
-	if (maxDebtPerBlockMultiplier === 0) return 0n;
+	if (maxDebtPerBlockMultiplier === 0) return {
+		limit: 0n,
+		binding: "facadePerBlockCap"
+	};
 	const available = pool.creditManagerDebtParams.get(suite.creditManager.address)?.available;
 	return [
-		pool.availableLiquidity,
-		maxDebt * BigInt(maxDebtPerBlockMultiplier),
-		...available === void 0 ? [] : [available]
-	].reduce((a, b) => a < b ? a : b);
+		{
+			limit: pool.availableLiquidity,
+			binding: "poolAvailableLiquidity"
+		},
+		{
+			limit: maxDebt * BigInt(maxDebtPerBlockMultiplier),
+			binding: "facadePerBlockCap"
+		},
+		...available === void 0 ? [] : [{
+			limit: available,
+			binding: "managerDebtAvailable"
+		}]
+	].reduce((a, b) => b.limit < a.limit ? b : a);
 }
 /** The pool has to be able to lend what the plan means to draw. */
-function assertCanBorrow(suite, amount) {
-	const limit = borrowable(suite);
-	if (amount > limit) {
-		const token = suite.market.pool.underlying;
-		throw new IntentPreviewError("insufficientPoolLiquidity", {
-			requested: {
-				token,
-				balance: amount
-			},
-			available: {
-				token,
-				balance: limit
-			}
-		}, `borrow: ${amount} exceeds what the pool can lend now (${limit})`);
-	}
+function assertCanBorrow(sdk, suite, amount) {
+	const { limit, binding } = borrowable(suite);
+	raise(checkBorrowLimit({
+		requested: amount,
+		available: limit,
+		binding,
+		underlying: toToken(sdk, suite.market.pool.underlying)
+	}), `borrow: ${amount} exceeds what the pool can lend now (${limit})`);
 }
 /**
 * What the account is allowed to end up holding more of than it started with.
@@ -82,16 +91,17 @@ function assertGrowthAllowed(args) {
 	const underlying = market.pool.underlying;
 	for (const { token, balance } of after) {
 		if (balance <= (before.find((a) => eq(a.token, token))?.balance ?? 0n)) continue;
-		if (forbidden.some((f) => eq(f, token))) throw new IntentPreviewError("forbiddenToken", { token }, `${token} is forbidden in this market and the plan buys more of it`);
+		raise(checkForbiddenToken({
+			token: toToken(sdk, token),
+			isForbidden: forbidden.some((f) => eq(f, token))
+		}), `${token} is forbidden in this market and the plan buys more of it`);
 		if (eq(token, underlying) || isPhantomToken(sdk, token)) continue;
-		if (!market.pool.pqk.hasActiveQuota(token)) throw new IntentPreviewError("quotaLimitReached", {
-			token,
+		if (!market.pool.pqk.hasActiveQuota(token)) raise(checkQuotaLimit({
+			token: toToken(sdk, token),
 			requested: void 0,
-			available: {
-				token: underlying,
-				balance: 0n
-			}
-		}, `${token} takes no quota in this market, so it counts as no collateral`);
+			available: 0n,
+			underlying: toToken(sdk, underlying)
+		}), `${token} takes no quota in this market, so it counts as no collateral`);
 	}
 }
 /**
@@ -106,7 +116,7 @@ function assertGrowthAllowed(args) {
 * - here, `1.0` — what the facade enforces, so what a plan must clear to land;
 * - `maxWithdrawCollateral` sizes at `MIN_HF_LIMITED + 2` — a *sizing* helper
 *   leaving headroom, which is not the same as a validity check;
-* - `validateHF` refuses at or below `MIN_HF_LIMITED` — a form's own caution.
+* - a form refuses at or below `MIN_HF_LIMITED` (`MIN_HEALTH_FACTOR_FORM`).
 *
 * Raising this one to `MIN_HF_LIMITED` was tried and reverted: it made
 * `maxWithdraw` hand back a ceiling this guard then refused, and it blocked
@@ -124,35 +134,30 @@ function assertGrowthAllowed(args) {
 * still be refused on-chain after passing here.
 */
 function assertCollateralised(healthFactorBps, safePrices) {
-	const required = Number(PERCENTAGE_FACTOR);
-	if (healthFactorBps < required) throw new IntentPreviewError("insufficientCollateral", {
+	const required = MIN_HEALTH_FACTOR_FACADE;
+	raise(checkCollateralised({
 		healthFactor: healthFactorBps,
 		required,
 		safePrices
-	}, `the account would end at a health factor of ${healthFactorBps}, below ${required}`);
+	}), `the account would end at a health factor of ${healthFactorBps}, below ${required}`);
 }
 /**
 * A quota can only be raised as far as the market still has room for: past the
 * token's limit the keeper takes nothing more, whoever is asking.
 */
-function assertQuotaHeadroom(market, increases) {
+function assertQuotaHeadroom(sdk, market, increases) {
 	const underlying = market.pool.underlying;
 	for (const { token, balance } of increases) {
 		if (balance <= 0n) continue;
 		const quota = market.pool.pqk.quotas.get(token);
 		if (!quota) continue;
 		const left = quota.limit - quota.totalQuoted;
-		if (balance > left) throw new IntentPreviewError("quotaLimitReached", {
-			token,
-			requested: {
-				token: underlying,
-				balance
-			},
-			available: {
-				token: underlying,
-				balance: left
-			}
-		}, `${token} has ${left} of quota left, the plan needs ${balance}`);
+		raise(checkQuotaLimit({
+			token: toToken(sdk, token),
+			requested: balance,
+			available: left,
+			underlying: toToken(sdk, underlying)
+		}), `${token} has ${left} of quota left, the plan needs ${balance}`);
 	}
 }
 //#endregion

package/dist/esm/onchain/accounts/intents/index.js

@@ -1,7 +1,7 @@
 import { SDKConstruct } from "../../base/SDKConstruct.js";
-import { MIN_HF_LIMITED } from "../../../common-utils/utils/validation/validate-hf.js";
-import { IntentPreviewError, refuse } from "./refusal.js";
-import { assertMarketOperable } from "./guards.js";
+import { MIN_HF_LIMITED } from "../../validation/checks.js";
+import { IntentPreviewError, refuse } from "../../validation/refusal.js";
+import { assertMarketOperable, borrowable } from "./guards.js";
 import { fetchCreditAccountSlice, toCreditAccountSlice } from "./utils/credit-account-slice.js";
 import { calcLeverageBand } from "./leverage-band.js";
 import { maxProportionalWithdrawal } from "./math.js";
@@ -49,6 +49,10 @@ var CreditAccountOperationsService = class extends SDKConstruct {
 	* withdraw form should offer. Taking everything out is the same intent with
 	* `MAX_UINT256` for an amount, and needs none of this arithmetic.
 	*
+	* Takes no target health factor, unlike {@link maxWithdrawCollateral}: a
+	* proportional withdrawal leaves the factor where it found it, and the
+	* facade's `minDebt` is what bounds it.
+	*
 	* @param props - Account slice and the SDK holding its market
 	* @returns Amount in underlying units; `0n` when nothing can leave
 	*/
@@ -84,8 +88,9 @@ var CreditAccountOperationsService = class extends SDKConstruct {
 	* yet, and adjusting measures against the net value the caller already
 	* holds. Nothing is fetched, so a form can ask on every keystroke.
 	*
-	* @param props - The manager, the SDK holding its market, and what stands
-	* behind the position
+	* @param props - The manager, the SDK holding its market, what stands
+	* behind the position, and optionally the health factor the ceiling should
+	* leave
 	* @returns The band, or nothing when the market has none to offer
 	*/
 	leverageBand(props) {
@@ -93,19 +98,23 @@ var CreditAccountOperationsService = class extends SDKConstruct {
 	}
 	/**
 	* Largest `WITHDRAW_ASSET` amount of one token the account can take out
-	* while its health factor stays at {@link MIN_HF_LIMITED} plus a basis
-	* point — the ceiling a withdraw-collateral form should offer. Thresholds,
-	* prices and quota activity come from the account's market, valued the way
-	* the facade values a call that pays out; zero debt frees the whole balance.
+	* while its health factor stays at `targetHF` — the ceiling a
+	* withdraw-collateral form should offer. Thresholds, prices and quota
+	* activity come from the account's market, valued the way the facade values
+	* a call that pays out; zero debt frees the whole balance.
+	*
+	* The default is {@link MIN_HF_LIMITED}, the bar a form holds an
+	* account to.
 	*
-	* @param props - Account slice, the SDK holding its market, and the
-	* collateral to withdraw
+	* @param props - Account slice, the SDK holding its market, the collateral
+	* to withdraw, and optionally the health factor to leave behind
 	* @returns Amount in the token's units; `0n` when nothing can leave
 	*/
 	maxWithdrawCollateral(props) {
+		const { targetHF = MIN_HF_LIMITED, ...rest } = props;
 		return maxWithdrawCollateral({
-			...props,
-			targetHF: MIN_HF_LIMITED + 2n
+			...rest,
+			targetHF: targetHF + 2n
 		});
 	}
 	/**
@@ -305,4 +314,4 @@ function isUnroutable(e) {
 	return false;
 }
 //#endregion
-export { CreditAccountOperationsService, IntentPreviewError, fetchCreditAccountSlice, refuse, toCreditAccountSlice };
+export { CreditAccountOperationsService, borrowable, fetchCreditAccountSlice, toCreditAccountSlice };

package/dist/esm/onchain/accounts/intents/leverage-band.js

@@ -30,13 +30,13 @@ import "./utils/index.js";
 * calcLeverageBand({ sdk, creditManager, collateral }) // { min: 1.1, max: 9 }
 * ```
 **/
-function calcLeverageBand({ sdk, creditManager, collateral }) {
+function calcLeverageBand({ sdk, creditManager, collateral, targetHF }) {
 	const found = resolve(sdk, creditManager);
 	if (!found) return;
 	const { suite, market } = found;
 	const target = suite.strategyTargetCollateral;
 	if (!target) return;
-	const ceiling = suite.creditManager.maxLeverage(target);
+	const ceiling = suite.creditManager.maxLeverage(target, targetHF);
 	const underlying = market.pool.underlying;
 	const convert = convertAmount(sdk, creditManager);
 	const netValue = collateral.reduce((acc, a) => acc + convert(a.token, underlying, a.balance), 0n);

package/dist/esm/onchain/accounts/intents/math.js

@@ -1,6 +1,8 @@
 import { BigIntMath } from "../../utils/bigint-math.js";
 import { LEVERAGE_DECIMALS } from "../../constants/math.js";
-import { IntentPreviewError } from "./refusal.js";
+import { checkDebtInBand, checkLeverageAtLeastOne } from "../../validation/checks.js";
+import { IntentPreviewError, raise } from "../../validation/refusal.js";
+import { toToken } from "../../validation/token.js";
 //#region src/onchain/accounts/intents/math.ts
 /** Debt that realises `leverage` on `collateral`: `D = C · (L − 1)`. */
 function debtForLeverage(collateral, leverage) {
@@ -37,32 +39,23 @@ function maxProportionalWithdrawal(position, band) {
 }
 /** Total leverage cannot drop below 1x — that would be negative debt. */
 function assertLeverageAtLeastOne(leverage) {
-	if (leverage < 100n) throw new IntentPreviewError("leverageOutOfRange", {
-		requested: leverage,
+	raise(checkLeverageAtLeastOne({
+		leverage,
 		min: LEVERAGE_DECIMALS
-	}, `target leverage ${leverage} is below 1x`);
+	}), `target leverage ${leverage} is below 1x`);
 }
 /**
 * Rejects a debt the facade would revert on: zero is always fine (no loan at
 * all), anything else has to sit inside `[minDebt, maxDebt]`.
 */
-function assertDebtInBand(debt, band, underlying) {
-	const detail = {
-		requested: {
-			token: underlying,
-			balance: debt
-		},
-		minDebt: {
-			token: underlying,
-			balance: band.minDebt
-		},
-		maxDebt: {
-			token: underlying,
-			balance: band.maxDebt
-		}
-	};
-	if (debt > band.maxDebt) throw new IntentPreviewError("debtOutOfRange", detail, `debt ${debt} exceeds maxDebt ${band.maxDebt}`);
-	if (debt > 0n && debt < band.minDebt) throw new IntentPreviewError("debtOutOfRange", detail, `debt ${debt} is below minDebt ${band.minDebt}`);
+function assertDebtInBand(sdk, debt, band, underlying) {
+	raise(checkDebtInBand({
+		debt,
+		minDebt: band.minDebt,
+		maxDebt: band.maxDebt,
+		underlying: toToken(sdk, underlying),
+		allowZero: true
+	}), debt > band.maxDebt ? `debt ${debt} exceeds maxDebt ${band.maxDebt}` : `debt ${debt} is below minDebt ${band.minDebt}`);
 }
 //#endregion
 export { assertDebtInBand, assertLeverageAtLeastOne, debtForLeverage, maxProportionalWithdrawal, proportionalDebt };

package/dist/esm/onchain/accounts/intents/open-strategy.js

@@ -1,4 +1,4 @@
-import { IntentPreviewError } from "./refusal.js";
+import { IntentPreviewError } from "../../validation/refusal.js";
 import { convertAmount } from "./utils/convert-amount.js";
 import { assertCanBorrow, assertCollateralised, assertGrowthAllowed, assertMarketOperable, assertQuotaHeadroom } from "./guards.js";
 import { collectPriceImpact } from "./utils/price-impact.js";
@@ -41,8 +41,8 @@ async function previewOpenStrategy(props) {
 		accountDebt: 0n,
 		tokens: []
 	};
-	assertDebtInBand(debt, suite.creditFacade, underlying);
-	assertCanBorrow(suite, debt);
+	assertDebtInBand(sdk, debt, suite.creditFacade, underlying);
+	assertCanBorrow(sdk, suite, debt);
 	const paths = createRouterPaths({
 		sdk,
 		creditAccount: account,
@@ -77,7 +77,7 @@ async function previewOpenStrategy(props) {
 		before: [],
 		after: averageAssets
 	});
-	assertQuotaHeadroom(market, averageQuota);
+	assertQuotaHeadroom(sdk, market, averageQuota);
 	const snapshot = {
 		creditManager,
 		assets: averageAssets,