@hazbase/simplicity 0.0.5 → 0.1.1

package/dist/domain/bondSettlementValidation.d.ts

@@ -15,4 +15,6 @@ export declare function validateBondSettlementMatchesExpected(actual: BondSettle
     assetIdMatch: boolean;
     nextAmountSatMatch: boolean;
     maxFeeSatMatch: boolean;
+    expectedOutputDescriptorHashMatch: boolean;
+    outputBindingModeMatch: boolean;
 };

package/dist/domain/bondSettlementValidation.js

@@ -33,6 +33,17 @@ function validateBondSettlementDescriptor(value) {
     assertFiniteNumber(descriptor?.redeemAmount, "BOND_SETTLEMENT_REDEEM_AMOUNT_INVALID", "redeemAmount must be a finite number");
     assertFiniteNumber(descriptor?.nextAmountSat, "BOND_SETTLEMENT_AMOUNT_INVALID", "nextAmountSat must be a finite number");
     assertFiniteNumber(descriptor?.maxFeeSat, "BOND_SETTLEMENT_MAX_FEE_INVALID", "maxFeeSat must be a finite number");
+    if (descriptor.expectedOutputDescriptorHash !== undefined && descriptor.expectedOutputDescriptorHash !== null) {
+        assertNonEmptyString(descriptor.expectedOutputDescriptorHash, "BOND_SETTLEMENT_EXPECTED_OUTPUT_DESCRIPTOR_HASH_INVALID", "expectedOutputDescriptorHash must be a non-empty string");
+    }
+    if (descriptor.outputBindingMode !== undefined
+        && descriptor.outputBindingMode !== "none"
+        && descriptor.outputBindingMode !== "script-bound"
+        && descriptor.outputBindingMode !== "descriptor-bound") {
+        throw new errors_1.ValidationError("outputBindingMode must be none, script-bound, or descriptor-bound", {
+            code: "BOND_SETTLEMENT_OUTPUT_BINDING_MODE_INVALID",
+        });
+    }
     assertFiniteNumber(descriptor?.principal?.issued, "BOND_SETTLEMENT_PRINCIPAL_INVALID", "principal.issued must be a finite number");
     assertFiniteNumber(descriptor?.principal?.previousOutstanding, "BOND_SETTLEMENT_PRINCIPAL_INVALID", "principal.previousOutstanding must be a finite number");
     assertFiniteNumber(descriptor?.principal?.nextOutstanding, "BOND_SETTLEMENT_PRINCIPAL_INVALID", "principal.nextOutstanding must be a finite number");
@@ -58,6 +69,11 @@ function validateBondSettlementDescriptor(value) {
             code: "BOND_SETTLEMENT_MAX_FEE_INVALID",
         });
     }
