@effect-uai/core 0.7.0 → 0.8.0

package/dist/{Items-D8UaXQx_.d.mts → Items-7ljaVxH_.d.mts}

@@ -298,16 +298,16 @@ declare const HistoryItem: Schema.Union<readonly [Schema.Struct<{
 }>]>;
 type HistoryItem = typeof HistoryItem.Type;
 declare const isInputText: <I>(input: I) => input is I & {
-  readonly type: "input_text";
   readonly text: string;
+  readonly type: "input_text";
 };
 declare const isInputImage: <I>(input: I) => input is I & {
   readonly type: "input_image";
   readonly source: ImageSource;
 };
 declare const isOutputText: <I>(input: I) => input is I & {
-  readonly type: "output_text";
   readonly text: string;
+  readonly type: "output_text";
   readonly annotations?: readonly ({
     readonly type: "url_citation";
     readonly url: string;
@@ -331,20 +331,20 @@ declare const isOutputText: <I>(input: I) => input is I & {
   })[] | undefined;
 };
 declare const isRefusal: <I>(input: I) => input is I & {
-  readonly type: "refusal";
   readonly text: string;
+  readonly type: "refusal";
 };
 declare const isMessage: <I>(input: I) => input is I & {
   readonly type: "message";
   readonly content: readonly ({
-    readonly type: "input_text";
     readonly text: string;
+    readonly type: "input_text";
   } | {
     readonly type: "input_image";
     readonly source: ImageSource;
   } | {
-    readonly type: "output_text";
     readonly text: string;
+    readonly type: "output_text";
     readonly annotations?: readonly ({
       readonly type: "url_citation";
       readonly url: string;
@@ -367,22 +367,22 @@ declare const isMessage: <I>(input: I) => input is I & {
       readonly index: number;
     })[] | undefined;
   } | {
-    readonly type: "refusal";
     readonly text: string;
+    readonly type: "refusal";
   })[];
   readonly role: "user" | "assistant" | "system";
   readonly providerData?: unknown;
 };
 declare const isToolCall: <I>(input: I) => input is I & {
-  readonly type: "function_call";
   readonly call_id: string;
   readonly name: string;
+  readonly type: "function_call";
   readonly arguments: string;
   readonly providerData?: unknown;
 };
 declare const isToolCallOutput: <I>(input: I) => input is I & {
-  readonly type: "function_call_output";
   readonly call_id: string;
+  readonly type: "function_call_output";
   readonly output: string;
   readonly providerData?: unknown;
 };
@@ -421,4 +421,4 @@ declare const assistantText: (text: string) => Message;
 declare const toolCallOutput: (call_id: string, output: string) => ToolCallOutput;
 //#endregion
 export { isReasoning as A, isContainerFileCitation as C, isInputText as D, isInputImage as E, systemText as F, toolCallOutput as I, userText as L, isToolCall as M, isToolCallOutput as N, isMessage as O, isUrlCitation as P, assistantText as S, isFilePath as T, StopReason as _, FilePath as a, UrlCitation as b, InputText as c, Message as d, OutputText as f, Role as g, Refusal as h, FileCitation as i, isRefusal as j, isOutputText as k, InputTokensDetails as l, Reasoning as m, ContainerFileCitation as n, HistoryItem as o, OutputTokensDetails as p, ContentBlock as r, InputImage as s, Annotation as t, Items_d_exports as u, ToolCall as v, isFileCitation as w, Usage as x, ToolCallOutput as y };
-//# sourceMappingURL=Items-D8UaXQx_.d.mts.map
+//# sourceMappingURL=Items-7ljaVxH_.d.mts.map

package/dist/{Items-D8UaXQx_.d.mts.map → Items-7ljaVxH_.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"Items-D8UaXQx_.d.mts","names":[],"sources":["../src/domain/Items.ts"],"mappings":";;;;;;;cAOa,SAAA,EAAS,MAAA,CAAA,MAAA;EAAA;;;KAIV,SAAA,UAAmB,SAAA,CAAU,IAAA;;;;;;;;;cAU5B,UAAA,EAAU,MAAA,CAAA,MAAA;EAAA;;;KAIX,UAAA,UAAoB,UAAA,CAAW,IAAA;AAAA,cAQ9B,WAAA,EAAW,MAAA,CAAA,MAAA;EAAA;;;;;;KAOZ,WAAA,UAAqB,WAAA,CAAY,IAAA;AAAA,cAEhC,YAAA,EAAY,MAAA,CAAA,MAAA;EAAA;;;;KAKb,YAAA,UAAsB,YAAA,CAAa,IAAA;AAAA,cAElC,qBAAA,EAAqB,MAAA,CAAA,MAAA;EAAA;;;;;;KAOtB,qBAAA,UAA+B,qBAAA,CAAsB,IAAA;AAAA,cAEpD,QAAA,EAAQ,MAAA,CAAA,MAAA;EAAA;;;;KAKT,QAAA,UAAkB,QAAA,CAAS,IAAA;AAAA,cAE1B,UAAA,EAAU,MAAA,CAAA,KAAA,WAAA,MAAA,CAAA,MAAA;EAAA;;;;;;;;;;;;;;;;;;;;KACX,UAAA,UAAoB,UAAA,CAAW,IAAA;AAAA,cAE9B,aAAA,MAAa,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;;;cACb,cAAA,MAAc,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;cACd,uBAAA,MAAuB,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;;;cACvB,UAAA,MAAU,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;cAEV,UAAA,EAAU,MAAA,CAAA,MAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;KAKX,UAAA,UAAoB,UAAA,CAAW,IAAA;;AAtC3C;;;;;cA8Ca,OAAA,EAAO,MAAA,CAAA,MAAA;EAAA;;;KAIR,OAAA,UAAiB,OAAA,CAAQ,IAAA;AAAA,cAExB,YAAA,EAAY,MAAA,CAAA,KAAA,WAAA,MAAA,CAAA,MAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KACb,YAAA,UAAsB,YAAA,CAAa,IAAA;AAAA,cAElC,IAAA,EAAI,MAAA,CAAA,QAAA;AAAA,KACL,IAAA,UAAc,IAAA,CAAK,IAAA;AAAA,cAelB,OAAA,EAAO,MAAA,CAAA,MAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAMR,OAAA,UAAiB,OAAA,CAAQ,IAAA;AAAA,cAExB,QAAA,EAAQ,MAAA,CAAA,MAAA;EAAA;;;;;;KAQT,QAAA,UAAkB,QAAA,CAAS,IAAA;AAAA,cAE1B,cAAA,EAAc,MAAA,CAAA,MAAA;EAAA;;;;;KAMf,cAAA,UAAwB,cAAA,CAAe,IAAA;;;;;;;cAQtC,SAAA,EAAS,MAAA,CAAA,MAAA;EAAA;;;;;;KAOV,SAAA,UAAmB,SAAA,CAAU,IAAA;AAAA,cAE5B,WAAA,EAAW,MAAA,CAAA,KAAA,WAAA,MAAA,CAAA,MAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KACZ,WAAA,UAAqB,WAAA,CAAY,IAAA;AAAA,cAMhC,WAAA,MAAW,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;cACX,YAAA,MAAY,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;cACZ,YAAA,MAAY,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;cACZ,SAAA,MAAS,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;cAET,SAAA,MAAS,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;cACT,UAAA,MAAU,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;;;cACV,gBAAA,MAAgB,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;;cAChB,WAAA,MAAW,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;;;cAMX,kBAAA,EAAkB,MAAA,CAAA,MAAA;EAAA;;KAGnB,kBAAA,UAA4B,kBAAA,CAAmB,IAAA;AAAA,cAE9C,mBAAA,EAAmB,MAAA,CAAA,MAAA;EAAA;;KAGpB,mBAAA,UAA6B,mBAAA,CAAoB,IAAA;AAAA,cAEhD,KAAA,EAAK,MAAA,CAAA,MAAA;EAAA;;;;;;;;;;KAON,KAAA,UAAe,KAAA,CAAM,IAAA;AAAA,cAEpB,UAAA,EAAU,MAAA,CAAA,QAAA;AAAA,KAUX,UAAA,UAAoB,UAAA,CAAW,IAAA;AAAA,cAM9B,QAAA,GAAY,IAAA,aAAe,OAAA;AAAA,cAM3B,UAAA,GAAc,IAAA,aAAe,OAAA;AAAA,cAM7B,aAAA,GAAiB,IAAA,aAAe,OAAA;AAAA,cAMhC,cAAA,GAAkB,OAAA,UAAiB,MAAA,aAAiB,cAAA"}
+{"version":3,"file":"Items-7ljaVxH_.d.mts","names":[],"sources":["../src/domain/Items.ts"],"mappings":";;;;;;;cAOa,SAAA,EAAS,MAAA,CAAA,MAAA;EAAA;;;KAIV,SAAA,UAAmB,SAAA,CAAU,IAAA;;;;;;;;;cAU5B,UAAA,EAAU,MAAA,CAAA,MAAA;EAAA;;;KAIX,UAAA,UAAoB,UAAA,CAAW,IAAA;AAAA,cAQ9B,WAAA,EAAW,MAAA,CAAA,MAAA;EAAA;;;;;;KAOZ,WAAA,UAAqB,WAAA,CAAY,IAAA;AAAA,cAEhC,YAAA,EAAY,MAAA,CAAA,MAAA;EAAA;;;;KAKb,YAAA,UAAsB,YAAA,CAAa,IAAA;AAAA,cAElC,qBAAA,EAAqB,MAAA,CAAA,MAAA;EAAA;;;;;;KAOtB,qBAAA,UAA+B,qBAAA,CAAsB,IAAA;AAAA,cAEpD,QAAA,EAAQ,MAAA,CAAA,MAAA;EAAA;;;;KAKT,QAAA,UAAkB,QAAA,CAAS,IAAA;AAAA,cAE1B,UAAA,EAAU,MAAA,CAAA,KAAA,WAAA,MAAA,CAAA,MAAA;EAAA;;;;;;;;;;;;;;;;;;;;KACX,UAAA,UAAoB,UAAA,CAAW,IAAA;AAAA,cAE9B,aAAA,MAAa,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;;;cACb,cAAA,MAAc,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;cACd,uBAAA,MAAuB,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;;;cACvB,UAAA,MAAU,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;cAEV,UAAA,EAAU,MAAA,CAAA,MAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;KAKX,UAAA,UAAoB,UAAA,CAAW,IAAA;;AAtC3C;;;;;cA8Ca,OAAA,EAAO,MAAA,CAAA,MAAA;EAAA;;;KAIR,OAAA,UAAiB,OAAA,CAAQ,IAAA;AAAA,cAExB,YAAA,EAAY,MAAA,CAAA,KAAA,WAAA,MAAA,CAAA,MAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KACb,YAAA,UAAsB,YAAA,CAAa,IAAA;AAAA,cAElC,IAAA,EAAI,MAAA,CAAA,QAAA;AAAA,KACL,IAAA,UAAc,IAAA,CAAK,IAAA;AAAA,cAelB,OAAA,EAAO,MAAA,CAAA,MAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAMR,OAAA,UAAiB,OAAA,CAAQ,IAAA;AAAA,cAExB,QAAA,EAAQ,MAAA,CAAA,MAAA;EAAA;;;;;;KAQT,QAAA,UAAkB,QAAA,CAAS,IAAA;AAAA,cAE1B,cAAA,EAAc,MAAA,CAAA,MAAA;EAAA;;;;;KAMf,cAAA,UAAwB,cAAA,CAAe,IAAA;;;;;;;cAQtC,SAAA,EAAS,MAAA,CAAA,MAAA;EAAA;;;;;;KAOV,SAAA,UAAmB,SAAA,CAAU,IAAA;AAAA,cAE5B,WAAA,EAAW,MAAA,CAAA,KAAA,WAAA,MAAA,CAAA,MAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KACZ,WAAA,UAAqB,WAAA,CAAY,IAAA;AAAA,cAMhC,WAAA,MAAW,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;cACX,YAAA,MAAY,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;cACZ,YAAA,MAAY,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;cACZ,SAAA,MAAS,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;cAET,SAAA,MAAS,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;cACT,UAAA,MAAU,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;;;cACV,gBAAA,MAAgB,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;;cAChB,WAAA,MAAW,KAAA,EAAA,CAAA,KAAA,KAAA,IAAA,CAAA;EAAA;;;;;;cAMX,kBAAA,EAAkB,MAAA,CAAA,MAAA;EAAA;;KAGnB,kBAAA,UAA4B,kBAAA,CAAmB,IAAA;AAAA,cAE9C,mBAAA,EAAmB,MAAA,CAAA,MAAA;EAAA;;KAGpB,mBAAA,UAA6B,mBAAA,CAAoB,IAAA;AAAA,cAEhD,KAAA,EAAK,MAAA,CAAA,MAAA;EAAA;;;;;;;;;;KAON,KAAA,UAAe,KAAA,CAAM,IAAA;AAAA,cAEpB,UAAA,EAAU,MAAA,CAAA,QAAA;AAAA,KAUX,UAAA,UAAoB,UAAA,CAAW,IAAA;AAAA,cAM9B,QAAA,GAAY,IAAA,aAAe,OAAA;AAAA,cAM3B,UAAA,GAAc,IAAA,aAAe,OAAA;AAAA,cAM7B,aAAA,GAAiB,IAAA,aAAe,OAAA;AAAA,cAMhC,cAAA,GAAkB,OAAA,UAAiB,MAAA,aAAiB,cAAA"}

package/dist/{Tool-CiFXYjmR.d.mts → Tool-BKiieFXk.d.mts}

@@ -1,4 +1,4 @@
-import { v as ToolCall, y as ToolCallOutput } from "./Items-D8UaXQx_.mjs";
+import { v as ToolCall, y as ToolCallOutput } from "./Items-7ljaVxH_.mjs";
 import { Effect, Schema, Stream } from "effect";
 import * as _$effect_Cause0 from "effect/Cause";
 import { StandardJSONSchemaV1, StandardSchemaV1 } from "@standard-schema/spec";
@@ -99,4 +99,4 @@ declare const toDescriptors: <R>(tools: ReadonlyArray<AnyTool<R>>) => ReadonlyAr
 declare const execute: <Name extends string, Input, Output, R>(tool: Tool<Name, Input, Output, R>, call: ToolCall) => Effect.Effect<ToolCallOutput, ToolError, R>;
 //#endregion
 export { Tool as a, ToolInputSchema as c, fromEffectSchema as d, fromStandardSchema as f, toDescriptors as g, streaming as h, StreamingTool as i, Tool_d_exports as l, make as m, AnyStreamingTool as n, ToolDescriptor as o, isStreamingTool as p, AnyTool as r, ToolError as s, AnyPlainTool as t, execute as u };
-//# sourceMappingURL=Tool-CiFXYjmR.d.mts.map
+//# sourceMappingURL=Tool-BKiieFXk.d.mts.map

package/dist/{Tool-CiFXYjmR.d.mts.map → Tool-BKiieFXk.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"Tool-CiFXYjmR.d.mts","names":[],"sources":["../src/tool/Tool.ts"],"mappings":";;;;;;;;;cAEkE,cAAA;;;;;;cAGrD,SAAA,SAAkB,cAAA;;;;;;;;;;KAmBnB,eAAA,oBAAmC,gBAAA,UAA0B,KAAA,IACvE,oBAAA,UAA8B,KAAA;;;;AAvBkC;;cA8BrD,gBAAA,aAA8B,MAAA,CAAO,KAAA,wBAChD,MAAA,EAAQ,CAAA,KACP,CAAA,GAAI,eAAA,CAAgB,CAAA;;;;;;;;;;;;;;;;cAmBV,kBAAA,aAAgC,gBAAA,GAAmB,oBAAA,EAC9D,MAAA,EAAQ,CAAA,KACP,CAAA,GAAI,eAAA,CAAgB,gBAAA,CAAiB,WAAA,CAAY,CAAA;AAAA,KAGxC,IAAA;EAAA,SACD,IAAA,EAAM,IAAA;EAAA,SACN,WAAA;EAAA,SACA,WAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7B,GAAA,GAAM,KAAA,EAAO,KAAA,KAAU,MAAA,CAAO,MAAA,CAAO,MAAA,WAAiB,CAAA;;;;;;;WAOtD,MAAA;AAAA;;;;;AAhEX;KAwEY,cAAA;EAAA,SACD,IAAA;EAAA,SACA,WAAA;EAAA,SACA,WAAA,EAAa,MAAA;EAAA,SACb,MAAA;AAAA;AAAA,cAGE,IAAA,kDACX,IAAA,EAAM,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,CAAA,MAC/B,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,CAAA;AAAA,KAWjB,aAAA;EAAA,SACD,KAAA;EAAA,SACA,IAAA,EAAM,IAAA;EAAA,SACN,WAAA;EAAA,SACA,WAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7B,GAAA,GAAM,KAAA,EAAO,KAAA,KAAU,MAAA,CAAO,MAAA,CAAO,KAAA,WAAgB,CAAA;EAAA,SACrD,QAAA,GAAW,MAAA,EAAQ,aAAA,CAAc,KAAA,MAAW,MAAA;EAAA,SAC5C,MAAA;AAAA;AAAA,cAGE,SAAA,yDACX,IAAA,EAAM,IAAA,CAAK,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,CAAA,gBACpD,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,CAAA;AAAA,KAEjC,gBAAA,YAA4B,aAAA,wBAAqC,CAAA;AAAA,KACjE,YAAA,YAAwB,IAAA,mBAAuB,CAAA;AAAA,KAC/C,OAAA,YAAmB,gBAAA,CAAiB,CAAA,IAAK,YAAA,CAAa,CAAA;AAAA,cAErD,eAAA,MAAsB,CAAA,EAAG,OAAA,CAAQ,CAAA,MAAK,CAAA,IAAK,gBAAA,CAAiB,CAAA;;;;;;cAQ5D,aAAA,MAAoB,KAAA,EAAO,aAAA,CAAc,OAAA,CAAQ,CAAA,OAAM,aAAA,CAAc,cAAA;;;;;;cAkBrE,OAAA,0CACX,IAAA,EAAM,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,CAAA,GAChC,IAAA,EAAM,QAAA,KACL,MAAA,CAAO,MAAA,CAAO,cAAA,EAAgB,SAAA,EAAW,CAAA"}
+{"version":3,"file":"Tool-BKiieFXk.d.mts","names":[],"sources":["../src/tool/Tool.ts"],"mappings":";;;;;;;;;cAEkE,cAAA;;;;;;cAGrD,SAAA,SAAkB,cAAA;;;;;;;;;;KAmBnB,eAAA,oBAAmC,gBAAA,UAA0B,KAAA,IACvE,oBAAA,UAA8B,KAAA;;;;AAvBkC;;cA8BrD,gBAAA,aAA8B,MAAA,CAAO,KAAA,wBAChD,MAAA,EAAQ,CAAA,KACP,CAAA,GAAI,eAAA,CAAgB,CAAA;;;;;;;;;;;;;;;;cAmBV,kBAAA,aAAgC,gBAAA,GAAmB,oBAAA,EAC9D,MAAA,EAAQ,CAAA,KACP,CAAA,GAAI,eAAA,CAAgB,gBAAA,CAAiB,WAAA,CAAY,CAAA;AAAA,KAGxC,IAAA;EAAA,SACD,IAAA,EAAM,IAAA;EAAA,SACN,WAAA;EAAA,SACA,WAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7B,GAAA,GAAM,KAAA,EAAO,KAAA,KAAU,MAAA,CAAO,MAAA,CAAO,MAAA,WAAiB,CAAA;;;;;;;WAOtD,MAAA;AAAA;;;;;AAhEX;KAwEY,cAAA;EAAA,SACD,IAAA;EAAA,SACA,WAAA;EAAA,SACA,WAAA,EAAa,MAAA;EAAA,SACb,MAAA;AAAA;AAAA,cAGE,IAAA,kDACX,IAAA,EAAM,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,CAAA,MAC/B,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,CAAA;AAAA,KAWjB,aAAA;EAAA,SACD,KAAA;EAAA,SACA,IAAA,EAAM,IAAA;EAAA,SACN,WAAA;EAAA,SACA,WAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7B,GAAA,GAAM,KAAA,EAAO,KAAA,KAAU,MAAA,CAAO,MAAA,CAAO,KAAA,WAAgB,CAAA;EAAA,SACrD,QAAA,GAAW,MAAA,EAAQ,aAAA,CAAc,KAAA,MAAW,MAAA;EAAA,SAC5C,MAAA;AAAA;AAAA,cAGE,SAAA,yDACX,IAAA,EAAM,IAAA,CAAK,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,CAAA,gBACpD,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,CAAA;AAAA,KAEjC,gBAAA,YAA4B,aAAA,wBAAqC,CAAA;AAAA,KACjE,YAAA,YAAwB,IAAA,mBAAuB,CAAA;AAAA,KAC/C,OAAA,YAAmB,gBAAA,CAAiB,CAAA,IAAK,YAAA,CAAa,CAAA;AAAA,cAErD,eAAA,MAAsB,CAAA,EAAG,OAAA,CAAQ,CAAA,MAAK,CAAA,IAAK,gBAAA,CAAiB,CAAA;;;;;;cAQ5D,aAAA,MAAoB,KAAA,EAAO,aAAA,CAAc,OAAA,CAAQ,CAAA,OAAM,aAAA,CAAc,cAAA;;;;;;cAkBrE,OAAA,0CACX,IAAA,EAAM,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,CAAA,GAChC,IAAA,EAAM,QAAA,KACL,MAAA,CAAO,MAAA,CAAO,cAAA,EAAgB,SAAA,EAAW,CAAA"}

package/dist/domain/Items.d.mts

@@ -1,2 +1,2 @@
-import { A as isReasoning, C as isContainerFileCitation, D as isInputText, E as isInputImage, F as systemText, I as toolCallOutput, L as userText, M as isToolCall, N as isToolCallOutput, O as isMessage, P as isUrlCitation, S as assistantText, T as isFilePath, _ as StopReason, a as FilePath, b as UrlCitation, c as InputText, d as Message, f as OutputText, g as Role, h as Refusal, i as FileCitation, j as isRefusal, k as isOutputText, l as InputTokensDetails, m as Reasoning, n as ContainerFileCitation, o as HistoryItem, p as OutputTokensDetails, r as ContentBlock, s as InputImage, t as Annotation, v as ToolCall, w as isFileCitation, x as Usage, y as ToolCallOutput } from "../Items-D8UaXQx_.mjs";
+import { A as isReasoning, C as isContainerFileCitation, D as isInputText, E as isInputImage, F as systemText, I as toolCallOutput, L as userText, M as isToolCall, N as isToolCallOutput, O as isMessage, P as isUrlCitation, S as assistantText, T as isFilePath, _ as StopReason, a as FilePath, b as UrlCitation, c as InputText, d as Message, f as OutputText, g as Role, h as Refusal, i as FileCitation, j as isRefusal, k as isOutputText, l as InputTokensDetails, m as Reasoning, n as ContainerFileCitation, o as HistoryItem, p as OutputTokensDetails, r as ContentBlock, s as InputImage, t as Annotation, v as ToolCall, w as isFileCitation, x as Usage, y as ToolCallOutput } from "../Items-7ljaVxH_.mjs";
 export { Annotation, ContainerFileCitation, ContentBlock, FileCitation, FilePath, HistoryItem, InputImage, InputText, InputTokensDetails, Message, OutputText, OutputTokensDetails, Reasoning, Refusal, Role, StopReason, ToolCall, ToolCallOutput, UrlCitation, Usage, assistantText, isContainerFileCitation, isFileCitation, isFilePath, isInputImage, isInputText, isMessage, isOutputText, isReasoning, isRefusal, isToolCall, isToolCallOutput, isUrlCitation, systemText, toolCallOutput, userText };

package/dist/domain/Turn.d.mts

@@ -1,5 +1,5 @@
 import { i as ImageSource } from "../Image-HNmMpMTh.mjs";
-import { d as Message, m as Reasoning, o as HistoryItem, v as ToolCall, x as Usage, y as ToolCallOutput } from "../Items-D8UaXQx_.mjs";
+import { d as Message, m as Reasoning, o as HistoryItem, v as ToolCall, x as Usage, y as ToolCallOutput } from "../Items-7ljaVxH_.mjs";
 import { i as StructuredFormat, n as JsonParseError, r as StructuredDecodeError } from "../StructuredFormat-BbN4dosH.mjs";
 import { Data, Effect, Schema, Stream } from "effect";
 import * as _$effect_Types0 from "effect/Types";

package/dist/index.d.mts

@@ -3,14 +3,14 @@ import { n as AiError_d_exports } from "./AiError-CAX_48RU.mjs";
 import { a as Media_d_exports } from "./Media-D_CpcM1Z.mjs";
 import { o as Audio_d_exports } from "./Audio-DPlTsNdz.mjs";
 import { o as Image_d_exports } from "./Image-HNmMpMTh.mjs";
-import { u as Items_d_exports } from "./Items-D8UaXQx_.mjs";
+import { u as Items_d_exports } from "./Items-7ljaVxH_.mjs";
 import { t as Music_d_exports } from "./domain/Music.mjs";
 import { t as Transcript_d_exports } from "./domain/Transcript.mjs";
 import { a as StructuredFormat_d_exports } from "./StructuredFormat-BbN4dosH.mjs";
 import { t as Turn_d_exports } from "./domain/Turn.mjs";
 import { t as Embedding_d_exports } from "./embedding-model/Embedding.mjs";
 import { t as EmbeddingModel_d_exports } from "./embedding-model/EmbeddingModel.mjs";
-import { l as Tool_d_exports } from "./Tool-CiFXYjmR.mjs";
+import { l as Tool_d_exports } from "./Tool-BKiieFXk.mjs";
 import { t as LanguageModel_d_exports } from "./language-model/LanguageModel.mjs";
 import { t as MusicGenerator_d_exports } from "./music-generator/MusicGenerator.mjs";
 import { t as Memory_d_exports } from "./sandbox/Memory.mjs";
@@ -20,6 +20,8 @@ import { t as SandboxImage_d_exports } from "./sandbox/SandboxImage.mjs";
 import { t as SandboxNetwork_d_exports } from "./sandbox/SandboxNetwork.mjs";
 import { t as SpeechSynthesizer_d_exports } from "./speech-synthesizer/SpeechSynthesizer.mjs";
 import { t as Transcriber_d_exports } from "./transcriber/Transcriber.mjs";
+import { t as WebSearch_d_exports } from "./web-search/WebSearch.mjs";
+import { t as WebSearchTool_d_exports } from "./web-search/WebSearchTool.mjs";
 import { t as Vector_d_exports } from "./math/Vector.mjs";
 import { t as Loop_d_exports } from "./loop/Loop.mjs";
 import { t as Retry_d_exports } from "./retry/Retry.mjs";
@@ -32,4 +34,4 @@ import { t as JSONL_d_exports } from "./streaming/JSONL.mjs";
 import { t as Lines_d_exports } from "./streaming/Lines.mjs";
 import { t as SSE_d_exports } from "./streaming/SSE.mjs";
 import { t as Metrics_d_exports } from "./observability/Metrics.mjs";
-export { AiError_d_exports as AiError, Approval_d_exports as Approval, Audio_d_exports as Audio, Capabilities_d_exports as Capabilities, Embedding_d_exports as Embedding, EmbeddingModel_d_exports as EmbeddingModel, HistoryCheck_d_exports as HistoryCheck, Image_d_exports as Image, Items_d_exports as Items, JSONL_d_exports as JSONL, LanguageModel_d_exports as LanguageModel, Lines_d_exports as Lines, Loop_d_exports as Loop, Media_d_exports as Media, Memory_d_exports as Memory, Metrics_d_exports as Metrics, Music_d_exports as Music, MusicGenerator_d_exports as MusicGenerator, Retry_d_exports as Retry, SSE_d_exports as SSE, Sandbox_d_exports as Sandbox, SandboxError_d_exports as SandboxError, SandboxImage_d_exports as SandboxImage, SandboxNetwork_d_exports as SandboxNetwork, SpeechSynthesizer_d_exports as SpeechSynthesizer, StructuredFormat_d_exports as StructuredFormat, Tool_d_exports as Tool, ToolEvent_d_exports as ToolEvent, ToolResult_d_exports as ToolResult, Toolkit_d_exports as Toolkit, Transcriber_d_exports as Transcriber, Transcript_d_exports as Transcript, Turn_d_exports as Turn, Vector_d_exports as Vector };
+export { AiError_d_exports as AiError, Approval_d_exports as Approval, Audio_d_exports as Audio, Capabilities_d_exports as Capabilities, Embedding_d_exports as Embedding, EmbeddingModel_d_exports as EmbeddingModel, HistoryCheck_d_exports as HistoryCheck, Image_d_exports as Image, Items_d_exports as Items, JSONL_d_exports as JSONL, LanguageModel_d_exports as LanguageModel, Lines_d_exports as Lines, Loop_d_exports as Loop, Media_d_exports as Media, Memory_d_exports as Memory, Metrics_d_exports as Metrics, Music_d_exports as Music, MusicGenerator_d_exports as MusicGenerator, Retry_d_exports as Retry, SSE_d_exports as SSE, Sandbox_d_exports as Sandbox, SandboxError_d_exports as SandboxError, SandboxImage_d_exports as SandboxImage, SandboxNetwork_d_exports as SandboxNetwork, SpeechSynthesizer_d_exports as SpeechSynthesizer, StructuredFormat_d_exports as StructuredFormat, Tool_d_exports as Tool, ToolEvent_d_exports as ToolEvent, ToolResult_d_exports as ToolResult, Toolkit_d_exports as Toolkit, Transcriber_d_exports as Transcriber, Transcript_d_exports as Transcript, Turn_d_exports as Turn, Vector_d_exports as Vector, WebSearch_d_exports as WebSearch, WebSearchTool_d_exports as WebSearchTool };

package/dist/index.mjs

@@ -19,10 +19,12 @@ import { t as SandboxImage_exports } from "./sandbox/SandboxImage.mjs";
 import { t as SandboxNetwork_exports } from "./sandbox/SandboxNetwork.mjs";
 import { t as SpeechSynthesizer_exports } from "./speech-synthesizer/SpeechSynthesizer.mjs";
 import { t as Transcriber_exports } from "./transcriber/Transcriber.mjs";
+import { t as WebSearch_exports } from "./web-search/WebSearch.mjs";
+import { t as Tool_exports } from "./tool/Tool.mjs";
+import { t as WebSearchTool_exports } from "./web-search/WebSearchTool.mjs";
 import { t as Vector_exports } from "./math/Vector.mjs";
 import { t as Loop_exports } from "./loop/Loop.mjs";
 import { t as Retry_exports } from "./retry/Retry.mjs";
-import { t as Tool_exports } from "./tool/Tool.mjs";
 import { t as ToolResult_exports } from "./tool/ToolResult.mjs";
 import { t as ToolEvent_exports } from "./tool/ToolEvent.mjs";
 import { t as Toolkit_exports } from "./tool/Toolkit.mjs";
@@ -32,4 +34,4 @@ import { t as JSONL_exports } from "./streaming/JSONL.mjs";
 import { t as Lines_exports } from "./streaming/Lines.mjs";
 import { t as SSE_exports } from "./streaming/SSE.mjs";
 import { t as Metrics_exports } from "./observability/Metrics.mjs";
-export { AiError_exports as AiError, Approval_exports as Approval, Audio_exports as Audio, Capabilities_exports as Capabilities, Embedding_exports as Embedding, EmbeddingModel_exports as EmbeddingModel, HistoryCheck_exports as HistoryCheck, Image_exports as Image, Items_exports as Items, JSONL_exports as JSONL, LanguageModel_exports as LanguageModel, Lines_exports as Lines, Loop_exports as Loop, Media_exports as Media, Memory_exports as Memory, Metrics_exports as Metrics, Music_exports as Music, MusicGenerator_exports as MusicGenerator, Retry_exports as Retry, SSE_exports as SSE, Sandbox_exports as Sandbox, SandboxError_exports as SandboxError, SandboxImage_exports as SandboxImage, SandboxNetwork_exports as SandboxNetwork, SpeechSynthesizer_exports as SpeechSynthesizer, StructuredFormat_exports as StructuredFormat, Tool_exports as Tool, ToolEvent_exports as ToolEvent, ToolResult_exports as ToolResult, Toolkit_exports as Toolkit, Transcriber_exports as Transcriber, Transcript_exports as Transcript, Turn_exports as Turn, Vector_exports as Vector };
+export { AiError_exports as AiError, Approval_exports as Approval, Audio_exports as Audio, Capabilities_exports as Capabilities, Embedding_exports as Embedding, EmbeddingModel_exports as EmbeddingModel, HistoryCheck_exports as HistoryCheck, Image_exports as Image, Items_exports as Items, JSONL_exports as JSONL, LanguageModel_exports as LanguageModel, Lines_exports as Lines, Loop_exports as Loop, Media_exports as Media, Memory_exports as Memory, Metrics_exports as Metrics, Music_exports as Music, MusicGenerator_exports as MusicGenerator, Retry_exports as Retry, SSE_exports as SSE, Sandbox_exports as Sandbox, SandboxError_exports as SandboxError, SandboxImage_exports as SandboxImage, SandboxNetwork_exports as SandboxNetwork, SpeechSynthesizer_exports as SpeechSynthesizer, StructuredFormat_exports as StructuredFormat, Tool_exports as Tool, ToolEvent_exports as ToolEvent, ToolResult_exports as ToolResult, Toolkit_exports as Toolkit, Transcriber_exports as Transcriber, Transcript_exports as Transcript, Turn_exports as Turn, Vector_exports as Vector, WebSearch_exports as WebSearch, WebSearchTool_exports as WebSearchTool };

package/dist/language-model/LanguageModel.d.mts

@@ -1,8 +1,8 @@
 import { t as AiError } from "../AiError-CAX_48RU.mjs";
-import { o as HistoryItem } from "../Items-D8UaXQx_.mjs";
+import { o as HistoryItem } from "../Items-7ljaVxH_.mjs";
 import { i as StructuredFormat } from "../StructuredFormat-BbN4dosH.mjs";
 import { Turn, TurnEvent } from "../domain/Turn.mjs";
-import { o as ToolDescriptor } from "../Tool-CiFXYjmR.mjs";
+import { o as ToolDescriptor } from "../Tool-BKiieFXk.mjs";
 import { Context, Effect, Stream } from "effect";
 
 //#region src/language-model/LanguageModel.d.ts

package/dist/testing/MockProvider.d.mts

@@ -1,4 +1,4 @@
-import { o as HistoryItem } from "../Items-D8UaXQx_.mjs";
+import { o as HistoryItem } from "../Items-7ljaVxH_.mjs";
 import { Turn } from "../domain/Turn.mjs";
 import { LanguageModel, LanguageModelService } from "../language-model/LanguageModel.mjs";
 import { Duration, Effect, Layer } from "effect";

package/dist/tool/Approval.d.mts

@@ -1,4 +1,4 @@
-import { v as ToolCall } from "../Items-D8UaXQx_.mjs";
+import { v as ToolCall } from "../Items-7ljaVxH_.mjs";
 import { ToolResult } from "./ToolResult.mjs";
 import { ToolEvent } from "./ToolEvent.mjs";
 import { Data, Effect, Queue, Scope, Stream } from "effect";

package/dist/tool/HistoryCheck.d.mts

@@ -1,4 +1,4 @@
-import { o as HistoryItem, v as ToolCall } from "../Items-D8UaXQx_.mjs";
+import { o as HistoryItem, v as ToolCall } from "../Items-7ljaVxH_.mjs";
 import { ToolResult } from "./ToolResult.mjs";
 
 //#region src/tool/HistoryCheck.d.ts

package/dist/tool/Tool.d.mts

@@ -1,2 +1,2 @@
-import { a as Tool, c as ToolInputSchema, d as fromEffectSchema, f as fromStandardSchema, g as toDescriptors, h as streaming, i as StreamingTool, m as make, n as AnyStreamingTool, o as ToolDescriptor, p as isStreamingTool, r as AnyTool, s as ToolError, t as AnyPlainTool, u as execute } from "../Tool-CiFXYjmR.mjs";
+import { a as Tool, c as ToolInputSchema, d as fromEffectSchema, f as fromStandardSchema, g as toDescriptors, h as streaming, i as StreamingTool, m as make, n as AnyStreamingTool, o as ToolDescriptor, p as isStreamingTool, r as AnyTool, s as ToolError, t as AnyPlainTool, u as execute } from "../Tool-BKiieFXk.mjs";
 export { AnyPlainTool, AnyStreamingTool, AnyTool, StreamingTool, Tool, ToolDescriptor, ToolError, ToolInputSchema, execute, fromEffectSchema, fromStandardSchema, isStreamingTool, make, streaming, toDescriptors };

package/dist/tool/ToolResult.d.mts

@@ -1,4 +1,4 @@
-import { v as ToolCall, y as ToolCallOutput } from "../Items-D8UaXQx_.mjs";
+import { v as ToolCall, y as ToolCallOutput } from "../Items-7ljaVxH_.mjs";
 import { Data } from "effect";
 import * as _$effect_Unify0 from "effect/Unify";
 

package/dist/tool/Toolkit.d.mts

@@ -1,6 +1,6 @@
-import { o as HistoryItem, v as ToolCall } from "../Items-D8UaXQx_.mjs";
+import { o as HistoryItem, v as ToolCall } from "../Items-7ljaVxH_.mjs";
 import { Turn } from "../domain/Turn.mjs";
-import { a as Tool, i as StreamingTool, r as AnyTool } from "../Tool-CiFXYjmR.mjs";
+import { a as Tool, i as StreamingTool, r as AnyTool } from "../Tool-BKiieFXk.mjs";
 import { Step } from "../loop/Loop.mjs";
 import { ToolResult } from "./ToolResult.mjs";
 import { ToolEvent } from "./ToolEvent.mjs";

package/dist/tool/Toolkit.mjs

@@ -1,7 +1,7 @@
 import { n as __exportAll } from "../chunk-uyGKjUfl.mjs";
 import { appendToHistory } from "../domain/Turn.mjs";
-import { next, value } from "../loop/Loop.mjs";
 import { isStreamingTool } from "./Tool.mjs";
+import { next, value } from "../loop/Loop.mjs";
 import { ToolResult, executionError, failed, toToolCallOutput } from "./ToolResult.mjs";
 import { ToolEvent, isOutput } from "./ToolEvent.mjs";
 import { Array, Effect, Function, Ref, Schema, Stream } from "effect";

package/dist/web-search/WebSearch.d.mts

@@ -0,0 +1,119 @@
+import { t as AiError } from "../AiError-CAX_48RU.mjs";
+import { Context, DateTime, Effect, Schema } from "effect";
+
+//#region src/web-search/WebSearch.d.ts
+declare namespace WebSearch_d_exports {
+  export { CommonSearchRequest, SearchRecency, SearchResponse, SearchResult, WebSearch, WebSearchService, search };
+}
+/**
+ * Convenience freshness enum shared by every provider. A coarse "published
+ * within the last …" filter that maps onto each provider's native recency
+ * knob (Perplexity `search_recency_filter`, Brave `freshness`, Tavily
+ * `time_range`, You.com `freshness`), or onto a computed published-date
+ * range where a provider has no enum (Exa).
+ *
+ * For a precise window use {@link CommonSearchRequest.startDate} /
+ * {@link CommonSearchRequest.endDate} instead; `recency` is the sugar for
+ * the common "past week / past month" case.
+ *
+ * Exposed as a `Schema` so {@link "../web-search/WebSearchTool".webSearchTool}
+ * can hand it straight to a model as a tool parameter; the
+ * {@link SearchRecency} type is derived from it.
+ */
+declare const SearchRecency: Schema.Literals<readonly ["hour", "day", "week", "month", "year"]>;
+type SearchRecency = typeof SearchRecency.Type;
+/**
+ * Cross-provider web-search request. A field earns a place here only if
+ * most of the supported providers honor it and a developer would expect it
+ * from a generic search interface; everything provider-specific (Exa
+ * `type`, Tavily `searchDepth`, Brave `goggles`, pagination `offset`,
+ * `safeSearch`, `topic`, …) lives on that provider's typed request.
+ *
+ * Note the one structural difference from `EmbeddingModel` /
+ * `Transcriber`: there is no `model`. None of the pure-`/search` endpoints
+ * take one - what looks model-shaped on a provider (Exa `type`, Tavily
+ * `searchDepth`) is a mode knob, so it stays on the provider-typed request.
+ */
+type CommonSearchRequest = {
+  /** The search query. The one field every provider requires. */readonly query: string;
+  /**
+   * Upper bound on the number of results to return in this one call.
+   * Providers cap differently (Perplexity / Tavily / Brave at ~20, Exa /
+   * You.com at ~100); a value above a provider's cap is clamped by that
+   * provider. There is no common pagination - only two providers paginate
+   * and only shallowly, so `offset` is provider-typed.
+   */
+  readonly maxResults?: number; /** Restrict results to these domains (e.g. `["docs.foo.com"]`). */
+  readonly includeDomains?: ReadonlyArray<string>; /** Drop results from these domains. */
+  readonly excludeDomains?: ReadonlyArray<string>;
+  /**
+   * Coarse freshness filter - see {@link SearchRecency}. Sugar over an
+   * explicit `startDate`; ignored where {@link startDate} is also set and
+   * the provider takes only one.
+   */
+  readonly recency?: SearchRecency; /** Published-after bound. The precise alternative to {@link recency}. */
+  readonly startDate?: DateTime.DateTime; /** Published-before bound. */
+  readonly endDate?: DateTime.DateTime; /** ISO 3166-1 alpha-2 country code to localize results (e.g. `"us"`). */
+  readonly country?: string; /** ISO 639-1 language code to bias results toward (e.g. `"en"`). */
+  readonly language?: string;
+};
+/**
+ * One normalized web-search hit. A flat record with optionals rather than a
+ * tagged union: the providers differ by *which fields are present*, not by
+ * *kind*. The provider's untouched result object is always on `raw`, so a
+ * caller holding a typed provider tag can recover anything not promoted
+ * here (`author`, `favicon`, multi-chunk `snippets[]`, …).
+ */
+type SearchResult = {
+  /** Canonical result URL. Always present. */readonly url: string; /** Result title / headline, when the provider returns one. */
+  readonly title?: string;
+  /**
+   * Primary short excerpt - the one text field all providers return (under
+   * various wire names: `snippet`, `content`, `description`). The richer
+   * extract fields (`text`, `highlights`, `summary`) belong to the
+   * out-of-scope extract feature and stay on the provider-typed result.
+   */
+  readonly snippet?: string; /** Publication date, when the provider reports one. */
+  readonly publishedDate?: DateTime.DateTime;
+  /**
+   * Relevance score, only from providers that rank (Exa, Tavily);
+   * `undefined` for providers that return an unscored list. Kept despite
+   * being non-universal because ranking is core to what a "search result"
+   * means - and `undefined` cleanly says "this backend doesn't score."
+   */
+  readonly score?: number; /** The provider-native result object, never lossy. */
+  readonly raw: unknown;
+};
+type SearchResponse = {
+  readonly results: ReadonlyArray<SearchResult>;
+  /**
+   * The provider-native top-level response object. Cost / usage reporting
+   * is deliberately not modeled on this surface yet: providers disagree on
+   * both what (Exa returns USD, Tavily credits, Brave nothing in-body) and
+   * where (Brave reports cost in response headers), so it is deferred to the
+   * unified usage design (see plans/usage-tracking.md). Anything a provider
+   * reports survives here on `raw`.
+   */
+  readonly raw: unknown;
+};
+/**
+ * The portable web-search surface: one operation, `search`. Pure search is
+ * the one thing every provider does, so - unlike `SpeechSynthesizer` /
+ * `Transcriber` - this capability needs no marker tags; every provider
+ * Layer can answer.
+ */
+type WebSearchService = {
+  readonly search: (request: CommonSearchRequest) => Effect.Effect<SearchResponse, AiError>;
+};
+declare const WebSearch_base: Context.ServiceClass<WebSearch, "@betalyra/effect-uai/WebSearch", WebSearchService>;
+/**
+ * Generic web-search service tag. Yield this for provider-portable code;
+ * yield a provider tag (`PerplexitySearch`, `ExaSearch`, …) when you need
+ * that provider's own knobs. A provider's `layer` registers both.
+ */
+declare class WebSearch extends WebSearch_base {}
+/** Run one web search against whichever provider Layer is in scope. */
+declare const search: (request: CommonSearchRequest) => Effect.Effect<SearchResponse, AiError, WebSearch>;
+//#endregion
+export { CommonSearchRequest, SearchRecency, SearchResponse, SearchResult, WebSearch, WebSearchService, search, WebSearch_d_exports as t };
+//# sourceMappingURL=WebSearch.d.mts.map

package/dist/web-search/WebSearch.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"WebSearch.d.mts","names":[],"sources":["../../src/web-search/WebSearch.ts"],"mappings":";;;;;;;;;;;;;;;;;;;AAsBA;;;cAAa,aAAA,EAAa,MAAA,CAAA,QAAA;AAAA,KAEd,aAAA,UAAuB,aAAA,CAAc,IAAA;AAAjD;;;;;AAkBA;;;;;;;AAlBA,KAkBY,mBAAA;EAwB0B,wEAtB3B,KAAA;EAAA;;;;;;;EAAA,SAQA,UAAA,WAYA;EAAA,SAVA,cAAA,GAAiB,aAAA,UAUI;EAAA,SARrB,cAAA,GAAiB,aAAA;EAUP;;;;;EAAA,SAJV,OAAA,GAAU,aAAA,EAsBT;EAAA,SApBD,SAAA,GAAY,QAAA,CAAS,QAAA;WAErB,OAAA,GAAU,QAAA,CAAS,QAAA,EAoBnB;EAAA,SAlBA,OAAA,WA2BA;EAAA,SAzBA,QAAA;AAAA;;;;;;AAuCX;;KAzBY,YAAA;EA0BqB,qDAxBtB,GAAA,UAwBS;EAAA,SAtBT,KAAA;EA+BA;;;AAaX;;;EAbW,SAxBA,OAAA,WAsCwD;EAAA,SApCxD,aAAA,GAAgB,QAAA,CAAS,QAAA;EAoCiB;;;;;;EAAA,SA7B1C,KAAA,WA6BiD;EAAA,SA3BjD,GAAA;AAAA;AAAA,KAGC,cAAA;EAAA,SACD,OAAA,EAAS,aAAA,CAAc,YAAA;EAuBgE;AACjG;;;;;;;EADiG,SAdvF,GAAA;AAAA;;;;;;AAsBX;KATY,gBAAA;EAAA,SACD,MAAA,GAAS,OAAA,EAAS,mBAAA,KAAwB,MAAA,CAAO,MAAA,CAAO,cAAA,EAAgB,OAAA;AAAA;AAAA,cAClF,cAAA;AAYD;;;;;AAAA,cALa,SAAA,SAAkB,cAAA;;cAKlB,MAAA,GACX,OAAA,EAAS,mBAAA,KACR,MAAA,CAAO,MAAA,CAAO,cAAA,EAAgB,OAAA,EAAiB,SAAA"}

package/dist/web-search/WebSearch.mjs

@@ -0,0 +1,42 @@
+import { n as __exportAll } from "../chunk-uyGKjUfl.mjs";
+import { Context, Effect, Schema } from "effect";
+//#region src/web-search/WebSearch.ts
+var WebSearch_exports = /* @__PURE__ */ __exportAll({
+	SearchRecency: () => SearchRecency,
+	WebSearch: () => WebSearch,
+	search: () => search
+});
+/**
+* Convenience freshness enum shared by every provider. A coarse "published
+* within the last …" filter that maps onto each provider's native recency
+* knob (Perplexity `search_recency_filter`, Brave `freshness`, Tavily
+* `time_range`, You.com `freshness`), or onto a computed published-date
+* range where a provider has no enum (Exa).
+*
+* For a precise window use {@link CommonSearchRequest.startDate} /
+* {@link CommonSearchRequest.endDate} instead; `recency` is the sugar for
+* the common "past week / past month" case.
+*
+* Exposed as a `Schema` so {@link "../web-search/WebSearchTool".webSearchTool}
+* can hand it straight to a model as a tool parameter; the
+* {@link SearchRecency} type is derived from it.
+*/
+const SearchRecency = Schema.Literals([
+	"hour",
+	"day",
+	"week",
+	"month",
+	"year"
+]);
+/**
+* Generic web-search service tag. Yield this for provider-portable code;
+* yield a provider tag (`PerplexitySearch`, `ExaSearch`, …) when you need
+* that provider's own knobs. A provider's `layer` registers both.
+*/
+var WebSearch = class extends Context.Service()("@betalyra/effect-uai/WebSearch") {};
+/** Run one web search against whichever provider Layer is in scope. */
+const search = (request) => Effect.flatMap(WebSearch.asEffect(), (s) => s.search(request));
+//#endregion
+export { SearchRecency, WebSearch, search, WebSearch_exports as t };
+
+//# sourceMappingURL=WebSearch.mjs.map

package/dist/web-search/WebSearch.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"WebSearch.mjs","names":[],"sources":["../../src/web-search/WebSearch.ts"],"sourcesContent":["import { Context, type DateTime, Effect, Schema } from \"effect\"\nimport type * as AiError from \"../domain/AiError.js\"\n\n// ---------------------------------------------------------------------------\n// Recency\n// ---------------------------------------------------------------------------\n\n/**\n * Convenience freshness enum shared by every provider. A coarse \"published\n * within the last …\" filter that maps onto each provider's native recency\n * knob (Perplexity `search_recency_filter`, Brave `freshness`, Tavily\n * `time_range`, You.com `freshness`), or onto a computed published-date\n * range where a provider has no enum (Exa).\n *\n * For a precise window use {@link CommonSearchRequest.startDate} /\n * {@link CommonSearchRequest.endDate} instead; `recency` is the sugar for\n * the common \"past week / past month\" case.\n *\n * Exposed as a `Schema` so {@link \"../web-search/WebSearchTool\".webSearchTool}\n * can hand it straight to a model as a tool parameter; the\n * {@link SearchRecency} type is derived from it.\n */\nexport const SearchRecency = Schema.Literals([\"hour\", \"day\", \"week\", \"month\", \"year\"])\n\nexport type SearchRecency = typeof SearchRecency.Type\n\n// ---------------------------------------------------------------------------\n// Request\n// ---------------------------------------------------------------------------\n\n/**\n * Cross-provider web-search request. A field earns a place here only if\n * most of the supported providers honor it and a developer would expect it\n * from a generic search interface; everything provider-specific (Exa\n * `type`, Tavily `searchDepth`, Brave `goggles`, pagination `offset`,\n * `safeSearch`, `topic`, …) lives on that provider's typed request.\n *\n * Note the one structural difference from `EmbeddingModel` /\n * `Transcriber`: there is no `model`. None of the pure-`/search` endpoints\n * take one - what looks model-shaped on a provider (Exa `type`, Tavily\n * `searchDepth`) is a mode knob, so it stays on the provider-typed request.\n */\nexport type CommonSearchRequest = {\n  /** The search query. The one field every provider requires. */\n  readonly query: string\n  /**\n   * Upper bound on the number of results to return in this one call.\n   * Providers cap differently (Perplexity / Tavily / Brave at ~20, Exa /\n   * You.com at ~100); a value above a provider's cap is clamped by that\n   * provider. There is no common pagination - only two providers paginate\n   * and only shallowly, so `offset` is provider-typed.\n   */\n  readonly maxResults?: number\n  /** Restrict results to these domains (e.g. `[\"docs.foo.com\"]`). */\n  readonly includeDomains?: ReadonlyArray<string>\n  /** Drop results from these domains. */\n  readonly excludeDomains?: ReadonlyArray<string>\n  /**\n   * Coarse freshness filter - see {@link SearchRecency}. Sugar over an\n   * explicit `startDate`; ignored where {@link startDate} is also set and\n   * the provider takes only one.\n   */\n  readonly recency?: SearchRecency\n  /** Published-after bound. The precise alternative to {@link recency}. */\n  readonly startDate?: DateTime.DateTime\n  /** Published-before bound. */\n  readonly endDate?: DateTime.DateTime\n  /** ISO 3166-1 alpha-2 country code to localize results (e.g. `\"us\"`). */\n  readonly country?: string\n  /** ISO 639-1 language code to bias results toward (e.g. `\"en\"`). */\n  readonly language?: string\n}\n\n// ---------------------------------------------------------------------------\n// Response\n// ---------------------------------------------------------------------------\n\n/**\n * One normalized web-search hit. A flat record with optionals rather than a\n * tagged union: the providers differ by *which fields are present*, not by\n * *kind*. The provider's untouched result object is always on `raw`, so a\n * caller holding a typed provider tag can recover anything not promoted\n * here (`author`, `favicon`, multi-chunk `snippets[]`, …).\n */\nexport type SearchResult = {\n  /** Canonical result URL. Always present. */\n  readonly url: string\n  /** Result title / headline, when the provider returns one. */\n  readonly title?: string\n  /**\n   * Primary short excerpt - the one text field all providers return (under\n   * various wire names: `snippet`, `content`, `description`). The richer\n   * extract fields (`text`, `highlights`, `summary`) belong to the\n   * out-of-scope extract feature and stay on the provider-typed result.\n   */\n  readonly snippet?: string\n  /** Publication date, when the provider reports one. */\n  readonly publishedDate?: DateTime.DateTime\n  /**\n   * Relevance score, only from providers that rank (Exa, Tavily);\n   * `undefined` for providers that return an unscored list. Kept despite\n   * being non-universal because ranking is core to what a \"search result\"\n   * means - and `undefined` cleanly says \"this backend doesn't score.\"\n   */\n  readonly score?: number\n  /** The provider-native result object, never lossy. */\n  readonly raw: unknown\n}\n\nexport type SearchResponse = {\n  readonly results: ReadonlyArray<SearchResult>\n  /**\n   * The provider-native top-level response object. Cost / usage reporting\n   * is deliberately not modeled on this surface yet: providers disagree on\n   * both what (Exa returns USD, Tavily credits, Brave nothing in-body) and\n   * where (Brave reports cost in response headers), so it is deferred to the\n   * unified usage design (see plans/usage-tracking.md). Anything a provider\n   * reports survives here on `raw`.\n   */\n  readonly raw: unknown\n}\n\n// ---------------------------------------------------------------------------\n// Service + helper\n// ---------------------------------------------------------------------------\n\n/**\n * The portable web-search surface: one operation, `search`. Pure search is\n * the one thing every provider does, so - unlike `SpeechSynthesizer` /\n * `Transcriber` - this capability needs no marker tags; every provider\n * Layer can answer.\n */\nexport type WebSearchService = {\n  readonly search: (request: CommonSearchRequest) => Effect.Effect<SearchResponse, AiError.AiError>\n}\n\n/**\n * Generic web-search service tag. Yield this for provider-portable code;\n * yield a provider tag (`PerplexitySearch`, `ExaSearch`, …) when you need\n * that provider's own knobs. A provider's `layer` registers both.\n */\nexport class WebSearch extends Context.Service<WebSearch, WebSearchService>()(\n  \"@betalyra/effect-uai/WebSearch\",\n) {}\n\n/** Run one web search against whichever provider Layer is in scope. */\nexport const search = (\n  request: CommonSearchRequest,\n): Effect.Effect<SearchResponse, AiError.AiError, WebSearch> =>\n  Effect.flatMap(WebSearch.asEffect(), (s) => s.search(request))\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;AAsBA,MAAa,gBAAgB,OAAO,SAAS;CAAC;CAAQ;CAAO;CAAQ;CAAS;CAAO,CAAC;;;;;;AAuHtF,IAAa,YAAb,cAA+B,QAAQ,SAAsC,CAC3E,iCACD,CAAC;;AAGF,MAAa,UACX,YAEA,OAAO,QAAQ,UAAU,UAAU,GAAG,MAAM,EAAE,OAAO,QAAQ,CAAC"}

package/dist/web-search/WebSearchTool.d.mts

@@ -0,0 +1,58 @@
+import { a as Tool } from "../Tool-BKiieFXk.mjs";
+import { SearchResult, WebSearch } from "./WebSearch.mjs";
+import { Schema } from "effect";
+
+//#region src/web-search/WebSearchTool.d.ts
+declare namespace WebSearchTool_d_exports {
+  export { WebSearchToolArgs, WebSearchToolOptions, webSearchTool };
+}
+/**
+ * Model-facing argument schema. Deliberately narrow: `query` plus the one
+ * filter that is genuinely the model's call - `recency` (it knows whether a
+ * question is about current events or evergreen). App-policy scoping
+ * (`includeDomains` / `excludeDomains`) and the `maxResults` cost ceiling
+ * are pinned on the constructor instead, so they are guaranteed rather than
+ * left to the model to remember each call.
+ */
+declare const WebSearchToolArgs: Schema.Struct<{
+  readonly query: Schema.String;
+  readonly recency: Schema.optional<Schema.Literals<readonly ["hour", "day", "week", "month", "year"]>>;
+}>;
+type WebSearchToolArgs = typeof WebSearchToolArgs.Type;
+type WebSearchToolOptions = {
+  /** Tool name the model sees. Default `"web_search"`. */readonly name?: string;
+  /**
+   * App-fixed ceiling on results per call - a cost guard, not exposed to
+   * the model. Default `5`.
+   */
+  readonly maxResults?: number;
+  /**
+   * App-fixed allowlist applied to every search. A policy scope ("only
+   * search our docs"), not a model knob - so it is enforced, not requested.
+   */
+  readonly includeDomains?: ReadonlyArray<string>; /** App-fixed denylist applied to every search ("never return X"). */
+  readonly excludeDomains?: ReadonlyArray<string>;
+  /**
+   * Override how results are rendered into the model-facing string.
+   * Default: a numbered `title / url / snippet` list.
+   */
+  readonly render?: (results: ReadonlyArray<SearchResult>) => string;
+};
+/**
+ * The canonical web-search tool. Its `R` is just `WebSearch`, so providing
+ * any search-provider Layer satisfies it and the model-facing contract
+ * (name, description, schema) is identical no matter which backend answers
+ * - swap `PerplexitySearch.layer` for `ExaSearch.layer` and the tool the
+ * model sees does not change. Drops straight into a `Toolkit` and the
+ * `LanguageModel` tool-calling loop.
+ *
+ * The model controls only `query` and `recency`; domain scoping and the
+ * result cap are app policy, fixed here on the constructor. `Output` is
+ * rendered text, not raw `SearchResult[]`: the model reads the list, while
+ * the app still gets the structured results through the normal tool-result
+ * channel. Pass `render` to change the format.
+ */
+declare const webSearchTool: (options?: WebSearchToolOptions) => Tool<string, WebSearchToolArgs, string, WebSearch>;
+//#endregion
+export { WebSearchToolArgs, WebSearchToolOptions, WebSearchTool_d_exports as t, webSearchTool };
+//# sourceMappingURL=WebSearchTool.d.mts.map

package/dist/web-search/WebSearchTool.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"WebSearchTool.d.mts","names":[],"sources":["../../src/web-search/WebSearchTool.ts"],"mappings":";;;;;;;;;;;;;;;;cAYM,iBAAA,EAAiB,MAAA,CAAA,MAAA;EAAA;;;KAKX,iBAAA,UAA2B,iBAAA,CAAkB,IAAA;AAAA,KAa7C,oBAAA;EAlBW,iEAoBZ,IAAA;EApBY;;;;EAAA,SAyBZ,UAAA;;;;;WAKA,cAAA,GAAiB,aAAA;WAEjB,cAAA,GAAiB,aAAA;;AA3B5B;;;WAgCW,MAAA,IAAU,OAAA,EAAS,aAAA,CAAc,YAAA;AAAA;AAnB5C;;;;;;;;;;;;;;AAAA,cAoCa,aAAA,GACX,OAAA,GAAU,oBAAA,KACT,IAAA,SAAkB,iBAAA,UAA2B,SAAA"}

