@gearbox-protocol/sdk 16.2.0 → 16.3.0-next.2

package/dist/esm/{preview → onchain/preview}/preview/previewOperation.js

@@ -1,5 +1,6 @@
-import { isSDKError, sdkErr, sdkOk } from "../../model/result.js";
-import "../../model/index.js";
+import { creditAccountNotFound } from "../../../model/errors/prepare-errors.js";
+import { sdkErr, sdkOk } from "../../../model/result.js";
+import "../../../model/index.js";
 import { parseOperationCalldata } from "../parse/parseOperationCalldata.js";
 import { isPoolOperation } from "../parse/types.js";
 import "../parse/index.js";
@@ -8,12 +9,12 @@ import { isCloseOrRepay } from "./detectCloseOrRepay.js";
 import { resolveDelayedClaimIntent } from "./detectDelayedClaim.js";
 import { detectDelayedOperation } from "./detectDelayedOperation.js";
 import { estimateClaimableAt } from "./estimateClaimableAt.js";
-import { replayMulticall } from "./replayMulticall.js";
 import { previewAdjustStrategyPosition } from "./previewAdjustStrategyPosition.js";
 import { previewExitOrRepayStrategyPosition } from "./previewExitOrRepayStrategyPosition.js";
 import { previewOpenStrategyPosition } from "./previewOpenStrategyPosition.js";
 import { previewPoolPositionOperation } from "./previewPoolPositionOperation.js";
-//#region src/preview/preview/previewOperation.ts
+import { replayMulticall } from "./replayMulticall.js";
+//#region src/onchain/preview/preview/previewOperation.ts
 /**
 * Previews a raw operation calldata: decodes it into a typed operation and
 * assembles an operation-specific, human-displayable preview.
@@ -21,24 +22,37 @@ import { previewPoolPositionOperation } from "./previewPoolPositionOperation.js"
 * Answers an {@link SDKReturn} envelope: the preview behind `ok: true`, or —
 * when the transaction is one the previewer refuses to read — a
 * {@link PreviewOperationError} behind `ok: false`. A thrown exception
-* still means the SDK could not do its job (a read failed, the targeted
-* credit account could not be resolved), not a refusal of the transaction.
+* still means the SDK could not do its job (a read failed), not a refusal
+* of the transaction.
+*
+* `input.chainId` and `sdk` both name the chain; the engine does not read
+* `input.chainId`.
 */
