@kaspacom/kcc20-tx-builder 0.8.0-fee.1 → 0.8.0-fee.3

package/dist/cjs/escrow-account-setup.d.ts

@@ -0,0 +1,53 @@
+import type { Kcc20FeeAccountState } from "./escrow-claim-plan.js";
+import { type Kcc20IndexedFeeReceipt, type Kcc20LiveFeeReceiptUtxo } from "./escrow-receipt.js";
+/**
+ * Construct the initial account output. Its covenant lineage is assigned by
+ * the transaction; the market can bind that lineage only after it is known.
+ * This function does not select funding, sign, or estimate transaction mass.
+ */
+export declare function buildKcc20InitialFeeAccount(input: {
+    artifact: unknown;
+    tokenId: string;
+    ownerSchnorrPublicKey: string;
+    principalSompi: bigint;
+}): {
+    redeemScript: Uint8Array<ArrayBuffer>;
+    scriptHash: string;
+    scriptPublicKey: {
+        version: 0;
+        scriptHex: string;
+    };
+    escrowTemplate: {
+        hash: string;
+        prefixLength: number;
+        suffixLength: number;
+    };
+    state: Kcc20FeeAccountState;
+    amountSompi: bigint;
+};
+/**
+ * Verify the current unbound account output and plan the exact continuation.
+ * The owner signs bindMarket once; later claims use the account's authority.
+ */
+export declare function planKcc20FeeAccountBinding(input: {
+    artifact: unknown;
+    indexed: Kcc20IndexedFeeReceipt;
+    live: Kcc20LiveFeeReceiptUtxo;
+    tokenId: string;
+    accountId: string;
+    marketId: string;
+    policyId: string;
+}): {
+    entrypoint: "bindMarket";
+    account: import("./escrow-claim-plan.js").Kcc20FeeClaimAccount;
+    currentRedeemScript: Uint8Array<ArrayBufferLike>;
+    successorState: Kcc20FeeAccountState;
+    successorRedeemScript: Uint8Array<ArrayBuffer>;
+    successorScriptPublicKey: {
+        version: 0;
+        scriptHex: string;
+    };
+    successorAmountSompi: bigint;
+    requiresOwnerSchnorrSignature: true;
+    requiresSeparateNetworkFunding: true;
+};

package/dist/cjs/escrow-account-setup.js

