import { Effect, Schema } from "effect";
import { Prompt } from "effect/unstable/ai";
import type { ExecutableRef } from "./executable-manifest.js";
import type { DriverCheckpoint, DriverDecision, OperationOutcome } from "./driver-contract.js";
import type { RunBudget } from "./run-budget.js";
/** @experimental Input used to construct the first checkpoint for one run. */
export interface DriverInput {
    readonly executable?: ExecutableRef;
    readonly prompt: Prompt.Prompt;
    readonly budget: RunBudget;
    readonly resume?: unknown;
}
/** @experimental Versioned durable agent driver shared by inline and runtime execution. */
export interface DurableAgentDriver {
    readonly version: string;
    readonly initial: (input: DriverInput) => Effect.Effect<DriverCheckpoint, DriverError>;
    readonly decide: (checkpoint: DriverCheckpoint) => Effect.Effect<DriverDecision, DriverError | DriverStateInvalid>;
    readonly apply: (checkpoint: DriverCheckpoint, outcome: OperationOutcome) => Effect.Effect<DriverCheckpoint, DriverError | DriverStateInvalid>;
}
declare const DriverError_base: Schema.Class<DriverError, Schema.TaggedStruct<"@batonfx/core/DriverError", {
    readonly message: Schema.String;
    readonly cause: Schema.optionalKey<Schema.Defect>;
}>, import("effect/Cause").YieldableError>;
/** @experimental */
export declare class DriverError extends DriverError_base {
}
declare const DriverVersionMismatch_base: Schema.Class<DriverVersionMismatch, Schema.TaggedStruct<"@batonfx/core/DriverVersionMismatch", {
    readonly expected: Schema.String;
    readonly actual: Schema.String;
}>, import("effect/Cause").YieldableError>;
/** @experimental */
export declare class DriverVersionMismatch extends DriverVersionMismatch_base {
}
declare const DriverStateInvalid_base: Schema.Class<DriverStateInvalid, Schema.TaggedStruct<"@batonfx/core/DriverStateInvalid", {
    readonly message: Schema.String;
}>, import("effect/Cause").YieldableError>;
/** @experimental */
export declare class DriverStateInvalid extends DriverStateInvalid_base {
}
/** @experimental */
export declare const requireDriverVersion: {
    (version: string): (checkpoint: Pick<DriverCheckpoint, "driverVersion">) => Effect.Effect<void, DriverVersionMismatch>;
    (checkpoint: Pick<DriverCheckpoint, "driverVersion">, version: string): Effect.Effect<void, DriverVersionMismatch>;
};
export {};