package/dist/web-search/WebSearchTool.mjs

@@ -0,0 +1,69 @@
+import { n as __exportAll } from "../chunk-uyGKjUfl.mjs";
+import { SearchRecency, search } from "./WebSearch.mjs";
+import { fromEffectSchema, make } from "../tool/Tool.mjs";
+import { Effect, Schema } from "effect";
+//#region src/web-search/WebSearchTool.ts
+var WebSearchTool_exports = /* @__PURE__ */ __exportAll({ webSearchTool: () => webSearchTool });
+/**
+* Model-facing argument schema. Deliberately narrow: `query` plus the one
+* filter that is genuinely the model's call - `recency` (it knows whether a
+* question is about current events or evergreen). App-policy scoping
+* (`includeDomains` / `excludeDomains`) and the `maxResults` cost ceiling
+* are pinned on the constructor instead, so they are guaranteed rather than
+* left to the model to remember each call.
+*/
+const WebSearchToolArgs = Schema.Struct({
+	query: Schema.String,
+	recency: Schema.optional(SearchRecency)
+});
+/** Numbered `title / url / snippet` list - what a model reads best. */
+const defaultRender = (results) => results.length === 0 ? "No results found." : results.map((r, i) => {
+	const head = `${i + 1}. ${r.title ?? r.url}\n   ${r.url}`;
+	return r.snippet === void 0 ? head : `${head}\n   ${r.snippet}`;
+}).join("\n\n");
+/**
+* The canonical web-search tool. Its `R` is just `WebSearch`, so providing
+* any search-provider Layer satisfies it and the model-facing contract
+* (name, description, schema) is identical no matter which backend answers
+* - swap `PerplexitySearch.layer` for `ExaSearch.layer` and the tool the
+* model sees does not change. Drops straight into a `Toolkit` and the
+* `LanguageModel` tool-calling loop.
+*
+* The model controls only `query` and `recency`; domain scoping and the
+* result cap are app policy, fixed here on the constructor. `Output` is
+* rendered text, not raw `SearchResult[]`: the model reads the list, while
+* the app still gets the structured results through the normal tool-result
+* channel. Pass `render` to change the format.
+*/
+const webSearchTool = (options) => {
+	const name = options?.name ?? "web_search";
+	const render = options?.render ?? defaultRender;
+	const maxResults = options?.maxResults ?? 5;
+	const includeDomains = options?.includeDomains;
+	const excludeDomains = options?.excludeDomains;
+	return make({
+		name,
+		description: "Search the web for current information. Returns ranked results with titles, URLs, and snippets.",
+		inputSchema: fromEffectSchema(WebSearchToolArgs),
+		run: (args) => search({
+			query: args.query,
+			maxResults,
+			...args.recency !== void 0 && { recency: args.recency },
+			...includeDomains !== void 0 && { includeDomains },
+			...excludeDomains !== void 0 && { excludeDomains }
+		}).pipe(Effect.tap((r) => Effect.annotateCurrentSpan("web_search.result_count", r.results.length)), Effect.map((r) => render(r.results)), Effect.withSpan(name, {
+			kind: "client",
+			attributes: {
+				"web_search.query": args.query,
+				"web_search.max_results": maxResults,
+				...args.recency !== void 0 && { "web_search.recency": args.recency },
+				...includeDomains !== void 0 && { "web_search.include_domains": includeDomains },
+				...excludeDomains !== void 0 && { "web_search.exclude_domains": excludeDomains }
+			}
+		}))
+	});
+};
+//#endregion
+export { WebSearchTool_exports as t, webSearchTool };
+
+//# sourceMappingURL=WebSearchTool.mjs.map