@@ -0,0 +1,103 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildKcc20InitialFeeAccount = buildKcc20InitialFeeAccount;
+exports.planKcc20FeeAccountBinding = planKcc20FeeAccountBinding;
+const abi_js_1 = require("./abi.js");
+const escrow_fee_js_1 = require("./escrow-fee.js");
+const escrow_receipt_js_1 = require("./escrow-receipt.js");
+const ZERO = "00".repeat(32);
+const SECP256K1_FIELD = (1n << 256n) - (1n << 32n) - 977n;
+function hex32(value, label) {
+    if (typeof value !== "string" || !/^[0-9a-f]{64}$/i.test(value)) {
+        throw new Error(`${label} must be 32-byte hex`);
+    }
+    return value.toLowerCase();
+}
+function principal(value) {
+    if (typeof value !== "bigint" || value <= 0n || value > escrow_fee_js_1.KCC20_ESCROW_MAX_INT) {
+        throw new Error("fee account principal must be a positive contract-range bigint");
+    }
+    return value;
+}
+function modPow(base, exponent) {
+    let result = 1n;
+    let factor = base % SECP256K1_FIELD;
+    for (let remaining = exponent; remaining > 0n; remaining >>= 1n) {
+        if (remaining & 1n)
+            result = (result * factor) % SECP256K1_FIELD;
+        factor = (factor * factor) % SECP256K1_FIELD;
+    }
+    return result;
+}
+/** BIP340 keys encode an x-coordinate that must lift to a secp256k1 point. */
+function requireSchnorrXOnlyPublicKey(value) {
+    const key = hex32(value, "owner Schnorr public key");
+    const x = BigInt(`0x${key}`);
+    if (x >= SECP256K1_FIELD)
+        throw new Error("owner Schnorr public key is not a curve point");
+    const square = (x * x % SECP256K1_FIELD * x + 7n) % SECP256K1_FIELD;
+    const y = modPow(square, (SECP256K1_FIELD + 1n) / 4n);
+    if (y * y % SECP256K1_FIELD !== square) {
+        throw new Error("owner Schnorr public key is not a curve point");
+    }
+    return key;
+}
+/**
+ * Construct the initial account output. Its covenant lineage is assigned by
+ * the transaction; the market can bind that lineage only after it is known.
+ * This function does not select funding, sign, or estimate transaction mass.
+ */
+function buildKcc20InitialFeeAccount(input) {
+    const token = hex32(input.tokenId, "token");
+    const owner = requireSchnorrXOnlyPublicKey(input.ownerSchnorrPublicKey);
+    if (token === ZERO || owner === ZERO)
+        throw new Error("fee account token and owner must be nonzero");
+    const amountSompi = principal(input.principalSompi);
+    const template = (0, abi_js_1.templateParts)((0, abi_js_1.normalizeSilverScriptArtifact)(input.artifact));
+    const state = {
+        role: "1", token, market: ZERO, policy: ZERO,
+        protocol_account: ZERO, creator_account: ZERO,
+        protocol_amount: "0", creator_amount: "0", owner,
+        owner_scheme: 0, guard_template: ZERO, guard_prefix: "0", guard_suffix: "0",
+        action_hash: ZERO,
+        self_template: toHex(template.hash),
+        self_prefix: String(template.prefixLength), self_suffix: String(template.suffixLength),
+    };
+    return { state, amountSompi, ...(0, escrow_receipt_js_1.buildKcc20FeeEscrowScript)(input.artifact, state) };
+}
+function toHex(bytes) {
+    return Array.from(bytes, byte => byte.toString(16).padStart(2, "0")).join("");
+}
+/**
+ * Verify the current unbound account output and plan the exact continuation.
+ * The owner signs bindMarket once; later claims use the account's authority.
+ */
+function planKcc20FeeAccountBinding(input) {
+    const market = hex32(input.marketId, "market");
+    const policy = hex32(input.policyId, "policy");
+    if (market === ZERO || policy === ZERO)
+        throw new Error("fee account binding requires a market and policy");
+    const verified = (0, escrow_receipt_js_1.verifyKcc20UnboundFeeAccountForBinding)({
+        artifact: input.artifact,
+        indexed: input.indexed,
+        live: input.live,
+        expected: { tokenId: input.tokenId, accountId: input.accountId },
+    });
+    const successorState = {
+        ...verified.account.state,
+        market, policy,
+    };
+    const successor = (0, escrow_receipt_js_1.buildKcc20FeeEscrowScript)(input.artifact, successorState);
+    return {
+        entrypoint: "bindMarket",
+        account: verified.account,
+        currentRedeemScript: verified.redeemScript,
+        successorState,
+        successorRedeemScript: successor.redeemScript,
+        successorScriptPublicKey: successor.scriptPublicKey,
+        successorAmountSompi: verified.account.principalSompi,
+        requiresOwnerSchnorrSignature: true,
+        requiresSeparateNetworkFunding: true,
+    };
+}
+//# sourceMappingURL=escrow-account-setup.js.map

