@0xmonaco/types 0.8.7-develop.5d0e403 → 0.8.7-develop.a107b34

package/dist/validation/margin-accounts.js

@@ -11,15 +11,15 @@ export const ListMarginAccountsSchema = PaginationSchema.extend({
     state: z.string().trim().min(1, "State cannot be empty").optional(),
     tradingPairId: UUIDSchema.optional(),
 });
-export const EnsureParentMarginAccountSchema = z
-    .object({
-    label: z.string().trim().min(1, "Label cannot be empty").optional(),
-    collateralAsset: z.string().trim().min(1, "Collateral asset cannot be empty").optional(),
-})
-    .optional();
 export const GetMarginAccountSummarySchema = z.object({
     marginAccountId: UUIDSchema,
+    tradingPairId: UUIDSchema.optional(),
 });
+export const GetParentMarginAccountSummarySchema = z
+    .object({
+    tradingPairId: UUIDSchema.optional(),
+})
+    .optional();
 export const GetAvailableCollateralSchema = z
     .object({
     asset: z.string().trim().min(1, "Asset cannot be empty").optional(),
@@ -28,8 +28,14 @@ export const GetAvailableCollateralSchema = z
 const TransferCollateralRequestSchema = z.object({
     asset: z.string().trim().min(1, "Asset cannot be empty"),
     amount: PositiveDecimalStringSchema,
+    tradingPairId: UUIDSchema.optional(),
+    strategyKey: z.string().trim().min(1, "Strategy key cannot be empty").optional(),
 });
-const AutoMarginBucketRequestSchema = z.object({
+const ParentMarginAccountCollateralRequestSchema = z.object({
+    asset: z.string().trim().min(1, "Asset cannot be empty"),
+    amount: PositiveDecimalStringSchema,
+});
+const RiskBucketRequestSchema = z.object({
     tradingPairId: UUIDSchema,
     strategyKey: z.string().trim().min(1, "Strategy key cannot be empty").optional(),
 });
@@ -37,16 +43,24 @@ export const TransferCollateralSchema = z.object({
     marginAccountId: UUIDSchema,
     request: TransferCollateralRequestSchema,
 });
-export const TransferCollateralToAutoMarginAccountSchema = z.object({
-    request: TransferCollateralRequestSchema.merge(AutoMarginBucketRequestSchema),
+export const TransferCollateralToParentMarginAccountSchema = z.object({
+    request: ParentMarginAccountCollateralRequestSchema,
+});
+export const TransferCollateralToRiskBucketSchema = z.object({
+    request: ParentMarginAccountCollateralRequestSchema.merge(RiskBucketRequestSchema),
+});
+export const TransferCollateralFromParentMarginAccountSchema = z.object({
+    request: ParentMarginAccountCollateralRequestSchema,
 });
 export const GetMarginAccountMovementsSchema = PaginationSchema.extend({
     marginAccountId: UUIDSchema,
     movement_type: z.string().trim().min(1, "Movement type cannot be empty").optional(),
 });
-const SimulateOrderRiskRequestSchema = z.object({
+export const GetParentMarginAccountMovementsSchema = PaginationSchema.extend({
+    movement_type: z.string().trim().min(1, "Movement type cannot be empty").optional(),
+}).optional();
+const BaseSimulateOrderRiskRequestSchema = z.object({
     tradingPairId: UUIDSchema,
-    strategyKey: z.string().trim().min(1, "Strategy key cannot be empty").optional(),
     side: OrderSideSchema,
     positionSide: PositionSideSchema,
     orderType: OrderTypeSchema,
@@ -55,6 +69,8 @@ const SimulateOrderRiskRequestSchema = z.object({
     leverage: PositiveDecimalStringSchema,
     reduceOnly: z.boolean().optional(),
 });
+const SimulateOrderRiskRequestSchema = BaseSimulateOrderRiskRequestSchema.strict();
+const SimulateRiskBucketOrderRiskRequestSchema = BaseSimulateOrderRiskRequestSchema.merge(RiskBucketRequestSchema).strict();
 export const SimulateOrderRiskSchema = z
     .object({
     marginAccountId: UUIDSchema,
@@ -64,7 +80,7 @@ export const SimulateOrderRiskSchema = z
     message: "price is required for LIMIT risk simulations",
     path: ["request", "price"],
 });
-export const SimulateAutoMarginOrderRiskSchema = z
+export const SimulateParentMarginOrderRiskSchema = z
     .object({
     request: SimulateOrderRiskRequestSchema,
 })
@@ -72,3 +88,11 @@ export const SimulateAutoMarginOrderRiskSchema = z
     message: "price is required for LIMIT risk simulations",
     path: ["request", "price"],
 });
+export const SimulateRiskBucketOrderRiskSchema = z
+    .object({
+    request: SimulateRiskBucketOrderRiskRequestSchema,
+})
+    .refine((data) => data.request.orderType !== "LIMIT" || data.request.price !== undefined, {
+    message: "price is required for LIMIT risk simulations",
+    path: ["request", "price"],
+});

package/dist/validation/positions.d.ts

@@ -29,6 +29,10 @@ export declare const ClosePositionSchema: z.ZodObject<{
         quantity: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+export declare const BatchCloseAllSchema: z.ZodObject<{
+    tradingPairId: z.ZodOptional<z.ZodUUID>;
+    slippageToleranceBps: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
 export declare const GetPositionRiskSchema: z.ZodObject<{
     positionId: z.ZodUUID;
 }, z.core.$strip>;

package/dist/validation/positions.js

@@ -38,6 +38,10 @@ export const ClosePositionSchema = PositionIdSchema.extend({
     message: "limitPrice is only allowed for LIMIT close requests",
     path: ["request", "limitPrice"],
 });
+export const BatchCloseAllSchema = z.object({
+    tradingPairId: UUIDSchema.optional(),
+    slippageToleranceBps: SlippageToleranceBpsSchema.optional(),
+});
 export const GetPositionRiskSchema = PositionIdSchema;
 export const AddPositionMarginSchema = PositionIdSchema.extend({
     request: z.object({

package/dist/validation/profile.d.ts

@@ -67,3 +67,10 @@ export declare const GetUserTradesSchema: z.ZodObject<{
     page_size: z.ZodOptional<z.ZodNumber>;
     trading_pair_id: z.ZodOptional<z.ZodUUID>;
 }, z.core.$strip>;
+export declare const ListFundingPaymentsSchema: z.ZodObject<{
+    page: z.ZodOptional<z.ZodNumber>;
+    page_size: z.ZodOptional<z.ZodNumber>;
+    trading_pair_id: z.ZodOptional<z.ZodUUID>;
+    position_id: z.ZodOptional<z.ZodUUID>;
+    margin_account_id: z.ZodOptional<z.ZodUUID>;
+}, z.core.$strip>;

package/dist/validation/profile.js

@@ -42,3 +42,10 @@ export const GetUserTradesSchema = z.object({
     page_size: z.number().int("Page size must be an integer").min(1, "Page size must be at least 1").max(100, "Page size cannot exceed 100").optional(),
     trading_pair_id: UUIDSchema.optional(),
 });
+export const ListFundingPaymentsSchema = z.object({
+    page: z.number().int("Page must be an integer").min(1, "Page must be at least 1").optional(),
+    page_size: z.number().int("Page size must be an integer").min(1, "Page size must be at least 1").max(100, "Page size cannot exceed 100").optional(),
+    trading_pair_id: UUIDSchema.optional(),
+    position_id: UUIDSchema.optional(),
+    margin_account_id: UUIDSchema.optional(),
+});

package/dist/validation/trading.d.ts

@@ -101,8 +101,8 @@ export declare const PlaceLimitOrderSchema: z.ZodObject<{
             FOK: "FOK";
         }>>;
         marginAccountId: z.ZodOptional<z.ZodUUID>;
-        marginBucketId: z.ZodOptional<z.ZodUUID>;
-        marginBucketCollateral: z.ZodOptional<z.ZodString>;
+        riskBucketId: z.ZodOptional<z.ZodUUID>;
+        riskBucketCollateral: z.ZodOptional<z.ZodString>;
         strategyKey: z.ZodOptional<z.ZodString>;
         positionSide: z.ZodOptional<z.ZodEnum<{
             LONG: "LONG";
@@ -158,8 +158,8 @@ export declare const PlaceMarketOrderSchema: z.ZodObject<{
         }>>;
         slippageTolerance: z.ZodOptional<z.ZodNumber>;
         marginAccountId: z.ZodOptional<z.ZodUUID>;
-        marginBucketId: z.ZodOptional<z.ZodUUID>;
-        marginBucketCollateral: z.ZodOptional<z.ZodString>;
+        riskBucketId: z.ZodOptional<z.ZodUUID>;
+        riskBucketCollateral: z.ZodOptional<z.ZodString>;
         strategyKey: z.ZodOptional<z.ZodString>;
         positionSide: z.ZodOptional<z.ZodEnum<{
             LONG: "LONG";
@@ -270,39 +270,6 @@ export declare const ClosePositionSideSchema: z.ZodEnum<{
     LONG: "LONG";
     SHORT: "SHORT";
 }>;
-export declare const CreateConditionalOrderSchema: z.ZodObject<{
-    tradingPairId: z.ZodUUID;
-    marginAccountId: z.ZodUUID;
-    conditionType: z.ZodEnum<{
-        STOP_LOSS: "STOP_LOSS";
-        TAKE_PROFIT: "TAKE_PROFIT";
-    }>;
-    triggerPrice: z.ZodString;
-    triggerSource: z.ZodOptional<z.ZodEnum<{
-        MARK_PRICE: "MARK_PRICE";
-    }>>;
-    side: z.ZodEnum<{
-        BUY: "BUY";
-        SELL: "SELL";
-    }>;
-    positionSide: z.ZodEnum<{
-        LONG: "LONG";
-        SHORT: "SHORT";
-    }>;
-    orderType: z.ZodEnum<{
-        LIMIT: "LIMIT";
-        MARKET: "MARKET";
-    }>;
-    limitPrice: z.ZodOptional<z.ZodString>;
-    quantity: z.ZodOptional<z.ZodString>;
-    reduceOnly: z.ZodOptional<z.ZodBoolean>;
-    timeInForce: z.ZodOptional<z.ZodEnum<{
-        GTC: "GTC";
-        IOC: "IOC";
-    }>>;
-    slippageToleranceBps: z.ZodOptional<z.ZodNumber>;
-    expiresAt: z.ZodOptional<z.ZodISODateTime>;
-}, z.core.$strip>;
 export declare const CancelConditionalOrderSchema: z.ZodObject<{
     conditionalOrderId: z.ZodUUID;
 }, z.core.$strip>;
@@ -353,8 +320,8 @@ export declare const BatchCreateOrderItemSchema: z.ZodObject<{
         FOK: "FOK";
     }>>;
     marginAccountId: z.ZodOptional<z.ZodUUID>;
-    marginBucketId: z.ZodOptional<z.ZodUUID>;
-    marginBucketCollateral: z.ZodOptional<z.ZodString>;
+    riskBucketId: z.ZodOptional<z.ZodUUID>;
+    riskBucketCollateral: z.ZodOptional<z.ZodString>;
     strategyKey: z.ZodOptional<z.ZodString>;
     positionSide: z.ZodOptional<z.ZodEnum<{
         LONG: "LONG";
@@ -395,8 +362,8 @@ export declare const BatchCreateOrdersSchema: z.ZodObject<{
             FOK: "FOK";
         }>>;
         marginAccountId: z.ZodOptional<z.ZodUUID>;
-        marginBucketId: z.ZodOptional<z.ZodUUID>;
-        marginBucketCollateral: z.ZodOptional<z.ZodString>;
+        riskBucketId: z.ZodOptional<z.ZodUUID>;
+        riskBucketCollateral: z.ZodOptional<z.ZodString>;
         strategyKey: z.ZodOptional<z.ZodString>;
         positionSide: z.ZodOptional<z.ZodEnum<{
             LONG: "LONG";

package/dist/validation/trading.js

@@ -117,8 +117,8 @@ export const PlaceLimitOrderSchema = z
         expirationDate: ISO8601DateSchema.optional(),
         timeInForce: TimeInForceSchema.optional(),
         marginAccountId: UUIDSchema.optional(),
-        marginBucketId: UUIDSchema.optional(),
-        marginBucketCollateral: PositiveDecimalStringSchema.optional(),
+        riskBucketId: UUIDSchema.optional(),
+        riskBucketCollateral: PositiveDecimalStringSchema.optional(),
         strategyKey: z.string().min(1).max(128).optional(),
         positionSide: PositionSideSchema.optional(),
         leverage: PositiveDecimalStringSchema.optional(),
@@ -148,16 +148,16 @@ export const PlaceLimitOrderSchema = z
     message: "Parent TP/SL cannot be attached to reduceOnly orders",
     path: ["options", "reduceOnly"],
 })
-    .refine((data) => data.options?.marginBucketCollateral === undefined || data.options?.tradingMode === "MARGIN", {
-    message: "marginBucketCollateral is only supported for MARGIN orders",
+    .refine((data) => data.options?.riskBucketCollateral === undefined || data.options?.tradingMode === "MARGIN", {
+    message: "riskBucketCollateral is only supported for MARGIN orders",
     path: ["options", "tradingMode"],
 })
-    .refine((data) => data.options?.marginBucketCollateral === undefined || data.options?.marginBucketId === undefined, {
-    message: "marginBucketCollateral creates a new bucket and cannot be combined with marginBucketId",
-    path: ["options", "marginBucketId"],
+    .refine((data) => data.options?.riskBucketCollateral === undefined || data.options?.riskBucketId === undefined, {
+    message: "riskBucketCollateral creates a new risk bucket and cannot be combined with riskBucketId",
+    path: ["options", "riskBucketId"],
 })
-    .refine((data) => data.options?.marginBucketCollateral === undefined || data.options?.reduceOnly !== true, {
-    message: "reduceOnly orders cannot create a new margin bucket",
+    .refine((data) => data.options?.riskBucketCollateral === undefined || data.options?.reduceOnly !== true, {
+    message: "reduceOnly orders cannot create a new risk bucket",
     path: ["options", "reduceOnly"],
 });
 /**
@@ -173,8 +173,8 @@ export const PlaceMarketOrderSchema = z
         tradingMode: TradingModeSchema.optional(),
         slippageTolerance: SlippageToleranceSchema,
         marginAccountId: UUIDSchema.optional(),
-        marginBucketId: UUIDSchema.optional(),
-        marginBucketCollateral: PositiveDecimalStringSchema.optional(),
+        riskBucketId: UUIDSchema.optional(),
+        riskBucketCollateral: PositiveDecimalStringSchema.optional(),
         strategyKey: z.string().min(1).max(128).optional(),
         positionSide: PositionSideSchema.optional(),
         leverage: PositiveDecimalStringSchema.optional(),
@@ -204,16 +204,16 @@ export const PlaceMarketOrderSchema = z
     message: "Parent TP/SL cannot be attached to reduceOnly orders",
     path: ["options", "reduceOnly"],
 })
-    .refine((data) => data.options?.marginBucketCollateral === undefined || data.options?.tradingMode === "MARGIN", {
-    message: "marginBucketCollateral is only supported for MARGIN orders",
+    .refine((data) => data.options?.riskBucketCollateral === undefined || data.options?.tradingMode === "MARGIN", {
+    message: "riskBucketCollateral is only supported for MARGIN orders",
     path: ["options", "tradingMode"],
 })
-    .refine((data) => data.options?.marginBucketCollateral === undefined || data.options?.marginBucketId === undefined, {
-    message: "marginBucketCollateral creates a new bucket and cannot be combined with marginBucketId",
-    path: ["options", "marginBucketId"],
+    .refine((data) => data.options?.riskBucketCollateral === undefined || data.options?.riskBucketId === undefined, {
+    message: "riskBucketCollateral creates a new risk bucket and cannot be combined with riskBucketId",
+    path: ["options", "riskBucketId"],
 })
-    .refine((data) => data.options?.marginBucketCollateral === undefined || data.options?.reduceOnly !== true, {
-    message: "reduceOnly orders cannot create a new margin bucket",
+    .refine((data) => data.options?.riskBucketCollateral === undefined || data.options?.reduceOnly !== true, {
+    message: "reduceOnly orders cannot create a new risk bucket",
     path: ["options", "reduceOnly"],
 });
 /**
@@ -268,39 +268,6 @@ export const ConditionalOrderStateSchema = z.enum(["PENDING_PARENT", "ACTIVE", "
 export const ClosePositionSideSchema = z.enum(["LONG", "SHORT"], {
     message: 'Position side must be "LONG" or "SHORT"',
 });
-export const CreateConditionalOrderSchema = z
-    .object({
-    tradingPairId: UUIDSchema,
-    marginAccountId: UUIDSchema,
-    conditionType: ConditionalOrderConditionTypeSchema,
-    triggerPrice: PositiveDecimalStringSchema,
-    triggerSource: ConditionalOrderTriggerSourceSchema.optional(),
-    side: OrderSideSchema,
-    positionSide: ClosePositionSideSchema,
-    orderType: OrderTypeSchema,
-    limitPrice: PositiveDecimalStringSchema.optional(),
-    quantity: PositiveDecimalStringSchema.optional(),
-    reduceOnly: z.boolean().optional(),
-    timeInForce: ConditionalTimeInForceSchema.optional(),
-    slippageToleranceBps: SlippageToleranceBpsSchema.optional(),
-    expiresAt: ISO8601DateSchema.optional(),
-})
-    .refine((data) => data.orderType !== "LIMIT" || data.limitPrice !== undefined, {
-    message: "limitPrice is required for LIMIT conditional orders",
-    path: ["limitPrice"],
-})
-    .refine((data) => data.orderType !== "MARKET" || data.limitPrice === undefined, {
-    message: "limitPrice must not be provided for MARKET conditional orders",
-    path: ["limitPrice"],
-})
-    .refine((data) => data.orderType !== "MARKET" || data.timeInForce === undefined, {
-    message: "timeInForce is only allowed for LIMIT conditional orders",
-    path: ["timeInForce"],
-})
-    .refine((data) => data.orderType !== "LIMIT" || data.slippageToleranceBps === undefined, {
-    message: "slippageToleranceBps is only allowed for MARKET conditional orders",
-    path: ["slippageToleranceBps"],
-});
 export const CancelConditionalOrderSchema = z.object({
     conditionalOrderId: UUIDSchema,
 });
@@ -331,8 +298,8 @@ export const BatchCreateOrderItemSchema = z
     expirationDate: ISO8601DateSchema.optional(),
     timeInForce: TimeInForceSchema.optional(),
     marginAccountId: UUIDSchema.optional(),
-    marginBucketId: UUIDSchema.optional(),
-    marginBucketCollateral: PositiveDecimalStringSchema.optional(),
+    riskBucketId: UUIDSchema.optional(),
+    riskBucketCollateral: PositiveDecimalStringSchema.optional(),
     strategyKey: z.string().min(1).max(128).optional(),
     positionSide: PositionSideSchema.optional(),
     leverage: PositiveDecimalStringSchema.optional(),
@@ -346,16 +313,16 @@ export const BatchCreateOrderItemSchema = z
     message: "Price must not be provided for MARKET orders",
     path: ["price"],
 })
-    .refine((data) => data.marginBucketCollateral === undefined || data.tradingMode === "MARGIN", {
-    message: "marginBucketCollateral is only supported for MARGIN orders",
+    .refine((data) => data.riskBucketCollateral === undefined || data.tradingMode === "MARGIN", {
+    message: "riskBucketCollateral is only supported for MARGIN orders",
     path: ["tradingMode"],
 })
-    .refine((data) => data.marginBucketCollateral === undefined || data.marginBucketId === undefined, {
-    message: "marginBucketCollateral creates a new bucket and cannot be combined with marginBucketId",
-    path: ["marginBucketId"],
+    .refine((data) => data.riskBucketCollateral === undefined || data.riskBucketId === undefined, {
+    message: "riskBucketCollateral creates a new risk bucket and cannot be combined with riskBucketId",
+    path: ["riskBucketId"],
 })
-    .refine((data) => data.marginBucketCollateral === undefined || data.reduceOnly !== true, {
-    message: "reduceOnly orders cannot create a new margin bucket",
+    .refine((data) => data.riskBucketCollateral === undefined || data.reduceOnly !== true, {
+    message: "reduceOnly orders cannot create a new risk bucket",
     path: ["reduceOnly"],
 })
     .refine((data) => data.tradingMode !== "MARGIN" || data.positionSide !== undefined, {

package/dist/validation/vault.d.ts

@@ -44,6 +44,10 @@ export declare const DepositSchema: z.ZodObject<{
     assetId: z.ZodUUID;
     amount: z.ZodUnion<readonly [z.ZodString, z.ZodBigInt]>;
     autoWait: z.ZodOptional<z.ZodBoolean>;
+    target: z.ZodOptional<z.ZodEnum<{
+        spot: "spot";
+        margin: "margin";
+    }>>;
 }, z.core.$strip>;
 /**
  * Withdraw validation schema.
@@ -57,6 +61,10 @@ export declare const WithdrawSchema: z.ZodObject<{
     amount: z.ZodUnion<readonly [z.ZodString, z.ZodBigInt]>;
     destination: z.ZodString;
     autoWait: z.ZodOptional<z.ZodBoolean>;
+    source: z.ZodOptional<z.ZodEnum<{
+        spot: "spot";
+        margin: "margin";
+    }>>;
 }, z.core.$strip>;
 /**
  * Get Balance validation schema

package/dist/validation/vault.js

@@ -57,6 +57,8 @@ export const DepositSchema = z.object({
     assetId: UUIDSchema,
     amount: PositiveBigIntStringSchema,
     autoWait: z.boolean().optional(),
+    // Destination ledger: "spot" (default) or "margin" to route into margin collateral.
+    target: z.enum(["spot", "margin"]).optional(),
 });
 /**
  * Withdraw validation schema.
@@ -70,6 +72,7 @@ export const WithdrawSchema = z.object({
     amount: PositiveBigIntStringSchema,
     destination: z.string().regex(/^0x[a-fA-F0-9]{40}$/, "destination must be a 0x-prefixed 20-byte hex address"),
     autoWait: z.boolean().optional(),
+    source: z.enum(["spot", "margin"]).optional(),
 });
 /**
  * Get Balance validation schema

package/dist/vault/index.d.ts

@@ -4,7 +4,23 @@
  * Types for vault operations including deposits, withdrawals, and balance management.
  */
 import type { BaseAPI } from "../api/index";
-import type { Balance, TransactionResult, WithdrawResult } from "./responses";
+import type { Balance, TransactionResult, WithdrawalRetryOptions, WithdrawResult } from "./responses";
+/**
+ * Destination ledger for a deposit.
+ * - `"spot"` (default): credit the spot/main wallet — unchanged behavior.
+ * - `"margin"`: route the deposit straight into the parent margin account's
+ *   collateral (auto-creating the account if it does not exist yet). A deposit
+ *   that cannot be routed to margin (unsupported asset, etc.) safely falls back
+ *   to spot — funds are never lost.
+ */
+export type DepositTarget = "spot" | "margin";
+/**
+ * Source ledger for an external withdrawal.
+ * - `"spot"` (default): withdraw from the spot/main wallet.
+ * - `"margin"`: directly withdraw from the parent margin account's
+ *   withdrawable collateral.
+ */
+export type WithdrawalSource = "spot" | "margin";
 /**
  * Vault API interface.
  * Provides methods for managing token deposits and withdrawals.
@@ -24,31 +40,47 @@ export interface VaultAPI extends BaseAPI {
      * @param assetId - Asset identifier (UUID) to deposit
      * @param amount - Amount to deposit
      * @param autoWait - Whether to automatically wait for transaction confirmation (defaults to true)
+     * @param target - Destination ledger: `"spot"` (default) or `"margin"` to
+     *   route the deposit into the parent margin account's collateral. Margin
+     *   deposits that cannot be routed fall back to spot.
      * @returns Promise resolving to the transaction result
      */
-    deposit(assetId: string, amount: bigint, autoWait?: boolean): Promise<TransactionResult>;
+    deposit(assetId: string, amount: bigint, autoWait?: boolean, target?: DepositTarget): Promise<TransactionResult>;
     /**
-     * Initiates a withdrawal: allocates a `withdrawalIndex` via the API Gateway,
-     * receives pre-signed calldata for `executeSignedWithdrawal(...)`, and
-     * submits it on-chain through the connected wallet.
+     * Initiates a withdrawal and submits its `executeWithdrawal(...)` calldata
+     * on-chain through the connected wallet.
+     *
+     * The API Gateway allocates a `withdrawalIndex` and debits the balance, but
+     * the executable calldata requires the withdrawal's merkle proof, which only
+     * exists once its root is confirmed on-chain (a process that can take a
+     * while). This method polls `GET /withdrawals/{index}` until the calldata is
+     * available — retrying while the gateway reports it is not yet confirmed —
+     * then submits it.
      *
      * @param assetId - Asset identifier (UUID) to withdraw
      * @param amount - Raw token amount (smallest unit, as bigint)
      * @param autoWait - Whether to await on-chain confirmation (defaults to true)
+     * @param source - Source ledger: `"spot"` (default) or `"margin"` to source
+     *   funds directly from the parent margin account's withdrawable collateral
+     * @param retry - Polling cadence/timeout while waiting for the proof
      * @returns Promise resolving to `{ withdrawalIndex, transaction }`
      */
-    withdraw(assetId: string, amount: bigint, autoWait?: boolean): Promise<WithdrawResult>;
+    withdraw(assetId: string, amount: bigint, autoWait?: boolean, source?: WithdrawalSource, retry?: WithdrawalRetryOptions): Promise<WithdrawResult>;
+    withdraw(assetId: string, amount: bigint, autoWait?: boolean, retry?: WithdrawalRetryOptions): Promise<WithdrawResult>;
     /**
-     * Retries a previously-initiated withdrawal whose on-chain submission never
-     * landed (wallet rejected, page reloaded before receipt, stuck mempool).
-     * Re-fetches the same signed calldata and resubmits via the connected wallet
-     * — does NOT initiate a new withdrawal.
+     * Submits (or resubmits) a previously-initiated withdrawal on-chain. Polls
+     * for the `executeWithdrawal` calldata the same way as `withdraw` — useful
+     * when the original submission never landed (wallet rejected, page reloaded
+     * before receipt, stuck mempool) or when the proof was not yet available at
+     * the time of the original `withdraw()` call. Does NOT initiate a new
+     * withdrawal.
      *
      * @param withdrawalIndex - Index returned by the original `withdraw()` call
      * @param autoWait - Whether to await on-chain confirmation (defaults to true)
+     * @param retry - Polling cadence/timeout while waiting for the proof
      * @returns Promise resolving to `{ withdrawalIndex, ...transaction }`
      */
-    retryWithdrawal(withdrawalIndex: number, autoWait?: boolean): Promise<WithdrawResult>;
+    retryWithdrawal(withdrawalIndex: number, autoWait?: boolean, retry?: WithdrawalRetryOptions): Promise<WithdrawResult>;
     /**
      * Gets the balance of a token in the vault.
      * @param assetId - Asset identifier (UUID) to check
@@ -81,4 +113,4 @@ export interface VaultAPI extends BaseAPI {
      */
     setWalletClient(walletClient: unknown): void;
 }
-export type { Balance, TransactionResult, WithdrawResult } from "./responses";
+export type { Balance, TransactionResult, WithdrawalRetryOptions, WithdrawResult } from "./responses";

package/dist/vault/responses.d.ts

@@ -17,23 +17,38 @@ export interface TransactionResult {
     receipt?: import("viem").TransactionReceipt;
 }
 /**
- * Result of initiating a withdrawal.
+ * Result of a withdrawal.
  *
- * The API gateway allocates a `withdrawalIndex` via the matching engine and
- * returns pre-signed calldata for the vault contract's
- * `executeSignedWithdrawal(...)` function. The SDK submits that calldata on
- * behalf of the connected wallet — the user is the on-chain caller, but the
- * `WITHDRAWAL_SIGNER` signature embedded in the calldata is what the contract
- * authenticates against.
+ * The API gateway allocates a `withdrawalIndex` via the matching engine. Once
+ * the withdrawal's root is confirmed on-chain, the gateway serves the vault
+ * contract's `executeWithdrawal(...)` calldata (authorised by the withdrawal's
+ * merkle proof, not a signature); the SDK submits it through the connected
+ * wallet.
  *
  * Extends [`TransactionResult`] so callers can read `hash`, `status`, `nonce`
  * (and `receipt` when `autoWait` is true) directly off the result, just like
  * `approve` / `deposit`.
  */
 export interface WithdrawResult extends TransactionResult {
-    /** Allocated withdrawal index — matches `executeSignedWithdrawal.index`. */
+    /** Allocated withdrawal index — matches `executeWithdrawal.index`. */
     withdrawalIndex: number;
 }
+/**
+ * Controls how the SDK polls for a withdrawal's `executeWithdrawal` calldata
+ * while its merkle proof is not yet available (the withdrawal root has not been
+ * confirmed on-chain). The gateway returns 404 (row not persisted yet) or 409
+ * (proof not confirmed yet) until ready; the SDK retries on both.
+ */
+export interface WithdrawalRetryOptions {
+    /** Delay between polls, in milliseconds. Defaults to 5000. */
+    pollIntervalMs?: number;
+    /**
+     * Maximum total time to wait for the proof, in milliseconds. Defaults to
+     * 1_800_000 (30 minutes). Pass `Infinity` to retry indefinitely until the
+     * proof is available.
+     */
+    timeoutMs?: number;
+}
 /**
  * Token balance information.
  */

package/dist/wire/audit.d.ts

@@ -0,0 +1,47 @@
+/**
+ * Endpoint-coverage audit (MON-1489 gate logic).
+ *
+ * Each hand-written SDK surface (`@0xmonaco/core`, `@0xmonaco/react`,
+ * `@0xmonaco/mcp-server`) maintains a `coverage.ts` with two registries: a
+ * `COVERED` map (operationId → the ergonomic method/hook/tool that implements
+ * it) and an `INTENTIONALLY_EXCLUDED` map (operationId → reason it is
+ * deliberately not surfaced). {@link auditSurface} checks those two registries
+ * against the full {@link OPERATION_IDS} list and reports any operationId that
+ * is left unclassified (in neither), double-classified (in both), or stale (a
+ * registry key that is no longer a real operationId).
+ *
+ * This is the runtime counterpart to the `satisfies Partial<Record<keyof
+ * operations, string>>` constraint each registry already carries: that
+ * constraint makes every *key* a compile-time-checked operationId, while this
+ * audit makes the *set* of keys provably exhaustive. A new proto REST endpoint
+ * forces a new operationId into the generated `OPERATION_IDS`, and the surface
+ * build/CI fails here until a developer either implements it or excludes it
+ * with a reason — mirroring the MON-1475 route↔spec allowlist UX.
+ */
+import { type OperationId } from "./operations";
+import type { operations } from "./schema";
+/** A surface's coverage registries (the two maps exported by its `coverage.ts`). */
+export interface SurfaceClassification {
+    /** operationId → the SDK symbol (method/hook/tool) that covers it. */
+    covered: Partial<Record<keyof operations, string>>;
+    /** operationId → the reason it is intentionally not covered. */
+    excluded: Partial<Record<keyof operations, string>>;
+}
+/** Result of auditing one surface's classification against the spec. */
+export interface CoverageAudit {
+    /** operationIds in the spec that appear in neither `covered` nor `excluded`. */
+    unclassified: OperationId[];
+    /** operationIds listed in BOTH `covered` and `excluded`. */
+    duplicated: string[];
+    /** Registry keys that are not (or no longer) real operationIds. */
+    unknown: string[];
+    /** True when the surface classifies every operationId exactly once. */
+    ok: boolean;
+}
+/**
+ * Audit one surface: assert `covered ∪ excluded == operationIds` and that the
+ * two sets are disjoint and free of stale keys. `operationIds` defaults to the
+ * generated {@link OPERATION_IDS}; it is injectable so the gate's own tests can
+ * exercise synthetic op sets.
+ */
+export declare function auditSurface(classification: SurfaceClassification, operationIds?: readonly string[]): CoverageAudit;

package/dist/wire/audit.js

@@ -0,0 +1,43 @@
+/**
+ * Endpoint-coverage audit (MON-1489 gate logic).
+ *
+ * Each hand-written SDK surface (`@0xmonaco/core`, `@0xmonaco/react`,
+ * `@0xmonaco/mcp-server`) maintains a `coverage.ts` with two registries: a
+ * `COVERED` map (operationId → the ergonomic method/hook/tool that implements
+ * it) and an `INTENTIONALLY_EXCLUDED` map (operationId → reason it is
+ * deliberately not surfaced). {@link auditSurface} checks those two registries
+ * against the full {@link OPERATION_IDS} list and reports any operationId that
+ * is left unclassified (in neither), double-classified (in both), or stale (a
+ * registry key that is no longer a real operationId).
+ *
+ * This is the runtime counterpart to the `satisfies Partial<Record<keyof
+ * operations, string>>` constraint each registry already carries: that
+ * constraint makes every *key* a compile-time-checked operationId, while this
+ * audit makes the *set* of keys provably exhaustive. A new proto REST endpoint
+ * forces a new operationId into the generated `OPERATION_IDS`, and the surface
+ * build/CI fails here until a developer either implements it or excludes it
+ * with a reason — mirroring the MON-1475 route↔spec allowlist UX.
+ */
+import { OPERATION_IDS } from "./operations";
+/**
+ * Audit one surface: assert `covered ∪ excluded == operationIds` and that the
+ * two sets are disjoint and free of stale keys. `operationIds` defaults to the
+ * generated {@link OPERATION_IDS}; it is injectable so the gate's own tests can
+ * exercise synthetic op sets.
+ */
+export function auditSurface(classification, operationIds = OPERATION_IDS) {
+    const covered = Object.keys(classification.covered);
+    const excluded = Object.keys(classification.excluded);
+    const all = new Set(operationIds);
+    const classified = new Set([...covered, ...excluded]);
+    const excludedSet = new Set(excluded);
+    const unclassified = operationIds.filter((op) => !classified.has(op));
+    const duplicated = covered.filter((op) => excludedSet.has(op)).sort();
+    const unknown = [...new Set([...covered, ...excluded].filter((op) => !all.has(op)))].sort();
+    return {
+        unclassified: unclassified,
+        duplicated,
+        unknown,
+        ok: unclassified.length === 0 && duplicated.length === 0 && unknown.length === 0,
+    };
+}