@gearbox-protocol/sdk 17.13.0-next.1 → 17.13.0-next.10

package/dist/types/onchain/validation/bundles/checkIncreaseDebt.d.ts

@@ -15,6 +15,5 @@ import { CreditOperationPreview } from "./checkCreditOperation.js";
  * 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.
  */
-declare function checkIncreaseDebt(suite: CreditSuite, preview: CreditOperationPreview, underlying: Token): InsufficientPoolLiquidityError[];
-//#endregion
-export { checkIncreaseDebt };
+export declare function checkIncreaseDebt(suite: CreditSuite, preview: CreditOperationPreview, underlying: Token): InsufficientPoolLiquidityError[];
+//#endregion

package/dist/types/onchain/validation/bundles/checkIncreaseQuota.d.ts

@@ -5,6 +5,5 @@ import { MarketSuite } from "../../market/MarketSuite.js";
 import { CreditOperationPreview } from "./checkCreditOperation.js";
 //#region src/onchain/validation/bundles/checkIncreaseQuota.d.ts
 /** Every quota the operation raises, against the room the keeper has left. */
-declare function checkIncreaseQuota(market: MarketSuite, preview: CreditOperationPreview, underlying: Token): QuotaLimitReachedError[];
-//#endregion
-export { checkIncreaseQuota };
+export declare function checkIncreaseQuota(market: MarketSuite, preview: CreditOperationPreview, underlying: Token): QuotaLimitReachedError[];
+//#endregion

package/dist/types/onchain/validation/bundles/checkLiquidationEligibility.d.ts

@@ -1,20 +1,20 @@
-import { CreditAccountFrozenError, LiquidatorNotEligibleError, NotEmergencyLiquidatorError } from "../../../model/errors/liquidation-errors.js";
+import { CreditAccountFrozenError, LiquidatorNotEligibleError, NotEmergencyLiquidatorError, PartialLiquidationImpossibleError } from "../../../model/errors/liquidation-errors.js";
 import { LiquidationDetails } from "../../../model/liquidations.js";
 import "../../../model/index.js";
 import { OnchainSDK } from "../../OnchainSDK.js";
 import { Address } from "viem";
 //#region src/onchain/validation/bundles/checkLiquidationEligibility.d.ts