package/dist/cjs/escrow-account-setup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"escrow-account-setup.js","sourceRoot":"","sources":["../../src/escrow-account-setup.ts"],"names":[],"mappings":";;AAuDA,kEAqBC;AAUD,gEAqCC;AA3HD,qCAAwE;AACxE,mDAAuD;AAEvD,2DAK6B;AAE7B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAC7B,MAAM,eAAe,GAAG,CAAC,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC;AAE1D,SAAS,KAAK,CAAC,KAAa,EAAE,KAAa;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,sBAAsB,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,IAAI,EAAE,IAAI,KAAK,GAAG,oCAAoB,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,MAAM,CAAC,IAAY,EAAE,QAAgB;IAC5C,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,MAAM,GAAG,IAAI,GAAG,eAAe,CAAC;IACpC,KAAK,IAAI,SAAS,GAAG,QAAQ,EAAE,SAAS,GAAG,EAAE,EAAE,SAAS,KAAK,EAAE,EAAE,CAAC;QAChE,IAAI,SAAS,GAAG,EAAE;YAAE,MAAM,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,eAAe,CAAC;QACjE,MAAM,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,eAAe,CAAC;IAC/C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,SAAS,4BAA4B,CAAC,KAAa;IACjD,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC;IACrD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC;IAC7B,IAAI,CAAC,IAAI,eAAe;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IAC3F,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,eAAe,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,eAAe,CAAC;IACpE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,eAAe,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;IACtD,IAAI,CAAC,GAAG,CAAC,GAAG,eAAe,KAAK,MAAM,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAgB,2BAA2B,CAAC,KAK3C;IACC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACxE,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACrG,MAAM,WAAW,GAAG,SAAS,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,IAAA,sBAAa,EAAC,IAAA,sCAA6B,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAyB;QAClC,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI;QAC5C,gBAAgB,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI;QAC7C,eAAe,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,KAAK;QAChD,YAAY,EAAE,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG;QAC3E,WAAW,EAAE,IAAI;QACjB,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QACnC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC;KACvF,CAAC;IACF,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,IAAA,6CAAyB,EAAC,KAAK,CAAC,QAAQ,EAAE,KAA2C,CAAC,EAAE,CAAC;AAC3H,CAAC;AAED,SAAS,KAAK,CAAC,KAAiB;IAC9B,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAChF,CAAC;AAED;;;GAGG;AACH,SAAgB,0BAA0B,CAAC,KAQ1C;IACC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC/C,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAC5G,MAAM,QAAQ,GAAG,IAAA,0DAAsC,EAAC;QACtD,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE;KACjE,CAAC,CAAC;IACH,MAAM,cAAc,GAAyB;QAC3C,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK;QACzB,MAAM,EAAE,MAAM;KACf,CAAC;IACF,MAAM,SAAS,GAAG,IAAA,6CAAyB,EACzC,KAAK,CAAC,QAAQ,EACd,cAAoD,CACrD,CAAC;IACF,OAAO;QACL,UAAU,EAAE,YAAqB;QACjC,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,mBAAmB,EAAE,QAAQ,CAAC,YAAY;QAC1C,cAAc;QACd,qBAAqB,EAAE,SAAS,CAAC,YAAY;QAC7C,wBAAwB,EAAE,SAAS,CAAC,eAAe;QACnD,oBAAoB,EAAE,QAAQ,CAAC,OAAO,CAAC,cAAc;QACrD,6BAA6B,EAAE,IAAa;QAC5C,8BAA8B,EAAE,IAAa;KAC9C,CAAC;AACJ,CAAC"}

package/dist/cjs/escrow-claim-plan.d.ts