package/dist/web-search/WebSearchTool.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"WebSearchTool.mjs","names":["Tool.make","Tool.fromEffectSchema"],"sources":["../../src/web-search/WebSearchTool.ts"],"sourcesContent":["import { Effect, Schema } from \"effect\"\nimport * as Tool from \"../tool/Tool.js\"\nimport { search, SearchRecency, type SearchResult, WebSearch } from \"./WebSearch.js\"\n\n/**\n * Model-facing argument schema. Deliberately narrow: `query` plus the one\n * filter that is genuinely the model's call - `recency` (it knows whether a\n * question is about current events or evergreen). App-policy scoping\n * (`includeDomains` / `excludeDomains`) and the `maxResults` cost ceiling\n * are pinned on the constructor instead, so they are guaranteed rather than\n * left to the model to remember each call.\n */\nconst WebSearchToolArgs = Schema.Struct({\n  query: Schema.String,\n  recency: Schema.optional(SearchRecency),\n})\n\nexport type WebSearchToolArgs = typeof WebSearchToolArgs.Type\n\n/** Numbered `title / url / snippet` list - what a model reads best. */\nconst defaultRender = (results: ReadonlyArray<SearchResult>): string =>\n  results.length === 0\n    ? \"No results found.\"\n    : results\n        .map((r, i) => {\n          const head = `${i + 1}. ${r.title ?? r.url}\\n   ${r.url}`\n          return r.snippet === undefined ? head : `${head}\\n   ${r.snippet}`\n        })\n        .join(\"\\n\\n\")\n\nexport type WebSearchToolOptions = {\n  /** Tool name the model sees. Default `\"web_search\"`. */\n  readonly name?: string\n  /**\n   * App-fixed ceiling on results per call - a cost guard, not exposed to\n   * the model. Default `5`.\n   */\n  readonly maxResults?: number\n  /**\n   * App-fixed allowlist applied to every search. A policy scope (\"only\n   * search our docs\"), not a model knob - so it is enforced, not requested.\n   */\n  readonly includeDomains?: ReadonlyArray<string>\n  /** App-fixed denylist applied to every search (\"never return X\"). */\n  readonly excludeDomains?: ReadonlyArray<string>\n  /**\n   * Override how results are rendered into the model-facing string.\n   * Default: a numbered `title / url / snippet` list.\n   */\n  readonly render?: (results: ReadonlyArray<SearchResult>) => string\n}\n\n/**\n * The canonical web-search tool. Its `R` is just `WebSearch`, so providing\n * any search-provider Layer satisfies it and the model-facing contract\n * (name, description, schema) is identical no matter which backend answers\n * - swap `PerplexitySearch.layer` for `ExaSearch.layer` and the tool the\n * model sees does not change. Drops straight into a `Toolkit` and the\n * `LanguageModel` tool-calling loop.\n *\n * The model controls only `query` and `recency`; domain scoping and the\n * result cap are app policy, fixed here on the constructor. `Output` is\n * rendered text, not raw `SearchResult[]`: the model reads the list, while\n * the app still gets the structured results through the normal tool-result\n * channel. Pass `render` to change the format.\n */\nexport const webSearchTool = (\n  options?: WebSearchToolOptions,\n): Tool.Tool<string, WebSearchToolArgs, string, WebSearch> => {\n  const name = options?.name ?? \"web_search\"\n  const render = options?.render ?? defaultRender\n  const maxResults = options?.maxResults ?? 5\n  const includeDomains = options?.includeDomains\n  const excludeDomains = options?.excludeDomains\n  return Tool.make({\n    name,\n    description:\n      \"Search the web for current information. Returns ranked results with titles, URLs, and snippets.\",\n    inputSchema: Tool.fromEffectSchema(WebSearchToolArgs),\n    // The call is wrapped in a tracing span so agent traces show the tool\n    // invocation (query, filters, result count) nested under the model turn.\n    // `withSpan` is a no-op until a Tracer is installed, so this is free by\n    // default and adds nothing to the requirements.\n    run: (args) =>\n      search({\n        query: args.query,\n        maxResults,\n        ...(args.recency !== undefined && { recency: args.recency }),\n        ...(includeDomains !== undefined && { includeDomains }),\n        ...(excludeDomains !== undefined && { excludeDomains }),\n      }).pipe(\n        Effect.tap((r) => Effect.annotateCurrentSpan(\"web_search.result_count\", r.results.length)),\n        Effect.map((r) => render(r.results)),\n        Effect.withSpan(name, {\n          kind: \"client\",\n          attributes: {\n            \"web_search.query\": args.query,\n            \"web_search.max_results\": maxResults,\n            ...(args.recency !== undefined && { \"web_search.recency\": args.recency }),\n            ...(includeDomains !== undefined && { \"web_search.include_domains\": includeDomains }),\n            ...(excludeDomains !== undefined && { \"web_search.exclude_domains\": excludeDomains }),\n          },\n        }),\n      ),\n  })\n}\n"],"mappings":";;;;;;;;;;;;;;AAYA,MAAM,oBAAoB,OAAO,OAAO;CACtC,OAAO,OAAO;CACd,SAAS,OAAO,SAAS,cAAc;CACxC,CAAC;;AAKF,MAAM,iBAAiB,YACrB,QAAQ,WAAW,IACf,sBACA,QACG,KAAK,GAAG,MAAM;CACb,MAAM,OAAO,GAAG,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,OAAO,EAAE;AACpD,QAAO,EAAE,YAAY,KAAA,IAAY,OAAO,GAAG,KAAK,OAAO,EAAE;EACzD,CACD,KAAK,OAAO;;;;;;;;;;;;;;;AAsCrB,MAAa,iBACX,YAC4D;CAC5D,MAAM,OAAO,SAAS,QAAQ;CAC9B,MAAM,SAAS,SAAS,UAAU;CAClC,MAAM,aAAa,SAAS,cAAc;CAC1C,MAAM,iBAAiB,SAAS;CAChC,MAAM,iBAAiB,SAAS;AAChC,QAAOA,KAAU;EACf;EACA,aACE;EACF,aAAaC,iBAAsB,kBAAkB;EAKrD,MAAM,SACJ,OAAO;GACL,OAAO,KAAK;GACZ;GACA,GAAI,KAAK,YAAY,KAAA,KAAa,EAAE,SAAS,KAAK,SAAS;GAC3D,GAAI,mBAAmB,KAAA,KAAa,EAAE,gBAAgB;GACtD,GAAI,mBAAmB,KAAA,KAAa,EAAE,gBAAgB;GACvD,CAAC,CAAC,KACD,OAAO,KAAK,MAAM,OAAO,oBAAoB,2BAA2B,EAAE,QAAQ,OAAO,CAAC,EAC1F,OAAO,KAAK,MAAM,OAAO,EAAE,QAAQ,CAAC,EACpC,OAAO,SAAS,MAAM;GACpB,MAAM;GACN,YAAY;IACV,oBAAoB,KAAK;IACzB,0BAA0B;IAC1B,GAAI,KAAK,YAAY,KAAA,KAAa,EAAE,sBAAsB,KAAK,SAAS;IACxE,GAAI,mBAAmB,KAAA,KAAa,EAAE,8BAA8B,gBAAgB;IACpF,GAAI,mBAAmB,KAAA,KAAa,EAAE,8BAA8B,gBAAgB;IACrF;GACF,CAAC,CACH;EACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect-uai/core",
-  "version": "0.7.0",
+  "version": "0.8.0",
   "description": "Low-level primitives (loop, conversation, items, tools, streaming codecs) for building AI agents with Effect.",
   "keywords": [
     "agents",
@@ -110,6 +110,14 @@
       "types": "./dist/transcriber/Transcriber.d.mts",
       "import": "./dist/transcriber/Transcriber.mjs"
     },
