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

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

@@ -0,0 +1,29 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_onchain_validation_bundles_checkWalletAllowance = require("./checkWalletAllowance.js");
+const require_onchain_validation_bundles_checkWalletBalance = require("./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(require_onchain_validation_bundles_checkWalletBalance.checkWalletBalance({
+		sdk,
+		token: details.repaymentAmount.token.address,
+		holder: liquidator,
+		required: details.repaymentAmount.value,
+		blockNumber
+	}));
+	if (details.approve) reads.push(require_onchain_validation_bundles_checkWalletAllowance.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
+exports.checkLiquidationFunding = checkLiquidationFunding;

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

@@ -0,0 +1,24 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_onchain_validation_checks_checkCreditManagerPaused = require("../checks/checkCreditManagerPaused.js");
+const require_onchain_validation_checks_checkMarketExpired = require("../checks/checkMarketExpired.js");
+require("../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 [...require_onchain_validation_checks_checkCreditManagerPaused.checkCreditManagerPaused({
+		isPaused: suite.isPaused,
+		creditManager
+	}), ...require_onchain_validation_checks_checkMarketExpired.checkMarketExpired({
+		isExpired: suite.isExpired,
+		creditManager,
+		expirationDate: suite.creditFacade.expirationDate
+	})];
+}
+//#endregion
+exports.checkMarket = checkMarket;

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

@@ -0,0 +1,13 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_onchain_validation_checks_checkForbiddenToken = require("../checks/checkForbiddenToken.js");
+require("../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) => require_onchain_validation_checks_checkForbiddenToken.checkForbiddenToken({
+		token: asset.token,
+		isForbidden: suite.isForbidden(asset.token.address)
+	}));
+}
+//#endregion
+exports.checkObtained = checkObtained;

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

@@ -0,0 +1,22 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_onchain_validation_bundles_checkWallet = require("./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 require_onchain_validation_bundles_checkWallet.checkWallet({
+		sdk,
+		token,
+		required,
+		blockNumber,
+		holder: isDeposit || zapper ? sender : holder,
+		spender: zapper ?? (isDeposit ? pool : sender)
+	});
+}
+//#endregion
+exports.checkPoolFunding = checkPoolFunding;

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

@@ -0,0 +1,35 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_onchain_validation_checks_checkPoolLiquidity = require("../checks/checkPoolLiquidity.js");
+const require_onchain_validation_checks_checkPoolPaused = require("../checks/checkPoolPaused.js");
+const require_onchain_validation_checks_checkPoolSunset = require("../checks/checkPoolSunset.js");
+require("../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 [
+		...require_onchain_validation_checks_checkPoolPaused.checkPoolPaused({
+			isPaused: market.pool.pool.isPaused,
+			pool
+		}),
+		...require_onchain_validation_checks_checkPoolSunset.checkPoolSunset({
+			isSunset: market.sunset,
+			isDeposit,
+			pool
+		}),
+		...isDeposit ? [] : require_onchain_validation_checks_checkPoolLiquidity.checkPoolLiquidity({
+			requested: tokenOut.value,
+			available: market.pool.pool.availableLiquidity,
+			underlying: tokenOut.token
+		})
+	];
+}
+//#endregion
+exports.checkPoolOperation = checkPoolOperation;

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

@@ -0,0 +1,20 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_onchain_validation_checks_checkQuotaLimit = require("../checks/checkQuotaLimit.js");
+require("../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 require_onchain_validation_checks_checkQuotaLimit.checkQuotaLimit({
+			token: q.token,
+			requested: quoted ? q.value : void 0,
+			available: quoted ? pqk.quotaAvailable(q.token.address) : 0n,
+			underlying
+		});
+	});
+}
+//#endregion
+exports.checkQuotasAsked = checkQuotasAsked;

package/dist/cjs/onchain/validation/bundles/checkRWAOpenRequirements.js

