@arkade-os/sdk 0.5.0-rc.2 → 0.5.0-rc.21

package/dist/index.d.ts

@@ -1,19 +1,23 @@
-import { a8 as ReadonlyIdentity, a as Identity, au as DescriptorSigningRequest, av as Transaction, aq as SignerSession, a6 as DescriptorProvider, aw as IntentFeeConfig, ax as OffchainInput, ay as FeeAmount, az as OnchainInput, aA as FeeOutput, J as IntentRepository, K as ArkIntent, L as IntentFilter, O as Outpoint, M as VirtualTxRepository, P as VirtualTx, Q as VtxoBranch, W as WalletRepository, B as ExtendedVirtualCoin, D as VtxoRepositoryKey, E as ExtendedCoin, g as ArkTransaction, F as WalletState, z as Contract, C as ContractRepository, H as ContractFilter, I as IWallet, u as ArkProvider, ao as SettlementConfig, aB as ContractWatcherConfig, aC as Asset, R as Recipient, aD as FeeInfo, o as SettlementEvent, n as SettleParams, S as SendBitcoinParams, G as GetArkadeInfoOptions, aE as GetVtxosOptions, aF as PaginationOptions, f as GetVtxosFilter, aG as CreateContractParams, aH as GetContractsFilter, y as VirtualCoin, aI as GetSpendablePathsOptions, aJ as GetAllSpendingPathsOptions, k as GetNewAddressesOptions, aK as IssuanceParams, aL as ReissuanceParams, aM as BurnParams, aN as RenewVtxosOptions, A as ArkadeInfo, aO as NormalizedVtxoPage, c as ArkadeReader, d as ArkadeBroadcaster, e as WalletBalance, af as ContractSyncState, aj as ContractWithVtxos, aP as PathSelection, l as NewAddress, aQ as ContractEvent, aR as AssetDetails, aS as IssuanceResult, aT as DelegateInfo, aU as MigrationGlobalSkipReason, aV as MigrationLegSkipReason, aW as SignerStatus, a7 as IReadonlyWallet, h as ActivityRegistry, ae as IReadonlyAssetManager, aX as StorageConfig, i as Activity, N as NormalizedExtendedVirtualCoin, j as IContractManager, q as IAssetManager, p as SendParams, m as IDelegateManager, aY as IVtxoManager, a9 as OnchainProvider, X as Network, ah as NetworkName, al as Coin, aZ as ExplorerTransaction, a_ as ArkInfo, ar as SignedIntent, as as Intent, a$ as TreeNonces, b0 as TreePartialSigs, T as TxNotificationEvent, b1 as PendingTx, x as TapLeafScript, b2 as EncodedVtxoScript, Y as CSVMultisigTapscript, w as RelativeTimelock, V as VtxoScript, b3 as Status, ai as ArkAddress, b4 as ChainTx, v as IndexerProvider, $ as TxTree, b5 as PathContext } from './index-DUxufw76.js';
-export { b6 as ActivityIntent, b7 as ActivityResolver, b8 as ArkIntentState, b9 as ArkTapscript, ba as AssetMetadata, bb as BITCOIN_EMULATOR_PUBKEY, bc as BaseWalletConfig, a3 as BatchFailedEvent, a1 as BatchFinalizationEvent, a2 as BatchFinalizedEvent, bd as BatchInfo, be as BatchSignableIdentity, Z as BatchStartedEvent, bf as CLTVMultisigTapscript, bg as CandidateDeps, bh as ChainTxType, U as ChainedTxType, bi as CommitmentTx, bj as ConditionCSVMultisigTapscript, bk as ConditionMultisigTapscript, bl as ContractBalance, bm as ContractEventCallback, bn as ContractHandler, am as ContractManager, an as ContractManagerConfig, bo as ContractState, bp as ContractVtxo, bq as ContractWatcher, br as DEFAULT_VTXO_PAGE_SIZE, bs as DelegateManagerImpl, bt as DelegateOptions, aa as DelegateProvider, bu as DelegatorManagerImpl, bv as DelegatorProvider, bw as DeprecatedSignerMigrationReport, bx as DeprecatedSignerReport, by as DigestMismatchError, bz as Discoverable, bA as DiscoveredContract, bB as DiscoveryDeps, bC as ESPLORA_URL, bD as EsploraProvider, bE as EventSourceCapable, bF as EventSourceFactory, bG as EventSourceLike, bH as EventSourceUnavailableError, ac as ExitCaptureMode, bI as ExitChainResolver, ad as ExitDataSource, bJ as ExtendedContractVtxo, bK as GroupMembership, bL as HandlerError, bM as IDelegatorManager, bN as INTENT_TERMINAL_STATES, bO as IndexerTxType, bP as IntentCoin, bQ as KnownMetadata, bR as MUTINYNET_EMULATOR_PUBKEY, bS as MigrateDeprecatedSignerOptions, bT as MigrationLegReport, bU as MigrationVtxoRef, bV as MultisigTapscript, bW as NewAddressType, bX as Nonces, bY as Output, bZ as PageResponse, b_ as PartialSig, b$ as PrevTxSource, c0 as PrevTxUnavailableError, c1 as ProviderClass, c2 as REGTEST_EMULATOR_PUBKEY, c3 as RawTxSource, ab as ReadonlyWalletConfig, ag as RecipientArkadeAddressContext, r as RestArkProvider, c4 as RestDelegateProvider, c5 as RestDelegatorProvider, s as RestIndexerProvider, c6 as ScanContractsOptions, c7 as ScanResult, c8 as ScheduledSession, c9 as SettlementEventType, ca as SignRequest, cb as SignerClassification, cc as SignerSet, cd as SubscriptionEvent, ce as SubscriptionHeartbeat, t as SubscriptionResponse, cf as SweepTxNotification, cg as TapLeaves, ch as TapTreeCoder, ci as TapscriptType, at as TimeHeight, a0 as TreeNoncesEvent, a5 as TreeSignatureEvent, _ as TreeSigningStartedEvent, a4 as TreeTxEvent, cj as Tx, ck as TxHistoryRecord, cl as TxKey, cm as TxNotification, cn as TxTag, co as TxTreeNode, cp as TxType, cq as VirtualStatus, cr as Vtxo, cs as VtxoChain, ap as VtxoManager, ct as VtxoType, b as WalletConfig, cu as WalletMode, cv as WithPrevTx, cw as assertAllowedSighashTypes, cx as assertRecipientArkadeAddress, cy as assetMintResolver, cz as attachPrevArkTxs, cA as attachPrevoutTxs, cB as boardingResolver, cC as canRecoverOnchain, cD as canSpendOffchain, cE as canSweepOnchain, cF as classifyAgainstSignerSet, cG as classifyContractSigner, cH as collabExitResolver, cI as configureEventSource, cJ as createDefaultActivityRegistry, cK as createExitChainResolver, cL as decodeTapscript, cM as defaultEmulatorPubkey, cN as getAllNormalizedVtxos, cO as getConfiguredEventSource, cP as getNetwork, cQ as getNormalizedVtxos, cR as getRandomId, cS as getSequence, cT as hasCandidates, cU as hasTerminalSpend, cV as isBatchSignable, cW as isCooperativelyMigratable, cX as isDiscoverable, cY as isEventSourceUnavailableError, cZ as isExpired, c_ as isPastExpiry, c$ as isRecoverable, d0 as isSigningIdentity, d1 as isSpendable, d2 as isSubdust, d3 as isTerminalIntentState, d4 as isVirtualCoin, d5 as isVtxoExpiringSoon, d6 as networkFromArkadeInfo, d7 as networks, d8 as resolveEmulatorPubkey, d9 as resolveEventSource, da as resolvePrevTxs, db as scriptFromTapLeafScript, dc as signerSetFromInfo, dd as toXOnlySignerHex, de as withPrevTxs } from './index-DUxufw76.js';
-import { W as Wallet, R as ReadonlyWallet, b as ReceiveRotatorFactory, c as ReceiveRotatorBootOpts, d as ReceiveRotatorBoot, P as ProviderConnectionState, H as HDWalletCapable, a as HDAllocationCapable, A as AddressAllocationCapable, B as BatchExpiryPolicy, e as Batch } from './hdWalletCapable-CmEU0NP1.js';
-export { f as AbortError, g as ArkError, h as ArkErrorName, i as ArkadeCashClaimResult, j as ArkadeCashCreateError, k as ArkadeCashUnclaimedReason, l as ArkadeCashUnclaimedVtxo, m as BoardingUtxoGroup, C as CheckpointExitDelayPolicy, D as DEFAULT_MIN_BATCH_EXPIRY_SECONDS, n as DEFAULT_MIN_CHECKPOINT_EXIT_DELAY_SECONDS, F as ForeignDescriptorError, I as IncomingFunds, M as MAX_USED_SIGNING_DESCRIPTORS_LOOK_AHEAD, o as MUTINYNET_MIN_CHECKPOINT_EXIT_DELAY_SECONDS, p as ProviderKind, q as ProviderUnavailableError, r as REGTEST_MIN_BATCH_EXPIRY_SECONDS, s as REGTEST_MIN_CHECKPOINT_EXIT_DELAY_SECONDS, S as SIGNET_MIN_CHECKPOINT_EXIT_DELAY_SECONDS, t as ServerInfoSource, u as ServerResponseMismatchError, v as WaitForIncomingFundsOptions, w as WalletCannotAllocateAddressError, x as assertValidBatchExpiry, y as assertValidServerUnrollScript, z as defaultBatchExpiryPolicy, E as defaultCheckpointExitDelayPolicy, G as isAddressAllocationCapable, J as isArkError, K as isHDAllocationCapable, L as isHDWalletCapable, N as maybeArkError, O as resolveBatchExpiryPolicy, Q as resolveCheckpointExitDelayPolicy, T as resolveDescriptorSigner, U as selectVirtualCoins, V as signingDescriptorIndex, X as strictSigningDescriptorIndex, Y as waitForIncomingFunds } from './hdWalletCapable-CmEU0NP1.js';
-import { P as Program, A as ArkadeParamValue, a as ArkadeProgramScript, b as ProgramKeys, c as ArkadeArgValue, C as CompiledProgramFunction, d as ArkadeFunction, I as InputRef, e as InputDef, f as ArkadeValueType, g as ArkadeArgType, h as ArkadeContractParams, i as ArkadeSegment, j as AsmToken, S as SUPPORTED_PROGRAM_VERSION, k as SignerRef, T as TapscriptSegment, W as WitnessRef, l as deserializeArkadeContractParams, p as parseArtifact, r as resolveAsm, s as serializeArkadeContractParams, m as stringifyArtifact, v as validateProgram, w as witnessRefToBytes } from './index-Bem5vKzX.js';
-export { n as ArkadeContractHandler, B as BoardingContractHandler, o as BoardingContractParams, D as DefaultContractHandler, q as DefaultContractParams, t as DelegateContractHandler, u as DelegateContractParams, V as VHTLC, x as VHTLCContractHandler, y as VHTLCContractParams, z as VHTLCV2ContractHandler, E as VHTLCV2ContractParams, F as contractHandlers } from './index-Bem5vKzX.js';
-import { D as DefaultVtxo } from './delegate-BAX5QftB.js';
-export { a as DelegateVtxo } from './delegate-BAX5QftB.js';
+import { ah as ReadonlyIdentity, a as Identity, a3 as DescriptorSigningRequest, a4 as Transaction, az as SignerSession, a2 as DescriptorProvider, aD as IntentFeeConfig, aE as OffchainInput, aF as FeeAmount, aG as OnchainInput, aH as FeeOutput, X as IntentRepository, Y as ArkIntent, Z as IntentPageFilter, P as PageRequest, D as PageResult, O as Outpoint, _ as VirtualTxRepository, $ as VirtualTx, a0 as VtxoBranch, W as WalletRepository, B as ExtendedVirtualCoin, F as ScriptVtxoCursor, H as ScriptVtxoPageOptions, J as StoredVtxo, K as VtxoRepositoryKey, E as ExtendedCoin, L as TransactionHistoryPageFilter, M as TransactionHistoryPageCursor, h as ArkTransaction, Q as WalletState, z as Contract, C as ContractRepository, U as ContractFilter, I as IWallet, u as ArkProvider, ax as SettlementConfig, aI as ContractWatcherConfig, aJ as Asset, R as Recipient, aK as FeeInfo, o as SettlementEvent, N as NormalizedExtendedVirtualCoin, S as SettleParams, G as GetArkadeInfoOptions, aL as GetVtxosOptions, aM as PaginationOptions, f as GetVtxosFilter, g as GetSpendableVtxosFilter, aN as CreateContractParams, aO as GetContractsFilter, y as VirtualCoin, aP as GetSpendablePathsOptions, aQ as GetAllSpendingPathsOptions, l as GetNewAddressesOptions, aR as IssuanceParams, aS as ReissuanceParams, aT as BurnParams, aU as RenewVtxosOptions, A as ArkadeInfo, aV as NormalizedVtxoPage, c as ArkadeReader, d as ArkadeBroadcaster, e as WalletBalance, ao as ContractSyncState, as as ContractWithVtxos, aW as WatchedScript, aX as PathSelection, m as NewAddress, aY as ContractEvent, aZ as AssetDetails, a_ as IssuanceResult, a$ as DelegateInfo, b0 as MigrationGlobalSkipReason, b1 as MigrationLegSkipReason, b2 as SignerStatus, ag as IReadonlyWallet, i as ActivityRegistry, an as IReadonlyAssetManager, b3 as StorageConfig, j as Activity, k as IContractManager, q as IAssetManager, p as SendParams, n as IDelegateManager, b4 as IVtxoManager, ai as OnchainProvider, a5 as Network, aq as NetworkName, au as Coin, b5 as SendBitcoinParams, b6 as ExplorerTransaction, aA as SignedIntent, aB as Intent, b7 as TreeNonces, b8 as TreePartialSigs, T as TxNotificationEvent, b9 as PendingTx, x as TapLeafScript, ba as EncodedVtxoScript, a6 as CSVMultisigTapscript, w as RelativeTimelock, V as VtxoScript, bb as Status, ar as ArkAddress, bc as ChainTx, v as IndexerProvider, a9 as TxTree, bd as PathContext } from './index-CK5QbTmZ.js';
+export { be as ActivityIntent, bf as ActivityResolver, bg as ArkIntentState, bh as ArkTapscript, bi as AssetMetadata, bj as BITCOIN_EMULATOR_PUBKEY, bk as BaseWalletConfig, ad as BatchFailedEvent, ab as BatchFinalizationEvent, ac as BatchFinalizedEvent, bl as BatchInfo, bm as BatchSignableIdentity, a7 as BatchStartedEvent, bn as CLTVMultisigTapscript, bo as CandidateDeps, bp as ChainTxType, a1 as ChainedTxType, bq as CommitmentTx, br as ConditionCSVMultisigTapscript, bs as ConditionMultisigTapscript, bt as ContractBalance, bu as ContractEventCallback, bv as ContractHandler, av as ContractManager, aw as ContractManagerConfig, bw as ContractState, bx as ContractVtxo, by as ContractVtxoEvent, bz as ContractWatcher, bA as DEFAULT_VTXO_PAGE_SIZE, bB as DelegateManagerImpl, bC as DelegateOptions, aj as DelegateProvider, bD as DeprecatedSignerMigrationReport, bE as DeprecatedSignerReport, bF as DigestMismatchError, bG as Discoverable, bH as DiscoveredContract, bI as DiscoveryDeps, bJ as ESPLORA_URL, bK as EsploraProvider, bL as EventSourceCapable, bM as EventSourceFactory, bN as EventSourceLike, bO as EventSourceUnavailableError, al as ExitCaptureMode, bP as ExitChainResolver, am as ExitDataSource, bQ as ExtendedContractVtxo, bR as GroupMembership, bS as HandlerError, bT as INTENT_TERMINAL_STATES, bU as IndexerTxType, bV as IntentCoin, bW as IntentFilter, bX as KnownMetadata, bY as MAX_PAGE_SIZE, bZ as MUTINYNET_EMULATOR_PUBKEY, b_ as MigrateDeprecatedSignerOptions, b$ as MigrationLegReport, c0 as MigrationVtxoRef, c1 as MultisigTapscript, c2 as NewAddressType, c3 as Nonces, c4 as Output, c5 as PageResponse, c6 as PartialSig, c7 as PrevTxSource, c8 as PrevTxUnavailableError, c9 as ProviderClass, ca as REGTEST_EMULATOR_PUBKEY, cb as RawTxSource, ak as ReadonlyWalletConfig, ap as RecipientArkadeAddressContext, cc as RenewalSplit, cd as RenewalSplitContext, r as RestArkProvider, ce as RestDelegateProvider, s as RestIndexerProvider, cf as ScanContractsOptions, cg as ScanResult, ch as ScheduledSession, ci as SettlementEventType, cj as SignRequest, ck as SignerClassification, cl as SignerSet, cm as SubscriptionEvent, cn as SubscriptionHeartbeat, t as SubscriptionResponse, co as SweepTxNotification, cp as TapLeaves, cq as TapTreeCoder, cr as TapscriptType, aC as TimeHeight, aa as TreeNoncesEvent, af as TreeSignatureEvent, a8 as TreeSigningStartedEvent, ae as TreeTxEvent, cs as Tx, ct as TxHistoryRecord, cu as TxKey, cv as TxNotification, cw as TxTag, cx as TxTreeNode, cy as TxType, cz as Vtxo, cA as VtxoChain, ay as VtxoManager, cB as VtxoType, b as WalletConfig, cC as WalletMode, cD as WithPrevTx, cE as assertAllowedSighashTypes, cF as assertPageRequest, cG as assertRecipientArkadeAddress, cH as assetMintResolver, cI as attachPrevArkTxs, cJ as attachPrevoutTxs, cK as boardingResolver, cL as canRecoverOnchain, cM as canSpendOffchain, cN as canSweepOnchain, cO as classifyAgainstSignerSet, cP as classifyContractSigner, cQ as collabExitResolver, cR as collectContracts, cS as collectIntents, cT as collectPages, cU as collectScriptVtxos, cV as collectTransactionHistory, cW as collectUtxos, cX as collectVtxos, cY as configureEventSource, cZ as createDefaultActivityRegistry, c_ as createExitChainResolver, c$ as decodeTapscript, d0 as defaultEmulatorPubkey, d1 as getAllNormalizedVtxos, d2 as getConfiguredEventSource, d3 as getNetwork, d4 as getNormalizedVtxos, d5 as getRandomId, d6 as getSequence, d7 as hasCandidates, d8 as isBatchSignable, d9 as isContractVtxoEvent, da as isCooperativelyMigratable, db as isDiscoverable, dc as isEventSourceUnavailableError, dd as isPastExpiry, de as isSigningIdentity, df as isSubdust, dg as isTerminalIntentState, dh as isVirtualCoin, di as isVtxoExpiringSoon, dj as isVtxoSpent, dk as iteratePages, dl as networkFromArkadeInfo, dm as networks, dn as pageResult, dp as resolveEmulatorPubkey, dq as resolveEventSource, dr as resolvePrevTxs, ds as scriptFromTapLeafScript, dt as signerSetFromInfo, du as toXOnlySignerHex, dv as withPrevTxs } from './index-CK5QbTmZ.js';
+import { W as Wallet, R as ReadonlyWallet, b as ReceiveRotatorFactory, c as ReceiveRotatorBootOpts, d as ReceiveRotatorBoot, P as ProviderConnectionState, H as HDWalletCapable, a as HDAllocationCapable, A as AddressAllocationCapable, B as BatchExpiryPolicy, e as Batch } from './wallet-DzSLMxBZ.js';
+export { f as AbortError, g as ArkError, h as ArkErrorName, i as ArkadeCashClaimResult, j as ArkadeCashCreateError, k as ArkadeCashUnclaimedReason, l as ArkadeCashUnclaimedVtxo, m as ArkadeCashVtxoRef, n as BoardingUtxoGroup, C as CheckpointExitDelayPolicy, D as DEFAULT_MIN_BATCH_EXPIRY_SECONDS, o as DEFAULT_MIN_CHECKPOINT_EXIT_DELAY_SECONDS, F as ForeignDescriptorError, I as IncomingFunds, p as IndexedDBWalletRepository, K as KeyringDescriptorProvider, M as MAX_USED_SIGNING_DESCRIPTORS_LOOK_AHEAD, q as MUTINYNET_MIN_CHECKPOINT_EXIT_DELAY_SECONDS, r as ProviderKind, s as ProviderUnavailableError, t as REGTEST_MIN_BATCH_EXPIRY_SECONDS, u as REGTEST_MIN_CHECKPOINT_EXIT_DELAY_SECONDS, S as SIGNET_MIN_CHECKPOINT_EXIT_DELAY_SECONDS, v as ServerInfoSource, w as ServerResponseMismatchError, x as WaitForIncomingFundsOptions, y as WalletCannotAllocateAddressError, z as assertValidBatchExpiry, E as assertValidServerUnrollScript, G as defaultBatchExpiryPolicy, J as defaultCheckpointExitDelayPolicy, L as isAddressAllocationCapable, N as isArkError, O as isHDAllocationCapable, Q as isHDWalletCapable, T as maybeArkError, U as resolveBatchExpiryPolicy, V as resolveCheckpointExitDelayPolicy, X as resolveDescriptorSigner, Y as selectVirtualCoins, Z as signingDescriptorIndex, _ as strictSigningDescriptorIndex, $ as waitForIncomingFunds } from './wallet-DzSLMxBZ.js';
+import { P as Program, A as ArkadeParamValue, a as ArkadeProgramScript, b as ProgramKeys, c as ArkadeArgValue, C as CompiledProgramFunction, d as ArkadeFunction, I as InputRef, e as InputDef, f as ArkadeValueType, g as ArkadeArgType, h as ArkadeContractParams, i as ArkadeSegment, j as AsmToken, S as SUPPORTED_PROGRAM_VERSION, k as SignerRef, T as TapscriptSegment, l as TweakedSigner, W as WitnessRef, m as deserializeArkadeContractParams, p as parseArtifact, r as resolveAsm, s as serializeArkadeContractParams, n as stringifyArtifact, v as validateProgram, w as witnessRefToBytes } from './index-D1D4cR-G.js';
+export { o as ArkadeContractHandler, B as BoardingContractHandler, q as BoardingContractParams, D as DefaultContractHandler, t as DefaultContractParams, u as DelegateContractHandler, x as DelegateContractParams, V as VHTLC, y as VHTLCContractHandler, z as VHTLCContractParams, E as VHTLCV2ContractHandler, F as VHTLCV2ContractParams, G as contractHandlers } from './index-D1D4cR-G.js';
+import { D as DefaultVtxo } from './delegate-BT5iON1T.js';
+export { a as DelegateVtxo } from './delegate-BT5iON1T.js';
 import { Bytes, BTC_NETWORK } from '@scure/btc-signer/utils.js';
 import { P2TR } from '@scure/btc-signer/payment.js';
 import { Transaction as Transaction$1, OP, Script, ScriptType } from '@scure/btc-signer';
 import { ElectrumWS } from 'ws-electrumx-client';
 import { TransactionOutput, TransactionInputUpdate } from '@scure/btc-signer/psbt.js';
-import { Transaction as Transaction$2 } from '@scure/btc-signer/transaction.js';
-import { S as StorageAdapter } from './index-C0IanN1m.js';
 import * as P from 'micro-packed';
+import '@scure/btc-signer/transaction.js';
+
+/** Validate an optional millisecond duration; zero retains its caller-defined meaning. */
+declare function assertNonNegativeMs(name: string, ms: number | undefined): void;
+/** Validate a timer delay without changing whether zero disables or immediately fires it. */
+declare function assertTimerMs(name: string, ms: number | undefined): void;
 
 /**
  * Tagged envelope for a signing identity transported across the
@@ -55,18 +59,6 @@ type SerializedReadonlyIdentity = {
     descriptor: string;
 };
 type SerializedIdentity = SerializedSigningIdentity | SerializedReadonlyIdentity;
-/**
- * Legacy untagged shape emitted by page builds prior to the tagged
- * SerializedIdentity envelope. Retained so newer workers can still accept
- * older pages during a rolling upgrade. Slated for removal in the next major.
- *
- * @deprecated Use {@link SerializedIdentity}.
- */
-type LegacySerializedIdentity = {
-    privateKey: string;
-} | {
-    publicKey: string;
-};
 
 /**
  * Read-side HD capability marker. Exposes the wildcard-suffixed account
@@ -86,14 +78,8 @@ interface ReadonlyHDCapableIdentity extends ReadonlyIdentity {
      * concrete descriptor by replacing the `*` with a derivation index.
      */
     readonly descriptor: string;