@@ -0,0 +1,74 @@
+import { type Kcc20FeeReceiptAmounts } from "./escrow-fee.js";
+export interface Kcc20FeeAccountState {
+    role: string;
+    token: string;
+    market: string;
+    policy: string;
+    protocol_account: string;
+    creator_account: string;
+    protocol_amount: string;
+    creator_amount: string;
+    owner: string;
+    owner_scheme: number;
+    guard_template: string;
+    guard_prefix: string;
+    guard_suffix: string;
+    action_hash: string;
+    self_template: string;
+    self_prefix: string;
+    self_suffix: string;
+}
+export interface Kcc20FeeClaimAccount {
+    outpoint: {
+        transactionId: string;
+        index: number;
+    };
+    covenantId: string;
+    principalSompi: bigint;
+    state: Kcc20FeeAccountState;
+}
+/**
+ * Derive the exact claim amounts and covenant successor states. Inputs must
+ * already be authenticated against current node UTXOs. This plan does not
+ * authorize account ownership, sign, estimate mass or select network funding.
+ */
+export declare function planKcc20FeeClaimTransition(input: {
+    receipts: readonly Kcc20FeeReceiptAmounts[];
+    party: "protocol" | "creator";
+    account: Kcc20FeeClaimAccount;
+    /** Supplied by a successful pinned receipt verification, not by an indexer hint alone. */
+    escrowTemplate: {
+        hash: string;
+        prefixLength: number;
+        suffixLength: number;
+    };
+    /** Serialized ScriptPublicKey including its two-byte little-endian version. */
+    payoutScriptPublicKey: Uint8Array;
+}): {
+    party: "protocol" | "creator";
+    claimSompi: bigint;
+    accountPrincipalSompi: bigint;
+    remainderSompi: bigint;
+    commitment: string;
+    successorAccountState: Kcc20FeeAccountState;
+    remainderReceiptState: {
+        role: string;
+        token: string;
+        market: string;
+        policy: string;
+        protocol_account: string;
+        creator_account: string;
+        protocol_amount: string;
+        creator_amount: string;
+        owner: string;
+        owner_scheme: number;
+        guard_template: string;
+        guard_prefix: string;
+        guard_suffix: string;
+        action_hash: string;
+        self_template: string;
+        self_prefix: string;
+        self_suffix: string;
+    } | null;
+    requiresSeparateNetworkFunding: true;
+};

package/dist/cjs/escrow-claim-plan.js

