@yielded/agent 0.1.0-beta.173 → 0.1.0-beta.175

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

@@ -169,6 +169,7 @@ export const prepareModelPrompt = (
 ): Prompt.Prompt => {
   if (systemMessagesInHistory) {
     const content: Array<Prompt.Message> = [];
+    let pendingContract = contract;
     let lastSystem: Prompt.SystemMessage | undefined;
     let ordered = prompt.content;
 
@@ -212,29 +213,25 @@ export const prepareModelPrompt = (
         if (lastSystem !== undefined && sameSystemMessage(lastSystem, message)) continue;
         lastSystem = message;
       }
+      if (message.role !== "system" && pendingContract !== undefined) {
+        content.push(pendingContract);
+        pendingContract = undefined;
+      }
       content.push(message);
     }
-    if (contract !== undefined) {
-      const firstConversation = content.findIndex((message) => message.role !== "system");
-
-      content.splice(firstConversation === -1 ? content.length : firstConversation, 0, contract);
-    }
+    if (pendingContract !== undefined) content.push(pendingContract);
 
     return Prompt.fromMessages(content);
   }
 
   const systems: Array<Prompt.SystemMessage> = [];
-  const conversation: Array<Prompt.Message> = [];
   const seen = new Map<string, Array<Prompt.SystemMessage>>();
 
   for (let index = prompt.content.length - 1; index >= 0; index -= 1) {
     const message = prompt.content[index];
 
     if (message === undefined) continue;
-    if (message.role !== "system") {
-      conversation.push(message);
-      continue;
-    }
+    if (message.role !== "system") continue;
     const variants = seen.get(message.content);
 
     if (variants?.some((previous) => sameSystemMessage(previous, message))) continue;
@@ -243,9 +240,12 @@ export const prepareModelPrompt = (
     systems.push(message);
   }
 
-  return Prompt.fromMessages([
-    ...systems.reverse(),
-    ...(contract === undefined ? [] : [contract]),
-    ...conversation.reverse(),
-  ]);
+  const content: Array<Prompt.Message> = systems.reverse();
+
+  if (contract !== undefined) content.push(contract);
+  for (const message of prompt.content) {
+    if (message !== undefined && message.role !== "system") content.push(message);
+  }
+
+  return Prompt.fromMessages(content);
 };

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