-    /**
-     * True iff `descriptor` derives from this identity's xpub/seed.
-     *
-     * @deprecated Prefer `DescriptorProvider.isOurs()` via
-     * `HDDescriptorProvider` for rotating HD wallets or
-     * `StaticDescriptorProvider` for legacy single-key wallets.
-     */
-    isOurs(descriptor: string): boolean;
+    /** True iff `descriptor` derives from this identity's xpub/seed. */
+    ownsDescriptor(descriptor: string): boolean;
 }
 /**
  * Capability marker for identities that can be rotated through an HD
@@ -110,22 +96,10 @@ interface ReadonlyHDCapableIdentity extends ReadonlyIdentity {
  *    explicitly-non-rotating use cases.
  */
 interface HDCapableIdentity extends ReadonlyHDCapableIdentity, Identity {
-    /**
-     * Signs each request with the key derived from its descriptor.
-     *
-     * @deprecated Prefer `DescriptorProvider.signWithDescriptor()` via
-     * `HDDescriptorProvider` or `StaticDescriptorProvider`. Identities keep
-     * this method only as backing implementation for descriptor providers.
-     */
-    signWithDescriptor(requests: DescriptorSigningRequest[]): Promise<Transaction[]>;
-    /**
-     * Signs a message using the key derived from `descriptor`.
-     *
-     * @deprecated Prefer `DescriptorProvider.signMessageWithDescriptor()` via
-     * `HDDescriptorProvider` or `StaticDescriptorProvider`. Identities keep
-     * this method only as backing implementation for descriptor providers.
-     */
-    signMessageWithDescriptor(descriptor: string, message: Uint8Array, signatureType?: "schnorr" | "ecdsa"): Promise<Uint8Array>;
+    /** Signs each request with the key derived from its descriptor. */
+    signDescriptorTransactions(requests: DescriptorSigningRequest[]): Promise<Transaction[]>;
+    /** Signs a message using the key derived from `descriptor`. */
+    signDescriptorMessage(descriptor: string, message: Uint8Array, signatureType?: "schnorr" | "ecdsa"): Promise<Uint8Array>;
 }
 
 /** Used for default BIP86 derivation with network selection. */