@@ -0,0 +1,98 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.planKcc20FeeClaimTransition = planKcc20FeeClaimTransition;
+const escrow_fee_js_1 = require("./escrow-fee.js");
+const escrow_policy_js_1 = require("./escrow-policy.js");
+const ZERO = "00".repeat(32);
+const HEX_32 = /^[0-9a-f]{64}$/i;
+function hex32(value, label) {
+    if (typeof value !== "string" || !HEX_32.test(value))
+        throw new Error(`${label} must be 32-byte hex`);
+    return value.toLowerCase();
+}
+function natural(value, label) {
+    if (typeof value !== "string" || !/^(0|[1-9]\d*)$/.test(value))
+        throw new Error(`${label} must be canonical decimal`);
+    const result = BigInt(value);
+    if (result > escrow_fee_js_1.KCC20_ESCROW_MAX_INT)
+        throw new Error(`${label} exceeds the contract range`);
+    return result;
+}
+/**
+ * Derive the exact claim amounts and covenant successor states. Inputs must
+ * already be authenticated against current node UTXOs. This plan does not
+ * authorize account ownership, sign, estimate mass or select network funding.
+ */
+function planKcc20FeeClaimTransition(input) {
+    const amounts = (0, escrow_fee_js_1.calculateKcc20FeeClaim)(input.receipts, input.party);
+    const first = input.receipts[0];
+    const account = input.account;
+    const state = account.state;
+    const targetAccount = input.party === "protocol" ? first.protocolAccountId : first.creatorAccountId;
+    if (hex32(targetAccount, "target account") === ZERO ||
+        hex32(account.covenantId, "account covenant") !== hex32(targetAccount, "target account")) {
+        throw new Error("claim uses the wrong fee account lineage");
+    }
+    if (!Number.isInteger(account.outpoint.index) || account.outpoint.index < 0 || account.outpoint.index > 0xffffffff ||
+        hex32(account.outpoint.transactionId, "account txid") === ZERO ||
+        typeof account.principalSompi !== "bigint" || account.principalSompi <= 0n ||
+        account.principalSompi > escrow_fee_js_1.KCC20_ESCROW_MAX_INT) {
+        throw new Error("invalid fee account outpoint or principal");
+    }
+    if (state.role !== "1" || hex32(state.token, "account token") !== hex32(first.tokenId, "receipt token") ||
+        hex32(state.market, "account market") !== hex32(first.marketId, "receipt market") ||
+        hex32(state.policy, "account policy") !== hex32(first.policyId, "receipt policy") ||
+        [state.protocol_account, state.creator_account, state.owner].some(value => !HEX_32.test(value)) ||
+        state.protocol_account.toLowerCase() !== ZERO || state.creator_account.toLowerCase() !== ZERO ||
+        state.owner.toLowerCase() === ZERO || state.protocol_amount !== "0" || state.creator_amount !== "0") {
+        throw new Error("invalid fee account state");
+    }
+    if (!Number.isInteger(state.owner_scheme) || state.owner_scheme < 0 || state.owner_scheme > 4 ||
+        !HEX_32.test(state.guard_template) || !HEX_32.test(state.action_hash) || !HEX_32.test(state.self_template)) {
+        throw new Error("unsupported fee account authority state");
+    }
+    const guardPrefix = natural(state.guard_prefix, "guard prefix");
+    const guardSuffix = natural(state.guard_suffix, "guard suffix");
+    const selfPrefix = natural(state.self_prefix, "self prefix");
+    const selfSuffix = natural(state.self_suffix, "self suffix");
+    if (!Number.isSafeInteger(input.escrowTemplate.prefixLength) ||
+        !Number.isSafeInteger(input.escrowTemplate.suffixLength) ||
+        input.escrowTemplate.prefixLength <= 0 || input.escrowTemplate.suffixLength <= 0 ||
+        state.self_template.toLowerCase() !== hex32(input.escrowTemplate.hash, "escrow template") ||
+        selfPrefix !== BigInt(input.escrowTemplate.prefixLength) ||
+        selfSuffix !== BigInt(input.escrowTemplate.suffixLength) ||
+        (state.owner_scheme === 3 && (state.guard_template.toLowerCase() === ZERO || guardPrefix !== 0n || guardSuffix !== 0n)) ||
+        (state.owner_scheme === 4 && (state.guard_template.toLowerCase() === ZERO || guardPrefix === 0n || guardSuffix === 0n)) ||
+        (state.owner_scheme <= 2 && (state.guard_template.toLowerCase() !== ZERO || guardPrefix !== 0n || guardSuffix !== 0n))) {
+        throw new Error("invalid fee account guard state");
+    }
+    const commitment = (0, escrow_policy_js_1.kcc20FeeClaimCommitment)({
+        receipts: input.receipts,
+        party: input.party,
+        accountOutpoint: account.outpoint,
+        payoutScriptPublicKey: input.payoutScriptPublicKey,
+    });
+    const successorAccountState = { ...state, action_hash: commitment };
+    const remainderReceiptState = amounts.remainderSompi > 0n ? {
+        role: "0", token: first.tokenId, market: first.marketId, policy: first.policyId,
+        protocol_account: first.protocolAccountId, creator_account: first.creatorAccountId,
+        protocol_amount: amounts.remainingProtocolSompi.toString(),
+        creator_amount: amounts.remainingCreatorSompi.toString(),
+        owner: ZERO, owner_scheme: 0, guard_template: ZERO,
+        guard_prefix: "0", guard_suffix: "0", action_hash: ZERO,
+        self_template: input.escrowTemplate.hash.toLowerCase(),
+        self_prefix: String(input.escrowTemplate.prefixLength),
+        self_suffix: String(input.escrowTemplate.suffixLength),
+    } : null;
+    return {
+        party: input.party,
+        claimSompi: amounts.claimSompi,
+        accountPrincipalSompi: account.principalSompi,
+        remainderSompi: amounts.remainderSompi,
+        commitment,
+        successorAccountState,
+        remainderReceiptState,
+        requiresSeparateNetworkFunding: true,
+    };
+}
+//# sourceMappingURL=escrow-claim-plan.js.map

