@gearbox-protocol/sdk 16.0.0-next.18 → 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";
@@ -103,7 +103,7 @@ var CreditAccountOperationsService = class extends SDKConstruct {
 	* 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 `validateHF` holds an
+	* The default is {@link MIN_HF_LIMITED}, the bar a form holds an
 	* account to.
 	*
 	* @param props - Account slice, the SDK holding its market, the collateral
@@ -314,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/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,

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

@@ -1,6 +1,7 @@
 import { MAX_UINT256, PERCENTAGE_FACTOR } from "../../constants/math.js";
 import "../../constants/index.js";
-import { IntentPreviewError } from "./refusal.js";
+import { IntentPreviewError } from "../../validation/refusal.js";
+import { toToken, toTokenAmount } from "../../validation/token.js";
 import { eq } from "./utils/common.js";
 import { assertDebtInBand, assertLeverageAtLeastOne, debtForLeverage, proportionalDebt } from "./math.js";
 //#region src/onchain/accounts/intents/plan.ts
@@ -24,14 +25,8 @@ function planAdjustLeverage(intent, view) {
 	if (delta > 0n) return [borrow(delta), convert(U, T, delta)];
 	const shortfall = -delta - view.balanceOf(U);
 	if (shortfall > 0n && eq(T, U)) throw new IntentPreviewError("insufficientSourceBalance", {
-		required: {
-			token: U,
-			balance: -delta
-		},
-		held: {
-			token: U,
-			balance: view.balanceOf(U)
-		}
+		required: toTokenAmount(view.sdk, U, -delta),
+		held: toTokenAmount(view.sdk, U, view.balanceOf(U))
 	}, `adjustLeverage: needs ${-delta} underlying, account holds ${view.balanceOf(U)}`);
 	return [...shortfall > 0n ? [convert(T, U, view.price(U, T, shortfall))] : [], repay(-delta)];
 }
@@ -39,11 +34,11 @@ function planAdjustLeverage(intent, view) {
 function planDeposit(intent, view) {
 	assertPositive(intent.amount, "deposit");
 	const U = view.underlying;
-	if (!eq(intent.token, U) && !(view.rwaAsset && eq(intent.token, view.rwaAsset))) throw new IntentPreviewError("unsupportedCollateralToken", { token: intent.token }, `deposit: only ${U}${view.rwaAsset ? ` or ${view.rwaAsset}` : ""} can be deposited, got ${intent.token}`);
+	if (!eq(intent.token, U) && !(view.rwaAsset && eq(intent.token, view.rwaAsset))) throw new IntentPreviewError("unsupportedCollateralToken", { token: toToken(view.sdk, intent.token) }, `deposit: only ${U}${view.rwaAsset ? ` or ${view.rwaAsset}` : ""} can be deposited, got ${intent.token}`);
 	const aU = view.price(intent.token, U, intent.amount);
 	const debtDelta = intent.targetLeverage === void 0 ? proportionalDebt(view, aU) : debtForLeverage(view.collateral + aU, intent.targetLeverage) - view.debt;
 	if (debtDelta < 0n) throw new IntentPreviewError("leverageOutOfRange", void 0, `deposit: target leverage ${intent.targetLeverage} would require repaying debt`);
-	assertDebtInBand(view.debt + debtDelta, view.band, U);
+	assertDebtInBand(view.sdk, view.debt + debtDelta, view.band, U);
 	const T = intent.positionToken ?? positionToken(view, "deposit");
 	const depositStays = eq(intent.token, T);
 	return [
@@ -70,24 +65,15 @@ function planRepay(intent, view) {
 	assertPositive(intent.amount, "repay");
 	const U = view.underlying;
 	const fundsInU = eq(intent.token, U);
-	if (!fundsInU && !(view.rwaAsset && eq(intent.token, view.rwaAsset))) throw new IntentPreviewError("unsupportedCollateralToken", { token: intent.token }, `repay: only ${U}${view.rwaAsset ? ` or ${view.rwaAsset}` : ""} can be repaid with, got ${intent.token}`);
+	if (!fundsInU && !(view.rwaAsset && eq(intent.token, view.rwaAsset))) throw new IntentPreviewError("unsupportedCollateralToken", { token: toToken(view.sdk, intent.token) }, `repay: only ${U}${view.rwaAsset ? ` or ${view.rwaAsset}` : ""} can be repaid with, got ${intent.token}`);
 	if (view.debt <= 0n) throw new IntentPreviewError("debtOutOfRange", {
-		requested: {
-			token: U,
-			balance: view.debt
-		},
-		minDebt: {
-			token: U,
-			balance: view.band.minDebt
-		},
-		maxDebt: {
-			token: U,
-			balance: view.band.maxDebt
-		}
+		requested: toTokenAmount(view.sdk, U, view.debt),
+		minDebt: toTokenAmount(view.sdk, U, view.band.minDebt),
+		maxDebt: toTokenAmount(view.sdk, U, view.band.maxDebt)
 	}, "repay: the account owes nothing");
 	const funding = everything(intent.amount) ? view.price(U, intent.token, withMargin(view.debt)) : intent.amount;
 	const repaid = min(view.price(intent.token, U, funding), view.debt);
-	assertDebtInBand(view.debt - repaid, view.band, U);
+	assertDebtInBand(view.sdk, view.debt - repaid, view.band, view.underlying);
 	return [
 		add(intent.token, funding, intent.value),
 		...fundsInU ? [] : [convert(intent.token, U, funding)],
@@ -155,7 +141,7 @@ function planWithdrawDelayed(intent, view) {
 			}
 		}];
 	}
-	if (!eq(T, U) && !(view.rwaAsset && eq(T, view.rwaAsset))) throw new IntentPreviewError("noDelayedRoute", { token: T }, `withdraw: a delayed route cannot pay out in ${T}`);
+	if (!eq(T, U) && !(view.rwaAsset && eq(T, view.rwaAsset))) throw new IntentPreviewError("noDelayedRoute", { token: toToken(view.sdk, T) }, `withdraw: a delayed route cannot pay out in ${T}`);
 	const payoutIsSource = eq(T, S);
 	return [{
 		kind: "request",
@@ -211,7 +197,7 @@ function planFinishWithdraw(intent, claimable, claimed, view) {
 	const U = view.underlying;
 	const T = intent.withdrawToken;
 	const W = intent.withdrawAmount;
-	if (!eq(T, U) && !(view.rwaAsset && eq(T, view.rwaAsset))) throw new IntentPreviewError("noDelayedRoute", { token: T }, `finishWithdraw: cannot pay out in ${T}`);
+	if (!eq(T, U) && !(view.rwaAsset && eq(T, view.rwaAsset))) throw new IntentPreviewError("noDelayedRoute", { token: toToken(view.sdk, T) }, `finishWithdraw: cannot pay out in ${T}`);
 	if (intent.debtRepaid === 0n) return [
 		claim(claimable),
 		convert(claimed.token, T, claimed.amount),
@@ -316,7 +302,7 @@ function withdrawShape(intent, view) {
 		};
 	}
 	const dD = proportionalDebt(view, WU);
-	assertDebtInBand(view.debt - dD, view.band, U);
+	assertDebtInBand(view.sdk, view.debt - dD, view.band, view.underlying);
 	return {
 		U,
 		T,
@@ -335,7 +321,7 @@ function leverageShape(intent, view) {
 	assertLeverageAtLeastOne(intent.targetLeverage);
 	if (view.collateral <= 0n) throw new IntentPreviewError("insufficientSourceBalance", void 0, "adjustLeverage: account has no collateral to lever");
 	const target = debtForLeverage(view.collateral, intent.targetLeverage);
-	assertDebtInBand(target, view.band, view.underlying);
+	assertDebtInBand(view.sdk, target, view.band, view.underlying);
 	return {
 		U: view.underlying,
 		delta: target - view.debt