@gearbox-protocol/sdk 16.0.0-next.5 → 16.0.0-next.51

package/dist/esm/onchain/positions/PositionsService.js

@@ -1,19 +1,18 @@
 import { AddressMap } from "../utils/AddressMap.js";
-import { getAccountTargetCollateral } from "../chain/chains.js";
 import "../constants/math.js";
 import "../constants/index.js";
 import "../utils/index.js";
 import { SDKConstruct } from "../base/SDKConstruct.js";
 import "../base/index.js";
 import { bpsToRay, calcBorrowApy, calcPositionLeverage, healthFactorBps, usdToNumber } from "../market/math.js";
-import { strategyName } from "../market/strategyName.js";
 import { isFilterSet } from "../../model/filters.js";
-import { matchesPositionFilter } from "../../model/positions.js";
+import { STRATEGY_POSITION_COLLATERAL_ERROR, matchesPositionFilter } from "../../model/positions.js";
 import "../../model/index.js";
+import { collateralPriceInUnderlying } from "../market/oracle/collateralPriceInUnderlying.js";
 import { borrowRateAtUtilization, utilizationAfterLiquidityChange } from "../market/pool/math.js";
 import { calcBorrowRate } from "./calcBorrowRate.js";
 import { calcHealthFactor } from "./calcHealthFactor.js";
-import { calcLiquidationPrice } from "./calcLiquidationPrice.js";
+import { calcLiquidationPrice, soleNonUnderlyingCollateral } from "./calcLiquidationPrice.js";
 import { calcTimeToLiquidationMs } from "./calcTimeToLiquidationMs.js";
 import { accountSnapshotFromCreditAccountData } from "./types.js";
 //#region src/onchain/positions/PositionsService.ts
