@gearbox-protocol/sdk 14.12.0-next.2 → 14.12.0-next.20

package/dist/types/preview/parse/classifyInnerOperations.d.ts

@@ -7,8 +7,6 @@ export interface ClassifyInnerOperationsProps {
     underlying: Address;
 }
 /**
- * Calldata-only counterpart of the SDK's `classifyMulticallOperations`.
- *
  * Maps each inner multicall entry to an {@link InnerOperation}:
  * - adapter and unknown targets become a pure-descriptor `Execute`
  *   {@link AdapterOperation};

package/dist/types/preview/parse/index.d.ts

@@ -1,7 +1,7 @@
 export * from "./classifyInnerOperations.js";
 export * from "./errors.js";
-export * from "./extractExpectedBalanceChanges.js";
 export * from "./parseFacadeOperationCalldata.js";
 export * from "./parseOperationCalldata.js";
 export * from "./parsePoolOperationCalldata.js";
+export * from "./parseRWAFactoryOperationCalldata.js";
 export * from "./types.js";

package/dist/types/preview/parse/parseFacadeOperationCalldata.d.ts

@@ -1,12 +1,6 @@
 import { type Hex } from "viem";
 import type { CreditFacadeV310Contract, OnchainSDK } from "../../sdk/index.js";
 import type { OuterFacadeOperation } from "./types.js";
-export interface ParseFacadeOperationCalldataProps {
-    sdk: OnchainSDK;
-    /** Resolved credit facade contract for the transaction target. */
-    facade: CreditFacadeV310Contract;
-    calldata: Hex;
-}
 /**
  * Decodes a credit-facade entry-point call into the matching
  * {@link OuterFacadeOperation}.
@@ -15,5 +9,10 @@ export interface ParseFacadeOperationCalldataProps {
  * of the base `preview` operation: those values are only known once the
  * transaction is mined and are added in `history` mode. `creditAccount` is
  * `zeroAddress` for `openCreditAccount` (the address is assigned on-chain).
+ *
+ * @param sdk - The SDK instance.
+ * @param facade - The credit facade contract.
+ * @param calldata - The calldata to parse.
+ * @returns The parsed operation.
  */
-export declare function parseFacadeOperationCalldata(props: ParseFacadeOperationCalldataProps): OuterFacadeOperation;
+export declare function parseFacadeOperationCalldata(sdk: OnchainSDK, facade: CreditFacadeV310Contract, calldata: Hex): OuterFacadeOperation;

package/dist/types/preview/parse/parseOperationCalldata.d.ts

@@ -1,23 +1,10 @@
-import type { Address, Hex } from "viem";
 import { type PluginsMap } from "../../sdk/index.js";
-import type { Operation, SdkWithAdapters } from "./types.js";
-export interface ParseOperationCalldataInput<P extends PluginsMap = PluginsMap> {
-    /**
-     * Already-attached SDK; chain, RPC and block are baked in at attach time.
-     * Must be created with the adapters plugin (enforced at compile time) so
-     * adapter contracts resolve during multicall classification.
-     */
-    sdk: SdkWithAdapters<P>;
-    to: Address;
-    calldata: Hex;
-    /** Transaction sender, contextual only. */
-    sender: Address;
-    /** Transaction `msg.value`, required for native-token zapper deposits. */
-    value?: bigint;
-}
+import type { PreviewOperationInput } from "../types.js";
+import type { Operation } from "./types.js";
 /**
  * Decodes raw operation calldata into an {@link Operation}.
  *
- * Support parsing of pool operations (including via zappers) and credit facade operations.
+ * Support parsing of pool operations (including via zappers),
+ * credit facade operations and RWA factory operations.
  */
-export declare function parseOperationCalldata<P extends PluginsMap>(input: ParseOperationCalldataInput<P>): Operation;
+export declare function parseOperationCalldata<P extends PluginsMap>(input: PreviewOperationInput<P>): Operation;

package/dist/types/preview/parse/parsePoolOperationCalldata.d.ts