@@ -35,7 +35,7 @@ const overheads = {
 };
 
 /**
- * Capture primitive text and reasoning encodings for the native Schema decoder.
+ * Capture complete primitive text and reasoning values for 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.
@@ -95,9 +95,8 @@ export const capturePrimitiveTextPart = (part: unknown, maxBytes: number) => {
     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.
     snapshot.metadata = {};
-    delete snapshot[brand];
 
-    return { encodedPart: snapshot, retainedBytes: bytes + fixed.encoded };
+    return { part: snapshot, retainedBytes: bytes + fixed.encoded };
   } catch {
     // Reflection may throw for proxies. The general path owns the typed failure.
     return undefined;

package/src/engine/internal/provisional-text.ts

@@ -30,9 +30,8 @@ const makeAttempt = Effect.fnUntraced(function* (
 ): Effect.fn.Return<Attempt> {
   const publisher = yield* ProvisionalText.Publisher;
   const identity = { threadId, submissionId, attemptId };
-  const active = new Set<ModelHandle>();
   let closed = false;
-  let generation = 0;
+  let nextGeneration = 0;
 
   const offerUnsafe = (event: ProvisionalText.Event): boolean => {
     try {
@@ -47,7 +46,7 @@ const makeAttempt = Effect.fnUntraced(function* (
     openModel: (runId, turnId) => {
       if (closed) return undefined;
 
-      const model = { ...identity, runId, turnId, generation: ++generation };
+      const generation = ++nextGeneration;
       let open = true;
 
       const handle: ModelHandle = {
@@ -61,28 +60,31 @@ const makeAttempt = Effect.fnUntraced(function* (
               ? Response.makePart("text-delta", { id: part.id, delta: part.delta })
               : Response.makePart(part.type, { id: part.id });
 
-          return offerUnsafe({ _tag: "Text", ...model, part: detached });
+          return offerUnsafe({
+            _tag: "Text",
+            ...identity,
+            runId,
+            turnId,
+            generation,
+            part: detached,
+          });
         },
         discard: () => {
-          if (!open) return;
+          if (!open || closed) return;
           handle.close();
-          offerUnsafe({ _tag: "Discard", ...model });
+          offerUnsafe({ _tag: "Discard", ...identity, runId, turnId, generation });
         },
         close: () => {
           if (!open) return;
           open = false;
-          active.delete(handle);
         },
       };
 
-      active.add(handle);
-
       return handle;
     },
     close: () => {
       if (closed) return;
       closed = true;
-      for (const handle of active) handle.close();
       offerUnsafe({ _tag: "AttemptEnded", ...identity });
     },
   };

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

@@ -194,25 +194,29 @@ export const exposureSnapshot = Effect.fnUntraced(function* (
     if (names.length > limits.maxTools)
       return yield* invalid("Tool exposure exceeds the configured Tool count bound");
 
+    const declarations: Array<unknown> = [];
+
+    for (const name of names) {
+      const tool = definition.toolkit.tools[name];
+
+      if (tool === undefined) return yield* invalid("A selected Tool schema cannot be rendered");
+      declarations.push(
+        yield* Effect.try({
+          try: () =>
+            Tool.isProviderDefined(tool)
+              ? { type: tool.providerName, args: tool.args }
+              : {
+                  name,
+                  description: Tool.getDescription(tool),
+                  parameters: Tool.getJsonSchema(tool, { transformer }),
+                },
+          catch: () => invalid("A selected Tool schema cannot be rendered"),
+        }),
+      );
+    }
+
     const bytes = yield* Effect.try({
-      try: () =>
-        utf8ByteLength(
-          JSON.stringify(
-            names.map((name) => {
-              const tool = definition.toolkit.tools[name];
-
-              if (tool === undefined) throw new Error("Selected Tool is unavailable");
-
-              return Tool.isProviderDefined(tool)
-                ? { type: tool.providerName, args: tool.args }
-                : {
-                    name,
-                    description: Tool.getDescription(tool),
-                    parameters: Tool.getJsonSchema(tool, { transformer }),
-                  };
-            }),
-          ),
-        ),
+      try: () => utf8ByteLength(JSON.stringify(declarations)),
       catch: () => invalid("A selected Tool schema cannot be rendered"),
     });
 

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

@@ -6,8 +6,8 @@ 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 Schema from "effect/Schema";
 import * as Stream from "effect/Stream";
 import * as Tracer from "effect/Tracer";
 
@@ -112,12 +112,12 @@ export const restoreToolSpanFailureCause = <E, Original>(
 const MAX_REPORTED_SPAN_LIFECYCLE_DEFECTS = 16;
 
 /** Content-free marker used only to close a delegate that cannot be wrapped safely. */
