@hazbase/simplicity 0.0.5 → 0.2.0

package/dist/client/SimplicityClient.d.ts

@@ -1,305 +1,106 @@
+import { evaluateOutputBindingSupport } from "../core/outputBinding";
 import { ElementsRpcClient } from "../core/rpc";
-import { BondDefinition, BondIssuanceState, BondSettlementDescriptor, DefinitionInput, DefinitionVerificationResult, CompileFromFileInput, CompileFromPresetInput, DefinitionDescriptor, StateDocumentDescriptor, StateDocumentInput, StateVerificationResult, SimplicityArtifact, SimplicityClientConfig } from "../core/types";
+import { BondEvidenceBundle, OutputBindingSupportEvaluation, OutputBindingSupportMatrix, PolicyEvidenceBundle, ReceivableEvidenceBundle, PolicyTemplateManifestValidationResult, DefinitionInput, DefinitionVerificationResult, CompileFromFileInput, CompileFromPresetInput, DefinitionDescriptor, StateDocumentDescriptor, StateDocumentInput, StateVerificationResult, SimplicityArtifact, SimplicityClientConfig } from "../core/types";
 import { RelayerClient } from "../gasless/RelayerClient";
 import { GaslessTransferInput, GaslessTransferResult, RelayerClientConfig } from "../gasless/types";
 import { CompiledContract } from "./ContractFactory";
 import { DeployedContract } from "./DeployedContract";