@@ -0,0 +1,33 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_model_errors_operation_errors = require("../../../model/errors/operation-errors.js");
+const require_model_errors_prepare_errors = require("../../../model/errors/prepare-errors.js");
+require("../../../model/index.js");
+const require_onchain_validation_helpers_token = require("../helpers/token.js");
+require("../helpers/index.js");
+//#region src/onchain/validation/bundles/checkRWAOpenRequirements.ts
+/**
+* The RWA factory is satisfied that `wallet` may open on `token` with the
+* registration args already on the transaction.
+*/
+async function checkRWAOpenRequirements(input) {
+	const { sdk, wallet, creditManager, token, providedArgs } = input;
+	try {
+		const requirements = await sdk.accounts.getOpenAccountRequirements(wallet, creditManager, { tokenOutAddress: token });
+		if (!requirements) return [];
+		const { rwaFactory } = sdk.marketRegister.findByCreditManager(creditManager);
+		if (!rwaFactory) throw new Error(`no RWA factory for credit manager ${creditManager}`);
+		const missing = rwaFactory.getMissingRequirements(requirements, providedArgs);
+		if (!missing && requirements.securitizeTokensToRegister.length === 0) return [];
+		return [require_model_errors_operation_errors.rwaOpenRequirementsNotMet({
+			token: require_onchain_validation_helpers_token.toToken(sdk, token),
+			creditManager,
+			factory: rwaFactory.address,
+			requirements,
+			...missing === void 0 ? {} : { missing }
+		})];
+	} catch (cause) {
+		return [require_model_errors_prepare_errors.unexpectedFailure(cause, "read the RWA opening requirements")];
+	}
+}
+//#endregion
+exports.checkRWAOpenRequirements = checkRWAOpenRequirements;

package/dist/cjs/onchain/validation/bundles/checkRWAOpening.js

@@ -0,0 +1,24 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_onchain_utils_AddressSet = require("../../utils/AddressSet.js");
+const require_onchain_validation_bundles_checkRWAOpenRequirements = require("./checkRWAOpenRequirements.js");
+//#region src/onchain/validation/bundles/checkRWAOpening.ts
+/**
+* Per factory-gated token among `collateralAdded ∪ quotas`, whether the
+* borrower still has to register or sign before this opening can land.
+*/
+async function checkRWAOpening(input) {
+	const { sdk, preview, sender } = input;
+	const { rwaFactory } = sdk.marketRegister.findByCreditManager(preview.creditManager);
+	if (!rwaFactory) return [];
+	const gated = new require_onchain_utils_AddressSet.AddressSet(rwaFactory.getTokens());
+	const candidates = new require_onchain_utils_AddressSet.AddressSet([...preview.collateralAdded.map((a) => a.token.address), ...preview.quotas.map((q) => q.token.address)]);
+	return (await Promise.all([...candidates].filter((token) => gated.has(token)).map((token) => require_onchain_validation_bundles_checkRWAOpenRequirements.checkRWAOpenRequirements({
+		sdk,
+		wallet: sender,
+		creditManager: preview.creditManager,
+		token,
+		providedArgs: preview.rwaArgs
+	})))).flat();
+}
+//#endregion
+exports.checkRWAOpening = checkRWAOpening;

package/dist/cjs/onchain/validation/bundles/checkWallet.js

@@ -0,0 +1,22 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+require("../../constants/addresses.js");
+require("../../constants/index.js");
+const require_onchain_validation_bundles_checkWalletAllowance = require("./checkWalletAllowance.js");
+const require_onchain_validation_bundles_checkWalletBalance = require("./checkWalletBalance.js");
+let viem = require("viem");
+//#region src/onchain/validation/bundles/checkWallet.ts
+/**
+* The wallet's whole side for one token: always the balance; the allowance
+* only when it can matter (an ERC-20, with a spender who is not the holder).
+*/
+async function checkWallet(input) {
+	const { spender, ...rest } = input;
+	const needsAllowance = spender !== void 0 && !(0, viem.isAddressEqual)(rest.token, "0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE") && !(0, viem.isAddressEqual)(spender, rest.holder);
+	return (await Promise.all([require_onchain_validation_bundles_checkWalletBalance.checkWalletBalance(rest), needsAllowance ? require_onchain_validation_bundles_checkWalletAllowance.checkWalletAllowance({
+		...rest,
+		owner: rest.holder,
+		spender
+	}) : []])).flat();
+}
+//#endregion
+exports.checkWallet = checkWallet;

