@babylonlabs-io/ts-sdk 3.1.2 → 3.2.1

package/dist/tbv/core/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"file":"index.js","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/dist/tbv/core/managers/index.cjs

@@ -1,2 +1,2 @@
-"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const e=require("../../../PeginManager-PyKbfy5q.cjs"),a=require("../../../PayoutManager-DOdsgcUR.cjs");exports.PeginManager=e.PeginManager;exports.PayoutManager=a.PayoutManager;
+"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const e=require("../../../PeginManager-BCRtUqyX.cjs"),a=require("../../../PayoutManager-B1Ev0r7o.cjs");exports.PeginManager=e.PeginManager;exports.PayoutManager=a.PayoutManager;
 //# sourceMappingURL=index.cjs.map

package/dist/tbv/core/managers/index.js

@@ -1,5 +1,5 @@
-import { P as e } from "../../../PeginManager-Dfr5Qe1g.js";
-import { P } from "../../../PayoutManager-BZ212yml.js";
+import { P as e } from "../../../PeginManager-sizm3dlw.js";
+import { P } from "../../../PayoutManager-xEGvTbhL.js";
 export {
   P as PayoutManager,
   e as PeginManager

package/dist/tbv/core/primitives/index.cjs

@@ -1,2 +1,2 @@
-"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const t=require("../../../verifyScriptPathSchnorrSignature-D2t1yACC.cjs"),s=require("../../../secp256k1-DDHQ1_za.cjs"),i=require("../wasm/index.cjs"),a=require("../../../verifyKeyPathSchnorrSignature-CQUut2-O.cjs"),r=require("../../../noPayout-DOHak0ui.cjs"),n=require("../../../challengeAssert-Z7_YULBb.cjs"),e=require("../../../bitcoin-D-O2GjbC.cjs");exports.PEGIN_DEPOSITOR_CLAIM_VOUT=t.PEGIN_DEPOSITOR_CLAIM_VOUT;exports.PsbtSubstitutionError=t.PsbtSubstitutionError;exports.assertPsbtUnsignedTxMatches=t.assertPsbtUnsignedTxMatches;exports.assertScriptPathSchnorrSignature=t.assertScriptPathSchnorrSignature;exports.buildPayoutPsbt=t.buildPayoutPsbt;exports.buildPeginTxFromFundedPrePegin=t.buildPeginTxFromFundedPrePegin;exports.buildPrePeginPsbt=t.buildPrePeginPsbt;exports.computeNumLocalChallengers=t.computeNumLocalChallengers;exports.createPayoutScript=t.createPayoutScript;exports.deriveDepositorClaimDescriptor=t.deriveDepositorClaimDescriptor;exports.deriveDepositorClaimScriptPubKey=t.deriveDepositorClaimScriptPubKey;exports.extractPayoutSignature=t.extractPayoutSignature;exports.assertValidVaultCoreVersion=s.assertValidVaultCoreVersion;exports.computeMinClaimValue=i.computeMinClaimValue;exports.computeMinPeginFee=i.computeMinPeginFee;exports.deriveVaultId=i.deriveVaultId;exports.peginP2aAnchorOutput=i.peginP2aAnchorOutput;exports.supportedTxGraphVersions=i.supportedTxGraphVersions;exports.validatePeginP2aAnchor=i.validatePeginP2aAnchor;exports.assertKeyPathSchnorrSignature=a.assertKeyPathSchnorrSignature;exports.assertReturnedKeyPathSignatures=a.assertReturnedKeyPathSignatures;exports.buildPeginInputPsbt=a.buildPeginInputPsbt;exports.extractPeginInputSignature=a.extractPeginInputSignature;exports.finalizePeginInputPsbt=a.finalizePeginInputPsbt;exports.buildNoPayoutPsbt=r.buildNoPayoutPsbt;exports.buildReclaimPsbt=r.buildReclaimPsbt;exports.buildRefundPsbt=r.buildRefundPsbt;exports.estimateReclaimFeeSats=r.estimateReclaimFeeSats;exports.finalizeScriptPathWithSignatures=r.finalizeScriptPathWithSignatures;exports.reclaimVsize=r.reclaimVsize;exports.buildChallengeAssertPsbt=n.buildChallengeAssertPsbt;exports.canonicalizeBtcPubkey=e.canonicalizeBtcPubkey;exports.deriveBip86ScriptPubKeyHex=e.deriveBip86ScriptPubKeyHex;exports.deriveNativeSegwitAddress=e.deriveNativeSegwitAddress;exports.deriveTaprootAddress=e.deriveTaprootAddress;exports.ensureHexPrefix=e.ensureHexPrefix;exports.formatSatoshisToBtc=e.formatSatoshisToBtc;exports.getSortedXOnlyPubkeys=e.getSortedXOnlyPubkeys;exports.hexToUint8Array=e.hexToUint8Array;exports.isAddressFromPublicKey=e.isAddressFromPublicKey;exports.isValidHex=e.isValidHex;exports.processPublicKeyToXOnly=e.processPublicKeyToXOnly;exports.stripHexPrefix=e.stripHexPrefix;exports.toXOnly=e.toXOnly;exports.uint8ArrayToHex=e.uint8ArrayToHex;exports.validateWalletPubkey=e.validateWalletPubkey;
+"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const t=require("../../../verifyScriptPathSchnorrSignature-CahYx5Td.cjs"),s=require("../../../secp256k1-DDHQ1_za.cjs"),r=require("../wasm/index.cjs"),a=require("../../../verifyKeyPathSchnorrSignature-BRTpEH9X.cjs"),i=require("../../../challengeAssert-C3eMcM5Y.cjs"),e=require("../../../bitcoin-D-O2GjbC.cjs");exports.PEGIN_DEPOSITOR_CLAIM_VOUT=t.PEGIN_DEPOSITOR_CLAIM_VOUT;exports.PsbtSubstitutionError=t.PsbtSubstitutionError;exports.assertPsbtUnsignedTxMatches=t.assertPsbtUnsignedTxMatches;exports.assertScriptPathSchnorrSignature=t.assertScriptPathSchnorrSignature;exports.buildPayoutPsbt=t.buildPayoutPsbt;exports.buildPeginTxFromFundedPrePegin=t.buildPeginTxFromFundedPrePegin;exports.buildPrePeginPsbt=t.buildPrePeginPsbt;exports.computeNumLocalChallengers=t.computeNumLocalChallengers;exports.createPayoutScript=t.createPayoutScript;exports.deriveDepositorClaimDescriptor=t.deriveDepositorClaimDescriptor;exports.deriveDepositorClaimScriptPubKey=t.deriveDepositorClaimScriptPubKey;exports.extractPayoutSignature=t.extractPayoutSignature;exports.assertValidVaultCoreVersion=s.assertValidVaultCoreVersion;exports.computeMinClaimValue=r.computeMinClaimValue;exports.computeMinPeginFee=r.computeMinPeginFee;exports.deriveVaultId=r.deriveVaultId;exports.peginP2aAnchorOutput=r.peginP2aAnchorOutput;exports.supportedTxGraphVersions=r.supportedTxGraphVersions;exports.validatePeginP2aAnchor=r.validatePeginP2aAnchor;exports.assertKeyPathSchnorrSignature=a.assertKeyPathSchnorrSignature;exports.assertReturnedKeyPathSignatures=a.assertReturnedKeyPathSignatures;exports.buildPeginInputPsbt=a.buildPeginInputPsbt;exports.extractPeginInputSignature=a.extractPeginInputSignature;exports.finalizePeginInputPsbt=a.finalizePeginInputPsbt;exports.buildChallengeAssertPsbt=i.buildChallengeAssertPsbt;exports.buildNoPayoutPsbt=i.buildNoPayoutPsbt;exports.buildReclaimPsbt=i.buildReclaimPsbt;exports.buildRefundPsbt=i.buildRefundPsbt;exports.estimateReclaimFeeSats=i.estimateReclaimFeeSats;exports.finalizeScriptPathWithSignatures=i.finalizeScriptPathWithSignatures;exports.reclaimVsize=i.reclaimVsize;exports.canonicalizeBtcPubkey=e.canonicalizeBtcPubkey;exports.deriveBip86ScriptPubKeyHex=e.deriveBip86ScriptPubKeyHex;exports.deriveNativeSegwitAddress=e.deriveNativeSegwitAddress;exports.deriveTaprootAddress=e.deriveTaprootAddress;exports.ensureHexPrefix=e.ensureHexPrefix;exports.formatSatoshisToBtc=e.formatSatoshisToBtc;exports.getSortedXOnlyPubkeys=e.getSortedXOnlyPubkeys;exports.hexToUint8Array=e.hexToUint8Array;exports.isAddressFromPublicKey=e.isAddressFromPublicKey;exports.isValidHex=e.isValidHex;exports.processPublicKeyToXOnly=e.processPublicKeyToXOnly;exports.stripHexPrefix=e.stripHexPrefix;exports.toXOnly=e.toXOnly;exports.uint8ArrayToHex=e.uint8ArrayToHex;exports.validateWalletPubkey=e.validateWalletPubkey;
 //# sourceMappingURL=index.cjs.map

package/dist/tbv/core/primitives/index.js

@@ -1,10 +1,9 @@
-import { P as s, h as t, i as r, j as i, f as o, b as u, a as n, c as P, k as l, d, e as c, g as b } from "../../../verifyScriptPathSchnorrSignature-B3-VkvnK.js";
+import { P as s, h as t, i as r, j as i, f as o, b as u, a as n, c as P, k as l, d, e as c, g as b } from "../../../verifyScriptPathSchnorrSignature-owu3BfyT.js";
 import { a as g } from "../../../secp256k1-BuxBFUHm.js";
-import { computeMinClaimValue as x, computeMinPeginFee as S, deriveVaultId as y, peginP2aAnchorOutput as f, supportedTxGraphVersions as h, validatePeginP2aAnchor as v } from "../wasm/index.js";
-import { a as A, c as V, b as C, e as I, f as O } from "../../../verifyKeyPathSchnorrSignature-DxPbeSdQ.js";
-import { c as F, a as H, b as R, e as k, f as z, r as D } from "../../../noPayout-B-vGXJ-V.js";
-import { b as N } from "../../../challengeAssert-Cp_GeRg8.js";
-import { c as E, d as U, a as X, b as _, e as j, f as G, g as L, h as W, i as w, j as q, p as J, s as Q, t as Y, u as Z, v as $ } from "../../../bitcoin-C-TuHb-v.js";
+import { computeMinClaimValue as x, computeMinPeginFee as S, deriveVaultId as y, peginP2aAnchorOutput as h, supportedTxGraphVersions as f, validatePeginP2aAnchor as v } from "../wasm/index.js";
+import { a as A, c as V, b as C, e as I, f as O } from "../../../verifyKeyPathSchnorrSignature-IIj3Z2se.js";
+import { d as F, c as H, a as R, b as k, e as z, f as D, r as M } from "../../../challengeAssert-B2otuf7y.js";
+import { c as B, d as E, a as U, b as X, e as _, f as j, g as G, h as L, i as W, j as w, p as q, s as J, t as Q, u as Y, v as Z } from "../../../bitcoin-C-TuHb-v.js";
 export {
   s as PEGIN_DEPOSITOR_CLAIM_VOUT,
   t as PsbtSubstitutionError,
@@ -13,44 +12,44 @@ export {
   V as assertReturnedKeyPathSignatures,
   i as assertScriptPathSchnorrSignature,
   g as assertValidVaultCoreVersion,
-  N as buildChallengeAssertPsbt,
-  F as buildNoPayoutPsbt,
+  F as buildChallengeAssertPsbt,
+  H as buildNoPayoutPsbt,
   o as buildPayoutPsbt,
   C as buildPeginInputPsbt,
   u as buildPeginTxFromFundedPrePegin,
   n as buildPrePeginPsbt,
-  H as buildReclaimPsbt,
-  R as buildRefundPsbt,
-  E as canonicalizeBtcPubkey,
+  R as buildReclaimPsbt,
+  k as buildRefundPsbt,
+  B as canonicalizeBtcPubkey,
   x as computeMinClaimValue,
   S as computeMinPeginFee,
   P as computeNumLocalChallengers,
   l as createPayoutScript,
-  U as deriveBip86ScriptPubKeyHex,
+  E as deriveBip86ScriptPubKeyHex,
   d as deriveDepositorClaimDescriptor,
   c as deriveDepositorClaimScriptPubKey,
-  X as deriveNativeSegwitAddress,
-  _ as deriveTaprootAddress,
+  U as deriveNativeSegwitAddress,
+  X as deriveTaprootAddress,
   y as deriveVaultId,
-  j as ensureHexPrefix,
-  k as estimateReclaimFeeSats,
+  _ as ensureHexPrefix,
+  z as estimateReclaimFeeSats,
   b as extractPayoutSignature,
   I as extractPeginInputSignature,
   O as finalizePeginInputPsbt,
-  z as finalizeScriptPathWithSignatures,
-  G as formatSatoshisToBtc,
-  L as getSortedXOnlyPubkeys,
-  W as hexToUint8Array,
-  w as isAddressFromPublicKey,
-  q as isValidHex,
-  f as peginP2aAnchorOutput,
-  J as processPublicKeyToXOnly,
-  D as reclaimVsize,
-  Q as stripHexPrefix,
-  h as supportedTxGraphVersions,
-  Y as toXOnly,
-  Z as uint8ArrayToHex,
+  D as finalizeScriptPathWithSignatures,
+  j as formatSatoshisToBtc,
+  G as getSortedXOnlyPubkeys,
+  L as hexToUint8Array,
+  W as isAddressFromPublicKey,
+  w as isValidHex,
+  h as peginP2aAnchorOutput,
+  q as processPublicKeyToXOnly,
+  M as reclaimVsize,
+  J as stripHexPrefix,
+  f as supportedTxGraphVersions,
+  Q as toXOnly,
+  Y as uint8ArrayToHex,
   v as validatePeginP2aAnchor,
-  $ as validateWalletPubkey
+  Z as validateWalletPubkey
 };
 //# sourceMappingURL=index.js.map

package/dist/tbv/core/primitives/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;"}
+{"version":3,"file":"index.js","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;"}

package/dist/tbv/core/primitives/psbt/__tests__/challengeAssert.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=challengeAssert.test.d.ts.map

package/dist/tbv/core/primitives/psbt/__tests__/challengeAssert.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"challengeAssert.test.d.ts","sourceRoot":"","sources":["../../../../../../src/tbv/core/primitives/psbt/__tests__/challengeAssert.test.ts"],"names":[],"mappings":""}

package/dist/tbv/core/primitives/psbt/__tests__/noPayout.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=noPayout.test.d.ts.map

package/dist/tbv/core/primitives/psbt/__tests__/noPayout.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"noPayout.test.d.ts","sourceRoot":"","sources":["../../../../../../src/tbv/core/primitives/psbt/__tests__/noPayout.test.ts"],"names":[],"mappings":""}

