effect-agent 0.1.0-beta.164 → 0.1.0-beta.165

package/src/engine/internal/agent-runtime.ts

@@ -1,40 +1,36 @@
 import type { Take } from "effect";
-import {
-  Cause,
-  Channel,
-  Clock,
-  Context,
-  DateTime,
-  Duration,
-  Effect,
-  Equal,
-  Exit,
-  Fiber,
-  Layer,
-  Metric,
-  Option,
-  PubSub,
-  Queue,
-  Result,
-  Schedule,
-  Schema,
-  SchemaAST,
-  SchemaGetter,
-  Scope,
-  Semaphore,
-  Stream,
-  Tracer,
-} from "effect";
-import {
-  Tool,
-  AiError,
-  LanguageModel,
-  Model,
-  Prompt,
-  Response,
-  ResponseIdTracker,
-  Toolkit,
-} from "effect/unstable/ai";
+import * as Cause from "effect/Cause";
+import * as Channel from "effect/Channel";
+import * as Clock from "effect/Clock";
+import * as Context from "effect/Context";
+import * as DateTime from "effect/DateTime";
+import * as Duration from "effect/Duration";
+import * as Effect from "effect/Effect";
+import * as Equal from "effect/Equal";
+import * as Exit from "effect/Exit";
+import * as Fiber from "effect/Fiber";
+import * as Layer from "effect/Layer";
+import * as Metric from "effect/Metric";
+import * as Option from "effect/Option";
+import * as PubSub from "effect/PubSub";
+import * as Queue from "effect/Queue";
+import * as Result from "effect/Result";
+import * as Schedule from "effect/Schedule";
+import * as Schema from "effect/Schema";
+import * as SchemaAST from "effect/SchemaAST";
+import * as SchemaGetter from "effect/SchemaGetter";
+import * as Scope from "effect/Scope";
+import * as Semaphore from "effect/Semaphore";
+import * as Stream from "effect/Stream";
+import * as Tracer from "effect/Tracer";
+import * as AiError from "effect/unstable/ai/AiError";
+import * as LanguageModel from "effect/unstable/ai/LanguageModel";
+import * as Model from "effect/unstable/ai/Model";
+import * as Prompt from "effect/unstable/ai/Prompt";
+import * as Response from "effect/unstable/ai/Response";
+import * as ResponseIdTracker from "effect/unstable/ai/ResponseIdTracker";
+import * as Tool from "effect/unstable/ai/Tool";
+import * as Toolkit from "effect/unstable/ai/Toolkit";
 
 import * as Agent from "../../core/Agent.ts";
 import {
@@ -143,7 +139,7 @@ import { ThreadHistory, ThreadHistoryError } from "../ThreadHistory.ts";
 import { CurrentToolCatalog, RunToolVisibility, type CatalogEntry } from "../ToolExposure.ts";
 import { boundedValueFootprint } from "./bounded-value.ts";
 import { isTextOutput, outputSchemaContract, prepareModelPrompt } from "./output-contract.ts";
-import { ownPrimitiveDelta } from "./primitive-delta.ts";
+import { ownPrimitiveTextPart } from "./primitive-delta.ts";
 import {
   boundedCanonicalJsonSnapshot,
   boundedJsonSnapshot,
@@ -995,12 +991,10 @@ const ownModelResponsePartGeneral = Effect.fnUntraced(function* <
   }
   const codec = modelResponseCodecFor(toolkit);
 
-  const encodingFailure = ModelProtocolError.make({
-    message: "Model response part failed canonical encoding",
-  });
-
   const encoded = yield* Schema.encodeUnknownEffect(codec)(part).pipe(
-    Effect.mapError(() => encodingFailure),
+    Effect.mapError(() =>
+      ModelProtocolError.make({ message: "Model response part failed canonical encoding" }),
+    ),
   );
 
   const retainedBytes = yield* inspectModelResponsePartCapacity(usage, encoded, limits);
@@ -1020,12 +1014,10 @@ const ownModelResponsePartGeneral = Effect.fnUntraced(function* <
       }),
   });
 
-  const decodingFailure = ModelProtocolError.make({
-    message: "Model response part failed canonical decoding",
-  });
-
   const ownedPart = yield* Schema.decodeUnknownEffect(codec)(ownedEncoded).pipe(
-    Effect.mapError(() => decodingFailure),
+    Effect.mapError(() =>
+      ModelProtocolError.make({ message: "Model response part failed canonical decoding" }),
+    ),
   );
 
   return { ownedPart, retainedBytes };