@@ -1,17 +1,12 @@
 import type { Hex } from "viem";
 import type { OnchainSDK, PoolV310Contract } from "../../sdk/index.js";
 import type { PoolOperation } from "./types.js";
-export interface ParsePoolOperationCalldataProps {
-    sdk: OnchainSDK;
-    /** Resolved pool contract for the transaction target. */
-    pool: PoolV310Contract;
-    calldata: Hex;
-}
 /**
- * Decodes ERC4626 pool calldata into a {@link PoolOperation}. Supports every
- * deposit/mint/withdraw/redeem variant of `IPoolV3` (and the `IERC4626` base it
- * extends): `deposit`/`depositWithReferral`, `mint`/`mintWithReferral`,
- * `withdraw` and `redeem`. Any other selector throws
- * {@link UnsupportedPoolFunctionError}.
+ * Decodes pool calldata into a {@link PoolOperation}.
+ *
+ * @param sdk - The SDK instance.
+ * @param pool - The pool contract.
+ * @param calldata - The calldata to parse.
+ * @returns The parsed operation.
  */
-export declare function parsePoolOperationCalldata(props: ParsePoolOperationCalldataProps): PoolOperation;
+export declare function parsePoolOperationCalldata(sdk: OnchainSDK, pool: PoolV310Contract, calldata: Hex): PoolOperation;

package/dist/types/preview/parse/parseRWAFactoryOperationCalldata.d.ts

@@ -0,0 +1,13 @@
+import type { Hex } from "viem";
+import { type IRWAFactory, type OnchainSDK } from "../../sdk/index.js";
+import type { RWAOperation } from "./types-rwa.js";
+/**
+ * Decodes a RWA-factory entry-point call into the matching
+ * {@link RWAOperation}.
+ *
+ * @param sdk - The SDK instance.
+ * @param factory - The RWA factory contract.
+ * @param calldata - The calldata to parse.
+ * @returns The parsed operation.
+ */
+export declare function parseRWAFactoryOperationCalldata(sdk: OnchainSDK, factory: IRWAFactory, calldata: Hex): RWAOperation;

package/dist/types/preview/parse/types-adapters.d.ts

@@ -1,4 +1,4 @@
-import type { Address } from "viem";
+import type { Address, Hex } from "viem";
 import type { AdapterProtocolOperation } from "../../plugins/adapters/index.js";
 /**
  * A single ERC-20 Transfer event captured between Execute boundaries.
@@ -43,6 +43,10 @@ export interface AdapterOperationBase {
      * Arguments of adapter contract
      */
     adapterArgs: Record<string, unknown>;
+    /**
+     * Raw ABI-encoded adapter calldata
+     */
+    calldata: Hex;
 }
 /**
  * Adapter `Execute` operation, generic over the extra data added by consumers.

package/dist/types/preview/parse/types-facades.d.ts

@@ -1,4 +1,5 @@
 import type { Address, Hex } from "viem";
+import type { Asset } from "../../sdk/index.js";
 import type { AdapterOperation } from "./types-adapters.js";
 /**
  * Increase debt (borrow more).
@@ -46,11 +47,32 @@ export interface UpdateQuotaOp {
     token: Address;
     change: bigint;
 }
+/**
+ * Router-generated slippage-control call that declares expected minimal
+ * balance changes for the adapter calls that follow, up to the matching
+ * {@link CompareBalancesOp}.
+ */
+export interface StoreExpectedBalancesOp {
+    operation: "StoreExpectedBalances";
+    /**
+     * Declared minimal balance changes (relative to balances at
+     * `storeExpectedBalances` time).
+     */
+    deltas: Asset[];
+}
+/**
+ * Router-generated slippage-control call that validates the balance changes
+ * declared by the preceding {@link StoreExpectedBalancesOp}. Pure validation
+ * marker, carries no data.
+ */
+export interface CompareBalancesOp {
+    operation: "CompareBalances";
+}
 /**
  * Union of facade inner-call operation types (non-adapter credit account operations).
  * Discriminated on the `operation` field.
  */
