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

package/dist/cjs/onchain/accounts/intents/tail.js

@@ -1,5 +1,5 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
-const require_onchain_accounts_intents_refusal = require("./refusal.js");
+const require_onchain_validation_refusal = require("../../validation/refusal.js");
 const require_onchain_accounts_intents_utils_router_path = require("./utils/router-path.js");
 const require_onchain_accounts_intents_plan = require("./plan.js");
 const require_onchain_accounts_intents_operations = require("./operations.js");
@@ -18,7 +18,7 @@ function planTail(args) {
 	const { intent, claimable, view } = args;
 	const claimed = () => {
 		const output = require_onchain_accounts_intents_operations.instantOutput(claimable.outputs);
-		if (!output) throw new require_onchain_accounts_intents_refusal.IntentPreviewError("insufficientSourceBalance", void 0, "finishIntent: the claim credits nothing to spend");
+		if (!output) throw new require_onchain_validation_refusal.IntentPreviewError("insufficientSourceBalance", void 0, "finishIntent: the claim credits nothing to spend");
 		return output;
 	};
 	switch (intent.type) {

package/dist/cjs/onchain/accounts/intents/testing/sdk-mock.js

@@ -182,7 +182,7 @@ function buildMockSdk(args) {
 			liquidationThresholds,
 			collateralTokens,
 			feeInterest: args.feeInterest ?? 0,
-			maxLeverage: (collateral) => require_onchain_market_math.calcMaxLeverage(liquidationThresholds.get(collateral) ?? 0)
+			maxLeverage: (collateral, targetHF) => require_onchain_market_math.calcMaxLeverage(liquidationThresholds.get(collateral) ?? 0, targetHF)
 		},
 		creditFacade: {
 			address: args.creditFacade,
@@ -297,6 +297,7 @@ function buildMockSdk(args) {
 				decimals: decimalsOf(token),
 				contractType: phantoms.has(token.toLowerCase()) ? "PHANTOM_TOKEN::SECURITIZE_RD" : void 0
 			}),
+			getToken: tokenOf,
 			mustGetToken: tokenOf,
 			rwaUnderlyings: { get: (token) => {
 				const asset = args.rwaAssets?.[token.toLowerCase()];

package/dist/cjs/onchain/accounts/intents/view.js

@@ -18,6 +18,7 @@ function accountView(creditAccount, sdk) {
 	for (const t of creditAccount.tokens) totalValue += price(t.token, underlying, t.balance);
 	return {
 		underlying,
+		sdk,
 		rwaAsset: sdk.tokensMeta.rwaUnderlyings.get(underlying)?.asset,
 		debt: creditAccount.accountDebt,
 		collateral: totalValue - creditAccount.accountDebt,

package/dist/cjs/onchain/constants/index.js

@@ -72,3 +72,4 @@ exports.botPermissionsToString = require_onchain_constants_bot_permissions.botPe
 exports.halfRAY = require_onchain_constants_math.halfRAY;
 exports.isV310 = require_onchain_constants_versions.isV310;
 exports.isVersionRange = require_onchain_constants_versions.isVersionRange;
+exports.isZeroBalance = require_onchain_constants_math.isZeroBalance;

package/dist/cjs/onchain/constants/math.js

@@ -21,6 +21,16 @@ const SLIPPAGE_DECIMALS = 100n;
 * Token balances at or below this threshold are treated as dust and ignored.
 **/
 const DUST_THRESHOLD = 10n;
+/**
+* Whether a balance is nothing worth acting on.
+*
+* The threshold is a dust floor, not a zero test: rounding leaves amounts that
+* are technically non-zero and worthless, and a form that offered to spend one
+* would build a transaction nobody wants.
+*/
+function isZeroBalance(balance) {
+	return (balance ?? 0n) <= DUST_THRESHOLD;
+}
 //#endregion
 exports.DUST_THRESHOLD = DUST_THRESHOLD;
 exports.LEVERAGE_DECIMALS = LEVERAGE_DECIMALS;
@@ -40,3 +50,4 @@ exports.SLIPPAGE_DECIMALS = SLIPPAGE_DECIMALS;
 exports.WAD = WAD;
 exports.WAD_DECIMALS_POW = WAD_DECIMALS_POW;
 exports.halfRAY = halfRAY;
+exports.isZeroBalance = isZeroBalance;

package/dist/cjs/onchain/index.js

@@ -193,7 +193,10 @@ require("./market/index.js");
 const require_onchain_accounts_credit_account_compressor_CreditAccountCompressorV310Contract = require("./accounts/credit-account-compressor/CreditAccountCompressorV310Contract.js");
 const require_onchain_accounts_credit_account_compressor_CreditAccountCompressor = require("./accounts/credit-account-compressor/CreditAccountCompressor.js");
 const require_onchain_accounts_CreditAccountsServiceV310 = require("./accounts/CreditAccountsServiceV310.js");
-const require_onchain_accounts_intents_refusal = require("./accounts/intents/refusal.js");
+const require_onchain_validation_checks = require("./validation/checks.js");
+const require_onchain_validation_refusal = require("./validation/refusal.js");
+const require_onchain_validation_token = require("./validation/token.js");
+const require_onchain_accounts_intents_guards = require("./accounts/intents/guards.js");
 const require_onchain_accounts_intents_utils_credit_account_slice = require("./accounts/intents/utils/credit-account-slice.js");
 const require_onchain_accounts_intents_index = require("./accounts/intents/index.js");
 const require_onchain_accounts_liquidations_constants = require("./accounts/liquidations/constants.js");
@@ -239,6 +242,7 @@ const require_onchain_OnchainSDK = require("./OnchainSDK.js");
 const require_onchain_MultichainSDK = require("./MultichainSDK.js");
 const require_onchain_options = require("./options.js");
 require("./types/index.js");
+require("./validation/index.js");
 exports.ADDRESS_0X0 = require_onchain_constants_addresses.ADDRESS_0X0;
 exports.ADDRESS_PROVIDER_V310 = require_onchain_constants_address_provider.ADDRESS_PROVIDER_V310;
 exports.AP_ACCOUNT_FACTORY = require_onchain_constants_address_provider.AP_ACCOUNT_FACTORY;
@@ -337,7 +341,7 @@ exports.IERC20ZapperContract = require_onchain_market_zapper_IERC20ZapperContrac
 exports.IETHZapperContract = require_onchain_market_zapper_IETHZapperContract.IETHZapperContract;
 exports.InfinifiGatewayAdapterContract = require_onchain_market_adapters_contracts_InfinifiGatewayAdapterContract.InfinifiGatewayAdapterContract;
 exports.InfinifiUnwindingGatewayAdapterContract = require_onchain_market_adapters_contracts_InfinifiUnwindingGatewayAdapterContract.InfinifiUnwindingGatewayAdapterContract;
-exports.IntentPreviewError = require_onchain_accounts_intents_refusal.IntentPreviewError;
+exports.IntentPreviewError = require_onchain_validation_refusal.IntentPreviewError;
 exports.InvalidDelayedIntentError = require_onchain_accounts_withdrawal_compressor_errors.InvalidDelayedIntentError;
 exports.KelpLRTDepositPoolAdapterContract = require_onchain_market_adapters_contracts_KelpLRTDepositPoolAdapterContract.KelpLRTDepositPoolAdapterContract;
 exports.KelpLRTWithdrawalManagerAdapterContract = require_onchain_market_adapters_contracts_KelpLRTWithdrawalManagerAdapterContract.KelpLRTWithdrawalManagerAdapterContract;
@@ -351,7 +355,11 @@ exports.MAX_INT = require_onchain_constants_math.MAX_INT;
 exports.MAX_LEVERAGE_BUFFER_BPS = require_onchain_market_math.MAX_LEVERAGE_BUFFER_BPS;
 exports.MAX_UINT16 = require_onchain_constants_math.MAX_UINT16;
 exports.MAX_UINT256 = require_onchain_constants_math.MAX_UINT256;
+exports.MIN_HEALTH_FACTOR_FACADE = require_onchain_validation_checks.MIN_HEALTH_FACTOR_FACADE;
+exports.MIN_HEALTH_FACTOR_FORM = require_onchain_validation_checks.MIN_HEALTH_FACTOR_FORM;
+exports.MIN_HF_LIMITED = require_onchain_validation_checks.MIN_HF_LIMITED;
 exports.MIN_INT96 = require_onchain_constants_math.MIN_INT96;
+exports.MIN_SAFE_HEALTH_FACTOR_FORM = require_onchain_validation_checks.MIN_SAFE_HEALTH_FACTOR_FORM;
 exports.MULTICALL_ADDRESS = require_onchain_constants_addresses.MULTICALL_ADDRESS;
 exports.MarketRegister = require_onchain_market_MarketRegister.MarketRegister;
 exports.MarketSuite = require_onchain_market_MarketSuite.MarketSuite;
@@ -467,8 +475,10 @@ exports.adapterActionSelectors = require_onchain_market_adapters_abi_actionAbi.a
 exports.adapterActionSignatures = require_onchain_market_adapters_abi_actionAbi.adapterActionSignatures;
 exports.adapterConstructorAbi = require_onchain_market_adapters_abi_conctructorAbi.adapterConstructorAbi;
 exports.allTransfersAsTokenAmounts = require_onchain_market_adapters_transferHelpers.allTransfersAsTokenAmounts;
+exports.amountOf = require_onchain_validation_checks.amountOf;
 exports.assetsMap = require_onchain_router_helpers.assetsMap;
 exports.attachOptionsSchema = require_onchain_options.attachOptionsSchema;
+exports.borrowable = require_onchain_accounts_intents_guards.borrowable;
 exports.botPermissionsToString = require_onchain_constants_bot_permissions.botPermissionsToString;
 exports.bpsToRay = require_onchain_market_math.bpsToRay;
 exports.bytes32ToString = require_onchain_utils_bytes32ToString.bytes32ToString;
@@ -486,6 +496,20 @@ exports.calcTimeToLiquidationMs = require_onchain_positions_calcTimeToLiquidatio
 exports.calcUtilization = require_onchain_market_math.calcUtilization;
 exports.calcUtilizationRaw = require_onchain_market_math.calcUtilizationRaw;
 exports.chains = require_onchain_chain_chains.chains;
+exports.checkBorrowLimit = require_onchain_validation_checks.checkBorrowLimit;
+exports.checkCollateralised = require_onchain_validation_checks.checkCollateralised;
+exports.checkCreditManagerPaused = require_onchain_validation_checks.checkCreditManagerPaused;
+exports.checkDebtInBand = require_onchain_validation_checks.checkDebtInBand;
+exports.checkForbiddenToken = require_onchain_validation_checks.checkForbiddenToken;
+exports.checkFunding = require_onchain_validation_checks.checkFunding;
+exports.checkLeverageAtLeastOne = require_onchain_validation_checks.checkLeverageAtLeastOne;
+exports.checkMarketExpired = require_onchain_validation_checks.checkMarketExpired;
+exports.checkPoolPaused = require_onchain_validation_checks.checkPoolPaused;
+exports.checkPoolPayout = require_onchain_validation_checks.checkPoolPayout;
+exports.checkPoolSunset = require_onchain_validation_checks.checkPoolSunset;
+exports.checkPreviewError = require_onchain_validation_checks.checkPreviewError;
+exports.checkQuotaCount = require_onchain_validation_checks.checkQuotaCount;
+exports.checkQuotaLimit = require_onchain_validation_checks.checkQuotaLimit;
 exports.childLogger = require_onchain_utils_childLogger.childLogger;
 exports.classifyCurveOperation = require_onchain_market_adapters_transferHelpers.classifyCurveOperation;
 exports.createAdapter = require_onchain_market_adapters_createAdapter.createAdapter;
@@ -617,6 +641,7 @@ exports.iVelodromeV2RouterAbi = require_onchain_market_adapters_abi_targetContra
 exports.iVelodromeV2RouterAdapterAbi = require_onchain_market_adapters_abi_adapters_iVelodromeV2RouterAdapter.iVelodromeV2RouterAdapterAbi;
 exports.isDust = require_onchain_utils_isDust.isDust;
 exports.isLPPriceFeed = require_onchain_market_pricefeeds_AbstractLPPriceFeed.isLPPriceFeed;
+exports.isMalformedPreviewError = require_onchain_validation_checks.isMalformedPreviewError;
 exports.isPublicNetwork = require_onchain_chain_chains.isPublicNetwork;
 exports.isRWAFactory = require_onchain_market_rwa_types.isRWAFactory;
 exports.isRWAToken = require_onchain_chain_chains.isRWAToken;
@@ -627,6 +652,7 @@ exports.isSupportedNetwork = require_onchain_chain_chains.isSupportedNetwork;
 exports.isUpdatablePriceFeed = require_onchain_market_pricefeeds_isUpdatablePriceFeed.isUpdatablePriceFeed;
 exports.isV310 = require_onchain_constants_versions.isV310;
 exports.isVersionRange = require_onchain_constants_versions.isVersionRange;
+exports.isZeroBalance = require_onchain_constants_math.isZeroBalance;
 exports.iwstETHAbi = require_onchain_market_adapters_abi_targetContractAbi.iwstETHAbi;
 exports.iwstEthv1AdapterAbi = require_onchain_market_adapters_abi_adapters_iwstEthv1Adapter.iwstEthv1AdapterAbi;
 exports.json_parse = require_onchain_utils_json.json_parse;
@@ -643,9 +669,10 @@ exports.parseAdapterDeployParams = require_onchain_market_adapters_abi_utils.par
 exports.parsePosNegAmount = require_onchain_market_adapters_transferHelpers.parsePosNegAmount;
 exports.percentFmt = require_onchain_utils_formatter.percentFmt;
 exports.pickStrategyTargetCollateral = require_onchain_market_credit_collateralUtils.pickStrategyTargetCollateral;
+exports.raise = require_onchain_validation_refusal.raise;
 exports.rayToBps = require_onchain_market_math.rayToBps;
 exports.rayToNumber = require_onchain_utils_formatter.rayToNumber;
-exports.refuse = require_onchain_accounts_intents_refusal.refuse;
+exports.refuse = require_onchain_validation_refusal.refuse;
 exports.retry = require_onchain_utils_retry.retry;
 exports.rewardsFromTransfers = require_onchain_market_adapters_transferHelpers.rewardsFromTransfers;
 exports.sendRawTx = require_onchain_utils_viem_sendRawTx.sendRawTx;
@@ -668,6 +695,8 @@ exports.toRequestableWithdrawal = require_onchain_accounts_withdrawal_compressor
 exports.toShares = require_onchain_pools_PoolService.toShares;
 exports.toSharesUp = require_onchain_pools_PoolService.toSharesUp;
 exports.toSignificant = require_onchain_utils_formatter.toSignificant;
+exports.toToken = require_onchain_validation_token.toToken;
+exports.toTokenAmount = require_onchain_validation_token.toTokenAmount;
 exports.toWithdrawalStatus = require_onchain_accounts_withdrawal_compressor_types.toWithdrawalStatus;
 exports.usdToNumber = require_onchain_market_math.usdToNumber;
 exports.watchBlocksAsync = require_onchain_utils_viem_watchBlocksAsync.watchBlocksAsync;

package/dist/cjs/onchain/market/credit/CreditManagerV310Contract.js

@@ -66,8 +66,8 @@ var CreditManagerV310Contract = class extends require_onchain_base_BaseContract.
 	/**
 	* {@inheritDoc ICreditManagerContract.maxLeverage}
 	*/
-	maxLeverage(collateral) {
-		return require_onchain_market_math.calcMaxLeverage(this.liquidationThresholds.mustGet(collateral));
+	maxLeverage(collateral, targetHF) {
+		return require_onchain_market_math.calcMaxLeverage(this.liquidationThresholds.mustGet(collateral), targetHF);
 	}
 	/**
 	* {@inheritDoc ICreditManagerContract.liquidationPremium}

package/dist/cjs/onchain/market/math.js

@@ -163,24 +163,36 @@ function calcNetStrategyApy(opportunity, totalCollateralApy, leverage, mode = "s
 **/
 const MAX_LEVERAGE_BUFFER_BPS = 500;
 /**
-* Highest total-value leverage a liquidation threshold allows, floored:
-* `floor((100% − buffer) / (100% − liquidationThreshold))`. At HF = 1, debt is
-* `liquidationThreshold × totalValue`, leaving `1 − liquidationThreshold` of
-* equity per unit of exposure; the {@link MAX_LEVERAGE_BUFFER_BPS} buffer
-* keeps the maxed position slightly away from that boundary.
+* Highest total-value leverage a liquidation threshold allows, floored.
+*
+* At HF = 1, debt is `liquidationThreshold × totalValue`, leaving
+* `1 − liquidationThreshold` of equity per unit of exposure; a maxed position
+* has to stay some way off that boundary. Given a `targetHF`, that distance is
+* solved for — `HF = liquidationThreshold × L / (L − 1)` inverts to
+* `L = targetHF / (targetHF − liquidationThreshold)`.
+*
+* Without one it falls back on a flat {@link MAX_LEVERAGE_BUFFER_BPS}, which
+* under-buffers as the threshold rises — at 95% it allows 19x, or HF ≈ 1.0028.
+* That branch is scaffolding, kept so this parameter moves no number before
+* the callers name a target, and goes away with the constant.
+*
+* @param targetHF - Health factor the maxed position should leave, in basis
+* points. Omitted keeps the legacy buffer.
 *
 * @example
 * ```ts
 * // liquidationThreshold: 9000 bps = 90%
-* calcMaxLeverage(9000) // floor((1 − 0.05) / (1 − 0.9)) = 9x total exposure
+* calcMaxLeverage(9000)        // floor((1 − 0.05) / (1 − 0.9)) = 9x
+* calcMaxLeverage(9000, 10100) // floor(1.01 / (1.01 − 0.9))    = 9x
 * ```
-* @throws If `liquidationThreshold` is 100% or more, which would make
-* leverage unbounded.
+* @throws If `liquidationThreshold` is 100% or more, or reaches a named
+* `targetHF` — either way no leverage clears the bar.
 **/
-function calcMaxLeverage(liquidationThreshold) {
+function calcMaxLeverage(liquidationThreshold, targetHF) {
 	if (liquidationThreshold >= FULL) throw new Error("cannot compute max leverage: liquidation threshold is 100% or more");
-	const leverage = Math.floor((FULL - 500) / (FULL - liquidationThreshold));
-	return Math.max(leverage, 1);
+	if (targetHF === void 0) return Math.max(Math.floor((FULL - 500) / (FULL - liquidationThreshold)), 1);
+	if (liquidationThreshold >= targetHF) throw new Error("cannot compute max leverage: liquidation threshold reaches the target health factor");
+	return Math.max(Math.floor(targetHF / (targetHF - liquidationThreshold)), 1);
 }
 /**
 * Converts a credit account's health factor from the 18-decimal fixed point the

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

@@ -0,0 +1,250 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+//#region src/onchain/validation/checks.ts
+/**
+* Every verdict 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 the 1xxx class lands here. A 2xxx error 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(error) {
+	if (!error || !isMalformedPreviewError(error)) return null;
+	return {
+		reason: "malformedTransaction",
+		detail: error
+	};
+}
+/**
+* The class boundary the preview error codes are written against: 1xxx means
+* the transaction itself is malformed, 2xxx that only the evaluation was
+* incomplete. A range, so a future 1007 classifies itself.
+*/
+function isMalformedPreviewError(error) {
+	return error.code >= 1e3 && error.code < 2e3;
+}
+//#endregion
+exports.MIN_HEALTH_FACTOR_FACADE = MIN_HEALTH_FACTOR_FACADE;
+exports.MIN_HEALTH_FACTOR_FORM = MIN_HEALTH_FACTOR_FORM;
+exports.MIN_HF_LIMITED = MIN_HF_LIMITED;
+exports.MIN_SAFE_HEALTH_FACTOR_FORM = MIN_SAFE_HEALTH_FACTOR_FORM;
+exports.amountOf = amountOf;
+exports.checkBorrowLimit = checkBorrowLimit;
+exports.checkCollateralised = checkCollateralised;
+exports.checkCreditManagerPaused = checkCreditManagerPaused;
+exports.checkDebtInBand = checkDebtInBand;
+exports.checkForbiddenToken = checkForbiddenToken;
+exports.checkFunding = checkFunding;
+exports.checkLeverageAtLeastOne = checkLeverageAtLeastOne;
+exports.checkMarketExpired = checkMarketExpired;
+exports.checkPoolPaused = checkPoolPaused;
+exports.checkPoolPayout = checkPoolPayout;
+exports.checkPoolSunset = checkPoolSunset;
+exports.checkPreviewError = checkPreviewError;
+exports.checkQuotaCount = checkQuotaCount;
+exports.checkQuotaLimit = checkQuotaLimit;
+exports.isMalformedPreviewError = isMalformedPreviewError;

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

@@ -0,0 +1,29 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_onchain_validation_checks = require("./checks.js");
+const require_onchain_validation_refusal = require("./refusal.js");
+const require_onchain_validation_token = require("./token.js");
+exports.IntentPreviewError = require_onchain_validation_refusal.IntentPreviewError;
+exports.MIN_HEALTH_FACTOR_FACADE = require_onchain_validation_checks.MIN_HEALTH_FACTOR_FACADE;
+exports.MIN_HEALTH_FACTOR_FORM = require_onchain_validation_checks.MIN_HEALTH_FACTOR_FORM;
+exports.MIN_HF_LIMITED = require_onchain_validation_checks.MIN_HF_LIMITED;
+exports.MIN_SAFE_HEALTH_FACTOR_FORM = require_onchain_validation_checks.MIN_SAFE_HEALTH_FACTOR_FORM;
+exports.amountOf = require_onchain_validation_checks.amountOf;
+exports.checkBorrowLimit = require_onchain_validation_checks.checkBorrowLimit;
+exports.checkCollateralised = require_onchain_validation_checks.checkCollateralised;
+exports.checkCreditManagerPaused = require_onchain_validation_checks.checkCreditManagerPaused;
+exports.checkDebtInBand = require_onchain_validation_checks.checkDebtInBand;
+exports.checkForbiddenToken = require_onchain_validation_checks.checkForbiddenToken;
+exports.checkFunding = require_onchain_validation_checks.checkFunding;
+exports.checkLeverageAtLeastOne = require_onchain_validation_checks.checkLeverageAtLeastOne;
+exports.checkMarketExpired = require_onchain_validation_checks.checkMarketExpired;
+exports.checkPoolPaused = require_onchain_validation_checks.checkPoolPaused;
+exports.checkPoolPayout = require_onchain_validation_checks.checkPoolPayout;
+exports.checkPoolSunset = require_onchain_validation_checks.checkPoolSunset;
+exports.checkPreviewError = require_onchain_validation_checks.checkPreviewError;
+exports.checkQuotaCount = require_onchain_validation_checks.checkQuotaCount;
+exports.checkQuotaLimit = require_onchain_validation_checks.checkQuotaLimit;
+exports.isMalformedPreviewError = require_onchain_validation_checks.isMalformedPreviewError;
+exports.raise = require_onchain_validation_refusal.raise;
+exports.refuse = require_onchain_validation_refusal.refuse;
+exports.toToken = require_onchain_validation_token.toToken;
+exports.toTokenAmount = require_onchain_validation_token.toTokenAmount;

package/dist/cjs/onchain/{accounts/intents → validation}/refusal.js

@@ -1,5 +1,5 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
-//#region src/onchain/accounts/intents/refusal.ts
+//#region src/onchain/validation/refusal.ts
 /** Builds the refusal a caller sees. */
 function refuse(reason, detail) {
 	return {
@@ -23,6 +23,17 @@ var IntentPreviewError = class extends Error {
 		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
 exports.IntentPreviewError = IntentPreviewError;
+exports.raise = raise;
 exports.refuse = refuse;

package/dist/cjs/onchain/validation/token.js

@@ -0,0 +1,29 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_onchain_utils_formatter = require("../utils/formatter.js");
+const require_onchain_validation_checks = require("./checks.js");
+//#region src/onchain/validation/token.ts
+/**
+* The token behind an address, for the refusal details that inline one.
+*
+* A token the registry does not know falls back to its own shortened address
+* as a symbol and `decimals: 0` — an unknown token has no scale, and guessing
+* 18 would silently misformat every amount denominated in it.
+*/
+function toToken(sdk, address) {
+	const known = sdk.tokensMeta.getToken(address);
+	if (known) return known;
+	return {
+		chainId: sdk.chainId,
+		address,
+		symbol: require_onchain_utils_formatter.shortAddress(address),
+		name: "",
+		decimals: 0
+	};
+}
+/** {@link toToken} plus an amount denominated in it. */
+function toTokenAmount(sdk, address, value) {
+	return require_onchain_validation_checks.amountOf(toToken(sdk, address), value);
+}
+//#endregion
+exports.toToken = toToken;
+exports.toTokenAmount = toTokenAmount;

package/dist/cjs/preview/index.js

@@ -1,5 +1,6 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
 const require_onchain_market_zapper_errors = require("../onchain/market/zapper/errors.js");
+const require_onchain_validation_refusal = require("../onchain/validation/refusal.js");
 const require_preview_trace_errors = require("./trace/errors.js");
 const require_preview_trace_extractAdapterCallTraces = require("./trace/extractAdapterCallTraces.js");
 const require_preview_trace_extractTransfers = require("./trace/extractTransfers.js");
@@ -32,9 +33,13 @@ const require_preview_preview_previewCloseOrRepayCreditAccount = require("./prev
 const require_preview_preview_previewOperation = require("./preview/previewOperation.js");
 require("./preview/index.js");
 require("./types.js");
+const require_preview_validate_checkOperation = require("./validate/checkOperation.js");
+const require_preview_validate_checkSimulation = require("./validate/checkSimulation.js");
+require("./validate/index.js");
 exports.AllowancePrerequisite = require_preview_prerequisites_AllowancePrerequisite.AllowancePrerequisite;
 exports.BalancePrerequisite = require_preview_prerequisites_BalancePrerequisite.BalancePrerequisite;
 exports.CreditAccountState = require_preview_preview_CreditAccountState.CreditAccountState;
+exports.IntentPreviewError = require_onchain_validation_refusal.IntentPreviewError;
 exports.Prerequisite = require_preview_prerequisites_Prerequisite.Prerequisite;
 exports.RWAOpenRequirementsPrerequisite = require_preview_prerequisites_RWAOpenRequirementsPrerequisite.RWAOpenRequirementsPrerequisite;
 exports.TransferAlignmentError = require_preview_trace_errors.TransferAlignmentError;
@@ -47,9 +52,12 @@ exports.UnsupportedTargetError = require_preview_parse_errors.UnsupportedTargetE
 exports.UnsupportedZapperFunctionError = require_onchain_market_zapper_errors.UnsupportedZapperFunctionError;
 exports.WithdrawCollateralAlignmentError = require_preview_trace_errors.WithdrawCollateralAlignmentError;
 exports.buildDelayedPreview = require_preview_preview_buildDelayedPreview.buildDelayedPreview;
+exports.checkOperation = require_preview_validate_checkOperation.checkOperation;
 exports.checkPrerequisites = require_preview_prerequisites_checkPrerequisites.checkPrerequisites;
+exports.checkSimulation = require_preview_validate_checkSimulation.checkSimulation;
 exports.classifyCloseOrRepay = require_preview_preview_detectCloseOrRepay.classifyCloseOrRepay;
 exports.classifyInnerOperations = require_preview_parse_classifyInnerOperations.classifyInnerOperations;
+exports.collateralIssuesOf = require_preview_validate_checkOperation.collateralIssuesOf;
 exports.detectDelayedClaim = require_preview_preview_detectDelayedClaim.detectDelayedClaim;
 exports.detectDelayedOperation = require_preview_preview_detectDelayedOperation.detectDelayedOperation;
 exports.extractAdapterCallTraces = require_preview_trace_extractAdapterCallTraces.extractAdapterCallTraces;
@@ -66,6 +74,8 @@ exports.parseRWAFactoryOperationCalldata = require_preview_parse_parseRWAFactory
 exports.previewAdjustCreditAccount = require_preview_preview_previewAdjustCreditAccount.previewAdjustCreditAccount;
 exports.previewCloseOrRepayCreditAccount = require_preview_preview_previewCloseOrRepayCreditAccount.previewCloseOrRepayCreditAccount;
 exports.previewOperation = require_preview_preview_previewOperation.previewOperation;
+exports.raise = require_onchain_validation_refusal.raise;
+exports.refuse = require_onchain_validation_refusal.refuse;
 exports.replayInnerOperations = require_preview_preview_replayInnerOperations.replayInnerOperations;
 exports.replayMulticall = require_preview_preview_replayMulticall.replayMulticall;
 exports.resolveDelayedClaimIntent = require_preview_preview_detectDelayedClaim.resolveDelayedClaimIntent;

package/dist/cjs/preview/preview/buildDelayedPreview.js

@@ -204,6 +204,7 @@ function buildAdjustPreview(post, before, collateralWithdrawn, converter, sdk) {
 		assetsChange: post.balances.difference(before.balances).toAssets(require_onchain_constants_math.DUST_THRESHOLD).map((a) => oracle.toTokenAmount(a.token, a.balance)),
 		error: converter.error,
 		healthFactor: sdk.positions.healthFactor(snap),
+		safeHealthFactor: sdk.positions.healthFactor(snap, { safePrices: true }),
 		borrowRate: sdk.positions.borrowRate(snap, { availableLiquidityChange: before.totalDebt - post.totalDebt }),
 		timeToLiquidation: sdk.positions.timeToLiquidation(snap, { availableLiquidityChange: before.totalDebt - post.totalDebt }),
 		liquidationPrice: sdk.positions.liquidationPrice(snap),

package/dist/cjs/preview/preview/previewAdjustCreditAccount.js

@@ -61,6 +61,7 @@ async function previewAdjustCreditAccount(input, operation, options) {
 		assetsChange: assetsChange.map((a) => oracle.toTokenAmount(a.token, a.balance)),
 		error,
 		healthFactor: sdk.positions.healthFactor(snap),
+		safeHealthFactor: sdk.positions.healthFactor(snap, { safePrices: true }),
 		borrowRate: sdk.positions.borrowRate(snap, { availableLiquidityChange: before.totalDebt - account.totalDebt }),
 		timeToLiquidation: sdk.positions.timeToLiquidation(snap, { availableLiquidityChange: before.totalDebt - account.totalDebt }),
 		liquidationPrice: sdk.positions.liquidationPrice(snap),

package/dist/cjs/preview/preview/previewOpenCreditAccount.js

@@ -51,6 +51,7 @@ async function previewOpenCreditAccount(input, operation) {
 		assets: assets.map((a) => oracle.toTokenAmount(a.token, a.balance)),
 		error,
 		healthFactor: sdk.positions.healthFactor(snap),
+		safeHealthFactor: sdk.positions.healthFactor(snap, { safePrices: true }),
 		borrowRate: sdk.positions.borrowRate(snap, { availableLiquidityChange: -account.totalDebt }),
 		timeToLiquidation: sdk.positions.timeToLiquidation(snap, { availableLiquidityChange: -account.totalDebt }),
 		liquidationPrice: sdk.positions.liquidationPrice(snap),