@babylonlabs-io/ts-sdk 0.79.0 → 1.0.0

package/dist/verifyScriptPathSchnorrSignature-CpjSTfMj.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifyScriptPathSchnorrSignature-CpjSTfMj.js","sources":["../src/tbv/core/primitives/challengers.ts","../src/tbv/core/primitives/psbt/assertWasmPeginSizing.ts","../src/tbv/core/primitives/psbt/depositorClaim.ts","../src/tbv/core/primitives/psbt/pegin.ts","../src/tbv/core/primitives/scripts/payout.ts","../src/tbv/core/primitives/utils/taproot.ts","../src/tbv/core/primitives/psbt/assertPayoutFeeBand.ts","../src/tbv/core/primitives/psbt/standardPayoutScript.ts","../src/tbv/core/primitives/psbt/payout.ts","../src/tbv/core/primitives/psbt/assertPsbtUnsignedTxMatches.ts","../src/tbv/core/primitives/psbt/verifyScriptPathSchnorrSignature.ts"],"sourcesContent":["/**\n * Challenger derivation utilities — counting local challengers for UI-level\n * validation (e.g. minimum deposit amounts) and deriving the exact\n * local-challenger set a claimer's tx graph is built from.\n */\n\nimport { processPublicKeyToXOnly } from \"./utils/bitcoin\";\n\n/**\n * Normalize a public key to lowercase x-only hex for reliable comparison.\n *\n * Handles `0x` prefixes, compressed (33-byte), and uncompressed (65-byte) keys.\n */\nfunction normalizeKey(key: string): string {\n  return processPublicKeyToXOnly(key).toLowerCase();\n}\n\n/**\n * Compute the number of local challengers for a vault.\n *\n * Mirrors the VP's `compute_num_challengers()` logic:\n * local challengers = {vault_provider} ∪ {vault_keepers} − {depositor}\n *\n * Keys are normalized to x-only lowercase hex before comparison, so\n * `0x`-prefixed, compressed, or mixed-case keys are handled correctly.\n *\n * @param vaultProviderPubkey - Vault provider BTC public key\n * @param vaultKeeperPubkeys - Vault keeper BTC public keys\n * @param depositorPubkey - Depositor (claimer) BTC public key\n * @returns Number of local challengers\n */\nexport function computeNumLocalChallengers(\n  vaultProviderPubkey: string,\n  vaultKeeperPubkeys: string[],\n  depositorPubkey: string,\n): number {\n  const localSet = new Set<string>();\n  localSet.add(normalizeKey(vaultProviderPubkey));\n  for (const vk of vaultKeeperPubkeys) {\n    localSet.add(normalizeKey(vk));\n  }\n  localSet.delete(normalizeKey(depositorPubkey));\n  return localSet.size;\n}\n\n/** Roles a claimer can hold; determines which local-challenger rule applies. */\nexport interface DeriveLocalChallengersParams {\n  /** The graph's claimer (VP, a vault keeper, or the depositor). */\n  claimerBtcPubkey: string;\n  /** Depositor registered on-chain for the vault. */\n  depositorBtcPubkey: string;\n  /** Vault provider registered on-chain for the vault. */\n  vaultProviderBtcPubkey: string;\n  /** Vault keepers registered on-chain for the vault. */\n  vaultKeeperBtcPubkeys: string[];\n}\n\n/**\n * Derive the local-challenger set for a claimer's graph.\n *\n * Byte-for-byte mirror of btc-vault `derive_challengers_for`\n * (`crates/vault/src/tx_graph/graph.rs:257-284`):\n * - depositor-as-claimer → vault keepers only (VP excluded)\n * - VP- or VK-claimer → `({VP} ∪ VKs) − {claimer}`, sorted and deduplicated\n *\n * The protocol guarantees the depositor is not a vault keeper\n * (`TxGraphParams::validate`), so the depositor filter in the first branch is\n * defense-in-depth; it surfaces a clear error if a misconfigured context ever\n * violates the invariant.\n *\n * @throws If no local challenger remains, or (depositor path) the keeper set\n *   contains duplicates — both mean the signing context is misconfigured.\n */\nexport function deriveLocalChallengers(\n  params: DeriveLocalChallengersParams,\n): string[] {\n  const claimer = normalizeKey(params.claimerBtcPubkey);\n  const depositor = normalizeKey(params.depositorBtcPubkey);\n  const vaultKeepers = params.vaultKeeperBtcPubkeys.map(normalizeKey);\n\n  if (claimer === depositor) {\n    const filtered = vaultKeepers.filter((k) => k !== depositor);\n    if (filtered.length === 0) {\n      throw new Error(\n        \"Cannot derive localChallengers: vault keeper set is empty (or contains only the depositor)\",\n      );\n    }\n    if (new Set(filtered).size !== filtered.length) {\n      throw new Error(\n        \"Cannot derive localChallengers: duplicate vaultKeeper key — signing context is misconfigured\",\n      );\n    }\n    return filtered;\n  }\n\n  // Rust sorts then dedups before filtering; a Set keeps insertion order, so\n  // sort after deduping for the same result.\n  const deduped = [\n    ...new Set([normalizeKey(params.vaultProviderBtcPubkey), ...vaultKeepers]),\n  ].sort();\n  const filtered = deduped.filter((k) => k !== claimer);\n  if (filtered.length === 0) {\n    throw new Error(\n      `Cannot derive localChallengers: no vault provider or vault keeper remains after excluding claimer ${claimer}`,\n    );\n  }\n  return filtered;\n}\n","/**\n * Cross-check the values and outputs WASM returns from `createPrePeginTransaction`\n * against independently-known expectations before they feed a signed\n * Bitcoin transaction or the on-chain PegIn registration.\n *\n * CLAUDE.md critical path #1: the Rust/WASM layer computes\n * `htlcValue = peginAmount + depositorClaimValue + p2aAnchorValue +\n * minPeginFee` internally (the anchor term is 0 for graph versions without a\n * P2A anchor, 240 sats for v2/v3) and JS receives the outputs with no runtime\n * validation. A doctored or buggy binary that returns a different\n * `peginAmount`, an out-of-formula `htlcValue`, or a wrong\n * `depositorClaimValue` would otherwise be committed verbatim - taxing the\n * depositor or starving the downstream tx graph of fees.\n *\n * @module primitives/psbt/assertWasmPeginSizing\n */\n\nimport { secp256k1 } from \"@noble/curves/secp256k1.js\";\nimport { script as bscript, opcodes, payments } from \"bitcoinjs-lib\";\nimport { Buffer } from \"buffer\";\nimport {\n  computeMinClaimValue,\n  computeMinPeginFee,\n  peginP2aAnchorOutput,\n  tapInternalPubkey,\n  type PrePeginResult,\n} from \"../../wasm\";\n\nimport {\n  MAX_REASONABLE_PEGIN_VBYTES,\n  peginOutputCount,\n} from \"../../utils/fee/constants\";\nimport type { ParsedOutput } from \"../../utils/transaction/fundPeginTransaction\";\nimport {\n  TAPSCRIPT_LEAF_VERSION,\n  assertEccInitialized,\n  deriveBip86ScriptPubKeyHex,\n  stripHexPrefix,\n} from \"../utils/bitcoin\";\n\nimport {\n  PRE_PEGIN_AUTH_OUTPUT_VALUE_SATS,\n  PRE_PEGIN_AUTH_SCRIPT_PREFIX,\n  PRE_PEGIN_CPFP_VALUE_SATS,\n  PRE_PEGIN_MIN_HTLC_OUTPUT_COUNT,\n  PRE_PEGIN_TX_LOCKTIME,\n  PRE_PEGIN_TX_VERSION,\n} from \"./constants\";\nimport type { PrePeginParams } from \"./pegin\";\n\nconst PREIMAGE_LENGTH_BYTES = 32;\nconst MAX_U16 = 0xffff;\nconst SEC1_EVEN_Y_PREFIX = 0x02;\n\ntype ScriptChunk = number | Buffer;\n\ntype PrePeginHtlcParams = Pick<\n  PrePeginParams,\n  | \"depositorPubkey\"\n  | \"vaultProviderPubkey\"\n  | \"vaultKeeperPubkeys\"\n  | \"universalChallengerPubkeys\"\n  | \"timelockRefund\"\n>;\n\ntype PeginPayoutParams = Pick<\n  PrePeginParams,\n  | \"depositorPubkey\"\n  | \"vaultProviderPubkey\"\n  | \"vaultKeeperPubkeys\"\n  | \"universalChallengerPubkeys\"\n>;\n\ninterface ExpectedPrePeginHtlc {\n  hashlockScript: Buffer;\n  hashlockControlBlock: Buffer;\n  refundScript: Buffer;\n  refundControlBlock: Buffer;\n  scriptPubKey: Buffer;\n  tapMerkleRoot: Buffer;\n}\n\nfunction normalizeXOnlyKey(value: string, label: string): string {\n  const key = stripHexPrefix(value).toLowerCase();\n  if (!/^[0-9a-f]{64}$/.test(key)) {\n    throw new Error(`${label} must be a 32-byte x-only public key.`);\n  }\n\n  try {\n    secp256k1.Point.fromBytes(\n      Buffer.concat([\n        Buffer.from([SEC1_EVEN_Y_PREFIX]),\n        Buffer.from(key, \"hex\"),\n      ]),\n    );\n  } catch {\n    throw new Error(`${label} is not a secp256k1 x-coordinate.`);\n  }\n\n  return key;\n}\n\nfunction normalizeKeyGroup(values: readonly string[], label: string): string[] {\n  if (values.length === 0) {\n    throw new Error(`${label} must not be empty.`);\n  }\n\n  const keys = values\n    .map((value, index) => normalizeXOnlyKey(value, `${label}[${index}]`))\n    .sort();\n  if (new Set(keys).size !== keys.length) {\n    throw new Error(`${label} must not contain duplicate keys.`);\n  }\n  return keys;\n}\n\nfunction nOfNChunks(keys: readonly string[], verify: boolean): ScriptChunk[] {\n  const chunks: ScriptChunk[] = [];\n  keys.forEach((key, index) => {\n    chunks.push(\n      Buffer.from(key, \"hex\"),\n      index === 0 ? opcodes.OP_CHECKSIG : opcodes.OP_CHECKSIGADD,\n    );\n  });\n  chunks.push(\n    bscript.number.encode(keys.length),\n    verify ? opcodes.OP_NUMEQUALVERIFY : opcodes.OP_NUMEQUAL,\n  );\n  return chunks;\n}\n\n/**\n * Derive the canonical Pre-PegIn HTLC without using vault WASM output.\n */\nexport function deriveExpectedPrePeginHtlc(\n  params: PrePeginHtlcParams,\n  hashlock: string,\n): ExpectedPrePeginHtlc {\n  assertEccInitialized();\n\n  const depositor = normalizeXOnlyKey(\n    params.depositorPubkey,\n    \"depositorPubkey\",\n  );\n  const vaultProvider = normalizeXOnlyKey(\n    params.vaultProviderPubkey,\n    \"vaultProviderPubkey\",\n  );\n  const vaultKeepers = normalizeKeyGroup(\n    params.vaultKeeperPubkeys,\n    \"vaultKeeperPubkeys\",\n  );\n  const universalChallengers = normalizeKeyGroup(\n    params.universalChallengerPubkeys,\n    \"universalChallengerPubkeys\",\n  );\n  const cleanHashlock = stripHexPrefix(hashlock).toLowerCase();\n  if (!/^[0-9a-f]{64}$/.test(cleanHashlock)) {\n    throw new Error(\"hashlock must be 32 bytes.\");\n  }\n  if (\n    !Number.isInteger(params.timelockRefund) ||\n    params.timelockRefund < 1 ||\n    params.timelockRefund > MAX_U16\n  ) {\n    throw new Error(\"timelockRefund must be an integer from 1 to 65535.\");\n  }\n\n  const hashlockScript = bscript.compile([\n    opcodes.OP_SIZE,\n    bscript.number.encode(PREIMAGE_LENGTH_BYTES),\n    opcodes.OP_EQUALVERIFY,\n    opcodes.OP_SHA256,\n    Buffer.from(cleanHashlock, \"hex\"),\n    opcodes.OP_EQUALVERIFY,\n    Buffer.from(depositor, \"hex\"),\n    opcodes.OP_CHECKSIGVERIFY,\n    Buffer.from(vaultProvider, \"hex\"),\n    opcodes.OP_CHECKSIGVERIFY,\n    ...nOfNChunks(vaultKeepers, true),\n    ...nOfNChunks(universalChallengers, false),\n  ]);\n  const refundScript = bscript.compile([\n    Buffer.from(depositor, \"hex\"),\n    opcodes.OP_CHECKSIGVERIFY,\n    bscript.number.encode(params.timelockRefund),\n    opcodes.OP_CHECKSEQUENCEVERIFY,\n  ]);\n  const scriptTree: [\n    { output: Buffer; version: number },\n    { output: Buffer; version: number },\n  ] = [\n    { output: hashlockScript, version: TAPSCRIPT_LEAF_VERSION },\n    { output: refundScript, version: TAPSCRIPT_LEAF_VERSION },\n  ];\n  const { hash, output, witness } = payments.p2tr({\n    internalPubkey: Buffer.from(tapInternalPubkey),\n    scriptTree,\n    redeem: {\n      output: hashlockScript,\n      redeemVersion: TAPSCRIPT_LEAF_VERSION,\n    },\n  });\n  const hashlockControlBlock = witness?.[witness.length - 1];\n  const refundPayment = payments.p2tr({\n    internalPubkey: Buffer.from(tapInternalPubkey),\n    scriptTree,\n    redeem: {\n      output: refundScript,\n      redeemVersion: TAPSCRIPT_LEAF_VERSION,\n    },\n  });\n  const refundControlBlock =\n    refundPayment.witness?.[refundPayment.witness.length - 1];\n  if (!hash || !output || !hashlockControlBlock || !refundControlBlock) {\n    throw new Error(\"Failed to derive the expected Pre-PegIn HTLC output.\");\n  }\n\n  return {\n    hashlockScript,\n    hashlockControlBlock,\n    refundScript,\n    refundControlBlock,\n    scriptPubKey: output,\n    tapMerkleRoot: hash,\n  };\n}\n\n/**\n * Derive the canonical PegIn vault (payout) scriptPubKey without using vault\n * WASM output.\n */\nexport function deriveExpectedPeginPayoutScriptPubKey(\n  params: PeginPayoutParams,\n  timelockPegin: number,\n): Buffer {\n  assertEccInitialized();\n\n  const depositor = normalizeXOnlyKey(\n    params.depositorPubkey,\n    \"depositorPubkey\",\n  );\n  const vaultProvider = normalizeXOnlyKey(\n    params.vaultProviderPubkey,\n    \"vaultProviderPubkey\",\n  );\n  const vaultKeepers = normalizeKeyGroup(\n    params.vaultKeeperPubkeys,\n    \"vaultKeeperPubkeys\",\n  );\n  const universalChallengers = normalizeKeyGroup(\n    params.universalChallengerPubkeys,\n    \"universalChallengerPubkeys\",\n  );\n\n  // btc-vault crates/vault/src/connectors/pegin_payout.rs at 2c1177ec,\n  // 27c0062b, and e1e50f66 uses this single leaf and the fixed internal key.\n  const payoutScript = bscript.compile([\n    Buffer.from(depositor, \"hex\"),\n    opcodes.OP_CHECKSIGVERIFY,\n    Buffer.from(vaultProvider, \"hex\"),\n    opcodes.OP_CHECKSIGVERIFY,\n    ...nOfNChunks(vaultKeepers, true),\n    ...nOfNChunks(universalChallengers, true),\n    bscript.number.encode(timelockPegin),\n    opcodes.OP_CHECKSEQUENCEVERIFY,\n  ]);\n  const { output } = payments.p2tr({\n    internalPubkey: Buffer.from(tapInternalPubkey),\n    scriptTree: { output: payoutScript, version: TAPSCRIPT_LEAF_VERSION },\n  });\n  if (!output) {\n    throw new Error(\"Failed to derive the expected PegIn payout output.\");\n  }\n\n  return output;\n}\n\n/**\n * Assert the WASM Pre-PegIn sizing result is internally consistent and\n * matches what the caller requested.\n *\n * Two layers of checks. Pure-JS, binary-INDEPENDENT: the per-HTLC\n * `peginAmount` must echo the requested amount, array lengths must match,\n * every value must be positive, and the implied per-HTLC reserve\n * (`htlcValue - peginAmount - depositorClaimValue`) must be strictly\n * positive and under the plausibility cap\n * ({@link MAX_REASONABLE_PEGIN_VBYTES}). WASM-vs-WASM consistency: the\n * reserve must also EXACTLY equal `computeMinPeginFee(version, ...) +\n * p2aAnchorValue(version)` (like the `computeMinClaimValue` check) -\n * exact, but both sides come from the same binary, which is why the\n * independent bounds above are kept alongside it.\n *\n * The resume rebuild (`deposit-terms/rebuildDepositTermsCore.ts`) mirrors these\n * bounds (positivity + reserve band) - keep the two in sync when editing.\n *\n * @param result - The result returned by `createPrePeginTransaction`.\n * @param params - The parameters that were passed to build it.\n * @returns The independently computed `minPeginFee` this function already\n *   asserted against `result`'s implied reserve - callers that need the\n *   value should reuse this instead of recomputing it.\n * @throws If any value is missing, non-positive, mismatched against the\n *   request, or outside the protocol formula.\n */\nexport async function assertWasmPeginSizing(\n  result: PrePeginResult,\n  params: PrePeginParams,\n): Promise<bigint> {\n  const expectedCount = params.pegInAmounts.length;\n\n  if (params.hashlocks.length !== expectedCount) {\n    throw new Error(\n      `Pre-PegIn has ${params.hashlocks.length} hashlock(s), expected ` +\n        `${expectedCount} (one per requested deposit).`,\n    );\n  }\n\n  // Count: every parallel array must carry exactly one entry per requested\n  // deposit, otherwise the per-HTLC indexing downstream is meaningless.\n  if (result.htlcValues.length !== expectedCount) {\n    throw new Error(\n      `WASM Pre-PegIn returned ${result.htlcValues.length} HTLC value(s), ` +\n        `expected ${expectedCount} (one per requested deposit).`,\n    );\n  }\n  if (\n    result.peginAmounts.length !== expectedCount ||\n    result.htlcScriptPubKeys.length !== expectedCount ||\n    result.htlcAddresses.length !== expectedCount\n  ) {\n    throw new Error(\n      `WASM Pre-PegIn returned mismatched array lengths ` +\n        `(htlcValues=${result.htlcValues.length}, ` +\n        `peginAmounts=${result.peginAmounts.length}, ` +\n        `htlcScriptPubKeys=${result.htlcScriptPubKeys.length}, ` +\n        `htlcAddresses=${result.htlcAddresses.length}); ` +\n        `expected ${expectedCount} each.`,\n    );\n  }\n\n  // depositorClaimValue: positivity + WASM-vs-WASM consistency. Sized by the\n  // tx-graph `feeRate` (see PrePeginParams.feeRate), so the standalone\n  // `computeMinClaimValue` must reproduce the constructor's internal value.\n  if (result.depositorClaimValue <= 0n) {\n    throw new Error(\n      `WASM Pre-PegIn returned non-positive depositorClaimValue ` +\n        `${result.depositorClaimValue}; expected > 0.`,\n    );\n  }\n  const expectedClaimValue = await computeMinClaimValue(\n    // Must price the same graph version the builder constructed.\n    params.vaultCoreVersion,\n    params.numLocalChallengers,\n    params.universalChallengerPubkeys.length,\n    params.councilQuorum,\n    params.councilSize,\n    params.feeRate,\n  );\n  if (result.depositorClaimValue !== expectedClaimValue) {\n    throw new Error(\n      `WASM Pre-PegIn depositorClaimValue ${result.depositorClaimValue} does ` +\n        `not match the independently computed minimum claim value ` +\n        `${expectedClaimValue} (vaultCoreVersion=${params.vaultCoreVersion}, ` +\n        `numLocalChallengers=${params.numLocalChallengers}, ` +\n        `numUniversalChallengers=${params.universalChallengerPubkeys.length}, ` +\n        `councilQuorum=${params.councilQuorum}, councilSize=${params.councilSize}, ` +\n        `feeRate=${params.feeRate}).`,\n    );\n  }\n\n  // The per-HTLC reserve above pegin+claim decomposes into the version's\n  // P2A anchor value (0 when the version has no anchor) plus the exact\n  // minimum PegIn fee. Both terms are Rust-model values fetched through\n  // independent WASM entry points; the builder must reproduce their sum.\n  // The Rust fee model sizes the PegIn input witness from the vault keeper\n  // and universal challenger counts (btc-vault `PegInTx::estimate_vsize`).\n  const anchor = await peginP2aAnchorOutput(params.vaultCoreVersion);\n  const anchorValue = anchor?.value ?? 0n;\n  const expectedPeginFee = await computeMinPeginFee(\n    params.vaultCoreVersion,\n    params.vaultKeeperPubkeys.length,\n    params.universalChallengerPubkeys.length,\n    params.minPeginFeeRate,\n  );\n  const expectedReserve = expectedPeginFee + anchorValue;\n  // Binary-INDEPENDENT plausibility cap: the exact identity below compares\n  // WASM against WASM, so a consistently doctored binary could satisfy it\n  // with an inflated reserve. This pure-JS bound (max standard-relay tx\n  // vbytes x the caller's fee rate) caps how much a compromised binary can\n  // burn.\n  const maxImpliedReserve =\n    params.minPeginFeeRate * MAX_REASONABLE_PEGIN_VBYTES;\n\n  for (let i = 0; i < expectedCount; i++) {\n    const requested = params.pegInAmounts[i];\n    const peginAmount = result.peginAmounts[i];\n    const htlcValue = result.htlcValues[i];\n\n    // Amount echo (strongest, fully independent): the recorded pegin amount\n    // must equal exactly what the caller requested. A mismatch is the\n    // WASM-tax attack - the contract would record a doctored amount while the\n    // depositor's wallet funds the original, and the difference is a\n    // WASM-controlled tax.\n    if (peginAmount !== requested) {\n      throw new Error(\n        `WASM Pre-PegIn peginAmount[${i}] ${peginAmount} does not match the ` +\n          `requested amount ${requested}; refusing to build a tx whose ` +\n          `recorded amount differs from the depositor's request.`,\n      );\n    }\n    if (peginAmount <= 0n) {\n      throw new Error(\n        `WASM Pre-PegIn peginAmount[${i}] is non-positive (${peginAmount}); ` +\n          `expected > 0.`,\n      );\n    }\n    if (htlcValue <= 0n) {\n      throw new Error(\n        `WASM Pre-PegIn htlcValue[${i}] is non-positive (${htlcValue}); ` +\n          `expected > 0.`,\n      );\n    }\n\n    // Formula: htlcValue = peginAmount + depositorClaimValue +\n    // p2aAnchorValue + minPeginFee. The reserve must match exactly - a\n    // shortfall starves the PegIn's fee/anchor, an excess locks sats\n    // irrecoverably in the HTLC.\n    const impliedReserve = htlcValue - peginAmount - result.depositorClaimValue;\n    // Independent JS-side bounds first (see maxImpliedReserve above): the\n    // reserve must be strictly positive (a zero reserve starves the PegIn\n    // of its fee) and plausibly sized, regardless of what the binary's own\n    // reference entry points claim.\n    if (impliedReserve <= 0n) {\n      throw new Error(\n        `WASM Pre-PegIn htlcValue[${i}] ${htlcValue} does not strictly ` +\n          `cover peginAmount ${peginAmount} + depositorClaimValue ` +\n          `${result.depositorClaimValue} + a PegIn reserve (implied ` +\n          `reserve ${impliedReserve}).`,\n      );\n    }\n    if (impliedReserve > maxImpliedReserve) {\n      throw new Error(\n        `WASM Pre-PegIn implied reserve for HTLC[${i}] (${impliedReserve} ` +\n          `sat) exceeds the plausibility cap ${maxImpliedReserve} sat ` +\n          `(minPeginFeeRate=${params.minPeginFeeRate} × ` +\n          `${MAX_REASONABLE_PEGIN_VBYTES} vbytes); htlcValue ${htlcValue} ` +\n          `appears grossly inflated.`,\n      );\n    }\n    if (impliedReserve !== expectedReserve) {\n      throw new Error(\n        `WASM Pre-PegIn htlcValue[${i}] ${htlcValue} implies a PegIn ` +\n          `fee+anchor reserve of ${impliedReserve} sat, expected exactly ` +\n          `${expectedReserve} sat (minPeginFee ${expectedPeginFee} + ` +\n          `p2aAnchor ${anchorValue} for vaultCoreVersion ` +\n          `${params.vaultCoreVersion}, vaultKeepers=` +\n          `${params.vaultKeeperPubkeys.length}, universalChallengers=` +\n          `${params.universalChallengerPubkeys.length}, minPeginFeeRate=` +\n          `${params.minPeginFeeRate}).`,\n      );\n    }\n  }\n\n  return expectedPeginFee;\n}\n\n/**\n * A funded Pre-PegIn's HTLC outputs disagree with the expected value or\n * scriptPubKey.\n *\n * Typed so a caller trialling several parameter sets can tell \"the transaction\n * definitively does not match these parameters\" - a genuine, informative\n * rejection - from \"evaluating this parameter set failed\", which says nothing\n * about the transaction and must not be counted as a rejection. Without the\n * distinction an incidental failure on the true parameter set silently removes\n * it from consideration and a look-alike wins.\n */\nexport class HtlcOutputMismatchError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = \"HtlcOutputMismatchError\";\n  }\n}\n\n/**\n * Bind the validated metadata to the bytes that actually get funded and\n * signed.\n *\n * `assertWasmPeginSizing` proves the WASM values match the request and the\n * protocol formula. It also checks the script metadata count. The transaction\n * the depositor funds and signs is `result.txHex`. If the encoded tx carried a\n * different HTLC output value or script than the metadata, the depositor would\n * fund a transaction whose outputs differ from the checked metadata. This\n * function closes that link.\n *\n * The WASM lays out HTLC outputs first (vouts `0..N-1`), then the optional\n * auth-anchor OP_RETURN, then the CPFP anchor - so we only compare the first\n * `htlcValues.length` outputs.\n *\n * @param outputs - Outputs parsed from the unfunded Pre-PegIn tx hex.\n * @param htlcValues - The (already value-validated) per-HTLC values.\n * @param htlcScriptPubKeys - The per-HTLC scriptPubKeys (hex).\n * @throws {HtlcOutputMismatchError} If the encoded outputs are too few, or any\n *   HTLC output's value or scriptPubKey disagrees with the validated metadata.\n */\nexport function assertEncodedHtlcOutputsMatch(\n  outputs: readonly ParsedOutput[],\n  htlcValues: readonly bigint[],\n  htlcScriptPubKeys: readonly string[],\n): void {\n  if (outputs.length < htlcValues.length) {\n    throw new HtlcOutputMismatchError(\n      `Encoded Pre-PegIn tx has ${outputs.length} output(s), fewer than the ` +\n        `${htlcValues.length} HTLC output(s) the cross-check validated.`,\n    );\n  }\n\n  for (let i = 0; i < htlcValues.length; i++) {\n    const encodedValue = BigInt(outputs[i].value);\n    if (encodedValue !== htlcValues[i]) {\n      throw new HtlcOutputMismatchError(\n        `Encoded Pre-PegIn HTLC output[${i}] value ${encodedValue} does not ` +\n          `match the cross-checked htlcValue ${htlcValues[i]}; the funded/signed ` +\n          `tx would not pay the validated amount.`,\n      );\n    }\n\n    const encodedScript = outputs[i].script.toString(\"hex\").toLowerCase();\n    const expectedScript = htlcScriptPubKeys[i].toLowerCase();\n    if (encodedScript !== expectedScript) {\n      throw new HtlcOutputMismatchError(\n        `Encoded Pre-PegIn HTLC output[${i}] scriptPubKey ${encodedScript} does ` +\n          `not match the cross-checked htlcScriptPubKey ${expectedScript}.`,\n      );\n    }\n  }\n}\n\n/**\n * Validate the unfunded Pre-PegIn protocol output layout.\n *\n * This check rejects a wrong output count, a wrong auth or CPFP output, and an\n * HTLC output that does not match the request. Run it before value summing,\n * UTXO selection, or signing.\n */\nexport function assertUnfundedPrePeginOutputLayout(\n  outputs: readonly ParsedOutput[],\n  htlcValues: readonly bigint[],\n  htlcScriptPubKeys: readonly string[],\n  params: PrePeginParams,\n  authAnchorHash: string | undefined,\n  version: number,\n  locktime: number,\n): void {\n  if (version !== PRE_PEGIN_TX_VERSION) {\n    throw new Error(\n      `WASM Pre-PegIn transaction version ${version}; expected ` +\n        `${PRE_PEGIN_TX_VERSION}.`,\n    );\n  }\n  if (locktime !== PRE_PEGIN_TX_LOCKTIME) {\n    throw new Error(\n      `WASM Pre-PegIn transaction locktime ${locktime}; expected ` +\n        `${PRE_PEGIN_TX_LOCKTIME}.`,\n    );\n  }\n\n  if (htlcValues.length < PRE_PEGIN_MIN_HTLC_OUTPUT_COUNT) {\n    throw new Error(\n      `WASM Pre-PegIn output layout has ${htlcValues.length} HTLC output(s); ` +\n        `expected at least ${PRE_PEGIN_MIN_HTLC_OUTPUT_COUNT}.`,\n    );\n  }\n\n  const authOutputIndex = htlcValues.length;\n  const cpfpOutputIndex =\n    authOutputIndex + Number(authAnchorHash !== undefined);\n  const expectedCount = peginOutputCount(\n    htlcValues.length,\n    authAnchorHash !== undefined,\n  );\n  if (outputs.length !== expectedCount) {\n    throw new Error(\n      `WASM Pre-PegIn output layout has ${outputs.length} output(s); ` +\n        `expected exactly ${expectedCount}.`,\n    );\n  }\n\n  assertEncodedHtlcOutputsMatch(outputs, htlcValues, htlcScriptPubKeys);\n\n  for (let i = 0; i < htlcValues.length; i++) {\n    const expectedScript = deriveExpectedPrePeginHtlc(\n      params,\n      params.hashlocks[i],\n    ).scriptPubKey;\n    if (!outputs[i].script.equals(expectedScript)) {\n      throw new HtlcOutputMismatchError(\n        `Pre-PegIn HTLC output[${i}] does not match the independently ` +\n          `derived scriptPubKey.`,\n      );\n    }\n  }\n\n  if (authAnchorHash !== undefined) {\n    const authOutput = outputs[authOutputIndex];\n    if (authOutput.value !== PRE_PEGIN_AUTH_OUTPUT_VALUE_SATS) {\n      throw new Error(\n        `WASM Pre-PegIn auth output[${authOutputIndex}] value ` +\n          `${authOutput.value} sat; expected exactly ` +\n          `${PRE_PEGIN_AUTH_OUTPUT_VALUE_SATS} sat.`,\n      );\n    }\n\n    const encodedAuthScript = authOutput.script.toString(\"hex\").toLowerCase();\n    const expectedAuthScript =\n      PRE_PEGIN_AUTH_SCRIPT_PREFIX + authAnchorHash.toLowerCase();\n    if (encodedAuthScript !== expectedAuthScript) {\n      throw new Error(\n        `WASM Pre-PegIn auth output[${authOutputIndex}] scriptPubKey ` +\n          `${encodedAuthScript}; expected ${expectedAuthScript}.`,\n      );\n    }\n  }\n\n  const cpfpOutput = outputs[cpfpOutputIndex];\n  if (cpfpOutput.value !== PRE_PEGIN_CPFP_VALUE_SATS) {\n    throw new Error(\n      `WASM Pre-PegIn CPFP output[${cpfpOutputIndex}] value ` +\n        `${cpfpOutput.value} sat; expected exactly ` +\n        `${PRE_PEGIN_CPFP_VALUE_SATS} sat.`,\n    );\n  }\n\n  const encodedCpfpScript = cpfpOutput.script.toString(\"hex\").toLowerCase();\n  const expectedCpfpScript = stripHexPrefix(\n    deriveBip86ScriptPubKeyHex(params.depositorPubkey),\n  ).toLowerCase();\n  if (encodedCpfpScript !== expectedCpfpScript) {\n    throw new Error(\n      `WASM Pre-PegIn CPFP output[${cpfpOutputIndex}] scriptPubKey ` +\n        `${encodedCpfpScript}; expected depositor BIP-86 script ` +\n        `${expectedCpfpScript}.`,\n    );\n  }\n}\n","/**\n * Depositor-claim output descriptor\n *\n * The PegIn transaction's vout 1 carries `depositorClaimValue` — the reserve\n * that funds the depositor's own `claim_tx`, their recourse if the vault\n * provider fails during peg-out.\n *\n * It is btc-vault's `SingleKeyConnector` (`crates/vault/src/connectors/mod.rs`):\n * a Taproot output with the NUMS internal key (key path provably unspendable)\n * and exactly one tapleaf at depth 0, `<depositor> OP_CHECKSIG`. No timelock,\n * no counterparty key — the depositor's Schnorr signature alone spends it.\n *\n * Two call sites need this, and they must not drift:\n *  - `assertPeginTxShape` (./pegin) validates the encoded PegIn output against\n *    the scriptPubKey before the depositor signs the peg-in.\n *  - `buildReclaimPsbt` (./reclaim) spends that same output, and needs the leaf\n *    script and control block to populate the PSBT's `tapLeafScript`.\n *\n * Keeping one definition here is what makes the reclaim's script binding\n * meaningful: the bytes the reclaim signs against are the same bytes the\n * peg-in validated.\n *\n * @module primitives/psbt/depositorClaim\n */\n\nimport { tapInternalPubkey } from \"../../wasm\";\nimport { Buffer } from \"buffer\";\nimport { payments, script as bscript, opcodes } from \"bitcoinjs-lib\";\n\nimport {\n  TAPSCRIPT_LEAF_VERSION,\n  hexToUint8Array,\n  stripHexPrefix,\n} from \"../utils/bitcoin\";\n\n/**\n * Vout of the depositor-claim output in every PegIn version (btc-vault: vault\n * at 0, depositor claim at 1, optional P2A anchor appended after).\n *\n * Version-invariant: the graph version dispatches only the trailing P2A anchor\n * (absent in v1, 240 sats at vout 2 in v2/v3). Nothing touches vout 1.\n */\nexport const PEGIN_DEPOSITOR_CLAIM_VOUT = 1;\n\n/** The single-leaf taptree's spend material for one depositor key. */\nexport interface DepositorClaimDescriptor {\n  /** P2TR scriptPubKey the PegIn pays at {@link PEGIN_DEPOSITOR_CLAIM_VOUT}. */\n  scriptPubKey: Buffer;\n  /** The one tapleaf: `<depositor> OP_CHECKSIG`, 34 bytes. */\n  leafScript: Buffer;\n  /**\n   * Control block for that leaf: `[leafVersion | outputKeyParity] || NUMS`,\n   * 33 bytes. The tree has a single leaf at depth 0, so it carries no sibling\n   * hashes.\n   */\n  controlBlock: Buffer;\n  /**\n   * The NUMS internal key the taptree commits to — the PSBT's `tapInternalKey`.\n   * Carried here so an input's internal key and control block provably come\n   * from the same derivation.\n   */\n  internalKey: Buffer;\n}\n\n/**\n * Derive the depositor-claim output's spend material in JS, independently of\n * WASM — the Rust `SingleKeyConnector` has no WASM wrapper, so this is the\n * only derivation available on the JS side.\n *\n * Takes no graph version: the connector is identical across v1/v2/v3. A future\n * `VAULT_WASM_COMMIT` bump that changed it would break `assertPeginTxShape` at\n * peg-in build time, which is where that regression should surface.\n *\n * @param depositorPubkey - x-only depositor pubkey, 64-char hex (no 0x prefix)\n * @throws If bitcoinjs cannot derive the P2TR output or its control block\n */\nexport function deriveDepositorClaimDescriptor(\n  depositorPubkey: string,\n): DepositorClaimDescriptor {\n  // Validate before compiling: `bscript.compile` happily emits a shorter push\n  // for a truncated key, yielding a well-formed script that is not the claim\n  // leaf. Downstream that becomes a scriptPubKey nobody can spend, so reject\n  // here rather than deriving something plausible. Mirrors the same check in\n  // `deriveBip86ScriptPubKeyHex`.\n  const cleanPubkey = stripHexPrefix(depositorPubkey);\n  if (!/^[0-9a-fA-F]{64}$/.test(cleanPubkey)) {\n    throw new Error(\n      \"Invalid depositor pubkey for the depositor-claim script: must be an \" +\n        \"x-only key of 64 hex characters (32 bytes).\",\n    );\n  }\n\n  const leafScript = bscript.compile([\n    Buffer.from(hexToUint8Array(cleanPubkey)),\n    opcodes.OP_CHECKSIG,\n  ]);\n\n  const internalKey = Buffer.from(tapInternalPubkey);\n  const redeem = { output: leafScript, redeemVersion: TAPSCRIPT_LEAF_VERSION };\n  const { output, witness } = payments.p2tr({\n    internalPubkey: internalKey,\n    scriptTree: { output: leafScript },\n    redeem,\n  });\n\n  if (!output) {\n    throw new Error(\n      \"Failed to derive the depositor-claim P2TR scriptPubKey for PegIn output validation\",\n    );\n  }\n  // bitcoinjs appends the control block last in the script-path witness stack\n  // ([...redeemWitness, script, controlBlock]); with `redeem` supplied it is\n  // always present, but a missing entry must fail rather than sign unspendably.\n  const controlBlock = witness?.[witness.length - 1];\n  if (!controlBlock) {\n    throw new Error(\n      \"Failed to derive the depositor-claim tapleaf control block; refusing to build an unspendable input\",\n    );\n  }\n\n  return { scriptPubKey: output, leafScript, controlBlock, internalKey };\n}\n\n/**\n * The depositor-claim output's scriptPubKey alone — the peg-in validation path,\n * which has no need of the spend material.\n */\nexport function deriveDepositorClaimScriptPubKey(\n  depositorPubkey: string,\n): Buffer {\n  return deriveDepositorClaimDescriptor(depositorPubkey).scriptPubKey;\n}\n","/**\n * Pre-PegIn PSBT Builder Primitive\n *\n * This module provides pure functions for building unfunded Pre-PegIn transactions\n * and deriving PegIn transactions from them, using the WASM implementation from\n * @babylonlabs-io/babylon-tbv-rust-wasm.\n *\n * Pre-PegIn Flow:\n * 1. buildPrePeginPsbt()     — creates unfunded Pre-PegIn tx (HTLC output)\n * 2. [caller funds Pre-PegIn tx and computes txid]\n * 3. buildPeginTxFromFundedPrePegin() — derives PegIn tx spending the HTLC\n * 4. buildPeginInputPsbt()   — PSBT for depositor to sign PegIn HTLC leaf 0 input\n *\n * @module primitives/psbt/pegin\n */\n\nimport { Transaction } from \"bitcoinjs-lib\";\nimport {\n  buildPeginTxFromPrePegin,\n  computeMinClaimValue,\n  createPrePeginTransaction,\n  peginP2aAnchorOutput,\n  validatePeginP2aAnchor,\n  type Network,\n} from \"../../wasm\";\n\nimport { parseUnfundedWasmTransaction } from \"../../utils/transaction/fundPeginTransaction\";\nimport { stripHexPrefix, uint8ArrayToHex } from \"../utils/bitcoin\";\n\nimport {\n  assertUnfundedPrePeginOutputLayout,\n  assertWasmPeginSizing,\n  deriveExpectedPeginPayoutScriptPubKey,\n} from \"./assertWasmPeginSizing\";\nimport {\n  PEGIN_INPUT_SEQUENCE,\n  PEGIN_TX_LOCKTIME,\n  PEGIN_TX_VERSION_CORE_1,\n  PEGIN_TX_VERSION_CORE_2_AND_3,\n} from \"./constants\";\nimport {\n  PEGIN_DEPOSITOR_CLAIM_VOUT,\n  deriveDepositorClaimScriptPubKey,\n} from \"./depositorClaim\";\n\n/**\n * Parameters for building an unfunded Pre-PegIn PSBT\n */\nexport interface PrePeginParams {\n  /**\n   * Vault core (tx-graph) version to build. Fresh deposits use the contract's\n   * `ProtocolParams.activeVaultCoreVersion()`; resumed vaults use their\n   * stamped on-chain `vaultCoreVersion`. The WASM facade fails closed on\n   * versions it wasn't compiled with.\n   */\n  vaultCoreVersion: number;\n  /** Depositor's BTC public key (x-only, 64-char hex without 0x prefix) */\n  depositorPubkey: string;\n  /** Vault provider's BTC public key (x-only, 64-char hex) */\n  vaultProviderPubkey: string;\n  /** Array of vault keeper BTC public keys (x-only, 64-char hex) */\n  vaultKeeperPubkeys: string[];\n  /** Array of universal challenger BTC public keys (x-only, 64-char hex) */\n  universalChallengerPubkeys: string[];\n  /** SHA256 hash commitment(s) (64 hex chars = 32 bytes each) */\n  hashlocks: readonly string[];\n  /** CSV timelock in blocks for the HTLC refund path */\n  timelockRefund: number;\n  /** Amounts to peg in (satoshis), one per deposit */\n  pegInAmounts: readonly bigint[];\n  /** TX-graph fee rate in sat/vB from contract offchain params; sizes the depositor claim value */\n  feeRate: bigint;\n  /** Minimum PegIn fee rate in sat/vB from contract offchain params; sizes the PegIn tx fee */\n  minPeginFeeRate: bigint;\n  /** Number of local challengers (from contract params) */\n  numLocalChallengers: number;\n  /** M in M-of-N council multisig (from contract params) */\n  councilQuorum: number;\n  /** N in M-of-N council multisig (from contract params) */\n  councilSize: number;\n  /** Bitcoin network */\n  network: Network;\n  /**\n   * Optional 32-byte `SHA256(auth_anchor)` commitment (64-char hex, no\n   * `0x` prefix). If provided, the Pre-PegIn tx will include an\n   * `OP_RETURN <PUSH32 authAnchorHash>` output at vout =\n   * `hashlocks.length`, binding the depositor's bearer-token\n   * `auth_anchor` preimage to this Pre-PegIn.\n   */\n  authAnchorHash?: string;\n}\n\n/**\n * Byte length of an `auth_anchor_hash` commitment when encoded as a\n * lowercase hex string (32 bytes → 64 hex chars).\n */\nconst AUTH_ANCHOR_HASH_HEX_LEN = 64;\n\nconst HEX_PATTERN = /^[0-9a-fA-F]+$/;\n\n/**\n * The largest PegIn timelock in blocks. The engine stores it as a Rust u16.\n */\nconst MAX_TIMELOCK_PEGIN_BLOCKS = 0xffff;\n\n/**\n * Result of building an unfunded Pre-PegIn transaction\n */\nexport interface PrePeginPsbtResult {\n  /**\n   * Unfunded transaction hex (no inputs, HTLC outputs + optional\n   * auth-anchor OP_RETURN + CPFP anchor).\n   *\n   * The caller is responsible for:\n   * - Selecting UTXOs covering totalOutputValue + network fees\n   * - Funding the transaction (add inputs and change output)\n   * - Calling buildPeginTxFromFundedPrePegin() with the funded tx hex\n   */\n  psbtHex: string;\n  /** Sum of all unfunded outputs — use this for UTXO selection */\n  totalOutputValue: bigint;\n  /**\n   * HTLC output values in satoshis, one per deposit. Each includes\n   * peginAmount + depositorClaimValue + p2aAnchorValue + minPeginFee (the\n   * anchor term is 0 for graph versions without a P2A anchor, 240 for v2/v3).\n   */\n  htlcValues: readonly bigint[];\n  /** HTLC output scriptPubKeys (hex encoded), one per deposit */\n  htlcScriptPubKeys: readonly string[];\n  /** HTLC Taproot addresses, one per deposit */\n  htlcAddresses: readonly string[];\n  /** Pegin amounts in satoshis, one per deposit */\n  peginAmounts: readonly bigint[];\n  /** Depositor claim value computed by WASM from contract parameters */\n  depositorClaimValue: bigint;\n  /**\n   * Vout index of the auth-anchor `OP_RETURN` output if one was\n   * included (i.e. `authAnchorHash` was provided), or `null` if not.\n   * Always equals `htlcValues.length` when present.\n   */\n  authAnchorVout: number | null;\n  /**\n   * Minimum PegIn fee (sats), independently computed and asserted against\n   * `htlcValues`' implied reserve by {@link assertWasmPeginSizing}. Reuse\n   * this instead of recomputing — it is already the cross-checked value.\n   */\n  minPeginFee: bigint;\n}\n\n/**\n * Parameters for building the PegIn transaction from a funded Pre-PegIn tx\n */\nexport interface BuildPeginTxParams {\n  /** Same PrePeginParams used to create the Pre-PegIn transaction */\n  prePeginParams: PrePeginParams;\n  /** CSV timelock in blocks for the PegIn vault output */\n  timelockPegin: number;\n  /** Hex-encoded funded Pre-PegIn transaction */\n  fundedPrePeginTxHex: string;\n  /** Index of the HTLC output to spend */\n  htlcVout: number;\n}\n\n/**\n * Result of building the PegIn transaction\n */\nexport interface PeginTxResult {\n  /**\n   * PegIn transaction hex. 1 input spending the HTLC; outputs are\n   * version-shaped: v1 = vault + depositor claim, v2/v3 = vault + depositor\n   * claim + P2A anchor at vout 2 (nVersion 3 / TRUC).\n   */\n  txHex: string;\n  /** PegIn transaction ID */\n  txid: string;\n  /** Vault output scriptPubKey (hex encoded) */\n  vaultScriptPubKey: string;\n  /** Vault output value in satoshis */\n  vaultValue: bigint;\n}\n\n/**\n * Build unfunded Pre-PegIn transaction using WASM.\n *\n * Creates a Bitcoin transaction template with no inputs, an HTLC output, and a\n * CPFP anchor output. The HTLC value is computed internally from the contract\n * parameters — the caller does not need to compute depositorClaimValue separately.\n *\n * @param params - Pre-PegIn parameters\n * @returns Unfunded Pre-PegIn transaction details with HTLC output information\n * @throws If WASM initialization fails or parameters are invalid\n */\nexport async function buildPrePeginPsbt(\n  params: PrePeginParams,\n): Promise<PrePeginPsbtResult> {\n  const authAnchorHash = normalizeAuthAnchorHash(params.authAnchorHash);\n\n  const result = await createPrePeginTransaction({\n    txGraphVersion: params.vaultCoreVersion,\n    depositorPubkey: params.depositorPubkey,\n    vaultProviderPubkey: params.vaultProviderPubkey,\n    vaultKeeperPubkeys: params.vaultKeeperPubkeys,\n    universalChallengerPubkeys: params.universalChallengerPubkeys,\n    hashlocks: [...params.hashlocks],\n    timelockRefund: params.timelockRefund,\n    pegInAmounts: [...params.pegInAmounts],\n    feeRate: params.feeRate,\n    minPeginFeeRate: params.minPeginFeeRate,\n    numLocalChallengers: params.numLocalChallengers,\n    councilQuorum: params.councilQuorum,\n    councilSize: params.councilSize,\n    network: params.network,\n    authAnchorHash,\n  });\n\n  // CLAUDE.md critical path #1: the WASM outputs reach JS with no runtime\n  // validation. Cross-check every value-bearing field against the request\n  // and the protocol formula before it can feed a signed tx or the on-chain\n  // PegIn registration. Both the sizing and commit passes route through here.\n  const minPeginFee = await assertWasmPeginSizing(result, params);\n\n  // Parse the unfunded tx before summing all output values\n  // (HTLCs + optional OP_RETURN + CPFP anchor). This is the amount\n  // UTXOs must cover before adding network fees.\n  const parsed = parseUnfundedWasmTransaction(result.txHex);\n\n  // Bind the validated metadata to the bytes that get funded and signed.\n  // Reject a wrong count, a wrong auth or CPFP output, or an HTLC that does\n  // not match the request before UTXO selection uses the output values.\n  assertUnfundedPrePeginOutputLayout(\n    parsed.outputs,\n    result.htlcValues,\n    result.htlcScriptPubKeys,\n    params,\n    authAnchorHash,\n    parsed.version,\n    parsed.locktime,\n  );\n\n  const totalOutputValue = parsed.outputs.reduce(\n    (sum, o) => sum + BigInt(o.value),\n    0n,\n  );\n\n  // The WASM places the OP_RETURN commitment immediately after the\n  // HTLC outputs when authAnchorHash is provided.\n  const authAnchorVout =\n    authAnchorHash !== undefined ? result.htlcValues.length : null;\n\n  return {\n    psbtHex: result.txHex,\n    totalOutputValue,\n    htlcValues: result.htlcValues,\n    htlcScriptPubKeys: result.htlcScriptPubKeys,\n    htlcAddresses: result.htlcAddresses,\n    peginAmounts: result.peginAmounts,\n    depositorClaimValue: result.depositorClaimValue,\n    authAnchorVout,\n    minPeginFee,\n  };\n}\n\n/**\n * Validate and normalize an `authAnchorHash` hex string before passing\n * it to the WASM boundary. WASM expects exactly 64 lowercase hex chars.\n */\nexport function normalizeAuthAnchorHash(\n  value: string | undefined,\n): string | undefined {\n  if (value === undefined) return undefined;\n  const cleaned =\n    value.startsWith(\"0x\") || value.startsWith(\"0X\") ? value.slice(2) : value;\n  if (\n    cleaned.length !== AUTH_ANCHOR_HASH_HEX_LEN ||\n    !HEX_PATTERN.test(cleaned)\n  ) {\n    throw new Error(\n      `authAnchorHash must be 32-byte hex (${AUTH_ANCHOR_HASH_HEX_LEN} chars, no 0x prefix); got length ${cleaned.length}`,\n    );\n  }\n  return cleaned.toLowerCase();\n}\n\n/**\n * Build the PegIn transaction from a funded Pre-PegIn transaction.\n *\n * The PegIn transaction spends the Pre-PegIn HTLC output at htlcVout via the\n * hashlock + all-party script (leaf 0).\n *\n * @param params - Build parameters including Pre-PegIn params and funded tx hex\n * @returns PegIn transaction details\n * @throws If `timelockPegin` is not a whole number from 1 to 65535, if WASM\n *   initialization fails or parameters are invalid, or if the WASM result does\n *   not match the request (for example, a vault scriptPubKey that differs from\n *   the independently derived payout scriptPubKey)\n */\nexport async function buildPeginTxFromFundedPrePegin(\n  params: BuildPeginTxParams,\n): Promise<PeginTxResult> {\n  // Reject the timelock before it crosses into the engine. The engine keeps\n  // only the low 16 bits and drops a fraction, and rejects only a zero\n  // result. Thus 65537 would build a one-block vault, not the requested one.\n  if (\n    !Number.isInteger(params.timelockPegin) ||\n    params.timelockPegin < 1 ||\n    params.timelockPegin > MAX_TIMELOCK_PEGIN_BLOCKS\n  ) {\n    throw new Error(\n      `PegIn timelock ${params.timelockPegin} must be a whole number of ` +\n        `blocks from 1 to ${MAX_TIMELOCK_PEGIN_BLOCKS}.`,\n    );\n  }\n\n  // WASM reconstructs the Pre-PegIn template from these params to\n  // decode the funded tx. Must pass `authAnchorHash` (normalized\n  // identically to buildPrePeginPsbt) so the reconstruction matches\n  // the original outputs, including the OP_RETURN at vout =\n  // hashlocks.length.\n  const result = await buildPeginTxFromPrePegin(\n    {\n      txGraphVersion: params.prePeginParams.vaultCoreVersion,\n      depositorPubkey: params.prePeginParams.depositorPubkey,\n      vaultProviderPubkey: params.prePeginParams.vaultProviderPubkey,\n      vaultKeeperPubkeys: params.prePeginParams.vaultKeeperPubkeys,\n      universalChallengerPubkeys:\n        params.prePeginParams.universalChallengerPubkeys,\n      hashlocks: [...params.prePeginParams.hashlocks],\n      timelockRefund: params.prePeginParams.timelockRefund,\n      pegInAmounts: [...params.prePeginParams.pegInAmounts],\n      feeRate: params.prePeginParams.feeRate,\n      minPeginFeeRate: params.prePeginParams.minPeginFeeRate,\n      numLocalChallengers: params.prePeginParams.numLocalChallengers,\n      councilQuorum: params.prePeginParams.councilQuorum,\n      councilSize: params.prePeginParams.councilSize,\n      network: params.prePeginParams.network,\n      authAnchorHash: normalizeAuthAnchorHash(\n        params.prePeginParams.authAnchorHash,\n      ),\n    },\n    params.timelockPegin,\n    params.fundedPrePeginTxHex,\n    params.htlcVout,\n  );\n\n  await assertPeginTxShape(result, params);\n\n  return {\n    txHex: result.txHex,\n    txid: result.txid,\n    vaultScriptPubKey: result.vaultScriptPubKey,\n    vaultValue: result.vaultValue,\n  };\n}\n\n/**\n * PegIn outputs common to every graph version: the vault output (vout 0)\n * and the depositor claim output (vout 1). Versions with a P2A anchor (v2)\n * append it after these.\n */\nconst PEGIN_BASE_OUTPUT_COUNT = 2;\n\n/**\n * Cross-check the WASM-built PegIn transaction's header, input, and outputs\n * against the request before the depositor signs it.\n *\n * CLAUDE.md critical path #1: the metadata (`vaultValue`, `txid`,\n * `vaultScriptPubKey`) and the tx bytes both come from WASM — bind them to\n * each other and to the caller's requested amount so a doctored binary\n * can't commit one thing and encode another. The reported and the encoded\n * vault scriptPubKey must both equal the payout scriptPubKey that TypeScript\n * derives from the request. The vault output value is the\n * exact on-chain vault amount, so it must equal the requested peg-in amount\n * (btc-vault: PegIn vout 0 carries `pegin_amount` verbatim). The P2A anchor\n * (exact value/vout/script for v2; complete absence for v1) is enforced by\n * the version-dispatched `validatePeginP2aAnchor`.\n *\n * @throws If the encoded transaction disagrees with the request, metadata,\n *   or canonical shape for its Vault Core version.\n */\nasync function assertPeginTxShape(\n  result: {\n    txHex: string;\n    txid: string;\n    vaultScriptPubKey: string;\n    vaultValue: bigint;\n  },\n  params: BuildPeginTxParams,\n): Promise<void> {\n  const version = params.prePeginParams.vaultCoreVersion;\n  const expectedTxVersion =\n    version === 1\n      ? PEGIN_TX_VERSION_CORE_1\n      : version === 2 || version === 3\n        ? PEGIN_TX_VERSION_CORE_2_AND_3\n        : undefined;\n  if (expectedTxVersion === undefined) {\n    throw new Error(`Unsupported vaultCoreVersion ${version} for PegIn tx.`);\n  }\n\n  await validatePeginP2aAnchor(version, result.txHex);\n\n  const anchor = await peginP2aAnchorOutput(version);\n  const expectedOutputCount = PEGIN_BASE_OUTPUT_COUNT + (anchor ? 1 : 0);\n\n  const peginTx = Transaction.fromHex(stripHexPrefix(result.txHex));\n\n  if (peginTx.version !== expectedTxVersion) {\n    throw new Error(\n      `PegIn tx version ${peginTx.version} does not match ` +\n        `vaultCoreVersion ${version}; expected ${expectedTxVersion}.`,\n    );\n  }\n  if (peginTx.locktime !== PEGIN_TX_LOCKTIME) {\n    throw new Error(\n      `PegIn tx locktime ${peginTx.locktime} does not match the canonical ` +\n        `locktime ${PEGIN_TX_LOCKTIME}.`,\n    );\n  }\n\n  // Input bind: the PegIn must spend EXACTLY the requested HTLC outpoint\n  // (fundedPrePeginTxid, htlcVout). Without this, a doctored tx could spend\n  // a sibling HTLC while the caller registers it under `htlcVout` — in a\n  // multi-HTLC batch that both double-spends the sibling and strands the\n  // registered vault. The downstream PSBT builder follows the tx's own\n  // input index, so this is the only place the requested vout is enforced.\n  if (peginTx.ins.length !== 1) {\n    throw new Error(\n      `PegIn tx has ${peginTx.ins.length} input(s), expected exactly 1 ` +\n        `(the Pre-PegIn HTLC outpoint).`,\n    );\n  }\n  const fundedPrePeginTxid = Transaction.fromHex(\n    stripHexPrefix(params.fundedPrePeginTxHex),\n  ).getId();\n  const inputTxid = uint8ArrayToHex(\n    new Uint8Array(peginTx.ins[0].hash).slice().reverse(),\n  );\n  if (inputTxid !== fundedPrePeginTxid) {\n    throw new Error(\n      `PegIn input spends txid ${inputTxid}, expected the funded Pre-PegIn ` +\n        `${fundedPrePeginTxid}.`,\n    );\n  }\n  if (peginTx.ins[0].index !== params.htlcVout) {\n    throw new Error(\n      `PegIn input spends Pre-PegIn output ${peginTx.ins[0].index}, ` +\n        `expected the requested HTLC vout ${params.htlcVout}.`,\n    );\n  }\n  if (peginTx.ins[0].sequence !== PEGIN_INPUT_SEQUENCE) {\n    throw new Error(\n      `PegIn input sequence ${peginTx.ins[0].sequence} does not match the ` +\n        `canonical sequence ${PEGIN_INPUT_SEQUENCE}.`,\n    );\n  }\n  if (peginTx.ins[0].script.length !== 0) {\n    throw new Error(\"PegIn input scriptSig must be empty.\");\n  }\n  if (peginTx.ins[0].witness.length !== 0) {\n    throw new Error(\"PegIn input witness must be empty before signing.\");\n  }\n\n  if (peginTx.outs.length !== expectedOutputCount) {\n    throw new Error(\n      `PegIn tx has ${peginTx.outs.length} output(s), expected exactly ` +\n        `${expectedOutputCount} for vaultCoreVersion ${version} (vault + ` +\n        `depositor claim${anchor ? \" + P2A anchor\" : \"\"}).`,\n    );\n  }\n\n  const requestedAmount = params.prePeginParams.pegInAmounts[params.htlcVout];\n  if (result.vaultValue !== requestedAmount) {\n    throw new Error(\n      `PegIn vault output value ${result.vaultValue} does not match the ` +\n        `requested peg-in amount ${requestedAmount} for HTLC ` +\n        `${params.htlcVout}; refusing to sign a vault that locks a ` +\n        `different amount than requested.`,\n    );\n  }\n\n  const encodedVaultOut = peginTx.outs[0];\n  if (BigInt(encodedVaultOut.value) !== result.vaultValue) {\n    throw new Error(\n      `Encoded PegIn vault output value ${encodedVaultOut.value} does not ` +\n        `match the WASM-reported vaultValue ${result.vaultValue}.`,\n    );\n  }\n  const expectedVaultScript = deriveExpectedPeginPayoutScriptPubKey(\n    params.prePeginParams,\n    params.timelockPegin,\n  ).toString(\"hex\");\n  if (\n    stripHexPrefix(result.vaultScriptPubKey).toLowerCase() !==\n    expectedVaultScript\n  ) {\n    throw new Error(\n      `WASM-reported PegIn vaultScriptPubKey ${result.vaultScriptPubKey} ` +\n        `does not match the independently derived payout scriptPubKey ` +\n        `${expectedVaultScript}.`,\n    );\n  }\n  const encodedVaultScript = encodedVaultOut.script.toString(\"hex\");\n  if (encodedVaultScript !== expectedVaultScript) {\n    throw new Error(\n      `Encoded PegIn vault output scriptPubKey ${encodedVaultScript} does ` +\n        `not match the independently derived payout scriptPubKey ` +\n        `${expectedVaultScript}.`,\n    );\n  }\n\n  const encodedTxid = peginTx.getId();\n  if (encodedTxid !== stripHexPrefix(result.txid).toLowerCase()) {\n    throw new Error(\n      `Encoded PegIn txid ${encodedTxid} does not match the WASM-reported ` +\n        `txid ${result.txid}.`,\n    );\n  }\n\n  // Depositor-claim output (vout 1): a doctored binary could burn the claim\n  // into miner fee or redirect it while the vault, anchor, and txid binds\n  // all pass. Bind its value to the independently recomputed minimum claim\n  // value (the same WASM-vs-WASM identity `assertWasmPeginSizing` uses) and\n  // its script to a fully JS-derived expectation. With the vault bind, the\n  // output count, and value conservation against the validated HTLC input,\n  // the implied fee is bound too.\n  const expectedClaimValue = await computeMinClaimValue(\n    version,\n    params.prePeginParams.numLocalChallengers,\n    params.prePeginParams.universalChallengerPubkeys.length,\n    params.prePeginParams.councilQuorum,\n    params.prePeginParams.councilSize,\n    params.prePeginParams.feeRate,\n  );\n  const encodedClaimOut = peginTx.outs[PEGIN_DEPOSITOR_CLAIM_VOUT];\n  if (BigInt(encodedClaimOut.value) !== expectedClaimValue) {\n    throw new Error(\n      `Encoded PegIn depositor-claim output value ${encodedClaimOut.value} ` +\n        `does not match the independently computed claim value ` +\n        `${expectedClaimValue} for vaultCoreVersion ${version}.`,\n    );\n  }\n\n  const expectedClaimScript = deriveDepositorClaimScriptPubKey(\n    params.prePeginParams.depositorPubkey,\n  );\n  if (!encodedClaimOut.script.equals(expectedClaimScript)) {\n    throw new Error(\n      `Encoded PegIn depositor-claim output scriptPubKey ` +\n        `${encodedClaimOut.script.toString(\"hex\")} does not pay to the ` +\n        `depositor's claim script (expected ` +\n        `${expectedClaimScript.toString(\"hex\")}).`,\n    );\n  }\n}\n","/**\n * Payout Script Generator Primitive\n *\n * This module provides pure functions for generating payout scripts and taproot information\n * by wrapping the WASM implementation from @babylonlabs-io/babylon-tbv-rust-wasm.\n *\n * The payout script is used for signing payout transactions in the vault system.\n * It defines the spending conditions for the vault output, enabling the depositor\n * to authorize payouts during the peg-in flow (Step 3).\n *\n * @remarks\n * This is a low-level primitive. For most use cases, prefer using {@link buildPayoutPsbt}\n * which handles script creation internally. For high-level wallet orchestration, use\n * PayoutManager from the managers module.\n *\n * @see {@link buildPayoutPsbt} - Higher-level function that uses this internally\n *\n * @module primitives/scripts/payout\n */\n\nimport {\n  createPayoutConnector,\n  type Network,\n} from \"../../wasm\";\n\n/**\n * Parameters for creating a payout script.\n *\n * These parameters define the participants in a vault and are used to generate\n * the taproot script that controls how funds can be spent from the vault.\n */\nexport interface PayoutScriptParams {\n  /**\n   * Vault core (tx-graph) version the vault was registered under — the\n   * vault's stamped on-chain `vaultCoreVersion`. Selects which graph's\n   * payout connector the WASM derives.\n   */\n  vaultCoreVersion: number;\n\n  /**\n   * Depositor's BTC public key (x-only, 64-char hex without 0x prefix).\n   *\n   * This is the user depositing BTC into the vault. The depositor must sign\n   * payout transactions to authorize fund distribution.\n   */\n  depositor: string;\n\n  /**\n   * Vault provider's BTC public key (x-only, 64-char hex without 0x prefix).\n   *\n   * The service provider managing vault operations. Also referred to as\n   * \"claimer\" in the WASM layer.\n   */\n  vaultProvider: string;\n\n  /**\n   * Array of vault keeper BTC public keys (x-only, 64-char hex without 0x prefix).\n   *\n   * Vault keepers participate in vault operations and script spending conditions.\n   */\n  vaultKeepers: string[];\n\n  /**\n   * Array of universal challenger BTC public keys (x-only, 64-char hex without 0x prefix).\n   *\n   * These parties can challenge the vault under certain conditions.\n   */\n  universalChallengers: string[];\n\n  /**\n   * CSV timelock in blocks for the PegIn output.\n   */\n  timelockPegin: number;\n\n  /**\n   * Bitcoin network for script generation.\n   *\n   * Must match the network used for all other vault operations to ensure\n   * address encoding compatibility.\n   */\n  network: Network;\n}\n\n/**\n * Result of creating a payout script.\n *\n * Contains all the taproot-related data needed for constructing and signing\n * payout transactions from the vault.\n */\nexport interface PayoutScriptResult {\n  /**\n   * The payout script hex used in taproot script path spending.\n   *\n   * This is the raw script bytes that define the spending conditions,\n   * encoded as a hexadecimal string. Used when constructing the\n   * tapLeafScript for PSBT signing.\n   */\n  payoutScript: string;\n\n  /**\n   * The taproot script hash (leaf hash) for the payout script.\n   *\n   * This is the tagged hash of the script used in taproot tree construction.\n   * Required for computing the control block during script path spending.\n   */\n  taprootScriptHash: string;\n\n  /**\n   * The full scriptPubKey for the vault output address.\n   *\n   * This is the complete output script (OP_1 <32-byte-key>) that should be\n   * used when creating the vault output in a peg-in transaction.\n   */\n  scriptPubKey: string;\n\n  /**\n   * The vault Bitcoin address derived from the script.\n   *\n   * A human-readable bech32m address (bc1p... for mainnet, tb1p... for testnet/signet)\n   * that can be used to receive funds into the vault.\n   */\n  address: string;\n\n  /**\n   * Serialized control block for Taproot script path spend (hex encoded).\n   *\n   * Computed by the Rust WASM PeginPayoutConnector. Used directly in\n   * tapLeafScript when building payout PSBTs.\n   */\n  payoutControlBlock: string;\n}\n\n/**\n * Create payout script and taproot information using WASM.\n *\n * This is a pure function that wraps the Rust WASM implementation.\n * The payout connector generates the necessary taproot scripts and information\n * required for signing payout transactions.\n *\n * @remarks\n * The generated script encodes spending conditions that require signatures from\n * the depositor and vault provider (or liquidators in challenge scenarios).\n * This script is used internally by {@link buildPayoutPsbt}.\n *\n * @param params - Payout script parameters defining vault participants and network\n * @returns Payout script and taproot information for PSBT construction\n *\n * @see {@link buildPayoutPsbt} - Use this for building complete payout PSBTs\n */\nexport async function createPayoutScript(\n  params: PayoutScriptParams,\n): Promise<PayoutScriptResult> {\n  // Call the WASM wrapper with the correct parameter structure\n  const connector = await createPayoutConnector(\n    {\n      txGraphVersion: params.vaultCoreVersion,\n      depositor: params.depositor,\n      vaultProvider: params.vaultProvider,\n      vaultKeepers: params.vaultKeepers,\n      universalChallengers: params.universalChallengers,\n      timelockPegin: params.timelockPegin,\n    },\n    params.network,\n  );\n\n  return {\n    payoutScript: connector.payoutScript,\n    taprootScriptHash: connector.taprootScriptHash,\n    scriptPubKey: connector.scriptPubKey,\n    address: connector.address,\n    payoutControlBlock: connector.payoutControlBlock,\n  };\n}\n","/**\n * BIP-341 Taproot primitives shared by the PSBT builders and verifiers.\n *\n * Everything here is a byte-level restatement of BIP-341; the spec is the\n * source of truth for each constant and each hash preimage.\n *\n * @see https://github.com/bitcoin/bips/blob/master/bip-0341.mediawiki\n * @module tbv/core/primitives/utils/taproot\n */\n\nimport * as ecc from \"@bitcoin-js/tiny-secp256k1-asmjs\";\nimport { crypto as bcrypto } from \"bitcoinjs-lib\";\nimport { Buffer } from \"buffer\";\n\n// Bitcoin CompactSize (varint) prefix markers — values fixed by the protocol.\n// https://developer.bitcoin.org/reference/transactions.html#compactsize-unsigned-integers\nconst COMPACT_SIZE_UINT16_PREFIX = 0xfd; // value in [0xfd, 0xffff] → 0xfd + uint16 LE\nconst COMPACT_SIZE_UINT32_PREFIX = 0xfe; // value in [0x10000, 0xffffffff] → 0xfe + uint32 LE\nconst COMPACT_SIZE_UINT16_MAX = 0xffff;\nconst COMPACT_SIZE_UINT32_MAX = 0xffffffff;\n\n/** BIP-341 tag for the TapLeaf hash. */\nconst TAPLEAF_TAG = \"TapLeaf\";\n/** BIP-341 tag for an internal merkle node of the taptree. */\nconst TAPBRANCH_TAG = \"TapBranch\";\n/** BIP-341 tag for the output-key tweak. */\nconst TAPTWEAK_TAG = \"TapTweak\";\n\n/** BIP-341 control block prefix: 1 leaf-version/parity byte + 32-byte internal key. */\nconst CONTROL_BLOCK_PREFIX_LEN = 33;\n/** Each merkle-path element in a control block is a 32-byte node hash. */\nconst CONTROL_BLOCK_NODE_LEN = 32;\n/** BIP-341 caps the taptree at 128 levels, so the path holds at most 128 nodes. */\nconst CONTROL_BLOCK_MAX_NODES = 128;\n/** Low bit of control-block byte 0 carries the output key's y-parity. */\nconst CONTROL_BLOCK_PARITY_MASK = 0x01;\n/** Remaining bits of control-block byte 0 carry the leaf version. */\nconst CONTROL_BLOCK_LEAF_VERSION_MASK = 0xfe;\n\n/** A P2TR scriptPubKey is `OP_1 <32-byte push>` followed by the output key. */\nconst P2TR_SCRIPT_PUBKEY_PREFIX = Buffer.from([0x51, 0x20]);\n\n/**\n * Encode a length as a Bitcoin CompactSize (varint). Tapscript leaf scripts can\n * exceed 252 bytes (WOTS scripts), so the multi-byte forms are required, not\n * just the single-byte fast path.\n */\nfunction encodeCompactSize(n: number): Buffer {\n  if (n < COMPACT_SIZE_UINT16_PREFIX) {\n    return Buffer.from([n]);\n  }\n  if (n <= COMPACT_SIZE_UINT16_MAX) {\n    const value = Buffer.alloc(2); // uint16, little-endian\n    value.writeUInt16LE(n);\n    return Buffer.concat([Buffer.from([COMPACT_SIZE_UINT16_PREFIX]), value]);\n  }\n  if (n <= COMPACT_SIZE_UINT32_MAX) {\n    const value = Buffer.alloc(4); // uint32, little-endian\n    value.writeUInt32LE(n);\n    return Buffer.concat([Buffer.from([COMPACT_SIZE_UINT32_PREFIX]), value]);\n  }\n  throw new Error(`Script too large to encode as CompactSize: ${n} bytes`);\n}\n\n/**\n * Compute the BIP-341 TapLeaf hash for a tapscript leaf:\n * `tagged_hash(\"TapLeaf\", leaf_version || compact_size(script) || script)`.\n */\nexport function computeTapLeafHash(\n  leafVersion: number,\n  script: Uint8Array,\n): Buffer {\n  const preimage = Buffer.concat([\n    Buffer.from([leafVersion]),\n    encodeCompactSize(script.length),\n    Buffer.from(script),\n  ]);\n  return bcrypto.taggedHash(TAPLEAF_TAG, preimage);\n}\n\nexport interface TaprootScriptPathBinding {\n  /** Tapscript leaf version, e.g. `0xc0`. */\n  leafVersion: number;\n  /** The tapscript leaf being spent. */\n  script: Uint8Array;\n  /** BIP-341 control block: version/parity byte, internal key, merkle path. */\n  controlBlock: Uint8Array;\n}\n\n/**\n * Recompute the P2TR scriptPubKey that a `(leafVersion, script, controlBlock)`\n * triple can spend, by walking the control block's merkle path to the taptree\n * root and tweaking the control block's internal key with it (BIP-341\n * \"Script validation rules\").\n *\n * Comparing the result against a real previous output is what proves the triple\n * belongs to that output rather than to some other taptree.\n *\n * @throws If the control block is malformed, the leaf version disagrees with\n *   the control block, the tweak is off-curve, or the recovered output key's\n *   parity contradicts the control block.\n */\nexport function computeTaprootScriptPubKey(\n  binding: TaprootScriptPathBinding,\n): Buffer {\n  const { leafVersion, script, controlBlock } = binding;\n\n  const pathLen = controlBlock.length - CONTROL_BLOCK_PREFIX_LEN;\n  if (\n    pathLen < 0 ||\n    pathLen % CONTROL_BLOCK_NODE_LEN !== 0 ||\n    pathLen / CONTROL_BLOCK_NODE_LEN > CONTROL_BLOCK_MAX_NODES\n  ) {\n    throw new Error(\n      `Malformed Taproot control block: length ${controlBlock.length} must be ` +\n        `${CONTROL_BLOCK_PREFIX_LEN} + 32*m with 0 <= m <= ${CONTROL_BLOCK_MAX_NODES}`,\n    );\n  }\n\n  const controlLeafVersion = controlBlock[0] & CONTROL_BLOCK_LEAF_VERSION_MASK;\n  if (controlLeafVersion !== leafVersion) {\n    throw new Error(\n      `Taproot control block leaf version 0x${controlLeafVersion.toString(16)} ` +\n        `does not match the tapLeafScript leaf version 0x${leafVersion.toString(16)}`,\n    );\n  }\n\n  const internalKey = Buffer.from(\n    controlBlock.subarray(1, CONTROL_BLOCK_PREFIX_LEN),\n  );\n\n  // Fold the merkle path into the taptree root; siblings are hashed in\n  // lexicographic order (BIP-341).\n  let node = computeTapLeafHash(leafVersion, script);\n  for (\n    let offset = CONTROL_BLOCK_PREFIX_LEN;\n    offset < controlBlock.length;\n    offset += CONTROL_BLOCK_NODE_LEN\n  ) {\n    const sibling = Buffer.from(\n      controlBlock.subarray(offset, offset + CONTROL_BLOCK_NODE_LEN),\n    );\n    node = bcrypto.taggedHash(\n      TAPBRANCH_TAG,\n      Buffer.compare(node, sibling) <= 0\n        ? Buffer.concat([node, sibling])\n        : Buffer.concat([sibling, node]),\n    );\n  }\n\n  const tweak = bcrypto.taggedHash(\n    TAPTWEAK_TAG,\n    Buffer.concat([internalKey, node]),\n  );\n  const tweaked = ecc.xOnlyPointAddTweak(internalKey, tweak);\n  if (tweaked === null) {\n    throw new Error(\n      \"Taproot control block does not yield a valid output key (tweak is off-curve)\",\n    );\n  }\n  const expectedParity = controlBlock[0] & CONTROL_BLOCK_PARITY_MASK;\n  if (tweaked.parity !== expectedParity) {\n    throw new Error(\n      `Taproot output key parity ${tweaked.parity} contradicts the control ` +\n        `block's parity bit ${expectedParity}`,\n    );\n  }\n\n  return Buffer.concat([\n    P2TR_SCRIPT_PUBKEY_PREFIX,\n    Buffer.from(tweaked.xOnlyPubkey),\n  ]);\n}\n","/**\n * Bands a VP-built payout's implicit fee before the depositor pre-signs it.\n * Ceiling (ours, #2105) blocks a VP deflating outputs and burning the\n * difference as miner fee; floor (vault-wasm `computePayoutFeeFloor`) rejects\n * a fee no legitimate VP model produces and that may not relay at redemption.\n *\n * Caller (`buildPayoutPsbt`) must have run `assertPayoutFeeBandDomain` first,\n * and `implicitFeeSats` must be `inputs − outputs` over verified prevouts.\n * Band non-emptiness is proven by the corner sweep in the tests, not by a\n * closed-form argument — slack is not monotone at small rosters.\n *\n * @module primitives/psbt/assertPayoutFeeBand\n */\n\nimport { computePayoutFeeFloor } from \"../../wasm\";\n\n/**\n * Floor-model limit, NOT a protocol bound: vault-wasm seeds dummy keys from a\n * u8, so 257 keepers trap in `VaultKeepers::new` (measured). The contract sets\n * no keeper maximum — a larger roster is an upstream vault-wasm fix.\n */\nconst MAX_FLOOR_MODEL_KEEPERS = 256;\n\n/**\n * Mirrors `vault-contracts-aave-v4 ProtocolParams.sol:22`\n * MAX_UNIVERSAL_CHALLENGERS_SIZE. Safe to copy\n * rather than read: it is a bytecode `constant`, not a governance param, so it\n * cannot move without a redeploy — re-verify it on the next one.\n */\nconst MAX_UNIVERSAL_CHALLENGERS = 1500;\n\n/** Floor-model limit, same u8 dummy-seeding cause as the keeper cap (measured). */\nconst MAX_FLOOR_MODEL_COUNCIL_SIZE = 256;\n\n/**\n * Coarse garbage-input guard, far above the contract's own cap\n * (`vault-contracts-aave-v4 ProtocolParams.sol:44` MAX_FEE_RATE_SAT_VB = 1000).\n */\nconst MAX_SANE_FEE_RATE_SAT_PER_VB = 0xffffffffn;\n\n/**\n * Ceiling vsize model `BASE + PER_PARTICIPANT * (N + M)` — ~13%+ headroom over\n * the exact vsize the VP pays. Values adopted per #2105; kept at parity with\n * the Ledger app's bound so device-signable and SDK-acceptable stay aligned.\n */\nconst MAX_PAYOUT_VSIZE_BASE = 500;\nconst MAX_PAYOUT_VSIZE_PER_PARTICIPANT = 55;\n\n/** P2TR length the model assumes; a longer pinned outs[0] extends the ceiling linearly. */\nconst PAYOUT_BOUND_ASSUMED_SCRIPT_LEN = 34;\n\n/** Shape/rate inputs the fee band is evaluated over. */\nexport interface PayoutFeeBandParams {\n  /** Vault core (tx-graph) version — selects the floor's pinned model set. */\n  vaultCoreVersion: number;\n  /** Vault keeper count (N). */\n  numVaultKeepers: number;\n  /** Universal challenger count (M). */\n  numUniversalChallengers: number;\n  /** Security council size from the locked offchain params version. */\n  councilSize: number;\n  /** Version-locked tx-graph fee rate (sat/vB); anchors both band ends. */\n  protocolFeeRate: bigint;\n}\n\n/**\n * Validate the fee-band inputs lie in the accepted domain. Bounds differ in\n * KIND per role — see each constant.\n *\n * @throws If the rate, a participant count, or `councilSize` is out of range\n */\nexport function assertPayoutFeeBandDomain(params: PayoutFeeBandParams): void {\n  if (\n    typeof params.protocolFeeRate !== \"bigint\" ||\n    params.protocolFeeRate <= 0n ||\n    params.protocolFeeRate > MAX_SANE_FEE_RATE_SAT_PER_VB\n  ) {\n    throw new Error(\n      `protocolFeeRate must be in [1, ${MAX_SANE_FEE_RATE_SAT_PER_VB}] sat/vB, ` +\n        `got ${params.protocolFeeRate}`,\n    );\n  }\n  // Lower bound 1: btc-vault's VaultKeepers::new / UniversalChallengers::new\n  // reject an empty set (crates/vault/src/lib.rs).\n  for (const [role, count, max, reason] of [\n    [\n      \"keepers\",\n      params.numVaultKeepers,\n      MAX_FLOOR_MODEL_KEEPERS,\n      \"fee-floor model limit\",\n    ],\n    [\n      \"challengers\",\n      params.numUniversalChallengers,\n      MAX_UNIVERSAL_CHALLENGERS,\n      \"protocol maximum\",\n    ],\n  ] as const) {\n    if (!Number.isInteger(count) || count < 1 || count > max) {\n      // Only an over-max count is attributable to the bound's reason.\n      throw new Error(\n        `Participant count for ${role} (${count}) is outside the supported ` +\n          `range [1, ${max}]${count > max ? ` (${reason})` : \"\"}.`,\n      );\n    }\n  }\n  // Unvalidated at the WASM boundary: a non-integer truncates at the u32 ABI\n  // and 0 is silently promoted to a 1-member council by the estimator.\n  if (\n    !Number.isInteger(params.councilSize) ||\n    params.councilSize < 1 ||\n    params.councilSize > MAX_FLOOR_MODEL_COUNCIL_SIZE\n  ) {\n    throw new Error(\n      `councilSize must be an integer in ` +\n        `[1, ${MAX_FLOOR_MODEL_COUNCIL_SIZE}], got ${params.councilSize}`,\n    );\n  }\n}\n\n/**\n * Assert `floor <= implicitFeeSats <= ceiling`. `out1Len` is `undefined` for\n * the 2-output (no-commission) layouts.\n *\n * @throws If the fee is below the floor or above the ceiling\n */\nexport async function assertPayoutFeeInBand(\n  params: PayoutFeeBandParams,\n  measured: {\n    implicitFeeSats: number;\n    out0Len: number;\n    out1Len: number | undefined;\n  },\n): Promise<void> {\n  const { implicitFeeSats, out0Len, out1Len } = measured;\n  const numParticipants =\n    params.numVaultKeepers + params.numUniversalChallengers;\n  const implicitFee = BigInt(implicitFeeSats);\n\n  // Ceiling first: synchronous, no WASM round-trip. Only outs[0] widens it —\n  // including the VP-controlled out1Len would hand a padded commission script\n  // up to 94 vB x rate of extra burnable band.\n  const scriptExcess = Math.max(0, out0Len - PAYOUT_BOUND_ASSUMED_SCRIPT_LEN);\n  const maxPayoutVsize =\n    MAX_PAYOUT_VSIZE_BASE +\n    MAX_PAYOUT_VSIZE_PER_PARTICIPANT * numParticipants +\n    scriptExcess;\n  const maxFeeSats = params.protocolFeeRate * BigInt(maxPayoutVsize);\n  if (implicitFee > maxFeeSats) {\n    throw new Error(\n      `Payout implicit fee ${implicitFeeSats} sats exceeds the safety cap ` +\n        `of ${maxFeeSats} sats (${params.protocolFeeRate} sat/vB x ` +\n        `${maxPayoutVsize} vB for ${numParticipants} ` +\n        `participants); refusing to sign payout.`,\n    );\n  }\n\n  // Local challengers are exactly the keeper count for every claimer role\n  // (btc-vault graph.rs derive_challengers).\n  const minFeeSats = await computePayoutFeeFloor(\n    params.vaultCoreVersion,\n    params.numVaultKeepers,\n    params.numUniversalChallengers,\n    params.numVaultKeepers,\n    params.councilSize,\n    out0Len,\n    out1Len,\n    params.protocolFeeRate,\n  );\n  if (implicitFee < minFeeSats) {\n    throw new Error(\n      `Payout implicit fee ${implicitFeeSats} sats is below the floor of ` +\n        `${minFeeSats} sats (the smallest fee any known vault-provider ` +\n        `build produces for this shape); refusing to sign payout.`,\n    );\n  }\n}\n","/**\n * Standard-scriptPubKey validation for registry-supplied payout destinations.\n *\n * RFC-006 lets an operator register an arbitrary payout scriptPubKey, so the\n * bytes we pin a `PayoutTx` output against are now chosen by that operator\n * rather than derived by us. Pinning an output to them without checking the\n * shape would let a keeper that registered a garbage or unspendable script get\n * the depositor to pre-sign a payout nobody can ever claim.\n *\n * This bound is ours alone — it is deliberately NOT parity with `vaultd`.\n * `vaultd` uses registry scripts verbatim at graph-build time and documents\n * why: applying a predicate the contract does not apply would block every\n * peg-in for an operator the instant the two disagreed. The registry itself\n * only bounds length to 1..128 bytes, and the registration CLI has an\n * `--allow-non-standard` escape hatch.\n *\n * We hold the stricter line because we occupy a different position: we are the\n * party being asked to *pre-sign* against these bytes, and a depositor\n * signature pinned to a provably unspendable output is not recoverable. The\n * bound is also load-bearing for the payout fee band — capping a standard\n * output at 34 bytes is what lets `assertPayoutFeeBand` reason about `outs[1]`\n * without a separate length cap.\n *\n * The deliberate consequence: an operator that registers a non-standard script\n * via `--allow-non-standard` can have its graphs built by `vaultd` and still be\n * refused here, blocking deposits against that operator in this dApp. That is\n * fail-closed by choice — the alternative is pre-signing into a destination we\n * cannot verify is spendable.\n *\n * @module primitives/psbt/standardPayoutScript\n */\n\nimport { stripHexPrefix } from \"../utils/bitcoin\";\n\n/** `OP_0 <20>` — P2WPKH. */\nconst P2WPKH_LEN = 22;\n/** `OP_0 <32>` — P2WSH. */\nconst P2WSH_LEN = 34;\n/** `OP_1 <32>` — P2TR. */\nconst P2TR_LEN = 34;\n/** `OP_DUP OP_HASH160 <20> OP_EQUALVERIFY OP_CHECKSIG` — P2PKH. */\nconst P2PKH_LEN = 25;\n/** `OP_HASH160 <20> OP_EQUAL` — P2SH. */\nconst P2SH_LEN = 23;\n\nfunction isP2wpkh(s: string): boolean {\n  return s.length === P2WPKH_LEN * 2 && s.startsWith(\"0014\");\n}\nfunction isP2wsh(s: string): boolean {\n  return s.length === P2WSH_LEN * 2 && s.startsWith(\"0020\");\n}\nfunction isP2tr(s: string): boolean {\n  return s.length === P2TR_LEN * 2 && s.startsWith(\"5120\");\n}\nfunction isP2pkh(s: string): boolean {\n  return (\n    s.length === P2PKH_LEN * 2 && s.startsWith(\"76a914\") && s.endsWith(\"88ac\")\n  );\n}\nfunction isP2sh(s: string): boolean {\n  return s.length === P2SH_LEN * 2 && s.startsWith(\"a914\") && s.endsWith(\"87\");\n}\n\n/**\n * Assert a registry-supplied scriptPubKey is a standard, spendable output type\n * (P2TR, P2WPKH, P2WSH, P2PKH, or P2SH).\n *\n * Rejects empty scripts, `OP_RETURN` (provably unspendable), and anything else\n * that is not one of the five standard forms. `label` names the source in the\n * error, e.g. `vault keeper payout script (admin=0x…)`.\n */\nexport function assertStandardPayoutScript(\n  scriptHex: string,\n  label: string,\n): void {\n  const script = stripHexPrefix(scriptHex).toLowerCase();\n\n  if (script.length === 0) {\n    throw new Error(`${label} is empty`);\n  }\n  if (!/^[0-9a-f]+$/.test(script) || script.length % 2 !== 0) {\n    throw new Error(`${label} is not valid hex`);\n  }\n  if (script.startsWith(\"6a\")) {\n    throw new Error(\n      `${label} is an OP_RETURN output, which is provably unspendable`,\n    );\n  }\n\n  if (\n    !isP2tr(script) &&\n    !isP2wpkh(script) &&\n    !isP2wsh(script) &&\n    !isP2pkh(script) &&\n    !isP2sh(script)\n  ) {\n    throw new Error(\n      `${label} is not a standard scriptPubKey ` +\n        `(expected P2TR, P2WPKH, P2WSH, P2PKH, or P2SH; got ${script.length / 2} bytes: ${script})`,\n    );\n  }\n}\n","/**\n * Payout PSBT Builder Primitives\n *\n * This module provides pure functions for building unsigned payout PSBTs and extracting\n * Schnorr signatures from signed PSBTs. It uses WASM-generated scripts from the payout\n * connector and bitcoinjs-lib for PSBT construction.\n *\n * The Payout transaction references the Assert transaction (input 1).\n *\n * @module primitives/psbt/payout\n */\n\nimport {\n  getAssertPayoutScriptInfo,\n  tapInternalPubkey,\n  type Network,\n} from \"../../wasm\";\nimport { Psbt, Transaction, type TxInput, type TxOutput } from \"bitcoinjs-lib\";\nimport { Buffer } from \"buffer\";\nimport { deriveLocalChallengers } from \"../challengers\";\nimport { createPayoutScript } from \"../scripts/payout\";\nimport {\n  TAPSCRIPT_LEAF_VERSION,\n  deriveBip86ScriptPubKeyHex,\n  hexToUint8Array,\n  isValidHex,\n  stripHexPrefix,\n  uint8ArrayToHex,\n} from \"../utils/bitcoin\";\nimport { computeTaprootScriptPubKey } from \"../utils/taproot\";\nimport {\n  assertPayoutFeeBandDomain,\n  assertPayoutFeeInBand,\n} from \"./assertPayoutFeeBand\";\nimport {\n  ASSERT_PAYOUT_OUTPUT_INDEX,\n  BPS_DENOMINATOR,\n  DEPOSITOR_PAYOUT_INPUT_COUNT,\n  MAX_PAYOUT_SCRIPT_LEN,\n  MAX_VP_COMMISSION_BPS_EXCLUSIVE,\n  NON_VP_CLAIMER_PAYOUT_OUTPUT_COUNT,\n  PAYOUT_ANCHOR_DUST_SATS,\n  PAYOUT_TX_LOCKTIME,\n  PAYOUT_TX_VERSION,\n  PEGIN_VAULT_OUTPUT_INDEX,\n  VP_CLAIMER_PAYOUT_OUTPUT_COUNT,\n} from \"./constants\";\nimport { assertStandardPayoutScript } from \"./standardPayoutScript\";\n\n/**\n * Number of items in a Taproot script-path spend witness stack for a\n * single-signature script: [signature, script, controlBlock].\n *\n * The current payout script requires exactly one depositor signature. If the\n * protocol evolves to require multiple signatures in the payout script, this\n * invariant and the finalized-PSBT extraction path must be revisited because\n * the first witness item would no longer necessarily be the depositor's.\n */\nconst TAPROOT_SINGLE_SIG_WITNESS_STACK_SIZE = 3;\n\n/**\n * Parameters for building an unsigned Payout PSBT\n *\n * Payout is used in the challenge path after Assert, when the claimer proves validity.\n * Input 1 references the Assert transaction.\n */\nexport interface PayoutParams {\n  /**\n   * Vault core (tx-graph) version the vault was registered under — the\n   * vault's stamped on-chain `vaultCoreVersion`. Selects which graph's\n   * payout connector scripts are derived.\n   */\n  vaultCoreVersion: number;\n\n  /**\n   * Payout transaction hex (unsigned)\n   * This is the transaction that needs to be signed by the depositor\n   */\n  payoutTxHex: string;\n\n  /**\n   * Assert transaction hex\n   * Payout input 1 references Assert output 0\n   */\n  assertTxHex: string;\n\n  /**\n   * Peg-in transaction hex\n   * This transaction created the vault output that we're spending\n   */\n  peginTxHex: string;\n\n  /**\n   * Depositor's BTC public key (x-only, 64-char hex without 0x prefix)\n   */\n  depositorBtcPubkey: string;\n\n  /**\n   * Vault provider's BTC public key (x-only, 64-char hex)\n   */\n  vaultProviderBtcPubkey: string;\n\n  /**\n   * Vault keeper BTC public keys (x-only, 64-char hex)\n   */\n  vaultKeeperBtcPubkeys: string[];\n\n  /**\n   * Universal challenger BTC public keys (x-only, 64-char hex)\n   */\n  universalChallengerBtcPubkeys: string[];\n\n  /**\n   * CSV timelock in blocks for the PegIn output (btc-vault `timelock_pegin`);\n   * payout input 0's sequence.\n   */\n  timelockPegin: number;\n\n  /**\n   * CSV timelock in blocks on the Assert:0 payout leaf (btc-vault\n   * `timelock_assert`); payout input 1's sequence.\n   */\n  timelockAssert: number;\n\n  /**\n   * Bitcoin network\n   */\n  network: Network;\n\n  /**\n   * Claimer's x-only BTC public key (64-char hex, no prefix). Drives role\n   * inference (VP / depositor-as-claimer / VK-claimer) inside `buildPayoutPsbt`.\n   */\n  claimerBtcPubkey: string;\n\n  /**\n   * On-chain registered depositor payout scriptPubKey (hex, 0x optional).\n   * Expected outs[0].script for VP- and depositor-claimer roles; unused for\n   * VK-claimer (its outs[0].script is derived from `claimerBtcPubkey`).\n   */\n  registeredPayoutScriptPubKey: string;\n\n  /**\n   * VP commission in basis points (`BTCVaultRegistry.vaultProviderCommissionBps`).\n   * Caps the VP-claimer outs[1].value. The protocol minimum is enforced\n   * upstream; here only `0 <= bps < 10_000` is checked, for safe cap math.\n   */\n  commissionBps: number;\n\n  /**\n   * Tx-graph fee rate (sat/vB) the graph was built with — the version-locked\n   * `offchainParams.feeRate` at the vault's stamped `offchainParamsVersion`,\n   * NOT a live read. Anchors both ends of the fee band.\n   */\n  protocolFeeRate: bigint;\n\n  /**\n   * Security council member x-only public keys (hex) from the locked offchain\n   * params version — `getOffchainParamsByVersion(...).securityCouncilKeys`.\n   * The council occupies the last leaf of the Assert:0 taptree\n   * (btc-vault `crates/vault/src/connectors/assert_payout_nopayout_council.rs`),\n   * so the keys are needed to rebuild input 1's payout leaf, and the count\n   * feeds the fee-band domain.\n   */\n  councilMembers: string[];\n\n  /**\n   * M-of-N council quorum from the locked offchain params version —\n   * `getOffchainParamsByVersion(...).councilQuorum`. Shapes the council leaf's\n   * multisig script, and with it the Assert:0 taptree root.\n   */\n  councilQuorum: number;\n\n  /**\n   * RFC-006. Expected `outs[0].script` per vault-keeper claimer, keyed by\n   * lowercased x-only **operation** pubkey (no `0x`), resolved from\n   * `ApplicationRegistry.getPayoutScriptAtEpoch` at the vault's frozen\n   * `appKeeperKeyEpoch`.\n   *\n   * Every VK claimer must be present: a claimer missing from the map is an\n   * error rather than a cue to derive BIP-86, because a gap means resolution\n   * was incomplete and we do not know what that keeper registered.\n   *\n   * Each entry accepts either that registered script or the BIP-86 default of\n   * the same bonded key, so graphs built before btc-vault#2440 remain signable\n   * — see {@link acceptedPayoutScriptHexes} for why that is required and when\n   * it can be dropped.\n   */\n  vkClaimerPayoutScriptPubKeys: Readonly<Record<string, string>>;\n\n  /**\n   * RFC-006. Expected `outs[1].script` for the VP-claimer commission output,\n   * from `BTCVaultRegistry.getPayoutScriptAtEpoch` at the vault's frozen\n   * `vpKeyEpoch`. The BIP-86 default of the bonded VP key is accepted alongside\n   * it — see {@link acceptedPayoutScriptHexes}.\n   */\n  vpCommissionScriptPubKey: string;\n}\n\n/**\n * Result of building an unsigned payout PSBT\n */\nexport interface PayoutPsbtResult {\n  /**\n   * Unsigned PSBT hex ready for signing\n   */\n  psbtHex: string;\n}\n\n/**\n * Build unsigned Payout PSBT for depositor to sign.\n *\n * Payout is used in the **challenge path** when the claimer proves validity:\n * 1. Vault provider submits Claim transaction\n * 2. Challenge is raised during challenge period\n * 3. Claimer submits Assert transaction to prove validity\n * 4. Payout can be executed (references Assert tx)\n *\n * Payout transactions have the following structure:\n * - Input 0: from PeginTx output0 (signed by depositor)\n * - Input 1: from Assert output0 (NOT signed by depositor)\n *\n * Both inputs carry their taproot script-path leaf. Input 1's is not signed\n * here — it is what a hardware signer reads to display the payout terms.\n *\n * @param params - Payout parameters\n * @returns Unsigned PSBT ready for depositor to sign\n *\n * @throws If payout transaction does not have exactly 2 inputs\n * @throws If input 0 does not spend PegIn:0 (vault UTXO)\n * @throws If input 1 does not spend Assert:0 (proof output)\n * @throws If previous output is not found for either input\n * @throws If sum of output values exceeds sum of input values (invalid tx)\n * @throws If the implicit fee (inputs − outputs) is outside the fee band —\n *   below the floor or above the fee-band ceiling (see\n *   {@link assertPayoutFeeInBand})\n * @throws If `protocolFeeRate`, a participant count, or the council size is\n *   outside the accepted input domain (see {@link assertPayoutFeeBandDomain})\n * @throws If a non-anchor scriptPubKey length is outside `[1,\n *   {@link MAX_PAYOUT_SCRIPT_LEN}]`\n * @throws If `claimerBtcPubkey` is not VP, depositor, or a registered VK\n * @throws If payout output count, outs[0] script, outs[last] anchor value, or\n *   (VP-claimer) outs[1] commission cap do not match the protocol layout\n * @throws If `commissionBps` is not a non-negative integer below 10_000\n * @throws If the locally rebuilt Assert:0 payout leaf does not bind to the\n *   Assert output input 1 spends\n */\nexport async function buildPayoutPsbt(\n  params: PayoutParams,\n): Promise<PayoutPsbtResult> {\n  const feeBandParams = {\n    vaultCoreVersion: params.vaultCoreVersion,\n    numVaultKeepers: params.vaultKeeperBtcPubkeys.length,\n    numUniversalChallengers: params.universalChallengerBtcPubkeys.length,\n    councilSize: params.councilMembers.length,\n    protocolFeeRate: params.protocolFeeRate,\n  };\n  assertPayoutFeeBandDomain(feeBandParams);\n\n  const payoutTx = Transaction.fromHex(stripHexPrefix(params.payoutTxHex));\n  const peginTx = Transaction.fromHex(stripHexPrefix(params.peginTxHex));\n  const assertTx = Transaction.fromHex(stripHexPrefix(params.assertTxHex));\n\n  if (payoutTx.ins.length !== DEPOSITOR_PAYOUT_INPUT_COUNT) {\n    throw new Error(\n      `Payout transaction must have exactly ${DEPOSITOR_PAYOUT_INPUT_COUNT} ` +\n        `inputs, got ${payoutTx.ins.length}`,\n    );\n  }\n  // btc-vault builds every payout with these literals (payout.rs:154-155);\n  // the sighash commits to them, so refuse rather than sign a foreign shape.\n  if (payoutTx.version !== PAYOUT_TX_VERSION) {\n    throw new Error(\n      `Payout transaction version ${payoutTx.version} must be ` +\n        `${PAYOUT_TX_VERSION}; refusing to sign payout.`,\n    );\n  }\n  if (payoutTx.locktime !== PAYOUT_TX_LOCKTIME) {\n    throw new Error(\n      `Payout transaction locktime ${payoutTx.locktime} must be ` +\n        `${PAYOUT_TX_LOCKTIME}; refusing to sign payout.`,\n    );\n  }\n  // Input sequences carry the CSV timelocks (payout.rs:108,119). Each is\n  // checked after its own outpoint resolves so a wrong prevout reports itself.\n  const peginPrevOut = requirePrevOut(\n    payoutTx.ins[0],\n    0,\n    peginTx,\n    \"PegIn\",\n    PEGIN_VAULT_OUTPUT_INDEX,\n  );\n  if (payoutTx.ins[0].sequence !== params.timelockPegin) {\n    throw new Error(\n      `Payout input 0 sequence ${payoutTx.ins[0].sequence} must equal the ` +\n        `PegIn CSV timelock ${params.timelockPegin}; refusing to sign payout.`,\n    );\n  }\n\n  const assertPrevOut = requirePrevOut(\n    payoutTx.ins[1],\n    1,\n    assertTx,\n    \"Assert\",\n    ASSERT_PAYOUT_OUTPUT_INDEX,\n  );\n  if (payoutTx.ins[1].sequence !== params.timelockAssert) {\n    throw new Error(\n      `Payout input 1 sequence ${payoutTx.ins[1].sequence} must equal the ` +\n        `Assert CSV timelock ${params.timelockAssert}; refusing to sign payout.`,\n    );\n  }\n  // Assert:0's value is deliberately NOT validated: the taproot sighash\n  // commits to input 1's amount and outpoint, so a misstated value yields a\n  // signature invalid against the real Assert tx — nothing to protect. (The\n  // device pins the band [546, 546 + base_fee_rate*500] here, Q15.)\n\n  // Per-role output validation — blocks an extra attacker output or value\n  // routed into a non-payout slot. Returns the layout-trusted script lengths\n  // the fee band consumes.\n  const { out0Len, out1Len } = assertPayoutOutputLayout(\n    payoutTx,\n    peginPrevOut.value,\n    params,\n  );\n\n  const inputValueSats = peginPrevOut.value + assertPrevOut.value;\n  let outputValueSats = 0;\n  for (const out of payoutTx.outs) outputValueSats += out.value;\n  if (outputValueSats > inputValueSats) {\n    throw new Error(\n      `Payout outputs (${outputValueSats} sats) exceed inputs ` +\n        `(${inputValueSats} sats); invalid transaction.`,\n    );\n  }\n  const implicitFeeSats = inputValueSats - outputValueSats;\n  await assertPayoutFeeInBand(feeBandParams, {\n    implicitFeeSats,\n    out0Len,\n    out1Len,\n  });\n\n  // Only assembly needs the WASM-derived scripts — derive them after the\n  // transaction has passed every validation gate.\n  const payoutConnector = await createPayoutScript({\n    vaultCoreVersion: params.vaultCoreVersion,\n    depositor: params.depositorBtcPubkey,\n    vaultProvider: params.vaultProviderBtcPubkey,\n    vaultKeepers: params.vaultKeeperBtcPubkeys,\n    universalChallengers: params.universalChallengerBtcPubkeys,\n    timelockPegin: params.timelockPegin,\n    network: params.network,\n  });\n\n  const assertPayoutLeaf = await resolveAssertPayoutLeaf(params, assertPrevOut);\n\n  return {\n    psbtHex: assemblePayoutPsbt(\n      payoutTx,\n      peginPrevOut,\n      assertPrevOut,\n      payoutConnector,\n      assertPayoutLeaf,\n    ),\n  };\n}\n\n/** The Assert:0 payout tapscript leaf, as attached to payout input 1. */\ninterface AssertPayoutLeaf {\n  script: Uint8Array;\n  controlBlock: Uint8Array;\n}\n\n/**\n * Rebuild the Assert:0 payout leaf from the vault's on-chain participant set\n * and assert it spends `assertPrevOut`.\n *\n * The depositor does not sign input 1, but the Ledger vault app reads this leaf\n * off the PSBT to display the payout terms\n * (`sign_psbt_validate.c::vault_read_payout_leaf_script`), so a leaf that\n * belonged to a different taptree would show the depositor terms the\n * transaction cannot actually enforce. Critical Path #3: derive, then bind to\n * the real previous output — never forward VP-supplied bytes.\n *\n * @internal Helper invoked by {@link buildPayoutPsbt}.\n */\nasync function resolveAssertPayoutLeaf(\n  params: PayoutParams,\n  assertPrevOut: TxOutput,\n): Promise<AssertPayoutLeaf> {\n  const { payoutScript, payoutControlBlock } = await getAssertPayoutScriptInfo({\n    txGraphVersion: params.vaultCoreVersion,\n    claimer: stripHexPrefix(params.claimerBtcPubkey).toLowerCase(),\n    localChallengers: deriveLocalChallengers({\n      claimerBtcPubkey: params.claimerBtcPubkey,\n      depositorBtcPubkey: params.depositorBtcPubkey,\n      vaultProviderBtcPubkey: params.vaultProviderBtcPubkey,\n      vaultKeeperBtcPubkeys: params.vaultKeeperBtcPubkeys,\n    }),\n    universalChallengers: params.universalChallengerBtcPubkeys.map((k) =>\n      stripHexPrefix(k).toLowerCase(),\n    ),\n    timelockAssert: params.timelockAssert,\n    councilMembers: params.councilMembers.map((k) =>\n      stripHexPrefix(k).toLowerCase(),\n    ),\n    councilQuorum: params.councilQuorum,\n  });\n\n  const script = hexToUint8Array(payoutScript);\n  const controlBlock = hexToUint8Array(payoutControlBlock);\n  const boundScriptPubKey = computeTaprootScriptPubKey({\n    leafVersion: TAPSCRIPT_LEAF_VERSION,\n    script,\n    controlBlock,\n  });\n  if (!assertPrevOut.script.equals(boundScriptPubKey)) {\n    throw new Error(\n      `Rebuilt Assert:0 payout leaf does not spend the Assert output being ` +\n        `referenced: leaf binds to ${boundScriptPubKey.toString(\"hex\")}, ` +\n        `Assert:${ASSERT_PAYOUT_OUTPUT_INDEX} pays ` +\n        `${assertPrevOut.script.toString(\"hex\")}; refusing to sign payout.`,\n    );\n  }\n\n  return { script, controlBlock };\n}\n\n/**\n * Verify `payoutTx.ins[inputIndex]` spends `parentTx:expectedVout` (both txid\n * AND vout — the vout is the input-side anchor that prevents a malicious VP\n * from binding the depositor's signature to a different output of the same\n * parent) and return the referenced previous output.\n *\n * @internal Helper invoked by {@link buildPayoutPsbt}.\n */\nfunction requirePrevOut(\n  input: TxInput,\n  inputIndex: number,\n  parentTx: Transaction,\n  parentLabel: string,\n  expectedVout: number,\n): TxOutput {\n  const inputTxid = uint8ArrayToHex(\n    new Uint8Array(input.hash).slice().reverse(),\n  );\n  const parentTxid = parentTx.getId();\n  if (inputTxid !== parentTxid || input.index !== expectedVout) {\n    throw new Error(\n      `Input ${inputIndex} must spend ${parentLabel}:${expectedVout}. ` +\n        `Expected ${parentTxid}:${expectedVout}, got ${inputTxid}:${input.index}`,\n    );\n  }\n  const prevOut = parentTx.outs[input.index];\n  if (!prevOut) {\n    throw new Error(\n      `Previous output not found for input ${inputIndex} ` +\n        `(txid: ${inputTxid}, index: ${input.index})`,\n    );\n  }\n  return prevOut;\n}\n\n/**\n * Assemble the unsigned PSBT from the validated payout transaction.\n *\n * IMPORTANT: For Taproot SIGHASH_DEFAULT (0x00), the sighash commits to ALL\n * inputs' prevouts, not just the one being signed — both inputs must be in\n * the PSBT so the wallet computes the sighash the VP expects.\n *\n * @internal Helper invoked by {@link buildPayoutPsbt}.\n */\nfunction assemblePayoutPsbt(\n  payoutTx: Transaction,\n  peginPrevOut: TxOutput,\n  assertPrevOut: TxOutput,\n  payoutConnector: { payoutScript: string; payoutControlBlock: string },\n  assertPayoutLeaf: AssertPayoutLeaf,\n): string {\n  const psbt = new Psbt();\n  psbt.setVersion(payoutTx.version);\n  psbt.setLocktime(payoutTx.locktime);\n\n  const [input0, input1] = payoutTx.ins;\n\n  // Input 0: depositor signs via Taproot script path — carries tapLeafScript.\n  psbt.addInput({\n    hash: input0.hash,\n    index: input0.index,\n    sequence: input0.sequence,\n    witnessUtxo: {\n      script: peginPrevOut.script,\n      value: peginPrevOut.value,\n    },\n    tapLeafScript: [\n      {\n        leafVersion: TAPSCRIPT_LEAF_VERSION,\n        script: Buffer.from(hexToUint8Array(payoutConnector.payoutScript)),\n        controlBlock: Buffer.from(\n          hexToUint8Array(payoutConnector.payoutControlBlock),\n        ),\n      },\n    ],\n    tapInternalKey: Buffer.from(tapInternalPubkey),\n    // sighashType omitted - defaults to SIGHASH_DEFAULT (0x00) for Taproot\n  });\n\n  // Input 1: from Assert — not signed by the depositor, but the Ledger vault\n  // app reads the payout leaf here to display the terms, so it must be present.\n  psbt.addInput({\n    hash: input1.hash,\n    index: input1.index,\n    sequence: input1.sequence,\n    witnessUtxo: {\n      script: assertPrevOut.script,\n      value: assertPrevOut.value,\n    },\n    tapLeafScript: [\n      {\n        leafVersion: TAPSCRIPT_LEAF_VERSION,\n        script: Buffer.from(assertPayoutLeaf.script),\n        controlBlock: Buffer.from(assertPayoutLeaf.controlBlock),\n      },\n    ],\n    tapInternalKey: Buffer.from(tapInternalPubkey),\n  });\n\n  for (const output of payoutTx.outs) {\n    psbt.addOutput({\n      script: output.script,\n      value: output.value,\n    });\n  }\n\n  return psbt.toHex();\n}\n\n/**\n * The scriptPubKeys a payout output may legitimately pay for `bondedPubkey`.\n *\n * ## What this is\n *\n * A deliberate dual-accept: both the operator's RFC-006 **registered** payout\n * script and the **BIP-86 default** of its bonded operation key are treated as\n * valid destinations for the same output.\n *\n * ## Why both forms exist\n *\n * A vault provider running a daemon that predates btc-vault#2440 computes\n * operator payout destinations itself, via BIP-86 over the bonded operation\n * key. From #2440 onward it reads them from the registry instead\n * (`getPayoutScriptAtEpoch`), so an operator can point payouts at cold custody.\n *\n * The two forms are not a transition state that resolves on its own. A payout\n * graph is built once, at BaBe Setup, and is **never rebuilt** — so a vault\n * whose graph was built before its network's #2440 upgrade pays BIP-86 for the\n * rest of its life. Accepting only the registered form makes every such vault\n * permanently unsignable: the depositor can never complete the deposit, and\n * the BTC is already committed by then. Confirmed on devnet 2026-08-04, where\n * a pre-upgrade vault failed exactly this way.\n *\n * ## Why this is not a weakening\n *\n * Both candidates are derived here from on-chain state — the registry read and\n * a local BIP-86 derivation over the bonded key. Neither is taken from the VP's\n * response, so a substituted or attacker-chosen script still fails.\n *\n * The only substitution this permits is between two destinations the *same\n * operator* already controls, which moves that operator's own funds between its\n * own addresses. It cannot redirect value to a third party, and it cannot touch\n * the depositor's output. For the VP commission the value cap\n * (`floor(peginValue × commissionBps / 10_000)`) still bounds depositor\n * exposure independently of where the commission goes. The BIP-86 branch is\n * also precisely what every pre-RFC-006 client pinned, so this is the older\n * rule retained alongside the newer one, not a laxer rule invented for it.\n *\n * ## When this can be removed\n *\n * This validation runs at one point in the lifecycle: depositor payout signing\n * (`PENDING` → `VERIFIED`). It is not re-run on refund or withdrawal. So the\n * BIP-86 branch stops being reachable for a network once every vault\n * registered before that network's #2440 upgrade has left\n * `PendingDepositorSignatures` — signed and activated, or expired past its\n * activation deadline. That is bounded by the vault lifetime, not indefinite.\n *\n * Removal is therefore gated by the **last** network to upgrade, since this\n * code is shared. Concretely: drop the BIP-86 branch only once devnet, testnet\n * and mainnet have all been on #2440 for longer than the activation deadline,\n * and no vault registered before those upgrades is still awaiting signatures.\n * Deleting it earlier strands deposits with BTC already locked; there is no\n * recovery path short of the refund timelock.\n *\n * @internal Helper invoked by {@link assertPayoutOutputLayout}.\n */\nfunction acceptedPayoutScriptHexes(\n  registeredScriptPubKey: string,\n  bondedPubkey: string,\n): string[] {\n  const registered = stripHexPrefix(registeredScriptPubKey).toLowerCase();\n  const legacyBip86 = stripHexPrefix(\n    deriveBip86ScriptPubKeyHex(bondedPubkey),\n  ).toLowerCase();\n  return registered === legacyBip86 ? [registered] : [registered, legacyBip86];\n}\n\n/** Whether `script` matches any of `acceptedHexes`. */\nfunction matchesAnyScript(script: Buffer, acceptedHexes: string[]): boolean {\n  return acceptedHexes.some((hex) => script.equals(Buffer.from(hex, \"hex\")));\n}\n\n/**\n * Validate a payout transaction's output structure for the claimer's role,\n * keyed on `claimerBtcPubkey`. Pins per role: `outs.length`, `outs[0].script`,\n * `outs[last].value` (anchor dust), and — for the VP-claimer —\n * `outs[1].script` plus `outs[1].value`, capped at\n * `floor(peginValue × commissionBps / 10_000)`. Canonical layouts: VP-claimer\n * = [payout, commission, anchor]; depositor/VK-claimer = [payout, anchor].\n *\n * `outs[last].script` (the CPFP anchor) is intentionally not pinned: the value\n * pin above bounds depositor exposure regardless of where that dust goes.\n *\n * `outs[1].script` (the VP commission) was unpinned for the same reason.\n * RFC-006 supersedes that rationale: the commission destination is now an\n * operator-registered scriptPubKey we resolve independently at the vault's\n * frozen `vpKeyEpoch`, so it is pinned too — `vpCommissionScriptPubKey` is a\n * required parameter, so there is no unpinned case. The value cap stays — it is\n * still what bounds exposure — and the script pin is added precision, not a\n * replacement for it.\n *\n * What counts as a match differs by output.\n * {@link acceptedPayoutScriptHexes} accepts two candidates — the registered\n * scriptPubKey and the BIP-86 derivation over the bonded key, the latter as a\n * transitional allowance — and backs the VK-claimer's `outs[0]` and the VP\n * commission `outs[1]`. The VP-claimer and depositor-as-claimer `outs[0]` is\n * pinned to the registered payout script alone.\n *\n * Returns the layout-trusted non-anchor script lengths for the fee band:\n * `out0Len` from the pinned `outs[0]` script, and `out1Len` from the pinned\n * VP-claimer commission output, `undefined` for the other roles. Only\n * `out0Len` is range-checked, against the contract's registration cap\n * `[1, MAX_PAYOUT_SCRIPT_LEN]`; `outs[1]` carries no length cap of its own\n * because `assertStandardPayoutScript` already bounds it to a standard output\n * type, which makes the cap unreachable.\n *\n * @internal Helper invoked by {@link buildPayoutPsbt}.\n */\nfunction assertPayoutOutputLayout(\n  payoutTx: Transaction,\n  peginValueSats: number,\n  params: PayoutParams,\n): { out0Len: number; out1Len: number | undefined } {\n  const {\n    claimerBtcPubkey,\n    vaultProviderBtcPubkey,\n    depositorBtcPubkey,\n    vaultKeeperBtcPubkeys,\n    registeredPayoutScriptPubKey,\n    commissionBps,\n    vkClaimerPayoutScriptPubKeys,\n    vpCommissionScriptPubKey,\n  } = params;\n\n  if (!isValidHex(registeredPayoutScriptPubKey)) {\n    throw new Error(\"Invalid registeredPayoutScriptPubKey: not valid hex\");\n  }\n\n  const claimer = stripHexPrefix(claimerBtcPubkey).toLowerCase();\n  const vp = stripHexPrefix(vaultProviderBtcPubkey).toLowerCase();\n  const dep = stripHexPrefix(depositorBtcPubkey).toLowerCase();\n  const keepers = vaultKeeperBtcPubkeys.map((k) =>\n    stripHexPrefix(k).toLowerCase(),\n  );\n\n  type Role = \"vp-claimer\" | \"depositor-as-claimer\" | \"vk-claimer\";\n  let role: Role;\n  let expectedOutCount: number;\n  let acceptedOut0ScriptHexes: string[];\n\n  if (claimer === vp) {\n    role = \"vp-claimer\";\n    expectedOutCount = VP_CLAIMER_PAYOUT_OUTPUT_COUNT;\n    acceptedOut0ScriptHexes = [stripHexPrefix(registeredPayoutScriptPubKey)];\n  } else if (claimer === dep) {\n    role = \"depositor-as-claimer\";\n    expectedOutCount = NON_VP_CLAIMER_PAYOUT_OUTPUT_COUNT;\n    acceptedOut0ScriptHexes = [stripHexPrefix(registeredPayoutScriptPubKey)];\n  } else if (keepers.includes(claimer)) {\n    role = \"vk-claimer\";\n    expectedOutCount = NON_VP_CLAIMER_PAYOUT_OUTPUT_COUNT;\n    // RFC-006: a keeper's payout goes to the scriptPubKey it registered\n    // on-chain, resolved at the vault's frozen keeper epoch. Deriving BIP-86\n    // locally as the sole expectation would reject a valid payout the moment a\n    // keeper points its payouts at cold custody.\n    //\n    // A missing entry is an error, never a BIP-86 fallback: the registry\n    // backfills BIP-86 itself for keepers that never registered a script, so a\n    // gap here means the resolution was incomplete, not that this keeper is on\n    // the default.\n    const registered = vkClaimerPayoutScriptPubKeys[claimer];\n    if (registered === undefined) {\n      throw new Error(\n        `No registered payout script resolved for vault keeper claimer ${claimer}`,\n      );\n    }\n    assertStandardPayoutScript(\n      registered,\n      `Vault keeper payout script for claimer ${claimer}`,\n    );\n    acceptedOut0ScriptHexes = acceptedPayoutScriptHexes(registered, claimer);\n  } else {\n    throw new Error(\n      `Unknown claimer pubkey ${claimer}: not VP, depositor, or a registered vault keeper`,\n    );\n  }\n\n  if (payoutTx.outs.length !== expectedOutCount) {\n    throw new Error(\n      `Payout transaction has ${payoutTx.outs.length} output(s), ` +\n        `expected exactly ${expectedOutCount} for role ${role}.`,\n    );\n  }\n\n  if (!matchesAnyScript(payoutTx.outs[0].script, acceptedOut0ScriptHexes)) {\n    throw new Error(\n      `Payout transaction output 0 does not pay the expected scriptPubKey for role ${role}. ` +\n        `Accepted: ${acceptedOut0ScriptHexes.join(\" or \")}; ` +\n        `got ${payoutTx.outs[0].script.toString(\"hex\")}`,\n    );\n  }\n\n  const anchorIdx = expectedOutCount - 1;\n  if (payoutTx.outs[anchorIdx].value !== PAYOUT_ANCHOR_DUST_SATS) {\n    throw new Error(\n      `Payout CPFP anchor (out ${anchorIdx}) value ${payoutTx.outs[anchorIdx].value} sats ` +\n        `must equal ${PAYOUT_ANCHOR_DUST_SATS} sats`,\n    );\n  }\n\n  if (role === \"vp-claimer\") {\n    // RFC-006 commission destination. Checked before the value cap so a\n    // substituted destination reports as such rather than surfacing later as a\n    // confusing amount error.\n    assertStandardPayoutScript(\n      vpCommissionScriptPubKey,\n      \"Vault provider commission payout script\",\n    );\n    const acceptedCommissionScriptHexes = acceptedPayoutScriptHexes(\n      vpCommissionScriptPubKey,\n      vp,\n    );\n    if (\n      !matchesAnyScript(payoutTx.outs[1].script, acceptedCommissionScriptHexes)\n    ) {\n      throw new Error(\n        `Payout transaction output 1 does not pay the vault provider's commission scriptPubKey. ` +\n          `Accepted: ${acceptedCommissionScriptHexes.join(\" or \")}; ` +\n          `got ${payoutTx.outs[1].script.toString(\"hex\")}`,\n      );\n    }\n\n    // Structural guard only — a non-negative integer below the bps\n    // denominator, so the cap math `floor(peginValue * bps / 10_000)` is\n    // meaningful. The protocol minimum is enforced at the trust boundary\n    // (`prepareSigningContext`); a too-low value here is fail-safe.\n    if (\n      !Number.isInteger(commissionBps) ||\n      commissionBps < 0 ||\n      commissionBps >= MAX_VP_COMMISSION_BPS_EXCLUSIVE\n    ) {\n      throw new Error(\n        `commissionBps must be an integer in ` +\n          `[0, ${MAX_VP_COMMISSION_BPS_EXCLUSIVE}), got ${commissionBps}`,\n      );\n    }\n    const maxCommissionSats = Math.floor(\n      (peginValueSats * commissionBps) / BPS_DENOMINATOR,\n    );\n    if (payoutTx.outs[1].value > maxCommissionSats) {\n      throw new Error(\n        `Payout VP commission (out 1) value ${payoutTx.outs[1].value} sats ` +\n          `exceeds cap ${maxCommissionSats} sats ` +\n          `(${commissionBps} bps of peginValue=${peginValueSats})`,\n      );\n    }\n  }\n\n  // The accepted-script set can hold more than one candidate (dual-accept), so\n  // the length the fee band consumes is that of the output actually present —\n  // which the check above has already pinned to one of the accepted values.\n  const out0Len = payoutTx.outs[0].script.length;\n  if (out0Len === 0 || out0Len > MAX_PAYOUT_SCRIPT_LEN) {\n    throw new Error(\n      `Payout receiver scriptPubKey length ${out0Len} is outside the ` +\n        `contract's registration cap [1, ${MAX_PAYOUT_SCRIPT_LEN}]; ` +\n        `refusing to sign payout.`,\n    );\n  }\n  // No length cap on outs[1]: under RFC-006 the commission output is pinned to\n  // the operator's registered script, and `assertStandardPayoutScript` above\n  // already bounds that to a standard type (34 bytes at most). A separate\n  // 128-byte cap here would be unreachable. Still measured, because the fee\n  // floor consumes it — and now from a pinned source rather than a\n  // VP-controlled one.\n  const out1Len =\n    role === \"vp-claimer\" ? payoutTx.outs[1].script.length : undefined;\n\n  return { out0Len, out1Len };\n}\n\n/**\n * Extract Schnorr signature from signed payout PSBT.\n *\n * This function supports two cases:\n * 1. Non-finalized PSBT: Extracts from tapScriptSig field\n * 2. Finalized PSBT: Extracts from witness data\n *\n * The signature is returned as a 64-byte hex string (128 hex characters).\n * Payout signatures must use implicit Taproot SIGHASH_DEFAULT, which is\n * encoded by omitting the sighash byte.\n *\n * @param signedPsbtHex - Signed PSBT hex\n * @param depositorPubkey - Depositor's public key (x-only, 64-char hex)\n * @param inputIndex - Input index to extract signature from (default: 0)\n * @returns 64-byte Schnorr signature (128 hex characters, no sighash flag)\n *\n * @throws If no signature is found in the PSBT\n * @throws If the signature has an unexpected length\n */\nexport function extractPayoutSignature(\n  signedPsbtHex: string,\n  depositorPubkey: string,\n  inputIndex = 0,\n): string {\n  const signedPsbt = Psbt.fromHex(signedPsbtHex);\n\n  if (inputIndex >= signedPsbt.data.inputs.length) {\n    throw new Error(\n      `Input index ${inputIndex} out of range (${signedPsbt.data.inputs.length} inputs)`,\n    );\n  }\n\n  const input = signedPsbt.data.inputs[inputIndex];\n\n  // Case 1: Non-finalized PSBT — extract from tapScriptSig\n  if (input.tapScriptSig && input.tapScriptSig.length > 0) {\n    const depositorPubkeyBytes = hexToUint8Array(depositorPubkey);\n\n    for (const sigEntry of input.tapScriptSig) {\n      if (sigEntry.pubkey.equals(Buffer.from(depositorPubkeyBytes))) {\n        return extractSchnorrSig(sigEntry.signature, inputIndex);\n      }\n    }\n\n    throw new Error(\n      `No signature found for depositor pubkey: ${depositorPubkey} at input ${inputIndex}`,\n    );\n  }\n\n  // Case 2: Finalized PSBT — extract from finalScriptWitness\n  // Taproot single-signature script-path witness: [signature, script, controlBlock].\n  // Enforce the exact stack size so that if a wallet produces an unexpected\n  // finalization (e.g. a multi-signature stack, an annex, or malformed data),\n  // we fail loudly instead of silently returning witnessStack[0] which may\n  // not be the depositor's signature.\n  if (input.finalScriptWitness && input.finalScriptWitness.length > 0) {\n    const witnessStack = parseWitnessStack(input.finalScriptWitness);\n    if (witnessStack.length !== TAPROOT_SINGLE_SIG_WITNESS_STACK_SIZE) {\n      throw new Error(\n        `Unexpected finalized witness stack size at input ${inputIndex}: ` +\n          `expected ${TAPROOT_SINGLE_SIG_WITNESS_STACK_SIZE} items (signature, script, controlBlock), ` +\n          `got ${witnessStack.length}`,\n      );\n    }\n    return extractSchnorrSig(witnessStack[0], inputIndex);\n  }\n\n  throw new Error(\n    `No tapScriptSig or finalScriptWitness found in signed PSBT at input ${inputIndex}`,\n  );\n}\n\n/**\n * Extract and validate a 64-byte Schnorr signature.\n * Rejects 65-byte signatures because the appended sighash byte changes the\n * Taproot message being signed; stripping it would produce an unverifiable\n * SIGHASH_DEFAULT signature.\n * @internal\n */\nfunction extractSchnorrSig(sig: Uint8Array, inputIndex: number): string {\n  if (sig.length === 64) {\n    return uint8ArrayToHex(new Uint8Array(sig));\n  }\n  if (sig.length === 65) {\n    throw new Error(\n      `Unexpected sighash byte 0x${sig[64].toString(16).padStart(2, \"0\")} at input ${inputIndex}. ` +\n        \"Expected implicit SIGHASH_DEFAULT as a 64-byte signature.\",\n    );\n  }\n  throw new Error(\n    `Unexpected signature length at input ${inputIndex}: ${sig.length}`,\n  );\n}\n\n/**\n * Parse a BIP-141 serialized witness stack into individual stack items.\n * Format: [varint item_count] [varint len, data]...\n *\n * Throws on malformed input (truncated buffer, 8-byte varints, or trailing\n * bytes) so callers never receive silently-corrupted witness items.\n * @internal\n */\nfunction parseWitnessStack(witness: Buffer): Buffer[] {\n  const items: Buffer[] = [];\n  let offset = 0;\n\n  const requireBytes = (n: number): void => {\n    if (offset + n > witness.length) {\n      throw new Error(\n        `Malformed witness data: need ${n} byte(s) at offset ${offset}, only ${witness.length - offset} remaining`,\n      );\n    }\n  };\n\n  const readVarInt = (): number => {\n    requireBytes(1);\n    const first = witness[offset++];\n    if (first < 0xfd) return first;\n    if (first === 0xfd) {\n      requireBytes(2);\n      const val = (witness[offset] | (witness[offset + 1] << 8)) >>> 0;\n      offset += 2;\n      return val;\n    }\n    if (first === 0xfe) {\n      requireBytes(4);\n      const val =\n        (witness[offset] |\n          (witness[offset + 1] << 8) |\n          (witness[offset + 2] << 16) |\n          (witness[offset + 3] << 24)) >>>\n        0;\n      offset += 4;\n      return val;\n    }\n    // 0xff — 8-byte varint. Not used for witness sizes in practice and JS\n    // numbers cannot represent all 64-bit values exactly, so reject rather\n    // than risk silent truncation.\n    throw new Error(\n      `Malformed witness data: 8-byte varint (0xff) not supported at offset ${offset - 1}`,\n    );\n  };\n\n  const count = readVarInt();\n  for (let i = 0; i < count; i++) {\n    const len = readVarInt();\n    requireBytes(len);\n    items.push(Buffer.from(witness.subarray(offset, offset + len)));\n    offset += len;\n  }\n\n  if (offset !== witness.length) {\n    throw new Error(\n      `Malformed witness data: ${witness.length - offset} trailing byte(s) after parsing ${count} item(s)`,\n    );\n  }\n\n  return items;\n}\n","/**\n * Asserts a wallet-returned PSBT encodes the same unsigned transaction\n * as the locally-built PSBT we asked the wallet to sign. Per-input PSBT\n * metadata (witnessUtxo, tapLeafScript, sighashType) is intentionally NOT\n * compared — those fields are committed to the Schnorr sighash and the\n * vault provider's `verify_depositor_signature` rejects mismatches there.\n * This primitive defends the path where a colluding VP would otherwise\n * accept a wallet-substituted signature.\n */\n\nimport { Buffer } from \"buffer\";\n\nimport { Psbt } from \"bitcoinjs-lib\";\n\n/**\n * Thrown when a wallet-returned PSBT encodes a different unsigned\n * transaction than the one the caller asked the wallet to sign.\n */\nexport class PsbtSubstitutionError extends Error {\n  constructor(detail: string) {\n    super(\n      `Wallet returned a PSBT for a different transaction: ${detail}`,\n    );\n    this.name = \"PsbtSubstitutionError\";\n  }\n}\n\nexport interface AssertPsbtUnsignedTxMatchesParams {\n  /** PSBT we built locally and asked the wallet to sign. */\n  requestedPsbtHex: string;\n  /** PSBT the wallet returned after signing. */\n  returnedPsbtHex: string;\n}\n\nfunction parsePsbt(label: \"requested\" | \"returned\", hex: string): Psbt {\n  try {\n    return Psbt.fromHex(hex);\n  } catch (cause) {\n    const reason = cause instanceof Error ? cause.message : String(cause);\n    throw new Error(`Failed to parse ${label} PSBT: ${reason}`);\n  }\n}\n\n/**\n * Length of the hex prefix included in mismatch errors. Short enough that\n * full prevout txids and output scriptPubKeys never reach logs / error\n * trackers, long enough to disambiguate during forensic triage.\n */\nconst REDACTED_HEX_PREFIX_LEN = 8;\n\nfunction redactHex(buf: Buffer): string {\n  return `${buf.toString(\"hex\").slice(0, REDACTED_HEX_PREFIX_LEN)}…`;\n}\n\n/**\n * `bitcoinjs-lib` exposes `txInputs[i].hash` in internal little-endian form;\n * a human reading logs expects the big-endian txid an explorer would show.\n * Reverse before truncating so the surfaced prefix matches what an operator\n * can search for.\n */\nfunction redactTxid(internalHash: Buffer): string {\n  const reversed = Buffer.from(internalHash).reverse();\n  return redactHex(reversed);\n}\n\n/**\n * Compare two PSBTs and throw `PsbtSubstitutionError` unless they encode\n * the same unsigned transaction (version, locktime, inputs, outputs).\n *\n * @throws PsbtSubstitutionError on any mismatch in the unsigned tx\n * @throws Error if either PSBT cannot be parsed\n */\nexport function assertPsbtUnsignedTxMatches(\n  params: AssertPsbtUnsignedTxMatchesParams,\n): void {\n  const requested = parsePsbt(\"requested\", params.requestedPsbtHex);\n  const returned = parsePsbt(\"returned\", params.returnedPsbtHex);\n\n  if (requested.version !== returned.version) {\n    throw new PsbtSubstitutionError(\n      `tx version differs (requested=${requested.version}, returned=${returned.version})`,\n    );\n  }\n  if (requested.locktime !== returned.locktime) {\n    throw new PsbtSubstitutionError(\n      `tx locktime differs (requested=${requested.locktime}, returned=${returned.locktime})`,\n    );\n  }\n  if (requested.txInputs.length !== returned.txInputs.length) {\n    throw new PsbtSubstitutionError(\n      `input count differs (requested=${requested.txInputs.length}, returned=${returned.txInputs.length})`,\n    );\n  }\n  if (requested.txOutputs.length !== returned.txOutputs.length) {\n    throw new PsbtSubstitutionError(\n      `output count differs (requested=${requested.txOutputs.length}, returned=${returned.txOutputs.length})`,\n    );\n  }\n  for (let i = 0; i < requested.txInputs.length; i++) {\n    const r = requested.txInputs[i];\n    const s = returned.txInputs[i];\n    if (!r.hash.equals(s.hash)) {\n      throw new PsbtSubstitutionError(\n        `input ${i} prevout txid differs (requested=${redactTxid(r.hash)}, returned=${redactTxid(s.hash)})`,\n      );\n    }\n    if (r.index !== s.index) {\n      throw new PsbtSubstitutionError(\n        `input ${i} prevout vout differs (requested=${r.index}, returned=${s.index})`,\n      );\n    }\n    if (r.sequence !== s.sequence) {\n      throw new PsbtSubstitutionError(\n        `input ${i} sequence differs (requested=${r.sequence}, returned=${s.sequence})`,\n      );\n    }\n  }\n  for (let i = 0; i < requested.txOutputs.length; i++) {\n    const r = requested.txOutputs[i];\n    const s = returned.txOutputs[i];\n    if (!r.script.equals(s.script)) {\n      throw new PsbtSubstitutionError(\n        `output ${i} scriptPubKey differs (requested=${redactHex(r.script)}, returned=${redactHex(s.script)})`,\n      );\n    }\n    if (r.value !== s.value) {\n      throw new PsbtSubstitutionError(\n        `output ${i} value differs (requested=${r.value}, returned=${s.value})`,\n      );\n    }\n  }\n}\n","/**\n * Independent BIP-340 verification of a wallet-returned Taproot script-path\n * Schnorr signature against an independently-recomputed sighash.\n *\n * Critical Path #7 (CLAUDE.md): the SDK requests script-path signatures with\n * `useTweakedSigner: false, autoFinalized: false`. Wallet support for the\n * untweaked-key flag is inconsistent — older OKX / mobile bridges silently sign\n * with the *tweaked* key, Keystone ignores the flag — and a compromised\n * extension can stuff a 64-byte stub into `tapScriptSig`. A bad signature that\n * the SDK forwards is only caught on broadcast; in the worst case it passes the\n * VP off-chain but Bitcoin rejects it, leaving the depositor's BTC locked in the\n * HTLC until `timelockRefund` matures. This guard rejects such signatures before\n * they are trusted.\n *\n * Why verify against the *locally-built* PSBT, not the wallet-returned one:\n * `assertPsbtUnsignedTxMatches` pins the unsigned transaction but deliberately\n * skips per-input metadata (`witnessUtxo`, `tapLeafScript`). A malicious wallet\n * could rewrite those consistently in the returned PSBT so a wrong-message\n * signature self-validates. The trusted prevout scripts/values and leaf script\n * therefore come from the PSBT we built ourselves (derived from on-chain / WASM\n * sources); only the 64-byte signature comes from the wallet.\n *\n * Reuses the exact primitives `bip322Verify.ts` already depends on — no new\n * dependency:\n *   - `@bitcoin-js/tiny-secp256k1-asmjs` → `verifySchnorr`\n *   - `bitcoinjs-lib` → `Transaction.hashForWitnessV1`\n *   - `../utils/taproot` → `computeTapLeafHash`\n *\n * @module tbv/core/primitives/psbt/verifyScriptPathSchnorrSignature\n */\n\nimport * as ecc from \"@bitcoin-js/tiny-secp256k1-asmjs\";\nimport { Psbt, Transaction } from \"bitcoinjs-lib\";\n\nimport { Buffer } from \"buffer\";\n\nimport { X_ONLY_PUBKEY_HEX_LEN } from \"../../utils/validation\";\nimport {\n  SCHNORR_SIG_HEX_LEN,\n  TAPSCRIPT_LEAF_VERSION,\n  hexToUint8Array,\n  stripHexPrefix,\n} from \"../utils/bitcoin\";\nimport { computeTapLeafHash } from \"../utils/taproot\";\n\nexport interface VerifyScriptPathSchnorrSignatureParams {\n  /**\n   * Hex of the PSBT we built locally and sent to the wallet (the trusted\n   * source of prevout scripts/values and the leaf script). NOT the\n   * wallet-returned PSBT.\n   */\n  requestedPsbtHex: string;\n  /** The 64-byte Schnorr signature extracted from the wallet's response (128 hex chars). */\n  signatureHex: string;\n  /** X-only public key (64 hex chars) the wallet signed the script-path leaf with. */\n  signerXOnlyPubkeyHex: string;\n  /** Index of the input the signature is for. */\n  inputIndex: number;\n}\n\n/**\n * Assert that `signatureHex` is a valid BIP-340 Schnorr signature by the\n * `signerXOnlyPubkeyHex` key over the Taproot script-path sighash of\n * `requestedPsbtHex` input `inputIndex` (SIGHASH_DEFAULT).\n *\n * @throws If the requested PSBT is malformed, lacks the prevout/leaf data needed\n *         to recompute the sighash, or the signature does not verify.\n */\nexport function assertScriptPathSchnorrSignature(\n  params: VerifyScriptPathSchnorrSignatureParams,\n): void {\n  const { requestedPsbtHex, signatureHex, signerXOnlyPubkeyHex, inputIndex } =\n    params;\n\n  const signatureRaw = stripHexPrefix(signatureHex);\n  if (signatureRaw.length !== SCHNORR_SIG_HEX_LEN) {\n    throw new Error(\n      `Schnorr signature for input ${inputIndex} must be ${SCHNORR_SIG_HEX_LEN} hex chars ` +\n        `(64 bytes), got ${signatureRaw.length}.`,\n    );\n  }\n\n  const signerXOnly = stripHexPrefix(signerXOnlyPubkeyHex);\n  if (signerXOnly.length !== X_ONLY_PUBKEY_HEX_LEN) {\n    throw new Error(\n      `Signer x-only pubkey for input ${inputIndex} must be ${X_ONLY_PUBKEY_HEX_LEN} hex chars ` +\n        `(32 bytes), got ${signerXOnly.length}.`,\n    );\n  }\n\n  const psbt = Psbt.fromHex(requestedPsbtHex);\n\n  if (inputIndex < 0 || inputIndex >= psbt.data.inputs.length) {\n    throw new Error(\n      `Input index ${inputIndex} out of range (${psbt.data.inputs.length} inputs).`,\n    );\n  }\n\n  // Taproot's sighash commits to every input's prevout (script + value), so all\n  // inputs must carry a witnessUtxo. A missing one is a build error, not a\n  // value we can default — fail loudly.\n  const prevOutScripts: Buffer[] = [];\n  const values: number[] = [];\n  for (let i = 0; i < psbt.data.inputs.length; i++) {\n    const witnessUtxo = psbt.data.inputs[i].witnessUtxo;\n    if (!witnessUtxo) {\n      throw new Error(\n        `Cannot verify signature: input ${i} of the requested PSBT has no witnessUtxo ` +\n          `(required to recompute the Taproot sighash).`,\n      );\n    }\n    prevOutScripts.push(witnessUtxo.script);\n    values.push(witnessUtxo.value);\n  }\n\n  // The signed input must expose exactly one tapLeafScript — the leaf the\n  // depositor signs. Zero means we sent the wrong PSBT; more than one means an\n  // ambiguous spend path we never construct for a single-signature input.\n  const tapLeafScripts = psbt.data.inputs[inputIndex].tapLeafScript;\n  if (!tapLeafScripts || tapLeafScripts.length !== 1) {\n    throw new Error(\n      `Cannot verify signature: input ${inputIndex} of the requested PSBT must have exactly ` +\n        `one tapLeafScript, got ${tapLeafScripts?.length ?? 0}.`,\n    );\n  }\n  const leaf = tapLeafScripts[0];\n  if (leaf.leafVersion !== TAPSCRIPT_LEAF_VERSION) {\n    throw new Error(\n      `Cannot verify signature: input ${inputIndex} tapLeafScript has leaf version ` +\n        `0x${leaf.leafVersion.toString(16)}, expected 0x${TAPSCRIPT_LEAF_VERSION.toString(16)}.`,\n    );\n  }\n\n  const leafHash = computeTapLeafHash(leaf.leafVersion, leaf.script);\n\n  // Reconstruct the unsigned transaction from the requested PSBT using only\n  // public bitcoinjs-lib API (same pattern as bip322Verify.ts), then compute the\n  // BIP-341 script-path sighash with SIGHASH_DEFAULT.\n  const tx = new Transaction();\n  tx.version = psbt.version;\n  tx.locktime = psbt.locktime;\n  for (const input of psbt.txInputs) {\n    tx.addInput(input.hash, input.index, input.sequence);\n  }\n  for (const output of psbt.txOutputs) {\n    tx.addOutput(output.script, output.value);\n  }\n\n  const sighash = tx.hashForWitnessV1(\n    inputIndex,\n    prevOutScripts,\n    values,\n    Transaction.SIGHASH_DEFAULT,\n    leafHash,\n  );\n\n  const isValid = ecc.verifySchnorr(\n    sighash,\n    hexToUint8Array(signerXOnly),\n    hexToUint8Array(signatureRaw),\n  );\n\n  if (!isValid) {\n    throw new Error(\n      `Schnorr signature for input ${inputIndex} (signer ${signerXOnly}) does not verify ` +\n        `against the expected Taproot script-path sighash. The wallet may have signed with ` +\n        `the tweaked key, signed a different transaction, or returned an invalid signature.`,\n    );\n  }\n}\n"],"names":["normalizeKey","key","processPublicKeyToXOnly","computeNumLocalChallengers","vaultProviderPubkey","vaultKeeperPubkeys","depositorPubkey","localSet","vk","deriveLocalChallengers","params","claimer","depositor","vaultKeepers","filtered","k","PREIMAGE_LENGTH_BYTES","MAX_U16","SEC1_EVEN_Y_PREFIX","normalizeXOnlyKey","value","label","stripHexPrefix","secp256k1","Buffer","normalizeKeyGroup","values","keys","index","nOfNChunks","verify","chunks","opcodes","bscript","deriveExpectedPrePeginHtlc","hashlock","assertEccInitialized","vaultProvider","universalChallengers","cleanHashlock","hashlockScript","refundScript","scriptTree","TAPSCRIPT_LEAF_VERSION","hash","output","witness","payments","tapInternalPubkey","hashlockControlBlock","refundPayment","refundControlBlock","_a","deriveExpectedPeginPayoutScriptPubKey","timelockPegin","payoutScript","assertWasmPeginSizing","result","expectedCount","expectedClaimValue","computeMinClaimValue","anchor","peginP2aAnchorOutput","anchorValue","expectedPeginFee","computeMinPeginFee","expectedReserve","maxImpliedReserve","MAX_REASONABLE_PEGIN_VBYTES","i","requested","peginAmount","htlcValue","impliedReserve","HtlcOutputMismatchError","message","assertEncodedHtlcOutputsMatch","outputs","htlcValues","htlcScriptPubKeys","encodedValue","encodedScript","expectedScript","assertUnfundedPrePeginOutputLayout","authAnchorHash","version","locktime","PRE_PEGIN_TX_VERSION","PRE_PEGIN_TX_LOCKTIME","PRE_PEGIN_MIN_HTLC_OUTPUT_COUNT","authOutputIndex","cpfpOutputIndex","peginOutputCount","authOutput","PRE_PEGIN_AUTH_OUTPUT_VALUE_SATS","encodedAuthScript","expectedAuthScript","PRE_PEGIN_AUTH_SCRIPT_PREFIX","cpfpOutput","PRE_PEGIN_CPFP_VALUE_SATS","encodedCpfpScript","expectedCpfpScript","deriveBip86ScriptPubKeyHex","PEGIN_DEPOSITOR_CLAIM_VOUT","deriveDepositorClaimDescriptor","cleanPubkey","leafScript","hexToUint8Array","internalKey","redeem","controlBlock","deriveDepositorClaimScriptPubKey","AUTH_ANCHOR_HASH_HEX_LEN","HEX_PATTERN","MAX_TIMELOCK_PEGIN_BLOCKS","buildPrePeginPsbt","normalizeAuthAnchorHash","createPrePeginTransaction","minPeginFee","parsed","parseUnfundedWasmTransaction","totalOutputValue","sum","o","authAnchorVout","cleaned","buildPeginTxFromFundedPrePegin","buildPeginTxFromPrePegin","assertPeginTxShape","PEGIN_BASE_OUTPUT_COUNT","expectedTxVersion","PEGIN_TX_VERSION_CORE_1","PEGIN_TX_VERSION_CORE_2_AND_3","validatePeginP2aAnchor","expectedOutputCount","peginTx","Transaction","PEGIN_TX_LOCKTIME","fundedPrePeginTxid","inputTxid","uint8ArrayToHex","PEGIN_INPUT_SEQUENCE","requestedAmount","encodedVaultOut","expectedVaultScript","encodedVaultScript","encodedTxid","encodedClaimOut","expectedClaimScript","createPayoutScript","connector","createPayoutConnector","COMPACT_SIZE_UINT16_PREFIX","COMPACT_SIZE_UINT32_PREFIX","COMPACT_SIZE_UINT16_MAX","COMPACT_SIZE_UINT32_MAX","TAPLEAF_TAG","TAPBRANCH_TAG","TAPTWEAK_TAG","CONTROL_BLOCK_PREFIX_LEN","CONTROL_BLOCK_NODE_LEN","CONTROL_BLOCK_MAX_NODES","CONTROL_BLOCK_PARITY_MASK","CONTROL_BLOCK_LEAF_VERSION_MASK","P2TR_SCRIPT_PUBKEY_PREFIX","encodeCompactSize","n","computeTapLeafHash","leafVersion","script","preimage","bcrypto","computeTaprootScriptPubKey","binding","pathLen","controlLeafVersion","node","offset","sibling","tweak","tweaked","ecc","expectedParity","MAX_FLOOR_MODEL_KEEPERS","MAX_UNIVERSAL_CHALLENGERS","MAX_FLOOR_MODEL_COUNCIL_SIZE","MAX_SANE_FEE_RATE_SAT_PER_VB","MAX_PAYOUT_VSIZE_BASE","MAX_PAYOUT_VSIZE_PER_PARTICIPANT","PAYOUT_BOUND_ASSUMED_SCRIPT_LEN","assertPayoutFeeBandDomain","role","count","max","reason","assertPayoutFeeInBand","measured","implicitFeeSats","out0Len","out1Len","numParticipants","implicitFee","scriptExcess","maxPayoutVsize","maxFeeSats","minFeeSats","computePayoutFeeFloor","P2WPKH_LEN","P2WSH_LEN","P2TR_LEN","P2PKH_LEN","P2SH_LEN","isP2wpkh","s","isP2wsh","isP2tr","isP2pkh","isP2sh","assertStandardPayoutScript","scriptHex","TAPROOT_SINGLE_SIG_WITNESS_STACK_SIZE","buildPayoutPsbt","feeBandParams","payoutTx","assertTx","DEPOSITOR_PAYOUT_INPUT_COUNT","PAYOUT_TX_VERSION","PAYOUT_TX_LOCKTIME","peginPrevOut","requirePrevOut","PEGIN_VAULT_OUTPUT_INDEX","assertPrevOut","ASSERT_PAYOUT_OUTPUT_INDEX","assertPayoutOutputLayout","inputValueSats","outputValueSats","out","payoutConnector","assertPayoutLeaf","resolveAssertPayoutLeaf","assemblePayoutPsbt","payoutControlBlock","getAssertPayoutScriptInfo","boundScriptPubKey","input","inputIndex","parentTx","parentLabel","expectedVout","parentTxid","prevOut","psbt","Psbt","input0","input1","acceptedPayoutScriptHexes","registeredScriptPubKey","bondedPubkey","registered","legacyBip86","matchesAnyScript","acceptedHexes","hex","peginValueSats","claimerBtcPubkey","vaultProviderBtcPubkey","depositorBtcPubkey","vaultKeeperBtcPubkeys","registeredPayoutScriptPubKey","commissionBps","vkClaimerPayoutScriptPubKeys","vpCommissionScriptPubKey","isValidHex","vp","dep","keepers","expectedOutCount","acceptedOut0ScriptHexes","VP_CLAIMER_PAYOUT_OUTPUT_COUNT","NON_VP_CLAIMER_PAYOUT_OUTPUT_COUNT","anchorIdx","PAYOUT_ANCHOR_DUST_SATS","acceptedCommissionScriptHexes","MAX_VP_COMMISSION_BPS_EXCLUSIVE","maxCommissionSats","BPS_DENOMINATOR","MAX_PAYOUT_SCRIPT_LEN","extractPayoutSignature","signedPsbtHex","signedPsbt","depositorPubkeyBytes","sigEntry","extractSchnorrSig","witnessStack","parseWitnessStack","sig","items","requireBytes","readVarInt","first","val","len","PsbtSubstitutionError","detail","parsePsbt","cause","REDACTED_HEX_PREFIX_LEN","redactHex","buf","redactTxid","internalHash","reversed","assertPsbtUnsignedTxMatches","returned","r","assertScriptPathSchnorrSignature","requestedPsbtHex","signatureHex","signerXOnlyPubkeyHex","signatureRaw","SCHNORR_SIG_HEX_LEN","signerXOnly","X_ONLY_PUBKEY_HEX_LEN","prevOutScripts","witnessUtxo","tapLeafScripts","leaf","leafHash","tx","sighash"],"mappings":";;;;;;;;;AAaA,SAASA,EAAaC,GAAqB;AACzC,SAAOC,GAAwBD,CAAG,EAAE,YAAA;AACtC;AAgBO,SAASE,GACdC,GACAC,GACAC,GACQ;AACR,QAAMC,wBAAe,IAAA;AACrB,EAAAA,EAAS,IAAIP,EAAaI,CAAmB,CAAC;AAC9C,aAAWI,KAAMH;AACf,IAAAE,EAAS,IAAIP,EAAaQ,CAAE,CAAC;AAE/B,SAAAD,EAAS,OAAOP,EAAaM,CAAe,CAAC,GACtCC,EAAS;AAClB;AA8BO,SAASE,GACdC,GACU;AACV,QAAMC,IAAUX,EAAaU,EAAO,gBAAgB,GAC9CE,IAAYZ,EAAaU,EAAO,kBAAkB,GAClDG,IAAeH,EAAO,sBAAsB,IAAIV,CAAY;AAElE,MAAIW,MAAYC,GAAW;AACzB,UAAME,IAAWD,EAAa,OAAO,CAACE,MAAMA,MAAMH,CAAS;AAC3D,QAAIE,EAAS,WAAW;AACtB,YAAM,IAAI;AAAA,QACR;AAAA,MAAA;AAGJ,QAAI,IAAI,IAAIA,CAAQ,EAAE,SAASA,EAAS;AACtC,YAAM,IAAI;AAAA,QACR;AAAA,MAAA;AAGJ,WAAOA;AAAAA,EACT;AAOA,QAAMA,IAHU;AAAA,IACd,GAAG,oBAAI,IAAI,CAACd,EAAaU,EAAO,sBAAsB,GAAG,GAAGG,CAAY,CAAC;AAAA,EAAA,EACzE,KAAA,EACuB,OAAO,CAACE,MAAMA,MAAMJ,CAAO;AACpD,MAAIG,EAAS,WAAW;AACtB,UAAM,IAAI;AAAA,MACR,qGAAqGH,CAAO;AAAA,IAAA;AAGhH,SAAOG;AACT;ACzDA,MAAME,KAAwB,IACxBC,KAAU,OACVC,KAAqB;AA8B3B,SAASC,EAAkBC,GAAeC,GAAuB;AAC/D,QAAMpB,IAAMqB,EAAeF,CAAK,EAAE,YAAA;AAClC,MAAI,CAAC,iBAAiB,KAAKnB,CAAG;AAC5B,UAAM,IAAI,MAAM,GAAGoB,CAAK,uCAAuC;AAGjE,MAAI;AACF,IAAAE,GAAU,MAAM;AAAA,MACdC,EAAO,OAAO;AAAA,QACZA,EAAO,KAAK,CAACN,EAAkB,CAAC;AAAA,QAChCM,EAAO,KAAKvB,GAAK,KAAK;AAAA,MAAA,CACvB;AAAA,IAAA;AAAA,EAEL,QAAQ;AACN,UAAM,IAAI,MAAM,GAAGoB,CAAK,mCAAmC;AAAA,EAC7D;AAEA,SAAOpB;AACT;AAEA,SAASwB,EAAkBC,GAA2BL,GAAyB;AAC7E,MAAIK,EAAO,WAAW;AACpB,UAAM,IAAI,MAAM,GAAGL,CAAK,qBAAqB;AAG/C,QAAMM,IAAOD,EACV,IAAI,CAACN,GAAOQ,MAAUT,EAAkBC,GAAO,GAAGC,CAAK,IAAIO,CAAK,GAAG,CAAC,EACpE,KAAA;AACH,MAAI,IAAI,IAAID,CAAI,EAAE,SAASA,EAAK;AAC9B,UAAM,IAAI,MAAM,GAAGN,CAAK,mCAAmC;AAE7D,SAAOM;AACT;AAEA,SAASE,EAAWF,GAAyBG,GAAgC;AAC3E,QAAMC,IAAwB,CAAA;AAC9B,SAAAJ,EAAK,QAAQ,CAAC1B,GAAK2B,MAAU;AAC3B,IAAAG,EAAO;AAAA,MACLP,EAAO,KAAKvB,GAAK,KAAK;AAAA,MACtB2B,MAAU,IAAII,EAAQ,cAAcA,EAAQ;AAAA,IAAA;AAAA,EAEhD,CAAC,GACDD,EAAO;AAAA,IACLE,EAAQ,OAAO,OAAON,EAAK,MAAM;AAAA,IACjCG,IAASE,EAAQ,oBAAoBA,EAAQ;AAAA,EAAA,GAExCD;AACT;AAKO,SAASG,GACdxB,GACAyB,GACsB;;AACtB,EAAAC,GAAA;AAEA,QAAMxB,IAAYO;AAAA,IAChBT,EAAO;AAAA,IACP;AAAA,EAAA,GAEI2B,IAAgBlB;AAAA,IACpBT,EAAO;AAAA,IACP;AAAA,EAAA,GAEIG,IAAeY;AAAA,IACnBf,EAAO;AAAA,IACP;AAAA,EAAA,GAEI4B,IAAuBb;AAAA,IAC3Bf,EAAO;AAAA,IACP;AAAA,EAAA,GAEI6B,IAAgBjB,EAAea,CAAQ,EAAE,YAAA;AAC/C,MAAI,CAAC,iBAAiB,KAAKI,CAAa;AACtC,UAAM,IAAI,MAAM,4BAA4B;AAE9C,MACE,CAAC,OAAO,UAAU7B,EAAO,cAAc,KACvCA,EAAO,iBAAiB,KACxBA,EAAO,iBAAiBO;AAExB,UAAM,IAAI,MAAM,oDAAoD;AAGtE,QAAMuB,IAAiBP,EAAQ,QAAQ;AAAA,IACrCD,EAAQ;AAAA,IACRC,EAAQ,OAAO,OAAOjB,EAAqB;AAAA,IAC3CgB,EAAQ;AAAA,IACRA,EAAQ;AAAA,IACRR,EAAO,KAAKe,GAAe,KAAK;AAAA,IAChCP,EAAQ;AAAA,IACRR,EAAO,KAAKZ,GAAW,KAAK;AAAA,IAC5BoB,EAAQ;AAAA,IACRR,EAAO,KAAKa,GAAe,KAAK;AAAA,IAChCL,EAAQ;AAAA,IACR,GAAGH,EAAWhB,GAAc,EAAI;AAAA,IAChC,GAAGgB,EAAWS,GAAsB,EAAK;AAAA,EAAA,CAC1C,GACKG,IAAeR,EAAQ,QAAQ;AAAA,IACnCT,EAAO,KAAKZ,GAAW,KAAK;AAAA,IAC5BoB,EAAQ;AAAA,IACRC,EAAQ,OAAO,OAAOvB,EAAO,cAAc;AAAA,IAC3CsB,EAAQ;AAAA,EAAA,CACT,GACKU,IAGF;AAAA,IACF,EAAE,QAAQF,GAAgB,SAASG,EAAA;AAAA,IACnC,EAAE,QAAQF,GAAc,SAASE,EAAA;AAAA,EAAuB,GAEpD,EAAE,MAAAC,GAAM,QAAAC,GAAQ,SAAAC,EAAA,IAAYC,EAAS,KAAK;AAAA,IAC9C,gBAAgBvB,EAAO,KAAKwB,CAAiB;AAAA,IAC7C,YAAAN;AAAA,IACA,QAAQ;AAAA,MACN,QAAQF;AAAA,MACR,eAAeG;AAAA,IAAA;AAAA,EACjB,CACD,GACKM,IAAuBH,KAAA,gBAAAA,EAAUA,EAAQ,SAAS,IAClDI,IAAgBH,EAAS,KAAK;AAAA,IAClC,gBAAgBvB,EAAO,KAAKwB,CAAiB;AAAA,IAC7C,YAAAN;AAAA,IACA,QAAQ;AAAA,MACN,QAAQD;AAAA,MACR,eAAeE;AAAA,IAAA;AAAA,EACjB,CACD,GACKQ,KACJC,IAAAF,EAAc,YAAd,gBAAAE,EAAwBF,EAAc,QAAQ,SAAS;AACzD,MAAI,CAACN,KAAQ,CAACC,KAAU,CAACI,KAAwB,CAACE;AAChD,UAAM,IAAI,MAAM,sDAAsD;AAGxE,SAAO;AAAA,IACL,gBAAAX;AAAA,IACA,sBAAAS;AAAA,IACA,cAAAR;AAAA,IACA,oBAAAU;AAAA,IACA,cAAcN;AAAA,IACd,eAAeD;AAAA,EAAA;AAEnB;AAMO,SAASS,GACd3C,GACA4C,GACQ;AACR,EAAAlB,GAAA;AAEA,QAAMxB,IAAYO;AAAA,IAChBT,EAAO;AAAA,IACP;AAAA,EAAA,GAEI2B,IAAgBlB;AAAA,IACpBT,EAAO;AAAA,IACP;AAAA,EAAA,GAEIG,IAAeY;AAAA,IACnBf,EAAO;AAAA,IACP;AAAA,EAAA,GAEI4B,IAAuBb;AAAA,IAC3Bf,EAAO;AAAA,IACP;AAAA,EAAA,GAKI6C,IAAetB,EAAQ,QAAQ;AAAA,IACnCT,EAAO,KAAKZ,GAAW,KAAK;AAAA,IAC5BoB,EAAQ;AAAA,IACRR,EAAO,KAAKa,GAAe,KAAK;AAAA,IAChCL,EAAQ;AAAA,IACR,GAAGH,EAAWhB,GAAc,EAAI;AAAA,IAChC,GAAGgB,EAAWS,GAAsB,EAAI;AAAA,IACxCL,EAAQ,OAAO,OAAOqB,CAAa;AAAA,IACnCtB,EAAQ;AAAA,EAAA,CACT,GACK,EAAE,QAAAa,EAAA,IAAWE,EAAS,KAAK;AAAA,IAC/B,gBAAgBvB,EAAO,KAAKwB,CAAiB;AAAA,IAC7C,YAAY,EAAE,QAAQO,GAAc,SAASZ,EAAA;AAAA,EAAuB,CACrE;AACD,MAAI,CAACE;AACH,UAAM,IAAI,MAAM,oDAAoD;AAGtE,SAAOA;AACT;AA4BA,eAAsBW,GACpBC,GACA/C,GACiB;AACjB,QAAMgD,IAAgBhD,EAAO,aAAa;AAE1C,MAAIA,EAAO,UAAU,WAAWgD;AAC9B,UAAM,IAAI;AAAA,MACR,iBAAiBhD,EAAO,UAAU,MAAM,0BACnCgD,CAAa;AAAA,IAAA;AAMtB,MAAID,EAAO,WAAW,WAAWC;AAC/B,UAAM,IAAI;AAAA,MACR,2BAA2BD,EAAO,WAAW,MAAM,4BACrCC,CAAa;AAAA,IAAA;AAG/B,MACED,EAAO,aAAa,WAAWC,KAC/BD,EAAO,kBAAkB,WAAWC,KACpCD,EAAO,cAAc,WAAWC;AAEhC,UAAM,IAAI;AAAA,MACR,gEACiBD,EAAO,WAAW,MAAM,kBACvBA,EAAO,aAAa,MAAM,uBACrBA,EAAO,kBAAkB,MAAM,mBACnCA,EAAO,cAAc,MAAM,eAChCC,CAAa;AAAA,IAAA;AAO/B,MAAID,EAAO,uBAAuB;AAChC,UAAM,IAAI;AAAA,MACR,4DACKA,EAAO,mBAAmB;AAAA,IAAA;AAGnC,QAAME,IAAqB,MAAMC;AAAA;AAAA,IAE/BlD,EAAO;AAAA,IACPA,EAAO;AAAA,IACPA,EAAO,2BAA2B;AAAA,IAClCA,EAAO;AAAA,IACPA,EAAO;AAAA,IACPA,EAAO;AAAA,EAAA;AAET,MAAI+C,EAAO,wBAAwBE;AACjC,UAAM,IAAI;AAAA,MACR,sCAAsCF,EAAO,mBAAmB,kEAE3DE,CAAkB,sBAAsBjD,EAAO,gBAAgB,yBAC3CA,EAAO,mBAAmB,6BACtBA,EAAO,2BAA2B,MAAM,mBAClDA,EAAO,aAAa,iBAAiBA,EAAO,WAAW,aAC7DA,EAAO,OAAO;AAAA,IAAA;AAU/B,QAAMmD,IAAS,MAAMC,GAAqBpD,EAAO,gBAAgB,GAC3DqD,KAAcF,KAAA,gBAAAA,EAAQ,UAAS,IAC/BG,IAAmB,MAAMC;AAAA,IAC7BvD,EAAO;AAAA,IACPA,EAAO,mBAAmB;AAAA,IAC1BA,EAAO,2BAA2B;AAAA,IAClCA,EAAO;AAAA,EAAA,GAEHwD,IAAkBF,IAAmBD,GAMrCI,IACJzD,EAAO,kBAAkB0D;AAE3B,WAASC,IAAI,GAAGA,IAAIX,GAAeW,KAAK;AACtC,UAAMC,IAAY5D,EAAO,aAAa2D,CAAC,GACjCE,IAAcd,EAAO,aAAaY,CAAC,GACnCG,IAAYf,EAAO,WAAWY,CAAC;AAOrC,QAAIE,MAAgBD;AAClB,YAAM,IAAI;AAAA,QACR,8BAA8BD,CAAC,KAAKE,CAAW,wCACzBD,CAAS;AAAA,MAAA;AAInC,QAAIC,KAAe;AACjB,YAAM,IAAI;AAAA,QACR,8BAA8BF,CAAC,sBAAsBE,CAAW;AAAA,MAAA;AAIpE,QAAIC,KAAa;AACf,YAAM,IAAI;AAAA,QACR,4BAA4BH,CAAC,sBAAsBG,CAAS;AAAA,MAAA;AAShE,UAAMC,IAAiBD,IAAYD,IAAcd,EAAO;AAKxD,QAAIgB,KAAkB;AACpB,YAAM,IAAI;AAAA,QACR,4BAA4BJ,CAAC,KAAKG,CAAS,wCACpBD,CAAW,0BAC7Bd,EAAO,mBAAmB,uCAClBgB,CAAc;AAAA,MAAA;AAG/B,QAAIA,IAAiBN;AACnB,YAAM,IAAI;AAAA,QACR,2CAA2CE,CAAC,MAAMI,CAAc,sCACzBN,CAAiB,yBAClCzD,EAAO,eAAe,MACvC0D,CAA2B,uBAAuBI,CAAS;AAAA,MAAA;AAIpE,QAAIC,MAAmBP;AACrB,YAAM,IAAI;AAAA,QACR,4BAA4BG,CAAC,KAAKG,CAAS,0CAChBC,CAAc,0BACpCP,CAAe,qBAAqBF,CAAgB,gBAC1CD,CAAW,yBACrBrD,EAAO,gBAAgB,kBACvBA,EAAO,mBAAmB,MAAM,0BAChCA,EAAO,2BAA2B,MAAM,qBACxCA,EAAO,eAAe;AAAA,MAAA;AAAA,EAGjC;AAEA,SAAOsD;AACT;AAaO,MAAMU,UAAgC,MAAM;AAAA,EACjD,YAAYC,GAAiB;AAC3B,UAAMA,CAAO,GACb,KAAK,OAAO;AAAA,EACd;AACF;AAuBO,SAASC,GACdC,GACAC,GACAC,GACM;AACN,MAAIF,EAAQ,SAASC,EAAW;AAC9B,UAAM,IAAIJ;AAAA,MACR,4BAA4BG,EAAQ,MAAM,8BACrCC,EAAW,MAAM;AAAA,IAAA;AAI1B,WAAST,IAAI,GAAGA,IAAIS,EAAW,QAAQT,KAAK;AAC1C,UAAMW,IAAe,OAAOH,EAAQR,CAAC,EAAE,KAAK;AAC5C,QAAIW,MAAiBF,EAAWT,CAAC;AAC/B,YAAM,IAAIK;AAAA,QACR,iCAAiCL,CAAC,WAAWW,CAAY,+CAClBF,EAAWT,CAAC,CAAC;AAAA,MAAA;AAKxD,UAAMY,IAAgBJ,EAAQR,CAAC,EAAE,OAAO,SAAS,KAAK,EAAE,YAAA,GAClDa,IAAiBH,EAAkBV,CAAC,EAAE,YAAA;AAC5C,QAAIY,MAAkBC;AACpB,YAAM,IAAIR;AAAA,QACR,iCAAiCL,CAAC,kBAAkBY,CAAa,sDACfC,CAAc;AAAA,MAAA;AAAA,EAGtE;AACF;AASO,SAASC,GACdN,GACAC,GACAC,GACArE,GACA0E,GACAC,GACAC,GACM;AACN,MAAID,MAAYE;AACd,UAAM,IAAI;AAAA,MACR,sCAAsCF,CAAO,cACxCE,CAAoB;AAAA,IAAA;AAG7B,MAAID,MAAaE;AACf,UAAM,IAAI;AAAA,MACR,uCAAuCF,CAAQ,cAC1CE,CAAqB;AAAA,IAAA;AAI9B,MAAIV,EAAW,SAASW;AACtB,UAAM,IAAI;AAAA,MACR,oCAAoCX,EAAW,MAAM,sCAC9BW,CAA+B;AAAA,IAAA;AAI1D,QAAMC,IAAkBZ,EAAW,QAC7Ba,IACJD,IAAkB,EAAON,MAAmB,SACxC1B,IAAgBkC;AAAA,IACpBd,EAAW;AAAA,IACXM,MAAmB;AAAA,EAAA;AAErB,MAAIP,EAAQ,WAAWnB;AACrB,UAAM,IAAI;AAAA,MACR,oCAAoCmB,EAAQ,MAAM,gCAC5BnB,CAAa;AAAA,IAAA;AAIvC,EAAAkB,GAA8BC,GAASC,GAAYC,CAAiB;AAEpE,WAASV,IAAI,GAAGA,IAAIS,EAAW,QAAQT,KAAK;AAC1C,UAAMa,IAAiBhD;AAAA,MACrBxB;AAAA,MACAA,EAAO,UAAU2D,CAAC;AAAA,IAAA,EAClB;AACF,QAAI,CAACQ,EAAQR,CAAC,EAAE,OAAO,OAAOa,CAAc;AAC1C,YAAM,IAAIR;AAAA,QACR,yBAAyBL,CAAC;AAAA,MAAA;AAAA,EAIhC;AAEA,MAAIe,MAAmB,QAAW;AAChC,UAAMS,IAAahB,EAAQa,CAAe;AAC1C,QAAIG,EAAW,UAAUC;AACvB,YAAM,IAAI;AAAA,QACR,8BAA8BJ,CAAe,WACxCG,EAAW,KAAK,0BAChBC,CAAgC;AAAA,MAAA;AAIzC,UAAMC,IAAoBF,EAAW,OAAO,SAAS,KAAK,EAAE,YAAA,GACtDG,IACJC,KAA+Bb,EAAe,YAAA;AAChD,QAAIW,MAAsBC;AACxB,YAAM,IAAI;AAAA,QACR,8BAA8BN,CAAe,kBACxCK,CAAiB,cAAcC,CAAkB;AAAA,MAAA;AAAA,EAG5D;AAEA,QAAME,IAAarB,EAAQc,CAAe;AAC1C,MAAIO,EAAW,UAAUC;AACvB,UAAM,IAAI;AAAA,MACR,8BAA8BR,CAAe,WACxCO,EAAW,KAAK,0BAChBC,CAAyB;AAAA,IAAA;AAIlC,QAAMC,IAAoBF,EAAW,OAAO,SAAS,KAAK,EAAE,YAAA,GACtDG,IAAqB/E;AAAA,IACzBgF,GAA2B5F,EAAO,eAAe;AAAA,EAAA,EACjD,YAAA;AACF,MAAI0F,MAAsBC;AACxB,UAAM,IAAI;AAAA,MACR,8BAA8BV,CAAe,kBACxCS,CAAiB,sCACjBC,CAAkB;AAAA,IAAA;AAG7B;AC1lBO,MAAME,KAA6B;AAkCnC,SAASC,GACdlG,GAC0B;AAM1B,QAAMmG,IAAcnF,EAAehB,CAAe;AAClD,MAAI,CAAC,oBAAoB,KAAKmG,CAAW;AACvC,UAAM,IAAI;AAAA,MACR;AAAA,IAAA;AAKJ,QAAMC,IAAazE,EAAQ,QAAQ;AAAA,IACjCT,EAAO,KAAKmF,EAAgBF,CAAW,CAAC;AAAA,IACxCzE,EAAQ;AAAA,EAAA,CACT,GAEK4E,IAAcpF,EAAO,KAAKwB,CAAiB,GAC3C6D,IAAS,EAAE,QAAQH,GAAY,eAAe/D,EAAA,GAC9C,EAAE,QAAAE,GAAQ,SAAAC,MAAYC,EAAS,KAAK;AAAA,IACxC,gBAAgB6D;AAAA,IAChB,YAAY,EAAE,QAAQF,EAAA;AAAA,IACtB,QAAAG;AAAA,EAAA,CACD;AAED,MAAI,CAAChE;AACH,UAAM,IAAI;AAAA,MACR;AAAA,IAAA;AAMJ,QAAMiE,IAAehE,KAAA,gBAAAA,EAAUA,EAAQ,SAAS;AAChD,MAAI,CAACgE;AACH,UAAM,IAAI;AAAA,MACR;AAAA,IAAA;AAIJ,SAAO,EAAE,cAAcjE,GAAQ,YAAA6D,GAAY,cAAAI,GAAc,aAAAF,EAAA;AAC3D;AAMO,SAASG,GACdzG,GACQ;AACR,SAAOkG,GAA+BlG,CAAe,EAAE;AACzD;ACnCA,MAAM0G,KAA2B,IAE3BC,KAAc,kBAKdC,KAA4B;AAyFlC,eAAsBC,GACpBzG,GAC6B;AAC7B,QAAM0E,IAAiBgC,GAAwB1G,EAAO,cAAc,GAE9D+C,IAAS,MAAM4D,GAA0B;AAAA,IAC7C,gBAAgB3G,EAAO;AAAA,IACvB,iBAAiBA,EAAO;AAAA,IACxB,qBAAqBA,EAAO;AAAA,IAC5B,oBAAoBA,EAAO;AAAA,IAC3B,4BAA4BA,EAAO;AAAA,IACnC,WAAW,CAAC,GAAGA,EAAO,SAAS;AAAA,IAC/B,gBAAgBA,EAAO;AAAA,IACvB,cAAc,CAAC,GAAGA,EAAO,YAAY;AAAA,IACrC,SAASA,EAAO;AAAA,IAChB,iBAAiBA,EAAO;AAAA,IACxB,qBAAqBA,EAAO;AAAA,IAC5B,eAAeA,EAAO;AAAA,IACtB,aAAaA,EAAO;AAAA,IACpB,SAASA,EAAO;AAAA,IAChB,gBAAA0E;AAAA,EAAA,CACD,GAMKkC,IAAc,MAAM9D,GAAsBC,GAAQ/C,CAAM,GAKxD6G,IAASC,GAA6B/D,EAAO,KAAK;AAKxD,EAAA0B;AAAA,IACEoC,EAAO;AAAA,IACP9D,EAAO;AAAA,IACPA,EAAO;AAAA,IACP/C;AAAA,IACA0E;AAAA,IACAmC,EAAO;AAAA,IACPA,EAAO;AAAA,EAAA;AAGT,QAAME,IAAmBF,EAAO,QAAQ;AAAA,IACtC,CAACG,GAAKC,MAAMD,IAAM,OAAOC,EAAE,KAAK;AAAA,IAChC;AAAA,EAAA,GAKIC,IACJxC,MAAmB,SAAY3B,EAAO,WAAW,SAAS;AAE5D,SAAO;AAAA,IACL,SAASA,EAAO;AAAA,IAChB,kBAAAgE;AAAA,IACA,YAAYhE,EAAO;AAAA,IACnB,mBAAmBA,EAAO;AAAA,IAC1B,eAAeA,EAAO;AAAA,IACtB,cAAcA,EAAO;AAAA,IACrB,qBAAqBA,EAAO;AAAA,IAC5B,gBAAAmE;AAAA,IACA,aAAAN;AAAA,EAAA;AAEJ;AAMO,SAASF,GACdhG,GACoB;AACpB,MAAIA,MAAU,OAAW;AACzB,QAAMyG,IACJzG,EAAM,WAAW,IAAI,KAAKA,EAAM,WAAW,IAAI,IAAIA,EAAM,MAAM,CAAC,IAAIA;AACtE,MACEyG,EAAQ,WAAWb,MACnB,CAACC,GAAY,KAAKY,CAAO;AAEzB,UAAM,IAAI;AAAA,MACR,uCAAuCb,EAAwB,qCAAqCa,EAAQ,MAAM;AAAA,IAAA;AAGtH,SAAOA,EAAQ,YAAA;AACjB;AAeA,eAAsBC,GACpBpH,GACwB;AAIxB,MACE,CAAC,OAAO,UAAUA,EAAO,aAAa,KACtCA,EAAO,gBAAgB,KACvBA,EAAO,gBAAgBwG;AAEvB,UAAM,IAAI;AAAA,MACR,kBAAkBxG,EAAO,aAAa,+CAChBwG,EAAyB;AAAA,IAAA;AASnD,QAAMzD,IAAS,MAAMsE;AAAA,IACnB;AAAA,MACE,gBAAgBrH,EAAO,eAAe;AAAA,MACtC,iBAAiBA,EAAO,eAAe;AAAA,MACvC,qBAAqBA,EAAO,eAAe;AAAA,MAC3C,oBAAoBA,EAAO,eAAe;AAAA,MAC1C,4BACEA,EAAO,eAAe;AAAA,MACxB,WAAW,CAAC,GAAGA,EAAO,eAAe,SAAS;AAAA,MAC9C,gBAAgBA,EAAO,eAAe;AAAA,MACtC,cAAc,CAAC,GAAGA,EAAO,eAAe,YAAY;AAAA,MACpD,SAASA,EAAO,eAAe;AAAA,MAC/B,iBAAiBA,EAAO,eAAe;AAAA,MACvC,qBAAqBA,EAAO,eAAe;AAAA,MAC3C,eAAeA,EAAO,eAAe;AAAA,MACrC,aAAaA,EAAO,eAAe;AAAA,MACnC,SAASA,EAAO,eAAe;AAAA,MAC/B,gBAAgB0G;AAAA,QACd1G,EAAO,eAAe;AAAA,MAAA;AAAA,IACxB;AAAA,IAEFA,EAAO;AAAA,IACPA,EAAO;AAAA,IACPA,EAAO;AAAA,EAAA;AAGT,eAAMsH,GAAmBvE,GAAQ/C,CAAM,GAEhC;AAAA,IACL,OAAO+C,EAAO;AAAA,IACd,MAAMA,EAAO;AAAA,IACb,mBAAmBA,EAAO;AAAA,IAC1B,YAAYA,EAAO;AAAA,EAAA;AAEvB;AAOA,MAAMwE,KAA0B;AAoBhC,eAAeD,GACbvE,GAMA/C,GACe;AACf,QAAM2E,IAAU3E,EAAO,eAAe,kBAChCwH,IACJ7C,MAAY,IACR8C,KACA9C,MAAY,KAAKA,MAAY,IAC3B+C,KACA;AACR,MAAIF,MAAsB;AACxB,UAAM,IAAI,MAAM,gCAAgC7C,CAAO,gBAAgB;AAGzE,QAAMgD,GAAuBhD,GAAS5B,EAAO,KAAK;AAElD,QAAMI,IAAS,MAAMC,GAAqBuB,CAAO,GAC3CiD,IAAsBL,MAA2BpE,IAAS,IAAI,IAE9D0E,IAAUC,EAAY,QAAQlH,EAAemC,EAAO,KAAK,CAAC;AAEhE,MAAI8E,EAAQ,YAAYL;AACtB,UAAM,IAAI;AAAA,MACR,oBAAoBK,EAAQ,OAAO,oCACblD,CAAO,cAAc6C,CAAiB;AAAA,IAAA;AAGhE,MAAIK,EAAQ,aAAaE;AACvB,UAAM,IAAI;AAAA,MACR,qBAAqBF,EAAQ,QAAQ,0CACvBE,CAAiB;AAAA,IAAA;AAUnC,MAAIF,EAAQ,IAAI,WAAW;AACzB,UAAM,IAAI;AAAA,MACR,gBAAgBA,EAAQ,IAAI,MAAM;AAAA,IAAA;AAItC,QAAMG,IAAqBF,EAAY;AAAA,IACrClH,EAAeZ,EAAO,mBAAmB;AAAA,EAAA,EACzC,MAAA,GACIiI,IAAYC;AAAA,IAChB,IAAI,WAAWL,EAAQ,IAAI,CAAC,EAAE,IAAI,EAAE,MAAA,EAAQ,QAAA;AAAA,EAAQ;AAEtD,MAAII,MAAcD;AAChB,UAAM,IAAI;AAAA,MACR,2BAA2BC,CAAS,mCAC/BD,CAAkB;AAAA,IAAA;AAG3B,MAAIH,EAAQ,IAAI,CAAC,EAAE,UAAU7H,EAAO;AAClC,UAAM,IAAI;AAAA,MACR,uCAAuC6H,EAAQ,IAAI,CAAC,EAAE,KAAK,sCACrB7H,EAAO,QAAQ;AAAA,IAAA;AAGzD,MAAI6H,EAAQ,IAAI,CAAC,EAAE,aAAaM;AAC9B,UAAM,IAAI;AAAA,MACR,wBAAwBN,EAAQ,IAAI,CAAC,EAAE,QAAQ,0CACvBM,CAAoB;AAAA,IAAA;AAGhD,MAAIN,EAAQ,IAAI,CAAC,EAAE,OAAO,WAAW;AACnC,UAAM,IAAI,MAAM,sCAAsC;AAExD,MAAIA,EAAQ,IAAI,CAAC,EAAE,QAAQ,WAAW;AACpC,UAAM,IAAI,MAAM,mDAAmD;AAGrE,MAAIA,EAAQ,KAAK,WAAWD;AAC1B,UAAM,IAAI;AAAA,MACR,gBAAgBC,EAAQ,KAAK,MAAM,gCAC9BD,CAAmB,yBAAyBjD,CAAO,4BACpCxB,IAAS,kBAAkB,EAAE;AAAA,IAAA;AAIrD,QAAMiF,IAAkBpI,EAAO,eAAe,aAAaA,EAAO,QAAQ;AAC1E,MAAI+C,EAAO,eAAeqF;AACxB,UAAM,IAAI;AAAA,MACR,4BAA4BrF,EAAO,UAAU,+CAChBqF,CAAe,aACvCpI,EAAO,QAAQ;AAAA,IAAA;AAKxB,QAAMqI,IAAkBR,EAAQ,KAAK,CAAC;AACtC,MAAI,OAAOQ,EAAgB,KAAK,MAAMtF,EAAO;AAC3C,UAAM,IAAI;AAAA,MACR,oCAAoCsF,EAAgB,KAAK,gDACjBtF,EAAO,UAAU;AAAA,IAAA;AAG7D,QAAMuF,IAAsB3F;AAAA,IAC1B3C,EAAO;AAAA,IACPA,EAAO;AAAA,EAAA,EACP,SAAS,KAAK;AAChB,MACEY,EAAemC,EAAO,iBAAiB,EAAE,YAAA,MACzCuF;AAEA,UAAM,IAAI;AAAA,MACR,yCAAyCvF,EAAO,iBAAiB,iEAE5DuF,CAAmB;AAAA,IAAA;AAG5B,QAAMC,IAAqBF,EAAgB,OAAO,SAAS,KAAK;AAChE,MAAIE,MAAuBD;AACzB,UAAM,IAAI;AAAA,MACR,2CAA2CC,CAAkB,iEAExDD,CAAmB;AAAA,IAAA;AAI5B,QAAME,IAAcX,EAAQ,MAAA;AAC5B,MAAIW,MAAgB5H,EAAemC,EAAO,IAAI,EAAE;AAC9C,UAAM,IAAI;AAAA,MACR,sBAAsByF,CAAW,0CACvBzF,EAAO,IAAI;AAAA,IAAA;AAWzB,QAAME,IAAqB,MAAMC;AAAA,IAC/ByB;AAAA,IACA3E,EAAO,eAAe;AAAA,IACtBA,EAAO,eAAe,2BAA2B;AAAA,IACjDA,EAAO,eAAe;AAAA,IACtBA,EAAO,eAAe;AAAA,IACtBA,EAAO,eAAe;AAAA,EAAA,GAElByI,IAAkBZ,EAAQ,KAAKhC,EAA0B;AAC/D,MAAI,OAAO4C,EAAgB,KAAK,MAAMxF;AACpC,UAAM,IAAI;AAAA,MACR,8CAA8CwF,EAAgB,KAAK,0DAE9DxF,CAAkB,yBAAyB0B,CAAO;AAAA,IAAA;AAI3D,QAAM+D,IAAsBrC;AAAA,IAC1BrG,EAAO,eAAe;AAAA,EAAA;AAExB,MAAI,CAACyI,EAAgB,OAAO,OAAOC,CAAmB;AACpD,UAAM,IAAI;AAAA,MACR,qDACKD,EAAgB,OAAO,SAAS,KAAK,CAAC,2DAEtCC,EAAoB,SAAS,KAAK,CAAC;AAAA,IAAA;AAG9C;ACpZA,eAAsBC,GACpB3I,GAC6B;AAE7B,QAAM4I,IAAY,MAAMC;AAAA,IACtB;AAAA,MACE,gBAAgB7I,EAAO;AAAA,MACvB,WAAWA,EAAO;AAAA,MAClB,eAAeA,EAAO;AAAA,MACtB,cAAcA,EAAO;AAAA,MACrB,sBAAsBA,EAAO;AAAA,MAC7B,eAAeA,EAAO;AAAA,IAAA;AAAA,IAExBA,EAAO;AAAA,EAAA;AAGT,SAAO;AAAA,IACL,cAAc4I,EAAU;AAAA,IACxB,mBAAmBA,EAAU;AAAA,IAC7B,cAAcA,EAAU;AAAA,IACxB,SAASA,EAAU;AAAA,IACnB,oBAAoBA,EAAU;AAAA,EAAA;AAElC;AC5JA,MAAME,KAA6B,KAC7BC,KAA6B,KAC7BC,KAA0B,OAC1BC,KAA0B,YAG1BC,KAAc,WAEdC,KAAgB,aAEhBC,KAAe,YAGfC,IAA2B,IAE3BC,IAAyB,IAEzBC,KAA0B,KAE1BC,KAA4B,GAE5BC,KAAkC,KAGlCC,KAA4B5I,EAAO,KAAK,CAAC,IAAM,EAAI,CAAC;AAO1D,SAAS6I,GAAkBC,GAAmB;AAC5C,MAAIA,IAAId;AACN,WAAOhI,EAAO,KAAK,CAAC8I,CAAC,CAAC;AAExB,MAAIA,KAAKZ,IAAyB;AAChC,UAAMtI,IAAQI,EAAO,MAAM,CAAC;AAC5B,WAAAJ,EAAM,cAAckJ,CAAC,GACd9I,EAAO,OAAO,CAACA,EAAO,KAAK,CAACgI,EAA0B,CAAC,GAAGpI,CAAK,CAAC;AAAA,EACzE;AACA,MAAIkJ,KAAKX,IAAyB;AAChC,UAAMvI,IAAQI,EAAO,MAAM,CAAC;AAC5B,WAAAJ,EAAM,cAAckJ,CAAC,GACd9I,EAAO,OAAO,CAACA,EAAO,KAAK,CAACiI,EAA0B,CAAC,GAAGrI,CAAK,CAAC;AAAA,EACzE;AACA,QAAM,IAAI,MAAM,8CAA8CkJ,CAAC,QAAQ;AACzE;AAMO,SAASC,GACdC,GACAC,GACQ;AACR,QAAMC,IAAWlJ,EAAO,OAAO;AAAA,IAC7BA,EAAO,KAAK,CAACgJ,CAAW,CAAC;AAAA,IACzBH,GAAkBI,EAAO,MAAM;AAAA,IAC/BjJ,EAAO,KAAKiJ,CAAM;AAAA,EAAA,CACnB;AACD,SAAOE,EAAQ,WAAWf,IAAac,CAAQ;AACjD;AAwBO,SAASE,GACdC,GACQ;AACR,QAAM,EAAE,aAAAL,GAAa,QAAAC,GAAQ,cAAA3D,EAAA,IAAiB+D,GAExCC,IAAUhE,EAAa,SAASiD;AACtC,MACEe,IAAU,KACVA,IAAUd,MAA2B,KACrCc,IAAUd,IAAyBC;AAEnC,UAAM,IAAI;AAAA,MACR,2CAA2CnD,EAAa,MAAM,YACzDiD,CAAwB,0BAA0BE,EAAuB;AAAA,IAAA;AAIlF,QAAMc,IAAqBjE,EAAa,CAAC,IAAIqD;AAC7C,MAAIY,MAAuBP;AACzB,UAAM,IAAI;AAAA,MACR,wCAAwCO,EAAmB,SAAS,EAAE,CAAC,oDAClBP,EAAY,SAAS,EAAE,CAAC;AAAA,IAAA;AAIjF,QAAM5D,IAAcpF,EAAO;AAAA,IACzBsF,EAAa,SAAS,GAAGiD,CAAwB;AAAA,EAAA;AAKnD,MAAIiB,IAAOT,GAAmBC,GAAaC,CAAM;AACjD,WACMQ,IAASlB,GACbkB,IAASnE,EAAa,QACtBmE,KAAUjB,GACV;AACA,UAAMkB,IAAU1J,EAAO;AAAA,MACrBsF,EAAa,SAASmE,GAAQA,IAASjB,CAAsB;AAAA,IAAA;AAE/D,IAAAgB,IAAOL,EAAQ;AAAA,MACbd;AAAA,MACArI,EAAO,QAAQwJ,GAAME,CAAO,KAAK,IAC7B1J,EAAO,OAAO,CAACwJ,GAAME,CAAO,CAAC,IAC7B1J,EAAO,OAAO,CAAC0J,GAASF,CAAI,CAAC;AAAA,IAAA;AAAA,EAErC;AAEA,QAAMG,IAAQR,EAAQ;AAAA,IACpBb;AAAA,IACAtI,EAAO,OAAO,CAACoF,GAAaoE,CAAI,CAAC;AAAA,EAAA,GAE7BI,IAAUC,GAAI,mBAAmBzE,GAAauE,CAAK;AACzD,MAAIC,MAAY;AACd,UAAM,IAAI;AAAA,MACR;AAAA,IAAA;AAGJ,QAAME,IAAiBxE,EAAa,CAAC,IAAIoD;AACzC,MAAIkB,EAAQ,WAAWE;AACrB,UAAM,IAAI;AAAA,MACR,6BAA6BF,EAAQ,MAAM,+CACnBE,CAAc;AAAA,IAAA;AAI1C,SAAO9J,EAAO,OAAO;AAAA,IACnB4I;AAAA,IACA5I,EAAO,KAAK4J,EAAQ,WAAW;AAAA,EAAA,CAChC;AACH;ACvJA,MAAMG,KAA0B,KAQ1BC,KAA4B,MAG5BC,KAA+B,KAM/BC,KAA+B,aAO/BC,KAAwB,KACxBC,KAAmC,IAGnCC,KAAkC;AAsBjC,SAASC,GAA0BpL,GAAmC;AAC3E,MACE,OAAOA,EAAO,mBAAoB,YAClCA,EAAO,mBAAmB,MAC1BA,EAAO,kBAAkBgL;AAEzB,UAAM,IAAI;AAAA,MACR,kCAAkCA,EAA4B,iBACrDhL,EAAO,eAAe;AAAA,IAAA;AAKnC,aAAW,CAACqL,GAAMC,GAAOC,GAAKC,CAAM,KAAK;AAAA,IACvC;AAAA,MACE;AAAA,MACAxL,EAAO;AAAA,MACP6K;AAAA,MACA;AAAA,IAAA;AAAA,IAEF;AAAA,MACE;AAAA,MACA7K,EAAO;AAAA,MACP8K;AAAA,MACA;AAAA,IAAA;AAAA,EACF;AAEA,QAAI,CAAC,OAAO,UAAUQ,CAAK,KAAKA,IAAQ,KAAKA,IAAQC;AAEnD,YAAM,IAAI;AAAA,QACR,yBAAyBF,CAAI,KAAKC,CAAK,wCACxBC,CAAG,IAAID,IAAQC,IAAM,KAAKC,CAAM,MAAM,EAAE;AAAA,MAAA;AAM7D,MACE,CAAC,OAAO,UAAUxL,EAAO,WAAW,KACpCA,EAAO,cAAc,KACrBA,EAAO,cAAc+K;AAErB,UAAM,IAAI;AAAA,MACR,yCACSA,EAA4B,UAAU/K,EAAO,WAAW;AAAA,IAAA;AAGvE;AAQA,eAAsByL,GACpBzL,GACA0L,GAKe;AACf,QAAM,EAAE,iBAAAC,GAAiB,SAAAC,GAAS,SAAAC,EAAA,IAAYH,GACxCI,IACJ9L,EAAO,kBAAkBA,EAAO,yBAC5B+L,IAAc,OAAOJ,CAAe,GAKpCK,IAAe,KAAK,IAAI,GAAGJ,IAAUT,EAA+B,GACpEc,IACJhB,KACAC,KAAmCY,IACnCE,GACIE,IAAalM,EAAO,kBAAkB,OAAOiM,CAAc;AACjE,MAAIF,IAAcG;AAChB,UAAM,IAAI;AAAA,MACR,uBAAuBP,CAAe,mCAC9BO,CAAU,UAAUlM,EAAO,eAAe,aAC7CiM,CAAc,WAAWH,CAAe;AAAA,IAAA;AAOjD,QAAMK,IAAa,MAAMC;AAAA,IACvBpM,EAAO;AAAA,IACPA,EAAO;AAAA,IACPA,EAAO;AAAA,IACPA,EAAO;AAAA,IACPA,EAAO;AAAA,IACP4L;AAAA,IACAC;AAAA,IACA7L,EAAO;AAAA,EAAA;AAET,MAAI+L,IAAcI;AAChB,UAAM,IAAI;AAAA,MACR,uBAAuBR,CAAe,+BACjCQ,CAAU;AAAA,IAAA;AAIrB;AC7IA,MAAME,KAAa,IAEbC,KAAY,IAEZC,KAAW,IAEXC,KAAY,IAEZC,KAAW;AAEjB,SAASC,GAASC,GAAoB;AACpC,SAAOA,EAAE,WAAWN,KAAa,KAAKM,EAAE,WAAW,MAAM;AAC3D;AACA,SAASC,GAAQD,GAAoB;AACnC,SAAOA,EAAE,WAAWL,KAAY,KAAKK,EAAE,WAAW,MAAM;AAC1D;AACA,SAASE,GAAOF,GAAoB;AAClC,SAAOA,EAAE,WAAWJ,KAAW,KAAKI,EAAE,WAAW,MAAM;AACzD;AACA,SAASG,GAAQH,GAAoB;AACnC,SACEA,EAAE,WAAWH,KAAY,KAAKG,EAAE,WAAW,QAAQ,KAAKA,EAAE,SAAS,MAAM;AAE7E;AACA,SAASI,GAAOJ,GAAoB;AAClC,SAAOA,EAAE,WAAWF,KAAW,KAAKE,EAAE,WAAW,MAAM,KAAKA,EAAE,SAAS,IAAI;AAC7E;AAUO,SAASK,GACdC,GACAtM,GACM;AACN,QAAMoJ,IAASnJ,EAAeqM,CAAS,EAAE,YAAA;AAEzC,MAAIlD,EAAO,WAAW;AACpB,UAAM,IAAI,MAAM,GAAGpJ,CAAK,WAAW;AAErC,MAAI,CAAC,cAAc,KAAKoJ,CAAM,KAAKA,EAAO,SAAS,MAAM;AACvD,UAAM,IAAI,MAAM,GAAGpJ,CAAK,mBAAmB;AAE7C,MAAIoJ,EAAO,WAAW,IAAI;AACxB,UAAM,IAAI;AAAA,MACR,GAAGpJ,CAAK;AAAA,IAAA;AAIZ,MACE,CAACkM,GAAO9C,CAAM,KACd,CAAC2C,GAAS3C,CAAM,KAChB,CAAC6C,GAAQ7C,CAAM,KACf,CAAC+C,GAAQ/C,CAAM,KACf,CAACgD,GAAOhD,CAAM;AAEd,UAAM,IAAI;AAAA,MACR,GAAGpJ,CAAK,sFACgDoJ,EAAO,SAAS,CAAC,WAAWA,CAAM;AAAA,IAAA;AAGhG;AC3CA,MAAMmD,KAAwC;AA6L9C,eAAsBC,GACpBnN,GAC2B;AAC3B,QAAMoN,IAAgB;AAAA,IACpB,kBAAkBpN,EAAO;AAAA,IACzB,iBAAiBA,EAAO,sBAAsB;AAAA,IAC9C,yBAAyBA,EAAO,8BAA8B;AAAA,IAC9D,aAAaA,EAAO,eAAe;AAAA,IACnC,iBAAiBA,EAAO;AAAA,EAAA;AAE1B,EAAAoL,GAA0BgC,CAAa;AAEvC,QAAMC,IAAWvF,EAAY,QAAQlH,EAAeZ,EAAO,WAAW,CAAC,GACjE6H,IAAUC,EAAY,QAAQlH,EAAeZ,EAAO,UAAU,CAAC,GAC/DsN,IAAWxF,EAAY,QAAQlH,EAAeZ,EAAO,WAAW,CAAC;AAEvE,MAAIqN,EAAS,IAAI,WAAWE;AAC1B,UAAM,IAAI;AAAA,MACR,wCAAwCA,CAA4B,gBACnDF,EAAS,IAAI,MAAM;AAAA,IAAA;AAKxC,MAAIA,EAAS,YAAYG;AACvB,UAAM,IAAI;AAAA,MACR,8BAA8BH,EAAS,OAAO,YACzCG,CAAiB;AAAA,IAAA;AAG1B,MAAIH,EAAS,aAAaI;AACxB,UAAM,IAAI;AAAA,MACR,+BAA+BJ,EAAS,QAAQ,YAC3CI,EAAkB;AAAA,IAAA;AAK3B,QAAMC,IAAeC;AAAA,IACnBN,EAAS,IAAI,CAAC;AAAA,IACd;AAAA,IACAxF;AAAA,IACA;AAAA,IACA+F;AAAA,EAAA;AAEF,MAAIP,EAAS,IAAI,CAAC,EAAE,aAAarN,EAAO;AACtC,UAAM,IAAI;AAAA,MACR,2BAA2BqN,EAAS,IAAI,CAAC,EAAE,QAAQ,sCAC3BrN,EAAO,aAAa;AAAA,IAAA;AAIhD,QAAM6N,IAAgBF;AAAA,IACpBN,EAAS,IAAI,CAAC;AAAA,IACd;AAAA,IACAC;AAAA,IACA;AAAA,IACAQ;AAAA,EAAA;AAEF,MAAIT,EAAS,IAAI,CAAC,EAAE,aAAarN,EAAO;AACtC,UAAM,IAAI;AAAA,MACR,2BAA2BqN,EAAS,IAAI,CAAC,EAAE,QAAQ,uCAC1BrN,EAAO,cAAc;AAAA,IAAA;AAWlD,QAAM,EAAE,SAAA4L,GAAS,SAAAC,EAAA,IAAYkC;AAAA,IAC3BV;AAAA,IACAK,EAAa;AAAA,IACb1N;AAAA,EAAA,GAGIgO,IAAiBN,EAAa,QAAQG,EAAc;AAC1D,MAAII,IAAkB;AACtB,aAAWC,KAAOb,EAAS,KAAM,CAAAY,KAAmBC,EAAI;AACxD,MAAID,IAAkBD;AACpB,UAAM,IAAI;AAAA,MACR,mBAAmBC,CAAe,yBAC5BD,CAAc;AAAA,IAAA;AAGxB,QAAMrC,IAAkBqC,IAAiBC;AACzC,QAAMxC,GAAsB2B,GAAe;AAAA,IACzC,iBAAAzB;AAAA,IACA,SAAAC;AAAA,IACA,SAAAC;AAAA,EAAA,CACD;AAID,QAAMsC,IAAkB,MAAMxF,GAAmB;AAAA,IAC/C,kBAAkB3I,EAAO;AAAA,IACzB,WAAWA,EAAO;AAAA,IAClB,eAAeA,EAAO;AAAA,IACtB,cAAcA,EAAO;AAAA,IACrB,sBAAsBA,EAAO;AAAA,IAC7B,eAAeA,EAAO;AAAA,IACtB,SAASA,EAAO;AAAA,EAAA,CACjB,GAEKoO,IAAmB,MAAMC,GAAwBrO,GAAQ6N,CAAa;AAE5E,SAAO;AAAA,IACL,SAASS;AAAA,MACPjB;AAAA,MACAK;AAAA,MACAG;AAAA,MACAM;AAAA,MACAC;AAAA,IAAA;AAAA,EACF;AAEJ;AAqBA,eAAeC,GACbrO,GACA6N,GAC2B;AAC3B,QAAM,EAAE,cAAAhL,GAAc,oBAAA0L,EAAA,IAAuB,MAAMC,GAA0B;AAAA,IAC3E,gBAAgBxO,EAAO;AAAA,IACvB,SAASY,EAAeZ,EAAO,gBAAgB,EAAE,YAAA;AAAA,IACjD,kBAAkBD,GAAuB;AAAA,MACvC,kBAAkBC,EAAO;AAAA,MACzB,oBAAoBA,EAAO;AAAA,MAC3B,wBAAwBA,EAAO;AAAA,MAC/B,uBAAuBA,EAAO;AAAA,IAAA,CAC/B;AAAA,IACD,sBAAsBA,EAAO,8BAA8B;AAAA,MAAI,CAACK,MAC9DO,EAAeP,CAAC,EAAE,YAAA;AAAA,IAAY;AAAA,IAEhC,gBAAgBL,EAAO;AAAA,IACvB,gBAAgBA,EAAO,eAAe;AAAA,MAAI,CAACK,MACzCO,EAAeP,CAAC,EAAE,YAAA;AAAA,IAAY;AAAA,IAEhC,eAAeL,EAAO;AAAA,EAAA,CACvB,GAEK+J,IAAS9D,EAAgBpD,CAAY,GACrCuD,IAAeH,EAAgBsI,CAAkB,GACjDE,IAAoBvE,GAA2B;AAAA,IACnD,aAAajI;AAAA,IACb,QAAA8H;AAAA,IACA,cAAA3D;AAAA,EAAA,CACD;AACD,MAAI,CAACyH,EAAc,OAAO,OAAOY,CAAiB;AAChD,UAAM,IAAI;AAAA,MACR,iGAC+BA,EAAkB,SAAS,KAAK,CAAC,YACpDX,EAA0B,SACjCD,EAAc,OAAO,SAAS,KAAK,CAAC;AAAA,IAAA;AAI7C,SAAO,EAAE,QAAA9D,GAAQ,cAAA3D,EAAA;AACnB;AAUA,SAASuH,GACPe,GACAC,GACAC,GACAC,GACAC,GACU;AACV,QAAM7G,IAAYC;AAAA,IAChB,IAAI,WAAWwG,EAAM,IAAI,EAAE,MAAA,EAAQ,QAAA;AAAA,EAAQ,GAEvCK,IAAaH,EAAS,MAAA;AAC5B,MAAI3G,MAAc8G,KAAcL,EAAM,UAAUI;AAC9C,UAAM,IAAI;AAAA,MACR,SAASH,CAAU,eAAeE,CAAW,IAAIC,CAAY,cAC/CC,CAAU,IAAID,CAAY,SAAS7G,CAAS,IAAIyG,EAAM,KAAK;AAAA,IAAA;AAG7E,QAAMM,IAAUJ,EAAS,KAAKF,EAAM,KAAK;AACzC,MAAI,CAACM;AACH,UAAM,IAAI;AAAA,MACR,uCAAuCL,CAAU,WACrC1G,CAAS,YAAYyG,EAAM,KAAK;AAAA,IAAA;AAGhD,SAAOM;AACT;AAWA,SAASV,GACPjB,GACAK,GACAG,GACAM,GACAC,GACQ;AACR,QAAMa,IAAO,IAAIC,EAAA;AACjB,EAAAD,EAAK,WAAW5B,EAAS,OAAO,GAChC4B,EAAK,YAAY5B,EAAS,QAAQ;AAElC,QAAM,CAAC8B,GAAQC,CAAM,IAAI/B,EAAS;AAGlC,EAAA4B,EAAK,SAAS;AAAA,IACZ,MAAME,EAAO;AAAA,IACb,OAAOA,EAAO;AAAA,IACd,UAAUA,EAAO;AAAA,IACjB,aAAa;AAAA,MACX,QAAQzB,EAAa;AAAA,MACrB,OAAOA,EAAa;AAAA,IAAA;AAAA,IAEtB,eAAe;AAAA,MACb;AAAA,QACE,aAAazL;AAAA,QACb,QAAQnB,EAAO,KAAKmF,EAAgBkI,EAAgB,YAAY,CAAC;AAAA,QACjE,cAAcrN,EAAO;AAAA,UACnBmF,EAAgBkI,EAAgB,kBAAkB;AAAA,QAAA;AAAA,MACpD;AAAA,IACF;AAAA,IAEF,gBAAgBrN,EAAO,KAAKwB,CAAiB;AAAA;AAAA,EAAA,CAE9C,GAID2M,EAAK,SAAS;AAAA,IACZ,MAAMG,EAAO;AAAA,IACb,OAAOA,EAAO;AAAA,IACd,UAAUA,EAAO;AAAA,IACjB,aAAa;AAAA,MACX,QAAQvB,EAAc;AAAA,MACtB,OAAOA,EAAc;AAAA,IAAA;AAAA,IAEvB,eAAe;AAAA,MACb;AAAA,QACE,aAAa5L;AAAA,QACb,QAAQnB,EAAO,KAAKsN,EAAiB,MAAM;AAAA,QAC3C,cAActN,EAAO,KAAKsN,EAAiB,YAAY;AAAA,MAAA;AAAA,IACzD;AAAA,IAEF,gBAAgBtN,EAAO,KAAKwB,CAAiB;AAAA,EAAA,CAC9C;AAED,aAAWH,KAAUkL,EAAS;AAC5B,IAAA4B,EAAK,UAAU;AAAA,MACb,QAAQ9M,EAAO;AAAA,MACf,OAAOA,EAAO;AAAA,IAAA,CACf;AAGH,SAAO8M,EAAK,MAAA;AACd;AA2DA,SAASI,GACPC,GACAC,GACU;AACV,QAAMC,IAAa5O,EAAe0O,CAAsB,EAAE,YAAA,GACpDG,IAAc7O;AAAA,IAClBgF,GAA2B2J,CAAY;AAAA,EAAA,EACvC,YAAA;AACF,SAAOC,MAAeC,IAAc,CAACD,CAAU,IAAI,CAACA,GAAYC,CAAW;AAC7E;AAGA,SAASC,GAAiB3F,GAAgB4F,GAAkC;AAC1E,SAAOA,EAAc,KAAK,CAACC,MAAQ7F,EAAO,OAAOjJ,EAAO,KAAK8O,GAAK,KAAK,CAAC,CAAC;AAC3E;AAsCA,SAAS7B,GACPV,GACAwC,GACA7P,GACkD;AAClD,QAAM;AAAA,IACJ,kBAAA8P;AAAA,IACA,wBAAAC;AAAA,IACA,oBAAAC;AAAA,IACA,uBAAAC;AAAA,IACA,8BAAAC;AAAA,IACA,eAAAC;AAAA,IACA,8BAAAC;AAAA,IACA,0BAAAC;AAAA,EAAA,IACErQ;AAEJ,MAAI,CAACsQ,GAAWJ,CAA4B;AAC1C,UAAM,IAAI,MAAM,qDAAqD;AAGvE,QAAMjQ,IAAUW,EAAekP,CAAgB,EAAE,YAAA,GAC3CS,IAAK3P,EAAemP,CAAsB,EAAE,YAAA,GAC5CS,IAAM5P,EAAeoP,CAAkB,EAAE,YAAA,GACzCS,IAAUR,EAAsB;AAAA,IAAI,CAAC5P,MACzCO,EAAeP,CAAC,EAAE,YAAA;AAAA,EAAY;AAIhC,MAAIgL,GACAqF,GACAC;AAEJ,MAAI1Q,MAAYsQ;AACd,IAAAlF,IAAO,cACPqF,IAAmBE,IACnBD,IAA0B,CAAC/P,EAAesP,CAA4B,CAAC;AAAA,WAC9DjQ,MAAYuQ;AACrB,IAAAnF,IAAO,wBACPqF,IAAmBG,IACnBF,IAA0B,CAAC/P,EAAesP,CAA4B,CAAC;AAAA,WAC9DO,EAAQ,SAASxQ,CAAO,GAAG;AACpC,IAAAoL,IAAO,cACPqF,IAAmBG;AAUnB,UAAMrB,IAAaY,EAA6BnQ,CAAO;AACvD,QAAIuP,MAAe;AACjB,YAAM,IAAI;AAAA,QACR,iEAAiEvP,CAAO;AAAA,MAAA;AAG5E,IAAA+M;AAAA,MACEwC;AAAA,MACA,0CAA0CvP,CAAO;AAAA,IAAA,GAEnD0Q,IAA0BtB,GAA0BG,GAAYvP,CAAO;AAAA,EACzE;AACE,UAAM,IAAI;AAAA,MACR,0BAA0BA,CAAO;AAAA,IAAA;AAIrC,MAAIoN,EAAS,KAAK,WAAWqD;AAC3B,UAAM,IAAI;AAAA,MACR,0BAA0BrD,EAAS,KAAK,MAAM,gCACxBqD,CAAgB,aAAarF,CAAI;AAAA,IAAA;AAI3D,MAAI,CAACqE,GAAiBrC,EAAS,KAAK,CAAC,EAAE,QAAQsD,CAAuB;AACpE,UAAM,IAAI;AAAA,MACR,+EAA+EtF,CAAI,eACpEsF,EAAwB,KAAK,MAAM,CAAC,SAC1CtD,EAAS,KAAK,CAAC,EAAE,OAAO,SAAS,KAAK,CAAC;AAAA,IAAA;AAIpD,QAAMyD,IAAYJ,IAAmB;AACrC,MAAIrD,EAAS,KAAKyD,CAAS,EAAE,UAAUC;AACrC,UAAM,IAAI;AAAA,MACR,2BAA2BD,CAAS,WAAWzD,EAAS,KAAKyD,CAAS,EAAE,KAAK,oBAC7DC,EAAuB;AAAA,IAAA;AAI3C,MAAI1F,MAAS,cAAc;AAIzB,IAAA2B;AAAA,MACEqD;AAAA,MACA;AAAA,IAAA;AAEF,UAAMW,IAAgC3B;AAAA,MACpCgB;AAAA,MACAE;AAAA,IAAA;AAEF,QACE,CAACb,GAAiBrC,EAAS,KAAK,CAAC,EAAE,QAAQ2D,CAA6B;AAExE,YAAM,IAAI;AAAA,QACR,oGACeA,EAA8B,KAAK,MAAM,CAAC,SAChD3D,EAAS,KAAK,CAAC,EAAE,OAAO,SAAS,KAAK,CAAC;AAAA,MAAA;AAQpD,QACE,CAAC,OAAO,UAAU8C,CAAa,KAC/BA,IAAgB,KAChBA,KAAiBc;AAEjB,YAAM,IAAI;AAAA,QACR,2CACSA,EAA+B,UAAUd,CAAa;AAAA,MAAA;AAGnE,UAAMe,IAAoB,KAAK;AAAA,MAC5BrB,IAAiBM,IAAiBgB;AAAA,IAAA;AAErC,QAAI9D,EAAS,KAAK,CAAC,EAAE,QAAQ6D;AAC3B,YAAM,IAAI;AAAA,QACR,sCAAsC7D,EAAS,KAAK,CAAC,EAAE,KAAK,qBAC3C6D,CAAiB,UAC5Bf,CAAa,sBAAsBN,CAAc;AAAA,MAAA;AAAA,EAG7D;AAKA,QAAMjE,IAAUyB,EAAS,KAAK,CAAC,EAAE,OAAO;AACxC,MAAIzB,MAAY,KAAKA,IAAUwF;AAC7B,UAAM,IAAI;AAAA,MACR,uCAAuCxF,CAAO,mDACTwF,EAAqB;AAAA,IAAA;AAU9D,QAAMvF,KACJR,MAAS,eAAegC,EAAS,KAAK,CAAC,EAAE,OAAO,SAAS;AAE3D,SAAO,EAAE,SAAAzB,GAAS,SAAAC,GAAA;AACpB;AAqBO,SAASwF,GACdC,GACA1R,GACA+O,IAAa,GACL;AACR,QAAM4C,IAAarC,EAAK,QAAQoC,CAAa;AAE7C,MAAI3C,KAAc4C,EAAW,KAAK,OAAO;AACvC,UAAM,IAAI;AAAA,MACR,eAAe5C,CAAU,kBAAkB4C,EAAW,KAAK,OAAO,MAAM;AAAA,IAAA;AAI5E,QAAM7C,IAAQ6C,EAAW,KAAK,OAAO5C,CAAU;AAG/C,MAAID,EAAM,gBAAgBA,EAAM,aAAa,SAAS,GAAG;AACvD,UAAM8C,IAAuBvL,EAAgBrG,CAAe;AAE5D,eAAW6R,KAAY/C,EAAM;AAC3B,UAAI+C,EAAS,OAAO,OAAO3Q,EAAO,KAAK0Q,CAAoB,CAAC;AAC1D,eAAOE,GAAkBD,EAAS,WAAW9C,CAAU;AAI3D,UAAM,IAAI;AAAA,MACR,4CAA4C/O,CAAe,aAAa+O,CAAU;AAAA,IAAA;AAAA,EAEtF;AAQA,MAAID,EAAM,sBAAsBA,EAAM,mBAAmB,SAAS,GAAG;AACnE,UAAMiD,IAAeC,GAAkBlD,EAAM,kBAAkB;AAC/D,QAAIiD,EAAa,WAAWzE;AAC1B,YAAM,IAAI;AAAA,QACR,oDAAoDyB,CAAU,cAChDzB,EAAqC,iDAC1CyE,EAAa,MAAM;AAAA,MAAA;AAGhC,WAAOD,GAAkBC,EAAa,CAAC,GAAGhD,CAAU;AAAA,EACtD;AAEA,QAAM,IAAI;AAAA,IACR,uEAAuEA,CAAU;AAAA,EAAA;AAErF;AASA,SAAS+C,GAAkBG,GAAiBlD,GAA4B;AACtE,MAAIkD,EAAI,WAAW;AACjB,WAAO3J,EAAgB,IAAI,WAAW2J,CAAG,CAAC;AAE5C,QAAIA,EAAI,WAAW,KACX,IAAI;AAAA,IACR,6BAA6BA,EAAI,EAAE,EAAE,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG,CAAC,aAAalD,CAAU;AAAA,EAAA,IAIvF,IAAI;AAAA,IACR,wCAAwCA,CAAU,KAAKkD,EAAI,MAAM;AAAA,EAAA;AAErE;AAUA,SAASD,GAAkBxP,GAA2B;AACpD,QAAM0P,IAAkB,CAAA;AACxB,MAAIvH,IAAS;AAEb,QAAMwH,IAAe,CAACnI,MAAoB;AACxC,QAAIW,IAASX,IAAIxH,EAAQ;AACvB,YAAM,IAAI;AAAA,QACR,gCAAgCwH,CAAC,sBAAsBW,CAAM,UAAUnI,EAAQ,SAASmI,CAAM;AAAA,MAAA;AAAA,EAGpG,GAEMyH,IAAa,MAAc;AAC/B,IAAAD,EAAa,CAAC;AACd,UAAME,IAAQ7P,EAAQmI,GAAQ;AAC9B,QAAI0H,IAAQ,IAAM,QAAOA;AACzB,QAAIA,MAAU,KAAM;AAClB,MAAAF,EAAa,CAAC;AACd,YAAMG,KAAO9P,EAAQmI,CAAM,IAAKnI,EAAQmI,IAAS,CAAC,KAAK,OAAQ;AAC/D,aAAAA,KAAU,GACH2H;AAAA,IACT;AACA,QAAID,MAAU,KAAM;AAClB,MAAAF,EAAa,CAAC;AACd,YAAMG,KACH9P,EAAQmI,CAAM,IACZnI,EAAQmI,IAAS,CAAC,KAAK,IACvBnI,EAAQmI,IAAS,CAAC,KAAK,KACvBnI,EAAQmI,IAAS,CAAC,KAAK,QAC1B;AACF,aAAAA,KAAU,GACH2H;AAAA,IACT;AAIA,UAAM,IAAI;AAAA,MACR,wEAAwE3H,IAAS,CAAC;AAAA,IAAA;AAAA,EAEtF,GAEMe,IAAQ0G,EAAA;AACd,WAASrO,IAAI,GAAGA,IAAI2H,GAAO3H,KAAK;AAC9B,UAAMwO,IAAMH,EAAA;AACZ,IAAAD,EAAaI,CAAG,GAChBL,EAAM,KAAKhR,EAAO,KAAKsB,EAAQ,SAASmI,GAAQA,IAAS4H,CAAG,CAAC,CAAC,GAC9D5H,KAAU4H;AAAA,EACZ;AAEA,MAAI5H,MAAWnI,EAAQ;AACrB,UAAM,IAAI;AAAA,MACR,2BAA2BA,EAAQ,SAASmI,CAAM,mCAAmCe,CAAK;AAAA,IAAA;AAI9F,SAAOwG;AACT;ACr7BO,MAAMM,UAA8B,MAAM;AAAA,EAC/C,YAAYC,GAAgB;AAC1B;AAAA,MACE,uDAAuDA,CAAM;AAAA,IAAA,GAE/D,KAAK,OAAO;AAAA,EACd;AACF;AASA,SAASC,GAAU3R,GAAiCiP,GAAmB;AACrE,MAAI;AACF,WAAOV,EAAK,QAAQU,CAAG;AAAA,EACzB,SAAS2C,GAAO;AACd,UAAM/G,IAAS+G,aAAiB,QAAQA,EAAM,UAAU,OAAOA,CAAK;AACpE,UAAM,IAAI,MAAM,mBAAmB5R,CAAK,UAAU6K,CAAM,EAAE;AAAA,EAC5D;AACF;AAOA,MAAMgH,KAA0B;AAEhC,SAASC,EAAUC,GAAqB;AACtC,SAAO,GAAGA,EAAI,SAAS,KAAK,EAAE,MAAM,GAAGF,EAAuB,CAAC;AACjE;AAQA,SAASG,GAAWC,GAA8B;AAChD,QAAMC,IAAW/R,EAAO,KAAK8R,CAAY,EAAE,QAAA;AAC3C,SAAOH,EAAUI,CAAQ;AAC3B;AASO,SAASC,GACd9S,GACM;AACN,QAAM4D,IAAY0O,GAAU,aAAatS,EAAO,gBAAgB,GAC1D+S,IAAWT,GAAU,YAAYtS,EAAO,eAAe;AAE7D,MAAI4D,EAAU,YAAYmP,EAAS;AACjC,UAAM,IAAIX;AAAA,MACR,iCAAiCxO,EAAU,OAAO,cAAcmP,EAAS,OAAO;AAAA,IAAA;AAGpF,MAAInP,EAAU,aAAamP,EAAS;AAClC,UAAM,IAAIX;AAAA,MACR,kCAAkCxO,EAAU,QAAQ,cAAcmP,EAAS,QAAQ;AAAA,IAAA;AAGvF,MAAInP,EAAU,SAAS,WAAWmP,EAAS,SAAS;AAClD,UAAM,IAAIX;AAAA,MACR,kCAAkCxO,EAAU,SAAS,MAAM,cAAcmP,EAAS,SAAS,MAAM;AAAA,IAAA;AAGrG,MAAInP,EAAU,UAAU,WAAWmP,EAAS,UAAU;AACpD,UAAM,IAAIX;AAAA,MACR,mCAAmCxO,EAAU,UAAU,MAAM,cAAcmP,EAAS,UAAU,MAAM;AAAA,IAAA;AAGxG,WAASpP,IAAI,GAAGA,IAAIC,EAAU,SAAS,QAAQD,KAAK;AAClD,UAAMqP,IAAIpP,EAAU,SAASD,CAAC,GACxB,IAAIoP,EAAS,SAASpP,CAAC;AAC7B,QAAI,CAACqP,EAAE,KAAK,OAAO,EAAE,IAAI;AACvB,YAAM,IAAIZ;AAAA,QACR,SAASzO,CAAC,oCAAoCgP,GAAWK,EAAE,IAAI,CAAC,cAAcL,GAAW,EAAE,IAAI,CAAC;AAAA,MAAA;AAGpG,QAAIK,EAAE,UAAU,EAAE;AAChB,YAAM,IAAIZ;AAAA,QACR,SAASzO,CAAC,oCAAoCqP,EAAE,KAAK,cAAc,EAAE,KAAK;AAAA,MAAA;AAG9E,QAAIA,EAAE,aAAa,EAAE;AACnB,YAAM,IAAIZ;AAAA,QACR,SAASzO,CAAC,gCAAgCqP,EAAE,QAAQ,cAAc,EAAE,QAAQ;AAAA,MAAA;AAAA,EAGlF;AACA,WAASrP,IAAI,GAAGA,IAAIC,EAAU,UAAU,QAAQD,KAAK;AACnD,UAAMqP,IAAIpP,EAAU,UAAUD,CAAC,GACzB,IAAIoP,EAAS,UAAUpP,CAAC;AAC9B,QAAI,CAACqP,EAAE,OAAO,OAAO,EAAE,MAAM;AAC3B,YAAM,IAAIZ;AAAA,QACR,UAAUzO,CAAC,oCAAoC8O,EAAUO,EAAE,MAAM,CAAC,cAAcP,EAAU,EAAE,MAAM,CAAC;AAAA,MAAA;AAGvG,QAAIO,EAAE,UAAU,EAAE;AAChB,YAAM,IAAIZ;AAAA,QACR,UAAUzO,CAAC,6BAA6BqP,EAAE,KAAK,cAAc,EAAE,KAAK;AAAA,MAAA;AAAA,EAG1E;AACF;AC/DO,SAASC,GACdjT,GACM;AACN,QAAM,EAAE,kBAAAkT,GAAkB,cAAAC,GAAc,sBAAAC,GAAsB,YAAAzE,MAC5D3O,GAEIqT,IAAezS,EAAeuS,CAAY;AAChD,MAAIE,EAAa,WAAWC;AAC1B,UAAM,IAAI;AAAA,MACR,+BAA+B3E,CAAU,YAAY2E,CAAmB,8BACnDD,EAAa,MAAM;AAAA,IAAA;AAI5C,QAAME,IAAc3S,EAAewS,CAAoB;AACvD,MAAIG,EAAY,WAAWC;AACzB,UAAM,IAAI;AAAA,MACR,kCAAkC7E,CAAU,YAAY6E,EAAqB,8BACxDD,EAAY,MAAM;AAAA,IAAA;AAI3C,QAAMtE,IAAOC,EAAK,QAAQgE,CAAgB;AAE1C,MAAIvE,IAAa,KAAKA,KAAcM,EAAK,KAAK,OAAO;AACnD,UAAM,IAAI;AAAA,MACR,eAAeN,CAAU,kBAAkBM,EAAK,KAAK,OAAO,MAAM;AAAA,IAAA;AAOtE,QAAMwE,IAA2B,CAAA,GAC3BzS,IAAmB,CAAA;AACzB,WAAS2C,IAAI,GAAGA,IAAIsL,EAAK,KAAK,OAAO,QAAQtL,KAAK;AAChD,UAAM+P,IAAczE,EAAK,KAAK,OAAOtL,CAAC,EAAE;AACxC,QAAI,CAAC+P;AACH,YAAM,IAAI;AAAA,QACR,kCAAkC/P,CAAC;AAAA,MAAA;AAIvC,IAAA8P,EAAe,KAAKC,EAAY,MAAM,GACtC1S,EAAO,KAAK0S,EAAY,KAAK;AAAA,EAC/B;AAKA,QAAMC,IAAiB1E,EAAK,KAAK,OAAON,CAAU,EAAE;AACpD,MAAI,CAACgF,KAAkBA,EAAe,WAAW;AAC/C,UAAM,IAAI;AAAA,MACR,kCAAkChF,CAAU,oEAChBgF,KAAA,gBAAAA,EAAgB,WAAU,CAAC;AAAA,IAAA;AAG3D,QAAMC,IAAOD,EAAe,CAAC;AAC7B,MAAIC,EAAK,gBAAgB3R;AACvB,UAAM,IAAI;AAAA,MACR,kCAAkC0M,CAAU,qCACrCiF,EAAK,YAAY,SAAS,EAAE,CAAC,gBAAgB3R,EAAuB,SAAS,EAAE,CAAC;AAAA,IAAA;AAI3F,QAAM4R,IAAWhK,GAAmB+J,EAAK,aAAaA,EAAK,MAAM,GAK3DE,IAAK,IAAIhM,EAAA;AACf,EAAAgM,EAAG,UAAU7E,EAAK,SAClB6E,EAAG,WAAW7E,EAAK;AACnB,aAAWP,KAASO,EAAK;AACvB,IAAA6E,EAAG,SAASpF,EAAM,MAAMA,EAAM,OAAOA,EAAM,QAAQ;AAErD,aAAWvM,KAAU8M,EAAK;AACxB,IAAA6E,EAAG,UAAU3R,EAAO,QAAQA,EAAO,KAAK;AAG1C,QAAM4R,IAAUD,EAAG;AAAA,IACjBnF;AAAA,IACA8E;AAAA,IACAzS;AAAA,IACA8G,EAAY;AAAA,IACZ+L;AAAA,EAAA;AASF,MAAI,CANYlJ,GAAI;AAAA,IAClBoJ;AAAA,IACA9N,EAAgBsN,CAAW;AAAA,IAC3BtN,EAAgBoN,CAAY;AAAA,EAAA;AAI5B,UAAM,IAAI;AAAA,MACR,+BAA+B1E,CAAU,YAAY4E,CAAW;AAAA,IAAA;AAKtE;"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@babylonlabs-io/ts-sdk",
-  "version": "0.79.0",
+  "version": "1.0.0",
   "type": "module",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",