-export type InnerFacadeOperation = IncreaseDebtOp | DecreaseDebtOp | AddCollateralOp | WithdrawCollateralOp | UpdateQuotaOp;
+export type InnerFacadeOperation = IncreaseDebtOp | DecreaseDebtOp | AddCollateralOp | WithdrawCollateralOp | UpdateQuotaOp | StoreExpectedBalancesOp | CompareBalancesOp;
 /**
  * All operations that can happen within a CreditFacade's multicall and that we're interested in.
  *
@@ -71,25 +93,10 @@ export interface FacadeOperationMetadata {
     creditManager: Address;
     creditFacade: Address;
 }
-/**
- * Signed token balance delta recovered from a router-generated
- * `storeExpectedBalances` call (the `BalanceDelta` struct). `amount` is the
- * signed `int256` delta, so it may be negative.
- */
-export interface ExpectedBalanceChange {
-    token: Address;
-    delta: bigint;
-}
 export interface MulticallOperation<Ext extends object = {}> extends FacadeOperationMetadata {
     operation: "MultiCall" | "BotMulticall";
     creditAccount: Address;
     multicall: InnerOperation<Ext>[];
-    /**
-     * Potential balance changes declared by a router-generated
-     * `storeExpectedBalances`/`compareBalances` pair, or `undefined` when the
-     * multicall is not router-shaped. See {@link ExpectedBalanceChange}.
-     */
-    expectedBalanceChanges?: ExpectedBalanceChange[];
 }
 export interface OpenCreditAccountOperation<Ext extends object = {}> extends FacadeOperationMetadata {
     operation: "OpenCreditAccount";
@@ -97,23 +104,11 @@ export interface OpenCreditAccountOperation<Ext extends object = {}> extends Fac
     onBehalfOf: Address;
     referralCode: bigint;
     multicall: InnerOperation<Ext>[];
-    /**
-     * Potential balance changes declared by a router-generated
-     * `storeExpectedBalances`/`compareBalances` pair, or `undefined` when the
-     * multicall is not router-shaped. See {@link ExpectedBalanceChange}.
-     */
-    expectedBalanceChanges?: ExpectedBalanceChange[];
 }
 export interface CloseCreditAccountOperation<Ext extends object = {}> extends FacadeOperationMetadata {
     operation: "CloseCreditAccount";
     creditAccount: Address;
     multicall: InnerOperation<Ext>[];
-    /**
-     * Potential balance changes declared by a router-generated
-     * `storeExpectedBalances`/`compareBalances` pair, or `undefined` when the
-     * multicall is not router-shaped. See {@link ExpectedBalanceChange}.
-     */
-    expectedBalanceChanges?: ExpectedBalanceChange[];
 }
 export interface LiquidateCreditAccountOperation<Ext extends object = {}> extends FacadeOperationMetadata {
     operation: "LiquidateCreditAccount";
@@ -122,12 +117,6 @@ export interface LiquidateCreditAccountOperation<Ext extends object = {}> extend
     token: Address;
     remainingFunds: bigint;
     multicall: InnerOperation<Ext>[];
-    /**
-     * Potential balance changes declared by a router-generated
-     * `storeExpectedBalances`/`compareBalances` pair, or `undefined` when the
-     * multicall is not router-shaped. See {@link ExpectedBalanceChange}.
-     */
-    expectedBalanceChanges?: ExpectedBalanceChange[];
 }
 export interface PartialLiquidationOperation extends FacadeOperationMetadata {
     operation: "PartiallyLiquidateCreditAccount";

package/dist/types/preview/parse/types-pools.d.ts

@@ -23,6 +23,12 @@ export interface PoolDepositOperation {
      * deposits, or the zapper's input token for zapper-routed deposits.
      */
     tokenIn: Address;
+    /**
+     * Token minted to the receiver: the pool's diesel token for direct
+     * deposits, or the zapper's output token (e.g. a farmed/staked diesel
+     * wrapper) for zapper-routed deposits.
+     */
+    tokenOut: Address;
     /** Zapper contract the call is sent to; `undefined` for direct deposits. */
     zapper?: Address;
     /** Referral code, present only for `depositWithReferral` calls. */
@@ -48,6 +54,11 @@ export interface PoolMintOperation {
      * mints, or the zapper's input token for zapper-routed mints.
      */
     tokenIn: Address;
+    /**
+     * Token minted to the receiver: the pool's diesel token for direct mints,
+     * or the zapper's output token for zapper-routed mints.
+     */
+    tokenOut: Address;
     /** Zapper contract the call is sent to; `undefined` for direct mints. */
     zapper?: Address;
     /** Referral code, present only for `mintWithReferral` calls. */
@@ -71,6 +82,12 @@ export interface PoolWithdrawOperation {
     assets: bigint;
     /** Underlying token of the source pool. */
     underlying: Address;
+    /**
+     * Token burned from `owner`: the pool's diesel token for direct
+     * withdrawals, or the zapper's share-side token for zapper-routed
+     * withdrawals.
+     */
+    tokenIn: Address;
     /**
      * Token actually returned to the receiver: the pool underlying for direct
      * withdrawals, or the zapper's output token for zapper-routed withdrawals.
@@ -95,10 +112,20 @@ export interface PoolRedeemOperation {
     receiver: Address;
     /** Address whose pool shares are burned. */
     owner: Address;
-    /** Pool shares (diesel) burned. */
+    /**
+     * Amount of {@link PoolRedeemOperation.tokenIn} burned: pool shares
+     * (diesel) for direct redeems, or the zapper's share-side token amount for
+     * zapper-routed redeems.
+     */
     shares: bigint;
     /** Underlying token of the source pool. */
     underlying: Address;
+    /**
+     * Token burned from `owner`: the pool's diesel token for direct redeems, or
+     * the zapper's share-side token (e.g. a farmed/staked diesel wrapper) for
+     * zapper-routed redeems.
+     */
+    tokenIn: Address;
     /**
      * Token actually returned to the receiver: the pool underlying for direct
      * redeems, or the zapper's output token for zapper-routed redeems.
@@ -113,3 +140,4 @@ export interface PoolRedeemOperation {
  * field).
  */
 export type PoolOperation = PoolDepositOperation | PoolMintOperation | PoolWithdrawOperation | PoolRedeemOperation;
+export type PoolOperationType = PoolOperation["operation"];

package/dist/types/preview/parse/types-rwa.d.ts

@@ -0,0 +1,36 @@
+import type { Address } from "viem";
+import type { RWAOperationArgs } from "../../sdk/index.js";
+import type { InnerOperation } from "./types-facades.js";
+/**
+ * Metadata shared by all RWA factory operations. RWA credit accounts are
+ * opened and managed through the market's RWA factory rather than the credit
+ * facade, but the inner `calls` still target the facade/adapters, so the
+ * credit suite is known.
+ */
+export interface RWAOperationMetadata {
+    /** RWA factory contract the transaction is sent to. */
+    factory: Address;
+    creditManager: Address;
+    creditFacade: Address;
+}
+export interface RWAOpenCreditAccountOperation<Ext extends object = {}> extends RWAOperationMetadata {
+    operation: "RWAOpenCreditAccount";
+    multicall: InnerOperation<Ext>[];
+    /**
+     * Factory-specific registration args decoded from calldata (for
+     * Securitize: `tokensToRegister`/`signaturesToCache`).
+     */
+    args: RWAOperationArgs;
+}
+export interface RWAMulticallOperation<Ext extends object = {}> extends RWAOperationMetadata {
+    operation: "RWAMulticall";
+    creditAccount: Address;
+    multicall: InnerOperation<Ext>[];
+    /** Factory-specific registration args decoded from calldata. */
+    args: RWAOperationArgs;
+}
+/**
+ * Discriminated union of all RWA factory operation types. Extend it when
+ * adding support for a new RWA factory type.
+ */
+export type RWAOperation<Ext extends object = {}> = RWAOpenCreditAccountOperation<Ext> | RWAMulticallOperation<Ext>;

package/dist/types/preview/parse/types.d.ts

@@ -1,44 +1,24 @@
-import type { AdaptersPlugin } from "../../plugins/adapters/index.js";
-import type { OnchainSDK, PluginsMap } from "../../sdk/index.js";
 import type { OuterFacadeOperation } from "./types-facades.js";
 import type { PoolOperation } from "./types-pools.js";
+import type { RWAOperation } from "./types-rwa.js";
 export * from "./types-adapters.js";
 export * from "./types-facades.js";
 export * from "./types-pools.js";
+export * from "./types-rwa.js";
 /**
- * True when the plugin map `P` contains the {@link AdaptersPlugin} under any
- * key. Matched nominally (the plugin's private fields make it non-structural),
- * so unrelated plugins never satisfy it.
+ * Result of decoding a single raw operation calldata: a pool deposit/redeem,
+ * one of the credit-facade operations, or an RWA-factory operation.
  */
-export type HasAdaptersPlugin<P extends PluginsMap> = Extract<P[keyof P], AdaptersPlugin> extends never ? false : true;
-/**
- * Compile-time guard for the adapters plugin. Resolves to a no-op (`unknown`)
- * when `P` includes the {@link AdaptersPlugin}, otherwise to an error-shaped
- * type that makes the surrounding call fail to type-check.
- *
- * Intended to be intersected with a function argument so callers must pass an
- * SDK whose adapter contracts are registered (required for multicall
- * classification).
- */
-export type RequireAdaptersPlugin<P extends PluginsMap> = HasAdaptersPlugin<P> extends true ? unknown : {
-    "OnchainSDK must be created with the AdaptersPlugin": never;
-};
-/**
- * {@link OnchainSDK} whose plugin map is guaranteed at compile time to include
- * the {@link AdaptersPlugin}.
- */
-export type SdkWithAdapters<P extends PluginsMap = PluginsMap> = OnchainSDK<P> & RequireAdaptersPlugin<P>;
-/**
- * Result of decoding a single raw operation calldata: either a pool
- * deposit/redeem or one of the credit-facade operations.
- *
- * Calldata-only parse produces base (descriptor) adapter operations, so the
- * facade operations are used with the default `Ext = {}`.
- */
-export type Operation = PoolOperation | OuterFacadeOperation;
+export type Operation = PoolOperation | OuterFacadeOperation | RWAOperation;
 /**
  * Narrows an {@link Operation} to a {@link PoolOperation} (deposit, mint,
  * withdraw or redeem). Used by the UI to decide whether a custom view exists for
  * the parsed result; everything else falls back to the raw JSON view.
  */
 export declare function isPoolOperation(tx: Operation): tx is PoolOperation;
+/**
+ * Narrows an {@link Operation} to an {@link RWAOperation} (an RWA-factory
+ * open-account or multicall). Used to route parsed operations to the
+ * RWA-specific simulation path.
+ */
+export declare function isRWAOperation(tx: Operation): tx is RWAOperation;

package/dist/types/preview/prerequisites/AllowancePrerequisite.d.ts

@@ -1,24 +1,23 @@
-import { type Address, type ContractFunctionParameters } from "viem";
-import { type MulticallCallResult, Prerequisite } from "./Prerequisite.js";
-import type { PrerequisiteDetail, PrerequisiteResult } from "./types.js";
-export interface AllowancePrerequisiteProps {
+import { type Address } from "viem";
+import { Prerequisite } from "./Prerequisite.js";
+import type { PrerequisiteContext, PrerequisiteError, PrerequisiteOutcome } from "./types.js";
+/** ERC-20 allowance from `owner` to `spender` must cover `required`. */
+export interface AllowanceDetail {
     token: Address;
     owner: Address;
     spender: Address;
     required: bigint;
-    title?: string;
-    id?: string;
+    /** On-chain allowance read; only present when the read succeeded. */
+    actual?: bigint;
 }
+export type AllowanceResult = PrerequisiteOutcome & {
+    kind: "allowance";
+    detail: AllowanceDetail;
+};
 /** Checks that `owner` granted `spender` an ERC-20 allowance >= `required`. */
-export declare class AllowancePrerequisite extends Prerequisite<"allowance"> {
-    private readonly _id;
-    private readonly _title;
-    private readonly _detail;
-    constructor(props: AllowancePrerequisiteProps);
-    get id(): string;
-    get kind(): "allowance";
-    get title(): string;
-    get detail(): PrerequisiteDetail<"allowance">;
-    calls(): ContractFunctionParameters[];
-    resolve(slice: MulticallCallResult[]): PrerequisiteResult<"allowance">;
+export declare class AllowancePrerequisite extends Prerequisite {
+    #private;
+    constructor(detail: Omit<AllowanceDetail, "actual">);
+    protected check(ctx: PrerequisiteContext): Promise<AllowanceResult>;
+    protected errorResult(error: PrerequisiteError): AllowanceResult;
 }

package/dist/types/preview/prerequisites/BalancePrerequisite.d.ts

@@ -1,23 +1,26 @@
-import { type Address, type ContractFunctionParameters } from "viem";
-import { type MulticallCallResult, Prerequisite } from "./Prerequisite.js";
-import type { PrerequisiteDetail, PrerequisiteResult } from "./types.js";
-export interface BalancePrerequisiteProps {
+import { type Address } from "viem";
+import { Prerequisite } from "./Prerequisite.js";
+import type { PrerequisiteContext, PrerequisiteError, PrerequisiteOutcome } from "./types.js";
+/** ERC-20 balance of `owner` must cover `required`. */
+export interface BalanceDetail {
     token: Address;
     owner: Address;
     required: bigint;
-    title?: string;
-    id?: string;
+    /** On-chain balance read; only present when the read succeeded. */
+    actual?: bigint;
 }
-/** Checks that `owner` holds an ERC-20 balance >= `required`. */
-export declare class BalancePrerequisite extends Prerequisite<"balance"> {
-    private readonly _id;
-    private readonly _title;
-    private readonly _detail;
-    constructor(props: BalancePrerequisiteProps);
-    get id(): string;
-    get kind(): "balance";
-    get title(): string;
-    get detail(): PrerequisiteDetail<"balance">;
-    calls(): ContractFunctionParameters[];
-    resolve(slice: MulticallCallResult[]): PrerequisiteResult<"balance">;
+export type BalanceResult = PrerequisiteOutcome & {
+    kind: "balance";
+    detail: BalanceDetail;
+};
+/**
+ * Checks that `owner` holds a token balance >= `required`. The token is read
+ * as an ERC-20, except for the native pseudo-address ({@link NATIVE_ADDRESS},
+ * e.g. ETH-zapper deposits) whose balance is read via `getBalance`.
+ */
+export declare class BalancePrerequisite extends Prerequisite {
+    #private;
+    constructor(detail: Omit<BalanceDetail, "actual">);
+    protected check(ctx: PrerequisiteContext): Promise<BalanceResult>;
+    protected errorResult(error: PrerequisiteError): BalanceResult;
 }

package/dist/types/preview/prerequisites/Prerequisite.d.ts

@@ -1,60 +1,23 @@
-import { type ContractFunctionParameters } from "viem";
-import type { PrerequisiteContext, PrerequisiteDetail, PrerequisiteError, PrerequisiteKind, PrerequisiteResult } from "./types.js";
+import type { PrerequisiteContext, PrerequisiteError, PrerequisiteResult } from "./types.js";
 /**
- * One entry of a viem `multicall({ allowFailure: true })` response: either a
- * decoded `result` or the `error` that the call reverted with.
+ * A single verifiable prerequisite for a transaction. Subclasses implement
+ * {@link check} to perform whatever async reads they need (an ERC-20
+ * `readContract`, a compressor call, ...) and map the outcome into a
+ * {@link PrerequisiteResult}.
  */
-export type MulticallCallResult = {
-    status: "success";
-    result: unknown;
-    error?: undefined;
-} | {
-    status: "failure";
-    result?: undefined;
-    error: Error;
-};
-/**
- * Decodes an unknown error into a {@link PrerequisiteError} with a
- * human-readable revert reason. Mirrors the SDK's `extractCallError`: walk the
- * viem error chain for a {@link ContractFunctionRevertedError} and use its
- * `errorName`, otherwise fall back to the error's short message / name.
- */
-export declare function toPrerequisiteError(cause: unknown): PrerequisiteError;
-/**
- * A single verifiable prerequisite for a transaction. Subclasses describe the
- * on-chain reads they need ({@link calls}) and how to turn the multicall slice
- * into a {@link PrerequisiteResult} ({@link resolve}).
- *
- * Identity (`id`, `kind`, `title`) and build-time `detail` are exposed as
- * read-only accessors; subclasses back them with private fields. The shared
- * {@link satisfiedResult}/{@link errorResult} helpers are `protected` so each
- * subclass builds results consistently.
- *
- * The same instance can be verified standalone via {@link verify} or batched
- * together with others by `verifyPrerequisites`.
- */
-export declare abstract class Prerequisite<K extends PrerequisiteKind> {
-    /** Stable identifier, used as a React key and for deduplication. */
-    abstract get id(): string;
-    /** Discriminant tying this check to its detail payload. */
-    abstract get kind(): K;
-    /** Human-readable label shown in the UI. */
-    abstract get title(): string;
-    /** Inputs known before reading the chain (no `actual` yet). */
-    abstract get detail(): PrerequisiteDetail<K>;
-    /** Contract reads this check needs (usually one). */
-    abstract calls(ctx: PrerequisiteContext): ContractFunctionParameters[];
-    /** Maps this check's slice of the multicall response into a result. */
-    abstract resolve(slice: MulticallCallResult[]): PrerequisiteResult<K>;
+export declare abstract class Prerequisite {
+    /**
+     * Verifies this prerequisite. Never rejects: any error thrown by
+     * {@link check} (revert, RPC/network failure, compressor error) is
+     * normalized into an `error` result.
+     */
+    verify(ctx: PrerequisiteContext): Promise<PrerequisiteResult>;
     /**
-     * Verifies this prerequisite on its own using an `allowFailure` multicall.
-     * Prefer `verifyPrerequisites` to batch several checks into one round-trip.
+     * Performs the reads this prerequisite needs and maps them into a result.
+     * May throw on read failure; {@link verify} converts throws into `error`
+     * results.
      */
-    verify(ctx: PrerequisiteContext): Promise<PrerequisiteResult<K>>;
-    /** Builds a successful result; `detail` carries the on-chain `actual`. */
-    protected satisfiedResult(satisfied: boolean, detail: PrerequisiteDetail<K>): PrerequisiteResult<K>;
-    /** Builds a failed result from a decoded read error. */
-    protected errorResult(error: PrerequisiteError): PrerequisiteResult<K>;
+    protected abstract check(ctx: PrerequisiteContext): Promise<PrerequisiteResult>;
+    /** Builds this prerequisite's failed result from a normalized read error. */
+    protected abstract errorResult(error: PrerequisiteError): PrerequisiteResult;
 }
-/** Any prerequisite regardless of its kind, used for heterogeneous lists. */
-export type AnyPrerequisite = Prerequisite<PrerequisiteKind>;

package/dist/types/preview/prerequisites/RWAOpenRequirementsPrerequisite.d.ts

@@ -0,0 +1,51 @@
+import type { Address } from "viem";
+import type { RWAMissingOpenAccountRequirements, RWAOpenAccountRequirements, RWAOperationArgs } from "../../sdk/index.js";
+import { Prerequisite } from "./Prerequisite.js";
+import type { PrerequisiteContext, PrerequisiteError, PrerequisiteOutcome } from "./types.js";
+/**
+ * RWA (e.g. Securitize) open-account requirements: off-chain token
+ * registration and/or EIP-712 signatures the borrower must provide before
+ * opening a credit account in an RWA market.
+ */
+export interface RWAOpenRequirementsDetail {
+    /** RWA token (e.g. Securitize DSToken) the requirements are checked for. */
+    token: Address;
+    /** Credit manager of the RWA market. */
+    creditManager: Address;
+    /** RWA factory that gates the token. */
+    factory: Address;
+    /**
+     * Full requirements fetched at verify time via
+     * `sdk.accounts.getOpenAccountRequirements`; only present when the read
+     * succeeded and the factory gates the token.
+     */
+    requirements?: RWAOpenAccountRequirements;
+    /**
+     * Subset of `requirements` still unfulfilled, computed by the RWA
+     * factory at verify time (`IRWAFactory.getMissingRequirements`);
+     * `undefined` when everything is satisfied.
+     */
+    missing?: RWAMissingOpenAccountRequirements;
+}
+export type RWAOpenRequirementsResult = PrerequisiteOutcome & {
+    kind: "rwaOpenRequirements";
+    detail: RWAOpenRequirementsDetail;
+};
+/**
+ * Checks that the borrower has fulfilled the RWA factory's open-account
+ * requirements (issuer-side token registration, EIP-712 signatures).
+ *
+ * The requirements are fetched at verify time via
+ * `sdk.accounts.getOpenAccountRequirements`, so re-running verification picks
+ * up off-chain progress (the borrower registering on the issuer's website or
+ * signing the factory's message) without rebuilding the prerequisites. The
+ * unfulfilled subset is computed by the factory itself
+ * (`IRWAFactory.getMissingRequirements`) and exposed on the result's
+ * `detail.missing`; the full requirements are kept on `detail.requirements`.
+ */
+export declare class RWAOpenRequirementsPrerequisite extends Prerequisite {
+    #private;
+    constructor(detail: Omit<RWAOpenRequirementsDetail, "requirements" | "missing">, providedArgs?: RWAOperationArgs);
+    protected check(ctx: PrerequisiteContext): Promise<RWAOpenRequirementsResult>;
+    protected errorResult(error: PrerequisiteError): RWAOpenRequirementsResult;
+}

package/dist/types/preview/prerequisites/buildCollateralPrerequisites.d.ts

@@ -0,0 +1,14 @@
+import { type GetApprovalAddressProps } from "../../sdk/index.js";
+import type { InnerOperation } from "../parse/index.js";
+import type { Prerequisite } from "./Prerequisite.js";
+import type { PrerequisiteContext } from "./types.js";
+/**
+ * For every `addCollateral` inside a multicall, requires the wallet to approve
+ * and hold the collateral token for the collateral spender.
+ *
+ * The approval spender is resolved via {@link OnchainSDK.accounts.getApprovalAddress}:
+ * the credit manager for classic markets, but a per-investor "special wallet"
+ * for RWA markets. The resolution happens at build time because the spender is
+ * part of the prerequisite's identity and UI detail.
+ */
+export declare function buildCollateralPrerequisites(spenderOptions: GetApprovalAddressProps, multicall: InnerOperation[], ctx: PrerequisiteContext): Promise<Prerequisite[]>;

package/dist/types/preview/prerequisites/buildPartialLiquidationPrerequisites.d.ts

@@ -0,0 +1,8 @@
+import type { PartialLiquidationOperation } from "../parse/index.js";
+import type { Prerequisite } from "./Prerequisite.js";
+import type { PrerequisiteContext } from "./types.js";
+/**
+ * Partial liquidation pulls the repaid underlying from the liquidator: they
+ * must have approved it to the credit manager and hold enough of it.
+ */
+export declare function buildPartialLiquidationPrerequisites(tx: PartialLiquidationOperation, ctx: PrerequisiteContext): Prerequisite[];

package/dist/types/preview/prerequisites/buildPoolPrerequisites.d.ts

@@ -0,0 +1,8 @@
+import { type Address } from "viem";
+import type { PoolOperation } from "../parse/index.js";
+import type { Prerequisite } from "./Prerequisite.js";
+/**
+ * Prerequisites for ERC4626 pool operations (deposit, mint, withdraw, redeem),
+ * either direct or zapper-routed.
+ */
+export declare function buildPoolPrerequisites(tx: PoolOperation, wallet: Address): Prerequisite[];