package/dist/tbv/core/primitives/psbt/challengeAssert.d.ts

@@ -1,4 +1,5 @@
 import { ChallengeAssertConnectorParams } from '../../wasm';
+import { Transaction } from 'bitcoinjs-lib';
 /**
  * Parameters for building a ChallengeAssert PSBT
  */
@@ -27,4 +28,46 @@ export interface ChallengeAssertParams {
  * @throws If two inputs reference the same Assert output index
  */
 export declare function buildChallengeAssertPsbt(params: ChallengeAssertParams): Promise<string>;
+/** Which of a challenger's two ChallengeAssert transactions. */
+export type ChallengeAssertHalf = "X" | "Y";
+/**
+ * Parameters for {@link assertChallengeAssertIsCanonical}
+ */
+export interface AssertChallengeAssertIsCanonicalParams {
+    /** The ChallengeAssertX or ChallengeAssertY transaction the VP supplied */
+    challengeAssertTx: Transaction;
+    /** Authoritative Assert transaction, already bound to the depositor's Claim */
+    assertTx: Transaction;
+    /** Which half `challengeAssertTx` claims to be */
+    half: ChallengeAssertHalf;
+    /** The challenger's index in the hex-sorted local ∪ universal challenger set */
+    challengerIndex: number;
+    /** Number of local plus universal challengers (K) */
+    challengerCount: number;
+    /** The challenger's x-only public key (hex) */
+    challengerPubkey: string;
+    /** ChallengeAssert output connector scriptPubKey for this challenger (hex) */
+    outputConnectorScriptPubKey: string;
+}
+/**
+ * Require a VP-supplied ChallengeAssertX/Y to be exactly the transaction
+ * btc-vault builds for this challenger from the authoritative Assert.
+ *
+ * NoPayout spends output 0 of both ChallengeAsserts, and the depositor's
+ * NoPayout signature commits to their txids. The protocol collects no claimer
+ * signature on a ChallengeAssert, so that commitment is all that forces a
+ * challenger to broadcast the canonical one. A parent that does not spend this
+ * Assert, or whose output 0 is not the timelocked connector, would let a
+ * colluding challenger spend Assert:0 through NoPayout without the dispute
+ * that the claimer can answer with WronglyChallenged.
+ *
+ * The transaction is fully determined by the Assert, the challenger's sorted
+ * index and the connector script, so it is rebuilt here and compared by txid,
+ * which covers every non-witness byte.
+ *
+ * @param params - The supplied transaction and the authoritative inputs
+ * @throws If the challenger index is out of range, the Assert lacks the
+ *   connector output, or the supplied transaction is not the canonical one
+ */
+export declare function assertChallengeAssertIsCanonical(params: AssertChallengeAssertIsCanonicalParams): void;
 //# sourceMappingURL=challengeAssert.d.ts.map

package/dist/tbv/core/primitives/psbt/challengeAssert.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"challengeAssert.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/primitives/psbt/challengeAssert.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EACL,KAAK,8BAA8B,EAGpC,MAAM,YAAY,CAAC;AAWpB;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,iDAAiD;IACjD,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qFAAqF;IACrF,WAAW,EAAE,MAAM,CAAC;IACpB,wFAAwF;IACxF,uBAAuB,EAAE,8BAA8B,EAAE,CAAC;CAC3D;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,wBAAwB,CAC5C,MAAM,EAAE,qBAAqB,GAC5B,OAAO,CAAC,MAAM,CAAC,CA+EjB"}
+{"version":3,"file":"challengeAssert.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/primitives/psbt/challengeAssert.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EACL,KAAK,8BAA8B,EAGpC,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAQ,WAAW,EAAE,MAAM,eAAe,CAAC;AAiBlD;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,iDAAiD;IACjD,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qFAAqF;IACrF,WAAW,EAAE,MAAM,CAAC;IACpB,wFAAwF;IACxF,uBAAuB,EAAE,8BAA8B,EAAE,CAAC;CAC3D;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,wBAAwB,CAC5C,MAAM,EAAE,qBAAqB,GAC5B,OAAO,CAAC,MAAM,CAAC,CA+EjB;AAED,gEAAgE;AAChE,MAAM,MAAM,mBAAmB,GAAG,GAAG,GAAG,GAAG,CAAC;AAE5C;;GAEG;AACH,MAAM,WAAW,sCAAsC;IACrD,2EAA2E;IAC3E,iBAAiB,EAAE,WAAW,CAAC;IAC/B,+EAA+E;IAC/E,QAAQ,EAAE,WAAW,CAAC;IACtB,kDAAkD;IAClD,IAAI,EAAE,mBAAmB,CAAC;IAC1B,gFAAgF;IAChF,eAAe,EAAE,MAAM,CAAC;IACxB,qDAAqD;IACrD,eAAe,EAAE,MAAM,CAAC;IACxB,+CAA+C;IAC/C,gBAAgB,EAAE,MAAM,CAAC;IACzB,8EAA8E;IAC9E,2BAA2B,EAAE,MAAM,CAAC;CACrC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,gCAAgC,CAC9C,MAAM,EAAE,sCAAsC,GAC7C,IAAI,CASN"}

