@hazbase/simplicity 0.4.7 → 0.4.8

package/README.md

@@ -112,6 +112,7 @@ import {
   buildStrictPolicyWhitelist,
   deriveStrictPolicyHolderPosition,
   inspectStrictPolicyTransactionWithProofs,
+  normalizeStrictPolicyVerifierCovenantParams,
   prepareStrictPolicySnapshot,
   verifyStrictPolicySnapshot,
 } from "@hazbase/simplicity";
@@ -170,10 +171,33 @@ output zero and exposes three mutually exclusive paths:
 - governance: the authority signs a verifier-only transition to a reviewed
   successor contract, without moving any strict asset.
 
-The pilot bound is 16 inputs, 8 outputs, and 256 whitelist owners; larger
-transactions fail closed. The verifier parameters now require both
-`redemptionScriptHash` and `authorityXonly`, so callers must bind the vault and
-the authority explicitly when compiling a new verifier.
+### Verifier resource profiles
+
+`strict_v2` is the default profile for the general strict-policy lifecycle. It
+permits up to 16 transaction inputs, 8 outputs, and a 256-owner whitelist;
+larger transactions fail closed.
+
+`strict_v2_compact` is an explicit, tightly bounded profile for a controlled
+two-owner lifecycle, such as issuer inventory to an approved holder. It permits
+at most 3 inputs, 4 outputs, and 2 whitelist owners. It retains the complete
+holder signature and whitelist checks while making the verifier witness small
+enough for the bounded transaction shape. Do not use it for a secondary market,
+additional intermediaries, or transactions that need more inputs, outputs, or
+approved holders.
+
+```ts
+const verifier = normalizeStrictPolicyVerifierCovenantParams({
+  assetId,
+  feeAssetId,
+  redemptionScriptHash,
+  authorityXonly,
+  resourceProfile: "strict_v2_compact",
+});
+```
+
+The verifier parameters require both `redemptionScriptHash` and
+`authorityXonly`, so callers must bind the vault and the authority explicitly
+when compiling a new verifier.
 
 `inspectStrictPolicyTransactionWithProofs(...)` is the recommended wallet API.
 It validates every strict output by index, verifies its owner proof, derives the

package/dist/domain/damp.d.ts

@@ -1,4 +1,5 @@
 import type { SimplicityArtifact, SimplicityClientConfig } from "../core/types";
+import { type StrictPolicyVerifierResourceProfileId } from "./dampPolicy";
 export declare const STRICT_POLICY_SNAPSHOT_SCHEMA: "hazbase_strict_policy_snapshot_v1";
 export declare const STRICT_POLICY_SNAPSHOT_APPROVAL_SCHEMA: "hazbase_strict_policy_snapshot_approval_v1";
 export declare const STRICT_POLICY_SNAPSHOT_APPROVAL_DOMAIN: "HAZBASE-RWA-POLICY-SNAPSHOT-V1";
@@ -72,6 +73,7 @@ export interface StrictPolicyVerifierCovenantParams {
     whitelistRoot: string;
     redemptionScriptHash: string;
     authorityXonly: string;
+    resourceProfile?: StrictPolicyVerifierResourceProfileId;
 }
 export declare function normalizeStrictPolicySnapshotPayload(value: unknown): StrictPolicySnapshotPayload;
 export declare function normalizeStrictPolicySnapshotAuthority(value: unknown): StrictPolicySnapshotAuthority;

package/dist/domain/damp.js

