@babylonlabs-io/ts-sdk 0.63.0 → 0.65.0

package/dist/verifyScriptPathSchnorrSignature-XsICweGG.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verifyScriptPathSchnorrSignature-XsICweGG.js","sources":["../src/tbv/core/primitives/psbt/assertWasmPeginSizing.ts","../src/tbv/core/primitives/psbt/pegin.ts","../src/tbv/core/primitives/scripts/payout.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 * Cross-check the values 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) 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 {\n  computeMinClaimValue,\n  computeMinPeginFee,\n  peginP2aAnchorOutput,\n  type PrePeginResult,\n} from \"@babylonlabs-io/babylon-tbv-rust-wasm\";\n\nimport { MAX_REASONABLE_PEGIN_VBYTES } from \"../../utils/fee/constants\";\nimport type { ParsedOutput } from \"../../utils/transaction/fundPeginTransaction\";\n\nimport type { PrePeginParams } from \"./pegin\";\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  // 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 × 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 * Bind the validated metadata to the bytes that actually get funded and\n * signed.\n *\n * `assertWasmPeginSizing` proves the WASM *metadata* (`htlcValues`,\n * `htlcScriptPubKeys`) matches the request and the protocol formula — but the\n * transaction the depositor funds and signs is `result.txHex`. If the encoded\n * tx carried a different HTLC output value or script than the metadata, the\n * depositor would fund a transaction whose real outputs differ from the values\n * that were cross-checked. This closes that final link: the encoded HTLC\n * outputs must equal the validated metadata.\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 If the encoded outputs are too few, or any HTLC output's value or\n *   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 Error(\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 Error(\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 Error(\n        `Encoded Pre-PegIn HTLC output[${i}] scriptPubKey ${encodedScript} does ` +\n          `not match the cross-checked htlcScriptPubKey ${expectedScript}.`,\n      );\n    }\n  }\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 {\n  buildPeginTxFromPrePegin,\n  computeMinClaimValue,\n  createPrePeginTransaction,\n  peginP2aAnchorOutput,\n  tapInternalPubkey,\n  validatePeginP2aAnchor,\n  type Network,\n} from \"@babylonlabs-io/babylon-tbv-rust-wasm\";\nimport { Buffer } from \"buffer\";\nimport { payments, script as bscript, Transaction, opcodes } from \"bitcoinjs-lib\";\n\nimport { parseUnfundedWasmTransaction } from \"../../utils/transaction/fundPeginTransaction\";\nimport {\n  hexToUint8Array,\n  stripHexPrefix,\n  uint8ArrayToHex,\n} from \"../utils/bitcoin\";\n\nimport {\n  assertEncodedHtlcOutputsMatch,\n  assertWasmPeginSizing,\n} from \"./assertWasmPeginSizing\";\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 * 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).\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 = 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 to sum 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  // the encoded HTLC outputs must carry exactly the values/scripts the\n  // cross-check above validated. Otherwise a tx whose real outputs differ\n  // from the checked metadata could still be funded and signed.\n  assertEncodedHtlcOutputsMatch(\n    parsed.outputs,\n    result.htlcValues,\n    result.htlcScriptPubKeys,\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 WASM initialization fails or parameters are invalid\n */\nexport async function buildPeginTxFromFundedPrePegin(\n  params: BuildPeginTxParams,\n): Promise<PeginTxResult> {\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 * Vout of the depositor-claim output in every PegIn version (btc-vault:\n * vault at 0, depositor claim at 1, optional P2A anchor appended after).\n */\nconst PEGIN_DEPOSITOR_CLAIM_VOUT = 1;\n\n/**\n * Cross-check the WASM-built PegIn transaction's bytes against the request\n * and the version's expected output layout 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 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 outputs disagree with the metadata, the requested\n *   amount, or the version's anchor rules.\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\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  // 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\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 =\n    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 encodedVaultScript = encodedVaultOut.script.toString(\"hex\");\n  const expectedVaultScript = stripHexPrefix(\n    result.vaultScriptPubKey,\n  ).toLowerCase();\n  if (encodedVaultScript.toLowerCase() !== expectedVaultScript) {\n    throw new Error(\n      `Encoded PegIn vault output scriptPubKey ${encodedVaultScript} does ` +\n        `not match the WASM-reported vaultScriptPubKey ` +\n        `${result.vaultScriptPubKey}.`,\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/**\n * Independently derive the PegIn depositor-claim output's scriptPubKey in\n * JS: a Taproot output with the NUMS internal key and a single\n * `<depositor> OP_CHECKSIG` leaf — btc-vault's `SingleKeyConnector`\n * (`crates/vault/src/connectors/mod.rs`, identical across graph versions).\n * Uses the same `tapInternalPubkey` NUMS constant the HTLC connector pins.\n */\nfunction deriveDepositorClaimScriptPubKey(depositorPubkey: string): Buffer {\n  const claimLeafScript = bscript.compile([\n    Buffer.from(hexToUint8Array(depositorPubkey)),\n    opcodes.OP_CHECKSIG,\n  ]);\n  const { output } = payments.p2tr({\n    internalPubkey: Buffer.from(tapInternalPubkey),\n    scriptTree: { output: claimLeafScript },\n  });\n  if (!output) {\n    throw new Error(\n      \"Failed to derive the depositor-claim P2TR scriptPubKey for PegIn output validation\",\n    );\n  }\n  return output;\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 \"@babylonlabs-io/babylon-tbv-rust-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 * 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 \"@babylonlabs-io/babylon-tbv-rust-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  type Network,\n  tapInternalPubkey,\n} from \"@babylonlabs-io/babylon-tbv-rust-wasm\";\nimport { Psbt, Transaction, type TxInput, type TxOutput } from \"bitcoinjs-lib\";\nimport { Buffer } from \"buffer\";\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 {\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 count from the locked offchain params version.\n   * Mirrors the upstream estimator's signature; at the current model pins the\n   * council occupies a single taptree leaf regardless of size, so the floor\n   * is council-size-invariant — passed for forward compatibility with future\n   * pinned models.\n   */\n  councilSize: 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 * @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 `councilSize` 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 */\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.councilSize,\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's ==546 pin here is the known-buggy firmware behavior, 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 script — derive it 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  return {\n    psbtHex: assemblePayoutPsbt(\n      payoutTx,\n      peginPrevOut,\n      assertPrevOut,\n      payoutConnector,\n    ),\n  };\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): 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 — witnessUtxo only (in sighash, not signed by the\n  // depositor), so no tapLeafScript.\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  });\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`, `crypto.taggedHash` (TapLeaf hash)\n *\n * @module tbv/core/primitives/psbt/verifyScriptPathSchnorrSignature\n */\n\nimport * as ecc from \"@bitcoin-js/tiny-secp256k1-asmjs\";\nimport { Psbt, Transaction, crypto as bcrypto } from \"bitcoinjs-lib\";\n\nimport { Buffer } from \"buffer\";\n\nimport {\n  SCHNORR_SIG_HEX_LEN,\n  TAPSCRIPT_LEAF_VERSION,\n  X_ONLY_PUBKEY_HEX_LEN,\n  hexToUint8Array,\n  stripHexPrefix,\n} from \"../utils/bitcoin\";\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/**\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/** BIP-341 tag for the TapLeaf hash. */\nconst TAPLEAF_TAG = \"TapLeaf\";\n\n/**\n * Compute the BIP-341 TapLeaf hash for a tapscript leaf:\n * `tagged_hash(\"TapLeaf\", leaf_version || compact_size(script) || script)`.\n */\nfunction computeTapLeafHash(leafVersion: number, script: Uint8Array): 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 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":["assertWasmPeginSizing","result","params","expectedCount","expectedClaimValue","computeMinClaimValue","anchor","peginP2aAnchorOutput","anchorValue","expectedPeginFee","computeMinPeginFee","expectedReserve","maxImpliedReserve","MAX_REASONABLE_PEGIN_VBYTES","i","requested","peginAmount","htlcValue","impliedReserve","assertEncodedHtlcOutputsMatch","outputs","htlcValues","htlcScriptPubKeys","encodedValue","encodedScript","expectedScript","AUTH_ANCHOR_HASH_HEX_LEN","HEX_PATTERN","buildPrePeginPsbt","authAnchorHash","normalizeAuthAnchorHash","createPrePeginTransaction","minPeginFee","parsed","parseUnfundedWasmTransaction","totalOutputValue","sum","o","authAnchorVout","value","cleaned","buildPeginTxFromFundedPrePegin","buildPeginTxFromPrePegin","assertPeginTxShape","PEGIN_BASE_OUTPUT_COUNT","PEGIN_DEPOSITOR_CLAIM_VOUT","version","validatePeginP2aAnchor","expectedOutputCount","peginTx","Transaction","stripHexPrefix","fundedPrePeginTxid","inputTxid","uint8ArrayToHex","requestedAmount","encodedVaultOut","encodedVaultScript","expectedVaultScript","encodedTxid","encodedClaimOut","expectedClaimScript","deriveDepositorClaimScriptPubKey","depositorPubkey","claimLeafScript","bscript","Buffer","hexToUint8Array","opcodes","output","payments","tapInternalPubkey","createPayoutScript","connector","createPayoutConnector","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","label","script","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","assemblePayoutPsbt","input","inputIndex","parentTx","parentLabel","expectedVout","parentTxid","prevOut","psbt","Psbt","input0","input1","TAPSCRIPT_LEAF_VERSION","acceptedPayoutScriptHexes","registeredScriptPubKey","bondedPubkey","registered","legacyBip86","deriveBip86ScriptPubKeyHex","matchesAnyScript","acceptedHexes","hex","peginValueSats","claimerBtcPubkey","vaultProviderBtcPubkey","depositorBtcPubkey","vaultKeeperBtcPubkeys","registeredPayoutScriptPubKey","commissionBps","vkClaimerPayoutScriptPubKeys","vpCommissionScriptPubKey","isValidHex","claimer","vp","dep","keepers","k","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","witness","items","offset","requireBytes","n","readVarInt","first","val","len","PsbtSubstitutionError","detail","parsePsbt","cause","REDACTED_HEX_PREFIX_LEN","redactHex","buf","redactTxid","internalHash","reversed","assertPsbtUnsignedTxMatches","returned","COMPACT_SIZE_UINT16_PREFIX","COMPACT_SIZE_UINT32_PREFIX","COMPACT_SIZE_UINT16_MAX","COMPACT_SIZE_UINT32_MAX","encodeCompactSize","TAPLEAF_TAG","computeTapLeafHash","leafVersion","preimage","bcrypto","assertScriptPathSchnorrSignature","requestedPsbtHex","signatureHex","signerXOnlyPubkeyHex","signatureRaw","SCHNORR_SIG_HEX_LEN","signerXOnly","X_ONLY_PUBKEY_HEX_LEN","prevOutScripts","values","witnessUtxo","tapLeafScripts","leaf","leafHash","tx","sighash","ecc"],"mappings":";;;;;;;AAuDA,eAAsBA,GACpBC,GACAC,GACiB;AACjB,QAAMC,IAAgBD,EAAO,aAAa;AAI1C,MAAID,EAAO,WAAW,WAAWE;AAC/B,UAAM,IAAI;AAAA,MACR,2BAA2BF,EAAO,WAAW,MAAM,4BACrCE,CAAa;AAAA,IAAA;AAG/B,MACEF,EAAO,aAAa,WAAWE,KAC/BF,EAAO,kBAAkB,WAAWE,KACpCF,EAAO,cAAc,WAAWE;AAEhC,UAAM,IAAI;AAAA,MACR,gEACiBF,EAAO,WAAW,MAAM,kBACvBA,EAAO,aAAa,MAAM,uBACrBA,EAAO,kBAAkB,MAAM,mBACnCA,EAAO,cAAc,MAAM,eAChCE,CAAa;AAAA,IAAA;AAO/B,MAAIF,EAAO,uBAAuB;AAChC,UAAM,IAAI;AAAA,MACR,4DACKA,EAAO,mBAAmB;AAAA,IAAA;AAGnC,QAAMG,IAAqB,MAAMC;AAAA;AAAA,IAE/BH,EAAO;AAAA,IACPA,EAAO;AAAA,IACPA,EAAO,2BAA2B;AAAA,IAClCA,EAAO;AAAA,IACPA,EAAO;AAAA,IACPA,EAAO;AAAA,EAAA;AAET,MAAID,EAAO,wBAAwBG;AACjC,UAAM,IAAI;AAAA,MACR,sCAAsCH,EAAO,mBAAmB,kEAE3DG,CAAkB,sBAAsBF,EAAO,gBAAgB,yBAC3CA,EAAO,mBAAmB,6BACtBA,EAAO,2BAA2B,MAAM,mBAClDA,EAAO,aAAa,iBAAiBA,EAAO,WAAW,aAC7DA,EAAO,OAAO;AAAA,IAAA;AAU/B,QAAMI,IAAS,MAAMC,GAAqBL,EAAO,gBAAgB,GAC3DM,KAAcF,KAAA,gBAAAA,EAAQ,UAAS,IAC/BG,IAAmB,MAAMC;AAAA,IAC7BR,EAAO;AAAA,IACPA,EAAO,mBAAmB;AAAA,IAC1BA,EAAO,2BAA2B;AAAA,IAClCA,EAAO;AAAA,EAAA,GAEHS,IAAkBF,IAAmBD,GAMrCI,IACJV,EAAO,kBAAkBW;AAE3B,WAASC,IAAI,GAAGA,IAAIX,GAAeW,KAAK;AACtC,UAAMC,IAAYb,EAAO,aAAaY,CAAC,GACjCE,IAAcf,EAAO,aAAaa,CAAC,GACnCG,IAAYhB,EAAO,WAAWa,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,IAAcf,EAAO;AAKxD,QAAIiB,KAAkB;AACpB,YAAM,IAAI;AAAA,QACR,4BAA4BJ,CAAC,KAAKG,CAAS,wCACpBD,CAAW,0BAC7Bf,EAAO,mBAAmB,uCAClBiB,CAAc;AAAA,MAAA;AAG/B,QAAIA,IAAiBN;AACnB,YAAM,IAAI;AAAA,QACR,2CAA2CE,CAAC,MAAMI,CAAc,sCACzBN,CAAiB,yBAClCV,EAAO,eAAe,MACvCW,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,yBACrBN,EAAO,gBAAgB,kBACvBA,EAAO,mBAAmB,MAAM,0BAChCA,EAAO,2BAA2B,MAAM,qBACxCA,EAAO,eAAe;AAAA,MAAA;AAAA,EAGjC;AAEA,SAAOO;AACT;AAwBO,SAASU,GACdC,GACAC,GACAC,GACM;AACN,MAAIF,EAAQ,SAASC,EAAW;AAC9B,UAAM,IAAI;AAAA,MACR,4BAA4BD,EAAQ,MAAM,8BACrCC,EAAW,MAAM;AAAA,IAAA;AAI1B,WAASP,IAAI,GAAGA,IAAIO,EAAW,QAAQP,KAAK;AAC1C,UAAMS,IAAe,OAAOH,EAAQN,CAAC,EAAE,KAAK;AAC5C,QAAIS,MAAiBF,EAAWP,CAAC;AAC/B,YAAM,IAAI;AAAA,QACR,iCAAiCA,CAAC,WAAWS,CAAY,+CAClBF,EAAWP,CAAC,CAAC;AAAA,MAAA;AAKxD,UAAMU,IAAgBJ,EAAQN,CAAC,EAAE,OAAO,SAAS,KAAK,EAAE,YAAA,GAClDW,IAAiBH,EAAkBR,CAAC,EAAE,YAAA;AAC5C,QAAIU,MAAkBC;AACpB,YAAM,IAAI;AAAA,QACR,iCAAiCX,CAAC,kBAAkBU,CAAa,sDACfC,CAAc;AAAA,MAAA;AAAA,EAGtE;AACF;AC5KA,MAAMC,IAA2B,IAE3BC,KAAc;AAyFpB,eAAsBC,GACpB1B,GAC6B;AAC7B,QAAM2B,IAAiBC,GAAwB5B,EAAO,cAAc,GAE9DD,IAAS,MAAM8B,GAA0B;AAAA,IAC7C,gBAAgB7B,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,gBAAA2B;AAAA,EAAA,CACD,GAMKG,IAAc,MAAMhC,GAAsBC,GAAQC,CAAM,GAKxD+B,IAASC,GAA6BjC,EAAO,KAAK;AAMxD,EAAAkB;AAAA,IACEc,EAAO;AAAA,IACPhC,EAAO;AAAA,IACPA,EAAO;AAAA,EAAA;AAGT,QAAMkC,IAAmBF,EAAO,QAAQ;AAAA,IACtC,CAACG,GAAKC,MAAMD,IAAM,OAAOC,EAAE,KAAK;AAAA,IAChC;AAAA,EAAA,GAKIC,IACJT,MAAmB,SAAY5B,EAAO,WAAW,SAAS;AAE5D,SAAO;AAAA,IACL,SAASA,EAAO;AAAA,IAChB,kBAAAkC;AAAA,IACA,YAAYlC,EAAO;AAAA,IACnB,mBAAmBA,EAAO;AAAA,IAC1B,eAAeA,EAAO;AAAA,IACtB,cAAcA,EAAO;AAAA,IACrB,qBAAqBA,EAAO;AAAA,IAC5B,gBAAAqC;AAAA,IACA,aAAAN;AAAA,EAAA;AAEJ;AAMO,SAASF,GACdS,GACoB;AACpB,MAAIA,MAAU,OAAW;AACzB,QAAMC,IACJD,EAAM,WAAW,IAAI,KAAKA,EAAM,WAAW,IAAI,IAAIA,EAAM,MAAM,CAAC,IAAIA;AACtE,MACEC,EAAQ,WAAWd,KACnB,CAACC,GAAY,KAAKa,CAAO;AAEzB,UAAM,IAAI;AAAA,MACR,uCAAuCd,CAAwB,qCAAqCc,EAAQ,MAAM;AAAA,IAAA;AAGtH,SAAOA,EAAQ,YAAA;AACjB;AAYA,eAAsBC,GACpBvC,GACwB;AAMxB,QAAMD,IAAS,MAAMyC;AAAA,IACnB;AAAA,MACE,gBAAgBxC,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,gBAAgB4B;AAAA,QACd5B,EAAO,eAAe;AAAA,MAAA;AAAA,IACxB;AAAA,IAEFA,EAAO;AAAA,IACPA,EAAO;AAAA,IACPA,EAAO;AAAA,EAAA;AAGT,eAAMyC,GAAmB1C,GAAQC,CAAM,GAEhC;AAAA,IACL,OAAOD,EAAO;AAAA,IACd,MAAMA,EAAO;AAAA,IACb,mBAAmBA,EAAO;AAAA,IAC1B,YAAYA,EAAO;AAAA,EAAA;AAEvB;AAOA,MAAM2C,KAA0B,GAM1BC,KAA6B;AAkBnC,eAAeF,GACb1C,GAMAC,GACe;AACf,QAAM4C,IAAU5C,EAAO,eAAe;AAEtC,QAAM6C,GAAuBD,GAAS7C,EAAO,KAAK;AAElD,QAAMK,IAAS,MAAMC,GAAqBuC,CAAO,GAC3CE,IAAsBJ,MAA2BtC,IAAS,IAAI,IAE9D2C,IAAUC,EAAY,QAAQC,EAAelD,EAAO,KAAK,CAAC;AAQhE,MAAIgD,EAAQ,IAAI,WAAW;AACzB,UAAM,IAAI;AAAA,MACR,gBAAgBA,EAAQ,IAAI,MAAM;AAAA,IAAA;AAItC,QAAMG,IAAqBF,EAAY;AAAA,IACrCC,EAAejD,EAAO,mBAAmB;AAAA,EAAA,EACzC,MAAA,GACImD,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,UAAU/C,EAAO;AAClC,UAAM,IAAI;AAAA,MACR,uCAAuC+C,EAAQ,IAAI,CAAC,EAAE,KAAK,sCACrB/C,EAAO,QAAQ;AAAA,IAAA;AAIzD,MAAI+C,EAAQ,KAAK,WAAWD;AAC1B,UAAM,IAAI;AAAA,MACR,gBAAgBC,EAAQ,KAAK,MAAM,gCAC9BD,CAAmB,yBAAyBF,CAAO,4BACpCxC,IAAS,kBAAkB,EAAE;AAAA,IAAA;AAIrD,QAAMiD,IACJrD,EAAO,eAAe,aAAaA,EAAO,QAAQ;AACpD,MAAID,EAAO,eAAesD;AACxB,UAAM,IAAI;AAAA,MACR,4BAA4BtD,EAAO,UAAU,+CAChBsD,CAAe,aACvCrD,EAAO,QAAQ;AAAA,IAAA;AAKxB,QAAMsD,IAAkBP,EAAQ,KAAK,CAAC;AACtC,MAAI,OAAOO,EAAgB,KAAK,MAAMvD,EAAO;AAC3C,UAAM,IAAI;AAAA,MACR,oCAAoCuD,EAAgB,KAAK,gDACjBvD,EAAO,UAAU;AAAA,IAAA;AAG7D,QAAMwD,IAAqBD,EAAgB,OAAO,SAAS,KAAK,GAC1DE,IAAsBP;AAAA,IAC1BlD,EAAO;AAAA,EAAA,EACP,YAAA;AACF,MAAIwD,EAAmB,YAAA,MAAkBC;AACvC,UAAM,IAAI;AAAA,MACR,2CAA2CD,CAAkB,uDAExDxD,EAAO,iBAAiB;AAAA,IAAA;AAIjC,QAAM0D,IAAcV,EAAQ,MAAA;AAC5B,MAAIU,MAAgBR,EAAelD,EAAO,IAAI,EAAE;AAC9C,UAAM,IAAI;AAAA,MACR,sBAAsB0D,CAAW,0CACvB1D,EAAO,IAAI;AAAA,IAAA;AAWzB,QAAMG,IAAqB,MAAMC;AAAA,IAC/ByC;AAAA,IACA5C,EAAO,eAAe;AAAA,IACtBA,EAAO,eAAe,2BAA2B;AAAA,IACjDA,EAAO,eAAe;AAAA,IACtBA,EAAO,eAAe;AAAA,IACtBA,EAAO,eAAe;AAAA,EAAA,GAElB0D,IAAkBX,EAAQ,KAAKJ,EAA0B;AAC/D,MAAI,OAAOe,EAAgB,KAAK,MAAMxD;AACpC,UAAM,IAAI;AAAA,MACR,8CAA8CwD,EAAgB,KAAK,0DAE9DxD,CAAkB,yBAAyB0C,CAAO;AAAA,IAAA;AAI3D,QAAMe,IAAsBC;AAAA,IAC1B5D,EAAO,eAAe;AAAA,EAAA;AAExB,MAAI,CAAC0D,EAAgB,OAAO,OAAOC,CAAmB;AACpD,UAAM,IAAI;AAAA,MACR,qDACKD,EAAgB,OAAO,SAAS,KAAK,CAAC,2DAEtCC,EAAoB,SAAS,KAAK,CAAC;AAAA,IAAA;AAG9C;AASA,SAASC,GAAiCC,GAAiC;AACzE,QAAMC,IAAkBC,GAAQ,QAAQ;AAAA,IACtCC,EAAO,KAAKC,EAAgBJ,CAAe,CAAC;AAAA,IAC5CK,GAAQ;AAAA,EAAA,CACT,GACK,EAAE,QAAAC,EAAA,IAAWC,GAAS,KAAK;AAAA,IAC/B,gBAAgBJ,EAAO,KAAKK,EAAiB;AAAA,IAC7C,YAAY,EAAE,QAAQP,EAAA;AAAA,EAAgB,CACvC;AACD,MAAI,CAACK;AACH,UAAM,IAAI;AAAA,MACR;AAAA,IAAA;AAGJ,SAAOA;AACT;ACtWA,eAAsBG,GACpBtE,GAC6B;AAE7B,QAAMuE,IAAY,MAAMC;AAAA,IACtB;AAAA,MACE,gBAAgBxE,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,cAAcuE,EAAU;AAAA,IACxB,mBAAmBA,EAAU;AAAA,IAC7B,cAAcA,EAAU;AAAA,IACxB,SAASA,EAAU;AAAA,IACnB,oBAAoBA,EAAU;AAAA,EAAA;AAElC;ACvJA,MAAME,KAA0B,KAQ1BC,KAA4B,MAG5BC,IAA+B,KAM/BC,IAA+B,aAO/BC,KAAwB,KACxBC,KAAmC,IAGnCC,KAAkC;AAsBjC,SAASC,GAA0BhF,GAAmC;AAC3E,MACE,OAAOA,EAAO,mBAAoB,YAClCA,EAAO,mBAAmB,MAC1BA,EAAO,kBAAkB4E;AAEzB,UAAM,IAAI;AAAA,MACR,kCAAkCA,CAA4B,iBACrD5E,EAAO,eAAe;AAAA,IAAA;AAKnC,aAAW,CAACiF,GAAMC,GAAOC,GAAKC,CAAM,KAAK;AAAA,IACvC;AAAA,MACE;AAAA,MACApF,EAAO;AAAA,MACPyE;AAAA,MACA;AAAA,IAAA;AAAA,IAEF;AAAA,MACE;AAAA,MACAzE,EAAO;AAAA,MACP0E;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,UAAUpF,EAAO,WAAW,KACpCA,EAAO,cAAc,KACrBA,EAAO,cAAc2E;AAErB,UAAM,IAAI;AAAA,MACR,yCACSA,CAA4B,UAAU3E,EAAO,WAAW;AAAA,IAAA;AAGvE;AAQA,eAAsBqF,GACpBrF,GACAsF,GAKe;AACf,QAAM,EAAE,iBAAAC,GAAiB,SAAAC,GAAS,SAAAC,EAAA,IAAYH,GACxCI,IACJ1F,EAAO,kBAAkBA,EAAO,yBAC5B2F,IAAc,OAAOJ,CAAe,GAKpCK,IAAe,KAAK,IAAI,GAAGJ,IAAUT,EAA+B,GACpEc,IACJhB,KACAC,KAAmCY,IACnCE,GACIE,IAAa9F,EAAO,kBAAkB,OAAO6F,CAAc;AACjE,MAAIF,IAAcG;AAChB,UAAM,IAAI;AAAA,MACR,uBAAuBP,CAAe,mCAC9BO,CAAU,UAAU9F,EAAO,eAAe,aAC7C6F,CAAc,WAAWH,CAAe;AAAA,IAAA;AAOjD,QAAMK,IAAa,MAAMC;AAAA,IACvBhG,EAAO;AAAA,IACPA,EAAO;AAAA,IACPA,EAAO;AAAA,IACPA,EAAO;AAAA,IACPA,EAAO;AAAA,IACPwF;AAAA,IACAC;AAAA,IACAzF,EAAO;AAAA,EAAA;AAET,MAAI2F,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,EACdC,GACAC,GACM;AACN,QAAMC,IAAS9D,EAAe4D,CAAS,EAAE,YAAA;AAEzC,MAAIE,EAAO,WAAW;AACpB,UAAM,IAAI,MAAM,GAAGD,CAAK,WAAW;AAErC,MAAI,CAAC,cAAc,KAAKC,CAAM,KAAKA,EAAO,SAAS,MAAM;AACvD,UAAM,IAAI,MAAM,GAAGD,CAAK,mBAAmB;AAE7C,MAAIC,EAAO,WAAW,IAAI;AACxB,UAAM,IAAI;AAAA,MACR,GAAGD,CAAK;AAAA,IAAA;AAIZ,MACE,CAACL,GAAOM,CAAM,KACd,CAACT,GAASS,CAAM,KAChB,CAACP,GAAQO,CAAM,KACf,CAACL,GAAQK,CAAM,KACf,CAACJ,GAAOI,CAAM;AAEd,UAAM,IAAI;AAAA,MACR,GAAGD,CAAK,sFACgDC,EAAO,SAAS,CAAC,WAAWA,CAAM;AAAA,IAAA;AAGhG;AC9CA,MAAMC,IAAwC;AAgL9C,eAAsBC,GACpBjH,GAC2B;AAC3B,QAAMkH,IAAgB;AAAA,IACpB,kBAAkBlH,EAAO;AAAA,IACzB,iBAAiBA,EAAO,sBAAsB;AAAA,IAC9C,yBAAyBA,EAAO,8BAA8B;AAAA,IAC9D,aAAaA,EAAO;AAAA,IACpB,iBAAiBA,EAAO;AAAA,EAAA;AAE1B,EAAAgF,GAA0BkC,CAAa;AAEvC,QAAMC,IAAWnE,EAAY,QAAQC,EAAejD,EAAO,WAAW,CAAC,GACjE+C,IAAUC,EAAY,QAAQC,EAAejD,EAAO,UAAU,CAAC,GAC/DoH,IAAWpE,EAAY,QAAQC,EAAejD,EAAO,WAAW,CAAC;AAEvE,MAAImH,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,CAAkB;AAAA,IAAA;AAK3B,QAAMC,IAAeC;AAAA,IACnBN,EAAS,IAAI,CAAC;AAAA,IACd;AAAA,IACApE;AAAA,IACA;AAAA,IACA2E;AAAA,EAAA;AAEF,MAAIP,EAAS,IAAI,CAAC,EAAE,aAAanH,EAAO;AACtC,UAAM,IAAI;AAAA,MACR,2BAA2BmH,EAAS,IAAI,CAAC,EAAE,QAAQ,sCAC3BnH,EAAO,aAAa;AAAA,IAAA;AAIhD,QAAM2H,IAAgBF;AAAA,IACpBN,EAAS,IAAI,CAAC;AAAA,IACd;AAAA,IACAC;AAAA,IACA;AAAA,IACAQ;AAAA,EAAA;AAEF,MAAIT,EAAS,IAAI,CAAC,EAAE,aAAanH,EAAO;AACtC,UAAM,IAAI;AAAA,MACR,2BAA2BmH,EAAS,IAAI,CAAC,EAAE,QAAQ,uCAC1BnH,EAAO,cAAc;AAAA,IAAA;AAWlD,QAAM,EAAE,SAAAwF,GAAS,SAAAC,EAAA,IAAYoC;AAAA,IAC3BV;AAAA,IACAK,EAAa;AAAA,IACbxH;AAAA,EAAA,GAGI8H,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,QAAMvC,IAAkBuC,IAAiBC;AACzC,QAAM1C,GAAsB6B,GAAe;AAAA,IACzC,iBAAA3B;AAAA,IACA,SAAAC;AAAA,IACA,SAAAC;AAAA,EAAA,CACD;AAID,QAAMwC,IAAkB,MAAM3D,GAAmB;AAAA,IAC/C,kBAAkBtE,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;AAED,SAAO;AAAA,IACL,SAASkI;AAAA,MACPf;AAAA,MACAK;AAAA,MACAG;AAAA,MACAM;AAAA,IAAA;AAAA,EACF;AAEJ;AAUA,SAASR,EACPU,GACAC,GACAC,GACAC,GACAC,GACU;AACV,QAAMpF,IAAYC;AAAA,IAChB,IAAI,WAAW+E,EAAM,IAAI,EAAE,MAAA,EAAQ,QAAA;AAAA,EAAQ,GAEvCK,IAAaH,EAAS,MAAA;AAC5B,MAAIlF,MAAcqF,KAAcL,EAAM,UAAUI;AAC9C,UAAM,IAAI;AAAA,MACR,SAASH,CAAU,eAAeE,CAAW,IAAIC,CAAY,cAC/CC,CAAU,IAAID,CAAY,SAASpF,CAAS,IAAIgF,EAAM,KAAK;AAAA,IAAA;AAG7E,QAAMM,IAAUJ,EAAS,KAAKF,EAAM,KAAK;AACzC,MAAI,CAACM;AACH,UAAM,IAAI;AAAA,MACR,uCAAuCL,CAAU,WACrCjF,CAAS,YAAYgF,EAAM,KAAK;AAAA,IAAA;AAGhD,SAAOM;AACT;AAWA,SAASP,GACPf,GACAK,GACAG,GACAM,GACQ;AACR,QAAMS,IAAO,IAAIC,EAAA;AACjB,EAAAD,EAAK,WAAWvB,EAAS,OAAO,GAChCuB,EAAK,YAAYvB,EAAS,QAAQ;AAElC,QAAM,CAACyB,GAAQC,CAAM,IAAI1B,EAAS;AAGlC,EAAAuB,EAAK,SAAS;AAAA,IACZ,MAAME,EAAO;AAAA,IACb,OAAOA,EAAO;AAAA,IACd,UAAUA,EAAO;AAAA,IACjB,aAAa;AAAA,MACX,QAAQpB,EAAa;AAAA,MACrB,OAAOA,EAAa;AAAA,IAAA;AAAA,IAEtB,eAAe;AAAA,MACb;AAAA,QACE,aAAasB;AAAA,QACb,QAAQ9E,EAAO,KAAKC,EAAgBgE,EAAgB,YAAY,CAAC;AAAA,QACjE,cAAcjE,EAAO;AAAA,UACnBC,EAAgBgE,EAAgB,kBAAkB;AAAA,QAAA;AAAA,MACpD;AAAA,IACF;AAAA,IAEF,gBAAgBjE,EAAO,KAAKK,EAAiB;AAAA;AAAA,EAAA,CAE9C,GAIDqE,EAAK,SAAS;AAAA,IACZ,MAAMG,EAAO;AAAA,IACb,OAAOA,EAAO;AAAA,IACd,UAAUA,EAAO;AAAA,IACjB,aAAa;AAAA,MACX,QAAQlB,EAAc;AAAA,MACtB,OAAOA,EAAc;AAAA,IAAA;AAAA,EACvB,CACD;AAED,aAAWxD,KAAUgD,EAAS;AAC5B,IAAAuB,EAAK,UAAU;AAAA,MACb,QAAQvE,EAAO;AAAA,MACf,OAAOA,EAAO;AAAA,IAAA,CACf;AAGH,SAAOuE,EAAK,MAAA;AACd;AA2DA,SAASK,EACPC,GACAC,GACU;AACV,QAAMC,IAAajG,EAAe+F,CAAsB,EAAE,YAAA,GACpDG,IAAclG;AAAA,IAClBmG,GAA2BH,CAAY;AAAA,EAAA,EACvC,YAAA;AACF,SAAOC,MAAeC,IAAc,CAACD,CAAU,IAAI,CAACA,GAAYC,CAAW;AAC7E;AAGA,SAASE,EAAiBtC,GAAgBuC,GAAkC;AAC1E,SAAOA,EAAc,KAAK,CAACC,MAAQxC,EAAO,OAAO/C,EAAO,KAAKuF,GAAK,KAAK,CAAC,CAAC;AAC3E;AAsCA,SAAS1B,GACPV,GACAqC,GACAxJ,GACkD;AAClD,QAAM;AAAA,IACJ,kBAAAyJ;AAAA,IACA,wBAAAC;AAAA,IACA,oBAAAC;AAAA,IACA,uBAAAC;AAAA,IACA,8BAAAC;AAAA,IACA,eAAAC;AAAA,IACA,8BAAAC;AAAA,IACA,0BAAAC;AAAA,EAAA,IACEhK;AAEJ,MAAI,CAACiK,GAAWJ,CAA4B;AAC1C,UAAM,IAAI,MAAM,qDAAqD;AAGvE,QAAMK,IAAUjH,EAAewG,CAAgB,EAAE,YAAA,GAC3CU,IAAKlH,EAAeyG,CAAsB,EAAE,YAAA,GAC5CU,IAAMnH,EAAe0G,CAAkB,EAAE,YAAA,GACzCU,IAAUT,EAAsB;AAAA,IAAI,CAACU,MACzCrH,EAAeqH,CAAC,EAAE,YAAA;AAAA,EAAY;AAIhC,MAAIrF,GACAsF,GACAC;AAEJ,MAAIN,MAAYC;AACd,IAAAlF,IAAO,cACPsF,IAAmBE,IACnBD,IAA0B,CAACvH,EAAe4G,CAA4B,CAAC;AAAA,WAC9DK,MAAYE;AACrB,IAAAnF,IAAO,wBACPsF,IAAmBG,GACnBF,IAA0B,CAACvH,EAAe4G,CAA4B,CAAC;AAAA,WAC9DQ,EAAQ,SAASH,CAAO,GAAG;AACpC,IAAAjF,IAAO,cACPsF,IAAmBG;AAUnB,UAAMxB,IAAaa,EAA6BG,CAAO;AACvD,QAAIhB,MAAe;AACjB,YAAM,IAAI;AAAA,QACR,iEAAiEgB,CAAO;AAAA,MAAA;AAG5E,IAAAtD;AAAA,MACEsC;AAAA,MACA,0CAA0CgB,CAAO;AAAA,IAAA,GAEnDM,IAA0BzB,EAA0BG,GAAYgB,CAAO;AAAA,EACzE;AACE,UAAM,IAAI;AAAA,MACR,0BAA0BA,CAAO;AAAA,IAAA;AAIrC,MAAI/C,EAAS,KAAK,WAAWoD;AAC3B,UAAM,IAAI;AAAA,MACR,0BAA0BpD,EAAS,KAAK,MAAM,gCACxBoD,CAAgB,aAAatF,CAAI;AAAA,IAAA;AAI3D,MAAI,CAACoE,EAAiBlC,EAAS,KAAK,CAAC,EAAE,QAAQqD,CAAuB;AACpE,UAAM,IAAI;AAAA,MACR,+EAA+EvF,CAAI,eACpEuF,EAAwB,KAAK,MAAM,CAAC,SAC1CrD,EAAS,KAAK,CAAC,EAAE,OAAO,SAAS,KAAK,CAAC;AAAA,IAAA;AAIpD,QAAMwD,IAAYJ,IAAmB;AACrC,MAAIpD,EAAS,KAAKwD,CAAS,EAAE,UAAUC;AACrC,UAAM,IAAI;AAAA,MACR,2BAA2BD,CAAS,WAAWxD,EAAS,KAAKwD,CAAS,EAAE,KAAK,oBAC7DC,CAAuB;AAAA,IAAA;AAI3C,MAAI3F,MAAS,cAAc;AAIzB,IAAA2B;AAAA,MACEoD;AAAA,MACA;AAAA,IAAA;AAEF,UAAMa,IAAgC9B;AAAA,MACpCiB;AAAA,MACAG;AAAA,IAAA;AAEF,QACE,CAACd,EAAiBlC,EAAS,KAAK,CAAC,EAAE,QAAQ0D,CAA6B;AAExE,YAAM,IAAI;AAAA,QACR,oGACeA,EAA8B,KAAK,MAAM,CAAC,SAChD1D,EAAS,KAAK,CAAC,EAAE,OAAO,SAAS,KAAK,CAAC;AAAA,MAAA;AAQpD,QACE,CAAC,OAAO,UAAU2C,CAAa,KAC/BA,IAAgB,KAChBA,KAAiBgB;AAEjB,YAAM,IAAI;AAAA,QACR,2CACSA,CAA+B,UAAUhB,CAAa;AAAA,MAAA;AAGnE,UAAMiB,IAAoB,KAAK;AAAA,MAC5BvB,IAAiBM,IAAiBkB;AAAA,IAAA;AAErC,QAAI7D,EAAS,KAAK,CAAC,EAAE,QAAQ4D;AAC3B,YAAM,IAAI;AAAA,QACR,sCAAsC5D,EAAS,KAAK,CAAC,EAAE,KAAK,qBAC3C4D,CAAiB,UAC5BjB,CAAa,sBAAsBN,CAAc;AAAA,MAAA;AAAA,EAG7D;AAKA,QAAMhE,IAAU2B,EAAS,KAAK,CAAC,EAAE,OAAO;AACxC,MAAI3B,MAAY,KAAKA,IAAUyF;AAC7B,UAAM,IAAI;AAAA,MACR,uCAAuCzF,CAAO,mDACTyF,CAAqB;AAAA,IAAA;AAU9D,QAAMxF,KACJR,MAAS,eAAekC,EAAS,KAAK,CAAC,EAAE,OAAO,SAAS;AAE3D,SAAO,EAAE,SAAA3B,GAAS,SAAAC,GAAA;AACpB;AAqBO,SAASyF,GACdC,GACAtH,GACAuE,IAAa,GACL;AACR,QAAMgD,IAAazC,EAAK,QAAQwC,CAAa;AAE7C,MAAI/C,KAAcgD,EAAW,KAAK,OAAO;AACvC,UAAM,IAAI;AAAA,MACR,eAAehD,CAAU,kBAAkBgD,EAAW,KAAK,OAAO,MAAM;AAAA,IAAA;AAI5E,QAAMjD,IAAQiD,EAAW,KAAK,OAAOhD,CAAU;AAG/C,MAAID,EAAM,gBAAgBA,EAAM,aAAa,SAAS,GAAG;AACvD,UAAMkD,IAAuBpH,EAAgBJ,CAAe;AAE5D,eAAWyH,KAAYnD,EAAM;AAC3B,UAAImD,EAAS,OAAO,OAAOtH,EAAO,KAAKqH,CAAoB,CAAC;AAC1D,eAAOE,EAAkBD,EAAS,WAAWlD,CAAU;AAI3D,UAAM,IAAI;AAAA,MACR,4CAA4CvE,CAAe,aAAauE,CAAU;AAAA,IAAA;AAAA,EAEtF;AAQA,MAAID,EAAM,sBAAsBA,EAAM,mBAAmB,SAAS,GAAG;AACnE,UAAMqD,IAAeC,GAAkBtD,EAAM,kBAAkB;AAC/D,QAAIqD,EAAa,WAAWxE;AAC1B,YAAM,IAAI;AAAA,QACR,oDAAoDoB,CAAU,cAChDpB,CAAqC,iDAC1CwE,EAAa,MAAM;AAAA,MAAA;AAGhC,WAAOD,EAAkBC,EAAa,CAAC,GAAGpD,CAAU;AAAA,EACtD;AAEA,QAAM,IAAI;AAAA,IACR,uEAAuEA,CAAU;AAAA,EAAA;AAErF;AASA,SAASmD,EAAkBG,GAAiBtD,GAA4B;AACtE,MAAIsD,EAAI,WAAW;AACjB,WAAOtI,EAAgB,IAAI,WAAWsI,CAAG,CAAC;AAE5C,QAAIA,EAAI,WAAW,KACX,IAAI;AAAA,IACR,6BAA6BA,EAAI,EAAE,EAAE,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG,CAAC,aAAatD,CAAU;AAAA,EAAA,IAIvF,IAAI;AAAA,IACR,wCAAwCA,CAAU,KAAKsD,EAAI,MAAM;AAAA,EAAA;AAErE;AAUA,SAASD,GAAkBE,GAA2B;AACpD,QAAMC,IAAkB,CAAA;AACxB,MAAIC,IAAS;AAEb,QAAMC,IAAe,CAACC,MAAoB;AACxC,QAAIF,IAASE,IAAIJ,EAAQ;AACvB,YAAM,IAAI;AAAA,QACR,gCAAgCI,CAAC,sBAAsBF,CAAM,UAAUF,EAAQ,SAASE,CAAM;AAAA,MAAA;AAAA,EAGpG,GAEMG,IAAa,MAAc;AAC/B,IAAAF,EAAa,CAAC;AACd,UAAMG,IAAQN,EAAQE,GAAQ;AAC9B,QAAII,IAAQ,IAAM,QAAOA;AACzB,QAAIA,MAAU,KAAM;AAClB,MAAAH,EAAa,CAAC;AACd,YAAMI,KAAOP,EAAQE,CAAM,IAAKF,EAAQE,IAAS,CAAC,KAAK,OAAQ;AAC/D,aAAAA,KAAU,GACHK;AAAA,IACT;AACA,QAAID,MAAU,KAAM;AAClB,MAAAH,EAAa,CAAC;AACd,YAAMI,KACHP,EAAQE,CAAM,IACZF,EAAQE,IAAS,CAAC,KAAK,IACvBF,EAAQE,IAAS,CAAC,KAAK,KACvBF,EAAQE,IAAS,CAAC,KAAK,QAC1B;AACF,aAAAA,KAAU,GACHK;AAAA,IACT;AAIA,UAAM,IAAI;AAAA,MACR,wEAAwEL,IAAS,CAAC;AAAA,IAAA;AAAA,EAEtF,GAEM3G,IAAQ8G,EAAA;AACd,WAASpL,IAAI,GAAGA,IAAIsE,GAAOtE,KAAK;AAC9B,UAAMuL,IAAMH,EAAA;AACZ,IAAAF,EAAaK,CAAG,GAChBP,EAAM,KAAK5H,EAAO,KAAK2H,EAAQ,SAASE,GAAQA,IAASM,CAAG,CAAC,CAAC,GAC9DN,KAAUM;AAAA,EACZ;AAEA,MAAIN,MAAWF,EAAQ;AACrB,UAAM,IAAI;AAAA,MACR,2BAA2BA,EAAQ,SAASE,CAAM,mCAAmC3G,CAAK;AAAA,IAAA;AAI9F,SAAO0G;AACT;AC51BO,MAAMQ,UAA8B,MAAM;AAAA,EAC/C,YAAYC,GAAgB;AAC1B;AAAA,MACE,uDAAuDA,CAAM;AAAA,IAAA,GAE/D,KAAK,OAAO;AAAA,EACd;AACF;AASA,SAASC,EAAUxF,GAAiCyC,GAAmB;AACrE,MAAI;AACF,WAAOZ,EAAK,QAAQY,CAAG;AAAA,EACzB,SAASgD,GAAO;AACd,UAAMnH,IAASmH,aAAiB,QAAQA,EAAM,UAAU,OAAOA,CAAK;AACpE,UAAM,IAAI,MAAM,mBAAmBzF,CAAK,UAAU1B,CAAM,EAAE;AAAA,EAC5D;AACF;AAOA,MAAMoH,KAA0B;AAEhC,SAASC,EAAUC,GAAqB;AACtC,SAAO,GAAGA,EAAI,SAAS,KAAK,EAAE,MAAM,GAAGF,EAAuB,CAAC;AACjE;AAQA,SAASG,EAAWC,GAA8B;AAChD,QAAMC,IAAW7I,EAAO,KAAK4I,CAAY,EAAE,QAAA;AAC3C,SAAOH,EAAUI,CAAQ;AAC3B;AASO,SAASC,GACd9M,GACM;AACN,QAAMa,IAAYyL,EAAU,aAAatM,EAAO,gBAAgB,GAC1D+M,IAAWT,EAAU,YAAYtM,EAAO,eAAe;AAE7D,MAAIa,EAAU,YAAYkM,EAAS;AACjC,UAAM,IAAIX;AAAA,MACR,iCAAiCvL,EAAU,OAAO,cAAckM,EAAS,OAAO;AAAA,IAAA;AAGpF,MAAIlM,EAAU,aAAakM,EAAS;AAClC,UAAM,IAAIX;AAAA,MACR,kCAAkCvL,EAAU,QAAQ,cAAckM,EAAS,QAAQ;AAAA,IAAA;AAGvF,MAAIlM,EAAU,SAAS,WAAWkM,EAAS,SAAS;AAClD,UAAM,IAAIX;AAAA,MACR,kCAAkCvL,EAAU,SAAS,MAAM,cAAckM,EAAS,SAAS,MAAM;AAAA,IAAA;AAGrG,MAAIlM,EAAU,UAAU,WAAWkM,EAAS,UAAU;AACpD,UAAM,IAAIX;AAAA,MACR,mCAAmCvL,EAAU,UAAU,MAAM,cAAckM,EAAS,UAAU,MAAM;AAAA,IAAA;AAGxG,WAASnM,IAAI,GAAGA,IAAIC,EAAU,SAAS,QAAQD,KAAK;AAClD,UAAM,IAAIC,EAAU,SAASD,CAAC,GACxB2F,IAAIwG,EAAS,SAASnM,CAAC;AAC7B,QAAI,CAAC,EAAE,KAAK,OAAO2F,EAAE,IAAI;AACvB,YAAM,IAAI6F;AAAA,QACR,SAASxL,CAAC,oCAAoC+L,EAAW,EAAE,IAAI,CAAC,cAAcA,EAAWpG,EAAE,IAAI,CAAC;AAAA,MAAA;AAGpG,QAAI,EAAE,UAAUA,EAAE;AAChB,YAAM,IAAI6F;AAAA,QACR,SAASxL,CAAC,oCAAoC,EAAE,KAAK,cAAc2F,EAAE,KAAK;AAAA,MAAA;AAG9E,QAAI,EAAE,aAAaA,EAAE;AACnB,YAAM,IAAI6F;AAAA,QACR,SAASxL,CAAC,gCAAgC,EAAE,QAAQ,cAAc2F,EAAE,QAAQ;AAAA,MAAA;AAAA,EAGlF;AACA,WAAS3F,IAAI,GAAGA,IAAIC,EAAU,UAAU,QAAQD,KAAK;AACnD,UAAM,IAAIC,EAAU,UAAUD,CAAC,GACzB2F,IAAIwG,EAAS,UAAUnM,CAAC;AAC9B,QAAI,CAAC,EAAE,OAAO,OAAO2F,EAAE,MAAM;AAC3B,YAAM,IAAI6F;AAAA,QACR,UAAUxL,CAAC,oCAAoC6L,EAAU,EAAE,MAAM,CAAC,cAAcA,EAAUlG,EAAE,MAAM,CAAC;AAAA,MAAA;AAGvG,QAAI,EAAE,UAAUA,EAAE;AAChB,YAAM,IAAI6F;AAAA,QACR,UAAUxL,CAAC,6BAA6B,EAAE,KAAK,cAAc2F,EAAE,KAAK;AAAA,MAAA;AAAA,EAG1E;AACF;ACtFA,MAAMyG,IAA6B,KAC7BC,KAA6B,KAC7BC,KAA0B,OAC1BC,KAA0B;AAOhC,SAASC,GAAkBrB,GAAmB;AAC5C,MAAIA,IAAIiB;AACN,WAAOhJ,EAAO,KAAK,CAAC+H,CAAC,CAAC;AAExB,MAAIA,KAAKmB,IAAyB;AAChC,UAAM7K,IAAQ2B,EAAO,MAAM,CAAC;AAC5B,WAAA3B,EAAM,cAAc0J,CAAC,GACd/H,EAAO,OAAO,CAACA,EAAO,KAAK,CAACgJ,CAA0B,CAAC,GAAG3K,CAAK,CAAC;AAAA,EACzE;AACA,MAAI0J,KAAKoB,IAAyB;AAChC,UAAM9K,IAAQ2B,EAAO,MAAM,CAAC;AAC5B,WAAA3B,EAAM,cAAc0J,CAAC,GACd/H,EAAO,OAAO,CAACA,EAAO,KAAK,CAACiJ,EAA0B,CAAC,GAAG5K,CAAK,CAAC;AAAA,EACzE;AACA,QAAM,IAAI,MAAM,8CAA8C0J,CAAC,QAAQ;AACzE;AAGA,MAAMsB,KAAc;AAMpB,SAASC,GAAmBC,GAAqBxG,GAA4B;AAC3E,QAAMyG,IAAWxJ,EAAO,OAAO;AAAA,IAC7BA,EAAO,KAAK,CAACuJ,CAAW,CAAC;AAAA,IACzBH,GAAkBrG,EAAO,MAAM;AAAA,IAC/B/C,EAAO,KAAK+C,CAAM;AAAA,EAAA,CACnB;AACD,SAAO0G,GAAQ,WAAWJ,IAAaG,CAAQ;AACjD;AAyBO,SAASE,GACd1N,GACM;AACN,QAAM,EAAE,kBAAA2N,GAAkB,cAAAC,GAAc,sBAAAC,GAAsB,YAAAzF,MAC5DpI,GAEI8N,IAAe7K,EAAe2K,CAAY;AAChD,MAAIE,EAAa,WAAWC;AAC1B,UAAM,IAAI;AAAA,MACR,+BAA+B3F,CAAU,YAAY2F,CAAmB,8BACnDD,EAAa,MAAM;AAAA,IAAA;AAI5C,QAAME,IAAc/K,EAAe4K,CAAoB;AACvD,MAAIG,EAAY,WAAWC;AACzB,UAAM,IAAI;AAAA,MACR,kCAAkC7F,CAAU,YAAY6F,CAAqB,8BACxDD,EAAY,MAAM;AAAA,IAAA;AAI3C,QAAMtF,IAAOC,EAAK,QAAQgF,CAAgB;AAE1C,MAAIvF,IAAa,KAAKA,KAAcM,EAAK,KAAK,OAAO;AACnD,UAAM,IAAI;AAAA,MACR,eAAeN,CAAU,kBAAkBM,EAAK,KAAK,OAAO,MAAM;AAAA,IAAA;AAOtE,QAAMwF,IAA2B,CAAA,GAC3BC,IAAmB,CAAA;AACzB,WAASvN,IAAI,GAAGA,IAAI8H,EAAK,KAAK,OAAO,QAAQ9H,KAAK;AAChD,UAAMwN,IAAc1F,EAAK,KAAK,OAAO9H,CAAC,EAAE;AACxC,QAAI,CAACwN;AACH,YAAM,IAAI;AAAA,QACR,kCAAkCxN,CAAC;AAAA,MAAA;AAIvC,IAAAsN,EAAe,KAAKE,EAAY,MAAM,GACtCD,EAAO,KAAKC,EAAY,KAAK;AAAA,EAC/B;AAKA,QAAMC,IAAiB3F,EAAK,KAAK,OAAON,CAAU,EAAE;AACpD,MAAI,CAACiG,KAAkBA,EAAe,WAAW;AAC/C,UAAM,IAAI;AAAA,MACR,kCAAkCjG,CAAU,oEAChBiG,KAAA,gBAAAA,EAAgB,WAAU,CAAC;AAAA,IAAA;AAG3D,QAAMC,IAAOD,EAAe,CAAC;AAC7B,MAAIC,EAAK,gBAAgBxF;AACvB,UAAM,IAAI;AAAA,MACR,kCAAkCV,CAAU,qCACrCkG,EAAK,YAAY,SAAS,EAAE,CAAC,gBAAgBxF,EAAuB,SAAS,EAAE,CAAC;AAAA,IAAA;AAI3F,QAAMyF,IAAWjB,GAAmBgB,EAAK,aAAaA,EAAK,MAAM,GAK3DE,IAAK,IAAIxL,EAAA;AACf,EAAAwL,EAAG,UAAU9F,EAAK,SAClB8F,EAAG,WAAW9F,EAAK;AACnB,aAAWP,KAASO,EAAK;AACvB,IAAA8F,EAAG,SAASrG,EAAM,MAAMA,EAAM,OAAOA,EAAM,QAAQ;AAErD,aAAWhE,KAAUuE,EAAK;AACxB,IAAA8F,EAAG,UAAUrK,EAAO,QAAQA,EAAO,KAAK;AAG1C,QAAMsK,IAAUD,EAAG;AAAA,IACjBpG;AAAA,IACA8F;AAAA,IACAC;AAAA,IACAnL,EAAY;AAAA,IACZuL;AAAA,EAAA;AASF,MAAI,CANYG,GAAI;AAAA,IAClBD;AAAA,IACAxK,EAAgB+J,CAAW;AAAA,IAC3B/J,EAAgB6J,CAAY;AAAA,EAAA;AAI5B,UAAM,IAAI;AAAA,MACR,+BAA+B1F,CAAU,YAAY4F,CAAW;AAAA,IAAA;AAKtE;"}