package/dist/cjs/onchain/validation/bundles/checkWalletAllowance.js

@@ -0,0 +1,32 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_abi_iERC20 = require("../../../abi/iERC20.js");
+const require_model_errors_operation_errors = require("../../../model/errors/operation-errors.js");
+const require_model_errors_prepare_errors = require("../../../model/errors/prepare-errors.js");
+require("../../../model/index.js");
+const require_onchain_validation_helpers_token = require("../helpers/token.js");
+require("../helpers/index.js");
+//#region src/onchain/validation/bundles/checkWalletAllowance.ts
+/** `owner` has approved `spender` for at least `required` of `token`. */
+async function checkWalletAllowance(input) {
+	const { sdk, token, owner, spender, required, blockNumber } = input;
+	try {
+		const allowed = await sdk.client.readContract({
+			address: token,
+			abi: require_abi_iERC20.ierc20Abi,
+			functionName: "allowance",
+			args: [owner, spender],
+			blockNumber
+		});
+		return allowed >= required ? [] : [require_model_errors_operation_errors.insufficientAllowance({
+			owner,
+			spender,
+			required: require_onchain_validation_helpers_token.toTokenAmount(sdk, token, required),
+			allowed: require_onchain_validation_helpers_token.toTokenAmount(sdk, token, allowed)
+		})];
+	} catch (cause) {
+		const { symbol } = require_onchain_validation_helpers_token.toToken(sdk, token);
+		return [require_model_errors_prepare_errors.unexpectedFailure(cause, `read the ${symbol} allowance`)];
+	}
+}
+//#endregion
+exports.checkWalletAllowance = checkWalletAllowance;

package/dist/cjs/onchain/validation/bundles/checkWalletBalance.js

@@ -0,0 +1,41 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_abi_iERC20 = require("../../../abi/iERC20.js");
+require("../../constants/addresses.js");
+require("../../constants/index.js");
+const require_model_errors_operation_errors = require("../../../model/errors/operation-errors.js");
+const require_model_errors_prepare_errors = require("../../../model/errors/prepare-errors.js");
+require("../../../model/index.js");
+const require_onchain_validation_helpers_amount = require("../helpers/amount.js");
+const require_onchain_validation_helpers_token = require("../helpers/token.js");
+require("../helpers/index.js");
+let viem = require("viem");
+//#region src/onchain/validation/bundles/checkWalletBalance.ts
+/** `holder` holds at least `required` of `token` (ERC-20 or native). */
+async function checkWalletBalance(input) {
+	const { sdk, token, holder, required, blockNumber } = input;
+	try {
+		const held = (0, viem.isAddressEqual)(token, "0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE") ? await sdk.client.getBalance({
+			address: holder,
+			blockNumber
+		}) : await sdk.client.readContract({
+			address: token,
+			abi: require_abi_iERC20.ierc20Abi,
+			functionName: "balanceOf",
+			args: [holder],
+			blockNumber
+		});
+		if (required <= held) return [];
+		const meta = require_onchain_validation_helpers_token.toToken(sdk, token);
+		return [require_model_errors_operation_errors.insufficientBalance({
+			required: require_onchain_validation_helpers_amount.amountOf(meta, required),
+			held: require_onchain_validation_helpers_amount.amountOf(meta, held),
+			holderKind: "wallet",
+			holder
+		})];
+	} catch (cause) {
+		const { symbol } = require_onchain_validation_helpers_token.toToken(sdk, token);
+		return [require_model_errors_prepare_errors.unexpectedFailure(cause, `read the ${symbol} balance`)];
+	}
+}
+//#endregion
+exports.checkWalletBalance = checkWalletBalance;

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

