effect 4.0.0-beta.6 → 4.0.0-beta.62

package/src/unstable/ai/Model.ts

@@ -14,7 +14,7 @@
  *
  * declare const myAnthropicLayer: Layer.Layer<LanguageModel.LanguageModel>
  *
- * const anthropicModel = Model.make("anthropic", myAnthropicLayer)
+ * const anthropicModel = Model.make("anthropic", "claude-3-5-haiku", myAnthropicLayer)
  *
  * const program = Effect.gen(function*() {
  *   const response = yield* LanguageModel.generateText({
@@ -28,11 +28,11 @@
  *
  * @since 4.0.0
  */
+import * as Context from "../../Context.ts"
 import * as Effect from "../../Effect.ts"
 import { identity } from "../../Function.ts"
 import { PipeInspectableProto, YieldableProto } from "../../internal/core.ts"
 import * as Layer from "../../Layer.ts"
-import * as ServiceMap from "../../ServiceMap.ts"
 
 const TypeId = "~effect/ai/Model" as const
 
@@ -55,8 +55,13 @@ const TypeId = "~effect/ai/Model" as const
  */
 export interface Model<in out Provider, in out Provides, in out Requires>
   extends
-    Layer.Layer<Provides | ProviderName, never, Requires>,
-    Effect.Yieldable<Model<Provider, Provides, Requires>, Layer.Layer<Provides | ProviderName>, never, Requires>
+    Layer.Layer<Provides | ProviderName | ModelName, never, Requires>,
+    Effect.Yieldable<
+      Model<Provider, Provides, Requires>,
+      Layer.Layer<Provides | ProviderName | ModelName>,
+      never,
+      Requires
+    >
 {
   readonly [TypeId]: typeof TypeId
   /**
@@ -75,10 +80,24 @@ export interface Model<in out Provider, in out Provides, in out Requires>
  * @since 4.0.0
  * @category services
  */
-export class ProviderName extends ServiceMap.Service<ProviderName, string>()(
+export class ProviderName extends Context.Service<ProviderName, string>()(
   "effect/unstable/ai/Model/ProviderName"
 ) {}
 
+/**
+ * Service tag that provides the current large language model name.
+ *
+ * This tag is automatically provided by Model instances and can be used to
+ * access the name of the model that is currently in use within a given Effect
+ * program.
+ *
+ * @since 4.0.0
+ * @category services
+ */
+export class ModelName extends Context.Service<ModelName, string>()(
+  "effect/unstable/ai/Model/ModelName"
+) {}
+
 const Proto = {
   ...YieldableProto,
   ...PipeInspectableProto,
@@ -89,8 +108,8 @@ const Proto = {
     _RIn: identity
   },
   asEffect(this: Model<any, any, any>) {
-    return Effect.servicesWith((services: ServiceMap.ServiceMap<never>) =>
-      Effect.succeed(Layer.provide(this, Layer.succeedServices(services)))
+    return Effect.contextWith((context: Context.Context<never>) =>
+      Effect.succeed(Layer.provide(this, Layer.succeedContext(context)))
     )
   },
   toJSON(this: Model<any, any, any>): unknown {
@@ -112,11 +131,12 @@ const Proto = {
  *
  * declare const bedrockLayer: Layer.Layer<LanguageModel.LanguageModel>
  *
- * // Model automatically provides ProviderName service
+ * // Model automatically provides ProviderName and ModelName services
  * const checkProviderAndGenerate = Effect.gen(function*() {
  *   const provider = yield* Model.ProviderName
+ *   const modelName = yield* Model.ModelName
  *
- *   console.log(`Generating with: ${provider}`)
+ *   console.log(`Generating with: ${provider}/${modelName}`)
  *
  *   return yield* LanguageModel.generateText({
  *     prompt: `Hello from ${provider}!`
@@ -124,19 +144,23 @@ const Proto = {
  * })
  *
  * const program = checkProviderAndGenerate.pipe(
- *   Effect.provide(Model.make("amazon-bedrock", bedrockLayer))
+ *   Effect.provide(Model.make("amazon-bedrock", "claude-3-5-haiku", bedrockLayer))
  * )
- * // Will log: "Generating with: amazon-bedrock"
+ * // Will log: "Generating with: amazon-bedrock/claude-3-5-haiku"
  * ```
  *
  * @since 4.0.0
  * @category constructors
  */
-export const make = <const Provider extends string, Provides, Requires>(
+export const make = <const Provider extends string, const Name extends string, Provides, Requires>(
   /**
    * Provider identifier (e.g., "openai", "anthropic", "amazon-bedrock").
    */
   provider: Provider,
+  /**
+   * Model identifier (e.g., "gpt-5", "claude-3-5-haiku").
+   */
+  modelName: Name,
   /**
    * Layer that provides the AI services for this provider.
    */
@@ -145,5 +169,12 @@ export const make = <const Provider extends string, Provides, Requires>(
   Object.assign(
     Object.create(Proto),
     { provider },
-    Layer.merge(Layer.succeed(ProviderName)(provider), layer)
+    Layer.merge(
+      layer,
+      Layer.succeedContext(
+        ProviderName.context(provider).pipe(
+          Context.add(ModelName, modelName)
+        )
+      )
+    )
   )

package/src/unstable/ai/OpenAiStructuredOutput.ts

@@ -4,13 +4,14 @@
  * @since 1.0.0
  */
 import * as Arr from "../../Array.ts"
-import type * as JsonSchema from "../../JsonSchema.ts"
+import * as JsonSchema from "../../JsonSchema.ts"
 import * as Option from "../../Option.ts"
 import * as Predicate from "../../Predicate.ts"
 import * as Rec from "../../Record.ts"
 import * as Schema from "../../Schema.ts"
 import * as AST from "../../SchemaAST.ts"
 import * as Transformation from "../../SchemaTransformation.ts"
+import * as Tool from "./Tool.ts"
 
 /**
  * Transforms a `Schema.Codec` into a form compatible with OpenAI's
@@ -48,7 +49,7 @@ export function toCodecOpenAI<T, E, RD, RE>(
   const to = schema.ast
   const from = recurOpenAI(AST.toEncoded(to))
   const codec = from === to ? schema : Schema.make<typeof schema>(AST.decodeTo(from, to, Transformation.passthrough()))
-  const document = Schema.toJsonSchemaDocument(codec)
+  const document = JsonSchema.resolveTopLevel$ref(Schema.toJsonSchemaDocument(codec))
   const jsonSchema = rewriteOpenAI(document.schema)
   if (Object.keys(document.definitions).length > 0) {
     jsonSchema.$defs = Rec.map(document.definitions, rewriteOpenAI)
@@ -81,6 +82,9 @@ function rewriteOpenAI(schema: JsonSchema.JsonSchema): JsonSchema.JsonSchema {
       out[k] = v
     }
   }
+  if (out.type === "object" && out.properties === undefined && out.additionalProperties === false) {
+    out.properties = {}
+  }
   return out
 }
 
@@ -243,6 +247,9 @@ function recurOpenAI(ast: AST.AST): AST.AST {
         }
       } else if (ast.indexSignatures.length === 1 && ast.propertySignatures.length === 0) {
         const is = ast.indexSignatures[0]
+        if (Tool.isEmptyParamsRecord(is)) {
+          return ast
+        }
         // records are not supported by OpenAI, so we translate them to arrays of key-value pairs
         if (annotations !== undefined && typeof annotations.description === "string") {
           annotations.description = `${RECORD_DESCRIPTION}; ${annotations.description}`

package/src/unstable/ai/Prompt.ts

@@ -53,7 +53,7 @@
  */
 import * as Arr from "../../Array.ts"
 import * as Effect from "../../Effect.ts"
-import { constFalse, dual } from "../../Function.ts"
+import { dual } from "../../Function.ts"
 import * as Option from "../../Option.ts"
 import { type Pipeable, pipeArguments } from "../../Pipeable.ts"
 import * as Predicate from "../../Predicate.ts"
@@ -63,8 +63,6 @@ import * as Parser from "../../SchemaParser.ts"
 import * as SchemaTransformation from "../../SchemaTransformation.ts"
 import type * as Response from "./Response.ts"
 
-const constEmptyObject = () => ({})
-
 // =============================================================================
 // Options
 // =============================================================================
@@ -88,7 +86,7 @@ const constEmptyObject = () => ({})
  */
 export const ProviderOptions: Schema.$Record<
   Schema.String,
-  Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+  Schema.NullOr<Schema.Codec<Schema.Json>>
 > = Schema.Record(Schema.String, Schema.NullOr(Schema.Json))
 
 /**
@@ -103,8 +101,6 @@ export type ProviderOptions = typeof ProviderOptions.Type
 
 const PartTypeId = "~effect/ai/Prompt/Part" as const
 
-const constPartTypeId = () => PartTypeId
-
 /**
  * Type guard to check if a value is a Part.
  *
@@ -185,9 +181,9 @@ export interface BasePartEncoded<Type extends string, Options extends ProviderOp
 
 const BasePart = Schema.Struct({
   [PartTypeId]: Schema.Literal(PartTypeId).pipe(
-    Schema.withDecodingDefaultKey(constPartTypeId, { encodingStrategy: "omit" })
+    Schema.withDecodingDefaultKey(Effect.succeed(PartTypeId), { encodingStrategy: "omit" })
   ),
-  options: ProviderOptions.pipe(Schema.withDecodingDefault(constEmptyObject))
+  options: ProviderOptions.pipe(Schema.withDecodingDefault(Effect.succeed({})))
 })
 
 /**
@@ -311,7 +307,7 @@ export const TextPart: Schema.Struct<
     readonly options: Schema.withDecodingDefault<
       Schema.$Record<
         Schema.String,
-        Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+        Schema.NullOr<Schema.Codec<Schema.Json>>
       >
     >
   }
@@ -391,7 +387,7 @@ export const ReasoningPart: Schema.Struct<{
   readonly options: Schema.withDecodingDefault<
     Schema.$Record<
       Schema.String,
-      Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+      Schema.NullOr<Schema.Codec<Schema.Json>>
     >
   >
 }> = Schema.Struct({
@@ -499,7 +495,7 @@ export const FilePart: Schema.Struct<{
   readonly options: Schema.withDecodingDefault<
     Schema.$Record<
       Schema.String,
-      Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+      Schema.NullOr<Schema.Codec<Schema.Json>>
     >
   >
 }> = Schema.Struct({
@@ -609,7 +605,7 @@ export const ToolCallPart: Schema.Struct<{
   readonly options: Schema.withDecodingDefault<
     Schema.$Record<
       Schema.String,
-      Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+      Schema.NullOr<Schema.Codec<Schema.Json>>
     >
   >
 }> = Schema.Struct({
@@ -618,7 +614,7 @@ export const ToolCallPart: Schema.Struct<{
   id: Schema.String,
   name: Schema.String,
   params: Schema.Unknown,
-  providerExecuted: Schema.Boolean.pipe(Schema.withDecodingDefault(constFalse))
+  providerExecuted: Schema.Boolean.pipe(Schema.withDecodingDefault(Effect.succeed(false)))
 }).annotate({ identifier: "ToolCallPart" })
 
 /**
@@ -725,7 +721,7 @@ export const ToolResultPart: Schema.Struct<{
   readonly options: Schema.withDecodingDefault<
     Schema.$Record<
       Schema.String,
-      Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+      Schema.NullOr<Schema.Codec<Schema.Json>>
     >
   >
 }> = Schema.Struct({
@@ -843,7 +839,7 @@ export const ToolApprovalResponsePart: Schema.Struct<{
   readonly options: Schema.withDecodingDefault<
     Schema.$Record<
       Schema.String,
-      Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+      Schema.NullOr<Schema.Codec<Schema.Json>>
     >
   >
 }> = Schema.Struct({
@@ -944,7 +940,7 @@ export const ToolApprovalRequestPart: Schema.Struct<{
   readonly options: Schema.withDecodingDefault<
     Schema.$Record<
       Schema.String,
-      Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+      Schema.NullOr<Schema.Codec<Schema.Json>>
     >
   >
 }> = Schema.Struct({
@@ -970,8 +966,6 @@ export const toolApprovalRequestPart = (
 
 const MessageTypeId = "~effect/ai/Prompt/Message" as const
 
-const constMessageTypeId = () => MessageTypeId
-
 /**
  * Type guard to check if a value is a Message.
  *
@@ -1021,9 +1015,9 @@ export interface BaseMessageEncoded<Role extends string, Options extends Provide
 
 const BaseMessage = Schema.Struct({
   [MessageTypeId]: Schema.Literal(MessageTypeId).pipe(
-    Schema.withDecodingDefaultKey(constMessageTypeId, { encodingStrategy: "omit" })
+    Schema.withDecodingDefaultKey(Effect.succeed(MessageTypeId), { encodingStrategy: "omit" })
   ),
-  options: ProviderOptions.pipe(Schema.withDecodingDefault(constEmptyObject))
+  options: ProviderOptions.pipe(Schema.withDecodingDefault(Effect.succeed({})))
 })
 
 /**
@@ -1089,7 +1083,7 @@ export const ContentFromString: Schema.decodeTo<
         readonly options: Schema.withDecodingDefault<
           Schema.$Record<
             Schema.String,
-            Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+            Schema.NullOr<Schema.Codec<Schema.Json>>
           >
         >
       }>
@@ -1168,7 +1162,7 @@ export const SystemMessage: Schema.Struct<{
   readonly options: Schema.withDecodingDefault<
     Schema.$Record<
       Schema.String,
-      Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+      Schema.NullOr<Schema.Codec<Schema.Json>>
     >
   >
 }> = Schema.Struct({
@@ -1287,7 +1281,7 @@ export const UserMessage: Schema.Struct<{
               readonly options: Schema.withDecodingDefault<
                 Schema.$Record<
                   Schema.String,
-                  Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+                  Schema.NullOr<Schema.Codec<Schema.Json>>
                 >
               >
             }>
@@ -1307,7 +1301,7 @@ export const UserMessage: Schema.Struct<{
               readonly options: Schema.withDecodingDefault<
                 Schema.$Record<
                   Schema.String,
-                  Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+                  Schema.NullOr<Schema.Codec<Schema.Json>>
                 >
               >
             }>,
@@ -1320,7 +1314,7 @@ export const UserMessage: Schema.Struct<{
               readonly options: Schema.withDecodingDefault<
                 Schema.$Record<
                   Schema.String,
-                  Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+                  Schema.NullOr<Schema.Codec<Schema.Json>>
                 >
               >
             }>
@@ -1333,7 +1327,7 @@ export const UserMessage: Schema.Struct<{
   readonly options: Schema.withDecodingDefault<
     Schema.$Record<
       Schema.String,
-      Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+      Schema.NullOr<Schema.Codec<Schema.Json>>
     >
   >
 }> = Schema.Struct({
@@ -1472,7 +1466,7 @@ export const AssistantMessage: Schema.Struct<{
               readonly options: Schema.withDecodingDefault<
                 Schema.$Record<
                   Schema.String,
-                  Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+                  Schema.NullOr<Schema.Codec<Schema.Json>>
                 >
               >
             }>
@@ -1500,7 +1494,7 @@ export const AssistantMessage: Schema.Struct<{
   readonly options: Schema.withDecodingDefault<
     Schema.$Record<
       Schema.String,
-      Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+      Schema.NullOr<Schema.Codec<Schema.Json>>
     >
   >
 }> = Schema.Struct({
@@ -1620,7 +1614,7 @@ export const ToolMessage: Schema.Struct<{
   readonly options: Schema.withDecodingDefault<
     Schema.$Record<
       Schema.String,
-      Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+      Schema.NullOr<Schema.Codec<Schema.Json>>
     >
   >
 }> = Schema.Struct({

package/src/unstable/ai/Response.ts

@@ -27,7 +27,8 @@
  * @since 1.0.0
  */
 import type * as DateTime from "../../DateTime.ts"
-import { constFalse, identity } from "../../Function.ts"
+import * as Effect from "../../Effect.ts"
+import { identity } from "../../Function.ts"
 import * as Predicate from "../../Predicate.ts"
 import * as Schema from "../../Schema.ts"
 import * as SchemaTransformation from "../../SchemaTransformation.ts"
@@ -36,9 +37,6 @@ import type * as Toolkit from "./Toolkit.ts"
 
 const PartTypeId = "~effect/ai/Content/Part" as const
 
-const constEmptyObject = () => ({})
-const constPartTypeId = () => PartTypeId
-
 // =============================================================================
 // All Parts
 // =============================================================================
@@ -455,7 +453,7 @@ export type ToolResultParts<Tools extends Record<string, Tool.Any>> = {
  */
 export const ProviderMetadata: Schema.$Record<
   Schema.String,
-  Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json>>
+  Schema.NullOr<Schema.Codec<Schema.Json>>
 > = Schema.Record(Schema.String, Schema.NullOr(Schema.Json))
 
 /**
@@ -503,10 +501,10 @@ export interface BasePartEncoded<Type extends string, Metadata extends ProviderM
 
 const BasePart = Schema.Struct({
   [PartTypeId]: Schema.tag(PartTypeId).pipe(
-    Schema.withDecodingDefaultKey(constPartTypeId, { encodingStrategy: "omit" })
+    Schema.withDecodingDefaultKey(Effect.succeed(PartTypeId), { encodingStrategy: "omit" })
   ),
   metadata: ProviderMetadata.pipe(
-    Schema.withDecodingDefault(constEmptyObject)
+    Schema.withDecodingDefault(Effect.succeed({}))
   )
 })
 
@@ -629,7 +627,7 @@ export const TextPart: Schema.Struct<{
   readonly text: Schema.String
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -689,7 +687,7 @@ export const TextStartPart: Schema.Struct<{
   readonly id: Schema.String
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -757,7 +755,7 @@ export const TextDeltaPart: Schema.Struct<{
   readonly delta: Schema.String
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -818,7 +816,7 @@ export const TextEndPart: Schema.Struct<{
   readonly id: Schema.String
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -889,7 +887,7 @@ export const ReasoningPart: Schema.Struct<{
   readonly text: Schema.String
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -949,7 +947,7 @@ export const ReasoningStartPart: Schema.Struct<{
   readonly id: Schema.String
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -1017,7 +1015,7 @@ export const ReasoningDeltaPart: Schema.Struct<{
   readonly delta: Schema.String
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -1078,7 +1076,7 @@ export const ReasoningEndPart: Schema.Struct<{
   readonly id: Schema.String
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -1159,14 +1157,14 @@ export const ToolParamsStartPart: Schema.Struct<{
   readonly providerExecuted: Schema.withDecodingDefaultKey<Schema.Boolean>
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
   type: Schema.tag("tool-params-start"),
   id: Schema.String,
   name: Schema.String,
-  providerExecuted: Schema.Boolean.pipe(Schema.withDecodingDefaultKey(constFalse))
+  providerExecuted: Schema.Boolean.pipe(Schema.withDecodingDefaultKey(Effect.succeed(false)))
 }).annotate({ identifier: "ToolParamsStartPart" }) satisfies Schema.Codec<
   ToolParamsStartPart,
   ToolParamsStartPartEncoded
@@ -1234,7 +1232,7 @@ export const ToolParamsDeltaPart: Schema.Struct<{
   readonly delta: Schema.String
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -1299,7 +1297,7 @@ export const ToolParamsEndPart: Schema.Struct<{
   readonly id: Schema.String
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -1414,7 +1412,7 @@ export const ToolCallPart: <const Name extends string, Params extends Schema.Top
     readonly providerExecuted: Schema.withDecodingDefaultKey<Schema.Boolean>
     readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
     readonly metadata: Schema.withDecodingDefault<
-      Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+      Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
     >
   }
 > = <const Name extends string, Params extends Schema.Top>(
@@ -1427,7 +1425,7 @@ export const ToolCallPart: <const Name extends string, Params extends Schema.Top
     id: Schema.String,
     name: Schema.Literal(name),
     params,
-    providerExecuted: Schema.Boolean.pipe(Schema.withDecodingDefaultKey(constFalse))
+    providerExecuted: Schema.Boolean.pipe(Schema.withDecodingDefaultKey(Effect.succeed(false)))
   }).annotate({ identifier: "ToolCallPart" }) as any
 
 /**
@@ -1620,7 +1618,7 @@ export const ToolResultPart: <const Name extends string, Success extends Schema.
       readonly providerExecuted: Schema.Boolean
       readonly metadata: Schema.$Record<
         Schema.String,
-        Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json, never, never>>
+        Schema.NullOr<Schema.Codec<Schema.Json>>
       >
       readonly encodedResult: Schema.toEncoded<Schema.Union<readonly [Success, Failure]>>
       readonly preliminary: Schema.Boolean
@@ -1635,7 +1633,7 @@ export const ToolResultPart: <const Name extends string, Success extends Schema.
       readonly result: Schema.toEncoded<Schema.Union<readonly [Success, Failure]>>
       readonly providerExecuted: Schema.optional<Schema.Boolean>
       readonly metadata: Schema.optional<
-        Schema.$Record<Schema.String, Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json, never, never>>>
+        Schema.$Record<Schema.String, Schema.NullOr<Schema.Codec<Schema.Json>>>
       >
       readonly preliminary: Schema.optional<Schema.Boolean>
       readonly id: Schema.String
@@ -1795,7 +1793,7 @@ export const ToolApprovalRequestPart: Schema.Struct<{
   readonly toolCallId: Schema.String
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -1888,7 +1886,7 @@ export const FilePart: Schema.Struct<{
   readonly data: Schema.Uint8ArrayFromBase64
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -1985,7 +1983,7 @@ export const DocumentSourcePart: Schema.Struct<{
   readonly fileName: Schema.optionalKey<Schema.String>
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -2076,7 +2074,7 @@ export const UrlSourcePart: Schema.Struct<{
   readonly title: Schema.String
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -2115,7 +2113,7 @@ export const UrlSourcePart: Schema.Struct<{
  * @category schemas
  */
 export const HttpRequestDetails = Schema.Struct({
-  method: Schema.Literals(["GET", "POST", "PATCH", "PUT", "DELETE", "HEAD", "OPTIONS"]),
+  method: Schema.Literals(["GET", "POST", "PATCH", "PUT", "DELETE", "HEAD", "OPTIONS", "TRACE"]),
   url: Schema.String,
   urlParams: Schema.Array(Schema.Tuple([Schema.String, Schema.String])),
   hash: Schema.UndefinedOr(Schema.String),
@@ -2257,7 +2255,7 @@ export const ResponseMetadataPart: Schema.Struct<{
   readonly request: Schema.UndefinedOr<typeof HttpRequestDetails>
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -2464,7 +2462,7 @@ export const FinishPart: Schema.Struct<{
   readonly response: Schema.UndefinedOr<typeof HttpResponseDetails>
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,
@@ -2527,7 +2525,7 @@ export const ErrorPart: Schema.Struct<{
   readonly error: Schema.Unknown
   readonly "~effect/ai/Content/Part": Schema.withDecodingDefaultKey<Schema.tag<"~effect/ai/Content/Part">>
   readonly metadata: Schema.withDecodingDefault<
-    Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json>>
+    Schema.$Record<Schema.String, Schema.Codec<Schema.Json>>
   >
 }> = Schema.Struct({
   ...BasePart.fields,