import { Effect, Schema } from "effect";
import { type DriverCheckpoint, type DriverDecision, type OperationOutcome } from "./driver-contract.js";
import { DriverError, DriverStateInvalid, type DurableAgentDriver } from "./durable-driver.js";
/** @experimental Scripted model response used by the tracer driver. */
export interface TracerModelStep {
    readonly text?: string;
    readonly toolCalls?: ReadonlyArray<{
        readonly name: string;
        readonly params: unknown;
    }>;
    readonly wait?: {
        readonly waitId: string;
        readonly reason: string;
    };
}
/** @experimental Internal tracer state serialized in DriverCheckpoint.state. */
export declare const TracerState: Schema.Struct<{
    readonly promptText: Schema.String;
    readonly text: Schema.String;
    readonly phase: Schema.Literals<readonly ["model", "tool", "wait-resume", "done"]>;
    readonly modelIndex: Schema.Finite;
    readonly toolIndex: Schema.Finite;
    readonly pendingTools: Schema.$Array<Schema.Struct<{
        readonly name: Schema.String;
        readonly params: Schema.Unknown;
    }>>;
    readonly waitId: Schema.optionalKey<Schema.String>;
    readonly script: Schema.$Array<Schema.Struct<{
        readonly text: Schema.optionalKey<Schema.String>;
        readonly toolCalls: Schema.optionalKey<Schema.$Array<Schema.Struct<{
            readonly name: Schema.String;
            readonly params: Schema.Unknown;
        }>>>;
        readonly wait: Schema.optionalKey<Schema.Struct<{
            readonly waitId: Schema.String;
            readonly reason: Schema.String;
        }>>;
    }>>;
}>;
/** @experimental */
export type TracerState = typeof TracerState.Type;
/** @experimental Canonical in-memory driver for checkpoint/decision/apply conformance tests. */
export declare const makeTracer: (script: ReadonlyArray<TracerModelStep>) => DurableAgentDriver;
/** @experimental Advance one Execute decision using a supplied outcome. */
export declare const applyOperation: {
    (checkpoint: DriverCheckpoint, outcome: OperationOutcome): (driver: DurableAgentDriver) => Effect.Effect<DriverCheckpoint, DriverError | DriverStateInvalid>;
    (driver: DurableAgentDriver, checkpoint: DriverCheckpoint, outcome: OperationOutcome): Effect.Effect<DriverCheckpoint, DriverError | DriverStateInvalid>;
};
/** @experimental Produce a Complete decision from a terminal tracer checkpoint. */
export declare const completeFromCheckpoint: (checkpoint: DriverCheckpoint) => Effect.Effect<Extract<DriverDecision, {
    _tag: "Complete";
}>, DriverStateInvalid>;