@gearbox-protocol/sdk 16.1.2 → 16.3.0-next.1

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

@@ -1,9 +1,9 @@
-import { iZapperAbi } from "../../abi/iZapper.js";
-import { iPoolV310Abi } from "../../abi/310/generated.js";
-import { sdkErr, sdkOk } from "../../model/result.js";
-import "../../model/index.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/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 };

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

@@ -0,0 +1,28 @@
+import { checkWalletAllowance } from "./checkWalletAllowance.js";
+import { checkWalletBalance } from "./checkWalletBalance.js";
+//#region src/onchain/validation/bundles/checkLiquidationFunding.ts
+/**
+* What the liquidator wallet must hold and have approved.
+*/
+async function checkLiquidationFunding(input) {
+	const { sdk, details, liquidator, blockNumber } = input;
+	const reads = [];
+	if (details.repaymentAmount.value > 0n) reads.push(checkWalletBalance({
+		sdk,
+		token: details.repaymentAmount.token.address,
+		holder: liquidator,
+		required: details.repaymentAmount.value,
+		blockNumber
+	}));
+	if (details.approve) reads.push(checkWalletAllowance({
+		sdk,
+		token: details.approve.token.address,
+		owner: liquidator,
+		spender: details.approve.spender,
+		required: details.approve.value,
+		blockNumber
+	}));
+	return (await Promise.all(reads)).flat();
+}
+//#endregion
+export { checkLiquidationFunding };

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

@@ -0,0 +1,23 @@
+import { checkCreditManagerPaused } from "../checks/checkCreditManagerPaused.js";
+import { checkMarketExpired } from "../checks/checkMarketExpired.js";
+import "../checks/index.js";
+//#region src/onchain/validation/bundles/checkMarket.ts
+/**
+* What the market itself stops, whatever the operation does.
+*
+* Neither state is anything the sender can fix, which is why it comes first
+* wherever it is composed in.
+*/
+function checkMarket(suite) {
+	const creditManager = suite.creditManager.address;
+	return [...checkCreditManagerPaused({
+		isPaused: suite.isPaused,
+		creditManager
+	}), ...checkMarketExpired({
+		isExpired: suite.isExpired,
+		creditManager,
+		expirationDate: suite.creditFacade.expirationDate
+	})];
+}
+//#endregion
+export { checkMarket };

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

@@ -0,0 +1,12 @@
+import { checkForbiddenToken } from "../checks/checkForbiddenToken.js";
+import "../checks/index.js";
+//#region src/onchain/validation/bundles/checkObtained.ts
+/** Every token the operation buys more of, against what the market forbids. */
+function checkObtained(suite, preview) {
+	return (preview.operation === "AdjustCreditAccount" ? preview.assetsChange : preview.estAssets).filter((asset) => asset.value > 0n).flatMap((asset) => checkForbiddenToken({
+		token: asset.token,
+		isForbidden: suite.isForbidden(asset.token.address)
+	}));
+}
+//#endregion
+export { checkObtained };

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

@@ -0,0 +1,21 @@
+import { checkWallet } from "./checkWallet.js";
+//#region src/onchain/validation/bundles/checkPoolFunding.ts
+/**
+* What the wallet must hold (and approve) for a pool deposit, mint, withdraw
+* or redeem, read off the preview's `tokenIn`, `zapper` and `holder`.
+*/
+async function checkPoolFunding(input) {
+	const { sdk, preview, sender, blockNumber } = input;
+	const { tokenIn: { token: { address: token }, value: required }, pool, zapper, holder } = preview;
+	const isDeposit = preview.operation === "Deposit" || preview.operation === "Mint";
+	return checkWallet({
+		sdk,
+		token,
+		required,
+		blockNumber,
+		holder: isDeposit || zapper ? sender : holder,
+		spender: zapper ?? (isDeposit ? pool : sender)
+	});
+}
+//#endregion
+export { checkPoolFunding };

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

@@ -0,0 +1,34 @@
+import { checkPoolLiquidity } from "../checks/checkPoolLiquidity.js";
+import { checkPoolPaused } from "../checks/checkPoolPaused.js";
+import { checkPoolSunset } from "../checks/checkPoolSunset.js";
+import "../checks/index.js";
+//#region src/onchain/validation/bundles/checkPoolOperation.ts
+/**
+* What the pool's own state stops, whichever side of it the wallet is on.
+*
+* The liquidity read is the market's rather than the trimmed figure a
+* simulation carries: a withdrawal sized against that figure has to pass the
+* check that follows it.
+*/
+function checkPoolOperation(args) {
+	const { sdk, pool, isDeposit, tokenOut } = args;
+	const market = sdk.marketRegister.findByPool(pool);
+	return [
+		...checkPoolPaused({
+			isPaused: market.pool.pool.isPaused,
+			pool
+		}),
+		...checkPoolSunset({
+			isSunset: market.sunset,
+			isDeposit,
+			pool
+		}),
+		...isDeposit ? [] : checkPoolLiquidity({
+			requested: tokenOut.value,
+			available: market.pool.pool.availableLiquidity,
+			underlying: tokenOut.token
+		})
+	];
+}
+//#endregion
+export { checkPoolOperation };

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

@@ -0,0 +1,19 @@
+import { checkQuotaLimit } from "../checks/checkQuotaLimit.js";
+import "../checks/index.js";
+//#region src/onchain/validation/bundles/checkQuotasAsked.ts
+/** Every quota the operation raises, against the room the keeper has left. */
+function checkQuotasAsked(market, preview, underlying) {
+	const increases = preview.operation === "AdjustCreditAccount" ? preview.quotasChange : preview.quotas;
+	const { pqk } = market.pool;
+	return increases.filter((q) => q.value > 0n).flatMap((q) => {
+		const quoted = pqk.hasActiveQuota(q.token.address);
+		return checkQuotaLimit({
+			token: q.token,
+			requested: quoted ? q.value : void 0,
+			available: quoted ? pqk.quotaAvailable(q.token.address) : 0n,
+			underlying
+		});
+	});
+}
+//#endregion
+export { checkQuotasAsked };