-async function previewOperation(input, options) {
-	const parsed = parseOperationCalldata(input);
-	if (isSDKError(parsed)) return parsed;
+async function previewOperation(sdk, input, options, creditAccount) {
+	const parsed = parseOperationCalldata(sdk, input);
+	if (!parsed.ok) return parsed;
 	const operation = parsed.data;
-	if (isPoolOperation(operation)) return previewPoolPositionOperation(input, operation, options);
-	if (operation.operation === "OpenCreditAccount" || operation.operation === "RWAOpenCreditAccount") return sdkOk(await previewOpenStrategyPosition(input, operation));
+	if (isPoolOperation(operation)) return previewPoolPositionOperation(sdk, operation, options);
+	if (operation.operation === "OpenCreditAccount" || operation.operation === "RWAOpenCreditAccount") return previewOpenStrategyPosition(sdk, input, operation);
 	if (operation.operation === "CloseCreditAccount") {
-		const resolved = await resolveCreditAccount(input, operation, options);
-		const preview = previewExitOrRepayStrategyPosition(input, operation, true, resolved);
-		const intent = await resolveDelayedClaimIntent(input.sdk, operation.multicall, options?.blockNumber);
-		if (isSDKError(intent)) return intent;
-		preview.intent = intent.data;
-		return sdkOk(preview);
+		const resolved = await resolveCreditAccount(sdk, operation, options, creditAccount);
+		if (!resolved.ok) return resolved;
+		const replayed = replayMulticall(sdk, operation, resolved.data);
+		if (!replayed.ok) return replayed;
+		const preview = previewExitOrRepayStrategyPosition(sdk, input, operation, true, replayed.data);
+		if (!preview.ok) return preview;
+		const intent = await resolveDelayedClaimIntent(sdk, operation.multicall, options?.blockNumber);
+		if (!intent.ok) return intent;
+		preview.data.intent = intent.data;
+		return preview;
+	}
+	if (operation.operation === "MultiCall" || operation.operation === "BotMulticall" || operation.operation === "RWAMulticall") {
+		const resolved = await resolveCreditAccount(sdk, operation, options, creditAccount);
+		if (!resolved.ok) return resolved;
+		const replayed = replayMulticall(sdk, operation, resolved.data);
+		if (!replayed.ok) return replayed;
+		return previewMulticallOperation(sdk, input, operation, replayed.data, options?.blockNumber);
 	}
-	if (operation.operation === "MultiCall" || operation.operation === "BotMulticall" || operation.operation === "RWAMulticall") return previewMulticallOperation(input, operation, await resolveCreditAccount(input, operation, options));
 	return sdkErr({
 		code: "unsupportedOperation",
 		message: `operation "${operation.operation}" is not supported by previewOperation`,
@@ -47,17 +61,14 @@ async function previewOperation(input, options) {
 }
 /**
 * Resolves the pre-state of the credit account an operation targets: uses the
-* state provided via options when present, otherwise fetches it from the
-* credit account compressor.
+* injected state when present, otherwise fetches it from the credit account
+* compressor.
 */
-async function resolveCreditAccount(input, operation, options) {
-	let creditAccount = options?.creditAccount;
-	if (!creditAccount) creditAccount = await input.sdk.accounts.getCreditAccountData(operation.creditAccount, options?.blockNumber);
-	if (!creditAccount) throw new Error(`credit account ${operation.creditAccount} not found`);
-	return {
-		...options,
-		creditAccount
-	};
+async function resolveCreditAccount(sdk, operation, options, creditAccount) {
+	let resolved = creditAccount;
+	if (!resolved) resolved = await sdk.accounts.getCreditAccountData(operation.creditAccount, options?.blockNumber);
+	if (!resolved) return sdkErr(creditAccountNotFound(operation.creditAccount));
+	return sdkOk(resolved);
 }
 /**
 * Previews a plain/bot/RWA multicall: classifies the instant preview
@@ -66,19 +77,27 @@ async function resolveCreditAccount(input, operation, options) {
 * `DelayedCreditAccountOperation` together with the best-effort preview of
 * the state after the withdrawal is claimed.
 */
-async function previewMulticallOperation(input, operation, options) {
-	const { sdk } = input;
-	const instantPreview = isCloseOrRepay(operation.multicall) ? previewExitOrRepayStrategyPosition(input, operation, false, options) : previewAdjustStrategyPosition(input, operation, options);
+async function previewMulticallOperation(sdk, input, operation, replay, blockNumber) {
+	let instantPreview;
+	if (isCloseOrRepay(operation.multicall)) {
+		const instant = previewExitOrRepayStrategyPosition(sdk, input, operation, false, replay);
+		if (!instant.ok) return instant;
+		instantPreview = instant.data;
+	} else {
+		const instant = previewAdjustStrategyPosition(sdk, input, operation, replay);
+		if (!instant.ok) return instant;
+		instantPreview = instant.data;
+	}
 	const detected = detectDelayedOperation(sdk, operation.multicall);
-	if (isSDKError(detected)) return detected;
+	if (!detected.ok) return detected;
 	const delayed = detected.data;
 	if (!delayed) {
-		const intent = await resolveDelayedClaimIntent(sdk, operation.multicall, options?.blockNumber);
-		if (isSDKError(intent)) return intent;
+		const intent = await resolveDelayedClaimIntent(sdk, operation.multicall, blockNumber);
+		if (!intent.ok) return intent;
 		instantPreview.intent = intent.data;
 		return sdkOk(instantPreview);
 	}
-	const { before, after } = replayMulticall(sdk, operation, options);
+	const { before, after } = replay;
 	const market = sdk.marketRegister.findByCreditManager(operation.creditManager);
 	const meta = sdk.tokensMeta.get(market.underlying);
 	const receivedToken = meta && sdk.tokensMeta.isRWAUnderlying(meta) ? meta.asset : market.underlying;

package/dist/esm/{preview/simulate/simulatePoolOperation.js → onchain/preview/preview/previewPoolPositionOperation.js}

@@ -1,9 +1,9 @@
-import { iPoolV310Abi } from "../../abi/310/generated.js";
-import { sdkErr, sdkOk } from "../../model/result.js";
-import "../../model/index.js";
-import { iZapperAbi } from "../../abi/iZapper.js";
-import { asPreviewSimulationError } from "./errors.js";
-//#region src/preview/simulate/simulatePoolOperation.ts
+import { ierc20Abi } from "../../../abi/iERC20.js";
+import { iZapperAbi } from "../../../abi/iZapper.js";
+import { iPoolV310Abi } from "../../../abi/310/generated.js";
+import { sdkErr, sdkOk } from "../../../model/result.js";
+import "../../../model/index.js";
+//#region src/onchain/preview/preview/previewPoolPositionOperation.ts
 function previewRead(operation) {
 	switch (operation.operation) {
 		case "Deposit": return {
@@ -73,34 +73,50 @@ function amountsInOut(operation, previewAmount) {
 		};
 	}
 }
-/**
-* Simulates a pool deposit/mint/withdraw/redeem (direct or zapper-routed) and
-* returns the resulting token amounts going in and out. Throws a
-* {@link PreviewSimulationError} with the decoded revert when the preview read
-* fails.
-*
-* Performs the matching preview read (the pool's ERC4626
-* `previewDeposit`/`previewMint`/`previewWithdraw`/`previewRedeem`, or the
-* zapper's `previewDeposit`/`previewRedeem`) to convert the calldata-known
-* amount into its counterpart. It works on every network the SDK supports.
-*
-* It does not execute the calldata, so it ignores balance/allowance
-* prerequisites (preview reads succeed regardless).
-*/
-async function simulatePoolOperation(input, options = {}) {
-	const { sdk, operation } = input;
-	const { blockNumber, logger } = options;
+async function previewPoolPositionOperation(sdk, operation, options) {
+	const { tokenIn, tokenOut } = operation;
+	const market = sdk.marketRegister.findByPool(operation.pool);
+	const pool = market.pool.pool;
+	const holder = "owner" in operation ? operation.owner : operation.receiver;
+	let previewAmount;
+	let shares;
 	try {
-		const previewAmount = await sdk.client.readContract({
-			blockNumber,
-			...previewContract(operation)
+		[previewAmount, shares] = await sdk.client.multicall({
+			contracts: [previewContract(operation), {
+				address: operation.pool,
+				abi: ierc20Abi,
+				functionName: "balanceOf",
+				args: [holder]
+			}],
+			allowFailure: false,
+			batchSize: 0,
+			blockNumber: options?.blockNumber
 		});
-		return sdkOk(amountsInOut(operation, previewAmount));
 	} catch (cause) {
-		const error = asPreviewSimulationError(cause, "multicall");
-		logger?.error(error, "pool operation simulation failed");
+		const error = {
+			code: "poolOperationPreviewError",
+			message: cause instanceof Error ? cause.message : String(cause),
+			pool: operation.pool,
+			cause: cause instanceof Error ? cause : new Error(String(cause))
+		};
 		return sdkErr(error);
 	}
+	const sim = amountsInOut(operation, previewAmount);
+	const inflow = operation.operation === "Deposit" || operation.operation === "Mint";
+	const after = shares + (inflow ? sim.amountOut : -sim.amountIn);
+	return sdkOk({
+		operation: operation.operation,
+		pool: operation.pool,
+		zapper: operation.zapper,
+		holder,
+		name: sdk.tokensMeta.mustGetToken(operation.pool).name,
+		underlyingToken: market.underlyingToken,
+		shareRate: pool.dieselRate,
+		tokenIn: market.priceOracle.toTokenAmount(tokenIn, sim.amountIn),
+		tokenOut: market.priceOracle.toTokenAmount(tokenOut, sim.amountOut),
+		curator: market.curator,
+		netValue: market.toUnderlyingAmount(pool.sharesToUnderlying(after > 0n ? after : 0n))
+	});
 }
 //#endregion
-export { amountsInOut, previewContract, simulatePoolOperation };
+export { previewPoolPositionOperation };

package/dist/esm/onchain/preview/preview/replayInnerOperations.js

@@ -0,0 +1,107 @@
+import { AssetsMap } from "../../utils/AssetsMap.js";
+import "../../constants/math.js";
+import { AbstractAdapterContract } from "../../market/adapters/contracts/AbstractAdapter.js";
+import { malformedTransaction } from "../../../model/errors/preview-errors.js";
+import "../../../model/index.js";
+//#region src/onchain/preview/preview/replayInnerOperations.ts
+/**
+* Creates a {@link ReplayState} around the given account seed, with empty
+* bookkeeping.
+*/
+function makeReplayState(account) {
+	return {
+		account,
+		collateralAdded: new AssetsMap(),
+		collateralWithdrawn: new AssetsMap()
+	};
+}
+/**
+* Replays a credit-facade multicall over `state`, mutating it in place in
+* facade execution order. The result is the *minimal guaranteed* post-state.
+*
+* The function assumes that the call was generated by our frontend using
+* router/withdrawal compressor, otherwise it answers the error on a malformed
+* multicall; state is left as replayed up to that op.
+*
+* @returns `undefined` on success, the error on a malformed multicall.
+*/
+function replayInnerOperations(sdk, multicall, state) {
+	let inBracket = false;
+	for (const op of multicall) switch (op.operation) {
+		case "AddCollateral":
+			applyAddCollateral(state, op);
+			break;
+		case "WithdrawCollateral":
+			applyWithdrawCollateral(state, op);
+			break;
+		case "IncreaseBorrowedAmount":
+			state.account.increaseDebt(op.amount);
+			break;
+		case "DecreaseBorrowedAmount":
+			state.account.repay(op.amount);
+			break;
+		case "UpdateQuota":
+			state.account.updateQuota(op.token, op.change);
+			break;
+		case "StoreExpectedBalances":
+			if (inBracket) return malformedTransaction("nested storeExpectedBalances/compareBalances bracket");
+			inBracket = true;
+			for (const { token, balance } of op.deltas) state.account.balances.inc(token, balance);
+			break;
+		case "CompareBalances":
+			if (!inBracket) return malformedTransaction("compareBalances without a preceding storeExpectedBalances");
+			inBracket = false;
+			break;
+		case "Execute": {
+			const error = applyExecute(sdk, op, inBracket, state.account.balances);
+			if (error) return error;
+			break;
+		}
+	}
+	if (inBracket) return malformedTransaction("storeExpectedBalances without a matching compareBalances");
+}
+function applyAddCollateral(state, op) {
+	state.collateralAdded.inc(op.token, op.amount);
+	state.account.balances.inc(op.token, op.amount);
+}
+/**
+* `MAX_UINT256` is the facade sentinel for "withdraw the entire balance", so
+* it is resolved against the running balance at the point of the call.
+*/
+function applyWithdrawCollateral(state, op) {
+	const running = state.account.balances.getOrZero(op.token);
+	const amount = op.amount === 115792089237316195423570985008687907853269984665640564039457584007913129639935n ? running > 0n ? running : 0n : op.amount;
+	state.account.balances.dec(op.token, amount);
+	state.collateralWithdrawn.inc(op.token, amount);
+}
+/**
+* Replays an adapter `Execute` call against the running balances.
+*
+* Inside a bracket, the adapter's balance changes are previewed via
+* {@link AbstractAdapterContract.previewBalanceChanges}. Outside a bracket,
+* only calls that {@link AbstractAdapterContract.replayOutOfBracketCall}
+* accepts are allowed; nothing enforces the outcome of any other out-of-bracket
+* adapter call on-chain, so its effect on balances cannot be previewed.
+*/
+function applyExecute(sdk, op, inBracket, balances) {
+	const adapter = sdk.getContract(op.adapter);
+	if (!inBracket) {
+		if (adapter instanceof AbstractAdapterContract) try {
+			if (adapter.replayOutOfBracketCall(balances, op.calldata)) return;
+		} catch (e) {
+			const cause = e instanceof Error ? e : new Error(String(e));
+			return malformedTransaction(`cannot replay out-of-bracket call to ${op.adapter}: ${cause.message}`, cause);
+		}
+		return malformedTransaction(`call to ${op.adapter} outside of a storeExpectedBalances/compareBalances bracket`);
+	}
+	if (!(adapter instanceof AbstractAdapterContract)) return malformedTransaction(`call to ${op.adapter} between storeExpectedBalances and compareBalances is not an adapter call`);
+	try {
+		adapter.previewBalanceChanges(balances, op.calldata);
+		return;
+	} catch (e) {
+		const cause = e instanceof Error ? e : new Error(String(e));
+		return malformedTransaction(`cannot replay adapter call to ${op.adapter}: ${cause.message}`, cause);
+	}
+}
+//#endregion
+export { makeReplayState, replayInnerOperations };

package/dist/esm/onchain/preview/preview/replayMulticall.js

@@ -0,0 +1,21 @@
+import { sdkErr, sdkOk } from "../../../model/result.js";
+import "../../../model/index.js";
+import { CreditAccountState } from "./CreditAccountState.js";
+import { makeReplayState, replayInnerOperations } from "./replayInnerOperations.js";
+//#region src/onchain/preview/preview/replayMulticall.ts
+/**
+* Replays the operation's multicall over the account's pre-resolved
+* pre-state via {@link replayInnerOperations}.
+*/
+function replayMulticall(sdk, operation, creditAccount) {
+	const before = CreditAccountState.fromCreditAccountData(creditAccount);
+	const after = makeReplayState(before.clone());
+	const error = replayInnerOperations(sdk, operation.multicall, after);
+	if (error) return sdkErr(error);
+	return sdkOk({
+		before,
+		after
+	});
+}
+//#endregion
+export { replayMulticall };

package/dist/esm/{preview → onchain/preview}/preview/unwrapNativeCollateral.js

@@ -1,8 +1,9 @@
-import { AssetsMap } from "../../onchain/utils/AssetsMap.js";
-import { NATIVE_ADDRESS } from "../../onchain/constants/addresses.js";
-import "../../onchain/index.js";
-import { invalidTransactionValueError } from "./errors.js";
-//#region src/preview/preview/unwrapNativeCollateral.ts
+import { AssetsMap } from "../../utils/AssetsMap.js";
+import { NATIVE_ADDRESS } from "../../constants/addresses.js";
+import { malformedTransaction } from "../../../model/errors/preview-errors.js";
+import { sdkErr, sdkOk } from "../../../model/result.js";
+import "../../../model/index.js";
+//#region src/onchain/preview/preview/unwrapNativeCollateral.ts
 /**
 * Represents the transaction's attached native value as a `NATIVE_ADDRESS`
 * entry in the collateral list.
@@ -14,26 +15,22 @@ import { invalidTransactionValueError } from "./errors.js";
 * reaches zero). Other entries are preserved.
 *
 * When `nativeAmount` is positive but the WETH collateral is missing or
-* smaller than it, the transaction is malformed: the collateral is returned
-* as-is (no unwrapping) together with an `invalidTransactionValue` warning.
+* smaller than it, the transaction is malformed.
 *
 * @param collateral - Collateral assets as declared by the multicall.
 * @param nativeAmount - Transaction `msg.value`.
 * @param wethToken - Wrapped native token address.
 * @returns Collateral with the native amount unwrapped from the WETH entry,
-* plus the warning on a malformed transaction value.
+* or `malformedTransaction` when `msg.value` does not fit the declared WETH.
 */
 function unwrapNativeCollateral(collateral, nativeAmount, wethToken) {
-	if (nativeAmount === 0n) return { assets: collateral };
+	if (nativeAmount === 0n) return sdkOk(collateral);
 	const balances = new AssetsMap(collateral);
 	const wethBalance = balances.get(wethToken) ?? 0n;
-	if (wethBalance < nativeAmount) return {
-		assets: collateral,
-		warning: invalidTransactionValueError(nativeAmount, wethBalance)
-	};
+	if (wethBalance < nativeAmount) return sdkErr(malformedTransaction(`transaction value ${nativeAmount} exceeds WETH collateral ${wethBalance}`));
 	balances.upsert(wethToken, wethBalance === nativeAmount ? void 0 : wethBalance - nativeAmount);
 	balances.inc(NATIVE_ADDRESS, nativeAmount);
-	return { assets: balances.toAssets() };
+	return sdkOk(balances.toAssets());
 }
 //#endregion
 export { unwrapNativeCollateral };

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/bundles/checkAccountQuotas.js

@@ -0,0 +1,19 @@
+import { checkQuotaCount } from "../checks/checkQuotaCount.js";
+import "../checks/index.js";
+//#region src/onchain/validation/bundles/checkAccountQuotas.ts
+/**
+* How many quoted tokens the account would end up holding, against the number
+* the facade enables at once.
+*
+* Reads nothing but the projected account, so a parsed transaction and a
+* simulated one are held to it by the same code — including the reading that a
+* quota the operation zeroed out is no longer held.
+*/
+function checkAccountQuotas(suite, account) {
+	return checkQuotaCount({
+		count: account.quotas.filter((q) => q.value > 0n).length,
+		max: suite.creditManager.maxEnabledTokens
+	});
+}
+//#endregion
+export { checkAccountQuotas };

package/dist/esm/onchain/validation/bundles/checkCollateralFunding.js

@@ -0,0 +1,58 @@
+import { AssetsMap } from "../../utils/AssetsMap.js";
+import { AP_WETH_TOKEN } from "../../constants/address-provider.js";
+import { NATIVE_ADDRESS } from "../../constants/addresses.js";
+import "../../constants/index.js";
+import { unexpectedFailure } from "../../../model/errors/prepare-errors.js";
+import "../../../model/index.js";
+import { checkWalletAllowance } from "./checkWalletAllowance.js";
+import { checkWalletBalance } from "./checkWalletBalance.js";
+//#region src/onchain/validation/bundles/checkCollateralFunding.ts
+/**
+* What the wallet must hold and have approved for the collateral the
+* operation adds. Native value is already split out of `collateralAdded` as a
+* `NATIVE_ADDRESS` entry; the facade wraps it into WETH, so the WETH allowance
+* covers both halves.
+*/
+async function checkCollateralFunding(input) {
+	const { sdk, preview, sender, blockNumber } = input;
+	const held = new AssetsMap(preview.collateralAdded.map((a) => ({
+		token: a.token.address,
+		balance: a.value
+	})));
+	if (held.size === 0) return [];
+	let spender;
+	try {
+		if (preview.operation === "OpenCreditAccount" || preview.operation === "RWAOpenCreditAccount") spender = await sdk.accounts.getApprovalAddress({
+			creditManager: preview.creditManager,
+			borrower: sender
+		});
+		else spender = await sdk.accounts.getApprovalAddress({
+			creditManager: preview.creditManager,
+			creditAccount: preview.creditAccount
+		});
+	} catch (cause) {
+		return [unexpectedFailure(cause, "resolve the approval address")];
+	}
+	const approved = held.clone();
+	const native = approved.get("0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE") ?? 0n;
+	if (native > 0n) {
+		approved.delete(NATIVE_ADDRESS);
+		approved.inc(sdk.addressProvider.getAddress(AP_WETH_TOKEN, 0), native);
+	}
+	return (await Promise.all([...held.entries().map(([token, required]) => checkWalletBalance({
+		sdk,
+		token,
+		holder: sender,
+		required,
+		blockNumber
+	})), ...approved.entries().map(([token, required]) => checkWalletAllowance({
+		sdk,
+		token,
+		owner: sender,
+		spender,
+		required,
+		blockNumber
+	}))])).flat();
+}
+//#endregion
+export { checkCollateralFunding };

package/dist/esm/onchain/validation/bundles/checkCreditOperation.js

@@ -0,0 +1,64 @@
+import { toToken } from "../helpers/token.js";
+import "../helpers/index.js";
+import { checkDebtLimits } from "../checks/checkDebtLimits.js";
+import "../checks/index.js";
+import { checkAccountQuotas } from "./checkAccountQuotas.js";
+import { checkCollateralFunding } from "./checkCollateralFunding.js";
+import { checkDraw } from "./checkDraw.js";
+import { checkHealthFactors } from "./checkHealthFactors.js";
+import { checkMarket } from "./checkMarket.js";
+import { checkObtained } from "./checkObtained.js";
+import { checkQuotasAsked } from "./checkQuotasAsked.js";
+import { checkRWAOpening } from "./checkRWAOpening.js";
+//#region src/onchain/validation/bundles/checkCreditOperation.ts
+/**
+* What the protocol stops a credit operation for, then what the wallet still
+* has to hold, approve or sign.
+*
+* The array is in check order, most fundamental first: the market's own state,
+* then what the facade would revert on, then what the operation asks the
+* market for, then the account it leaves behind, and last the wallet's side.
+*/
+async function checkCreditOperation(args) {
+	const { sdk, preview, sender, blockNumber, ...thresholds } = args;
+	const suite = sdk.marketRegister.findCreditManager(preview.creditManager);
+	const market = suite.market;
+	const underlying = toToken(sdk, market.pool.underlying);
+	const isOpening = preview.operation === "OpenCreditAccount" || preview.operation === "RWAOpenCreditAccount";
+	const protocol = [
+		...checkMarket(suite),
+		...checkDebtLimits({
+			debt: preview.totalDebt.value,
+			minDebt: suite.creditFacade.minDebt,
+			maxDebt: suite.creditFacade.maxDebt,
+			underlying,
+			allowZero: !isOpening
+		}),
+		...checkDraw(suite, preview, underlying),
+		...checkObtained(suite, preview),
+		...checkAccountQuotas(suite, preview),
+		...checkQuotasAsked(market, preview, underlying),
+		...checkHealthFactors({
+			totalDebt: preview.totalDebt,
+			healthFactor: preview.estHealthFactor,
+			safeHealthFactor: preview.estSafeHealthFactor
+		}, thresholds)
+	];
+	const [funding, rwa] = await Promise.all([checkCollateralFunding({
+		sdk,
+		preview,
+		sender,
+		blockNumber
+	}), preview.operation === "RWAOpenCreditAccount" ? checkRWAOpening({
+		sdk,
+		preview,
+		sender
+	}) : []]);
+	return [
+		...protocol,
+		...funding,
+		...rwa
+	];
+}
+//#endregion
+export { checkCreditOperation };

package/dist/esm/onchain/validation/bundles/checkDraw.js

@@ -0,0 +1,27 @@
+import { checkBorrowLimit } from "../checks/checkBorrowLimit.js";
+import "../checks/index.js";
+//#region src/onchain/validation/bundles/checkDraw.ts
+/**
+* What the transaction draws, against what the market can lend right now.
+*
+* Only a draw is weighed: repaying, or leaving the debt alone, can never exceed
+* a ceiling. Opening borrows the whole debt; adjusting borrows
+* `totalDebtChange`.
+*
+* The engine holds every simulation to this already (`assertCanBorrow`), so
+* this is here for the transactions it never saw — a pasted calldata reaches
+* the confirm screen with nothing else standing between it and a revert.
+*/
+function checkDraw(suite, preview, underlying) {
+	const drawn = preview.operation === "AdjustCreditAccount" ? preview.totalDebtChange.value : preview.totalDebt.value;
+	if (drawn <= 0n) return [];
+	const { value, limit } = suite.maxBorrowAmount();
+	return checkBorrowLimit({
+		requested: drawn,
+		available: value,
+		limit,
+		underlying
+	});
+}
+//#endregion
+export { checkDraw };

package/dist/esm/onchain/validation/bundles/checkHealthFactors.js

@@ -0,0 +1,26 @@
+import { checkCollateralised } from "../checks/checkCollateralised.js";
+import "../checks/index.js";
+//#region src/onchain/validation/bundles/checkHealthFactors.ts
+/**
+* The account against whichever thresholds the caller holds it to, so a parsed
+* transaction and a simulated one are weighed by the same code.
+*
+* A loan-free account is nothing to weigh: the health factor reports its
+* zero-debt sentinel and no threshold applies.
+*/
+function checkHealthFactors(account, thresholds) {
+	const { minHealthFactor, minSafeHealthFactor, currentHealthFactor } = thresholds;
+	if (account.totalDebt.value === 0n) return [];
+	return [...minHealthFactor === void 0 ? [] : checkCollateralised({
+		healthFactor: account.healthFactor,
+		healthFactorThreshold: minHealthFactor,
+		safePrices: false,
+		improvesFrom: currentHealthFactor
+	}), ...minSafeHealthFactor === void 0 ? [] : checkCollateralised({
+		healthFactor: account.safeHealthFactor,
+		healthFactorThreshold: minSafeHealthFactor,
+		safePrices: true
+	})];
+}
+//#endregion
+export { checkHealthFactors };

package/dist/esm/onchain/validation/bundles/checkLiquidationEligibility.js

@@ -0,0 +1,32 @@
+import { checkCreditAccountFrozen } from "../checks/checkCreditAccountFrozen.js";
+import { checkEmergencyLiquidator } from "../checks/checkEmergencyLiquidator.js";
+import { checkLiquidatorEligible } from "../checks/checkLiquidatorEligible.js";
+import "../checks/index.js";
+//#region src/onchain/validation/bundles/checkLiquidationEligibility.ts
+/**
+* Whether this wallet may liquidate this account, from the facts the
+* compressor already reported and the market's emergency-liquidator list.
+*/
+function checkLiquidationEligibility(input) {
+	const { sdk, details, liquidator } = input;
+	const market = sdk.marketRegister.findByCreditManager(details.creditManager);
+	return [
+		...checkCreditAccountFrozen({
+			frozen: details.isCreditAccountFrozen,
+			creditAccount: details.creditAccount
+		}),
+		...checkEmergencyLiquidator({
+			paused: details.paused,
+			isEmergencyLiquidator: market.isEmergencyLiquidator(liquidator),
+			creditManager: details.creditManager,
+			liquidator
+		}),
+		...checkLiquidatorEligible({
+			eligible: details.isLiquidatorEligible,
+			kycProtocol: details.kycProtocol,
+			kycToken: details.kycToken
+		})
+	];
+}
+//#endregion
+export { checkLiquidationEligibility };