import { Effect, Schema, Scope } from "effect";
import type { NamedCapability } from "../durable/agent-manifest.js";
import { type PinnedProgram, type ProgramAgentCapability, type ProgramBudget } from "../durable/program-manifest.js";
import type { CapabilityPin } from "../durable/pin.js";
import { ProgramSchemaFailure } from "./program-capabilities.js";
import { ProgramHost, type ExecutionFailure } from "./program-host.js";
/** @experimental An exact Agent Program paired with its input and output codecs. */
export interface Program<I, IE, O, OE> {
    readonly pinned: PinnedProgram;
    readonly input: Schema.Codec<I, IE>;
    readonly output: Schema.Codec<O, OE>;
}
/** @experimental Construct and pin an Agent Program without evaluating its source. */
export declare const make: <I, IE, O, OE>(input: {
    readonly name: string;
    readonly source: string;
    readonly sandbox: CapabilityPin;
    readonly input: Schema.Codec<I, IE>;
    readonly inputPin: CapabilityPin;
    readonly output: Schema.Codec<O, OE>;
    readonly outputPin: CapabilityPin;
    readonly tools: ReadonlyArray<NamedCapability>;
    readonly agents: ReadonlyArray<ProgramAgentCapability>;
    readonly steps: ReadonlyArray<NamedCapability>;
    readonly budget: ProgramBudget;
}) => Program<I, IE, O, OE>;
/** @experimental Execute a trusted, caller-supplied Agent Program through the configured sandbox boundary. */
export declare const run: {
    <I, IE, O, OE>(input: I): (program: Program<I, IE, O, OE>) => Effect.Effect<O, ProgramSchemaFailure | ExecutionFailure, ProgramHost | Scope.Scope>;
    <I, IE, O, OE>(program: Program<I, IE, O, OE>, input: I): Effect.Effect<O, ProgramSchemaFailure | ExecutionFailure, ProgramHost | Scope.Scope>;
};