@invisi-labs/sdk 1.1.6 → 1.2.0

package/dist/session-support.d.cts

@@ -0,0 +1,284 @@
+import { e as OperationPlan, s as SavedOperation, T as TransactionRuntime, f as TransactionProveOptions, F as FundingSigner, c as FundingAuthorizationVerifier, O as OperationStatus, t as PreparationRuntime, r as TransferPreparation, S as ShieldPreparation, C as CreateCreditPreparation, D as DrawCreditPreparation, U as UpdateCreditPreparation, R as RevokeCreditPreparation, h as TransactionInfrastructure } from './operation-bridge-CoECSxfi.cjs';
+export { A as AddressLookup, i as BroadcasterClient, k as BroadcasterFeeSource, l as BroadcasterQuoteOptions, B as BroadcasterTransaction, u as Checkpoint, v as CoinSelector, w as CreditPlan, x as CreditRecord, m as FundingSource, b as FundingTypedData, L as LocalOperationSecrets, N as NoteOutput, y as NoteRecord, g as OperationAggregateMember, d as PreparationIntent, z as PreparationInventory, E as PreparedCreditInput, G as PreparedCreditOutput, H as PreparedOutput, a as PreparedProvenanceCapability, I as ReceiptPosition, J as SpentState, q as TransactionExecution, W as WalletScope, K as bindBroadcasterOperation, M as configureRecipientInfrastructure, Q as creditReservationKey, V as prepareBroadcasterPlan, X as prepareIntent, Y as prepareProvenance, Z as provePreparedProvenance, _ as recipientLookup, $ as validateBroadcastEnvelope, a0 as validatePreparedBroadcast } from './operation-bridge-CoECSxfi.cjs';
+import { Hex as Hex$1, InputSource, Address } from '@invisi-labs/protocol/contracts';
+export { h as DeliveryCandidate, D as DeliveryEventLog, a as DiscoveredCredit, b as DiscoveredNote, i as DiscoveryContext, I as Invisi, c as InvisiError, d as InvisiErrorCode, e as InvisiErrorDetails, g as decryptCandidates, j as extractDeliveryCandidates, p as prepareWithErrors, r as readProtocolLogs } from './receipt-logs-DWG4In8N.cjs';
+import * as _invisi_labs_protocol from '@invisi-labs/protocol';
+import { ChainReader, TransactionContext, CanonicalBlock, Membership, TransactionCall } from '@invisi-labs/protocol';
+export { DocumentedGasReference, DocumentedGasShape, getDocumentedGasReference } from '@invisi-labs/protocol';
+import { TokenProtocol } from '@invisi-labs/rpc';
+import * as _invisi_labs_primitives from '@invisi-labs/primitives';
+import { AuthorizedStatement, CreditDeliveryState } from '@invisi-labs/primitives';
+import * as _invisi_labs_prover from '@invisi-labs/prover';
+import { Prover, ProofBundle, ProofStatement, ProvingRequest } from '@invisi-labs/prover';
+export { TransactionOutput } from './note.cjs';
+export { BroadcasterConfiguration, BroadcasterEstimate, BroadcasterQuote, BroadcasterRpcError, BroadcasterStatus, BroadcasterTransport, BroadcasterTrust, SignedBroadcasterQuote, broadcasterQuoteDomain, broadcasterQuoteTypes, broadcasterRequestHash, broadcasterTransactInterface, decodeBroadcasterIntent, verifyBroadcasterQuote } from '@invisi-labs/rpc/broadcaster';
+import '@invisi-labs/protocol/provenance';
+import '@invisi-labs/prover/provenance-witness';
+import '@invisi-labs/rpc/provenance';
+import 'ethers';
+import './index-CLhGwLxZ.cjs';
+
+/** Quote-only export; callers still need the operation-specific proof or owner authorization. */
+declare function exportBroadcasterIntent(plan: OperationPlan): {
+    sendable: false;
+    data: Hex$1;
+};
+
+declare function verifyMembership(reader: ChainReader, context: TransactionContext, block: CanonicalBlock, input: {
+    treeId: bigint;
+    leafIndex: number;
+    commitment: Hex$1;
+}, proof: Membership): Promise<void>;
+
+/** Decode only canonical protocol receipt bytes before routing events to token wallets. */
+declare function decodeProtocolEvent(log: {
+    data: string;
+    topics: readonly string[];
+}): {
+    eventName: string;
+    args: {
+        [k: string]: unknown;
+    };
+};
+
+/** A pre-proof documented scenario reference; conditions remain visible in the result. */
+declare function getOperationGasReference(plan: OperationPlan, _protocol?: TokenProtocol): _invisi_labs_protocol.DocumentedGasReference;
+
+declare function encodeOperation(saved: SavedOperation): Promise<TransactionCall>;
+
+declare function proveOperation(protocol: TokenProtocol, plan: OperationPlan, authorization: AuthorizedStatement | undefined, prover: Prover, options: TransactionProveOptions): Promise<_invisi_labs_prover.ProofBundle>;
+declare function signOperationFunding(saved: SavedOperation, signer: FundingSigner, verifier?: FundingAuthorizationVerifier): Promise<`0x${string}`>;
+/** Export only typed commitments, never private note openings or authorization witnesses. */
+declare function walletSigningRequest(plan: OperationPlan): _invisi_labs_primitives.SigningRequest;
+/** Recover the EOA key and build the existing private witness without receiving a private key. */
+declare function acceptWalletSignature(plan: OperationPlan, signature: string): Promise<AuthorizedStatement>;
+/** The remote round trip may outlive the nonce or deadline selected during preparation. */
+declare function fundingSigningRequest(saved: SavedOperation, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<_invisi_labs_primitives.SigningRequest>;
+/** Verify against reconstructed operation data, never caller-supplied typed data. */
+declare function acceptFundingSignature(saved: SavedOperation, signature: string, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<`0x${string}`>;
+
+declare function operationPreview(plan: OperationPlan, status: OperationStatus): {
+    id: string;
+    kind: "create-credit" | "update-credit" | "transfer" | "shield" | "draw-credit" | "revoke-credit";
+    status: OperationStatus;
+    context: {
+        tokenAddress: _invisi_labs_primitives.Address;
+        now?: bigint;
+        timestamp?: bigint;
+        chainId: bigint;
+        protocolAddress: _invisi_labs_primitives.Address;
+    };
+    inputs: number;
+    inputDetails: ({
+        kind: "notes";
+        commitment: `0x${string}`;
+        amount: bigint;
+        owner: `0x${string}`;
+        treeId: bigint;
+        leafIndex: number;
+    } | {
+        kind: "credits";
+        commitment: `0x${string}`;
+        revocationShard: bigint;
+        revocationSlot: bigint;
+        owner: `0x${string}`;
+        spender: `0x${string}`;
+        expiry: bigint;
+        availableCredit: bigint;
+        unlimited: boolean;
+        role: "owner" | "spender";
+        treeId: bigint;
+        leafIndex: number;
+    })[];
+    funding: {
+        payer: `0x${string}`;
+        amount: bigint;
+        authorization: "signature" | "none" | "caller";
+        sigNonce: bigint;
+        deadline: bigint;
+        permit: {
+            deadline: bigint;
+        };
+    };
+    creditOutputs: {
+        lastDay: bigint;
+        dailySpent: bigint;
+        lastMonth: bigint;
+        monthlySpent: bigint;
+        totalSpent: bigint;
+        availableCredit: bigint;
+        unlimited: boolean;
+        singleLimit: bigint;
+        dailyLimit: bigint;
+        monthlyLimit: bigint;
+        commitment: `0x${string}`;
+        revocationShard: bigint;
+        revocationSlot: bigint;
+        expiry: bigint;
+        owner: `0x${string}`;
+        spender: `0x${string}`;
+    }[] | undefined;
+    creditUpdate: _invisi_labs_primitives.CreditUpdateChanges | undefined;
+    creditDraw: {
+        grossAmount: bigint;
+        feeAmount: bigint;
+        netAmount: bigint;
+        payers: {
+            payer: _invisi_labs_primitives.Address;
+            amount: bigint;
+        }[];
+    } | undefined;
+    creditFeePayer: `0x${string}` | undefined;
+    outputs: {
+        commitment: `0x${string}`;
+        to: string;
+        amount: bigint;
+        change: boolean;
+    }[];
+    capacity: number | undefined;
+    deadline: bigint;
+    feeRecipient: `0x${string}` | undefined;
+    feeAmount: bigint;
+    fundingAmount: bigint;
+    fundingPayer: `0x${string}` | undefined;
+    withdrawalAmount: bigint;
+    withdrawalAddress: `0x${string}` | undefined;
+    permissions: {
+        walletAuthorization: boolean;
+        proof: boolean;
+        fundingAuthorization: boolean;
+    };
+};
+
+declare function creditLeaf(state: CreditDeliveryState): Promise<Hex$1>;
+/** Rebuild from the original input and delta; cached output balances are never update intent. */
+declare function assertCreditUpdatePlan(plan: OperationPlan): Promise<void>;
+
+declare function inputFacts(plan: OperationPlan): Array<{
+    key: string;
+    reservationKey: string;
+    nullifier: Hex$1;
+    kind: "notes" | "credits";
+}>;
+declare function operationSources(plan: OperationPlan): readonly InputSource[];
+
+/** Shared preparation engine for managed sessions and explicitly supplied inputs. */
+declare class TransactionPreparation<Result> {
+    #private;
+    readonly context: PreparationRuntime<Result>;
+    constructor(context: PreparationRuntime<Result>);
+    private runtime;
+    private get scope();
+    prepareTransfer(options: TransferPreparation): Promise<Result>;
+    private funds;
+    prepareShield(options: ShieldPreparation): Promise<Result>;
+    prepareCreateCredit(options: CreateCreditPreparation): Promise<Result>;
+    prepareDrawCredit(options: DrawCreditPreparation): Promise<Result>;
+    prepareUpdateCredit(options: UpdateCreditPreparation): Promise<Result>;
+    prepareRevokeCredit(options: RevokeCreditPreparation): Promise<Result>;
+}
+
+/** Match the whole frozen member, including funding nonce, signature and permit, in one successful aggregate. */
+declare function matchesAggregateTransaction(saved: SavedOperation, transaction: TransactionCall & {
+    from: Address;
+}): boolean;
+
+/** Whitelist the public proof fields; a custom local backend cannot accidentally export its witness. */
+declare function publicProof(bundle: ProofBundle): ProofBundle;
+
+declare function sameStatement(proof: ProofBundle, expected: ProofStatement): void;
+
+declare function witnessFor(protocol: TokenProtocol, plan: OperationPlan, authorization?: AuthorizedStatement): Promise<ProvingRequest>;
+
+type Hex = `0x${string}`;
+
+declare function fundingTypedData(saved: SavedOperation): Promise<{
+    domain: {
+        name: string;
+        version: string;
+        chainId: bigint;
+        verifyingContract: Hex;
+    };
+    primaryType: "FundShield";
+    types: {
+        FundShield: readonly [{
+            readonly name: "requestHash";
+            readonly type: "bytes32";
+        }, {
+            readonly name: "payer";
+            readonly type: "address";
+        }, {
+            readonly name: "amount";
+            readonly type: "uint256";
+        }, {
+            readonly name: "sigNonce";
+            readonly type: "uint256";
+        }, {
+            readonly name: "deadline";
+            readonly type: "uint256";
+        }];
+    };
+    message: {
+        requestHash: `0x${string}`;
+        payer: `0x${string}`;
+        amount: bigint;
+        sigNonce: bigint;
+        deadline: bigint;
+    };
+} | {
+    domain: {
+        name: string;
+        version: string;
+        chainId: bigint;
+        verifyingContract: Hex;
+    };
+    primaryType: "FundTransact";
+    types: {
+        FundTransact: readonly [{
+            readonly name: "requestHash";
+            readonly type: "bytes32";
+        }, {
+            readonly name: "payer";
+            readonly type: "address";
+        }, {
+            readonly name: "amount";
+            readonly type: "uint256";
+        }, {
+            readonly name: "sigNonce";
+            readonly type: "uint256";
+        }, {
+            readonly name: "deadline";
+            readonly type: "uint256";
+        }];
+    };
+    message: {
+        requestHash: `0x${string}`;
+        payer: `0x${string}`;
+        amount: bigint;
+        sigNonce: bigint;
+        deadline: bigint;
+    };
+}>;
+
+declare function requiresAuthorization(plan: OperationPlan): boolean;
+declare function statement(plan: OperationPlan): ProofStatement;
+declare function authorizationRequest(plan: OperationPlan): {
+    context: {
+        chainId: bigint;
+        protocolAddress: bigint;
+    };
+    operation: "transact" | "create-credit" | "update-credit" | "credit-draw";
+    capacity: number;
+    words: bigint[];
+};
+declare function operationExpired(plan: OperationPlan, now: bigint): boolean;
+
+/** Resolve adapters without starting synchronization or accessing wallet state. */
+declare function configureTransactionInfrastructure<T extends TransactionInfrastructure>(options: T): T;
+/** Validate the selected chain and pinned deployment before any managed state access. */
+declare function validateTransactionInfrastructure(options: TransactionInfrastructure): Promise<void>;
+
+declare function revocationSigningRequest(plan: OperationPlan, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<_invisi_labs_primitives.SigningRequest>;
+declare function acceptRevocationSignature(plan: OperationPlan, signature: Hex$1, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<`0x${string}`>;
+
+export { CreateCreditPreparation, DrawCreditPreparation, FundingAuthorizationVerifier, FundingSigner, OperationPlan, OperationStatus, PreparationRuntime, RevokeCreditPreparation, SavedOperation, ShieldPreparation, TransactionInfrastructure, TransactionPreparation, TransactionProveOptions, TransactionRuntime, TransferPreparation, UpdateCreditPreparation, acceptFundingSignature, acceptRevocationSignature, acceptWalletSignature, assertCreditUpdatePlan, authorizationRequest, configureTransactionInfrastructure, creditLeaf, decodeProtocolEvent, encodeOperation, exportBroadcasterIntent, fundingSigningRequest, fundingTypedData, getOperationGasReference, inputFacts, matchesAggregateTransaction, operationExpired, operationPreview, operationSources, proveOperation, publicProof, requiresAuthorization, revocationSigningRequest, sameStatement, signOperationFunding, statement, validateTransactionInfrastructure, verifyMembership, walletSigningRequest, witnessFor };

package/dist/session-support.d.ts

@@ -0,0 +1,284 @@
+import { e as OperationPlan, s as SavedOperation, T as TransactionRuntime, f as TransactionProveOptions, F as FundingSigner, c as FundingAuthorizationVerifier, O as OperationStatus, t as PreparationRuntime, r as TransferPreparation, S as ShieldPreparation, C as CreateCreditPreparation, D as DrawCreditPreparation, U as UpdateCreditPreparation, R as RevokeCreditPreparation, h as TransactionInfrastructure } from './operation-bridge-CoECSxfi.js';
+export { A as AddressLookup, i as BroadcasterClient, k as BroadcasterFeeSource, l as BroadcasterQuoteOptions, B as BroadcasterTransaction, u as Checkpoint, v as CoinSelector, w as CreditPlan, x as CreditRecord, m as FundingSource, b as FundingTypedData, L as LocalOperationSecrets, N as NoteOutput, y as NoteRecord, g as OperationAggregateMember, d as PreparationIntent, z as PreparationInventory, E as PreparedCreditInput, G as PreparedCreditOutput, H as PreparedOutput, a as PreparedProvenanceCapability, I as ReceiptPosition, J as SpentState, q as TransactionExecution, W as WalletScope, K as bindBroadcasterOperation, M as configureRecipientInfrastructure, Q as creditReservationKey, V as prepareBroadcasterPlan, X as prepareIntent, Y as prepareProvenance, Z as provePreparedProvenance, _ as recipientLookup, $ as validateBroadcastEnvelope, a0 as validatePreparedBroadcast } from './operation-bridge-CoECSxfi.js';
+import { Hex as Hex$1, InputSource, Address } from '@invisi-labs/protocol/contracts';
+export { h as DeliveryCandidate, D as DeliveryEventLog, a as DiscoveredCredit, b as DiscoveredNote, i as DiscoveryContext, I as Invisi, c as InvisiError, d as InvisiErrorCode, e as InvisiErrorDetails, g as decryptCandidates, j as extractDeliveryCandidates, p as prepareWithErrors, r as readProtocolLogs } from './receipt-logs-8Msm_HZS.js';
+import * as _invisi_labs_protocol from '@invisi-labs/protocol';
+import { ChainReader, TransactionContext, CanonicalBlock, Membership, TransactionCall } from '@invisi-labs/protocol';
+export { DocumentedGasReference, DocumentedGasShape, getDocumentedGasReference } from '@invisi-labs/protocol';
+import { TokenProtocol } from '@invisi-labs/rpc';
+import * as _invisi_labs_primitives from '@invisi-labs/primitives';
+import { AuthorizedStatement, CreditDeliveryState } from '@invisi-labs/primitives';
+import * as _invisi_labs_prover from '@invisi-labs/prover';
+import { Prover, ProofBundle, ProofStatement, ProvingRequest } from '@invisi-labs/prover';
+export { TransactionOutput } from './note.js';
+export { BroadcasterConfiguration, BroadcasterEstimate, BroadcasterQuote, BroadcasterRpcError, BroadcasterStatus, BroadcasterTransport, BroadcasterTrust, SignedBroadcasterQuote, broadcasterQuoteDomain, broadcasterQuoteTypes, broadcasterRequestHash, broadcasterTransactInterface, decodeBroadcasterIntent, verifyBroadcasterQuote } from '@invisi-labs/rpc/broadcaster';
+import '@invisi-labs/protocol/provenance';
+import '@invisi-labs/prover/provenance-witness';
+import '@invisi-labs/rpc/provenance';
+import 'ethers';
+import './index-Crp-ZFiM.js';
+
+/** Quote-only export; callers still need the operation-specific proof or owner authorization. */
+declare function exportBroadcasterIntent(plan: OperationPlan): {
+    sendable: false;
+    data: Hex$1;
+};
+
+declare function verifyMembership(reader: ChainReader, context: TransactionContext, block: CanonicalBlock, input: {
+    treeId: bigint;
+    leafIndex: number;
+    commitment: Hex$1;
+}, proof: Membership): Promise<void>;
+
+/** Decode only canonical protocol receipt bytes before routing events to token wallets. */
+declare function decodeProtocolEvent(log: {
+    data: string;
+    topics: readonly string[];
+}): {
+    eventName: string;
+    args: {
+        [k: string]: unknown;
+    };
+};
+
+/** A pre-proof documented scenario reference; conditions remain visible in the result. */
+declare function getOperationGasReference(plan: OperationPlan, _protocol?: TokenProtocol): _invisi_labs_protocol.DocumentedGasReference;
+
+declare function encodeOperation(saved: SavedOperation): Promise<TransactionCall>;
+
+declare function proveOperation(protocol: TokenProtocol, plan: OperationPlan, authorization: AuthorizedStatement | undefined, prover: Prover, options: TransactionProveOptions): Promise<_invisi_labs_prover.ProofBundle>;
+declare function signOperationFunding(saved: SavedOperation, signer: FundingSigner, verifier?: FundingAuthorizationVerifier): Promise<`0x${string}`>;
+/** Export only typed commitments, never private note openings or authorization witnesses. */
+declare function walletSigningRequest(plan: OperationPlan): _invisi_labs_primitives.SigningRequest;
+/** Recover the EOA key and build the existing private witness without receiving a private key. */
+declare function acceptWalletSignature(plan: OperationPlan, signature: string): Promise<AuthorizedStatement>;
+/** The remote round trip may outlive the nonce or deadline selected during preparation. */
+declare function fundingSigningRequest(saved: SavedOperation, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<_invisi_labs_primitives.SigningRequest>;
+/** Verify against reconstructed operation data, never caller-supplied typed data. */
+declare function acceptFundingSignature(saved: SavedOperation, signature: string, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<`0x${string}`>;
+
+declare function operationPreview(plan: OperationPlan, status: OperationStatus): {
+    id: string;
+    kind: "create-credit" | "update-credit" | "transfer" | "shield" | "draw-credit" | "revoke-credit";
+    status: OperationStatus;
+    context: {
+        tokenAddress: _invisi_labs_primitives.Address;
+        now?: bigint;
+        timestamp?: bigint;
+        chainId: bigint;
+        protocolAddress: _invisi_labs_primitives.Address;
+    };
+    inputs: number;
+    inputDetails: ({
+        kind: "notes";
+        commitment: `0x${string}`;
+        amount: bigint;
+        owner: `0x${string}`;
+        treeId: bigint;
+        leafIndex: number;
+    } | {
+        kind: "credits";
+        commitment: `0x${string}`;
+        revocationShard: bigint;
+        revocationSlot: bigint;
+        owner: `0x${string}`;
+        spender: `0x${string}`;
+        expiry: bigint;
+        availableCredit: bigint;
+        unlimited: boolean;
+        role: "owner" | "spender";
+        treeId: bigint;
+        leafIndex: number;
+    })[];
+    funding: {
+        payer: `0x${string}`;
+        amount: bigint;
+        authorization: "signature" | "none" | "caller";
+        sigNonce: bigint;
+        deadline: bigint;
+        permit: {
+            deadline: bigint;
+        };
+    };
+    creditOutputs: {
+        lastDay: bigint;
+        dailySpent: bigint;
+        lastMonth: bigint;
+        monthlySpent: bigint;
+        totalSpent: bigint;
+        availableCredit: bigint;
+        unlimited: boolean;
+        singleLimit: bigint;
+        dailyLimit: bigint;
+        monthlyLimit: bigint;
+        commitment: `0x${string}`;
+        revocationShard: bigint;
+        revocationSlot: bigint;
+        expiry: bigint;
+        owner: `0x${string}`;
+        spender: `0x${string}`;
+    }[] | undefined;
+    creditUpdate: _invisi_labs_primitives.CreditUpdateChanges | undefined;
+    creditDraw: {
+        grossAmount: bigint;
+        feeAmount: bigint;
+        netAmount: bigint;
+        payers: {
+            payer: _invisi_labs_primitives.Address;
+            amount: bigint;
+        }[];
+    } | undefined;
+    creditFeePayer: `0x${string}` | undefined;
+    outputs: {
+        commitment: `0x${string}`;
+        to: string;
+        amount: bigint;
+        change: boolean;
+    }[];
+    capacity: number | undefined;
+    deadline: bigint;
+    feeRecipient: `0x${string}` | undefined;
+    feeAmount: bigint;
+    fundingAmount: bigint;
+    fundingPayer: `0x${string}` | undefined;
+    withdrawalAmount: bigint;
+    withdrawalAddress: `0x${string}` | undefined;
+    permissions: {
+        walletAuthorization: boolean;
+        proof: boolean;
+        fundingAuthorization: boolean;
+    };
+};
+
+declare function creditLeaf(state: CreditDeliveryState): Promise<Hex$1>;
+/** Rebuild from the original input and delta; cached output balances are never update intent. */
+declare function assertCreditUpdatePlan(plan: OperationPlan): Promise<void>;
+
+declare function inputFacts(plan: OperationPlan): Array<{
+    key: string;
+    reservationKey: string;
+    nullifier: Hex$1;
+    kind: "notes" | "credits";
+}>;
+declare function operationSources(plan: OperationPlan): readonly InputSource[];
+
+/** Shared preparation engine for managed sessions and explicitly supplied inputs. */
+declare class TransactionPreparation<Result> {
+    #private;
+    readonly context: PreparationRuntime<Result>;
+    constructor(context: PreparationRuntime<Result>);
+    private runtime;
+    private get scope();
+    prepareTransfer(options: TransferPreparation): Promise<Result>;
+    private funds;
+    prepareShield(options: ShieldPreparation): Promise<Result>;
+    prepareCreateCredit(options: CreateCreditPreparation): Promise<Result>;
+    prepareDrawCredit(options: DrawCreditPreparation): Promise<Result>;
+    prepareUpdateCredit(options: UpdateCreditPreparation): Promise<Result>;
+    prepareRevokeCredit(options: RevokeCreditPreparation): Promise<Result>;
+}
+
+/** Match the whole frozen member, including funding nonce, signature and permit, in one successful aggregate. */
+declare function matchesAggregateTransaction(saved: SavedOperation, transaction: TransactionCall & {
+    from: Address;
+}): boolean;
+
+/** Whitelist the public proof fields; a custom local backend cannot accidentally export its witness. */
+declare function publicProof(bundle: ProofBundle): ProofBundle;
+
+declare function sameStatement(proof: ProofBundle, expected: ProofStatement): void;
+
+declare function witnessFor(protocol: TokenProtocol, plan: OperationPlan, authorization?: AuthorizedStatement): Promise<ProvingRequest>;
+
+type Hex = `0x${string}`;
+
+declare function fundingTypedData(saved: SavedOperation): Promise<{
+    domain: {
+        name: string;
+        version: string;
+        chainId: bigint;
+        verifyingContract: Hex;
+    };
+    primaryType: "FundShield";
+    types: {
+        FundShield: readonly [{
+            readonly name: "requestHash";
+            readonly type: "bytes32";
+        }, {
+            readonly name: "payer";
+            readonly type: "address";
+        }, {
+            readonly name: "amount";
+            readonly type: "uint256";
+        }, {
+            readonly name: "sigNonce";
+            readonly type: "uint256";
+        }, {
+            readonly name: "deadline";
+            readonly type: "uint256";
+        }];
+    };
+    message: {
+        requestHash: `0x${string}`;
+        payer: `0x${string}`;
+        amount: bigint;
+        sigNonce: bigint;
+        deadline: bigint;
+    };
+} | {
+    domain: {
+        name: string;
+        version: string;
+        chainId: bigint;
+        verifyingContract: Hex;
+    };
+    primaryType: "FundTransact";
+    types: {
+        FundTransact: readonly [{
+            readonly name: "requestHash";
+            readonly type: "bytes32";
+        }, {
+            readonly name: "payer";
+            readonly type: "address";
+        }, {
+            readonly name: "amount";
+            readonly type: "uint256";
+        }, {
+            readonly name: "sigNonce";
+            readonly type: "uint256";
+        }, {
+            readonly name: "deadline";
+            readonly type: "uint256";
+        }];
+    };
+    message: {
+        requestHash: `0x${string}`;
+        payer: `0x${string}`;
+        amount: bigint;
+        sigNonce: bigint;
+        deadline: bigint;
+    };
+}>;
+
+declare function requiresAuthorization(plan: OperationPlan): boolean;
+declare function statement(plan: OperationPlan): ProofStatement;
+declare function authorizationRequest(plan: OperationPlan): {
+    context: {
+        chainId: bigint;
+        protocolAddress: bigint;
+    };
+    operation: "transact" | "create-credit" | "update-credit" | "credit-draw";
+    capacity: number;
+    words: bigint[];
+};
+declare function operationExpired(plan: OperationPlan, now: bigint): boolean;
+
+/** Resolve adapters without starting synchronization or accessing wallet state. */
+declare function configureTransactionInfrastructure<T extends TransactionInfrastructure>(options: T): T;
+/** Validate the selected chain and pinned deployment before any managed state access. */
+declare function validateTransactionInfrastructure(options: TransactionInfrastructure): Promise<void>;
+
+declare function revocationSigningRequest(plan: OperationPlan, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<_invisi_labs_primitives.SigningRequest>;
+declare function acceptRevocationSignature(plan: OperationPlan, signature: Hex$1, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<`0x${string}`>;
+
+export { CreateCreditPreparation, DrawCreditPreparation, FundingAuthorizationVerifier, FundingSigner, OperationPlan, OperationStatus, PreparationRuntime, RevokeCreditPreparation, SavedOperation, ShieldPreparation, TransactionInfrastructure, TransactionPreparation, TransactionProveOptions, TransactionRuntime, TransferPreparation, UpdateCreditPreparation, acceptFundingSignature, acceptRevocationSignature, acceptWalletSignature, assertCreditUpdatePlan, authorizationRequest, configureTransactionInfrastructure, creditLeaf, decodeProtocolEvent, encodeOperation, exportBroadcasterIntent, fundingSigningRequest, fundingTypedData, getOperationGasReference, inputFacts, matchesAggregateTransaction, operationExpired, operationPreview, operationSources, proveOperation, publicProof, requiresAuthorization, revocationSigningRequest, sameStatement, signOperationFunding, statement, validateTransactionInfrastructure, verifyMembership, walletSigningRequest, witnessFor };