@@ -126,7 +126,7 @@
     "buffer": "6.0.3"
   },
   "peerDependencies": {
-    "@babylonlabs-io/babylon-tbv-rust-wasm": "0.19.0",
+    "@babylonlabs-io/babylon-tbv-rust-wasm": "1.0.0",
     "@bitcoin-js/tiny-secp256k1-asmjs": "2.2.3",
     "bitcoinjs-lib": "6.1.7",
     "viem": "^2.38.2"
@@ -143,6 +143,7 @@
     }
   },
   "devDependencies": {
+    "@babylonlabs-io/babylon-tbv-rust-wasm": "1.0.0",
     "@vitest/browser-playwright": "4.0.9",
     "@vitest/coverage-v8": "^4.0.8",
     "@vitest/ui": "^4.0.8",
@@ -158,8 +159,7 @@
     "vite": "^6.4.1",
     "vite-plugin-dts": "^4.3.0",
     "vitest": "4.0.9",
-    "@internal/eslint-config": "0.0.0",
-    "@babylonlabs-io/babylon-tbv-rust-wasm": "0.19.0"
+    "@internal/eslint-config": "0.0.0"
   },
   "publishConfig": {
     "access": "public",

package/dist/noPayout-4RZB2g1e.cjs

@@ -1,2 +0,0 @@
-"use strict";const m=require("bitcoinjs-lib"),x=require("buffer"),S=require("./tbv/core/wasm/index.cjs"),t=require("./bitcoin-D-O2GjbC.cjs"),h=require("./verifyScriptPathSchnorrSignature-DaRqvEgW.cjs"),v=require("./constants-BTZdyOuk.cjs"),N=require("./fundPeginTransaction-54-Rwb2k.cjs"),k=require("./validation-C6XTfZak.cjs"),V=(1n<<64n)-1n;function B(r,u){if(!Array.isArray(r))throw new Error(`${u} must be an array of positive bigints (got ${typeof r}).`);if(r.length===0)throw new Error(`${u} must not be empty.`);return r.forEach((e,n)=>{if(typeof e!="bigint")throw new Error(`${u}[${n}] must be a bigint (got ${typeof e}); refusing to feed it into satoshi math.`);if(e<=0n)throw new Error(`${u}[${n}] must be > 0 (got ${e}).`);if(e>V)throw new Error(`${u}[${n}] must fit in a u64 (got ${e}); refusing to feed it into satoshi math.`)}),r}async function K(r){const{WasmPrePeginTx:u}=await S.loadRawTbvWasm(),{prePeginParams:e,fundedPrePeginTxHex:n,htlcVout:s,refundFee:f,hashlock:c}=r,l=h.normalizeAuthAnchorHash(e.authAnchorHash),o=new u(e.vaultCoreVersion,e.depositorPubkey,e.vaultProviderPubkey,e.vaultKeeperPubkeys,e.universalChallengerPubkeys,[...e.hashlocks],new BigUint64Array(B(e.pegInAmounts,"pegInAmounts")),e.timelockRefund,e.feeRate,e.minPeginFeeRate,e.numLocalChallengers,e.councilQuorum,e.councilSize,e.network,l);let a=null;try{const d=o.getHtlcScriptPubKey(s).toLowerCase(),i=h.deriveExpectedPrePeginHtlc(e,c),P=i.scriptPubKey.toString("hex");if(d!==P)throw new Error(`WASM HTLC scriptPubKey ${d} does not match the independently derived scriptPubKey ${P}.`);const T=o.getHtlcValue(s);a=o.fromFundedTransaction(n);const w=a.buildRefundTx(f,s),b=n.startsWith("0x")?n.slice(2):n,$=m.Transaction.fromHex(b),E=$.outs[s];if(!E)throw new Error(`HTLC output at vout ${s} not found in funded Pre-PegIn tx (tx has ${$.outs.length} outputs)`);const I=t.uint8ArrayToHex(new Uint8Array(E.script)).toLowerCase();if(I!==P)throw new Error(`HTLC scriptPubKey mismatch at vout ${s}: reconstructed template expects ${P}, funded tx carries ${I}. Refund refused — the (hashlocks, pegInAmounts) vector does not match the on-chain commitment.`);const g=BigInt(E.value);if(g!==T)throw new Error(`HTLC value mismatch at vout ${s}: reconstructed template expects ${T} sat, funded tx carries ${g} sat. Refund refused — the pegInAmounts vector does not match the on-chain commitment.`);const p=m.Transaction.fromHex(w);if(p.version!==v.REFUND_TX_VERSION)throw new Error(`Refund transaction version ${p.version} does not match protocol version ${v.REFUND_TX_VERSION}.`);if(p.locktime!==v.REFUND_TX_LOCKTIME)throw new Error(`Refund transaction locktime ${p.locktime} does not match protocol locktime ${v.REFUND_TX_LOCKTIME}.`);if(p.ins.length!==1)throw new Error(`Refund transaction must have exactly 1 input, got ${p.ins.length}`);const y=p.ins[0],H=$.getId(),O=t.uint8ArrayToHex(new Uint8Array(y.hash).slice().reverse());if(O!==H)throw new Error(`Refund input does not reference the Pre-PegIn transaction. Expected ${H}, got ${O}`);if(y.index!==s)throw new Error(`Refund input index ${y.index} does not match expected htlcVout ${s}`);if(y.sequence!==e.timelockRefund)throw new Error(`Refund input sequence ${y.sequence} does not match timelockRefund ${e.timelockRefund}.`);const R=new m.Psbt;if(R.setVersion(p.version),R.setLocktime(p.locktime),R.addInput({hash:y.hash,index:y.index,sequence:y.sequence,witnessUtxo:{script:E.script,value:E.value},tapLeafScript:[{leafVersion:t.TAPSCRIPT_LEAF_VERSION,script:i.refundScript,controlBlock:i.refundControlBlock}],tapInternalKey:x.Buffer.from(S.tapInternalPubkey),tapMerkleRoot:i.tapMerkleRoot}),p.outs.length!==1)throw new Error(`Refund transaction must have exactly 1 output, got ${p.outs.length}`);const _=p.outs[0],A=t.stripHexPrefix(t.deriveBip86ScriptPubKeyHex(e.depositorPubkey)).toLowerCase(),L=t.uint8ArrayToHex(new Uint8Array(_.script)).toLowerCase();if(L!==A)throw new Error(`Refund output scriptPubKey ${L} does not match the depositor's BIP-86 address ${A}. Refund refused — the reclaimed funds would not return to the depositor.`);const C=g-f;if(BigInt(_.value)!==C)throw new Error(`Refund output value ${BigInt(_.value)} sat does not equal the HTLC value ${g} sat minus the requested fee ${f} sat (expected ${C} sat). Refund refused — the reclaimed amount would be burned as excess fee.`);return R.addOutput({script:_.script,value:_.value}),{psbtHex:R.toHex()}}finally{a==null||a.free(),o.free()}}const M=2,D=4294967293,q=214,X=299,F=4;function U(r){if(!Number.isInteger(r)||r<1)throw new Error(`Reclaim input count must be a positive integer, got ${r}.`);return Math.ceil((q+X*r)/F)}function G(r,u){if(!Number.isFinite(r)||r<=0)throw new Error(`Reclaim fee rate must be a positive number, got ${r}.`);return BigInt(Math.ceil(r*U(u)))}function z(r){const{depositorPubkey:u,inputs:e,feeSats:n}=r;if(e.length===0)throw new Error("Reclaim requires at least one input; got none.");if(n<=0n)throw new Error(`Reclaim fee must be positive, got ${n} sat. Refusing to build a transaction that would not relay.`);const s=h.deriveDepositorClaimDescriptor(u),f=t.uint8ArrayToHex(new Uint8Array(s.scriptPubKey)).toLowerCase(),c=new m.Psbt;c.setVersion(M),c.setLocktime(0);let l=0n;const o=new Set;if(e.forEach((i,P)=>{const T=m.Transaction.fromHex(t.stripHexPrefix(i.depositorSignedPeginTxHex)),w=T.getId(),b=T.outs[h.PEGIN_DEPOSITOR_CLAIM_VOUT];if(!b)throw new Error(`PegIn ${w} has no output at vout ${h.PEGIN_DEPOSITOR_CLAIM_VOUT} (tx has ${T.outs.length}); there is no depositor-claim reserve to reclaim.`);const $=t.stripHexPrefix(i.observed.txid).toLowerCase();if($!==w)throw new Error(`Input ${P}: the observation is of ${$}, but this input spends PegIn ${w}. Reclaim refused — the reserve that was looked up is not the one being swept.`);if(i.observed.vout!==h.PEGIN_DEPOSITOR_CLAIM_VOUT)throw new Error(`Input ${P}: the observation is of vout ${i.observed.vout}, but the depositor-claim reserve is at vout ${h.PEGIN_DEPOSITOR_CLAIM_VOUT}. Reclaim refused.`);const E=t.uint8ArrayToHex(new Uint8Array(b.script)).toLowerCase();if(E!==f)throw new Error(`Input ${P}: PegIn ${w} vout ${h.PEGIN_DEPOSITOR_CLAIM_VOUT} pays ${E}, but the connected wallet's depositor-claim script is ${f}. Reclaim refused — this reserve belongs to a different wallet.`);const I=t.stripHexPrefix(i.observed.scriptPubKey).toLowerCase();if(I!==f)throw new Error(`Input ${P}: the observed UTXO ${w}:${h.PEGIN_DEPOSITOR_CLAIM_VOUT} pays ${I}, expected ${f}. Reclaim refused — chain state disagrees with the contract's PegIn.`);const g=BigInt(b.value);if(g!==i.observed.value)throw new Error(`Input ${P}: PegIn ${w} vout ${h.PEGIN_DEPOSITOR_CLAIM_VOUT} carries ${g} sat, but the observed UTXO carries ${i.observed.value} sat. Reclaim refused.`);if(g!==i.expectedValue)throw new Error(`Input ${P}: PegIn ${w} vout ${h.PEGIN_DEPOSITOR_CLAIM_VOUT} carries ${g} sat, but this vault's parameters compute a depositor-claim value of ${i.expectedValue} sat. Reclaim refused.`);const p=`${w}:${h.PEGIN_DEPOSITOR_CLAIM_VOUT}`;if(o.has(p))throw new Error(`Input ${P} repeats outpoint ${p}, which is already being swept by an earlier input. Reclaim refused.`);o.add(p),l+=g,c.addInput({hash:w,index:h.PEGIN_DEPOSITOR_CLAIM_VOUT,sequence:D,witnessUtxo:{script:b.script,value:b.value},tapLeafScript:[{leafVersion:t.TAPSCRIPT_LEAF_VERSION,script:s.leafScript,controlBlock:s.controlBlock}],tapInternalKey:s.internalKey})}),n>=l)throw new Error(`Reclaim fee ${n} sat is not less than the swept total ${l} sat. Refusing to build a transaction with no output.`);const a=l-n;if(a<=N.DUST_THRESHOLD)throw new Error(`Reclaim output ${a} sat is at or below the dust threshold ${N.DUST_THRESHOLD} sat. The reserve is not at risk — it stays where it is until fee rates fall.`);const d=t.stripHexPrefix(t.deriveBip86ScriptPubKeyHex(u));return c.addOutput({script:x.Buffer.from(t.hexToUint8Array(d)),value:Number(a)}),{psbtHex:c.toHex(),outputValue:a,totalInputValue:l}}function W(r){const{requestedPsbtHex:u,signaturesHex:e,signerXOnlyPubkeyHex:n}=r,s=t.stripHexPrefix(n);if(s.length!==k.X_ONLY_PUBKEY_HEX_LEN)throw new Error(`Signer x-only pubkey must be ${k.X_ONLY_PUBKEY_HEX_LEN} hex chars (32 bytes), got ${s.length}.`);const f=x.Buffer.from(t.hexToUint8Array(s)),c=m.Psbt.fromHex(u);if(e.length!==c.data.inputs.length)throw new Error(`Cannot finalize: got ${e.length} signature(s) for ${c.data.inputs.length} input(s). Every input must be signed — refusing to broadcast a partially signed transaction.`);return c.data.inputs.forEach((l,o)=>{if(l.tapKeySig)throw new Error(`Cannot finalize: input ${o} of the locally built PSBT carries a key-path signature. These outputs are script-path only.`);const a=l.tapLeafScript;if(!a||a.length!==1)throw new Error(`Cannot finalize: input ${o} must have exactly one tapLeafScript, got ${(a==null?void 0:a.length)??0}.`);const d=a[0];if(d.leafVersion!==t.TAPSCRIPT_LEAF_VERSION)throw new Error(`Cannot finalize: input ${o} tapLeafScript has leaf version 0x${d.leafVersion.toString(16)}, expected 0x${t.TAPSCRIPT_LEAF_VERSION.toString(16)}.`);const i=t.stripHexPrefix(e[o]);if(i.length!==t.SCHNORR_SIG_HEX_LEN)throw new Error(`Signature for input ${o} must be ${t.SCHNORR_SIG_HEX_LEN} hex chars (64 bytes), got ${i.length}.`);c.updateInput(o,{tapScriptSig:[{pubkey:f,leafHash:h.computeTapLeafHash(d.leafVersion,d.script),signature:x.Buffer.from(t.hexToUint8Array(i))}]})}),c.finalizeAllInputs(),c.extractTransaction().toHex()}async function Y(r){const u=t.stripHexPrefix(r.noPayoutTxHex),e=m.Transaction.fromHex(u),{noPayoutScript:n,noPayoutControlBlock:s}=await S.getAssertNoPayoutScriptInfo(r.connectorParams,r.challengerPubkey),f=t.hexToUint8Array(n),c=t.hexToUint8Array(s),l=new m.Psbt;l.setVersion(e.version),l.setLocktime(e.locktime);for(let o=0;o<e.ins.length;o++){const a=e.ins[o],d=r.prevouts[o];if(!d)throw new Error(`Missing prevout data for input ${o}`);const i={hash:a.hash,index:a.index,sequence:a.sequence,witnessUtxo:{script:x.Buffer.from(t.hexToUint8Array(t.stripHexPrefix(d.script_pubkey))),value:d.value}};o===0&&(i.tapLeafScript=[{leafVersion:t.TAPSCRIPT_LEAF_VERSION,script:x.Buffer.from(f),controlBlock:x.Buffer.from(c)}],i.tapInternalKey=x.Buffer.from(S.tapInternalPubkey)),l.addInput(i)}for(const o of e.outs)l.addOutput({script:o.script,value:o.value});return l.toHex()}function Q(r,u,e){const n=m.Transaction.fromHex(t.stripHexPrefix(r));if(n.outs.length!==1)throw new Error(`NoPayout transaction must have exactly 1 output, got ${n.outs.length}`);const s=t.hexToUint8Array(t.processPublicKeyToXOnly(u)),{output:f}=m.payments.p2tr({internalPubkey:x.Buffer.from(s),network:t.getNetwork(e)});if(!f)throw new Error("Failed to derive challenger BIP-86 P2TR scriptPubKey for NoPayout output validation");if(!n.outs[0].script.equals(f))throw new Error("NoPayout transaction does not pay to the expected challenger BIP-86 P2TR address")}exports.assertNoPayoutOutputMatchesChallenger=Q;exports.buildNoPayoutPsbt=Y;exports.buildReclaimPsbt=z;exports.buildRefundPsbt=K;exports.estimateReclaimFeeSats=G;exports.finalizeScriptPathWithSignatures=W;exports.reclaimVsize=U;
-//# sourceMappingURL=noPayout-4RZB2g1e.cjs.map

package/dist/noPayout-4RZB2g1e.cjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"noPayout-4RZB2g1e.cjs","sources":["../src/tbv/core/wasm/value-guards.ts","../src/tbv/core/primitives/psbt/refund.ts","../src/tbv/core/primitives/psbt/reclaim.ts","../src/tbv/core/primitives/psbt/finalizeScriptPathWithSignatures.ts","../src/tbv/core/primitives/psbt/noPayout.ts"],"sourcesContent":["/**\n * Runtime guard for satoshi amounts crossing into the WASM FFI boundary.\n *\n * `new BigUint64Array(values)` is the only way satoshi amounts are handed to\n * the constructor, and a runtime cast (`as readonly bigint[]`) lets a caller\n * pass a non-bigint or non-positive element that `BigUint64Array` would either\n * reject cryptically or, in its length-arg form, silently zero-fill. Values\n * above the u64 maximum are worse still: `BigUint64Array` wraps them mod 2^64\n * without complaint, turning an oversized amount into a small one.\n * {@link assertPositiveBigintArray} validates such inputs before the\n * typed-array construction.\n *\n * Mirrors the `assertPositiveBigintArray` half of `value-guards.ts` in\n * `@babylonlabs-io/babylon-tbv-rust-wasm`; that one function is pinned to the\n * engine's source copy by `__tests__/value-guards.test.ts`. The engine's other\n * guard, `assertWasmBigint`, has no counterpart here: the engine applies it to\n * its own WASM return values before they reach this package.\n */\n\n/** Largest value BigUint64Array stores without wrapping mod 2^64 (2^64 − 1). */\nconst U64_MAX = (1n << 64n) - 1n;\n\n/**\n * Assert a value is a non-empty array of strictly-positive `bigint`s and return\n * it narrowed, ready to feed into `new BigUint64Array(...)`.\n *\n * @param values - The candidate array of satoshi amounts.\n * @param label - Human-readable name used in the thrown error.\n * @throws If `values` is not an array, is empty, or contains any element that is\n *   not a `bigint`, is not strictly greater than 0, or exceeds the u64 maximum\n *   (which `BigUint64Array` would otherwise wrap mod 2^64).\n */\nexport function assertPositiveBigintArray(\n  values: unknown,\n  label: string,\n): bigint[] {\n  if (!Array.isArray(values)) {\n    throw new Error(\n      `${label} must be an array of positive bigints (got ${typeof values}).`,\n    );\n  }\n  if (values.length === 0) {\n    throw new Error(`${label} must not be empty.`);\n  }\n  values.forEach((value, index) => {\n    if (typeof value !== \"bigint\") {\n      throw new Error(\n        `${label}[${index}] must be a bigint (got ${typeof value}); ` +\n          `refusing to feed it into satoshi math.`,\n      );\n    }\n    if (value <= 0n) {\n      throw new Error(`${label}[${index}] must be > 0 (got ${value}).`);\n    }\n    if (value > U64_MAX) {\n      throw new Error(\n        `${label}[${index}] must fit in a u64 (got ${value}); ` +\n          `refusing to feed it into satoshi math.`,\n      );\n    }\n  });\n  return values as bigint[];\n}\n","/**\n * Refund PSBT Builder Primitive\n *\n * Builds an unsigned refund PSBT for a depositor to reclaim BTC from\n * a timed-out Pre-PegIn HTLC output via the refund script (leaf 1).\n *\n * The refund script enforces a CSV timelock (timelockRefund blocks) and\n * requires only the depositor's Schnorr signature — no vault provider or\n * keeper involvement.\n *\n * @module primitives/psbt/refund\n */\n\nimport { Psbt, Transaction } from \"bitcoinjs-lib\";\nimport { Buffer } from \"buffer\";\nimport { loadRawTbvWasm, tapInternalPubkey } from \"../../wasm\";\nimport { assertPositiveBigintArray } from \"../../wasm/value-guards\";\n\nimport {\n  TAPSCRIPT_LEAF_VERSION,\n  deriveBip86ScriptPubKeyHex,\n  stripHexPrefix,\n  uint8ArrayToHex,\n} from \"../utils/bitcoin\";\nimport { deriveExpectedPrePeginHtlc } from \"./assertWasmPeginSizing\";\nimport { REFUND_TX_LOCKTIME, REFUND_TX_VERSION } from \"./constants\";\nimport { normalizeAuthAnchorHash, type PrePeginParams } from \"./pegin\";\n\n/**\n * Parameters for building a refund PSBT\n */\nexport interface BuildRefundPsbtParams {\n  /** Same PrePeginParams used when the original Pre-PegIn tx was created */\n  prePeginParams: PrePeginParams;\n  /** Funded Pre-PegIn transaction hex (the tx whose HTLC output is being refunded) */\n  fundedPrePeginTxHex: string;\n  /** Index of the HTLC output in the Pre-PegIn transaction */\n  htlcVout: number;\n  /** Transaction fee in satoshis for the refund transaction */\n  refundFee: bigint;\n  /** SHA256 hash commitment for the HTLC (64 hex chars, no 0x prefix) */\n  hashlock: string;\n}\n\n/**\n * Result of building a refund PSBT\n */\nexport interface BuildRefundPsbtResult {\n  /** PSBT hex ready for depositor signing */\n  psbtHex: string;\n}\n\n/**\n * Build a PSBT for signing the refund transaction.\n *\n * The refund transaction spends the Pre-PegIn HTLC output via leaf 1\n * (the refund script: `<depositorPubkey> OP_CHECKSIGVERIFY <timelockRefund>\n * OP_CHECKSEQUENCEVERIFY` — btc-vault `connectors/prepegin_htlc.rs`\n * `generate_refund_script`).\n * The PSBT includes the tapLeafScript entry so the depositor's wallet can\n * sign using Taproot script-path spending.\n *\n * The input's sequence is set to `timelockRefund` by the WASM, enforcing\n * the Bitcoin CSV timelock. The refund broadcast will be rejected by the\n * network if the timelock has not yet expired.\n *\n * @param params - Refund PSBT parameters\n * @returns PSBT hex for depositor signing\n * @throws If the HTLC output at htlcVout is not found\n * @throws If the refund transaction does not have exactly 1 input\n */\nexport async function buildRefundPsbt(\n  params: BuildRefundPsbtParams,\n): Promise<BuildRefundPsbtResult> {\n  const { WasmPrePeginTx } = await loadRawTbvWasm();\n\n  const { prePeginParams, fundedPrePeginTxHex, htlcVout, refundFee, hashlock } =\n    params;\n\n  // The 14th positional arg `auth_anchor_hash` is `Option<String>` in\n  // the Rust WASM constructor (the 9th arg `min_pegin_fee_rate` requires\n  // the two-rate constructor from btc-vault #1930). Production peg-ins\n  // (PeginManager) always commit an OP_RETURN <PUSH32 SHA256(authAnchor)>\n  // output at `vout = hashlocks.length`; the unfunded template must\n  // include it so `fromFundedTransaction` aligns with the funded tx.\n  // Normalize identically to the peg-in primitives (`0x` strip,\n  // lowercase, length/charset validation) so a direct primitive caller\n  // reusing successful peg-in params doesn't hand unnormalized bytes to\n  // WASM. Pass `undefined` for legacy non-auth-anchored Pre-PegIns.\n  const normalizedAuthAnchorHash = normalizeAuthAnchorHash(\n    prePeginParams.authAnchorHash,\n  );\n  // Reconstruct the template under the same graph version the Pre-PegIn\n  // was originally built with (the vault's stamped vaultCoreVersion).\n  const unfundedTx = new WasmPrePeginTx(\n    prePeginParams.vaultCoreVersion,\n    prePeginParams.depositorPubkey,\n    prePeginParams.vaultProviderPubkey,\n    prePeginParams.vaultKeeperPubkeys,\n    prePeginParams.universalChallengerPubkeys,\n    [...prePeginParams.hashlocks],\n    new BigUint64Array(\n      assertPositiveBigintArray(prePeginParams.pegInAmounts, \"pegInAmounts\"),\n    ),\n    prePeginParams.timelockRefund,\n    prePeginParams.feeRate,\n    prePeginParams.minPeginFeeRate,\n    prePeginParams.numLocalChallengers,\n    prePeginParams.councilQuorum,\n    prePeginParams.councilSize,\n    prePeginParams.network,\n    normalizedAuthAnchorHash,\n  );\n\n  let fundedTx: typeof unfundedTx | null = null;\n  try {\n    // Cross-check the reconstructed unfunded template against an independent\n    // TypeScript derivation and the funded transaction bytes.\n    // If they disagree, the template was reconstructed from the wrong\n    // (hashlocks, amounts) vector — signing it would produce a refund\n    // that does not spend the on-chain HTLC the depositor expects.\n    // This is the explicit invariant the audit recommends: never sign a\n    // refund whose template doesn't match the on-chain output bytes.\n    const wasmHtlcScriptPubKey = unfundedTx\n      .getHtlcScriptPubKey(htlcVout)\n      .toLowerCase();\n    const expectedHtlc = deriveExpectedPrePeginHtlc(prePeginParams, hashlock);\n    const expectedHtlcScriptPubKey = expectedHtlc.scriptPubKey.toString(\"hex\");\n    if (wasmHtlcScriptPubKey !== expectedHtlcScriptPubKey) {\n      throw new Error(\n        `WASM HTLC scriptPubKey ${wasmHtlcScriptPubKey} does not match the ` +\n          `independently derived scriptPubKey ${expectedHtlcScriptPubKey}.`,\n      );\n    }\n    // The reconstructed template's HTLC output value at `htlcVout`,\n    // sized by WASM from the supplied `pegInAmounts` via the protocol\n    // formula `htlcValue = peginAmount + depositorClaimValue + minPeginFee`.\n    // Captured before `fromFundedTransaction` to bind it to the value the\n    // funded tx actually carries (see the cross-check below).\n    const expectedHtlcValue = unfundedTx.getHtlcValue(htlcVout);\n\n    fundedTx = unfundedTx.fromFundedTransaction(fundedPrePeginTxHex);\n\n    const refundTxHex = fundedTx.buildRefundTx(refundFee, htlcVout);\n\n    const cleanPrePeginHex = fundedPrePeginTxHex.startsWith(\"0x\")\n      ? fundedPrePeginTxHex.slice(2)\n      : fundedPrePeginTxHex;\n    const prePeginTx = Transaction.fromHex(cleanPrePeginHex);\n\n    const htlcOutput = prePeginTx.outs[htlcVout];\n    if (!htlcOutput) {\n      throw new Error(\n        `HTLC output at vout ${htlcVout} not found in funded Pre-PegIn tx ` +\n          `(tx has ${prePeginTx.outs.length} outputs)`,\n      );\n    }\n\n    const actualHtlcScriptPubKey = uint8ArrayToHex(\n      new Uint8Array(htlcOutput.script),\n    ).toLowerCase();\n    if (actualHtlcScriptPubKey !== expectedHtlcScriptPubKey) {\n      throw new Error(\n        `HTLC scriptPubKey mismatch at vout ${htlcVout}: reconstructed ` +\n          `template expects ${expectedHtlcScriptPubKey}, funded tx carries ` +\n          `${actualHtlcScriptPubKey}. Refund refused — the (hashlocks, ` +\n          `pegInAmounts) vector does not match the on-chain commitment.`,\n      );\n    }\n\n    // Value cross-check (mirrors the script check above): the template's\n    // HTLC value — derived by WASM from `pegInAmounts` via the protocol\n    // formula — must equal the value the funded tx pays at this output.\n    // A caller that hands the full HTLC output value (or any wrong amount)\n    // as `pegInAmounts` would inflate the template value and trip this\n    // guard, rather than silently signing a refund built from a template\n    // that disagrees with the on-chain commitment.\n    const actualHtlcValue = BigInt(htlcOutput.value);\n    if (actualHtlcValue !== expectedHtlcValue) {\n      throw new Error(\n        `HTLC value mismatch at vout ${htlcVout}: reconstructed template ` +\n          `expects ${expectedHtlcValue} sat, funded tx carries ` +\n          `${actualHtlcValue} sat. Refund refused — the pegInAmounts vector ` +\n          `does not match the on-chain commitment.`,\n      );\n    }\n\n    const refundTx = Transaction.fromHex(refundTxHex);\n\n    if (refundTx.version !== REFUND_TX_VERSION) {\n      throw new Error(\n        `Refund transaction version ${refundTx.version} does not match ` +\n          `protocol version ${REFUND_TX_VERSION}.`,\n      );\n    }\n    if (refundTx.locktime !== REFUND_TX_LOCKTIME) {\n      throw new Error(\n        `Refund transaction locktime ${refundTx.locktime} does not match ` +\n          `protocol locktime ${REFUND_TX_LOCKTIME}.`,\n      );\n    }\n\n    if (refundTx.ins.length !== 1) {\n      throw new Error(\n        `Refund transaction must have exactly 1 input, got ${refundTx.ins.length}`,\n      );\n    }\n\n    const refundInput = refundTx.ins[0];\n\n    // Verify the refund input spends the correct Pre-PegIn HTLC output\n    const prePeginTxid = prePeginTx.getId();\n    const refundInputTxid = uint8ArrayToHex(\n      new Uint8Array(refundInput.hash).slice().reverse(),\n    );\n    if (refundInputTxid !== prePeginTxid) {\n      throw new Error(\n        `Refund input does not reference the Pre-PegIn transaction. ` +\n          `Expected ${prePeginTxid}, got ${refundInputTxid}`,\n      );\n    }\n    if (refundInput.index !== htlcVout) {\n      throw new Error(\n        `Refund input index ${refundInput.index} does not match expected htlcVout ${htlcVout}`,\n      );\n    }\n    if (refundInput.sequence !== prePeginParams.timelockRefund) {\n      throw new Error(\n        `Refund input sequence ${refundInput.sequence} does not match ` +\n          `timelockRefund ${prePeginParams.timelockRefund}.`,\n      );\n    }\n\n    const psbt = new Psbt();\n    psbt.setVersion(refundTx.version);\n    psbt.setLocktime(refundTx.locktime);\n\n    psbt.addInput({\n      hash: refundInput.hash,\n      index: refundInput.index,\n      sequence: refundInput.sequence,\n      witnessUtxo: {\n        script: htlcOutput.script,\n        value: htlcOutput.value,\n      },\n      tapLeafScript: [\n        {\n          leafVersion: TAPSCRIPT_LEAF_VERSION,\n          script: expectedHtlc.refundScript,\n          controlBlock: expectedHtlc.refundControlBlock,\n        },\n      ],\n      tapInternalKey: Buffer.from(tapInternalPubkey),\n      tapMerkleRoot: expectedHtlc.tapMerkleRoot,\n    });\n\n    // Output side: pin the single refund output to the depositor's own\n    // BIP-86 P2TR address, mirroring the input-side pinning above. WASM\n    // builds the refund output from the refund leaf's depositor key, so a\n    // correct template always pays exactly one output back to the depositor.\n    // Asserting it here means a malformed template (or a tampered WASM)\n    // cannot redirect the reclaimed funds to a script the depositor does\n    // not control.\n    if (refundTx.outs.length !== 1) {\n      throw new Error(\n        `Refund transaction must have exactly 1 output, got ${refundTx.outs.length}`,\n      );\n    }\n    const refundOutput = refundTx.outs[0];\n    const expectedDepositorScriptPubKey = stripHexPrefix(\n      deriveBip86ScriptPubKeyHex(prePeginParams.depositorPubkey),\n    ).toLowerCase();\n    const actualRefundOutputScriptPubKey = uint8ArrayToHex(\n      new Uint8Array(refundOutput.script),\n    ).toLowerCase();\n    if (actualRefundOutputScriptPubKey !== expectedDepositorScriptPubKey) {\n      throw new Error(\n        `Refund output scriptPubKey ${actualRefundOutputScriptPubKey} does not ` +\n          `match the depositor's BIP-86 address ${expectedDepositorScriptPubKey}. ` +\n          `Refund refused — the reclaimed funds would not return to the depositor.`,\n      );\n    }\n\n    // Value: the single refund output must return the full HTLC value minus\n    // exactly the requested fee. The refund is 1-in/1-out (asserted above), so\n    // a value below `htlcValue - refundFee` means WASM applied a larger fee\n    // than requested — the difference would be burned as miner fee. Pin it so\n    // the depositor reclaims the expected amount, not a silently reduced one.\n    const expectedRefundOutputValue = actualHtlcValue - refundFee;\n    if (BigInt(refundOutput.value) !== expectedRefundOutputValue) {\n      throw new Error(\n        `Refund output value ${BigInt(refundOutput.value)} sat does not equal ` +\n          `the HTLC value ${actualHtlcValue} sat minus the requested fee ` +\n          `${refundFee} sat (expected ${expectedRefundOutputValue} sat). ` +\n          `Refund refused — the reclaimed amount would be burned as excess fee.`,\n      );\n    }\n\n    psbt.addOutput({\n      script: refundOutput.script,\n      value: refundOutput.value,\n    });\n\n    return { psbtHex: psbt.toHex() };\n  } finally {\n    fundedTx?.free();\n    unfundedTx.free();\n  }\n}\n","/**\n * Reclaim PSBT Builder Primitive\n *\n * Builds an unsigned PSBT that sweeps the depositor-claim reserve — PegIn\n * vout 1 — back to the depositor's own BIP-86 address.\n *\n * The reserve funds the depositor's `claim_tx`, their recourse if the vault\n * provider fails during peg-out. When the vault provider claims instead and\n * the depositor withdraws normally, nothing ever spends it. This primitive is\n * the only thing in the repository that can.\n *\n * Spend path: the single `<depositor> OP_CHECKSIG` tapleaf (see\n * ./depositorClaim). No timelock, no counterparty signature — the depositor's\n * Schnorr signature alone. That is also why the *caller* must gate: this\n * builder will happily sweep a reserve whose vault is still live, which would\n * permanently void the depositor's pre-signed recourse graph. Eligibility is\n * enforced upstream, in the service.\n *\n * @module primitives/psbt/reclaim\n */\n\nimport { Buffer } from \"buffer\";\nimport { Psbt, Transaction } from \"bitcoinjs-lib\";\n\nimport { DUST_THRESHOLD } from \"../../utils/fee/constants\";\nimport {\n  TAPSCRIPT_LEAF_VERSION,\n  deriveBip86ScriptPubKeyHex,\n  hexToUint8Array,\n  stripHexPrefix,\n  uint8ArrayToHex,\n} from \"../utils/bitcoin\";\nimport {\n  PEGIN_DEPOSITOR_CLAIM_VOUT,\n  deriveDepositorClaimDescriptor,\n} from \"./depositorClaim\";\n\n/**\n * nVersion for the reclaim transaction. Plain v2, not TRUC: the reserve is only\n * offered once its PegIn is deeply confirmed, so the v2/v3 PegIn's nVersion-3\n * topology limits no longer constrain its children.\n */\nconst RECLAIM_TX_VERSION = 2;\n\n/**\n * nSequence for every reclaim input: RBF-enabled, no relative timelock. The\n * claim leaf carries no CSV, so this is a fee-bumping signal only.\n */\nconst RECLAIM_INPUT_SEQUENCE = 0xfffffffd;\n\n/**\n * Weight units of the reclaim transaction's skeleton — everything except the\n * inputs. Non-witness `version(4) + inCount(1) + outCount(1) + locktime(4) +\n * output(8 + 1 + 34)` = 53 B × 4, plus the 2 WU SegWit marker and flag.\n */\nconst RECLAIM_SKELETON_WEIGHT_UNITS = 214;\n\n/**\n * Weight units each script-path input adds. Non-witness `outpoint(36) +\n * scriptSigLen(1) + sequence(4)` = 41 B × 4 = 164, plus a witness of\n * `stackCount(1) + sig(1 + 64) + leafScript(1 + 34) + controlBlock(1 + 33)` =\n * 135 WU.\n *\n * Exact rather than conservative: every element is fixed-length here — a\n * 64-byte BIP-340 signature under SIGHASH_DEFAULT, the 34-byte leaf, and a\n * 33-byte control block with no merkle path.\n */\nconst RECLAIM_INPUT_WEIGHT_UNITS = 299;\n\n/** Weight units per virtual byte. */\nconst WEIGHT_UNITS_PER_VBYTE = 4;\n\n/**\n * Virtual size of an N-in/1-out reclaim transaction.\n *\n * `REFUND_VSIZE = 160` does not generalise to N inputs, and\n * `computePeginBaseFeeSats` is wrong for this shape entirely — its\n * `P2TR_INPUT_SIZE = 58` is a *key-path* input and under-fees a script-path\n * spend by roughly a quarter.\n *\n * N=1 → 129 vB; each additional input adds 75 vB.\n */\nexport function reclaimVsize(numInputs: number): number {\n  if (!Number.isInteger(numInputs) || numInputs < 1) {\n    throw new Error(\n      `Reclaim input count must be a positive integer, got ${numInputs}.`,\n    );\n  }\n  return Math.ceil(\n    (RECLAIM_SKELETON_WEIGHT_UNITS +\n      RECLAIM_INPUT_WEIGHT_UNITS * numInputs) /\n      WEIGHT_UNITS_PER_VBYTE,\n  );\n}\n\n/** Absolute fee in satoshis for an N-in/1-out reclaim at a given rate. */\nexport function estimateReclaimFeeSats(\n  feeRateSatsVb: number,\n  numInputs: number,\n): bigint {\n  if (!Number.isFinite(feeRateSatsVb) || feeRateSatsVb <= 0) {\n    throw new Error(\n      `Reclaim fee rate must be a positive number, got ${feeRateSatsVb}.`,\n    );\n  }\n  return BigInt(Math.ceil(feeRateSatsVb * reclaimVsize(numInputs)));\n}\n\n/** One depositor-claim reserve to sweep, with the material to bind it. */\nexport interface ReclaimReserve {\n  /**\n   * The contract's own copy of the depositor-signed PegIn transaction\n   * (`VaultProtocolInfo.depositorSignedPeginTx`). Authoritative: its SegWit\n   * txid equals the broadcast PegIn's, and its `outs[1]` carries the reserve's\n   * script and value at no extra RPC cost.\n   */\n  depositorSignedPeginTxHex: string;\n  /** Independent chain observation of `peginTxid:1` (esplora UTXO lookup). */\n  observed: {\n    /**\n     * The outpoint the caller actually issued its chain lookup against, so the\n     * observation below can be tied to the input this builder adds.\n     *\n     * Without it the script and value binds prove only that *some* UTXO has\n     * this shape — the claim script is a pure function of the depositor key and\n     * so is byte-identical across every vault they own, and the value is a pure\n     * function of protocol parameters. Neither distinguishes one of the\n     * depositor's vaults from another.\n     *\n     * Txid in display order, 64 hex chars, with or without `0x` prefix.\n     */\n    txid: string;\n    /** Vout the lookup was issued against. Must be the claim vout. */\n    vout: number;\n    /** scriptPubKey hex, with or without `0x` prefix. */\n    scriptPubKey: string;\n    /** Output value in satoshis. */\n    value: bigint;\n  };\n  /**\n   * The reserve value recomputed from this vault's protocol parameters via\n   * `computeMinClaimValue`. Bound so a doctored PegIn that agrees with itself\n   * and with a compromised indexer still fails.\n   */\n  expectedValue: bigint;\n}\n\nexport interface BuildReclaimPsbtParams {\n  /**\n   * The **connected wallet's live** x-only pubkey, 64-char hex. Never the\n   * indexer's `depositorBtcPubkey`: re-deriving from the live key is what\n   * proves the wallet about to sign is the wallet that can spend, and rejects\n   * the wrong-wallet case with an error instead of an unspendable broadcast.\n   */\n  depositorPubkey: string;\n  /**\n   * Reserves to sweep. An array so batching several vaults into one\n   * transaction is a later change rather than a rewrite; today the app passes\n   * exactly one.\n   */\n  inputs: ReclaimReserve[];\n  /** Absolute fee in satoshis. The caller sizes it; see `reclaimVsize`. */\n  feeSats: bigint;\n}\n\nexport interface BuildReclaimPsbtResult {\n  /** PSBT hex ready for depositor signing. */\n  psbtHex: string;\n  /** Value of the single output — what the depositor actually receives. */\n  outputValue: bigint;\n  /** Sum of the swept reserves, before fee. */\n  totalInputValue: bigint;\n}\n\n/**\n * Build the N-in/1-out reclaim PSBT.\n *\n * Every input is bound three ways before it reaches the PSBT: the contract's\n * PegIn bytes, the chain observation, and a JS re-derivation from the live\n * wallet key must agree on both script and value. Any disagreement throws.\n * The observation must also name the outpoint it was taken from, since script\n * and value alone repeat across all of a depositor's vaults.\n *\n * Binding the input to the *vault* that was asked for is a further step, and\n * it belongs to the service: it needs the vault id derivation, which is async.\n * See `services/reclaim/buildAndBroadcastReclaim`.\n *\n * @throws If `inputs` is empty, the fee is non-positive, any input fails its\n *   outpoint, script or value bind, or the resulting output would be at or\n *   below dust.\n */\nexport function buildReclaimPsbt(\n  params: BuildReclaimPsbtParams,\n): BuildReclaimPsbtResult {\n  const { depositorPubkey, inputs, feeSats } = params;\n\n  if (inputs.length === 0) {\n    throw new Error(\"Reclaim requires at least one input; got none.\");\n  }\n  if (feeSats <= 0n) {\n    throw new Error(\n      `Reclaim fee must be positive, got ${feeSats} sat. Refusing to build a ` +\n        `transaction that would not relay.`,\n    );\n  }\n\n  // One derivation, reused for every input's bind and for the destination.\n  const descriptor = deriveDepositorClaimDescriptor(depositorPubkey);\n  const expectedScriptPubKey = uint8ArrayToHex(\n    new Uint8Array(descriptor.scriptPubKey),\n  ).toLowerCase();\n\n  const psbt = new Psbt();\n  psbt.setVersion(RECLAIM_TX_VERSION);\n  psbt.setLocktime(0);\n\n  let totalInputValue = 0n;\n  const seenOutpoints = new Set<string>();\n\n  inputs.forEach((input, i) => {\n    const peginTx = Transaction.fromHex(\n      stripHexPrefix(input.depositorSignedPeginTxHex),\n    );\n    const peginTxid = peginTx.getId();\n\n    const claimOut = peginTx.outs[PEGIN_DEPOSITOR_CLAIM_VOUT];\n    if (!claimOut) {\n      throw new Error(\n        `PegIn ${peginTxid} has no output at vout ` +\n          `${PEGIN_DEPOSITOR_CLAIM_VOUT} (tx has ${peginTx.outs.length}); ` +\n          `there is no depositor-claim reserve to reclaim.`,\n      );\n    }\n\n    // Bind 0: the observation is of *this* outpoint. Everything below compares\n    // a script and a value, both of which repeat across every vault this\n    // depositor owns under the same protocol parameters — so without this the\n    // remaining binds cannot tell one of their vaults from another, and a\n    // caller that resolved the wrong vault would sweep it with every check\n    // passing. The independent source is the PegIn the PSBT is built from; the\n    // esplora response cannot serve here because `getUtxoInfo` echoes back the\n    // txid and vout it was called with rather than reading them from the body.\n    const observedTxid = stripHexPrefix(input.observed.txid).toLowerCase();\n    if (observedTxid !== peginTxid) {\n      throw new Error(\n        `Input ${i}: the observation is of ${observedTxid}, but this input ` +\n          `spends PegIn ${peginTxid}. Reclaim refused — the reserve that was ` +\n          `looked up is not the one being swept.`,\n      );\n    }\n    if (input.observed.vout !== PEGIN_DEPOSITOR_CLAIM_VOUT) {\n      throw new Error(\n        `Input ${i}: the observation is of vout ${input.observed.vout}, but ` +\n          `the depositor-claim reserve is at vout ` +\n          `${PEGIN_DEPOSITOR_CLAIM_VOUT}. Reclaim refused.`,\n      );\n    }\n\n    // Bind 1: the contract's PegIn bytes against the JS re-derivation from the\n    // live wallet key. This is the assertion that proves the connected wallet\n    // can actually spend the output we are about to sign for.\n    const contractScriptPubKey = uint8ArrayToHex(\n      new Uint8Array(claimOut.script),\n    ).toLowerCase();\n    if (contractScriptPubKey !== expectedScriptPubKey) {\n      throw new Error(\n        `Input ${i}: PegIn ${peginTxid} vout ${PEGIN_DEPOSITOR_CLAIM_VOUT} pays ` +\n          `${contractScriptPubKey}, but the connected wallet's depositor-claim ` +\n          `script is ${expectedScriptPubKey}. Reclaim refused — this reserve ` +\n          `belongs to a different wallet.`,\n      );\n    }\n\n    // Bind 2: the independent chain observation must agree with both.\n    const observedScriptPubKey = stripHexPrefix(\n      input.observed.scriptPubKey,\n    ).toLowerCase();\n    if (observedScriptPubKey !== expectedScriptPubKey) {\n      throw new Error(\n        `Input ${i}: the observed UTXO ${peginTxid}:${PEGIN_DEPOSITOR_CLAIM_VOUT} ` +\n          `pays ${observedScriptPubKey}, expected ${expectedScriptPubKey}. ` +\n          `Reclaim refused — chain state disagrees with the contract's PegIn.`,\n      );\n    }\n\n    // Value bind, same three ways.\n    const contractValue = BigInt(claimOut.value);\n    if (contractValue !== input.observed.value) {\n      throw new Error(\n        `Input ${i}: PegIn ${peginTxid} vout ${PEGIN_DEPOSITOR_CLAIM_VOUT} ` +\n          `carries ${contractValue} sat, but the observed UTXO carries ` +\n          `${input.observed.value} sat. Reclaim refused.`,\n      );\n    }\n    if (contractValue !== input.expectedValue) {\n      throw new Error(\n        `Input ${i}: PegIn ${peginTxid} vout ${PEGIN_DEPOSITOR_CLAIM_VOUT} ` +\n          `carries ${contractValue} sat, but this vault's parameters compute a ` +\n          `depositor-claim value of ${input.expectedValue} sat. Reclaim refused.`,\n      );\n    }\n\n    // A batch that names the same vault twice would otherwise double-count the\n    // swept total and then fail deep inside bitcoinjs. Reject it here, where\n    // the message can say which input is the duplicate.\n    const outpoint = `${peginTxid}:${PEGIN_DEPOSITOR_CLAIM_VOUT}`;\n    if (seenOutpoints.has(outpoint)) {\n      throw new Error(\n        `Input ${i} repeats outpoint ${outpoint}, which is already being ` +\n          `swept by an earlier input. Reclaim refused.`,\n      );\n    }\n    seenOutpoints.add(outpoint);\n\n    totalInputValue += contractValue;\n\n    psbt.addInput({\n      hash: peginTxid,\n      index: PEGIN_DEPOSITOR_CLAIM_VOUT,\n      sequence: RECLAIM_INPUT_SEQUENCE,\n      witnessUtxo: { script: claimOut.script, value: claimOut.value },\n      tapLeafScript: [\n        {\n          leafVersion: TAPSCRIPT_LEAF_VERSION,\n          script: descriptor.leafScript,\n          controlBlock: descriptor.controlBlock,\n        },\n      ],\n      tapInternalKey: descriptor.internalKey,\n    });\n  });\n\n  if (feeSats >= totalInputValue) {\n    throw new Error(\n      `Reclaim fee ${feeSats} sat is not less than the swept total ` +\n        `${totalInputValue} sat. Refusing to build a transaction with no output.`,\n    );\n  }\n\n  const outputValue = totalInputValue - feeSats;\n  if (outputValue <= DUST_THRESHOLD) {\n    throw new Error(\n      `Reclaim output ${outputValue} sat is at or below the dust threshold ` +\n        `${DUST_THRESHOLD} sat. The reserve is not at risk — it stays where it ` +\n        `is until fee rates fall.`,\n    );\n  }\n\n  const destination = stripHexPrefix(\n    deriveBip86ScriptPubKeyHex(depositorPubkey),\n  );\n  psbt.addOutput({\n    script: Buffer.from(hexToUint8Array(destination)),\n    value: Number(outputValue),\n  });\n\n  return { psbtHex: psbt.toHex(), outputValue, totalInputValue };\n}\n","/**\n * Finalize a Taproot script-path spend from the PSBT *we* built, using only the\n * verified signatures the wallet returned.\n *\n * Why this exists. The obvious shape — hand the wallet's PSBT to\n * `finalizeAllInputs()` — puts wallet-controlled bytes on the trust path even\n * when the signature itself has been verified.\n * `assertPsbtUnsignedTxMatches` deliberately pins only the unsigned\n * transaction and skips per-input metadata, so `tapLeafScript`, `controlBlock`\n * and `tapKeySig` all survive from the wallet's response untouched. And\n * bitcoinjs-lib checks key-spend first (`src/psbt.js`, `_finalizeTaprootInput`:\n * \"Check key spend first. Increased privacy and reduced block space.\"), so a\n * returned `tapKeySig` wins outright and `tapScriptSig` is never consulted.\n * Every output the depositor-claim reserve and the HTLC refund spend from uses\n * a NUMS internal key, so the resulting key-path witness cannot satisfy the\n * script — the transaction is rejected at broadcast, after a wallet prompt the\n * depositor cannot make sense of.\n *\n * Verifying and then discarding the wallet's PSBT closes that off structurally\n * rather than detecting it afterwards, and it makes the code match what\n * `verifyScriptPathSchnorrSignature` already documents: \"only the 64-byte\n * signature comes from the wallet\".\n *\n * @module tbv/core/primitives/psbt/finalizeScriptPathWithSignatures\n */\n\nimport { Psbt } from \"bitcoinjs-lib\";\nimport { Buffer } from \"buffer\";\n\nimport { X_ONLY_PUBKEY_HEX_LEN } from \"../../utils/validation\";\nimport {\n  SCHNORR_SIG_HEX_LEN,\n  TAPSCRIPT_LEAF_VERSION,\n  hexToUint8Array,\n  stripHexPrefix,\n} from \"../utils/bitcoin\";\nimport { computeTapLeafHash } from \"../utils/taproot\";\n\nexport interface FinalizeScriptPathWithSignaturesParams {\n  /**\n   * Hex of the PSBT built locally and sent to the wallet — the sole source of\n   * every per-input field. NOT the wallet-returned PSBT.\n   */\n  requestedPsbtHex: string;\n  /**\n   * Verified 64-byte Schnorr signatures, one per input, index-aligned with the\n   * PSBT's inputs. Each must already have passed\n   * `assertScriptPathSchnorrSignature` — this function does not re-verify them,\n   * it only decides which bytes are allowed to reach the witness.\n   */\n  signaturesHex: readonly string[];\n  /** X-only pubkey (64 hex chars) the signatures are attributed to. */\n  signerXOnlyPubkeyHex: string;\n}\n\n/**\n * Attach `signaturesHex` to the locally built PSBT's script-path inputs,\n * finalize, and return the extracted transaction hex.\n *\n * @throws If the signature count does not match the input count, any signature\n *   or the signer key is malformed, any input does not carry exactly one\n *   tapscript leaf at the expected leaf version, any input already carries a\n *   key-path signature, or bitcoinjs-lib cannot finalize.\n */\nexport function finalizeScriptPathWithSignatures(\n  params: FinalizeScriptPathWithSignaturesParams,\n): string {\n  const { requestedPsbtHex, signaturesHex, signerXOnlyPubkeyHex } = params;\n\n  const signerXOnly = stripHexPrefix(signerXOnlyPubkeyHex);\n  if (signerXOnly.length !== X_ONLY_PUBKEY_HEX_LEN) {\n    throw new Error(\n      `Signer x-only pubkey must be ${X_ONLY_PUBKEY_HEX_LEN} hex chars ` +\n        `(32 bytes), got ${signerXOnly.length}.`,\n    );\n  }\n  const signerPubkey = Buffer.from(hexToUint8Array(signerXOnly));\n\n  const psbt = Psbt.fromHex(requestedPsbtHex);\n\n  if (signaturesHex.length !== psbt.data.inputs.length) {\n    throw new Error(\n      `Cannot finalize: got ${signaturesHex.length} signature(s) for ` +\n        `${psbt.data.inputs.length} input(s). Every input must be signed — ` +\n        `refusing to broadcast a partially signed transaction.`,\n    );\n  }\n\n  psbt.data.inputs.forEach((input, inputIndex) => {\n    // Our own builders never produce a key-path signature for these spends.\n    // If one is present the PSBT is not the one we built, which would defeat\n    // the whole point of finalizing locally.\n    if (input.tapKeySig) {\n      throw new Error(\n        `Cannot finalize: input ${inputIndex} of the locally built PSBT ` +\n          `carries a key-path signature. These outputs are script-path only.`,\n      );\n    }\n\n    const tapLeafScripts = input.tapLeafScript;\n    if (!tapLeafScripts || tapLeafScripts.length !== 1) {\n      throw new Error(\n        `Cannot finalize: input ${inputIndex} must have exactly one ` +\n          `tapLeafScript, got ${tapLeafScripts?.length ?? 0}.`,\n      );\n    }\n    const leaf = tapLeafScripts[0];\n    if (leaf.leafVersion !== TAPSCRIPT_LEAF_VERSION) {\n      throw new Error(\n        `Cannot finalize: input ${inputIndex} tapLeafScript has leaf version ` +\n          `0x${leaf.leafVersion.toString(16)}, expected ` +\n          `0x${TAPSCRIPT_LEAF_VERSION.toString(16)}.`,\n      );\n    }\n\n    const signatureRaw = stripHexPrefix(signaturesHex[inputIndex]);\n    if (signatureRaw.length !== SCHNORR_SIG_HEX_LEN) {\n      throw new Error(\n        `Signature for input ${inputIndex} must be ${SCHNORR_SIG_HEX_LEN} hex ` +\n          `chars (64 bytes), got ${signatureRaw.length}.`,\n      );\n    }\n\n    psbt.updateInput(inputIndex, {\n      tapScriptSig: [\n        {\n          pubkey: signerPubkey,\n          leafHash: computeTapLeafHash(leaf.leafVersion, leaf.script),\n          signature: Buffer.from(hexToUint8Array(signatureRaw)),\n        },\n      ],\n    });\n  });\n\n  // With no tapKeySig anywhere, bitcoinjs takes the script-path branch for\n  // every input and builds `[signature, leafScript, controlBlock]` from the\n  // leaf we supplied.\n  psbt.finalizeAllInputs();\n\n  return psbt.extractTransaction().toHex();\n}\n","/**\n * NoPayout PSBT Builder\n *\n * Builds unsigned PSBTs for the depositor's NoPayout transaction\n * (depositor-as-claimer path, per challenger). The depositor signs input 0\n * using the NoPayout taproot script from WasmAssertPayoutNoPayoutConnector.\n *\n * @module primitives/psbt/noPayout\n * @see btc-vault crates/vault/docs/btc-transactions-spec.md — Assert output 0 NoPayout connector\n */\n\nimport {\n  type AssertPayoutNoPayoutConnectorParams,\n  type Network,\n  getAssertNoPayoutScriptInfo,\n  tapInternalPubkey,\n} from \"../../wasm\";\nimport { Buffer } from \"buffer\";\nimport { Psbt, Transaction, payments } from \"bitcoinjs-lib\";\n\nimport {\n  TAPSCRIPT_LEAF_VERSION,\n  getNetwork,\n  hexToUint8Array,\n  processPublicKeyToXOnly,\n  stripHexPrefix,\n} from \"../utils/bitcoin\";\n\n/**\n * Parameters for building a NoPayout PSBT\n */\nexport interface NoPayoutParams {\n  /** NoPayout transaction hex (unsigned) from VP */\n  noPayoutTxHex: string;\n  /** Challenger's x-only public key (hex encoded) */\n  challengerPubkey: string;\n  /** Prevouts for all inputs [{script_pubkey, value}] from VP */\n  prevouts: Array<{ script_pubkey: string; value: number }>;\n  /** Parameters for the Assert Payout/NoPayout connector */\n  connectorParams: AssertPayoutNoPayoutConnectorParams;\n}\n\n/**\n * Build unsigned NoPayout PSBT.\n *\n * The NoPayout transaction is specific to each challenger.\n * Input 0 is the one the depositor signs using the NoPayout taproot script path.\n *\n * @param params - NoPayout parameters\n * @returns Unsigned PSBT hex ready for signing\n */\nexport async function buildNoPayoutPsbt(\n  params: NoPayoutParams,\n): Promise<string> {\n  const noPayoutTxHex = stripHexPrefix(params.noPayoutTxHex);\n  const noPayoutTx = Transaction.fromHex(noPayoutTxHex);\n\n  // Get NoPayout script and control block for this challenger\n  const { noPayoutScript, noPayoutControlBlock } =\n    await getAssertNoPayoutScriptInfo(\n      params.connectorParams,\n      params.challengerPubkey,\n    );\n\n  const scriptBytes = hexToUint8Array(noPayoutScript);\n  const controlBlockBytes = hexToUint8Array(noPayoutControlBlock);\n\n  const psbt = new Psbt();\n  psbt.setVersion(noPayoutTx.version);\n  psbt.setLocktime(noPayoutTx.locktime);\n\n  // Add all inputs - depositor signs input 0 only\n  for (let i = 0; i < noPayoutTx.ins.length; i++) {\n    const input = noPayoutTx.ins[i];\n    const prevout = params.prevouts[i];\n\n    if (!prevout) {\n      throw new Error(`Missing prevout data for input ${i}`);\n    }\n\n    const inputData: Parameters<typeof psbt.addInput>[0] = {\n      hash: input.hash,\n      index: input.index,\n      sequence: input.sequence,\n      witnessUtxo: {\n        script: Buffer.from(hexToUint8Array(stripHexPrefix(prevout.script_pubkey))),\n        value: prevout.value,\n      },\n    };\n\n    // Input 0: depositor signs using taproot script path\n    if (i === 0) {\n      inputData.tapLeafScript = [\n        {\n          leafVersion: TAPSCRIPT_LEAF_VERSION,\n          script: Buffer.from(scriptBytes),\n          controlBlock: Buffer.from(controlBlockBytes),\n        },\n      ];\n      inputData.tapInternalKey = Buffer.from(tapInternalPubkey);\n    }\n\n    psbt.addInput(inputData);\n  }\n\n  // Add outputs\n  for (const output of noPayoutTx.outs) {\n    psbt.addOutput({\n      script: output.script,\n      value: output.value,\n    });\n  }\n\n  return psbt.toHex();\n}\n\n/**\n * Validate that a NoPayout transaction pays to the challenger via the\n * protocol-defined output structure: a single BIP-86 P2TR output derived from\n * the challenger's x-only pubkey.\n *\n * Mirrors the per-role payout output validation now inlined in\n * `buildPayoutPsbt` for the NoPayout path, where the sink is fixed by the\n * protocol rather than read from on-chain registration\n * (see `crates/vault/src/transactions/nopayout.rs::NoPayoutTx::new`).\n *\n * @param noPayoutTxHex - Raw NoPayout transaction hex\n * @param challengerPubkey - Challenger's x-only public key (hex)\n * @param network - Bitcoin network used to derive the P2TR scriptPubKey\n * @throws If the transaction does not have exactly one output\n * @throws If the single output's scriptPubKey does not equal the BIP-86 P2TR\n *         scriptPubKey for the challenger\n */\nexport function assertNoPayoutOutputMatchesChallenger(\n  noPayoutTxHex: string,\n  challengerPubkey: string,\n  network: Network,\n): void {\n  const tx = Transaction.fromHex(stripHexPrefix(noPayoutTxHex));\n\n  if (tx.outs.length !== 1) {\n    throw new Error(\n      `NoPayout transaction must have exactly 1 output, got ${tx.outs.length}`,\n    );\n  }\n\n  const xOnly = hexToUint8Array(processPublicKeyToXOnly(challengerPubkey));\n  const { output: expectedScript } = payments.p2tr({\n    internalPubkey: Buffer.from(xOnly),\n    network: getNetwork(network),\n  });\n  if (!expectedScript) {\n    throw new Error(\n      \"Failed to derive challenger BIP-86 P2TR scriptPubKey for NoPayout output validation\",\n    );\n  }\n\n  if (!tx.outs[0].script.equals(expectedScript)) {\n    throw new Error(\n      \"NoPayout transaction does not pay to the expected challenger BIP-86 P2TR address\",\n    );\n  }\n}\n"],"names":["U64_MAX","assertPositiveBigintArray","values","label","value","index","buildRefundPsbt","params","WasmPrePeginTx","loadRawTbvWasm","prePeginParams","fundedPrePeginTxHex","htlcVout","refundFee","hashlock","normalizedAuthAnchorHash","normalizeAuthAnchorHash","unfundedTx","fundedTx","wasmHtlcScriptPubKey","expectedHtlc","deriveExpectedPrePeginHtlc","expectedHtlcScriptPubKey","expectedHtlcValue","refundTxHex","cleanPrePeginHex","prePeginTx","Transaction","htlcOutput","actualHtlcScriptPubKey","uint8ArrayToHex","actualHtlcValue","refundTx","REFUND_TX_VERSION","REFUND_TX_LOCKTIME","refundInput","prePeginTxid","refundInputTxid","psbt","Psbt","TAPSCRIPT_LEAF_VERSION","Buffer","tapInternalPubkey","refundOutput","expectedDepositorScriptPubKey","stripHexPrefix","deriveBip86ScriptPubKeyHex","actualRefundOutputScriptPubKey","expectedRefundOutputValue","RECLAIM_TX_VERSION","RECLAIM_INPUT_SEQUENCE","RECLAIM_SKELETON_WEIGHT_UNITS","RECLAIM_INPUT_WEIGHT_UNITS","WEIGHT_UNITS_PER_VBYTE","reclaimVsize","numInputs","estimateReclaimFeeSats","feeRateSatsVb","buildReclaimPsbt","depositorPubkey","inputs","feeSats","descriptor","deriveDepositorClaimDescriptor","expectedScriptPubKey","totalInputValue","seenOutpoints","input","i","peginTx","peginTxid","claimOut","PEGIN_DEPOSITOR_CLAIM_VOUT","observedTxid","contractScriptPubKey","observedScriptPubKey","contractValue","outpoint","outputValue","DUST_THRESHOLD","destination","hexToUint8Array","finalizeScriptPathWithSignatures","requestedPsbtHex","signaturesHex","signerXOnlyPubkeyHex","signerXOnly","X_ONLY_PUBKEY_HEX_LEN","signerPubkey","inputIndex","tapLeafScripts","leaf","signatureRaw","SCHNORR_SIG_HEX_LEN","computeTapLeafHash","buildNoPayoutPsbt","noPayoutTxHex","noPayoutTx","noPayoutScript","noPayoutControlBlock","getAssertNoPayoutScriptInfo","scriptBytes","controlBlockBytes","prevout","inputData","output","assertNoPayoutOutputMatchesChallenger","challengerPubkey","network","tx","xOnly","processPublicKeyToXOnly","expectedScript","payments","getNetwork"],"mappings":"wUAoBMA,GAAW,IAAM,KAAO,GAYvB,SAASC,EACdC,EACAC,EACU,CACV,GAAI,CAAC,MAAM,QAAQD,CAAM,EACvB,MAAM,IAAI,MACR,GAAGC,CAAK,8CAA8C,OAAOD,CAAM,IAAA,EAGvE,GAAIA,EAAO,SAAW,EACpB,MAAM,IAAI,MAAM,GAAGC,CAAK,qBAAqB,EAE/C,OAAAD,EAAO,QAAQ,CAACE,EAAOC,IAAU,CAC/B,GAAI,OAAOD,GAAU,SACnB,MAAM,IAAI,MACR,GAAGD,CAAK,IAAIE,CAAK,2BAA2B,OAAOD,CAAK,2CAAA,EAI5D,GAAIA,GAAS,GACX,MAAM,IAAI,MAAM,GAAGD,CAAK,IAAIE,CAAK,sBAAsBD,CAAK,IAAI,EAElE,GAAIA,EAAQJ,EACV,MAAM,IAAI,MACR,GAAGG,CAAK,IAAIE,CAAK,4BAA4BD,CAAK,2CAAA,CAIxD,CAAC,EACMF,CACT,CCSA,eAAsBI,EACpBC,EACgC,CAChC,KAAM,CAAE,eAAAC,GAAmB,MAAMC,iBAAA,EAE3B,CAAE,eAAAC,EAAgB,oBAAAC,EAAqB,SAAAC,EAAU,UAAAC,EAAW,SAAAC,GAChEP,EAYIQ,EAA2BC,EAAAA,wBAC/BN,EAAe,cAAA,EAIXO,EAAa,IAAIT,EACrBE,EAAe,iBACfA,EAAe,gBACfA,EAAe,oBACfA,EAAe,mBACfA,EAAe,2BACf,CAAC,GAAGA,EAAe,SAAS,EAC5B,IAAI,eACFT,EAA0BS,EAAe,aAAc,cAAc,CAAA,EAEvEA,EAAe,eACfA,EAAe,QACfA,EAAe,gBACfA,EAAe,oBACfA,EAAe,cACfA,EAAe,YACfA,EAAe,QACfK,CAAA,EAGF,IAAIG,EAAqC,KACzC,GAAI,CAQF,MAAMC,EAAuBF,EAC1B,oBAAoBL,CAAQ,EAC5B,YAAA,EACGQ,EAAeC,EAAAA,2BAA2BX,EAAgBI,CAAQ,EAClEQ,EAA2BF,EAAa,aAAa,SAAS,KAAK,EACzE,GAAID,IAAyBG,EAC3B,MAAM,IAAI,MACR,0BAA0BH,CAAoB,0DACNG,CAAwB,GAAA,EAQpE,MAAMC,EAAoBN,EAAW,aAAaL,CAAQ,EAE1DM,EAAWD,EAAW,sBAAsBN,CAAmB,EAE/D,MAAMa,EAAcN,EAAS,cAAcL,EAAWD,CAAQ,EAExDa,EAAmBd,EAAoB,WAAW,IAAI,EACxDA,EAAoB,MAAM,CAAC,EAC3BA,EACEe,EAAaC,EAAAA,YAAY,QAAQF,CAAgB,EAEjDG,EAAaF,EAAW,KAAKd,CAAQ,EAC3C,GAAI,CAACgB,EACH,MAAM,IAAI,MACR,uBAAuBhB,CAAQ,6CAClBc,EAAW,KAAK,MAAM,WAAA,EAIvC,MAAMG,EAAyBC,EAAAA,gBAC7B,IAAI,WAAWF,EAAW,MAAM,CAAA,EAChC,YAAA,EACF,GAAIC,IAA2BP,EAC7B,MAAM,IAAI,MACR,sCAAsCV,CAAQ,oCACxBU,CAAwB,uBACzCO,CAAsB,iGAAA,EAY/B,MAAME,EAAkB,OAAOH,EAAW,KAAK,EAC/C,GAAIG,IAAoBR,EACtB,MAAM,IAAI,MACR,+BAA+BX,CAAQ,oCAC1BW,CAAiB,2BACzBQ,CAAe,wFAAA,EAKxB,MAAMC,EAAWL,EAAAA,YAAY,QAAQH,CAAW,EAEhD,GAAIQ,EAAS,UAAYC,oBACvB,MAAM,IAAI,MACR,8BAA8BD,EAAS,OAAO,oCACxBC,EAAAA,iBAAiB,GAAA,EAG3C,GAAID,EAAS,WAAaE,qBACxB,MAAM,IAAI,MACR,+BAA+BF,EAAS,QAAQ,qCACzBE,EAAAA,kBAAkB,GAAA,EAI7C,GAAIF,EAAS,IAAI,SAAW,EAC1B,MAAM,IAAI,MACR,qDAAqDA,EAAS,IAAI,MAAM,EAAA,EAI5E,MAAMG,EAAcH,EAAS,IAAI,CAAC,EAG5BI,EAAeV,EAAW,MAAA,EAC1BW,EAAkBP,EAAAA,gBACtB,IAAI,WAAWK,EAAY,IAAI,EAAE,MAAA,EAAQ,QAAA,CAAQ,EAEnD,GAAIE,IAAoBD,EACtB,MAAM,IAAI,MACR,uEACcA,CAAY,SAASC,CAAe,EAAA,EAGtD,GAAIF,EAAY,QAAUvB,EACxB,MAAM,IAAI,MACR,sBAAsBuB,EAAY,KAAK,qCAAqCvB,CAAQ,EAAA,EAGxF,GAAIuB,EAAY,WAAazB,EAAe,eAC1C,MAAM,IAAI,MACR,yBAAyByB,EAAY,QAAQ,kCACzBzB,EAAe,cAAc,GAAA,EAIrD,MAAM4B,EAAO,IAAIC,OA8BjB,GA7BAD,EAAK,WAAWN,EAAS,OAAO,EAChCM,EAAK,YAAYN,EAAS,QAAQ,EAElCM,EAAK,SAAS,CACZ,KAAMH,EAAY,KAClB,MAAOA,EAAY,MACnB,SAAUA,EAAY,SACtB,YAAa,CACX,OAAQP,EAAW,OACnB,MAAOA,EAAW,KAAA,EAEpB,cAAe,CACb,CACE,YAAaY,EAAAA,uBACb,OAAQpB,EAAa,aACrB,aAAcA,EAAa,kBAAA,CAC7B,EAEF,eAAgBqB,EAAAA,OAAO,KAAKC,mBAAiB,EAC7C,cAAetB,EAAa,aAAA,CAC7B,EASGY,EAAS,KAAK,SAAW,EAC3B,MAAM,IAAI,MACR,sDAAsDA,EAAS,KAAK,MAAM,EAAA,EAG9E,MAAMW,EAAeX,EAAS,KAAK,CAAC,EAC9BY,EAAgCC,EAAAA,eACpCC,EAAAA,2BAA2BpC,EAAe,eAAe,CAAA,EACzD,YAAA,EACIqC,EAAiCjB,EAAAA,gBACrC,IAAI,WAAWa,EAAa,MAAM,CAAA,EAClC,YAAA,EACF,GAAII,IAAmCH,EACrC,MAAM,IAAI,MACR,8BAA8BG,CAA8B,kDAClBH,CAA6B,2EAAA,EAU3E,MAAMI,EAA4BjB,EAAkBlB,EACpD,GAAI,OAAO8B,EAAa,KAAK,IAAMK,EACjC,MAAM,IAAI,MACR,uBAAuB,OAAOL,EAAa,KAAK,CAAC,sCAC7BZ,CAAe,gCAC9BlB,CAAS,kBAAkBmC,CAAyB,6EAAA,EAK7D,OAAAV,EAAK,UAAU,CACb,OAAQK,EAAa,OACrB,MAAOA,EAAa,KAAA,CACrB,EAEM,CAAE,QAASL,EAAK,OAAM,CAC/B,QAAA,CACEpB,GAAA,MAAAA,EAAU,OACVD,EAAW,KAAA,CACb,CACF,CC1QA,MAAMgC,EAAqB,EAMrBC,EAAyB,WAOzBC,EAAgC,IAYhCC,EAA6B,IAG7BC,EAAyB,EAYxB,SAASC,EAAaC,EAA2B,CACtD,GAAI,CAAC,OAAO,UAAUA,CAAS,GAAKA,EAAY,EAC9C,MAAM,IAAI,MACR,uDAAuDA,CAAS,GAAA,EAGpE,OAAO,KAAK,MACTJ,EACCC,EAA6BG,GAC7BF,CAAA,CAEN,CAGO,SAASG,EACdC,EACAF,EACQ,CACR,GAAI,CAAC,OAAO,SAASE,CAAa,GAAKA,GAAiB,EACtD,MAAM,IAAI,MACR,mDAAmDA,CAAa,GAAA,EAGpE,OAAO,OAAO,KAAK,KAAKA,EAAgBH,EAAaC,CAAS,CAAC,CAAC,CAClE,CAqFO,SAASG,EACdnD,EACwB,CACxB,KAAM,CAAE,gBAAAoD,EAAiB,OAAAC,EAAQ,QAAAC,CAAA,EAAYtD,EAE7C,GAAIqD,EAAO,SAAW,EACpB,MAAM,IAAI,MAAM,gDAAgD,EAElE,GAAIC,GAAW,GACb,MAAM,IAAI,MACR,qCAAqCA,CAAO,6DAAA,EAMhD,MAAMC,EAAaC,EAAAA,+BAA+BJ,CAAe,EAC3DK,EAAuBlC,EAAAA,gBAC3B,IAAI,WAAWgC,EAAW,YAAY,CAAA,EACtC,YAAA,EAEIxB,EAAO,IAAIC,OACjBD,EAAK,WAAWW,CAAkB,EAClCX,EAAK,YAAY,CAAC,EAElB,IAAI2B,EAAkB,GACtB,MAAMC,MAAoB,IAmH1B,GAjHAN,EAAO,QAAQ,CAACO,EAAOC,IAAM,CAC3B,MAAMC,EAAU1C,EAAAA,YAAY,QAC1BkB,EAAAA,eAAesB,EAAM,yBAAyB,CAAA,EAE1CG,EAAYD,EAAQ,MAAA,EAEpBE,EAAWF,EAAQ,KAAKG,4BAA0B,EACxD,GAAI,CAACD,EACH,MAAM,IAAI,MACR,SAASD,CAAS,0BACbE,EAAAA,0BAA0B,YAAYH,EAAQ,KAAK,MAAM,oDAAA,EAalE,MAAMI,EAAe5B,EAAAA,eAAesB,EAAM,SAAS,IAAI,EAAE,YAAA,EACzD,GAAIM,IAAiBH,EACnB,MAAM,IAAI,MACR,SAASF,CAAC,2BAA2BK,CAAY,iCAC/BH,CAAS,gFAAA,EAI/B,GAAIH,EAAM,SAAS,OAASK,6BAC1B,MAAM,IAAI,MACR,SAASJ,CAAC,gCAAgCD,EAAM,SAAS,IAAI,gDAExDK,EAAAA,0BAA0B,oBAAA,EAOnC,MAAME,EAAuB5C,EAAAA,gBAC3B,IAAI,WAAWyC,EAAS,MAAM,CAAA,EAC9B,YAAA,EACF,GAAIG,IAAyBV,EAC3B,MAAM,IAAI,MACR,SAASI,CAAC,WAAWE,CAAS,SAASE,EAAAA,0BAA0B,SAC5DE,CAAoB,0DACVV,CAAoB,iEAAA,EAMvC,MAAMW,EAAuB9B,EAAAA,eAC3BsB,EAAM,SAAS,YAAA,EACf,YAAA,EACF,GAAIQ,IAAyBX,EAC3B,MAAM,IAAI,MACR,SAASI,CAAC,uBAAuBE,CAAS,IAAIE,EAAAA,0BAA0B,SAC9DG,CAAoB,cAAcX,CAAoB,sEAAA,EAMpE,MAAMY,EAAgB,OAAOL,EAAS,KAAK,EAC3C,GAAIK,IAAkBT,EAAM,SAAS,MACnC,MAAM,IAAI,MACR,SAASC,CAAC,WAAWE,CAAS,SAASE,EAAAA,0BAA0B,YACpDI,CAAa,uCACrBT,EAAM,SAAS,KAAK,wBAAA,EAG7B,GAAIS,IAAkBT,EAAM,cAC1B,MAAM,IAAI,MACR,SAASC,CAAC,WAAWE,CAAS,SAASE,4BAA0B,YACpDI,CAAa,wEACIT,EAAM,aAAa,wBAAA,EAOrD,MAAMU,EAAW,GAAGP,CAAS,IAAIE,EAAAA,0BAA0B,GAC3D,GAAIN,EAAc,IAAIW,CAAQ,EAC5B,MAAM,IAAI,MACR,SAAST,CAAC,qBAAqBS,CAAQ,sEAAA,EAI3CX,EAAc,IAAIW,CAAQ,EAE1BZ,GAAmBW,EAEnBtC,EAAK,SAAS,CACZ,KAAMgC,EACN,MAAOE,EAAAA,2BACP,SAAUtB,EACV,YAAa,CAAE,OAAQqB,EAAS,OAAQ,MAAOA,EAAS,KAAA,EACxD,cAAe,CACb,CACE,YAAa/B,EAAAA,uBACb,OAAQsB,EAAW,WACnB,aAAcA,EAAW,YAAA,CAC3B,EAEF,eAAgBA,EAAW,WAAA,CAC5B,CACH,CAAC,EAEGD,GAAWI,EACb,MAAM,IAAI,MACR,eAAeJ,CAAO,yCACjBI,CAAe,uDAAA,EAIxB,MAAMa,EAAcb,EAAkBJ,EACtC,GAAIiB,GAAeC,EAAAA,eACjB,MAAM,IAAI,MACR,kBAAkBD,CAAW,0CACxBC,EAAAA,cAAc,+EAAA,EAKvB,MAAMC,EAAcnC,EAAAA,eAClBC,EAAAA,2BAA2Ba,CAAe,CAAA,EAE5C,OAAArB,EAAK,UAAU,CACb,OAAQG,EAAAA,OAAO,KAAKwC,EAAAA,gBAAgBD,CAAW,CAAC,EAChD,MAAO,OAAOF,CAAW,CAAA,CAC1B,EAEM,CAAE,QAASxC,EAAK,MAAA,EAAS,YAAAwC,EAAa,gBAAAb,CAAA,CAC/C,CCrSO,SAASiB,EACd3E,EACQ,CACR,KAAM,CAAE,iBAAA4E,EAAkB,cAAAC,EAAe,qBAAAC,CAAA,EAAyB9E,EAE5D+E,EAAczC,EAAAA,eAAewC,CAAoB,EACvD,GAAIC,EAAY,SAAWC,wBACzB,MAAM,IAAI,MACR,gCAAgCA,EAAAA,qBAAqB,8BAChCD,EAAY,MAAM,GAAA,EAG3C,MAAME,EAAe/C,EAAAA,OAAO,KAAKwC,EAAAA,gBAAgBK,CAAW,CAAC,EAEvDhD,EAAOC,EAAAA,KAAK,QAAQ4C,CAAgB,EAE1C,GAAIC,EAAc,SAAW9C,EAAK,KAAK,OAAO,OAC5C,MAAM,IAAI,MACR,wBAAwB8C,EAAc,MAAM,qBACvC9C,EAAK,KAAK,OAAO,MAAM,+FAAA,EAKhC,OAAAA,EAAK,KAAK,OAAO,QAAQ,CAAC6B,EAAOsB,IAAe,CAI9C,GAAItB,EAAM,UACR,MAAM,IAAI,MACR,0BAA0BsB,CAAU,8FAAA,EAKxC,MAAMC,EAAiBvB,EAAM,cAC7B,GAAI,CAACuB,GAAkBA,EAAe,SAAW,EAC/C,MAAM,IAAI,MACR,0BAA0BD,CAAU,8CACZC,GAAA,YAAAA,EAAgB,SAAU,CAAC,GAAA,EAGvD,MAAMC,EAAOD,EAAe,CAAC,EAC7B,GAAIC,EAAK,cAAgBnD,yBACvB,MAAM,IAAI,MACR,0BAA0BiD,CAAU,qCAC7BE,EAAK,YAAY,SAAS,EAAE,CAAC,gBAC7BnD,EAAAA,uBAAuB,SAAS,EAAE,CAAC,GAAA,EAI9C,MAAMoD,EAAe/C,EAAAA,eAAeuC,EAAcK,CAAU,CAAC,EAC7D,GAAIG,EAAa,SAAWC,sBAC1B,MAAM,IAAI,MACR,uBAAuBJ,CAAU,YAAYI,EAAAA,mBAAmB,8BACrCD,EAAa,MAAM,GAAA,EAIlDtD,EAAK,YAAYmD,EAAY,CAC3B,aAAc,CACZ,CACE,OAAQD,EACR,SAAUM,EAAAA,mBAAmBH,EAAK,YAAaA,EAAK,MAAM,EAC1D,UAAWlD,EAAAA,OAAO,KAAKwC,EAAAA,gBAAgBW,CAAY,CAAC,CAAA,CACtD,CACF,CACD,CACH,CAAC,EAKDtD,EAAK,kBAAA,EAEEA,EAAK,mBAAA,EAAqB,MAAA,CACnC,CCzFA,eAAsByD,EACpBxF,EACiB,CACjB,MAAMyF,EAAgBnD,EAAAA,eAAetC,EAAO,aAAa,EACnD0F,EAAatE,EAAAA,YAAY,QAAQqE,CAAa,EAG9C,CAAE,eAAAE,EAAgB,qBAAAC,CAAA,EACtB,MAAMC,EAAAA,4BACJ7F,EAAO,gBACPA,EAAO,gBAAA,EAGL8F,EAAcpB,EAAAA,gBAAgBiB,CAAc,EAC5CI,EAAoBrB,EAAAA,gBAAgBkB,CAAoB,EAExD7D,EAAO,IAAIC,OACjBD,EAAK,WAAW2D,EAAW,OAAO,EAClC3D,EAAK,YAAY2D,EAAW,QAAQ,EAGpC,QAAS7B,EAAI,EAAGA,EAAI6B,EAAW,IAAI,OAAQ7B,IAAK,CAC9C,MAAMD,EAAQ8B,EAAW,IAAI7B,CAAC,EACxBmC,EAAUhG,EAAO,SAAS6D,CAAC,EAEjC,GAAI,CAACmC,EACH,MAAM,IAAI,MAAM,kCAAkCnC,CAAC,EAAE,EAGvD,MAAMoC,EAAiD,CACrD,KAAMrC,EAAM,KACZ,MAAOA,EAAM,MACb,SAAUA,EAAM,SAChB,YAAa,CACX,OAAQ1B,EAAAA,OAAO,KAAKwC,EAAAA,gBAAgBpC,EAAAA,eAAe0D,EAAQ,aAAa,CAAC,CAAC,EAC1E,MAAOA,EAAQ,KAAA,CACjB,EAIEnC,IAAM,IACRoC,EAAU,cAAgB,CACxB,CACE,YAAahE,EAAAA,uBACb,OAAQC,EAAAA,OAAO,KAAK4D,CAAW,EAC/B,aAAc5D,EAAAA,OAAO,KAAK6D,CAAiB,CAAA,CAC7C,EAEFE,EAAU,eAAiB/D,SAAO,KAAKC,EAAAA,iBAAiB,GAG1DJ,EAAK,SAASkE,CAAS,CACzB,CAGA,UAAWC,KAAUR,EAAW,KAC9B3D,EAAK,UAAU,CACb,OAAQmE,EAAO,OACf,MAAOA,EAAO,KAAA,CACf,EAGH,OAAOnE,EAAK,MAAA,CACd,CAmBO,SAASoE,EACdV,EACAW,EACAC,EACM,CACN,MAAMC,EAAKlF,EAAAA,YAAY,QAAQkB,EAAAA,eAAemD,CAAa,CAAC,EAE5D,GAAIa,EAAG,KAAK,SAAW,EACrB,MAAM,IAAI,MACR,wDAAwDA,EAAG,KAAK,MAAM,EAAA,EAI1E,MAAMC,EAAQ7B,EAAAA,gBAAgB8B,EAAAA,wBAAwBJ,CAAgB,CAAC,EACjE,CAAE,OAAQK,GAAmBC,EAAAA,SAAS,KAAK,CAC/C,eAAgBxE,EAAAA,OAAO,KAAKqE,CAAK,EACjC,QAASI,EAAAA,WAAWN,CAAO,CAAA,CAC5B,EACD,GAAI,CAACI,EACH,MAAM,IAAI,MACR,qFAAA,EAIJ,GAAI,CAACH,EAAG,KAAK,CAAC,EAAE,OAAO,OAAOG,CAAc,EAC1C,MAAM,IAAI,MACR,kFAAA,CAGN"}