@hazbase/simplicity 0.4.3 → 0.4.5

package/README.md

@@ -175,6 +175,25 @@ testnet issuer or deployment uses a different USDt asset id, set
 payment requirements will preserve that asset id instead of replacing it with
 the SDK's default registry id.
 
+For policy-locked Liquid RWA positions, redemption can be represented as a
+Liquid x402 request with `extra.redemptionSource.type:
+"policy_locked_position"`. Wallets can use
+`buildLiquidPolicyLockedRedemptionPaymentFromProposal(...)` when a service has
+already prepared the Simplicity policy-spend PSET proposal. The helper binds the
+custom RWA asset, policy position, vault output, expiry, and summary hash into
+the `X-PAYMENT` payload, and rejects proposals that still require holder-side
+Simplicity witness construction.
+
+Services can prepare that policy-spend proposal with
+`sdk.policies.inspectTransfer(...)` or `sdk.policies.executeTransfer(...)`.
+When the current policy state carries a custom Liquid asset id, the policy
+executor automatically uses the SDK multi-asset PSET path instead of the legacy
+L-BTC-only spend path. Pass `extraInputs` for the L-BTC fee/sponsor inputs and
+`contractInput` when the policy position UTXO should be selected by outpoint,
+asset id, amount, blinding data, or sequence. If the policy UTXO amount is not
+fully transferred, pass an explicit `changeAddress`; exact-position redemptions
+do not need one.
+
 Typical entrypoints:
 - `sdk.rwaDvp.definePurchase(...)`
 - `sdk.rwaDvp.buildPaymentRequirements(...)`

package/dist/client/SimplicityClient.d.ts