@@ -63,12 +62,23 @@ var PositionsService = class extends SDKConstruct {
 	**/
 	async listStrategyPositions(props) {
 		const { owner, includeZeroDebt, blockNumber } = props;
-		const describable = (await this.sdk.accounts.getBorrowerCreditAccounts(owner, { includeZeroDebt }, blockNumber)).filter((ca) => {
-			if (!ca.success) this.logger?.warn(`cannot describe position of ${this.labelAddress(ca.creditAccount)}: collateral computation failed`);
-			return ca.success;
-		});
-		const withdrawals = await Promise.all(describable.map((ca) => this.#accountWithdrawals(ca, blockNumber)));
-		return describable.map((ca, i) => this.#toStrategyPosition(ca, withdrawals[i] ?? new AddressMap()));
+		const accounts = await this.sdk.accounts.getBorrowerCreditAccounts(owner, { includeZeroDebt }, blockNumber);
+		const withdrawals = await Promise.all(accounts.map((ca) => this.#accountWithdrawals(ca, blockNumber)));
+		return accounts.map((ca, i) => this.#toStrategyPosition(ca, withdrawals[i] ?? new AddressMap()));
+	}
+	/**
+	* Returns delayed withdrawals of a strategy position
+	**/
+	async getCurrentWithdrawals(props) {
+		const { creditAccount, creditManager, blockNumber } = props;
+		const empty = {
+			claimable: [],
+			pending: []
+		};
+		const compressor = this.sdk.withdrawalCompressor;
+		if (!compressor?.getWithdrawableAssets(creditManager).length) return empty;
+		const { priceOracle } = this.sdk.marketRegister.findByCreditManager(creditManager);
+		return this.#toPositionWithdrawals(await compressor.getCurrentWithdrawals(creditAccount, blockNumber), priceOracle);
 	}
 	/**
 	* Health factor of an account state, in basis points (`10000` = 1.0).
@@ -166,6 +176,98 @@ var PositionsService = class extends SDKConstruct {
 		});
 	}
 	/**
+	* What the collateral {@link liquidationPrice} is quoted for costs in the
+	* market underlying right now, in the same `PRICE_DECIMALS` fixed point —
+	* the pair a form shows beside the liquidation price. `null` under exactly
+	* the conditions that leave the liquidation price `null`, plus an oracle
+	* that cannot answer for either side.
+	**/
+	currentPrice(snapshot) {
+		const market = this.sdk.marketRegister.findByCreditManager(snapshot.creditManager);
+		const underlying = market.pool.underlying;
+		const collateral = soleNonUnderlyingCollateral(snapshot, underlying);
+		if (!collateral) return null;
+		return collateralPriceInUnderlying(market.priceOracle, collateral, underlying);
+	}
+	/**
+	* Every derived number of an account state at once — the whole
+	* {@link AccountMetrics} half of a projection.
+	*
+	* This is what both halves of the SDK fill their answers from: `prepare`, for
+	* a state it walked an intent into, and `preview`, for one it replayed out of
+	* calldata. One snapshot in, one set of metrics out, so the two descriptions
+	* of the same operation cannot disagree because one of them grew its own
+	* formula.
+	*
+	* Identical to the four methods above field for field, and cheaper than
+	* calling them one by one: the market data is collected once, and the health
+	* factor and borrow rate the time to liquidation decays at are the very ones
+	* reported beside it.
+	**/
+	metrics(snapshot, options) {
+		const data = this.#marketData(snapshot);
+		const factor = (safePrices) => calcHealthFactor({
+			snapshot,
+			underlying: data.underlying,
+			decimals: data.decimals,
+			prices: data.prices,
+			reservePrices: data.reservePrices,
+			safePrices,
+			liquidationThresholds: data.liquidationThresholds,
+			activeQuotas: data.activeQuotas
+		});
+		const healthFactor = factor(false);
+		const borrowRate = calcBorrowRate({
+			snapshot,
+			baseInterestRate: this.#baseInterestRate(snapshot, data, options),
+			feeInterest: data.feeInterest,
+			quotaRates: data.quotaRates,
+			resolveToken: (address) => this.sdk.tokensMeta.mustGetToken(address)
+		});
+		return {
+			healthFactor,
+			safeHealthFactor: factor(true),
+			borrowRate,
+			timeToLiquidation: calcTimeToLiquidationMs(healthFactor, BigInt(borrowRate.totalOnDebt)),
+			liquidationPrice: calcLiquidationPrice({
+				snapshot,
+				underlying: data.underlying,
+				decimals: data.decimals,
+				liquidationThresholds: data.liquidationThresholds
+			}),
+			leverage: calcPositionLeverage(snapshot.totalValue, snapshot.totalDebt)
+		};
+	}
+	/**
+	* A projected account state as both halves of the SDK report it: the holdings
+	* priced and named, and the metrics of {@link PositionsService.metrics}.
+	*
+	* The snapshot is taken at its word — what it lists is what comes back, so a
+	* caller that drops dust before the walk reports an account without it, and
+	* one that keeps wei reports them. That is the whole of the policy left to
+	* the caller; everything downstream of the balances is decided here.
+	*
+	* @param options - The operation's effect on the pool, for the rate the
+	* metrics are quoted at, see {@link ProjectedPoolOptions}.
+	**/
+	projection(snapshot, options) {
+		const { creditManager, totalValue, totalDebt } = snapshot;
+		const market = this.sdk.marketRegister.findByCreditManager(creditManager);
+		const { priceOracle } = market;
+		return {
+			...this.sdk.marketRegister.findCreditManager(creditManager).creditOperationMarket(),
+			totalValue: market.toUnderlyingAmount(totalValue),
+			totalDebt: market.toUnderlyingAmount(totalDebt),
+			netValue: market.toUnderlyingAmount(totalValue - totalDebt),
+			assets: snapshot.assets.map((a) => priceOracle.toTokenAmount(a.token, a.balance)),
+			quotas: snapshot.quotas.map((q) => ({
+				token: this.sdk.tokensMeta.mustGetToken(q.token),
+				...priceOracle.toAmount(market.underlying, q.balance)
+			})),
+			...this.metrics(snapshot, options)
+		};
+	}
+	/**
 	* Builds one strategy position from an account snapshot.
 	*
 	* @param withdrawals - Delayed withdrawals of the account, keyed by the
@@ -176,17 +278,13 @@ var PositionsService = class extends SDKConstruct {
 		const { market } = suite;
 		const { priceOracle } = market;
 		const { pool } = market.pool;
-		const token = this.sdk.tokensMeta.mustGetToken(market.unwrappedUnderlying);
+		const token = suite.underlyingToken;
 		const totalDebtValue = ca.debt + ca.accruedInterest + ca.accruedFees;
-		const target = getAccountTargetCollateral(ca.creditAccount, this.sdk.chainId) ?? suite.strategyTargetCollateral;
-		const snapshot = accountSnapshotFromCreditAccountData(ca);
-		const borrowRate = this.borrowRate(snapshot);
-		const timeToLiquidation = this.timeToLiquidation(snapshot);
-		const liquidationPrice = this.liquidationPrice(snapshot);
-		const zeroDebt = ca.debt === 0n;
+		const priceFailed = !ca.success;
+		const recomputeTotals = ca.debt === 0n || priceFailed;
 		const collaterals = [];
-		let totalValue = zeroDebt ? 0n : ca.totalValue;
-		let totalValueUSD = zeroDebt ? 0n : ca.totalValueUSD;
+		let totalValue = recomputeTotals ? 0n : ca.totalValue;
+		let totalValueUSD = recomputeTotals ? 0n : ca.totalValueUSD;
 		for (const t of ca.tokens) {
 			if (t.balance <= 10n) continue;
 			collaterals.push({
@@ -194,37 +292,49 @@ var PositionsService = class extends SDKConstruct {
 				quota: priceOracle.toTokenAmount(market.underlying, t.quota),
 				withdrawals: withdrawals.get(t.token) ?? []
 			});
-			if (zeroDebt) {
-				const value = priceOracle.safeConvert(t.token, market.underlying, t.balance) || 0n;
-				totalValue += value;
+			if (recomputeTotals) {
 				const usd = priceOracle.safeConvertToUSD(t.token, t.balance) || 0n;
 				totalValueUSD += usd;
 			}
 		}
+		if (recomputeTotals) totalValue = market.valueInUnderlying(ca.tokens.map((t) => ({
+			token: t.token,
+			balance: t.balance
+		}))).value;
+		const snapshot = {
+			...accountSnapshotFromCreditAccountData(ca),
+			totalValue
+		};
+		const borrowRate = this.borrowRate(snapshot);
+		const timeToLiquidation = this.timeToLiquidation(snapshot);
+		const liquidationPrice = this.liquidationPrice(snapshot);
+		const totalDebtUSD = priceFailed ? priceOracle.safeConvertToUSD(market.underlying, totalDebtValue) ?? 0n : ca.totalDebtUSD;
 		return {
 			kind: "strategy",
 			chainId: this.sdk.chainId,
 			creditManager: ca.creditManager,
 			creditAccount: ca.creditAccount,
-			name: target ? strategyName(this.sdk.tokensMeta.mustGetToken(target), token) : token.symbol,
-			targetCollateral: target ? this.sdk.tokensMeta.mustGetToken(target) : null,
+			underlyingToken: token,
+			name: suite.accountStrategyName(ca.creditAccount),
+			targetCollateral: suite.accountTargetCollateral(ca.creditAccount),
 			leverage: calcPositionLeverage(totalValue, totalDebtValue),
 			borrowApy: calcBorrowApy(pool.baseInterestRate, suite.creditManager.feeInterest),
 			totalDebt: {
 				token,
 				value: totalDebtValue,
-				valueUsd: usdToNumber(ca.totalDebtUSD)
+				valueUsd: usdToNumber(totalDebtUSD)
 			},
 			totalValue: {
 				token,
 				value: totalValue,
 				valueUsd: usdToNumber(totalValueUSD)
 			},
-			healthFactor: healthFactorBps(ca.healthFactor),
+			healthFactor: priceFailed ? this.healthFactor(snapshot) : healthFactorBps(ca.healthFactor),
 			borrowRate,
 			timeToLiquidation,
 			liquidationPrice,
-			collaterals
+			collaterals,
+			...priceFailed ? { error: STRATEGY_POSITION_COLLATERAL_ERROR } : {}
 		};
 	}
 	/**
@@ -252,6 +362,53 @@ var PositionsService = class extends SDKConstruct {
 		return byPhantomToken;
 	}
 	/**
+	* Maps compressor withdrawals into the read model's vocabulary.
+	**/
+	#toPositionWithdrawals(raw, priceOracle) {
+		return {
+			claimable: raw.claimable.map((w) => this.#toPositionClaimableWithdrawal(w, priceOracle)),
+			pending: raw.pending.map((w) => this.#toPositionPendingWithdrawal(w, priceOracle))
+		};
+	}
+	#toPositionClaimableWithdrawal(w, priceOracle) {
+		return {
+			sourceToken: this.sdk.tokensMeta.mustGetToken(w.token),
+			withdrawalPhantomToken: priceOracle.toTokenAmount(w.withdrawalPhantomToken, w.withdrawalTokenSpent),
+			outputs: w.outputs.map((o) => ({
+				...priceOracle.toTokenAmount(o.token, o.amount),
+				isDelayed: o.isDelayed
+			})),
+			claimCall: this.#claimTx(w.claimCalls, w.token),
+			redeemer: w.redeemer,
+			intent: w.intent
+		};
+	}
+	#toPositionPendingWithdrawal(w, priceOracle) {
+		return {
+			sourceToken: this.sdk.tokensMeta.mustGetToken(w.token),
+			withdrawalPhantomToken: this.sdk.tokensMeta.mustGetToken(w.withdrawalPhantomToken),
+			expectedOutputs: w.expectedOutputs.map((o) => ({
+				...priceOracle.toTokenAmount(o.token, o.amount),
+				isDelayed: o.isDelayed
+			})),
+			claimableAt: Number(w.claimableAt),
+			redeemer: w.redeemer,
+			intent: w.intent
+		};
+	}
+	/**
+	* Subcompressors always report exactly one adapter call per claimable
+	* withdrawal.
+	**/
+	#claimTx(claimCalls, sourceToken) {
+		const call = claimCalls[0];
+		if (claimCalls.length !== 1 || !call) throw new Error(`expected exactly one claim call for withdrawal of ${sourceToken}, got ${claimCalls.length}`);
+		return {
+			to: call.target,
+			callData: call.callData
+		};
+	}
+	/**
 	* Collects decimals, prices and thresholds for the snapshot's tokens plus
 	* the market underlying, even when the account holds no underlying balance.
 	**/

package/dist/esm/onchain/positions/calcLiquidationPrice.js

@@ -10,13 +10,22 @@ import { isAddressEqual } from "viem";
 * holds exactly one non-dust non-underlying asset; otherwise `null`.
 **/
 function calcLiquidationPrice(props) {
-	const { snapshot, underlying } = props;
-	const targets = snapshot.assets.filter((a) => a.balance > 10n && !isAddressEqual(a.token, underlying));
-	if (targets.length !== 1) return null;
+	const targetToken = soleNonUnderlyingCollateral(props.snapshot, props.underlying);
+	if (!targetToken) return null;
 	return calcLiquidationPriceForTarget({
 		...props,
-		targetToken: targets[0].token
+		targetToken
 	});
 }
+/**
+* The one collateral a liquidation price — and the current price beside it —
+* can be quoted for: the account's single non-dust, non-underlying asset.
+* `null` when it holds none or several, which is the case neither figure
+* exists for.
+**/
+function soleNonUnderlyingCollateral(snapshot, underlying) {
+	const targets = snapshot.assets.filter((a) => a.balance > 10n && !isAddressEqual(a.token, underlying));
+	return targets.length === 1 ? targets[0].token : null;
+}
 //#endregion
-export { calcLiquidationPrice };
+export { calcLiquidationPrice, soleNonUnderlyingCollateral };

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

@@ -1,9 +1,9 @@
 import { calcBorrowRate } from "./calcBorrowRate.js";
 import { calcHealthFactor } from "./calcHealthFactor.js";
 import { calcLiquidationPriceForTarget } from "./calcLiquidationPriceForTarget.js";
-import { calcLiquidationPrice } from "./calcLiquidationPrice.js";
+import { calcLiquidationPrice, soleNonUnderlyingCollateral } from "./calcLiquidationPrice.js";
 import { calcTimeToLiquidationMs } from "./calcTimeToLiquidationMs.js";
 import { MultichainPositionsService } from "./MultichainPositionsService.js";
 import { accountSnapshotFromCreditAccountData } from "./types.js";
 import { PositionsService } from "./PositionsService.js";
-export { MultichainPositionsService, PositionsService, accountSnapshotFromCreditAccountData, calcBorrowRate, calcHealthFactor, calcLiquidationPrice, calcLiquidationPriceForTarget, calcTimeToLiquidationMs };
+export { MultichainPositionsService, PositionsService, accountSnapshotFromCreditAccountData, calcBorrowRate, calcHealthFactor, calcLiquidationPrice, calcLiquidationPriceForTarget, calcTimeToLiquidationMs, soleNonUnderlyingCollateral };

package/dist/esm/onchain/utils/bigint-math.js

@@ -41,6 +41,15 @@ var BigIntMath = class {
 	* @returns A non-positive bigint representation of `a`.
 	*/
 	static neg = (a) => a > 0 ? a * -1n : a;
+	/**
+	* Divides rounding toward positive infinity.
+	*
+	* @param a - Dividend; must not be negative.
+	* @param b - Divisor; must be positive — zero throws, negative returns
+	* nonsense rather than the ceiling.
+	* @returns The smallest integer that is at least `a / b`.
+	**/
+	static ceilDiv = (a, b) => (a + b - 1n) / b;
 };
 //#endregion
 export { BigIntMath };

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

@@ -15,6 +15,7 @@ import { fmtBinaryMask, formatBN, formatBNvalue, formatDuration, formatLeverage,
 import { hexEq } from "./hex.js";
 import { retry } from "./retry.js";
 import { toAddress } from "./toAddress.js";
+import { EXECUTE_BYTES_SELECTOR, collectTraces, findCallTo, findCallWithInput, findExecuteBytes, resolveProtocolCall } from "./trace.js";
 import "./type-utils.js";
 import { ZodAddress, ZodBigInt, ZodHex } from "./zod.js";
-export { AddressMap, AddressSet, AssetsMap, BigIntMath, TypedObjectUtils, ZodAddress, ZodBigInt, ZodHex, bytes32ToString, childLogger, createRawTx, etherscanApiUrl, etherscanUrl, filterDust, filterDustUSD, fmtBinaryMask, formatBN, formatBNvalue, formatDuration, formatLeverage, formatNumberToString_, formatPercentage, formatTimestamp, functionArgsToMap, functionArgsToRecord, getFunctionSignature, hexEq, isDust, json_parse, json_stringify, numberWithCommas, percentFmt, rayToNumber, retry, shortAddress, shortHash, toAddress, toBN, toBigInt, toSignificant };
+export { AddressMap, AddressSet, AssetsMap, BigIntMath, EXECUTE_BYTES_SELECTOR, TypedObjectUtils, ZodAddress, ZodBigInt, ZodHex, bytes32ToString, childLogger, collectTraces, createRawTx, etherscanApiUrl, etherscanUrl, filterDust, filterDustUSD, findCallTo, findCallWithInput, findExecuteBytes, fmtBinaryMask, formatBN, formatBNvalue, formatDuration, formatLeverage, formatNumberToString_, formatPercentage, formatTimestamp, functionArgsToMap, functionArgsToRecord, getFunctionSignature, hexEq, isDust, json_parse, json_stringify, numberWithCommas, percentFmt, rayToNumber, resolveProtocolCall, retry, shortAddress, shortHash, toAddress, toBN, toBigInt, toSignificant };

package/dist/esm/{common-utils → onchain}/utils/trace.js

@@ -1,5 +1,5 @@
 import { decodeAbiParameters, getAddress, isAddressEqual } from "viem";
-//#region src/common-utils/utils/trace.ts
+//#region src/onchain/utils/trace.ts
 /**
 * Selector of `CreditManagerV3.execute(bytes)` (`0x09c5eabe`).
 *

package/dist/esm/onchain/utils/viem/simulateWithPriceUpdates.js

@@ -1,6 +1,6 @@
 import { errorAbis } from "../../../abi/errors.js";
-import { generateCastTraceCall } from "./cast.js";
 import { iUpdatablePriceFeedAbi } from "../../../abi/iUpdatablePriceFeed.js";
+import { generateCastTraceCall } from "./cast.js";
 import { simulateMulticall } from "./simulateMulticall.js";
 import { BaseError, CallExecutionError, ContractFunctionRevertedError, decodeFunctionData, decodeFunctionResult, encodeFunctionData, parseAbi } from "viem";
 import { getAction, parseAccount } from "viem/utils";

package/dist/esm/onchain/validation/checks.js

@@ -0,0 +1,238 @@
+//#region src/onchain/validation/checks.ts
+/**
+* Every refusal the protocol can pass on an operation, as values.
+*
+* Each check is handed the numbers it compares — never a suite, a market or an
+* SDK — so the engine, `checkOperation` and the strategy lists share one
+* implementation.
+*
+* Ladders stay with the caller because they differ deliberately: the engine
+* reports the tightest ceiling it found, the account-opening path the first one
+* exceeded in its own order.
+*/
+/** A factor at or below this is refused; kept for the callers that size on it. */
+const MIN_HF_LIMITED = 10100n;
+/** The same bar as a `required` argument — the lowest factor that passes. */
+const MIN_HEALTH_FACTOR_FORM = 10101;
+/** The bar the facade itself enforces: an account may end exactly at 1.0. */
+const MIN_HEALTH_FACTOR_FACADE = 1e4;
+/**
+* The safe-price bar a form holds an account to. A step above the facade's,
+* because a factor of exactly 1.0 at safe prices is already a refusal.
+*/
+const MIN_SAFE_HEALTH_FACTOR_FORM = 10001;
+/** A refusal names what a limit was measured in, never what it is worth. */
+function amountOf(token, value) {
+	return {
+		token,
+		value,
+		valueUsd: null
+	};
+}
+/** The credit manager takes no multicall while it is paused. */
+function checkCreditManagerPaused(args) {
+	if (!args.isPaused) return null;
+	return {
+		reason: "marketPaused",
+		detail: { creditManager: args.creditManager }
+	};
+}
+/** Past its expiration date the facade takes no more multicalls. */
+function checkMarketExpired(args) {
+	if (!args.isExpired) return null;
+	return {
+		reason: "marketExpired",
+		detail: {
+			creditManager: args.creditManager,
+			expirationDate: args.expirationDate
+		}
+	};
+}
+/** A paused pool neither takes deposits nor pays out. */
+function checkPoolPaused(args) {
+	return args.isPaused ? {
+		reason: "marketPaused",
+		detail: { pool: args.pool }
+	} : null;
+}
+/**
+* A pool winding down still pays out, so only what puts money in is refused.
+*/
+function checkPoolSunset(args) {
+	return args.isSunset && args.isDeposit ? {
+		reason: "poolSunset",
+		detail: { pool: args.pool }
+	} : null;
+}
+/**
+* What the pool will hand over, against what is asked for.
+*
+* `binding` and `available` are the caller's answer to "which ceiling stands in
+* the way", not this check's: see the ladder note above. `solutionAmount` is
+* the largest position still openable, left out when none is.
+*/
+function checkBorrowLimit(args) {
+	if (args.requested <= args.available) return null;
+	return {
+		reason: "insufficientPoolLiquidity",
+		detail: {
+			requested: amountOf(args.underlying, args.requested),
+			available: amountOf(args.underlying, args.available),
+			binding: args.binding,
+			...args.solutionAmount === void 0 ? {} : { solutionAmount: amountOf(args.underlying, args.solutionAmount) }
+		}
+	};
+}
+/**
+* What the pool can pay out, against what is being taken out.
+*
+* The operator is not `checkBorrowLimit`'s: a pool holding exactly the amount
+* asked for still cannot serve it, so equality is already a refusal. That is
+* the rule the legacy withdrawal validator enforced and it is preserved to the
+* unit.
+*/
+function checkPoolPayout(args) {
+	if (args.requested < args.available) return null;
+	return {
+		reason: "insufficientPoolLiquidity",
+		detail: {
+			requested: amountOf(args.underlying, args.requested),
+			available: amountOf(args.underlying, args.available),
+			binding: "poolAvailableLiquidity"
+		}
+	};
+}
+/**
+* A debt the facade would revert on.
+*
+* `allowZero` is the one place the two callers genuinely disagree: an account
+* being adjusted may end owing nothing, while one being opened may not — so the
+* exemption is stated rather than assumed.
+*/
+function checkDebtInBand(args) {
+	const { debt, minDebt, maxDebt, underlying, allowZero } = args;
+	if (!(debt > maxDebt || debt < minDebt && !(allowZero && debt === 0n))) return null;
+	return {
+		reason: "debtOutOfRange",
+		detail: {
+			requested: amountOf(underlying, debt),
+			minDebt: amountOf(underlying, minDebt),
+			maxDebt: amountOf(underlying, maxDebt)
+		}
+	};
+}
+/** Leverage below 1x is not a position, it is a withdrawal. */
+function checkLeverageAtLeastOne(args) {
+	return args.leverage < args.min ? {
+		reason: "leverageOutOfRange",
+		detail: {
+			requested: args.leverage,
+			min: args.min
+		}
+	} : null;
+}
+/**
+* The account against its debt, at whichever bar the caller holds it to.
+*
+* An unread factor counts as failing: a check that cannot see the number is not
+* evidence that the number is fine.
+*/
+function checkCollateralised(args) {
+	const { healthFactor, required, safePrices, improvesFrom } = args;
+	if (healthFactor === void 0) return {
+		reason: "insufficientCollateral",
+		detail: {
+			healthFactor: 0,
+			required,
+			safePrices
+		}
+	};
+	if (healthFactor >= required || improvesFrom !== void 0 && healthFactor > improvesFrom) return null;
+	return {
+		reason: "insufficientCollateral",
+		detail: {
+			healthFactor,
+			required,
+			safePrices
+		}
+	};
+}
+/** A token the market will not let the account hold. */
+function checkForbiddenToken(args) {
+	return args.isForbidden ? {
+		reason: "forbiddenToken",
+		detail: { token: args.token }
+	} : null;
+}
+/**
+* The room the keeper still has for a token's quota, in the underlying.
+*
+* `requested` is absent for a token the market opened no quota for at all —
+* nothing was weighed against a limit, the token simply counts as no collateral.
+*/
+function checkQuotaLimit(args) {
+	const { token, requested, available, underlying } = args;
+	if (requested !== void 0 && requested <= available) return null;
+	return {
+		reason: "quotaLimitReached",
+		detail: {
+			token,
+			requested: requested === void 0 ? void 0 : amountOf(underlying, requested),
+			available: amountOf(underlying, available)
+		}
+	};
+}
+/** How many quoted tokens the facade enables at once. */
+function checkQuotaCount(args) {
+	return args.count > args.max ? {
+		reason: "quotaCountExceeded",
+		detail: {
+			count: args.count,
+			max: args.max
+		}
+	} : null;
+}
+/** What the operation is funded from, against what is there. */
+function checkFunding(args) {
+	const { token, required, held } = args;
+	if (required <= held) return null;
+	return {
+		reason: "insufficientSourceBalance",
+		detail: {
+			required: amountOf(token, required),
+			held: amountOf(token, held)
+		}
+	};
+}
+/**
+* The SDK could not replay the transaction.
+*
+* Only a {@link MalformedPreviewError} lands here. An `unpriceableToken`
+* warning says the transaction is fine and the SDK could not fully evaluate
+* it, which is a caveat on the numbers rather than a reason to refuse — it
+* stays on the preview for the caller to surface.
+*/
+function checkPreviewError(warning) {
+	if (!warning || !isMalformedPreviewError(warning)) return null;
+	return {
+		reason: "malformedTransaction",
+		detail: warning
+	};
+}
+/**
+* Whether the preview warning means the transaction itself is malformed,
+* rather than that only the evaluation was incomplete.
+*/
+function isMalformedPreviewError(warning) {
+	switch (warning.code) {
+		case "malformedBracket":
+		case "adapterCallOutsideBracket":
+		case "nonAdapterCallInBracket":
+		case "unpreviewableAdapterCall":
+		case "unsupportedOutOfBracketCall":
+		case "invalidTransactionValue": return true;
+		default: return false;
+	}
+}
+//#endregion
+export { MIN_HEALTH_FACTOR_FACADE, MIN_HEALTH_FACTOR_FORM, MIN_HF_LIMITED, MIN_SAFE_HEALTH_FACTOR_FORM, amountOf, checkBorrowLimit, checkCollateralised, checkCreditManagerPaused, checkDebtInBand, checkForbiddenToken, checkFunding, checkLeverageAtLeastOne, checkMarketExpired, checkPoolPaused, checkPoolPayout, checkPoolSunset, checkPreviewError, checkQuotaCount, checkQuotaLimit, isMalformedPreviewError };

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

@@ -0,0 +1,4 @@
+import { MIN_HEALTH_FACTOR_FACADE, MIN_HEALTH_FACTOR_FORM, MIN_HF_LIMITED, MIN_SAFE_HEALTH_FACTOR_FORM, amountOf, checkBorrowLimit, checkCollateralised, checkCreditManagerPaused, checkDebtInBand, checkForbiddenToken, checkFunding, checkLeverageAtLeastOne, checkMarketExpired, checkPoolPaused, checkPoolPayout, checkPoolSunset, checkPreviewError, checkQuotaCount, checkQuotaLimit, isMalformedPreviewError } from "./checks.js";
+import { raise, refuse } from "./refusal.js";
+import { toToken, toTokenAmount } from "./token.js";
+export { MIN_HEALTH_FACTOR_FACADE, MIN_HEALTH_FACTOR_FORM, MIN_HF_LIMITED, MIN_SAFE_HEALTH_FACTOR_FORM, amountOf, checkBorrowLimit, checkCollateralised, checkCreditManagerPaused, checkDebtInBand, checkForbiddenToken, checkFunding, checkLeverageAtLeastOne, checkMarketExpired, checkPoolPaused, checkPoolPayout, checkPoolSunset, checkPreviewError, checkQuotaCount, checkQuotaLimit, isMalformedPreviewError, raise, refuse, toToken, toTokenAmount };

package/dist/esm/onchain/validation/refusal.js

@@ -0,0 +1,36 @@
+//#region src/onchain/validation/refusal.ts
+/** Builds the refusal a caller sees. */
+function refuse(reason, detail) {
+	return {
+		ok: false,
+		reason,
+		detail
+	};
+}
+/**
+* Validation failure that maps onto {@link PreviewErrorReason} rather than
+* crashing the caller: raised by the planners and the guards, turned into
+* `{ ok: false }` by `CreditAccountOperationsService`.
+*/
+var IntentPreviewError = class extends Error {
+	reason;
+	detail;
+	constructor(reason, detail, message) {
+		super(message ?? reason);
+		this.name = "IntentPreviewError";
+		this.reason = reason;
+		this.detail = detail;
+	}
+};
+/**
+* Throws the issue a check found, with the sentence the engine logs for it.
+*
+* Returns normally when there is nothing to raise, so it cannot narrow a type
+* the way a bare `throw` does — a site that guards a value for the code below
+* it keeps throwing directly.
+*/
+function raise(issue, message) {
+	if (issue) throw new IntentPreviewError(issue.reason, issue.detail, message);
+}
+//#endregion
+export { IntentPreviewError, raise, refuse };