@hazbase/simplicity 0.4.1 → 0.4.3

package/dist/domain/rwaDvp.js

@@ -1,4 +1,7 @@
 "use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.RWA_DVP_EVIDENCE_SCHEMA_VERSION = exports.RWA_DVP_VERIFICATION_SCHEMA_VERSION = exports.RWA_DVP_REFUND_CLAIM_SCHEMA_VERSION = exports.RWA_DVP_DELIVERY_CLAIM_SCHEMA_VERSION = exports.RWA_DVP_PURCHASE_SCHEMA_VERSION = void 0;
 exports.definePurchase = definePurchase;
@@ -9,8 +12,17 @@ exports.prepareDeliveryClaim = prepareDeliveryClaim;
 exports.verifyDeliveryClaim = verifyDeliveryClaim;
 exports.prepareRefundClaim = prepareRefundClaim;
 exports.verifyRefundClaim = verifyRefundClaim;
+exports.compileEscrowContract = compileEscrowContract;
+exports.inspectDeliveryClaim = inspectDeliveryClaim;
+exports.executeDeliveryClaim = executeDeliveryClaim;
+exports.inspectRefundClaim = inspectRefundClaim;
+exports.executeRefundClaim = executeRefundClaim;
 exports.exportEvidence = exportEvidence;
+const node_fs_1 = require("node:fs");
+const node_path_1 = __importDefault(require("node:path"));
 const errors_1 = require("../core/errors");
+const executor_1 = require("../core/executor");
+const outputBinding_1 = require("../core/outputBinding");
 const summary_1 = require("../core/summary");
 const x402_1 = require("../x402");
 exports.RWA_DVP_PURCHASE_SCHEMA_VERSION = "rwa-dvp-purchase/v1";