@@ -1040,7 +1032,7 @@ const ownModelResponsePart = <Tools extends Record<string, Tool.Any>>(
   Effect.suspend((): ReturnType<typeof ownModelResponsePartGeneral> => {
     const primitive =
       usage.responsePartCount < limits.maxModelResponseParts
-        ? ownPrimitiveDelta(part, limits.maxModelResponseBytes - usage.responsePartBytes)
+        ? ownPrimitiveTextPart(part, limits.maxModelResponseBytes - usage.responsePartBytes)
         : undefined;
 
     return primitive === undefined
@@ -1992,7 +1984,7 @@ const terminalToolTelemetry = (
   ).pipe(
     Effect.andThen(
       (outcome === "success"
-        ? Effect.logInfo("agent tool execution completed")
+        ? Effect.logDebug("agent tool execution completed")
         : Effect.logWarning("agent tool execution failed")
       ).pipe(
         Effect.annotateLogs({

package/src/engine/internal/bounded-value.ts

@@ -1,4 +1,5 @@
-import { DateTime, Redacted } from "effect";
+import * as DateTime from "effect/DateTime";
+import * as Redacted from "effect/Redacted";
 
 import { utf8ByteLength } from "../../core/internal/utf8.ts";
 

package/src/engine/internal/compaction.ts

@@ -1,5 +1,6 @@
-import { Option, Schema } from "effect";
-import { Prompt } from "effect/unstable/ai";
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import * as Prompt from "effect/unstable/ai/Prompt";
 
 import type { ContextMessageTokenEstimator } from "../ContextCompactor.ts";
 import { boundedCanonicalJsonSnapshot } from "./provider-result-staging.ts";

package/src/engine/internal/output-contract.ts

@@ -1,5 +1,6 @@
-import { Schema } from "effect";
-import { Prompt, Tool } from "effect/unstable/ai";
+import * as Schema from "effect/Schema";
+import * as Prompt from "effect/unstable/ai/Prompt";
+import * as Tool from "effect/unstable/ai/Tool";
 
 import type * as Agent from "../../core/Agent.ts";
 

package/src/engine/internal/primitive-delta.ts

@@ -1,14 +1,25 @@
-import { Option, Schema } from "effect";
-import { Response } from "effect/unstable/ai";
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import * as Response from "effect/unstable/ai/Response";
 
 import { utf8ByteLength } from "../../core/internal/utf8.ts";
 import { boundedValueFootprint } from "./bounded-value.ts";
 
 const brand = "~effect/ai/Response/Part";
 const keys = [brand, "type", "id", "delta", "metadata"];
+const boundaryKeys = [brand, "type", "id", "metadata"];
 
 const decode = Schema.decodeUnknownOption(
-  Schema.toType(Schema.Union([Response.TextDeltaPart, Response.ReasoningDeltaPart])),
+  Schema.toType(
+    Schema.Union([
+      Response.TextDeltaPart,
+      Response.ReasoningDeltaPart,
+      Response.TextStartPart,
+      Response.TextEndPart,
+      Response.ReasoningStartPart,
+      Response.ReasoningEndPart,
+    ]),
+  ),
 );
 
 const overhead = (type: "text-delta" | "reasoning-delta") => ({
@@ -22,29 +33,49 @@ const overhead = (type: "text-delta" | "reasoning-delta") => ({
   ),
 });
 
+const boundaryOverhead = (
+  type: "text-start" | "text-end" | "reasoning-start" | "reasoning-end",
+) => ({
+  source: boundedValueFootprint(Response.makePart(type, { id: "" }), Number.MAX_SAFE_INTEGER),
+  encoded: boundedValueFootprint({ type, id: "", metadata: {} }, Number.MAX_SAFE_INTEGER),
+});
+
 const overheads = {
   "text-delta": overhead("text-delta"),
   "reasoning-delta": overhead("reasoning-delta"),
+  "text-start": boundaryOverhead("text-start"),
+  "text-end": boundaryOverhead("text-end"),
+  "reasoning-start": boundaryOverhead("reasoning-start"),
+  "reasoning-end": boundaryOverhead("reasoning-end"),
 };
 
 /**
- * Copy the common primitive delta into owned data before native Schema validation.
+ * Copy primitive text and reasoning parts into owned data before native Schema validation.
  * Descriptor checks select this optimization; they do not replace the native codec.
  * Extra fields, accessors, and nonempty metadata use the general ownership path.
  * No provider object survives, including an empty metadata object's hidden storage.
  * Unlike a generic footprint shortcut, this cannot retain an exotic backing buffer.
  */
-export const ownPrimitiveDelta = (part: unknown, maxBytes: number) => {
+export const ownPrimitiveTextPart = (part: unknown, maxBytes: number) => {
   try {
     if (part === null || typeof part !== "object") return undefined;
     if (Array.isArray(part) || ArrayBuffer.isView(part)) return undefined;
     const prototype = Object.getPrototypeOf(part);
 
     if (prototype !== Object.prototype && prototype !== null) return undefined;
-    if (Reflect.ownKeys(part).length !== keys.length) return undefined;
+    const typeDescriptor = Object.getOwnPropertyDescriptor(part, "type");
+
+    if (typeDescriptor === undefined || !("value" in typeDescriptor)) return undefined;
+
+    const isDelta =
+      typeDescriptor.value === "text-delta" || typeDescriptor.value === "reasoning-delta";
+
+    const selectedKeys = isDelta ? keys : boundaryKeys;
+
+    if (Reflect.ownKeys(part).length !== selectedKeys.length) return undefined;
     const snapshot: Record<string, unknown> = {};
 
-    for (const key of keys) {
+    for (const key of selectedKeys) {
       const descriptor = Object.getOwnPropertyDescriptor(part, key);
 
       if (descriptor === undefined || !("value" in descriptor)) return undefined;
@@ -52,8 +83,18 @@ export const ownPrimitiveDelta = (part: unknown, maxBytes: number) => {
     }
     const { type, id, delta, metadata } = snapshot;
 
-    if (type !== "text-delta" && type !== "reasoning-delta") return undefined;
-    if (typeof id !== "string" || typeof delta !== "string") return undefined;
+    if (
+      type !== "text-delta" &&
+      type !== "reasoning-delta" &&
+      type !== "text-start" &&
+      type !== "text-end" &&
+      type !== "reasoning-start" &&
+      type !== "reasoning-end"
+    ) {
+      return undefined;
+    }
+    if (isDelta !== (type === "text-delta" || type === "reasoning-delta")) return undefined;
+    if (typeof id !== "string" || (isDelta && typeof delta !== "string")) return undefined;
     if (metadata === null || typeof metadata !== "object") return undefined;
     if (Array.isArray(metadata) || ArrayBuffer.isView(metadata)) return undefined;
     const metadataPrototype = Object.getPrototypeOf(metadata);
@@ -63,7 +104,7 @@ export const ownPrimitiveDelta = (part: unknown, maxBytes: number) => {
     const fixed = overheads[type];
 
     if (fixed.source === undefined || fixed.encoded === undefined) return undefined;
-    const bytes = utf8ByteLength(id) + utf8ByteLength(delta);
+    const bytes = utf8ByteLength(id) + (typeof delta === "string" ? utf8ByteLength(delta) : 0);
 
     if (bytes + fixed.source > maxBytes || bytes + fixed.encoded > maxBytes) return undefined;
     // Never pass the provider's metadata object (or any other object) to the decoder.

package/src/engine/internal/tool-derivative.ts

@@ -1,4 +1,8 @@
-import { Cause, Effect, ErrorReporter, Exit, Stream } from "effect";
+import * as Cause from "effect/Cause";
+import * as Effect from "effect/Effect";
+import * as ErrorReporter from "effect/ErrorReporter";
+import * as Exit from "effect/Exit";
+import * as Stream from "effect/Stream";
 
 import type { RunToolFailureObserver, ToolFailureObservation } from "../RunOptions.ts";
 

package/src/engine/internal/tool-exposure.ts

@@ -1,5 +1,8 @@
-import { Context, Effect, Schema } from "effect";
-import { Tool, type LanguageModel } from "effect/unstable/ai";
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import type { LanguageModel } from "effect/unstable/ai";
+import * as Tool from "effect/unstable/ai/Tool";
 
 import type { AnyDefinition } from "../../core/Agent.ts";
 import { ModelProtocolError } from "../../core/AgentError.ts";

package/src/engine/internal/tool-telemetry.ts

@@ -1,16 +1,15 @@
-import {
-  Cause,
-  Context,
-  Effect,
-  ErrorReporter,
-  Exit,
-  type Fiber,
-  Layer,
-  Option,
-  Stream,
-  Tracer,
-} from "effect";
-import { AiError, type Tool } from "effect/unstable/ai";
+import type { Fiber } from "effect";
+import * as Cause from "effect/Cause";
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as ErrorReporter from "effect/ErrorReporter";
+import * as Exit from "effect/Exit";
+import * as Layer from "effect/Layer";
+import * as Option from "effect/Option";
+import * as Stream from "effect/Stream";
+import * as Tracer from "effect/Tracer";
+import type { Tool } from "effect/unstable/ai";
+import * as AiError from "effect/unstable/ai/AiError";
 
 import type { ToolFailureHandling } from "../../core/RunEvent.ts";
 import { isolateToolDerivative } from "./tool-derivative.ts";

package/dist/Agent-BMATXYsI.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"Agent-BMATXYsI.mjs","names":[],"sources":["../src/core/internal/agent-updates.ts","../src/core/Agent.ts"],"sourcesContent":["import { Schema } from \"effect\";\nimport { Tool, Toolkit } from \"effect/unstable/ai\";\n\nimport { Emitter, UpdateError } from \"../AgentUpdates.ts\";\n\n/** Definition-owned native Tool. Runtime supplies its handler under the same identity. */\nexport const updateTool = <S extends Schema.Top>(schema: S) =>\n  Tool.make(\"emit_update\", {\n    description:\n      \"Emit a structured intermediate update. Success acknowledges acceptance by this Run; \" +\n      \"parent delivery and processing are separate. This does not complete the task.\",\n    parameters: Schema.Struct({ value: schema }),\n    success: Schema.Struct({ emitted: Schema.Literal(true) }),\n    failure: UpdateError,\n    failureMode: \"return\",\n  }).addDependency(Emitter);\n\nexport type UpdateToolkit<\n  T extends Toolkit.Any,\n  S extends Schema.Top | undefined,\n> = S extends Schema.Top\n  ? Toolkit.Toolkit<T[\"tools\"] & { readonly emit_update: ReturnType<typeof updateTool<S>> }>\n  : T;\n\nexport const withUpdateTool = (\n  toolkit: Toolkit.Any,\n  schema: Schema.Top | undefined,\n): Toolkit.Any => {\n  if (schema === undefined) return toolkit;\n  if (Object.hasOwn(toolkit.tools, \"emit_update\"))\n    throw new TypeError(\"emit_update is reserved for Agent updates\");\n\n  return Toolkit.make(...Object.values(toolkit.tools), updateTool(schema));\n};\n","import type { Effect, Layer, Option, Schema } from \"effect\";\nimport * as S from \"effect/Schema\";\nimport {\n  type AiError,\n  type LanguageModel,\n  type Model,\n  type Prompt,\n  Tool,\n  Toolkit,\n} from \"effect/unstable/ai\";\n\nimport type { AgentInputError, AgentOutputError, AgentRunDispositionError } from \"./AgentError.ts\";\nimport { AgentPolicy, type AgentPolicyInput } from \"./AgentPolicy.ts\";\nimport { AgentId } from \"./Identifiers.ts\";\nimport { type UpdateToolkit, withUpdateTool } from \"./internal/agent-updates.ts\";\nimport type { Configuration } from \"./ToolExposure.ts\";\n\n/** Prompt input produced directly or by an Effect that preserves its failure and requirements. */\nexport type InstructionResult<E = never, R = never> =\n  | Prompt.RawInput\n  | Effect.Effect<Prompt.RawInput, E, R>;\n\n/** Static prompt input or an input-dependent source evaluated once while preparing a run. */\nexport type InstructionSource<Input, E = never, R = never> =\n  | Prompt.RawInput\n  | ((input: Input) => InstructionResult<E, R>);\n\n/** Definition-owned projection from decoded Agent input to model-visible prompt content. */\nexport type InputPromptSource<Input, E = never, R = never> = (\n  input: Input,\n) => InstructionResult<E, R>;\n\n/** Native services needed to execute and identify model calls. */\nexport type ModelServices = LanguageModel.LanguageModel | Model.ProviderName | Model.ModelName;\n\n/**\n * An optional capability on a provided LanguageModel service. The runtime supplies\n * only model-visible task context and eligible Tool descriptions after validating input.\n * The resolver owns retaining one choice per Thread, including across Runs and\n * recovery; it captures client requirements and returns a closed native Layer\n * that the interpreter acquires for the Run. Context hooks may prepare prompts\n * but cannot replace this model through a per-Turn modelCall.\n * Selection failures remain AiError values and all selector/client services stay in R.\n */\nexport interface ModelResolver extends LanguageModel.LanguageModel {\n  readonly resolve: (request: {\n    readonly threadId: string;\n    readonly state: Schema.JsonObject;\n  }) => Effect.Effect<Layer.Layer<ModelServices>, AiError.AiError>;\n}\n\n/** Detect the deferred resolver capability on a trusted, host-provided model service. */\nexport const isModelResolver = (model: LanguageModel.LanguageModel): model is ModelResolver =>\n  \"resolve\" in model && typeof model.resolve === \"function\";\n\n/** Accepts native model Layers that provide generation and model identity. */\nexport type NativeModel<ModelValue> =\n  ModelValue extends Layer.Layer<infer Provides, never, infer _Requires>\n    ? ModelServices extends Provides\n      ? ModelValue\n      : never\n    : never;\n\n/** Definition-owned boundary for selecting and validating an application run disposition. */\nexport interface RunDispositionDeclaration<Output, DispositionSchema extends Schema.Top> {\n  /**\n   * Opt background workers into one retained assignment. The encoded disposition must be\n   * Worker.AssignmentDisposition: completed seals the worker, waiting leaves it steerable.\n   * Failures and exhausted Runs seal as failed; aborting an active Run seals as cancelled.\n   * The worker origin retains this choice. Omission preserves reusable workers.\n   */\n  readonly workerLifecycle?: \"assignment\" | undefined;\n  /** Canonical Schema used to validate and encode the selected disposition. */\n  readonly schema: DispositionSchema;\n  /** Pure selection from decoded output. `undefined` declares none, except for assignments. */\n  readonly fromOutput: (output: Output) => unknown;\n}\n\n/** Values available to a Definition-owned completion Tool projector after canonical decoding. */\nexport interface CompletionProjectionInput<Parameters = unknown, Result = unknown> {\n  readonly parameters: Parameters;\n  readonly result: Result;\n}\n\n/**\n * One application Tool whose successful result can complete its owning Agent when it is the\n * only application call. Provider-executed calls may accompany it only with terminal results.\n * Mixed, wholly unexecuted application batches are rejected with failed Tool results so the\n * model can correct them within ordinary Run budgets; completed provider results are retained.\n * Missing provider results and invalid pending resumed batches fail closed. The completion\n * designation never permits side-effect replay.\n */\nexport interface CompletionToolDeclaration<\n  Parameters = unknown,\n  Result = unknown,\n  Output = unknown,\n> {\n  readonly tool: string;\n  /** Require native Tool use on every model Turn and this Tool for final completion. */\n  readonly required?: boolean | undefined;\n  readonly project: (input: CompletionProjectionInput<Parameters, Result>) => Output;\n}\n\ntype CompletionToolFor<ToolkitValue extends Toolkit.Any, Output> = {\n  readonly [Name in keyof ToolkitValue[\"tools\"] & string]: CompletionToolDeclaration<\n    Tool.Parameters<ToolkitValue[\"tools\"][Name]>,\n    Tool.Success<ToolkitValue[\"tools\"][Name]>,\n    Output\n  > & { readonly tool: Name };\n}[keyof ToolkitValue[\"tools\"] & string];\n\n/**\n * An ordinary action Tool whose canonical success may satisfy the whole request.\n * Projectors must be pure and deterministic: recovery re-evaluates them. None preserves\n * ordinary continuation; Some is validated as the Agent output. These Tools must be the sole\n * application call; terminal provider results may accompany them. They never receive the\n * required completion Tool's exhaustion allowance.\n */\nexport interface CompletionFromToolDeclaration<\n  Parameters = unknown,\n  Result = unknown,\n  Output = unknown,\n> {\n  readonly tool: string;\n  readonly project: (input: CompletionProjectionInput<Parameters, Result>) => Option.Option<Output>;\n}\n\ntype CompletionFromToolFor<ToolkitValue extends Toolkit.Any, Output> = {\n  readonly [Name in keyof ToolkitValue[\"tools\"] & string]: CompletionFromToolDeclaration<\n    Tool.Parameters<ToolkitValue[\"tools\"][Name]>,\n    Tool.Success<ToolkitValue[\"tools\"][Name]>,\n    Output\n  > & { readonly tool: Name };\n}[keyof ToolkitValue[\"tools\"] & string];\n\n/** Immutable, model-agnostic schemas, behavior, tools, and bounds for an agent. */\nexport interface Definition<\n  InputSchema extends Schema.Top,\n  OutputSchema extends Schema.Top,\n  Instructions,\n  ToolkitValue extends Toolkit.Any,\n  RunDispositionValue = undefined,\n  InputPromptValue = undefined,\n  UpdatesSchema extends Schema.Top | undefined = undefined,\n> {\n  /** Stable agent identity; changing it creates a distinct definition identity. */\n  readonly id: AgentId;\n  /** Canonical Schema for intermediate updates emitted by this Agent. */\n  readonly updates?: UpdatesSchema;\n  /** Canonical schema used to decode and encode run input. */\n  readonly input: InputSchema;\n  /** Canonical schema used to decode the final model output. */\n  readonly output: OutputSchema;\n  /**\n   * Evaluated once while preparing each Run. OpenAI, xAI and native adapters advertising support\n   * preserve chronological system messages, omitting exact repeats only when no distinct system\n   * instruction intervenes. The actual selected model determines support on each call. Other\n   * adapters group systems first and keep the last exact repeat, including provider options;\n   * Anthropic requires an upstream adapter with mid-conversation system-message support.\n   * Stored history is unchanged.\n   */\n  readonly instructions: Instructions;\n  /** Optional projection from decoded input to model-visible native Effect AI prompt content. */\n  readonly inputPrompt?: InputPromptValue | undefined;\n  /** Native Effect AI toolkit whose failures and requirements remain visible. */\n  readonly toolkit: ToolkitValue;\n  readonly toolExposure?: Configuration | undefined;\n  /** Finite execution bounds enforced by the runtime. */\n  readonly policy: AgentPolicy;\n  /** Explicit policy fields, retained so delegated runs can inherit omitted fields. */\n  readonly policyOverrides?: Partial<AgentPolicyInput> | undefined;\n  /** Optional successful Tool result that projects directly to the Agent output and settles. */\n  readonly completion?: CompletionToolDeclaration | undefined;\n  readonly completionFromTools?: ReadonlyArray<CompletionFromToolDeclaration> | undefined;\n  readonly runDisposition?: RunDispositionValue | undefined;\n  readonly description?: string | undefined;\n  readonly metadata?: Readonly<Record<string, string>> | undefined;\n}\n\n/** Options for a model-agnostic agent definition. */\nexport interface DefinitionOptions<\n  InputSchema extends Schema.Top,\n  OutputSchema extends Schema.Top,\n  Instructions extends InstructionSource<InputSchema[\"Type\"], unknown, unknown>,\n  ToolkitValue extends Toolkit.Any,\n  RunDispositionValue extends\n    | RunDispositionDeclaration<OutputSchema[\"Type\"], Schema.Top>\n    | undefined = undefined,\n  InputPromptValue extends InputPromptSource<InputSchema[\"Type\"], unknown, unknown> | undefined =\n    undefined,\n  UpdatesSchema extends Schema.Top | undefined = undefined,\n> {\n  readonly updates?: UpdatesSchema;\n  readonly input: InputSchema;\n  readonly output: OutputSchema;\n  readonly instructions: Instructions;\n  readonly inputPrompt?: InputPromptValue | undefined;\n  readonly toolkit: ToolkitValue;\n  readonly toolExposure?: Configuration | undefined;\n  readonly policy?: Partial<AgentPolicyInput> | undefined;\n  readonly completion?: CompletionToolFor<ToolkitValue, OutputSchema[\"Type\"]> | undefined;\n  readonly completionFromTools?:\n    | ReadonlyArray<CompletionFromToolFor<ToolkitValue, OutputSchema[\"Type\"]>>\n    | undefined;\n  readonly runDisposition?: RunDispositionValue | undefined;\n  readonly description?: string | undefined;\n  readonly metadata?: Readonly<Record<string, string>> | undefined;\n}\n\ntype AnyDefinitionShape = Definition<\n  Schema.Top,\n  Schema.Top,\n  unknown,\n  Toolkit.Any,\n  RunDispositionDeclaration<never, Schema.Top> | undefined,\n  unknown,\n  Schema.Top | undefined\n>;\n\n/** Immutable pairing of an agent definition with a native model Layer or thread resolver. */\nexport interface Binding<DefinitionValue extends AnyDefinitionShape, ModelValue> {\n  readonly definition: DefinitionValue;\n  readonly model: NativeModel<ModelValue>;\n}\n\ntype InstructionEffect<Instructions, Input> = Instructions extends (input: Input) => infer Result\n  ? Result\n  : Instructions;\n\ntype InputPromptEffect<InputPrompt, Input> = InputPrompt extends (input: Input) => infer Result\n  ? Result\n  : never;\n\ntype EffectError<Value> =\n  Value extends Effect.Effect<infer _Success, infer Error, infer _Services> ? Error : never;\n\ntype EffectServices<Value> =\n  Value extends Effect.Effect<infer _Success, infer _Error, infer Services> ? Services : never;\n\ntype ModelRequirements<Value> =\n  Value extends Layer.Layer<infer _Provides, infer _Error, infer Services> ? Services : never;\n\n/** Constructors and type projections for definitions and runnable model bindings. */\n\n/** Type-erased definition used at generic framework boundaries. */\nexport type AnyDefinition = AnyDefinitionShape;\n\n/** Read-only interpreter program or binding used at inspection and projection boundaries. */\nexport interface Any {\n  readonly definition: AnyDefinition;\n  readonly model?: unknown;\n}\n\n/** Native Tool configuration for inspection; it does not predict an invocation's outcome. */\nexport const ToolInspection = S.Struct({\n  name: S.String,\n  failureMode: S.Literals([\"error\", \"return\"]),\n  /** False for provider-executed Tools, whose results do not pass through local handlers. */\n  requiresHandler: S.Boolean,\n});\n\nexport type ToolInspection = typeof ToolInspection.Type;\n\n/**\n * Inspect registered native Tools in declaration order without acquiring handlers or a Model.\n * This is the full Definition toolkit, before run-specific visibility or exposure filtering.\n * `failureMode` is Effect AI's configured mode, including its `\"error\"` default. Handler-level\n * recovery, programmatic invocation and Subagent containment can change where failures go;\n * consult execution diagnostics for the actual route. No arguments, results or services are read.\n */\nexport const inspectTools = (agent: AnyDefinition | Any): ReadonlyArray<ToolInspection> => {\n  const definition = \"definition\" in agent ? agent.definition : agent;\n\n  return Object.values(definition.toolkit.tools).map((tool) =>\n    ToolInspection.make({\n      name: tool.name,\n      failureMode: tool.failureMode,\n      requiresHandler: !Tool.isProviderDefined(tool) || tool.requiresHandler,\n    }),\n  );\n};\n\ntype DefinitionOf<AgentValue extends AnyDefinition | Any> = AgentValue extends {\n  readonly definition: infer DefinitionValue extends AnyDefinition;\n}\n  ? DefinitionValue\n  : AgentValue;\n\ntype RunDispositionSchemaOf<DefinitionValue extends AnyDefinition> = [\n  Exclude<DefinitionValue[\"runDisposition\"], undefined>,\n] extends [never]\n  ? never\n  : Exclude<DefinitionValue[\"runDisposition\"], undefined> extends RunDispositionDeclaration<\n        never,\n        infer DispositionSchema\n      >\n    ? DispositionSchema\n    : never;\n\n/** Literal Agent ID, retained by Agent.make. */\nexport type Name<A extends AnyDefinition | Any> = DefinitionOf<A>[\"id\"] extends AgentId &\n  (infer N extends string)\n  ? N\n  : string;\n\n/** Declared update Schema, or never for Agents without updates. */\nexport type UpdatesSchema<A extends AnyDefinition | Any> = Exclude<\n  DefinitionOf<A>[\"updates\"],\n  undefined\n>;\n\n/** Decoded intermediate update value. */\nexport type Update<A extends AnyDefinition | Any> = UpdatesSchema<A>[\"Type\"];\n\n/** Decoded input type of a definition or binding. */\nexport type Input<AgentValue extends AnyDefinition | Any> =\n  DefinitionOf<AgentValue>[\"input\"][\"Type\"];\n\n/** Encoded input accepted by the primary execution operations. */\nexport type EncodedInput<AgentValue extends AnyDefinition | Any> =\n  DefinitionOf<AgentValue>[\"input\"][\"Encoded\"];\n\n/** Decoded output type of a definition or binding. */\nexport type Output<AgentValue extends AnyDefinition | Any> =\n  DefinitionOf<AgentValue>[\"output\"][\"Type\"];\n\n/** Input Schema carried by a definition or binding. */\nexport type InputSchema<AgentValue extends AnyDefinition | Any> = DefinitionOf<AgentValue>[\"input\"];\n\n/** Output Schema carried by a definition or binding. */\nexport type OutputSchema<AgentValue extends AnyDefinition | Any> =\n  DefinitionOf<AgentValue>[\"output\"];\n\n/** Application run-disposition Schema carried by a definition or binding, or `never`. */\nexport type RunDispositionSchema<AgentValue extends AnyDefinition | Any> = RunDispositionSchemaOf<\n  DefinitionOf<AgentValue>\n>;\n\n/** Decoded application run disposition declared by a definition or binding. */\nexport type RunDisposition<AgentValue extends AnyDefinition | Any> = [\n  RunDispositionSchema<AgentValue>,\n] extends [never]\n  ? never\n  : RunDispositionSchema<AgentValue>[\"Type\"];\n\n/** Validation failure admitted only by definitions that declare a run disposition. */\nexport type RunDispositionFailure<AgentValue extends AnyDefinition | Any> = [\n  RunDispositionSchemaOf<DefinitionOf<AgentValue>>,\n] extends [never]\n  ? never\n  : AgentRunDispositionError;\n\n/** Effect AI tool map carried by a definition or binding. */\nexport type Tools<AgentValue extends AnyDefinition | Any> = Toolkit.Tools<\n  DefinitionOf<AgentValue>[\"toolkit\"]\n>;\n\ntype ApplicationTools<A extends AnyDefinition> = [UpdatesSchema<A>] extends [never]\n  ? Tools<A>\n  : Omit<Tools<A>, \"emit_update\">;\n\ntype ToolMapValues<ToolMap extends Record<string, Tool.Any>> = ToolMap extends unknown\n  ? ToolMap[keyof ToolMap]\n  : never;\n\n/** All possible tools, including keys present in only one definition or binding branch. */\nexport type ToolUnion<AgentValue extends AnyDefinition | Any> = ToolMapValues<Tools<AgentValue>>;\n\n/** Instruction, tool-handler, and Schema services required before a Model is bound. */\nexport type DefinitionRequirements<DefinitionValue extends AnyDefinition> =\n  DefinitionValue extends unknown\n    ?\n        | EffectServices<InstructionEffect<DefinitionValue[\"instructions\"], Input<DefinitionValue>>>\n        | EffectServices<InputPromptEffect<DefinitionValue[\"inputPrompt\"], Input<DefinitionValue>>>\n        | Tool.HandlersFor<ApplicationTools<DefinitionValue>>\n        | Tool.HandlerServices<ToolMapValues<ApplicationTools<DefinitionValue>>>\n        // The interpreter canonically re-encodes decoded Tool parameters before recording them.\n        | Tool.ParametersSchema<ToolUnion<DefinitionValue>>[\"EncodingServices\"]\n        | Tool.SuccessSchema<ToolUnion<DefinitionValue>>[\"DecodingServices\"]\n        | DefinitionValue[\"input\"][\"DecodingServices\"]\n        | DefinitionValue[\"input\"][\"EncodingServices\"]\n        | DefinitionValue[\"output\"][\"DecodingServices\"]\n        | DefinitionValue[\"output\"][\"EncodingServices\"]\n        | UpdatesSchema<DefinitionValue>[\"DecodingServices\"]\n        | UpdatesSchema<DefinitionValue>[\"EncodingServices\"]\n        | RunDispositionSchemaOf<DefinitionValue>[\"DecodingServices\"]\n        | RunDispositionSchemaOf<DefinitionValue>[\"EncodingServices\"]\n    : never;\n\n/** Definition services plus native model services, or a binding's model Layer requirements. */\nexport type Requirements<AgentValue extends AnyDefinition | Any> =\n  | DefinitionRequirements<DefinitionOf<AgentValue>>\n  | (AgentValue extends { readonly model: infer ModelValue }\n      ? ModelRequirements<ModelValue>\n      : ModelServices);\n\n// Distribute after unwrapping bindings too: withModel may itself contain a definition union.\ntype DefinitionFailure<DefinitionValue extends AnyDefinition> = DefinitionValue extends unknown\n  ?\n      | EffectError<InstructionEffect<DefinitionValue[\"instructions\"], Input<DefinitionValue>>>\n      | EffectError<InputPromptEffect<DefinitionValue[\"inputPrompt\"], Input<DefinitionValue>>>\n      | Tool.HandlerError<ToolUnion<DefinitionValue>>\n  : never;\n\n/** Failures from every possible definition, preserving each branch's instruction input type. */\nexport type Failure<AgentValue extends AnyDefinition | Any> =\n  | DefinitionFailure<DefinitionOf<AgentValue>>\n  | AiError.AiError\n  | AgentInputError\n  | AgentOutputError\n  | RunDispositionFailure<AgentValue>;\n\n/** Validate an agent ID and return a shallowly frozen, model-agnostic definition. */\nexport function make<\n  const Name extends string,\n  InputSchema extends Schema.Top,\n  OutputSchema extends Schema.Top,\n  Instructions extends InstructionSource<InputSchema[\"Type\"], unknown, unknown>,\n  ToolkitValue extends Toolkit.Any,\n  DispositionSchema extends Schema.Top,\n  InputPromptValue extends InputPromptSource<InputSchema[\"Type\"], unknown, unknown> | undefined,\n  UpdatesSchema extends Schema.Top | undefined = undefined,\n>(\n  id: Name,\n  options: DefinitionOptions<\n    InputSchema,\n    OutputSchema,\n    Instructions,\n    ToolkitValue,\n    RunDispositionDeclaration<OutputSchema[\"Type\"], DispositionSchema>,\n    InputPromptValue,\n    UpdatesSchema\n  > & {\n    readonly runDisposition: RunDispositionDeclaration<OutputSchema[\"Type\"], DispositionSchema>;\n    readonly inputPrompt: InputPromptValue;\n  },\n): Definition<\n  InputSchema,\n  OutputSchema,\n  Instructions,\n  UpdateToolkit<ToolkitValue, NoInfer<UpdatesSchema>>,\n  RunDispositionDeclaration<OutputSchema[\"Type\"], DispositionSchema>,\n  InputPromptValue,\n  NoInfer<UpdatesSchema>\n> & { readonly id: AgentId & Name };\n\nexport function make<\n  const Name extends string,\n  InputSchema extends Schema.Top,\n  OutputSchema extends Schema.Top,\n  Instructions extends InstructionSource<InputSchema[\"Type\"], unknown, unknown>,\n  ToolkitValue extends Toolkit.Any,\n  DispositionSchema extends Schema.Top,\n  UpdatesSchema extends Schema.Top | undefined = undefined,\n>(\n  id: Name,\n  options: DefinitionOptions<\n    InputSchema,\n    OutputSchema,\n    Instructions,\n    ToolkitValue,\n    RunDispositionDeclaration<OutputSchema[\"Type\"], DispositionSchema>,\n    undefined,\n    UpdatesSchema\n  > & {\n    readonly runDisposition: RunDispositionDeclaration<OutputSchema[\"Type\"], DispositionSchema>;\n    readonly inputPrompt?: undefined;\n  },\n): Definition<\n  InputSchema,\n  OutputSchema,\n  Instructions,\n  UpdateToolkit<ToolkitValue, NoInfer<UpdatesSchema>>,\n  RunDispositionDeclaration<OutputSchema[\"Type\"], DispositionSchema>,\n  undefined,\n  NoInfer<UpdatesSchema>\n> & { readonly id: AgentId & Name };\n\nexport function make<\n  const Name extends string,\n  InputSchema extends Schema.Top,\n  OutputSchema extends Schema.Top,\n  Instructions extends InstructionSource<InputSchema[\"Type\"], unknown, unknown>,\n  ToolkitValue extends Toolkit.Any,\n  InputPromptValue extends InputPromptSource<InputSchema[\"Type\"], unknown, unknown> | undefined,\n  UpdatesSchema extends Schema.Top | undefined = undefined,\n>(\n  id: Name,\n  options: DefinitionOptions<\n    InputSchema,\n    OutputSchema,\n    Instructions,\n    ToolkitValue,\n    undefined,\n    InputPromptValue,\n    UpdatesSchema\n  > & {\n    readonly inputPrompt: InputPromptValue;\n    readonly runDisposition?: undefined;\n  },\n): Definition<\n  InputSchema,\n  OutputSchema,\n  Instructions,\n  UpdateToolkit<ToolkitValue, NoInfer<UpdatesSchema>>,\n  undefined,\n  InputPromptValue,\n  NoInfer<UpdatesSchema>\n> & { readonly id: AgentId & Name };\n\nexport function make<\n  const Name extends string,\n  InputSchema extends Schema.Top,\n  OutputSchema extends Schema.Top,\n  Instructions extends InstructionSource<InputSchema[\"Type\"], unknown, unknown>,\n  ToolkitValue extends Toolkit.Any,\n  UpdatesSchema extends Schema.Top | undefined = undefined,\n>(\n  id: Name,\n  options: DefinitionOptions<\n    InputSchema,\n    OutputSchema,\n    Instructions,\n    ToolkitValue,\n    undefined,\n    undefined,\n    UpdatesSchema\n  > & {\n    readonly inputPrompt?: undefined;\n    readonly runDisposition?: undefined;\n  },\n): Definition<\n  InputSchema,\n  OutputSchema,\n  Instructions,\n  UpdateToolkit<ToolkitValue, NoInfer<UpdatesSchema>>,\n  undefined,\n  undefined,\n  NoInfer<UpdatesSchema>\n> & { readonly id: AgentId & Name };\n\nexport function make(\n  id: string,\n  options: {\n    readonly updates?: Schema.Top | undefined;\n    readonly input: Schema.Top;\n    readonly output: Schema.Top;\n    readonly instructions: unknown;\n    readonly inputPrompt?: unknown;\n    readonly toolkit: Toolkit.Any;\n    readonly toolExposure?: Configuration | undefined;\n    readonly policy?: Partial<AgentPolicyInput> | undefined;\n    readonly completion?: CompletionToolDeclaration | undefined;\n    readonly completionFromTools?: ReadonlyArray<CompletionFromToolDeclaration> | undefined;\n    readonly runDisposition?: RunDispositionDeclaration<never, Schema.Top> | undefined;\n    readonly description?: string | undefined;\n    readonly metadata?: Readonly<Record<string, string>> | undefined;\n  },\n): AnyDefinition {\n  const completionNames = new Set<string>();\n\n  for (const declaration of options.completionFromTools ?? []) {\n    if (declaration.tool === options.completion?.tool || completionNames.has(declaration.tool)) {\n      throw new Error(`Tool ${declaration.tool} has more than one completion declaration`);\n    }\n    if (!Object.hasOwn(options.toolkit.tools, declaration.tool)) {\n      throw new Error(`Unknown completion Tool ${declaration.tool}`);\n    }\n    completionNames.add(declaration.tool);\n  }\n\n  const tools = Object.values(options.toolkit.tools);\n\n  const readonlyTools = tools.map((tool) =>\n    Tool.isProviderDefined(tool) &&\n    !tool.requiresHandler &&\n    [\"web_search\", \"web_search_preview\", \"file_search\"].includes(tool.providerName)\n      ? tool.annotate(Tool.Readonly, true)\n      : tool,\n  );\n\n  const toolkit = readonlyTools.some((tool, index) => tool !== tools[index])\n    ? Toolkit.make(...readonlyTools)\n    : options.toolkit;\n\n  return Object.freeze({\n    ...options,\n    toolkit: withUpdateTool(toolkit, options.updates),\n    policy: AgentPolicy.resolve(options.policy),\n    policyOverrides: Object.freeze({ ...options.policy }),\n    toolExposure:\n      options.toolExposure === undefined\n        ? undefined\n        : Object.freeze({\n            ...options.toolExposure,\n            initialToolNames: Object.freeze([...(options.toolExposure.initialToolNames ?? [])]),\n          }),\n    id: S.decodeSync(AgentId)(id),\n    metadata: options.metadata === undefined ? undefined : Object.freeze({ ...options.metadata }),\n    completion:\n      options.completion === undefined ? undefined : Object.freeze({ ...options.completion }),\n    completionFromTools:\n      options.completionFromTools === undefined\n        ? undefined\n        : Object.freeze(\n            options.completionFromTools.map((declaration) => Object.freeze({ ...declaration })),\n          ),\n    runDisposition:\n      options.runDisposition === undefined\n        ? undefined\n        : Object.freeze({ ...options.runDisposition }),\n  });\n}\n\n/** Bind a native model or thread resolver without acquiring or hiding its requirements. */\nexport const withModel = <DefinitionValue extends AnyDefinition, ModelValue>(\n  definition: DefinitionValue,\n  model: NativeModel<ModelValue>,\n): Binding<DefinitionValue, ModelValue> =>\n  Object.freeze({\n    definition,\n    model,\n  });\n"],"mappings":";;;;;;;;;AAMA,MAAa,cAAoC,WAC/C,KAAK,KAAK,eAAe;CACvB,aACE;CAEF,YAAY,OAAO,OAAO,EAAE,OAAO,OAAO,CAAC;CAC3C,SAAS,OAAO,OAAO,EAAE,SAAS,OAAO,QAAQ,IAAI,EAAE,CAAC;CACxD,SAAS;CACT,aAAa;AACf,CAAC,CAAC,CAAC,cAAc,OAAO;AAS1B,MAAa,kBACX,SACA,WACgB;CAChB,IAAI,WAAW,KAAA,GAAW,OAAO;CACjC,IAAI,OAAO,OAAO,QAAQ,OAAO,aAAa,GAC5C,MAAM,IAAI,UAAU,2CAA2C;CAEjE,OAAO,QAAQ,KAAK,GAAG,OAAO,OAAO,QAAQ,KAAK,GAAG,WAAW,MAAM,CAAC;AACzE;;;;;;;;;;;ACmBA,MAAa,mBAAmB,UAC9B,aAAa,SAAS,OAAO,MAAM,YAAY;;AAyMjD,MAAa,iBAAiB,EAAE,OAAO;CACrC,MAAM,EAAE;CACR,aAAa,EAAE,SAAS,CAAC,SAAS,QAAQ,CAAC;;CAE3C,iBAAiB,EAAE;AACrB,CAAC;;;;;;;;AAWD,MAAa,gBAAgB,UAA8D;CACzF,MAAM,aAAa,gBAAgB,QAAQ,MAAM,aAAa;CAE9D,OAAO,OAAO,OAAO,WAAW,QAAQ,KAAK,CAAC,CAAC,KAAK,SAClD,eAAe,KAAK;EAClB,MAAM,KAAK;EACX,aAAa,KAAK;EAClB,iBAAiB,CAAC,KAAK,kBAAkB,IAAI,KAAK,KAAK;CACzD,CAAC,CACH;AACF;AAqQA,SAAgB,KACd,IACA,SAee;CACf,MAAM,kCAAkB,IAAI,IAAY;CAExC,KAAK,MAAM,eAAe,QAAQ,uBAAuB,CAAC,GAAG;EAC3D,IAAI,YAAY,SAAS,QAAQ,YAAY,QAAQ,gBAAgB,IAAI,YAAY,IAAI,GACvF,MAAM,IAAI,MAAM,QAAQ,YAAY,KAAK,0CAA0C;EAErF,IAAI,CAAC,OAAO,OAAO,QAAQ,QAAQ,OAAO,YAAY,IAAI,GACxD,MAAM,IAAI,MAAM,2BAA2B,YAAY,MAAM;EAE/D,gBAAgB,IAAI,YAAY,IAAI;CACtC;CAEA,MAAM,QAAQ,OAAO,OAAO,QAAQ,QAAQ,KAAK;CAEjD,MAAM,gBAAgB,MAAM,KAAK,SAC/B,KAAK,kBAAkB,IAAI,KAC3B,CAAC,KAAK,mBACN;EAAC;EAAc;EAAsB;CAAa,CAAC,CAAC,SAAS,KAAK,YAAY,IAC1E,KAAK,SAAS,KAAK,UAAU,IAAI,IACjC,IACN;CAEA,MAAM,UAAU,cAAc,MAAM,MAAM,UAAU,SAAS,MAAM,MAAM,IACrE,QAAQ,KAAK,GAAG,aAAa,IAC7B,QAAQ;CAEZ,OAAO,OAAO,OAAO;EACnB,GAAG;EACH,SAAS,eAAe,SAAS,QAAQ,OAAO;EAChD,QAAQ,YAAY,QAAQ,QAAQ,MAAM;EAC1C,iBAAiB,OAAO,OAAO,EAAE,GAAG,QAAQ,OAAO,CAAC;EACpD,cACE,QAAQ,iBAAiB,KAAA,IACrB,KAAA,IACA,OAAO,OAAO;GACZ,GAAG,QAAQ;GACX,kBAAkB,OAAO,OAAO,CAAC,GAAI,QAAQ,aAAa,oBAAoB,CAAC,CAAE,CAAC;EACpF,CAAC;EACP,IAAI,EAAE,WAAW,OAAO,CAAC,CAAC,EAAE;EAC5B,UAAU,QAAQ,aAAa,KAAA,IAAY,KAAA,IAAY,OAAO,OAAO,EAAE,GAAG,QAAQ,SAAS,CAAC;EAC5F,YACE,QAAQ,eAAe,KAAA,IAAY,KAAA,IAAY,OAAO,OAAO,EAAE,GAAG,QAAQ,WAAW,CAAC;EACxF,qBACE,QAAQ,wBAAwB,KAAA,IAC5B,KAAA,IACA,OAAO,OACL,QAAQ,oBAAoB,KAAK,gBAAgB,OAAO,OAAO,EAAE,GAAG,YAAY,CAAC,CAAC,CACpF;EACN,gBACE,QAAQ,mBAAmB,KAAA,IACvB,KAAA,IACA,OAAO,OAAO,EAAE,GAAG,QAAQ,eAAe,CAAC;CACnD,CAAC;AACH;;AAGA,MAAa,aACX,YACA,UAEA,OAAO,OAAO;CACZ;CACA;AACF,CAAC"}