@hazbase/simplicity 0.1.1 → 0.2.0

package/dist/domain/receivable.d.ts

@@ -0,0 +1,824 @@
+import type { SimplicityClient } from "../client/SimplicityClient";
+import type { BondOutputBindingMode, OutputAmountForm, OutputAssetForm, OutputNonceForm, OutputRawFields, OutputRangeProofForm, ReceivableClosingDescriptor, ReceivableDefinition, ReceivableEvidenceBundle, ReceivableFinalityPayload, ReceivableFundingClaimDescriptor, ReceivableRepaymentClaimDescriptor, ReceivableState, ReceivableVerificationReport, SimplicityArtifact } from "../core/types";
+type ReceivablePayoutDescriptor = {
+    receiverAddress: string;
+    nextOutputHash?: string;
+    nextOutputScriptHash?: string;
+    amountSat: number;
+    assetId: string;
+    requestedOutputBindingMode?: BondOutputBindingMode;
+    outputForm?: {
+        assetForm?: OutputAssetForm;
+        amountForm?: OutputAmountForm;
+        nonceForm?: OutputNonceForm;
+        rangeProofForm?: OutputRangeProofForm;
+    };
+    rawOutput?: Partial<OutputRawFields>;
+    feeIndex: number;
+    nextOutputIndex: number;
+    maxFeeSat: number;
+    outputBindingMode: BondOutputBindingMode;
+};
+export declare function define(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+}): Promise<{
+    ok: boolean;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    summary: {
+        canonicalJson: string;
+        hash: string;
+    };
+}>;
+export declare function verify(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+    statePath?: string;
+    stateValue?: ReceivableState;
+}): Promise<{
+    verified: boolean;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    state: import("../core/types").StateDocumentDescriptor;
+    stateValue: ReceivableState;
+    stateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    crossChecks: {
+        receivableIdMatch: boolean;
+        originatorMatch: boolean;
+        debtorMatch: boolean;
+        currencyMatch: boolean;
+        controllerMatch: boolean;
+        faceValueMatch: boolean;
+        arithmeticValid: boolean;
+    };
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+}>;
+export declare function load(sdk: SimplicityClient, input: Parameters<typeof verify>[1]): Promise<{
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    state: import("../core/types").StateDocumentDescriptor;
+    stateValue: ReceivableState;
+    stateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    crossChecks: {
+        receivableIdMatch: boolean;
+        originatorMatch: boolean;
+        debtorMatch: boolean;
+        currencyMatch: boolean;
+        controllerMatch: boolean;
+        faceValueMatch: boolean;
+        arithmeticValid: boolean;
+    };
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+}>;
+export declare function verifyStateHistory(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+    stateHistoryPaths?: string[];
+    stateHistoryValues?: ReceivableState[];
+}): Promise<{
+    verified: boolean;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    latestState: import("../core/types").StateDocumentDescriptor;
+    latestStateValue: ReceivableState;
+    latestStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    stateHistory: import("../core/types").StateDocumentDescriptor[];
+    stateHistoryValues: ReceivableState[];
+    stateHistorySummaries: {
+        canonicalJson: string;
+        hash: string;
+    }[];
+    checks: {
+        chainLength: number;
+        startsAtGenesis: boolean;
+        latestStatus: import("../core/types").ReceivableStatus;
+        allPreviousStateHashMatch: boolean;
+        receivableIdConsistent: boolean;
+        originatorConsistent: boolean;
+        debtorConsistent: boolean;
+        currencyConsistent: boolean;
+        controllerConsistent: boolean;
+        faceValueConsistent: boolean;
+        allArithmeticValid: boolean;
+        allStatusProgressionValid: boolean;
+        fullHistoryVerified: boolean;
+        summaries: {
+            hash: string;
+        }[];
+    };
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+}>;
+export declare function prepareFunding(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+    previousStatePath?: string;
+    previousStateValue?: ReceivableState;
+    nextStatePath?: string;
+    nextStateValue?: ReceivableState;
+    stateId?: string;
+    holderEntityId?: string;
+    fundedAt?: string;
+}): Promise<{
+    verified: boolean;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    previousState: import("../core/types").StateDocumentDescriptor;
+    previousStateValue: ReceivableState;
+    previousStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    nextState: import("../core/types").StateDocumentDescriptor;
+    nextStateValue: ReceivableState;
+    nextStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+}>;
+export declare function verifyFunding(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+    previousStatePath?: string;
+    previousStateValue?: ReceivableState;
+    nextStatePath?: string;
+    nextStateValue?: ReceivableState;
+}): Promise<{
+    verified: boolean;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    previousState: import("../core/types").StateDocumentDescriptor;
+    previousStateValue: ReceivableState;
+    previousStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    nextState: import("../core/types").StateDocumentDescriptor;
+    nextStateValue: ReceivableState;
+    nextStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+}>;
+export declare function prepareRepayment(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+    previousStatePath?: string;
+    previousStateValue?: ReceivableState;
+    nextStatePath?: string;
+    nextStateValue?: ReceivableState;
+    stateId?: string;
+    amount?: number;
+    repaidAt?: string;
+}): Promise<{
+    verified: boolean;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    previousState: import("../core/types").StateDocumentDescriptor;
+    previousStateValue: ReceivableState;
+    previousStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    nextState: import("../core/types").StateDocumentDescriptor;
+    nextStateValue: ReceivableState;
+    nextStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+}>;
+export declare function verifyRepayment(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+    previousStatePath?: string;
+    previousStateValue?: ReceivableState;
+    nextStatePath?: string;
+    nextStateValue?: ReceivableState;
+}): Promise<{
+    verified: boolean;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    previousState: import("../core/types").StateDocumentDescriptor;
+    previousStateValue: ReceivableState;
+    previousStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    nextState: import("../core/types").StateDocumentDescriptor;
+    nextStateValue: ReceivableState;
+    nextStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+}>;
+export declare function prepareFundingClaim(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+    currentStatePath?: string;
+    currentStateValue?: ReceivableState;
+    stateHistoryPaths?: string[];
+    stateHistoryValues?: ReceivableState[];
+    fundingClaimPath?: string;
+    fundingClaimValue?: ReceivableFundingClaimDescriptor;
+    claimId?: string;
+    payerEntityId?: string;
+    payeeEntityId?: string;
+    claimantXonly?: string;
+    amountSat?: number;
+    eventTimestamp?: string;
+    simfPath?: string;
+    artifactPath?: string;
+}): Promise<{
+    compiled: import("..").CompiledContract;
+    claim: import("../core/types").StateDocumentDescriptor;
+    claimValue: ReceivableFundingClaimDescriptor | ReceivableRepaymentClaimDescriptor;
+    claimSummary: {
+        canonicalJson: string;
+        hash: string;
+    } | {
+        canonicalJson: string;
+        hash: string;
+    };
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+    stateHistory?: import("../core/types").StateDocumentDescriptor[] | undefined;
+    stateHistoryValues?: ReceivableState[] | undefined;
+    stateHistorySummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    verified: boolean;
+    artifact: SimplicityArtifact | undefined;
+    artifactVerification: {
+        definition?: Awaited<ReturnType<SimplicityClient["verifyDefinitionAgainstArtifact"]>>;
+        state?: Awaited<ReturnType<SimplicityClient["verifyStateAgainstArtifact"]>>;
+    } | undefined;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    currentState: import("../core/types").StateDocumentDescriptor;
+    currentStateValue: ReceivableState;
+    currentStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+}>;
+export declare function verifyFundingClaim(sdk: SimplicityClient, input: {
+    artifactPath?: string;
+    artifact?: SimplicityArtifact;
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+    currentStatePath?: string;
+    currentStateValue?: ReceivableState;
+    stateHistoryPaths?: string[];
+    stateHistoryValues?: ReceivableState[];
+    fundingClaimPath?: string;
+    fundingClaimValue?: ReceivableFundingClaimDescriptor;
+}): Promise<{
+    claim: import("../core/types").StateDocumentDescriptor;
+    claimValue: ReceivableFundingClaimDescriptor | ReceivableRepaymentClaimDescriptor;
+    claimSummary: {
+        canonicalJson: string;
+        hash: string;
+    } | {
+        canonicalJson: string;
+        hash: string;
+    };
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+    stateHistory?: import("../core/types").StateDocumentDescriptor[] | undefined;
+    stateHistoryValues?: ReceivableState[] | undefined;
+    stateHistorySummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    verified: boolean;
+    artifact: SimplicityArtifact | undefined;
+    artifactVerification: {
+        definition?: Awaited<ReturnType<SimplicityClient["verifyDefinitionAgainstArtifact"]>>;
+        state?: Awaited<ReturnType<SimplicityClient["verifyStateAgainstArtifact"]>>;
+    } | undefined;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    currentState: import("../core/types").StateDocumentDescriptor;
+    currentStateValue: ReceivableState;
+    currentStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+}>;
+export declare function inspectFundingClaim(sdk: SimplicityClient, input: Parameters<typeof verifyFundingClaim>[1] & {
+    payoutAddress: string;
+    nextOutputHash?: string;
+    outputForm?: {
+        assetForm?: OutputAssetForm;
+        amountForm?: OutputAmountForm;
+        nonceForm?: OutputNonceForm;
+        rangeProofForm?: OutputRangeProofForm;
+    };
+    rawOutput?: Partial<OutputRawFields>;
+    outputBindingMode?: BondOutputBindingMode;
+    wallet: string;
+    signer: {
+        type: "schnorrPrivkeyHex";
+        privkeyHex: string;
+    };
+    feeSat?: number;
+    utxoPolicy?: "smallest_over" | "largest" | "newest";
+}): Promise<{
+    payoutDescriptor: ReceivablePayoutDescriptor;
+    inspect: import("../core/types").InspectResult;
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+    claim: import("../core/types").StateDocumentDescriptor;
+    claimValue: ReceivableFundingClaimDescriptor | ReceivableRepaymentClaimDescriptor;
+    claimSummary: {
+        canonicalJson: string;
+        hash: string;
+    } | {
+        canonicalJson: string;
+        hash: string;
+    };
+    stateHistory?: import("../core/types").StateDocumentDescriptor[] | undefined;
+    stateHistoryValues?: ReceivableState[] | undefined;
+    stateHistorySummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    verified: boolean;
+    artifact: SimplicityArtifact | undefined;
+    artifactVerification: {
+        definition?: Awaited<ReturnType<SimplicityClient["verifyDefinitionAgainstArtifact"]>>;
+        state?: Awaited<ReturnType<SimplicityClient["verifyStateAgainstArtifact"]>>;
+    } | undefined;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    currentState: import("../core/types").StateDocumentDescriptor;
+    currentStateValue: ReceivableState;
+    currentStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+}>;
+export declare function executeFundingClaim(sdk: SimplicityClient, input: Parameters<typeof inspectFundingClaim>[1] & {
+    broadcast?: boolean;
+}): Promise<{
+    execution: import("../core/types").ExecuteResult;
+    payoutDescriptor: ReceivablePayoutDescriptor;
+    inspect: import("../core/types").InspectResult;
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+    claim: import("../core/types").StateDocumentDescriptor;
+    claimValue: ReceivableFundingClaimDescriptor | ReceivableRepaymentClaimDescriptor;
+    claimSummary: {
+        canonicalJson: string;
+        hash: string;
+    } | {
+        canonicalJson: string;
+        hash: string;
+    };
+    stateHistory?: import("../core/types").StateDocumentDescriptor[] | undefined;
+    stateHistoryValues?: ReceivableState[] | undefined;
+    stateHistorySummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    verified: boolean;
+    artifact: SimplicityArtifact | undefined;
+    artifactVerification: {
+        definition?: Awaited<ReturnType<SimplicityClient["verifyDefinitionAgainstArtifact"]>>;
+        state?: Awaited<ReturnType<SimplicityClient["verifyStateAgainstArtifact"]>>;
+    } | undefined;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    currentState: import("../core/types").StateDocumentDescriptor;
+    currentStateValue: ReceivableState;
+    currentStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+}>;
+export declare function prepareRepaymentClaim(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+    currentStatePath?: string;
+    currentStateValue?: ReceivableState;
+    stateHistoryPaths?: string[];
+    stateHistoryValues?: ReceivableState[];
+    repaymentClaimPath?: string;
+    repaymentClaimValue?: ReceivableRepaymentClaimDescriptor;
+    claimId?: string;
+    payerEntityId?: string;
+    payeeEntityId?: string;
+    claimantXonly?: string;
+    amountSat?: number;
+    eventTimestamp?: string;
+    simfPath?: string;
+    artifactPath?: string;
+}): Promise<{
+    compiled: import("..").CompiledContract;
+    claim: import("../core/types").StateDocumentDescriptor;
+    claimValue: ReceivableFundingClaimDescriptor | ReceivableRepaymentClaimDescriptor;
+    claimSummary: {
+        canonicalJson: string;
+        hash: string;
+    } | {
+        canonicalJson: string;
+        hash: string;
+    };
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+    stateHistory?: import("../core/types").StateDocumentDescriptor[] | undefined;
+    stateHistoryValues?: ReceivableState[] | undefined;
+    stateHistorySummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    verified: boolean;
+    artifact: SimplicityArtifact | undefined;
+    artifactVerification: {
+        definition?: Awaited<ReturnType<SimplicityClient["verifyDefinitionAgainstArtifact"]>>;
+        state?: Awaited<ReturnType<SimplicityClient["verifyStateAgainstArtifact"]>>;
+    } | undefined;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    currentState: import("../core/types").StateDocumentDescriptor;
+    currentStateValue: ReceivableState;
+    currentStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+}>;
+export declare function verifyRepaymentClaim(sdk: SimplicityClient, input: {
+    artifactPath?: string;
+    artifact?: SimplicityArtifact;
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+    currentStatePath?: string;
+    currentStateValue?: ReceivableState;
+    stateHistoryPaths?: string[];
+    stateHistoryValues?: ReceivableState[];
+    repaymentClaimPath?: string;
+    repaymentClaimValue?: ReceivableRepaymentClaimDescriptor;
+}): Promise<{
+    claim: import("../core/types").StateDocumentDescriptor;
+    claimValue: ReceivableFundingClaimDescriptor | ReceivableRepaymentClaimDescriptor;
+    claimSummary: {
+        canonicalJson: string;
+        hash: string;
+    } | {
+        canonicalJson: string;
+        hash: string;
+    };
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+    stateHistory?: import("../core/types").StateDocumentDescriptor[] | undefined;
+    stateHistoryValues?: ReceivableState[] | undefined;
+    stateHistorySummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    verified: boolean;
+    artifact: SimplicityArtifact | undefined;
+    artifactVerification: {
+        definition?: Awaited<ReturnType<SimplicityClient["verifyDefinitionAgainstArtifact"]>>;
+        state?: Awaited<ReturnType<SimplicityClient["verifyStateAgainstArtifact"]>>;
+    } | undefined;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    currentState: import("../core/types").StateDocumentDescriptor;
+    currentStateValue: ReceivableState;
+    currentStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+}>;
+export declare function inspectRepaymentClaim(sdk: SimplicityClient, input: Parameters<typeof verifyRepaymentClaim>[1] & {
+    payoutAddress: string;
+    nextOutputHash?: string;
+    outputForm?: {
+        assetForm?: OutputAssetForm;
+        amountForm?: OutputAmountForm;
+        nonceForm?: OutputNonceForm;
+        rangeProofForm?: OutputRangeProofForm;
+    };
+    rawOutput?: Partial<OutputRawFields>;
+    outputBindingMode?: BondOutputBindingMode;
+    wallet: string;
+    signer: {
+        type: "schnorrPrivkeyHex";
+        privkeyHex: string;
+    };
+    feeSat?: number;
+    utxoPolicy?: "smallest_over" | "largest" | "newest";
+}): Promise<{
+    payoutDescriptor: ReceivablePayoutDescriptor;
+    inspect: import("../core/types").InspectResult;
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+    claim: import("../core/types").StateDocumentDescriptor;
+    claimValue: ReceivableFundingClaimDescriptor | ReceivableRepaymentClaimDescriptor;
+    claimSummary: {
+        canonicalJson: string;
+        hash: string;
+    } | {
+        canonicalJson: string;
+        hash: string;
+    };
+    stateHistory?: import("../core/types").StateDocumentDescriptor[] | undefined;
+    stateHistoryValues?: ReceivableState[] | undefined;
+    stateHistorySummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    verified: boolean;
+    artifact: SimplicityArtifact | undefined;
+    artifactVerification: {
+        definition?: Awaited<ReturnType<SimplicityClient["verifyDefinitionAgainstArtifact"]>>;
+        state?: Awaited<ReturnType<SimplicityClient["verifyStateAgainstArtifact"]>>;
+    } | undefined;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    currentState: import("../core/types").StateDocumentDescriptor;
+    currentStateValue: ReceivableState;
+    currentStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+}>;
+export declare function executeRepaymentClaim(sdk: SimplicityClient, input: Parameters<typeof inspectRepaymentClaim>[1] & {
+    broadcast?: boolean;
+}): Promise<{
+    execution: import("../core/types").ExecuteResult;
+    payoutDescriptor: ReceivablePayoutDescriptor;
+    inspect: import("../core/types").InspectResult;
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+    claim: import("../core/types").StateDocumentDescriptor;
+    claimValue: ReceivableFundingClaimDescriptor | ReceivableRepaymentClaimDescriptor;
+    claimSummary: {
+        canonicalJson: string;
+        hash: string;
+    } | {
+        canonicalJson: string;
+        hash: string;
+    };
+    stateHistory?: import("../core/types").StateDocumentDescriptor[] | undefined;
+    stateHistoryValues?: ReceivableState[] | undefined;
+    stateHistorySummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    verified: boolean;
+    artifact: SimplicityArtifact | undefined;
+    artifactVerification: {
+        definition?: Awaited<ReturnType<SimplicityClient["verifyDefinitionAgainstArtifact"]>>;
+        state?: Awaited<ReturnType<SimplicityClient["verifyStateAgainstArtifact"]>>;
+    } | undefined;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    currentState: import("../core/types").StateDocumentDescriptor;
+    currentStateValue: ReceivableState;
+    currentStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+}>;
+export declare function prepareWriteOff(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+    previousStatePath?: string;
+    previousStateValue?: ReceivableState;
+    nextStatePath?: string;
+    nextStateValue?: ReceivableState;
+    stateId?: string;
+    defaultedAt?: string;
+    writeOffAmount?: number;
+}): Promise<{
+    verified: boolean;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    previousState: import("../core/types").StateDocumentDescriptor;
+    previousStateValue: ReceivableState;
+    previousStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    nextState: import("../core/types").StateDocumentDescriptor;
+    nextStateValue: ReceivableState;
+    nextStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+}>;
+export declare function verifyWriteOff(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+    previousStatePath?: string;
+    previousStateValue?: ReceivableState;
+    nextStatePath?: string;
+    nextStateValue?: ReceivableState;
+}): Promise<{
+    verified: boolean;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    previousState: import("../core/types").StateDocumentDescriptor;
+    previousStateValue: ReceivableState;
+    previousStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    nextState: import("../core/types").StateDocumentDescriptor;
+    nextStateValue: ReceivableState;
+    nextStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+}>;
+export declare function prepareClosing(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+    latestStatePath?: string;
+    latestStateValue?: ReceivableState;
+    stateHistoryPaths?: string[];
+    stateHistoryValues?: ReceivableState[];
+    closingPath?: string;
+    closingValue?: ReceivableClosingDescriptor;
+    closingId?: string;
+    closedAt?: string;
+    closingReason?: ReceivableClosingDescriptor["closingReason"];
+}): Promise<{
+    closing: import("../core/types").StateDocumentDescriptor;
+    closingValue: ReceivableClosingDescriptor;
+    closingSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+    stateHistory?: import("../core/types").StateDocumentDescriptor[] | undefined;
+    stateHistoryValues?: ReceivableState[] | undefined;
+    stateHistorySummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    verified: boolean;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    latestState: import("../core/types").StateDocumentDescriptor;
+    latestStateValue: ReceivableState;
+    latestStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+}>;
+export declare function verifyClosing(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+    latestStatePath?: string;
+    latestStateValue?: ReceivableState;
+    stateHistoryPaths?: string[];
+    stateHistoryValues?: ReceivableState[];
+    closingPath?: string;
+    closingValue?: ReceivableClosingDescriptor;
+}): Promise<{
+    closing: import("../core/types").StateDocumentDescriptor;
+    closingValue: ReceivableClosingDescriptor;
+    closingSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    report: ReceivableVerificationReport;
+    trustSummary: import("../core/types").VerificationTrustSummary;
+    stateHistory?: import("../core/types").StateDocumentDescriptor[] | undefined;
+    stateHistoryValues?: ReceivableState[] | undefined;
+    stateHistorySummaries?: {
+        canonicalJson: string;
+        hash: string;
+    }[] | undefined;
+    verified: boolean;
+    definition: import("../core/types").DefinitionDescriptor;
+    definitionValue: ReceivableDefinition;
+    definitionSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+    latestState: import("../core/types").StateDocumentDescriptor;
+    latestStateValue: ReceivableState;
+    latestStateSummary: {
+        canonicalJson: string;
+        hash: string;
+    };
+}>;
+export declare function exportEvidence(sdk: SimplicityClient, input: {
+    definitionPath?: string;
+    definitionValue?: ReceivableDefinition;
+    statePath?: string;
+    stateValue?: ReceivableState;
+    stateHistoryPaths?: string[];
+    stateHistoryValues?: ReceivableState[];
+    fundingClaimPath?: string;
+    fundingClaimValue?: ReceivableFundingClaimDescriptor;
+    repaymentClaimPath?: string;
+    repaymentClaimValue?: ReceivableRepaymentClaimDescriptor;
+    closingPath?: string;
+    closingValue?: ReceivableClosingDescriptor;
+    verificationReportValue?: ReceivableVerificationReport;
+}): Promise<ReceivableEvidenceBundle>;
+export declare function exportFinalityPayload(sdk: SimplicityClient, input: Parameters<typeof exportEvidence>[1]): Promise<ReceivableFinalityPayload>;
+export {};