@@ -140,9 +114,8 @@ interface NetworkOptions {
 /** Used for a caller-supplied account-descriptor template. */
 interface DescriptorOptions {
     /**
-     * Account-descriptor *template* — must end with the BIP-32 wildcard
-     * suffix `/*)`. Stored as-is on {@link SeedIdentity.descriptor} and
-     * read by HD providers to rotate through derivation indices.
+     * Account-descriptor *template*; must end with the BIP-32 wildcard suffix `/*)`. Stored as-is
+     * on {@link SeedIdentity.descriptor} for HD providers to rotate through indices.
      */
     descriptor: string;
 }
@@ -154,32 +127,18 @@ type MnemonicOptions = SeedIdentityOptions & {
     passphrase?: string;
 };
 /**
- * Seed-based identity derived from a raw seed and an account descriptor
- * *template*.
- *
- * This is the recommended identity type for most applications. It uses
- * standard BIP86 (Taproot) derivation by default; callers that need a
- * different path supply the wildcard template directly.
+ * Seed-based identity derived from a raw seed and an account descriptor *template*.
  *
- * Prefer this (or @see MnemonicIdentity) over `SingleKey` for new
- * integrations — `SingleKey` exists for backward compatibility with
- * raw nsec-style keys.
+ * The recommended identity type: BIP86 (Taproot) derivation by default, or a caller-supplied
+ * wildcard template. Prefer it (or @see MnemonicIdentity) over `SingleKey`, which exists for
+ * backward compatibility with raw nsec-style keys.
  *
- * The identity holds the wildcard *template* (e.g.
- * `tr([fp/86'/0'/0']xpub/0/*)`) on its public {@link descriptor}
- * field. HD rotation reads it directly; consumers that need a
- * concrete descriptor at a specific index materialize it themselves
- * (see `HDDescriptorProvider` in the wallet layer).
+ * {@link descriptor} holds the wildcard template (e.g. `tr([fp/86'/0'/0']xpub/0/*)`); consumers
+ * materialize concrete indices themselves (see `HDDescriptorProvider`).
  *
- * Exposes seed-level primitives (signing, derivation, the template)
- * but is deliberately NOT a `DescriptorProvider`. Wrap it explicitly
- * to get one:
- *  - `HDDescriptorProvider` for rotating receive addresses.
- *  - {@link StaticDescriptorProvider} for legacy, single-key behaviour.
- *
- * The split prevents a SeedIdentity from being silently used as a
- * concrete descriptor source, which would defeat HD rotation without
- * any compile-time signal that something was wrong.
+ * Deliberately NOT a `DescriptorProvider`, so it can't silently be used as a concrete
+ * descriptor source and defeat HD rotation. Wrap it in `HDDescriptorProvider` (rotating
+ * receive addresses) or {@link StaticDescriptorProvider} (legacy single-key behaviour).
  *
  * @example
  * ```typescript
@@ -197,34 +156,21 @@ type MnemonicOptions = SeedIdentityOptions & {
  */
 declare class SeedIdentity implements HDCapableIdentity {
     private readonly derivedKey;
-    /**
-     * Wildcard account-descriptor template (e.g.
-     * `tr([fp/86'/0'/0']xpub/0/*)`). The canonical thing to pass
-     * through the system; consumers materialize a concrete descriptor
-     * at a specific index themselves (see `HDDescriptorProvider` in
-     * the wallet layer for the rotating-counter use case).
-     */
+    /** Wildcard account-descriptor template (e.g. `tr([fp/86'/0'/0']xpub/0/*)`). */
     readonly descriptor: string;
     /**
-     * Constructs a SeedIdentity from a 64-byte seed and either a
-     * caller-supplied wildcard descriptor (`{ descriptor }`) or the
-     * default BIP86 path at the requested network (`{ isMainnet }`).
-     * Prefer the {@link fromSeed} factory for symmetry with
-     * {@link MnemonicIdentity.fromMnemonic}.
+     * Constructs a SeedIdentity from a 64-byte seed and either a wildcard `{ descriptor }` or the
+     * default BIP86 path for `{ isMainnet }`. Prefer {@link fromSeed}.
      *
-     * Throws on a non-wildcard descriptor, an xpub mismatch with the
-     * seed, or a missing derivation path.
+     * Throws on a non-wildcard descriptor, an xpub mismatch with the seed, or a missing
+     * derivation path.
      */
     constructor(seed: Uint8Array, opts?: SeedIdentityOptions);
     /**
-     * Creates a SeedIdentity from a raw 64-byte seed.
-     *
-     * Pass `{ isMainnet }` for default BIP86 derivation, or
-     * `{ descriptor }` for a caller-supplied account-descriptor
-     * template (the option's value must end with `/*)`).
+     * Creates a SeedIdentity from a raw 64-byte seed: `{ isMainnet }` for default BIP86
+     * derivation, or `{ descriptor }` for a template ending in `/*)`.
      *
      * @param seed - 64-byte seed (typically from mnemonicToSeedSync)
-     * @param opts - Network selection or descriptor template.
      */
     static fromSeed(seed: Uint8Array, opts?: SeedIdentityOptions): SeedIdentity;
     xOnlyPublicKey(): Promise<Uint8Array>;
@@ -232,50 +178,23 @@ declare class SeedIdentity implements HDCapableIdentity {
     sign(tx: Transaction, inputIndexes?: number[]): Promise<Transaction>;
     signMessage(message: Uint8Array, signatureType?: "schnorr" | "ecdsa"): Promise<Uint8Array>;
     /**
-     * BIP-340 sign `messageHash` with this identity's own key, aux_rand = 0.
-     *
-     * The descriptor-less sibling of
-     * {@link signSchnorrDeterministicWithDescriptor}, for an `auto`-mode wallet
-     * whose bare `tr(pubkey)` resolves to the identity itself rather than to a
-     * {@link DescriptorIdentity}. Deliberately NOT routed through
-     * `signMessage`, whose schnorr branch draws a random aux_rand and would
-     * make the "deterministic" signature unreproducible.
+     * BIP-340 sign `messageHash` with this identity's own key, aux_rand = 0 (for an `auto`-mode
+     * wallet whose bare `tr(pubkey)` resolves to the identity itself). NOT via `signMessage`,
+     * whose random aux_rand would make the signature unreproducible.
      */
     signSchnorrDeterministic(messageHash: Uint8Array): Promise<Uint8Array>;
     signerSession(): SignerSession;
-    /**
-     * Converts to a watch-only identity that cannot sign. Carries the
-     * template forward, so the readonly side stays HD-capable (can
-     * derive descriptors at any index without seed access).
-     */
+    /** Watch-only copy; carries the template forward, so it stays HD-capable without the seed. */
     toReadonly(): Promise<ReadonlyDescriptorIdentity>;
-    /**
-     * Returns true when `descriptor` is derived from this identity's seed.
-     * HD descriptors match by account xpub; bare `tr(pubkey)` descriptors
-     * match by raw pubkey. See {@link descriptorIsOurs}.
-     *
-     * @deprecated Prefer `DescriptorProvider.isOurs()` via
-     * `HDDescriptorProvider` for rotating HD wallets or
-     * `StaticDescriptorProvider` for legacy single-key wallets.
-     */
-    isOurs(descriptor: string): boolean;
+    /** Returns true when `descriptor` is derived from this identity's seed. */
+    ownsDescriptor(descriptor: string): boolean;
     /**
      * Signs each request with the key derived from its descriptor.
-     * Each descriptor must share this identity's seed ({@link isOurs}).
-     *
-     * @deprecated Prefer `DescriptorProvider.signWithDescriptor()` via
-     * `HDDescriptorProvider` or `StaticDescriptorProvider`. Identities keep
-     * this method only as backing implementation for descriptor providers.
+     * Each descriptor must share this identity's seed ({@link ownsDescriptor}).
      */
-    signWithDescriptor(requests: DescriptorSigningRequest[]): Promise<Transaction[]>;
-    /**
-     * Signs a message with the key derived from `descriptor`.
-     *
-     * @deprecated Prefer `DescriptorProvider.signMessageWithDescriptor()` via
-     * `HDDescriptorProvider` or `StaticDescriptorProvider`. Identities keep
-     * this method only as backing implementation for descriptor providers.
-     */
-    signMessageWithDescriptor(descriptor: string, message: Uint8Array, signatureType?: "schnorr" | "ecdsa"): Promise<Uint8Array>;
+    signDescriptorTransactions(requests: DescriptorSigningRequest[]): Promise<Transaction[]>;
+    /** Signs a message with the key derived from `descriptor`. */
+    signDescriptorMessage(descriptor: string, message: Uint8Array, signatureType?: "schnorr" | "ecdsa"): Promise<Uint8Array>;
     /**
      * BIP-340 sign `messageHash` with the key derived from `descriptor`,
      * aux_rand = 0. Backs {@link DescriptorIdentity.signSchnorrDeterministic},
@@ -287,12 +206,8 @@ declare class SeedIdentity implements HDCapableIdentity {
     private signMessageWithKey;
 }
 /**
- * Mnemonic-based identity derived from a BIP39 phrase.
- *
- * This is the most user-friendly identity type — recommended for wallet
- * applications where users manage their own backup phrase. Extends
- * @see SeedIdentity with mnemonic validation and optional passphrase
- * support.
+ * Mnemonic-based identity derived from a BIP39 phrase; recommended where users manage their own
+ * backup phrase. Extends @see SeedIdentity with mnemonic validation and an optional passphrase.
  *
  * @example
  * ```typescript
@@ -305,27 +220,16 @@ declare class SeedIdentity implements HDCapableIdentity {
 declare class MnemonicIdentity extends SeedIdentity {
     private constructor();
     /**
-     * Creates a MnemonicIdentity from a BIP39 mnemonic phrase.
-     *
-     * Pass `{ isMainnet }` for default BIP86 derivation, or
-     * `{ descriptor }` for a caller-supplied account-descriptor
-     * template (the option's value must end with `/*)`).
+     * Creates a MnemonicIdentity from a BIP39 phrase: `{ isMainnet }` for default BIP86
+     * derivation, or `{ descriptor }` for a template ending in `/*)`, plus optional passphrase.
      *
      * @param phrase - BIP39 mnemonic phrase (12 or 24 words)
-     * @param opts - Network selection or descriptor template, plus optional passphrase
      */
     static fromMnemonic(phrase: string, opts?: MnemonicOptions): MnemonicIdentity;
 }
 /**
- * Watch-only HD identity from a descriptor *template*.
- *
- * Can derive public keys but cannot sign transactions. Use this for
- * watch-only wallets — given just an xpub-based template, the readonly
- * side still rotates through HD indices.
- *
- * Constructed from a wildcard template (e.g.
- * `tr([fp/86'/0'/0']xpub.../0/*)`); the {@link descriptor} field
- * holds it for HD providers to consume.
+ * Watch-only HD identity from a wildcard descriptor template (e.g.
+ * `tr([fp/86'/0'/0']xpub.../0/*)`): derives public keys and rotates HD indices, cannot sign.
  *
  * @example
  * ```typescript
@@ -338,40 +242,19 @@ declare class MnemonicIdentity extends SeedIdentity {
  */
 declare class ReadonlyDescriptorIdentity implements ReadonlyHDCapableIdentity {
     /**
-     * Index-0 expansion of {@link descriptor}. Both the x-only pubkey
-     * (taproot, returned by the library as 32 bytes) and the compressed
-     * pubkey (derived through the bip32 node when needed) are read off
-     * this on demand — no separate caches.
+     * Index-0 expansion of {@link descriptor}; the x-only pubkey (32 bytes) and the compressed
+     * pubkey (via the bip32 node) are both read off it on demand.
      */
     private readonly indexZero;
-    /**
-     * Wildcard account-descriptor template (e.g.
-     * `tr([fp/86'/0'/0']xpub/0/*)`). HD rotation consumers materialize
-     * a concrete descriptor at a specific index themselves.
-     */
+    /** Wildcard account-descriptor template (e.g. `tr([fp/86'/0'/0']xpub/0/*)`). */
     readonly descriptor: string;
     private constructor();
-    /**
-     * Creates a ReadonlyDescriptorIdentity from an account-descriptor
-     * *template* (must end with the BIP-32 wildcard suffix `/*)`).
-     *
-     * @param descriptor - Wildcard-suffixed Taproot template
-     *   (`tr([fp/path']xpub.../child/*)`).
-     */
+    /** @param descriptor - Wildcard-suffixed Taproot template (`tr([fp/path']xpub.../child/*)`). */
     static fromDescriptor(descriptor: string): ReadonlyDescriptorIdentity;
     xOnlyPublicKey(): Promise<Uint8Array>;
     compressedPublicKey(): Promise<Uint8Array>;
-    /**
-     * Returns true when `descriptor` derives from this identity's xpub.
-     * HD descriptors match by account xpub; bare `tr(pubkey)` descriptors
-     * fall back to comparing against the index-0 x-only pubkey. See
-     * {@link descriptorIsOurs}.
-     *
-     * @deprecated Prefer `DescriptorProvider.isOurs()` via
-     * `HDDescriptorProvider` for rotating HD wallets or
-     * `StaticDescriptorProvider` for legacy single-key wallets.
-     */
-    isOurs(descriptor: string): boolean;
+    /** Returns true when `descriptor` derives from this identity's xpub. */
+    ownsDescriptor(descriptor: string): boolean;
 }
 
 /**
@@ -488,73 +371,19 @@ declare class DescriptorIdentity implements Identity {
 }
 
 /**
- * In-memory single key implementation for Bitcoin transaction signing.
- *
- * @example
- * ```typescript
- * // Create from hex string
- * const key = SingleKey.fromHex('your_private_key_hex');
- *
- * // Create from raw bytes
- * const key = SingleKey.fromPrivateKey(privateKeyBytes);
- *
- * // Create random key
- * const randomKey = SingleKey.fromRandomBytes();
- *
- * // Sign a transaction
- * const signedTx = await key.sign(transaction);
- * ```
+ * Wraps a legacy Identity (single-key) as a DescriptorProvider.
+ * The descriptor is always a simple tr(pubkey) format.
  */
-declare class SingleKey implements Identity {
-    private key;
-    private constructor();
-    /** Create a signing identity from raw private key bytes. */
-    static fromPrivateKey(privateKey: Uint8Array): SingleKey;
-    /** Create a signing identity from a hex-encoded private key. */
-    static fromHex(privateKeyHex: string): SingleKey;
-    /** Create a signing identity with a freshly generated random private key. */
-    static fromRandomBytes(): SingleKey;
-    /**
-     * Export the private key as a hex string.
-     *
-     * @returns The private key as a hex string
-     */
-    toHex(): string;
-    sign(tx: Transaction, inputIndexes?: number[]): Promise<Transaction>;
-    compressedPublicKey(): Promise<Uint8Array>;
-    xOnlyPublicKey(): Promise<Uint8Array>;
-    signerSession(): SignerSession;
-    signMessage(message: Uint8Array, signatureType?: "schnorr" | "ecdsa"): Promise<Uint8Array>;
-    /**
-     * BIP-340 sign `messageHash` with aux_rand = 0, so the signature — and
-     * anything derived from it — is reproducible from the key alone.
-     *
-     * What lets a static wallet derive a swap preimage instead of storing one
-     * (see `wallet/contractSecrets.ts`). Deliberately NOT `signMessage`, whose
-     * schnorr branch draws a random aux_rand: a preimage derived from that is
-     * unrecoverable, and the loss would only surface at claim time.
-     */
-    signSchnorrDeterministic(messageHash: Uint8Array): Promise<Uint8Array>;
-    toReadonly(): Promise<ReadonlySingleKey>;
-}
-declare class ReadonlySingleKey implements ReadonlyIdentity {
-    private readonly publicKey;
-    /** Create a readonly identity from a compressed public key. */
-    constructor(publicKey: Uint8Array);
-    /**
-     * Create a ReadonlySingleKey from a compressed public key.
-     *
-     * @param publicKey - 33-byte compressed public key (02/03 prefix + 32-byte x coordinate)
-     * @returns A new ReadonlySingleKey instance
-     * @example
-     * ```typescript
-     * const pubkey = new Uint8Array(33); // your compressed public key
-     * const readonlyKey = ReadonlySingleKey.fromPublicKey(pubkey);
-     * ```
-     */
-    static fromPublicKey(publicKey: Uint8Array): ReadonlySingleKey;
-    xOnlyPublicKey(): Promise<Uint8Array>;
-    compressedPublicKey(): Promise<Uint8Array>;
+declare class StaticDescriptorProvider implements DescriptorProvider {
+    private readonly identity;
+    private readonly descriptor;
+    private readonly pubKeyHex;
+    constructor(identity: Identity, pubKeyHex: string);
+    static create(identity: Identity): Promise<StaticDescriptorProvider>;
+    getNextSigningDescriptor(): Promise<string>;
+    isOurs(descriptor: string): boolean;
+    signWithDescriptor(requests: DescriptorSigningRequest[]): Promise<Transaction[]>;
+    signMessageWithDescriptor(descriptor: string, message: Uint8Array, type?: "schnorr" | "ecdsa"): Promise<Uint8Array>;
 }
 
 /**
@@ -611,7 +440,7 @@ declare class InMemoryIntentRepository implements IntentRepository {
     private byId;
     clear(): Promise<void>;
     saveIntent(intent: ArkIntent): Promise<void>;
-    getIntents(filter?: IntentFilter): Promise<ArkIntent[]>;
+    getIntentsPage(filter: IntentPageFilter | undefined, page: PageRequest): Promise<PageResult<ArkIntent>>;
     getLockedVtxoOutpoints(): Promise<Outpoint[]>;
     [Symbol.asyncDispose](): Promise<void>;
 }
@@ -631,11 +460,8 @@ declare class InMemoryVirtualTxRepository implements VirtualTxRepository {
 }
 
 /**
- * @experimental Virtual-tx persistence is inert by default. This repository
- * opens its DB at {@link INTENT_DB_VERSION} and creates the virtualtx stores,
- * so it must be given a *dedicated* `dbName` distinct from the wallet/contract
- * DB until this persistence is activated in the shared schema — otherwise the
- * shared DB's version-conflict guard rejects the mismatched open.
+ * @experimental Virtual-tx persistence is opt-in. Stored in its own database,
+ * {@link BATCHES_DB_NAME} by default, never in the wallet/contract one.
  */
 declare class IndexedDBVirtualTxRepository implements VirtualTxRepository {
     readonly version: 1;
@@ -653,11 +479,8 @@ declare class IndexedDBVirtualTxRepository implements VirtualTxRepository {
 }
 
 /**
- * @experimental Intent persistence is inert by default. This repository opens
- * its DB at {@link INTENT_DB_VERSION} and creates the intent stores, so it must
- * be given a *dedicated* `dbName` distinct from the wallet/contract DB until
- * intent persistence is activated in the shared schema — otherwise the shared
- * DB's version-conflict guard rejects the mismatched open.
+ * @experimental Intent persistence is opt-in. Stored in its own database,
+ * {@link BATCHES_DB_NAME} by default, never in the wallet/contract one.
  */
 declare class IndexedDBIntentRepository implements IntentRepository {
     readonly version: 1;
@@ -666,7 +489,7 @@ declare class IndexedDBIntentRepository implements IntentRepository {
     private getDB;
     clear(): Promise<void>;
     saveIntent(intent: ArkIntent): Promise<void>;
-    getIntents(filter?: IntentFilter): Promise<ArkIntent[]>;
+    getIntentsPage(filter: IntentPageFilter | undefined, page: PageRequest): Promise<PageResult<ArkIntent>>;
     getLockedVtxoOutpoints(): Promise<Outpoint[]>;
     [Symbol.asyncDispose](): Promise<void>;
 }
@@ -676,21 +499,21 @@ declare class IndexedDBIntentRepository implements IntentRepository {
  * Data is ephemeral and scoped to the instance.
  */
 declare class InMemoryWalletRepository implements WalletRepository {
-    readonly version: 1;
+    readonly version: 2;
     private readonly vtxosByAddress;
     private readonly utxosByAddress;
     private readonly txsByAddress;
     private walletState;
-    getVtxos(address: string): Promise<ExtendedVirtualCoin[]>;
+    getVtxosPage(address: string, page: PageRequest<Outpoint>): Promise<PageResult<ExtendedVirtualCoin, Outpoint>>;
     saveVtxos(address: string, vtxos: ExtendedVirtualCoin[]): Promise<void>;
     deleteVtxos(address: string): Promise<void>;
-    getVtxosForScript(script: string): Promise<ExtendedVirtualCoin[]>;
+    getVtxosForScriptPage(script: string, page: PageRequest<ScriptVtxoCursor>, options?: ScriptVtxoPageOptions): Promise<PageResult<StoredVtxo, ScriptVtxoCursor>>;
     saveVtxosForScript(key: VtxoRepositoryKey, vtxos: ExtendedVirtualCoin[]): Promise<void>;
     deleteVtxosForScript(script: string): Promise<void>;
-    getUtxos(address: string): Promise<ExtendedCoin[]>;
-    saveUtxos(address: string, utxos: ExtendedCoin[]): Promise<void>;
+    getUtxosPage(address: string, page: PageRequest<Outpoint>): Promise<PageResult<ExtendedCoin, Outpoint>>;
+    saveUtxos(addressOrBatch: string | ReadonlyMap<string, ExtendedCoin[]>, utxos?: ExtendedCoin[]): Promise<void>;
     deleteUtxos(address: string): Promise<void>;
-    getTransactionHistory(address: string): Promise<ArkTransaction[]>;
+    getTransactionHistoryPage(filter: TransactionHistoryPageFilter, page: PageRequest<TransactionHistoryPageCursor>): Promise<PageResult<ArkTransaction, TransactionHistoryPageCursor>>;
     saveTransactions(address: string, txs: ArkTransaction[]): Promise<void>;
     deleteTransactions(address: string): Promise<void>;
     getWalletState(): Promise<WalletState | null>;
@@ -700,11 +523,8 @@ declare class InMemoryWalletRepository implements WalletRepository {
 }
 
 /**
- * Whether generic wallet spending may select this contract's VTXOs.
- *
- * Default closed: a type whose handler declares nothing — a custom type, a
- * plugin type, a row whose handler is not registered in this context — is not
- * spendable. Every shipped handler answers explicitly.
+ * Whether generic wallet spending may select this contract's VTXOs. Default closed: a type whose
+ * handler declares nothing, or has no handler registered here, is not spendable.
  *
  * @see ContractHandler.isGenericallySpendable
  */
@@ -720,69 +540,47 @@ type ExcludableVtxo = {
     vout: number;
     script?: string;
 };
+/** {@link gatedContracts}' answer, as callers that only read it should take it. */
+type GatedContracts = ReadonlyMap<string, string>;
 /**
- * Why generic spending skips a VTXO, or `undefined` when it does not — phrased
- * to follow the outpoint in a log line.
- *
- * Generic spending applies three exclusions (the contract gate, pending
- * recovery, intent locks) that key on different things — script, script,
- * outpoint. Stating each as a reason-or-undefined lets all three report through
- * one path, so no exclusion can drop a coin silently while another logs.
+ * Why generic spending skips a VTXO, or `undefined` when it does not; phrased to follow the
+ * outpoint in a log line. One shape for all exclusions (contract gate, pending recovery, intent
+ * locks) so none can drop a coin silently while another logs.
  */
 type VtxoExclusion = (vtxo: ExcludableVtxo) => string | undefined;
 /**
- * The contract gate as an exclusion, naming why it closed: a handler ran and
- * declined, or this build has no handler for the type at all.
- *
- * The two want opposite reactions from whoever reads the log. A decline is
- * the gate working as designed — nothing to do. A missing handler means a
- * contract row this build cannot interpret, e.g. a vendoring or version
- * mismatch, which is worth a reader's attention. `contractHandlers` is
- * already available here, so the message can tell them apart instead of
- * collapsing both into one sentence that reads as the same case either way.
+ * The contract gate as an exclusion, distinguishing a handler's decline (working as designed)
+ * from a missing handler (a row this build can't interpret, e.g. a version mismatch, worth a
+ * reader's attention).
  */
-declare function gateExclusion(gated: ReadonlyMap<string, string>): VtxoExclusion;
+declare function gateExclusion(gated: GatedContracts): VtxoExclusion;
 /** Outpoints excluded for a shared reason, e.g. an intent-lock set. */
 declare function outpointExclusion(outpoints: ReadonlySet<string>, reason: string): VtxoExclusion;
 /**
- * Outpoints excluded for individually-named reasons — a per-input timelock,
- * where one shared reason would be wrong because the inputs differ.
- *
- * Unlike {@link gateExclusion}, the reasons are the handlers' own sentences and
- * are not rephrased to follow the outpoint: that text is what tells the reader
- * when to retry, and a paraphrase here would be a second spelling to keep in
- * step with it.
+ * Outpoints excluded for per-input reasons (e.g. a per-input timelock). The handlers' own
+ * sentences, unparaphrased: they tell the reader when to retry.
  *
  * @see outpointExclusion for the shared-reason form.
  */
 declare function outpointReasons(reasons: ReadonlyMap<string, string>): VtxoExclusion;
 /**
- * Report VTXOs an exclusion dropped — the only field-diagnosable signal for why
- * a coin is missing from a spend, or why an explicitly named one will fail.
- * Debug level, one line per VTXO per reason.
+ * Report VTXOs an exclusion dropped, the only field-diagnosable signal for a coin missing from a
+ * spend. Debug level, one line per VTXO per reason.
  */
 declare function logExcludedVtxos(source: string, vtxos: readonly ExcludableVtxo[], exclusions: readonly VtxoExclusion[]): void;
 /**
- * Thrown when a spend names VTXOs whose contract can no longer be annotated —
- * its handler is not registered here, its handler rejects the stored params, or
- * it has no contract row at all.
- *
- * Raised before submission on purpose. Spending reads the tapscripts stored on
- * each coin rather than re-deriving them, so such a spend would otherwise build
- * and broadcast normally and only fail in the bookkeeping afterwards, leaving
- * the transaction on the network and the local state behind it.
+ * Thrown before submission when a spend names VTXOs whose contract can no longer be annotated
+ * (handler unregistered, stored params rejected, or no row). Otherwise the spend would broadcast
+ * and fail in the bookkeeping, leaving local state behind the network.
  */
 declare class UnannotatableInputError extends Error {
     readonly name = "UnannotatableInputError";
 }
 
 /**
- * Encode a contract to the arkcontract string format.
- *
- * Format: arkcontract={type}&{key1}={value1}&{key2}={value2}...
- *
- * This format is compatible with NArk and allows contracts to be
- * shared/imported across different Arkade SDKs.
+ * Encode a contract to the arkcontract string format:
+ * `arkcontract={type}&{key1}={value1}&...`. NArk-compatible, so contracts can be shared
+ * across Arkade SDKs.
  *
  * @example
  * ```typescript
@@ -798,27 +596,18 @@ declare class UnannotatableInputError extends Error {
  */
 declare function encodeArkContract(contract: Contract): string;
 /**
- * Parsed result from decoding an arkcontract string.
- *
- * This is a low-level representation. For type-safe contract creation,
- * use `contractFromArkContract` or `contractFromArkContractWithAddress`
- * which validate params through the handler system.
+ * Raw (unvalidated) result of decoding an arkcontract string. For typed contracts use
+ * `contractFromArkContract` / `contractFromArkContractWithAddress`, which validate via handlers.
  */
 interface ParsedArkContract {
     /** Contract type (e.g., "vhtlc", "default") */
     type: string;
-    /** All key-value pairs from the string */
+    /** All other key-value pairs from the string */
     data: Record<string, string>;
 }
 /**
- * Decode an arkcontract string into raw type and data.
- *
- * This is a low-level function that parses the URL-encoded format.
- * For creating typed Contract objects, use `contractFromArkContract`
- * or `contractFromArkContractWithAddress` instead.
+ * Decode an arkcontract string into raw type and data (low-level; see {@link ParsedArkContract}).
  *
- * @param encoded - The arkcontract string
- * @returns Parsed type and key-value data
  * @throws If the string is not a valid arkcontract
  *
  * @example
@@ -829,14 +618,9 @@ interface ParsedArkContract {
  */
 declare function decodeArkContract(encoded: string): ParsedArkContract;
 /**
- * Create a Contract from an arkcontract string.
+ * Create a Contract (without script/address) from an arkcontract string.
  *
- * This requires a handler to be registered for the contract type.
- *
- * @param encoded - The arkcontract string
- * @param options - Additional options for the contract
- * @returns A Contract object
- * @throws If the string is invalid or no handler exists for the type
+ * @throws If the string is invalid or no handler is registered for the type
  *
  * @example
  * ```typescript
@@ -859,56 +643,26 @@ declare function contractFromArkContract(encoded: string, options?: {
 /**
  * Create a full Contract with derived script and address.
  *
- * @param encoded - The arkcontract string
  * @param serverPubKey - Server public key (for address derivation)
  * @param addressPrefix - Address prefix (e.g., "tark" for testnet)
- * @param options - Additional options
- * @returns A complete Contract object
  */
 declare function contractFromArkContractWithAddress(encoded: string, serverPubKey: Uint8Array, addressPrefix?: string, options?: {
     label?: string;
     state?: "active" | "inactive";
     metadata?: Record<string, unknown>;
 }): Contract;
-/**
- * Check if a string is an arkcontract.
- */
+/** Check if a string is an arkcontract. */
 declare function isArkContract(str: string): boolean;
 
-/**
- * Thrown when a descriptor-capable contract (default, delegate, or boarding)
- * cannot be routed to any signer: its owner key (`params.pubKey`) is not this
- * wallet's baseline signing key, and the record carries no
- * `metadata.signingDescriptor` to send it to a descriptor-aware signer.
- *
- * Note that this can arise also when a contract belongs to a different identity (storage reuse).
- */
-declare class MissingSigningDescriptorError extends Error {
-    readonly contractScript: string;
-    readonly contractType: "default" | "delegate" | "boarding";
-    readonly name = "MissingSigningDescriptorError";
-    constructor(contractScript: string, contractType: "default" | "delegate" | "boarding");
-}
-/**
- * Thrown when an input needs descriptor-aware signing but no
- * DescriptorProvider was wired into the wallet.
- */
-declare class DescriptorSigningProviderMissingError extends Error {
-    readonly name = "DescriptorSigningProviderMissingError";
-    constructor();
-}
-
 /**
  * In-memory implementation of ContractRepository.
  * Data is ephemeral and scoped to the instance.
  */
 declare class InMemoryContractRepository implements ContractRepository {
-    readonly version: 2;
-    private readonly contractData;
-    private readonly collections;
+    readonly version: 3;
     private readonly contractsByScript;
     clear(): Promise<void>;
-    getContracts(filter?: ContractFilter): Promise<Contract[]>;
+    getContractsPage(filter: ContractFilter | undefined, page: PageRequest): Promise<PageResult<Contract>>;
     saveContract(contract: Contract): Promise<void>;
     deleteContract(script: string): Promise<void>;
     [Symbol.asyncDispose](): Promise<void>;
@@ -920,145 +674,119 @@ declare class InMemoryContractRepository implements ContractRepository {
  * Data is stored as JSON strings in key/value stores.
  */
 declare class IndexedDBContractRepository implements ContractRepository {
-    readonly version: 2;
+    readonly version: 3;
     private readonly connection;
     constructor(dbName?: string);
     clear(): Promise<void>;
-    getContracts(filter?: ContractFilter): Promise<Contract[]>;
+    getContractsPage(filter: ContractFilter | undefined, page: PageRequest): Promise<PageResult<Contract>>;
     saveContract(contract: Contract): Promise<void>;
     deleteContract(script: string): Promise<void>;
+    /** Up to `limit + 1` rows of `range` that pass `filter`, in key order. */
+    private readMatching;
     private applyContractFilter;
     private getDB;
     [Symbol.asyncDispose](): Promise<void>;
 }
 
-/**
- * IndexedDB-based implementation of WalletRepository.
- */
-declare class IndexedDBWalletRepository implements WalletRepository {
-    readonly version: 1;
-    private readonly connection;
-    constructor(dbName?: string);
-    clear(): Promise<void>;
-    [Symbol.asyncDispose](): Promise<void>;
-    getVtxos(address: string): Promise<ExtendedVirtualCoin[]>;
-    saveVtxos(address: string, vtxos: ExtendedVirtualCoin[]): Promise<void>;
-    deleteVtxos(address: string): Promise<void>;
-    getVtxosForScript(script: string): Promise<ExtendedVirtualCoin[]>;
-    saveVtxosForScript(key: VtxoRepositoryKey, vtxos: ExtendedVirtualCoin[]): Promise<void>;
-    deleteVtxosForScript(script: string): Promise<void>;
-    getUtxos(address: string): Promise<ExtendedCoin[]>;
-    saveUtxos(address: string, utxos: ExtendedCoin[]): Promise<void>;
-    deleteUtxos(address: string): Promise<void>;
-    getTransactionHistory(address: string): Promise<ArkTransaction[]>;
-    saveTransactions(address: string, txs: ArkTransaction[]): Promise<void>;
-    deleteTransactions(address: string): Promise<void>;
-    getWalletState(): Promise<WalletState | null>;
-    saveWalletState(state: WalletState): Promise<void>;
-    private getDB;
+interface WalletRestoreHook {
+    id: string;
+    restore(wallet: IWallet): Promise<void>;
 }
-
-declare const MIGRATION_KEY: (repoType: "wallet" | "contract") => string;
-type MigrationStatus = "pending" | "in-progress" | "done" | "not-needed";
-declare function getMigrationStatus(repoType: "wallet" | "contract", storageAdapter: StorageAdapter): Promise<MigrationStatus>;
-declare function requiresMigration(repoType: "wallet" | "contract", storageAdapter: StorageAdapter): Promise<boolean>;
-declare function rollbackMigration(repoType: "wallet" | "contract", storageAdapter: StorageAdapter): Promise<void>;
-/**
- * Migrate wallet data from the legacy storage adapter to the new one.
- * It accepts both onchain and offchain addresses, make sure to pass both.
- *
- * @param storageAdapter
- * @param fresh
- * @param addresses
- */
-declare function migrateWalletRepository(storageAdapter: StorageAdapter, fresh: WalletRepository, addresses: {
-    onchain: string[];
-    offchain: string[];
-}): Promise<void>;
+declare function registerWalletRestoreHook(wallet: IWallet, hook: WalletRestoreHook): () => void;
 
 /**
- * @deprecated This is only to be used in migration from storage V1
+ * In-memory single key implementation for Bitcoin transaction signing.
+ *
+ * @example
+ * ```typescript
+ * // Create from hex string
+ * const key = SingleKey.fromHex('your_private_key_hex');
+ *
+ * // Create from raw bytes
+ * const key = SingleKey.fromPrivateKey(privateKeyBytes);
+ *
+ * // Create random key
+ * const randomKey = SingleKey.fromRandomBytes();
+ *
+ * // Sign a transaction
+ * const signedTx = await key.sign(transaction);
+ * ```
  */
-declare class WalletRepositoryImpl implements WalletRepository {
-    readonly version: 1;
-    private storage;
-    constructor(storage: StorageAdapter);
-    getVtxos(address: string): Promise<ExtendedVirtualCoin[]>;
-    saveVtxos(address: string, vtxos: ExtendedVirtualCoin[]): Promise<void>;
-    clearVtxos(address: string): Promise<void>;
-    deleteVtxos(address: string): Promise<void>;
-    getUtxos(address: string): Promise<ExtendedCoin[]>;
-    saveUtxos(address: string, utxos: ExtendedCoin[]): Promise<void>;
-    clearUtxos(address: string): Promise<void>;
-    deleteUtxos(address: string): Promise<void>;
-    getTransactionHistory(address: string): Promise<ArkTransaction[]>;
-    saveTransactions(address: string, txs: ArkTransaction[]): Promise<void>;
-    clearTransactions(address: string): Promise<void>;
-    deleteTransactions(address: string): Promise<void>;
-    getWalletState(): Promise<WalletState | null>;
-    saveWalletState(state: WalletState): Promise<void>;
-    clear(): Promise<void>;
-    [Symbol.asyncDispose](): Promise<void>;
+declare class SingleKey implements Identity {
+    private key;
+    private constructor();
+    /** Create a signing identity from raw private key bytes. */
+    static fromPrivateKey(privateKey: Uint8Array): SingleKey;
+    /** Create a signing identity from a hex-encoded private key. */
+    static fromHex(privateKeyHex: string): SingleKey;
+    /** Create a signing identity with a freshly generated random private key. */
+    static fromRandomBytes(): SingleKey;
+    /**
+     * Export the private key as a hex string.
+     *
+     * @returns The private key as a hex string
+     */
+    toHex(): string;
+    sign(tx: Transaction, inputIndexes?: number[]): Promise<Transaction>;
+    compressedPublicKey(): Promise<Uint8Array>;
+    xOnlyPublicKey(): Promise<Uint8Array>;
+    signerSession(): SignerSession;
+    signMessage(message: Uint8Array, signatureType?: "schnorr" | "ecdsa"): Promise<Uint8Array>;
+    /**
+     * BIP-340 sign `messageHash` with aux_rand = 0, so the signature — and
+     * anything derived from it — is reproducible from the key alone.
+     *
+     * What lets a static wallet derive a swap preimage instead of storing one
+     * (see `wallet/contractSecrets.ts`). Deliberately NOT `signMessage`, whose
+     * schnorr branch draws a random aux_rand: a preimage derived from that is
+     * unrecoverable, and the loss would only surface at claim time.
+     */
+    signSchnorrDeterministic(messageHash: Uint8Array): Promise<Uint8Array>;
+    toReadonly(): Promise<ReadonlySingleKey>;
 }
-
-/**
- * @deprecated This is only to be used in migration from storage V1
- */
-declare class ContractRepositoryImpl implements ContractRepository {
-    private storage;
-    constructor(storage: StorageAdapter);
-    get version(): 2;
-    getContractData<T>(contractId: string, key: string): Promise<T | null>;
-    setContractData<T>(contractId: string, key: string, data: T): Promise<void>;
-    deleteContractData(contractId: string, key: string): Promise<void>;
-    getContractCollection<T>(contractType: string): Promise<ReadonlyArray<T>>;
-    saveToContractCollection<T, K extends keyof T>(contractType: string, item: T, idField: K): Promise<void>;
-    removeFromContractCollection<T, K extends keyof T>(contractType: string, id: T[K], idField: K): Promise<void>;
-    getContracts(_?: ContractFilter): Promise<Contract[]>;
-    saveContract(_: Contract): Promise<void>;
-    deleteContract(_: string): Promise<void>;
-    clear(): Promise<void>;
-    [Symbol.asyncDispose](): Promise<void>;
+declare class ReadonlySingleKey implements ReadonlyIdentity {
+    private readonly publicKey;
+    /** Create a readonly identity from a compressed public key. */
+    constructor(publicKey: Uint8Array);
+    /**
+     * Create a ReadonlySingleKey from a compressed public key.
+     *
+     * @param publicKey - 33-byte compressed public key (02/03 prefix + 32-byte x coordinate)
+     * @returns A new ReadonlySingleKey instance
+     * @example
+     * ```typescript
+     * const pubkey = new Uint8Array(33); // your compressed public key
+     * const readonlyKey = ReadonlySingleKey.fromPublicKey(pubkey);
+     * ```
+     */
+    static fromPublicKey(publicKey: Uint8Array): ReadonlySingleKey;
+    xOnlyPublicKey(): Promise<Uint8Array>;
+    compressedPublicKey(): Promise<Uint8Array>;
 }
 
 /**
- * Domain separator for the preimage derivation.
- *
- * Protocol-scoped and versioned, mirroring NArk's `Arkade-Boltz-Preimage-v1`
- * (`SwapsManagementService.cs:128`), so any Arkade SDK implementing this
- * scheme reproduces the same preimage and can recover an artifact another
- * SDK created. Deliberately distinct from the Boltz tag: a shared tag would
- * make one wallet key derive one preimage for both corridors.
+ * Domain separator for the preimage derivation. Protocol-scoped and versioned, mirroring NArk's
+ * `Arkade-Boltz-Preimage-v1` (`SwapsManagementService.cs:128`), so any Arkade SDK reproduces the
+ * same preimage and can recover another SDK's artifact. Deliberately distinct from the Boltz tag:
+ * a shared tag would make one wallet key derive one preimage for both corridors.
  */
 declare const ARKADE_SWAP_PREIMAGE_TAG = "Arkade-RFQ-Preimage-v1";
 /**
- * Domain separator for the **salted** preimage derivation, used when the
- * descriptor repeats across artifacts.
- *
- * Corridor-generic where {@link ARKADE_SWAP_PREIMAGE_TAG} is not, and that
- * asymmetry is deliberate. The v1 tags must be per-corridor
- * (`Arkade-RFQ-Preimage-v1` here, NArk's `Arkade-Boltz-Preimage-v1` there)
- * because v1 pins its message index, so the tag is the only thing separating
- * two corridors that reach the same key. v2 mints a salt per artifact, so no
- * two artifacts share a message within a corridor, let alone across two — the
- * salt carries the separation, and the tag names the layer it belongs to.
+ * Domain separator for the **salted** derivation, used when the descriptor repeats across
+ * artifacts. Corridor-generic, unlike {@link ARKADE_SWAP_PREIMAGE_TAG}, deliberately: v1 pins its
+ * message index, so its tag is all that separates two corridors reaching the same key; here the
+ * per-artifact salt carries that separation.
  */
 declare const ARKADE_SALTED_PREIMAGE_TAG = "Arkade-Contract-Preimage-Salted-v1";
 /**
- * `TAG ‖ xonly(32) ‖ u32le(index)` — the message that gets BIP-340 signed.
- *
- * Anchored on the canonical x-only key rather than the descriptor string: a
- * restore reconstructs a bare descriptor that serialises differently from the
- * signing descriptor used at creation, and only the key agrees across both.
+ * `TAG ‖ xonly(32) ‖ u32le(index)` — the message that gets BIP-340 signed. Anchored on the x-only
+ * key, not the descriptor string: a restore rebuilds a descriptor that serialises differently from
+ * the one used at creation, and only the key agrees across both.
  */
 declare function buildPreimageMessage(xonly: Uint8Array, index: number): Uint8Array;
 /**
- * `TAG ‖ xonly(32) ‖ salt(32)` — the salted message that gets BIP-340 signed.
- *
- * The salt replaces v1's pinned index as the source of per-artifact
- * uniqueness, which is what lets a key that repeats across artifacts still
- * derive a distinct preimage for each. It is public: knowing it yields nothing
- * without the seed.
+ * `TAG ‖ xonly(32) ‖ salt(32)` — the salted message that gets BIP-340 signed. The salt replaces
+ * v1's pinned index as the per-artifact uniqueness source; it is public, useless without the seed.
  */
 declare function buildSaltedPreimageMessage(xonly: Uint8Array, salt: Uint8Array): Uint8Array;
 /**
@@ -1077,18 +805,14 @@ interface ProvisionedKey {
      */
     descriptor: string;
     /**
-     * The Ark scriptPubKey that corresponds to this key — the pkScript of the
-     * wallet's current receive address. Returned alongside {@link pubkey} so
-     * callers building the lockup script do not need a separate
-     * {@link IWallet.getAddress} round-trip or an `ArkAddress.decode` call.
+     * The pkScript of the wallet's current receive address, so callers building the lockup need
+     * no separate {@link IWallet.getAddress} or `ArkAddress.decode`.
      */
     pkScript: Uint8Array;
     /**
-     * The receive address {@link pkScript} was decoded from, captured in the
-     * same single {@link IWallet.getAddress} read. The quote-time refund
-     * address and the covenant's `refundPkScript` must always name the same
-     * script, and two independent reads of a wallet that rotates its receive
-     * address would not guarantee that — reuse this, never a second
+     * The receive address {@link pkScript} was decoded from, in the same {@link IWallet.getAddress}
+     * read. The quote-time refund address and the covenant's `refundPkScript` must name the same
+     * script, and two reads of a rotating wallet need not agree — reuse this, never a second
      * `getAddress()` call.
      */
     address: string;
@@ -1103,93 +827,61 @@ interface ProvisionedClaimSecret extends Omit<ProvisionedKey, "pkScript" | "addr
     /** `sha256(preimage)` — what the contract commits to. */
     paymentHash: Uint8Array;
     /**
-     * The salt {@link preimage} was derived from, when it came from the salted
-     * arm. **Public** — the opposite of {@link preimage} above: persist it with
-     * the artifact in the clear, because without it a wallet holding the seed
-     * still cannot re-derive P.
-     *
-     * Absent on the other two arms: an HD child descriptor already names one
-     * artifact, and a stored preimage needs no derivation input.
+     * The salt {@link preimage} was derived from, on the salted arm. **Public**, unlike
+     * {@link preimage}: persist it in the clear with the artifact — without it even the seed
+     * cannot re-derive P. Absent on the other arms.
      */
     preimageSalt?: Uint8Array;
     /**
-     * Persist `preimage` with the artifact: this wallet cannot re-derive it.
-     * True when the caller supplied P, or when the signer cannot sign
-     * deterministically. When false the preimage re-derives from the seed —
-     * given {@link preimageSalt}, where there is one — and nothing secret
-     * needs to be stored.
+     * Persist `preimage` with the artifact: this wallet cannot re-derive it (caller-supplied P,
+     * or a signer that cannot sign deterministically). When false, P re-derives from the seed
+     * (given {@link preimageSalt}, if any) and nothing secret needs storing.
      */
     mustPersistPreimage: boolean;
 }
 /**
- * The key that spends a leg we fund — the refund key of an HTLC, the user key
- * of a covenant's cancel path.
+ * The key that spends a leg we fund — an HTLC's refund key, a covenant's cancel-path user key.
  *
- * The returned `pubkey` is taken from a signer the wallet produced, never
- * from the descriptor string alone. That is the difference between an
- * invariant and a comment: deriving the leaf key is pure parsing and would
- * succeed just as well for a key this wallet cannot sign for — a descriptor
- * allocated by a worker rebound to another identity, a record restored onto
- * the wrong seed — and the covenant would bind it, the leg would fund, and
- * the failure would surface at refund time with the money already committed.
- * Throws {@link ForeignDescriptorError} instead, before there is a quote.
+ * `pubkey` comes from a signer the wallet produced, never the descriptor string alone: parsing
+ * succeeds just as well for a key this wallet cannot sign for (a worker rebound to another
+ * identity, a record restored onto the wrong seed), and the failure would surface at refund time
+ * with the money committed. Throws {@link ForeignDescriptorError} instead, before any quote.
  *
- * The wallet's identity key is reused rather than a fresh HD child, so no
- * index is consumed when the artifact is never built — and the covenant's
- * refund path is on the same key as the refund address the caller sends to
- * at quote time.
+ * Reuses the identity key rather than a fresh HD child, so no index is consumed for an artifact
+ * never built, and the refund path is on the same key as the quote-time refund address.
  */
 declare function provisionRefundKey(wallet: IWallet): Promise<ProvisionedKey>;
 /**
- * The key that spends a leg we claim, plus the preimage that unlocks it.
+ * The key that spends a leg we claim, plus the preimage that unlocks it. Three arms:
  *
- * Pass `opts.preimage` to bring your own 32-byte P; it comes back verbatim
- * with `mustPersistPreimage` set, since the wallet cannot re-derive what it
- * did not choose.
- *
- * Three arms, and which one a wallet lands in is the whole of this function:
- *
- * 1. **Caller-supplied P.** Returned unchanged, `mustPersistPreimage: true`.
- * 2. **Per-artifact descriptor** (an HD child). Derives from the key alone at
- *    the pinned index. Nothing at rest. Raises rather than falling through if
- *    the signer cannot sign deterministically — an HD descriptor whose wallet
- *    refuses is a broken wallet, not a fallback case.
- * 3. **Anything else** — a static wallet's `tr(pubkey)`, or a constant
- *    descriptor from a custom provider. Mints a public per-artifact salt and
- *    derives from it, so a key that repeats still yields a distinct P. Only
- *    this arm falls back to a stored random preimage, and only when the signer
- *    refuses — which is discovered by deriving, never by probing.
+ * 1. **Caller-supplied `opts.preimage`** (32 bytes). Returned verbatim with
+ *    `mustPersistPreimage: true`, since the wallet cannot re-derive what it did not choose.
+ * 2. **Per-artifact descriptor** (an HD child). Derives from the key alone at the pinned index;
+ *    nothing at rest. Raises if the signer cannot sign deterministically — that is a broken HD
+ *    wallet, not a fallback case.
+ * 3. **Anything else** (a static `tr(pubkey)`, a custom provider's constant descriptor). Mints a
+ *    public per-artifact salt and derives from it. Only this arm falls back to a stored random
+ *    preimage, and only when the signer refuses — discovered by deriving, never by probing.
  */
 declare function provisionClaimSecret(wallet: IWallet, opts?: {
     preimage?: Uint8Array;
 }): Promise<ProvisionedClaimSecret>;
 /**
- * The signer for a provisioned descriptor, verified to actually be that
- * descriptor's key.
- *
- * The verification is a public-key equality, never a wallet-type probe: a
- * wallet that answers with the wrong key — another seed's, after a restore
- * mix-up — would sign happily, and the failure would surface only as a
- * counterparty rejection or a dead script.
+ * The signer for a provisioned descriptor, verified by public-key equality (never a wallet-type
+ * probe) to be that descriptor's key: a wallet answering with another seed's key would sign
+ * happily and fail only as a counterparty rejection or a dead script.
  *
- * Know its limit. It catches a wallet that substitutes its *baseline*
- * identity, which is the failure this exists for. It cannot catch one that
- * returns a descriptor-scoped identity built over the same descriptor, since
- * such an identity reads its pubkey back out of the descriptor string and the
- * comparison becomes a tautology. What rules that case out is
- * {@link resolveDescriptorSigner}'s `isOurs` test, which both shipped wallets
- * resolve through — so this is the backstop for a hand-rolled `IWallet`, not
- * the primary guarantee.
+ * Limit: this catches a wallet substituting its *baseline* identity. A descriptor-scoped identity
+ * over the same descriptor reads its pubkey back from the string, making the check a tautology;
+ * {@link resolveDescriptorSigner}'s `isOurs` test (used by both shipped wallets) rules that out,
+ * so this is the backstop for a hand-rolled `IWallet`, not the primary guarantee.
  */
 declare function contractSigner(wallet: IWallet, descriptor: string): Promise<Identity>;
 /**
- * A wallet that holds a contract's key but cannot sign with it: a watch-only
- * identity, or a remote signer whose transport is absent.
- *
- * Distinct from {@link ForeignDescriptorError} because the remedy differs —
- * that one says "wrong wallet", this one says "this wallet, without its
- * signer". Raised at provisioning as well as at signing, so a wallet that
- * could never spend the leg finds out before it funds one.
+ * A wallet that holds a contract's key but cannot sign with it (watch-only, or a remote signer
+ * without its transport). Distinct from {@link ForeignDescriptorError} ("wrong wallet") because
+ * the remedy differs. Raised at provisioning too, so a wallet that could never spend a leg finds
+ * out before funding it.
  */
 declare class WalletCannotSignError extends Error {
     readonly descriptor: string;
@@ -1197,18 +889,12 @@ declare class WalletCannotSignError extends Error {
     constructor(descriptor: string);
 }
 /**
- * The preimage for a provisioned descriptor: `opts.stored` when the artifact
- * kept one, otherwise re-derived from the seed.
- *
- * Resolves in one precedence order, mirroring the arms
- * {@link provisionClaimSecret} chose between:
+ * The preimage for a provisioned descriptor, in the precedence {@link provisionClaimSecret} chose:
  *
- * 1. `opts.stored` — a caller-supplied P, or one from a wallet that could not
- *    derive. Whatever the wallet can do now, a stored P is the artifact's.
+ * 1. `opts.stored` — a caller-supplied P, or one a wallet could not derive; always the artifact's.
  * 2. a per-artifact descriptor — derive at the pinned index.
  * 3. `opts.salt` — derive from the salted message.
- * 4. otherwise throw: a repeating descriptor with neither a stored preimage
- *    nor a salt has nothing to derive from that would not collide.
+ * 4. otherwise throw: a repeating descriptor with neither has nothing collision-free to derive.
  */
 declare function contractPreimage(wallet: IWallet, descriptor: string, opts?: {
     stored?: Uint8Array;
@@ -1219,33 +905,47 @@ declare function contractPreimage(wallet: IWallet, descriptor: string, opts?: {
  * rather than degrading to a random-aux signer. */
 interface DeterministicSigner extends ReadonlyIdentity {
     /**
-     * Implementors wrapping a remote: throw only for a refusal that will
-     * repeat. {@link provisionClaimSecret} reads a transient throw — a network
-     * hiccup, an extension timeout — as "this signer cannot derive", and falls
-     * back to a stored random preimage for the artifact's whole life. That is
-     * claimable, but it persists a secret the seed would otherwise have
-     * replaced, and nothing surfaces the downgrade to the caller.
+     * Implementors wrapping a remote: throw only for a refusal that will repeat.
+     * {@link provisionClaimSecret} reads any throw (even a network hiccup) as "cannot derive" and
+     * silently falls back to a stored random preimage for the artifact's whole life.
      */
     signSchnorrDeterministic(messageHash: Uint8Array): Promise<Uint8Array>;
 }
 declare function isDeterministicSigner(value: unknown): value is DeterministicSigner;
 /**
- * Claim a restored artifact's index so a later allocation cannot reissue it —
- * which would derive that artifact's preimage a second time, for a different
- * one.
- *
- * Monotonic, and a no-op wherever there is no index to reserve — a shared-key
- * descriptor, or another seed's artifact. Restores iterate whole histories, so
- * an artifact this wallet has nothing to adopt for must not abort the loop.
+ * Claim a restored artifact's index so a later allocation cannot reissue it (which would derive
+ * that artifact's preimage again, for a different one).
  *
- * Telling "another seed's" apart from a failure needs
- * {@link HDWalletCapable.signerForDescriptor}, so an allocation-capable wallet
- * that does not also implement it gets only the watermark call's own untyped
- * refusal, and a foreign artifact reaches the caller as an error rather than a
- * skip. Every wallet shipped here implements both.
+ * Monotonic, and a no-op wherever there is no index to reserve (a shared-key descriptor, another
+ * seed's artifact), since restores iterate whole histories. Recognising "another seed's" needs
+ * {@link HDWalletCapable.signerForDescriptor}; without it a foreign artifact surfaces as the
+ * watermark call's untyped error. Every shipped wallet implements both.
  */
 declare function adoptContractDescriptor(wallet: IWallet, descriptor: string): Promise<void>;
 
+/**
+ * Thrown when a descriptor-capable contract (default, delegate, or boarding)
+ * cannot be routed to any signer: its owner key (`params.pubKey`) is not this
+ * wallet's baseline signing key, and the record carries no
+ * `metadata.signingDescriptor` to send it to a descriptor-aware signer.
+ *
+ * Note that this can arise also when a contract belongs to a different identity (storage reuse).
+ */
+declare class MissingSigningDescriptorError extends Error {
+    readonly contractScript: string;
+    readonly contractType: "default" | "delegate" | "boarding";
+    readonly name = "MissingSigningDescriptorError";
+    constructor(contractScript: string, contractType: "default" | "delegate" | "boarding");
+}
+/**
+ * Thrown when an input needs descriptor-aware signing but no
+ * DescriptorProvider was wired into the wallet.
+ */
+declare class DescriptorSigningProviderMissingError extends Error {
+    readonly name = "DescriptorSigningProviderMissingError";
+    constructor();
+}
+
 type RequestEnvelope = {
     tag: string;
     id: string;
@@ -1267,6 +967,11 @@ type ResponseEnvelope = {
     errorName?: string;
     broadcast?: boolean;
 };
+type MessageBusServices = {
+    arkProvider: ArkProvider;
+    wallet?: Wallet;
+    readonlyWallet: ReadonlyWallet;
+};
 interface MessageHandler<REQ extends RequestEnvelope = RequestEnvelope, RES extends ResponseEnvelope = ResponseEnvelope> {
     /**
      * A unique identifier for the updater.
@@ -1283,11 +988,7 @@ interface MessageHandler<REQ extends RequestEnvelope = RequestEnvelope, RES exte
      * bus re-init or `stop()` it goes inert on its own, so retaining one past
      * `stop()` cannot post.
      **/
-    start(services: {
-        arkProvider: ArkProvider;
-        wallet?: Wallet;
-        readonlyWallet: ReadonlyWallet;
-    }, repositories: {
+    start(services: MessageBusServices, repositories: {
         walletRepository: WalletRepository;
     }, channel?: {
         broadcast(response: RES): void;
@@ -1333,32 +1034,26 @@ type Options = {
      * `storage.intentRepository`. Same opt-in as a main-thread wallet: without
      * it the worker persists no settlement intent, reconciles none on restart,
      * and counts intent-locked VTXOs as available. Pass the same repository the
-     * main thread uses so both sides read one intent state.
+     * main thread uses so both sides read one intent state, but settle from one
+     * side only: reconciliation deletes from the server any pending intent the
+     * worker's wallet is not settling itself.
      *
      * Ignored when `buildServices` is supplied — that override owns `storage`.
      */
     intentRepository?: IntentRepository;
     debug?: boolean;
-    buildServices?: (config: Initialize["config"]) => Promise<{
-        arkProvider: ArkProvider;
-        wallet?: Wallet;
-        readonlyWallet: ReadonlyWallet;
-    }>;
+    buildServices?: (config: Initialize["config"]) => Promise<MessageBusServices>;
 };
 type Initialize = {
     type: "INITIALIZE_MESSAGE_BUS";
     id: string;
     config: {
-        wallet: SerializedIdentity | LegacySerializedIdentity;
+        wallet: SerializedIdentity;
         arkServer: {
             url: string;
             publicKey?: string;
         };
         delegateUrl?: string;
-        /** @deprecated alias for @see Initialize.config.delegateUrl */
-        delegatorUrl?: string;
-        indexerUrl?: string;
-        esploraUrl?: string;
         settlementConfig?: SettlementConfig | false;
         walletMode?: "auto" | "static" | "hd";
         watcherConfig?: Partial<Omit<ContractWatcherConfig, "indexerProvider">>;
@@ -1504,51 +1199,22 @@ declare class MessageBus {
     static setup(path: string): Promise<ServiceWorker>;
 }
 
-/**
- * A leaf node in the Taproot script tree, as consumed by
- * `@scure/btc-signer`'s `p2tr(internalKey, tree, ...)`.
- */
+/** A leaf node in the Taproot script tree, as consumed by `@scure/btc-signer`'s `p2tr`. */
 interface TaprootLeaf {
     script: Bytes;
     leafVersion: number;
 }
-/**
- * Internal tree node shape consumed by `@scure/btc-signer`'s `p2tr`:
- *   - A leaf is `{ script, leafVersion }`
- *   - A branch is a 2-element tuple `[leftNode, rightNode]` of nodes
- */
+/** A `p2tr` tree node: a leaf, or a `[left, right]` branch tuple. */
 type TaprootTreeNode = TaprootLeaf | [TaprootTreeNode, TaprootTreeNode];
 /**
- * Assemble a Taproot script tree from a flat list of scripts using the
- * exact algorithm arkd's btcd dependency uses
- * (`txscript.AssembleTaprootScriptTree`, see
- * https://github.com/btcsuite/btcd/blob/master/txscript/taproot.go).
- *
- * The algorithm:
- *
- *   Phase 1 — pair leaves left-to-right:
- *     for i := 0; i < len(leaves); i += 2:
- *       if i is the last index (odd leaf at end):
- *         merge with the LAST branch built so far (do NOT pair as a fresh leaf)
- *       else:
- *         create a new branch from (leaves[i], leaves[i+1])
+ * Assemble a Taproot script tree with btcd's `txscript.AssembleTaprootScriptTree` algorithm
+ * (the one arkd uses).
  *
- *   Phase 2 — FIFO-queue merge branches:
- *     while branches has ≥ 2 items:
- *       take front two, combine into a new branch, push to back of queue
+ * `@scure/btc-signer`'s `taprootListToTree` builds a Huffman tree instead; the two agree only for
+ * power-of-2 leaf counts. Any other count yields a different merkle root → different output key
+ * → arkd rejects spends with `INVALID_PSBT_INPUT`.
  *
- * This matters because `@scure/btc-signer`'s `taprootListToTree` builds a
- * Huffman tree (weight-1 leaves combine by smallest-weight pairs). For
- * power-of-2 leaf counts both algorithms happen to produce the same
- * perfectly-balanced binary tree and agree. For any other count they
- * produce DIFFERENT shapes → different merkle roots → different taproot
- * output keys → arkd rejects spends with `INVALID_PSBT_INPUT`.
- *
- * Reproducing btcd's algorithm here lets the SDK construct taptrees that
- * arkd accepts for arbitrary leaf counts.
- *
- * @param scripts - Raw tapscript bytes for each leaf, in the order they
- *                  should be encoded in the TapTree PSBT field.
+ * @param scripts - Raw tapscript bytes per leaf, in TapTree PSBT field order.
  * @returns The nested-tuple form `p2tr` accepts.
  */
 declare function assembleBtcdTaprootTree(scripts: Bytes[]): TaprootTreeNode;
@@ -1609,11 +1275,10 @@ declare class AssetId {
     readonly groupIndex: number;
     private constructor();
     /**
-     * Create an asset id from a genesis transaction id and group index.
+     * Create a validated asset id from a genesis transaction id and group index.
      *
      * @param txid - Hex-encoded genesis transaction id
      * @param groupIndex - Asset group index within the genesis transaction
-     * @returns A validated asset id
      * @throws Error if the txid is missing, malformed, or not 32 bytes long
      * @see fromString
      */
@@ -1621,8 +1286,6 @@ declare class AssetId {
     /**
      * Decode an asset id from its hex string representation.
      *
-     * @param s - Hex-encoded asset id
-     * @returns Decoded asset id
      * @throws Error if the string is not valid hex or does not encode a valid asset id
      * @see toString
      */
@@ -1630,22 +1293,18 @@ declare class AssetId {
     /**
      * Decode an asset id from its serialized bytes.
      *
-     * @param buf - Serialized asset id bytes
-     * @returns Decoded asset id
      * @throws Error if the buffer length is invalid
      */
     static fromBytes(buf: Uint8Array): AssetId;
     /**
      * Serialize the asset id to raw bytes.
      *
-     * @returns Serialized asset id bytes
      * @see fromBytes
      */
     serialize(): Uint8Array;
     /**
      * Encode the asset id to a hex string.
      *
-     * @returns Hex-encoded asset id
      * @see fromString
      */
     toString(): string;
@@ -1656,17 +1315,14 @@ declare class AssetId {
      */
     validate(): void;
     /**
-     * Decode an asset id from a binary reader.
+     * Decode an asset id from a binary reader positioned at one.
      *
-     * @param reader - Reader positioned at an asset id
-     * @returns Decoded asset id
      * @throws Error if the reader does not contain enough bytes
      */
     static fromReader(reader: BufferReader): AssetId;
     /**
      * Serialize the asset id into an existing binary writer.
      *
-     * @param writer - Writer to append the asset id to
      * @see serialize
      */
     serializeTo(writer: BufferWriter): void;
@@ -1696,27 +1352,18 @@ declare class AssetRef {
     private constructor();
     /** Reference type discriminator. */
     get type(): AssetRefType;
-    /**
-     * Create an asset reference that points to a specific asset id.
-     *
-     * @param assetId - Asset id referenced by this pointer
-     * @returns Asset reference by id
-     * @see fromGroupIndex
-     */
+    /** Reference a specific asset id. @see fromGroupIndex */
     static fromId(assetId: AssetId): AssetRef;
     /**
-     * Create an asset reference that points to another asset group by index.
+     * Reference another asset group in the packet.
      *
      * @param groupIndex - Zero-based asset group index in the packet
-     * @returns Asset reference by group index
      * @see fromId
      */
     static fromGroupIndex(groupIndex: number): AssetRef;
     /**
-     * Decode an asset reference from its hex string form.
+     * Decode an asset reference from hex.
      *
-     * @param s - Hex-encoded asset reference
-     * @returns Decoded asset reference
      * @throws Error if the string is not valid hex or does not encode a valid asset reference
      * @see toString
      */
@@ -1724,39 +1371,20 @@ declare class AssetRef {
     /**
      * Decode an asset reference from its serialized bytes.
      *
-     * @param buf - Serialized asset reference bytes
-     * @returns Decoded asset reference
      * @throws Error if the buffer is empty or malformed
      */
     static fromBytes(buf: Uint8Array): AssetRef;
-    /**
-     * Serialize the asset reference to raw bytes.
-     *
-     * @returns Serialized asset reference bytes
-     * @see fromBytes
-     */
+    /** Serialize to raw bytes. @see fromBytes */
     serialize(): Uint8Array;
-    /**
-     * Encode the asset reference to a hex string.
-     *
-     * @returns Hex-encoded asset reference
-     * @see fromString
-     */
+    /** Encode to hex. @see fromString */
     toString(): string;
     /**
-     * Decode an asset reference from a binary reader.
+     * Decode an asset reference from a reader positioned at one.
      *
-     * @param reader - Reader positioned at an asset reference
-     * @returns Decoded asset reference
      * @throws Error if the type is unknown or the reader does not contain enough bytes
      */
     static fromReader(reader: BufferReader): AssetRef;
-    /**
-     * Serialize the asset reference into an existing binary writer.
-     *
-     * @param writer - Writer to append the asset reference to
-     * @see serialize
-     */
+    /** Append the serialized reference to `writer`. @see serialize */
     serializeTo(writer: BufferWriter): void;
 }
 
@@ -2110,15 +1738,9 @@ declare class Packet implements ExtensionPacket {
  * Shipped from `src/` rather than `test/` so consumers outside this package can
  * pin the same bytes: `lightning-swap-service` imports this value, while NArk
  * and go-sdk vendor the backing `assetIdVectors.json` from a pinned revision of
- * this repository.
- *
- * The encoding is implemented in seven places across three repos and every
- * disagreement between them fails silently — a flipped txid makes a covenant
- * unsatisfiable, a flipped group index resolves to a different asset, a case
- * mismatch is a routing miss. None of those name their cause, which is what
- * these vectors are for.
- *
- * @see plans/asset-id-shared-vectors.md
+ * this repository. The encoding is implemented in seven places across three
+ * repos, and every disagreement fails silently (a flipped txid makes a covenant
+ * unsatisfiable, a flipped group index resolves to a different asset).
  */
 interface AssetIdVectors {
     readonly version: number;
@@ -2168,9 +1790,8 @@ interface AssetIdVectors {
  * The asset-id test vectors, deeply frozen.
  *
  * @remarks
- * Frozen all the way down, not just at the top: every value that matters lives
- * inside the nested arrays, and the module is a singleton — one consumer
- * mutating an entry would corrupt it for every other consumer in the process.
+ * Frozen all the way down: the module is a singleton, and one consumer mutating
+ * a nested entry would corrupt it for every other consumer in the process.
  *
  * @example
  * ```typescript
@@ -2240,6 +1861,13 @@ declare class DustChangeError extends Error {
     readonly dustAmount: bigint;
     constructor(change: bigint, dustAmount: bigint);
 }
+/** Thrown when a collaborative exit's change VTXO is above the server's
+ *  per-output ceiling, which arkd answers with `AMOUNT_TOO_HIGH`. */
+declare class OversizedChangeError extends Error {
+    readonly change: bigint;
+    readonly maxAmount: bigint;
+    constructor(change: bigint, maxAmount: bigint);
+}
 /**
  * Ramps is a class wrapping `settle` method to provide a more convenient interface for onboarding and offboarding operations.
  *
@@ -2289,6 +1917,10 @@ declare class Ramps {
      * @param feeInfo - The fee info to deduct from the offboard amount.
      * @param amount - The amount to offboard. If not provided, the total amount of virtual outputs will be offboarded.
      * @param eventCallback - Optional callback that receives settlement events
+     * @param vtxos - Specific virtual outputs to spend, mirroring {@link onboard}'s
+     * `boardingUtxos`. Omitted, every spendable one is spent — merging the whole
+     * off-chain balance into a single change output. Taken as given like
+     * `settle({ inputs })`: an `amount` these cannot cover is an error, not a top-up.
      * @returns The Arkade transaction id created by settlement
      * @throws Error if no virtual outputs remain after fee deduction or the destination address cannot be decoded
      * @see IWallet.getSpendableVtxos
@@ -2300,26 +1932,35 @@ declare class Ramps {
      * await ramps.offboard('bc1q...', feeInfo);
      * ```
      */
-    offboard(destinationAddress: string, feeInfo: FeeInfo, amount?: bigint, eventCallback?: (event: SettlementEvent) => void): ReturnType<IWallet["settle"]>;
+    offboard(destinationAddress: string, feeInfo: FeeInfo, amount?: bigint, eventCallback?: (event: SettlementEvent) => void, vtxos?: NormalizedExtendedVirtualCoin[]): ReturnType<IWallet["settle"]>;
+    /**
+     * Collaboratively exit with the DESTINATION paid exactly `amount`, pricing the
+     * fee on that output rather than on a grossed-up figure. {@link offboard} keeps
+     * the other anchor, which needs `g - fee(g) = amount` solved — impossible for
+     * a program charging the whole output.
+     */
+    offboardExact(params: {
+        destinationAddress: string;
+        feeInfo: FeeInfo;
+        /** Sats the destination receives, exactly. */
+        amount: bigint;
+        eventCallback?: (event: SettlementEvent) => void;
+        vtxos?: NormalizedExtendedVirtualCoin[];
+    }): ReturnType<IWallet["settle"]>;
+    private offboardInputs;
+    /** Fund the change output: pay its own fee, then judge it against both
+     *  server-side bounds. `0n` in is `0n` out — no change output at all. */
+    private fundChange;
 }
 
 /**
- * HD-wallet {@link DescriptorProvider} that allocates a fresh signing
- * descriptor on every call. The provider holds no notion of "current" — it
- * is a pure rotating allocator. The question of "which descriptor is the
- * wallet currently bound to?" is answered by querying the contract
- * repository for active contracts, not by asking this provider.
+ * HD-wallet {@link DescriptorProvider} that allocates a fresh signing descriptor on every call.
+ * A pure rotating allocator: which descriptor the wallet is bound to is answered by the contract
+ * repository, not this provider.
  *
- * State is persisted under `WalletRepository.getWalletState().settings.hd` so
- * that no storage-schema migration is required when switching a wallet from
- * single-key to HD. The provider is backed by an {@link HDCapableIdentity},
- * which carries the wildcard account descriptor template (for derivation)
- * and the signing primitives.
- *
- * The read-modify-write of the persisted index runs inside the shared per-
- * repo `updateWalletState` mutex, so two `getNextSigningDescriptor` callers
- * — including those driving separate `HDDescriptorProvider` instances on
- * the same repo — can never observe the same index.
+ * State lives in `settings.hd` of the wallet state, so switching single-key → HD needs no schema
+ * migration. Allocation runs inside the shared per-repo `updateWalletState` mutex, so callers
+ * (even on separate instances over one repo) never observe the same index.
  *
  * @example
  * ```ts
@@ -2335,104 +1976,50 @@ declare class HDDescriptorProvider implements DescriptorProvider, ReceiveRotator
     private readonly walletRepository;
     private constructor();
     /**
-     * Construct an HDDescriptorProvider. No I/O is performed here;
-     * persisted state is read lazily on the first call to
-     * `getNextSigningDescriptor`. A descriptor-mismatch error surfaces on
-     * first use rather than at boot.
+     * Construct an HDDescriptorProvider. No I/O: state is read lazily, so a descriptor-mismatch
+     * error surfaces on first use rather than here.
      */
     static create(identity: HDCapableIdentity, walletRepository: WalletRepository): Promise<HDDescriptorProvider>;
-    /**
-     * Allocate the next descriptor and return it. The first call on a fresh
-     * wallet returns descriptor at index 0; subsequent calls return 1, 2, 3,
-     * ... in order. Each call is atomic with respect to other rotations on
-     * the same repo: two concurrent callers can never observe the same
-     * index.
-     */
+    /** Allocate and return the next descriptor (index 0, 1, 2, …), atomically per repo. */
     getNextSigningDescriptor(): Promise<string>;
     /**
-     * Re-derive the descriptor at the most recently allocated index
-     * WITHOUT advancing — i.e. read the same descriptor
-     * `getNextSigningDescriptor` last returned. Returns `undefined`
-     * when no descriptor has ever been allocated on this repo.
-     *
-     * Used by the boot path to keep the wallet's display address
-     * stable across restarts: when no tagged display contract exists
-     * (e.g. a fresh wallet that hasn't rotated yet, or a wallet whose
-     * baseline-only repo carries no rotation history), the boot should
-     * re-derive the existing index rather than burn a new one.
+     * Re-derive the descriptor `getNextSigningDescriptor` last returned, WITHOUT advancing;
+     * `undefined` if none was ever allocated. Lets boot keep the display address stable across
+     * restarts when no tagged display contract exists, instead of burning a new index.
      */
     getCurrentSigningDescriptor(): Promise<string | undefined>;
-    /**
-     * The most recently allocated index, or `undefined` when nothing has ever
-     * been allocated on this repo. Read-only peek at the watermark that
-     * {@link getNextSigningDescriptor} advances.
-     */
+    /** Read-only peek at the allocation watermark; `undefined` if nothing was ever allocated. */
     getLastIndexUsed(): Promise<number | undefined>;
     /**
-     * Monotonically advance the allocation watermark so the next
-     * `getNextSigningDescriptor()` skips indices discovered by a restore
-     * scan. Never rewinds: a lower or equal `index` is a no-op.
-     *
-     * An invalid `index` (non-integer / negative / past the BIP32
-     * non-hardened ceiling) is ignored (no-op): persisting it would corrupt
-     * `lastIndexUsed` and make the next `parseSettings()` throw, mirroring
-     * the validation parseSettings already enforces. The upper bound matters
-     * because the damage outlives the call — `materializeDescriptorAt` cannot
-     * derive at or above 2^31, so a watermark parked there would fail every
-     * subsequent allocation for the life of the repo.
+     * Monotonically advance the watermark past indices found by a restore scan; never rewinds.
+     * An invalid `index` (non-integer, negative, or >= 2^31) is ignored: persisting it would make
+     * `parseSettings()` throw, and a watermark at the hardened ceiling would fail every later
+     * allocation for the life of the repo.
      */
     advanceLastIndexUsed(index: number): Promise<void>;
-    /**
-     * Returns true when the given descriptor is derivable from this wallet's
-     * seed. Delegates to the underlying identity, which handles both HD and
-     * simple `tr(pubkey)` descriptors.
-     */
+    /** Whether `descriptor` (HD or simple `tr(pubkey)`) is derivable from this wallet's seed. */
     isOurs(descriptor: string): boolean;
-    /**
-     * Signs each request with the key derived from its descriptor. Delegates
-     * to the identity's signing primitives — the identity, not the provider,
-     * holds the seed.
-     */
+    /** Signs each request with its descriptor's derived key (the identity holds the seed). */
     signWithDescriptor(requests: DescriptorSigningRequest[]): Promise<Transaction[]>;
     /** Signs a message using the key derived from `descriptor`. */
     signMessageWithDescriptor(descriptor: string, message: Uint8Array, signatureType?: "schnorr" | "ecdsa"): Promise<Uint8Array>;
-    /**
-     * HD providers participate in receive rotation. The default
-     * factory boot (contract-repo lookup → allocate fresh descriptor)
-     * is exactly what we want, so this just delegates to
-     * {@link WalletReceiveRotator.defaultBoot}.
-     */
+    /** HD providers take part in receive rotation via {@link WalletReceiveRotator.defaultBoot}. */
     createReceiveRotator(opts: ReceiveRotatorBootOpts): Promise<ReceiveRotatorBoot | undefined>;
     /**
-     * Substitute the wildcard in the identity's account-descriptor template
-     * with a concrete index, going through the descriptors-scure parser
-     * rather than ad-hoc string substitution. The parser's `expand({ index })`
-     * call validates that the input is a ranged template AND produces a
-     * canonical materialized key expression at the given index.
-     *
-     * This is a pure read: it does NOT advance the allocation watermark.
-     * Used by restore's gap-scan to peek descriptors at arbitrary indices
-     * without side-effects.
+     * Materialize the account template at `index` via the descriptors-scure parser (validates the
+     * ranged template and yields a canonical key expression) rather than string substitution.
+     * Pure: does NOT advance the watermark, so restore's gap-scan can peek arbitrary indices.
      */
     materializeDescriptorAt(index: number): string;
     /**
-     * Run the read-modify-write of HD settings inside the shared per-repo
-     * wallet-state mutex. The closure receives a freshly-validated settings
-     * snapshot, mutates it, and returns whatever value the caller wants to
-     * surface; the mutated settings are then persisted as part of the same
-     * atomic update.
-     *
-     * Doing the read inside the lock is what prevents two providers (or two
-     * concurrent callers on the same provider) from racing on a stale index.
+     * Read-modify-write HD settings inside the shared per-repo wallet-state mutex; `fn` mutates a
+     * validated snapshot that is persisted atomically. Reading inside the lock prevents races on a
+     * stale index.
      */
     private mutate;
     /**
-     * Validate the persisted HD settings (or initialize a fresh record when
-     * absent) and return a clone safe for the caller to mutate.
-     *
-     * The cast to `HDWalletSettings` trusts storage; a corrupted or
-     * partially-migrated repo could otherwise produce `NaN` descriptors.
-     * Fail loud rather than silently derive garbage.
+     * Validate persisted HD settings (or init a fresh record) and return a mutable clone. Fails
+     * loud: a corrupt repo would otherwise derive `NaN` descriptors.
      */
     private parseSettings;
 }
@@ -2446,25 +2033,9 @@ declare class ReadonlyWalletError extends Error {
 declare class DelegateNotConfiguredError extends Error {
     constructor();
 }
-/** @deprecated alias for DelegateNotConfiguredError */
-declare const DelegatorNotConfiguredError: typeof DelegateNotConfiguredError;
-type DelegatorNotConfiguredError = DelegateNotConfiguredError;
 type RequestInitWallet = RequestEnvelope & {
     type: "INIT_WALLET";
     payload: {
-        /**
-         * Legacy per-request key material. Ignored by the current handler —
-         * identity hydration happens during INITIALIZE_MESSAGE_BUS. Retained
-         * for wire compatibility with older workers that may still read it.
-         * Slated for removal in the next major.
-         *
-         * @deprecated Identity is now carried by INITIALIZE_MESSAGE_BUS.
-         */
-        key?: {
-            privateKey: string;
-        } | {
-            publicKey: string;
-        } | {};
         arkServerUrl: string;
         arkServerPublicKey?: string;
     };
@@ -2484,16 +2055,6 @@ type ResponseSettle = ResponseEnvelope & {
         txid: string;
     };
 };
-type RequestSendBitcoin = RequestEnvelope & {
-    type: "SEND_BITCOIN";
-    payload: SendBitcoinParams;
-};
-type ResponseSendBitcoin = ResponseEnvelope & {
-    type: "SEND_BITCOIN_SUCCESS";
-    payload: {
-        txid: string;
-    };
-};
 type RequestGetAddress = RequestEnvelope & {
     type: "GET_ADDRESS";
 };
@@ -2586,13 +2147,14 @@ type ResponseGetVtxos = ResponseEnvelope & {
 type RequestGetSpendableVtxos = RequestEnvelope & {
     type: "GET_SPENDABLE_VTXOS";
     payload: {
-        filter?: GetVtxosFilter;
+        filter?: GetSpendableVtxosFilter;
     };
 };
 type ResponseGetSpendableVtxos = ResponseEnvelope & {
     type: "SPENDABLE_VTXOS";
     payload: {
         vtxos: Awaited<ReturnType<IWallet["getSpendableVtxos"]>>;
+        filterApplied?: boolean;
     };
 };
 type RequestGetBoardingUtxos = RequestEnvelope & {
@@ -2690,12 +2252,53 @@ type RequestGetContractsWithVtxos = RequestEnvelope & {
     type: "GET_CONTRACTS_WITH_VTXOS";
     payload: {
         filter?: GetContractsFilter;
+        options?: {
+            maxSyncAgeMs?: number;
+            unspentOnly?: boolean;
+            requireSynced?: boolean;
+        };
     };
 };
 type ResponseGetContractsWithVtxos = ResponseEnvelope & {
     type: "CONTRACTS_WITH_VTXOS";
     payload: {
         contracts: ContractWithVtxos[];
+        filterApplied?: boolean;
+    };
+};
+type RequestWatchScript = RequestEnvelope & {
+    type: "WATCH_SCRIPT";
+    payload: {
+        script: string | string[];
+        label?: string;
+    };
+};
+type ResponseWatchScript = ResponseEnvelope & {
+    type: "SCRIPT_WATCHED";
+    payload: {
+        script: string | string[];
+    };
+};
+type RequestUnwatchScript = RequestEnvelope & {
+    type: "UNWATCH_SCRIPT";
+    payload: {
+        script: string | string[];
+    };
+};
+type ResponseUnwatchScript = ResponseEnvelope & {
+    type: "SCRIPT_UNWATCHED";
+    payload: {
+        script: string | string[];
+    };
+};
+type RequestGetWatchedScripts = RequestEnvelope & {
+    type: "GET_WATCHED_SCRIPTS";
+    payload: Record<string, never>;
+};
+type ResponseGetWatchedScripts = ResponseEnvelope & {
+    type: "WATCHED_SCRIPTS";
+    payload: {
+        scripts: WatchedScript[];
     };
 };
 type RequestAnnotateVtxos = RequestEnvelope & {
@@ -2715,6 +2318,11 @@ type RequestUpdateContract = RequestEnvelope & {
     payload: {
         script: string;
         updates: Partial<Omit<Contract, "id" | "createdAt">>;
+        /**
+         * Set only by the proxy's `setContractWatchState`, so the worker keeps its
+         * unchanged-state no-op. A worker predating the flag ignores it and writes.
+         */
+        watchStateOnly?: boolean;
     };
 };
 type ResponseUpdateContract = ResponseEnvelope & {
@@ -2723,6 +2331,10 @@ type ResponseUpdateContract = ResponseEnvelope & {
         contract: Contract;
     };
 };
+/** Answers a `watchStateOnly` update; carries no row, so nothing is re-read. */
+type ResponseContractWatchStateSet = ResponseEnvelope & {
+    type: "CONTRACT_WATCH_STATE_SET";
+};
 type RequestDeleteContract = RequestEnvelope & {
     type: "DELETE_CONTRACT";
     payload: {
@@ -2886,6 +2498,8 @@ type RequestSend = RequestEnvelope & {
         recipients: [Recipient, ...Recipient[]];
         /** @see SendParams.selectedVtxos */
         selectedVtxos?: ExtendedVirtualCoin[];
+        /** @see SendParams.maxChangeFee */
+        maxChangeFee?: number;
     };
 };
 type ResponseSend = ResponseEnvelope & {
@@ -3104,8 +2718,8 @@ type RequestRestoreWallet = RequestEnvelope & {
 type ResponseRestoreWallet = ResponseEnvelope & {
     type: "RESTORE_WALLET_SUCCESS";
 };
-type WalletUpdaterRequest = RequestInitWallet | RequestSettle | RequestSendBitcoin | RequestGetAddress | RequestGetBoardingAddress | RequestGetArkadeInfo | RequestIndexerGetVtxos | RequestIndexerGetVirtualTxs | RequestSubmitTx | RequestFinalizeTx | RequestGetBalance | RequestGetVtxos | RequestGetSpendableVtxos | RequestGetBoardingUtxos | RequestGetTransactionHistory | RequestGetStatus | RequestGetContractSyncState | RequestClear | RequestReloadWallet | RequestSignTransaction | RequestCreateContract | RequestGetContracts | RequestGetContractsWithVtxos | RequestAnnotateVtxos | RequestUpdateContract | RequestDeleteContract | RequestGetSpendablePaths | RequestGetAllSpendingPaths | RequestIsContractManagerWatching | RequestRefreshVtxos | RequestRefreshOutpoints | RequestGetCurrentSigningDescriptor | RequestGetNextSigningDescriptor | RequestGetNewAddresses | RequestGetUsedSigningDescriptors | RequestAdvanceSigningDescriptorWatermark | RequestSend | RequestGetAssetDetails | RequestIssue | RequestReissue | RequestBurn | RequestDelegate | RequestGetDelegateInfo | RequestRecoverVtxos | RequestGetRecoverableBalance | RequestGetExpiringVtxos | RequestRenewVtxos | RequestGetExpiredBoardingUtxos | RequestSweepExpiredBoardingUtxos | RequestMigrateDeprecatedSignerVtxos | RequestGetDeprecatedSignerStatus | RequestRestoreWallet;
-type WalletUpdaterResponse = ResponseEnvelope & (ResponseInitWallet | ResponseSettle | ResponseSettleEvent | ResponseSendBitcoin | ResponseGetAddress | ResponseGetBoardingAddress | ResponseGetArkadeInfo | ResponseIndexerGetVtxos | ResponseIndexerGetVirtualTxs | ResponseSubmitTx | ResponseFinalizeTx | ResponseGetBalance | ResponseGetVtxos | ResponseGetSpendableVtxos | ResponseGetBoardingUtxos | ResponseGetTransactionHistory | ResponseGetStatus | ResponseGetContractSyncState | ResponseClear | ResponseReloadWallet | ResponseUtxoUpdate | ResponseVtxoUpdate | ResponseSignTransaction | ResponseCreateContract | ResponseGetContracts | ResponseGetContractsWithVtxos | ResponseAnnotateVtxos | ResponseUpdateContract | ResponseDeleteContract | ResponseGetSpendablePaths | ResponseGetAllSpendingPaths | ResponseIsContractManagerWatching | ResponseRefreshVtxos | ResponseRefreshOutpoints | ResponseGetCurrentSigningDescriptor | ResponseGetNextSigningDescriptor | ResponseGetNewAddresses | ResponseGetUsedSigningDescriptors | ResponseAdvanceSigningDescriptorWatermark | ResponseContractEvent | ResponseSend | ResponseGetAssetDetails | ResponseIssue | ResponseReissue | ResponseBurn | ResponseDelegate | ResponseGetDelegateInfo | ResponseRecoverVtxos | ResponseRecoverVtxosEvent | ResponseGetRecoverableBalance | ResponseGetExpiringVtxos | ResponseRenewVtxos | ResponseRenewVtxosEvent | ResponseGetExpiredBoardingUtxos | ResponseSweepExpiredBoardingUtxos | ResponseMigrateDeprecatedSignerVtxos | ResponseMigrateDeprecatedSignerVtxosEvent | ResponseGetDeprecatedSignerStatus | ResponseRestoreWallet);
+type WalletUpdaterRequest = RequestInitWallet | RequestSettle | RequestGetAddress | RequestGetBoardingAddress | RequestGetArkadeInfo | RequestIndexerGetVtxos | RequestIndexerGetVirtualTxs | RequestSubmitTx | RequestFinalizeTx | RequestGetBalance | RequestGetVtxos | RequestGetSpendableVtxos | RequestGetBoardingUtxos | RequestGetTransactionHistory | RequestGetStatus | RequestGetContractSyncState | RequestClear | RequestReloadWallet | RequestSignTransaction | RequestCreateContract | RequestGetContracts | RequestGetContractsWithVtxos | RequestWatchScript | RequestUnwatchScript | RequestGetWatchedScripts | RequestAnnotateVtxos | RequestUpdateContract | RequestDeleteContract | RequestGetSpendablePaths | RequestGetAllSpendingPaths | RequestIsContractManagerWatching | RequestRefreshVtxos | RequestRefreshOutpoints | RequestGetCurrentSigningDescriptor | RequestGetNextSigningDescriptor | RequestGetNewAddresses | RequestGetUsedSigningDescriptors | RequestAdvanceSigningDescriptorWatermark | RequestSend | RequestGetAssetDetails | RequestIssue | RequestReissue | RequestBurn | RequestDelegate | RequestGetDelegateInfo | RequestRecoverVtxos | RequestGetRecoverableBalance | RequestGetExpiringVtxos | RequestRenewVtxos | RequestGetExpiredBoardingUtxos | RequestSweepExpiredBoardingUtxos | RequestMigrateDeprecatedSignerVtxos | RequestGetDeprecatedSignerStatus | RequestRestoreWallet;
+type WalletUpdaterResponse = ResponseEnvelope & (ResponseInitWallet | ResponseSettle | ResponseSettleEvent | ResponseGetAddress | ResponseGetBoardingAddress | ResponseGetArkadeInfo | ResponseIndexerGetVtxos | ResponseIndexerGetVirtualTxs | ResponseSubmitTx | ResponseFinalizeTx | ResponseGetBalance | ResponseGetVtxos | ResponseGetSpendableVtxos | ResponseGetBoardingUtxos | ResponseGetTransactionHistory | ResponseGetStatus | ResponseGetContractSyncState | ResponseClear | ResponseReloadWallet | ResponseUtxoUpdate | ResponseVtxoUpdate | ResponseSignTransaction | ResponseCreateContract | ResponseGetContracts | ResponseGetContractsWithVtxos | ResponseWatchScript | ResponseUnwatchScript | ResponseGetWatchedScripts | ResponseAnnotateVtxos | ResponseUpdateContract | ResponseContractWatchStateSet | ResponseDeleteContract | ResponseGetSpendablePaths | ResponseGetAllSpendingPaths | ResponseIsContractManagerWatching | ResponseRefreshVtxos | ResponseRefreshOutpoints | ResponseGetCurrentSigningDescriptor | ResponseGetNextSigningDescriptor | ResponseGetNewAddresses | ResponseGetUsedSigningDescriptors | ResponseAdvanceSigningDescriptorWatermark | ResponseContractEvent | ResponseSend | ResponseGetAssetDetails | ResponseIssue | ResponseReissue | ResponseBurn | ResponseDelegate | ResponseGetDelegateInfo | ResponseRecoverVtxos | ResponseRecoverVtxosEvent | ResponseGetRecoverableBalance | ResponseGetExpiringVtxos | ResponseRenewVtxos | ResponseRenewVtxosEvent | ResponseGetExpiredBoardingUtxos | ResponseSweepExpiredBoardingUtxos | ResponseMigrateDeprecatedSignerVtxos | ResponseMigrateDeprecatedSignerVtxosEvent | ResponseGetDeprecatedSignerStatus | ResponseRestoreWallet);
 declare class WalletMessageHandler implements MessageHandler<WalletUpdaterRequest, WalletUpdaterResponse> {
     readonly messageTag: string;
     private wallet;
@@ -3169,7 +2783,6 @@ declare class WalletMessageHandler implements MessageHandler<WalletUpdaterReques
      */
     private reloadWallet;
     private handleSettle;
-    private handleSendBitcoin;
     private handleSignTransaction;
     private handleDelegate;
     /**
@@ -3181,6 +2794,14 @@ declare class WalletMessageHandler implements MessageHandler<WalletUpdaterReques
     /**
      * Read all virtual outputs from the repository, aggregated across all contract
      * addresses and the wallet's primary address, with deduplication.
+     *
+     * Recovery-only contracts (imported by `claimCash` for server-swept
+     * arkcash) are excluded by default, mirroring {@link ReadonlyWallet.getVtxos}:
+     * they are settled in their own isolated intent and must stay out of the
+     * wallet's balance / VTXO / coin-selection / pending-tx views that read this.
+     * The transaction-history caller opts back in via `includeRecoveryOnly` to
+     * match the non-worker `getTransactionHistory`, which reads contracts
+     * directly and does include them.
      */
     private getVtxosFromRepo;
     /**
@@ -3195,11 +2816,21 @@ declare class WalletMessageHandler implements MessageHandler<WalletUpdaterReques
      * VTXOs with no matching row in the gate, and `gatedContracts` lists only
      * what it knows is closed — so the coins of a just-registered escrowed
      * contract would count as available until the next poll.
+     *
+     * Recovery-only contracts are skipped unless `includeRecoveryOnly` (see
+     * {@link getVtxosFromRepo}).
      */
     private repoSnapshot;
     /**
      * Build transaction history from cached virtual outputs, hitting the indexer only for
      * uncached timestamps. Best-effort, like the plain Wallet path.
+     *
+     * Takes its own {@link repoSnapshot} rather than a caller-supplied VTXO
+     * list: the coins and the gate that judges them have to come off one read
+     * or they answer about different instants, and being the worker's only
+     * history builder means neither caller can supply one without the other.
+     * The snapshot and the boarding read are independent, so they run together
+     * — the same pairing `handleGetBalance` makes.
      */
     private buildTransactionHistoryFromCache;
     private ensureContractEventBroadcasting;
@@ -3222,7 +2853,7 @@ declare const DEFAULT_MESSAGE_TIMEOUTS: Readonly<Record<RequestType, number>>;
  * // SIMPLE: Recommended approach
  * const wallet = await ServiceWorkerWallet.setup({
  *   serviceWorkerPath: '/service-worker.js',
- *   arkServerUrl: 'https://arkade.computer',
+ *   arkServer: { url: 'https://arkade.computer' },
  *   identity: MnemonicIdentity.fromMnemonic('abandon abandon...')
  * });
  *
@@ -3230,7 +2861,7 @@ declare const DEFAULT_MESSAGE_TIMEOUTS: Readonly<Record<RequestType, number>>;
  * const serviceWorker = await setupServiceWorker("/service-worker.js");
  * const wallet = await ServiceWorkerWallet.create({
  *   serviceWorker,
- *   arkServerUrl: 'https://arkade.computer',
+ *   arkServer: { url: 'https://arkade.computer' },
  *   identity: MnemonicIdentity.fromMnemonic('abandon abandon...')
  * });
  *
@@ -3240,27 +2871,11 @@ declare const DEFAULT_MESSAGE_TIMEOUTS: Readonly<Record<RequestType, number>>;
  * ```
  */
 interface ServiceWorkerWalletOptions {
-    /** Optional Arkade server public key used to construct and validate Arkade addresses. */
-    arkServerPublicKey?: string;
-    /**
-     * Base URL of the Arkade server.
-     *
-     * @deprecated Provide an explicit provider via the worker config instead.
-     * URL-based configuration will be removed in a future major version.
-     */
-    arkServerUrl?: string;
-    /**
-     * Optional override for the indexer URL.
-     *
-     * @deprecated Provide an explicit provider via the worker config instead.
-     */
-    indexerUrl?: string;
-    /**
-     * Optional override for the Esplora API URL.
-     *
-     * @deprecated Provide an explicit provider via the worker config instead.
-     */
-    esploraUrl?: string;
+    /** Arkade server endpoint and optional public key. */
+    arkServer?: {
+        url: string;
+        publicKey?: string;
+    };
     /**
      * Repository-backed storage configuration overrides.
      * Defaults to IndexedDB if unset.
@@ -3270,8 +2885,6 @@ interface ServiceWorkerWalletOptions {
     identity: ReadonlyIdentity | Identity;
     /** Optional delegation service URL. */
     delegateUrl?: string;
-    /** @deprecated alias for @see ServiceWorkerWalletOptions.delegateUrl */
-    delegatorUrl?: string;
     /**
      * Override the default tag used for messages sent to and received from the service worker.
      * @see DEFAULT_MESSAGE_TAG
@@ -3339,16 +2952,12 @@ type ServiceWorkerWalletSetupOptions = ServiceWorkerWalletOptions & {
     serviceWorkerActivationTimeoutMs?: number;
 };
 type MessageBusInitConfig = {
-    wallet: SerializedIdentity | LegacySerializedIdentity;
+    wallet: SerializedIdentity;
     arkServer: {
         url: string;
         publicKey?: string;
     };
     delegateUrl?: string;
-    /** @deprecated alias for @see MessageBusInitConfig.delegateUrl */
-    delegatorUrl?: string;
-    indexerUrl?: string;
-    esploraUrl?: string;
     timeoutMs?: number;
     settlementConfig?: SettlementConfig | false;
     walletMode?: ServiceWorkerWalletMode;
@@ -3370,15 +2979,6 @@ declare class ServiceWorkerReadonlyWallet implements IReadonlyWallet {
     protected initWalletPayload: RequestInitWallet["payload"] | null;
     protected messageBusTimeoutMs?: number;
     protected messageTimeouts: Record<RequestType, number>;
-    protected arkServerUrl?: string;
-    protected arkServerPublicKey?: string;
-    protected delegateUrl?: string;
-    /** @deprecated alias for @see ServiceWorkerReadonlyWallet.delegateUrl */
-    protected delegatorUrl?: string;
-    protected indexerUrl?: string;
-    protected esploraUrl?: string;
-    protected watcherConfig?: Partial<Omit<ContractWatcherConfig, "indexerProvider">>;
-    protected settlementConfig?: SettlementConfig | false;
     private reinitPromise;
     private pingPromise;
     private inflightRequests;
@@ -3393,6 +2993,8 @@ declare class ServiceWorkerReadonlyWallet implements IReadonlyWallet {
      * @throws Error if service-worker initialization fails
      */
     static create(options: ServiceWorkerWalletCreateOptions): Promise<ServiceWorkerReadonlyWallet>;
+    /** Shared tail of both `create()` factories: boot the bus, INIT_WALLET, cache for reinit. */
+    protected static bootstrap<W extends ServiceWorkerReadonlyWallet>(wallet: W, options: ServiceWorkerWalletCreateOptions, serializedWallet: SerializedIdentity, busConfig: Omit<MessageBusInitConfig, "wallet" | "arkServer" | "messageTimeouts">): Promise<W>;
     /**
      * Simplified setup method that handles service worker registration
      * and wallet initialization automatically.
@@ -3403,7 +3005,7 @@ declare class ServiceWorkerReadonlyWallet implements IReadonlyWallet {
      * ```typescript
      * const wallet = await ServiceWorkerReadonlyWallet.setup({
      *   serviceWorkerPath: '/service-worker.js',
-     *   arkServerUrl: 'https://arkade.computer',
+     *   arkServer: { url: 'https://arkade.computer' },
      *   identity: ReadonlySingleKey.fromPublicKey('your_public_key_hex')
      * });
      * ```
@@ -3417,20 +3019,8 @@ declare class ServiceWorkerReadonlyWallet implements IReadonlyWallet {
         onEvent: (response: WalletUpdaterResponse) => void;
         isComplete: (response: WalletUpdaterResponse) => boolean;
     }): Promise<WalletUpdaterResponse>;
-    /**
-     * Produce a serialized envelope for the wallet's identity. The base
-     * class always emits a readonly envelope; `ServiceWorkerWallet`
-     * overrides to emit a signing envelope.
-     */
-    protected serializeIdentity(): Promise<SerializedIdentity>;
-    /**
-     * Return the cached init config, or rebuild one from live instance
-     * state when the cache was never populated. Recovery path for
-     * SDK-factory-created wallets; manual constructor bypasses do not
-     * retain enough state here and will hit the "never initialized" throw.
-     */
+    /** The init config cached by `create()`; manually constructed wallets have none. */
     protected buildInitConfig(): Promise<MessageBusInitConfig>;
-    /** Minimal INIT_WALLET payload used on reinitialize when the cache is gone. */
     protected buildInitWalletPayload(): RequestInitWallet["payload"];
     private reinitialize;
     /**
@@ -3486,7 +3076,7 @@ declare class ServiceWorkerReadonlyWallet implements IReadonlyWallet {
      * and falling back to `GET_VTXOS` there would silently spend ungated coins.
      * Fail closed — loud and recoverable — rather than make the gate advisory.
      */
-    getSpendableVtxos(filter?: GetVtxosFilter): Promise<NormalizedExtendedVirtualCoin[]>;
+    getSpendableVtxos(filter?: GetSpendableVtxosFilter): Promise<NormalizedExtendedVirtualCoin[]>;
     /**
      * Trigger a wallet reload inside the service worker.
      *
@@ -3502,9 +3092,9 @@ declare class ServiceWorkerWallet extends ServiceWorkerReadonlyWallet implements
     readonly identity: Identity;
     private readonly _assetManager;
     private readonly hasDelegate;
+    private _restoreInFlight?;
     protected constructor(serviceWorker: ServiceWorker, identity: Identity, walletRepository: WalletRepository, contractRepository: ContractRepository, messageTag: string, hasDelegate: boolean);
     get assetManager(): IAssetManager;
-    protected serializeIdentity(): Promise<SerializedIdentity>;
     static create(options: ServiceWorkerWalletCreateOptions): Promise<ServiceWorkerWallet>;
     /**
      * Simplified setup method that handles service worker registration
@@ -3514,7 +3104,7 @@ declare class ServiceWorkerWallet extends ServiceWorkerReadonlyWallet implements
      * ```typescript
      * const wallet = await ServiceWorkerWallet.setup({
      *   serviceWorkerPath: '/service-worker.js',
-     *   arkServerUrl: 'https://arkade.computer',
+     *   arkServer: { url: 'https://arkade.computer' },
      *   identity: MnemonicIdentity.fromMnemonic('abandon abandon...')
      * });
      * ```
@@ -3570,7 +3160,6 @@ declare class ServiceWorkerWallet extends ServiceWorkerReadonlyWallet implements
      * readonly class would promise something the boundary rejects.
      */
     getArkadeBroadcaster(): Promise<ArkadeBroadcaster>;
-    sendBitcoin(params: SendBitcoinParams): Promise<string>;
     settle(params?: SettleParams, callback?: (event: SettlementEvent) => void): Promise<string>;
     /**
      * Explicitly recover this wallet's contracts and balance on a fresh repo.
@@ -3586,15 +3175,14 @@ declare class ServiceWorkerWallet extends ServiceWorkerReadonlyWallet implements
     restore(opts?: {
         gapLimit?: number;
     }): Promise<void>;
+    private _restoreWorkerWallet;
     send(...args: [SendParams] | [Recipient, ...Recipient[]]): Promise<string>;
     getDelegateManager(): Promise<IDelegateManager | undefined>;
-    /** @deprecated alias for @see ServiceWorkerWallet.getDelegateManager */
-    getDelegatorManager(): Promise<IDelegateManager | undefined>;
     getVtxoManager(): Promise<IVtxoManager>;
 }
 
 /**
- * A zero-value anchor output.
+ * A zero-value anchor output. An ark tx overrides the amount to carry its fee.
  */
 declare const P2A: {
     script: Uint8Array<ArrayBuffer>;
@@ -4074,7 +3662,7 @@ declare class CachingArkProvider implements ArkProvider {
     /** Releases the inner provider's server-info subscription. */
     dispose(): void;
     get serverUrl(): string | undefined;
-    getInfo(): Promise<ArkInfo>;
+    getInfo(): Promise<ArkadeInfo>;
     submitTx(signedArkTx: string, checkpointTxs: string[]): Promise<{
         arkTxid: string;
         finalArkTx: string;
@@ -4090,7 +3678,7 @@ declare class CachingArkProvider implements ArkProvider {
     getEventStream(signal: AbortSignal, topics: string[]): AsyncIterableIterator<SettlementEvent>;
     getTransactionsStream(signal: AbortSignal): AsyncIterableIterator<TxNotificationEvent>;
     getPendingTxs(intent: SignedIntent<Intent.GetPendingTxMessage>): Promise<PendingTx[]>;
-    onServerInfoChanged(listener: (info: ArkInfo) => void): () => void;
+    onServerInfoChanged(listener: (info: ArkadeInfo) => void): () => void;
 }
 
 type ArkTxInput = {
@@ -4212,6 +3800,9 @@ declare function assertSubmittedArkTxid(response: {
 interface VerifyServerSignatures {
     /** The Ark server's key; x-only or compressed, both accepted. */
     serverPubkey: Uint8Array;
+    /** Retired signer keys the server still advertises: a leaf built before a
+     * rotation names one of these, and it is the leaf that decides. */
+    deprecatedServerPubkeys?: Uint8Array[];
 }
 /**
  * Build, sign, submit, and finalize an offchain transaction whose every input
@@ -4494,13 +4085,15 @@ declare class ArkNote implements ExtendedCoin {
  * It encodes a private key and contract parameters as a bech32m string,
  * enabling wallet-to-wallet transfers without address exchange.
  *
- * Format: arkadecash1... (bech32m encoded)
+ * Format: arkadecash1... / tarkadecash1... (bech32m encoded)
  * Payload: version (1 byte) + private key (32 bytes) + server pubkey (32 bytes) + csv timelock sequence (4 bytes)
  */
 declare class ArkadeCash {
     readonly csvTimelock: RelativeTimelock;
     readonly hrp: string;
     static readonly DefaultHRP = "arkadecash";
+    /** The only prefixes minted or accepted: mainnet and test networks. */
+    static readonly HRPs: readonly string[];
     static readonly Version = 0;
     static readonly PayloadLength: number;
     private readonly _privateKey;
@@ -4526,6 +4119,12 @@ declare class ArkadeCash {
  *
  * The emulator is a signing service that executes Arkade scripts
  * and co-signs transactions when the scripts pass validation.
+ *
+ * The read here goes through `baseFetch`, the SDK's shared fetch boundary, so
+ * it picks up whatever policy that boundary carries. The four submit calls
+ * deliberately do not: aborting a submit would not tell the caller whether the
+ * emulator signed, and none of them has a way to find out, so they stay on the
+ * global `fetch` with their transport-error type unchanged.
  */
 
 interface EmulatorInfo {
@@ -5146,16 +4745,11 @@ declare const UnilateralExit: {
  *
  * Everything else (4xx, invalid JSON, schema violations, network mismatch,
  * unsupported network) is terminal and returns `false`.
- *
- * NOTE (Step 2, Scope 2): this classifies the errors currently produced by the
- * boot-critical `getInfo` path. Normalizing the indexer's per-branch
- * `!res.ok` throws and the remaining Ark RPC methods into
- * {@link ProviderUnavailableError} is the broader Scope-2 work still pending.
  */
 declare function isRetryableProviderError(error: unknown): boolean;
 
 declare function validateConnectorsTxGraph(settlementTxB64: string, connectorsGraph: TxTree): void;
-declare function validateVtxoTxGraph(graph: TxTree, roundTransaction: Transaction$2, sweepTapTreeRoot: Uint8Array): void;
+declare function validateVtxoTxGraph(graph: TxTree, roundTransaction: Transaction, sweepTapTreeRoot: Uint8Array): void;
 
 /**
  * Assert the commitment tx received at batch finalization is the one validated
@@ -5296,14 +4890,16 @@ declare class Extension {
 /**
  * Arkade Script Opcodes
  *
- * This module defines ONLY Arkade-specific opcodes (0xb3, 0xc3-0xf6).
+ * This module defines ONLY Arkade-specific opcodes (0xb3, 0xbb, 0xc3-0xf8).
  * Standard Bitcoin opcodes are imported from @scure/btc-signer.
  *
- * Reference: arkade-os/emulator v0.0.4 pkg/arkade/opcode.go
+ * Reference: arkade-os/emulator pkg/arkade/opcode.go.
+ * Byte 0xdc is OP_CHECKTIME, matching emulator v0.0.8 and compiler artifacts.
  */
 
 declare const ARKADE_OP: {
     readonly MERKLEBRANCHVERIFY: 179;
+    readonly PUT: 187;
     readonly DIGEST: 195;
     readonly SHA256INITIALIZE: 196;
     readonly SHA256UPDATE: 197;
@@ -5327,6 +4923,8 @@ declare const ARKADE_OP: {
     readonly BIN2NUM: 216;
     readonly REVERSEBYTES: 217;
     readonly MODEXP: 218;
+    readonly PUSHEXPIRY: 219;
+    readonly CHECKTIME: 220;
     readonly ECADD: 224;
     readonly ECMUL: 225;
     readonly ECPAIRING: 226;
@@ -5350,6 +4948,8 @@ declare const ARKADE_OP: {
     readonly INSPECTPACKET: 244;
     readonly INSPECTINPUTPACKET: 245;
     readonly SIGHASH: 246;
+    readonly TUNNEL: 247;
+    readonly INSPECTINTENTMESSAGE: 248;
 };
 declare const ARKADE_OPCODES: number[];
 declare const ARKADE_OPCODE_NAMES: Record<number, string>;
@@ -5398,6 +4998,7 @@ declare function getOpcodeValue(name: string): number | undefined;
  */
 declare const ARKADE_OPS: {
     readonly MERKLEBRANCHVERIFY: 179;
+    readonly PUT: 187;
     readonly DIGEST: 195;
     readonly SHA256INITIALIZE: 196;
     readonly SHA256UPDATE: 197;
@@ -5421,6 +5022,8 @@ declare const ARKADE_OPS: {
     readonly BIN2NUM: 216;
     readonly REVERSEBYTES: 217;
     readonly MODEXP: 218;
+    readonly PUSHEXPIRY: 219;
+    readonly CHECKTIME: 220;
     readonly ECADD: 224;
     readonly ECMUL: 225;
     readonly ECPAIRING: 226;
@@ -5444,119 +5047,121 @@ declare const ARKADE_OPS: {
     readonly INSPECTPACKET: 244;
     readonly INSPECTINPUTPACKET: 245;
     readonly SIGHASH: 246;
-    readonly OP_0: number;
-    readonly PUSHDATA1: number;
-    readonly PUSHDATA2: number;
-    readonly PUSHDATA4: number;
-    readonly '1NEGATE': number;
-    readonly RESERVED: number;
-    readonly OP_1: number;
-    readonly OP_2: number;
-    readonly OP_3: number;
-    readonly OP_4: number;
-    readonly OP_5: number;
-    readonly OP_6: number;
-    readonly OP_7: number;
-    readonly OP_8: number;
-    readonly OP_9: number;
-    readonly OP_10: number;
-    readonly OP_11: number;
-    readonly OP_12: number;
-    readonly OP_13: number;
-    readonly OP_14: number;
-    readonly OP_15: number;
-    readonly OP_16: number;
-    readonly NOP: number;
-    readonly VER: number;
-    readonly IF: number;
-    readonly NOTIF: number;
-    readonly VERIF: number;
-    readonly VERNOTIF: number;
-    readonly ELSE: number;
-    readonly ENDIF: number;
-    readonly VERIFY: number;
-    readonly RETURN: number;
-    readonly TOALTSTACK: number;
-    readonly FROMALTSTACK: number;
-    readonly '2DROP': number;
-    readonly '2DUP': number;
-    readonly '3DUP': number;
-    readonly '2OVER': number;
-    readonly '2ROT': number;
-    readonly '2SWAP': number;
-    readonly IFDUP: number;
-    readonly DEPTH: number;
-    readonly DROP: number;
-    readonly DUP: number;
-    readonly NIP: number;
-    readonly OVER: number;
-    readonly PICK: number;
-    readonly ROLL: number;
-    readonly ROT: number;
-    readonly SWAP: number;
-    readonly TUCK: number;
-    readonly CAT: number;
-    readonly SUBSTR: number;
-    readonly LEFT: number;
-    readonly RIGHT: number;
-    readonly SIZE: number;
-    readonly INVERT: number;
-    readonly AND: number;
-    readonly OR: number;
-    readonly XOR: number;
-    readonly EQUAL: number;
-    readonly EQUALVERIFY: number;
-    readonly RESERVED1: number;
-    readonly RESERVED2: number;
-    readonly '1ADD': number;
-    readonly '1SUB': number;
-    readonly '2MUL': number;
-    readonly '2DIV': number;
-    readonly NEGATE: number;
-    readonly ABS: number;
-    readonly NOT: number;
-    readonly '0NOTEQUAL': number;
-    readonly ADD: number;
-    readonly SUB: number;
-    readonly MUL: number;
-    readonly DIV: number;
-    readonly MOD: number;
-    readonly LSHIFT: number;
-    readonly RSHIFT: number;
-    readonly BOOLAND: number;
-    readonly BOOLOR: number;
-    readonly NUMEQUAL: number;
-    readonly NUMEQUALVERIFY: number;
-    readonly NUMNOTEQUAL: number;
-    readonly LESSTHAN: number;
-    readonly GREATERTHAN: number;
-    readonly LESSTHANOREQUAL: number;
-    readonly GREATERTHANOREQUAL: number;
-    readonly MIN: number;
-    readonly MAX: number;
-    readonly WITHIN: number;
-    readonly RIPEMD160: number;
-    readonly SHA1: number;
-    readonly SHA256: number;
-    readonly HASH160: number;
-    readonly HASH256: number;
-    readonly CODESEPARATOR: number;
-    readonly CHECKSIG: number;
-    readonly CHECKSIGVERIFY: number;
-    readonly CHECKMULTISIG: number;
-    readonly CHECKMULTISIGVERIFY: number;
-    readonly NOP1: number;
-    readonly CHECKLOCKTIMEVERIFY: number;
-    readonly CHECKSEQUENCEVERIFY: number;
-    readonly NOP4: number;
-    readonly NOP5: number;
-    readonly NOP6: number;
-    readonly NOP7: number;
-    readonly NOP8: number;
-    readonly NOP9: number;
-    readonly NOP10: number;
-    readonly CHECKSIGADD: number;
-    readonly INVALID: number;
+    readonly TUNNEL: 247;
+    readonly INSPECTINTENTMESSAGE: 248;
+    readonly OP_0: 0;
+    readonly PUSHDATA1: 76;
+    readonly PUSHDATA2: 77;
+    readonly PUSHDATA4: 78;
+    readonly '1NEGATE': 79;
+    readonly RESERVED: 80;
+    readonly OP_1: 81;
+    readonly OP_2: 82;
+    readonly OP_3: 83;
+    readonly OP_4: 84;
+    readonly OP_5: 85;
+    readonly OP_6: 86;
+    readonly OP_7: 87;
+    readonly OP_8: 88;
+    readonly OP_9: 89;
+    readonly OP_10: 90;
+    readonly OP_11: 91;
+    readonly OP_12: 92;
+    readonly OP_13: 93;
+    readonly OP_14: 94;
+    readonly OP_15: 95;
+    readonly OP_16: 96;
+    readonly NOP: 97;
+    readonly VER: 98;
+    readonly IF: 99;
+    readonly NOTIF: 100;
+    readonly VERIF: 101;
+    readonly VERNOTIF: 102;
+    readonly ELSE: 103;
+    readonly ENDIF: 104;
+    readonly VERIFY: 105;
+    readonly RETURN: 106;
+    readonly TOALTSTACK: 107;
+    readonly FROMALTSTACK: 108;
+    readonly '2DROP': 109;
+    readonly '2DUP': 110;
+    readonly '3DUP': 111;
+    readonly '2OVER': 112;
+    readonly '2ROT': 113;
+    readonly '2SWAP': 114;
+    readonly IFDUP: 115;
+    readonly DEPTH: 116;
+    readonly DROP: 117;
+    readonly DUP: 118;
+    readonly NIP: 119;
+    readonly OVER: 120;
+    readonly PICK: 121;
+    readonly ROLL: 122;
+    readonly ROT: 123;
+    readonly SWAP: 124;
+    readonly TUCK: 125;
+    readonly CAT: 126;
+    readonly SUBSTR: 127;
+    readonly LEFT: 128;
+    readonly RIGHT: 129;
+    readonly SIZE: 130;
+    readonly INVERT: 131;
+    readonly AND: 132;
+    readonly OR: 133;
+    readonly XOR: 134;
+    readonly EQUAL: 135;
+    readonly EQUALVERIFY: 136;
+    readonly RESERVED1: 137;
+    readonly RESERVED2: 138;
+    readonly '1ADD': 139;
+    readonly '1SUB': 140;
+    readonly '2MUL': 141;
+    readonly '2DIV': 142;
+    readonly NEGATE: 143;
+    readonly ABS: 144;
+    readonly NOT: 145;
+    readonly '0NOTEQUAL': 146;
+    readonly ADD: 147;
+    readonly SUB: 148;
+    readonly MUL: 149;
+    readonly DIV: 150;
+    readonly MOD: 151;
+    readonly LSHIFT: 152;
+    readonly RSHIFT: 153;
+    readonly BOOLAND: 154;
+    readonly BOOLOR: 155;
+    readonly NUMEQUAL: 156;
+    readonly NUMEQUALVERIFY: 157;
+    readonly NUMNOTEQUAL: 158;
+    readonly LESSTHAN: 159;
+    readonly GREATERTHAN: 160;
+    readonly LESSTHANOREQUAL: 161;
+    readonly GREATERTHANOREQUAL: 162;
+    readonly MIN: 163;
+    readonly MAX: 164;
+    readonly WITHIN: 165;
+    readonly RIPEMD160: 166;
+    readonly SHA1: 167;
+    readonly SHA256: 168;
+    readonly HASH160: 169;
+    readonly HASH256: 170;
+    readonly CODESEPARATOR: 171;
+    readonly CHECKSIG: 172;
+    readonly CHECKSIGVERIFY: 173;
+    readonly CHECKMULTISIG: 174;
+    readonly CHECKMULTISIGVERIFY: 175;
+    readonly NOP1: 176;
+    readonly CHECKLOCKTIMEVERIFY: 177;
+    readonly CHECKSEQUENCEVERIFY: 178;
+    readonly NOP4: 179;
+    readonly NOP5: 180;
+    readonly NOP6: 181;
+    readonly NOP7: 182;
+    readonly NOP8: 183;
+    readonly NOP9: 184;
+    readonly NOP10: 185;
+    readonly CHECKSIGADD: 186;
+    readonly INVALID: 255;
 };
 /** A single script operation: opcode string key, raw bytes, number, or bigint */
 type ArkadeScriptOP = keyof typeof ARKADE_OPS | Uint8Array | number | bigint;
@@ -5678,45 +5283,71 @@ declare namespace bignum {
   export { bignum_BIGNUM_MAX_BYTES as BIGNUM_MAX_BYTES, bignum_decode as decode, bignum_encode as encode };
 }
 
+/**
+ * Read the JSON `arkadec` writes into a {@link Program}: `$param` placeholders,
+ * @scure opcode names, and one structured tapleaf per compiler leaf.
+ */
+
+interface ArtifactParameter {
+    name: string;
+    type: string;
+}
+interface ArtifactStruct {
+    name: string;
+    fields: ArtifactParameter[];
+}
+interface ArtifactWitnessElement {
+    name: string;
+    type: string;
+    encoding?: string;
+    injected?: boolean;
+}
+interface ArtifactLeaf {
+    name: string;
+    witness?: ArtifactWitnessElement[];
+    asm: string[];
+}
+interface ArtifactCovenant {
+    inputs: ArtifactParameter[];
+    asm: string[];
+}
+interface ArtifactGroup {
+    name: string;
+    arkade?: ArtifactCovenant;
+    leaves: ArtifactLeaf[];
+}
+interface ContractArtifact {
+    contractName: string;
+    constructorInputs: ArtifactParameter[];
+    structs?: ArtifactStruct[];
+    functions: ArtifactGroup[];
+}
+/** `true` when `value` is an arkadec artifact rather than a Program. */
+declare function isContractArtifact(value: unknown): value is ContractArtifact;
+/** Adds `server`, and one param per child-output placeholder for the caller to bind to that output key. */
+declare function programFromArtifact(artifact: ContractArtifact): Program;
+
 /**
  * Arkade Contract — artifact-driven, high-level covenant API.
  *
- * Implements the Arkade contract model: a contract is a {@link Program} (a set of
- * named functions, each split into a `tapscript` segment enforced on-chain and an
- * `arkadeScript` segment emulated by the co-signing service). The same JS object
- * shape mirrors the compiler artifact, so a hand-written program today and the
- * compiler's JSON output later flow through the identical resolver.
- *
- * The SDK never interprets scripts: it resolves `$param` placeholders into bytes,
- * builds the taproot tree (resolving `$param` signers such as `$server`/`$user` from
- * the constructor args, plus the co-signer key tweaked by the arkade-script hash),
- * and assembles the spend from the per-segment witness layout. All key tweaking,
- * packet encoding and PSBT plumbing is internal — from the caller's side it is just
- * Arkade.
- *
- * Program → script compilation lives in {@link ArkadeProgramScript}
- * (./program.ts) and is shared with the generic `"arkade"` contract handler,
- * so a contract created here can be persisted, watched and re-derived through
- * the standard `src/contracts` pipeline: pass a `contractManager` to
- * {@link Arkade.connect} and call {@link ArkadeContract.register}.
- *
- * Contract functions are strongly typed from the program's literal shape: a
- * function declaring `inputs: [{ name: "preimage", type: "bytes" }]` produces a
- * `functions.claim(preimage: Uint8Array)` call signature. The type flows through
- * `arkade.contract(...)` automatically for inline literals; for a program stored
- * in a variable, annotate it with `satisfies Program` to preserve the literal
- * type (a plain `: Program` annotation would widen it away).
- *
- * Constructor `params` follow the same convention: bare name strings are
- * documentation only, while typed descriptors `{ name, type }` (the form the
- * ArkadeScript compiler emits) make the list authoritative — every declared
- * param must be bound, every `$name` reference must be declared, and bound
- * values are validated against their type at compilation.
- *
- * A covenant spend needs an `indexer`, not just an `emulator`: the co-signing
- * service resolves each input's prevout pkScript from the previous ark tx the
- * PSBT carries, and only the indexer can supply those bytes. Pure tapscript
- * spends go straight to arkd and need neither.
+ * A contract is a {@link Program}: named functions, each split into a `tapscript` segment
+ * enforced on-chain and an `arkadeScript` segment emulated by the co-signing service. The shape
+ * mirrors the compiler artifact, so hand-written programs and compiler output share one resolver.
+ * The SDK never interprets scripts; it resolves `$param` placeholders and signers, builds the
+ * taproot tree (co-signer key tweaked by the arkade-script hash) and assembles the spend.
+ *
+ * Compilation lives in {@link ArkadeProgramScript} and is shared with the `"arkade"` contract
+ * handler: pass a `contractManager` to {@link Arkade.connect} and call
+ * {@link ArkadeContract.register} to persist and watch a contract.
+ *
+ * Functions are typed from the program's literal shape (`inputs: [{ name: "preimage", type:
+ * "bytes" }]` → `functions.claim(preimage: Uint8Array)`). For a program stored in a variable use
+ * `satisfies Program`; a `: Program` annotation widens the literal type away. Typed `params`
+ * descriptors `{ name, type }` make the list authoritative (every param bound, every `$name`
+ * declared, values type-checked); bare name strings are documentation only.
+ *
+ * A covenant spend needs an `indexer` as well as an `emulator`: the co-signer resolves each
+ * input's prevout from the previous ark tx the PSBT carries. Pure tapscript spends need neither.
  *
  * @example
  * ```typescript
@@ -5759,10 +5390,8 @@ type FnArgs<F extends ArkadeFunction> = F extends {
     inputs: infer I extends readonly InputRef[];
 } ? ArgsTuple<I> : [];
 /**
- * The statically-typed `functions` map of a contract. When the program is a
- * concrete literal (specific function names), each entry is precisely typed from
- * its `inputs`. When the program is the widened {@link Program} (an index
- * signature), it falls back to the loose {@link CallableFunctions}.
+ * The statically-typed `functions` map of a contract: precisely typed per function for a literal
+ * program, the loose {@link CallableFunctions} for the widened {@link Program}.
  */
 type ContractFunctions<P extends Program> = string extends keyof P["functions"] ? CallableFunctions : {
     [K in keyof P["functions"]]: (...args: FnArgs<P["functions"][K]>) => ArkadeTransactionBuilder;
@@ -5773,13 +5402,9 @@ interface Utxo {
     vout: number;
     value: number;
     /**
-     * Raw wire bytes of the ark transaction that created this VTXO, attached as
-     * the PrevArkTx field on input 0.
-     *
-     * An override, not the only channel: covenant spends resolve the previous
-     * tx of every input through the client's indexer. Supply it when the tx is
-     * not yet indexable — a recursive covenant spending the output of an ark tx
-     * the caller just built — and the resolved value is suppressed for input 0.
+     * Raw bytes of the ark tx that created this VTXO, attached as input 0's PrevArkTx. Overrides
+     * the indexer-resolved value; supply it when the tx isn't indexable yet (a recursive covenant
+     * spending an ark tx the caller just built).
      */
     sourceTx?: Uint8Array;
 }
@@ -5815,33 +5440,19 @@ interface ArkadeSpendResult {
 }
 /** The callable spending paths of a contract. */
 type CallableFunctions = Record<string, (...args: ArkadeArgValue[]) => ArkadeTransactionBuilder>;
-/**
- * What {@link Arkade} needs from the Arkade server.
- *
- * Only `getInfo` is required — see {@link ArkadeConnectOptions.arkade} for why.
- * Named so a caller building a derivation-only client has a type to import
- * rather than reaching into the options bag.
- */
+/** What {@link Arkade} needs from the Arkade server; see {@link ArkadeConnectOptions.arkade}. */
 type ArkadeServerProvider = Pick<ArkProvider, "getInfo"> & Partial<ArkadeBroadcaster>;
 /** Options for {@link Arkade.connect}. */
 interface ArkadeConnectOptions {
     /**
-     * The Arkade server provider.
-     *
-     * Only `getInfo` is required: it is what resolves the server key and
-     * checkpoint closure, and it is all a client needs to derive, register and
-     * inspect contracts. `submitTx`/`finalizeTx` are needed solely to
-     * broadcast, so a client built without them throws at `.send()` — the same
-     * deferred, explicit failure an absent `indexer` gives `getUtxos()` and an
-     * absent `emulator` gives a covenant spend. That lets a caller that already
-     * holds the server info (`wallet.getArkadeInfo()`) connect without a
-     * provider of its own, and without a second `/v1/info` round-trip.
+     * The Arkade server provider. Only `getInfo` is required (enough to derive, register and
+     * inspect contracts); without `submitTx`/`finalizeTx`, `.send()` throws. So a caller already
+     * holding `wallet.getArkadeInfo()` can connect without a second `/v1/info` round-trip.
      */
     arkade: ArkadeServerProvider;
     /**
-     * The co-signing (introspector/emulator) service. Optional: only required for
-     * contracts whose functions have an `arkadeScript` (covenant paths). Pure
-     * tapscript contracts (multisig/timelock/hashlock) don't need it.
+     * The co-signing (introspector/emulator) service. Required only for functions with an
+     * `arkadeScript` (covenant paths).
      */
     emulator?: EmulatorProvider;
     /**
@@ -5852,34 +5463,30 @@ interface ArkadeConnectOptions {
     indexer?: Pick<IndexerProvider, "getVtxos" | "getVirtualTxs">;
     /** Signer for paths that require a user signature; optional for watch-only. */
     identity?: Identity;
-    /** Network for address derivation; defaults to the SDK default. */
+    /**
+     * Network for address derivation. Defaults to the network the server
+     * reports on `getInfo` — or the SDK default when the server names none.
+     */
     network?: Network;
     /**
-     * Co-sign with this emulator key (33-byte compressed hex) instead of the
-     * one pinned for `network`.
-     *
-     * Needed when a network's emulator key has rotated ahead of this SDK, for a
-     * self-hosted emulator, or on a network with no pinned key at all (signet,
-     * testnet, a hand-built `Network` — those throw without it). Setting it
-     * means trusting that operator as co-signer in place of the network's.
+     * Co-sign with this emulator key (33-byte compressed hex) instead of the one pinned for
+     * `network`. Needed after a key rotation ahead of this SDK, for a self-hosted emulator, or on
+     * networks with no pinned key (signet, testnet, a hand-built `Network` — those throw without
+     * it). Setting it means trusting that operator as co-signer.
      *
      * @see resolveEmulatorPubkey
      */
     emulatorPubkey?: string;
     /**
-     * The wallet's contract manager. When set, contracts created from this
-     * client can {@link ArkadeContract.register} themselves into the standard
-     * contract pipeline (persistence, watching, events), and
-     * {@link ArkadeContract.getUtxos} reads repository-backed state
-     * (offline-first) for registered contracts instead of querying the
-     * indexer directly. Obtain it via `wallet.getContractManager()`.
+     * The wallet's contract manager (`wallet.getContractManager()`). Enables
+     * {@link ArkadeContract.register}, and makes {@link ArkadeContract.getUtxos} read
+     * repository-backed state for registered contracts instead of the indexer.
      */
     contractManager?: IContractManager;
 }
 /**
- * A connected Arkade client. Holds the providers/identity/network and the
- * resolved network constants (server key, co-signer key, checkpoint closure),
- * so spinning up contracts is synchronous.
+ * A connected Arkade client holding the providers and resolved network constants (server key,
+ * co-signer key, checkpoint closure), so creating contracts is synchronous.
  */
 declare class Arkade {
     readonly arkProvider: ArkadeServerProvider;
@@ -5888,14 +5495,10 @@ declare class Arkade {
     readonly network: Network;
     readonly serverKey: Uint8Array;
     /**
-     * The co-signer key covenants are built against (33-byte compressed),
-     * present only when an emulator is configured.
-     *
-     * Resolved from the network — or from `emulatorPubkey` — never from the
-     * emulator's own report. When a claim is refused because the co-signer
-     * disagrees, compare `hex.encode(arkade.emulatorKey)` against the
-     * `signerPubkey` your emulator serves on `/v1/info`: if they differ, the
-     * network rotated and this SDK's pin is stale.
+     * The co-signer key covenants are built against (33-byte compressed), present only when an
+     * emulator is configured. Resolved from the network or `emulatorPubkey`, never the emulator's
+     * own report. If a claim is refused, compare it with the emulator's `/v1/info` `signerPubkey`:
+     * a difference means the network rotated and this SDK's pin is stale.
      */
     readonly emulatorKey: Uint8Array | undefined;
     readonly checkpoint: CSVMultisigTapscript.Type;
@@ -5909,14 +5512,11 @@ declare class Arkade {
     /** Connect and resolve the server key, checkpoint closure and (if present) the co-signer key. */
     static connect(opts: ArkadeConnectOptions): Promise<Arkade>;
     /**
-     * Instantiate a contract from a program and its constructor arguments. The
-     * `program`'s literal type is preserved (`const` inference) so the resulting
-     * contract's `functions` map is strongly typed — `functions.<name>(...)`
-     * knows each argument's type from the function's `inputs` descriptors.
+     * Instantiate a contract from a program and its constructor arguments. `const` inference keeps
+     * the program's literal type, so `functions` is strongly typed.
      *
-     * When the program declares a `server` or `user` param and the caller does
-     * not bind it, it defaults to the client's server key or the identity's
-     * key respectively; explicit args always win.
+     * Unbound declared `server`/`user` params default to the client's server key / identity key;
+     * explicit args win.
      */
     contract<const P extends Program>(program: P, args?: Record<string, ArkadeParamValue>): ArkadeContract<P>;
 }
@@ -5935,11 +5535,8 @@ declare class ArkadeContract<P extends Program = Program> {
     private readonly compiled;
     constructor(client: Arkade, program: P, args?: Record<string, ArkadeParamValue>, keys?: ProgramKeys);
     /**
-     * Rebuild a callable contract from a persisted `"arkade"` contract row
-     * (see {@link ArkadeContract.register}). The stored keys are used for
-     * compilation — not the client's current ones — so the derived script and
-     * address stay identical to the registered contract even after a server
-     * signer rotation.
+     * Rebuild a callable contract from a persisted `"arkade"` row. Compiles with the stored keys,
+     * not the client's current ones, so script and address survive a server signer rotation.
      */
     static fromContract(client: Arkade, contract: Contract): ArkadeContract;
     /** Resolve the {@link TapLeafScript} for a spending path by its index. */
@@ -5948,16 +5545,11 @@ declare class ArkadeContract<P extends Program = Program> {
     get address(): string;
     /** Taproot output script. */
     get pkScript(): Uint8Array;
-    /**
-     * Callable spending paths: `contract.functions.<name>(...args)`. Strongly
-     * typed from the program's literal type — each function's argument types are
-     * derived from its `inputs` descriptors (see {@link ContractFunctions}).
-     */
+    /** Callable spending paths: `functions.<name>(...args)` (see {@link ContractFunctions}). */
     get functions(): ContractFunctions<P>;
     /**
-     * The `createContract` payload for this contract — the serialized program,
-     * args and keys plus the derived script/address. Useful when registering
-     * through a manager the client does not hold.
+     * The `createContract` payload (serialized program, args, keys, script, address), for
+     * registering through a manager the client does not hold.
      */
     toContractParams(): {
         type: string;
@@ -5966,26 +5558,17 @@ declare class ArkadeContract<P extends Program = Program> {
         address: string;
     };
     /**
-     * Persist this contract through the wallet's {@link IContractManager} so it
-     * is tracked like any other contract type: stored in the contract
-     * repository, watched for VTXO events, counted in repository-backed
-     * balances, and re-derivable offline via the `"arkade"` contract handler.
-     * Idempotent — re-registering the same script is a no-op.
+     * Persist this contract through the wallet's {@link IContractManager} (stored, watched,
+     * counted in balances, re-derivable via the `"arkade"` handler). Idempotent per script.
      */
     register(options?: {
         label?: string;
         metadata?: Record<string, unknown>;
     }): Promise<Contract>;
     /**
-     * Spendable VTXOs locked by this contract.
-     *
-     * When a `contractManager` is configured and this contract is registered,
-     * reads the repository-backed state (offline-first, kept fresh by the
-     * contract watcher). Otherwise falls back to a direct indexer query.
-     *
-     * Both branches refuse a spent or unilaterally exited output. They are not
-     * otherwise interchangeable: the fallback asks `spendableOnly`, which also
-     * drops swept coins — the manager branch keeps those.
+     * Spendable VTXOs locked by this contract: repository-backed when registered with a
+     * `contractManager`, otherwise a direct indexer query. Both drop spent and unrolled outputs;
+     * only the indexer branch (`spendableOnly`) also drops swept coins.
      */
     getUtxos(): Promise<VirtualCoin[]>;
     /** Total spendable balance (requires an indexer). */
@@ -6082,6 +5665,7 @@ declare const index_AsmToken: typeof AsmToken;
 type index_AssetSpec = AssetSpec;
 type index_CallableFunctions = CallableFunctions;
 declare const index_CompiledProgramFunction: typeof CompiledProgramFunction;
+type index_ContractArtifact = ContractArtifact;
 type index_ContractFunctions<P extends Program> = ContractFunctions<P>;
 declare const index_InputDef: typeof InputDef;
 declare const index_InputRef: typeof InputRef;
@@ -6095,6 +5679,7 @@ declare const index_Script: typeof Script;
 declare const index_ScriptType: typeof ScriptType;
 declare const index_SignerRef: typeof SignerRef;
 declare const index_TapscriptSegment: typeof TapscriptSegment;
+declare const index_TweakedSigner: typeof TweakedSigner;
 type index_Utxo = Utxo;
 declare const index_WitnessRef: typeof WitnessRef;
 declare const index_arkadeScriptHash: typeof arkadeScriptHash;
@@ -6107,7 +5692,9 @@ declare const index_deserializeArkadeContractParams: typeof deserializeArkadeCon
 declare const index_fromASM: typeof fromASM;
 declare const index_getOpcodeName: typeof getOpcodeName;
 declare const index_getOpcodeValue: typeof getOpcodeValue;
+declare const index_isContractArtifact: typeof isContractArtifact;
 declare const index_parseArtifact: typeof parseArtifact;
+declare const index_programFromArtifact: typeof programFromArtifact;
 declare const index_resolveAsm: typeof resolveAsm;
 declare const index_serializeArkadeContractParams: typeof serializeArkadeContractParams;
 declare const index_stringifyArtifact: typeof stringifyArtifact;
@@ -6115,7 +5702,7 @@ declare const index_toASM: typeof toASM;
 declare const index_validateProgram: typeof validateProgram;
 declare const index_witnessRefToBytes: typeof witnessRefToBytes;
 declare namespace index {
-  export { index_ARKADE_OP as ARKADE_OP, index_ARKADE_OPCODES as ARKADE_OPCODES, index_ARKADE_OPCODE_NAMES as ARKADE_OPCODE_NAMES, index_ARKADE_OPCODE_VALUES as ARKADE_OPCODE_VALUES, index_ARKADE_OPS as ARKADE_OPS, index_Arkade as Arkade, index_ArkadeArgType as ArkadeArgType, index_ArkadeArgValue as ArkadeArgValue, type index_ArkadeBatchInput as ArkadeBatchInput, type index_ArkadeConnectOptions as ArkadeConnectOptions, index_ArkadeContract as ArkadeContract, index_ArkadeContractParams as ArkadeContractParams, type index_ArkadeExtendedCoin as ArkadeExtendedCoin, type index_ArkadeExtendedVirtualCoin as ArkadeExtendedVirtualCoin, index_ArkadeFunction as ArkadeFunction, index_ArkadeParamValue as ArkadeParamValue, index_ArkadeProgramScript as ArkadeProgramScript, index_ArkadeScript as ArkadeScript, type index_ArkadeScriptOP as ArkadeScriptOP, type index_ArkadeScriptType as ArkadeScriptType, index_ArkadeSegment as ArkadeSegment, type index_ArkadeServerProvider as ArkadeServerProvider, type index_ArkadeSpendResult as ArkadeSpendResult, index_ArkadeTransactionBuilder as ArkadeTransactionBuilder, index_AsmToken as AsmToken, type index_AssetSpec as AssetSpec, bignum as BigNum, type index_CallableFunctions as CallableFunctions, index_CompiledProgramFunction as CompiledProgramFunction, type index_ContractFunctions as ContractFunctions, index_InputDef as InputDef, index_InputRef as InputRef, index_OP as OP, index_OPCODE_NAMES as OPCODE_NAMES, index_OPCODE_VALUES as OPCODE_VALUES, index_Program as Program, index_ProgramKeys as ProgramKeys, index_SUPPORTED_PROGRAM_VERSION as SUPPORTED_PROGRAM_VERSION, index_Script as Script, index_ScriptType as ScriptType, index_SignerRef as SignerRef, index_TapscriptSegment as TapscriptSegment, type index_Utxo as Utxo, index_WitnessRef as WitnessRef, index_arkadeScriptHash as arkadeScriptHash, index_arkadeWitnessHash as arkadeWitnessHash, index_asmToBytes as asmToBytes, index_bytesToASM as bytesToASM, index_computeArkadeScriptPublicKey as computeArkadeScriptPublicKey, index_createArkadeBatchHandler as createArkadeBatchHandler, index_deserializeArkadeContractParams as deserializeArkadeContractParams, index_fromASM as fromASM, index_getOpcodeName as getOpcodeName, index_getOpcodeValue as getOpcodeValue, index_parseArtifact as parseArtifact, index_resolveAsm as resolveAsm, index_serializeArkadeContractParams as serializeArkadeContractParams, index_stringifyArtifact as stringifyArtifact, index_toASM as toASM, index_validateProgram as validateProgram, index_witnessRefToBytes as witnessRefToBytes };
+  export { index_ARKADE_OP as ARKADE_OP, index_ARKADE_OPCODES as ARKADE_OPCODES, index_ARKADE_OPCODE_NAMES as ARKADE_OPCODE_NAMES, index_ARKADE_OPCODE_VALUES as ARKADE_OPCODE_VALUES, index_ARKADE_OPS as ARKADE_OPS, index_Arkade as Arkade, index_ArkadeArgType as ArkadeArgType, index_ArkadeArgValue as ArkadeArgValue, type index_ArkadeBatchInput as ArkadeBatchInput, type index_ArkadeConnectOptions as ArkadeConnectOptions, index_ArkadeContract as ArkadeContract, index_ArkadeContractParams as ArkadeContractParams, type index_ArkadeExtendedCoin as ArkadeExtendedCoin, type index_ArkadeExtendedVirtualCoin as ArkadeExtendedVirtualCoin, index_ArkadeFunction as ArkadeFunction, index_ArkadeParamValue as ArkadeParamValue, index_ArkadeProgramScript as ArkadeProgramScript, index_ArkadeScript as ArkadeScript, type index_ArkadeScriptOP as ArkadeScriptOP, type index_ArkadeScriptType as ArkadeScriptType, index_ArkadeSegment as ArkadeSegment, type index_ArkadeServerProvider as ArkadeServerProvider, type index_ArkadeSpendResult as ArkadeSpendResult, index_ArkadeTransactionBuilder as ArkadeTransactionBuilder, index_AsmToken as AsmToken, type index_AssetSpec as AssetSpec, bignum as BigNum, type index_CallableFunctions as CallableFunctions, index_CompiledProgramFunction as CompiledProgramFunction, type index_ContractArtifact as ContractArtifact, type index_ContractFunctions as ContractFunctions, index_InputDef as InputDef, index_InputRef as InputRef, index_OP as OP, index_OPCODE_NAMES as OPCODE_NAMES, index_OPCODE_VALUES as OPCODE_VALUES, index_Program as Program, index_ProgramKeys as ProgramKeys, index_SUPPORTED_PROGRAM_VERSION as SUPPORTED_PROGRAM_VERSION, index_Script as Script, index_ScriptType as ScriptType, index_SignerRef as SignerRef, index_TapscriptSegment as TapscriptSegment, index_TweakedSigner as TweakedSigner, type index_Utxo as Utxo, index_WitnessRef as WitnessRef, index_arkadeScriptHash as arkadeScriptHash, index_arkadeWitnessHash as arkadeWitnessHash, index_asmToBytes as asmToBytes, index_bytesToASM as bytesToASM, index_computeArkadeScriptPublicKey as computeArkadeScriptPublicKey, index_createArkadeBatchHandler as createArkadeBatchHandler, index_deserializeArkadeContractParams as deserializeArkadeContractParams, index_fromASM as fromASM, index_getOpcodeName as getOpcodeName, index_getOpcodeValue as getOpcodeValue, index_isContractArtifact as isContractArtifact, index_parseArtifact as parseArtifact, index_programFromArtifact as programFromArtifact, index_resolveAsm as resolveAsm, index_serializeArkadeContractParams as serializeArkadeContractParams, index_stringifyArtifact as stringifyArtifact, index_toASM as toASM, index_validateProgram as validateProgram, index_witnessRefToBytes as witnessRefToBytes };
 }
 
 /** Known BIP21 parameters including Arkade-specific extensions. */
@@ -6193,23 +5780,14 @@ interface PaymentHandle {
     }): Promise<RouteResult>;
 }
 /**
- * A priced route. The three amounts are **receiver-exact** and mean the same
- * thing on every rail, so `options()` can be ranked on cost and a rail swapped
- * without changing what the recipient gets:
- *
- * - `amount` — sats delivered **to the recipient**.
- * - `fee` — sats charged **on top**, by the rail and its counterparty.
- * - `total` — `amount + fee`; the sats that leave the wallet.
+ * A priced route. The amounts are **receiver-exact** on every rail, so options rank on cost and
+ * rails swap without changing what the recipient gets. Rails whose primitive *deducts* its fee
+ * (collaborative exit) gross the amount up; a rail that can't (it doesn't choose the fee) flags
+ * it via `claimFeeDeductedFromPayout`.
  *
- * Rails whose underlying primitive *deducts* its fee (the collaborative exit)
- * gross the amount up to honour this; rails that add it on top pass it through.
- * A rail that does not perform the deducting spend cannot gross up to a fee it
- * never chooses, and flags that instead: see `claimFeeDeductedFromPayout`.
- *
- * `fee` is a pre-send estimate wherever the true cost is only fixed later: the
- * collaborative exit does not include the per-input intent fees, which depend
- * on the VTXO selection made at settlement. Treat it as a display and ranking
- * figure, not a guarantee.
+ * `fee` is an estimate where cost is fixed later: the collaborative exit omits per-input intent
+ * fees unless {@link PaymentRequest.selectedVtxos} is named. A display/ranking figure, not a
+ * guarantee.
  */
 interface RouteQuote {
     railId: string;
@@ -6220,19 +5798,18 @@ interface RouteQuote {
     /** `amount + fee` — what leaves the wallet. */
     total: number;
     /**
-     * @experimental The asset shape is provisional. The v2 swap client models
-     * assets as `give`/`take`/`amountOn` over `AssetRef`, and the two
-     * vocabularies are expected to converge on v0.5; do not treat this field as
-     * stable 0.4.x API.
-     *
-     * The asset view; absent means BTC only. The sats fields keep their
-     * meaning — an asset rides a sats-carrying output, so `amount` is the
-     * carrier, not zero.
+     * Unix seconds after which the counterparty stops honouring this quote. Absent means "no
+     * check possible" (rails without a counterparty), not "never expires"; {@link send} may
+     * still refuse, since swap rails re-check validity at spend time.
+     */
+    validUntil?: number;
+    /**
+     * @experimental The asset shape is provisional, expected to converge with the v2 swap
+     * client's `give`/`take`/`amountOn` over `AssetRef` in v0.5; not stable 0.4.x API.
      *
-     * A pair, not a triple: on a cross-asset route these name DIFFERENT
-     * assets, so `total = amount + fee` cannot hold across the two units —
-     * which forces the purchase price into `fee`. Prefer `assets.spent` for a
-     * cost display.
+     * The asset view; absent means BTC only. `amount` stays the sats carrier, not zero. On a
+     * cross-asset route `delivered`/`spent` are different assets, so the purchase price lands in
+     * `fee`; prefer `assets.spent` for a cost display.
      */
     assets?: {
         delivered: Asset;
@@ -6251,7 +5828,11 @@ interface RouterPreferences {
     tieBreak?: "first" | "require-choice";
 }
 interface RouterContext {
-    wallet: Wallet;
+    /** A rail needing more than this takes it as a constructor dep, rather than
+     *  narrowing the context every other rail shares. */
+    wallet: IWallet;
+    /** Loosely typed in core to avoid a dependency on boltz-swap; swap rails cast it. */
+    swaps?: unknown;
     prefs: RouterPreferences;
 }
 /** Mirrors {@link Recipient}: an Arkade address is the same string for BTC and
@@ -6266,6 +5847,13 @@ interface PaymentRequest {
      *  Additive: an asset transfer also moves sats, so a 500 USDX request
      *  legitimately has both. A rail that cannot deliver assets must REFUSE. */
     assets?: Asset[];
+    /**
+     * Spend exactly these (normalized) virtual outputs, as {@link SendParams.selectedVtxos}:
+     * ungated like `settle({ inputs })`, and a shortfall is an error, not a top-up. Only rails
+     * spending the wallet's own coins (`ark`, `ark-asset`, `onchain`) can honour it;
+     * counterparty-funded rails must REFUSE, not ignore it.
+     */
+    selectedVtxos?: NormalizedExtendedVirtualCoin[];
 }
 /** A payment rail — registered by id, mirrors the ActivityRegistry resolver shape. */
 interface PaymentRail {
@@ -6298,10 +5886,11 @@ declare const isLightningInvoice: (raw: string) => boolean;
 /**
  * True for an LNURL or a Lightning address (`user@host`).
  *
- * TODO(lnurl): no rail consumes this yet — LNURL / Lightning-address routing is
- * planned future work. The predicate is exported ahead of the rail so consumers
- * can classify these targets today; until the rail lands, `route()` throws
- * "no rail for" on them. Keep the export (do not flag as unused).
+ * No rail here consumes it, and that is the layering rather than a gap:
+ * routing an LNURL needs an LNURL client, so the rails ship from
+ * `@arkade-os/lnurl-client/arkade` (`lnurlRails`) and are registered by the
+ * app, as the solver rails from `@arkade-os/swap` are. With none registered,
+ * `route()` throws "no rail for" on these targets.
  */
 declare const isLnurl: (raw: string) => boolean;
 /** True for a bech32 (segwit) or base58 (legacy) Bitcoin address, any network —
@@ -6338,6 +5927,11 @@ declare function assetsOf(req: PaymentRequest): Asset[];
 /** For a BTC-only rail: refusing is what leaves the router free to rank an
  *  asset-capable one, instead of paying the carrier and dropping the asset. */
 declare function assertNoAssets(railId: string, req: PaymentRequest): void;
+/** The inputs a request names. An EMPTY array is still a selection, covering nothing. */
+declare function selectionOf(req: PaymentRequest): NormalizedExtendedVirtualCoin[] | undefined;
+/** For a rail whose counterparty funds the spend: ignoring a named input set
+ *  would spend coins the caller had promised elsewhere, so refuse instead. */
+declare function assertNoSelection(railId: string, req: PaymentRequest): void;
 /** Exactly one: `Wallet.send` takes a list because one output can carry
  *  several, but a routed PAYMENT is one thing being paid. */
 declare function resolveAssetAmount(railId: string, req: PaymentRequest): Asset;
@@ -6406,23 +6000,36 @@ declare const ASSET_CARRIER_SATS = 330;
  */
 declare function arkAssetRail(): PaymentRail;
 
+/** The canonical fee source for {@link onchainRail}: the operator's schedule, as
+ *  the wallet already reads it. Keeps the one `arkProvider` reach in one place,
+ *  so an app registering the rail itself need not know where fees live. */
+declare const walletFeeSource: (wallet: Wallet) => () => Promise<FeeInfo>;
 /**
  * On-chain BTC send via collaborative exit — the Wallet-only on-chain path (no
  * swap). Matches a bare BTC address or the on-chain part of a unified BIP21 URI
  * and offboards VTXOs to the address via {@link Ramps.offboard}, which owns
  * fee-aware coin selection, dust-safe change, and settlement.
  *
- * `offboard` deducts its fee from the amount it is handed, so the rail grosses
- * the amount up first: the recipient receives exactly `quote.amount`, matching
- * the receiver-exact semantics of every other rail (see {@link RouteQuote}).
- * `quote.total` is the offboard amount; the per-input intent fees `offboard`
- * shaves off the selected VTXOs are additional and depend on the selection, so
- * they are not part of the quote.
+ * The exit fee is priced on the DESTINATION output — the one arkd charges for —
+ * and met from the balance, so the recipient receives exactly `quote.amount`
+ * (see {@link RouteQuote}). {@link Ramps.offboardExact} carries that; the
+ * gross-up this rail used to do could only approximate it.
+ *
+ * A request naming `selectedVtxos` offboards exactly those — so the exit need not
+ * sweep the whole off-chain balance into one change output — and only then does
+ * the quote carry the per-input intent fees: unselected, the coins are chosen
+ * later at settlement and there is nothing here to price.
  *
  * An explicit amount is mandatory. To sweep the full balance, call
  * `Ramps.offboard(address, feeInfo)` directly — the router has no amountless path.
+ *
+ * @param deps.feeInfo - Source of the operator's fee schedule. Required: a rail
+ * that cannot price an offboard must not be constructible — a silently dropped
+ * rail on the money path is worse than a wiring error at startup.
  */
-declare function onchainRail(): PaymentRail;
+declare function onchainRail(deps: {
+    feeInfo: () => Promise<FeeInfo>;
+}): PaymentRail;
 
 /**
  * Default payment router with the Wallet-only rails: `ark` (off-chain BTC send),
@@ -6481,9 +6088,7 @@ declare function sequenceToTimelock(sequence: number): RelativeTimelock;
 declare function toXOnly(key: Uint8Array, label?: string): Uint8Array;
 
 declare const buildVersion = "0.9.9";
-/**
- * The SDK's own version string, sourced from package.json
- */
+/** The SDK's own version string, sourced from package.json */
 declare const sdkVersion: string;
 /**
  * Wraps a transport-level `fetch` rejection (DNS failure, connection refused,
@@ -6501,6 +6106,12 @@ declare class FetchError extends Error {
         cause?: unknown;
     });
 }
+/**
+ * Deadline for a read that carries no `AbortSignal` of its own. `fetch` has no default timeout,
+ * so a silently dropped connection stays pending, and every retry ladder, queue or mutex built on
+ * top of it waits with it.
+ */
+declare const READ_TIMEOUT_MS = 30000;
 
 /**
  * How long a blocked upgrade waits before the open is reported as failed.
@@ -6561,46 +6172,22 @@ interface ManagedConnection extends AsyncDisposable {
     /**
      * The open connection, opening it on first call.
      *
-     * Call this once per operation and use the handle for the transaction you
-     * start right away — never store it on the repository, and never carry it
-     * across an `await`. The connection can be closed underneath you at any
-     * time (a `versionchange` from another tab, eviction, "clear site data"),
-     * after which every transaction on that handle throws `InvalidStateError`;
-     * a later `get()` transparently reopens, but only for callers that ask
-     * again. Holding the resolved database is exactly the defect this type
-     * exists to remove.
-     *
-     * ## The dispose boundary
+     * Call once per operation and use the handle for the transaction you start right away —
+     * never store it or carry it across an `await`. It can be closed underneath you at any time
+     * (`versionchange` from another tab, eviction, "clear site data"), after which every
+     * transaction on it throws `InvalidStateError`; a later `get()` transparently reopens.
      *
-     * `get()` is valid only before `[Symbol.asyncDispose]`. Afterwards it
-     * rejects with {@link ConnectionDisposedError}, permanently: dispose has
-     * released this connection's single reference, and reopening would take a
-     * refcount nothing is left to release. Disposal is final by design — there
-     * is no revive; construct a new repository, which constructs a new
-     * connection, instead.
-     *
-     * Dispose neither awaits nor cancels work already in flight. A transaction
-     * started just before it can abort when the underlying handle closes, and
-     * an in-flight `get()` may resolve to a database that is closing. So
-     * sequence disposal after the operations you care about have settled —
-     * `await` the repository's outstanding calls first — rather than racing it
-     * against them.
-     *
-     * Callers must not close the database themselves; the reference this
-     * connection holds is released by its own dispose, once.
+     * After `[Symbol.asyncDispose]` it rejects with {@link ConnectionDisposedError}, permanently:
+     * reopening would take a refcount nothing releases, so construct a new repository instead.
+     * Dispose neither awaits nor cancels in-flight work, so `await` outstanding repository calls
+     * before disposing. Callers must not close the database themselves.
      */
     get(): Promise<IDBDatabase>;
 }
 /**
- * Forget-and-reopen around {@link openDatabase}, shared by every IndexedDB
- * repository. Caching the resolved `IDBDatabase` is the defect this exists to
- * remove: once the manager closes on `versionchange`, every later transaction on
- * that handle throws `InvalidStateError` with no path back.
- *
- * Opens nothing until the first {@link ManagedConnection.get} — repositories
- * construct their storage in their own constructors, and an eager open would
- * move the "IndexedDB is not available in this environment" throw to
- * construction time.
+ * Forget-and-reopen around {@link openDatabase}, shared by every IndexedDB repository: a cached
+ * `IDBDatabase` throws `InvalidStateError` forever once the manager closes it on `versionchange`.
+ * Lazy, so the "IndexedDB is not available" throw stays out of repository constructors.
  */
 declare function createManagedConnection(dbName: string, version: number, initDatabase: (db: IDBDatabase, oldVersion: number, transaction: IDBTransaction | null) => void): ManagedConnection;
 
@@ -6710,4 +6297,4 @@ declare class AssetManager extends ReadonlyAssetManager implements IAssetManager
     burn(params: BurnParams): Promise<string>;
 }
 
-export { ARKADE_MAGIC, ARKADE_SALTED_PREIMAGE_TAG, ARKADE_SWAP_PREIMAGE_TAG, ASSET_CARRIER_SATS, Activity, ActivityRegistry, AddressAllocationCapable, AmbiguousRouteError, type AnchorBumper, ArkAddress, ArkInfo, ArkIntent, ArkNote, ArkProvider, type ArkPsbtFieldCoder, ArkPsbtFieldKey, ArkPsbtFieldKeyType, ArkTransaction, type ArkTxInput, type ArkadeBatchInput, ArkadeBroadcaster, ArkadeCash, ArkadeContractParams, type ArkadeExtendedCoin, type ArkadeExtendedVirtualCoin, ArkadeInfo, ArkadeReader, Asset, AssetDetails, AssetManager, BIP21, BIP21Error, type BIP21Params, type BIP21ParseResult, BIP322, BLOCKED_UPGRADE_TIMEOUT_MS, Batch, BatchExpiryPolicy, BurnParams, CSVMultisigTapscript, CachingArkProvider, ChainTx, Coin, ConditionWitness, ConnectionDisposedError, type ConnectorTreeNode, Contract, ContractEvent, ContractRepository, ContractRepositoryImpl, ContractSyncState, ContractWatcherConfig, ContractWithVtxos, CosignerPublicKey, CreateContractParams, DEFAULT_MESSAGE_TIMEOUTS, DatabaseUpgradeBlockedError, DefaultVtxo, DelegateInfo, DelegateNotConfiguredError, DelegatorNotConfiguredError, DescriptorIdentity, type DescriptorIdentityOptions, type DescriptorOptions, type DescriptorSigner, DescriptorSigningProviderMissingError, type DeterministicSigner, DustChangeError, ELECTRUM_TCP_HOST, ELECTRUM_WS_URL, type BlockHeader as ElectrumBlockHeader, ElectrumOnchainProvider, type TransactionHistory as ElectrumTransactionHistory, type Unspent as ElectrumUnspent, type EmulatorEntry, type EmulatorInfo, EmulatorPacket, type EmulatorProvider, EncodedVtxoScript, Estimator, type ExcludableVtxo, type ExecutorEvent, type ExecutorOptions, type ExitDelay, type ExitFeeWallet, type ExitMode, type ExitOptions, type ExitPackage, type ExitQuote, type ExitStep, type ExitTotals, type ExitVtxoInfo, ExplorerTransaction, ExtendedCoin, ExtendedVirtualCoin, Extension, ExtensionNotFoundError, type ExtensionPacket, FeeAmount, FeeInfo, FeeOutput, FetchError, GetArkadeInfoOptions, GetNewAddressesOptions, GetVtxosFilter, GetVtxosOptions, HDAllocationCapable, HDDescriptorProvider, type HDDeterministicSignCapable, HDWalletCapable, IAssetManager, IContractManager, IDelegateManager, IReadonlyAssetManager, IReadonlyWallet, IVtxoManager, IWallet, Identity, InMemoryContractRepository, InMemoryIntentRepository, InMemoryVirtualTxRepository, InMemoryWalletRepository, IndexedDBContractRepository, IndexedDBIntentRepository, IndexedDBVirtualTxRepository, IndexedDBWalletRepository, IndexerProvider, Intent, IntentFeeConfig, IntentFilter, IntentRepository, IssuanceParams, IssuanceResult, MESSAGE_BUS_INITIALIZING, MESSAGE_BUS_NOT_INITIALIZED, MIGRATION_KEY, type ManagedConnection, MessageBus, MessageBusInitializingError, MessageBusNotInitializedError, type MessageHandler, type MessageTimeouts, MigrationGlobalSkipReason, MigrationLegSkipReason, type MigrationStatus, MissingSigningDescriptorError, MnemonicIdentity, type MnemonicOptions, Network, NetworkName, type NetworkOptions, NewAddress, NormalizedVtxoPage, OffchainInput, type OffchainTx, type OnExitObserved, OnchainInput, OnchainProvider, OnchainWallet, Outpoint, P2A, PaginationOptions, type ParsedArkContract, PathContext, PathSelection, type PaymentHandle, type PaymentOption, type PaymentRail, type PaymentRequest, PaymentRouter, type PaymentStatus, PrevArkTxField, PrevoutTxField, ProviderConnectionState, type ProvisionedClaimSecret, type ProvisionedKey, Ramps, ReadonlyAssetManager, ReadonlyDescriptorIdentity, ReadonlyIdentity, ReadonlySingleKey, ReadonlyWallet, ReadonlyWalletError, Recipient, ReissuanceParams, RelativeTimelock, RenewVtxosOptions, type RequestEnvelope, type ResponseEnvelope, RestEmulatorProvider, type RouteQuote, type RouteResult, type RouterContext, type RouterPreferences, SeedIdentity, type SeedIdentityOptions, SendBitcoinParams, SendParams, ServiceWorkerReadonlyWallet, ServiceWorkerTimeoutError, ServiceWorkerWallet, type ServiceWorkerWalletMode, SettleParams, SettlementConfig, SettlementEvent, SignedIntent, SignerSession, SignerStatus, SingleKey, Status, StorageConfig, TapLeafScript, Transaction, TreeNonces, TreePartialSigs, TxNotificationEvent, TxTree, TxWeightEstimator, UnannotatableInputError, UnilateralExit, UnknownPacket, Unroll, type VSize, type VerifyServerSignatures, VirtualCoin, VirtualTx, VirtualTxRepository, VtxoBranch, type VtxoExclusion, VtxoScript, VtxoTaprootTree, VtxoTreeExpiry, Wallet, WalletBalance, WalletCannotSignError, WalletMessageHandler, WalletNotInitializedError, WalletRepository, WalletRepositoryImpl, WsElectrumChainSource, adoptContractDescriptor, arkAssetRail, arkRail, arkTarget, index as arkade, assembleBtcdTaprootTree, assertFinalCommitmentMatchesValidated, assertNoAssets, assertSendableAmount, assertSubmittedArkTxid, index$1 as asset, assetsOf, awaitTransaction, btcTarget, buildForfeitTx, buildOffchainTx, buildPreimageMessage, buildSaltedPreimageMessage, buildVersion, claimWithPreimageIdentity, closeDatabase, combineTapscriptSigs, contractFromArkContract, contractFromArkContractWithAddress, contractPreimage, contractSigner, createAssetPacket, createDefaultPaymentRouter, createManagedConnection, decodeArkContract, deleteByIndex, deriveDescriptorLeafCompressedPubKey, deriveDescriptorLeafPubKey, deserializeExitPackage, encodeArkContract, exitObserverFor, gateExclusion, gatedContracts, getAllByIndexValues, getArkPsbtFields, getMigrationStatus, hasBoardingTxExpired, identityDescriptor, invoiceTarget, isArkContract, isBtcAddress, isCltvSatisfied, isContractGenericallySpendable, isCsvSpendable, isDeterministicSigner, isHDDeterministicSignCapable, isLightningInvoice, isLnurl, isMessageBusInitializingError, isMessageBusNotInitializedError, isPerArtifactDescriptor, isRetryableProviderError, isValidArkAddress, logExcludedVtxos, makeHandle, matchServerCheckpoints, migrateWalletRepository, normalizeToDescriptor, notifyExitObserved, onchainRail, openDatabase, outpointExclusion, outpointReasons, parseHDDescriptor, promisifyRequest, provisionClaimSecret, provisionRefundKey, requiresMigration, resolveAssetAmount, resolveSendAmount, rollbackMigration, sdkVersion, selectCoinsWithAsset, sequenceToTimelock, serializeExitPackage, setArkPsbtField, setupServiceWorker, signAndSubmitOffchainTx, timelockToSequence, toXOnly, tryResolveSendAmount, validateBatchRecipients, validateConnectorsTxGraph, validateVtxoTxGraph, verifyTapscriptSignatures };
+export { ARKADE_MAGIC, ARKADE_SALTED_PREIMAGE_TAG, ARKADE_SWAP_PREIMAGE_TAG, ASSET_CARRIER_SATS, Activity, ActivityRegistry, AddressAllocationCapable, AmbiguousRouteError, type AnchorBumper, ArkAddress, ArkIntent, ArkNote, ArkProvider, type ArkPsbtFieldCoder, ArkPsbtFieldKey, ArkPsbtFieldKeyType, ArkTransaction, type ArkTxInput, type ArkadeBatchInput, ArkadeBroadcaster, ArkadeCash, ArkadeContractParams, type ArkadeExtendedCoin, type ArkadeExtendedVirtualCoin, ArkadeInfo, ArkadeReader, Asset, AssetDetails, AssetManager, BIP21, BIP21Error, type BIP21Params, type BIP21ParseResult, BIP322, BLOCKED_UPGRADE_TIMEOUT_MS, Batch, BatchExpiryPolicy, BurnParams, CSVMultisigTapscript, CachingArkProvider, ChainTx, Coin, ConditionWitness, ConnectionDisposedError, type ConnectorTreeNode, Contract, ContractEvent, ContractFilter, ContractRepository, ContractSyncState, ContractWatcherConfig, ContractWithVtxos, CosignerPublicKey, CreateContractParams, DEFAULT_MESSAGE_TIMEOUTS, DatabaseUpgradeBlockedError, DefaultVtxo, DelegateInfo, DelegateNotConfiguredError, DescriptorIdentity, type DescriptorIdentityOptions, type DescriptorOptions, DescriptorProvider, type DescriptorSigner, DescriptorSigningProviderMissingError, DescriptorSigningRequest, type DeterministicSigner, DustChangeError, ELECTRUM_TCP_HOST, ELECTRUM_WS_URL, type BlockHeader as ElectrumBlockHeader, ElectrumOnchainProvider, type TransactionHistory as ElectrumTransactionHistory, type Unspent as ElectrumUnspent, type EmulatorEntry, type EmulatorInfo, EmulatorPacket, type EmulatorProvider, EncodedVtxoScript, Estimator, type ExcludableVtxo, type ExecutorEvent, type ExecutorOptions, type ExitDelay, type ExitFeeWallet, type ExitMode, type ExitOptions, type ExitPackage, type ExitQuote, type ExitStep, type ExitTotals, type ExitVtxoInfo, ExplorerTransaction, ExtendedCoin, ExtendedVirtualCoin, Extension, ExtensionNotFoundError, type ExtensionPacket, FeeAmount, FeeInfo, FeeOutput, FetchError, GetArkadeInfoOptions, GetNewAddressesOptions, GetSpendableVtxosFilter, GetVtxosFilter, GetVtxosOptions, HDAllocationCapable, HDDescriptorProvider, type HDDeterministicSignCapable, HDWalletCapable, IAssetManager, IContractManager, IDelegateManager, IReadonlyAssetManager, IReadonlyWallet, IVtxoManager, IWallet, Identity, InMemoryContractRepository, InMemoryIntentRepository, InMemoryVirtualTxRepository, InMemoryWalletRepository, IndexedDBContractRepository, IndexedDBIntentRepository, IndexedDBVirtualTxRepository, IndexerProvider, Intent, IntentFeeConfig, IntentPageFilter, IntentRepository, IssuanceParams, IssuanceResult, MESSAGE_BUS_INITIALIZING, MESSAGE_BUS_NOT_INITIALIZED, type ManagedConnection, MessageBus, MessageBusInitializingError, MessageBusNotInitializedError, type MessageHandler, type MessageTimeouts, MigrationGlobalSkipReason, MigrationLegSkipReason, MissingSigningDescriptorError, MnemonicIdentity, type MnemonicOptions, Network, NetworkName, type NetworkOptions, NewAddress, NormalizedExtendedVirtualCoin, NormalizedVtxoPage, OffchainInput, type OffchainTx, type OnExitObserved, OnchainInput, OnchainProvider, OnchainWallet, Outpoint, OversizedChangeError, P2A, PageRequest, PageResult, PaginationOptions, type ParsedArkContract, PathContext, PathSelection, type PaymentHandle, type PaymentOption, type PaymentRail, type PaymentRequest, PaymentRouter, type PaymentStatus, PrevArkTxField, PrevoutTxField, ProviderConnectionState, type ProvisionedClaimSecret, type ProvisionedKey, READ_TIMEOUT_MS, Ramps, ReadonlyAssetManager, ReadonlyDescriptorIdentity, ReadonlyIdentity, ReadonlySingleKey, ReadonlyWallet, ReadonlyWalletError, Recipient, ReissuanceParams, RelativeTimelock, RenewVtxosOptions, type RequestEnvelope, type ResponseEnvelope, RestEmulatorProvider, type RouteQuote, type RouteResult, type RouterContext, type RouterPreferences, ScriptVtxoCursor, ScriptVtxoPageOptions, SeedIdentity, type SeedIdentityOptions, SendBitcoinParams, SendParams, ServiceWorkerReadonlyWallet, ServiceWorkerTimeoutError, ServiceWorkerWallet, type ServiceWorkerWalletMode, SettleParams, SettlementConfig, SettlementEvent, SignedIntent, SignerSession, SignerStatus, SingleKey, StaticDescriptorProvider, Status, StorageConfig, StoredVtxo, TapLeafScript, Transaction, TransactionHistoryPageCursor, TransactionHistoryPageFilter, TreeNonces, TreePartialSigs, TxNotificationEvent, TxTree, TxWeightEstimator, UnannotatableInputError, UnilateralExit, UnknownPacket, Unroll, type VSize, type VerifyServerSignatures, VirtualCoin, VirtualTx, VirtualTxRepository, VtxoBranch, type VtxoExclusion, VtxoScript, VtxoTaprootTree, VtxoTreeExpiry, Wallet, WalletBalance, WalletCannotSignError, WalletMessageHandler, WalletNotInitializedError, WalletRepository, type WalletRestoreHook, WatchedScript, WsElectrumChainSource, adoptContractDescriptor, arkAssetRail, arkRail, arkTarget, index as arkade, assembleBtcdTaprootTree, assertFinalCommitmentMatchesValidated, assertNoAssets, assertNoSelection, assertNonNegativeMs, assertSendableAmount, assertSubmittedArkTxid, assertTimerMs, index$1 as asset, assetsOf, awaitTransaction, btcTarget, buildForfeitTx, buildOffchainTx, buildPreimageMessage, buildSaltedPreimageMessage, buildVersion, claimWithPreimageIdentity, closeDatabase, combineTapscriptSigs, contractFromArkContract, contractFromArkContractWithAddress, contractPreimage, contractSigner, createAssetPacket, createDefaultPaymentRouter, createManagedConnection, decodeArkContract, deleteByIndex, deriveDescriptorLeafCompressedPubKey, deriveDescriptorLeafPubKey, deserializeExitPackage, encodeArkContract, exitObserverFor, gateExclusion, gatedContracts, getAllByIndexValues, getArkPsbtFields, hasBoardingTxExpired, identityDescriptor, invoiceTarget, isArkContract, isBtcAddress, isCltvSatisfied, isContractGenericallySpendable, isCsvSpendable, isDeterministicSigner, isHDDeterministicSignCapable, isLightningInvoice, isLnurl, isMessageBusInitializingError, isMessageBusNotInitializedError, isPerArtifactDescriptor, isRetryableProviderError, isValidArkAddress, logExcludedVtxos, makeHandle, matchServerCheckpoints, normalizeToDescriptor, notifyExitObserved, onchainRail, openDatabase, outpointExclusion, outpointReasons, parseHDDescriptor, promisifyRequest, provisionClaimSecret, provisionRefundKey, registerWalletRestoreHook, resolveAssetAmount, resolveSendAmount, sdkVersion, selectCoinsWithAsset, selectionOf, sequenceToTimelock, serializeExitPackage, setArkPsbtField, setupServiceWorker, signAndSubmitOffchainTx, timelockToSequence, toXOnly, tryResolveSendAmount, validateBatchRecipients, validateConnectorsTxGraph, validateVtxoTxGraph, verifyTapscriptSignatures, walletFeeSource };