@miradexio/client 0.1.0

package/dist/cooperative-redeem.d.ts

@@ -0,0 +1,23 @@
+export interface CooperativeRedeemInput {
+    /** Alice's on-chain ECDSA signature over TxRedeem (64B hex). */
+    readonly aliceSigA: string;
+    /** The adaptor (encrypted) signature Bob released (hex). */
+    readonly bobEncsig: string;
+    /** Alice's compressed secp256k1 adaptor public key (33B hex). */
+    readonly S_a_bitcoin: string;
+    /** Alice's ed25519 public spend key (32B hex). */
+    readonly S_a_monero: string;
+    /** The `s_a` scalar Alice returned (32B hex). */
+    readonly claimedSA: string;
+}
+/**
+ * Validate a cooperatively-returned `s_a`.
+ *
+ * @returns `claimedSA` on success (so callers can pipe it forward).
+ * @throws {VerificationError} `E_COOP_SA_ADAPTOR_MISMATCH` when the recovered
+ *   scalar differs from `claimedSA`.
+ * @throws {VerificationError} `E_COOP_SA_PUBKEY_MISMATCH` when
+ *   `claimedSA * G != S_a_monero`.
+ */
+export declare function validateCooperativeRedeem(input: CooperativeRedeemInput): string;
+//# sourceMappingURL=cooperative-redeem.d.ts.map

package/dist/cooperative-redeem.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cooperative-redeem.d.ts","sourceRoot":"","sources":["../src/cooperative-redeem.ts"],"names":[],"mappings":"AAkBA,MAAM,WAAW,sBAAsB;IACrC,gEAAgE;IAChE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,4DAA4D;IAC5D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,iEAAiE;IACjE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,kDAAkD;IAClD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,iDAAiD;IACjD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,sBAAsB,GAAG,MAAM,CAkB/E"}

package/dist/cooperative-redeem.js

@@ -0,0 +1,40 @@
+/**
+ * Cooperative-redeem validation.
+ *
+ * After a punish round, Alice may hand back `s_a` out-of-band so Bob can still
+ * sweep. Before Bob uses that scalar he must verify it two ways: (1) it
+ * satisfies the adaptor-recovery target derived from Alice's on-chain
+ * signature + the encsig Bob released, and (2) `s_a * G == S_a_monero`.
+ *
+ * @security Closes AV-A.17 — protects against a returned `s_a` that is
+ * unrelated to the adaptor target or to Alice's S_a_monero.
+ */
+import { Point } from '@noble/ed25519';
+import { bytesToHex } from '@noble/hashes/utils.js';
+import { VerificationError } from './types/index.js';
+import { recoverAdaptorScalar } from './lib/crypto/wasm.js';
+import { bytesToBigInt, hexToBytes } from './lib/crypto/scalars.js';
+import { constantTimeEqualHex } from './lib/crypto/bytes.js';
+/**
+ * Validate a cooperatively-returned `s_a`.
+ *
+ * @returns `claimedSA` on success (so callers can pipe it forward).
+ * @throws {VerificationError} `E_COOP_SA_ADAPTOR_MISMATCH` when the recovered
+ *   scalar differs from `claimedSA`.
+ * @throws {VerificationError} `E_COOP_SA_PUBKEY_MISMATCH` when
+ *   `claimedSA * G != S_a_monero`.
+ */
+export function validateCooperativeRedeem(input) {
+    const recovered = recoverAdaptorScalar(input.aliceSigA, input.bobEncsig, input.S_a_bitcoin);
+    if (!constantTimeEqualHex(recovered, input.claimedSA)) {
+        throw new VerificationError('E_COOP_SA_ADAPTOR_MISMATCH', 'cooperative s_a does not match adaptor-recovery target');
+    }
+    const claimedBytes = hexToBytes(input.claimedSA);
+    const claimedPoint = Point.BASE.multiply(bytesToBigInt(claimedBytes));
+    const expectedPoint = Point.fromHex(input.S_a_monero);
+    if (bytesToHex(claimedPoint.toBytes()) !== bytesToHex(expectedPoint.toBytes())) {
+        throw new VerificationError('E_COOP_SA_PUBKEY_MISMATCH', 'cooperative s_a does not hash to S_a_monero');
+    }
+    return input.claimedSA;
+}
+//# sourceMappingURL=cooperative-redeem.js.map