package/dist/tbv/core/primitives/psbt/constants.d.ts

@@ -27,8 +27,9 @@ export declare const DEPOSITOR_SIGNED_INPUT_COUNT = 1;
 /** PegIn vault output index spent by the depositor's Payout input 0. */
 export declare const PEGIN_VAULT_OUTPUT_INDEX = 0;
 /**
- * Assert output index spent by the Payout's input 1
- * ({@link PAYOUT_ASSERT_INPUT_INDEX} carries the signing regimes).
+ * Assert output index of the Payout/NoPayout connector, spent by the Payout's
+ * input 1 ({@link PAYOUT_ASSERT_INPUT_INDEX} carries the signing regimes) and
+ * by every NoPayout's input 0.
  */
 export declare const ASSERT_PAYOUT_OUTPUT_INDEX = 0;
 /** Payout input that spends the Vault UTXO (PegIn:{@link PEGIN_VAULT_OUTPUT_INDEX}); the depositor signs it in both regimes. */
@@ -139,6 +140,53 @@ export declare const NON_VP_CLAIMER_PAYOUT_OUTPUT_COUNT = 2;
  * @see btc-vault crates/vault/docs/btc-transactions-spec.md (ChallengeAssertX / ChallengeAssertY)
  */
 export declare const CHALLENGE_ASSERT_CONNECTORS_PER_CHALLENGER = 2;