-import { buildBondPayload, buildBondRedemption, buildBondTransitionPayload, buildBondRolloverPlan, buildBondMachineRolloverPlan, buildBondMachineSettlementPlan, buildBondSettlementDescriptor, buildBondSettlementPayload, compileBondRedemptionMachine, compileBondTransition, executeBondStateRollover, executeBondMachineRollover, executeBondMachineSettlement, inspectBondStateRollover, inspectBondMachineRollover, inspectBondMachineSettlement, loadBond, redeemBond, verifyBond, verifyBondSettlementDescriptor, verifyBondRedemptionMachineArtifact, verifyBondTransition } from "../domain/bond";
+import { prepareRedemption, prepareClosing, exportFinalityPayload, buildSettlement, verifySettlement, define, executeClosing, executeRedemption, exportEvidence, inspectClosing, inspectRedemption, issue, load, verify, verifyIssuanceHistory, verifyClosing, verifyRedemption } from "../domain/bond";
+import { define as defineFund, verify as verifyFund, load as loadFund, prepareCapitalCall, inspectCapitalCallClaim, executeCapitalCallClaim, inspectCapitalCallRollover, executeCapitalCallRollover, inspectCapitalCallRefund, executeCapitalCallRefund, verifyCapitalCall, signPositionReceipt, verifyPositionReceipt, verifyPositionReceiptChain, prepareDistribution, reconcilePosition, inspectDistributionClaim, executeDistributionClaim, verifyDistribution, prepareClosing as prepareFundClosing, verifyClosing as verifyFundClosing, exportEvidence as exportFundEvidence, exportFinalityPayload as exportFundFinalityPayload } from "../domain/fund";
+import { buildPolicyOutputDescriptor, describePolicyTemplate, listPolicyTemplates, loadPolicyTemplateManifest, executeTransfer as executePolicyTransfer, exportEvidence as exportPolicyEvidence, inspectTransfer as inspectPolicyTransfer, issue as issuePolicy, prepareTransfer as preparePolicyTransfer, validatePolicyTemplateManifest, validatePolicyTemplateParams, verifyState as verifyPolicyState, verifyTransfer as verifyPolicyTransfer } from "../domain/policies";
+import { define as defineReceivable, exportEvidence as exportReceivableEvidence, exportFinalityPayload as exportReceivableFinalityPayload, executeFundingClaim as executeReceivableFundingClaim, executeRepaymentClaim as executeReceivableRepaymentClaim, inspectFundingClaim as inspectReceivableFundingClaim, inspectRepaymentClaim as inspectReceivableRepaymentClaim, load as loadReceivable, prepareClosing as prepareReceivableClosing, prepareFundingClaim as prepareReceivableFundingClaim, prepareFunding as prepareReceivableFunding, prepareRepaymentClaim as prepareReceivableRepaymentClaim, prepareRepayment as prepareReceivableRepayment, prepareWriteOff as prepareReceivableWriteOff, verify as verifyReceivable, verifyClosing as verifyReceivableClosing, verifyFundingClaim as verifyReceivableFundingClaim, verifyFunding as verifyReceivableFunding, verifyRepaymentClaim as verifyReceivableRepaymentClaim, verifyRepayment as verifyReceivableRepayment, verifyStateHistory as verifyReceivableStateHistory, verifyWriteOff as verifyReceivableWriteOff } from "../domain/receivable";
 export declare class SimplicityClient {
     readonly config: SimplicityClientConfig;
     readonly rpc: ElementsRpcClient;
     readonly payments: {
         gaslessTransfer: (input: GaslessTransferInput) => Promise<GaslessTransferResult>;
     };
+    readonly outputBinding: {
+        describeSupport: () => OutputBindingSupportMatrix;
+        evaluateSupport: (input: Parameters<typeof evaluateOutputBindingSupport>[0]) => OutputBindingSupportEvaluation;
+    };
+    readonly policies: {
+        listTemplates: () => ReturnType<typeof listPolicyTemplates>;
+        describeTemplate: (input: Parameters<typeof describePolicyTemplate>[0]) => ReturnType<typeof describePolicyTemplate>;
+        loadTemplateManifest: (input: Parameters<typeof loadPolicyTemplateManifest>[0]) => ReturnType<typeof loadPolicyTemplateManifest>;
+        validateTemplateManifest: (input: Parameters<typeof validatePolicyTemplateManifest>[0]) => PolicyTemplateManifestValidationResult;
+        validateTemplateParams: (input: Parameters<typeof validatePolicyTemplateParams>[0]) => ReturnType<typeof validatePolicyTemplateParams>;
+        buildOutputDescriptor: (input: Parameters<typeof buildPolicyOutputDescriptor>[1]) => ReturnType<typeof buildPolicyOutputDescriptor>;
+        issue: (input: Parameters<typeof issuePolicy>[1]) => ReturnType<typeof issuePolicy>;
+        prepareTransfer: (input: Parameters<typeof preparePolicyTransfer>[1]) => ReturnType<typeof preparePolicyTransfer>;
+        inspectTransfer: (input: Parameters<typeof inspectPolicyTransfer>[1]) => ReturnType<typeof inspectPolicyTransfer>;
+        executeTransfer: (input: Parameters<typeof executePolicyTransfer>[1]) => ReturnType<typeof executePolicyTransfer>;
+        verifyState: (input: Parameters<typeof verifyPolicyState>[1]) => ReturnType<typeof verifyPolicyState>;
+        verifyTransfer: (input: Parameters<typeof verifyPolicyTransfer>[1]) => ReturnType<typeof verifyPolicyTransfer>;
+        exportEvidence: (input: Parameters<typeof exportPolicyEvidence>[1]) => Promise<PolicyEvidenceBundle>;
+    };
     readonly bonds: {
-        defineBond: (input: {
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            issuancePath?: string;
-            issuanceValue?: BondIssuanceState;
-            simfPath?: string;
-            artifactPath?: string;
-        }) => Promise<CompiledContract>;
-        verifyBond: (input: {
-            artifactPath?: string;
-            artifact?: SimplicityArtifact;
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            issuancePath?: string;
-            issuanceValue?: BondIssuanceState;
-        }) => ReturnType<typeof verifyBond>;
-        redeemBond: (input: {
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            amount: number;
-            redeemedAt: string;
-            simfPath?: string;
-            artifactPath?: string;
-        }) => ReturnType<typeof redeemBond>;
-        verifyBondTransition: (input: {
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-        }) => ReturnType<typeof verifyBondTransition>;
-        buildBondRedemption: (input: {
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            amount: number;
-            redeemedAt: string;
-        }) => ReturnType<typeof buildBondRedemption>;
-        buildBondPayload: (input: {
-            artifactPath?: string;
-            artifact?: SimplicityArtifact;
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            issuancePath?: string;
-            issuanceValue?: BondIssuanceState;
-        }) => ReturnType<typeof buildBondPayload>;
-        buildBondTransitionPayload: (input: {
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-        }) => ReturnType<typeof buildBondTransitionPayload>;
-        buildBondSettlementDescriptor: (input: {
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-            nextStateSimfPath?: string;
-            nextAmountSat: number;
-            maxFeeSat?: number;
-        }) => ReturnType<typeof buildBondSettlementDescriptor>;
-        verifyBondSettlementDescriptor: (input: {
-            descriptorPath?: string;
-            descriptorValue?: BondSettlementDescriptor;
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-            nextStateSimfPath?: string;
-            nextAmountSat?: number;
-            maxFeeSat?: number;
-        }) => ReturnType<typeof verifyBondSettlementDescriptor>;
-        buildBondSettlementPayload: (input: {
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-            nextStateSimfPath?: string;
-            nextAmountSat: number;
-            maxFeeSat?: number;
-        }) => ReturnType<typeof buildBondSettlementPayload>;
-        buildBondRolloverPlan: (input: {
-            currentArtifactPath?: string;
-            currentArtifact?: SimplicityArtifact;
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-            nextSimfPath?: string;
-            nextArtifactPath?: string;
-        }) => ReturnType<typeof buildBondRolloverPlan>;
-        buildBondMachineRolloverPlan: (input: {
-            currentArtifactPath?: string;
-            currentArtifact?: SimplicityArtifact;
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-            nextStateSimfPath?: string;
-            machineSimfPath?: string;
-            machineArtifactPath?: string;
-        }) => ReturnType<typeof buildBondMachineRolloverPlan>;
-        buildBondMachineSettlementPlan: (input: {
-            currentMachineArtifactPath?: string;
-            currentMachineArtifact?: SimplicityArtifact;
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-            nextSimfPath?: string;
-            nextArtifactPath?: string;
-        }) => ReturnType<typeof buildBondMachineSettlementPlan>;
-        compileBondTransition: (input: {
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-            simfPath?: string;
-            artifactPath?: string;
-        }) => ReturnType<typeof compileBondTransition>;
-        compileBondRedemptionMachine: (input: {
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-            nextStateSimfPath?: string;
-            nextAmountSat?: number;
-            maxFeeSat?: number;
-            simfPath?: string;
-            artifactPath?: string;
-        }) => ReturnType<typeof compileBondRedemptionMachine>;
-        verifyBondRedemptionMachineArtifact: (input: {
-            artifactPath?: string;
-            artifact?: SimplicityArtifact;
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-            nextStateSimfPath?: string;
-            nextAmountSat?: number;
-            maxFeeSat?: number;
-        }) => ReturnType<typeof verifyBondRedemptionMachineArtifact>;
-        inspectBondStateRollover: (input: {
-            currentArtifactPath?: string;
-            currentArtifact?: SimplicityArtifact;
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-            nextSimfPath?: string;
-            nextArtifactPath?: string;
-            wallet: string;
-            signer: {
-                type: "schnorrPrivkeyHex";
-                privkeyHex: string;
-            };
-            feeSat?: number;
-            utxoPolicy?: "smallest_over" | "largest" | "newest";
-        }) => ReturnType<typeof inspectBondStateRollover>;
-        inspectBondMachineRollover: (input: {
-            currentArtifactPath?: string;
-            currentArtifact?: SimplicityArtifact;
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-            machineSimfPath?: string;
-            machineArtifactPath?: string;
-            wallet: string;
-            signer: {
-                type: "schnorrPrivkeyHex";
-                privkeyHex: string;
-            };
-            feeSat?: number;
-            utxoPolicy?: "smallest_over" | "largest" | "newest";
-        }) => ReturnType<typeof inspectBondMachineRollover>;
-        inspectBondMachineSettlement: (input: {
-            currentMachineArtifactPath?: string;
-            currentMachineArtifact?: SimplicityArtifact;
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-            nextSimfPath?: string;
-            nextArtifactPath?: string;
-            wallet: string;
-            signer: {
-                type: "schnorrPrivkeyHex";
-                privkeyHex: string;
-            };
-            feeSat?: number;
-            utxoPolicy?: "smallest_over" | "largest" | "newest";
-        }) => ReturnType<typeof inspectBondMachineSettlement>;
-        executeBondStateRollover: (input: {
-            currentArtifactPath?: string;
-            currentArtifact?: SimplicityArtifact;
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-            nextSimfPath?: string;
-            nextArtifactPath?: string;
-            wallet: string;
-            signer: {
-                type: "schnorrPrivkeyHex";
-                privkeyHex: string;
-            };
-            feeSat?: number;
-            utxoPolicy?: "smallest_over" | "largest" | "newest";
-            broadcast?: boolean;
-        }) => ReturnType<typeof executeBondStateRollover>;
-        executeBondMachineRollover: (input: {
-            currentArtifactPath?: string;
-            currentArtifact?: SimplicityArtifact;
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-            machineSimfPath?: string;
-            machineArtifactPath?: string;
-            wallet: string;
-            signer: {
-                type: "schnorrPrivkeyHex";
-                privkeyHex: string;
-            };
-            feeSat?: number;
-            utxoPolicy?: "smallest_over" | "largest" | "newest";
-            broadcast?: boolean;
-        }) => ReturnType<typeof executeBondMachineRollover>;
-        executeBondMachineSettlement: (input: {
-            currentMachineArtifactPath?: string;
-            currentMachineArtifact?: SimplicityArtifact;
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            previousIssuancePath?: string;
-            previousIssuanceValue?: BondIssuanceState;
-            nextIssuancePath?: string;
-            nextIssuanceValue?: BondIssuanceState;
-            nextSimfPath?: string;
-            nextArtifactPath?: string;
-            wallet: string;
-            signer: {
-                type: "schnorrPrivkeyHex";
-                privkeyHex: string;
-            };
-            feeSat?: number;
-            utxoPolicy?: "smallest_over" | "largest" | "newest";
-            broadcast?: boolean;
-        }) => ReturnType<typeof executeBondMachineSettlement>;
-        loadBond: (input: {
-            artifactPath: string;
-            definitionPath?: string;
-            definitionValue?: BondDefinition;
-            issuancePath?: string;
-            issuanceValue?: BondIssuanceState;
-        }) => ReturnType<typeof loadBond>;
+        define: (input: Parameters<typeof define>[1]) => ReturnType<typeof define>;
+        verify: (input: Parameters<typeof verify>[1]) => ReturnType<typeof verify>;
+        verifyIssuanceHistory: (input: Parameters<typeof verifyIssuanceHistory>[1]) => ReturnType<typeof verifyIssuanceHistory>;
+        load: (input: Parameters<typeof load>[1]) => ReturnType<typeof load>;
+        issue: (input: Parameters<typeof issue>[1]) => ReturnType<typeof issue>;
+        prepareRedemption: (input: Parameters<typeof prepareRedemption>[1]) => ReturnType<typeof prepareRedemption>;
+        inspectRedemption: (input: Parameters<typeof inspectRedemption>[1]) => ReturnType<typeof inspectRedemption>;
+        executeRedemption: (input: Parameters<typeof executeRedemption>[1]) => ReturnType<typeof executeRedemption>;
+        verifyRedemption: (input: Parameters<typeof verifyRedemption>[1]) => ReturnType<typeof verifyRedemption>;
+        buildSettlement: (input: Parameters<typeof buildSettlement>[1]) => ReturnType<typeof buildSettlement>;
+        verifySettlement: (input: Parameters<typeof verifySettlement>[1]) => ReturnType<typeof verifySettlement>;
+        prepareClosing: (input: Parameters<typeof prepareClosing>[1]) => ReturnType<typeof prepareClosing>;
+        inspectClosing: (input: Parameters<typeof inspectClosing>[1]) => ReturnType<typeof inspectClosing>;
+        executeClosing: (input: Parameters<typeof executeClosing>[1]) => ReturnType<typeof executeClosing>;
+        verifyClosing: (input: Parameters<typeof verifyClosing>[1]) => ReturnType<typeof verifyClosing>;
+        exportEvidence: (input: Parameters<typeof exportEvidence>[1]) => Promise<BondEvidenceBundle>;
+        exportFinalityPayload: (input: Parameters<typeof exportFinalityPayload>[1]) => ReturnType<typeof exportFinalityPayload>;
+    };
+    readonly funds: {
+        define: (input: Parameters<typeof defineFund>[1]) => ReturnType<typeof defineFund>;
+        verify: (input: Parameters<typeof verifyFund>[1]) => ReturnType<typeof verifyFund>;
+        load: (input: Parameters<typeof loadFund>[1]) => ReturnType<typeof loadFund>;
+        prepareCapitalCall: (input: Parameters<typeof prepareCapitalCall>[1]) => ReturnType<typeof prepareCapitalCall>;
+        inspectCapitalCallClaim: (input: Parameters<typeof inspectCapitalCallClaim>[1]) => ReturnType<typeof inspectCapitalCallClaim>;
+        executeCapitalCallClaim: (input: Parameters<typeof executeCapitalCallClaim>[1]) => ReturnType<typeof executeCapitalCallClaim>;
+        inspectCapitalCallRollover: (input: Parameters<typeof inspectCapitalCallRollover>[1]) => ReturnType<typeof inspectCapitalCallRollover>;
+        executeCapitalCallRollover: (input: Parameters<typeof executeCapitalCallRollover>[1]) => ReturnType<typeof executeCapitalCallRollover>;
+        inspectCapitalCallRefund: (input: Parameters<typeof inspectCapitalCallRefund>[1]) => ReturnType<typeof inspectCapitalCallRefund>;
+        executeCapitalCallRefund: (input: Parameters<typeof executeCapitalCallRefund>[1]) => ReturnType<typeof executeCapitalCallRefund>;
+        verifyCapitalCall: (input: Parameters<typeof verifyCapitalCall>[1]) => ReturnType<typeof verifyCapitalCall>;
+        signPositionReceipt: (input: Parameters<typeof signPositionReceipt>[1]) => ReturnType<typeof signPositionReceipt>;
+        verifyPositionReceipt: (input: Parameters<typeof verifyPositionReceipt>[1]) => ReturnType<typeof verifyPositionReceipt>;
+        verifyPositionReceiptChain: (input: Parameters<typeof verifyPositionReceiptChain>[1]) => ReturnType<typeof verifyPositionReceiptChain>;
+        prepareDistribution: (input: Parameters<typeof prepareDistribution>[1]) => ReturnType<typeof prepareDistribution>;
+        reconcilePosition: (input: Parameters<typeof reconcilePosition>[1]) => ReturnType<typeof reconcilePosition>;
+        inspectDistributionClaim: (input: Parameters<typeof inspectDistributionClaim>[1]) => ReturnType<typeof inspectDistributionClaim>;
+        executeDistributionClaim: (input: Parameters<typeof executeDistributionClaim>[1]) => ReturnType<typeof executeDistributionClaim>;
+        verifyDistribution: (input: Parameters<typeof verifyDistribution>[1]) => ReturnType<typeof verifyDistribution>;
+        prepareClosing: (input: Parameters<typeof prepareFundClosing>[1]) => ReturnType<typeof prepareFundClosing>;
+        verifyClosing: (input: Parameters<typeof verifyFundClosing>[1]) => ReturnType<typeof verifyFundClosing>;
+        exportEvidence: (input: Parameters<typeof exportFundEvidence>[1]) => ReturnType<typeof exportFundEvidence>;
+        exportFinalityPayload: (input: Parameters<typeof exportFundFinalityPayload>[1]) => ReturnType<typeof exportFundFinalityPayload>;
+    };
+    readonly receivables: {
+        define: (input: Parameters<typeof defineReceivable>[1]) => ReturnType<typeof defineReceivable>;
+        verify: (input: Parameters<typeof verifyReceivable>[1]) => ReturnType<typeof verifyReceivable>;
+        load: (input: Parameters<typeof loadReceivable>[1]) => ReturnType<typeof loadReceivable>;
+        prepareFunding: (input: Parameters<typeof prepareReceivableFunding>[1]) => ReturnType<typeof prepareReceivableFunding>;
+        verifyFunding: (input: Parameters<typeof verifyReceivableFunding>[1]) => ReturnType<typeof verifyReceivableFunding>;
+        prepareFundingClaim: (input: Parameters<typeof prepareReceivableFundingClaim>[1]) => ReturnType<typeof prepareReceivableFundingClaim>;
+        inspectFundingClaim: (input: Parameters<typeof inspectReceivableFundingClaim>[1]) => ReturnType<typeof inspectReceivableFundingClaim>;
+        executeFundingClaim: (input: Parameters<typeof executeReceivableFundingClaim>[1]) => ReturnType<typeof executeReceivableFundingClaim>;
+        verifyFundingClaim: (input: Parameters<typeof verifyReceivableFundingClaim>[1]) => ReturnType<typeof verifyReceivableFundingClaim>;
+        prepareRepayment: (input: Parameters<typeof prepareReceivableRepayment>[1]) => ReturnType<typeof prepareReceivableRepayment>;
+        verifyRepayment: (input: Parameters<typeof verifyReceivableRepayment>[1]) => ReturnType<typeof verifyReceivableRepayment>;
+        prepareRepaymentClaim: (input: Parameters<typeof prepareReceivableRepaymentClaim>[1]) => ReturnType<typeof prepareReceivableRepaymentClaim>;
+        inspectRepaymentClaim: (input: Parameters<typeof inspectReceivableRepaymentClaim>[1]) => ReturnType<typeof inspectReceivableRepaymentClaim>;
+        executeRepaymentClaim: (input: Parameters<typeof executeReceivableRepaymentClaim>[1]) => ReturnType<typeof executeReceivableRepaymentClaim>;
+        verifyRepaymentClaim: (input: Parameters<typeof verifyReceivableRepaymentClaim>[1]) => ReturnType<typeof verifyReceivableRepaymentClaim>;
+        prepareWriteOff: (input: Parameters<typeof prepareReceivableWriteOff>[1]) => ReturnType<typeof prepareReceivableWriteOff>;
+        verifyWriteOff: (input: Parameters<typeof verifyReceivableWriteOff>[1]) => ReturnType<typeof verifyReceivableWriteOff>;
+        prepareClosing: (input: Parameters<typeof prepareReceivableClosing>[1]) => ReturnType<typeof prepareReceivableClosing>;
+        verifyClosing: (input: Parameters<typeof verifyReceivableClosing>[1]) => ReturnType<typeof verifyReceivableClosing>;
+        verifyStateHistory: (input: Parameters<typeof verifyReceivableStateHistory>[1]) => ReturnType<typeof verifyReceivableStateHistory>;
+        exportEvidence: (input: Parameters<typeof exportReceivableEvidence>[1]) => Promise<ReceivableEvidenceBundle>;
+        exportFinalityPayload: (input: Parameters<typeof exportReceivableFinalityPayload>[1]) => ReturnType<typeof exportReceivableFinalityPayload>;
     };
     constructor(config: SimplicityClientConfig);
     compileFromFile(input: CompileFromFileInput): Promise<CompiledContract>;

package/dist/client/SimplicityClient.js

@@ -7,46 +7,116 @@ const compiler_1 = require("../core/compiler");
 const definition_1 = require("../core/definition");
 const state_1 = require("../core/state");
 const errors_1 = require("../core/errors");
+const outputBinding_1 = require("../core/outputBinding");
 const rpc_1 = require("../core/rpc");
 const RelayerClient_1 = require("../gasless/RelayerClient");
 const ContractFactory_1 = require("./ContractFactory");
 const DeployedContract_1 = require("./DeployedContract");
 const bond_1 = require("../domain/bond");
+const fund_1 = require("../domain/fund");
+const policies_1 = require("../domain/policies");
+const receivable_1 = require("../domain/receivable");
 class SimplicityClient {
     config;
     rpc;
     payments;
+    outputBinding;
+    policies;
     bonds;
+    funds;
+    receivables;
     constructor(config) {
         this.config = config;
         this.rpc = new rpc_1.ElementsRpcClient(config.rpc);
         this.payments = {
             gaslessTransfer: async (input) => this.gaslessTransfer(input),
         };
+        this.outputBinding = {
+            describeSupport: () => (0, outputBinding_1.describeOutputBindingSupport)(),
+            evaluateSupport: (input) => (0, outputBinding_1.evaluateOutputBindingSupport)(input),
+        };
+        this.policies = {
+            listTemplates: () => (0, policies_1.listPolicyTemplates)(),
+            describeTemplate: (input) => (0, policies_1.describePolicyTemplate)(input),
+            loadTemplateManifest: async (input) => (0, policies_1.loadPolicyTemplateManifest)(input),
+            validateTemplateManifest: (input) => (0, policies_1.validatePolicyTemplateManifest)(input),
+            validateTemplateParams: (input) => (0, policies_1.validatePolicyTemplateParams)(input),
+            buildOutputDescriptor: async (input) => (0, policies_1.buildPolicyOutputDescriptor)(this, input),
+            issue: async (input) => (0, policies_1.issue)(this, input),
+            prepareTransfer: async (input) => (0, policies_1.prepareTransfer)(this, input),
+            inspectTransfer: async (input) => (0, policies_1.inspectTransfer)(this, input),
+            executeTransfer: async (input) => (0, policies_1.executeTransfer)(this, input),
+            verifyState: async (input) => (0, policies_1.verifyState)(this, input),
+            verifyTransfer: async (input) => (0, policies_1.verifyTransfer)(this, input),
+            exportEvidence: async (input) => (0, policies_1.exportEvidence)(this, input),
+        };
         this.bonds = {
-            defineBond: async (input) => (0, bond_1.defineBond)(this, input),
-            verifyBond: async (input) => (0, bond_1.verifyBond)(this, input),
-            redeemBond: async (input) => (0, bond_1.redeemBond)(this, input),
-            verifyBondTransition: async (input) => (0, bond_1.verifyBondTransition)(this, input),
-            buildBondRedemption: async (input) => (0, bond_1.buildBondRedemption)(this, input),
-            buildBondPayload: async (input) => (0, bond_1.buildBondPayload)(this, input),
-            buildBondTransitionPayload: async (input) => (0, bond_1.buildBondTransitionPayload)(this, input),
-            buildBondSettlementDescriptor: async (input) => (0, bond_1.buildBondSettlementDescriptor)(this, input),
-            verifyBondSettlementDescriptor: async (input) => (0, bond_1.verifyBondSettlementDescriptor)(this, input),
-            buildBondSettlementPayload: async (input) => (0, bond_1.buildBondSettlementPayload)(this, input),
-            buildBondRolloverPlan: async (input) => (0, bond_1.buildBondRolloverPlan)(this, input),
-            buildBondMachineRolloverPlan: async (input) => (0, bond_1.buildBondMachineRolloverPlan)(this, input),
-            buildBondMachineSettlementPlan: async (input) => (0, bond_1.buildBondMachineSettlementPlan)(this, input),
-            compileBondTransition: async (input) => (0, bond_1.compileBondTransition)(this, input),
-            compileBondRedemptionMachine: async (input) => (0, bond_1.compileBondRedemptionMachine)(this, input),
-            verifyBondRedemptionMachineArtifact: async (input) => (0, bond_1.verifyBondRedemptionMachineArtifact)(this, input),
-            inspectBondStateRollover: async (input) => (0, bond_1.inspectBondStateRollover)(this, input),
-            inspectBondMachineRollover: async (input) => (0, bond_1.inspectBondMachineRollover)(this, input),
-            inspectBondMachineSettlement: async (input) => (0, bond_1.inspectBondMachineSettlement)(this, input),
-            executeBondStateRollover: async (input) => (0, bond_1.executeBondStateRollover)(this, input),
-            executeBondMachineRollover: async (input) => (0, bond_1.executeBondMachineRollover)(this, input),
-            executeBondMachineSettlement: async (input) => (0, bond_1.executeBondMachineSettlement)(this, input),
-            loadBond: async (input) => (0, bond_1.loadBond)(this, input),
+            define: async (input) => (0, bond_1.define)(this, input),
+            verify: async (input) => (0, bond_1.verify)(this, input),
+            verifyIssuanceHistory: async (input) => (0, bond_1.verifyIssuanceHistory)(this, input),
+            load: async (input) => (0, bond_1.load)(this, input),
+            issue: async (input) => (0, bond_1.issue)(this, input),
+            prepareRedemption: async (input) => (0, bond_1.prepareRedemption)(this, input),
+            inspectRedemption: async (input) => (0, bond_1.inspectRedemption)(this, input),
+            executeRedemption: async (input) => (0, bond_1.executeRedemption)(this, input),
+            verifyRedemption: async (input) => (0, bond_1.verifyRedemption)(this, input),
+            buildSettlement: async (input) => (0, bond_1.buildSettlement)(this, input),
+            verifySettlement: async (input) => (0, bond_1.verifySettlement)(this, input),
+            prepareClosing: async (input) => (0, bond_1.prepareClosing)(this, input),
+            inspectClosing: async (input) => (0, bond_1.inspectClosing)(this, input),
+            executeClosing: async (input) => (0, bond_1.executeClosing)(this, input),
+            verifyClosing: async (input) => (0, bond_1.verifyClosing)(this, input),
+            exportEvidence: async (input) => (0, bond_1.exportEvidence)(this, input),
+            exportFinalityPayload: async (input) => (0, bond_1.exportFinalityPayload)(this, input),
+        };
+        this.funds = {
+            define: async (input) => (0, fund_1.define)(this, input),
+            verify: async (input) => (0, fund_1.verify)(this, input),
+            load: async (input) => (0, fund_1.load)(this, input),
+            prepareCapitalCall: async (input) => (0, fund_1.prepareCapitalCall)(this, input),
+            inspectCapitalCallClaim: async (input) => (0, fund_1.inspectCapitalCallClaim)(this, input),
+            executeCapitalCallClaim: async (input) => (0, fund_1.executeCapitalCallClaim)(this, input),
+            inspectCapitalCallRollover: async (input) => (0, fund_1.inspectCapitalCallRollover)(this, input),
+            executeCapitalCallRollover: async (input) => (0, fund_1.executeCapitalCallRollover)(this, input),
+            inspectCapitalCallRefund: async (input) => (0, fund_1.inspectCapitalCallRefund)(this, input),
+            executeCapitalCallRefund: async (input) => (0, fund_1.executeCapitalCallRefund)(this, input),
+            verifyCapitalCall: async (input) => (0, fund_1.verifyCapitalCall)(this, input),
+            signPositionReceipt: async (input) => (0, fund_1.signPositionReceipt)(this, input),
+            verifyPositionReceipt: async (input) => (0, fund_1.verifyPositionReceipt)(this, input),
+            verifyPositionReceiptChain: async (input) => (0, fund_1.verifyPositionReceiptChain)(this, input),
+            prepareDistribution: async (input) => (0, fund_1.prepareDistribution)(this, input),
+            reconcilePosition: async (input) => (0, fund_1.reconcilePosition)(this, input),
+            inspectDistributionClaim: async (input) => (0, fund_1.inspectDistributionClaim)(this, input),
+            executeDistributionClaim: async (input) => (0, fund_1.executeDistributionClaim)(this, input),
+            verifyDistribution: async (input) => (0, fund_1.verifyDistribution)(this, input),
+            prepareClosing: async (input) => (0, fund_1.prepareClosing)(this, input),
+            verifyClosing: async (input) => (0, fund_1.verifyClosing)(this, input),
+            exportEvidence: async (input) => (0, fund_1.exportEvidence)(this, input),
+            exportFinalityPayload: async (input) => (0, fund_1.exportFinalityPayload)(this, input),
+        };
+        this.receivables = {
+            define: async (input) => (0, receivable_1.define)(this, input),
+            verify: async (input) => (0, receivable_1.verify)(this, input),
+            load: async (input) => (0, receivable_1.load)(this, input),
+            prepareFunding: async (input) => (0, receivable_1.prepareFunding)(this, input),
+            verifyFunding: async (input) => (0, receivable_1.verifyFunding)(this, input),
+            prepareFundingClaim: async (input) => (0, receivable_1.prepareFundingClaim)(this, input),
+            inspectFundingClaim: async (input) => (0, receivable_1.inspectFundingClaim)(this, input),
+            executeFundingClaim: async (input) => (0, receivable_1.executeFundingClaim)(this, input),
+            verifyFundingClaim: async (input) => (0, receivable_1.verifyFundingClaim)(this, input),
+            prepareRepayment: async (input) => (0, receivable_1.prepareRepayment)(this, input),
+            verifyRepayment: async (input) => (0, receivable_1.verifyRepayment)(this, input),
+            prepareRepaymentClaim: async (input) => (0, receivable_1.prepareRepaymentClaim)(this, input),
+            inspectRepaymentClaim: async (input) => (0, receivable_1.inspectRepaymentClaim)(this, input),
+            executeRepaymentClaim: async (input) => (0, receivable_1.executeRepaymentClaim)(this, input),
+            verifyRepaymentClaim: async (input) => (0, receivable_1.verifyRepaymentClaim)(this, input),
+            prepareWriteOff: async (input) => (0, receivable_1.prepareWriteOff)(this, input),
+            verifyWriteOff: async (input) => (0, receivable_1.verifyWriteOff)(this, input),
+            prepareClosing: async (input) => (0, receivable_1.prepareClosing)(this, input),
+            verifyClosing: async (input) => (0, receivable_1.verifyClosing)(this, input),
+            verifyStateHistory: async (input) => (0, receivable_1.verifyStateHistory)(this, input),
+            exportEvidence: async (input) => (0, receivable_1.exportEvidence)(this, input),
+            exportFinalityPayload: async (input) => (0, receivable_1.exportFinalityPayload)(this, input),
         };
     }
     async compileFromFile(input) {