package/dist/cooperative-redeem.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cooperative-redeem.js","sourceRoot":"","sources":["../src/cooperative-redeem.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAe7D;;;;;;;;GAQG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAA6B;IACrE,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAC5F,IAAI,CAAC,oBAAoB,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,iBAAiB,CACzB,4BAA4B,EAC5B,wDAAwD,CACzD,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAAG,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC;IACtE,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,UAAU,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,KAAK,UAAU,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QAC/E,MAAM,IAAI,iBAAiB,CACzB,2BAA2B,EAC3B,6CAA6C,CAC9C,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,SAAS,CAAC;AACzB,CAAC"}

package/dist/engine/blockchain-querier.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Minimal interface for querying Bitcoin blockchain data.
+ *
+ * Node.js: Implemented via ElectrumClient (TCP/TLS JSON-RPC).
+ * Browser: Implemented via mempool.space REST API (HTTP fetch).
+ *
+ * The engine's zero-trust TxCancel verification uses this interface
+ * instead of ElectrumClient directly, making it platform-agnostic.
+ */
+export interface BlockchainQuerier {
+    /**
+     * Get all transactions involving an address.
+     * Returns both confirmed and mempool transactions.
+     */
+    getAddressTransactions(address: string, network: 'mainnet' | 'testnet' | 'regtest'): Promise<readonly TxSummary[]>;
+    /**
+     * Get raw transaction hex by txid.
+     * Used for independent verification — we fetch the tx ourselves
+     * rather than trusting the server's hex.
+     */
+    getRawTransaction(txid: string): Promise<string | null>;
+    /**
+     * Get the block height at which a transaction was confirmed.
+     * Returns 0 if in mempool, -1 if not found.
+     */
+    getTransactionHeight(txid: string): Promise<number>;
+}
+export interface TxSummary {
+    readonly txid: string;
+    readonly height: number;
+    readonly inputAddresses: readonly string[];
+    readonly outputAddresses: readonly string[];
+}
+//# sourceMappingURL=blockchain-querier.d.ts.map

package/dist/engine/blockchain-querier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"blockchain-querier.d.ts","sourceRoot":"","sources":["../../src/engine/blockchain-querier.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,MAAM,WAAW,iBAAiB;IAChC;;;OAGG;IACH,sBAAsB,CACpB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,GACzC,OAAO,CAAC,SAAS,SAAS,EAAE,CAAC,CAAC;IAEjC;;;;OAIG;IACH,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IAExD;;;OAGG;IACH,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7C"}

package/dist/engine/blockchain-querier.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=blockchain-querier.js.map

package/dist/engine/blockchain-querier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"blockchain-querier.js","sourceRoot":"","sources":["../../src/engine/blockchain-querier.ts"],"names":[],"mappings":""}

package/dist/engine/engine-state.d.ts