+/**
+ * First Assert output holding a per-challenger ChallengeAssert connector.
+ * ConnectorX for sorted challenger `i` is at `1 + i`, ConnectorY at
+ * `1 + K + i` (K = local + universal challengers), per btc-vault
+ * `crates/vault/src/transactions/challenge_assert.rs:165,180` @ b534ff9e.
+ */
+export declare const ASSERT_FIRST_CHALLENGER_CONNECTOR_VOUT = 1;
+/**
+ * Assert outputs besides the challenger connectors: output 0 (Payout /
+ * NoPayout / CouncilNoPayout connector) and the claimer's CPFP anchor, last
+ * (btc-vault `crates/vault/src/transactions/assert.rs:7-13` @ b534ff9e).
+ */
+export declare const ASSERT_NON_CHALLENGER_OUTPUT_COUNT = 2;
+/**
+ * First `vaultCoreVersion` whose Assert carries the RFC-008 marker
+ * `OP_RETURN` before the anchor. Matches `FIRST_MARKER_CORE_VERSION` in
+ * btc-vault `crates/vault/src/assert_marker.rs:48` @ b534ff9e; the graph-v1
+ * pin (2c1177ec) predates the marker.
+ */
+export declare const ASSERT_MARKER_FIRST_VAULT_CORE_VERSION = 2;
+/**
+ * ChallengeAssertX/Y literals btc-vault builds deterministically
+ * (`build_challenge_assert_tx`, `crates/vault/src/transactions/challenge_assert.rs:49-96`
+ * @ b534ff9e, identical at the 2c1177ec and 27c0062b pins): nVersion 3 with
+ * zero fee, `LockTime::ZERO`, one input at `Sequence::MAX`, and a
+ * `DUST_AMOUNT` CPFP anchor to the challenger's BIP-86 key as output 1.
+ * Output 0 is the ChallengeAssert output connector, worth the spent Assert
+ * output minus the anchor.
+ */
+export declare const CHALLENGE_ASSERT_TX_VERSION = 3;
+export declare const CHALLENGE_ASSERT_TX_LOCKTIME = 0;
+export declare const CHALLENGE_ASSERT_INPUT_SEQUENCE = 4294967295;
+export declare const CHALLENGE_ASSERT_ANCHOR_VALUE_SATS = 546;
+/**
+ * NoPayout literals from `NoPayoutTx::new`
+ * (`crates/vault/src/transactions/nopayout.rs:148-209` @ b534ff9e):
+ * `Version::TWO`, `LockTime::ZERO`, Assert:0 at `Sequence::MAX` as input 0,
+ * then ChallengeAssertX:0 and ChallengeAssertY:0, each with the
+ * `timelockChallengeAssert` CSV as its sequence.
+ */
+export declare const NOPAYOUT_TX_VERSION = 2;
+export declare const NOPAYOUT_TX_LOCKTIME = 0;
+export declare const NOPAYOUT_ASSERT_INPUT_SEQUENCE = 4294967295;
+/** NoPayout input count: Assert:0, ChallengeAssertX:0, ChallengeAssertY:0. */
+export declare const NOPAYOUT_INPUT_COUNT = 3;
+/** ChallengeAssert output NoPayout spends (`CHALLENGE_ASSERT_OUTPUT_CONNECTOR_INDEX`). */
+export declare const CHALLENGE_ASSERT_OUTPUT_CONNECTOR_INDEX = 0;
 /**
  * Exclusive upper bound on VP commission (bps). Matches
  * `VPKeyRegistryLogic.sol` (`commissionBps >= 10000` reverts).

package/dist/tbv/core/primitives/psbt/constants.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/primitives/psbt/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,IAAI,CAAC;AAE9C;;;;;;GAMG;AACH,eAAO,MAAM,4BAA4B,IAAI,CAAC;AAE9C,wEAAwE;AACxE,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C;;;GAGG;AACH,eAAO,MAAM,0BAA0B,IAAI,CAAC;AAE5C,gIAAgI;AAChI,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C,yKAAyK;AACzK,eAAO,MAAM,yBAAyB,IAAI,CAAC;AAE3C;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAEzC;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C;;;GAGG;AACH,eAAO,MAAM,4BAA4B,IAAI,CAAC;AAE9C;;;;;;;GAOG;AACH,eAAO,MAAM,8BAA8B,IAAI,CAAC;AAEhD;;;GAGG;AACH,eAAO,MAAM,uBAAuB,MAAM,CAAC;AAE3C,iEAAiE;AACjE,eAAO,MAAM,+BAA+B,IAAI,CAAC;AAEjD,sEAAsE;AACtE,eAAO,MAAM,gCAAgC,IAAI,CAAC;AAElD;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,SAAS,CAAC;AAEnD;;;GAGG;AACH,eAAO,MAAM,yBAAyB,MAAM,CAAC;AAE7C;;;GAGG;AACH,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAEtC;;;GAGG;AACH,eAAO,MAAM,qBAAqB,IAAI,CAAC;AAEvC,uEAAuE;AACvE,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAEzC,6EAA6E;AAC7E,eAAO,MAAM,6BAA6B,IAAI,CAAC;AAE/C,2EAA2E;AAC3E,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAEnC,8DAA8D;AAC9D,eAAO,MAAM,oBAAoB,aAAa,CAAC;AAE/C;;;GAGG;AACH,eAAO,MAAM,iBAAiB,IAAI,CAAC;AACnC,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,IAAI,CAAC;AACnC,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC;;;;;;;;;GASG;AACH,eAAO,MAAM,+BAA+B,IAAI,CAAC;AAEjD,sFAAsF;AACtF,eAAO,MAAM,8BAA8B,IAAI,CAAC;AAEhD,+EAA+E;AAC/E,eAAO,MAAM,kCAAkC,IAAI,CAAC;AAEpD;;;;;;GAMG;AACH,eAAO,MAAM,0CAA0C,IAAI,CAAC;AAE5D;;;;;GAKG;AACH,eAAO,MAAM,+BAA+B,QAAS,CAAC;AAEtD;;;;;GAKG;AACH,eAAO,MAAM,eAAe,QAAS,CAAC;AAEtC;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,MAAM,CAAC"}
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/primitives/psbt/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,IAAI,CAAC;AAE9C;;;;;;GAMG;AACH,eAAO,MAAM,4BAA4B,IAAI,CAAC;AAE9C,wEAAwE;AACxE,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,IAAI,CAAC;AAE5C,gIAAgI;AAChI,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C,yKAAyK;AACzK,eAAO,MAAM,yBAAyB,IAAI,CAAC;AAE3C;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAEzC;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C;;;GAGG;AACH,eAAO,MAAM,4BAA4B,IAAI,CAAC;AAE9C;;;;;;;GAOG;AACH,eAAO,MAAM,8BAA8B,IAAI,CAAC;AAEhD;;;GAGG;AACH,eAAO,MAAM,uBAAuB,MAAM,CAAC;AAE3C,iEAAiE;AACjE,eAAO,MAAM,+BAA+B,IAAI,CAAC;AAEjD,sEAAsE;AACtE,eAAO,MAAM,gCAAgC,IAAI,CAAC;AAElD;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,SAAS,CAAC;AAEnD;;;GAGG;AACH,eAAO,MAAM,yBAAyB,MAAM,CAAC;AAE7C;;;GAGG;AACH,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAEtC;;;GAGG;AACH,eAAO,MAAM,qBAAqB,IAAI,CAAC;AAEvC,uEAAuE;AACvE,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAEzC,6EAA6E;AAC7E,eAAO,MAAM,6BAA6B,IAAI,CAAC;AAE/C,2EAA2E;AAC3E,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAEnC,8DAA8D;AAC9D,eAAO,MAAM,oBAAoB,aAAa,CAAC;AAE/C;;;GAGG;AACH,eAAO,MAAM,iBAAiB,IAAI,CAAC;AACnC,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,IAAI,CAAC;AACnC,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC;;;;;;;;;GASG;AACH,eAAO,MAAM,+BAA+B,IAAI,CAAC;AAEjD,sFAAsF;AACtF,eAAO,MAAM,8BAA8B,IAAI,CAAC;AAEhD,+EAA+E;AAC/E,eAAO,MAAM,kCAAkC,IAAI,CAAC;AAEpD;;;;;;GAMG;AACH,eAAO,MAAM,0CAA0C,IAAI,CAAC;AAE5D;;;;;GAKG;AACH,eAAO,MAAM,sCAAsC,IAAI,CAAC;AAExD;;;;GAIG;AACH,eAAO,MAAM,kCAAkC,IAAI,CAAC;AAEpD;;;;;GAKG;AACH,eAAO,MAAM,sCAAsC,IAAI,CAAC;AAExD;;;;;;;;GAQG;AACH,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAC7C,eAAO,MAAM,4BAA4B,IAAI,CAAC;AAC9C,eAAO,MAAM,+BAA+B,aAAa,CAAC;AAC1D,eAAO,MAAM,kCAAkC,MAAM,CAAC;AAEtD;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,IAAI,CAAC;AACrC,eAAO,MAAM,oBAAoB,IAAI,CAAC;AACtC,eAAO,MAAM,8BAA8B,aAAa,CAAC;AAEzD,8EAA8E;AAC9E,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAEtC,0FAA0F;AAC1F,eAAO,MAAM,uCAAuC,IAAI,CAAC;AAEzD;;;;;GAKG;AACH,eAAO,MAAM,+BAA+B,QAAS,CAAC;AAEtD;;;;;GAKG;AACH,eAAO,MAAM,eAAe,QAAS,CAAC;AAEtC;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,MAAM,CAAC"}

package/dist/tbv/core/primitives/psbt/noPayout.d.ts

@@ -1,4 +1,5 @@
 import { AssertPayoutNoPayoutConnectorParams, Network } from '../../wasm';
+import { Transaction } from 'bitcoinjs-lib';
 /**
  * Parameters for building a NoPayout PSBT
  */
@@ -43,4 +44,45 @@ export declare function buildNoPayoutPsbt(params: NoPayoutParams): Promise<strin
  *         scriptPubKey for the challenger
  */
 export declare function assertNoPayoutOutputMatchesChallenger(noPayoutTxHex: string, challengerPubkey: string, network: Network): void;
+/**
+ * Parameters for {@link assertCanonicalNoPayoutShape}
+ */
+export interface AssertCanonicalNoPayoutShapeParams {
+    /** The NoPayout transaction the VP supplied */
+    noPayoutTx: Transaction;
+    /** Authoritative Assert txid (display hex) */
+    assertTxid: string;
+    /** Canonical ChallengeAssertX txid (display hex) */
+    challengeAssertXTxid: string;
+    /** Canonical ChallengeAssertY txid (display hex) */
+    challengeAssertYTxid: string;
+    /** ChallengeAssert CSV timelock in blocks (offchain param `timelockChallengeAssert`) */
+    timelockChallengeAssert: number;
+    /** Values of Assert:0, ChallengeAssertX:0 and ChallengeAssertY:0, in input order */
+    prevoutValues: readonly [number, number, number];
+}
+/**
+ * Require a VP-supplied NoPayout to have the shape btc-vault `NoPayoutTx::new`
+ * builds over the canonical parents
+ * (`crates/vault/src/transactions/nopayout.rs:148-209` @ b534ff9e): version 2,
+ * locktime 0, and exactly the inputs Assert:0, ChallengeAssertX:0 and
+ * ChallengeAssertY:0, in that order, with sequences `0xffffffff`, `t`, `t`.
+ *
+ * The depositor's signature commits to every one of these fields. The
+ * challenge window itself is enforced by the ChallengeAssert output connector's
+ * NoPayout leaf (`<challenger> CHECKSIGVERIFY <t> CSV`), which the txid binding
+ * of both parents pins: a NoPayout with a shorter or disabled sequence, or
+ * below version 2, fails that CSV and is invalid rather than early. Pinning the
+ * inputs, sequences, version and locktime to btc-vault's layout keeps the
+ * signature on a NoPayout that satisfies that CSV. The output value is not
+ * pinned to btc-vault's (the inputs minus its fee); it is only required not to
+ * exceed the inputs, since a larger output could never be valid. The output
+ * script is checked by {@link assertNoPayoutOutputMatchesChallenger}.
+ *
+ * @param params - The supplied NoPayout and the authoritative parents
+ * @throws If any input, sequence, version or locktime differs from the
+ *   canonical layout, the timelock is not a valid relative timelock, or the
+ *   output value exceeds the inputs
+ */
+export declare function assertCanonicalNoPayoutShape(params: AssertCanonicalNoPayoutShapeParams): void;
 //# sourceMappingURL=noPayout.d.ts.map

