@hazbase/simplicity 0.1.1 → 0.2.0

package/dist/domain/fund.d.ts

@@ -1,5 +1,6 @@
 import type { SimplicityClient } from "../client/SimplicityClient";
 import type { BondOutputBindingMode, CapitalCallState, DistributionDescriptor, FundClosingDescriptor, FundDefinition, FundEvidenceBundle, FundFinalityPayload, FundPayoutDescriptor, FundVerificationReport, FundVerificationReportSchemaVersion, LPPositionReceipt, LPPositionReceiptEnvelope, OutputAmountForm, OutputAssetForm, OutputBindingInputs, OutputBindingReasonCode, OutputBindingSupportedForm, OutputNonceForm, OutputRawFields, OutputRangeProofForm, SimplicityArtifact } from "../core/types";
+import { verifyLPPositionReceiptEnvelope } from "./fundValidation";
 export declare function define(sdk: SimplicityClient, input: {
     definitionPath?: string;
     definitionValue?: FundDefinition;
@@ -120,7 +121,12 @@ export declare function prepareCapitalCall(sdk: SimplicityClient, input: {
             sequence?: number;
             sequenceMonotonic?: boolean;
             attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
         };
+        receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
         closingTrust?: {
             positionReceiptHashMatch: boolean;
             finalDistributionHashesPresent: boolean;
@@ -169,12 +175,12 @@ export declare function verifyCapitalCall(sdk: SimplicityClient, input: {
             refundPathRuntimeAvailable: boolean;
             statusValid: true;
         };
+        schemaVersion: FundVerificationReportSchemaVersion;
         artifactTrust?: {
             definition: import("../core/types").DefinitionVerificationResult["trust"];
             state: import("../core/types").StateVerificationResult["trust"];
         };
         stateTrust?: import("../core/types").StateVerificationResult["trust"];
-        schemaVersion: FundVerificationReportSchemaVersion;
         distributionTrust?: {
             fundIdMatch: boolean;
             lpIdMatch: boolean;
@@ -206,7 +212,12 @@ export declare function verifyCapitalCall(sdk: SimplicityClient, input: {
             sequence?: number;
             sequenceMonotonic?: boolean;
             attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
         };
+        receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
         closingTrust?: {
             positionReceiptHashMatch: boolean;
             finalDistributionHashesPresent: boolean;
@@ -248,7 +259,127 @@ export declare function verifyPositionReceipt(sdk: SimplicityClient, input: {
     definitionValue?: FundDefinition;
     positionReceiptPath?: string;
     positionReceiptValue?: LPPositionReceiptEnvelope;
+    previousPositionReceiptPath?: string;
+    previousPositionReceiptValue?: LPPositionReceiptEnvelope;
+    positionReceiptChainPaths?: string[];
+    positionReceiptChainValues?: LPPositionReceiptEnvelope[];
 }): Promise<{
+    receiptChecks: {
+        positionReceiptHashMatch: boolean;
+        sequenceMatch: boolean;
+        sequenceMonotonic: boolean;
+        attestingSignerMatch: boolean;
+        attestationVerified: boolean;
+        previousEnvelopeProvided: boolean;
+        previousReceiptHashMatch: boolean;
+        previousSequenceMatch: boolean;
+        continuityVerified: boolean;
+    };
+    receiptChainChecks: {
+        chainLength: number;
+        latestSequence?: number;
+        startsAtGenesis: boolean;
+        latestSequenceCovered: boolean;
+        sequenceContiguous: boolean;
+        fundConsistent: boolean;
+        positionConsistent: boolean;
+        lpConsistent: boolean;
+        callConsistent: boolean;
+        currencyConsistent: boolean;
+        lpXonlyConsistent: boolean;
+        attestingSignerConsistent: boolean;
+        allPositionReceiptHashMatch: boolean;
+        allSequenceMatch: boolean;
+        allSequenceMonotonic: boolean;
+        allAttestingSignerMatch: boolean;
+        allAttestationVerified: boolean;
+        allContinuityVerified: boolean;
+        fullChainVerified: boolean;
+        stepChecks: Awaited<ReturnType<typeof verifyLPPositionReceiptEnvelope>>[];
+    };
+    report: {
+        receiptTrust: {
+            generated: boolean;
+            positionReceiptHash?: string;
+            positionStatus: import("../core/types").LPPositionReceiptStatus;
+            attested: boolean;
+            attestationVerified: boolean;
+            sequence?: number;
+            sequenceMonotonic?: boolean;
+            attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
+        } | undefined;
+        receiptChainTrust: import("../core/types").FundReceiptChainTrust | undefined;
+        schemaVersion: FundVerificationReportSchemaVersion;
+        artifactTrust?: {
+            definition: import("../core/types").DefinitionVerificationResult["trust"];
+            state: import("../core/types").StateVerificationResult["trust"];
+        };
+        stateTrust?: import("../core/types").StateVerificationResult["trust"];
+        capitalCallTrust?: {
+            capitalCallStage: import("../core/types").CapitalCallStage;
+            cutoffMode: import("../core/types").CapitalCallCutoffMode;
+            fundIdMatch: boolean;
+            currencyMatch: boolean;
+            managerMatch: boolean;
+            claimCutoffCommitted: boolean;
+            lpCommitted: boolean;
+            managerCommitted: boolean;
+            claimPathRuntimeAvailable: boolean;
+            refundPathRuntimeAvailable: boolean;
+            statusValid: boolean;
+        };
+        distributionTrust?: {
+            fundIdMatch: boolean;
+            lpIdMatch: boolean;
+            positionIdMatch: boolean;
+            positionReceiptHashMatch: boolean;
+            positionStatusEligible: boolean;
+        };
+        outputBindingTrust?: {
+            mode: BondOutputBindingMode;
+            requestedMode?: BondOutputBindingMode;
+            supportedForm?: OutputBindingSupportedForm;
+            nextReceiverRuntimeCommitted: boolean;
+            outputCountRuntimeBound: boolean;
+            feeIndexRuntimeBound: boolean;
+            nextOutputHashRuntimeBound?: boolean;
+            nextOutputScriptRuntimeBound: boolean;
+            amountRuntimeBound: boolean;
+            reasonCode?: OutputBindingReasonCode;
+            autoDerived?: boolean;
+            fallbackReason?: string;
+            bindingInputs?: OutputBindingInputs;
+        };
+        closingTrust?: {
+            positionReceiptHashMatch: boolean;
+            finalDistributionHashesPresent: boolean;
+            positionStatusEligible: boolean;
+        };
+    };
+    positionReceiptChain?: import("../core/types").StateDocumentDescriptor[] | undefined;
+    positionReceiptChainValues?: LPPositionReceiptEnvelope[] | undefined;
+    positionReceiptChainSummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    positionReceiptEnvelopeChainSummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    previousPositionReceipt?: import("../core/types").StateDocumentDescriptor | undefined;
+    previousPositionReceiptValue?: LPPositionReceiptEnvelope | undefined;
+    previousPositionReceiptSummary?: {
+        canonicalJson: string;
+        hash: string;
+    } | undefined;
+    previousPositionReceiptEnvelopeSummary?: {
+        canonicalJson: string;
+        hash: string;
+    } | undefined;
     verified: boolean;
     definition: import("../core/types").DefinitionDescriptor;
     definitionValue: FundDefinition;
@@ -266,12 +397,55 @@ export declare function verifyPositionReceipt(sdk: SimplicityClient, input: {
         canonicalJson: string;
         hash: string;
     };
+}>;
+export declare function verifyPositionReceiptChain(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: FundDefinition;
+    positionReceiptChainPaths?: string[];
+    positionReceiptChainValues?: LPPositionReceiptEnvelope[];
+}): Promise<{
+    positionReceiptChain: import("../core/types").StateDocumentDescriptor[];
+    positionReceiptChainValues: LPPositionReceiptEnvelope[];
+    positionReceiptChainSummaries: {
+        canonicalJson: string;
+        hash: string;
+    }[];
+    positionReceiptEnvelopeChainSummaries: {
+        canonicalJson: string;
+        hash: string;
+    }[];
     receiptChecks: {
         positionReceiptHashMatch: boolean;
         sequenceMatch: boolean;
         sequenceMonotonic: boolean;
         attestingSignerMatch: boolean;
         attestationVerified: boolean;
+        previousEnvelopeProvided: boolean;
+        previousReceiptHashMatch: boolean;
+        previousSequenceMatch: boolean;
+        continuityVerified: boolean;
+    };
+    receiptChainChecks: {
+        chainLength: number;
+        latestSequence?: number;
+        startsAtGenesis: boolean;
+        latestSequenceCovered: boolean;
+        sequenceContiguous: boolean;
+        fundConsistent: boolean;
+        positionConsistent: boolean;
+        lpConsistent: boolean;
+        callConsistent: boolean;
+        currencyConsistent: boolean;
+        lpXonlyConsistent: boolean;
+        attestingSignerConsistent: boolean;
+        allPositionReceiptHashMatch: boolean;
+        allSequenceMatch: boolean;
+        allSequenceMonotonic: boolean;
+        allAttestingSignerMatch: boolean;
+        allAttestationVerified: boolean;
+        allContinuityVerified: boolean;
+        fullChainVerified: boolean;
+        stepChecks: Awaited<ReturnType<typeof verifyLPPositionReceiptEnvelope>>[];
     };
     report: {
         receiptTrust: {
@@ -283,7 +457,12 @@ export declare function verifyPositionReceipt(sdk: SimplicityClient, input: {
             sequence?: number;
             sequenceMonotonic?: boolean;
             attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
         } | undefined;
+        receiptChainTrust: import("../core/types").FundReceiptChainTrust | undefined;
         schemaVersion: FundVerificationReportSchemaVersion;
         artifactTrust?: {
             definition: import("../core/types").DefinitionVerificationResult["trust"];
@@ -331,6 +510,33 @@ export declare function verifyPositionReceipt(sdk: SimplicityClient, input: {
             positionStatusEligible: boolean;
         };
     };
+    previousPositionReceipt?: import("../core/types").StateDocumentDescriptor | undefined;
+    previousPositionReceiptValue?: LPPositionReceiptEnvelope | undefined;
+    previousPositionReceiptSummary?: {
+        canonicalJson: string;
+        hash: string;
+    } | undefined;
+    previousPositionReceiptEnvelopeSummary?: {
+        canonicalJson: string;
+        hash: string;
+    } | undefined;
+    verified: boolean;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: FundDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    positionReceipt: import("../core/types").StateDocumentDescriptor;
+    positionReceiptValue: LPPositionReceiptEnvelope;
+    positionReceiptSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    positionReceiptEnvelopeSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
 }>;
 export declare function inspectCapitalCallClaim(sdk: SimplicityClient, input: {
     artifactPath?: string;
@@ -394,12 +600,12 @@ export declare function inspectCapitalCallClaim(sdk: SimplicityClient, input: {
                 refundPathRuntimeAvailable: boolean;
                 statusValid: true;
             };
+            schemaVersion: FundVerificationReportSchemaVersion;
             artifactTrust?: {
                 definition: import("../core/types").DefinitionVerificationResult["trust"];
                 state: import("../core/types").StateVerificationResult["trust"];
             };
             stateTrust?: import("../core/types").StateVerificationResult["trust"];
-            schemaVersion: FundVerificationReportSchemaVersion;
             distributionTrust?: {
                 fundIdMatch: boolean;
                 lpIdMatch: boolean;
@@ -431,7 +637,12 @@ export declare function inspectCapitalCallClaim(sdk: SimplicityClient, input: {
                 sequence?: number;
                 sequenceMonotonic?: boolean;
                 attestingSignerMatch?: boolean;
+                previousEnvelopeProvided?: boolean;
+                previousReceiptHashMatch?: boolean;
+                previousSequenceMatch?: boolean;
+                continuityVerified?: boolean;
             };
+            receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
             closingTrust?: {
                 positionReceiptHashMatch: boolean;
                 finalDistributionHashesPresent: boolean;
@@ -477,6 +688,10 @@ export declare function inspectCapitalCallClaim(sdk: SimplicityClient, input: {
             sequence?: number;
             sequenceMonotonic?: boolean;
             attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
         } | undefined;
         capitalCallTrust: {
             capitalCallStage: "open" | "claimed" | "refund-only" | "refunded";
@@ -491,12 +706,12 @@ export declare function inspectCapitalCallClaim(sdk: SimplicityClient, input: {
             refundPathRuntimeAvailable: boolean;
             statusValid: true;
         };
+        schemaVersion: FundVerificationReportSchemaVersion;
         artifactTrust?: {
             definition: import("../core/types").DefinitionVerificationResult["trust"];
             state: import("../core/types").StateVerificationResult["trust"];
         };
         stateTrust?: import("../core/types").StateVerificationResult["trust"];
-        schemaVersion: FundVerificationReportSchemaVersion;
         distributionTrust?: {
             fundIdMatch: boolean;
             lpIdMatch: boolean;
@@ -504,6 +719,7 @@ export declare function inspectCapitalCallClaim(sdk: SimplicityClient, input: {
             positionReceiptHashMatch: boolean;
             positionStatusEligible: boolean;
         };
+        receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
         closingTrust?: {
             positionReceiptHashMatch: boolean;
             finalDistributionHashesPresent: boolean;
@@ -550,12 +766,12 @@ export declare function executeCapitalCallClaim(sdk: SimplicityClient, input: Pa
                 refundPathRuntimeAvailable: boolean;
                 statusValid: true;
             };
+            schemaVersion: FundVerificationReportSchemaVersion;
             artifactTrust?: {
                 definition: import("../core/types").DefinitionVerificationResult["trust"];
                 state: import("../core/types").StateVerificationResult["trust"];
             };
             stateTrust?: import("../core/types").StateVerificationResult["trust"];
-            schemaVersion: FundVerificationReportSchemaVersion;
             distributionTrust?: {
                 fundIdMatch: boolean;
                 lpIdMatch: boolean;
@@ -587,7 +803,12 @@ export declare function executeCapitalCallClaim(sdk: SimplicityClient, input: Pa
                 sequence?: number;
                 sequenceMonotonic?: boolean;
                 attestingSignerMatch?: boolean;
+                previousEnvelopeProvided?: boolean;
+                previousReceiptHashMatch?: boolean;
+                previousSequenceMatch?: boolean;
+                continuityVerified?: boolean;
             };
+            receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
             closingTrust?: {
                 positionReceiptHashMatch: boolean;
                 finalDistributionHashesPresent: boolean;
@@ -633,6 +854,10 @@ export declare function executeCapitalCallClaim(sdk: SimplicityClient, input: Pa
             sequence?: number;
             sequenceMonotonic?: boolean;
             attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
         } | undefined;
         capitalCallTrust: {
             capitalCallStage: "open" | "claimed" | "refund-only" | "refunded";
@@ -647,12 +872,12 @@ export declare function executeCapitalCallClaim(sdk: SimplicityClient, input: Pa
             refundPathRuntimeAvailable: boolean;
             statusValid: true;
         };
+        schemaVersion: FundVerificationReportSchemaVersion;
         artifactTrust?: {
             definition: import("../core/types").DefinitionVerificationResult["trust"];
             state: import("../core/types").StateVerificationResult["trust"];
         };
         stateTrust?: import("../core/types").StateVerificationResult["trust"];
-        schemaVersion: FundVerificationReportSchemaVersion;
         distributionTrust?: {
             fundIdMatch: boolean;
             lpIdMatch: boolean;
@@ -660,6 +885,7 @@ export declare function executeCapitalCallClaim(sdk: SimplicityClient, input: Pa
             positionReceiptHashMatch: boolean;
             positionStatusEligible: boolean;
         };
+        receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
         closingTrust?: {
             positionReceiptHashMatch: boolean;
             finalDistributionHashesPresent: boolean;
@@ -719,12 +945,12 @@ export declare function inspectCapitalCallRollover(sdk: SimplicityClient, input:
                 refundPathRuntimeAvailable: boolean;
                 statusValid: true;
             };
+            schemaVersion: FundVerificationReportSchemaVersion;
             artifactTrust?: {
                 definition: import("../core/types").DefinitionVerificationResult["trust"];
                 state: import("../core/types").StateVerificationResult["trust"];
             };
             stateTrust?: import("../core/types").StateVerificationResult["trust"];
-            schemaVersion: FundVerificationReportSchemaVersion;
             distributionTrust?: {
                 fundIdMatch: boolean;
                 lpIdMatch: boolean;
@@ -756,7 +982,12 @@ export declare function inspectCapitalCallRollover(sdk: SimplicityClient, input:
                 sequence?: number;
                 sequenceMonotonic?: boolean;
                 attestingSignerMatch?: boolean;
+                previousEnvelopeProvided?: boolean;
+                previousReceiptHashMatch?: boolean;
+                previousSequenceMatch?: boolean;
+                continuityVerified?: boolean;
             };
+            receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
             closingTrust?: {
                 positionReceiptHashMatch: boolean;
                 finalDistributionHashesPresent: boolean;
@@ -781,12 +1012,12 @@ export declare function inspectCapitalCallRollover(sdk: SimplicityClient, input:
             refundPathRuntimeAvailable: boolean;
             statusValid: true;
         };
+        schemaVersion: FundVerificationReportSchemaVersion;
         artifactTrust?: {
             definition: import("../core/types").DefinitionVerificationResult["trust"];
             state: import("../core/types").StateVerificationResult["trust"];
         };
         stateTrust?: import("../core/types").StateVerificationResult["trust"];
-        schemaVersion: FundVerificationReportSchemaVersion;
         distributionTrust?: {
             fundIdMatch: boolean;
             lpIdMatch: boolean;
@@ -818,7 +1049,12 @@ export declare function inspectCapitalCallRollover(sdk: SimplicityClient, input:
             sequence?: number;
             sequenceMonotonic?: boolean;
             attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
         };
+        receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
         closingTrust?: {
             positionReceiptHashMatch: boolean;
             finalDistributionHashesPresent: boolean;
@@ -865,12 +1101,12 @@ export declare function executeCapitalCallRollover(sdk: SimplicityClient, input:
                 refundPathRuntimeAvailable: boolean;
                 statusValid: true;
             };
+            schemaVersion: FundVerificationReportSchemaVersion;
             artifactTrust?: {
                 definition: import("../core/types").DefinitionVerificationResult["trust"];
                 state: import("../core/types").StateVerificationResult["trust"];
             };
             stateTrust?: import("../core/types").StateVerificationResult["trust"];
-            schemaVersion: FundVerificationReportSchemaVersion;
             distributionTrust?: {
                 fundIdMatch: boolean;
                 lpIdMatch: boolean;
@@ -902,7 +1138,12 @@ export declare function executeCapitalCallRollover(sdk: SimplicityClient, input:
                 sequence?: number;
                 sequenceMonotonic?: boolean;
                 attestingSignerMatch?: boolean;
+                previousEnvelopeProvided?: boolean;
+                previousReceiptHashMatch?: boolean;
+                previousSequenceMatch?: boolean;
+                continuityVerified?: boolean;
             };
+            receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
             closingTrust?: {
                 positionReceiptHashMatch: boolean;
                 finalDistributionHashesPresent: boolean;
@@ -927,12 +1168,12 @@ export declare function executeCapitalCallRollover(sdk: SimplicityClient, input:
             refundPathRuntimeAvailable: boolean;
             statusValid: true;
         };
+        schemaVersion: FundVerificationReportSchemaVersion;
         artifactTrust?: {
             definition: import("../core/types").DefinitionVerificationResult["trust"];
             state: import("../core/types").StateVerificationResult["trust"];
         };
         stateTrust?: import("../core/types").StateVerificationResult["trust"];
-        schemaVersion: FundVerificationReportSchemaVersion;
         distributionTrust?: {
             fundIdMatch: boolean;
             lpIdMatch: boolean;
@@ -964,7 +1205,12 @@ export declare function executeCapitalCallRollover(sdk: SimplicityClient, input:
             sequence?: number;
             sequenceMonotonic?: boolean;
             attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
         };
+        receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
         closingTrust?: {
             positionReceiptHashMatch: boolean;
             finalDistributionHashesPresent: boolean;
@@ -981,6 +1227,15 @@ export declare function inspectCapitalCallRefund(sdk: SimplicityClient, input: {
     capitalCallValue?: CapitalCallState;
     refundAddress: string;
     refundedAt?: string;
+    nextOutputHash?: string;
+    outputForm?: {
+        assetForm?: OutputAssetForm;
+        amountForm?: OutputAmountForm;
+        nonceForm?: OutputNonceForm;
+        rangeProofForm?: OutputRangeProofForm;
+    };
+    rawOutput?: Partial<OutputRawFields>;
+    outputBindingMode?: BondOutputBindingMode;
     wallet: string;
     signer: {
         type: "schnorrPrivkeyHex";
@@ -1024,12 +1279,12 @@ export declare function inspectCapitalCallRefund(sdk: SimplicityClient, input: {
                 refundPathRuntimeAvailable: boolean;
                 statusValid: true;
             };
+            schemaVersion: FundVerificationReportSchemaVersion;
             artifactTrust?: {
                 definition: import("../core/types").DefinitionVerificationResult["trust"];
                 state: import("../core/types").StateVerificationResult["trust"];
             };
             stateTrust?: import("../core/types").StateVerificationResult["trust"];
-            schemaVersion: FundVerificationReportSchemaVersion;
             distributionTrust?: {
                 fundIdMatch: boolean;
                 lpIdMatch: boolean;
@@ -1061,7 +1316,12 @@ export declare function inspectCapitalCallRefund(sdk: SimplicityClient, input: {
                 sequence?: number;
                 sequenceMonotonic?: boolean;
                 attestingSignerMatch?: boolean;
+                previousEnvelopeProvided?: boolean;
+                previousReceiptHashMatch?: boolean;
+                previousSequenceMatch?: boolean;
+                continuityVerified?: boolean;
             };
+            receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
             closingTrust?: {
                 positionReceiptHashMatch: boolean;
                 finalDistributionHashesPresent: boolean;
@@ -1069,9 +1329,29 @@ export declare function inspectCapitalCallRefund(sdk: SimplicityClient, input: {
             };
         };
     };
+    payoutDescriptor: FundPayoutDescriptor;
+    payoutSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
     refundedCapitalCall: CapitalCallState;
     inspect: import("../core/types").InspectResult;
     report: {
+        outputBindingTrust: {
+            mode: BondOutputBindingMode;
+            requestedMode?: BondOutputBindingMode;
+            supportedForm?: OutputBindingSupportedForm;
+            nextReceiverRuntimeCommitted: boolean;
+            outputCountRuntimeBound: boolean;
+            feeIndexRuntimeBound: boolean;
+            nextOutputHashRuntimeBound?: boolean;
+            nextOutputScriptRuntimeBound: boolean;
+            amountRuntimeBound: boolean;
+            reasonCode?: OutputBindingReasonCode;
+            autoDerived?: boolean;
+            fallbackReason?: string;
+            bindingInputs?: OutputBindingInputs;
+        } | undefined;
         capitalCallTrust: {
             capitalCallStage: "open" | "claimed" | "refund-only" | "refunded";
             cutoffMode: "rollover-window";
@@ -1085,12 +1365,12 @@ export declare function inspectCapitalCallRefund(sdk: SimplicityClient, input: {
             refundPathRuntimeAvailable: boolean;
             statusValid: true;
         };
+        schemaVersion: FundVerificationReportSchemaVersion;
         artifactTrust?: {
             definition: import("../core/types").DefinitionVerificationResult["trust"];
             state: import("../core/types").StateVerificationResult["trust"];
         };
         stateTrust?: import("../core/types").StateVerificationResult["trust"];
-        schemaVersion: FundVerificationReportSchemaVersion;
         distributionTrust?: {
             fundIdMatch: boolean;
             lpIdMatch: boolean;
@@ -1098,21 +1378,6 @@ export declare function inspectCapitalCallRefund(sdk: SimplicityClient, input: {
             positionReceiptHashMatch: boolean;
             positionStatusEligible: boolean;
         };
-        outputBindingTrust?: {
-            mode: BondOutputBindingMode;
-            requestedMode?: BondOutputBindingMode;
-            supportedForm?: OutputBindingSupportedForm;
-            nextReceiverRuntimeCommitted: boolean;
-            outputCountRuntimeBound: boolean;
-            feeIndexRuntimeBound: boolean;
-            nextOutputHashRuntimeBound?: boolean;
-            nextOutputScriptRuntimeBound: boolean;
-            amountRuntimeBound: boolean;
-            reasonCode?: OutputBindingReasonCode;
-            autoDerived?: boolean;
-            fallbackReason?: string;
-            bindingInputs?: OutputBindingInputs;
-        };
         receiptTrust?: {
             generated: boolean;
             positionReceiptHash?: string;
@@ -1122,7 +1387,12 @@ export declare function inspectCapitalCallRefund(sdk: SimplicityClient, input: {
             sequence?: number;
             sequenceMonotonic?: boolean;
             attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
         };
+        receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
         closingTrust?: {
             positionReceiptHashMatch: boolean;
             finalDistributionHashesPresent: boolean;
@@ -1169,12 +1439,12 @@ export declare function executeCapitalCallRefund(sdk: SimplicityClient, input: P
                 refundPathRuntimeAvailable: boolean;
                 statusValid: true;
             };
+            schemaVersion: FundVerificationReportSchemaVersion;
             artifactTrust?: {
                 definition: import("../core/types").DefinitionVerificationResult["trust"];
                 state: import("../core/types").StateVerificationResult["trust"];
             };
             stateTrust?: import("../core/types").StateVerificationResult["trust"];
-            schemaVersion: FundVerificationReportSchemaVersion;
             distributionTrust?: {
                 fundIdMatch: boolean;
                 lpIdMatch: boolean;
@@ -1206,7 +1476,12 @@ export declare function executeCapitalCallRefund(sdk: SimplicityClient, input: P
                 sequence?: number;
                 sequenceMonotonic?: boolean;
                 attestingSignerMatch?: boolean;
+                previousEnvelopeProvided?: boolean;
+                previousReceiptHashMatch?: boolean;
+                previousSequenceMatch?: boolean;
+                continuityVerified?: boolean;
             };
+            receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
             closingTrust?: {
                 positionReceiptHashMatch: boolean;
                 finalDistributionHashesPresent: boolean;
@@ -1214,9 +1489,29 @@ export declare function executeCapitalCallRefund(sdk: SimplicityClient, input: P
             };
         };
     };
+    payoutDescriptor: FundPayoutDescriptor;
+    payoutSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
     refundedCapitalCall: CapitalCallState;
     inspect: import("../core/types").InspectResult;
     report: {
+        outputBindingTrust: {
+            mode: BondOutputBindingMode;
+            requestedMode?: BondOutputBindingMode;
+            supportedForm?: OutputBindingSupportedForm;
+            nextReceiverRuntimeCommitted: boolean;
+            outputCountRuntimeBound: boolean;
+            feeIndexRuntimeBound: boolean;
+            nextOutputHashRuntimeBound?: boolean;
+            nextOutputScriptRuntimeBound: boolean;
+            amountRuntimeBound: boolean;
+            reasonCode?: OutputBindingReasonCode;
+            autoDerived?: boolean;
+            fallbackReason?: string;
+            bindingInputs?: OutputBindingInputs;
+        } | undefined;
         capitalCallTrust: {
             capitalCallStage: "open" | "claimed" | "refund-only" | "refunded";
             cutoffMode: "rollover-window";
@@ -1230,12 +1525,12 @@ export declare function executeCapitalCallRefund(sdk: SimplicityClient, input: P
             refundPathRuntimeAvailable: boolean;
             statusValid: true;
         };
+        schemaVersion: FundVerificationReportSchemaVersion;
         artifactTrust?: {
             definition: import("../core/types").DefinitionVerificationResult["trust"];
             state: import("../core/types").StateVerificationResult["trust"];
         };
         stateTrust?: import("../core/types").StateVerificationResult["trust"];
-        schemaVersion: FundVerificationReportSchemaVersion;
         distributionTrust?: {
             fundIdMatch: boolean;
             lpIdMatch: boolean;
@@ -1243,21 +1538,6 @@ export declare function executeCapitalCallRefund(sdk: SimplicityClient, input: P
             positionReceiptHashMatch: boolean;
             positionStatusEligible: boolean;
         };
-        outputBindingTrust?: {
-            mode: BondOutputBindingMode;
-            requestedMode?: BondOutputBindingMode;
-            supportedForm?: OutputBindingSupportedForm;
-            nextReceiverRuntimeCommitted: boolean;
-            outputCountRuntimeBound: boolean;
-            feeIndexRuntimeBound: boolean;
-            nextOutputHashRuntimeBound?: boolean;
-            nextOutputScriptRuntimeBound: boolean;
-            amountRuntimeBound: boolean;
-            reasonCode?: OutputBindingReasonCode;
-            autoDerived?: boolean;
-            fallbackReason?: string;
-            bindingInputs?: OutputBindingInputs;
-        };
         receiptTrust?: {
             generated: boolean;
             positionReceiptHash?: string;
@@ -1267,7 +1547,12 @@ export declare function executeCapitalCallRefund(sdk: SimplicityClient, input: P
             sequence?: number;
             sequenceMonotonic?: boolean;
             attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
         };
+        receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
         closingTrust?: {
             positionReceiptHashMatch: boolean;
             finalDistributionHashesPresent: boolean;
@@ -1336,6 +1621,10 @@ export declare function prepareDistribution(sdk: SimplicityClient, input: {
             sequence?: number;
             sequenceMonotonic?: boolean;
             attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
         } | undefined;
         schemaVersion: FundVerificationReportSchemaVersion;
         artifactTrust?: {
@@ -1371,6 +1660,7 @@ export declare function prepareDistribution(sdk: SimplicityClient, input: {
             fallbackReason?: string;
             bindingInputs?: OutputBindingInputs;
         };
+        receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
         closingTrust?: {
             positionReceiptHashMatch: boolean;
             finalDistributionHashesPresent: boolean;
@@ -1484,13 +1774,17 @@ export declare function verifyDistribution(sdk: SimplicityClient, input: {
             sequence?: number;
             sequenceMonotonic?: boolean;
             attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
         } | undefined;
+        schemaVersion: FundVerificationReportSchemaVersion;
         artifactTrust?: {
             definition: import("../core/types").DefinitionVerificationResult["trust"];
             state: import("../core/types").StateVerificationResult["trust"];
         };
         stateTrust?: import("../core/types").StateVerificationResult["trust"];
-        schemaVersion: FundVerificationReportSchemaVersion;
         capitalCallTrust?: {
             capitalCallStage: import("../core/types").CapitalCallStage;
             cutoffMode: import("../core/types").CapitalCallCutoffMode;
@@ -1519,6 +1813,7 @@ export declare function verifyDistribution(sdk: SimplicityClient, input: {
             fallbackReason?: string;
             bindingInputs?: OutputBindingInputs;
         };
+        receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
         closingTrust?: {
             positionReceiptHashMatch: boolean;
             finalDistributionHashesPresent: boolean;
@@ -1601,13 +1896,17 @@ export declare function inspectDistributionClaim(sdk: SimplicityClient, input: {
                 sequence?: number;
                 sequenceMonotonic?: boolean;
                 attestingSignerMatch?: boolean;
+                previousEnvelopeProvided?: boolean;
+                previousReceiptHashMatch?: boolean;
+                previousSequenceMatch?: boolean;
+                continuityVerified?: boolean;
             } | undefined;
+            schemaVersion: FundVerificationReportSchemaVersion;
             artifactTrust?: {
                 definition: import("../core/types").DefinitionVerificationResult["trust"];
                 state: import("../core/types").StateVerificationResult["trust"];
             };
             stateTrust?: import("../core/types").StateVerificationResult["trust"];
-            schemaVersion: FundVerificationReportSchemaVersion;
             capitalCallTrust?: {
                 capitalCallStage: import("../core/types").CapitalCallStage;
                 cutoffMode: import("../core/types").CapitalCallCutoffMode;
@@ -1636,6 +1935,7 @@ export declare function inspectDistributionClaim(sdk: SimplicityClient, input: {
                 fallbackReason?: string;
                 bindingInputs?: OutputBindingInputs;
             };
+            receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
             closingTrust?: {
                 positionReceiptHashMatch: boolean;
                 finalDistributionHashesPresent: boolean;
@@ -1681,13 +1981,17 @@ export declare function inspectDistributionClaim(sdk: SimplicityClient, input: {
             sequence?: number;
             sequenceMonotonic?: boolean;
             attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
         } | undefined;
+        schemaVersion: FundVerificationReportSchemaVersion;
         artifactTrust?: {
             definition: import("../core/types").DefinitionVerificationResult["trust"];
             state: import("../core/types").StateVerificationResult["trust"];
         };
         stateTrust?: import("../core/types").StateVerificationResult["trust"];
-        schemaVersion: FundVerificationReportSchemaVersion;
         capitalCallTrust?: {
             capitalCallStage: import("../core/types").CapitalCallStage;
             cutoffMode: import("../core/types").CapitalCallCutoffMode;
@@ -1701,6 +2005,7 @@ export declare function inspectDistributionClaim(sdk: SimplicityClient, input: {
             refundPathRuntimeAvailable: boolean;
             statusValid: boolean;
         };
+        receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
         closingTrust?: {
             positionReceiptHashMatch: boolean;
             finalDistributionHashesPresent: boolean;
@@ -1760,13 +2065,17 @@ export declare function executeDistributionClaim(sdk: SimplicityClient, input: P
                 sequence?: number;
                 sequenceMonotonic?: boolean;
                 attestingSignerMatch?: boolean;
+                previousEnvelopeProvided?: boolean;
+                previousReceiptHashMatch?: boolean;
+                previousSequenceMatch?: boolean;
+                continuityVerified?: boolean;
             } | undefined;
+            schemaVersion: FundVerificationReportSchemaVersion;
             artifactTrust?: {
                 definition: import("../core/types").DefinitionVerificationResult["trust"];
                 state: import("../core/types").StateVerificationResult["trust"];
             };
             stateTrust?: import("../core/types").StateVerificationResult["trust"];
-            schemaVersion: FundVerificationReportSchemaVersion;
             capitalCallTrust?: {
                 capitalCallStage: import("../core/types").CapitalCallStage;
                 cutoffMode: import("../core/types").CapitalCallCutoffMode;
@@ -1795,6 +2104,7 @@ export declare function executeDistributionClaim(sdk: SimplicityClient, input: P
                 fallbackReason?: string;
                 bindingInputs?: OutputBindingInputs;
             };
+            receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
             closingTrust?: {
                 positionReceiptHashMatch: boolean;
                 finalDistributionHashesPresent: boolean;
@@ -1840,13 +2150,17 @@ export declare function executeDistributionClaim(sdk: SimplicityClient, input: P
             sequence?: number;
             sequenceMonotonic?: boolean;
             attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
         } | undefined;
+        schemaVersion: FundVerificationReportSchemaVersion;
         artifactTrust?: {
             definition: import("../core/types").DefinitionVerificationResult["trust"];
             state: import("../core/types").StateVerificationResult["trust"];
         };
         stateTrust?: import("../core/types").StateVerificationResult["trust"];
-        schemaVersion: FundVerificationReportSchemaVersion;
         capitalCallTrust?: {
             capitalCallStage: import("../core/types").CapitalCallStage;
             cutoffMode: import("../core/types").CapitalCallCutoffMode;
@@ -1860,6 +2174,7 @@ export declare function executeDistributionClaim(sdk: SimplicityClient, input: P
             refundPathRuntimeAvailable: boolean;
             statusValid: boolean;
         };
+        receiptChainTrust?: import("../core/types").FundReceiptChainTrust;
         closingTrust?: {
             positionReceiptHashMatch: boolean;
             finalDistributionHashesPresent: boolean;
@@ -1872,6 +2187,10 @@ export declare function prepareClosing(sdk: SimplicityClient, input: {
     definitionValue?: FundDefinition;
     positionReceiptPath?: string;
     positionReceiptValue?: LPPositionReceiptEnvelope;
+    previousPositionReceiptPath?: string;
+    previousPositionReceiptValue?: LPPositionReceiptEnvelope;
+    positionReceiptChainPaths?: string[];
+    positionReceiptChainValues?: LPPositionReceiptEnvelope[];
     closingPath?: string;
     closingValue?: FundClosingDescriptor;
     closingId?: string;
@@ -1879,16 +2198,6 @@ export declare function prepareClosing(sdk: SimplicityClient, input: {
     closedAt?: string;
     closingReason?: FundClosingDescriptor["closingReason"];
 }): Promise<{
-    positionReceipt: import("../core/types").StateDocumentDescriptor;
-    positionReceiptValue: LPPositionReceiptEnvelope;
-    positionReceiptSummary: {
-        canonicalJson: string;
-        hash: string;
-    };
-    positionReceiptEnvelopeSummary: {
-        canonicalJson: string;
-        hash: string;
-    };
     closing: import("../core/types").StateDocumentDescriptor;
     closingValue: FundClosingDescriptor;
     closingSummary: {
@@ -1916,7 +2225,12 @@ export declare function prepareClosing(sdk: SimplicityClient, input: {
             sequence?: number;
             sequenceMonotonic?: boolean;
             attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
         } | undefined;
+        receiptChainTrust: import("../core/types").FundReceiptChainTrust | undefined;
         schemaVersion: FundVerificationReportSchemaVersion;
         artifactTrust?: {
             definition: import("../core/types").DefinitionVerificationResult["trust"];
@@ -1959,16 +2273,26 @@ export declare function prepareClosing(sdk: SimplicityClient, input: {
             bindingInputs?: OutputBindingInputs;
         };
     };
-}>;
-export declare function verifyClosing(sdk: SimplicityClient, input: {
-    definitionPath?: string;
-    definitionValue?: FundDefinition;
-    positionReceiptPath?: string;
-    positionReceiptValue?: LPPositionReceiptEnvelope;
-    closingPath?: string;
-    closingValue?: FundClosingDescriptor;
-}): Promise<{
-    verified: boolean;
+    positionReceiptChain?: import("../core/types").StateDocumentDescriptor[] | undefined;
+    positionReceiptChainValues?: LPPositionReceiptEnvelope[] | undefined;
+    positionReceiptChainSummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    positionReceiptEnvelopeChainSummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    previousPositionReceipt?: import("../core/types").StateDocumentDescriptor | undefined;
+    previousPositionReceiptValue?: LPPositionReceiptEnvelope | undefined;
+    previousPositionReceiptSummary?: {
+        canonicalJson: string;
+        hash: string;
+    } | undefined;
+    previousPositionReceiptEnvelopeSummary?: {
+        canonicalJson: string;
+        hash: string;
+    } | undefined;
     positionReceipt: import("../core/types").StateDocumentDescriptor;
     positionReceiptValue: LPPositionReceiptEnvelope;
     positionReceiptSummary: {
@@ -1979,6 +2303,19 @@ export declare function verifyClosing(sdk: SimplicityClient, input: {
         canonicalJson: string;
         hash: string;
     };
+}>;
+export declare function verifyClosing(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: FundDefinition;
+    positionReceiptPath?: string;
+    positionReceiptValue?: LPPositionReceiptEnvelope;
+    previousPositionReceiptPath?: string;
+    previousPositionReceiptValue?: LPPositionReceiptEnvelope;
+    positionReceiptChainPaths?: string[];
+    positionReceiptChainValues?: LPPositionReceiptEnvelope[];
+    closingPath?: string;
+    closingValue?: FundClosingDescriptor;
+}): Promise<{
     closing: import("../core/types").StateDocumentDescriptor;
     closingValue: FundClosingDescriptor;
     closingSummary: {
@@ -2005,7 +2342,12 @@ export declare function verifyClosing(sdk: SimplicityClient, input: {
             sequence?: number;
             sequenceMonotonic?: boolean;
             attestingSignerMatch?: boolean;
+            previousEnvelopeProvided?: boolean;
+            previousReceiptHashMatch?: boolean;
+            previousSequenceMatch?: boolean;
+            continuityVerified?: boolean;
         } | undefined;
+        receiptChainTrust: import("../core/types").FundReceiptChainTrust | undefined;
         schemaVersion: FundVerificationReportSchemaVersion;
         artifactTrust?: {
             definition: import("../core/types").DefinitionVerificationResult["trust"];
@@ -2048,6 +2390,43 @@ export declare function verifyClosing(sdk: SimplicityClient, input: {
             bindingInputs?: OutputBindingInputs;
         };
     };
+    positionReceiptChain?: import("../core/types").StateDocumentDescriptor[] | undefined;
+    positionReceiptChainValues?: LPPositionReceiptEnvelope[] | undefined;
+    positionReceiptChainSummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    positionReceiptEnvelopeChainSummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    previousPositionReceipt?: import("../core/types").StateDocumentDescriptor | undefined;
+    previousPositionReceiptValue?: LPPositionReceiptEnvelope | undefined;
+    previousPositionReceiptSummary?: {
+        canonicalJson: string;
+        hash: string;
+    } | undefined;
+    previousPositionReceiptEnvelopeSummary?: {
+        canonicalJson: string;
+        hash: string;
+    } | undefined;
+    verified: boolean;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: FundDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    positionReceipt: import("../core/types").StateDocumentDescriptor;
+    positionReceiptValue: LPPositionReceiptEnvelope;
+    positionReceiptSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    positionReceiptEnvelopeSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
 }>;
 export declare function exportEvidence(sdk: SimplicityClient, input: {
     artifactPath?: string;
@@ -2058,6 +2437,10 @@ export declare function exportEvidence(sdk: SimplicityClient, input: {
     capitalCallValue?: CapitalCallState;
     positionReceiptPath?: string;
     positionReceiptValue?: LPPositionReceiptEnvelope;
+    previousPositionReceiptPath?: string;
+    previousPositionReceiptValue?: LPPositionReceiptEnvelope;
+    positionReceiptChainPaths?: string[];
+    positionReceiptChainValues?: LPPositionReceiptEnvelope[];
     distributionPath?: string;
     distributionValue?: DistributionDescriptor;
     distributionPaths?: string[];