@hazbase/simplicity 0.1.1 → 0.2.1

package/dist/cli.js

@@ -35,6 +35,13 @@ function getMultiArgs(name) {
 function hasFlag(name) {
     return process.argv.includes(`--${name}`);
 }
+function parseJsonArg(name) {
+    const value = getArg(name);
+    return value ? JSON.parse(value) : undefined;
+}
+function parseJsonArgs(name) {
+    return getMultiArgs(name).map((value) => JSON.parse(value));
+}
 function requireArg(name) {
     const value = getArg(name);
     if (!value)
@@ -545,6 +552,20 @@ function formatBondEvidenceSummary(input) {
         input.closingHash ? `closingHash=${input.closingHash}` : undefined,
         input.renderedSourceHash ? `renderedSourceHash=${input.renderedSourceHash}` : undefined,
         input.sourceVerificationMode ? `sourceVerificationMode=${input.sourceVerificationMode}` : undefined,
+        input.lineageKind ? `lineageKind=${input.lineageKind}` : undefined,
+        input.latestOrdinal !== undefined && input.latestOrdinal !== null ? `latestOrdinal=${input.latestOrdinal}` : undefined,
+        input.allHashLinksVerified !== undefined && input.allHashLinksVerified !== null
+            ? `allHashLinksVerified=${input.allHashLinksVerified}`
+            : undefined,
+        input.identityConsistent !== undefined && input.identityConsistent !== null
+            ? `identityConsistent=${input.identityConsistent}`
+            : undefined,
+        input.fullLineageVerified !== undefined && input.fullLineageVerified !== null
+            ? `fullLineageVerified=${input.fullLineageVerified}`
+            : undefined,
+        input.fullHistoryVerified !== undefined && input.fullHistoryVerified !== null
+            ? `fullHistoryVerified=${input.fullHistoryVerified}`
+            : undefined,
     ]
         .filter(Boolean)
         .join("\n");
@@ -560,6 +581,36 @@ function formatBondFinalityPayloadSummary(input) {
         `contractAddress=${input.contractAddress}`,
         `cmr=${input.cmr}`,
         `bindingMode=${input.bindingMode}`,
+        input.lineageKind ? `lineageKind=${input.lineageKind}` : undefined,
+        input.latestOrdinal !== undefined && input.latestOrdinal !== null ? `latestOrdinal=${input.latestOrdinal}` : undefined,
+        input.allHashLinksVerified !== undefined && input.allHashLinksVerified !== null
+            ? `allHashLinksVerified=${input.allHashLinksVerified}`
+            : undefined,
+        input.identityConsistent !== undefined && input.identityConsistent !== null
+            ? `identityConsistent=${input.identityConsistent}`
+            : undefined,
+        input.fullLineageVerified !== undefined && input.fullLineageVerified !== null
+            ? `fullLineageVerified=${input.fullLineageVerified}`
+            : undefined,
+        input.fullHistoryVerified !== undefined && input.fullHistoryVerified !== null
+            ? `fullHistoryVerified=${input.fullHistoryVerified}`
+            : undefined,
+    ]
+        .filter(Boolean)
+        .join("\n");
+}
+function formatBondIssuanceHistorySummary(input) {
+    return [
+        input.verified !== undefined ? `verified=${input.verified}` : undefined,
+        `issuanceId=${input.issuanceId}`,
+        `chainLength=${input.chainLength}`,
+        input.latestStatus ? `latestStatus=${input.latestStatus}` : undefined,
+        input.latestOrdinal !== undefined && input.latestOrdinal !== null ? `latestOrdinal=${input.latestOrdinal}` : undefined,
+        `startsAtGenesis=${input.startsAtGenesis}`,
+        input.allHashLinksVerified !== undefined ? `allHashLinksVerified=${input.allHashLinksVerified}` : undefined,
+        input.identityConsistent !== undefined ? `identityConsistent=${input.identityConsistent}` : undefined,
+        input.fullLineageVerified !== undefined ? `fullLineageVerified=${input.fullLineageVerified}` : undefined,
+        `fullHistoryVerified=${input.fullHistoryVerified}`,
     ]
         .filter(Boolean)
         .join("\n");
@@ -660,11 +711,40 @@ function formatFundClosingSummary(input) {
         `closingReason=${input.closingReason}`,
         `positionId=${input.positionId}`,
         `distributionCount=${input.distributionCount}`,
+        input.continuityVerified !== undefined ? `continuityVerified=${input.continuityVerified}` : undefined,
+        input.lineageKind ? `lineageKind=${input.lineageKind}` : undefined,
+        input.latestOrdinal !== undefined && input.latestOrdinal !== null ? `latestOrdinal=${input.latestOrdinal}` : undefined,
+        input.allHashLinksVerified !== undefined && input.allHashLinksVerified !== null
+            ? `allHashLinksVerified=${input.allHashLinksVerified}`
+            : undefined,
+        input.identityConsistent !== undefined && input.identityConsistent !== null
+            ? `identityConsistent=${input.identityConsistent}`
+            : undefined,
+        input.fullLineageVerified !== undefined && input.fullLineageVerified !== null
+            ? `fullLineageVerified=${input.fullLineageVerified}`
+            : undefined,
+        input.fullChainVerified !== undefined ? `fullChainVerified=${input.fullChainVerified}` : undefined,
         input.reason ? `reason=${input.reason}` : undefined,
     ]
         .filter(Boolean)
         .join("\n");
 }
+function formatFundReceiptChainSummary(input) {
+    return [
+        input.verified !== undefined ? `verified=${input.verified}` : undefined,
+        `positionId=${input.positionId}`,
+        `chainLength=${input.chainLength}`,
+        input.latestSequence !== undefined && input.latestSequence !== null ? `latestSequence=${input.latestSequence}` : undefined,
+        input.latestOrdinal !== undefined && input.latestOrdinal !== null ? `latestOrdinal=${input.latestOrdinal}` : undefined,
+        `startsAtGenesis=${input.startsAtGenesis}`,
+        input.allHashLinksVerified !== undefined ? `allHashLinksVerified=${input.allHashLinksVerified}` : undefined,
+        input.identityConsistent !== undefined ? `identityConsistent=${input.identityConsistent}` : undefined,
+        input.fullLineageVerified !== undefined ? `fullLineageVerified=${input.fullLineageVerified}` : undefined,
+        `fullChainVerified=${input.fullChainVerified}`,
+    ]
+        .filter(Boolean)
+        .join("\n");
+}
 function formatFundEvidenceSummary(input) {
     return [
         `definitionHash=${input.definitionHash}`,
@@ -674,6 +754,20 @@ function formatFundEvidenceSummary(input) {
         input.distributionHash ? `distributionHash=${input.distributionHash}` : undefined,
         input.closingHash ? `closingHash=${input.closingHash}` : undefined,
         `sourceVerificationMode=${input.sourceVerificationMode}`,
+        input.lineageKind ? `lineageKind=${input.lineageKind}` : undefined,
+        input.latestOrdinal !== undefined && input.latestOrdinal !== null ? `latestOrdinal=${input.latestOrdinal}` : undefined,
+        input.allHashLinksVerified !== undefined && input.allHashLinksVerified !== null
+            ? `allHashLinksVerified=${input.allHashLinksVerified}`
+            : undefined,
+        input.identityConsistent !== undefined && input.identityConsistent !== null
+            ? `identityConsistent=${input.identityConsistent}`
+            : undefined,
+        input.fullLineageVerified !== undefined && input.fullLineageVerified !== null
+            ? `fullLineageVerified=${input.fullLineageVerified}`
+            : undefined,
+        input.fullChainVerified !== undefined && input.fullChainVerified !== null
+            ? `fullChainVerified=${input.fullChainVerified}`
+            : undefined,
     ]
         .filter(Boolean)
         .join("\n");
@@ -691,6 +785,114 @@ function formatFundFinalitySummary(input) {
         input.distributionHash ? `distributionHash=${input.distributionHash}` : undefined,
         input.closingHash ? `closingHash=${input.closingHash}` : undefined,
         `bindingMode=${input.bindingMode}`,
+        input.lineageKind ? `lineageKind=${input.lineageKind}` : undefined,
+        input.latestOrdinal !== undefined && input.latestOrdinal !== null ? `latestOrdinal=${input.latestOrdinal}` : undefined,
+        input.allHashLinksVerified !== undefined && input.allHashLinksVerified !== null
+            ? `allHashLinksVerified=${input.allHashLinksVerified}`
+            : undefined,
+        input.identityConsistent !== undefined && input.identityConsistent !== null
+            ? `identityConsistent=${input.identityConsistent}`
+            : undefined,
+        input.fullLineageVerified !== undefined && input.fullLineageVerified !== null
+            ? `fullLineageVerified=${input.fullLineageVerified}`
+            : undefined,
+        input.fullChainVerified !== undefined && input.fullChainVerified !== null
+            ? `fullChainVerified=${input.fullChainVerified}`
+            : undefined,
+    ]
+        .filter(Boolean)
+        .join("\n");
+}
+function formatReceivableDefinitionSummary(input) {
+    return [
+        input.ok !== undefined ? `ok=${input.ok}` : undefined,
+        `receivableId=${input.receivableId}`,
+        `originatorEntityId=${input.originatorEntityId}`,
+        `debtorEntityId=${input.debtorEntityId}`,
+        `currencyAssetId=${input.currencyAssetId}`,
+        `faceValue=${input.faceValue}`,
+        `dueDate=${input.dueDate}`,
+    ]
+        .filter(Boolean)
+        .join("\n");
+}
+function formatReceivableTransitionSummary(input) {
+    return [
+        `phase=${input.phase}`,
+        `verified=${input.verified}`,
+        `transitionType=${input.transitionType}`,
+        `receivableId=${input.receivableId}`,
+        `nextStateId=${input.nextStateId}`,
+        `holderEntityId=${input.holderEntityId}`,
+        `status=${input.status}`,
+        `outstandingAmount=${input.outstandingAmount}`,
+        `repaidAmount=${input.repaidAmount}`,
+        `stateHash=${input.stateHash}`,
+    ].join("\n");
+}
+function formatReceivableClaimSummary(input) {
+    return [
+        `phase=${input.phase}`,
+        `verified=${input.verified}`,
+        `claimKind=${input.claimKind}`,
+        `receivableId=${input.receivableId}`,
+        `claimId=${input.claimId}`,
+        `currentStatus=${input.currentStatus}`,
+        `payerEntityId=${input.payerEntityId}`,
+        `payeeEntityId=${input.payeeEntityId}`,
+        `amountSat=${input.amountSat}`,
+        input.claimantAuthoritySource ? `claimantAuthoritySource=${input.claimantAuthoritySource}` : undefined,
+        input.roleSeparatedAuthorization !== undefined
+            ? `roleSeparatedAuthorization=${input.roleSeparatedAuthorization}`
+            : undefined,
+        input.bindingMode ? `bindingMode=${input.bindingMode}` : undefined,
+        input.reasonCode ? `reasonCode=${input.reasonCode}` : undefined,
+        input.supportedForm ? `supportedForm=${input.supportedForm}` : undefined,
+        input.fullLineageVerified !== undefined ? `fullLineageVerified=${input.fullLineageVerified}` : undefined,
+    ]
+        .filter(Boolean)
+        .join("\n");
+}
+function formatReceivableHistorySummary(input) {
+    return [
+        `verified=${input.verified}`,
+        `receivableId=${input.receivableId}`,
+        `chainLength=${input.chainLength}`,
+        `latestStatus=${input.latestStatus}`,
+        input.latestOrdinal !== null ? `latestOrdinal=${input.latestOrdinal}` : undefined,
+        `fullLineageVerified=${input.fullLineageVerified}`,
+    ]
+        .filter(Boolean)
+        .join("\n");
+}
+function formatReceivableClosingSummary(input) {
+    return [
+        `verified=${input.verified}`,
+        `receivableId=${input.receivableId}`,
+        `latestStatus=${input.latestStatus}`,
+        `closingReason=${input.closingReason}`,
+        `closingHash=${input.closingHash}`,
+        input.fullLineageVerified !== undefined ? `fullLineageVerified=${input.fullLineageVerified}` : undefined,
+    ]
+        .filter(Boolean)
+        .join("\n");
+}
+function formatReceivableEvidenceOrFinalitySummary(input) {
+    return [
+        `kind=${input.kind}`,
+        `receivableId=${input.receivableId}`,
+        `holderEntityId=${input.holderEntityId}`,
+        `definitionHash=${input.definitionHash}`,
+        `latestStateHash=${input.latestStateHash}`,
+        input.closingHash ? `closingHash=${input.closingHash}` : undefined,
+        input.closingReason ? `closingReason=${input.closingReason}` : undefined,
+        input.lineageKind ? `lineageKind=${input.lineageKind}` : undefined,
+        input.latestOrdinal !== undefined && input.latestOrdinal !== null
+            ? `latestOrdinal=${input.latestOrdinal}`
+            : undefined,
+        input.fullLineageVerified !== undefined && input.fullLineageVerified !== null
+            ? `fullLineageVerified=${input.fullLineageVerified}`
+            : undefined,
     ]
         .filter(Boolean)
         .join("\n");
@@ -1051,7 +1253,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|binding|policy|bond|fund|gasless> ...");
+        throw new Error("Usage: simplicity-cli <compile|presets|preset|contract|artifact|definition|state|binding|policy|bond|fund|receivable|gasless> ...");
     }
     if (command === "compile") {
         const result = await sdk.compileFromFile({
@@ -1684,6 +1886,44 @@ async function main() {
         });
         return;
     }
+    if (command === "bond" && subcommand === "verify-issuance-history") {
+        const issuanceHistoryPaths = getMultiArgs("issuance-history-json");
+        const issuanceHistoryValues = getMultiArgs("issuance-history-value").map((value) => JSON.parse(value));
+        const result = await sdk.bonds.verifyIssuanceHistory({
+            definitionPath: getArg("definition-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            issuanceHistoryPaths: issuanceHistoryPaths.length > 0 ? issuanceHistoryPaths : undefined,
+            issuanceHistoryValues: issuanceHistoryValues.length > 0 ? issuanceHistoryValues : undefined,
+        });
+        printJson({
+            summary: {
+                verified: result.verified,
+                issuanceId: result.issuanceHistoryValues.at(-1)?.issuanceId ?? null,
+                chainLength: result.report.issuanceLineageTrust?.chainLength ?? 0,
+                latestStatus: result.report.issuanceLineageTrust?.latestStatus ?? null,
+                latestOrdinal: result.report.issuanceLineageTrust?.latestOrdinal ?? null,
+                startsAtGenesis: result.report.issuanceLineageTrust?.startsAtGenesis ?? false,
+                allHashLinksVerified: result.report.issuanceLineageTrust?.allHashLinksVerified ?? false,
+                identityConsistent: result.report.issuanceLineageTrust?.identityConsistent ?? false,
+                fullLineageVerified: result.report.issuanceLineageTrust?.fullLineageVerified ?? false,
+                fullHistoryVerified: result.report.issuanceLineageTrust?.fullHistoryVerified ?? false,
+            },
+            summaryText: formatBondIssuanceHistorySummary({
+                verified: result.verified,
+                issuanceId: result.issuanceHistoryValues.at(-1)?.issuanceId ?? "unknown",
+                chainLength: result.report.issuanceLineageTrust?.chainLength ?? 0,
+                latestStatus: result.report.issuanceLineageTrust?.latestStatus ?? null,
+                latestOrdinal: result.report.issuanceLineageTrust?.latestOrdinal ?? null,
+                startsAtGenesis: result.report.issuanceLineageTrust?.startsAtGenesis ?? false,
+                allHashLinksVerified: result.report.issuanceLineageTrust?.allHashLinksVerified ?? false,
+                identityConsistent: result.report.issuanceLineageTrust?.identityConsistent ?? false,
+                fullLineageVerified: result.report.issuanceLineageTrust?.fullLineageVerified ?? false,
+                fullHistoryVerified: result.report.issuanceLineageTrust?.fullHistoryVerified ?? false,
+            }),
+            ...result,
+        });
+        return;
+    }
     if (command === "bond" && subcommand === "prepare-redemption") {
         const result = await sdk.bonds.prepareRedemption({
             definitionPath: getArg("definition-json"),
@@ -2138,6 +2378,8 @@ async function main() {
         return;
     }
     if (command === "bond" && subcommand === "export-evidence") {
+        const issuanceHistoryPaths = getMultiArgs("issuance-history-json");
+        const issuanceHistoryValues = getMultiArgs("issuance-history-value").map((value) => JSON.parse(value));
         const settlementDescriptorValue = getArg("settlement-descriptor-value")
             ? JSON.parse(getArg("settlement-descriptor-value"))
             : undefined;
@@ -2148,6 +2390,8 @@ async function main() {
             artifactPath: requireArg("artifact"),
             definitionPath: getArg("definition-json"),
             issuancePath: getArg("issuance-json"),
+            issuanceHistoryPaths: issuanceHistoryPaths.length > 0 ? issuanceHistoryPaths : undefined,
+            issuanceHistoryValues: issuanceHistoryValues.length > 0 ? issuanceHistoryValues : undefined,
             settlementDescriptorValue,
             transitionValue,
         });
@@ -2160,6 +2404,12 @@ async function main() {
                 closingHash: result.closing?.hash ?? null,
                 renderedSourceHash: result.renderedSourceHash ?? null,
                 sourceVerificationMode: result.sourceVerificationMode,
+                lineageKind: result.trust.issuanceLineageTrust?.lineageKind ?? null,
+                latestOrdinal: result.trust.issuanceLineageTrust?.latestOrdinal ?? null,
+                allHashLinksVerified: result.trust.issuanceLineageTrust?.allHashLinksVerified ?? null,
+                identityConsistent: result.trust.issuanceLineageTrust?.identityConsistent ?? null,
+                fullLineageVerified: result.trust.issuanceLineageTrust?.fullLineageVerified ?? null,
+                fullHistoryVerified: result.trust.issuanceLineageTrust?.fullHistoryVerified ?? null,
             },
             summaryText: formatBondEvidenceSummary({
                 definitionHash: result.definition.hash,
@@ -2168,11 +2418,19 @@ async function main() {
                 closingHash: result.closing?.hash ?? null,
                 renderedSourceHash: result.renderedSourceHash ?? null,
                 sourceVerificationMode: result.sourceVerificationMode,
+                lineageKind: result.trust.issuanceLineageTrust?.lineageKind ?? null,
+                latestOrdinal: result.trust.issuanceLineageTrust?.latestOrdinal ?? null,
+                allHashLinksVerified: result.trust.issuanceLineageTrust?.allHashLinksVerified ?? null,
+                identityConsistent: result.trust.issuanceLineageTrust?.identityConsistent ?? null,
+                fullLineageVerified: result.trust.issuanceLineageTrust?.fullLineageVerified ?? null,
+                fullHistoryVerified: result.trust.issuanceLineageTrust?.fullHistoryVerified ?? null,
             }),
         });
         return;
     }
     if (command === "bond" && subcommand === "export-finality-payload") {
+        const issuanceHistoryPaths = getMultiArgs("issuance-history-json");
+        const issuanceHistoryValues = getMultiArgs("issuance-history-value").map((value) => JSON.parse(value));
         const settlementDescriptorValue = getArg("settlement-descriptor-value")
             ? JSON.parse(getArg("settlement-descriptor-value"))
             : undefined;
@@ -2183,6 +2441,8 @@ async function main() {
             artifactPath: requireArg("artifact"),
             definitionPath: getArg("definition-json"),
             issuancePath: getArg("issuance-json"),
+            issuanceHistoryPaths: issuanceHistoryPaths.length > 0 ? issuanceHistoryPaths : undefined,
+            issuanceHistoryValues: issuanceHistoryValues.length > 0 ? issuanceHistoryValues : undefined,
             settlementDescriptorValue,
             closingDescriptorValue,
         });
@@ -2198,6 +2458,12 @@ async function main() {
                 contractAddress: result.payload.contractAddress,
                 cmr: result.payload.cmr,
                 bindingMode: result.bindingMode,
+                lineageKind: result.trust.issuanceLineageTrust?.lineageKind ?? null,
+                latestOrdinal: result.trust.issuanceLineageTrust?.latestOrdinal ?? null,
+                allHashLinksVerified: result.trust.issuanceLineageTrust?.allHashLinksVerified ?? null,
+                identityConsistent: result.trust.issuanceLineageTrust?.identityConsistent ?? null,
+                fullLineageVerified: result.trust.issuanceLineageTrust?.fullLineageVerified ?? null,
+                fullHistoryVerified: result.trust.issuanceLineageTrust?.fullHistoryVerified ?? null,
             },
             summaryText: formatBondFinalityPayloadSummary({
                 bondId: result.payload.bondId,
@@ -2209,6 +2475,12 @@ async function main() {
                 contractAddress: result.payload.contractAddress,
                 cmr: result.payload.cmr,
                 bindingMode: result.bindingMode,
+                lineageKind: result.trust.issuanceLineageTrust?.lineageKind ?? null,
+                latestOrdinal: result.trust.issuanceLineageTrust?.latestOrdinal ?? null,
+                allHashLinksVerified: result.trust.issuanceLineageTrust?.allHashLinksVerified ?? null,
+                identityConsistent: result.trust.issuanceLineageTrust?.identityConsistent ?? null,
+                fullLineageVerified: result.trust.issuanceLineageTrust?.fullLineageVerified ?? null,
+                fullHistoryVerified: result.trust.issuanceLineageTrust?.fullHistoryVerified ?? null,
             }),
         });
         return;
@@ -2483,6 +2755,10 @@ async function main() {
             capitalCallValue: getArg("capital-call-value") ? JSON.parse(getArg("capital-call-value")) : undefined,
             refundAddress: requireArg("refund-address"),
             refundedAt: getArg("refunded-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,
@@ -2495,6 +2771,7 @@ async function main() {
                 amount: result.verified.capitalCallValue.amount,
                 assetId: result.verified.capitalCallValue.currencyAssetId,
                 summaryHash: result.inspect.summaryHash,
+                outputBinding: result.report.outputBindingTrust ?? null,
             },
             summaryText: formatFundCapitalCallSummary({
                 phase: "inspect-refund",
@@ -2503,6 +2780,7 @@ async function main() {
                 amount: result.verified.capitalCallValue.amount,
                 assetId: result.verified.capitalCallValue.currencyAssetId,
                 summaryHash: result.inspect.summaryHash,
+                outputBinding: result.report.outputBindingTrust,
             }),
             ...result,
         });
@@ -2517,6 +2795,10 @@ async function main() {
             capitalCallValue: getArg("capital-call-value") ? JSON.parse(getArg("capital-call-value")) : undefined,
             refundAddress: requireArg("refund-address"),
             refundedAt: getArg("refunded-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,
@@ -2531,6 +2813,7 @@ async function main() {
                 assetId: result.verified.capitalCallValue.currencyAssetId,
                 txId: result.execution.txId ?? null,
                 broadcasted: result.execution.broadcasted,
+                outputBinding: result.report.outputBindingTrust ?? null,
             },
             summaryText: formatFundCapitalCallSummary({
                 phase: "execute-refund",
@@ -2540,6 +2823,7 @@ async function main() {
                 assetId: result.verified.capitalCallValue.currencyAssetId,
                 txId: result.execution.txId,
                 broadcasted: result.execution.broadcasted,
+                outputBinding: result.report.outputBindingTrust,
             }),
             ...result,
         });
@@ -2607,11 +2891,19 @@ async function main() {
         return;
     }
     if (command === "fund" && subcommand === "verify-position-receipt") {
+        const positionReceiptChainPaths = getMultiArgs("position-receipt-chain-json");
+        const positionReceiptChainValues = getMultiArgs("position-receipt-chain-value").map((value) => JSON.parse(value));
         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,
+            previousPositionReceiptPath: getArg("previous-position-receipt-json"),
+            previousPositionReceiptValue: getArg("previous-position-receipt-value")
+                ? JSON.parse(getArg("previous-position-receipt-value"))
+                : undefined,
+            positionReceiptChainPaths: positionReceiptChainPaths.length > 0 ? positionReceiptChainPaths : undefined,
+            positionReceiptChainValues: positionReceiptChainValues.length > 0 ? positionReceiptChainValues : undefined,
         });
         printJson({
             summary: {
@@ -2620,6 +2912,14 @@ async function main() {
                 sequence: result.positionReceiptValue.receipt.sequence,
                 receiptHash: result.positionReceiptSummary.hash,
                 envelopeHash: result.positionReceiptEnvelopeSummary.hash,
+                continuityVerified: result.report.receiptTrust?.continuityVerified ?? null,
+                lineageKind: result.report.receiptChainTrust?.lineageKind ?? null,
+                latestOrdinal: result.report.receiptChainTrust?.latestOrdinal ?? null,
+                allHashLinksVerified: result.report.receiptChainTrust?.allHashLinksVerified ?? null,
+                identityConsistent: result.report.receiptChainTrust?.identityConsistent ?? null,
+                fullLineageVerified: result.report.receiptChainTrust?.fullLineageVerified ?? null,
+                chainLength: result.report.receiptChainTrust?.chainLength ?? null,
+                fullChainVerified: result.report.receiptChainTrust?.fullChainVerified ?? null,
             },
             summaryText: [
                 `verified=${result.verified}`,
@@ -2627,11 +2927,57 @@ async function main() {
                 `sequence=${result.positionReceiptValue.receipt.sequence}`,
                 `receiptHash=${result.positionReceiptSummary.hash}`,
                 `envelopeHash=${result.positionReceiptEnvelopeSummary.hash}`,
+                `continuityVerified=${result.report.receiptTrust?.continuityVerified ?? false}`,
+                `lineageKind=${result.report.receiptChainTrust?.lineageKind ?? "receipt-chain"}`,
+                `latestOrdinal=${result.report.receiptChainTrust?.latestOrdinal ?? result.positionReceiptValue.receipt.sequence}`,
+                `allHashLinksVerified=${result.report.receiptChainTrust?.allHashLinksVerified ?? false}`,
+                `identityConsistent=${result.report.receiptChainTrust?.identityConsistent ?? false}`,
+                `fullLineageVerified=${result.report.receiptChainTrust?.fullLineageVerified ?? false}`,
+                `chainLength=${result.report.receiptChainTrust?.chainLength ?? 0}`,
+                `fullChainVerified=${result.report.receiptChainTrust?.fullChainVerified ?? false}`,
             ].join("\n"),
             ...result,
         });
         return;
     }
+    if (command === "fund" && subcommand === "verify-position-receipt-chain") {
+        const positionReceiptChainPaths = getMultiArgs("position-receipt-chain-json");
+        const positionReceiptChainValues = getMultiArgs("position-receipt-chain-value").map((value) => JSON.parse(value));
+        const result = await sdk.funds.verifyPositionReceiptChain({
+            definitionPath: getArg("definition-json"),
+            definitionValue: getArg("definition-value") ? JSON.parse(getArg("definition-value")) : undefined,
+            positionReceiptChainPaths: positionReceiptChainPaths.length > 0 ? positionReceiptChainPaths : undefined,
+            positionReceiptChainValues: positionReceiptChainValues.length > 0 ? positionReceiptChainValues : undefined,
+        });
+        printJson({
+            summary: {
+                verified: result.verified,
+                positionId: result.positionReceiptValue.receipt.positionId,
+                chainLength: result.report.receiptChainTrust?.chainLength ?? 0,
+                latestSequence: result.report.receiptChainTrust?.latestSequence ?? null,
+                latestOrdinal: result.report.receiptChainTrust?.latestOrdinal ?? null,
+                startsAtGenesis: result.report.receiptChainTrust?.startsAtGenesis ?? false,
+                allHashLinksVerified: result.report.receiptChainTrust?.allHashLinksVerified ?? false,
+                identityConsistent: result.report.receiptChainTrust?.identityConsistent ?? false,
+                fullLineageVerified: result.report.receiptChainTrust?.fullLineageVerified ?? false,
+                fullChainVerified: result.report.receiptChainTrust?.fullChainVerified ?? false,
+            },
+            summaryText: formatFundReceiptChainSummary({
+                verified: result.verified,
+                positionId: result.positionReceiptValue.receipt.positionId,
+                chainLength: result.report.receiptChainTrust?.chainLength ?? 0,
+                latestSequence: result.report.receiptChainTrust?.latestSequence ?? null,
+                latestOrdinal: result.report.receiptChainTrust?.latestOrdinal ?? null,
+                startsAtGenesis: result.report.receiptChainTrust?.startsAtGenesis ?? false,
+                allHashLinksVerified: result.report.receiptChainTrust?.allHashLinksVerified ?? false,
+                identityConsistent: result.report.receiptChainTrust?.identityConsistent ?? false,
+                fullLineageVerified: result.report.receiptChainTrust?.fullLineageVerified ?? false,
+                fullChainVerified: result.report.receiptChainTrust?.fullChainVerified ?? false,
+            }),
+            ...result,
+        });
+        return;
+    }
     if (command === "fund" && subcommand === "reconcile-position") {
         const distributionJsons = getMultiArgs("distribution-json");
         const distributionValues = getMultiArgs("distribution-value").map((value) => JSON.parse(value));
@@ -2788,9 +3134,19 @@ async function main() {
         return;
     }
     if (command === "fund" && subcommand === "prepare-closing") {
+        const positionReceiptChainPaths = getMultiArgs("position-receipt-chain-json");
+        const positionReceiptChainValues = getMultiArgs("position-receipt-chain-value").map((value) => JSON.parse(value));
         const result = await sdk.funds.prepareClosing({
+            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,
+            previousPositionReceiptPath: getArg("previous-position-receipt-json"),
+            previousPositionReceiptValue: getArg("previous-position-receipt-value")
+                ? JSON.parse(getArg("previous-position-receipt-value"))
+                : undefined,
+            positionReceiptChainPaths: positionReceiptChainPaths.length > 0 ? positionReceiptChainPaths : undefined,
+            positionReceiptChainValues: positionReceiptChainValues.length > 0 ? positionReceiptChainValues : undefined,
             closingPath: getArg("closing-json"),
             closingValue: getArg("closing-value") ? JSON.parse(getArg("closing-value")) : undefined,
             closingId: getArg("closing-id"),
@@ -2805,6 +3161,13 @@ async function main() {
                 closingReason: result.closingValue.closingReason,
                 positionId: result.closingValue.positionId,
                 distributionCount: result.closingValue.finalDistributionHashes.length,
+                continuityVerified: result.report.receiptTrust?.continuityVerified ?? null,
+                lineageKind: result.report.receiptChainTrust?.lineageKind ?? null,
+                latestOrdinal: result.report.receiptChainTrust?.latestOrdinal ?? null,
+                allHashLinksVerified: result.report.receiptChainTrust?.allHashLinksVerified ?? null,
+                identityConsistent: result.report.receiptChainTrust?.identityConsistent ?? null,
+                fullLineageVerified: result.report.receiptChainTrust?.fullLineageVerified ?? null,
+                fullChainVerified: result.report.receiptChainTrust?.fullChainVerified ?? null,
             },
             summaryText: formatFundClosingSummary({
                 closingHash: result.closingHash,
@@ -2812,15 +3175,32 @@ async function main() {
                 closingReason: result.closingValue.closingReason,
                 positionId: result.closingValue.positionId,
                 distributionCount: result.closingValue.finalDistributionHashes.length,
+                continuityVerified: result.report.receiptTrust?.continuityVerified ?? false,
+                lineageKind: result.report.receiptChainTrust?.lineageKind ?? null,
+                latestOrdinal: result.report.receiptChainTrust?.latestOrdinal ?? null,
+                allHashLinksVerified: result.report.receiptChainTrust?.allHashLinksVerified ?? null,
+                identityConsistent: result.report.receiptChainTrust?.identityConsistent ?? null,
+                fullLineageVerified: result.report.receiptChainTrust?.fullLineageVerified ?? null,
+                fullChainVerified: result.report.receiptChainTrust?.fullChainVerified ?? false,
             }),
             ...result,
         });
         return;
     }
     if (command === "fund" && subcommand === "verify-closing") {
+        const positionReceiptChainPaths = getMultiArgs("position-receipt-chain-json");
+        const positionReceiptChainValues = getMultiArgs("position-receipt-chain-value").map((value) => JSON.parse(value));
         const result = await sdk.funds.verifyClosing({
+            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,
+            previousPositionReceiptPath: getArg("previous-position-receipt-json"),
+            previousPositionReceiptValue: getArg("previous-position-receipt-value")
+                ? JSON.parse(getArg("previous-position-receipt-value"))
+                : undefined,
+            positionReceiptChainPaths: positionReceiptChainPaths.length > 0 ? positionReceiptChainPaths : undefined,
+            positionReceiptChainValues: positionReceiptChainValues.length > 0 ? positionReceiptChainValues : undefined,
             closingPath: getArg("closing-json"),
             closingValue: getArg("closing-value") ? JSON.parse(getArg("closing-value")) : undefined,
         });
@@ -2832,6 +3212,13 @@ async function main() {
                 closingReason: result.closingValue.closingReason,
                 positionId: result.closingValue.positionId,
                 distributionCount: result.closingValue.finalDistributionHashes.length,
+                continuityVerified: result.report.receiptTrust?.continuityVerified ?? null,
+                lineageKind: result.report.receiptChainTrust?.lineageKind ?? null,
+                latestOrdinal: result.report.receiptChainTrust?.latestOrdinal ?? null,
+                allHashLinksVerified: result.report.receiptChainTrust?.allHashLinksVerified ?? null,
+                identityConsistent: result.report.receiptChainTrust?.identityConsistent ?? null,
+                fullLineageVerified: result.report.receiptChainTrust?.fullLineageVerified ?? null,
+                fullChainVerified: result.report.receiptChainTrust?.fullChainVerified ?? null,
             },
             summaryText: formatFundClosingSummary({
                 ok: result.verified,
@@ -2840,12 +3227,21 @@ async function main() {
                 closingReason: result.closingValue.closingReason,
                 positionId: result.closingValue.positionId,
                 distributionCount: result.closingValue.finalDistributionHashes.length,
+                continuityVerified: result.report.receiptTrust?.continuityVerified ?? false,
+                lineageKind: result.report.receiptChainTrust?.lineageKind ?? null,
+                latestOrdinal: result.report.receiptChainTrust?.latestOrdinal ?? null,
+                allHashLinksVerified: result.report.receiptChainTrust?.allHashLinksVerified ?? null,
+                identityConsistent: result.report.receiptChainTrust?.identityConsistent ?? null,
+                fullLineageVerified: result.report.receiptChainTrust?.fullLineageVerified ?? null,
+                fullChainVerified: result.report.receiptChainTrust?.fullChainVerified ?? false,
             }),
             ...result,
         });
         return;
     }
     if (command === "fund" && subcommand === "export-evidence") {
+        const positionReceiptChainPaths = getMultiArgs("position-receipt-chain-json");
+        const positionReceiptChainValues = getMultiArgs("position-receipt-chain-value").map((value) => JSON.parse(value));
         const result = await sdk.funds.exportEvidence({
             artifactPath: getArg("artifact"),
             definitionPath: getArg("definition-json"),
@@ -2854,6 +3250,12 @@ async function main() {
             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,
+            previousPositionReceiptPath: getArg("previous-position-receipt-json"),
+            previousPositionReceiptValue: getArg("previous-position-receipt-value")
+                ? JSON.parse(getArg("previous-position-receipt-value"))
+                : undefined,
+            positionReceiptChainPaths: positionReceiptChainPaths.length > 0 ? positionReceiptChainPaths : undefined,
+            positionReceiptChainValues: positionReceiptChainValues.length > 0 ? positionReceiptChainValues : undefined,
             distributionPath: getArg("distribution-json"),
             distributionValue: getArg("distribution-value") ? JSON.parse(getArg("distribution-value")) : undefined,
             closingPath: getArg("closing-json"),
@@ -2868,20 +3270,35 @@ async function main() {
                 distributionHash: result.distribution?.hash ?? null,
                 closingHash: result.closing?.hash ?? null,
                 sourceVerificationMode: result.sourceVerificationMode,
+                lineageKind: result.trust.receiptChainTrust?.lineageKind ?? null,
+                latestOrdinal: result.trust.receiptChainTrust?.latestOrdinal ?? null,
+                allHashLinksVerified: result.trust.receiptChainTrust?.allHashLinksVerified ?? null,
+                identityConsistent: result.trust.receiptChainTrust?.identityConsistent ?? null,
+                fullLineageVerified: result.trust.receiptChainTrust?.fullLineageVerified ?? null,
+                fullChainVerified: result.trust.receiptChainTrust?.fullChainVerified ?? null,
             },
             summaryText: formatFundEvidenceSummary({
                 definitionHash: result.definition.hash,
                 capitalCallHash: result.capitalCall?.hash ?? null,
                 positionReceiptHash: result.positionReceipt?.hash ?? null,
+                positionReceiptEnvelopeHash: result.positionReceiptEnvelope?.hash ?? null,
                 distributionHash: result.distribution?.hash ?? null,
                 closingHash: result.closing?.hash ?? null,
                 sourceVerificationMode: result.sourceVerificationMode,
+                lineageKind: result.trust.receiptChainTrust?.lineageKind ?? null,
+                latestOrdinal: result.trust.receiptChainTrust?.latestOrdinal ?? null,
+                allHashLinksVerified: result.trust.receiptChainTrust?.allHashLinksVerified ?? null,
+                identityConsistent: result.trust.receiptChainTrust?.identityConsistent ?? null,
+                fullLineageVerified: result.trust.receiptChainTrust?.fullLineageVerified ?? null,
+                fullChainVerified: result.trust.receiptChainTrust?.fullChainVerified ?? null,
             }),
             ...result,
         });
         return;
     }
     if (command === "fund" && subcommand === "export-finality-payload") {
+        const positionReceiptChainPaths = getMultiArgs("position-receipt-chain-json");
+        const positionReceiptChainValues = getMultiArgs("position-receipt-chain-value").map((value) => JSON.parse(value));
         const result = await sdk.funds.exportFinalityPayload({
             artifactPath: getArg("artifact"),
             definitionPath: getArg("definition-json"),
@@ -2890,6 +3307,12 @@ async function main() {
             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,
+            previousPositionReceiptPath: getArg("previous-position-receipt-json"),
+            previousPositionReceiptValue: getArg("previous-position-receipt-value")
+                ? JSON.parse(getArg("previous-position-receipt-value"))
+                : undefined,
+            positionReceiptChainPaths: positionReceiptChainPaths.length > 0 ? positionReceiptChainPaths : undefined,
+            positionReceiptChainValues: positionReceiptChainValues.length > 0 ? positionReceiptChainValues : undefined,
             distributionPath: getArg("distribution-json"),
             distributionValue: getArg("distribution-value") ? JSON.parse(getArg("distribution-value")) : undefined,
             closingPath: getArg("closing-json"),
@@ -2908,6 +3331,12 @@ async function main() {
                 distributionHash: result.distributionHash ?? null,
                 closingHash: result.closingHash ?? null,
                 bindingMode: result.bindingMode,
+                lineageKind: result.trust.receiptChainTrust?.lineageKind ?? null,
+                latestOrdinal: result.trust.receiptChainTrust?.latestOrdinal ?? null,
+                allHashLinksVerified: result.trust.receiptChainTrust?.allHashLinksVerified ?? null,
+                identityConsistent: result.trust.receiptChainTrust?.identityConsistent ?? null,
+                fullLineageVerified: result.trust.receiptChainTrust?.fullLineageVerified ?? null,
+                fullChainVerified: result.trust.receiptChainTrust?.fullChainVerified ?? null,
             },
             summaryText: formatFundFinalitySummary({
                 fundId: result.fundId,
@@ -2917,9 +3346,707 @@ async function main() {
                 definitionHash: result.definitionHash,
                 capitalCallStateHash: result.capitalCallStateHash,
                 positionReceiptHash: result.positionReceiptHash,
+                positionReceiptEnvelopeHash: result.positionReceiptEnvelopeHash,
                 distributionHash: result.distributionHash,
                 closingHash: result.closingHash,
                 bindingMode: result.bindingMode,
+                lineageKind: result.trust.receiptChainTrust?.lineageKind ?? null,
+                latestOrdinal: result.trust.receiptChainTrust?.latestOrdinal ?? null,
+                allHashLinksVerified: result.trust.receiptChainTrust?.allHashLinksVerified ?? null,
+                identityConsistent: result.trust.receiptChainTrust?.identityConsistent ?? null,
+                fullLineageVerified: result.trust.receiptChainTrust?.fullLineageVerified ?? null,
+                fullChainVerified: result.trust.receiptChainTrust?.fullChainVerified ?? null,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "define") {
+        const result = await sdk.receivables.define({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+        });
+        printJson({
+            summaryText: formatReceivableDefinitionSummary({
+                ok: result.ok,
+                receivableId: result.definitionValue.receivableId,
+                originatorEntityId: result.definitionValue.originatorEntityId,
+                debtorEntityId: result.definitionValue.debtorEntityId,
+                currencyAssetId: result.definitionValue.currencyAssetId,
+                faceValue: result.definitionValue.faceValue,
+                dueDate: result.definitionValue.dueDate,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "verify") {
+        const result = await sdk.receivables.verify({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            statePath: getArg("state-json"),
+            stateValue: parseJsonArg("state-value"),
+        });
+        printJson({
+            summaryText: formatReceivableDefinitionSummary({
+                ok: result.verified,
+                receivableId: result.definitionValue.receivableId,
+                originatorEntityId: result.definitionValue.originatorEntityId,
+                debtorEntityId: result.definitionValue.debtorEntityId,
+                currencyAssetId: result.definitionValue.currencyAssetId,
+                faceValue: result.definitionValue.faceValue,
+                dueDate: result.definitionValue.dueDate,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "load") {
+        const result = await sdk.receivables.load({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            statePath: getArg("state-json"),
+            stateValue: parseJsonArg("state-value"),
+        });
+        printJson({
+            summaryText: formatReceivableDefinitionSummary({
+                receivableId: result.definitionValue.receivableId,
+                originatorEntityId: result.definitionValue.originatorEntityId,
+                debtorEntityId: result.definitionValue.debtorEntityId,
+                currencyAssetId: result.definitionValue.currencyAssetId,
+                faceValue: result.definitionValue.faceValue,
+                dueDate: result.definitionValue.dueDate,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "prepare-funding") {
+        const result = await sdk.receivables.prepareFunding({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            previousStatePath: getArg("previous-state-json"),
+            previousStateValue: parseJsonArg("previous-state-value"),
+            nextStatePath: getArg("next-state-json"),
+            nextStateValue: parseJsonArg("next-state-value"),
+            stateId: getArg("state-id"),
+            holderEntityId: getArg("holder-entity-id"),
+            holderClaimantXonly: getArg("holder-claimant-xonly"),
+            fundedAt: getArg("funded-at"),
+        });
+        printJson({
+            summaryText: formatReceivableTransitionSummary({
+                phase: "prepare-funding",
+                verified: result.verified,
+                transitionType: result.report.transitionTrust?.transitionType ?? "FUND",
+                receivableId: result.nextStateValue.receivableId,
+                nextStateId: result.nextStateValue.stateId,
+                holderEntityId: result.nextStateValue.holderEntityId,
+                status: result.nextStateValue.status,
+                outstandingAmount: result.nextStateValue.outstandingAmount,
+                repaidAmount: result.nextStateValue.repaidAmount,
+                stateHash: result.nextStateSummary.hash,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "verify-funding") {
+        const result = await sdk.receivables.verifyFunding({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            previousStatePath: getArg("previous-state-json"),
+            previousStateValue: parseJsonArg("previous-state-value"),
+            nextStatePath: getArg("next-state-json"),
+            nextStateValue: parseJsonArg("next-state-value"),
+        });
+        printJson({
+            summaryText: formatReceivableTransitionSummary({
+                phase: "verify-funding",
+                verified: result.verified,
+                transitionType: result.report.transitionTrust?.transitionType ?? "FUND",
+                receivableId: result.nextStateValue.receivableId,
+                nextStateId: result.nextStateValue.stateId,
+                holderEntityId: result.nextStateValue.holderEntityId,
+                status: result.nextStateValue.status,
+                outstandingAmount: result.nextStateValue.outstandingAmount,
+                repaidAmount: result.nextStateValue.repaidAmount,
+                stateHash: result.nextStateSummary.hash,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "prepare-funding-claim") {
+        const result = await sdk.receivables.prepareFundingClaim({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            currentStatePath: getArg("current-state-json"),
+            currentStateValue: parseJsonArg("current-state-value"),
+            stateHistoryPaths: getMultiArgs("state-history-json"),
+            stateHistoryValues: parseJsonArgs("state-history-value"),
+            fundingClaimPath: getArg("funding-claim-json"),
+            fundingClaimValue: parseJsonArg("funding-claim-value"),
+            claimId: getArg("claim-id"),
+            payerEntityId: getArg("payer-entity-id"),
+            payeeEntityId: getArg("payee-entity-id"),
+            claimantXonly: getArg("claimant-xonly"),
+            amountSat: getArg("amount-sat") ? Number(getArg("amount-sat")) : undefined,
+            eventTimestamp: getArg("event-timestamp"),
+            simfPath: getArg("simf"),
+            artifactPath: getArg("artifact"),
+        });
+        printJson({
+            summaryText: formatReceivableClaimSummary({
+                phase: "prepare-funding-claim",
+                verified: result.verified,
+                claimKind: result.claimValue.claimKind,
+                receivableId: result.claimValue.receivableId,
+                claimId: result.claimValue.claimId,
+                currentStatus: result.claimValue.currentStatus,
+                payerEntityId: result.claimValue.payerEntityId,
+                payeeEntityId: result.claimValue.payeeEntityId,
+                amountSat: result.claimValue.amountSat,
+                claimantAuthoritySource: result.report.fundingClaimTrust?.claimantAuthoritySource,
+                roleSeparatedAuthorization: result.report.fundingClaimTrust?.roleSeparatedAuthorization,
+                bindingMode: result.report.fundingClaimTrust?.bindingMode,
+                reasonCode: result.report.fundingClaimTrust?.reasonCode,
+                supportedForm: result.report.fundingClaimTrust?.supportedForm,
+                fullLineageVerified: result.report.stateLineageTrust?.fullLineageVerified,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "verify-funding-claim") {
+        const result = await sdk.receivables.verifyFundingClaim({
+            artifactPath: getArg("artifact"),
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            currentStatePath: getArg("current-state-json"),
+            currentStateValue: parseJsonArg("current-state-value"),
+            stateHistoryPaths: getMultiArgs("state-history-json"),
+            stateHistoryValues: parseJsonArgs("state-history-value"),
+            fundingClaimPath: getArg("funding-claim-json"),
+            fundingClaimValue: parseJsonArg("funding-claim-value"),
+        });
+        printJson({
+            summaryText: formatReceivableClaimSummary({
+                phase: "verify-funding-claim",
+                verified: result.verified,
+                claimKind: result.claimValue.claimKind,
+                receivableId: result.claimValue.receivableId,
+                claimId: result.claimValue.claimId,
+                currentStatus: result.claimValue.currentStatus,
+                payerEntityId: result.claimValue.payerEntityId,
+                payeeEntityId: result.claimValue.payeeEntityId,
+                amountSat: result.claimValue.amountSat,
+                claimantAuthoritySource: result.report.fundingClaimTrust?.claimantAuthoritySource,
+                roleSeparatedAuthorization: result.report.fundingClaimTrust?.roleSeparatedAuthorization,
+                bindingMode: result.report.fundingClaimTrust?.bindingMode,
+                reasonCode: result.report.fundingClaimTrust?.reasonCode,
+                supportedForm: result.report.fundingClaimTrust?.supportedForm,
+                fullLineageVerified: result.report.stateLineageTrust?.fullLineageVerified,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "inspect-funding-claim") {
+        const result = await sdk.receivables.inspectFundingClaim({
+            artifactPath: requireArg("artifact"),
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            currentStatePath: getArg("current-state-json"),
+            currentStateValue: parseJsonArg("current-state-value"),
+            stateHistoryPaths: getMultiArgs("state-history-json"),
+            stateHistoryValues: parseJsonArgs("state-history-value"),
+            fundingClaimPath: getArg("funding-claim-json"),
+            fundingClaimValue: parseJsonArg("funding-claim-value"),
+            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({
+            summaryText: formatReceivableClaimSummary({
+                phase: "inspect-funding-claim",
+                verified: result.verified,
+                claimKind: result.claimValue.claimKind,
+                receivableId: result.claimValue.receivableId,
+                claimId: result.claimValue.claimId,
+                currentStatus: result.claimValue.currentStatus,
+                payerEntityId: result.claimValue.payerEntityId,
+                payeeEntityId: result.claimValue.payeeEntityId,
+                amountSat: result.claimValue.amountSat,
+                claimantAuthoritySource: result.report.fundingClaimTrust?.claimantAuthoritySource,
+                roleSeparatedAuthorization: result.report.fundingClaimTrust?.roleSeparatedAuthorization,
+                bindingMode: result.report.fundingClaimTrust?.bindingMode,
+                reasonCode: result.report.fundingClaimTrust?.reasonCode,
+                supportedForm: result.report.fundingClaimTrust?.supportedForm,
+                fullLineageVerified: result.report.stateLineageTrust?.fullLineageVerified,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "execute-funding-claim") {
+        const result = await sdk.receivables.executeFundingClaim({
+            artifactPath: requireArg("artifact"),
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            currentStatePath: getArg("current-state-json"),
+            currentStateValue: parseJsonArg("current-state-value"),
+            stateHistoryPaths: getMultiArgs("state-history-json"),
+            stateHistoryValues: parseJsonArgs("state-history-value"),
+            fundingClaimPath: getArg("funding-claim-json"),
+            fundingClaimValue: parseJsonArg("funding-claim-value"),
+            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({
+            summaryText: formatReceivableClaimSummary({
+                phase: "execute-funding-claim",
+                verified: result.verified,
+                claimKind: result.claimValue.claimKind,
+                receivableId: result.claimValue.receivableId,
+                claimId: result.claimValue.claimId,
+                currentStatus: result.claimValue.currentStatus,
+                payerEntityId: result.claimValue.payerEntityId,
+                payeeEntityId: result.claimValue.payeeEntityId,
+                amountSat: result.claimValue.amountSat,
+                claimantAuthoritySource: result.report.fundingClaimTrust?.claimantAuthoritySource,
+                roleSeparatedAuthorization: result.report.fundingClaimTrust?.roleSeparatedAuthorization,
+                bindingMode: result.report.fundingClaimTrust?.bindingMode,
+                reasonCode: result.report.fundingClaimTrust?.reasonCode,
+                supportedForm: result.report.fundingClaimTrust?.supportedForm,
+                fullLineageVerified: result.report.stateLineageTrust?.fullLineageVerified,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "prepare-repayment") {
+        const result = await sdk.receivables.prepareRepayment({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            previousStatePath: getArg("previous-state-json"),
+            previousStateValue: parseJsonArg("previous-state-value"),
+            nextStatePath: getArg("next-state-json"),
+            nextStateValue: parseJsonArg("next-state-value"),
+            stateId: getArg("state-id"),
+            amount: getArg("amount") ? Number(getArg("amount")) : undefined,
+            repaidAt: getArg("repaid-at"),
+        });
+        printJson({
+            summaryText: formatReceivableTransitionSummary({
+                phase: "prepare-repayment",
+                verified: result.verified,
+                transitionType: result.report.transitionTrust?.transitionType ?? "REPAY",
+                receivableId: result.nextStateValue.receivableId,
+                nextStateId: result.nextStateValue.stateId,
+                holderEntityId: result.nextStateValue.holderEntityId,
+                status: result.nextStateValue.status,
+                outstandingAmount: result.nextStateValue.outstandingAmount,
+                repaidAmount: result.nextStateValue.repaidAmount,
+                stateHash: result.nextStateSummary.hash,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "prepare-repayment-claim") {
+        const result = await sdk.receivables.prepareRepaymentClaim({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            currentStatePath: getArg("current-state-json"),
+            currentStateValue: parseJsonArg("current-state-value"),
+            stateHistoryPaths: getMultiArgs("state-history-json"),
+            stateHistoryValues: parseJsonArgs("state-history-value"),
+            repaymentClaimPath: getArg("repayment-claim-json"),
+            repaymentClaimValue: parseJsonArg("repayment-claim-value"),
+            claimId: getArg("claim-id"),
+            payerEntityId: getArg("payer-entity-id"),
+            payeeEntityId: getArg("payee-entity-id"),
+            claimantXonly: getArg("claimant-xonly"),
+            amountSat: getArg("amount-sat") ? Number(getArg("amount-sat")) : undefined,
+            eventTimestamp: getArg("event-timestamp"),
+            simfPath: getArg("simf"),
+            artifactPath: getArg("artifact"),
+        });
+        printJson({
+            summaryText: formatReceivableClaimSummary({
+                phase: "prepare-repayment-claim",
+                verified: result.verified,
+                claimKind: result.claimValue.claimKind,
+                receivableId: result.claimValue.receivableId,
+                claimId: result.claimValue.claimId,
+                currentStatus: result.claimValue.currentStatus,
+                payerEntityId: result.claimValue.payerEntityId,
+                payeeEntityId: result.claimValue.payeeEntityId,
+                amountSat: result.claimValue.amountSat,
+                claimantAuthoritySource: result.report.repaymentClaimTrust?.claimantAuthoritySource,
+                roleSeparatedAuthorization: result.report.repaymentClaimTrust?.roleSeparatedAuthorization,
+                bindingMode: result.report.repaymentClaimTrust?.bindingMode,
+                reasonCode: result.report.repaymentClaimTrust?.reasonCode,
+                supportedForm: result.report.repaymentClaimTrust?.supportedForm,
+                fullLineageVerified: result.report.stateLineageTrust?.fullLineageVerified,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "verify-repayment-claim") {
+        const result = await sdk.receivables.verifyRepaymentClaim({
+            artifactPath: getArg("artifact"),
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            currentStatePath: getArg("current-state-json"),
+            currentStateValue: parseJsonArg("current-state-value"),
+            stateHistoryPaths: getMultiArgs("state-history-json"),
+            stateHistoryValues: parseJsonArgs("state-history-value"),
+            repaymentClaimPath: getArg("repayment-claim-json"),
+            repaymentClaimValue: parseJsonArg("repayment-claim-value"),
+        });
+        printJson({
+            summaryText: formatReceivableClaimSummary({
+                phase: "verify-repayment-claim",
+                verified: result.verified,
+                claimKind: result.claimValue.claimKind,
+                receivableId: result.claimValue.receivableId,
+                claimId: result.claimValue.claimId,
+                currentStatus: result.claimValue.currentStatus,
+                payerEntityId: result.claimValue.payerEntityId,
+                payeeEntityId: result.claimValue.payeeEntityId,
+                amountSat: result.claimValue.amountSat,
+                claimantAuthoritySource: result.report.repaymentClaimTrust?.claimantAuthoritySource,
+                roleSeparatedAuthorization: result.report.repaymentClaimTrust?.roleSeparatedAuthorization,
+                bindingMode: result.report.repaymentClaimTrust?.bindingMode,
+                reasonCode: result.report.repaymentClaimTrust?.reasonCode,
+                supportedForm: result.report.repaymentClaimTrust?.supportedForm,
+                fullLineageVerified: result.report.stateLineageTrust?.fullLineageVerified,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "inspect-repayment-claim") {
+        const result = await sdk.receivables.inspectRepaymentClaim({
+            artifactPath: requireArg("artifact"),
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            currentStatePath: getArg("current-state-json"),
+            currentStateValue: parseJsonArg("current-state-value"),
+            stateHistoryPaths: getMultiArgs("state-history-json"),
+            stateHistoryValues: parseJsonArgs("state-history-value"),
+            repaymentClaimPath: getArg("repayment-claim-json"),
+            repaymentClaimValue: parseJsonArg("repayment-claim-value"),
+            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({
+            summaryText: formatReceivableClaimSummary({
+                phase: "inspect-repayment-claim",
+                verified: result.verified,
+                claimKind: result.claimValue.claimKind,
+                receivableId: result.claimValue.receivableId,
+                claimId: result.claimValue.claimId,
+                currentStatus: result.claimValue.currentStatus,
+                payerEntityId: result.claimValue.payerEntityId,
+                payeeEntityId: result.claimValue.payeeEntityId,
+                amountSat: result.claimValue.amountSat,
+                claimantAuthoritySource: result.report.repaymentClaimTrust?.claimantAuthoritySource,
+                roleSeparatedAuthorization: result.report.repaymentClaimTrust?.roleSeparatedAuthorization,
+                bindingMode: result.report.repaymentClaimTrust?.bindingMode,
+                reasonCode: result.report.repaymentClaimTrust?.reasonCode,
+                supportedForm: result.report.repaymentClaimTrust?.supportedForm,
+                fullLineageVerified: result.report.stateLineageTrust?.fullLineageVerified,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "execute-repayment-claim") {
+        const result = await sdk.receivables.executeRepaymentClaim({
+            artifactPath: requireArg("artifact"),
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            currentStatePath: getArg("current-state-json"),
+            currentStateValue: parseJsonArg("current-state-value"),
+            stateHistoryPaths: getMultiArgs("state-history-json"),
+            stateHistoryValues: parseJsonArgs("state-history-value"),
+            repaymentClaimPath: getArg("repayment-claim-json"),
+            repaymentClaimValue: parseJsonArg("repayment-claim-value"),
+            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({
+            summaryText: formatReceivableClaimSummary({
+                phase: "execute-repayment-claim",
+                verified: result.verified,
+                claimKind: result.claimValue.claimKind,
+                receivableId: result.claimValue.receivableId,
+                claimId: result.claimValue.claimId,
+                currentStatus: result.claimValue.currentStatus,
+                payerEntityId: result.claimValue.payerEntityId,
+                payeeEntityId: result.claimValue.payeeEntityId,
+                amountSat: result.claimValue.amountSat,
+                claimantAuthoritySource: result.report.repaymentClaimTrust?.claimantAuthoritySource,
+                roleSeparatedAuthorization: result.report.repaymentClaimTrust?.roleSeparatedAuthorization,
+                bindingMode: result.report.repaymentClaimTrust?.bindingMode,
+                reasonCode: result.report.repaymentClaimTrust?.reasonCode,
+                supportedForm: result.report.repaymentClaimTrust?.supportedForm,
+                fullLineageVerified: result.report.stateLineageTrust?.fullLineageVerified,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "verify-repayment") {
+        const result = await sdk.receivables.verifyRepayment({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            previousStatePath: getArg("previous-state-json"),
+            previousStateValue: parseJsonArg("previous-state-value"),
+            nextStatePath: getArg("next-state-json"),
+            nextStateValue: parseJsonArg("next-state-value"),
+        });
+        printJson({
+            summaryText: formatReceivableTransitionSummary({
+                phase: "verify-repayment",
+                verified: result.verified,
+                transitionType: result.report.transitionTrust?.transitionType ?? "REPAY",
+                receivableId: result.nextStateValue.receivableId,
+                nextStateId: result.nextStateValue.stateId,
+                holderEntityId: result.nextStateValue.holderEntityId,
+                status: result.nextStateValue.status,
+                outstandingAmount: result.nextStateValue.outstandingAmount,
+                repaidAmount: result.nextStateValue.repaidAmount,
+                stateHash: result.nextStateSummary.hash,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "prepare-write-off") {
+        const result = await sdk.receivables.prepareWriteOff({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            previousStatePath: getArg("previous-state-json"),
+            previousStateValue: parseJsonArg("previous-state-value"),
+            nextStatePath: getArg("next-state-json"),
+            nextStateValue: parseJsonArg("next-state-value"),
+            stateId: getArg("state-id"),
+            defaultedAt: getArg("defaulted-at"),
+            writeOffAmount: getArg("write-off-amount") ? Number(getArg("write-off-amount")) : undefined,
+        });
+        printJson({
+            summaryText: formatReceivableTransitionSummary({
+                phase: "prepare-write-off",
+                verified: result.verified,
+                transitionType: result.report.transitionTrust?.transitionType ?? "WRITE_OFF",
+                receivableId: result.nextStateValue.receivableId,
+                nextStateId: result.nextStateValue.stateId,
+                holderEntityId: result.nextStateValue.holderEntityId,
+                status: result.nextStateValue.status,
+                outstandingAmount: result.nextStateValue.outstandingAmount,
+                repaidAmount: result.nextStateValue.repaidAmount,
+                stateHash: result.nextStateSummary.hash,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "verify-write-off") {
+        const result = await sdk.receivables.verifyWriteOff({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            previousStatePath: getArg("previous-state-json"),
+            previousStateValue: parseJsonArg("previous-state-value"),
+            nextStatePath: getArg("next-state-json"),
+            nextStateValue: parseJsonArg("next-state-value"),
+        });
+        printJson({
+            summaryText: formatReceivableTransitionSummary({
+                phase: "verify-write-off",
+                verified: result.verified,
+                transitionType: result.report.transitionTrust?.transitionType ?? "WRITE_OFF",
+                receivableId: result.nextStateValue.receivableId,
+                nextStateId: result.nextStateValue.stateId,
+                holderEntityId: result.nextStateValue.holderEntityId,
+                status: result.nextStateValue.status,
+                outstandingAmount: result.nextStateValue.outstandingAmount,
+                repaidAmount: result.nextStateValue.repaidAmount,
+                stateHash: result.nextStateSummary.hash,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "prepare-closing") {
+        const result = await sdk.receivables.prepareClosing({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            latestStatePath: getArg("latest-state-json"),
+            latestStateValue: parseJsonArg("latest-state-value"),
+            stateHistoryPaths: getMultiArgs("state-history-json"),
+            stateHistoryValues: parseJsonArgs("state-history-value"),
+            closingPath: getArg("closing-json"),
+            closingValue: parseJsonArg("closing-value"),
+            closingId: getArg("closing-id"),
+            closedAt: getArg("closed-at"),
+            closingReason: getArg("closing-reason"),
+        });
+        printJson({
+            summaryText: formatReceivableClosingSummary({
+                verified: result.verified,
+                receivableId: result.closingValue.receivableId,
+                latestStatus: result.closingValue.latestStatus,
+                closingReason: result.closingValue.closingReason,
+                closingHash: result.closingSummary.hash,
+                fullLineageVerified: result.report.stateLineageTrust?.fullLineageVerified,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "verify-closing") {
+        const result = await sdk.receivables.verifyClosing({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            latestStatePath: getArg("latest-state-json"),
+            latestStateValue: parseJsonArg("latest-state-value"),
+            stateHistoryPaths: getMultiArgs("state-history-json"),
+            stateHistoryValues: parseJsonArgs("state-history-value"),
+            closingPath: getArg("closing-json"),
+            closingValue: parseJsonArg("closing-value"),
+        });
+        printJson({
+            summaryText: formatReceivableClosingSummary({
+                verified: result.verified,
+                receivableId: result.closingValue.receivableId,
+                latestStatus: result.closingValue.latestStatus,
+                closingReason: result.closingValue.closingReason,
+                closingHash: result.closingSummary.hash,
+                fullLineageVerified: result.report.stateLineageTrust?.fullLineageVerified,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "verify-state-history") {
+        const result = await sdk.receivables.verifyStateHistory({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            stateHistoryPaths: getMultiArgs("state-history-json"),
+            stateHistoryValues: parseJsonArgs("state-history-value"),
+        });
+        printJson({
+            summaryText: formatReceivableHistorySummary({
+                verified: result.verified,
+                receivableId: result.latestStateValue.receivableId,
+                chainLength: result.report.stateLineageTrust?.chainLength ?? 0,
+                latestStatus: result.report.stateLineageTrust?.latestStatus ?? result.latestStateValue.status,
+                latestOrdinal: result.report.stateLineageTrust?.latestOrdinal ?? null,
+                fullLineageVerified: result.report.stateLineageTrust?.fullLineageVerified ?? false,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "export-evidence") {
+        const result = await sdk.receivables.exportEvidence({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            statePath: getArg("state-json"),
+            stateValue: parseJsonArg("state-value"),
+            stateHistoryPaths: getMultiArgs("state-history-json"),
+            stateHistoryValues: parseJsonArgs("state-history-value"),
+            fundingClaimPath: getArg("funding-claim-json"),
+            fundingClaimValue: parseJsonArg("funding-claim-value"),
+            repaymentClaimPath: getArg("repayment-claim-json"),
+            repaymentClaimValue: parseJsonArg("repayment-claim-value"),
+            closingPath: getArg("closing-json"),
+            closingValue: parseJsonArg("closing-value"),
+            verificationReportValue: parseJsonArg("verification-report-value"),
+        });
+        const evidenceStateValue = JSON.parse(result.state.canonicalJson);
+        const evidenceClosingValue = result.closing
+            ? JSON.parse(result.closing.canonicalJson)
+            : undefined;
+        printJson({
+            summaryText: formatReceivableEvidenceOrFinalitySummary({
+                kind: "evidence",
+                receivableId: evidenceStateValue.receivableId,
+                holderEntityId: evidenceStateValue.holderEntityId,
+                definitionHash: result.definition.hash,
+                latestStateHash: result.state.hash,
+                closingHash: result.closing?.hash ?? null,
+                closingReason: evidenceClosingValue?.closingReason ?? null,
+                lineageKind: result.trust.stateLineageTrust?.lineageKind ?? null,
+                latestOrdinal: result.trust.stateLineageTrust?.latestOrdinal ?? null,
+                fullLineageVerified: result.trust.stateLineageTrust?.fullLineageVerified ?? null,
+            }),
+            ...result,
+        });
+        return;
+    }
+    if (command === "receivable" && subcommand === "export-finality-payload") {
+        const result = await sdk.receivables.exportFinalityPayload({
+            definitionPath: getArg("definition-json"),
+            definitionValue: parseJsonArg("definition-value"),
+            statePath: getArg("state-json"),
+            stateValue: parseJsonArg("state-value"),
+            stateHistoryPaths: getMultiArgs("state-history-json"),
+            stateHistoryValues: parseJsonArgs("state-history-value"),
+            fundingClaimPath: getArg("funding-claim-json"),
+            fundingClaimValue: parseJsonArg("funding-claim-value"),
+            repaymentClaimPath: getArg("repayment-claim-json"),
+            repaymentClaimValue: parseJsonArg("repayment-claim-value"),
+            closingPath: getArg("closing-json"),
+            closingValue: parseJsonArg("closing-value"),
+            verificationReportValue: parseJsonArg("verification-report-value"),
+        });
+        printJson({
+            summaryText: formatReceivableEvidenceOrFinalitySummary({
+                kind: "finality",
+                receivableId: result.receivableId,
+                holderEntityId: result.holderEntityId,
+                definitionHash: result.definitionHash,
+                latestStateHash: result.latestStateHash,
+                closingHash: result.closingHash,
+                closingReason: result.closingReason,
+                lineageKind: result.trust.stateLineageTrust?.lineageKind ?? null,
+                latestOrdinal: result.trust.stateLineageTrust?.latestOrdinal ?? null,
+                fullLineageVerified: result.trust.stateLineageTrust?.fullLineageVerified ?? null,
             }),
             ...result,
         });