package/dist/cjs/escrow-claim-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"escrow-claim-plan.js","sourceRoot":"","sources":["../../src/escrow-claim-plan.ts"],"names":[],"mappings":";;AAkDA,kEA+EC;AAjID,mDAA4G;AAC5G,yDAA6D;AAE7D,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAC7B,MAAM,MAAM,GAAG,iBAAiB,CAAC;AA6BjC,SAAS,KAAK,CAAC,KAAa,EAAE,KAAa;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,sBAAsB,CAAC,CAAC;IACtG,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,OAAO,CAAC,KAAa,EAAE,KAAa;IAC3C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,4BAA4B,CAAC,CAAC;IACtH,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,MAAM,GAAG,oCAAoB;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAC;IAC1F,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,SAAgB,2BAA2B,CAAC,KAQ3C;IACC,MAAM,OAAO,GAAG,IAAA,sCAAsB,EAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;IACjC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC;IACpG,IAAI,KAAK,CAAC,aAAa,EAAE,gBAAgB,CAAC,KAAK,IAAI;QAC/C,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,kBAAkB,CAAC,KAAK,KAAK,CAAC,aAAa,EAAE,gBAAgB,CAAC,EAAE,CAAC;QAC7F,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,GAAG,UAAU;QAC9G,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC,KAAK,IAAI;QAC9D,OAAO,OAAO,CAAC,cAAc,KAAK,QAAQ,IAAI,OAAO,CAAC,cAAc,IAAI,EAAE;QAC1E,OAAO,CAAC,cAAc,GAAG,oCAAoB,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,eAAe,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,eAAe,CAAC;QACnG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,gBAAgB,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,gBAAgB,CAAC;QACjF,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,gBAAgB,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,gBAAgB,CAAC;QACjF,CAAC,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/F,KAAK,CAAC,gBAAgB,CAAC,WAAW,EAAE,KAAK,IAAI,IAAI,KAAK,CAAC,eAAe,CAAC,WAAW,EAAE,KAAK,IAAI;QAC7F,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,IAAI,IAAI,KAAK,CAAC,eAAe,KAAK,GAAG,IAAI,KAAK,CAAC,cAAc,KAAK,GAAG,EAAE,CAAC;QACxG,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,YAAY,GAAG,CAAC,IAAI,KAAK,CAAC,YAAY,GAAG,CAAC;QACzF,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/G,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IAChE,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IAChE,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IAC7D,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,cAAc,CAAC,YAAY,CAAC;QACxD,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,cAAc,CAAC,YAAY,CAAC;QACxD,KAAK,CAAC,cAAc,CAAC,YAAY,IAAI,CAAC,IAAI,KAAK,CAAC,cAAc,CAAC,YAAY,IAAI,CAAC;QAChF,KAAK,CAAC,aAAa,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,EAAE,iBAAiB,CAAC;QACzF,UAAU,KAAK,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,YAAY,CAAC;QACxD,UAAU,KAAK,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,YAAY,CAAC;QACxD,CAAC,KAAK,CAAC,YAAY,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,WAAW,EAAE,KAAK,IAAI,IAAI,WAAW,KAAK,EAAE,IAAI,WAAW,KAAK,EAAE,CAAC,CAAC;QACvH,CAAC,KAAK,CAAC,YAAY,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,WAAW,EAAE,KAAK,IAAI,IAAI,WAAW,KAAK,EAAE,IAAI,WAAW,KAAK,EAAE,CAAC,CAAC;QACvH,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,WAAW,EAAE,KAAK,IAAI,IAAI,WAAW,KAAK,EAAE,IAAI,WAAW,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3H,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,UAAU,GAAG,IAAA,0CAAuB,EAAC;QACzC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,eAAe,EAAE,OAAO,CAAC,QAAQ;QACjC,qBAAqB,EAAE,KAAK,CAAC,qBAAqB;KACnD,CAAC,CAAC;IACH,MAAM,qBAAqB,GAAyB,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1F,MAAM,qBAAqB,GAAG,OAAO,CAAC,cAAc,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1D,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ;QAC/E,gBAAgB,EAAE,KAAK,CAAC,iBAAiB,EAAE,eAAe,EAAE,KAAK,CAAC,gBAAgB;QAClF,eAAe,EAAE,OAAO,CAAC,sBAAsB,CAAC,QAAQ,EAAE;QAC1D,cAAc,EAAE,OAAO,CAAC,qBAAqB,CAAC,QAAQ,EAAE;QACxD,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE,cAAc,EAAE,IAAI;QAClD,YAAY,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI;QACvD,aAAa,EAAE,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE;QACtD,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,YAAY,CAAC;QACtD,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,YAAY,CAAC;KACvD,CAAC,CAAC,CAAC,IAAI,CAAC;IACT,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,qBAAqB,EAAE,OAAO,CAAC,cAAc;QAC7C,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,UAAU;QACV,qBAAqB;QACrB,qBAAqB;QACrB,8BAA8B,EAAE,IAAa;KAC9C,CAAC;AACJ,CAAC"}