+    if (descriptor.expectedOutputDescriptorHash && !/^[0-9a-f]{64}$/i.test(descriptor.expectedOutputDescriptorHash)) {
+        throw new errors_1.ValidationError("expectedOutputDescriptorHash must be a 64-character hex string", {
+            code: "BOND_SETTLEMENT_EXPECTED_OUTPUT_DESCRIPTOR_HASH_INVALID",
+        });
+    }
     if (Number.isNaN(Date.parse(descriptor.transitionAt))) {
         throw new errors_1.ValidationError("transitionAt must be an ISO8601 string", {
             code: "BOND_SETTLEMENT_TRANSITION_AT_INVALID",
@@ -77,6 +93,8 @@ function validateBondSettlementMatchesExpected(actual, expected) {
         assetIdMatch: actual.assetId === expected.assetId,
         nextAmountSatMatch: actual.nextAmountSat === expected.nextAmountSat,
         maxFeeSatMatch: actual.maxFeeSat === expected.maxFeeSat,
+        expectedOutputDescriptorHashMatch: (actual.expectedOutputDescriptorHash ?? null) === (expected.expectedOutputDescriptorHash ?? null),
+        outputBindingModeMatch: (actual.outputBindingMode ?? "none") === (expected.outputBindingMode ?? "none"),
     };
     if (!result.bondIdMatch) {
         throw new errors_1.ValidationError("Bond settlement bondId does not match expected value", {
@@ -118,5 +136,15 @@ function validateBondSettlementMatchesExpected(actual, expected) {
             code: "BOND_SETTLEMENT_AMOUNT_INVALID",
         });
     }
+    if (!result.expectedOutputDescriptorHashMatch) {
+        throw new errors_1.ValidationError("Bond settlement expectedOutputDescriptorHash does not match expected value", {
+            code: "BOND_SETTLEMENT_EXPECTED_OUTPUT_DESCRIPTOR_HASH_MISMATCH",
+        });
+    }
+    if (!result.outputBindingModeMatch) {
+        throw new errors_1.ValidationError("Bond settlement outputBindingMode does not match expected value", {
+            code: "BOND_SETTLEMENT_OUTPUT_BINDING_MODE_MISMATCH",
+        });
+    }
     return result;
 }

package/dist/domain/bondValidation.d.ts

@@ -27,3 +27,9 @@ export declare function buildRedeemedBondIssuanceState(input: {
     amount: number;
     redeemedAt: string;
 }): BondIssuanceState;
+export declare function buildClosedBondIssuanceState(input: {
+    previous: BondIssuanceState;
+    closedAt: string;
+    closingReason: "REDEEMED" | "CANCELLED" | "MATURED_OUT";
+    finalSettlementDescriptorHash: string;
+}): BondIssuanceState;

package/dist/domain/bondValidation.js

@@ -6,6 +6,7 @@ exports.validateBondIssuanceState = validateBondIssuanceState;
 exports.validateBondCrossChecks = validateBondCrossChecks;
 exports.validateBondStateTransition = validateBondStateTransition;
 exports.buildRedeemedBondIssuanceState = buildRedeemedBondIssuanceState;
+exports.buildClosedBondIssuanceState = buildClosedBondIssuanceState;
 const summary_1 = require("../core/summary");
 const errors_1 = require("../core/errors");
 function assertNonEmptyString(value, code, message) {
@@ -19,8 +20,8 @@ function assertFiniteNumber(value, code, message) {
     }
 }
 function assertValidStatus(status) {
-    if (status !== "ISSUED" && status !== "PARTIALLY_REDEEMED" && status !== "REDEEMED") {
-        throw new errors_1.ValidationError("status must be ISSUED, PARTIALLY_REDEEMED, or REDEEMED", {
+    if (status !== "ISSUED" && status !== "PARTIALLY_REDEEMED" && status !== "REDEEMED" && status !== "CLOSED") {
+        throw new errors_1.ValidationError("status must be ISSUED, PARTIALLY_REDEEMED, REDEEMED, or CLOSED", {
             code: "BOND_STATUS_INVALID",
         });
     }
@@ -153,6 +154,40 @@ function validateBondIssuanceState(value) {
             });
         }
     }
+    if (issuance.status === "CLOSED") {
+        if (issuance.outstandingPrincipal !== 0 || issuance.redeemedPrincipal !== issuance.issuedPrincipal) {
+            throw new errors_1.ValidationError("CLOSED state must have zero outstanding principal and full redeemed principal", {
+                code: "BOND_STATUS_TRANSITION_INVALID",
+            });
+        }
+        if (!issuance.previousStateHash) {
+            throw new errors_1.ValidationError("CLOSED state must set previousStateHash", {
+                code: "BOND_PREVIOUS_STATE_HASH_INVALID",
+            });
+        }
+        if (!issuance.closedAt || Number.isNaN(Date.parse(issuance.closedAt))) {
+            throw new errors_1.ValidationError("CLOSED state must set closedAt as an ISO8601 string", {
+                code: "BOND_CLOSED_AT_INVALID",
+            });
+        }
+        if (issuance.closingReason !== "REDEEMED"
+            && issuance.closingReason !== "CANCELLED"
+            && issuance.closingReason !== "MATURED_OUT") {
+            throw new errors_1.ValidationError("CLOSED state must set a valid closingReason", {
+                code: "BOND_CLOSING_REASON_INVALID",
+            });
+        }
+        if (!issuance.finalSettlementDescriptorHash || !/^[0-9a-f]{64}$/i.test(issuance.finalSettlementDescriptorHash)) {
+            throw new errors_1.ValidationError("CLOSED state must set finalSettlementDescriptorHash as a 64-character hex string", {
+                code: "BOND_FINAL_SETTLEMENT_DESCRIPTOR_HASH_INVALID",
+            });
+        }
+        if (!transition || transition.type !== "REDEEM") {
+            throw new errors_1.ValidationError("CLOSED state must carry a REDEEM transition", {
+                code: "BOND_TRANSITION_TYPE_INVALID",
+            });
+        }
+    }
     return issuance;
 }
 function validateBondCrossChecks(definition, issuance) {
@@ -255,7 +290,7 @@ function validateBondStateTransition(previous, next) {
     result.statusProgressionValid =
         (previous.status === "ISSUED" || previous.status === "PARTIALLY_REDEEMED") &&
             ((next.status === "PARTIALLY_REDEEMED" && next.outstandingPrincipal > 0) ||
-                (next.status === "REDEEMED" && next.outstandingPrincipal === 0));
+                ((next.status === "REDEEMED" || next.status === "CLOSED") && next.outstandingPrincipal === 0));
     if (!result.statusProgressionValid) {
         throw new errors_1.ValidationError("Bond issuance status progression is invalid", {
             code: "BOND_STATUS_TRANSITION_INVALID",
@@ -301,3 +336,30 @@ function buildRedeemedBondIssuanceState(input) {
     };
     return validateBondIssuanceState(next);
 }
+function buildClosedBondIssuanceState(input) {
+    const previous = validateBondIssuanceState(input.previous);
+    if (previous.status !== "REDEEMED") {
+        throw new errors_1.ValidationError("Only a REDEEMED issuance state can be closed", {
+            code: "BOND_CLOSING_PRECONDITION_INVALID",
+        });
+    }
+    assertNonEmptyString(input.closedAt, "BOND_CLOSED_AT_INVALID", "closedAt must be a non-empty string");
+    if (Number.isNaN(Date.parse(input.closedAt))) {
+        throw new errors_1.ValidationError("closedAt must be an ISO8601 string", {
+            code: "BOND_CLOSED_AT_INVALID",
+        });
+    }
+    if (!/^[0-9a-f]{64}$/i.test(input.finalSettlementDescriptorHash)) {
+        throw new errors_1.ValidationError("finalSettlementDescriptorHash must be a 64-character hex string", {
+            code: "BOND_FINAL_SETTLEMENT_DESCRIPTOR_HASH_INVALID",
+        });
+    }
+    return validateBondIssuanceState({
+        ...previous,
+        status: "CLOSED",
+        previousStateHash: summarizeBondIssuanceState(previous).hash,
+        closedAt: input.closedAt,
+        closingReason: input.closingReason,
+        finalSettlementDescriptorHash: input.finalSettlementDescriptorHash,
+    });
+}