-class ToolSpanLifecycleFailure extends Error {
+class ToolSpanLifecycleFailure extends Schema.TaggedError<ToolSpanLifecycleFailure>()(
+  "ToolSpanLifecycleFailure",
+  {},
+) {
   override readonly name = "ToolSpanLifecycleFailure";
-
-  constructor() {
-    super("Tool span lifecycle failed");
-  }
+  override readonly message = "Tool span lifecycle failed";
 }
 
 /**
@@ -173,7 +173,7 @@ class IsolatedToolSpan implements Tracer.Span {
     // attempt even if downstream cancellation or telemetry interruption determines the channel Exit.
     const exportedExit =
       this.#terminalOutcome === "failure"
-        ? Exit.fail(this.#terminalFailure ?? new ToolSpanLifecycleFailure())
+        ? Exit.fail(this.#terminalFailure ?? ToolSpanLifecycleFailure.make({}))
         : this.#terminalOutcome === "success"
           ? Exit.succeed(undefined)
           : exit;
@@ -302,6 +302,7 @@ export const makeIsolatedToolTracer = (delegate: Tracer.Tracer): IsolatedToolTra
               case "Succeeded":
                 return evaluation.value;
               case "Failed":
+                // oxlint-disable-next-line effect/no-untyped-throw -- The synchronous foreign tracer hook must rethrow the original primitive failure for the Effect evaluator.
                 throw evaluation.error;
               case "Pending": {
                 try {
@@ -312,6 +313,7 @@ export const makeIsolatedToolTracer = (delegate: Tracer.Tracer): IsolatedToolTra
                   return value;
                 } catch (error) {
                   evaluation = { _tag: "Failed", error };
+                  // oxlint-disable-next-line effect/no-untyped-throw -- The synchronous foreign tracer hook must rethrow the original primitive failure for the Effect evaluator.
                   throw error;
                 }
               }
@@ -329,6 +331,7 @@ export const makeIsolatedToolTracer = (delegate: Tracer.Tracer): IsolatedToolTra
 
             switch (observed._tag) {
               case "Failed":
+                // oxlint-disable-next-line effect/no-untyped-throw -- The synchronous foreign tracer hook must rethrow the original primitive failure for the Effect evaluator.
                 throw observed.error;
               case "Succeeded":
                 recordDefect(defect);
@@ -344,6 +347,7 @@ export const makeIsolatedToolTracer = (delegate: Tracer.Tracer): IsolatedToolTra
 
           switch (observed._tag) {
             case "Failed":
+              // oxlint-disable-next-line effect/no-untyped-throw -- The synchronous foreign tracer hook must rethrow the original primitive failure for the Effect evaluator.
               throw observed.error;
             case "Succeeded":
               return observed.value;
@@ -373,7 +377,7 @@ export const makeIsolatedToolTracer = (delegate: Tracer.Tracer): IsolatedToolTra
         try {
           // Allocation succeeded, so best-effort close the host span without attaching the raw
           // wrapper defect. The start time gives this abandoned measurement a bounded duration.
-          delegateSpan.end(options.startTime, Exit.fail(new ToolSpanLifecycleFailure()));
+          delegateSpan.end(options.startTime, Exit.fail(ToolSpanLifecycleFailure.make({})));
         } catch (closeDefect) {
           recordDefect(closeDefect);
         }
@@ -420,9 +424,9 @@ export class ToolSpanTelemetry extends Context.Service<
   ToolSpanTelemetry,
   ToolSpanTelemetryService
 >()("@effect-agent/engine/ToolSpanTelemetry") {
-  static readonly layer: Layer.Layer<ToolSpanTelemetry> = Layer.effect(
-    ToolSpanTelemetry,
-    Effect.map(Tracer.Tracer, (delegate) =>
+  static readonly make: Effect.Effect<ToolSpanTelemetryService> = Effect.map(
+    Tracer.Tracer,
+    (delegate) =>
       ToolSpanTelemetry.of({
         isolateEffectSpanLifecycle: (effect) =>
           Effect.suspend(() => {
@@ -480,6 +484,5 @@ export class ToolSpanTelemetry extends Context.Service<
             }),
           ),
       }),
-    ),
   );
 }

package/dist/Agent-0WvBWWbM.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"Agent-0WvBWWbM.mjs","names":["S"],"sources":["../src/core/internal/agent-updates.ts","../src/core/Agent.ts"],"sourcesContent":["import * as Tool from \"effect/ai/Tool\";\nimport * as Toolkit from \"effect/ai/Toolkit\";\nimport * as Schema from \"effect/Schema\";\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 type { AiError, LanguageModel, Model, Prompt } from \"effect/ai\";\nimport * as Tool from \"effect/ai/Tool\";\nimport * as Toolkit from \"effect/ai/Toolkit\";\nimport * as S from \"effect/Schema\";\n\nimport type {\n  AgentInputDecodeError,\n  AgentInputError,\n  AgentOutputError,\n  AgentRunDispositionError,\n} 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  /**\n   * Pure, deterministic projection: recovery may reevaluate a recorded Tool result before\n   * RunCompleted commits. Once committed, that stored output wins across later code changes.\n   */\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  /**\n   * Optional projection from decoded input to model-visible native Effect AI prompt content.\n   * This controls disclosure only: durable admission retains the complete input and Tool\n   * authorization receives it. A projection failure never falls back to sending full input.\n   */\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  | AgentInputDecodeError\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":";;;;;;;;;AAOA,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;;;;;;;;;;;ACkBA,MAAa,mBAAmB,UAC9B,aAAa,SAAS,OAAO,MAAM,YAAY;;AAiNjD,MAAa,iBAAiBA,OAAE,OAAO;CACrC,MAAMA,OAAE;CACR,aAAaA,OAAE,SAAS,CAAC,SAAS,QAAQ,CAAC;;CAE3C,iBAAiBA,OAAE;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;AAsQA,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,IAAIA,OAAE,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"}