-interface CheckLiquidationEligibilityInput {
+export interface CheckLiquidationEligibilityInput {
   sdk: OnchainSDK;
   details: LiquidationDetails;
   liquidator: Address;
 }
 /** {@inheritDoc checkLiquidationEligibility} */
-type LiquidationEligibilityError = CreditAccountFrozenError | NotEmergencyLiquidatorError | LiquidatorNotEligibleError;
+export type LiquidationEligibilityError = CreditAccountFrozenError | PartialLiquidationImpossibleError | NotEmergencyLiquidatorError | LiquidatorNotEligibleError;
 /**
  * Whether this wallet may liquidate this account, from the facts the
- * compressor already reported and the market's emergency-liquidator list.
+ * liquidation details already report and the market's emergency-liquidator
+ * list.
  */
-declare function checkLiquidationEligibility(input: CheckLiquidationEligibilityInput): LiquidationEligibilityError[];
-//#endregion
-export { CheckLiquidationEligibilityInput, LiquidationEligibilityError, checkLiquidationEligibility };
+export declare function checkLiquidationEligibility(input: CheckLiquidationEligibilityInput): LiquidationEligibilityError[];
+//#endregion

package/dist/types/onchain/validation/bundles/checkLiquidationFunding.d.ts

@@ -4,15 +4,15 @@ import { OnchainSDK } from "../../OnchainSDK.js";
 import { WalletFundingError } from "./checkWallet.js";
 import { Address } from "viem";
 //#region src/onchain/validation/bundles/checkLiquidationFunding.d.ts
-interface CheckLiquidationFundingInput {
+export interface CheckLiquidationFundingInput {
   sdk: OnchainSDK;
   details: LiquidationDetails;
   liquidator: Address;
   blockNumber?: bigint;
 }
 /**
- * What the liquidator wallet must hold and have approved.
+ * What the liquidator wallet must hold and have approved, for a full or
+ * partial liquidation alike.
  */
-declare function checkLiquidationFunding(input: CheckLiquidationFundingInput): Promise<WalletFundingError[]>;
-//#endregion
-export { CheckLiquidationFundingInput, checkLiquidationFunding };
+export declare function checkLiquidationFunding(input: CheckLiquidationFundingInput): Promise<WalletFundingError[]>;
+//#endregion

package/dist/types/onchain/validation/bundles/checkMarket.d.ts

@@ -3,13 +3,12 @@ import "../../../model/index.js";
 import { CreditSuite } from "../../market/credit/CreditSuite.js";
 //#region src/onchain/validation/bundles/checkMarket.d.ts
 /** {@inheritDoc checkMarket} */
-type MarketStateError = CreditManagerPausedError | MarketExpiredError;
+export type MarketStateError = CreditManagerPausedError | MarketExpiredError;
 /**
  * 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.
  */
-declare function checkMarket(suite: CreditSuite): MarketStateError[];
-//#endregion
-export { MarketStateError, checkMarket };
+export declare function checkMarket(suite: CreditSuite): MarketStateError[];
+//#endregion

package/dist/types/onchain/validation/bundles/checkMidasAccountGreenlist.d.ts

@@ -6,7 +6,7 @@ import { IDegenNFT } from "../../market/rwa/types.js";
 import { OnchainSDK } from "../../OnchainSDK.js";
 import { Address } from "viem";
 //#region src/onchain/validation/bundles/checkMidasAccountGreenlist.d.ts
-interface CheckMidasAccountGreenlistInput {
+export interface CheckMidasAccountGreenlistInput {
   sdk: OnchainSDK;
   preview: OpenStrategyPositionPreview;
   nft: IDegenNFT;
@@ -17,6 +17,5 @@ interface CheckMidasAccountGreenlistInput {
  * Whether the credit account already holds the Midas greenlisted role
  * this permissioned mToken requires of its holder.
  */
-declare function checkMidasAccountGreenlist(input: CheckMidasAccountGreenlistInput): Promise<(AccountNotMidasGreenlistedError | UnexpectedFailureError)[]>;
-//#endregion
-export { CheckMidasAccountGreenlistInput, checkMidasAccountGreenlist };
+export declare function checkMidasAccountGreenlist(input: CheckMidasAccountGreenlistInput): Promise<(AccountNotMidasGreenlistedError | UnexpectedFailureError)[]>;
+//#endregion

package/dist/types/onchain/validation/bundles/checkObtained.d.ts

@@ -4,6 +4,5 @@ import { CreditSuite } from "../../market/credit/CreditSuite.js";
 import { CreditOperationPreview } from "./checkCreditOperation.js";
 //#region src/onchain/validation/bundles/checkObtained.d.ts
 /** Every token the operation buys more of, against what the market forbids. */
-declare function checkObtained(suite: CreditSuite, preview: CreditOperationPreview): ForbiddenTokenError[];
-//#endregion
-export { checkObtained };
+export declare function checkObtained(suite: CreditSuite, preview: CreditOperationPreview): ForbiddenTokenError[];
+//#endregion

package/dist/types/onchain/validation/bundles/checkPoolFunding.d.ts

@@ -4,7 +4,7 @@ import { OnchainSDK } from "../../OnchainSDK.js";
 import { WalletFundingError } from "./checkWallet.js";
 import { Address } from "viem";
 //#region src/onchain/validation/bundles/checkPoolFunding.d.ts
-interface CheckPoolFundingInput {
+export interface CheckPoolFundingInput {
   sdk: OnchainSDK;
   preview: PoolPositionOperationPreview;
   sender: Address;
@@ -14,6 +14,5 @@ interface CheckPoolFundingInput {
  * What the wallet must hold (and approve) for a pool deposit, mint, withdraw
  * or redeem, read off the preview's `tokenIn`, `zapper` and `holder`.
  */
-declare function checkPoolFunding(input: CheckPoolFundingInput): Promise<WalletFundingError[]>;
-//#endregion
-export { CheckPoolFundingInput, checkPoolFunding };
+export declare function checkPoolFunding(input: CheckPoolFundingInput): Promise<WalletFundingError[]>;
+//#endregion

package/dist/types/onchain/validation/bundles/checkPoolOperation.d.ts

@@ -5,8 +5,8 @@ import { OnchainSDK } from "../../OnchainSDK.js";
 import { Address } from "viem";
 //#region src/onchain/validation/bundles/checkPoolOperation.d.ts
 /** {@inheritDoc checkPoolOperation} */
-type PoolOperationError = PoolPausedError | PoolSunsetError | InsufficientPoolLiquidityError;
-interface PoolOperationArgs {
+export type PoolOperationError = PoolPausedError | PoolSunsetError | InsufficientPoolLiquidityError;
+export interface PoolOperationArgs {
   sdk: OnchainSDK;
   /** Pool the liquidity moves through. */
   pool: Address;
@@ -20,6 +20,5 @@ interface PoolOperationArgs {
   tokenOut: TokenAmount;
 }
 /** What the pool's own state stops, whichever side of it the wallet is on. */
-declare function checkPoolOperation(args: PoolOperationArgs): PoolOperationError[];
-//#endregion
-export { PoolOperationArgs, PoolOperationError, checkPoolOperation };
+export declare function checkPoolOperation(args: PoolOperationArgs): PoolOperationError[];
+//#endregion

package/dist/types/onchain/validation/bundles/checkQuotaUpdates.d.ts

@@ -0,0 +1,15 @@
+import { Token } from "../../../model/primitives.js";
+import { DebtOutOfRangeError, ForbiddenTokenError, QuotaAboveMaxError } from "../../../model/errors/operation-errors.js";
+import "../../../model/index.js";
+import { CreditSuite } from "../../market/credit/CreditSuite.js";
+import { CreditOperationPreview } from "./checkCreditOperation.js";
+//#region src/onchain/validation/bundles/checkQuotaUpdates.d.ts
+/** {@inheritDoc checkQuotaUpdates} */
+export type QuotaUpdateError = ForbiddenTokenError | DebtOutOfRangeError | QuotaAboveMaxError;
+/**
+ * What the facade reverts on in each quota the operation touches: an increase
+ * on a forbidden token, an increase on an account that ends with zero debt, and
+ * a resulting quota above `MAX_QUOTA_MULTIPLIER × maxDebt`.
+ */
+export declare function checkQuotaUpdates(suite: CreditSuite, preview: CreditOperationPreview, underlying: Token): QuotaUpdateError[];
+//#endregion

package/dist/types/onchain/validation/bundles/checkRWAOpenRequirements.d.ts

@@ -5,7 +5,7 @@ import "../../../model/index.js";
 import { OnchainSDK } from "../../OnchainSDK.js";
 import { Address } from "viem";
 //#region src/onchain/validation/bundles/checkRWAOpenRequirements.d.ts
-interface CheckRWAOpenRequirementsInput {
+export interface CheckRWAOpenRequirementsInput {
   sdk: OnchainSDK;
   wallet: Address;
   creditManager: Address;
@@ -16,6 +16,5 @@ interface CheckRWAOpenRequirementsInput {
  * The degen NFT is satisfied that `wallet` may open on `token` with the
  * registration args already on the transaction.
  */
-declare function checkRWAOpenRequirements(input: CheckRWAOpenRequirementsInput): Promise<(RWAOpenRequirementsError | UnexpectedFailureError)[]>;
-//#endregion
-export { CheckRWAOpenRequirementsInput, checkRWAOpenRequirements };
+export declare function checkRWAOpenRequirements(input: CheckRWAOpenRequirementsInput): Promise<(RWAOpenRequirementsError | UnexpectedFailureError)[]>;
+//#endregion

package/dist/types/onchain/validation/bundles/checkRWAOpening.d.ts

@@ -5,17 +5,16 @@ import "../../../model/index.js";
 import { OnchainSDK } from "../../OnchainSDK.js";
 import { Address } from "viem";
 //#region src/onchain/validation/bundles/checkRWAOpening.d.ts
-interface CheckRWAOpeningInput {
+export interface CheckRWAOpeningInput {
   sdk: OnchainSDK;
   preview: OpenStrategyPositionPreview;
   sender: Address;
 }
-type RWAOpeningError = RWAOpenRequirementsError | AccountNotMidasGreenlistedError | UnexpectedFailureError;
+export type RWAOpeningError = RWAOpenRequirementsError | AccountNotMidasGreenlistedError | UnexpectedFailureError;
 /**
  * Per KYC-gated token among `collateralAdded ∪ quotas`, whether the
  * borrower still has to register or sign before this opening can land,
  * and whether a Midas credit account may hold the mToken.
  */
-declare function checkRWAOpening(input: CheckRWAOpeningInput): Promise<RWAOpeningError[]>;
-//#endregion
-export { CheckRWAOpeningInput, RWAOpeningError, checkRWAOpening };
+export declare function checkRWAOpening(input: CheckRWAOpeningInput): Promise<RWAOpeningError[]>;
+//#endregion

package/dist/types/onchain/validation/bundles/checkWallet.d.ts

@@ -5,8 +5,8 @@ import { OnchainSDK } from "../../OnchainSDK.js";
 import { Address } from "viem";
 //#region src/onchain/validation/bundles/checkWallet.d.ts
 /** {@inheritDoc checkWallet} */
-type WalletFundingError = InsufficientBalanceError | InsufficientAllowanceError | UnexpectedFailureError;
-interface CheckWalletInput {
+export type WalletFundingError = InsufficientBalanceError | InsufficientAllowanceError | UnexpectedFailureError;
+export interface CheckWalletInput {
   sdk: OnchainSDK;
   token: Address;
   holder: Address;
@@ -18,6 +18,5 @@ interface CheckWalletInput {
  * 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).
  */
-declare function checkWallet(input: CheckWalletInput): Promise<WalletFundingError[]>;
-//#endregion
-export { CheckWalletInput, WalletFundingError, checkWallet };
+export declare function checkWallet(input: CheckWalletInput): Promise<WalletFundingError[]>;
+//#endregion

package/dist/types/onchain/validation/bundles/checkWalletAllowance.d.ts

@@ -4,7 +4,7 @@ import "../../../model/index.js";
 import { OnchainSDK } from "../../OnchainSDK.js";
 import { Address } from "viem";
 //#region src/onchain/validation/bundles/checkWalletAllowance.d.ts
-interface CheckWalletAllowanceInput {
+export interface CheckWalletAllowanceInput {
   sdk: OnchainSDK;
   token: Address;
   owner: Address;
@@ -13,6 +13,5 @@ interface CheckWalletAllowanceInput {
   blockNumber?: bigint;
 }
 /** `owner` has approved `spender` for at least `required` of `token`. */
-declare function checkWalletAllowance(input: CheckWalletAllowanceInput): Promise<(InsufficientAllowanceError | UnexpectedFailureError)[]>;
-//#endregion
-export { CheckWalletAllowanceInput, checkWalletAllowance };
+export declare function checkWalletAllowance(input: CheckWalletAllowanceInput): Promise<(InsufficientAllowanceError | UnexpectedFailureError)[]>;
+//#endregion

package/dist/types/onchain/validation/bundles/checkWalletBalance.d.ts

@@ -4,7 +4,7 @@ import "../../../model/index.js";
 import { OnchainSDK } from "../../OnchainSDK.js";
 import { Address } from "viem";
 //#region src/onchain/validation/bundles/checkWalletBalance.d.ts
-interface CheckWalletBalanceInput {
+export interface CheckWalletBalanceInput {
   sdk: OnchainSDK;
   token: Address;
   holder: Address;
@@ -12,6 +12,5 @@ interface CheckWalletBalanceInput {
   blockNumber?: bigint;
 }
 /** `holder` holds at least `required` of `token` (ERC-20 or native). */
-declare function checkWalletBalance(input: CheckWalletBalanceInput): Promise<(InsufficientBalanceError | UnexpectedFailureError)[]>;
-//#endregion
-export { CheckWalletBalanceInput, checkWalletBalance };
+export declare function checkWalletBalance(input: CheckWalletBalanceInput): Promise<(InsufficientBalanceError | UnexpectedFailureError)[]>;
+//#endregion

package/dist/types/onchain/validation/bundles/index.d.ts

@@ -12,8 +12,9 @@ import { CheckMidasAccountGreenlistInput, checkMidasAccountGreenlist } from "./c
 import { checkObtained } from "./checkObtained.js";
 import { CheckPoolFundingInput, checkPoolFunding } from "./checkPoolFunding.js";
 import { PoolOperationArgs, PoolOperationError, checkPoolOperation } from "./checkPoolOperation.js";
+import { QuotaUpdateError, checkQuotaUpdates } from "./checkQuotaUpdates.js";
 import { CheckRWAOpeningInput, RWAOpeningError, checkRWAOpening } from "./checkRWAOpening.js";
 import { CheckRWAOpenRequirementsInput, checkRWAOpenRequirements } from "./checkRWAOpenRequirements.js";
 import { CheckWalletAllowanceInput, checkWalletAllowance } from "./checkWalletAllowance.js";
 import { CheckWalletBalanceInput, checkWalletBalance } from "./checkWalletBalance.js";
-export { CheckCollateralFundingInput, CheckLiquidationEligibilityInput, CheckLiquidationFundingInput, CheckMidasAccountGreenlistInput, CheckPoolFundingInput, CheckRWAOpenRequirementsInput, CheckRWAOpeningInput, CheckWalletAllowanceInput, CheckWalletBalanceInput, CheckWalletInput, CollateralFundingPreview, CreditOperationArgs, CreditOperationError, CreditOperationPreview, HealthFactorThresholds, LiquidationEligibilityError, MarketStateError, PoolOperationArgs, PoolOperationError, RWAOpeningError, WalletFundingError, WeighedFactors, checkAccountQuotas, checkCollateralFunding, checkCreditOperation, checkHealthFactors, checkIncreaseDebt, checkIncreaseQuota, checkLiquidationEligibility, checkLiquidationFunding, checkMarket, checkMidasAccountGreenlist, checkObtained, checkPoolFunding, checkPoolOperation, checkRWAOpenRequirements, checkRWAOpening, checkWallet, checkWalletAllowance, checkWalletBalance };
+export { CheckCollateralFundingInput, CheckLiquidationEligibilityInput, CheckLiquidationFundingInput, CheckMidasAccountGreenlistInput, CheckPoolFundingInput, CheckRWAOpenRequirementsInput, CheckRWAOpeningInput, CheckWalletAllowanceInput, CheckWalletBalanceInput, CheckWalletInput, CollateralFundingPreview, CreditOperationArgs, CreditOperationError, CreditOperationPreview, HealthFactorThresholds, LiquidationEligibilityError, MarketStateError, PoolOperationArgs, PoolOperationError, QuotaUpdateError, RWAOpeningError, WalletFundingError, WeighedFactors, checkAccountQuotas, checkCollateralFunding, checkCreditOperation, checkHealthFactors, checkIncreaseDebt, checkIncreaseQuota, checkLiquidationEligibility, checkLiquidationFunding, checkMarket, checkMidasAccountGreenlist, checkObtained, checkPoolFunding, checkPoolOperation, checkQuotaUpdates, checkRWAOpenRequirements, checkRWAOpening, checkWallet, checkWalletAllowance, checkWalletBalance };

package/dist/types/onchain/validation/checkLiquidation.d.ts

@@ -5,19 +5,19 @@ import { WalletFundingError } from "./bundles/checkWallet.js";
 import { LiquidationEligibilityError } from "./bundles/checkLiquidationEligibility.js";
 import { Address } from "viem";
 //#region src/onchain/validation/checkLiquidation.d.ts
-interface CheckLiquidationInput {
+export interface CheckLiquidationInput {
   details: LiquidationDetails;
   liquidator: Address;
 }
-interface CheckLiquidationOptions {
+export interface CheckLiquidationOptions {
   /** Block to read at; defaults to latest. Only set for testnet forks. */
   blockNumber?: bigint;
 }
 /** {@inheritDoc checkLiquidation} */
-type LiquidationValidationError = LiquidationEligibilityError | WalletFundingError;
+export type LiquidationValidationError = LiquidationEligibilityError | WalletFundingError;
 /**
- * Whether `liquidator` may send a full liquidation of this account
+ * Whether `liquidator` may send the full or partial liquidation `details`
+ * describe
  */
-declare function checkLiquidation(sdk: OnchainSDK, input: CheckLiquidationInput, options?: CheckLiquidationOptions): Promise<LiquidationValidationError[]>;
-//#endregion
-export { CheckLiquidationInput, CheckLiquidationOptions, LiquidationValidationError, checkLiquidation };
+export declare function checkLiquidation(sdk: OnchainSDK, input: CheckLiquidationInput, options?: CheckLiquidationOptions): Promise<LiquidationValidationError[]>;
+//#endregion

package/dist/types/onchain/validation/checkOperation.d.ts

@@ -7,18 +7,18 @@ import { CreditOperationError } from "./bundles/checkCreditOperation.js";
 import { PoolOperationError } from "./bundles/checkPoolOperation.js";
 import { Address } from "viem";
 //#region src/onchain/validation/checkOperation.d.ts
-interface CheckOperationOptions extends HealthFactorThresholds {
+export interface CheckOperationOptions extends HealthFactorThresholds {
   /** Block to read at; defaults to latest. Only set for testnet forks. */
   blockNumber?: bigint;
 }
-interface CheckOperationInput {
+export interface CheckOperationInput {
   sdk: OnchainSDK;
   preview: OperationPreview;
   /** The wallet that signs. Its allowances, balances and RWA standing are read on-chain. */
   sender: Address;
 }
 /** {@inheritDoc checkOperation} */
-type OperationValidationError = CreditOperationError | PoolOperationError | WalletFundingError;
+export type OperationValidationError = CreditOperationError | PoolOperationError | WalletFundingError;
 /**
  * Whether a parsed operation may be signed by `sender`: protocol state first,
  * then what the wallet has to approve, hold or sign.
@@ -27,6 +27,5 @@ type OperationValidationError = CreditOperationError | PoolOperationError | Wall
  * for one verdict reports the first entry. Approve and sign errors are picked
  * out by `code`, not by position.
  */
-declare function checkOperation(input: CheckOperationInput, options?: CheckOperationOptions): Promise<OperationValidationError[]>;
-//#endregion
-export { CheckOperationInput, CheckOperationOptions, OperationValidationError, checkOperation };
+export declare function checkOperation(input: CheckOperationInput, options?: CheckOperationOptions): Promise<OperationValidationError[]>;
+//#endregion

package/dist/types/onchain/validation/checkSimulation.d.ts

@@ -8,13 +8,13 @@ import { HealthFactorThresholds } from "./bundles/checkHealthFactors.js";
 import { MarketStateError } from "./bundles/checkMarket.js";
 //#region src/onchain/validation/checkSimulation.d.ts
 /** A simulated credit operation, as the intents engine reports one. */
-interface CreditSimulationInput {
+export interface CreditSimulationInput {
   chainId: ChainId;
   state: OperationState | OpenStrategyState;
 }
-type CheckSimulationInput = CreditSimulationInput;
+export type CheckSimulationInput = CreditSimulationInput;
 /** {@inheritDoc checkSimulation} */
-type SimulationValidationError = MarketStateError | DebtOutOfRangeError | QuotaCountExceededError | InsufficientCollateralError;
+export type SimulationValidationError = MarketStateError | DebtOutOfRangeError | QuotaCountExceededError | InsufficientCollateralError;
 /**
  * Whether a simulated operation clears the caller's own thresholds.
  *
@@ -40,6 +40,5 @@ type SimulationValidationError = MarketStateError | DebtOutOfRangeError | QuotaC
  * before it answers. An opening names its quotas `averageQuota` — the branch
  * the planner already weighed it as.
  */
-declare function checkSimulation(sdk: OnchainSDK, input: CheckSimulationInput, options?: HealthFactorThresholds): SimulationValidationError[];
-//#endregion
-export { CheckSimulationInput, CreditSimulationInput, SimulationValidationError, checkSimulation };
+export declare function checkSimulation(sdk: OnchainSDK, input: CheckSimulationInput, options?: HealthFactorThresholds): SimulationValidationError[];
+//#endregion

package/dist/types/onchain/validation/checks/checkBorrowLimit.d.ts

@@ -2,7 +2,7 @@ import { Token } from "../../../model/primitives.js";
 import { BorrowLimitCause, InsufficientPoolLiquidityError, OperationLimitOptions } from "../../../model/errors/operation-errors.js";
 import "../../../model/index.js";
 //#region src/onchain/validation/checks/checkBorrowLimit.d.ts
-interface BorrowLimitArgs extends OperationLimitOptions {
+export interface BorrowLimitArgs extends OperationLimitOptions {
   requested: bigint;
   available: bigint;
   limit: BorrowLimitCause;
@@ -16,6 +16,5 @@ interface BorrowLimitArgs extends OperationLimitOptions {
  * way; this check only compares. `maxBorrowAmount` is the largest debt still
  * takeable, left out when none is.
  */
-declare function checkBorrowLimit(args: BorrowLimitArgs): InsufficientPoolLiquidityError[];
-//#endregion
-export { BorrowLimitArgs, checkBorrowLimit };
+export declare function checkBorrowLimit(args: BorrowLimitArgs): InsufficientPoolLiquidityError[];
+//#endregion

package/dist/types/onchain/validation/checks/checkCollateralised.d.ts

@@ -2,7 +2,7 @@ import { Bps } from "../../../model/primitives.js";
 import { InsufficientCollateralError } from "../../../model/errors/operation-errors.js";
 import "../../../model/index.js";
 //#region src/onchain/validation/checks/checkCollateralised.d.ts
-interface CollateralisedArgs {
+export interface CollateralisedArgs {
   healthFactor: Bps | undefined;
   /** The lowest acceptable factor — a factor equal to it passes. */
   healthFactorThreshold: Bps;
@@ -20,6 +20,5 @@ interface CollateralisedArgs {
  * An unread factor counts as failing: a check that cannot see the number is
  * not evidence that the number is fine.
  */
-declare function checkCollateralised(args: CollateralisedArgs): InsufficientCollateralError[];
-//#endregion
-export { CollateralisedArgs, checkCollateralised };
+export declare function checkCollateralised(args: CollateralisedArgs): InsufficientCollateralError[];
+//#endregion

package/dist/types/onchain/validation/checks/checkCreditAccountFrozen.d.ts

@@ -2,11 +2,10 @@ import { CreditAccountFrozenError } from "../../../model/errors/liquidation-erro
 import "../../../model/index.js";
 import { Address } from "viem";
 //#region src/onchain/validation/checks/checkCreditAccountFrozen.d.ts
-interface CreditAccountFrozenArgs {
+export interface CreditAccountFrozenArgs {
   frozen: boolean;
   creditAccount: Address;
 }
 /** An RWA factory freeze stops the account's collateral from moving. */
-declare function checkCreditAccountFrozen(args: CreditAccountFrozenArgs): CreditAccountFrozenError[];
-//#endregion
-export { CreditAccountFrozenArgs, checkCreditAccountFrozen };
+export declare function checkCreditAccountFrozen(args: CreditAccountFrozenArgs): CreditAccountFrozenError[];
+//#endregion

package/dist/types/onchain/validation/checks/checkCreditManagerPaused.d.ts

@@ -2,11 +2,10 @@ import { CreditManagerPausedError } from "../../../model/errors/operation-errors
 import "../../../model/index.js";
 import { Address } from "viem";
 //#region src/onchain/validation/checks/checkCreditManagerPaused.d.ts
-interface CreditManagerPausedArgs {
+export interface CreditManagerPausedArgs {
   isPaused: boolean;
   creditManager: Address;
 }
 /** The credit manager takes no multicall while it is paused. */
-declare function checkCreditManagerPaused(args: CreditManagerPausedArgs): CreditManagerPausedError[];
-//#endregion
-export { CreditManagerPausedArgs, checkCreditManagerPaused };
+export declare function checkCreditManagerPaused(args: CreditManagerPausedArgs): CreditManagerPausedError[];
+//#endregion

package/dist/types/onchain/validation/checks/checkDebtLimits.d.ts

@@ -4,7 +4,7 @@ import "../../../model/index.js";
 import { MaxBorrowAmount } from "../../market/credit/types.js";
 import "../../market/index.js";
 //#region src/onchain/validation/checks/checkDebtLimits.d.ts
-interface DebtLimitsArgs extends OperationLimitOptions {
+export interface DebtLimitsArgs extends OperationLimitOptions {
   debt: bigint;
   minDebt: bigint;
   maxDebt: bigint;
@@ -20,6 +20,5 @@ interface DebtLimitsArgs extends OperationLimitOptions {
   maxBorrowAmount?: MaxBorrowAmount;
 }
 /** A debt the facade would revert on. */
-declare function checkDebtLimits(args: DebtLimitsArgs): DebtOutOfRangeError[];
-//#endregion
-export { DebtLimitsArgs, checkDebtLimits };
+export declare function checkDebtLimits(args: DebtLimitsArgs): DebtOutOfRangeError[];
+//#endregion

package/dist/types/onchain/validation/checks/checkEmergencyLiquidator.d.ts

@@ -2,7 +2,7 @@ import { NotEmergencyLiquidatorError } from "../../../model/errors/liquidation-e
 import "../../../model/index.js";
 import { Address } from "viem";
 //#region src/onchain/validation/checks/checkEmergencyLiquidator.d.ts
-interface EmergencyLiquidatorArgs {
+export interface EmergencyLiquidatorArgs {
   paused: boolean;
   isEmergencyLiquidator: boolean;
   creditManager: Address;
@@ -12,6 +12,5 @@ interface EmergencyLiquidatorArgs {
  * A paused market only accepts liquidations from its emergency liquidators.
  * An unpaused market does not consult the list.
  */
-declare function checkEmergencyLiquidator(args: EmergencyLiquidatorArgs): NotEmergencyLiquidatorError[];
-//#endregion
-export { EmergencyLiquidatorArgs, checkEmergencyLiquidator };
+export declare function checkEmergencyLiquidator(args: EmergencyLiquidatorArgs): NotEmergencyLiquidatorError[];
+//#endregion

package/dist/types/onchain/validation/checks/checkForbiddenToken.d.ts

@@ -2,11 +2,10 @@ import { Token } from "../../../model/primitives.js";
 import { ForbiddenTokenError } from "../../../model/errors/operation-errors.js";
 import "../../../model/index.js";
 //#region src/onchain/validation/checks/checkForbiddenToken.d.ts
-interface ForbiddenTokenArgs {
+export interface ForbiddenTokenArgs {
   token: Token;
   isForbidden: boolean;
 }
 /** A token the market will not let the account hold more of. */
-declare function checkForbiddenToken(args: ForbiddenTokenArgs): ForbiddenTokenError[];
-//#endregion
-export { ForbiddenTokenArgs, checkForbiddenToken };
+export declare function checkForbiddenToken(args: ForbiddenTokenArgs): ForbiddenTokenError[];
+//#endregion

package/dist/types/onchain/validation/checks/checkLeverage.d.ts

@@ -1,12 +1,11 @@
 import { LeverageOutOfRangeError } from "../../../model/errors/operation-errors.js";
 import "../../../model/index.js";
 //#region src/onchain/validation/checks/checkLeverage.d.ts
-interface LeverageArgs {
+export interface LeverageArgs {
   /** Scaled by `LEVERAGE_DECIMALS` (`100n` = 1x), as the intent states it. */
   leverage: bigint;
   min: bigint;
 }
 /** Leverage below 1x is not a position, it is a withdrawal. */
-declare function checkLeverage(args: LeverageArgs): LeverageOutOfRangeError[];
-//#endregion
-export { LeverageArgs, checkLeverage };
+export declare function checkLeverage(args: LeverageArgs): LeverageOutOfRangeError[];
+//#endregion

package/dist/types/onchain/validation/checks/checkLiquidatorEligible.d.ts

@@ -2,12 +2,11 @@ import { Token } from "../../../model/primitives.js";
 import { LiquidatorNotEligibleError } from "../../../model/errors/liquidation-errors.js";
 import "../../../model/index.js";
 //#region src/onchain/validation/checks/checkLiquidatorEligible.d.ts
-interface LiquidatorEligibleArgs {
+export interface LiquidatorEligibleArgs {
   eligible: boolean;
   kycProtocol?: string;
   kycToken?: Token;
 }
 /** The compressor's KYC check of this wallet against the liquidated assets. */
-declare function checkLiquidatorEligible(args: LiquidatorEligibleArgs): LiquidatorNotEligibleError[];
-//#endregion
-export { LiquidatorEligibleArgs, checkLiquidatorEligible };
+export declare function checkLiquidatorEligible(args: LiquidatorEligibleArgs): LiquidatorNotEligibleError[];
+//#endregion

package/dist/types/onchain/validation/checks/checkMarketExpired.d.ts

@@ -2,13 +2,12 @@ import { MarketExpiredError } from "../../../model/errors/operation-errors.js";
 import "../../../model/index.js";
 import { Address } from "viem";
 //#region src/onchain/validation/checks/checkMarketExpired.d.ts
-interface MarketExpiredArgs {
+export interface MarketExpiredArgs {
   isExpired: boolean;
   creditManager: Address;
   /** Unix seconds, as the facade reports it. */
   expirationDate: number;
 }
 /** Past its expiration date the facade takes no more multicalls. */
-declare function checkMarketExpired(args: MarketExpiredArgs): MarketExpiredError[];
-//#endregion
-export { MarketExpiredArgs, checkMarketExpired };
+export declare function checkMarketExpired(args: MarketExpiredArgs): MarketExpiredError[];
+//#endregion

package/dist/types/onchain/validation/checks/checkMaxQuota.d.ts

@@ -0,0 +1,15 @@
+import { Token } from "../../../model/primitives.js";
+import { QuotaAboveMaxError } from "../../../model/errors/operation-errors.js";
+import "../../../model/index.js";
+//#region src/onchain/validation/checks/checkMaxQuota.d.ts
+export interface MaxQuotaArgs {
+  token: Token;
+  /** Both in the underlying. */
+  requested: bigint;
+  /** `MAX_QUOTA_MULTIPLIER × maxDebt`. */
+  maxQuota: bigint;
+  underlying: Token;
+}
+/** The facade's per-token quota ceiling. */
+export declare function checkMaxQuota(args: MaxQuotaArgs): QuotaAboveMaxError[];
+//#endregion

package/dist/types/onchain/validation/checks/checkPartiallyLiquidatable.d.ts

@@ -0,0 +1,16 @@
+import { PartialLiquidationImpossibleError } from "../../../model/errors/liquidation-errors.js";
+import "../../../model/index.js";
+import { Address } from "viem";
+//#region src/onchain/validation/checks/checkPartiallyLiquidatable.d.ts
+export interface PartiallyLiquidatableArgs {
+  /** `false` for full liquidations, which this check does not concern. */
+  isPartial: boolean;
+  partiallyLiquidatable: boolean;
+  creditAccount: Address;
+}
+/**
+ * A partial liquidation that cannot reach the target health factor without
+ * leaving less than the minimum debt is refused.
+ */
+export declare function checkPartiallyLiquidatable(args: PartiallyLiquidatableArgs): PartialLiquidationImpossibleError[];
+//#endregion

package/dist/types/onchain/validation/checks/checkPoolLiquidity.d.ts

@@ -2,12 +2,11 @@ import { Token } from "../../../model/primitives.js";
 import { InsufficientPoolLiquidityError } from "../../../model/errors/operation-errors.js";
 import "../../../model/index.js";
 //#region src/onchain/validation/checks/checkPoolLiquidity.d.ts
-interface PoolLiquidityArgs {
+export interface PoolLiquidityArgs {
   requested: bigint;
   available: bigint;
   underlying: Token;
 }
 /** What the pool can hand over, against what is being taken out of it. */
-declare function checkPoolLiquidity(args: PoolLiquidityArgs): InsufficientPoolLiquidityError[];
-//#endregion
-export { PoolLiquidityArgs, checkPoolLiquidity };
+export declare function checkPoolLiquidity(args: PoolLiquidityArgs): InsufficientPoolLiquidityError[];
+//#endregion

package/dist/types/onchain/validation/checks/checkPoolPaused.d.ts

@@ -2,11 +2,10 @@ import { PoolPausedError } from "../../../model/errors/operation-errors.js";
 import "../../../model/index.js";
 import { Address } from "viem";
 //#region src/onchain/validation/checks/checkPoolPaused.d.ts
-interface PoolPausedArgs {
+export interface PoolPausedArgs {
   isPaused: boolean;
   pool: Address;
 }
 /** A paused pool neither takes deposits nor serves withdrawals. */
-declare function checkPoolPaused(args: PoolPausedArgs): PoolPausedError[];
-//#endregion
-export { PoolPausedArgs, checkPoolPaused };
+export declare function checkPoolPaused(args: PoolPausedArgs): PoolPausedError[];
+//#endregion