import { Schema } from "effect";
import { NamedCapability } from "./capability.js";
import { ProgramPin } from "./pin.js";
/** @experimental Sandboxed source pinned as part of one Agent Program. */
export declare const ProgramSource: Schema.Struct<{
    readonly language: Schema.Literal<"javascript">;
    readonly text: Schema.String;
}>;
/** @experimental */
export type ProgramSource = typeof ProgramSource.Type;
/** @experimental Exact Agent and input schema callable by one Program selection. */
export declare const ProgramAgentCapability: Schema.Struct<{
    readonly selection: Schema.String;
    readonly agent: Schema.brand<Schema.String, "@batonfx/core/agent-pin">;
    readonly input: Schema.brand<Schema.String, "@batonfx/core/capability-pin">;
}>;
/** @experimental */
export type ProgramAgentCapability = typeof ProgramAgentCapability.Type;
/** @experimental Bounded resources available to one Agent Program. */
export declare const ProgramBudget: Schema.Struct<{
    readonly agentRuns: Schema.Int;
    readonly concurrency: Schema.Int;
    readonly toolCalls: Schema.Int;
    readonly tokens: Schema.Int;
    readonly wallClockMillis: Schema.Int;
    readonly logBytes: Schema.Int;
    readonly outputBytes: Schema.Int;
}>;
/** @experimental */
export type ProgramBudget = typeof ProgramBudget.Type;
/** @experimental Exact host capabilities visible inside one Agent Program sandbox. */
export declare const ProgramCapabilityManifest: Schema.Struct<{
    readonly tools: Schema.$Array<Schema.Codec<NamedCapability, import("./capability.js").NamedCapabilityEncoded, never, never>>;
    readonly agents: Schema.$Array<Schema.Struct<{
        readonly selection: Schema.String;
        readonly agent: Schema.brand<Schema.String, "@batonfx/core/agent-pin">;
        readonly input: Schema.brand<Schema.String, "@batonfx/core/capability-pin">;
    }>>;
    readonly steps: Schema.$Array<Schema.Codec<NamedCapability, import("./capability.js").NamedCapabilityEncoded, never, never>>;
}>;
/** @experimental */
export type ProgramCapabilityManifest = typeof ProgramCapabilityManifest.Type;
/** @experimental Closed reconstructable identity contract for one Agent Program. */
export declare const ProgramManifest: Schema.Struct<{
    readonly version: Schema.Literal<"1">;
    readonly name: Schema.String;
    readonly source: Schema.Struct<{
        readonly language: Schema.Literal<"javascript">;
        readonly text: Schema.String;
    }>;
    readonly sandbox: Schema.brand<Schema.String, "@batonfx/core/capability-pin">;
    readonly input: Schema.brand<Schema.String, "@batonfx/core/capability-pin">;
    readonly output: Schema.brand<Schema.String, "@batonfx/core/capability-pin">;
    readonly capabilities: Schema.Struct<{
        readonly tools: Schema.$Array<Schema.Codec<NamedCapability, import("./capability.js").NamedCapabilityEncoded, never, never>>;
        readonly agents: Schema.$Array<Schema.Struct<{
            readonly selection: Schema.String;
            readonly agent: Schema.brand<Schema.String, "@batonfx/core/agent-pin">;
            readonly input: Schema.brand<Schema.String, "@batonfx/core/capability-pin">;
        }>>;
        readonly steps: Schema.$Array<Schema.Codec<NamedCapability, import("./capability.js").NamedCapabilityEncoded, never, never>>;
    }>;
    readonly budget: Schema.Struct<{
        readonly agentRuns: Schema.Int;
        readonly concurrency: Schema.Int;
        readonly toolCalls: Schema.Int;
        readonly tokens: Schema.Int;
        readonly wallClockMillis: Schema.Int;
        readonly logBytes: Schema.Int;
        readonly outputBytes: Schema.Int;
    }>;
}>;
/** @experimental */
export type ProgramManifest = typeof ProgramManifest.Type;
/** @experimental An Agent Program manifest paired with its constructor-owned digest. */
export interface PinnedProgram {
    readonly pin: ProgramPin;
    readonly manifest: ProgramManifest;
}
/** @experimental Construct and pin one canonical Agent Program manifest. */
export declare const make: (input: Omit<ProgramManifest, "version"> & {
    readonly version?: "1";
}) => PinnedProgram;