@@ -0,0 +1,20 @@
+import type { SwapFlowState } from './flows/swap-flow-state.js';
+import type { AtomicFlowState } from './flows/atomic-flow-state.js';
+export type { FlowContext, PopulatedFlowContext, VerifiedFlowContext, FlowContextExtra, FlowContextExtraType, FlowContextValidationError, FlowContextResult, } from './flow-context.js';
+export { createFlowContext, mergeFlowContext, validateBase, validatePopulated, validateVerified, FlowContextBaseSchema, PopulatedFlowContextSchema, VerifiedFlowContextSchema, FlowContextExtraSchema, VerificationResultSchema, VerificationCheckSchema, } from './flow-context.js';
+/**
+ * Complete engine state. Emitted on every transition.
+ *
+ * Per-engine architecture: each engine drives at most one swap, so the only
+ * meaningful state branches are `swap` (provider swaps) and `atomic`
+ * (BTC↔XMR atomic swaps). Cross-flow concerns (token list, history, quotes,
+ * providers, connection status) live outside the engine entirely.
+ */
+export interface EngineState {
+    readonly activeFlow: ActiveFlow;
+    readonly swap: SwapFlowState;
+    readonly atomic: AtomicFlowState;
+}
+export type ActiveFlow = 'idle' | 'swap' | 'atomic' | 'tokens' | 'history' | 'quote' | 'providers' | 'settings' | 'help' | 'keystores' | 'resume' | 'price' | 'quit';
+export declare function createInitialEngineState(): EngineState;
+//# sourceMappingURL=engine-state.d.ts.map

package/dist/engine/engine-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine-state.d.ts","sourceRoot":"","sources":["../../src/engine/engine-state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAGpE,YAAY,EACV,WAAW,EACX,oBAAoB,EACpB,mBAAmB,EACnB,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,EAC1B,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,YAAY,EACZ,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,0BAA0B,EAC1B,yBAAyB,EACzB,sBAAsB,EACtB,wBAAwB,EACxB,uBAAuB,GACxB,MAAM,mBAAmB,CAAC;AAE3B;;;;;;;GAOG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;CAClC;AAED,MAAM,MAAM,UAAU,GAClB,MAAM,GACN,MAAM,GACN,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,OAAO,GACP,WAAW,GACX,UAAU,GACV,MAAM,GACN,WAAW,GACX,QAAQ,GACR,OAAO,GACP,MAAM,CAAC;AAEX,wBAAgB,wBAAwB,IAAI,WAAW,CAMtD"}

package/dist/engine/engine-state.js

@@ -0,0 +1,9 @@
+export { createFlowContext, mergeFlowContext, validateBase, validatePopulated, validateVerified, FlowContextBaseSchema, PopulatedFlowContextSchema, VerifiedFlowContextSchema, FlowContextExtraSchema, VerificationResultSchema, VerificationCheckSchema, } from './flow-context.js';
+export function createInitialEngineState() {
+    return {
+        activeFlow: 'idle',
+        swap: { phase: 'idle', snapshot: null },
+        atomic: { phase: 'idle', snapshot: null },
+    };
+}
+//# sourceMappingURL=engine-state.js.map

package/dist/engine/engine-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine-state.js","sourceRoot":"","sources":["../../src/engine/engine-state.ts"],"names":[],"mappings":"AAcA,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,YAAY,EACZ,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,0BAA0B,EAC1B,yBAAyB,EACzB,sBAAsB,EACtB,wBAAwB,EACxB,uBAAuB,GACxB,MAAM,mBAAmB,CAAC;AA+B3B,MAAM,UAAU,wBAAwB;IACtC,OAAO;QACL,UAAU,EAAE,MAAM;QAClB,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE;QACvC,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE;KAC1C,CAAC;AACJ,CAAC"}

package/dist/engine/flow-context.d.ts

