import { z } from 'zod';
import type { EffectReconciler, EffectReconciliationPending } from './effectExecution.ts';
import type { EffectReceipt, EffectReceiptObservation } from './effectModel.ts';
import type { Xl1TransactionEffectPlan } from './xl1TransactionEffectPlan.ts';
type ObservationKind = EffectReceiptObservation['kind'];
type ObservationInputOfKind<Kind extends ObservationKind> = Kind extends ObservationKind ? Omit<Extract<EffectReceiptObservation, {
    kind: Kind;
}>, 'sequence'> : never;
type ControlObservationInput = ObservationInputOfKind<'abandoned' | 'error'>;
export type Xl1TransactionEffectCapabilityResult<Kind extends ObservationKind> = EffectReconciliationPending | {
    readonly observation: ObservationInputOfKind<Kind> | ControlObservationInput;
    readonly state: 'advance';
};
type ActionPlan = Extract<Xl1TransactionEffectPlan, {
    state: 'action';
}>;
type PlanFor<Action extends ActionPlan['action']> = Extract<ActionPlan, {
    action: Action;
}>;
export interface Xl1TransactionEffectCapabilityContext<Action extends ActionPlan['action']> {
    readonly plan: PlanFor<Action>;
    readonly receipt: EffectReceipt;
}
export interface Xl1TransactionEffectCapabilities {
    readonly observeFinality: (context: Xl1TransactionEffectCapabilityContext<'observe-finality'>) => Promise<Xl1TransactionEffectCapabilityResult<'finalized' | 'inclusion-invalidated'>>;
    readonly observeInclusion: (context: Xl1TransactionEffectCapabilityContext<'observe-inclusion'>) => Promise<Xl1TransactionEffectCapabilityResult<'included'>>;
    readonly reconcileBroadcast: (context: Xl1TransactionEffectCapabilityContext<'reconcile-broadcast'>) => Promise<Xl1TransactionEffectCapabilityResult<'broadcast'>>;
    readonly sign: (context: Xl1TransactionEffectCapabilityContext<'sign'>) => Promise<Xl1TransactionEffectCapabilityResult<'signed'>>;
    readonly verifyContent: (context: Xl1TransactionEffectCapabilityContext<'verify-content'>) => Promise<Xl1TransactionEffectCapabilityResult<'content-verified'>>;
    readonly writeContent: (context: Xl1TransactionEffectCapabilityContext<'write-content'>) => Promise<Xl1TransactionEffectCapabilityResult<'content-written'>>;
}
export declare const Xl1TransactionEffectReconcilerIssueCodes: readonly ["xl1-effect-reconciler.evidence-mismatch", "xl1-effect-reconciler.invalid-capability-result", "xl1-effect-reconciler.terminal-receipt"];
export declare const Xl1TransactionEffectReconcilerIssueCodeZod: z.ZodEnum<{
    "xl1-effect-reconciler.evidence-mismatch": "xl1-effect-reconciler.evidence-mismatch";
    "xl1-effect-reconciler.invalid-capability-result": "xl1-effect-reconciler.invalid-capability-result";
    "xl1-effect-reconciler.terminal-receipt": "xl1-effect-reconciler.terminal-receipt";
}>;
export type Xl1TransactionEffectReconcilerIssueCode = z.infer<typeof Xl1TransactionEffectReconcilerIssueCodeZod>;
export declare class Xl1TransactionEffectReconcilerError extends Error {
    readonly code: Xl1TransactionEffectReconcilerIssueCode;
    constructor(code: Xl1TransactionEffectReconcilerIssueCode, message: string);
}
export declare function createXl1TransactionEffectReconciler(capabilities: Xl1TransactionEffectCapabilities): EffectReconciler;
export {};
//# sourceMappingURL=xl1TransactionEffectReconciler.d.ts.map