@hazbase/simplicity 0.0.5 → 0.2.0

package/dist/core/types.d.ts

@@ -153,8 +153,46 @@ export interface ArtifactStateMetadata {
         sourceVerified: boolean;
     };
 }
-export type BondIssuanceStatus = "ISSUED" | "PARTIALLY_REDEEMED" | "REDEEMED";
+export type BondIssuanceStatus = "ISSUED" | "PARTIALLY_REDEEMED" | "REDEEMED" | "CLOSED";
 export type BondTransitionType = "ISSUE" | "REDEEM";
+export type BondOutputBindingMode = "none" | "script-bound" | "descriptor-bound";
+export type PropagationMode = "required" | "optional" | "none";
+export type OutputBindingReasonCode = "OK_EXPLICIT" | "OK_RAW_OUTPUT" | "OK_MANUAL_HASH" | "OK_SCRIPT_BOUND" | "OK_NONE" | "FALLBACK_UNSUPPORTED_ASSET" | "FALLBACK_UNSUPPORTED_OUTPUT_FORM" | "FALLBACK_MISSING_HASH_INPUT" | "FALLBACK_INCOMPLETE_RAW_OUTPUT" | "FALLBACK_INVALID_RAW_OUTPUT";
+export type OutputBindingSupportedForm = "explicit-v1" | "raw-output-v1" | "unsupported";
+export type OutputAssetForm = "explicit" | "confidential";
+export type OutputAmountForm = "explicit" | "confidential";
+export type OutputNonceForm = "null" | "confidential";
+export type OutputRangeProofForm = "empty" | "non-empty";
+export interface OutputForm {
+    assetForm: OutputAssetForm;
+    amountForm: OutputAmountForm;
+    nonceForm: OutputNonceForm;
+    rangeProofForm: OutputRangeProofForm;
+}
+export interface OutputRawFields {
+    assetBytesHex: string;
+    amountBytesHex: string;
+    nonceBytesHex: string;
+    scriptPubKeyHex?: string;
+    scriptPubKeyHashHex?: string;
+    rangeProofHex?: string;
+    rangeProofHashHex?: string;
+}
+export interface OutputBindingInputs {
+    assetId: string;
+    assetForm: OutputAssetForm;
+    amountForm: OutputAmountForm;
+    nonceForm: OutputNonceForm;
+    rangeProofForm: OutputRangeProofForm;
+    nextAmountSat: number;
+    nextOutputIndex: number;
+    feeIndex: number;
+    maxFeeSat: number;
+    rawOutputComponents?: {
+        scriptPubKey: "raw-bytes" | "hash";
+        rangeProof: "raw-bytes" | "hash";
+    };
+}
 export interface BondStateTransition {
     type: BondTransitionType;
     amount: number;
@@ -201,6 +239,7 @@ export interface CallBaseInput {
     periodId?: string;
     bondDefinitionId?: string;
     sequence?: number;
+    locktimeHeight?: number;
     witness?: WitnessConfig;
 }
 export interface InspectCallInput extends CallBaseInput {
@@ -287,6 +326,7 @@ export interface GaslessExecuteInput {
     contractChangeAddress?: string;
     sponsorChangeAddress?: string;
     utxoPolicy?: UtxoPolicy;
+    locktimeHeight?: number;
     broadcast?: boolean;
 }
 export interface GaslessExecuteResult {
@@ -352,6 +392,9 @@ export interface BondIssuanceState {
     status: BondIssuanceStatus;
     previousStateHash?: string | null;
     lastTransition?: BondStateTransition;
+    closedAt?: string;
+    closingReason?: "REDEEMED" | "CANCELLED" | "MATURED_OUT";
+    finalSettlementDescriptorHash?: string;
 }
 export interface BondSettlementDescriptor {
     settlementId: string;
@@ -369,6 +412,8 @@ export interface BondSettlementDescriptor {
     nextContractAddress: string;
     nextAmountSat: number;
     maxFeeSat: number;
+    expectedOutputDescriptorHash?: string;
+    outputBindingMode?: BondOutputBindingMode;
     principal: {
         issued: number;
         previousOutstanding: number;
@@ -377,6 +422,759 @@ export interface BondSettlementDescriptor {
         nextRedeemed: number;
     };
 }
+export interface BondExpectedOutputDescriptor {
+    nextContractAddress: string;
+    nextOutputHash?: string;
+    nextOutputScriptHash?: string;
+    nextAmountSat: number;
+    assetId: string;
+    requestedOutputBindingMode?: BondOutputBindingMode;
+    outputForm?: OutputForm;
+    rawOutput?: Partial<OutputRawFields>;
+    feeIndex: number;
+    nextOutputIndex: number;
+    maxFeeSat: number;
+    outputBindingMode?: BondOutputBindingMode;
+}
+export interface BondClosingDescriptor {
+    closingId: string;
+    bondId: string;
+    issuanceId: string;
+    previousStateHash: string;
+    closedStateHash: string;
+    finalStatus: "CLOSED";
+    closingReason: "REDEEMED" | "CANCELLED" | "MATURED_OUT";
+    closedAt: string;
+    definitionHash: string;
+    stateHash: string;
+    finalSettlementDescriptorHash: string;
+}
+export interface LineageTrustBase<LineageKind extends string> {
+    lineageKind: LineageKind;
+    chainLength: number;
+    latestOrdinal: number;
+    allHashLinksVerified: boolean;
+    identityConsistent: boolean;
+    fullLineageVerified: boolean;
+}
+export interface BondIssuanceLineageTrust extends LineageTrustBase<"state-history"> {
+    latestStatus?: BondIssuanceStatus;
+    startsAtGenesis: boolean;
+    previousStateHashLinked: boolean;
+    issuanceIdConsistent: boolean;
+    bondIdConsistent: boolean;
+    currencyConsistent: boolean;
+    controllerConsistent: boolean;
+    issuerEntityConsistent: boolean;
+    issuedPrincipalConsistent: boolean;
+    allPreviousStateHashMatch: boolean;
+    allRedemptionArithmeticValid: boolean;
+    allStatusProgressionValid: boolean;
+    allTransitionIdentitiesMatch: boolean;
+    fullHistoryVerified: boolean;
+}
+export interface BondVerificationReport {
+    artifactTrust: {
+        definition: DefinitionVerificationResult["trust"];
+        state: StateVerificationResult["trust"];
+    };
+    stateTrust: StateVerificationResult["trust"];
+    issuanceLineageTrust?: BondIssuanceLineageTrust;
+    settlementTrust?: {
+        descriptorHashMatch: boolean;
+        outputBindingMode: BondOutputBindingMode;
+    };
+    outputBindingTrust?: {
+        mode: BondOutputBindingMode;
+        requestedMode?: BondOutputBindingMode;
+        supportedForm?: OutputBindingSupportedForm;
+        nextContractAddressCommitted: boolean;
+        expectedOutputDescriptorCommitted: boolean;
+        settlementDescriptorCommitted?: boolean;
+        outputCountRuntimeBound: boolean;
+        feeIndexRuntimeBound: boolean;
+        nextOutputHashRuntimeBound?: boolean;
+        nextOutputScriptRuntimeBound: boolean;
+        amountRuntimeBound: boolean;
+        reasonCode?: OutputBindingReasonCode;
+        autoDerived?: boolean;
+        fallbackReason?: string;
+        bindingInputs?: OutputBindingInputs;
+    };
+    arithmeticTrust?: {
+        principalArithmeticCommitted: boolean;
+        principalArithmeticValid: boolean;
+        statusProgressionCommitted: boolean;
+        statusProgressionValid: boolean;
+    };
+    closingTrust?: {
+        finalStatusValid: boolean;
+        finalSettlementDescriptorHashMatch: boolean;
+    };
+}
+export interface BondEvidenceBundle {
+    artifact: SimplicityArtifact;
+    definition: {
+        canonicalJson: string;
+        hash: string;
+    };
+    issuance: {
+        canonicalJson: string;
+        hash: string;
+    };
+    transition?: {
+        canonicalJson: string;
+        hash: string;
+    };
+    settlement?: {
+        canonicalJson: string;
+        hash: string;
+    };
+    closing?: {
+        canonicalJson: string;
+        hash: string;
+    };
+    trust: BondVerificationReport;
+    trustSummary: VerificationTrustSummary;
+    renderedSourceHash?: string;
+    sourceVerificationMode: "source-reloaded" | "artifact-only";
+    compiled: {
+        program: string;
+        cmr: string;
+        contractAddress: string;
+    };
+}
+export type ReceivableStatus = "ORIGINATED" | "FUNDED" | "PARTIALLY_REPAID" | "REPAID" | "DEFAULTED";
+export type ReceivableTransitionType = "ORIGINATE" | "FUND" | "REPAY" | "WRITE_OFF";
+export type ReceivableClosingReason = "REPAID" | "DEFAULTED" | "CANCELLED";
+export type ReceivableClaimKind = "FUNDING" | "REPAYMENT";
+export type ReceivableVerificationReportSchemaVersion = "receivable-verification-report/v1";
+export type ReceivableEvidenceBundleSchemaVersion = "receivable-evidence-bundle/v1";
+export type ReceivableFinalityPayloadSchemaVersion = "receivable-finality-payload/v1";
+export interface ReceivableDefinition {
+    receivableId: string;
+    originatorEntityId: string;
+    debtorEntityId: string;
+    currencyAssetId: string;
+    faceValue: number;
+    dueDate: string;
+    controllerXonly: string;
+}
+export interface ReceivableStateTransition {
+    type: ReceivableTransitionType;
+    amount: number;
+    at: string;
+}
+export interface ReceivableState {
+    stateId: string;
+    receivableId: string;
+    originatorEntityId: string;
+    debtorEntityId: string;
+    holderEntityId: string;
+    currencyAssetId: string;
+    controllerXonly: string;
+    faceValue: number;
+    outstandingAmount: number;
+    repaidAmount: number;
+    status: ReceivableStatus;
+    createdAt: string;
+    previousStateHash?: string | null;
+    lastTransition?: ReceivableStateTransition;
+}
+export interface ReceivableClosingDescriptor {
+    closingId: string;
+    receivableId: string;
+    latestStateHash: string;
+    latestStatus: ReceivableStatus;
+    holderEntityId: string;
+    closedAt: string;
+    closingReason: ReceivableClosingReason;
+}
+export interface ReceivableClaimDescriptorBase<ClaimKind extends ReceivableClaimKind> {
+    claimId: string;
+    claimKind: ClaimKind;
+    receivableId: string;
+    currentStateHash: string;
+    currentStatus: ReceivableStatus;
+    payerEntityId: string;
+    payeeEntityId: string;
+    claimantXonly: string;
+    currencyAssetId: string;
+    amountSat: number;
+    eventTimestamp: string;
+}
+export interface ReceivableFundingClaimDescriptor extends ReceivableClaimDescriptorBase<"FUNDING"> {
+}
+export interface ReceivableRepaymentClaimDescriptor extends ReceivableClaimDescriptorBase<"REPAYMENT"> {
+}
+export interface ReceivableTransitionTrust {
+    transitionType: ReceivableTransitionType;
+    previousStateHashMatch: boolean;
+    participantConsistencyValid: boolean;
+    statusProgressionValid: boolean;
+    arithmeticDeltaValid: boolean;
+    createdAtMonotonic: boolean;
+    transitionAmountValid: boolean;
+    fullTransitionVerified: boolean;
+}
+export interface ReceivableClosingTrust {
+    terminalStatusEligible: boolean;
+    latestStateHashMatch: boolean;
+    closingReasonMatchesStatus: boolean;
+    historyTipMatches: boolean;
+    lineageProvided: boolean;
+    fullClosingVerified: boolean;
+}
+export interface ReceivableClaimTrust {
+    claimKind: ReceivableClaimKind;
+    generated: boolean;
+    stateStatusEligible: boolean;
+    receivableIdMatch: boolean;
+    currentStateHashMatch: boolean;
+    currentStatusMatch: boolean;
+    payerEntityMatch: boolean;
+    payeeEntityMatch: boolean;
+    claimantXonlyMatch: boolean;
+    claimantXonlyCommitted: boolean;
+    currencyAssetMatch: boolean;
+    amountMatch: boolean;
+    eventTimestampMatch: boolean;
+    bindingMode: BondOutputBindingMode;
+    requestedMode?: BondOutputBindingMode;
+    supportedForm: OutputBindingSupportedForm;
+    reasonCode: OutputBindingReasonCode;
+    nextReceiverRuntimeCommitted: boolean;
+    nextOutputHashRuntimeBound: boolean;
+    nextOutputScriptRuntimeBound: boolean;
+    amountRuntimeBound: boolean;
+    autoDerived?: boolean;
+    fallbackReason?: string;
+    bindingInputs?: OutputBindingInputs;
+    fullClaimVerified: boolean;
+}
+export interface ReceivableVerificationReport {
+    schemaVersion: ReceivableVerificationReportSchemaVersion;
+    receivableTrust: {
+        receivableIdMatch: boolean;
+        originatorMatch: boolean;
+        debtorMatch: boolean;
+        currencyMatch: boolean;
+        controllerMatch: boolean;
+        faceValueMatch: boolean;
+        arithmeticValid: boolean;
+        statusValid: boolean;
+    };
+    transitionTrust?: ReceivableTransitionTrust;
+    closingTrust?: ReceivableClosingTrust;
+    fundingClaimTrust?: ReceivableClaimTrust;
+    repaymentClaimTrust?: ReceivableClaimTrust;
+    stateLineageTrust?: ReceivableStateLineageTrust;
+}
+export interface ReceivableStateLineageTrust extends LineageTrustBase<"state-history"> {
+    latestStatus: ReceivableStatus;
+    startsAtGenesis: boolean;
+    receivableIdConsistent: boolean;
+    originatorConsistent: boolean;
+    debtorConsistent: boolean;
+    currencyConsistent: boolean;
+    controllerConsistent: boolean;
+    faceValueConsistent: boolean;
+    allPreviousStateHashMatch: boolean;
+    allArithmeticValid: boolean;
+    allStatusProgressionValid: boolean;
+    fullHistoryVerified: boolean;
+}
+export interface ReceivableEvidenceBundle {
+    schemaVersion: ReceivableEvidenceBundleSchemaVersion;
+    definition: {
+        canonicalJson: string;
+        hash: string;
+    };
+    state: {
+        canonicalJson: string;
+        hash: string;
+    };
+    stateHistory?: Array<{
+        canonicalJson: string;
+        hash: string;
+    }>;
+    fundingClaim?: {
+        canonicalJson: string;
+        hash: string;
+    };
+    repaymentClaim?: {
+        canonicalJson: string;
+        hash: string;
+    };
+    closing?: {
+        canonicalJson: string;
+        hash: string;
+    };
+    trust: ReceivableVerificationReport;
+    trustSummary: VerificationTrustSummary;
+}
+export interface ReceivableFinalityPayload {
+    schemaVersion: ReceivableFinalityPayloadSchemaVersion;
+    receivableId: string;
+    holderEntityId: string;
+    definitionHash: string;
+    latestStateHash: string;
+    stateHistoryHashes?: string[] | null;
+    fundingClaimHash?: string | null;
+    repaymentClaimHash?: string | null;
+    closingHash?: string | null;
+    closingReason?: ReceivableClosingReason | null;
+    trust: ReceivableVerificationReport;
+    trustSummary: VerificationTrustSummary;
+}
+export type CapitalCallStatus = "OPEN" | "CLAIMED" | "REFUND_ONLY" | "REFUNDED";
+export type CapitalCallStage = "open" | "claimed" | "refund-only" | "refunded";
+export type CapitalCallCutoffMode = "rollover-window";
+export type LPPositionReceiptStatus = "ACTIVE" | "PARTIALLY_DISTRIBUTED" | "FULLY_DISTRIBUTED" | "CLOSED";
+export type FundClosingReason = "LIQUIDATED" | "CANCELLED" | "WRITTEN_OFF";
+export type FundVerificationReportSchemaVersion = "fund-verification-report/v1";
+export type FundEvidenceBundleSchemaVersion = "fund-evidence-bundle/v1";
+export type FundFinalityPayloadSchemaVersion = "fund-finality-payload/v1";
+export type LPPositionReceiptSchemaVersion = "lp-position-receipt/v2";
+export type LPPositionReceiptAttestationScheme = "bip340-sha256";
+export interface FundDefinition {
+    fundId: string;
+    managerEntityId: string;
+    managerXonly: string;
+    currencyAssetId: string;
+    jurisdiction?: string;
+    vintage?: string;
+}
+export interface CapitalCallState {
+    callId: string;
+    fundId: string;
+    lpId: string;
+    currencyAssetId: string;
+    amount: number;
+    lpXonly: string;
+    managerXonly: string;
+    status: CapitalCallStatus;
+    fundedAt?: string;
+    claimedAt?: string;
+    refundedAt?: string;
+    previousStateHash?: string | null;
+    claimCutoffHeight: number;
+}
+export interface LPPositionReceipt {
+    schemaVersion: LPPositionReceiptSchemaVersion;
+    positionId: string;
+    fundId: string;
+    lpId: string;
+    callId: string;
+    currencyAssetId: string;
+    lpXonly: string;
+    sequence: number;
+    committedAmount: number;
+    fundedAmount: number;
+    distributedAmount: number;
+    distributionCount: number;
+    effectiveAt: string;
+    lastDistributedAt?: string;
+    status: LPPositionReceiptStatus;
+    previousReceiptHash?: string | null;
+}
+export interface LPPositionReceiptAttestation {
+    positionReceiptHash: string;
+    sequence: number;
+    managerXonly: string;
+    signedAt: string;
+    signature: string;
+    scheme: LPPositionReceiptAttestationScheme;
+}
+export interface LPPositionReceiptEnvelope {
+    receipt: LPPositionReceipt;
+    attestation: LPPositionReceiptAttestation;
+}
+export interface DistributionDescriptor {
+    distributionId: string;
+    positionId: string;
+    fundId: string;
+    lpId: string;
+    assetId: string;
+    amountSat: number;
+    approvedAt: string;
+    positionReceiptHash: string;
+}
+export interface FundPayoutDescriptor {
+    receiverAddress: string;
+    nextOutputHash?: string;
+    nextOutputScriptHash?: string;
+    amountSat: number;
+    assetId: string;
+    requestedOutputBindingMode?: BondOutputBindingMode;
+    outputForm?: OutputForm;
+    rawOutput?: Partial<OutputRawFields>;
+    feeIndex: number;
+    nextOutputIndex: number;
+    maxFeeSat: number;
+    outputBindingMode: BondOutputBindingMode;
+}
+export interface FundClosingDescriptor {
+    closingId: string;
+    fundId: string;
+    lpId: string;
+    positionId: string;
+    positionReceiptHash: string;
+    finalDistributionHashes: string[];
+    closedAt: string;
+    closingReason: FundClosingReason;
+}
+export interface FundVerificationReport {
+    schemaVersion: FundVerificationReportSchemaVersion;
+    artifactTrust?: {
+        definition: DefinitionVerificationResult["trust"];
+        state: StateVerificationResult["trust"];
+    };
+    stateTrust?: StateVerificationResult["trust"];
+    capitalCallTrust?: {
+        capitalCallStage: CapitalCallStage;
+        cutoffMode: 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;
+    };
+    receiptTrust?: {
+        generated: boolean;
+        positionReceiptHash?: string;
+        positionStatus: LPPositionReceiptStatus;
+        attested: boolean;
+        attestationVerified: boolean;
+        sequence?: number;
+        sequenceMonotonic?: boolean;
+        attestingSignerMatch?: boolean;
+        previousEnvelopeProvided?: boolean;
+        previousReceiptHashMatch?: boolean;
+        previousSequenceMatch?: boolean;
+        continuityVerified?: boolean;
+    };
+    receiptChainTrust?: FundReceiptChainTrust;
+    closingTrust?: {
+        positionReceiptHashMatch: boolean;
+        finalDistributionHashesPresent: boolean;
+        positionStatusEligible: boolean;
+    };
+}
+export interface FundReceiptChainTrust extends LineageTrustBase<"receipt-chain"> {
+    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;
+}
+export type DomainLineageTrust = BondIssuanceLineageTrust | FundReceiptChainTrust | ReceivableStateLineageTrust;
+export interface DomainLineageTrustSummary {
+    lineageKind: DomainLineageTrust["lineageKind"];
+    latestOrdinal: number;
+    allHashLinksVerified: boolean;
+    identityConsistent: boolean;
+    fullLineageVerified: boolean;
+}
+export interface VerificationTrustSummary {
+    definition?: DefinitionVerificationResult["trust"];
+    state?: StateVerificationResult["trust"];
+    bindingMode: BondOutputBindingMode;
+    lineage?: DomainLineageTrustSummary;
+}
+export interface FundEvidenceBundle {
+    schemaVersion: FundEvidenceBundleSchemaVersion;
+    artifact?: SimplicityArtifact;
+    definition: {
+        canonicalJson: string;
+        hash: string;
+    };
+    capitalCall?: {
+        canonicalJson: string;
+        hash: string;
+    };
+    positionReceipt?: {
+        canonicalJson: string;
+        hash: string;
+    };
+    positionReceiptEnvelope?: {
+        canonicalJson: string;
+        hash: string;
+    };
+    distribution?: {
+        canonicalJson: string;
+        hash: string;
+    };
+    distributions?: Array<{
+        canonicalJson: string;
+        hash: string;
+    }>;
+    closing?: {
+        canonicalJson: string;
+        hash: string;
+    };
+    trust: FundVerificationReport;
+    trustSummary: VerificationTrustSummary;
+    renderedSourceHash?: string;
+    sourceVerificationMode: "source-reloaded" | "artifact-only";
+    compiled?: {
+        program: string;
+        cmr: string;
+        contractAddress: string;
+    };
+}
+export interface FundFinalityPayload {
+    schemaVersion: FundFinalityPayloadSchemaVersion;
+    fundId: string;
+    lpId: string;
+    callId?: string;
+    positionId?: string;
+    definitionHash: string;
+    capitalCallStateHash?: string | null;
+    positionReceiptHash?: string | null;
+    positionReceiptEnvelopeHash?: string | null;
+    distributionHash?: string | null;
+    distributionHashes?: string[] | null;
+    closingHash?: string | null;
+    bindingMode: BondOutputBindingMode;
+    trust: FundVerificationReport;
+    trustSummary: VerificationTrustSummary;
+}
+export interface PolicyReceiver {
+    mode: "plain" | "policy";
+    address?: string;
+    recipientXonly?: string;
+    defaultPolicyTemplateId?: string;
+    defaultParams?: Record<string, string | number | boolean>;
+}
+export interface PolicyTemplateDocument {
+    policyTemplateId: string;
+    description?: string;
+    metadata?: Record<string, unknown>;
+}
+export type PolicyTemplateManifestVersion = "policy-template-manifest/v1";
+export type PolicyVerificationReportSchemaVersion = "policy-verification-report/v1";
+export type PolicyEvidenceBundleSchemaVersion = "policy-evidence-bundle/v1";
+export type PolicyOutputBindingReasonCode = OutputBindingReasonCode;
+export type PolicyOutputBindingSupportedForm = OutputBindingSupportedForm;
+export type PolicyOutputAssetForm = OutputAssetForm;
+export type PolicyOutputAmountForm = OutputAmountForm;
+export type PolicyOutputNonceForm = OutputNonceForm;
+export type PolicyOutputRangeProofForm = OutputRangeProofForm;
+export type PolicyTemplateManifestValidationReasonCode = "OK" | "MANIFEST_VERSION_UNSUPPORTED" | "MANIFEST_FIELD_REQUIRED" | "MANIFEST_FIELD_INVALID" | "MANIFEST_PARAMETER_SCHEMA_INVALID" | "MANIFEST_BINDING_MODE_INVALID" | "MANIFEST_PROPAGATION_MODE_INVALID";
+export interface PolicyTemplateManifest {
+    templateId: string;
+    manifestVersion: PolicyTemplateManifestVersion;
+    title: string;
+    description: string;
+    stateSimfPath: string;
+    directStateSimfPath?: string;
+    parameterSchema: Record<string, "string" | "number" | "boolean">;
+    supportedBindingModes: BondOutputBindingMode[];
+    supportsPlainExit: boolean;
+    defaultPropagationMode: PropagationMode;
+}
+export interface PolicyTemplateInput {
+    templateId?: string;
+    manifestPath?: string;
+    manifestValue?: PolicyTemplateManifest;
+    jsonPath?: string;
+    value?: unknown;
+    stateSimfPath?: string;
+    directStateSimfPath?: string;
+    transferMachineSimfPath?: string;
+}
+export interface PolicyState {
+    policyTemplateId: string;
+    policyHash: string;
+    recipient: string;
+    amountSat: number;
+    assetId: string;
+    params: Record<string, string | number | boolean>;
+    propagationMode: PropagationMode;
+    previousStateHash?: string | null;
+    hop: number;
+    status: "LOCKED" | "SPENT";
+}
+export interface PolicyOutputDescriptor {
+    nextContractAddress: string;
+    nextOutputHash?: string;
+    nextOutputScriptHash?: string;
+    nextAmountSat: number;
+    assetId: string;
+    requestedOutputBindingMode?: BondOutputBindingMode;
+    outputForm?: OutputForm;
+    rawOutput?: Partial<OutputRawFields>;
+    feeIndex: number;
+    nextOutputIndex: number;
+    maxFeeSat: number;
+    outputBindingMode: BondOutputBindingMode;
+}
+export interface PolicyTransferDescriptor {
+    policyTemplateId: string;
+    previousPolicyHash: string;
+    nextPolicyHash?: string | null;
+    previousStateHash: string;
+    nextStateHash?: string | null;
+    propagationMode: PropagationMode;
+    plainExitAddress?: string | null;
+    outputDescriptor?: PolicyOutputDescriptor;
+}
+export interface PolicyVerificationReport {
+    schemaVersion: PolicyVerificationReportSchemaVersion;
+    templateTrust?: DefinitionVerificationResult["trust"];
+    stateTrust: StateVerificationResult["trust"];
+    propagationMode: PropagationMode;
+    nextPolicyRequired: boolean;
+    nextPolicyPresent: boolean;
+    plainExitAllowed: boolean;
+    outputBinding?: {
+        mode: BondOutputBindingMode;
+        supportedForm: PolicyOutputBindingSupportedForm;
+        committed: boolean;
+        runtimeBound: boolean;
+        sdkVerified: boolean;
+        amountRuntimeBound: boolean;
+        nextOutputHashRuntimeBound: boolean;
+        nextOutputScriptRuntimeBound: boolean;
+        reasonCode: PolicyOutputBindingReasonCode;
+        nextOutputHash?: string;
+        autoDerived?: boolean;
+        fallbackReason?: string;
+        bindingInputs?: OutputBindingInputs;
+    };
+    enforcement: "sdk-path" | "conditional-hop" | "direct-hop";
+}
+export interface PolicyEvidenceBundle {
+    schemaVersion: PolicyEvidenceBundleSchemaVersion;
+    artifact: SimplicityArtifact;
+    template: {
+        canonicalJson: string;
+        hash: string;
+    };
+    state: {
+        canonicalJson: string;
+        hash: string;
+    };
+    transfer?: {
+        canonicalJson: string;
+        hash: string;
+    };
+    report: PolicyVerificationReport;
+    trustSummary: VerificationTrustSummary;
+    renderedSourceHash?: string;
+    sourceVerificationMode: "source-reloaded" | "artifact-only";
+    compiled: {
+        program: string;
+        cmr: string;
+        contractAddress: string;
+    };
+}
+export interface OutputBindingSupportMatrix {
+    supportedForms: Array<{
+        form: OutputBindingSupportedForm;
+        description: string;
+        autoDerived: boolean;
+    }>;
+    unsupportedOutputFeatures: Array<{
+        feature: string;
+        description: string;
+        fallbackReasonCode: Extract<OutputBindingReasonCode, "FALLBACK_UNSUPPORTED_ASSET" | "FALLBACK_UNSUPPORTED_OUTPUT_FORM">;
+        manualHashSupported: boolean;
+    }>;
+    outputBindingModes: Record<BondOutputBindingMode, {
+        description: string;
+        runtimeBinding: "none" | "script-hash" | "output-hash";
+        fallbackBehavior: string;
+    }>;
+    autoDeriveConditions: {
+        assetInput: string[];
+        amountForm: string;
+        nonceForm: string;
+        rangeProofForm: string;
+        rawOutputFields?: string[];
+        rawOutputFieldAlternatives?: Record<string, string[]>;
+        outputHashExclusions?: string[];
+    };
+    manualHashPath: {
+        supported: boolean;
+        description: string;
+    };
+    fallbackBehavior: {
+        defaultMode: BondOutputBindingMode;
+        reasonCodes: OutputBindingReasonCode[];
+    };
+    publicValidationMatrix: {
+        local: string[];
+        testnet: string[];
+    };
+    nonGoals: string[];
+}
+export type PolicyBindingSupportMatrix = OutputBindingSupportMatrix;
+export interface OutputBindingSupportEvaluation {
+    requestedBindingMode: BondOutputBindingMode;
+    resolvedBindingMode: BondOutputBindingMode;
+    supportedForm: OutputBindingSupportedForm;
+    reasonCode: OutputBindingReasonCode;
+    autoDerived: boolean;
+    fallbackReason?: string;
+    assetId: string;
+    outputForm: OutputForm;
+    unsupportedFeatures: string[];
+    explicitAssetInputSupported: boolean;
+    manualHashSupplied: boolean;
+    nextOutputScriptAvailable: boolean;
+    rawOutputProvided?: boolean;
+    rawOutputComponents?: {
+        scriptPubKey: "raw-bytes" | "hash";
+        rangeProof: "raw-bytes" | "hash";
+    };
+}
+export interface PolicyTemplateManifestValidationResult {
+    ok: boolean;
+    reasonCode: PolicyTemplateManifestValidationReasonCode;
+    reason?: string;
+    manifest?: PolicyTemplateManifest;
+}
 export interface WaitForFundingInput {
     minAmountSat?: number;
     pollIntervalMs?: number;