@@ -0,0 +1,494 @@
+/**
+ * Zod-enforced FlowContext schemas.
+ *
+ * Three strictness levels:
+ *   FlowContext          — base, nullable fields (early phases: keygen, creating-swap)
+ *   PopulatedFlowContext — snapshot-critical fields non-empty (awaiting-deposit, deposit-detected)
+ *   VerifiedFlowContext  — populated + verification non-null (signing, funding, confirming, swapping)
+ *
+ * Types are inferred from schemas — one source of truth, zero drift.
+ * Validation uses safeParse — never throws, returns structured errors.
+ */
+import { z } from 'zod';
+declare const VerificationCheckSchema: z.ZodObject<{
+    name: z.ZodString;
+    passed: z.ZodBoolean;
+    detail: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    name: string;
+    passed: boolean;
+    detail: string;
+}, {
+    name: string;
+    passed: boolean;
+    detail: string;
+}>;
+declare const VerificationResultSchema: z.ZodObject<{
+    verified: z.ZodBoolean;
+    provider: z.ZodString;
+    checks: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        passed: z.ZodBoolean;
+        detail: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        name: string;
+        passed: boolean;
+        detail: string;
+    }, {
+        name: string;
+        passed: boolean;
+        detail: string;
+    }>, "many">>;
+    timestamp: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    provider: string;
+    timestamp: number;
+    checks: readonly {
+        name: string;
+        passed: boolean;
+        detail: string;
+    }[];
+    verified: boolean;
+}, {
+    provider: string;
+    timestamp: number;
+    checks: readonly {
+        name: string;
+        passed: boolean;
+        detail: string;
+    }[];
+    verified: boolean;
+}>;
+declare const FlowContextExtraSchema: z.ZodObject<{
+    text: z.ZodString;
+    type: z.ZodEnum<["prompt", "message", "warning", "error"]>;
+}, "strip", z.ZodTypeAny, {
+    type: "message" | "error" | "prompt" | "warning";
+    text: string;
+}, {
+    type: "message" | "error" | "prompt" | "warning";
+    text: string;
+}>;
+declare const FlowContextBaseSchema: z.ZodObject<{
+    depositAddr: z.ZodNullable<z.ZodString>;
+    destAddress: z.ZodNullable<z.ZodString>;
+    refundAddress: z.ZodNullable<z.ZodString>;
+    keystoreId: z.ZodNullable<z.ZodString>;
+    depositAmount: z.ZodNullable<z.ZodString>;
+    fromToken: z.ZodNullable<z.ZodString>;
+    toToken: z.ZodNullable<z.ZodString>;
+    expectedOut: z.ZodNullable<z.ZodString>;
+    amountInUsd: z.ZodNullable<z.ZodString>;
+    expectedOutUsd: z.ZodNullable<z.ZodString>;
+    qr: z.ZodNullable<z.ZodString>;
+    verification: z.ZodNullable<z.ZodObject<{
+        verified: z.ZodBoolean;
+        provider: z.ZodString;
+        checks: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            passed: z.ZodBoolean;
+            detail: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }, {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }>, "many">>;
+        timestamp: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        provider: string;
+        timestamp: number;
+        checks: readonly {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        verified: boolean;
+    }, {
+        provider: string;
+        timestamp: number;
+        checks: readonly {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        verified: boolean;
+    }>>;
+    verificationSourceUrl: z.ZodNullable<z.ZodString>;
+    expiresAt: z.ZodNullable<z.ZodString>;
+    depositMemo: z.ZodNullable<z.ZodString>;
+    provider: z.ZodNullable<z.ZodString>;
+    swapId: z.ZodNullable<z.ZodString>;
+    swapNumber: z.ZodNullable<z.ZodString>;
+    extra: z.ZodNullable<z.ZodObject<{
+        text: z.ZodString;
+        type: z.ZodEnum<["prompt", "message", "warning", "error"]>;
+    }, "strip", z.ZodTypeAny, {
+        type: "message" | "error" | "prompt" | "warning";
+        text: string;
+    }, {
+        type: "message" | "error" | "prompt" | "warning";
+        text: string;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    provider: string | null;
+    fromToken: string | null;
+    toToken: string | null;
+    amountInUsd: string | null;
+    destAddress: string | null;
+    refundAddress: string | null;
+    expiresAt: string | null;
+    swapNumber: string | null;
+    verification: {
+        provider: string;
+        timestamp: number;
+        checks: readonly {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        verified: boolean;
+    } | null;
+    depositMemo: string | null;
+    swapId: string | null;
+    depositAddr: string | null;
+    keystoreId: string | null;
+    depositAmount: string | null;
+    expectedOut: string | null;
+    expectedOutUsd: string | null;
+    qr: string | null;
+    verificationSourceUrl: string | null;
+    extra: {
+        type: "message" | "error" | "prompt" | "warning";
+        text: string;
+    } | null;
+}, {
+    provider: string | null;
+    fromToken: string | null;
+    toToken: string | null;
+    amountInUsd: string | null;
+    destAddress: string | null;
+    refundAddress: string | null;
+    expiresAt: string | null;
+    swapNumber: string | null;
+    verification: {
+        provider: string;
+        timestamp: number;
+        checks: readonly {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        verified: boolean;
+    } | null;
+    depositMemo: string | null;
+    swapId: string | null;
+    depositAddr: string | null;
+    keystoreId: string | null;
+    depositAmount: string | null;
+    expectedOut: string | null;
+    expectedOutUsd: string | null;
+    qr: string | null;
+    verificationSourceUrl: string | null;
+    extra: {
+        type: "message" | "error" | "prompt" | "warning";
+        text: string;
+    } | null;
+}>;
+declare const PopulatedFlowContextSchema: z.ZodObject<{
+    refundAddress: z.ZodNullable<z.ZodString>;
+    keystoreId: z.ZodNullable<z.ZodString>;
+    depositAmount: z.ZodNullable<z.ZodString>;
+    amountInUsd: z.ZodNullable<z.ZodString>;
+    expectedOutUsd: z.ZodNullable<z.ZodString>;
+    verification: z.ZodNullable<z.ZodObject<{
+        verified: z.ZodBoolean;
+        provider: z.ZodString;
+        checks: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            passed: z.ZodBoolean;
+            detail: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }, {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }>, "many">>;
+        timestamp: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        provider: string;
+        timestamp: number;
+        checks: readonly {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        verified: boolean;
+    }, {
+        provider: string;
+        timestamp: number;
+        checks: readonly {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        verified: boolean;
+    }>>;
+    verificationSourceUrl: z.ZodNullable<z.ZodString>;
+    expiresAt: z.ZodNullable<z.ZodString>;
+    depositMemo: z.ZodNullable<z.ZodString>;
+    swapId: z.ZodNullable<z.ZodString>;
+    swapNumber: z.ZodNullable<z.ZodString>;
+    extra: z.ZodNullable<z.ZodObject<{
+        text: z.ZodString;
+        type: z.ZodEnum<["prompt", "message", "warning", "error"]>;
+    }, "strip", z.ZodTypeAny, {
+        type: "message" | "error" | "prompt" | "warning";
+        text: string;
+    }, {
+        type: "message" | "error" | "prompt" | "warning";
+        text: string;
+    }>>;
+} & {
+    depositAddr: z.ZodString;
+    destAddress: z.ZodString;
+    fromToken: z.ZodString;
+    toToken: z.ZodString;
+    qr: z.ZodString;
+    provider: z.ZodString;
+    expectedOut: z.ZodNullable<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    provider: string;
+    fromToken: string;
+    toToken: string;
+    amountInUsd: string | null;
+    destAddress: string;
+    refundAddress: string | null;
+    expiresAt: string | null;
+    swapNumber: string | null;
+    verification: {
+        provider: string;
+        timestamp: number;
+        checks: readonly {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        verified: boolean;
+    } | null;
+    depositMemo: string | null;
+    swapId: string | null;
+    depositAddr: string;
+    keystoreId: string | null;
+    depositAmount: string | null;
+    expectedOut: string | null;
+    expectedOutUsd: string | null;
+    qr: string;
+    verificationSourceUrl: string | null;
+    extra: {
+        type: "message" | "error" | "prompt" | "warning";
+        text: string;
+    } | null;
+}, {
+    provider: string;
+    fromToken: string;
+    toToken: string;
+    amountInUsd: string | null;
+    destAddress: string;
+    refundAddress: string | null;
+    expiresAt: string | null;
+    swapNumber: string | null;
+    verification: {
+        provider: string;
+        timestamp: number;
+        checks: readonly {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        verified: boolean;
+    } | null;
+    depositMemo: string | null;
+    swapId: string | null;
+    depositAddr: string;
+    keystoreId: string | null;
+    depositAmount: string | null;
+    expectedOut: string | null;
+    expectedOutUsd: string | null;
+    qr: string;
+    verificationSourceUrl: string | null;
+    extra: {
+        type: "message" | "error" | "prompt" | "warning";
+        text: string;
+    } | null;
+}>;
+declare const VerifiedFlowContextSchema: z.ZodObject<{
+    refundAddress: z.ZodNullable<z.ZodString>;
+    keystoreId: z.ZodNullable<z.ZodString>;
+    depositAmount: z.ZodNullable<z.ZodString>;
+    amountInUsd: z.ZodNullable<z.ZodString>;
+    expectedOutUsd: z.ZodNullable<z.ZodString>;
+    verificationSourceUrl: z.ZodNullable<z.ZodString>;
+    expiresAt: z.ZodNullable<z.ZodString>;
+    depositMemo: z.ZodNullable<z.ZodString>;
+    swapId: z.ZodNullable<z.ZodString>;
+    swapNumber: z.ZodNullable<z.ZodString>;
+    extra: z.ZodNullable<z.ZodObject<{
+        text: z.ZodString;
+        type: z.ZodEnum<["prompt", "message", "warning", "error"]>;
+    }, "strip", z.ZodTypeAny, {
+        type: "message" | "error" | "prompt" | "warning";
+        text: string;
+    }, {
+        type: "message" | "error" | "prompt" | "warning";
+        text: string;
+    }>>;
+    depositAddr: z.ZodString;
+    destAddress: z.ZodString;
+    fromToken: z.ZodString;
+    toToken: z.ZodString;
+    qr: z.ZodString;
+    provider: z.ZodString;
+    expectedOut: z.ZodNullable<z.ZodString>;
+} & {
+    verification: z.ZodObject<{
+        verified: z.ZodBoolean;
+        provider: z.ZodString;
+        checks: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            passed: z.ZodBoolean;
+            detail: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }, {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }>, "many">>;
+        timestamp: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        provider: string;
+        timestamp: number;
+        checks: readonly {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        verified: boolean;
+    }, {
+        provider: string;
+        timestamp: number;
+        checks: readonly {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        verified: boolean;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    provider: string;
+    fromToken: string;
+    toToken: string;
+    amountInUsd: string | null;
+    destAddress: string;
+    refundAddress: string | null;
+    expiresAt: string | null;
+    swapNumber: string | null;
+    verification: {
+        provider: string;
+        timestamp: number;
+        checks: readonly {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        verified: boolean;
+    };
+    depositMemo: string | null;
+    swapId: string | null;
+    depositAddr: string;
+    keystoreId: string | null;
+    depositAmount: string | null;
+    expectedOut: string | null;
+    expectedOutUsd: string | null;
+    qr: string;
+    verificationSourceUrl: string | null;
+    extra: {
+        type: "message" | "error" | "prompt" | "warning";
+        text: string;
+    } | null;
+}, {
+    provider: string;
+    fromToken: string;
+    toToken: string;
+    amountInUsd: string | null;
+    destAddress: string;
+    refundAddress: string | null;
+    expiresAt: string | null;
+    swapNumber: string | null;
+    verification: {
+        provider: string;
+        timestamp: number;
+        checks: readonly {
+            name: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        verified: boolean;
+    };
+    depositMemo: string | null;
+    swapId: string | null;
+    depositAddr: string;
+    keystoreId: string | null;
+    depositAmount: string | null;
+    expectedOut: string | null;
+    expectedOutUsd: string | null;
+    qr: string;
+    verificationSourceUrl: string | null;
+    extra: {
+        type: "message" | "error" | "prompt" | "warning";
+        text: string;
+    } | null;
+}>;
+export type FlowContextExtra = z.infer<typeof FlowContextExtraSchema>;
+export type FlowContextExtraType = FlowContextExtra['type'];
+export type FlowContext = z.infer<typeof FlowContextBaseSchema>;
+export type PopulatedFlowContext = z.infer<typeof PopulatedFlowContextSchema>;
+export type VerifiedFlowContext = z.infer<typeof VerifiedFlowContextSchema>;
+export type VerificationCheck = z.infer<typeof VerificationCheckSchema>;
+export { FlowContextBaseSchema, PopulatedFlowContextSchema, VerifiedFlowContextSchema, FlowContextExtraSchema, VerificationResultSchema, VerificationCheckSchema, };
+export interface FlowContextValidationError {
+    readonly phase: string;
+    readonly fields: readonly string[];
+    readonly message: string;
+}
+export type FlowContextResult<T> = {
+    readonly ok: true;
+    readonly data: T;
+} | {
+    readonly ok: false;
+    readonly error: FlowContextValidationError;
+};
+export declare function validateBase(ctx: unknown, phase: string): FlowContextResult<FlowContext>;
+export declare function validatePopulated(ctx: unknown, phase: string): FlowContextResult<PopulatedFlowContext>;
+export declare function validateVerified(ctx: unknown, phase: string): FlowContextResult<VerifiedFlowContext>;
+/**
+ * Create a new FlowContext with defaults, overriding with provided values.
+ * Null values in partial are applied (they mean "not yet known").
+ */
+export declare function createFlowContext(partial: Partial<FlowContext>): FlowContext;
+/**
+ * Merge an update into an existing FlowContext.
+ * Only non-undefined keys in partial overwrite. Null IS a valid value
+ * (it means "reset to unknown").
+ */
+export declare function mergeFlowContext(current: FlowContext, partial: Partial<FlowContext>): FlowContext;
+//# sourceMappingURL=flow-context.d.ts.map

package/dist/engine/flow-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"flow-context.d.ts","sourceRoot":"","sources":["../../src/engine/flow-context.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,QAAA,MAAM,uBAAuB;;;;;;;;;;;;EAI3B,CAAC;AAEH,QAAA,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK5B,CAAC;AAIH,QAAA,MAAM,sBAAsB;;;;;;;;;EAG1B,CAAC;AAKH,QAAA,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6BzB,CAAC;AAKH,QAAA,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAe9B,CAAC;AAKH,QAAA,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE7B,CAAC;AAIH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AACtE,MAAM,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;AAC5D,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAChE,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAC9E,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAC5E,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAGxE,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,yBAAyB,EACzB,sBAAsB,EACtB,wBAAwB,EACxB,uBAAuB,GACxB,CAAC;AAEF,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAC3B;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GACvC;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,0BAA0B,CAAA;CAAE,CAAC;AAoBvE,wBAAgB,YAAY,CAC1B,GAAG,EAAE,OAAO,EACZ,KAAK,EAAE,MAAM,GACZ,iBAAiB,CAAC,WAAW,CAAC,CAIhC;AAED,wBAAgB,iBAAiB,CAC/B,GAAG,EAAE,OAAO,EACZ,KAAK,EAAE,MAAM,GACZ,iBAAiB,CAAC,oBAAoB,CAAC,CAIzC;AAED,wBAAgB,gBAAgB,CAC9B,GAAG,EAAE,OAAO,EACZ,KAAK,EAAE,MAAM,GACZ,iBAAiB,CAAC,mBAAmB,CAAC,CAIxC;AAwBD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,WAAW,CAE5E;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,WAAW,EACpB,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,GAC5B,WAAW,CAEb"}