import { Schema } from "effect"; /** @experimental Pending operation the interpreter schedules before decide. */ export declare const PendingOperation: Schema.Struct<{ readonly kind: Schema.Literals; readonly key: Schema.String; readonly input: Schema.Unknown; readonly replayPolicy: Schema.Literals; }>; /** @experimental */ export type PendingOperation = typeof PendingOperation.Type; /** @experimental Production loop driver state stored in DriverCheckpoint.state. */ export declare const LoopDriverState: Schema.Struct<{ readonly logicalOperationId: Schema.String; readonly sessionId: Schema.String; readonly modelCallOrdinal: Schema.Finite; readonly modelCallOrdinalStart: Schema.Finite; readonly handoff: Schema.optionalKey; }>>; readonly edgeCounts: Schema.$Array>; readonly handoffCount: Schema.Finite; readonly pendingContinuation: Schema.optionalKey; readonly instructions: Schema.optionalKey; }>>; }>>; readonly pending: Schema.optionalKey; readonly key: Schema.String; readonly input: Schema.Unknown; readonly replayPolicy: Schema.Literals; }>>; readonly wait: Schema.optionalKey; }>>; readonly suspensionToken: Schema.optionalKey; readonly terminal: Schema.optionalKey>; }>; /** @experimental */ export type LoopDriverState = typeof LoopDriverState.Type; /** @internal The active call keeps its scheduled ordinal; safe checkpoints expose the next ordinal. */ export declare const modelCallOrdinal: (state: LoopDriverState) => number;