@@ -0,0 +1,35 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_onchain_validation_bundles_checkAccountQuotas = require("./checkAccountQuotas.js");
+const require_onchain_validation_bundles_checkWalletAllowance = require("./checkWalletAllowance.js");
+const require_onchain_validation_bundles_checkWalletBalance = require("./checkWalletBalance.js");
+const require_onchain_validation_bundles_checkCollateralFunding = require("./checkCollateralFunding.js");
+const require_onchain_validation_bundles_checkDraw = require("./checkDraw.js");
+const require_onchain_validation_bundles_checkHealthFactors = require("./checkHealthFactors.js");
+const require_onchain_validation_bundles_checkMarket = require("./checkMarket.js");
+const require_onchain_validation_bundles_checkObtained = require("./checkObtained.js");
+const require_onchain_validation_bundles_checkQuotasAsked = require("./checkQuotasAsked.js");
+const require_onchain_validation_bundles_checkRWAOpenRequirements = require("./checkRWAOpenRequirements.js");
+const require_onchain_validation_bundles_checkRWAOpening = require("./checkRWAOpening.js");
+const require_onchain_validation_bundles_checkCreditOperation = require("./checkCreditOperation.js");
+const require_onchain_validation_bundles_checkLiquidationEligibility = require("./checkLiquidationEligibility.js");
+const require_onchain_validation_bundles_checkLiquidationFunding = require("./checkLiquidationFunding.js");
+const require_onchain_validation_bundles_checkWallet = require("./checkWallet.js");
+const require_onchain_validation_bundles_checkPoolFunding = require("./checkPoolFunding.js");
+const require_onchain_validation_bundles_checkPoolOperation = require("./checkPoolOperation.js");
+exports.checkAccountQuotas = require_onchain_validation_bundles_checkAccountQuotas.checkAccountQuotas;
+exports.checkCollateralFunding = require_onchain_validation_bundles_checkCollateralFunding.checkCollateralFunding;
+exports.checkCreditOperation = require_onchain_validation_bundles_checkCreditOperation.checkCreditOperation;
+exports.checkDraw = require_onchain_validation_bundles_checkDraw.checkDraw;
+exports.checkHealthFactors = require_onchain_validation_bundles_checkHealthFactors.checkHealthFactors;
+exports.checkLiquidationEligibility = require_onchain_validation_bundles_checkLiquidationEligibility.checkLiquidationEligibility;
+exports.checkLiquidationFunding = require_onchain_validation_bundles_checkLiquidationFunding.checkLiquidationFunding;
+exports.checkMarket = require_onchain_validation_bundles_checkMarket.checkMarket;
+exports.checkObtained = require_onchain_validation_bundles_checkObtained.checkObtained;
+exports.checkPoolFunding = require_onchain_validation_bundles_checkPoolFunding.checkPoolFunding;
+exports.checkPoolOperation = require_onchain_validation_bundles_checkPoolOperation.checkPoolOperation;
+exports.checkQuotasAsked = require_onchain_validation_bundles_checkQuotasAsked.checkQuotasAsked;
+exports.checkRWAOpenRequirements = require_onchain_validation_bundles_checkRWAOpenRequirements.checkRWAOpenRequirements;
+exports.checkRWAOpening = require_onchain_validation_bundles_checkRWAOpening.checkRWAOpening;
+exports.checkWallet = require_onchain_validation_bundles_checkWallet.checkWallet;
+exports.checkWalletAllowance = require_onchain_validation_bundles_checkWalletAllowance.checkWalletAllowance;
+exports.checkWalletBalance = require_onchain_validation_bundles_checkWalletBalance.checkWalletBalance;

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

@@ -0,0 +1,22 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_onchain_validation_bundles_checkLiquidationEligibility = require("./bundles/checkLiquidationEligibility.js");
+const require_onchain_validation_bundles_checkLiquidationFunding = require("./bundles/checkLiquidationFunding.js");
+//#region src/onchain/validation/checkLiquidation.ts
+/**
+* Whether `liquidator` may send a full liquidation of this account
+*/
+async function checkLiquidation(sdk, input, options = {}) {
+	const { details, liquidator } = input;
+	return [...require_onchain_validation_bundles_checkLiquidationEligibility.checkLiquidationEligibility({
+		sdk,
+		details,
+		liquidator
+	}), ...await require_onchain_validation_bundles_checkLiquidationFunding.checkLiquidationFunding({
+		sdk,
+		details,
+		liquidator,
+		blockNumber: options.blockNumber
+	})];
+}
+//#endregion
+exports.checkLiquidation = checkLiquidation;

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

