import { Effect, Schema } from "effect";
import { type Services, type ToolDescription, ToolRuntime } from "./tool-runtime.js";
import type { Tools } from "./tools.js";
/** A tool call admitted during an execution. */
export type { ToolCall, ToolCallEnded, ToolCallHooks, ToolCallStarted, ToolDescription } from "./tool-runtime.js";
/** Signature-construction helpers for host-owned catalog instructions. */
export { searchSignature, toolExpression } from "./tool-runtime.js";
/** Resource budgets enforced independently during each CodeMode program execution. */
export type ExecutionLimits = {
    /**
     * Wall-clock milliseconds before interruption. Result delivery waits for tool cleanup.
     * No default: absent means no timeout.
     */
    readonly timeoutMs?: number;
    /** Maximum number of tool calls admitted by the runtime. No default: absent means unlimited. */
    readonly maxToolCalls?: number;
    /**
     * Maximum UTF-8 bytes retained from the result and logs. Warnings have a separate equal budget;
     * truncation notices and host formatting are additional.
     */
    readonly maxOutputBytes?: number;
};
export type ResolvedExecutionLimits = {
    readonly timeoutMs: number | undefined;
    readonly maxToolCalls: number | undefined;
    readonly maxOutputBytes: number | undefined;
};
/** Options for one CodeMode execution. */
export type ExecuteOptions<Provided extends Record<string, unknown> = {}> = {
    /** Source for one program in the supported JavaScript subset. */
    code: string;
    /** Explicit tools exposed to the program as `tools`. */
    tools?: Provided & Tools<Services<Provided>>;
    /** Per-execution overrides for the default resource limits. */
    limits?: ExecutionLimits;
    /** Observes decoded tool input immediately before tool execution. */
    onToolCallStart?: (call: ToolRuntime.ToolCallStarted) => Effect.Effect<void, never, Services<Provided>>;
    /** Observes each admitted tool call as it succeeds, fails, or is interrupted. */
    onToolCallEnd?: (call: ToolRuntime.ToolCallEnded) => Effect.Effect<void, never, Services<Provided>>;
};
/** A JSON value that can cross the confined interpreter boundary. */
export type DataValue = Schema.Json;
/** Configuration shared by `CodeMode.make` and `CodeMode.execute`. */
export type Options<Provided extends Record<string, unknown> = {}> = Omit<ExecuteOptions<Provided>, "code">;
/** Schema for a host tool input containing CodeMode source. */
export declare const Input: Schema.Struct<{
    readonly code: Schema.String;
}>;
export type Input = typeof Input.Type;
export declare const DiagnosticKind: Schema.Literals<readonly ["ParseError", "UnsupportedSyntax", "UnknownTool", "InvalidToolInput", "InvalidToolOutput", "InvalidDataValue", "ToolCallLimitExceeded", "TimeoutExceeded", "ToolFailure", "ExecutionFailure", "Truncated"]>;
/** Stable categories produced by program, schema, tool, limit, and truncation diagnostics. */
export type DiagnosticKind = typeof DiagnosticKind.Type;
export declare const Diagnostic: Schema.Struct<{
    readonly kind: Schema.Literals<readonly ["ParseError", "UnsupportedSyntax", "UnknownTool", "InvalidToolInput", "InvalidToolOutput", "InvalidDataValue", "ToolCallLimitExceeded", "TimeoutExceeded", "ToolFailure", "ExecutionFailure", "Truncated"]>;
    readonly message: Schema.String;
    readonly location: Schema.optionalKey<Schema.Struct<{
        readonly line: Schema.Number;
        readonly column: Schema.Number;
    }>>;
    readonly suggestions: Schema.optionalKey<Schema.$Array<Schema.String>>;
}>;
/** A normalized program diagnostic safe to return across an agent tool boundary. */
export type Diagnostic = typeof Diagnostic.Type;
export declare const Success: Schema.Struct<{
    readonly ok: Schema.Literal<true>;
    readonly value: Schema.Codec<Schema.Json, Schema.Json, never, never>;
    readonly warnings: Schema.optionalKey<Schema.$Array<Schema.Struct<{
        readonly kind: Schema.Literals<readonly ["ParseError", "UnsupportedSyntax", "UnknownTool", "InvalidToolInput", "InvalidToolOutput", "InvalidDataValue", "ToolCallLimitExceeded", "TimeoutExceeded", "ToolFailure", "ExecutionFailure", "Truncated"]>;
        readonly message: Schema.String;
        readonly location: Schema.optionalKey<Schema.Struct<{
            readonly line: Schema.Number;
            readonly column: Schema.Number;
        }>>;
        readonly suggestions: Schema.optionalKey<Schema.$Array<Schema.String>>;
    }>>>;
    readonly logs: Schema.optionalKey<Schema.$Array<Schema.String>>;
    readonly truncated: Schema.optionalKey<Schema.Boolean>;
    readonly toolCalls: Schema.$Array<Schema.Struct<{
        readonly name: Schema.String;
    }>>;
}>;
/** Successful execution after the result has crossed the plain-data boundary. */
export type Success = typeof Success.Type;
export declare const Failure: Schema.Struct<{
    readonly ok: Schema.Literal<false>;
    readonly error: Schema.Struct<{
        readonly kind: Schema.Literals<readonly ["ParseError", "UnsupportedSyntax", "UnknownTool", "InvalidToolInput", "InvalidToolOutput", "InvalidDataValue", "ToolCallLimitExceeded", "TimeoutExceeded", "ToolFailure", "ExecutionFailure", "Truncated"]>;
        readonly message: Schema.String;
        readonly location: Schema.optionalKey<Schema.Struct<{
            readonly line: Schema.Number;
            readonly column: Schema.Number;
        }>>;
        readonly suggestions: Schema.optionalKey<Schema.$Array<Schema.String>>;
    }>;
    readonly logs: Schema.optionalKey<Schema.$Array<Schema.String>>;
    readonly truncated: Schema.optionalKey<Schema.Boolean>;
    readonly toolCalls: Schema.$Array<Schema.Struct<{
        readonly name: Schema.String;
    }>>;
}>;
/** Failed execution with calls admitted before the diagnostic was produced. */
export type Failure = typeof Failure.Type;
/** Schema for the structured success or diagnostic returned by CodeMode execution. */
export declare const Result: Schema.Union<readonly [Schema.Struct<{
    readonly ok: Schema.Literal<true>;
    readonly value: Schema.Codec<Schema.Json, Schema.Json, never, never>;
    readonly warnings: Schema.optionalKey<Schema.$Array<Schema.Struct<{
        readonly kind: Schema.Literals<readonly ["ParseError", "UnsupportedSyntax", "UnknownTool", "InvalidToolInput", "InvalidToolOutput", "InvalidDataValue", "ToolCallLimitExceeded", "TimeoutExceeded", "ToolFailure", "ExecutionFailure", "Truncated"]>;
        readonly message: Schema.String;
        readonly location: Schema.optionalKey<Schema.Struct<{
            readonly line: Schema.Number;
            readonly column: Schema.Number;
        }>>;
        readonly suggestions: Schema.optionalKey<Schema.$Array<Schema.String>>;
    }>>>;
    readonly logs: Schema.optionalKey<Schema.$Array<Schema.String>>;
    readonly truncated: Schema.optionalKey<Schema.Boolean>;
    readonly toolCalls: Schema.$Array<Schema.Struct<{
        readonly name: Schema.String;
    }>>;
}>, Schema.Struct<{
    readonly ok: Schema.Literal<false>;
    readonly error: Schema.Struct<{
        readonly kind: Schema.Literals<readonly ["ParseError", "UnsupportedSyntax", "UnknownTool", "InvalidToolInput", "InvalidToolOutput", "InvalidDataValue", "ToolCallLimitExceeded", "TimeoutExceeded", "ToolFailure", "ExecutionFailure", "Truncated"]>;
        readonly message: Schema.String;
        readonly location: Schema.optionalKey<Schema.Struct<{
            readonly line: Schema.Number;
            readonly column: Schema.Number;
        }>>;
        readonly suggestions: Schema.optionalKey<Schema.$Array<Schema.String>>;
    }>;
    readonly logs: Schema.optionalKey<Schema.$Array<Schema.String>>;
    readonly truncated: Schema.optionalKey<Schema.Boolean>;
    readonly toolCalls: Schema.$Array<Schema.Struct<{
        readonly name: Schema.String;
    }>>;
}>]>;
/** Result of executing a CodeMode program. Program failures are data, not Effect failures. */
export type Result = typeof Result.Type;
/** Reusable confined runtime over explicit tools. */
export type Runtime<R = never> = {
    readonly catalog: () => ReadonlyArray<ToolDescription>;
    readonly execute: (code: string) => Effect.Effect<Result, never, R>;
};
/** Executes one Effect-native CodeMode program without constructing a reusable runtime. */
export declare const execute: <const Provided extends Record<string, unknown>>(options: ExecuteOptions<Provided>) => Effect.Effect<Result, never, Services<Provided>>;
/** Creates an Effect-native runtime over explicit, schema-described tools. */
export declare const make: <const Provided extends Record<string, unknown> = {}>(options?: Options<Provided>) => Runtime<Services<Provided>>;