package/dist/cjs/escrow-receipt.d.ts

@@ -0,0 +1,103 @@
+import { type Kcc20FeeReceiptAmounts } from "./escrow-fee.js";
+import type { Kcc20FeeClaimAccount } from "./escrow-claim-plan.js";
+export interface Kcc20IndexedFeeReceipt {
+    txidHex: string;
+    vout: number;
+    covenantIdHex: string;
+    scriptHashHex: string;
+    amountSompiExact: string;
+    status: string;
+    spentByTxidHex?: string | null;
+    state: Record<string, unknown> | null;
+}
+/** Obtain this UTXO from the canonical node immediately before construction. */
+export interface Kcc20LiveFeeReceiptUtxo {
+    outpoint: {
+        transactionId: string;
+        index: number;
+    };
+    amountSompi: bigint;
+    covenantIdHex: string;
+    scriptPublicKey: {
+        version: number;
+        scriptHex: string;
+    };
+}
+export interface Kcc20FeeReceiptIdentity {
+    tokenId: string;
+    marketId: string;
+    policyId: string;
+    protocolAccountId: string;
+    creatorAccountId: string;
+}
+/** Render an escrow state using only the packaged, pinned v1 program. */
+export declare function buildKcc20FeeEscrowScript(artifactInput: unknown, state: Record<string, unknown>): {
+    redeemScript: Uint8Array<ArrayBuffer>;
+    scriptHash: string;
+    scriptPublicKey: {
+        version: 0;
+        scriptHex: string;
+    };
+    escrowTemplate: {
+        hash: string;
+        prefixLength: number;
+        suffixLength: number;
+    };
+};
+/**
+ * Check a receipt hint against the pinned program and a fresh node UTXO.
+ * The caller must fetch `live` from a qualified canonical node, authenticate
+ * the market root/policy, and refresh the UTXO again before signing.
+ */
+export declare function verifyKcc20FeeReceiptForClaim(input: {
+    artifact: unknown;
+    indexed: Kcc20IndexedFeeReceipt;
+    live: Kcc20LiveFeeReceiptUtxo;
+    expected: Kcc20FeeReceiptIdentity;
+}): {
+    receipt: Kcc20FeeReceiptAmounts;
+    redeemScript: Uint8Array;
+    escrowTemplate: {
+        hash: string;
+        prefixLength: number;
+        suffixLength: number;
+    };
+};
+/** Authenticate a fee-account hint against the pinned escrow artifact and a fresh node UTXO. */
+export declare function verifyKcc20FeeAccountForClaim(input: {
+    artifact: unknown;
+    indexed: Kcc20IndexedFeeReceipt;
+    live: Kcc20LiveFeeReceiptUtxo;
+    expected: {
+        tokenId: string;
+        marketId: string;
+        policyId: string;
+        accountId: string;
+    };
+}): {
+    account: Kcc20FeeClaimAccount;
+    redeemScript: Uint8Array;
+    escrowTemplate: {
+        hash: string;
+        prefixLength: number;
+        suffixLength: number;
+    };
+};
+/** Verify an unbound account before its one-time market binding. */
+export declare function verifyKcc20UnboundFeeAccountForBinding(input: {
+    artifact: unknown;
+    indexed: Kcc20IndexedFeeReceipt;
+    live: Kcc20LiveFeeReceiptUtxo;
+    expected: {
+        tokenId: string;
+        accountId: string;
+    };
+}): {
+    account: Kcc20FeeClaimAccount;
+    redeemScript: Uint8Array;
+    escrowTemplate: {
+        hash: string;
+        prefixLength: number;
+        suffixLength: number;
+    };
+};