@@ -0,0 +1,62 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_onchain_validation_bundles_checkCollateralFunding = require("./bundles/checkCollateralFunding.js");
+const require_onchain_validation_bundles_checkMarket = require("./bundles/checkMarket.js");
+const require_onchain_validation_bundles_checkCreditOperation = require("./bundles/checkCreditOperation.js");
+const require_onchain_validation_bundles_checkPoolFunding = require("./bundles/checkPoolFunding.js");
+const require_onchain_validation_bundles_checkPoolOperation = require("./bundles/checkPoolOperation.js");
+//#region src/onchain/validation/checkOperation.ts
+/**
+* Whether a parsed operation may be signed by `sender`: protocol state first,
+* then what the wallet has to approve, hold or sign.
+*
+* The array is in check order, most fundamental first, so a caller with room
+* for one verdict reports the first entry. Approve and sign errors are picked
+* out by `code`, not by position.
+*/
+async function checkOperation(input, options = {}) {
+	const { sdk, preview, sender } = input;
+	const { blockNumber, ...thresholds } = options;
+	const wallet = {
+		sdk,
+		sender,
+		blockNumber
+	};
+	switch (preview.operation) {
+		case "Deposit":
+		case "Mint":
+		case "Withdraw":
+		case "Redeem": {
+			const isDeposit = preview.operation === "Deposit" || preview.operation === "Mint";
+			return [...require_onchain_validation_bundles_checkPoolOperation.checkPoolOperation({
+				sdk,
+				pool: preview.pool,
+				isDeposit,
+				tokenOut: preview.tokenOut
+			}), ...await require_onchain_validation_bundles_checkPoolFunding.checkPoolFunding({
+				...wallet,
+				preview
+			})];
+		}
+		case "DelayedCreditAccountOperation": return checkOperation({
+			sdk,
+			preview: preview.instantPreview,
+			sender
+		}, options);
+		case "OpenCreditAccount":
+		case "RWAOpenCreditAccount":
+		case "AdjustCreditAccount": return require_onchain_validation_bundles_checkCreditOperation.checkCreditOperation({
+			sdk,
+			preview,
+			sender,
+			blockNumber,
+			...thresholds
+		});
+		case "RepayCreditAccount": return [...require_onchain_validation_bundles_checkMarket.checkMarket(sdk.marketRegister.findCreditManager(preview.creditManager)), ...await require_onchain_validation_bundles_checkCollateralFunding.checkCollateralFunding({
+			...wallet,
+			preview
+		})];
+		case "CloseCreditAccount": return require_onchain_validation_bundles_checkMarket.checkMarket(sdk.marketRegister.findCreditManager(preview.creditManager));
+	}
+}
+//#endregion
+exports.checkOperation = checkOperation;

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