@@ -36,6 +48,7 @@ function definePurchase(_sdk, input) {
         network,
         evmLock: {
             ...input.evmLock,
+            tokenStandard: input.evmLock.tokenStandard ?? "ERC3475",
             amountAtomic: normalizeInteger(input.evmLock.amountAtomic),
         },
         payment: {
@@ -224,6 +237,420 @@ function verifyRefundClaim(_sdk, input) {
     };
     return report(input.purchase.purchaseId, termsHash, policyHash, checks, "RWA DvP refund claim descriptor mismatch");
 }
+const ZERO_HASH_256 = "0000000000000000000000000000000000000000000000000000000000000000";
+function resolveRwaDvpDocsAsset(filename) {
+    const cwdCandidate = node_path_1.default.resolve(process.cwd(), "docs/definitions", filename);
+    if ((0, node_fs_1.existsSync)(cwdCandidate))
+        return cwdCandidate;
+    return node_path_1.default.resolve(__dirname, "../docs/definitions", filename);
+}
+function assertXonly(value, field) {
+    const normalized = value.trim().toLowerCase().replace(/^0x/u, "");
+    if (!/^[0-9a-f]{64}$/u.test(normalized)) {
+        throw new errors_1.ValidationError(`${field} must be a 32-byte x-only public key`);
+    }
+    return normalized;
+}
+function atomicToSafeSat(value, field) {
+    const normalized = normalizeInteger(value);
+    const amount = BigInt(normalized);
+    if (amount > BigInt(Number.MAX_SAFE_INTEGER)) {
+        throw new errors_1.ValidationError(`${field} exceeds JavaScript safe integer range`);
+    }
+    return Number(amount);
+}
+function decimalToSat(value) {
+    const parsed = Number(value);
+    if (!Number.isFinite(parsed)) {
+        throw new errors_1.ValidationError(`Invalid Liquid amount: ${String(value)}`);
+    }
+    return Math.round(parsed * 100_000_000);
+}
+function sameOutpoint(left, right) {
+    return left.txid === right.txid && (right.vout === undefined || left.vout === right.vout);
+}
+function assetEquals(left, right) {
+    return left.trim().toLowerCase() === right.trim().toLowerCase();
+}
+async function resolveWalletLbtcAssetId(sdk, network) {
+    const sidechain = await sdk.rpc.call("getsidechaininfo").catch(() => null);
+    const peggedAsset = sidechain?.pegged_asset;
+    if (peggedAsset && /^[0-9a-f]{64}$/iu.test(peggedAsset)) {
+        return peggedAsset.toLowerCase();
+    }
+    return (0, x402_1.resolveLiquidX402Asset)("lbtc", network).assetId;
+}
+async function listWalletInputs(sdk, wallet) {
+    const entries = await sdk.rpc.call("listunspent", [0, 9999999, [], true], wallet);
+    return entries
+        .filter((entry) => entry.spendable !== false)
+        .filter((entry) => entry.safe !== false)
+        .map((entry) => ({
+        txid: entry.txid,
+        vout: entry.vout,
+        asset: entry.asset,
+        amountSat: decimalToSat(entry.amount),
+        ...(entry.amountblinder ? { amountBlinder: entry.amountblinder } : {}),
+        ...(entry.assetblinder ? { assetBlinder: entry.assetblinder } : {}),
+    }));
+}
+function selectInputsForAsset(input) {
+    if (input.requiredSat <= 0)
+        return [];
+    const exclude = input.exclude ?? new Set();
+    const key = (entry) => `${entry.txid}:${entry.vout}`;
+    const matches = input.candidates
+        .filter((entry) => assetEquals(entry.asset, input.assetId))
+        .filter((entry) => !exclude.has(key(entry)));
+    const preferred = input.preferred?.txid
+        ? matches.find((entry) => sameOutpoint(entry, input.preferred ?? {}))
+        : undefined;
+    if (preferred) {
+        if (preferred.amountSat < input.requiredSat) {
+            throw new errors_1.ValidationError("Preferred wallet input is smaller than the required amount", {
+                assetId: input.assetId,
+                requiredSat: input.requiredSat,
+                preferredAmountSat: preferred.amountSat,
+            });
+        }
+        exclude.add(key(preferred));
+        return [preferred];
+    }
+    const selected = [];
+    let total = 0;
+    for (const candidate of matches.slice().sort((a, b) => a.amountSat - b.amountSat)) {
+        selected.push(candidate);
+        exclude.add(key(candidate));
+        total += candidate.amountSat;
+        if (total >= input.requiredSat)
+            return selected;
+    }
+    throw new errors_1.ValidationError("No wallet inputs satisfy the required asset amount", {
+        assetId: input.assetId,
+        requiredSat: input.requiredSat,
+        availableSat: total,
+    });
+}
+async function resolveDeliveryExtraInputs(sdk, input) {
+    if (input.extraInputs)
+        return input.extraInputs;
+    const candidates = await listWalletInputs(sdk, input.wallet);
+    const exclude = new Set();
+    const rwa = selectInputsForAsset({
+        candidates,
+        assetId: input.descriptor.outputs.rwaToBuyer.assetId,
+        requiredSat: atomicToSafeSat(input.descriptor.outputs.rwaToBuyer.amountAtomic, "delivery.amountAtomic"),
+        exclude,
+        preferred: input.descriptor.operatorRwaInput?.txid
+            ? { txid: input.descriptor.operatorRwaInput.txid, vout: input.descriptor.operatorRwaInput.vout }
+            : undefined,
+    });
+    const fee = selectInputsForAsset({
+        candidates,
+        assetId: await resolveWalletLbtcAssetId(sdk, input.purchase.network),
+        requiredSat: input.feeSat ?? input.descriptor.fee.maxFeeSat,
+        exclude,
+    });
+    return [...rwa, ...fee];
+}
+async function resolveRefundExtraInputs(sdk, input) {
+    if (input.extraInputs)
+        return input.extraInputs;
+    const candidates = await listWalletInputs(sdk, input.wallet);
+    return selectInputsForAsset({
+        candidates,
+        assetId: await resolveWalletLbtcAssetId(sdk, input.purchase.network),
+        requiredSat: input.feeSat ?? input.descriptor.fee.maxFeeSat,
+    });
+}
+async function loadClaimArtifact(sdk, input) {
+    if (input.artifact)
+        return input.artifact;
+    if (input.artifactPath)
+        return (await sdk.loadArtifact(input.artifactPath)).artifact;
+    throw new errors_1.ValidationError("artifact or artifactPath is required for RWA DvP claim execution");
+}
+function modeToWitnessValue(mode) {
+    if (mode === "descriptor-bound")
+        return "0x01";
+    if (mode === "script-bound")
+        return "0x02";
+    return "0x03";
+}
+async function resolveClaimOutputBinding(sdk, input) {
+    const scriptPubKeyHex = await (0, outputBinding_1.getScriptPubKeyHexViaRpc)(sdk, input.recipientAddress);
+    const outputScriptHash = (0, outputBinding_1.hashHexBytes)(scriptPubKeyHex);
+    const rawOutput = (0, outputBinding_1.normalizeOutputRawFields)(input.rawOutput);
+    const rawOutputAnalysis = (0, outputBinding_1.analyzeOutputRawFields)(rawOutput);
+    const outputForm = (0, outputBinding_1.normalizeOutputForm)(input.outputForm);
+    let outputHash = ZERO_HASH_256;
+    if (input.outputBindingMode === "descriptor-bound") {
+        if (rawOutputAnalysis.valid && rawOutputAnalysis.normalized) {
+            outputHash = (0, outputBinding_1.computeRawOutputV1Hash)(rawOutputAnalysis.normalized);
+        }
+        else if ((0, outputBinding_1.isExplicitV1OutputForm)(outputForm)) {
+            const assetHex = await (0, outputBinding_1.resolveExplicitAssetHex)(sdk, input.assetId);
+            if (!assetHex) {
+                throw new errors_1.ValidationError("descriptor-bound output requires a 64-hex asset id or rawOutput fields", {
+                    assetId: input.assetId,
+                });
+            }
+            outputHash = (0, outputBinding_1.computeExplicitV1OutputHash)({
+                assetHex,
+                nextAmountSat: atomicToSafeSat(input.amountAtomic, "output.amountAtomic"),
+                nextOutputScriptHash: outputScriptHash,
+            });
+        }
+        else {
+            throw new errors_1.ValidationError("descriptor-bound output requires explicit-v1 or raw-output-v1 fields");
+        }
+    }
+    return {
+        outputHash,
+        outputScriptHash: input.outputBindingMode === "none" ? ZERO_HASH_256 : outputScriptHash,
+        bindingMode: input.outputBindingMode,
+    };
+}
+function claimWitness(input) {
+    const values = {
+        ...(input.base?.values ?? {}),
+        DELIVERY_OR_REFUND: {
+            type: "Option<u8>",
+            value: input.delivery ? "Some(0x01)" : "None",
+        },
+        PAYMENT_OUTPUT_HASH: {
+            type: "u256",
+            value: `0x${input.payment?.outputHash ?? ZERO_HASH_256}`,
+        },
+        PAYMENT_OUTPUT_SCRIPT_HASH: {
+            type: "u256",
+            value: `0x${input.payment?.outputScriptHash ?? ZERO_HASH_256}`,
+        },
+        PAYMENT_OUTPUT_BINDING_MODE: {
+            type: "u8",
+            value: modeToWitnessValue(input.payment?.bindingMode ?? "none"),
+        },
+        RWA_OUTPUT_HASH: {
+            type: "u256",
+            value: `0x${input.rwa?.outputHash ?? ZERO_HASH_256}`,
+        },
+        RWA_OUTPUT_SCRIPT_HASH: {
+            type: "u256",
+            value: `0x${input.rwa?.outputScriptHash ?? ZERO_HASH_256}`,
+        },
+        RWA_OUTPUT_BINDING_MODE: {
+            type: "u8",
+            value: modeToWitnessValue(input.rwa?.bindingMode ?? "none"),
+        },
+        REFUND_OUTPUT_HASH: {
+            type: "u256",
+            value: `0x${input.refund?.outputHash ?? ZERO_HASH_256}`,
+        },
+        REFUND_OUTPUT_SCRIPT_HASH: {
+            type: "u256",
+            value: `0x${input.refund?.outputScriptHash ?? ZERO_HASH_256}`,
+        },
+        REFUND_OUTPUT_BINDING_MODE: {
+            type: "u8",
+            value: modeToWitnessValue(input.refund?.bindingMode ?? "none"),
+        },
+    };
+    return {
+        ...(input.base?.source ? { source: input.base.source } : {}),
+        ...(input.base?.signers ? { signers: input.base.signers } : {}),
+        values,
+    };
+}
+function paymentContractInput(descriptor, input) {
+    if (descriptor.paymentInput?.txid) {
+        return {
+            txid: descriptor.paymentInput.txid,
+            ...(descriptor.paymentInput.vout !== undefined ? { vout: descriptor.paymentInput.vout } : {}),
+            asset: descriptor.paymentInput.assetId,
+            amountSat: atomicToSafeSat(descriptor.paymentInput.amountAtomic, "paymentInput.amountAtomic"),
+            ...(input?.contractInputRawTxHex ? { rawTxHex: input.contractInputRawTxHex } : {}),
+            ...(input?.contractInputBlindingPrivateKey ? { blindingPrivateKey: input.contractInputBlindingPrivateKey } : {}),
+        };
+    }
+    if ("fundingTxid" in descriptor && descriptor.fundingTxid) {
+        return { txid: descriptor.fundingTxid };
+    }
+    return undefined;
+}
+async function buildDeliveryClaimCallInput(sdk, input) {
+    const verification = verifyDeliveryClaim(sdk, { purchase: input.purchase, descriptor: input.descriptor });
+    if (!verification.ok) {
+        throw new errors_1.ValidationError(verification.reason ?? "RWA DvP delivery claim verification failed");
+    }
+    const artifact = await loadClaimArtifact(sdk, input);
+    const payment = input.descriptor.outputs.paymentToTreasury;
+    const rwa = input.descriptor.outputs.rwaToBuyer;
+    const paymentBinding = await resolveClaimOutputBinding(sdk, {
+        recipientAddress: payment.recipientAddress,
+        assetId: payment.assetId,
+        amountAtomic: payment.amountAtomic,
+        outputBindingMode: "script-bound",
+    });
+    const rwaBinding = await resolveClaimOutputBinding(sdk, {
+        recipientAddress: rwa.recipientAddress,
+        assetId: rwa.assetId,
+        amountAtomic: rwa.amountAtomic,
+        outputBindingMode: rwa.outputBindingMode,
+        rawOutput: rwa.rawOutput,
+    });
+    const outputs = [
+        {
+            address: payment.recipientAddress,
+            asset: payment.assetId,
+            amountSat: atomicToSafeSat(payment.amountAtomic, "payment.amountAtomic"),
+        },
+        {
+            address: rwa.recipientAddress,
+            asset: rwa.assetId,
+            amountSat: atomicToSafeSat(rwa.amountAtomic, "delivery.amountAtomic"),
+        },
+    ];
+    const callInput = {
+        wallet: input.wallet,
+        signer: input.signer,
+        contractInput: paymentContractInput(input.descriptor, input),
+        extraInputs: await resolveDeliveryExtraInputs(sdk, input),
+        outputs,
+        feeSat: input.feeSat ?? input.descriptor.fee.maxFeeSat,
+        ...(input.changeAddress ? { changeAddress: input.changeAddress } : {}),
+        purpose: "rwa_dvp_delivery_claim",
+        locktimeHeight: input.locktimeHeight ?? 0,
+        witness: claimWitness({
+            base: input.witness,
+            delivery: true,
+            payment: paymentBinding,
+            rwa: rwaBinding,
+        }),
+    };
+    return {
+        artifact,
+        verification,
+        outputBinding: {
+            paymentToTreasury: paymentBinding,
+            rwaToBuyer: rwaBinding,
+        },
+        callInput,
+    };
+}
+async function buildRefundClaimCallInput(sdk, input) {
+    const verification = verifyRefundClaim(sdk, { purchase: input.purchase, descriptor: input.descriptor });
+    if (!verification.ok) {
+        throw new errors_1.ValidationError(verification.reason ?? "RWA DvP refund claim verification failed");
+    }
+    const artifact = await loadClaimArtifact(sdk, input);
+    const refund = input.descriptor.refundOutput;
+    const refundBinding = await resolveClaimOutputBinding(sdk, {
+        recipientAddress: refund.recipientAddress,
+        assetId: refund.assetId,
+        amountAtomic: refund.amountAtomic,
+        outputBindingMode: "script-bound",
+    });
+    const callInput = {
+        wallet: input.wallet,
+        signer: input.signer,
+        contractInput: paymentContractInput(input.descriptor, input),
+        extraInputs: await resolveRefundExtraInputs(sdk, input),
+        outputs: [
+            {
+                address: refund.recipientAddress,
+                asset: refund.assetId,
+                amountSat: atomicToSafeSat(refund.amountAtomic, "refund.amountAtomic"),
+            },
+        ],
+        feeSat: input.feeSat ?? input.descriptor.fee.maxFeeSat,
+        ...(input.changeAddress ? { changeAddress: input.changeAddress } : {}),
+        purpose: "rwa_dvp_refund_claim",
+        ...(input.locktimeHeight !== undefined ? { locktimeHeight: input.locktimeHeight } : {}),
+        witness: claimWitness({
+            base: input.witness,
+            delivery: false,
+            refund: refundBinding,
+        }),
+    };
+    return {
+        artifact,
+        verification,
+        outputBinding: {
+            refund: refundBinding,
+        },
+        callInput,
+    };
+}
+async function compileEscrowContract(sdk, input) {
+    if (!Number.isInteger(input.timeoutHeight) || input.timeoutHeight < 0) {
+        throw new errors_1.ValidationError("timeoutHeight must be a non-negative integer");
+    }
+    const termsHash = summarizePurchase(input.purchase).hash;
+    const policyHash = summarizePolicy(input.purchase).hash;
+    const compiled = await sdk.compileFromFile({
+        simfPath: input.simfPath ?? resolveRwaDvpDocsAsset("rwa-dvp-escrow.simf"),
+        templateVars: {
+            TERMS_HASH: termsHash,
+            POLICY_HASH: policyHash,
+            OPERATOR_XONLY: assertXonly(input.operatorXonly, "operatorXonly"),
+            TIMEOUT_HEIGHT: input.timeoutHeight,
+        },
+    });
+    return {
+        compiled,
+        artifact: compiled.artifact,
+        contractAddress: compiled.deployment().contractAddress,
+        timeoutHeight: input.timeoutHeight,
+        termsHash,
+        policyHash,
+    };
+}
+async function inspectDeliveryClaim(sdk, input) {
+    const prepared = await buildDeliveryClaimCallInput(sdk, input);
+    const inspect = await (0, executor_1.inspectMultiAssetContractCall)(sdk.config, prepared.artifact, prepared.callInput);
+    return {
+        descriptor: input.descriptor,
+        verification: prepared.verification,
+        outputBinding: prepared.outputBinding,
+        inspect,
+    };
+}
+async function executeDeliveryClaim(sdk, input) {
+    const prepared = await buildDeliveryClaimCallInput(sdk, input);
+    const execution = await (0, executor_1.executeMultiAssetContractCall)(sdk.config, prepared.artifact, {
+        ...prepared.callInput,
+        broadcast: input.broadcast,
+    });
+    return {
+        descriptor: input.descriptor,
+        verification: prepared.verification,
+        outputBinding: prepared.outputBinding,
+        execution,
+    };
+}
+async function inspectRefundClaim(sdk, input) {
+    const prepared = await buildRefundClaimCallInput(sdk, input);
+    const inspect = await (0, executor_1.inspectMultiAssetContractCall)(sdk.config, prepared.artifact, prepared.callInput);
+    return {
+        descriptor: input.descriptor,
+        verification: prepared.verification,
+        outputBinding: prepared.outputBinding,
+        inspect,
+    };
+}
+async function executeRefundClaim(sdk, input) {
+    const prepared = await buildRefundClaimCallInput(sdk, input);
+    const execution = await (0, executor_1.executeMultiAssetContractCall)(sdk.config, prepared.artifact, {
+        ...prepared.callInput,
+        broadcast: input.broadcast,
+    });
+    return {
+        descriptor: input.descriptor,
+        verification: prepared.verification,
+        outputBinding: prepared.outputBinding,
+        execution,
+    };
+}
 function exportEvidence(_sdk, input) {
     return {
         schemaVersion: exports.RWA_DVP_EVIDENCE_SCHEMA_VERSION,

package/dist/index.d.ts

@@ -18,6 +18,6 @@ export { validateBondDefinition, validateBondIssuanceState, validateBondCrossChe
 export { summarizeBondSettlementDescriptor, validateBondSettlementDescriptor, validateBondSettlementMatchesExpected, } from "./domain/bondSettlementValidation";
 export { summarizeFundDefinition, summarizeCapitalCallState, summarizeLPPositionReceipt, summarizeDistributionDescriptor, summarizeFundClosingDescriptor, summarizeFundFinalityPayload, validateFundDefinition, validateCapitalCallState, validateLPPositionReceipt, validateDistributionDescriptor, validateFundClosingDescriptor, validateFundCrossChecks, validateDistributionAgainstReceipt, validateClosingAgainstReceipt, buildClaimedCapitalCallState, buildRefundedCapitalCallState, buildLPPositionReceipt, applyDistributionToReceipt, applyDistributionsToReceipt, buildDistributionDescriptor, buildFundClosingDescriptor, } from "./domain/fundValidation";
 export { applyReceivableRepayment, buildDefaultedReceivableState, buildFundedReceivableState, buildReceivableClosingDescriptor, buildReceivableFundingClaimDescriptor, buildReceivableRepaymentClaimDescriptor, summarizeReceivableClosingDescriptor, summarizeReceivableDefinition, summarizeReceivableFundingClaimDescriptor, summarizeReceivableRepaymentClaimDescriptor, summarizeReceivableState, validateReceivableClosingAgainstState, validateReceivableClosingDescriptor, validateReceivableDefinition, validateReceivableFundingClaimAgainstState, validateReceivableFundingClaimDescriptor, validateReceivableRepaymentClaimAgainstState, validateReceivableRepaymentClaimDescriptor, validateReceivableState, validateReceivableCrossChecks, validateReceivableFundingTransition, validateReceivableRepaymentTransition, validateReceivableWriteOffTransition, verifyReceivableStateHistory as verifyReceivableStateHistoryValidation, } from "./domain/receivableValidation";
-export { RWA_DVP_DELIVERY_CLAIM_SCHEMA_VERSION, RWA_DVP_EVIDENCE_SCHEMA_VERSION, RWA_DVP_PURCHASE_SCHEMA_VERSION, RWA_DVP_REFUND_CLAIM_SCHEMA_VERSION, RWA_DVP_VERIFICATION_SCHEMA_VERSION, buildPaymentRequirements as buildRwaDvpPaymentRequirements, definePurchase as defineRwaDvpPurchase, exportEvidence as exportRwaDvpEvidence, prepareDeliveryClaim as prepareRwaDvpDeliveryClaim, prepareRefundClaim as prepareRwaDvpRefundClaim, summarizePurchase as summarizeRwaDvpPurchase, verifyDeliveryClaim as verifyRwaDvpDeliveryClaim, verifyPaymentPset as verifyRwaDvpPaymentPset, verifyRefundClaim as verifyRwaDvpRefundClaim, } from "./domain/rwaDvp";
-export type { RwaDvpDefinePurchaseInput, RwaDvpDeliveryClaimDescriptor, RwaDvpEvidenceBundle, RwaDvpEvmLockReference, RwaDvpPaymentAsset, RwaDvpPreparedPurchase, RwaDvpPrepareDeliveryClaimInput, RwaDvpPrepareRefundClaimInput, RwaDvpPurchaseDefinition, RwaDvpRefundClaimDescriptor, RwaDvpSummary, RwaDvpVerificationReport, } from "./domain/rwaDvp";
+export { RWA_DVP_DELIVERY_CLAIM_SCHEMA_VERSION, RWA_DVP_EVIDENCE_SCHEMA_VERSION, RWA_DVP_PURCHASE_SCHEMA_VERSION, RWA_DVP_REFUND_CLAIM_SCHEMA_VERSION, RWA_DVP_VERIFICATION_SCHEMA_VERSION, buildPaymentRequirements as buildRwaDvpPaymentRequirements, compileEscrowContract as compileRwaDvpEscrowContract, definePurchase as defineRwaDvpPurchase, executeDeliveryClaim as executeRwaDvpDeliveryClaim, executeRefundClaim as executeRwaDvpRefundClaim, exportEvidence as exportRwaDvpEvidence, inspectDeliveryClaim as inspectRwaDvpDeliveryClaim, inspectRefundClaim as inspectRwaDvpRefundClaim, prepareDeliveryClaim as prepareRwaDvpDeliveryClaim, prepareRefundClaim as prepareRwaDvpRefundClaim, summarizePurchase as summarizeRwaDvpPurchase, verifyDeliveryClaim as verifyRwaDvpDeliveryClaim, verifyPaymentPset as verifyRwaDvpPaymentPset, verifyRefundClaim as verifyRwaDvpRefundClaim, } from "./domain/rwaDvp";
+export type { RwaDvpDefinePurchaseInput, RwaDvpClaimOutputBinding, RwaDvpCompiledEscrowContract, RwaDvpCompileEscrowContractInput, RwaDvpDeliveryClaimDescriptor, RwaDvpDeliveryClaimExecution, RwaDvpDeliveryClaimInspection, RwaDvpEvidenceBundle, RwaDvpEvmLockReference, RwaDvpEvmTokenStandard, RwaDvpExecuteDeliveryClaimInput, RwaDvpExecuteRefundClaimInput, RwaDvpInspectDeliveryClaimInput, RwaDvpInspectRefundClaimInput, RwaDvpPaymentAsset, RwaDvpPreparedPurchase, RwaDvpPrepareDeliveryClaimInput, RwaDvpPrepareRefundClaimInput, RwaDvpPurchaseDefinition, RwaDvpRefundClaimDescriptor, RwaDvpRefundClaimExecution, RwaDvpRefundClaimInspection, RwaDvpSummary, RwaDvpVerificationReport, } from "./domain/rwaDvp";
 export { compilePolicyStateContract, buildPolicyOutputDescriptor, listPolicyTemplates, loadPolicyTemplateManifest, validatePolicyTemplateManifest, describePolicyTemplate, validatePolicyTemplateParams, issue, prepareTransfer, executeTransfer, inspectTransfer, verifyState, verifyTransfer, exportEvidence as exportPolicyEvidence, summarizePolicyState, summarizePolicyOutputDescriptor, summarizePolicyTransferDescriptor, validatePolicyState, validatePolicyOutputDescriptor, validatePolicyTransferDescriptor, } from "./domain/policies";

package/dist/index.js

@@ -16,8 +16,8 @@ var __exportStar = (this && this.__exportStar) || function(m, exports) {
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.signPositionReceipt = exports.verifyCapitalCall = exports.executeCapitalCallRefund = exports.inspectCapitalCallRefund = exports.executeCapitalCallRollover = exports.inspectCapitalCallRollover = exports.executeCapitalCallClaim = exports.inspectCapitalCallClaim = exports.prepareCapitalCall = exports.loadFund = exports.verifyFund = exports.defineFund = exports.exportFinalityPayload = exports.exportBondEvidence = exports.verifyClosing = exports.executeClosing = exports.inspectClosing = exports.prepareClosing = exports.verifySettlement = exports.buildSettlement = exports.verifyRedemption = exports.executeRedemption = exports.inspectRedemption = exports.prepareRedemption = exports.issueBond = exports.loadBond = exports.verifyIssuanceHistory = exports.verifyBond = exports.defineBond = exports.verifyStateDescriptorAgainstArtifact = exports.verifyStateAgainstArtifact = exports.buildArtifactStateMetadata = exports.loadStateInput = exports.verifyDefinitionDescriptorAgainstArtifact = exports.verifyDefinitionAgainstArtifact = exports.buildArtifactDefinitionMetadata = exports.loadDefinitionInput = exports.evaluateOutputBindingSupport = exports.describeOutputBindingSupport = exports.normalizeArtifact = exports.saveArtifact = exports.loadArtifact = exports.getPresetOrThrow = exports.listPresets = exports.ElementsRpcClient = exports.RelayerClient = exports.DeployedContract = exports.CompiledContract = exports.SimplicityClient = exports.createSimplicityClient = void 0;
 exports.validateFundDefinition = exports.summarizeFundFinalityPayload = exports.summarizeFundClosingDescriptor = exports.summarizeDistributionDescriptor = exports.summarizeLPPositionReceipt = exports.summarizeCapitalCallState = exports.summarizeFundDefinition = exports.validateBondSettlementMatchesExpected = exports.validateBondSettlementDescriptor = exports.summarizeBondSettlementDescriptor = exports.verifyBondIssuanceHistory = exports.summarizeBondIssuanceState = exports.buildRedeemedBondIssuanceState = exports.validateBondStateTransition = exports.validateBondCrossChecks = exports.validateBondIssuanceState = exports.validateBondDefinition = exports.exportReceivableFinalityPayload = exports.exportReceivableEvidence = exports.verifyReceivableStateHistory = exports.verifyReceivableClosing = exports.prepareReceivableClosing = exports.verifyReceivableWriteOff = exports.prepareReceivableWriteOff = exports.verifyReceivableRepaymentClaim = exports.executeReceivableRepaymentClaim = exports.inspectReceivableRepaymentClaim = exports.prepareReceivableRepaymentClaim = exports.verifyReceivableRepayment = exports.prepareReceivableRepayment = exports.verifyReceivableFundingClaim = exports.executeReceivableFundingClaim = exports.inspectReceivableFundingClaim = exports.prepareReceivableFundingClaim = exports.verifyReceivableFunding = exports.prepareReceivableFunding = exports.loadReceivable = exports.verifyReceivable = exports.defineReceivable = exports.exportFundFinalityPayload = exports.exportFundEvidence = exports.verifyFundClosing = exports.prepareFundClosing = exports.verifyDistribution = exports.executeDistributionClaim = exports.inspectDistributionClaim = exports.reconcilePosition = exports.prepareDistribution = exports.verifyPositionReceiptChain = exports.verifyPositionReceipt = void 0;
-exports.verifyRwaDvpDeliveryClaim = exports.summarizeRwaDvpPurchase = exports.prepareRwaDvpRefundClaim = exports.prepareRwaDvpDeliveryClaim = exports.exportRwaDvpEvidence = exports.defineRwaDvpPurchase = exports.buildRwaDvpPaymentRequirements = exports.RWA_DVP_VERIFICATION_SCHEMA_VERSION = exports.RWA_DVP_REFUND_CLAIM_SCHEMA_VERSION = exports.RWA_DVP_PURCHASE_SCHEMA_VERSION = exports.RWA_DVP_EVIDENCE_SCHEMA_VERSION = exports.RWA_DVP_DELIVERY_CLAIM_SCHEMA_VERSION = exports.verifyReceivableStateHistoryValidation = exports.validateReceivableWriteOffTransition = exports.validateReceivableRepaymentTransition = exports.validateReceivableFundingTransition = exports.validateReceivableCrossChecks = exports.validateReceivableState = exports.validateReceivableRepaymentClaimDescriptor = exports.validateReceivableRepaymentClaimAgainstState = exports.validateReceivableFundingClaimDescriptor = exports.validateReceivableFundingClaimAgainstState = exports.validateReceivableDefinition = exports.validateReceivableClosingDescriptor = exports.validateReceivableClosingAgainstState = exports.summarizeReceivableState = exports.summarizeReceivableRepaymentClaimDescriptor = exports.summarizeReceivableFundingClaimDescriptor = exports.summarizeReceivableDefinition = exports.summarizeReceivableClosingDescriptor = exports.buildReceivableRepaymentClaimDescriptor = exports.buildReceivableFundingClaimDescriptor = exports.buildReceivableClosingDescriptor = exports.buildFundedReceivableState = exports.buildDefaultedReceivableState = exports.applyReceivableRepayment = exports.buildFundClosingDescriptor = exports.buildDistributionDescriptor = exports.applyDistributionsToReceipt = exports.applyDistributionToReceipt = exports.buildLPPositionReceipt = exports.buildRefundedCapitalCallState = exports.buildClaimedCapitalCallState = exports.validateClosingAgainstReceipt = exports.validateDistributionAgainstReceipt = exports.validateFundCrossChecks = exports.validateFundClosingDescriptor = exports.validateDistributionDescriptor = exports.validateLPPositionReceipt = exports.validateCapitalCallState = void 0;
-exports.validatePolicyTransferDescriptor = exports.validatePolicyOutputDescriptor = exports.validatePolicyState = exports.summarizePolicyTransferDescriptor = exports.summarizePolicyOutputDescriptor = exports.summarizePolicyState = exports.exportPolicyEvidence = exports.verifyTransfer = exports.verifyState = exports.inspectTransfer = exports.executeTransfer = exports.prepareTransfer = exports.issue = exports.validatePolicyTemplateParams = exports.describePolicyTemplate = exports.validatePolicyTemplateManifest = exports.loadPolicyTemplateManifest = exports.listPolicyTemplates = exports.buildPolicyOutputDescriptor = exports.compilePolicyStateContract = exports.verifyRwaDvpRefundClaim = exports.verifyRwaDvpPaymentPset = void 0;
+exports.inspectRwaDvpDeliveryClaim = exports.exportRwaDvpEvidence = exports.executeRwaDvpRefundClaim = exports.executeRwaDvpDeliveryClaim = exports.defineRwaDvpPurchase = exports.compileRwaDvpEscrowContract = exports.buildRwaDvpPaymentRequirements = exports.RWA_DVP_VERIFICATION_SCHEMA_VERSION = exports.RWA_DVP_REFUND_CLAIM_SCHEMA_VERSION = exports.RWA_DVP_PURCHASE_SCHEMA_VERSION = exports.RWA_DVP_EVIDENCE_SCHEMA_VERSION = exports.RWA_DVP_DELIVERY_CLAIM_SCHEMA_VERSION = exports.verifyReceivableStateHistoryValidation = exports.validateReceivableWriteOffTransition = exports.validateReceivableRepaymentTransition = exports.validateReceivableFundingTransition = exports.validateReceivableCrossChecks = exports.validateReceivableState = exports.validateReceivableRepaymentClaimDescriptor = exports.validateReceivableRepaymentClaimAgainstState = exports.validateReceivableFundingClaimDescriptor = exports.validateReceivableFundingClaimAgainstState = exports.validateReceivableDefinition = exports.validateReceivableClosingDescriptor = exports.validateReceivableClosingAgainstState = exports.summarizeReceivableState = exports.summarizeReceivableRepaymentClaimDescriptor = exports.summarizeReceivableFundingClaimDescriptor = exports.summarizeReceivableDefinition = exports.summarizeReceivableClosingDescriptor = exports.buildReceivableRepaymentClaimDescriptor = exports.buildReceivableFundingClaimDescriptor = exports.buildReceivableClosingDescriptor = exports.buildFundedReceivableState = exports.buildDefaultedReceivableState = exports.applyReceivableRepayment = exports.buildFundClosingDescriptor = exports.buildDistributionDescriptor = exports.applyDistributionsToReceipt = exports.applyDistributionToReceipt = exports.buildLPPositionReceipt = exports.buildRefundedCapitalCallState = exports.buildClaimedCapitalCallState = exports.validateClosingAgainstReceipt = exports.validateDistributionAgainstReceipt = exports.validateFundCrossChecks = exports.validateFundClosingDescriptor = exports.validateDistributionDescriptor = exports.validateLPPositionReceipt = exports.validateCapitalCallState = void 0;
+exports.validatePolicyTransferDescriptor = exports.validatePolicyOutputDescriptor = exports.validatePolicyState = exports.summarizePolicyTransferDescriptor = exports.summarizePolicyOutputDescriptor = exports.summarizePolicyState = exports.exportPolicyEvidence = exports.verifyTransfer = exports.verifyState = exports.inspectTransfer = exports.executeTransfer = exports.prepareTransfer = exports.issue = exports.validatePolicyTemplateParams = exports.describePolicyTemplate = exports.validatePolicyTemplateManifest = exports.loadPolicyTemplateManifest = exports.listPolicyTemplates = exports.buildPolicyOutputDescriptor = exports.compilePolicyStateContract = exports.verifyRwaDvpRefundClaim = exports.verifyRwaDvpPaymentPset = exports.verifyRwaDvpDeliveryClaim = exports.summarizeRwaDvpPurchase = exports.prepareRwaDvpRefundClaim = exports.prepareRwaDvpDeliveryClaim = exports.inspectRwaDvpRefundClaim = void 0;
 var SimplicityClient_1 = require("./client/SimplicityClient");
 Object.defineProperty(exports, "createSimplicityClient", { enumerable: true, get: function () { return SimplicityClient_1.createSimplicityClient; } });
 Object.defineProperty(exports, "SimplicityClient", { enumerable: true, get: function () { return SimplicityClient_1.SimplicityClient; } });
@@ -183,8 +183,13 @@ Object.defineProperty(exports, "RWA_DVP_PURCHASE_SCHEMA_VERSION", { enumerable:
 Object.defineProperty(exports, "RWA_DVP_REFUND_CLAIM_SCHEMA_VERSION", { enumerable: true, get: function () { return rwaDvp_1.RWA_DVP_REFUND_CLAIM_SCHEMA_VERSION; } });
 Object.defineProperty(exports, "RWA_DVP_VERIFICATION_SCHEMA_VERSION", { enumerable: true, get: function () { return rwaDvp_1.RWA_DVP_VERIFICATION_SCHEMA_VERSION; } });
 Object.defineProperty(exports, "buildRwaDvpPaymentRequirements", { enumerable: true, get: function () { return rwaDvp_1.buildPaymentRequirements; } });
+Object.defineProperty(exports, "compileRwaDvpEscrowContract", { enumerable: true, get: function () { return rwaDvp_1.compileEscrowContract; } });
 Object.defineProperty(exports, "defineRwaDvpPurchase", { enumerable: true, get: function () { return rwaDvp_1.definePurchase; } });
+Object.defineProperty(exports, "executeRwaDvpDeliveryClaim", { enumerable: true, get: function () { return rwaDvp_1.executeDeliveryClaim; } });
+Object.defineProperty(exports, "executeRwaDvpRefundClaim", { enumerable: true, get: function () { return rwaDvp_1.executeRefundClaim; } });
 Object.defineProperty(exports, "exportRwaDvpEvidence", { enumerable: true, get: function () { return rwaDvp_1.exportEvidence; } });
+Object.defineProperty(exports, "inspectRwaDvpDeliveryClaim", { enumerable: true, get: function () { return rwaDvp_1.inspectDeliveryClaim; } });
+Object.defineProperty(exports, "inspectRwaDvpRefundClaim", { enumerable: true, get: function () { return rwaDvp_1.inspectRefundClaim; } });
 Object.defineProperty(exports, "prepareRwaDvpDeliveryClaim", { enumerable: true, get: function () { return rwaDvp_1.prepareDeliveryClaim; } });
 Object.defineProperty(exports, "prepareRwaDvpRefundClaim", { enumerable: true, get: function () { return rwaDvp_1.prepareRefundClaim; } });
 Object.defineProperty(exports, "summarizeRwaDvpPurchase", { enumerable: true, get: function () { return rwaDvp_1.summarizePurchase; } });