package/dist/tbv/core/primitives/psbt/noPayout.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"noPayout.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/primitives/psbt/noPayout.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EACL,KAAK,mCAAmC,EACxC,KAAK,OAAO,EAGb,MAAM,YAAY,CAAC;AAYpB;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,kDAAkD;IAClD,aAAa,EAAE,MAAM,CAAC;IACtB,mDAAmD;IACnD,gBAAgB,EAAE,MAAM,CAAC;IACzB,wGAAwG;IACxG,QAAQ,EAAE,KAAK,CAAC;QAAE,aAAa,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1D,0DAA0D;IAC1D,eAAe,EAAE,mCAAmC,CAAC;CACtD;AAED;;;;;;;;GAQG;AACH,wBAAsB,iBAAiB,CACrC,MAAM,EAAE,cAAc,GACrB,OAAO,CAAC,MAAM,CAAC,CA6DjB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,qCAAqC,CACnD,aAAa,EAAE,MAAM,EACrB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,OAAO,GACf,IAAI,CAyBN"}
+{"version":3,"file":"noPayout.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/primitives/psbt/noPayout.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EACL,KAAK,mCAAmC,EACxC,KAAK,OAAO,EAGb,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAQ,WAAW,EAAY,MAAM,eAAe,CAAC;AAsB5D;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,kDAAkD;IAClD,aAAa,EAAE,MAAM,CAAC;IACtB,mDAAmD;IACnD,gBAAgB,EAAE,MAAM,CAAC;IACzB,wGAAwG;IACxG,QAAQ,EAAE,KAAK,CAAC;QAAE,aAAa,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1D,0DAA0D;IAC1D,eAAe,EAAE,mCAAmC,CAAC;CACtD;AAED;;;;;;;;GAQG;AACH,wBAAsB,iBAAiB,CACrC,MAAM,EAAE,cAAc,GACrB,OAAO,CAAC,MAAM,CAAC,CA6DjB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,qCAAqC,CACnD,aAAa,EAAE,MAAM,EACrB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,OAAO,GACf,IAAI,CAyBN;AAED;;GAEG;AACH,MAAM,WAAW,kCAAkC;IACjD,+CAA+C;IAC/C,UAAU,EAAE,WAAW,CAAC;IACxB,8CAA8C;IAC9C,UAAU,EAAE,MAAM,CAAC;IACnB,oDAAoD;IACpD,oBAAoB,EAAE,MAAM,CAAC;IAC7B,oDAAoD;IACpD,oBAAoB,EAAE,MAAM,CAAC;IAC7B,wFAAwF;IACxF,uBAAuB,EAAE,MAAM,CAAC;IAChC,oFAAoF;IACpF,aAAa,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;CAClD;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,kCAAkC,GACzC,IAAI,CAqEN"}

package/dist/tbv/core/services/activation/activateVault.d.ts

@@ -119,4 +119,54 @@ export interface ActivateVaultAndRedeemInput<R extends EthContractWriteResult =
  * @throws `AbortError` / caller-provided abort reason if `signal` aborts
  */
 export declare function activateVaultAndRedeem<R extends EthContractWriteResult = EthContractWriteResult>(input: ActivateVaultAndRedeemInput<R>): Promise<R>;
+export interface ClaimExpiredVaultInput<R extends EthContractWriteResult = EthContractWriteResult> {
+    /** BTCVaultRegistry contract address (env-specific). */
+    btcVaultRegistryAddress: Address;
+    /** Vault ID (bytes32, 0x-prefixed). */
+    vaultId: Hex;
+    /**
+     * HTLC secret preimage (bytes32). A missing `0x` prefix or an uppercase
+     * `0X` prefix is normalised before validation.
+     */
+    secret: string;
+    /**
+     * The vault's on-chain hashlock. Required, unlike the activation entry
+     * points: the claim is offered only after the secret is presumed leaked, and
+     * the SDK still refuses to place a secret in calldata that does not match
+     * the commitment it reveals against.
+     */
+    hashlock: Hex;
+    /** Caller-provided write callback — see {@link EthContractWriter}. */
+    writeContract: EthContractWriter<R>;
+    /**
+     * Optional abort signal. Checked before validation runs; since validation
+     * is fully synchronous, cancellation between validation and the write is
+     * not observable and callers should rely on the transport's own
+     * cancellation support for that window.
+     */
+    signal?: AbortSignal;
+}
+/**
+ * Claim an expired vault: reveal the HTLC secret for a vault that reached
+ * Verified but expired before activation, moving it to Redeemed so the BTC is
+ * claimed out of the PegIn on Bitcoin to the vault provider and depositor keys
+ * recorded on chain.
+ *
+ * This is the only exit for a vault whose Pre-PegIn HTLC was spent by the
+ * PegIn after expiry, which removes the depositor's refund path. The contract
+ * (`claimExpiredVault`) accepts it from any caller, requires status Expired
+ * with `verifiedAt > 0`, rejects it after the vault's `claimExpiredUntil`
+ * block, and checks `sha256(s) == hashlock`.
+ *
+ * Revealing the secret while the HTLC is still unspent lets anyone broadcast
+ * the PegIn and race the depositor's own refund. Callers must offer this only
+ * once the PegIn has spent the HTLC.
+ *
+ * @throws `Error` if `btcVaultRegistryAddress` is not a valid 20-byte address
+ * @throws `Error` if `vaultId`, `secret` or `hashlock` is not a valid 32-byte
+ *         hex, or if `sha256(secret) != hashlock`
+ * @throws whatever the injected `writeContract` throws
+ * @throws `AbortError` / caller-provided abort reason if `signal` aborts
+ */
+export declare function claimExpiredVault<R extends EthContractWriteResult = EthContractWriteResult>(input: ClaimExpiredVaultInput<R>): Promise<R>;
 //# sourceMappingURL=activateVault.d.ts.map