@@ -213,6 +213,7 @@ function normalizeStrictPolicyVerifierCovenantParams(value) {
         whitelistRoot: hexValue(record.whitelistRoot, "verifierCovenant.whitelistRoot", 32),
         redemptionScriptHash: hexValue(record.redemptionScriptHash, "verifierCovenant.redemptionScriptHash", 32),
         authorityXonly: hexValue(record.authorityXonly, "verifierCovenant.authorityXonly", 32),
+        resourceProfile: (0, dampPolicy_1.resolveStrictPolicyVerifierResourceProfile)(record.resourceProfile).id,
     };
 }
 function strictPolicyHolderCovenantTemplatePath() {
@@ -247,6 +248,7 @@ function strictPolicyVerifierCovenantTemplatePath() {
 function strictPolicyVerifierTemplateVars(value) {
     const params = normalizeStrictPolicyVerifierCovenantParams(value);
     const tagHashes = (0, dampPolicy_1.strictPolicyWhitelistTagHashes)();
+    const resourceProfile = (0, dampPolicy_1.resolveStrictPolicyVerifierResourceProfile)(params.resourceProfile);
     return {
         STRICT_ASSET_ID_JET_HEX: params.strictAssetIdJetHex,
         VERIFIER_ASSET_ID_JET_HEX: params.verifierAssetIdJetHex,
@@ -258,11 +260,11 @@ function strictPolicyVerifierTemplateVars(value) {
         AUTHORITY_XONLY: params.authorityXonly,
         WHITELIST_OWNER_TAG_HASH: tagHashes.owner,
         WHITELIST_NODE_TAG_HASH: tagHashes.node,
-        WHITELIST_DEPTH: dampPolicy_1.STRICT_POLICY_WHITELIST_DEPTH,
-        MAX_INPUTS: exports.STRICT_POLICY_VERIFIER_MAX_INPUTS,
-        MAX_OUTPUTS: exports.STRICT_POLICY_VERIFIER_MAX_OUTPUTS,
-        INPUT_UNIT_SLOTS: Array.from({ length: exports.STRICT_POLICY_VERIFIER_MAX_INPUTS }, () => "()").join(", "),
-        OUTPUT_UNIT_SLOTS: Array.from({ length: exports.STRICT_POLICY_VERIFIER_MAX_OUTPUTS }, () => "()").join(", "),
+        WHITELIST_DEPTH: resourceProfile.whitelistDepth,
+        MAX_INPUTS: resourceProfile.maxInputs,
+        MAX_OUTPUTS: resourceProfile.maxOutputs,
+        INPUT_UNIT_SLOTS: Array.from({ length: resourceProfile.maxInputs }, () => "()").join(", "),
+        OUTPUT_UNIT_SLOTS: Array.from({ length: resourceProfile.maxOutputs }, () => "()").join(", "),
     };
 }
 async function renderStrictPolicyVerifierCovenantSource(value) {

package/dist/domain/dampPolicy.d.ts

@@ -1,5 +1,30 @@
 export declare const STRICT_POLICY_WHITELIST_DEPTH: 8;
 export declare const STRICT_POLICY_MAX_WHITELIST_OWNERS: number;
+export declare const STRICT_POLICY_COMPACT_WHITELIST_DEPTH: 1;
+export declare const STRICT_POLICY_COMPACT_MAX_WHITELIST_OWNERS: number;
+/**
+ * Consensus-visible resource bounds for strict verifier covenants. The
+ * compact profile is for the bounded one-position testnet lifecycle only;
+ * the general strict_v2 profile remains the default.
+ */
+export declare const STRICT_POLICY_VERIFIER_RESOURCE_PROFILES: {
+    readonly strict_v2: {
+        readonly id: "strict_v2";
+        readonly maxInputs: 16;
+        readonly maxOutputs: 8;
+        readonly whitelistDepth: 8;
+        readonly maxWhitelistOwners: number;
+    };
+    readonly strict_v2_compact: {
+        readonly id: "strict_v2_compact";
+        readonly maxInputs: 3;
+        readonly maxOutputs: 4;
+        readonly whitelistDepth: 1;
+        readonly maxWhitelistOwners: number;
+    };
+};
+export type StrictPolicyVerifierResourceProfileId = keyof typeof STRICT_POLICY_VERIFIER_RESOURCE_PROFILES;
+export type StrictPolicyVerifierResourceProfile = (typeof STRICT_POLICY_VERIFIER_RESOURCE_PROFILES)[StrictPolicyVerifierResourceProfileId];
 export declare const STRICT_POLICY_WHITELIST_OWNER_DOMAIN: "HAZBASE-RWA-STRICT-WHITELIST-OWNER-V1";
 export declare const STRICT_POLICY_WHITELIST_EMPTY_DOMAIN: "HAZBASE-RWA-STRICT-WHITELIST-EMPTY-V1";
 export declare const STRICT_POLICY_WHITELIST_NODE_DOMAIN: "HAZBASE-RWA-STRICT-WHITELIST-NODE-V1";
@@ -29,7 +54,7 @@ export interface StrictPolicyWhitelistEntry {
     proof: StrictPolicyWhitelistProofStep[];
 }
 export interface StrictPolicyWhitelist {
-    depth: typeof STRICT_POLICY_WHITELIST_DEPTH;
+    depth: number;
     root: string;
     entries: StrictPolicyWhitelistEntry[];
 }
@@ -37,6 +62,7 @@ export interface StrictPolicyWhitelistProof {
     ownerXonly: string;
     proof: StrictPolicyWhitelistProofStep[];
 }
+export declare function resolveStrictPolicyVerifierResourceProfile(value?: unknown): StrictPolicyVerifierResourceProfile;
 export declare function computeStrictPolicyHolderTapleafHash(holderProgramCmrValue: string): string;
 export declare function computeStrictPolicyOwnerTapDataHash(holderXonlyValue: string): string;
 export declare function computeElementsTapBranch(leftValue: string, rightValue: string): string;
@@ -44,15 +70,19 @@ export declare function deriveStrictPolicyHolderPosition(value: StrictPolicyHold
 export declare function computeStrictPolicyWhitelistOwnerLeaf(ownerXonlyValue: string): string;
 export declare function computeStrictPolicyWhitelistEmptyLeaf(): string;
 export declare function computeStrictPolicyWhitelistNode(leftValue: string, rightValue: string): string;
-export declare function buildStrictPolicyWhitelist(ownerXonlyValues: readonly string[]): StrictPolicyWhitelist;
+export declare function buildStrictPolicyWhitelist(ownerXonlyValues: readonly string[], options?: {
+    depth?: number;
+}): StrictPolicyWhitelist;
 export declare function verifyStrictPolicyWhitelistProof(input: {
     ownerXonly: string;
     proof: readonly StrictPolicyWhitelistProofStep[];
     expectedRoot: string;
+    depth?: number;
 }): boolean;
 export declare function normalizeStrictPolicyWhitelistProof(input: {
     ownerXonly: string;
     proof: readonly StrictPolicyWhitelistProofStep[];
+    depth?: number;
 }): StrictPolicyWhitelistProof;
 export declare function strictPolicyWhitelistTagHashes(): {
     owner: string;

package/dist/domain/dampPolicy.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.STRICT_POLICY_WHITELIST_NODE_DOMAIN = exports.STRICT_POLICY_WHITELIST_EMPTY_DOMAIN = exports.STRICT_POLICY_WHITELIST_OWNER_DOMAIN = exports.STRICT_POLICY_MAX_WHITELIST_OWNERS = exports.STRICT_POLICY_WHITELIST_DEPTH = void 0;
+exports.STRICT_POLICY_WHITELIST_NODE_DOMAIN = exports.STRICT_POLICY_WHITELIST_EMPTY_DOMAIN = exports.STRICT_POLICY_WHITELIST_OWNER_DOMAIN = exports.STRICT_POLICY_VERIFIER_RESOURCE_PROFILES = exports.STRICT_POLICY_COMPACT_MAX_WHITELIST_OWNERS = exports.STRICT_POLICY_COMPACT_WHITELIST_DEPTH = exports.STRICT_POLICY_MAX_WHITELIST_OWNERS = exports.STRICT_POLICY_WHITELIST_DEPTH = void 0;
+exports.resolveStrictPolicyVerifierResourceProfile = resolveStrictPolicyVerifierResourceProfile;
 exports.computeStrictPolicyHolderTapleafHash = computeStrictPolicyHolderTapleafHash;
 exports.computeStrictPolicyOwnerTapDataHash = computeStrictPolicyOwnerTapDataHash;
 exports.computeElementsTapBranch = computeElementsTapBranch;
@@ -17,6 +18,29 @@ const errors_1 = require("../core/errors");
 const strictPolicyCrypto_1 = require("../core/strictPolicyCrypto");
 exports.STRICT_POLICY_WHITELIST_DEPTH = 8;
 exports.STRICT_POLICY_MAX_WHITELIST_OWNERS = 1 << exports.STRICT_POLICY_WHITELIST_DEPTH;
+exports.STRICT_POLICY_COMPACT_WHITELIST_DEPTH = 1;
+exports.STRICT_POLICY_COMPACT_MAX_WHITELIST_OWNERS = 1 << exports.STRICT_POLICY_COMPACT_WHITELIST_DEPTH;
+/**
+ * Consensus-visible resource bounds for strict verifier covenants. The
+ * compact profile is for the bounded one-position testnet lifecycle only;
+ * the general strict_v2 profile remains the default.
+ */
+exports.STRICT_POLICY_VERIFIER_RESOURCE_PROFILES = {
+    strict_v2: {
+        id: "strict_v2",
+        maxInputs: 16,
+        maxOutputs: 8,
+        whitelistDepth: exports.STRICT_POLICY_WHITELIST_DEPTH,
+        maxWhitelistOwners: exports.STRICT_POLICY_MAX_WHITELIST_OWNERS,
+    },
+    strict_v2_compact: {
+        id: "strict_v2_compact",
+        maxInputs: 3,
+        maxOutputs: 4,
+        whitelistDepth: exports.STRICT_POLICY_COMPACT_WHITELIST_DEPTH,
+        maxWhitelistOwners: exports.STRICT_POLICY_COMPACT_MAX_WHITELIST_OWNERS,
+    },
+};
 exports.STRICT_POLICY_WHITELIST_OWNER_DOMAIN = "HAZBASE-RWA-STRICT-WHITELIST-OWNER-V1";
 exports.STRICT_POLICY_WHITELIST_EMPTY_DOMAIN = "HAZBASE-RWA-STRICT-WHITELIST-EMPTY-V1";
 exports.STRICT_POLICY_WHITELIST_NODE_DOMAIN = "HAZBASE-RWA-STRICT-WHITELIST-NODE-V1";
@@ -26,6 +50,12 @@ function validationError(field, message) {
         field,
     });
 }
+function resolveStrictPolicyVerifierResourceProfile(value = "strict_v2") {
+    if (typeof value !== "string" || !(value in exports.STRICT_POLICY_VERIFIER_RESOURCE_PROFILES)) {
+        validationError("resourceProfile", "must be strict_v2 or strict_v2_compact");
+    }
+    return exports.STRICT_POLICY_VERIFIER_RESOURCE_PROFILES[value];
+}
 function hex32(value, field) {
     if (typeof value !== "string")
         validationError(field, "must be 32 bytes of hex");
@@ -121,12 +151,14 @@ function computeStrictPolicyWhitelistNode(leftValue, rightValue) {
     const right = hex32(rightValue, "right");
     return taggedHashHex(exports.STRICT_POLICY_WHITELIST_NODE_DOMAIN, concat(bytes(left), bytes(right)));
 }
-function buildStrictPolicyWhitelist(ownerXonlyValues) {
+function buildStrictPolicyWhitelist(ownerXonlyValues, options = {}) {
+    const depth = strictPolicyWhitelistDepth(options.depth);
+    const maxOwners = 1 << depth;
     if (!Array.isArray(ownerXonlyValues) || ownerXonlyValues.length === 0) {
         validationError("ownerXonlyValues", "must contain at least one owner");
     }
-    if (ownerXonlyValues.length > exports.STRICT_POLICY_MAX_WHITELIST_OWNERS) {
-        validationError("ownerXonlyValues", `must contain at most ${exports.STRICT_POLICY_MAX_WHITELIST_OWNERS} owners`);
+    if (ownerXonlyValues.length > maxOwners) {
+        validationError("ownerXonlyValues", `must contain at most ${maxOwners} owners`);
     }
     const owners = ownerXonlyValues
         .map((owner, index) => hex32(owner, `ownerXonlyValues[${index}]`))
@@ -135,10 +167,10 @@ function buildStrictPolicyWhitelist(ownerXonlyValues) {
         validationError("ownerXonlyValues", "must not contain duplicates");
     }
     const emptyLeaf = computeStrictPolicyWhitelistEmptyLeaf();
-    const leaves = Array.from({ length: exports.STRICT_POLICY_MAX_WHITELIST_OWNERS }, (_, index) => (index < owners.length ? computeStrictPolicyWhitelistOwnerLeaf(owners[index]) : emptyLeaf));
+    const leaves = Array.from({ length: maxOwners }, (_, index) => (index < owners.length ? computeStrictPolicyWhitelistOwnerLeaf(owners[index]) : emptyLeaf));
     const levels = [leaves];
-    for (let depth = 0; depth < exports.STRICT_POLICY_WHITELIST_DEPTH; depth += 1) {
-        const current = levels[depth];
+    for (let level = 0; level < depth; level += 1) {
+        const current = levels[level];
         const next = [];
         for (let index = 0; index < current.length; index += 2) {
             next.push(computeStrictPolicyWhitelistNode(current[index], current[index + 1]));
@@ -148,11 +180,11 @@ function buildStrictPolicyWhitelist(ownerXonlyValues) {
     const entries = owners.map((ownerXonly, ownerIndex) => {
         const proof = [];
         let index = ownerIndex;
-        for (let depth = 0; depth < exports.STRICT_POLICY_WHITELIST_DEPTH; depth += 1) {
+        for (let level = 0; level < depth; level += 1) {
             const siblingIndex = index ^ 1;
             proof.push({
                 siblingPosition: siblingIndex < index ? "left" : "right",
-                siblingHash: levels[depth][siblingIndex],
+                siblingHash: levels[level][siblingIndex],
             });
             index = Math.floor(index / 2);
         }
@@ -163,8 +195,8 @@ function buildStrictPolicyWhitelist(ownerXonlyValues) {
         };
     });
     return {
-        depth: exports.STRICT_POLICY_WHITELIST_DEPTH,
-        root: levels[exports.STRICT_POLICY_WHITELIST_DEPTH][0],
+        depth,
+        root: levels[depth][0],
         entries,
     };
 }
@@ -182,8 +214,9 @@ function verifyStrictPolicyWhitelistProof(input) {
 }
 function normalizeStrictPolicyWhitelistProof(input) {
     const ownerXonly = hex32(input.ownerXonly, "ownerXonly");
-    if (!Array.isArray(input.proof) || input.proof.length !== exports.STRICT_POLICY_WHITELIST_DEPTH) {
-        validationError("proof", `must contain exactly ${exports.STRICT_POLICY_WHITELIST_DEPTH} sibling hashes`);
+    const depth = strictPolicyWhitelistDepth(input.depth);
+    if (!Array.isArray(input.proof) || input.proof.length !== depth) {
+        validationError("proof", `must contain exactly ${depth} sibling hashes`);
     }
     const proof = input.proof.map((step, index) => {
         if (!step || typeof step !== "object") {
@@ -199,6 +232,14 @@ function normalizeStrictPolicyWhitelistProof(input) {
     });
     return { ownerXonly, proof };
 }
+function strictPolicyWhitelistDepth(value) {
+    if (value === undefined)
+        return exports.STRICT_POLICY_WHITELIST_DEPTH;
+    if (!Number.isInteger(value) || value < 1 || value > exports.STRICT_POLICY_WHITELIST_DEPTH) {
+        validationError("depth", `must be an integer between 1 and ${exports.STRICT_POLICY_WHITELIST_DEPTH}`);
+    }
+    return value;
+}
 function strictPolicyWhitelistTagHashes() {
     return {
         owner: sha256(Buffer.from(exports.STRICT_POLICY_WHITELIST_OWNER_DOMAIN, "utf8")).toString("hex"),

package/dist/index.d.ts

@@ -25,8 +25,8 @@ export { configureStrictPolicyCrypto, } from "./core/strictPolicyCrypto";
 export type { StrictPolicyCryptoProvider, } from "./core/strictPolicyCrypto";
 export { STRICT_POLICY_SNAPSHOT_SCHEMA, STRICT_POLICY_SNAPSHOT_APPROVAL_SCHEMA, STRICT_POLICY_SNAPSHOT_APPROVAL_DOMAIN, STRICT_POLICY_AUTHORITY_SET_DOMAIN, STRICT_POLICY_VERIFIER_MAX_INPUTS, STRICT_POLICY_VERIFIER_MAX_OUTPUTS, normalizeStrictPolicySnapshotPayload, normalizeStrictPolicySnapshotAuthority, normalizeStrictPolicySnapshotApprovalProof, taggedHashHexUtf8, computeStrictPolicyAuthoritySetHash, normalizeStrictPolicyHolderCovenantParams, normalizeStrictPolicyVerifierCovenantParams, strictPolicyHolderCovenantTemplatePath, strictPolicyVerifierCovenantTemplatePath, renderStrictPolicyHolderCovenantSource, renderStrictPolicyVerifierCovenantSource, compileStrictPolicyHolderCovenant, compileStrictPolicyVerifierCovenant, prepareStrictPolicySnapshot, finalizeStrictPolicySnapshot, verifyStrictPolicySnapshot, } from "./domain/damp";
 export type { StrictPolicyNetwork, StrictPolicyVerifierReference, StrictPolicySnapshotPayload, StrictPolicySnapshotAuthority, StrictPolicySnapshotApprovalProof, PreparedStrictPolicySnapshot, StrictPolicySnapshotEnvelope, StrictPolicyHolderCovenantParams, StrictPolicyVerifierCovenantParams, } from "./domain/damp";
-export { STRICT_POLICY_WHITELIST_DEPTH, STRICT_POLICY_MAX_WHITELIST_OWNERS, STRICT_POLICY_WHITELIST_OWNER_DOMAIN, STRICT_POLICY_WHITELIST_EMPTY_DOMAIN, STRICT_POLICY_WHITELIST_NODE_DOMAIN, computeStrictPolicyHolderTapleafHash, computeStrictPolicyOwnerTapDataHash, computeElementsTapBranch, deriveStrictPolicyHolderPosition, computeStrictPolicyWhitelistOwnerLeaf, computeStrictPolicyWhitelistEmptyLeaf, computeStrictPolicyWhitelistNode, buildStrictPolicyWhitelist, normalizeStrictPolicyWhitelistProof, verifyStrictPolicyWhitelistProof, strictPolicyWhitelistTagHashes, } from "./domain/dampPolicy";
-export type { StrictPolicyHolderPositionParams, StrictPolicyHolderPosition, StrictPolicyWhitelistProofStep, StrictPolicyWhitelistProof, StrictPolicyWhitelistEntry, StrictPolicyWhitelist, } from "./domain/dampPolicy";
+export { STRICT_POLICY_WHITELIST_DEPTH, STRICT_POLICY_MAX_WHITELIST_OWNERS, STRICT_POLICY_COMPACT_WHITELIST_DEPTH, STRICT_POLICY_COMPACT_MAX_WHITELIST_OWNERS, STRICT_POLICY_VERIFIER_RESOURCE_PROFILES, STRICT_POLICY_WHITELIST_OWNER_DOMAIN, STRICT_POLICY_WHITELIST_EMPTY_DOMAIN, STRICT_POLICY_WHITELIST_NODE_DOMAIN, computeStrictPolicyHolderTapleafHash, computeStrictPolicyOwnerTapDataHash, computeElementsTapBranch, deriveStrictPolicyHolderPosition, computeStrictPolicyWhitelistOwnerLeaf, computeStrictPolicyWhitelistEmptyLeaf, computeStrictPolicyWhitelistNode, buildStrictPolicyWhitelist, normalizeStrictPolicyWhitelistProof, verifyStrictPolicyWhitelistProof, strictPolicyWhitelistTagHashes, resolveStrictPolicyVerifierResourceProfile, } from "./domain/dampPolicy";
+export type { StrictPolicyHolderPositionParams, StrictPolicyHolderPosition, StrictPolicyWhitelistProofStep, StrictPolicyWhitelistProof, StrictPolicyWhitelistEntry, StrictPolicyWhitelist, StrictPolicyVerifierResourceProfile, StrictPolicyVerifierResourceProfileId, } from "./domain/dampPolicy";
 export { STRICT_POLICY_TRANSACTION_SUMMARY_SCHEMA, normalizeStrictPolicyDecodedTransaction, inspectStrictPolicyTransaction, inspectStrictPolicyTransactionWithProofs, } from "./domain/dampTransaction";
 export type { StrictPolicyOperation, StrictPolicyTransactionOutpoint, StrictPolicyDecodedInput, StrictPolicyDecodedOutput, StrictPolicyDecodedTransaction, StrictPolicyTransactionExpectation, StrictPolicyTransactionSummary, StrictPolicyTransactionInspection, StrictPolicyOutputAuthorization, StrictPolicyProofBackedTransactionExpectation, StrictPolicyVerifiedOutputAuthorization, StrictPolicyProofBackedTransactionInspection, } from "./domain/dampTransaction";
 export { STRICT_POLICY_PSET_INSPECTION_SCHEMA, normalizeStrictPolicyPsetInspection, inspectStrictPolicyPsetForSigning, } from "./domain/dampPset";

package/dist/index.js

@@ -18,7 +18,7 @@ exports.signPositionReceipt = exports.verifyCapitalCall = exports.executeCapital
 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.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.verifyStrictPolicySnapshot = exports.finalizeStrictPolicySnapshot = exports.prepareStrictPolicySnapshot = exports.compileStrictPolicyVerifierCovenant = exports.compileStrictPolicyHolderCovenant = exports.renderStrictPolicyVerifierCovenantSource = exports.renderStrictPolicyHolderCovenantSource = exports.strictPolicyVerifierCovenantTemplatePath = exports.strictPolicyHolderCovenantTemplatePath = exports.normalizeStrictPolicyVerifierCovenantParams = exports.normalizeStrictPolicyHolderCovenantParams = exports.computeStrictPolicyAuthoritySetHash = exports.taggedHashHexUtf8 = exports.normalizeStrictPolicySnapshotApprovalProof = exports.normalizeStrictPolicySnapshotAuthority = exports.normalizeStrictPolicySnapshotPayload = exports.STRICT_POLICY_VERIFIER_MAX_OUTPUTS = exports.STRICT_POLICY_VERIFIER_MAX_INPUTS = exports.STRICT_POLICY_AUTHORITY_SET_DOMAIN = exports.STRICT_POLICY_SNAPSHOT_APPROVAL_DOMAIN = exports.STRICT_POLICY_SNAPSHOT_APPROVAL_SCHEMA = exports.STRICT_POLICY_SNAPSHOT_SCHEMA = exports.configureStrictPolicyCrypto = 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;
-exports.inspectStrictPolicyPsetForSigning = exports.normalizeStrictPolicyPsetInspection = exports.STRICT_POLICY_PSET_INSPECTION_SCHEMA = exports.inspectStrictPolicyTransactionWithProofs = exports.inspectStrictPolicyTransaction = exports.normalizeStrictPolicyDecodedTransaction = exports.STRICT_POLICY_TRANSACTION_SUMMARY_SCHEMA = exports.strictPolicyWhitelistTagHashes = exports.verifyStrictPolicyWhitelistProof = exports.normalizeStrictPolicyWhitelistProof = exports.buildStrictPolicyWhitelist = exports.computeStrictPolicyWhitelistNode = exports.computeStrictPolicyWhitelistEmptyLeaf = exports.computeStrictPolicyWhitelistOwnerLeaf = exports.deriveStrictPolicyHolderPosition = exports.computeElementsTapBranch = exports.computeStrictPolicyOwnerTapDataHash = exports.computeStrictPolicyHolderTapleafHash = exports.STRICT_POLICY_WHITELIST_NODE_DOMAIN = exports.STRICT_POLICY_WHITELIST_EMPTY_DOMAIN = exports.STRICT_POLICY_WHITELIST_OWNER_DOMAIN = exports.STRICT_POLICY_MAX_WHITELIST_OWNERS = exports.STRICT_POLICY_WHITELIST_DEPTH = void 0;
+exports.inspectStrictPolicyPsetForSigning = exports.normalizeStrictPolicyPsetInspection = exports.STRICT_POLICY_PSET_INSPECTION_SCHEMA = exports.inspectStrictPolicyTransactionWithProofs = exports.inspectStrictPolicyTransaction = exports.normalizeStrictPolicyDecodedTransaction = exports.STRICT_POLICY_TRANSACTION_SUMMARY_SCHEMA = exports.resolveStrictPolicyVerifierResourceProfile = exports.strictPolicyWhitelistTagHashes = exports.verifyStrictPolicyWhitelistProof = exports.normalizeStrictPolicyWhitelistProof = exports.buildStrictPolicyWhitelist = exports.computeStrictPolicyWhitelistNode = exports.computeStrictPolicyWhitelistEmptyLeaf = exports.computeStrictPolicyWhitelistOwnerLeaf = exports.deriveStrictPolicyHolderPosition = exports.computeElementsTapBranch = exports.computeStrictPolicyOwnerTapDataHash = exports.computeStrictPolicyHolderTapleafHash = exports.STRICT_POLICY_WHITELIST_NODE_DOMAIN = exports.STRICT_POLICY_WHITELIST_EMPTY_DOMAIN = exports.STRICT_POLICY_WHITELIST_OWNER_DOMAIN = exports.STRICT_POLICY_VERIFIER_RESOURCE_PROFILES = exports.STRICT_POLICY_COMPACT_MAX_WHITELIST_OWNERS = exports.STRICT_POLICY_COMPACT_WHITELIST_DEPTH = exports.STRICT_POLICY_MAX_WHITELIST_OWNERS = exports.STRICT_POLICY_WHITELIST_DEPTH = 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; } });
@@ -246,6 +246,9 @@ Object.defineProperty(exports, "verifyStrictPolicySnapshot", { enumerable: true,
 var dampPolicy_1 = require("./domain/dampPolicy");
 Object.defineProperty(exports, "STRICT_POLICY_WHITELIST_DEPTH", { enumerable: true, get: function () { return dampPolicy_1.STRICT_POLICY_WHITELIST_DEPTH; } });
 Object.defineProperty(exports, "STRICT_POLICY_MAX_WHITELIST_OWNERS", { enumerable: true, get: function () { return dampPolicy_1.STRICT_POLICY_MAX_WHITELIST_OWNERS; } });
+Object.defineProperty(exports, "STRICT_POLICY_COMPACT_WHITELIST_DEPTH", { enumerable: true, get: function () { return dampPolicy_1.STRICT_POLICY_COMPACT_WHITELIST_DEPTH; } });
+Object.defineProperty(exports, "STRICT_POLICY_COMPACT_MAX_WHITELIST_OWNERS", { enumerable: true, get: function () { return dampPolicy_1.STRICT_POLICY_COMPACT_MAX_WHITELIST_OWNERS; } });
+Object.defineProperty(exports, "STRICT_POLICY_VERIFIER_RESOURCE_PROFILES", { enumerable: true, get: function () { return dampPolicy_1.STRICT_POLICY_VERIFIER_RESOURCE_PROFILES; } });
 Object.defineProperty(exports, "STRICT_POLICY_WHITELIST_OWNER_DOMAIN", { enumerable: true, get: function () { return dampPolicy_1.STRICT_POLICY_WHITELIST_OWNER_DOMAIN; } });
 Object.defineProperty(exports, "STRICT_POLICY_WHITELIST_EMPTY_DOMAIN", { enumerable: true, get: function () { return dampPolicy_1.STRICT_POLICY_WHITELIST_EMPTY_DOMAIN; } });
 Object.defineProperty(exports, "STRICT_POLICY_WHITELIST_NODE_DOMAIN", { enumerable: true, get: function () { return dampPolicy_1.STRICT_POLICY_WHITELIST_NODE_DOMAIN; } });
@@ -260,6 +263,7 @@ Object.defineProperty(exports, "buildStrictPolicyWhitelist", { enumerable: true,
 Object.defineProperty(exports, "normalizeStrictPolicyWhitelistProof", { enumerable: true, get: function () { return dampPolicy_1.normalizeStrictPolicyWhitelistProof; } });
 Object.defineProperty(exports, "verifyStrictPolicyWhitelistProof", { enumerable: true, get: function () { return dampPolicy_1.verifyStrictPolicyWhitelistProof; } });
 Object.defineProperty(exports, "strictPolicyWhitelistTagHashes", { enumerable: true, get: function () { return dampPolicy_1.strictPolicyWhitelistTagHashes; } });
+Object.defineProperty(exports, "resolveStrictPolicyVerifierResourceProfile", { enumerable: true, get: function () { return dampPolicy_1.resolveStrictPolicyVerifierResourceProfile; } });
 var dampTransaction_1 = require("./domain/dampTransaction");
 Object.defineProperty(exports, "STRICT_POLICY_TRANSACTION_SUMMARY_SCHEMA", { enumerable: true, get: function () { return dampTransaction_1.STRICT_POLICY_TRANSACTION_SUMMARY_SCHEMA; } });
 Object.defineProperty(exports, "normalizeStrictPolicyDecodedTransaction", { enumerable: true, get: function () { return dampTransaction_1.normalizeStrictPolicyDecodedTransaction; } });

package/package.json

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