import { Effect, Schema, Stream } from "effect";
import { DriverInterpreter, type OperationSpec } from "./driver-interpreter.js";
import type { BudgetLimits, RunBudget } from "./run-budget.js";
import { DriverError, DriverStateInvalid } from "./durable-driver.js";
import { DriverUnknownReplay } from "./driver-interpreter.js";
import { RunBudgetExhausted } from "./run-budget.js";
import type { HandoffControlState } from "../agent/handoff-state.js";
/** @experimental */
export declare const checkpoint: Effect.Effect<{
    readonly driverVersion: string;
    readonly executable?: Schema.Struct.ReadonlySide<{
        readonly executable: Schema.brand<Schema.String, "@batonfx/core/executable-pin">;
        readonly active: Schema.Union<readonly [Schema.brand<Schema.String, "@batonfx/core/agent-pin">, Schema.brand<Schema.String, "@batonfx/core/program-pin">]>;
    }, "Type">;
    readonly turn: number;
    readonly budget: Schema.Struct.ReadonlySide<{
        readonly allocation: Schema.Struct<{
            readonly modelCalls: Schema.optionalKey<Schema.Int>;
            readonly toolCalls: Schema.optionalKey<Schema.Int>;
            readonly totalTokens: Schema.optionalKey<Schema.Int>;
            readonly childRuns: Schema.optionalKey<Schema.Int>;
            readonly handoffs: Schema.optionalKey<Schema.Int>;
            readonly depth: Schema.optionalKey<Schema.Int>;
            readonly deadline: Schema.optionalKey<Schema.String>;
        }>;
        readonly remaining: Schema.Struct<{
            readonly modelCalls: Schema.optionalKey<Schema.Int>;
            readonly toolCalls: Schema.optionalKey<Schema.Int>;
            readonly totalTokens: Schema.optionalKey<Schema.Int>;
            readonly childRuns: Schema.optionalKey<Schema.Int>;
            readonly handoffs: Schema.optionalKey<Schema.Int>;
            readonly depth: Schema.optionalKey<Schema.Int>;
            readonly deadline: Schema.optionalKey<Schema.String>;
        }>;
        readonly depth: Schema.Int;
    }, "Type">;
    readonly state: unknown;
}, never, DriverInterpreter>;
/** @experimental */
export declare const logicalOperationId: Effect.Effect<string, DriverStateInvalid, DriverInterpreter>;
/** @experimental */
export declare const intercept: {
    (spec: OperationSpec): <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E | DriverError | DriverStateInvalid | DriverUnknownReplay | RunBudgetExhausted, R | DriverInterpreter>;
    <A, E, R>(spec: OperationSpec, effect: Effect.Effect<A, E, R>): Effect.Effect<A, E | DriverError | DriverStateInvalid | DriverUnknownReplay | RunBudgetExhausted, R | DriverInterpreter>;
};
/** @experimental */
export declare const interceptStream: {
    (spec: OperationSpec): <A, E, R>(stream: Stream.Stream<A, E, R>) => Stream.Stream<A, E | DriverError | DriverStateInvalid | DriverUnknownReplay | RunBudgetExhausted, R | DriverInterpreter>;
    <A, E, R>(spec: OperationSpec, stream: Stream.Stream<A, E, R>): Stream.Stream<A, E | DriverError | DriverStateInvalid | DriverUnknownReplay | RunBudgetExhausted, R | DriverInterpreter>;
};
/** @experimental */
export declare const recordSuspension: (input: {
    readonly waitId: string;
    readonly reason: string;
    readonly token: string;
}) => Effect.Effect<void, DriverError | DriverStateInvalid | DriverUnknownReplay | RunBudgetExhausted, DriverInterpreter>;
/** @experimental */
export declare const bindResume: (token: string) => Effect.Effect<void, DriverError | DriverStateInvalid | DriverUnknownReplay | RunBudgetExhausted, DriverInterpreter>;
/** @experimental */
export declare const abortPending: (error: unknown) => Effect.Effect<void, DriverError | DriverStateInvalid | DriverUnknownReplay, DriverInterpreter>;
/** @experimental */
export declare const chargeUsage: (usage: BudgetLimits) => Effect.Effect<void, RunBudgetExhausted, DriverInterpreter>;
/** @experimental */
export declare const setBudget: (budget: RunBudget) => Effect.Effect<void, never, DriverInterpreter>;
/** @experimental */
export declare const reserveChildBudget: (grant: BudgetLimits) => Effect.Effect<Schema.Struct.ReadonlySide<{
    readonly allocation: Schema.Struct<{
        readonly modelCalls: Schema.optionalKey<Schema.Int>;
        readonly toolCalls: Schema.optionalKey<Schema.Int>;
        readonly totalTokens: Schema.optionalKey<Schema.Int>;
        readonly childRuns: Schema.optionalKey<Schema.Int>;
        readonly handoffs: Schema.optionalKey<Schema.Int>;
        readonly depth: Schema.optionalKey<Schema.Int>;
        readonly deadline: Schema.optionalKey<Schema.String>;
    }>;
    readonly remaining: Schema.Struct<{
        readonly modelCalls: Schema.optionalKey<Schema.Int>;
        readonly toolCalls: Schema.optionalKey<Schema.Int>;
        readonly totalTokens: Schema.optionalKey<Schema.Int>;
        readonly childRuns: Schema.optionalKey<Schema.Int>;
        readonly handoffs: Schema.optionalKey<Schema.Int>;
        readonly depth: Schema.optionalKey<Schema.Int>;
        readonly deadline: Schema.optionalKey<Schema.String>;
    }>;
    readonly depth: Schema.Int;
}, "Type">, RunBudgetExhausted | import("./run-budget.js").RunBudgetGrantWidened, DriverInterpreter>;
/** @experimental */
export declare const refundChildBudget: (child: RunBudget) => Effect.Effect<void, never, DriverInterpreter>;
/** @internal Persist a live handoff control transition in the owning checkpoint. */
export declare const setHandoffState: (state: HandoffControlState) => Effect.Effect<void, DriverStateInvalid, DriverInterpreter>;
/** @experimental */
export declare const recorded: Effect.Effect<readonly import("./driver-interpreter.js").RecordedOperation[], never, DriverInterpreter>;