package/dist/tbv/core/services/activation/activateVault.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"activateVault.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/services/activation/activateVault.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,MAAM,CAAC;AA2CpD;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,OAAO,CAAC;IACjB,GAAG,EAAE,GAAG,CAAC;IACT,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,SAAS,OAAO,EAAE,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,eAAe,EAAE,IAAI,CAAC;CACvB;AAED;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB,IAAI,CACzF,IAAI,EAAE,oBAAoB,KACvB,OAAO,CAAC,CAAC,CAAC,CAAC;AAEhB,MAAM,WAAW,kBAAkB,CACjC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IAEzD,wDAAwD;IACxD,uBAAuB,EAAE,OAAO,CAAC;IACjC,uCAAuC;IACvC,OAAO,EAAE,GAAG,CAAC;IACb;;;OAGG;IACH,MAAM,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,QAAQ,CAAC,EAAE,GAAG,CAAC;IACf;;;;;OAKG;IACH,kBAAkB,EAAE,GAAG,CAAC;IACxB,sEAAsE;IACtE,aAAa,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC;IACpC;;;;;OAKG;IACH,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAiCD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAsB,aAAa,CACjC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB,EACzD,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CA2B1C;AAED,MAAM,WAAW,2BAA2B,CAC1C,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IAEzD,wDAAwD;IACxD,uBAAuB,EAAE,OAAO,CAAC;IACjC,uCAAuC;IACvC,OAAO,EAAE,GAAG,CAAC;IACb;;;OAGG;IACH,MAAM,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,QAAQ,CAAC,EAAE,GAAG,CAAC;IACf,sEAAsE;IACtE,aAAa,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC;IACpC;;;;;OAKG;IACH,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAsB,sBAAsB,CAC1C,CAAC,SAAS,sBAAsB,GAAG,sBAAsB,EACzD,KAAK,EAAE,2BAA2B,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAmBnD"}
+{"version":3,"file":"activateVault.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/services/activation/activateVault.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,MAAM,CAAC;AA2CpD;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,OAAO,CAAC;IACjB,GAAG,EAAE,GAAG,CAAC;IACT,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,SAAS,OAAO,EAAE,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,eAAe,EAAE,IAAI,CAAC;CACvB;AAED;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB,IAAI,CACzF,IAAI,EAAE,oBAAoB,KACvB,OAAO,CAAC,CAAC,CAAC,CAAC;AAEhB,MAAM,WAAW,kBAAkB,CACjC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IAEzD,wDAAwD;IACxD,uBAAuB,EAAE,OAAO,CAAC;IACjC,uCAAuC;IACvC,OAAO,EAAE,GAAG,CAAC;IACb;;;OAGG;IACH,MAAM,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,QAAQ,CAAC,EAAE,GAAG,CAAC;IACf;;;;;OAKG;IACH,kBAAkB,EAAE,GAAG,CAAC;IACxB,sEAAsE;IACtE,aAAa,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC;IACpC;;;;;OAKG;IACH,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAoCD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAsB,aAAa,CACjC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB,EACzD,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CA2B1C;AAED,MAAM,WAAW,2BAA2B,CAC1C,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IAEzD,wDAAwD;IACxD,uBAAuB,EAAE,OAAO,CAAC;IACjC,uCAAuC;IACvC,OAAO,EAAE,GAAG,CAAC;IACb;;;OAGG;IACH,MAAM,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,QAAQ,CAAC,EAAE,GAAG,CAAC;IACf,sEAAsE;IACtE,aAAa,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC;IACpC;;;;;OAKG;IACH,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAsB,sBAAsB,CAC1C,CAAC,SAAS,sBAAsB,GAAG,sBAAsB,EACzD,KAAK,EAAE,2BAA2B,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAmBnD;AAED,MAAM,WAAW,sBAAsB,CACrC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IAEzD,wDAAwD;IACxD,uBAAuB,EAAE,OAAO,CAAC;IACjC,uCAAuC;IACvC,OAAO,EAAE,GAAG,CAAC;IACb;;;OAGG;IACH,MAAM,EAAE,MAAM,CAAC;IACf;;;;;OAKG;IACH,QAAQ,EAAE,GAAG,CAAC;IACd,sEAAsE;IACtE,aAAa,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC;IACpC;;;;;OAKG;IACH,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,iBAAiB,CACrC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB,EACzD,KAAK,EAAE,sBAAsB,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAuB9C"}

package/dist/tbv/core/services/activation/index.d.ts

@@ -3,5 +3,5 @@
  *
  * @module services/activation
  */
-export { activateVault, activateVaultAndRedeem, type ActivateVaultAndRedeemInput, type ActivateVaultInput, type EthContractWriteCall, type EthContractWriteResult, type EthContractWriter, } from './activateVault';
+export { activateVault, activateVaultAndRedeem, type ActivateVaultAndRedeemInput, type ActivateVaultInput, claimExpiredVault, type ClaimExpiredVaultInput, type EthContractWriteCall, type EthContractWriteResult, type EthContractWriter, } from './activateVault';
 //# sourceMappingURL=index.d.ts.map

package/dist/tbv/core/services/activation/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/services/activation/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,aAAa,EACb,sBAAsB,EACtB,KAAK,2BAA2B,EAChC,KAAK,kBAAkB,EACvB,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC3B,KAAK,iBAAiB,GACvB,MAAM,iBAAiB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/services/activation/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,aAAa,EACb,sBAAsB,EACtB,KAAK,2BAA2B,EAChC,KAAK,kBAAkB,EACvB,iBAAiB,EACjB,KAAK,sBAAsB,EAC3B,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC3B,KAAK,iBAAiB,GACvB,MAAM,iBAAiB,CAAC"}

package/dist/tbv/core/services/delegated-claim/__tests__/realWasmWatchtowerArtifacts.test.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Watchtower artifact assembly and verification through the real WASM, on a
+ * graph-v3 vault generated by btc-vault's own test recipe (see
+ * `fixtures/watchtowerArtifactsV3/README.md`). The other delegated-claim tests
+ * mock the WASM boundary, so this is the one place the SDK's reading of an
+ * unjoined or joined `babe_sessions` map meets the Rust builder and verifier.
+ */
+export {};
+//# sourceMappingURL=realWasmWatchtowerArtifacts.test.d.ts.map