+    "./WebSearch": {
+      "types": "./dist/web-search/WebSearch.d.mts",
+      "import": "./dist/web-search/WebSearch.mjs"
+    },
+    "./WebSearchTool": {
+      "types": "./dist/web-search/WebSearchTool.d.mts",
+      "import": "./dist/web-search/WebSearchTool.mjs"
+    },
     "./Loop": {
       "types": "./dist/loop/Loop.d.mts",
       "import": "./dist/loop/Loop.mjs"

package/src/index.ts

@@ -18,6 +18,8 @@ export * as SandboxImage from "./sandbox/SandboxImage.js"
 export * as SandboxNetwork from "./sandbox/SandboxNetwork.js"
 export * as SpeechSynthesizer from "./speech-synthesizer/SpeechSynthesizer.js"
 export * as Transcriber from "./transcriber/Transcriber.js"
+export * as WebSearch from "./web-search/WebSearch.js"
+export * as WebSearchTool from "./web-search/WebSearchTool.js"
 export * as Vector from "./math/Vector.js"
 export * as Loop from "./loop/Loop.js"
 export * as Retry from "./retry/Retry.js"

package/src/web-search/WebSearch.ts

@@ -0,0 +1,150 @@
+import { Context, type DateTime, Effect, Schema } from "effect"
+import type * as AiError from "../domain/AiError.js"
+
+// ---------------------------------------------------------------------------
+// Recency
+// ---------------------------------------------------------------------------
+
+/**
+ * Convenience freshness enum shared by every provider. A coarse "published
+ * within the last …" filter that maps onto each provider's native recency
+ * knob (Perplexity `search_recency_filter`, Brave `freshness`, Tavily
+ * `time_range`, You.com `freshness`), or onto a computed published-date
+ * range where a provider has no enum (Exa).
+ *
+ * For a precise window use {@link CommonSearchRequest.startDate} /
+ * {@link CommonSearchRequest.endDate} instead; `recency` is the sugar for
+ * the common "past week / past month" case.
+ *
+ * Exposed as a `Schema` so {@link "../web-search/WebSearchTool".webSearchTool}
+ * can hand it straight to a model as a tool parameter; the
+ * {@link SearchRecency} type is derived from it.
+ */
+export const SearchRecency = Schema.Literals(["hour", "day", "week", "month", "year"])
+
+export type SearchRecency = typeof SearchRecency.Type
+
+// ---------------------------------------------------------------------------
+// Request
+// ---------------------------------------------------------------------------
+
+/**
+ * Cross-provider web-search request. A field earns a place here only if
+ * most of the supported providers honor it and a developer would expect it
+ * from a generic search interface; everything provider-specific (Exa
+ * `type`, Tavily `searchDepth`, Brave `goggles`, pagination `offset`,
+ * `safeSearch`, `topic`, …) lives on that provider's typed request.
+ *
+ * Note the one structural difference from `EmbeddingModel` /
+ * `Transcriber`: there is no `model`. None of the pure-`/search` endpoints
+ * take one - what looks model-shaped on a provider (Exa `type`, Tavily
+ * `searchDepth`) is a mode knob, so it stays on the provider-typed request.
+ */
+export type CommonSearchRequest = {
+  /** The search query. The one field every provider requires. */
+  readonly query: string
+  /**
+   * Upper bound on the number of results to return in this one call.
+   * Providers cap differently (Perplexity / Tavily / Brave at ~20, Exa /
+   * You.com at ~100); a value above a provider's cap is clamped by that
+   * provider. There is no common pagination - only two providers paginate
+   * and only shallowly, so `offset` is provider-typed.
+   */
+  readonly maxResults?: number
+  /** Restrict results to these domains (e.g. `["docs.foo.com"]`). */
+  readonly includeDomains?: ReadonlyArray<string>
+  /** Drop results from these domains. */
+  readonly excludeDomains?: ReadonlyArray<string>
+  /**
+   * Coarse freshness filter - see {@link SearchRecency}. Sugar over an
+   * explicit `startDate`; ignored where {@link startDate} is also set and
+   * the provider takes only one.
+   */
+  readonly recency?: SearchRecency
+  /** Published-after bound. The precise alternative to {@link recency}. */
+  readonly startDate?: DateTime.DateTime
+  /** Published-before bound. */
+  readonly endDate?: DateTime.DateTime
+  /** ISO 3166-1 alpha-2 country code to localize results (e.g. `"us"`). */
+  readonly country?: string
+  /** ISO 639-1 language code to bias results toward (e.g. `"en"`). */
+  readonly language?: string
+}
+
+// ---------------------------------------------------------------------------
+// Response
+// ---------------------------------------------------------------------------
+
+/**
+ * One normalized web-search hit. A flat record with optionals rather than a
+ * tagged union: the providers differ by *which fields are present*, not by
+ * *kind*. The provider's untouched result object is always on `raw`, so a
+ * caller holding a typed provider tag can recover anything not promoted
+ * here (`author`, `favicon`, multi-chunk `snippets[]`, …).
+ */
+export type SearchResult = {
+  /** Canonical result URL. Always present. */
+  readonly url: string
+  /** Result title / headline, when the provider returns one. */
+  readonly title?: string
+  /**
+   * Primary short excerpt - the one text field all providers return (under
+   * various wire names: `snippet`, `content`, `description`). The richer
+   * extract fields (`text`, `highlights`, `summary`) belong to the
+   * out-of-scope extract feature and stay on the provider-typed result.
+   */
+  readonly snippet?: string
+  /** Publication date, when the provider reports one. */
+  readonly publishedDate?: DateTime.DateTime
+  /**
+   * Relevance score, only from providers that rank (Exa, Tavily);
+   * `undefined` for providers that return an unscored list. Kept despite
+   * being non-universal because ranking is core to what a "search result"
+   * means - and `undefined` cleanly says "this backend doesn't score."
+   */
+  readonly score?: number
+  /** The provider-native result object, never lossy. */
+  readonly raw: unknown
+}
+
+export type SearchResponse = {
+  readonly results: ReadonlyArray<SearchResult>
+  /**
+   * The provider-native top-level response object. Cost / usage reporting
+   * is deliberately not modeled on this surface yet: providers disagree on
+   * both what (Exa returns USD, Tavily credits, Brave nothing in-body) and
+   * where (Brave reports cost in response headers), so it is deferred to the
+   * unified usage design (see plans/usage-tracking.md). Anything a provider
+   * reports survives here on `raw`.
+   */
+  readonly raw: unknown
+}
+
+// ---------------------------------------------------------------------------
+// Service + helper
+// ---------------------------------------------------------------------------
+
+/**
+ * The portable web-search surface: one operation, `search`. Pure search is
+ * the one thing every provider does, so - unlike `SpeechSynthesizer` /
+ * `Transcriber` - this capability needs no marker tags; every provider
+ * Layer can answer.
+ */
+export type WebSearchService = {
+  readonly search: (request: CommonSearchRequest) => Effect.Effect<SearchResponse, AiError.AiError>
+}
+
+/**
+ * Generic web-search service tag. Yield this for provider-portable code;
+ * yield a provider tag (`PerplexitySearch`, `ExaSearch`, …) when you need
+ * that provider's own knobs. A provider's `layer` registers both.
+ */
+export class WebSearch extends Context.Service<WebSearch, WebSearchService>()(
+  "@betalyra/effect-uai/WebSearch",
+) {}
+
+/** Run one web search against whichever provider Layer is in scope. */
+export const search = (
+  request: CommonSearchRequest,
+): Effect.Effect<SearchResponse, AiError.AiError, WebSearch> =>
+  Effect.flatMap(WebSearch.asEffect(), (s) => s.search(request))

package/src/web-search/WebSearchTool.ts

@@ -0,0 +1,106 @@
+import { Effect, Schema } from "effect"
+import * as Tool from "../tool/Tool.js"
+import { search, SearchRecency, type SearchResult, WebSearch } from "./WebSearch.js"
+
+/**
+ * Model-facing argument schema. Deliberately narrow: `query` plus the one
+ * filter that is genuinely the model's call - `recency` (it knows whether a
+ * question is about current events or evergreen). App-policy scoping
+ * (`includeDomains` / `excludeDomains`) and the `maxResults` cost ceiling
+ * are pinned on the constructor instead, so they are guaranteed rather than
+ * left to the model to remember each call.
+ */
+const WebSearchToolArgs = Schema.Struct({
+  query: Schema.String,
+  recency: Schema.optional(SearchRecency),
+})
+
+export type WebSearchToolArgs = typeof WebSearchToolArgs.Type
+
+/** Numbered `title / url / snippet` list - what a model reads best. */
+const defaultRender = (results: ReadonlyArray<SearchResult>): string =>
+  results.length === 0
+    ? "No results found."
+    : results
+        .map((r, i) => {
+          const head = `${i + 1}. ${r.title ?? r.url}\n   ${r.url}`
+          return r.snippet === undefined ? head : `${head}\n   ${r.snippet}`
+        })
+        .join("\n\n")
+
+export type WebSearchToolOptions = {
+  /** Tool name the model sees. Default `"web_search"`. */
+  readonly name?: string
+  /**
+   * App-fixed ceiling on results per call - a cost guard, not exposed to
+   * the model. Default `5`.
+   */
+  readonly maxResults?: number
+  /**
+   * App-fixed allowlist applied to every search. A policy scope ("only
+   * search our docs"), not a model knob - so it is enforced, not requested.
+   */
+  readonly includeDomains?: ReadonlyArray<string>
+  /** App-fixed denylist applied to every search ("never return X"). */
+  readonly excludeDomains?: ReadonlyArray<string>
+  /**
+   * Override how results are rendered into the model-facing string.
+   * Default: a numbered `title / url / snippet` list.
+   */
+  readonly render?: (results: ReadonlyArray<SearchResult>) => string
+}
+
+/**
+ * The canonical web-search tool. Its `R` is just `WebSearch`, so providing
+ * any search-provider Layer satisfies it and the model-facing contract
+ * (name, description, schema) is identical no matter which backend answers
+ * - swap `PerplexitySearch.layer` for `ExaSearch.layer` and the tool the
+ * model sees does not change. Drops straight into a `Toolkit` and the
+ * `LanguageModel` tool-calling loop.
+ *
+ * The model controls only `query` and `recency`; domain scoping and the
+ * result cap are app policy, fixed here on the constructor. `Output` is
+ * rendered text, not raw `SearchResult[]`: the model reads the list, while
+ * the app still gets the structured results through the normal tool-result
+ * channel. Pass `render` to change the format.
+ */
+export const webSearchTool = (
+  options?: WebSearchToolOptions,
+): Tool.Tool<string, WebSearchToolArgs, string, WebSearch> => {
+  const name = options?.name ?? "web_search"
+  const render = options?.render ?? defaultRender
+  const maxResults = options?.maxResults ?? 5
+  const includeDomains = options?.includeDomains
+  const excludeDomains = options?.excludeDomains
+  return Tool.make({
+    name,
+    description:
+      "Search the web for current information. Returns ranked results with titles, URLs, and snippets.",
+    inputSchema: Tool.fromEffectSchema(WebSearchToolArgs),
+    // The call is wrapped in a tracing span so agent traces show the tool
+    // invocation (query, filters, result count) nested under the model turn.
+    // `withSpan` is a no-op until a Tracer is installed, so this is free by
+    // default and adds nothing to the requirements.
+    run: (args) =>
+      search({
+        query: args.query,
+        maxResults,
+        ...(args.recency !== undefined && { recency: args.recency }),
+        ...(includeDomains !== undefined && { includeDomains }),
+        ...(excludeDomains !== undefined && { excludeDomains }),
+      }).pipe(
+        Effect.tap((r) => Effect.annotateCurrentSpan("web_search.result_count", r.results.length)),
+        Effect.map((r) => render(r.results)),
+        Effect.withSpan(name, {
+          kind: "client",
+          attributes: {
+            "web_search.query": args.query,
+            "web_search.max_results": maxResults,
+            ...(args.recency !== undefined && { "web_search.recency": args.recency }),
+            ...(includeDomains !== undefined && { "web_search.include_domains": includeDomains }),
+            ...(excludeDomains !== undefined && { "web_search.exclude_domains": excludeDomains }),
+          },
+        }),
+      ),
+  })
+}