@@ -24,6 +24,7 @@ export declare class SimplicityClient {
             decodePayment: typeof liquidX402.decodeLiquidXPayment;
             preparePsetPayment: (input: liquidX402.LiquidX402PreparePsetPaymentInput) => Promise<liquidX402.LiquidX402PreparePsetPaymentResult>;
             buildPaymentFromPset: typeof liquidX402.buildLiquidX402PaymentFromPset;
+            buildPolicyLockedRedemptionPaymentFromProposal: typeof liquidX402.buildLiquidPolicyLockedRedemptionPaymentFromProposal;
             prepareLwkWasmPayment: typeof liquidX402.prepareLiquidX402LwkWasmPayment;
             deriveLwkWasmAddress: typeof liquidX402.deriveLiquidX402LwkWasmAddress;
             verify: (input: liquidX402.LiquidX402VerifyPaymentInput) => Promise<liquidX402.LiquidX402VerifyPaymentResult>;

package/dist/client/SimplicityClient.js

@@ -74,6 +74,7 @@ class SimplicityClient {
                 decodePayment: liquidX402.decodeLiquidXPayment,
                 preparePsetPayment: async (input) => liquidX402.prepareLiquidX402PsetPayment(this.rpc, input),
                 buildPaymentFromPset: liquidX402.buildLiquidX402PaymentFromPset,
+                buildPolicyLockedRedemptionPaymentFromProposal: liquidX402.buildLiquidPolicyLockedRedemptionPaymentFromProposal,
                 prepareLwkWasmPayment: liquidX402.prepareLiquidX402LwkWasmPayment,
                 deriveLwkWasmAddress: liquidX402.deriveLiquidX402LwkWasmAddress,
                 verify: async (input) => liquidX402.verifyLiquidX402Payment(this.rpc, input),

package/dist/core/executor.js

@@ -429,7 +429,7 @@ async function findContractUtxos(config, artifact) {
     return scanUtxosByAddress(config, artifact.compiled.contractAddress);
 }
 function findRequestedContractUtxo(utxos, input) {
-    if (!input)
+    if (!input?.txid)
         return null;
     const requested = utxos.find((utxo) => (utxo.txid === input.txid
         && (input.vout === undefined || utxo.vout === input.vout))) ?? null;
@@ -441,6 +441,21 @@ function findRequestedContractUtxo(utxos, input) {
         sat: input.amountSat ?? requested.sat,
     };
 }
+function filterContractUtxosByRequestedAsset(utxos, input) {
+    if (!input)
+        return utxos;
+    return utxos.filter((utxo) => {
+        if (input.txid && utxo.txid !== input.txid)
+            return false;
+        if (input.vout !== undefined && utxo.vout !== input.vout)
+            return false;
+        if (input.asset && normalizeAssetId(utxo.asset) !== normalizeAssetId(input.asset))
+            return false;
+        if (input.amountSat !== undefined && utxo.sat !== input.amountSat)
+            return false;
+        return true;
+    });
+}
 function buildMultiAssetBlindingSecrets(input) {
     const secrets = [];
     if (input.contractInput?.rawTxHex && input.contractInput.blindingPrivateKey) {
@@ -472,9 +487,15 @@ async function buildMultiAssetExecutionState(config, artifact, input) {
     const contractUtxos = await scanUtxosByAddress(config, artifact.compiled.contractAddress);
     const feeSat = input.feeSat ?? config.defaults?.feeSat ?? DEFAULT_FEE_SAT;
     const requested = findRequestedContractUtxo(contractUtxos, input.contractInput);
-    const contractUtxo = requested ?? chooseUtxo(contractUtxos, 1, config.defaults?.utxoPolicy ?? "smallest_over");
+    const candidateContractUtxos = filterContractUtxosByRequestedAsset(contractUtxos, input.contractInput);
+    const contractUtxo = requested ?? chooseUtxo(candidateContractUtxos, 1, config.defaults?.utxoPolicy ?? "smallest_over");
     if (!contractUtxo) {
-        throw new errors_1.UtxoNotFoundError(`No contract UTXO found for address=${artifact.compiled.contractAddress}`);
+        throw new errors_1.UtxoNotFoundError(`No contract UTXO found for address=${artifact.compiled.contractAddress}`, {
+            requestedAsset: input.contractInput?.asset,
+            requestedAmountSat: input.contractInput?.amountSat,
+            requestedTxid: input.contractInput?.txid,
+            requestedVout: input.contractInput?.vout,
+        });
     }
     const extraInputs = input.extraInputs ?? [];
     const inputTotals = new Map();
@@ -521,7 +542,7 @@ async function buildMultiAssetExecutionState(config, artifact, input) {
         {
             txid: contractUtxo.txid,
             vout: contractUtxo.vout,
-            sequence: input.locktimeHeight ? DEFAULT_SEQUENCE : DEFAULT_SEQUENCE,
+            sequence: input.contractInput?.sequence ?? DEFAULT_SEQUENCE,
         },
         ...extraInputs.map((extra) => ({
             txid: extra.txid,

package/dist/core/types.d.ts

@@ -332,10 +332,11 @@ export interface MultiAssetContractCallInput {
     signer: SignerConfig;
     witness?: WitnessConfig;
     contractInput?: {
-        txid: string;
+        txid?: string;
         vout?: number;
         asset?: string;
         amountSat?: number;
+        sequence?: number;
         rawTxHex?: string;
         blindingPrivateKey?: string;
     };

package/dist/domain/policies.d.ts

@@ -1,5 +1,5 @@
 import type { SimplicityClient } from "../client/SimplicityClient";
-import type { BondOutputBindingMode, OutputRawFields, PolicyOutputAmountForm, PolicyOutputAssetForm, PolicyEvidenceBundle, PolicyEvidenceBundleSchemaVersion, PolicyOutputBindingReasonCode, PolicyOutputBindingSupportedForm, PolicyOutputDescriptor, PolicyOutputNonceForm, PolicyReceiver, PolicyOutputRangeProofForm, PolicyState, PolicyTemplateDocument, PolicyTemplateManifest, PolicyTemplateManifestValidationResult, PolicyTemplateManifestVersion, PolicyTemplateInput, PolicyTransferDescriptor, PolicyVerificationReportSchemaVersion, PropagationMode, SimplicityArtifact } from "../core/types";
+import type { BondOutputBindingMode, OutputRawFields, PolicyOutputAmountForm, PolicyOutputAssetForm, PolicyEvidenceBundle, PolicyEvidenceBundleSchemaVersion, PolicyOutputBindingReasonCode, PolicyOutputBindingSupportedForm, PolicyOutputDescriptor, PolicyOutputNonceForm, PolicyReceiver, PolicyOutputRangeProofForm, PolicyState, PolicyTemplateDocument, PolicyTemplateManifest, PolicyTemplateManifestValidationResult, PolicyTemplateManifestVersion, PolicyTemplateInput, PolicyTransferDescriptor, PolicyVerificationReportSchemaVersion, PropagationMode, MultiAssetContractCallInput, MultiAssetContractInput, SimplicityArtifact } from "../core/types";
 export declare const POLICY_TEMPLATE_MANIFEST_SCHEMA_VERSION: PolicyTemplateManifestVersion;
 export declare const POLICY_VERIFICATION_REPORT_SCHEMA_VERSION: PolicyVerificationReportSchemaVersion;
 export declare const POLICY_EVIDENCE_BUNDLE_SCHEMA_VERSION: PolicyEvidenceBundleSchemaVersion;
@@ -576,6 +576,10 @@ export declare function executeDirectTransfer(sdk: SimplicityClient, input: {
     broadcast?: boolean;
     feeSat?: number;
     utxoPolicy?: "smallest_over" | "largest" | "newest";
+    contractInput?: MultiAssetContractCallInput["contractInput"];
+    extraInputs?: MultiAssetContractInput[];
+    changeAddress?: string;
+    useMultiAssetExecutor?: boolean;
 }): Promise<{
     mode: "direct-hop";
     prepared: {
@@ -912,6 +916,10 @@ export declare function executeTransfer(sdk: SimplicityClient, input: {
     broadcast?: boolean;
     feeSat?: number;
     utxoPolicy?: "smallest_over" | "largest" | "newest";
+    contractInput?: MultiAssetContractCallInput["contractInput"];
+    extraInputs?: MultiAssetContractInput[];
+    changeAddress?: string;
+    useMultiAssetExecutor?: boolean;
 }): Promise<{
     mode: "plain-exit";
     prepared: {

package/dist/domain/policies.js

@@ -33,6 +33,7 @@ const node_fs_1 = require("node:fs");
 const node_path_1 = __importDefault(require("node:path"));
 const summary_1 = require("../core/summary");
 const errors_1 = require("../core/errors");
+const executor_1 = require("../core/executor");
 const outputBinding_1 = require("../core/outputBinding");
 const reporting_1 = require("../core/reporting");
 function resolvePolicyDocsAsset(filename) {
@@ -602,6 +603,53 @@ function buildPolicyRecursiveWitness(prepared) {
         },
     };
 }
+function isBitcoinPolicyAsset(assetId) {
+    return assetId.trim().toLowerCase() === "bitcoin";
+}
+function shouldUseMultiAssetPolicyExecutor(assetId, input) {
+    if (input.useMultiAssetExecutor === true)
+        return true;
+    if (!isBitcoinPolicyAsset(assetId))
+        return true;
+    if (input.contractInput?.asset)
+        return true;
+    if ((input.extraInputs?.length ?? 0) > 0)
+        return true;
+    return Boolean(input.changeAddress);
+}
+function buildPolicyMultiAssetCallInput(input) {
+    const contractAmountSat = input.contractInput?.amountSat ?? input.currentState.amountSat;
+    if (contractAmountSat !== input.outputAmountSat && !input.changeAddress) {
+        throw new errors_1.ValidationError("changeAddress is required when policy contract input amount differs from the transfer output amount", {
+            contractAmountSat,
+            outputAmountSat: input.outputAmountSat,
+            assetId: input.currentState.assetId,
+        });
+    }
+    return {
+        wallet: input.wallet,
+        signer: input.signer,
+        contractInput: {
+            ...(input.contractInput ?? {}),
+            asset: input.contractInput?.asset ?? input.currentState.assetId,
+            amountSat: contractAmountSat,
+            sequence: input.contractInput?.sequence ?? input.contractSequence,
+        },
+        ...(input.extraInputs ? { extraInputs: input.extraInputs } : {}),
+        outputs: [
+            {
+                address: input.outputAddress,
+                asset: input.currentState.assetId,
+                amountSat: input.outputAmountSat,
+            },
+        ],
+        feeSat: input.feeSat,
+        ...(input.changeAddress ? { changeAddress: input.changeAddress } : {}),
+        purpose: input.purpose,
+        ...(input.broadcast !== undefined ? { broadcast: input.broadcast } : {}),
+        witness: input.witness,
+    };
+}
 function camelToUpperSnake(value) {
     return value
         .replace(/([a-z0-9])([A-Z])/g, "$1_$2")
@@ -1396,6 +1444,24 @@ async function inspectDirectTransfer(sdk, input) {
         });
     }
     const currentContract = sdk.fromArtifact(currentArtifact);
+    const currentState = prepared.current.stateValue;
+    const directWitness = buildPolicyDirectWitness(prepared);
+    if (shouldUseMultiAssetPolicyExecutor(currentState.assetId, input)) {
+        const inspect = await (0, executor_1.inspectMultiAssetContractCall)(sdk.config, currentArtifact, buildPolicyMultiAssetCallInput({
+            ...input,
+            currentState,
+            outputAddress: prepared.nextCompiled.contractAddress,
+            outputAmountSat: input.nextAmountSat,
+            contractSequence: resolvePolicySequence(currentState),
+            witness: directWitness,
+            purpose: "sdk_policy_direct_transfer",
+        }));
+        return {
+            mode: "direct-hop",
+            prepared,
+            inspect,
+        };
+    }
     const inspect = await currentContract.inspectCall({
         wallet: input.wallet,
         toAddress: prepared.nextCompiled.contractAddress,
@@ -1403,8 +1469,8 @@ async function inspectDirectTransfer(sdk, input) {
         sendAmount: satToBtcAmount(input.nextAmountSat),
         feeSat: input.feeSat,
         utxoPolicy: input.utxoPolicy,
-        sequence: resolvePolicySequence(prepared.current.stateValue),
-        witness: buildPolicyDirectWitness(prepared),
+        sequence: resolvePolicySequence(currentState),
+        witness: directWitness,
     });
     return {
         mode: "direct-hop",
@@ -1422,6 +1488,24 @@ async function executeDirectTransfer(sdk, input) {
         });
     }
     const currentContract = sdk.fromArtifact(currentArtifact);
+    const currentState = prepared.current.stateValue;
+    const directWitness = buildPolicyDirectWitness(prepared);
+    if (shouldUseMultiAssetPolicyExecutor(currentState.assetId, input)) {
+        const execution = await (0, executor_1.executeMultiAssetContractCall)(sdk.config, currentArtifact, buildPolicyMultiAssetCallInput({
+            ...input,
+            currentState,
+            outputAddress: prepared.nextCompiled.contractAddress,
+            outputAmountSat: input.nextAmountSat,
+            contractSequence: resolvePolicySequence(currentState),
+            witness: directWitness,
+            purpose: "sdk_policy_direct_transfer",
+        }));
+        return {
+            mode: "direct-hop",
+            prepared,
+            execution,
+        };
+    }
     const execution = await currentContract.execute({
         wallet: input.wallet,
         toAddress: prepared.nextCompiled.contractAddress,
@@ -1430,8 +1514,8 @@ async function executeDirectTransfer(sdk, input) {
         feeSat: input.feeSat,
         broadcast: input.broadcast,
         utxoPolicy: input.utxoPolicy,
-        sequence: resolvePolicySequence(prepared.current.stateValue),
-        witness: buildPolicyDirectWitness(prepared),
+        sequence: resolvePolicySequence(currentState),
+        witness: directWitness,
     });
     return {
         mode: "direct-hop",
@@ -1500,7 +1584,25 @@ async function inspectTransfer(sdk, input) {
         });
     }
     const currentContract = sdk.fromArtifact(currentArtifact);
+    const currentState = prepared.current.stateValue;
+    const recursiveWitness = buildPolicyRecursiveWitness(prepared);
     if (!prepared.nextCompiled) {
+        if (shouldUseMultiAssetPolicyExecutor(currentState.assetId, input)) {
+            const inspect = await (0, executor_1.inspectMultiAssetContractCall)(sdk.config, currentArtifact, buildPolicyMultiAssetCallInput({
+                ...input,
+                currentState,
+                outputAddress: input.nextReceiver.address,
+                outputAmountSat: input.nextAmountSat,
+                contractSequence: resolvePolicySequence(currentState),
+                witness: recursiveWitness,
+                purpose: "sdk_policy_transfer_plain_exit",
+            }));
+            return {
+                mode: "plain-exit",
+                prepared,
+                inspect,
+            };
+        }
         const inspect = await currentContract.inspectCall({
             wallet: input.wallet,
             toAddress: input.nextReceiver.address,
@@ -1508,8 +1610,8 @@ async function inspectTransfer(sdk, input) {
             sendAmount: satToBtcAmount(input.nextAmountSat),
             feeSat: input.feeSat,
             utxoPolicy: input.utxoPolicy,
-            sequence: resolvePolicySequence(prepared.current.stateValue),
-            witness: buildPolicyRecursiveWitness(prepared),
+            sequence: resolvePolicySequence(currentState),
+            witness: recursiveWitness,
         });
         return {
             mode: "plain-exit",
@@ -1517,6 +1619,22 @@ async function inspectTransfer(sdk, input) {
             inspect,
         };
     }
+    if (shouldUseMultiAssetPolicyExecutor(currentState.assetId, input)) {
+        const inspect = await (0, executor_1.inspectMultiAssetContractCall)(sdk.config, currentArtifact, buildPolicyMultiAssetCallInput({
+            ...input,
+            currentState,
+            outputAddress: prepared.nextCompiled.contractAddress,
+            outputAmountSat: input.nextAmountSat,
+            contractSequence: resolvePolicySequence(currentState),
+            witness: recursiveWitness,
+            purpose: "sdk_policy_transfer",
+        }));
+        return {
+            mode: prepared.verificationReport.enforcement,
+            prepared,
+            inspect,
+        };
+    }
     const inspect = await currentContract.inspectCall({
         wallet: input.wallet,
         toAddress: prepared.nextCompiled.contractAddress,
@@ -1524,8 +1642,8 @@ async function inspectTransfer(sdk, input) {
         sendAmount: satToBtcAmount(input.nextAmountSat),
         feeSat: input.feeSat,
         utxoPolicy: input.utxoPolicy,
-        sequence: resolvePolicySequence(prepared.current.stateValue),
-        witness: buildPolicyRecursiveWitness(prepared),
+        sequence: resolvePolicySequence(currentState),
+        witness: recursiveWitness,
     });
     return {
         mode: prepared.verificationReport.enforcement,
@@ -1543,7 +1661,25 @@ async function executeTransfer(sdk, input) {
         });
     }
     const currentContract = sdk.fromArtifact(currentArtifact);
+    const currentState = prepared.current.stateValue;
+    const recursiveWitness = buildPolicyRecursiveWitness(prepared);
     if (!prepared.nextCompiled) {
+        if (shouldUseMultiAssetPolicyExecutor(currentState.assetId, input)) {
+            const execution = await (0, executor_1.executeMultiAssetContractCall)(sdk.config, currentArtifact, buildPolicyMultiAssetCallInput({
+                ...input,
+                currentState,
+                outputAddress: input.nextReceiver.address,
+                outputAmountSat: input.nextAmountSat,
+                contractSequence: resolvePolicySequence(currentState),
+                witness: recursiveWitness,
+                purpose: "sdk_policy_transfer_plain_exit",
+            }));
+            return {
+                mode: "plain-exit",
+                prepared,
+                execution,
+            };
+        }
         const execution = await currentContract.execute({
             wallet: input.wallet,
             toAddress: input.nextReceiver.address,
@@ -1552,8 +1688,8 @@ async function executeTransfer(sdk, input) {
             feeSat: input.feeSat,
             broadcast: input.broadcast,
             utxoPolicy: input.utxoPolicy,
-            sequence: resolvePolicySequence(prepared.current.stateValue),
-            witness: buildPolicyRecursiveWitness(prepared),
+            sequence: resolvePolicySequence(currentState),
+            witness: recursiveWitness,
         });
         return {
             mode: "plain-exit",
@@ -1561,6 +1697,22 @@ async function executeTransfer(sdk, input) {
             execution,
         };
     }
+    if (shouldUseMultiAssetPolicyExecutor(currentState.assetId, input)) {
+        const execution = await (0, executor_1.executeMultiAssetContractCall)(sdk.config, currentArtifact, buildPolicyMultiAssetCallInput({
+            ...input,
+            currentState,
+            outputAddress: prepared.nextCompiled.contractAddress,
+            outputAmountSat: input.nextAmountSat,
+            contractSequence: resolvePolicySequence(currentState),
+            witness: recursiveWitness,
+            purpose: "sdk_policy_transfer",
+        }));
+        return {
+            mode: prepared.verificationReport.enforcement,
+            prepared,
+            execution,
+        };
+    }
     const execution = await currentContract.execute({
         wallet: input.wallet,
         toAddress: prepared.nextCompiled.contractAddress,
@@ -1569,8 +1721,8 @@ async function executeTransfer(sdk, input) {
         feeSat: input.feeSat,
         broadcast: input.broadcast,
         utxoPolicy: input.utxoPolicy,
-        sequence: resolvePolicySequence(prepared.current.stateValue),
-        witness: buildPolicyRecursiveWitness(prepared),
+        sequence: resolvePolicySequence(currentState),
+        witness: recursiveWitness,
     });
     return {
         mode: prepared.verificationReport.enforcement,

package/dist/x402/index.d.ts

@@ -55,7 +55,7 @@ export interface LiquidX402PaymentPayload {
     scheme: typeof LIQUID_X402_SCHEME;
     network: LiquidX402Network;
     paymentRequestId: string;
-    asset: LiquidX402AssetKey;
+    asset: LiquidX402AssetKey | "custom" | string;
     assetId: string;
     amountAtomic: string;
     payTo: string;
@@ -84,6 +84,25 @@ export interface LiquidX402BuildPaymentFromPsetInput {
     payer?: string;
     summaryHash?: string;
 }
+export interface LiquidPolicyLockedRedemptionSpendProposal {
+    mode?: "service_prepared_policy_spend_v1" | string;
+    psetBase64?: string;
+    summaryHash?: string;
+    holderSignatureRequired?: boolean;
+    metadata?: Record<string, unknown>;
+}
+export interface LiquidPolicyLockedRedemptionPaymentFromProposalInput {
+    requirements: LiquidX402PaymentRequirements | Record<string, unknown>;
+    proposal?: LiquidPolicyLockedRedemptionSpendProposal | Record<string, unknown>;
+    proposalPsetBase64?: string;
+    summaryHash?: string;
+    payer?: string;
+    metadata?: Record<string, unknown>;
+}
+export type LiquidPolicyLockedRedemptionPaymentFromProposalResult = LiquidX402PreparePsetPaymentResult & {
+    proposalMode?: string;
+    redemptionSource: Record<string, unknown>;
+};
 export interface LiquidX402PrepareLwkWasmPaymentInput {
     requirements: LiquidX402PaymentRequirements | Record<string, unknown>;
     mnemonic: string;
@@ -186,6 +205,7 @@ export declare function encodeLiquidXPayment(payload: LiquidX402PaymentPayload):
 export declare function decodeLiquidXPayment(raw: string): LiquidX402PaymentPayload | null;
 export declare function prepareLiquidX402PsetPayment(rpc: ElementsRpcClient, input: LiquidX402PreparePsetPaymentInput): Promise<LiquidX402PreparePsetPaymentResult>;
 export declare function buildLiquidX402PaymentFromPset(input: LiquidX402BuildPaymentFromPsetInput): LiquidX402PreparePsetPaymentResult;
+export declare function buildLiquidPolicyLockedRedemptionPaymentFromProposal(input: LiquidPolicyLockedRedemptionPaymentFromProposalInput): LiquidPolicyLockedRedemptionPaymentFromProposalResult;
 export declare function prepareLiquidX402LwkWasmPayment(input: LiquidX402PrepareLwkWasmPaymentInput): Promise<LiquidX402PrepareLwkWasmPaymentResult>;
 export declare function deriveLiquidX402LwkWasmAddress(input: LiquidX402DeriveLwkWasmAddressInput): Promise<LiquidX402DeriveLwkWasmAddressResult>;
 export declare function verifyLiquidX402Payment(rpc: ElementsRpcClient | null, input: LiquidX402VerifyPaymentInput): Promise<LiquidX402VerifyPaymentResult>;

package/dist/x402/index.js

@@ -22,6 +22,7 @@ exports.encodeLiquidXPayment = encodeLiquidXPayment;
 exports.decodeLiquidXPayment = decodeLiquidXPayment;
 exports.prepareLiquidX402PsetPayment = prepareLiquidX402PsetPayment;
 exports.buildLiquidX402PaymentFromPset = buildLiquidX402PaymentFromPset;
+exports.buildLiquidPolicyLockedRedemptionPaymentFromProposal = buildLiquidPolicyLockedRedemptionPaymentFromProposal;
 exports.prepareLiquidX402LwkWasmPayment = prepareLiquidX402LwkWasmPayment;
 exports.deriveLiquidX402LwkWasmAddress = deriveLiquidX402LwkWasmAddress;
 exports.verifyLiquidX402Payment = verifyLiquidX402Payment;
@@ -208,6 +209,32 @@ function buildLiquidX402PaymentFromPset(input) {
         summaryHash,
     };
 }
+function buildLiquidPolicyLockedRedemptionPaymentFromProposal(input) {
+    const requirements = coercePolicyLockedRedemptionRequirements(input.requirements);
+    const proposal = coercePolicyLockedRedemptionProposal(input.proposal ?? getRecordValue(input.requirements, "policySpendProposal") ?? getExtraRecord(input.requirements).policySpendProposal, input.proposalPsetBase64);
+    const summaryHash = input.summaryHash ?? proposal.summaryHash ?? requirements.summaryHash ?? buildLiquidPolicyLockedRedemptionSummaryHash(requirements);
+    const paymentPayload = {
+        scheme: exports.LIQUID_X402_SCHEME,
+        network: requirements.network,
+        paymentRequestId: requirements.paymentRequestId,
+        asset: requirements.assetKey,
+        assetId: requirements.assetId,
+        amountAtomic: requirements.amountAtomic,
+        payTo: requirements.payTo,
+        psetBase64: proposal.psetBase64,
+        summaryHash,
+        ...(input.payer ? { payer: input.payer } : {}),
+        expiresAt: requirements.expiresAt,
+    };
+    return {
+        paymentPayload,
+        xPayment: encodeLiquidXPayment(paymentPayload),
+        psetBase64: proposal.psetBase64,
+        summaryHash,
+        ...(proposal.mode ? { proposalMode: proposal.mode } : {}),
+        redemptionSource: requirements.redemptionSource,
+    };
+}
 async function prepareLiquidX402LwkWasmPayment(input) {
     const requirements = coerceRequirements(input.requirements);
     ensureLwkWasmNodeTimerCompat();
@@ -453,6 +480,108 @@ function mempoolRejectReason(result) {
     const raw = result;
     return String(raw["reject-reason"] ?? raw.reject_reason ?? raw.error ?? "mempool_rejected").trim() || "mempool_rejected";
 }
+function coercePolicyLockedRedemptionRequirements(value) {
+    if (!value || typeof value !== "object" || Array.isArray(value))
+        throw new Error("requirements must be an object");
+    const raw = value;
+    const extra = getExtraRecord(raw);
+    const network = normalizeNetwork(raw.network);
+    const paymentRequestId = stringValue(extra.paymentRequestId ?? raw.paymentRequestId, "paymentRequestId");
+    const payTo = stringValue(raw.payTo ?? extra.recipient ?? extra.payTo, "payTo");
+    const assetId = stringValue(raw.assetId ?? extra.assetId ?? raw.asset, "assetId");
+    const amountAtomic = normalizeAmountAtomic((raw.maxAmountRequired ?? extra.amount ?? raw.amountAtomic));
+    const assetKey = normalizePaymentAssetKey(extra.asset ?? raw.assetKey ?? "custom");
+    const expiresAt = stringValue(extra.expiresAt ?? raw.expiresAt, "expiresAt");
+    const redemptionSource = coercePolicyLockedRedemptionSource(raw.redemptionSource ?? extra.redemptionSource);
+    const feeAssetId = String(extra.feeAssetId ?? exports.LIQUID_X402_ASSETS[network].lbtc.assetId);
+    return {
+        network,
+        paymentRequestId,
+        resource: String(raw.resource ?? ""),
+        description: String(raw.description ?? ""),
+        mimeType: String(raw.mimeType ?? ""),
+        payTo,
+        maxTimeoutSeconds: normalizeTimeout(raw.maxTimeoutSeconds),
+        assetKey,
+        assetId,
+        amountAtomic,
+        decimals: Number(extra.decimals ?? raw.decimals ?? 0),
+        expiresAt,
+        feeAsset: "lbtc",
+        feeAssetId,
+        ...(extra.maxFeeSat !== undefined ? { maxFeeSat: normalizeAmountAtomic(extra.maxFeeSat) } : {}),
+        ...(typeof raw.x402SummaryHash === "string" ? { summaryHash: raw.x402SummaryHash } : {}),
+        ...(typeof raw.summaryHash === "string" ? { summaryHash: raw.summaryHash } : {}),
+        ...(typeof extra.x402SummaryHash === "string" ? { summaryHash: extra.x402SummaryHash } : {}),
+        ...(typeof extra.summaryHash === "string" ? { summaryHash: extra.summaryHash } : {}),
+        redemptionSource,
+    };
+}
+function coercePolicyLockedRedemptionSource(value) {
+    if (!value || typeof value !== "object" || Array.isArray(value)) {
+        throw new Error("redemptionSource is required for policy-locked redemption");
+    }
+    const source = value;
+    const type = String(source.type ?? "").trim();
+    if (type !== "policy_locked_position") {
+        throw new Error("redemptionSource.type must be policy_locked_position");
+    }
+    return source;
+}
+function coercePolicyLockedRedemptionProposal(value, proposalPsetBase64) {
+    const raw = value && typeof value === "object" && !Array.isArray(value)
+        ? value
+        : {};
+    if (raw.holderSignatureRequired === true) {
+        throw new Error("policy-locked redemption proposal still requires holder-side Simplicity signing; provide a service-prepared spend proposal");
+    }
+    const psetBase64 = String(proposalPsetBase64 ?? raw.psetBase64 ?? "").trim();
+    if (!psetBase64)
+        throw new Error("policy spend proposal psetBase64 is required");
+    return {
+        psetBase64,
+        ...(raw.mode ? { mode: String(raw.mode) } : {}),
+        ...(raw.summaryHash ? { summaryHash: String(raw.summaryHash) } : {}),
+        ...(raw.holderSignatureRequired !== undefined ? { holderSignatureRequired: raw.holderSignatureRequired === true } : {}),
+        ...(raw.metadata && typeof raw.metadata === "object" && !Array.isArray(raw.metadata)
+            ? { metadata: raw.metadata }
+            : {}),
+    };
+}
+function buildLiquidPolicyLockedRedemptionSummaryHash(requirements) {
+    return sha256Hex(stableStringify({
+        scheme: exports.LIQUID_X402_SCHEME,
+        network: requirements.network,
+        paymentRequestId: requirements.paymentRequestId,
+        asset: requirements.assetKey,
+        assetId: requirements.assetId,
+        amountAtomic: requirements.amountAtomic,
+        payTo: requirements.payTo,
+        expectedOutput: {
+            amountAtomic: requirements.amountAtomic,
+            assetId: requirements.assetId,
+            payTo: requirements.payTo,
+        },
+        feeAsset: requirements.feeAsset,
+        feeAssetId: requirements.feeAssetId ?? exports.LIQUID_X402_ASSETS[requirements.network].lbtc.assetId,
+        maxFeeSat: requirements.maxFeeSat ?? null,
+    }));
+}
+function getRecordValue(value, key) {
+    if (!value || typeof value !== "object" || Array.isArray(value))
+        return undefined;
+    return value[key];
+}
+function getExtraRecord(value) {
+    const extra = getRecordValue(value, "extra");
+    return extra && typeof extra === "object" && !Array.isArray(extra) ? extra : {};
+}
+function stringValue(value, name) {
+    const result = String(value ?? "").trim();
+    if (!result)
+        throw new Error(`${name} is required`);
+    return result;
+}
 function coerceRequirements(value) {
     if (!value || typeof value !== "object" || Array.isArray(value))
         throw new Error("requirements must be an object");
@@ -563,7 +692,7 @@ function coercePaymentPayload(value) {
         scheme: exports.LIQUID_X402_SCHEME,
         network: normalizeNetwork(raw.network),
         paymentRequestId: String(raw.paymentRequestId ?? ""),
-        asset: normalizeAssetKey(String(raw.asset ?? "")),
+        asset: normalizePaymentAssetKey(String(raw.asset ?? "")),
         assetId: String(raw.assetId ?? ""),
         amountAtomic: normalizeAmountAtomic(raw.amountAtomic),
         payTo: String(raw.payTo ?? ""),
@@ -579,6 +708,19 @@ function normalizeNetwork(input) {
         return value;
     throw new Error(`unsupported Liquid x402 network: ${String(input)}`);
 }
+function normalizePaymentAssetKey(input) {
+    const value = String(input ?? "").trim().toLowerCase();
+    if (value === "custom")
+        return "custom";
+    try {
+        return normalizeAssetKey(value);
+    }
+    catch {
+        if (/^[a-z0-9_-]{1,64}$/u.test(value) || /^[0-9a-f]{64}$/u.test(value))
+            return value;
+        throw new Error(`unsupported Liquid x402 asset: ${String(input)}`);
+    }
+}
 function normalizeAssetKey(input) {
     const value = String(input ?? "").trim().toLowerCase();
     if (value === "lbtc" || value === "bitcoin" || value === LIQUID_TESTNET_LBTC_ASSET_ID || value === LIQUID_MAINNET_LBTC_ASSET_ID) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hazbase/simplicity",
-  "version": "0.4.3",
+  "version": "0.4.5",
   "description": "An SDK for Simplicity on Liquid",
   "author": "IndieSquare Inc <info@hazbase.com>",
   "keywords": [