package/dist/tbv/core/services/delegated-claim/__tests__/realWasmWatchtowerArtifacts.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"realWasmWatchtowerArtifacts.test.d.ts","sourceRoot":"","sources":["../../../../../../src/tbv/core/services/delegated-claim/__tests__/realWasmWatchtowerArtifacts.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}

package/dist/tbv/core/services/delegated-claim/assembleWatchtowerArtifacts.d.ts

@@ -24,13 +24,11 @@ export interface AssembleWatchtowerArtifactsParams {
      * Per-challenger BaBe sessions as `{"<pk>": {"decryptor_artifacts_hex":
      * "..."}}`, passed through into the file unchanged.
      *
-     * The WASM builder and verifier require an entry for every challenger of
-     * the graph (btc-vault `validate_babe_sessions`); an omitted value becomes
-     * `{}` and is refused on any real graph. Real sessions run to hundreds of
-     * megabytes per challenger, so a browser caller passes a placeholder map
-     * (one {@link BABE_SESSION_PLACEHOLDER_DECRYPTOR_HEX} entry per challenger)
-     * and joins the real sessions into the file downstream —
-     * `assertArtifactsUsableForVault` refuses a file that still carries one.
+     * Omit it to build an unjoined file: real sessions run to hundreds of
+     * megabytes per challenger, too large for a browser tab. An unjoined file
+     * cannot answer a challenge, so join the sessions in before starting a
+     * claim from it (see {@link BabeSessionsState}). A map that is passed must
+     * cover exactly the graph's challengers (btc-vault `validate_babe_sessions`).
      */
     babeSessionsJson?: string;
     /**

package/dist/tbv/core/services/delegated-claim/assembleWatchtowerArtifacts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assembleWatchtowerArtifacts.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/services/delegated-claim/assembleWatchtowerArtifacts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uCAAuC,CAAC;AAErE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AAC3E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAK7D,OAAO,KAAK,EACV,sBAAsB,EACtB,0BAA0B,EAC3B,MAAM,SAAS,CAAC;AAEjB;;;;GAIG;AACH,MAAM,WAAW,iCAAiC;IAChD,iEAAiE;IACjE,SAAS,EAAE,aAAa,CAAC;IACzB,6DAA6D;IAC7D,kBAAkB,EAAE,MAAM,CAAC;IAC3B,0EAA0E;IAC1E,UAAU,EAAE,OAAO,CAAC;IACpB,mEAAmE;IACnE,MAAM,EAAE,sBAAsB,CAAC;IAC/B,oEAAoE;IACpE,sBAAsB,EAAE,MAAM,CAAC;IAC/B,KAAK,EAAE,0BAA0B,CAAC;IAClC;;;;;;;;;;;OAWG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;OAIG;IACH,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B;;;;OAIG;IACH,YAAY,CAAC,EAAE,iBAAiB,CAAC;CAClC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAsB,2BAA2B,CAC/C,MAAM,EAAE,iCAAiC,GACxC,OAAO,CAAC,MAAM,CAAC,CAcjB"}
+{"version":3,"file":"assembleWatchtowerArtifacts.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/services/delegated-claim/assembleWatchtowerArtifacts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uCAAuC,CAAC;AAErE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AAC3E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAK7D,OAAO,KAAK,EACV,sBAAsB,EACtB,0BAA0B,EAC3B,MAAM,SAAS,CAAC;AAEjB;;;;GAIG;AACH,MAAM,WAAW,iCAAiC;IAChD,iEAAiE;IACjE,SAAS,EAAE,aAAa,CAAC;IACzB,6DAA6D;IAC7D,kBAAkB,EAAE,MAAM,CAAC;IAC3B,0EAA0E;IAC1E,UAAU,EAAE,OAAO,CAAC;IACpB,mEAAmE;IACnE,MAAM,EAAE,sBAAsB,CAAC;IAC/B,oEAAoE;IACpE,sBAAsB,EAAE,MAAM,CAAC;IAC/B,KAAK,EAAE,0BAA0B,CAAC;IAClC;;;;;;;;;OASG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;OAIG;IACH,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B;;;;OAIG;IACH,YAAY,CAAC,EAAE,iBAAiB,CAAC;CAClC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAsB,2BAA2B,CAC/C,MAAM,EAAE,iCAAiC,GACxC,OAAO,CAAC,MAAM,CAAC,CAcjB"}

package/dist/tbv/core/services/delegated-claim/index.d.ts

@@ -11,7 +11,7 @@
  *
  * Produces and checks the two files a claim runs from: `artifacts.json` and
  * `wots_keypair.json`. `vaultd vp wt` reads the same pair, so either can drive
- * the claim.
+ * the claim once the BaBe sessions are joined into `artifacts.json`.
  *
  * Signing is split into plan → sign → assemble so a hardware wallet can sign
  * the set as ordered device ceremonies (Assert and the depositor Payout under
@@ -33,7 +33,7 @@
  * and nothing here watches the chain — a ChallengeAssert must be answered
  * inside `timelock_challenge_assert`, and noticing one is the caller's job.
  *
- * @see btc-vault docs/delegated_claim.md
+ * @see btc-vault docs/operations/delegated_claim.md
  * @module services/delegated-claim
  */
 export { assembleWatchtowerArtifacts, type AssembleWatchtowerArtifactsParams, } from './assembleWatchtowerArtifacts';
@@ -47,8 +47,7 @@ export { planDelegatedClaimSigning, type PlanDelegatedClaimSigningParams, } from
 export { readDelegatedClaimVaultContext, type DelegatedClaimVaultRead, type DelegatedClaimVaultReaders, type ReadDelegatedClaimVaultContextParams, } from './readDelegatedClaimVaultContext';
 export { ArtifactsVaultMismatchError, DELEGATED_CLAIM_TX_GRAPH_VERSION, assertArtifactsUsableForVault, summarizeWatchtowerArtifacts, type AssertArtifactsUsableParams, } from './readWatchtowerArtifacts';
 export { DelegatedClaimSigningIncompleteError, assertTermsMatchVault, signDelegatedClaimPlan, type DelegatedClaimPsbtSigner, type SignDelegatedClaimPlanOptions, } from './signDelegatedClaimPlan';
-export { BABE_SESSION_PLACEHOLDER_DECRYPTOR_HEX } from './types';
-export type { ClaimerArtifactsSource, DelegatedClaimSignatures, DelegatedClaimSigningKind, DelegatedClaimSigningPlan, DelegatedClaimSigningRequest, DelegatedClaimVaultContext, WatchtowerArtifactsSummary, } from './types';
+export type { BabeSessionsState, ClaimerArtifactsSource, DelegatedClaimSignatures, DelegatedClaimSigningKind, DelegatedClaimSigningPlan, DelegatedClaimSigningRequest, DelegatedClaimVaultContext, WatchtowerArtifactsSummary, } from './types';
 export { VaultIdBindingError, assertClaimSpendsVault, type AssertClaimSpendsVaultParams, } from './vaultIdBinding';
 /**
  * Claim-time execution, artifacts in and artifacts out.

package/dist/tbv/core/services/delegated-claim/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/services/delegated-claim/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EACL,2BAA2B,EAC3B,KAAK,iCAAiC,GACvC,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,wBAAwB,EACxB,yCAAyC,EACzC,KAAK,4BAA4B,GAClC,MAAM,6CAA6C,CAAC;AACrD,OAAO,EACL,kBAAkB,EAClB,+BAA+B,EAC/B,KAAK,qCAAqC,GAC3C,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,0BAA0B,EAC1B,+BAA+B,EAC/B,KAAK,qCAAqC,GAC3C,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,wBAAwB,EACxB,KAAK,kBAAkB,EACvB,KAAK,8BAA8B,GACpC,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,sBAAsB,EACtB,gCAAgC,EAChC,KAAK,sCAAsC,GAC5C,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,KAAK,6BAA6B,GACnC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,yBAAyB,EACzB,KAAK,+BAA+B,GACrC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,8BAA8B,EAC9B,KAAK,uBAAuB,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,oCAAoC,GAC1C,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,2BAA2B,EAC3B,gCAAgC,EAChC,6BAA6B,EAC7B,4BAA4B,EAC5B,KAAK,2BAA2B,GACjC,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,oCAAoC,EACpC,qBAAqB,EACrB,sBAAsB,EACtB,KAAK,wBAAwB,EAC7B,KAAK,6BAA6B,GACnC,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,sCAAsC,EAAE,MAAM,SAAS,CAAC;AACjE,YAAY,EACV,sBAAsB,EACtB,wBAAwB,EACxB,yBAAyB,EACzB,yBAAyB,EACzB,4BAA4B,EAC5B,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,SAAS,CAAC;AACjB,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,KAAK,4BAA4B,GAClC,MAAM,kBAAkB,CAAC;AAE1B;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EACL,qBAAqB,EACrB,cAAc,EACd,yBAAyB,EACzB,cAAc,GACf,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/services/delegated-claim/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EACL,2BAA2B,EAC3B,KAAK,iCAAiC,GACvC,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,wBAAwB,EACxB,yCAAyC,EACzC,KAAK,4BAA4B,GAClC,MAAM,6CAA6C,CAAC;AACrD,OAAO,EACL,kBAAkB,EAClB,+BAA+B,EAC/B,KAAK,qCAAqC,GAC3C,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,0BAA0B,EAC1B,+BAA+B,EAC/B,KAAK,qCAAqC,GAC3C,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,wBAAwB,EACxB,KAAK,kBAAkB,EACvB,KAAK,8BAA8B,GACpC,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,sBAAsB,EACtB,gCAAgC,EAChC,KAAK,sCAAsC,GAC5C,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,KAAK,6BAA6B,GACnC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,yBAAyB,EACzB,KAAK,+BAA+B,GACrC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,8BAA8B,EAC9B,KAAK,uBAAuB,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,oCAAoC,GAC1C,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,2BAA2B,EAC3B,gCAAgC,EAChC,6BAA6B,EAC7B,4BAA4B,EAC5B,KAAK,2BAA2B,GACjC,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,oCAAoC,EACpC,qBAAqB,EACrB,sBAAsB,EACtB,KAAK,wBAAwB,EAC7B,KAAK,6BAA6B,GACnC,MAAM,0BAA0B,CAAC;AAClC,YAAY,EACV,iBAAiB,EACjB,sBAAsB,EACtB,wBAAwB,EACxB,yBAAyB,EACzB,yBAAyB,EACzB,4BAA4B,EAC5B,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,SAAS,CAAC;AACjB,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,KAAK,4BAA4B,GAClC,MAAM,kBAAkB,CAAC;AAE1B;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EACL,qBAAqB,EACrB,cAAc,EACd,yBAAyB,EACzB,cAAc,GACf,MAAM,YAAY,CAAC"}

package/dist/tbv/core/services/delegated-claim/planDelegatedClaimSigning.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"planDelegatedClaimSigning.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/services/delegated-claim/planDelegatedClaimSigning.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uCAAuC,CAAC;AAkBrE,OAAO,EAEL,KAAK,qBAAqB,EAC3B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EACV,sBAAsB,EACtB,yBAAyB,EACzB,0BAA0B,EAC3B,MAAM,SAAS,CAAC;AAQjB,oBAAoB;AACpB,MAAM,WAAW,+BAA+B;IAC9C;;;;OAIG;IACH,kBAAkB,EAAE,MAAM,CAAC;IAC3B,0EAA0E;IAC1E,UAAU,EAAE,OAAO,CAAC;IACpB,mEAAmE;IACnE,MAAM,EAAE,sBAAsB,CAAC;IAC/B,oEAAoE;IACpE,sBAAsB,EAAE,MAAM,CAAC;IAC/B,KAAK,EAAE,0BAA0B,CAAC;IAClC,sEAAsE;IACtE,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,wBAAsB,iBAAiB,CACrC,cAAc,EAAE,MAAM,EACtB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,0BAA0B,EACjC,kBAAkB,EAAE,MAAM,GACzB,OAAO,CAAC,qBAAqB,CAAC,CAmHhC;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,+BAA+B,GACtC,OAAO,CAAC,yBAAyB,CAAC,CAyBpC"}
+{"version":3,"file":"planDelegatedClaimSigning.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/services/delegated-claim/planDelegatedClaimSigning.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uCAAuC,CAAC;AAkBrE,OAAO,EAEL,KAAK,qBAAqB,EAC3B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,KAAK,sBAAsB,EAC3B,KAAK,yBAAyB,EAC9B,KAAK,0BAA0B,EAEhC,MAAM,SAAS,CAAC;AAQjB,oBAAoB;AACpB,MAAM,WAAW,+BAA+B;IAC9C;;;;OAIG;IACH,kBAAkB,EAAE,MAAM,CAAC;IAC3B,0EAA0E;IAC1E,UAAU,EAAE,OAAO,CAAC;IACpB,mEAAmE;IACnE,MAAM,EAAE,sBAAsB,CAAC;IAC/B,oEAAoE;IACpE,sBAAsB,EAAE,MAAM,CAAC;IAC/B,KAAK,EAAE,0BAA0B,CAAC;IAClC,sEAAsE;IACtE,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,wBAAsB,iBAAiB,CACrC,cAAc,EAAE,MAAM,EACtB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,0BAA0B,EACjC,kBAAkB,EAAE,MAAM,GACzB,OAAO,CAAC,qBAAqB,CAAC,CAmHhC;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,+BAA+B,GACtC,OAAO,CAAC,yBAAyB,CAAC,CA6BpC"}

package/dist/tbv/core/services/delegated-claim/readWatchtowerArtifacts.d.ts

@@ -51,15 +51,15 @@ export interface AssertArtifactsUsableParams {
      * The Groth16 verifying key for the vault's `proverCircuitVersion`, from
      * the `vault-provers` release or the prover service — never from the vault
      * provider or anything it serves (btc-vault `delegated_claim.rs:405-414`
-     * @ ac4954e7). A file carrying a different key proves nothing at Assert.
+     * @ b534ff9e). A file carrying a different key proves nothing at Assert.
      */
     trustedVerifyingKeyHex: string;
     /**
      * The vault's stamped `proverCircuitVersion`, from
      * `DelegatedClaimVaultContext`. btc-vault's verifier never reads the
-     * file's own `prover_circuit_version` — `delegated_claim.rs:864` @ ac4954e7
+     * file's own `prover_circuit_version` — `delegated_claim.rs:876` @ b534ff9e
      * only writes it — while `vaultd`'s
-     * `crates/vaultd/src/cli/command/watchtower/start_claim.rs:266-278` hands
+     * `crates/vaultd/src/cli/command/watchtower/start_claim.rs:348-352` hands
      * the file's key and version to the prover together, so a wrong version
      * fails there, before Assert.
      */
@@ -68,7 +68,7 @@ export interface AssertArtifactsUsableParams {
      * The block of the vault's finalized `VaultClaimableBy` event, from
      * `DelegatedClaimVaultContext.claimableEventBlockNumber`. Unverified by
      * btc-vault like the circuit version, and handed to the prover beside it
-     * (`start_claim.rs:270,274` @ ac4954e7), so a wrong block fails there too.
+     * (`start_claim.rs:349,352` @ b534ff9e), so a wrong block fails there too.
      */
     expectedClaimableEventBlockNumber: bigint;
     /**
@@ -81,6 +81,10 @@ export interface AssertArtifactsUsableParams {
 /**
  * Verifies an artifacts file and confirms it is the one for this vault.
  *
+ * An unjoined file passes, with `babeSessions.joined` false. It cannot
+ * answer a challenge, so a caller must not start a claim from it by any
+ * route until the sessions are joined in (see {@link BabeSessionsState}).
+ *
  * Experimental: this API can change in a minor release. Pin the SDK
  * version if you build on it.
  *
@@ -89,10 +93,12 @@ export interface AssertArtifactsUsableParams {
  *         belongs to another vault whatever the file says, a plain error when
  *         its `prover_circuit_version` is not `expectedProverCircuitVersion`,
  *         its `claimable_event_block_number` is not
- *         `expectedClaimableEventBlockNumber`,
- *         its `verifying_key` is not `trustedVerifyingKeyHex` or any BaBe
- *         session is still the placeholder, or a verification error when any
- *         bundled signature does not hold against that graph.
+ *         `expectedClaimableEventBlockNumber`, its `verifying_key` is not
+ *         `trustedVerifyingKeyHex`, or a `babe_sessions` entry is not
+ *         non-empty hex, or a
+ *         verification error when any bundled signature does not hold
+ *         against that graph or a non-empty `babe_sessions` does not cover
+ *         exactly its challengers.
  * @experimental
  */
 export declare function assertArtifactsUsableForVault(params: AssertArtifactsUsableParams): Promise<WatchtowerArtifactsSummary>;

package/dist/tbv/core/services/delegated-claim/readWatchtowerArtifacts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"readWatchtowerArtifacts.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/services/delegated-claim/readWatchtowerArtifacts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAMH,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,SAAS,CAAC;AAS1D;;;;;GAKG;AACH,eAAO,MAAM,gCAAgC,IAAI,CAAC;AAElD;;;;GAIG;AACH,qBAAa,2BAA4B,SAAQ,KAAK;IAElD,QAAQ,CAAC,eAAe,EAAE,MAAM;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM;gBADrB,eAAe,EAAE,MAAM,EACvB,aAAa,EAAE,MAAM;CAQjC;AAkDD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,4BAA4B,CAC1C,aAAa,EAAE,MAAM,GACpB,0BAA0B,CAiD5B;AAED;;;;GAIG;AACH,MAAM,WAAW,2BAA2B;IAC1C,aAAa,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,eAAe,EAAE,MAAM,CAAC;IACxB;;;;OAIG;IACH,mBAAmB,EAAE,MAAM,CAAC;IAC5B;;;;;OAKG;IACH,sBAAsB,EAAE,MAAM,CAAC;IAC/B;;;;;;;;OAQG;IACH,4BAA4B,EAAE,MAAM,CAAC;IACrC;;;;;OAKG;IACH,iCAAiC,EAAE,MAAM,CAAC;IAC1C;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,6BAA6B,CACjD,MAAM,EAAE,2BAA2B,GAClC,OAAO,CAAC,0BAA0B,CAAC,CAoGrC"}
+{"version":3,"file":"readWatchtowerArtifacts.d.ts","sourceRoot":"","sources":["../../../../../src/tbv/core/services/delegated-claim/readWatchtowerArtifacts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAMH,OAAO,KAAK,EAAqB,0BAA0B,EAAE,MAAM,SAAS,CAAC;AAQ7E;;;;;GAKG;AACH,eAAO,MAAM,gCAAgC,IAAI,CAAC;AAElD;;;;GAIG;AACH,qBAAa,2BAA4B,SAAQ,KAAK;IAElD,QAAQ,CAAC,eAAe,EAAE,MAAM;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM;gBADrB,eAAe,EAAE,MAAM,EACvB,aAAa,EAAE,MAAM;CAQjC;AA+CD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,4BAA4B,CAC1C,aAAa,EAAE,MAAM,GACpB,0BAA0B,CA6C5B;AAED;;;;GAIG;AACH,MAAM,WAAW,2BAA2B;IAC1C,aAAa,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,eAAe,EAAE,MAAM,CAAC;IACxB;;;;OAIG;IACH,mBAAmB,EAAE,MAAM,CAAC;IAC5B;;;;;OAKG;IACH,sBAAsB,EAAE,MAAM,CAAC;IAC/B;;;;;;;;OAQG;IACH,4BAA4B,EAAE,MAAM,CAAC;IACrC;;;;;OAKG;IACH,iCAAiC,EAAE,MAAM,CAAC;IAC1C;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAsB,6BAA6B,CACjD,MAAM,EAAE,2BAA2B,GAClC,OAAO,CAAC,0BAA0B,CAAC,CAwFrC"}