@@ -0,0 +1,60 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_onchain_validation_helpers_token = require("./helpers/token.js");
+require("./helpers/index.js");
+const require_onchain_validation_checks_checkDebtLimits = require("./checks/checkDebtLimits.js");
+require("./checks/index.js");
+const require_onchain_validation_bundles_checkAccountQuotas = require("./bundles/checkAccountQuotas.js");
+const require_onchain_validation_bundles_checkHealthFactors = require("./bundles/checkHealthFactors.js");
+const require_onchain_validation_bundles_checkMarket = require("./bundles/checkMarket.js");
+const require_onchain_validation_bundles_checkPoolOperation = require("./bundles/checkPoolOperation.js");
+//#region src/onchain/validation/checkSimulation.ts
+/**
+* Whether a simulated operation clears the caller's own thresholds.
+*
+* The engine holds an account to the facade's `1.0`, because its guards answer
+* "would this revert". A form is wiser to ask for more, and the engine's own
+* note says so — a caller wanting the stricter threshold applies it itself.
+* This is that second opinion, over the numbers the engine already reported.
+*
+* Three of the checks on a credit account the engine does not make at all:
+* both health-factor thresholds are its own `1.0`, and the quota count it never
+* weighs. The other two run against the same numbers the engine used, and are
+* here so that a change in the engine cannot pass silently.
+*
+* What is deliberately absent: the forbidden-token, quota-limit and funding
+* checks all need the *delta* an operation applies, and `OperationState` reports
+* only the state after it. Weighing them against absolutes would stop a
+* forbidden token the account merely holds, or a quota the operation never
+* touched. The engine performed all three during the walk, so a simulation that
+* came back `ok` has already passed them.
+*
+* A pool operation has no account to weigh, so what is left is the pool's own
+* state — which the engine does not read either.
+*/
+function checkSimulation(sdk, input, options = {}) {
+	if ("pool" in input) {
+		const { pool, state, isDeposit } = input;
+		return require_onchain_validation_bundles_checkPoolOperation.checkPoolOperation({
+			sdk,
+			pool,
+			isDeposit,
+			tokenOut: state.tokenOut
+		});
+	}
+	const { state } = input;
+	const suite = sdk.marketRegister.findCreditManager(state.creditManager);
+	return [
+		...require_onchain_validation_bundles_checkMarket.checkMarket(suite),
+		...require_onchain_validation_checks_checkDebtLimits.checkDebtLimits({
+			debt: state.totalDebt.value,
+			minDebt: suite.creditFacade.minDebt,
+			maxDebt: suite.creditFacade.maxDebt,
+			underlying: require_onchain_validation_helpers_token.toToken(sdk, suite.market.pool.underlying),
+			allowZero: true
+		}),
+		...require_onchain_validation_bundles_checkAccountQuotas.checkAccountQuotas(suite, state),
+		...require_onchain_validation_bundles_checkHealthFactors.checkHealthFactors(state, options)
+	];
+}
+//#endregion
+exports.checkSimulation = checkSimulation;

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

@@ -0,0 +1,25 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_model_errors_operation_errors = require("../../../model/errors/operation-errors.js");
+require("../../../model/index.js");
+const require_onchain_validation_helpers_amount = require("../helpers/amount.js");
+require("../helpers/index.js");
+//#region src/onchain/validation/checks/checkBorrowLimit.ts
+/**
+* What the pool will hand over, against what is asked for.
+*
+* `available` and `limit` are the caller's reading of which limit is in the
+* way; this check only compares. `maxBorrowAmount` is the largest debt still
+* takeable, left out when none is.
+*/
+function checkBorrowLimit(args) {
+	const { requested, available, limit, underlying, maxBorrowAmount } = args;
+	if (requested <= available) return [];
+	return [require_model_errors_operation_errors.insufficientPoolLiquidity({
+		requested: require_onchain_validation_helpers_amount.amountOf(underlying, requested),
+		available: require_onchain_validation_helpers_amount.amountOf(underlying, available),
+		limit,
+		...maxBorrowAmount === void 0 ? {} : { maxBorrowAmount: require_onchain_validation_helpers_amount.amountOf(underlying, maxBorrowAmount) }
+	})];
+}
+//#endregion
+exports.checkBorrowLimit = checkBorrowLimit;

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

@@ -0,0 +1,26 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_model_errors_operation_errors = require("../../../model/errors/operation-errors.js");
+require("../../../model/index.js");
+//#region src/onchain/validation/checks/checkCollateralised.ts
+/**
+* The account against its debt, at whichever threshold 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, healthFactorThreshold, safePrices, improvesFrom } = args;
+	if (healthFactor === void 0) return [require_model_errors_operation_errors.insufficientCollateral({
+		healthFactor: 0,
+		healthFactorThreshold,
+		safePrices
+	})];
+	if (healthFactor >= healthFactorThreshold || improvesFrom !== void 0 && healthFactor > improvesFrom) return [];
+	return [require_model_errors_operation_errors.insufficientCollateral({
+		healthFactor,
+		healthFactorThreshold,
+		safePrices
+	})];
+}
+//#endregion
+exports.checkCollateralised = checkCollateralised;

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

@@ -0,0 +1,10 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_model_errors_liquidation_errors = require("../../../model/errors/liquidation-errors.js");
+require("../../../model/index.js");
+//#region src/onchain/validation/checks/checkCreditAccountFrozen.ts
+/** An RWA factory freeze stops the account's collateral from moving. */
+function checkCreditAccountFrozen(args) {
+	return args.frozen ? [require_model_errors_liquidation_errors.creditAccountFrozen(args.creditAccount)] : [];
+}
+//#endregion
+exports.checkCreditAccountFrozen = checkCreditAccountFrozen;

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

