@hazbase/simplicity 0.0.5 → 0.1.1

package/dist/cli.js

@@ -44,10 +44,85 @@ function requireArg(name) {
 function parseAssignments(values) {
     return Object.fromEntries(values.map((entry) => {
         const [key, raw] = entry.split("=", 2);
+        if (raw === "true")
+            return [key, true];
+        if (raw === "false")
+            return [key, false];
         const asNumber = Number(raw);
         return [key, Number.isFinite(asNumber) && String(asNumber) === raw ? asNumber : raw];
     }));
 }
+function parsePolicyReceiver(prefix) {
+    const mode = getArg(`${prefix}-mode`) ?? (getArg(`${prefix}-address`) ? "plain" : "policy");
+    if (mode === "plain") {
+        return { mode: "plain", address: requireArg(`${prefix}-address`) };
+    }
+    return {
+        mode: "policy",
+        recipientXonly: requireArg(`${prefix}-recipient-xonly`),
+    };
+}
+function parsePolicyOutputForm() {
+    const assetForm = getArg("asset-form");
+    const amountForm = getArg("amount-form");
+    const nonceForm = getArg("nonce-form");
+    const rangeProofForm = getArg("range-proof-form");
+    if (!assetForm && !amountForm && !nonceForm && !rangeProofForm) {
+        return undefined;
+    }
+    return {
+        ...(assetForm ? { assetForm } : {}),
+        ...(amountForm ? { amountForm } : {}),
+        ...(nonceForm ? { nonceForm } : {}),
+        ...(rangeProofForm ? { rangeProofForm } : {}),
+    };
+}
+function parseRawOutputFields() {
+    const assetBytesHex = getArg("asset-bytes-hex");
+    const amountBytesHex = getArg("amount-bytes-hex");
+    const nonceBytesHex = getArg("nonce-bytes-hex");
+    const scriptPubKeyHex = getArg("script-pubkey-hex");
+    const scriptPubKeyHashHex = getArg("script-pubkey-hash-hex");
+    const rangeProofHex = getArg("range-proof-hex-raw");
+    const rangeProofHashHex = getArg("range-proof-hash-hex");
+    if (!assetBytesHex
+        && !amountBytesHex
+        && !nonceBytesHex
+        && !scriptPubKeyHex
+        && !scriptPubKeyHashHex
+        && !rangeProofHex
+        && !rangeProofHashHex) {
+        return undefined;
+    }
+    return {
+        ...(assetBytesHex ? { assetBytesHex } : {}),
+        ...(amountBytesHex ? { amountBytesHex } : {}),
+        ...(nonceBytesHex ? { nonceBytesHex } : {}),
+        ...(scriptPubKeyHex !== undefined ? { scriptPubKeyHex } : {}),
+        ...(scriptPubKeyHashHex ? { scriptPubKeyHashHex } : {}),
+        ...(rangeProofHex !== undefined ? { rangeProofHex } : {}),
+        ...(rangeProofHashHex ? { rangeProofHashHex } : {}),
+    };
+}
+function parsePolicyTemplateInput() {
+    const templateId = getArg("template-id");
+    const templateManifest = getArg("template-manifest");
+    const templateManifestValue = getArg("template-manifest-value");
+    if (!templateId && !templateManifest && !templateManifestValue) {
+        throw new Error("Missing required arg: --template-id or --template-manifest or --template-manifest-value");
+    }
+    const templateJson = getArg("template-json");
+    const parsedManifestValue = templateManifestValue ? JSON.parse(templateManifestValue) : undefined;
+    return {
+        ...(templateId ? { templateId } : {}),
+        ...(templateManifest ? { manifestPath: templateManifest } : {}),
+        ...(parsedManifestValue ? { manifestValue: parsedManifestValue } : {}),
+        ...(templateJson ? { jsonPath: templateJson } : templateId ? { value: { policyTemplateId: templateId } } : {}),
+        ...(getArg("state-simf") ? { stateSimfPath: getArg("state-simf") } : {}),
+        ...(getArg("direct-state-simf") ? { directStateSimfPath: getArg("direct-state-simf") } : {}),
+        ...(getArg("machine-simf") ? { transferMachineSimfPath: getArg("machine-simf") } : {}),
+    };
+}
 function parseWitnessAssignments(values) {
     return Object.fromEntries(values.map((entry) => {
         const [left, value] = entry.split("=", 2);
@@ -130,6 +205,496 @@ function resolveConfig() {
 function printJson(value) {
     process.stdout.write(`${JSON.stringify(value, null, 2)}\n`);
 }
+function formatPolicyOutputBindingSummary(outputBinding) {
+    const lines = [
+        `mode=${outputBinding.mode}`,
+        `committed=${outputBinding.committed}`,
+        `runtimeBound=${outputBinding.runtimeBound}`,
+        `sdkVerified=${outputBinding.sdkVerified}`,
+        `amountRuntimeBound=${outputBinding.amountRuntimeBound}`,
+        `nextOutputHashRuntimeBound=${outputBinding.nextOutputHashRuntimeBound}`,
+        `nextOutputScriptRuntimeBound=${outputBinding.nextOutputScriptRuntimeBound}`,
+    ];
+    if (outputBinding.supportedForm)
+        lines.push(`supportedForm=${outputBinding.supportedForm}`);
+    if (outputBinding.reasonCode)
+        lines.push(`reasonCode=${outputBinding.reasonCode}`);
+    if (outputBinding.nextOutputHash)
+        lines.push(`nextOutputHash=${outputBinding.nextOutputHash}`);
+    if (outputBinding.autoDerived !== undefined)
+        lines.push(`autoDerived=${outputBinding.autoDerived}`);
+    if (outputBinding.fallbackReason)
+        lines.push(`fallbackReason=${outputBinding.fallbackReason}`);
+    if (outputBinding.bindingInputs) {
+        lines.push(`bindingInputs(asset=${outputBinding.bindingInputs.assetId}, amountSat=${outputBinding.bindingInputs.nextAmountSat}, nextOutputIndex=${outputBinding.bindingInputs.nextOutputIndex}, feeIndex=${outputBinding.bindingInputs.feeIndex}, maxFeeSat=${outputBinding.bindingInputs.maxFeeSat})`, `bindingInputForms(assetForm=${outputBinding.bindingInputs.assetForm}, amountForm=${outputBinding.bindingInputs.amountForm}, nonceForm=${outputBinding.bindingInputs.nonceForm}, rangeProofForm=${outputBinding.bindingInputs.rangeProofForm})`);
+        if (outputBinding.bindingInputs.rawOutputComponents) {
+            lines.push(`rawOutputComponents(scriptPubKey=${outputBinding.bindingInputs.rawOutputComponents.scriptPubKey}, rangeProof=${outputBinding.bindingInputs.rawOutputComponents.rangeProof})`);
+        }
+    }
+    return lines.join("\n");
+}
+function formatPolicyVerificationSummary(input) {
+    const lines = [
+        `ok=${input.ok ?? true}`,
+        `propagationMode=${input.propagationMode}`,
+        `enforcement=${input.enforcement}`,
+        `plainExitAllowed=${input.plainExitAllowed}`,
+        `nextPolicyRequired=${input.nextPolicyRequired}`,
+        `nextPolicyPresent=${input.nextPolicyPresent}`,
+    ];
+    if (input.reason)
+        lines.push(`reason=${input.reason}`);
+    if (input.outputBinding) {
+        lines.push("outputBinding:");
+        lines.push(indent(formatPolicyOutputBindingSummary(input.outputBinding), 2));
+    }
+    return lines.join("\n");
+}
+function formatPolicyEvidenceSummary(input) {
+    const lines = [
+        `templateHash=${input.templateHash}`,
+        `stateHash=${input.stateHash}`,
+        `transferHash=${input.transferHash ?? "(none)"}`,
+        `enforcement=${input.enforcement}`,
+        `sourceVerificationMode=${input.sourceVerificationMode}`,
+    ];
+    if (input.outputBinding) {
+        lines.push("outputBinding:");
+        lines.push(indent(formatPolicyOutputBindingSummary(input.outputBinding), 2));
+    }
+    return lines.join("\n");
+}
+function formatPolicyInspectOrExecuteSummary(input) {
+    const lines = [
+        `mode=${input.mode}`,
+        `propagationMode=${input.propagationMode}`,
+        `enforcement=${input.enforcement}`,
+        `plainExitAllowed=${input.plainExitAllowed}`,
+        `nextPolicyRequired=${input.nextPolicyRequired}`,
+        `nextPolicyPresent=${input.nextPolicyPresent}`,
+    ];
+    if (input.summaryHash)
+        lines.push(`summaryHash=${input.summaryHash}`);
+    if (input.txId)
+        lines.push(`txId=${input.txId}`);
+    if (input.broadcasted !== undefined)
+        lines.push(`broadcasted=${input.broadcasted}`);
+    if (input.outputBinding) {
+        lines.push("outputBinding:");
+        lines.push(indent(formatPolicyOutputBindingSummary(input.outputBinding), 2));
+    }
+    return lines.join("\n");
+}
+function formatPolicyIssueSummary(input) {
+    return [
+        `propagationMode=${input.propagationMode}`,
+        `policyHash=${input.policyHash}`,
+        `contractAddress=${input.contractAddress}`,
+        `amountSat=${input.amountSat}`,
+        `assetId=${input.assetId}`,
+        `recipient=${input.recipient}`,
+    ].join("\n");
+}
+function formatPolicyOutputDescriptorBuildSummary(input) {
+    const lines = [
+        `mode=${input.mode}`,
+        `nextContractAddress=${input.nextContractAddress}`,
+        `nextAmountSat=${input.nextAmountSat}`,
+        `assetId=${input.assetId}`,
+    ];
+    if (input.supportedForm)
+        lines.push(`supportedForm=${input.supportedForm}`);
+    if (input.reasonCode)
+        lines.push(`reasonCode=${input.reasonCode}`);
+    if (input.nextOutputScriptHash)
+        lines.push(`nextOutputScriptHash=${input.nextOutputScriptHash}`);
+    if (input.nextOutputHash)
+        lines.push(`nextOutputHash=${input.nextOutputHash}`);
+    if (input.autoDerived !== undefined)
+        lines.push(`autoDerived=${input.autoDerived}`);
+    if (input.fallbackReason)
+        lines.push(`fallbackReason=${input.fallbackReason}`);
+    return lines.join("\n");
+}
+function formatPolicyBindingSupportSummary(input) {
+    const lines = ["supportedForms:"];
+    for (const form of input.supportedForms) {
+        lines.push(indent([
+            `form=${form.form}`,
+            `autoDerived=${form.autoDerived}`,
+            `description=${form.description}`,
+        ].join("\n"), 2));
+    }
+    if (input.unsupportedOutputFeatures && input.unsupportedOutputFeatures.length > 0) {
+        lines.push("unsupportedOutputFeatures:");
+        for (const feature of input.unsupportedOutputFeatures) {
+            lines.push(indent([
+                `feature=${feature.feature}`,
+                `fallbackReasonCode=${feature.fallbackReasonCode}`,
+                `manualHashSupported=${feature.manualHashSupported}`,
+                `description=${feature.description}`,
+            ].join("\n"), 2));
+        }
+    }
+    lines.push("outputBindingModes:");
+    for (const [mode, details] of Object.entries(input.outputBindingModes)) {
+        lines.push(indent([
+            `mode=${mode}`,
+            `runtimeBinding=${details.runtimeBinding}`,
+            `description=${details.description}`,
+            `fallbackBehavior=${details.fallbackBehavior}`,
+        ].join("\n"), 2));
+    }
+    lines.push(`autoDeriveConditions=assetInput(${input.autoDeriveConditions.assetInput.join(", ")}), amountForm=${input.autoDeriveConditions.amountForm}, nonceForm=${input.autoDeriveConditions.nonceForm}, rangeProofForm=${input.autoDeriveConditions.rangeProofForm}`);
+    if (input.autoDeriveConditions.rawOutputFields?.length) {
+        lines.push(`rawOutputFields=${input.autoDeriveConditions.rawOutputFields.join(",")}`);
+    }
+    if (input.autoDeriveConditions.rawOutputFieldAlternatives) {
+        for (const [name, fields] of Object.entries(input.autoDeriveConditions.rawOutputFieldAlternatives)) {
+            lines.push(`rawOutputFieldAlternatives.${name}=${fields.join("|")}`);
+        }
+    }
+    if (input.autoDeriveConditions.outputHashExclusions?.length) {
+        lines.push(`outputHashExclusions=${input.autoDeriveConditions.outputHashExclusions.join(",")}`);
+    }
+    lines.push(`manualHashPath.supported=${input.manualHashPath.supported}`);
+    lines.push(`manualHashPath.description=${input.manualHashPath.description}`);
+    lines.push(`fallback.defaultMode=${input.fallbackBehavior.defaultMode}`);
+    lines.push(`fallback.reasonCodes=${input.fallbackBehavior.reasonCodes.join(",")}`);
+    lines.push(`validation.local=${input.publicValidationMatrix.local.join(" | ")}`);
+    lines.push(`validation.testnet=${input.publicValidationMatrix.testnet.join(" | ")}`);
+    if (input.nonGoals.length > 0) {
+        lines.push("nonGoals:");
+        for (const goal of input.nonGoals) {
+            lines.push(indent(goal, 2));
+        }
+    }
+    return lines.join("\n");
+}
+function formatOutputBindingSupportEvaluationSummary(input) {
+    const lines = [
+        `requestedBindingMode=${input.requestedBindingMode}`,
+        `resolvedBindingMode=${input.resolvedBindingMode}`,
+        `supportedForm=${input.supportedForm}`,
+        `reasonCode=${input.reasonCode}`,
+        `autoDerived=${input.autoDerived}`,
+        `assetId=${input.assetId}`,
+        `explicitAssetInputSupported=${input.explicitAssetInputSupported}`,
+        `manualHashSupplied=${input.manualHashSupplied}`,
+        `nextOutputScriptAvailable=${input.nextOutputScriptAvailable}`,
+        `rawOutputProvided=${input.rawOutputProvided === true}`,
+        `outputForm(assetForm=${input.outputForm.assetForm}, amountForm=${input.outputForm.amountForm}, nonceForm=${input.outputForm.nonceForm}, rangeProofForm=${input.outputForm.rangeProofForm})`,
+    ];
+    if (input.fallbackReason)
+        lines.push(`fallbackReason=${input.fallbackReason}`);
+    if (input.rawOutputComponents) {
+        lines.push(`rawOutputComponents(scriptPubKey=${input.rawOutputComponents.scriptPubKey}, rangeProof=${input.rawOutputComponents.rangeProof})`);
+    }
+    if (input.unsupportedFeatures.length > 0) {
+        lines.push(`unsupportedFeatures=${input.unsupportedFeatures.join(",")}`);
+    }
+    return lines.join("\n");
+}
+function formatBondBindingMetadataSummary(input) {
+    const lines = [];
+    if (input.bindingMode)
+        lines.push(`bindingMode=${input.bindingMode}`);
+    if (input.supportedForm)
+        lines.push(`supportedForm=${input.supportedForm}`);
+    if (input.reasonCode)
+        lines.push(`reasonCode=${input.reasonCode}`);
+    if (input.nextOutputHash)
+        lines.push(`nextOutputHash=${input.nextOutputHash}`);
+    if (input.autoDerived !== undefined)
+        lines.push(`autoDerived=${input.autoDerived}`);
+    if (input.fallbackReason)
+        lines.push(`fallbackReason=${input.fallbackReason}`);
+    if (input.bindingInputs) {
+        lines.push(`bindingInputs(asset=${input.bindingInputs.assetId}, amountSat=${input.bindingInputs.nextAmountSat}, nextOutputIndex=${input.bindingInputs.nextOutputIndex}, feeIndex=${input.bindingInputs.feeIndex}, maxFeeSat=${input.bindingInputs.maxFeeSat})`, `bindingInputForms(assetForm=${input.bindingInputs.assetForm}, amountForm=${input.bindingInputs.amountForm}, nonceForm=${input.bindingInputs.nonceForm}, rangeProofForm=${input.bindingInputs.rangeProofForm})`);
+        if (input.bindingInputs.rawOutputComponents) {
+            lines.push(`rawOutputComponents(scriptPubKey=${input.bindingInputs.rawOutputComponents.scriptPubKey}, rangeProof=${input.bindingInputs.rawOutputComponents.rangeProof})`);
+        }
+    }
+    return lines.join("\n");
+}
+function formatBondDefinitionOrVerificationSummary(input) {
+    return [
+        input.contractAddress ? `contractAddress=${input.contractAddress}` : undefined,
+        input.cmr ? `cmr=${input.cmr}` : undefined,
+        input.artifactPath ? `artifactPath=${input.artifactPath}` : undefined,
+        input.definitionHash ? `definitionHash=${input.definitionHash}` : undefined,
+        input.issuanceHash ? `issuanceHash=${input.issuanceHash}` : undefined,
+        input.definitionOk !== undefined ? `definitionOk=${input.definitionOk}` : undefined,
+        input.issuanceOk !== undefined ? `issuanceOk=${input.issuanceOk}` : undefined,
+        input.principalInvariantValid !== undefined
+            ? `principalInvariantValid=${input.principalInvariantValid}`
+            : undefined,
+        input.definitionTrustMode ? `definitionTrustMode=${input.definitionTrustMode}` : undefined,
+        input.issuanceTrustMode ? `issuanceTrustMode=${input.issuanceTrustMode}` : undefined,
+    ]
+        .filter(Boolean)
+        .join("\n");
+}
+function formatBondSettlementSummary(input) {
+    const lines = [
+        input.ok !== undefined ? `ok=${input.ok}` : undefined,
+        input.reason ? `reason=${input.reason}` : undefined,
+        `descriptorHash=${input.descriptorHash}`,
+        `bindingMode=${input.bindingMode}`,
+        input.previousStateHash ? `previousStateHash=${input.previousStateHash}` : undefined,
+        input.nextStateHash ? `nextStateHash=${input.nextStateHash}` : undefined,
+        input.nextContractAddress ? `nextContractAddress=${input.nextContractAddress}` : undefined,
+        input.nextAmountSat !== undefined ? `nextAmountSat=${input.nextAmountSat}` : undefined,
+        input.maxFeeSat !== undefined ? `maxFeeSat=${input.maxFeeSat}` : undefined,
+    ].filter(Boolean);
+    const binding = formatBondBindingMetadataSummary({
+        bindingMode: input.bindingMode,
+        supportedForm: input.supportedForm,
+        reasonCode: input.reasonCode,
+        autoDerived: input.autoDerived,
+        fallbackReason: input.fallbackReason,
+        nextOutputHash: input.nextOutputHash,
+        bindingInputs: input.bindingInputs,
+    });
+    return binding ? `${lines.join("\n")}\n${binding}` : lines.join("\n");
+}
+function formatBondRedemptionSummary(input) {
+    const lines = [
+        `phase=${input.phase}`,
+        `mode=${input.mode}`,
+        input.nextStatus ? `nextStatus=${input.nextStatus}` : undefined,
+        `descriptorHash=${input.descriptorHash}`,
+        input.nextStateHash ? `nextStateHash=${input.nextStateHash}` : undefined,
+        input.nextContractAddress ? `nextContractAddress=${input.nextContractAddress}` : undefined,
+        input.nextAmountSat !== undefined ? `nextAmountSat=${input.nextAmountSat}` : undefined,
+        input.summaryHash ? `summaryHash=${input.summaryHash}` : undefined,
+        input.txId ? `txId=${input.txId}` : undefined,
+        input.broadcasted !== undefined ? `broadcasted=${input.broadcasted}` : undefined,
+        input.verified !== undefined ? `verified=${input.verified}` : undefined,
+    ].filter(Boolean);
+    if (input.bindingMetadata) {
+        const bindingMetadata = formatBondBindingMetadataSummary(input.bindingMetadata);
+        if (bindingMetadata)
+            lines.push(bindingMetadata);
+    }
+    if (input.outputBindingTrust) {
+        lines.push([
+            `outputBinding.mode=${input.outputBindingTrust.mode}`,
+            `outputBinding.nextContractAddressCommitted=${input.outputBindingTrust.nextContractAddressCommitted}`,
+            input.outputBindingTrust.expectedOutputDescriptorCommitted !== undefined
+                ? `outputBinding.expectedOutputDescriptorCommitted=${input.outputBindingTrust.expectedOutputDescriptorCommitted}`
+                : undefined,
+            input.outputBindingTrust.settlementDescriptorCommitted !== undefined
+                ? `outputBinding.settlementDescriptorCommitted=${input.outputBindingTrust.settlementDescriptorCommitted}`
+                : undefined,
+            `outputBinding.outputCountRuntimeBound=${input.outputBindingTrust.outputCountRuntimeBound}`,
+            `outputBinding.feeIndexRuntimeBound=${input.outputBindingTrust.feeIndexRuntimeBound}`,
+            `outputBinding.amountRuntimeBound=${input.outputBindingTrust.amountRuntimeBound}`,
+            `outputBinding.nextOutputHashRuntimeBound=${input.outputBindingTrust.nextOutputHashRuntimeBound}`,
+            `outputBinding.nextOutputScriptRuntimeBound=${input.outputBindingTrust.nextOutputScriptRuntimeBound}`,
+            input.outputBindingTrust.supportedForm
+                ? `outputBinding.supportedForm=${input.outputBindingTrust.supportedForm}`
+                : undefined,
+            input.outputBindingTrust.reasonCode
+                ? `outputBinding.reasonCode=${input.outputBindingTrust.reasonCode}`
+                : undefined,
+            input.outputBindingTrust.nextOutputHash
+                ? `outputBinding.nextOutputHash=${input.outputBindingTrust.nextOutputHash}`
+                : undefined,
+            input.outputBindingTrust.autoDerived !== undefined
+                ? `outputBinding.autoDerived=${input.outputBindingTrust.autoDerived}`
+                : undefined,
+            input.outputBindingTrust.fallbackReason
+                ? `outputBinding.fallbackReason=${input.outputBindingTrust.fallbackReason}`
+                : undefined,
+        ]
+            .filter(Boolean)
+            .join("\n"));
+        if (input.outputBindingTrust.bindingInputs) {
+            lines.push(`outputBinding.bindingInputs(asset=${input.outputBindingTrust.bindingInputs.assetId}, amountSat=${input.outputBindingTrust.bindingInputs.nextAmountSat}, nextOutputIndex=${input.outputBindingTrust.bindingInputs.nextOutputIndex}, feeIndex=${input.outputBindingTrust.bindingInputs.feeIndex}, maxFeeSat=${input.outputBindingTrust.bindingInputs.maxFeeSat})`, `outputBinding.bindingInputForms(assetForm=${input.outputBindingTrust.bindingInputs.assetForm}, amountForm=${input.outputBindingTrust.bindingInputs.amountForm}, nonceForm=${input.outputBindingTrust.bindingInputs.nonceForm}, rangeProofForm=${input.outputBindingTrust.bindingInputs.rangeProofForm})`);
+        }
+    }
+    return lines.join("\n");
+}
+function formatBondClosingSummary(input) {
+    const lines = [
+        `phase=${input.phase}`,
+        input.closingHash ? `closingHash=${input.closingHash}` : undefined,
+        input.closedAt ? `closedAt=${input.closedAt}` : undefined,
+        input.closingReason ? `closingReason=${input.closingReason}` : undefined,
+        input.finalSettlementDescriptorHash
+            ? `finalSettlementDescriptorHash=${input.finalSettlementDescriptorHash}`
+            : undefined,
+        input.summaryHash ? `summaryHash=${input.summaryHash}` : undefined,
+        input.txId ? `txId=${input.txId}` : undefined,
+        input.broadcasted !== undefined ? `broadcasted=${input.broadcasted}` : undefined,
+        input.verified !== undefined ? `verified=${input.verified}` : undefined,
+    ].filter(Boolean);
+    if (input.checks) {
+        lines.push(`checks=${Object.entries(input.checks)
+            .map(([key, value]) => `${key}:${value}`)
+            .join(",")}`);
+    }
+    return lines.join("\n");
+}
+function formatBondEvidenceSummary(input) {
+    return [
+        `definitionHash=${input.definitionHash}`,
+        `issuanceHash=${input.issuanceHash}`,
+        input.settlementHash ? `settlementHash=${input.settlementHash}` : undefined,
+        input.closingHash ? `closingHash=${input.closingHash}` : undefined,
+        input.renderedSourceHash ? `renderedSourceHash=${input.renderedSourceHash}` : undefined,
+        input.sourceVerificationMode ? `sourceVerificationMode=${input.sourceVerificationMode}` : undefined,
+    ]
+        .filter(Boolean)
+        .join("\n");
+}
+function formatBondFinalityPayloadSummary(input) {
+    return [
+        `bondId=${input.bondId}`,
+        `issuanceId=${input.issuanceId}`,
+        `definitionHash=${input.definitionHash}`,
+        `issuanceStateHash=${input.issuanceStateHash}`,
+        input.settlementDescriptorHash ? `settlementDescriptorHash=${input.settlementDescriptorHash}` : undefined,
+        input.closingDescriptorHash ? `closingDescriptorHash=${input.closingDescriptorHash}` : undefined,
+        `contractAddress=${input.contractAddress}`,
+        `cmr=${input.cmr}`,
+        `bindingMode=${input.bindingMode}`,
+    ]
+        .filter(Boolean)
+        .join("\n");
+}
+function formatFundOutputBindingSummary(outputBinding) {
+    const lines = [
+        `mode=${outputBinding.mode}`,
+        outputBinding.requestedMode ? `requestedMode=${outputBinding.requestedMode}` : undefined,
+        `nextReceiverRuntimeCommitted=${outputBinding.nextReceiverRuntimeCommitted}`,
+        `outputCountRuntimeBound=${outputBinding.outputCountRuntimeBound}`,
+        `feeIndexRuntimeBound=${outputBinding.feeIndexRuntimeBound}`,
+        `nextOutputHashRuntimeBound=${outputBinding.nextOutputHashRuntimeBound ?? false}`,
+        `nextOutputScriptRuntimeBound=${outputBinding.nextOutputScriptRuntimeBound}`,
+        `amountRuntimeBound=${outputBinding.amountRuntimeBound}`,
+        outputBinding.supportedForm ? `supportedForm=${outputBinding.supportedForm}` : undefined,
+        outputBinding.reasonCode ? `reasonCode=${outputBinding.reasonCode}` : undefined,
+        outputBinding.autoDerived !== undefined ? `autoDerived=${outputBinding.autoDerived}` : undefined,
+        outputBinding.fallbackReason ? `fallbackReason=${outputBinding.fallbackReason}` : undefined,
+    ].filter(Boolean);
+    if (outputBinding.bindingInputs) {
+        lines.push(`bindingInputs(asset=${outputBinding.bindingInputs.assetId}, amountSat=${outputBinding.bindingInputs.nextAmountSat}, nextOutputIndex=${outputBinding.bindingInputs.nextOutputIndex}, feeIndex=${outputBinding.bindingInputs.feeIndex}, maxFeeSat=${outputBinding.bindingInputs.maxFeeSat})`, `bindingInputForms(assetForm=${outputBinding.bindingInputs.assetForm}, amountForm=${outputBinding.bindingInputs.amountForm}, nonceForm=${outputBinding.bindingInputs.nonceForm}, rangeProofForm=${outputBinding.bindingInputs.rangeProofForm})`);
+        if (outputBinding.bindingInputs.rawOutputComponents) {
+            lines.push(`rawOutputComponents(scriptPubKey=${outputBinding.bindingInputs.rawOutputComponents.scriptPubKey}, rangeProof=${outputBinding.bindingInputs.rawOutputComponents.rangeProof})`);
+        }
+    }
+    return lines.join("\n");
+}
+function formatFundDefinitionSummary(input) {
+    return [
+        `ok=${input.ok ?? true}`,
+        `fundId=${input.fundId}`,
+        `managerEntityId=${input.managerEntityId}`,
+        `currencyAssetId=${input.currencyAssetId}`,
+        input.jurisdiction ? `jurisdiction=${input.jurisdiction}` : undefined,
+        input.vintage ? `vintage=${input.vintage}` : undefined,
+    ]
+        .filter(Boolean)
+        .join("\n");
+}
+function formatFundCapitalCallSummary(input) {
+    const lines = [
+        `phase=${input.phase}`,
+        input.ok !== undefined ? `ok=${input.ok}` : undefined,
+        `callId=${input.callId}`,
+        `status=${input.status}`,
+        `amount=${input.amount}`,
+        `assetId=${input.assetId}`,
+        input.contractAddress ? `contractAddress=${input.contractAddress}` : undefined,
+        input.summaryHash ? `summaryHash=${input.summaryHash}` : undefined,
+        input.positionReceiptHash ? `positionReceiptHash=${input.positionReceiptHash}` : undefined,
+        input.txId ? `txId=${input.txId}` : undefined,
+        input.broadcasted !== undefined ? `broadcasted=${input.broadcasted}` : undefined,
+        input.reason ? `reason=${input.reason}` : undefined,
+    ].filter(Boolean);
+    if (input.outputBinding) {
+        lines.push("outputBinding:");
+        lines.push(indent(formatFundOutputBindingSummary(input.outputBinding), 2));
+    }
+    return lines.join("\n");
+}
+function formatFundDistributionSummary(input) {
+    const lines = [
+        `phase=${input.phase}`,
+        input.ok !== undefined ? `ok=${input.ok}` : undefined,
+        `distributionId=${input.distributionId}`,
+        `positionId=${input.positionId}`,
+        `amountSat=${input.amountSat}`,
+        `assetId=${input.assetId}`,
+        input.contractAddress ? `contractAddress=${input.contractAddress}` : undefined,
+        input.summaryHash ? `summaryHash=${input.summaryHash}` : undefined,
+        input.txId ? `txId=${input.txId}` : undefined,
+        input.broadcasted !== undefined ? `broadcasted=${input.broadcasted}` : undefined,
+        input.reason ? `reason=${input.reason}` : undefined,
+    ].filter(Boolean);
+    if (input.outputBinding) {
+        lines.push("outputBinding:");
+        lines.push(indent(formatFundOutputBindingSummary(input.outputBinding), 2));
+    }
+    return lines.join("\n");
+}
+function formatFundReceiptReconcileSummary(input) {
+    return [
+        `positionId=${input.positionId}`,
+        `distributionCount=${input.distributionCount}`,
+        `distributedAmount=${input.distributedAmount}`,
+        `fundedAmount=${input.fundedAmount}`,
+        `status=${input.status}`,
+        `receiptHash=${input.receiptHash}`,
+        input.sequence !== undefined ? `sequence=${input.sequence}` : undefined,
+        input.envelopeHash ? `envelopeHash=${input.envelopeHash}` : undefined,
+    ].join("\n");
+}
+function formatFundClosingSummary(input) {
+    return [
+        `ok=${input.ok ?? true}`,
+        `closingHash=${input.closingHash}`,
+        `closedAt=${input.closedAt}`,
+        `closingReason=${input.closingReason}`,
+        `positionId=${input.positionId}`,
+        `distributionCount=${input.distributionCount}`,
+        input.reason ? `reason=${input.reason}` : undefined,
+    ]
+        .filter(Boolean)
+        .join("\n");
+}
+function formatFundEvidenceSummary(input) {
+    return [
+        `definitionHash=${input.definitionHash}`,
+        input.capitalCallHash ? `capitalCallHash=${input.capitalCallHash}` : undefined,
+        input.positionReceiptHash ? `positionReceiptHash=${input.positionReceiptHash}` : undefined,
+        input.positionReceiptEnvelopeHash ? `positionReceiptEnvelopeHash=${input.positionReceiptEnvelopeHash}` : undefined,
+        input.distributionHash ? `distributionHash=${input.distributionHash}` : undefined,
+        input.closingHash ? `closingHash=${input.closingHash}` : undefined,
+        `sourceVerificationMode=${input.sourceVerificationMode}`,
+    ]
+        .filter(Boolean)
+        .join("\n");
+}
+function formatFundFinalitySummary(input) {
+    return [
+        `fundId=${input.fundId}`,
+        `lpId=${input.lpId}`,
+        input.callId ? `callId=${input.callId}` : undefined,
+        input.positionId ? `positionId=${input.positionId}` : undefined,
+        `definitionHash=${input.definitionHash}`,
+        input.capitalCallStateHash ? `capitalCallStateHash=${input.capitalCallStateHash}` : undefined,
+        input.positionReceiptHash ? `positionReceiptHash=${input.positionReceiptHash}` : undefined,
+        input.positionReceiptEnvelopeHash ? `positionReceiptEnvelopeHash=${input.positionReceiptEnvelopeHash}` : undefined,
+        input.distributionHash ? `distributionHash=${input.distributionHash}` : undefined,
+        input.closingHash ? `closingHash=${input.closingHash}` : undefined,
+        `bindingMode=${input.bindingMode}`,
+    ]
+        .filter(Boolean)
+        .join("\n");
+}
 function indent(text, spaces = 2) {
     const prefix = " ".repeat(spaces);
     return text
@@ -486,7 +1051,7 @@ async function main() {
     const subcommand = process.argv[3];
     const sdk = (0, SimplicityClient_1.createSimplicityClient)(resolveConfig());
     if (!command) {
-        throw new Error("Usage: simplicity-cli <compile|presets|preset|contract|artifact|definition|state|bond|gasless> ...");
+        throw new Error("Usage: simplicity-cli <compile|presets|preset|contract|artifact|definition|state|binding|policy|bond|fund|gasless> ...");
     }
     if (command === "compile") {
         const result = await sdk.compileFromFile({
@@ -567,6 +1132,393 @@ async function main() {
         });
         return;
     }
+    if (command === "policy" && subcommand === "issue") {
+        const result = await sdk.policies.issue({
+            recipient: parsePolicyReceiver("recipient"),
+            template: parsePolicyTemplateInput(),
+            params: parseAssignments(getMultiArgs("param")),
+            amountSat: Number(requireArg("amount-sat")),
+            assetId: requireArg("asset-id"),
+            propagationMode: getArg("propagation-mode", "required"),
+            artifactPath: getArg("artifact"),
+        });
+        const stateOut = getArg("state-out");
+        if (stateOut) {
+            const resolved = node_path_1.default.resolve(stateOut);
+            await (0, promises_1.mkdir)(node_path_1.default.dirname(resolved), { recursive: true });
+            await (0, promises_1.writeFile)(resolved, `${JSON.stringify(result.state, null, 2)}\n`, "utf8");
+        }
+        printJson({
+            summary: {
+                propagationMode: result.state.propagationMode,
+                policyHash: result.policyHash,
+                contractAddress: result.compiled.deployment().contractAddress,
+                amountSat: result.state.amountSat,
+                assetId: result.state.assetId,
+                recipient: result.state.recipient,
+            },
+            summaryText: formatPolicyIssueSummary({
+                propagationMode: result.state.propagationMode,
+                policyHash: result.policyHash,
+                contractAddress: result.compiled.deployment().contractAddress,
+                amountSat: result.state.amountSat,
+                assetId: result.state.assetId,
+                recipient: result.state.recipient,
+            }),
+            artifact: result.compiled.artifact,
+            deployment: result.compiled.deployment(),
+            state: result.state,
+            policyTemplate: result.policyTemplate,
+            policyHash: result.policyHash,
+            stateOut: stateOut ? node_path_1.default.resolve(stateOut) : undefined,
+        });
+        return;
+    }
+    if (command === "policy" && subcommand === "list-templates") {
+        printJson(sdk.policies.listTemplates());
+        return;
+    }
+    if (command === "binding" && subcommand === "describe-support") {
+        const result = sdk.outputBinding.describeSupport();
+        printJson({
+            summaryText: formatPolicyBindingSupportSummary(result),
+            ...result,
+        });
+        return;
+    }
+    if (command === "binding" && subcommand === "evaluate-support") {
+        const result = sdk.outputBinding.evaluateSupport({
+            assetId: requireArg("asset-id"),
+            requestedBindingMode: getArg("output-binding-mode") ?? "descriptor-bound",
+            outputForm: parsePolicyOutputForm(),
+            rawOutput: parseRawOutputFields(),
+            nextOutputHash: getArg("next-output-hash") || undefined,
+            nextOutputScriptAvailable: hasFlag("without-script-hash") ? false : true,
+        });
+        printJson({
+            ...result,
+            summaryText: formatOutputBindingSupportEvaluationSummary(result),
+        });
+        return;
+    }
+    if (command === "policy" && subcommand === "verify-state") {
+        const result = await sdk.policies.verifyState({
+            artifactPath: requireArg("artifact"),
+            template: parsePolicyTemplateInput(),
+            statePath: getArg("state-json"),
+            stateValue: getArg("state-value") ? JSON.parse(getArg("state-value")) : undefined,
+        });
+        printJson({
+            summaryText: formatPolicyVerificationSummary({
+                ok: result.ok,
+                reason: result.reason,
+                propagationMode: result.report.propagationMode,
+                enforcement: result.report.enforcement,
+                plainExitAllowed: result.report.plainExitAllowed,
+                nextPolicyRequired: result.report.nextPolicyRequired,
+                nextPolicyPresent: result.report.nextPolicyPresent,
+                outputBinding: result.report.outputBinding,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "policy" && subcommand === "describe-template") {
+        const templateManifest = getArg("template-manifest");
+        const templateManifestValue = getArg("template-manifest-value");
+        const templateId = getArg("template-id");
+        const result = templateManifest || templateManifestValue || !templateId
+            ? await sdk.policies.loadTemplateManifest({
+                templateId: templateId || undefined,
+                propagationMode: getArg("propagation-mode"),
+                manifestPath: templateManifest || undefined,
+                manifestValue: templateManifestValue ? JSON.parse(templateManifestValue) : undefined,
+            })
+            : sdk.policies.describeTemplate({
+                templateId,
+                propagationMode: getArg("propagation-mode"),
+            });
+        printJson(result);
+        return;
+    }
+    if (command === "policy" && subcommand === "validate-template-params") {
+        const templateManifest = getArg("template-manifest");
+        const templateManifestValue = getArg("template-manifest-value");
+        const manifest = templateManifest || templateManifestValue
+            ? await sdk.policies.loadTemplateManifest({
+                templateId: getArg("template-id") || undefined,
+                propagationMode: getArg("propagation-mode"),
+                manifestPath: templateManifest || undefined,
+                manifestValue: templateManifestValue ? JSON.parse(templateManifestValue) : undefined,
+            })
+            : undefined;
+        const result = sdk.policies.validateTemplateParams({
+            templateId: getArg("template-id") || manifest?.templateId,
+            manifestValue: manifest,
+            propagationMode: getArg("propagation-mode"),
+            params: parseAssignments(getMultiArgs("param")),
+        });
+        printJson({ ok: true, params: result });
+        return;
+    }
+    if (command === "policy" && subcommand === "build-output-descriptor") {
+        const result = await sdk.policies.buildOutputDescriptor({
+            nextCompiledContractAddress: requireArg("next-contract-address"),
+            nextAmountSat: Number(requireArg("next-amount-sat")),
+            assetId: requireArg("asset-id"),
+            maxFeeSat: getArg("max-fee-sat") ? Number(getArg("max-fee-sat")) : undefined,
+            nextOutputIndex: getArg("next-output-index") ? Number(getArg("next-output-index")) : undefined,
+            feeIndex: getArg("fee-index") ? Number(getArg("fee-index")) : undefined,
+            nextOutputHash: getArg("next-output-hash") || undefined,
+            outputForm: parsePolicyOutputForm(),
+            rawOutput: parseRawOutputFields(),
+            outputBindingMode: getArg("output-binding-mode"),
+        });
+        printJson({
+            summary: {
+                mode: result.descriptor.outputBindingMode,
+                nextContractAddress: result.descriptor.nextContractAddress,
+                nextOutputScriptHash: result.descriptor.nextOutputScriptHash ?? null,
+                nextOutputHash: result.descriptor.nextOutputHash ?? null,
+                nextAmountSat: result.descriptor.nextAmountSat,
+                assetId: result.descriptor.assetId,
+                supportedForm: result.supportedForm,
+                reasonCode: result.reasonCode,
+                autoDerived: result.autoDerivedNextOutputHash,
+                fallbackReason: result.fallbackReason ?? null,
+            },
+            summaryText: formatPolicyOutputDescriptorBuildSummary({
+                mode: result.descriptor.outputBindingMode,
+                nextContractAddress: result.descriptor.nextContractAddress,
+                nextOutputScriptHash: result.descriptor.nextOutputScriptHash,
+                nextOutputHash: result.descriptor.nextOutputHash,
+                nextAmountSat: result.descriptor.nextAmountSat,
+                assetId: result.descriptor.assetId,
+                supportedForm: result.supportedForm,
+                reasonCode: result.reasonCode,
+                autoDerived: result.autoDerivedNextOutputHash,
+                fallbackReason: result.fallbackReason,
+            }),
+            descriptor: result.descriptor,
+            descriptorSummary: result.summary,
+            supportedForm: result.supportedForm,
+            autoDerivedNextOutputHash: result.autoDerivedNextOutputHash,
+            reasonCode: result.reasonCode,
+            bindingInputs: result.bindingInputs,
+            fallbackReason: result.fallbackReason ?? null,
+        });
+        return;
+    }
+    if (command === "policy" && subcommand === "prepare-transfer") {
+        const result = await sdk.policies.prepareTransfer({
+            currentArtifactPath: requireArg("current-artifact"),
+            template: parsePolicyTemplateInput(),
+            currentStatePath: getArg("current-state-json"),
+            currentStateValue: getArg("current-state-value") ? JSON.parse(getArg("current-state-value")) : undefined,
+            nextReceiver: parsePolicyReceiver("next"),
+            nextAmountSat: Number(requireArg("next-amount-sat")),
+            nextParams: parseAssignments(getMultiArgs("next-param")),
+            propagationMode: getArg("propagation-mode"),
+            nextArtifactPath: getArg("next-artifact"),
+            nextOutputHash: getArg("next-output-hash") || undefined,
+            nextOutputForm: parsePolicyOutputForm(),
+            nextRawOutput: parseRawOutputFields(),
+            outputBindingMode: getArg("output-binding-mode"),
+        });
+        const nextStateOut = getArg("next-state-out");
+        if (nextStateOut && result.nextState) {
+            const resolved = node_path_1.default.resolve(nextStateOut);
+            await (0, promises_1.mkdir)(node_path_1.default.dirname(resolved), { recursive: true });
+            await (0, promises_1.writeFile)(resolved, `${JSON.stringify(result.nextState, null, 2)}\n`, "utf8");
+        }
+        const prepareOutputBinding = result.verificationReport.outputBinding;
+        printJson({
+            summary: {
+                mode: "prepare",
+                enforcement: result.verificationReport.enforcement,
+                propagationMode: result.verificationReport.propagationMode,
+                plainExitAllowed: result.verificationReport.plainExitAllowed,
+                nextPolicyRequired: result.verificationReport.nextPolicyRequired,
+                nextPolicyPresent: result.verificationReport.nextPolicyPresent,
+                outputBinding: prepareOutputBinding ?? null,
+                summaryHash: result.transferSummary.hash,
+            },
+            summaryText: formatPolicyInspectOrExecuteSummary({
+                mode: "prepare",
+                propagationMode: result.verificationReport.propagationMode,
+                enforcement: result.verificationReport.enforcement,
+                plainExitAllowed: result.verificationReport.plainExitAllowed,
+                nextPolicyRequired: result.verificationReport.nextPolicyRequired,
+                nextPolicyPresent: result.verificationReport.nextPolicyPresent,
+                outputBinding: prepareOutputBinding,
+                summaryHash: result.transferSummary.hash,
+            }),
+            ...result,
+            nextStateOut: nextStateOut && result.nextState ? node_path_1.default.resolve(nextStateOut) : undefined,
+        });
+        return;
+    }
+    if (command === "policy" && subcommand === "verify-transfer") {
+        const result = await sdk.policies.verifyTransfer({
+            template: parsePolicyTemplateInput(),
+            currentArtifactPath: requireArg("current-artifact"),
+            currentStatePath: getArg("current-state-json"),
+            currentStateValue: getArg("current-state-value") ? JSON.parse(getArg("current-state-value")) : undefined,
+            transferDescriptorValue: getArg("transfer-value") ? JSON.parse(getArg("transfer-value")) : undefined,
+            nextStatePath: getArg("next-state-json"),
+            nextStateValue: getArg("next-state-value") ? JSON.parse(getArg("next-state-value")) : undefined,
+        });
+        printJson({
+            summary: {
+                ok: result.ok,
+                reason: result.reason,
+                enforcement: result.verificationReport.enforcement,
+                propagationMode: result.verificationReport.propagationMode,
+                plainExitAllowed: result.verificationReport.plainExitAllowed,
+                nextPolicyRequired: result.verificationReport.nextPolicyRequired,
+                nextPolicyPresent: result.verificationReport.nextPolicyPresent,
+                outputBinding: result.verificationReport.outputBinding ?? null,
+            },
+            summaryText: formatPolicyVerificationSummary({
+                ok: result.ok,
+                reason: result.reason,
+                propagationMode: result.verificationReport.propagationMode,
+                enforcement: result.verificationReport.enforcement,
+                plainExitAllowed: result.verificationReport.plainExitAllowed,
+                nextPolicyRequired: result.verificationReport.nextPolicyRequired,
+                nextPolicyPresent: result.verificationReport.nextPolicyPresent,
+                outputBinding: result.verificationReport.outputBinding,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "policy" && subcommand === "inspect-transfer") {
+        const result = await sdk.policies.inspectTransfer({
+            currentArtifactPath: requireArg("current-artifact"),
+            template: parsePolicyTemplateInput(),
+            currentStatePath: getArg("current-state-json"),
+            currentStateValue: getArg("current-state-value") ? JSON.parse(getArg("current-state-value")) : undefined,
+            nextReceiver: parsePolicyReceiver("next"),
+            nextAmountSat: Number(requireArg("next-amount-sat")),
+            nextParams: parseAssignments(getMultiArgs("next-param")),
+            propagationMode: getArg("propagation-mode"),
+            nextArtifactPath: getArg("next-artifact"),
+            nextOutputHash: getArg("next-output-hash") || undefined,
+            nextOutputForm: parsePolicyOutputForm(),
+            nextRawOutput: parseRawOutputFields(),
+            outputBindingMode: getArg("output-binding-mode"),
+            wallet: requireArg("wallet"),
+            signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
+            feeSat: getArg("fee-sat") ? Number(getArg("fee-sat")) : undefined,
+            utxoPolicy: getArg("utxo-policy"),
+        });
+        const inspectOutputBinding = result.prepared.verificationReport.outputBinding;
+        printJson({
+            summary: {
+                mode: result.mode,
+                enforcement: result.prepared.verificationReport.enforcement,
+                propagationMode: result.prepared.verificationReport.propagationMode,
+                plainExitAllowed: result.prepared.verificationReport.plainExitAllowed,
+                nextPolicyRequired: result.prepared.verificationReport.nextPolicyRequired,
+                nextPolicyPresent: result.prepared.verificationReport.nextPolicyPresent,
+                outputBinding: inspectOutputBinding ?? null,
+                summaryHash: result.inspect.summaryHash,
+            },
+            summaryText: formatPolicyInspectOrExecuteSummary({
+                mode: result.mode,
+                propagationMode: result.prepared.verificationReport.propagationMode,
+                enforcement: result.prepared.verificationReport.enforcement,
+                plainExitAllowed: result.prepared.verificationReport.plainExitAllowed,
+                nextPolicyRequired: result.prepared.verificationReport.nextPolicyRequired,
+                nextPolicyPresent: result.prepared.verificationReport.nextPolicyPresent,
+                outputBinding: inspectOutputBinding,
+                summaryHash: result.inspect.summaryHash,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "policy" && subcommand === "execute-transfer") {
+        const result = await sdk.policies.executeTransfer({
+            currentArtifactPath: requireArg("current-artifact"),
+            template: parsePolicyTemplateInput(),
+            currentStatePath: getArg("current-state-json"),
+            currentStateValue: getArg("current-state-value") ? JSON.parse(getArg("current-state-value")) : undefined,
+            nextReceiver: parsePolicyReceiver("next"),
+            nextAmountSat: Number(requireArg("next-amount-sat")),
+            nextParams: parseAssignments(getMultiArgs("next-param")),
+            propagationMode: getArg("propagation-mode"),
+            nextArtifactPath: getArg("next-artifact"),
+            nextOutputHash: getArg("next-output-hash") || undefined,
+            nextOutputForm: parsePolicyOutputForm(),
+            nextRawOutput: parseRawOutputFields(),
+            outputBindingMode: getArg("output-binding-mode"),
+            wallet: requireArg("wallet"),
+            signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
+            feeSat: getArg("fee-sat") ? Number(getArg("fee-sat")) : undefined,
+            broadcast: hasFlag("broadcast"),
+            utxoPolicy: getArg("utxo-policy"),
+        });
+        const executeOutputBinding = result.prepared.verificationReport.outputBinding;
+        printJson({
+            summary: {
+                mode: result.mode,
+                enforcement: result.prepared.verificationReport.enforcement,
+                propagationMode: result.prepared.verificationReport.propagationMode,
+                plainExitAllowed: result.prepared.verificationReport.plainExitAllowed,
+                nextPolicyRequired: result.prepared.verificationReport.nextPolicyRequired,
+                nextPolicyPresent: result.prepared.verificationReport.nextPolicyPresent,
+                outputBinding: executeOutputBinding ?? null,
+                summaryHash: result.execution.summaryHash,
+                txId: result.execution.txId ?? null,
+                broadcasted: result.execution.broadcasted,
+            },
+            summaryText: formatPolicyInspectOrExecuteSummary({
+                mode: result.mode,
+                propagationMode: result.prepared.verificationReport.propagationMode,
+                enforcement: result.prepared.verificationReport.enforcement,
+                plainExitAllowed: result.prepared.verificationReport.plainExitAllowed,
+                nextPolicyRequired: result.prepared.verificationReport.nextPolicyRequired,
+                nextPolicyPresent: result.prepared.verificationReport.nextPolicyPresent,
+                outputBinding: executeOutputBinding,
+                summaryHash: result.execution.summaryHash,
+                txId: result.execution.txId,
+                broadcasted: result.execution.broadcasted,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "policy" && subcommand === "export-evidence") {
+        const result = await sdk.policies.exportEvidence({
+            artifactPath: requireArg("artifact"),
+            template: parsePolicyTemplateInput(),
+            statePath: getArg("state-json"),
+            stateValue: getArg("state-value") ? JSON.parse(getArg("state-value")) : undefined,
+            transferDescriptorValue: getArg("transfer-value") ? JSON.parse(getArg("transfer-value")) : undefined,
+        });
+        printJson({
+            summary: {
+                templateHash: result.template.hash,
+                stateHash: result.state.hash,
+                transferHash: result.transfer?.hash ?? null,
+                enforcement: result.report.enforcement,
+                outputBinding: result.report.outputBinding ?? null,
+                sourceVerificationMode: result.sourceVerificationMode,
+            },
+            summaryText: formatPolicyEvidenceSummary({
+                templateHash: result.template.hash,
+                stateHash: result.state.hash,
+                transferHash: result.transfer?.hash ?? null,
+                enforcement: result.report.enforcement,
+                outputBinding: result.report.outputBinding ?? null,
+                sourceVerificationMode: result.sourceVerificationMode,
+            }),
+            ...result,
+        });
+        return;
+    }
     if (command === "presets" && subcommand === "list") {
         printJson((0, presets_1.listPresets)().map((preset) => (0, presets_1.describePreset)(preset)));
         return;
@@ -644,111 +1596,264 @@ async function main() {
         return;
     }
     if (command === "bond" && subcommand === "define") {
-        const result = await sdk.bonds.defineBond({
+        const result = await sdk.bonds.define({
             definitionPath: getArg("definition-json"),
             issuancePath: getArg("issuance-json"),
             simfPath: getArg("simf"),
             artifactPath: getArg("artifact"),
         });
-        printJson({ artifact: result.artifact, deployment: result.deployment() });
+        printJson({
+            artifact: result.artifact,
+            deployment: result.deployment(),
+            summary: {
+                artifactPath: getArg("artifact") ? node_path_1.default.resolve(getArg("artifact")) : undefined,
+                contractAddress: result.artifact.compiled.contractAddress,
+                cmr: result.artifact.compiled.cmr,
+                definitionHash: result.artifact.definition?.hash,
+                issuanceHash: result.artifact.state?.hash,
+            },
+            summaryText: formatBondDefinitionOrVerificationSummary({
+                artifactPath: getArg("artifact") ? node_path_1.default.resolve(getArg("artifact")) : undefined,
+                contractAddress: result.artifact.compiled.contractAddress,
+                cmr: result.artifact.compiled.cmr,
+                definitionHash: result.artifact.definition?.hash,
+                issuanceHash: result.artifact.state?.hash,
+            }),
+        });
+        return;
+    }
+    if (command === "bond" && subcommand === "issue") {
+        const result = await sdk.bonds.issue({
+            definitionPath: getArg("definition-json"),
+            issuancePath: getArg("issuance-json"),
+            simfPath: getArg("simf"),
+            artifactPath: getArg("artifact"),
+        });
+        printJson({
+            artifact: result.artifact,
+            deployment: result.deployment(),
+            summary: {
+                artifactPath: getArg("artifact") ? node_path_1.default.resolve(getArg("artifact")) : undefined,
+                contractAddress: result.artifact.compiled.contractAddress,
+                cmr: result.artifact.compiled.cmr,
+                definitionHash: result.artifact.definition?.hash,
+                issuanceHash: result.artifact.state?.hash,
+            },
+            summaryText: formatBondDefinitionOrVerificationSummary({
+                artifactPath: getArg("artifact") ? node_path_1.default.resolve(getArg("artifact")) : undefined,
+                contractAddress: result.artifact.compiled.contractAddress,
+                cmr: result.artifact.compiled.cmr,
+                definitionHash: result.artifact.definition?.hash,
+                issuanceHash: result.artifact.state?.hash,
+            }),
+        });
         return;
     }
     if (command === "bond" && subcommand === "verify") {
-        const result = await sdk.bonds.verifyBond({
+        const result = await sdk.bonds.verify({
             artifactPath: requireArg("artifact"),
             definitionPath: getArg("definition-json"),
             issuancePath: getArg("issuance-json"),
         });
-        printJson(result);
+        printJson({
+            ...result,
+            summary: {
+                artifactPath: node_path_1.default.resolve(requireArg("artifact")),
+                contractAddress: result.artifact.compiled.contractAddress,
+                cmr: result.artifact.compiled.cmr,
+                definitionHash: result.definition.definition.hash,
+                issuanceHash: result.issuance.state.hash,
+                definitionOk: result.definition.ok,
+                issuanceOk: result.issuance.ok,
+                principalInvariantValid: result.crossChecks.principalInvariantValid,
+                definitionTrustMode: result.definition.trust.effectiveMode,
+                issuanceTrustMode: result.issuance.trust.effectiveMode,
+            },
+            summaryText: formatBondDefinitionOrVerificationSummary({
+                artifactPath: node_path_1.default.resolve(requireArg("artifact")),
+                contractAddress: result.artifact.compiled.contractAddress,
+                cmr: result.artifact.compiled.cmr,
+                definitionHash: result.definition.definition.hash,
+                issuanceHash: result.issuance.state.hash,
+                definitionOk: result.definition.ok,
+                issuanceOk: result.issuance.ok,
+                principalInvariantValid: result.crossChecks.principalInvariantValid,
+                definitionTrustMode: result.definition.trust.effectiveMode,
+                issuanceTrustMode: result.issuance.trust.effectiveMode,
+            }),
+        });
         return;
     }
-    if (command === "bond" && subcommand === "redeem") {
-        const preview = await sdk.bonds.buildBondRedemption({
+    if (command === "bond" && subcommand === "prepare-redemption") {
+        const result = await sdk.bonds.prepareRedemption({
             definitionPath: getArg("definition-json"),
             previousIssuancePath: getArg("previous-issuance-json"),
             amount: Number(requireArg("amount")),
             redeemedAt: requireArg("redeemed-at"),
+            nextStateSimfPath: getArg("next-state-simf"),
+            nextAmountSat: Number(requireArg("next-amount-sat")),
+            maxFeeSat: getArg("max-fee-sat") ? Number(getArg("max-fee-sat")) : undefined,
+            nextOutputHash: getArg("next-output-hash") || undefined,
+            outputForm: parsePolicyOutputForm(),
+            rawOutput: parseRawOutputFields(),
+            outputBindingMode: getArg("output-binding-mode"),
         });
         const nextIssuanceOut = getArg("next-issuance-out");
         if (nextIssuanceOut) {
             const resolved = node_path_1.default.resolve(nextIssuanceOut);
             await (0, promises_1.mkdir)(node_path_1.default.dirname(resolved), { recursive: true });
-            await (0, promises_1.writeFile)(`${resolved}`, `${JSON.stringify(preview.next, null, 2)}\n`, "utf8");
+            await (0, promises_1.writeFile)(`${resolved}`, `${JSON.stringify(result.preview.next, null, 2)}\n`, "utf8");
         }
-        const result = await sdk.bonds.redeemBond({
-            definitionPath: getArg("definition-json"),
-            previousIssuancePath: getArg("previous-issuance-json"),
-            amount: Number(requireArg("amount")),
-            redeemedAt: requireArg("redeemed-at"),
-            simfPath: getArg("simf"),
-            artifactPath: getArg("artifact"),
-        });
         printJson({
-            artifact: result.artifact,
-            deployment: result.deployment(),
-            previousHash: preview.previousHash,
-            nextHash: preview.nextHash,
-            transition: preview.transition,
-            nextIssuanceState: preview.next,
+            ...result,
+            nextIssuanceState: result.preview.next,
             nextIssuanceOut: nextIssuanceOut ? node_path_1.default.resolve(nextIssuanceOut) : undefined,
+            summary: {
+                mode: result.settlement.descriptor.outputBindingMode,
+                nextStatus: result.preview.next.status,
+                descriptorHash: result.settlement.descriptorHash,
+                nextStateHash: result.settlement.nextStateHash,
+                nextContractAddress: result.settlement.nextContractAddress,
+                nextAmountSat: result.settlement.nextAmountSat,
+                supportedForm: result.settlement.supportedForm,
+                reasonCode: result.settlement.reasonCode,
+                autoDerived: result.settlement.autoDerivedNextOutputHash,
+                fallbackReason: result.settlement.fallbackReason,
+                nextOutputHash: result.settlement.expectedOutputDescriptor?.nextOutputHash,
+                bindingInputs: result.settlement.bindingInputs ?? null,
+            },
+            summaryText: formatBondRedemptionSummary({
+                phase: "prepare",
+                mode: result.settlement.descriptor.outputBindingMode ?? "none",
+                nextStatus: result.preview.next.status,
+                descriptorHash: result.settlement.descriptorHash,
+                nextStateHash: result.settlement.nextStateHash,
+                nextContractAddress: result.settlement.nextContractAddress,
+                nextAmountSat: result.settlement.nextAmountSat,
+                bindingMetadata: {
+                    bindingMode: result.settlement.descriptor.outputBindingMode,
+                    supportedForm: result.settlement.supportedForm,
+                    reasonCode: result.settlement.reasonCode,
+                    nextOutputHash: result.settlement.expectedOutputDescriptor?.nextOutputHash,
+                    autoDerived: result.settlement.autoDerivedNextOutputHash,
+                    fallbackReason: result.settlement.fallbackReason,
+                    bindingInputs: result.settlement.bindingInputs,
+                },
+            }),
         });
         return;
     }
-    if (command === "bond" && subcommand === "verify-transition") {
-        const result = await sdk.bonds.verifyBondTransition({
-            previousIssuancePath: getArg("previous-issuance-json"),
-            nextIssuancePath: getArg("next-issuance-json"),
-        });
-        printJson(result);
-        return;
-    }
-    if (command === "bond" && subcommand === "compile-transition") {
-        const result = await sdk.bonds.compileBondTransition({
+    if (command === "bond" && subcommand === "inspect-redemption") {
+        const result = await sdk.bonds.inspectRedemption({
+            currentArtifactPath: requireArg("current-artifact"),
             definitionPath: getArg("definition-json"),
             previousIssuancePath: getArg("previous-issuance-json"),
             nextIssuancePath: getArg("next-issuance-json"),
-            simfPath: getArg("simf"),
-            artifactPath: getArg("artifact"),
+            nextStateSimfPath: getArg("next-state-simf"),
+            machineSimfPath: getArg("machine-simf"),
+            machineArtifactPath: getArg("machine-artifact"),
+            nextAmountSat: getArg("next-amount-sat") ? Number(getArg("next-amount-sat")) : undefined,
+            maxFeeSat: getArg("max-fee-sat") ? Number(getArg("max-fee-sat")) : undefined,
+            nextOutputHash: getArg("next-output-hash") || undefined,
+            outputForm: parsePolicyOutputForm(),
+            rawOutput: parseRawOutputFields(),
+            outputBindingMode: getArg("output-binding-mode"),
+            wallet: requireArg("wallet"),
+            signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
+            feeSat: getArg("fee-sat") ? Number(getArg("fee-sat")) : undefined,
+            utxoPolicy: getArg("utxo-policy"),
         });
         printJson({
-            artifact: result.compiled.artifact,
-            deployment: result.compiled.deployment(),
-            previousHash: result.previousHash,
-            nextHash: result.nextHash,
-            transition: result.transition,
-            payload: result.payload,
+            ...result,
+            summary: {
+                mode: result.mode,
+                nextStatus: result.settlement.descriptor.nextStatus,
+                descriptorHash: result.settlement.descriptorHash,
+                nextStateHash: result.settlement.nextStateHash,
+                nextContractAddress: result.plan.nextContractAddress,
+                nextAmountSat: result.settlement.nextAmountSat,
+                summaryHash: result.inspect.summaryHash,
+            },
+            summaryText: formatBondRedemptionSummary({
+                phase: "inspect",
+                mode: result.mode,
+                nextStatus: result.settlement.descriptor.nextStatus,
+                descriptorHash: result.settlement.descriptorHash,
+                nextStateHash: result.settlement.nextStateHash,
+                nextContractAddress: result.plan.nextContractAddress,
+                nextAmountSat: result.settlement.nextAmountSat,
+                summaryHash: result.inspect.summaryHash,
+                bindingMetadata: {
+                    bindingMode: result.settlement.descriptor.outputBindingMode,
+                    supportedForm: result.settlement.supportedForm,
+                    reasonCode: result.settlement.reasonCode,
+                    nextOutputHash: result.settlement.expectedOutputDescriptor?.nextOutputHash,
+                    autoDerived: result.settlement.autoDerivedNextOutputHash,
+                    fallbackReason: result.settlement.fallbackReason,
+                    bindingInputs: result.settlement.bindingInputs,
+                },
+            }),
         });
         return;
     }
-    if (command === "bond" && subcommand === "compile-redemption-machine") {
-        const result = await sdk.bonds.compileBondRedemptionMachine({
+    if (command === "bond" && subcommand === "execute-redemption") {
+        const result = await sdk.bonds.executeRedemption({
+            currentArtifactPath: requireArg("current-artifact"),
             definitionPath: getArg("definition-json"),
             previousIssuancePath: getArg("previous-issuance-json"),
             nextIssuancePath: getArg("next-issuance-json"),
             nextStateSimfPath: getArg("next-state-simf"),
+            machineSimfPath: getArg("machine-simf"),
+            machineArtifactPath: getArg("machine-artifact"),
             nextAmountSat: getArg("next-amount-sat") ? Number(getArg("next-amount-sat")) : undefined,
             maxFeeSat: getArg("max-fee-sat") ? Number(getArg("max-fee-sat")) : undefined,
-            simfPath: getArg("simf"),
-            artifactPath: getArg("artifact"),
+            nextOutputHash: getArg("next-output-hash") || undefined,
+            outputForm: parsePolicyOutputForm(),
+            rawOutput: parseRawOutputFields(),
+            outputBindingMode: getArg("output-binding-mode"),
+            wallet: requireArg("wallet"),
+            signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
+            feeSat: getArg("fee-sat") ? Number(getArg("fee-sat")) : undefined,
+            utxoPolicy: getArg("utxo-policy"),
+            broadcast: hasFlag("broadcast"),
         });
         printJson({
-            artifact: result.compiled.artifact,
-            deployment: result.compiled.deployment(),
-            previousHash: result.previousHash,
-            nextHash: result.nextHash,
-            redeemAmount: result.redeemAmount,
-            transitionKind: result.transitionKind,
-            nextStateContractAddress: result.nextStateContractAddress,
-            nextStateContractAddressHash: result.nextStateContractAddressHash,
-            settlementDescriptor: result.settlementDescriptor,
-            settlementDescriptorHash: result.settlementDescriptorHash,
-            transition: result.transition,
-            payload: result.payload,
+            ...result,
+            summary: {
+                mode: result.mode,
+                nextStatus: result.settlement.descriptor.nextStatus,
+                descriptorHash: result.settlement.descriptorHash,
+                nextStateHash: result.settlement.nextStateHash,
+                nextContractAddress: result.plan.nextContractAddress,
+                nextAmountSat: result.settlement.nextAmountSat,
+                txId: result.execution.txId ?? null,
+                broadcasted: Boolean(result.execution.txId),
+            },
+            summaryText: formatBondRedemptionSummary({
+                phase: "execute",
+                mode: result.mode,
+                nextStatus: result.settlement.descriptor.nextStatus,
+                descriptorHash: result.settlement.descriptorHash,
+                nextStateHash: result.settlement.nextStateHash,
+                nextContractAddress: result.plan.nextContractAddress,
+                nextAmountSat: result.settlement.nextAmountSat,
+                txId: result.execution.txId,
+                broadcasted: Boolean(result.execution.txId),
+                bindingMetadata: {
+                    bindingMode: result.settlement.descriptor.outputBindingMode,
+                    supportedForm: result.settlement.supportedForm,
+                    reasonCode: result.settlement.reasonCode,
+                    nextOutputHash: result.settlement.expectedOutputDescriptor?.nextOutputHash,
+                    autoDerived: result.settlement.autoDerivedNextOutputHash,
+                    fallbackReason: result.settlement.fallbackReason,
+                    bindingInputs: result.settlement.bindingInputs,
+                },
+            }),
         });
         return;
     }
-    if (command === "bond" && subcommand === "verify-machine") {
-        const result = await sdk.bonds.verifyBondRedemptionMachineArtifact({
+    if (command === "bond" && subcommand === "verify-redemption") {
+        const result = await sdk.bonds.verifyRedemption({
             artifactPath: requireArg("artifact"),
             definitionPath: getArg("definition-json"),
             previousIssuancePath: getArg("previous-issuance-json"),
@@ -756,207 +1861,1068 @@ async function main() {
             nextStateSimfPath: getArg("next-state-simf"),
             nextAmountSat: getArg("next-amount-sat") ? Number(getArg("next-amount-sat")) : undefined,
             maxFeeSat: getArg("max-fee-sat") ? Number(getArg("max-fee-sat")) : undefined,
+            nextOutputHash: getArg("next-output-hash") || undefined,
+            outputForm: parsePolicyOutputForm(),
+            rawOutput: parseRawOutputFields(),
+            outputBindingMode: getArg("output-binding-mode"),
+        });
+        const outputBindingTrust = "outputBindingTrust" in result ? result.outputBindingTrust : undefined;
+        printJson({
+            ...result,
+            summary: {
+                verified: result.verified,
+                mode: result.mode,
+                descriptorHash: result.settlement.descriptorHash,
+                nextStateHash: result.settlement.nextStateHash,
+                nextAmountSat: result.settlement.nextAmountSat,
+                supportedForm: result.outputBindingMetadata?.supportedForm ?? null,
+                reasonCode: result.outputBindingMetadata?.reasonCode ?? null,
+                autoDerived: result.outputBindingMetadata?.autoDerived ?? null,
+                fallbackReason: result.outputBindingMetadata?.fallbackReason ?? null,
+                nextOutputHash: result.settlement.expectedOutputDescriptor?.nextOutputHash ?? null,
+                bindingInputs: result.outputBindingMetadata?.bindingInputs ?? null,
+                outputBindingTrust: outputBindingTrust ?? null,
+            },
+            summaryText: formatBondRedemptionSummary({
+                phase: "verify",
+                mode: result.mode,
+                descriptorHash: result.settlement.descriptorHash,
+                nextStateHash: result.settlement.nextStateHash,
+                nextAmountSat: result.settlement.nextAmountSat,
+                verified: result.verified,
+                bindingMetadata: {
+                    bindingMode: result.settlement.descriptor.outputBindingMode,
+                    supportedForm: result.outputBindingMetadata?.supportedForm,
+                    reasonCode: result.outputBindingMetadata?.reasonCode,
+                    nextOutputHash: result.settlement.expectedOutputDescriptor?.nextOutputHash,
+                    autoDerived: result.outputBindingMetadata?.autoDerived,
+                    fallbackReason: result.outputBindingMetadata?.fallbackReason,
+                    bindingInputs: result.outputBindingMetadata?.bindingInputs,
+                },
+                outputBindingTrust,
+            }),
         });
-        printJson(result);
         return;
     }
-    if (command === "bond" && subcommand === "settlement-payload") {
-        const result = await sdk.bonds.buildBondSettlementPayload({
+    if (command === "bond" && subcommand === "build-settlement") {
+        const result = await sdk.bonds.buildSettlement({
             definitionPath: getArg("definition-json"),
             previousIssuancePath: getArg("previous-issuance-json"),
             nextIssuancePath: getArg("next-issuance-json"),
             nextStateSimfPath: getArg("next-state-simf"),
+            nextOutputHash: getArg("next-output-hash") || undefined,
             nextAmountSat: Number(requireArg("next-amount-sat")),
             maxFeeSat: getArg("max-fee-sat") ? Number(getArg("max-fee-sat")) : undefined,
+            outputForm: parsePolicyOutputForm(),
+            rawOutput: parseRawOutputFields(),
+            outputBindingMode: getArg("output-binding-mode"),
+        });
+        printJson({
+            ...result,
+            summary: {
+                descriptorHash: result.descriptorHash,
+                bindingMode: result.descriptor.outputBindingMode,
+                previousStateHash: result.previousStateHash,
+                nextStateHash: result.nextStateHash,
+                nextContractAddress: result.nextContractAddress,
+                nextAmountSat: result.nextAmountSat,
+                maxFeeSat: result.maxFeeSat,
+                supportedForm: result.supportedForm,
+                reasonCode: result.reasonCode,
+                autoDerived: result.autoDerivedNextOutputHash,
+                fallbackReason: result.fallbackReason,
+                nextOutputHash: result.expectedOutputDescriptor?.nextOutputHash,
+                bindingInputs: result.bindingInputs ?? null,
+            },
+            summaryText: formatBondSettlementSummary({
+                descriptorHash: result.descriptorHash,
+                bindingMode: result.descriptor.outputBindingMode ?? "none",
+                previousStateHash: result.previousStateHash,
+                nextStateHash: result.nextStateHash,
+                nextContractAddress: result.nextContractAddress,
+                nextAmountSat: result.nextAmountSat,
+                maxFeeSat: result.maxFeeSat,
+                supportedForm: result.supportedForm,
+                reasonCode: result.reasonCode,
+                autoDerived: result.autoDerivedNextOutputHash,
+                fallbackReason: result.fallbackReason,
+                nextOutputHash: result.expectedOutputDescriptor?.nextOutputHash,
+                bindingInputs: result.bindingInputs ?? undefined,
+            }),
         });
-        printJson(result);
         return;
     }
     if (command === "bond" && subcommand === "verify-settlement") {
-        const result = await sdk.bonds.verifyBondSettlementDescriptor({
+        const result = await sdk.bonds.verifySettlement({
             descriptorPath: getArg("descriptor-json"),
             definitionPath: getArg("definition-json"),
             previousIssuancePath: getArg("previous-issuance-json"),
             nextIssuancePath: getArg("next-issuance-json"),
             nextStateSimfPath: getArg("next-state-simf"),
+            nextOutputHash: getArg("next-output-hash") || undefined,
             nextAmountSat: getArg("next-amount-sat") ? Number(getArg("next-amount-sat")) : undefined,
             maxFeeSat: getArg("max-fee-sat") ? Number(getArg("max-fee-sat")) : undefined,
+            outputForm: parsePolicyOutputForm(),
+            rawOutput: parseRawOutputFields(),
+        });
+        printJson({
+            ...result,
+            summary: {
+                ok: result.ok,
+                reason: result.reason,
+                descriptorHash: result.hash,
+                bindingMode: result.descriptor.outputBindingMode,
+                previousStateHash: result.descriptor.previousStateHash,
+                nextStateHash: result.descriptor.nextStateHash,
+                nextContractAddress: result.descriptor.nextContractAddress,
+                nextAmountSat: result.descriptor.nextAmountSat,
+                maxFeeSat: result.descriptor.maxFeeSat,
+                supportedForm: result.supportedForm,
+                reasonCode: result.reasonCode,
+                autoDerived: result.autoDerivedNextOutputHash,
+                fallbackReason: result.fallbackReason,
+                bindingInputs: result.bindingInputs ?? null,
+            },
+            summaryText: formatBondSettlementSummary({
+                ok: result.ok,
+                reason: result.reason,
+                descriptorHash: result.hash,
+                bindingMode: result.descriptor.outputBindingMode ?? "none",
+                previousStateHash: result.descriptor.previousStateHash,
+                nextStateHash: result.descriptor.nextStateHash,
+                nextContractAddress: result.descriptor.nextContractAddress,
+                nextAmountSat: result.descriptor.nextAmountSat,
+                maxFeeSat: result.descriptor.maxFeeSat,
+                supportedForm: result.supportedForm,
+                reasonCode: result.reasonCode,
+                autoDerived: result.autoDerivedNextOutputHash,
+                fallbackReason: result.fallbackReason,
+                bindingInputs: result.bindingInputs ?? undefined,
+            }),
         });
-        printJson(result);
         return;
     }
-    if (command === "bond" && subcommand === "plan-rollover") {
-        const result = await sdk.bonds.buildBondRolloverPlan({
-            currentArtifactPath: requireArg("current-artifact"),
+    if (command === "bond" && subcommand === "prepare-closing") {
+        const result = await sdk.bonds.prepareClosing({
             definitionPath: getArg("definition-json"),
-            previousIssuancePath: getArg("previous-issuance-json"),
-            nextIssuancePath: getArg("next-issuance-json"),
-            nextSimfPath: getArg("next-simf"),
-            nextArtifactPath: getArg("next-artifact"),
+            redeemedIssuancePath: getArg("redeemed-issuance-json"),
+            settlementDescriptorPath: getArg("settlement-descriptor-json"),
+            closedAt: requireArg("closed-at"),
+            closingReason: getArg("closing-reason"),
         });
         printJson({
-            currentArtifact: result.currentArtifact,
-            nextArtifact: result.nextCompiled.artifact,
-            nextDeployment: result.nextCompiled.deployment(),
-            nextContractAddress: result.nextContractAddress,
-            transitionPayload: result.transitionPayload,
+            ...result,
+            summary: {
+                closingHash: result.closingHash,
+                closedAt: result.closing.closedAt,
+                closingReason: result.closing.closingReason,
+                finalSettlementDescriptorHash: result.closing.finalSettlementDescriptorHash,
+            },
+            summaryText: formatBondClosingSummary({
+                phase: "prepare",
+                closingHash: result.closingHash,
+                closedAt: result.closing.closedAt,
+                closingReason: result.closing.closingReason,
+                finalSettlementDescriptorHash: result.closing.finalSettlementDescriptorHash,
+            }),
         });
         return;
     }
-    if (command === "bond" && subcommand === "plan-machine-rollover") {
-        const result = await sdk.bonds.buildBondMachineRolloverPlan({
+    if (command === "bond" && subcommand === "inspect-closing") {
+        const result = await sdk.bonds.inspectClosing({
             currentArtifactPath: requireArg("current-artifact"),
             definitionPath: getArg("definition-json"),
-            previousIssuancePath: getArg("previous-issuance-json"),
-            nextIssuancePath: getArg("next-issuance-json"),
-            nextStateSimfPath: getArg("next-state-simf"),
-            machineSimfPath: getArg("machine-simf"),
-            machineArtifactPath: getArg("machine-artifact"),
+            redeemedIssuancePath: getArg("redeemed-issuance-json"),
+            settlementDescriptorPath: getArg("settlement-descriptor-json"),
+            closedIssuanceSimfPath: getArg("closed-issuance-simf"),
+            closingArtifactPath: getArg("closing-artifact"),
+            closedAt: requireArg("closed-at"),
+            closingReason: getArg("closing-reason"),
+            wallet: requireArg("wallet"),
+            signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
+            feeSat: getArg("fee-sat") ? Number(getArg("fee-sat")) : undefined,
+            utxoPolicy: getArg("utxo-policy"),
         });
         printJson({
-            currentArtifact: result.currentArtifact,
-            machineArtifact: result.machineCompiled.compiled.artifact,
-            machineDeployment: result.machineCompiled.compiled.deployment(),
-            machineVerification: result.machineVerification,
-            nextContractAddress: result.nextContractAddress,
-            transitionPayload: result.transitionPayload,
+            ...result,
+            summary: {
+                closingHash: result.plan.closingHash,
+                closedAt: result.plan.closingDescriptor.closedAt,
+                closingReason: result.plan.closingDescriptor.closingReason,
+                finalSettlementDescriptorHash: result.plan.closingDescriptor.finalSettlementDescriptorHash,
+                summaryHash: result.inspect.summaryHash,
+            },
+            summaryText: formatBondClosingSummary({
+                phase: "inspect",
+                closingHash: result.plan.closingHash,
+                closedAt: result.plan.closingDescriptor.closedAt,
+                closingReason: result.plan.closingDescriptor.closingReason,
+                finalSettlementDescriptorHash: result.plan.closingDescriptor.finalSettlementDescriptorHash,
+                summaryHash: result.inspect.summaryHash,
+            }),
         });
         return;
     }
-    if (command === "bond" && subcommand === "inspect-rollover") {
-        const result = await sdk.bonds.inspectBondStateRollover({
+    if (command === "bond" && subcommand === "execute-closing") {
+        const result = await sdk.bonds.executeClosing({
             currentArtifactPath: requireArg("current-artifact"),
             definitionPath: getArg("definition-json"),
-            previousIssuancePath: getArg("previous-issuance-json"),
-            nextIssuancePath: getArg("next-issuance-json"),
-            nextSimfPath: getArg("next-simf"),
-            nextArtifactPath: getArg("next-artifact"),
+            redeemedIssuancePath: getArg("redeemed-issuance-json"),
+            settlementDescriptorPath: getArg("settlement-descriptor-json"),
+            closedIssuanceSimfPath: getArg("closed-issuance-simf"),
+            closingArtifactPath: getArg("closing-artifact"),
+            closedAt: requireArg("closed-at"),
+            closingReason: getArg("closing-reason"),
             wallet: requireArg("wallet"),
             signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
             feeSat: getArg("fee-sat") ? Number(getArg("fee-sat")) : undefined,
             utxoPolicy: getArg("utxo-policy"),
+            broadcast: hasFlag("broadcast"),
+        });
+        printJson({
+            ...result,
+            summary: {
+                closingHash: result.plan.closingHash,
+                closedAt: result.plan.closingDescriptor.closedAt,
+                closingReason: result.plan.closingDescriptor.closingReason,
+                finalSettlementDescriptorHash: result.plan.closingDescriptor.finalSettlementDescriptorHash,
+                txId: result.execution.txId ?? null,
+                broadcasted: Boolean(result.execution.txId),
+            },
+            summaryText: formatBondClosingSummary({
+                phase: "execute",
+                closingHash: result.plan.closingHash,
+                closedAt: result.plan.closingDescriptor.closedAt,
+                closingReason: result.plan.closingDescriptor.closingReason,
+                finalSettlementDescriptorHash: result.plan.closingDescriptor.finalSettlementDescriptorHash,
+                txId: result.execution.txId,
+                broadcasted: Boolean(result.execution.txId),
+            }),
         });
-        printJson(result);
         return;
     }
-    if (command === "bond" && subcommand === "inspect-machine-rollover") {
-        const result = await sdk.bonds.inspectBondMachineRollover({
-            currentArtifactPath: requireArg("current-artifact"),
+    if (command === "bond" && subcommand === "verify-closing") {
+        const closedIssuancePath = getArg("closed-issuance-json");
+        const closedIssuanceValue = getArg("closed-issuance-value")
+            ? JSON.parse(getArg("closed-issuance-value"))
+            : undefined;
+        const closingDescriptorValue = getArg("closing-descriptor-value")
+            ? JSON.parse(getArg("closing-descriptor-value"))
+            : undefined;
+        const result = await sdk.bonds.verifyClosing({
             definitionPath: getArg("definition-json"),
-            previousIssuancePath: getArg("previous-issuance-json"),
-            nextIssuancePath: getArg("next-issuance-json"),
-            machineSimfPath: getArg("machine-simf"),
-            machineArtifactPath: getArg("machine-artifact"),
+            redeemedIssuancePath: getArg("redeemed-issuance-json"),
+            closedIssuancePath,
+            closedIssuanceValue,
+            settlementDescriptorPath: getArg("settlement-descriptor-json"),
+            closingDescriptorValue,
+        });
+        printJson({
+            ...result,
+            summary: {
+                verified: result.verified,
+                closedAt: result.closed.closedAt,
+                closingReason: result.closed.closingReason,
+                finalSettlementDescriptorHash: result.closed.finalSettlementDescriptorHash,
+                checks: result.checks,
+            },
+            summaryText: formatBondClosingSummary({
+                phase: "verify",
+                verified: result.verified,
+                closedAt: result.closed.closedAt,
+                closingReason: result.closed.closingReason,
+                finalSettlementDescriptorHash: result.closed.finalSettlementDescriptorHash,
+                checks: result.checks,
+            }),
+        });
+        return;
+    }
+    if (command === "bond" && subcommand === "export-evidence") {
+        const settlementDescriptorValue = getArg("settlement-descriptor-value")
+            ? JSON.parse(getArg("settlement-descriptor-value"))
+            : undefined;
+        const transitionValue = getArg("transition-value")
+            ? JSON.parse(getArg("transition-value"))
+            : undefined;
+        const result = await sdk.bonds.exportEvidence({
+            artifactPath: requireArg("artifact"),
+            definitionPath: getArg("definition-json"),
+            issuancePath: getArg("issuance-json"),
+            settlementDescriptorValue,
+            transitionValue,
+        });
+        printJson({
+            ...result,
+            summary: {
+                definitionHash: result.definition.hash,
+                issuanceHash: result.issuance.hash,
+                settlementHash: result.settlement?.hash ?? null,
+                closingHash: result.closing?.hash ?? null,
+                renderedSourceHash: result.renderedSourceHash ?? null,
+                sourceVerificationMode: result.sourceVerificationMode,
+            },
+            summaryText: formatBondEvidenceSummary({
+                definitionHash: result.definition.hash,
+                issuanceHash: result.issuance.hash,
+                settlementHash: result.settlement?.hash ?? null,
+                closingHash: result.closing?.hash ?? null,
+                renderedSourceHash: result.renderedSourceHash ?? null,
+                sourceVerificationMode: result.sourceVerificationMode,
+            }),
+        });
+        return;
+    }
+    if (command === "bond" && subcommand === "export-finality-payload") {
+        const settlementDescriptorValue = getArg("settlement-descriptor-value")
+            ? JSON.parse(getArg("settlement-descriptor-value"))
+            : undefined;
+        const closingDescriptorValue = getArg("closing-descriptor-value")
+            ? JSON.parse(getArg("closing-descriptor-value"))
+            : undefined;
+        const result = await sdk.bonds.exportFinalityPayload({
+            artifactPath: requireArg("artifact"),
+            definitionPath: getArg("definition-json"),
+            issuancePath: getArg("issuance-json"),
+            settlementDescriptorValue,
+            closingDescriptorValue,
+        });
+        printJson({
+            ...result,
+            summary: {
+                bondId: result.payload.bondId,
+                issuanceId: result.payload.issuanceId,
+                definitionHash: result.payload.definitionHash,
+                issuanceStateHash: result.payload.issuanceStateHash,
+                settlementDescriptorHash: result.evidenceSummary.settlementHash,
+                closingDescriptorHash: result.evidenceSummary.closingHash,
+                contractAddress: result.payload.contractAddress,
+                cmr: result.payload.cmr,
+                bindingMode: result.bindingMode,
+            },
+            summaryText: formatBondFinalityPayloadSummary({
+                bondId: result.payload.bondId,
+                issuanceId: result.payload.issuanceId,
+                definitionHash: result.payload.definitionHash,
+                issuanceStateHash: result.payload.issuanceStateHash,
+                settlementDescriptorHash: result.evidenceSummary.settlementHash,
+                closingDescriptorHash: result.evidenceSummary.closingHash,
+                contractAddress: result.payload.contractAddress,
+                cmr: result.payload.cmr,
+                bindingMode: result.bindingMode,
+            }),
+        });
+        return;
+    }
+    if (command === "fund" && subcommand === "define") {
+        const result = await sdk.funds.define({
+            definitionPath: getArg("definition-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+        });
+        printJson({
+            summaryText: formatFundDefinitionSummary({
+                ok: result.ok,
+                fundId: result.definitionValue.fundId,
+                managerEntityId: result.definitionValue.managerEntityId,
+                currencyAssetId: result.definitionValue.currencyAssetId,
+                jurisdiction: result.definitionValue.jurisdiction,
+                vintage: result.definitionValue.vintage,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "fund" && subcommand === "verify") {
+        const result = await sdk.funds.verify({
+            definitionPath: getArg("definition-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+        });
+        printJson({
+            summaryText: formatFundDefinitionSummary({
+                ok: result.ok,
+                fundId: result.definitionValue.fundId,
+                managerEntityId: result.definitionValue.managerEntityId,
+                currencyAssetId: result.definitionValue.currencyAssetId,
+                jurisdiction: result.definitionValue.jurisdiction,
+                vintage: result.definitionValue.vintage,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "fund" && subcommand === "prepare-capital-call") {
+        const result = await sdk.funds.prepareCapitalCall({
+            definitionPath: getArg("definition-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            capitalCallPath: getArg("capital-call-json"),
+            capitalCallValue: getArg("capital-call-value") ? JSON.parse(getArg("capital-call-value")) : undefined,
+            openSimfPath: getArg("open-simf") ?? getArg("simf"),
+            refundOnlySimfPath: getArg("refund-only-simf"),
+            openArtifactPath: getArg("open-artifact") ?? getArg("artifact"),
+            refundOnlyArtifactPath: getArg("refund-only-artifact"),
+        });
+        printJson({
+            summary: {
+                callId: result.capitalCallValue.callId,
+                status: result.capitalCallValue.status,
+                amount: result.capitalCallValue.amount,
+                assetId: result.capitalCallValue.currencyAssetId,
+                openContractAddress: result.openCompiled.deployment().contractAddress,
+                refundOnlyContractAddress: result.refundOnlyCompiled.deployment().contractAddress,
+            },
+            summaryText: formatFundCapitalCallSummary({
+                phase: "prepare",
+                callId: result.capitalCallValue.callId,
+                status: result.capitalCallValue.status,
+                amount: result.capitalCallValue.amount,
+                assetId: result.capitalCallValue.currencyAssetId,
+                contractAddress: result.openCompiled.deployment().contractAddress,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "fund" && subcommand === "verify-capital-call") {
+        const result = await sdk.funds.verifyCapitalCall({
+            artifactPath: getArg("artifact"),
+            definitionPath: getArg("definition-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            capitalCallPath: getArg("capital-call-json"),
+            capitalCallValue: getArg("capital-call-value") ? JSON.parse(getArg("capital-call-value")) : undefined,
+        });
+        printJson({
+            summary: {
+                ok: result.ok,
+                reason: result.reason,
+                callId: result.capitalCallValue.callId,
+                status: result.capitalCallValue.status,
+                amount: result.capitalCallValue.amount,
+                assetId: result.capitalCallValue.currencyAssetId,
+            },
+            summaryText: formatFundCapitalCallSummary({
+                phase: "verify",
+                ok: result.ok,
+                reason: result.reason,
+                callId: result.capitalCallValue.callId,
+                status: result.capitalCallValue.status,
+                amount: result.capitalCallValue.amount,
+                assetId: result.capitalCallValue.currencyAssetId,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "fund" && subcommand === "inspect-capital-call-claim") {
+        const result = await sdk.funds.inspectCapitalCallClaim({
+            artifactPath: requireArg("artifact"),
+            definitionPath: getArg("definition-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            capitalCallPath: getArg("capital-call-json"),
+            capitalCallValue: getArg("capital-call-value") ? JSON.parse(getArg("capital-call-value")) : undefined,
+            payoutAddress: requireArg("payout-address"),
+            positionId: getArg("position-id"),
+            claimedAt: getArg("claimed-at"),
+            nextOutputHash: getArg("next-output-hash") || undefined,
+            outputForm: parsePolicyOutputForm(),
+            rawOutput: parseRawOutputFields(),
+            outputBindingMode: getArg("output-binding-mode"),
             wallet: requireArg("wallet"),
             signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
             feeSat: getArg("fee-sat") ? Number(getArg("fee-sat")) : undefined,
             utxoPolicy: getArg("utxo-policy"),
         });
-        printJson(result);
+        printJson({
+            summary: {
+                callId: result.verified.capitalCallValue.callId,
+                status: result.claimedCapitalCall.status,
+                amount: result.verified.capitalCallValue.amount,
+                assetId: result.verified.capitalCallValue.currencyAssetId,
+                summaryHash: result.inspect.summaryHash,
+                positionReceiptHash: result.report.receiptTrust?.positionReceiptHash ?? null,
+                positionReceiptEnvelopeHash: result.positionReceiptEnvelope ? result.positionReceiptEnvelopeSummary?.hash ?? null : null,
+                outputBinding: result.report.outputBindingTrust ?? null,
+            },
+            summaryText: formatFundCapitalCallSummary({
+                phase: "inspect-claim",
+                callId: result.verified.capitalCallValue.callId,
+                status: result.claimedCapitalCall.status,
+                amount: result.verified.capitalCallValue.amount,
+                assetId: result.verified.capitalCallValue.currencyAssetId,
+                summaryHash: result.inspect.summaryHash,
+                positionReceiptHash: result.report.receiptTrust?.positionReceiptHash,
+                outputBinding: result.report.outputBindingTrust,
+            }),
+            ...result,
+        });
         return;
     }
-    if (command === "bond" && subcommand === "execute-rollover") {
-        const result = await sdk.bonds.executeBondStateRollover({
-            currentArtifactPath: requireArg("current-artifact"),
+    if (command === "fund" && subcommand === "execute-capital-call-claim") {
+        const result = await sdk.funds.executeCapitalCallClaim({
+            artifactPath: requireArg("artifact"),
             definitionPath: getArg("definition-json"),
-            previousIssuancePath: getArg("previous-issuance-json"),
-            nextIssuancePath: getArg("next-issuance-json"),
-            nextSimfPath: getArg("next-simf"),
-            nextArtifactPath: getArg("next-artifact"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            capitalCallPath: getArg("capital-call-json"),
+            capitalCallValue: getArg("capital-call-value") ? JSON.parse(getArg("capital-call-value")) : undefined,
+            payoutAddress: requireArg("payout-address"),
+            positionId: getArg("position-id"),
+            claimedAt: getArg("claimed-at"),
+            nextOutputHash: getArg("next-output-hash") || undefined,
+            outputForm: parsePolicyOutputForm(),
+            rawOutput: parseRawOutputFields(),
+            outputBindingMode: getArg("output-binding-mode"),
             wallet: requireArg("wallet"),
             signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
             feeSat: getArg("fee-sat") ? Number(getArg("fee-sat")) : undefined,
             utxoPolicy: getArg("utxo-policy"),
             broadcast: hasFlag("broadcast"),
         });
-        printJson(result);
+        printJson({
+            summary: {
+                callId: result.verified.capitalCallValue.callId,
+                status: result.claimedCapitalCall.status,
+                amount: result.verified.capitalCallValue.amount,
+                assetId: result.verified.capitalCallValue.currencyAssetId,
+                txId: result.execution.txId ?? null,
+                broadcasted: result.execution.broadcasted,
+                positionReceiptHash: result.report.receiptTrust?.positionReceiptHash ?? null,
+                outputBinding: result.report.outputBindingTrust ?? null,
+            },
+            summaryText: formatFundCapitalCallSummary({
+                phase: "execute-claim",
+                callId: result.verified.capitalCallValue.callId,
+                status: result.claimedCapitalCall.status,
+                amount: result.verified.capitalCallValue.amount,
+                assetId: result.verified.capitalCallValue.currencyAssetId,
+                txId: result.execution.txId,
+                broadcasted: result.execution.broadcasted,
+                positionReceiptHash: result.report.receiptTrust?.positionReceiptHash,
+                outputBinding: result.report.outputBindingTrust,
+            }),
+            ...result,
+        });
         return;
     }
-    if (command === "bond" && subcommand === "execute-machine-rollover") {
-        const result = await sdk.bonds.executeBondMachineRollover({
-            currentArtifactPath: requireArg("current-artifact"),
+    if (command === "fund" && subcommand === "inspect-capital-call-rollover") {
+        const result = await sdk.funds.inspectCapitalCallRollover({
+            artifactPath: requireArg("artifact"),
+            refundOnlyArtifactPath: requireArg("refund-only-artifact"),
             definitionPath: getArg("definition-json"),
-            previousIssuancePath: getArg("previous-issuance-json"),
-            nextIssuancePath: getArg("next-issuance-json"),
-            machineSimfPath: getArg("machine-simf"),
-            machineArtifactPath: getArg("machine-artifact"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            capitalCallPath: getArg("capital-call-json"),
+            capitalCallValue: getArg("capital-call-value") ? JSON.parse(getArg("capital-call-value")) : undefined,
             wallet: requireArg("wallet"),
             signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
             feeSat: getArg("fee-sat") ? Number(getArg("fee-sat")) : undefined,
             utxoPolicy: getArg("utxo-policy"),
-            broadcast: hasFlag("broadcast"),
         });
-        printJson(result);
+        printJson({
+            summary: {
+                callId: result.verified.capitalCallValue.callId,
+                status: result.rolledOverCapitalCall.status,
+                amount: result.verified.capitalCallValue.amount,
+                assetId: result.verified.capitalCallValue.currencyAssetId,
+                summaryHash: result.inspect.summaryHash,
+                refundOnlyContractAddress: result.refundOnlyArtifact.compiled.contractAddress,
+            },
+            summaryText: formatFundCapitalCallSummary({
+                phase: "inspect-rollover",
+                callId: result.verified.capitalCallValue.callId,
+                status: result.rolledOverCapitalCall.status,
+                amount: result.verified.capitalCallValue.amount,
+                assetId: result.verified.capitalCallValue.currencyAssetId,
+                summaryHash: result.inspect.summaryHash,
+                contractAddress: result.refundOnlyArtifact.compiled.contractAddress,
+            }),
+            ...result,
+        });
         return;
     }
-    if (command === "bond" && subcommand === "plan-machine-settlement") {
-        const result = await sdk.bonds.buildBondMachineSettlementPlan({
-            currentMachineArtifactPath: requireArg("current-machine-artifact"),
+    if (command === "fund" && subcommand === "execute-capital-call-rollover") {
+        const result = await sdk.funds.executeCapitalCallRollover({
+            artifactPath: requireArg("artifact"),
+            refundOnlyArtifactPath: requireArg("refund-only-artifact"),
             definitionPath: getArg("definition-json"),
-            previousIssuancePath: getArg("previous-issuance-json"),
-            nextIssuancePath: getArg("next-issuance-json"),
-            nextSimfPath: getArg("next-simf"),
-            nextArtifactPath: getArg("next-artifact"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            capitalCallPath: getArg("capital-call-json"),
+            capitalCallValue: getArg("capital-call-value") ? JSON.parse(getArg("capital-call-value")) : undefined,
+            wallet: requireArg("wallet"),
+            signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
+            feeSat: getArg("fee-sat") ? Number(getArg("fee-sat")) : undefined,
+            utxoPolicy: getArg("utxo-policy"),
+            broadcast: hasFlag("broadcast"),
         });
         printJson({
-            currentMachineArtifact: result.currentMachineArtifact,
-            machineVerification: result.machineVerification,
-            nextArtifact: result.nextCompiled.artifact,
-            nextDeployment: result.nextCompiled.deployment(),
-            nextContractAddress: result.nextContractAddress,
-            transitionPayload: result.transitionPayload,
+            summary: {
+                callId: result.verified.capitalCallValue.callId,
+                status: result.rolledOverCapitalCall.status,
+                amount: result.verified.capitalCallValue.amount,
+                assetId: result.verified.capitalCallValue.currencyAssetId,
+                txId: result.execution.txId ?? null,
+                broadcasted: result.execution.broadcasted,
+                refundOnlyContractAddress: result.refundOnlyArtifact.compiled.contractAddress,
+            },
+            summaryText: formatFundCapitalCallSummary({
+                phase: "execute-rollover",
+                callId: result.verified.capitalCallValue.callId,
+                status: result.rolledOverCapitalCall.status,
+                amount: result.verified.capitalCallValue.amount,
+                assetId: result.verified.capitalCallValue.currencyAssetId,
+                txId: result.execution.txId,
+                broadcasted: result.execution.broadcasted,
+                contractAddress: result.refundOnlyArtifact.compiled.contractAddress,
+            }),
+            ...result,
         });
         return;
     }
-    if (command === "bond" && subcommand === "inspect-machine-settlement") {
-        const result = await sdk.bonds.inspectBondMachineSettlement({
-            currentMachineArtifactPath: requireArg("current-machine-artifact"),
+    if (command === "fund" && subcommand === "inspect-capital-call-refund") {
+        const result = await sdk.funds.inspectCapitalCallRefund({
+            artifactPath: requireArg("artifact"),
             definitionPath: getArg("definition-json"),
-            previousIssuancePath: getArg("previous-issuance-json"),
-            nextIssuancePath: getArg("next-issuance-json"),
-            nextSimfPath: getArg("next-simf"),
-            nextArtifactPath: getArg("next-artifact"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            capitalCallPath: getArg("capital-call-json"),
+            capitalCallValue: getArg("capital-call-value") ? JSON.parse(getArg("capital-call-value")) : undefined,
+            refundAddress: requireArg("refund-address"),
+            refundedAt: getArg("refunded-at"),
             wallet: requireArg("wallet"),
             signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
             feeSat: getArg("fee-sat") ? Number(getArg("fee-sat")) : undefined,
             utxoPolicy: getArg("utxo-policy"),
         });
-        printJson(result);
+        printJson({
+            summary: {
+                callId: result.verified.capitalCallValue.callId,
+                status: result.refundedCapitalCall.status,
+                amount: result.verified.capitalCallValue.amount,
+                assetId: result.verified.capitalCallValue.currencyAssetId,
+                summaryHash: result.inspect.summaryHash,
+            },
+            summaryText: formatFundCapitalCallSummary({
+                phase: "inspect-refund",
+                callId: result.verified.capitalCallValue.callId,
+                status: result.refundedCapitalCall.status,
+                amount: result.verified.capitalCallValue.amount,
+                assetId: result.verified.capitalCallValue.currencyAssetId,
+                summaryHash: result.inspect.summaryHash,
+            }),
+            ...result,
+        });
         return;
     }
-    if (command === "bond" && subcommand === "execute-machine-settlement") {
-        const result = await sdk.bonds.executeBondMachineSettlement({
-            currentMachineArtifactPath: requireArg("current-machine-artifact"),
+    if (command === "fund" && subcommand === "execute-capital-call-refund") {
+        const result = await sdk.funds.executeCapitalCallRefund({
+            artifactPath: requireArg("artifact"),
             definitionPath: getArg("definition-json"),
-            previousIssuancePath: getArg("previous-issuance-json"),
-            nextIssuancePath: getArg("next-issuance-json"),
-            nextSimfPath: getArg("next-simf"),
-            nextArtifactPath: getArg("next-artifact"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            capitalCallPath: getArg("capital-call-json"),
+            capitalCallValue: getArg("capital-call-value") ? JSON.parse(getArg("capital-call-value")) : undefined,
+            refundAddress: requireArg("refund-address"),
+            refundedAt: getArg("refunded-at"),
             wallet: requireArg("wallet"),
             signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
             feeSat: getArg("fee-sat") ? Number(getArg("fee-sat")) : undefined,
             utxoPolicy: getArg("utxo-policy"),
             broadcast: hasFlag("broadcast"),
         });
-        printJson(result);
+        printJson({
+            summary: {
+                callId: result.verified.capitalCallValue.callId,
+                status: result.refundedCapitalCall.status,
+                amount: result.verified.capitalCallValue.amount,
+                assetId: result.verified.capitalCallValue.currencyAssetId,
+                txId: result.execution.txId ?? null,
+                broadcasted: result.execution.broadcasted,
+            },
+            summaryText: formatFundCapitalCallSummary({
+                phase: "execute-refund",
+                callId: result.verified.capitalCallValue.callId,
+                status: result.refundedCapitalCall.status,
+                amount: result.verified.capitalCallValue.amount,
+                assetId: result.verified.capitalCallValue.currencyAssetId,
+                txId: result.execution.txId,
+                broadcasted: result.execution.broadcasted,
+            }),
+            ...result,
+        });
         return;
     }
-    if (command === "bond" && subcommand === "transition-payload") {
-        const result = await sdk.bonds.buildBondTransitionPayload({
+    if (command === "fund" && subcommand === "prepare-distribution") {
+        const result = await sdk.funds.prepareDistribution({
             definitionPath: getArg("definition-json"),
-            previousIssuancePath: getArg("previous-issuance-json"),
-            nextIssuancePath: getArg("next-issuance-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            positionReceiptPath: getArg("position-receipt-json"),
+            positionReceiptValue: getArg("position-receipt-value") ? JSON.parse(getArg("position-receipt-value")) : undefined,
+            distributionPath: getArg("distribution-json"),
+            distributionValue: getArg("distribution-value") ? JSON.parse(getArg("distribution-value")) : undefined,
+            distributionId: getArg("distribution-id"),
+            assetId: getArg("asset-id"),
+            amountSat: getArg("amount-sat") ? Number(getArg("amount-sat")) : undefined,
+            approvedAt: getArg("approved-at"),
+            simfPath: getArg("simf"),
+            artifactPath: getArg("artifact"),
+        });
+        printJson({
+            summary: {
+                distributionId: result.distributionValue.distributionId,
+                positionId: result.distributionValue.positionId,
+                amountSat: result.distributionValue.amountSat,
+                assetId: result.distributionValue.assetId,
+                contractAddress: result.compiled.deployment().contractAddress,
+            },
+            summaryText: formatFundDistributionSummary({
+                phase: "prepare",
+                distributionId: result.distributionValue.distributionId,
+                positionId: result.distributionValue.positionId,
+                amountSat: result.distributionValue.amountSat,
+                assetId: result.distributionValue.assetId,
+                contractAddress: result.compiled.deployment().contractAddress,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "fund" && subcommand === "sign-position-receipt") {
+        const result = await sdk.funds.signPositionReceipt({
+            definitionPath: getArg("definition-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            positionReceiptPath: getArg("position-receipt-json"),
+            positionReceiptValue: getArg("position-receipt-value") ? JSON.parse(getArg("position-receipt-value")) : undefined,
+            signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
+            signedAt: getArg("signed-at"),
+        });
+        printJson({
+            summary: {
+                positionId: result.positionReceiptValue.positionId,
+                sequence: result.positionReceiptEnvelope.receipt.sequence,
+                receiptHash: result.positionReceiptSummary.hash,
+                envelopeHash: result.positionReceiptEnvelopeSummary.hash,
+            },
+            summaryText: [
+                `positionId=${result.positionReceiptValue.positionId}`,
+                `sequence=${result.positionReceiptEnvelope.receipt.sequence}`,
+                `receiptHash=${result.positionReceiptSummary.hash}`,
+                `envelopeHash=${result.positionReceiptEnvelopeSummary.hash}`,
+            ].join("\n"),
+            ...result,
+        });
+        return;
+    }
+    if (command === "fund" && subcommand === "verify-position-receipt") {
+        const result = await sdk.funds.verifyPositionReceipt({
+            definitionPath: getArg("definition-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            positionReceiptPath: getArg("position-receipt-json"),
+            positionReceiptValue: getArg("position-receipt-value") ? JSON.parse(getArg("position-receipt-value")) : undefined,
+        });
+        printJson({
+            summary: {
+                verified: result.verified,
+                positionId: result.positionReceiptValue.receipt.positionId,
+                sequence: result.positionReceiptValue.receipt.sequence,
+                receiptHash: result.positionReceiptSummary.hash,
+                envelopeHash: result.positionReceiptEnvelopeSummary.hash,
+            },
+            summaryText: [
+                `verified=${result.verified}`,
+                `positionId=${result.positionReceiptValue.receipt.positionId}`,
+                `sequence=${result.positionReceiptValue.receipt.sequence}`,
+                `receiptHash=${result.positionReceiptSummary.hash}`,
+                `envelopeHash=${result.positionReceiptEnvelopeSummary.hash}`,
+            ].join("\n"),
+            ...result,
         });
-        printJson(result);
         return;
     }
-    if (command === "bond" && subcommand === "payload") {
-        const result = await sdk.bonds.buildBondPayload({
+    if (command === "fund" && subcommand === "reconcile-position") {
+        const distributionJsons = getMultiArgs("distribution-json");
+        const distributionValues = getMultiArgs("distribution-value").map((value) => JSON.parse(value));
+        const result = await sdk.funds.reconcilePosition({
+            definitionPath: getArg("definition-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            positionReceiptPath: getArg("position-receipt-json"),
+            positionReceiptValue: getArg("position-receipt-value") ? JSON.parse(getArg("position-receipt-value")) : undefined,
+            distributionPaths: distributionJsons.length > 0 ? distributionJsons : undefined,
+            distributionValues: distributionValues.length > 0 ? distributionValues : undefined,
+            signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
+            signedAt: getArg("signed-at"),
+        });
+        printJson({
+            summary: {
+                positionId: result.reconciledReceiptValue.positionId,
+                distributionCount: result.distributionCount,
+                distributedAmount: result.totalDistributedAmount,
+                fundedAmount: result.reconciledReceiptValue.fundedAmount,
+                status: result.reconciledReceiptValue.status,
+                receiptHash: result.reconciledReceiptSummary.hash,
+                sequence: result.reconciledReceiptValue.sequence,
+                envelopeHash: result.reconciledReceiptEnvelopeSummary.hash,
+            },
+            summaryText: formatFundReceiptReconcileSummary({
+                positionId: result.reconciledReceiptValue.positionId,
+                distributionCount: result.distributionCount,
+                distributedAmount: result.totalDistributedAmount,
+                fundedAmount: result.reconciledReceiptValue.fundedAmount,
+                status: result.reconciledReceiptValue.status,
+                receiptHash: result.reconciledReceiptSummary.hash,
+                sequence: result.reconciledReceiptValue.sequence,
+                envelopeHash: result.reconciledReceiptEnvelopeSummary.hash,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "fund" && subcommand === "verify-distribution") {
+        const result = await sdk.funds.verifyDistribution({
+            artifactPath: getArg("artifact"),
+            definitionPath: getArg("definition-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            positionReceiptPath: getArg("position-receipt-json"),
+            positionReceiptValue: getArg("position-receipt-value") ? JSON.parse(getArg("position-receipt-value")) : undefined,
+            distributionPath: getArg("distribution-json"),
+            distributionValue: getArg("distribution-value") ? JSON.parse(getArg("distribution-value")) : undefined,
+        });
+        printJson({
+            summary: {
+                ok: result.ok,
+                reason: result.reason,
+                distributionId: result.distributionValue.distributionId,
+                positionId: result.distributionValue.positionId,
+                amountSat: result.distributionValue.amountSat,
+                assetId: result.distributionValue.assetId,
+            },
+            summaryText: formatFundDistributionSummary({
+                phase: "verify",
+                ok: result.ok,
+                reason: result.reason,
+                distributionId: result.distributionValue.distributionId,
+                positionId: result.distributionValue.positionId,
+                amountSat: result.distributionValue.amountSat,
+                assetId: result.distributionValue.assetId,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "fund" && subcommand === "inspect-distribution-claim") {
+        const result = await sdk.funds.inspectDistributionClaim({
             artifactPath: requireArg("artifact"),
             definitionPath: getArg("definition-json"),
-            issuancePath: getArg("issuance-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            positionReceiptPath: getArg("position-receipt-json"),
+            positionReceiptValue: getArg("position-receipt-value") ? JSON.parse(getArg("position-receipt-value")) : undefined,
+            distributionPath: getArg("distribution-json"),
+            distributionValue: getArg("distribution-value") ? JSON.parse(getArg("distribution-value")) : undefined,
+            payoutAddress: requireArg("payout-address"),
+            nextOutputHash: getArg("next-output-hash") || undefined,
+            outputForm: parsePolicyOutputForm(),
+            rawOutput: parseRawOutputFields(),
+            outputBindingMode: getArg("output-binding-mode"),
+            wallet: requireArg("wallet"),
+            signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
+            feeSat: getArg("fee-sat") ? Number(getArg("fee-sat")) : undefined,
+            utxoPolicy: getArg("utxo-policy"),
+        });
+        printJson({
+            summary: {
+                distributionId: result.verified.distributionValue.distributionId,
+                positionId: result.verified.distributionValue.positionId,
+                amountSat: result.verified.distributionValue.amountSat,
+                assetId: result.verified.distributionValue.assetId,
+                summaryHash: result.inspect.summaryHash,
+                outputBinding: result.report.outputBindingTrust ?? null,
+            },
+            summaryText: formatFundDistributionSummary({
+                phase: "inspect-claim",
+                distributionId: result.verified.distributionValue.distributionId,
+                positionId: result.verified.distributionValue.positionId,
+                amountSat: result.verified.distributionValue.amountSat,
+                assetId: result.verified.distributionValue.assetId,
+                summaryHash: result.inspect.summaryHash,
+                outputBinding: result.report.outputBindingTrust,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "fund" && subcommand === "execute-distribution-claim") {
+        const result = await sdk.funds.executeDistributionClaim({
+            artifactPath: requireArg("artifact"),
+            definitionPath: getArg("definition-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            positionReceiptPath: getArg("position-receipt-json"),
+            positionReceiptValue: getArg("position-receipt-value") ? JSON.parse(getArg("position-receipt-value")) : undefined,
+            distributionPath: getArg("distribution-json"),
+            distributionValue: getArg("distribution-value") ? JSON.parse(getArg("distribution-value")) : undefined,
+            payoutAddress: requireArg("payout-address"),
+            nextOutputHash: getArg("next-output-hash") || undefined,
+            outputForm: parsePolicyOutputForm(),
+            rawOutput: parseRawOutputFields(),
+            outputBindingMode: getArg("output-binding-mode"),
+            wallet: requireArg("wallet"),
+            signer: { type: "schnorrPrivkeyHex", privkeyHex: requireArg("privkey") },
+            feeSat: getArg("fee-sat") ? Number(getArg("fee-sat")) : undefined,
+            utxoPolicy: getArg("utxo-policy"),
+            broadcast: hasFlag("broadcast"),
+        });
+        printJson({
+            summary: {
+                distributionId: result.verified.distributionValue.distributionId,
+                positionId: result.verified.distributionValue.positionId,
+                amountSat: result.verified.distributionValue.amountSat,
+                assetId: result.verified.distributionValue.assetId,
+                txId: result.execution.txId ?? null,
+                broadcasted: result.execution.broadcasted,
+                outputBinding: result.report.outputBindingTrust ?? null,
+            },
+            summaryText: formatFundDistributionSummary({
+                phase: "execute-claim",
+                distributionId: result.verified.distributionValue.distributionId,
+                positionId: result.verified.distributionValue.positionId,
+                amountSat: result.verified.distributionValue.amountSat,
+                assetId: result.verified.distributionValue.assetId,
+                txId: result.execution.txId,
+                broadcasted: result.execution.broadcasted,
+                outputBinding: result.report.outputBindingTrust,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "fund" && subcommand === "prepare-closing") {
+        const result = await sdk.funds.prepareClosing({
+            positionReceiptPath: getArg("position-receipt-json"),
+            positionReceiptValue: getArg("position-receipt-value") ? JSON.parse(getArg("position-receipt-value")) : undefined,
+            closingPath: getArg("closing-json"),
+            closingValue: getArg("closing-value") ? JSON.parse(getArg("closing-value")) : undefined,
+            closingId: getArg("closing-id"),
+            finalDistributionHashes: getMultiArgs("final-distribution-hash"),
+            closedAt: getArg("closed-at"),
+            closingReason: getArg("closing-reason"),
+        });
+        printJson({
+            summary: {
+                closingHash: result.closingHash,
+                closedAt: result.closingValue.closedAt,
+                closingReason: result.closingValue.closingReason,
+                positionId: result.closingValue.positionId,
+                distributionCount: result.closingValue.finalDistributionHashes.length,
+            },
+            summaryText: formatFundClosingSummary({
+                closingHash: result.closingHash,
+                closedAt: result.closingValue.closedAt,
+                closingReason: result.closingValue.closingReason,
+                positionId: result.closingValue.positionId,
+                distributionCount: result.closingValue.finalDistributionHashes.length,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "fund" && subcommand === "verify-closing") {
+        const result = await sdk.funds.verifyClosing({
+            positionReceiptPath: getArg("position-receipt-json"),
+            positionReceiptValue: getArg("position-receipt-value") ? JSON.parse(getArg("position-receipt-value")) : undefined,
+            closingPath: getArg("closing-json"),
+            closingValue: getArg("closing-value") ? JSON.parse(getArg("closing-value")) : undefined,
+        });
+        printJson({
+            summary: {
+                verified: result.verified,
+                closingHash: result.closingSummary.hash,
+                closedAt: result.closingValue.closedAt,
+                closingReason: result.closingValue.closingReason,
+                positionId: result.closingValue.positionId,
+                distributionCount: result.closingValue.finalDistributionHashes.length,
+            },
+            summaryText: formatFundClosingSummary({
+                ok: result.verified,
+                closingHash: result.closingSummary.hash,
+                closedAt: result.closingValue.closedAt,
+                closingReason: result.closingValue.closingReason,
+                positionId: result.closingValue.positionId,
+                distributionCount: result.closingValue.finalDistributionHashes.length,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "fund" && subcommand === "export-evidence") {
+        const result = await sdk.funds.exportEvidence({
+            artifactPath: getArg("artifact"),
+            definitionPath: getArg("definition-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            capitalCallPath: getArg("capital-call-json"),
+            capitalCallValue: getArg("capital-call-value") ? JSON.parse(getArg("capital-call-value")) : undefined,
+            positionReceiptPath: getArg("position-receipt-json"),
+            positionReceiptValue: getArg("position-receipt-value") ? JSON.parse(getArg("position-receipt-value")) : undefined,
+            distributionPath: getArg("distribution-json"),
+            distributionValue: getArg("distribution-value") ? JSON.parse(getArg("distribution-value")) : undefined,
+            closingPath: getArg("closing-json"),
+            closingValue: getArg("closing-value") ? JSON.parse(getArg("closing-value")) : undefined,
+            verificationReportValue: getArg("verification-report-value") ? JSON.parse(getArg("verification-report-value")) : undefined,
+        });
+        printJson({
+            summary: {
+                definitionHash: result.definition.hash,
+                capitalCallHash: result.capitalCall?.hash ?? null,
+                positionReceiptHash: result.positionReceipt?.hash ?? null,
+                distributionHash: result.distribution?.hash ?? null,
+                closingHash: result.closing?.hash ?? null,
+                sourceVerificationMode: result.sourceVerificationMode,
+            },
+            summaryText: formatFundEvidenceSummary({
+                definitionHash: result.definition.hash,
+                capitalCallHash: result.capitalCall?.hash ?? null,
+                positionReceiptHash: result.positionReceipt?.hash ?? null,
+                distributionHash: result.distribution?.hash ?? null,
+                closingHash: result.closing?.hash ?? null,
+                sourceVerificationMode: result.sourceVerificationMode,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "fund" && subcommand === "export-finality-payload") {
+        const result = await sdk.funds.exportFinalityPayload({
+            artifactPath: getArg("artifact"),
+            definitionPath: getArg("definition-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            capitalCallPath: getArg("capital-call-json"),
+            capitalCallValue: getArg("capital-call-value") ? JSON.parse(getArg("capital-call-value")) : undefined,
+            positionReceiptPath: getArg("position-receipt-json"),
+            positionReceiptValue: getArg("position-receipt-value") ? JSON.parse(getArg("position-receipt-value")) : undefined,
+            distributionPath: getArg("distribution-json"),
+            distributionValue: getArg("distribution-value") ? JSON.parse(getArg("distribution-value")) : undefined,
+            closingPath: getArg("closing-json"),
+            closingValue: getArg("closing-value") ? JSON.parse(getArg("closing-value")) : undefined,
+            verificationReportValue: getArg("verification-report-value") ? JSON.parse(getArg("verification-report-value")) : undefined,
+        });
+        printJson({
+            summary: {
+                fundId: result.fundId,
+                lpId: result.lpId,
+                callId: result.callId ?? null,
+                positionId: result.positionId ?? null,
+                definitionHash: result.definitionHash,
+                capitalCallStateHash: result.capitalCallStateHash ?? null,
+                positionReceiptHash: result.positionReceiptHash ?? null,
+                distributionHash: result.distributionHash ?? null,
+                closingHash: result.closingHash ?? null,
+                bindingMode: result.bindingMode,
+            },
+            summaryText: formatFundFinalitySummary({
+                fundId: result.fundId,
+                lpId: result.lpId,
+                callId: result.callId,
+                positionId: result.positionId,
+                definitionHash: result.definitionHash,
+                capitalCallStateHash: result.capitalCallStateHash,
+                positionReceiptHash: result.positionReceiptHash,
+                distributionHash: result.distributionHash,
+                closingHash: result.closingHash,
+                bindingMode: result.bindingMode,
+            }),
+            ...result,
         });
-        printJson(result);
         return;
     }
     if (command === "contract" && subcommand === "wait-funding") {