@@ -0,0 +1,10 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_model_errors_operation_errors = require("../../../model/errors/operation-errors.js");
+require("../../../model/index.js");
+//#region src/onchain/validation/checks/checkCreditManagerPaused.ts
+/** The credit manager takes no multicall while it is paused. */
+function checkCreditManagerPaused(args) {
+	return args.isPaused ? [require_model_errors_operation_errors.creditManagerPaused(args.creditManager)] : [];
+}
+//#endregion
+exports.checkCreditManagerPaused = checkCreditManagerPaused;

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

@@ -0,0 +1,18 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_model_errors_operation_errors = require("../../../model/errors/operation-errors.js");
+require("../../../model/index.js");
+const require_onchain_validation_helpers_amount = require("../helpers/amount.js");
+require("../helpers/index.js");
+//#region src/onchain/validation/checks/checkDebtLimits.ts
+/** A debt the facade would revert on. */
+function checkDebtLimits(args) {
+	const { debt, minDebt, maxDebt, underlying, allowZero } = args;
+	if (!(debt > maxDebt || debt < minDebt && !(allowZero && debt === 0n))) return [];
+	return [require_model_errors_operation_errors.debtOutOfRange({
+		requested: require_onchain_validation_helpers_amount.amountOf(underlying, debt),
+		minDebt: require_onchain_validation_helpers_amount.amountOf(underlying, minDebt),
+		maxDebt: require_onchain_validation_helpers_amount.amountOf(underlying, maxDebt)
+	})];
+}
+//#endregion
+exports.checkDebtLimits = checkDebtLimits;

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

@@ -0,0 +1,13 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_model_errors_liquidation_errors = require("../../../model/errors/liquidation-errors.js");
+require("../../../model/index.js");
+//#region src/onchain/validation/checks/checkEmergencyLiquidator.ts
+/**
+* A paused market only accepts liquidations from its emergency liquidators.
+* An unpaused market does not consult the list.
+*/
+function checkEmergencyLiquidator(args) {
+	return args.paused && !args.isEmergencyLiquidator ? [require_model_errors_liquidation_errors.notEmergencyLiquidator(args.creditManager, args.liquidator)] : [];
+}
+//#endregion
+exports.checkEmergencyLiquidator = checkEmergencyLiquidator;

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

@@ -0,0 +1,10 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_model_errors_operation_errors = require("../../../model/errors/operation-errors.js");
+require("../../../model/index.js");
+//#region src/onchain/validation/checks/checkForbiddenToken.ts
+/** A token the market will not let the account hold more of. */
+function checkForbiddenToken(args) {
+	return args.isForbidden ? [require_model_errors_operation_errors.forbiddenToken(args.token)] : [];
+}
+//#endregion
+exports.checkForbiddenToken = checkForbiddenToken;

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

@@ -0,0 +1,13 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_model_errors_operation_errors = require("../../../model/errors/operation-errors.js");
+require("../../../model/index.js");
+//#region src/onchain/validation/checks/checkLeverage.ts
+/** Leverage below 1x is not a position, it is a withdrawal. */
+function checkLeverage(args) {
+	return args.leverage < args.min ? [require_model_errors_operation_errors.leverageOutOfRange({
+		requested: args.leverage,
+		min: args.min
+	})] : [];
+}
+//#endregion
+exports.checkLeverage = checkLeverage;

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

@@ -0,0 +1,10 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_model_errors_liquidation_errors = require("../../../model/errors/liquidation-errors.js");
+require("../../../model/index.js");
+//#region src/onchain/validation/checks/checkLiquidatorEligible.ts
+/** The compressor's KYC check of this wallet against the liquidated assets. */
+function checkLiquidatorEligible(args) {
+	return args.eligible ? [] : [require_model_errors_liquidation_errors.liquidatorNotEligible(args.kycProtocol, args.kycToken)];
+}
+//#endregion
+exports.checkLiquidatorEligible = checkLiquidatorEligible;