effect-agent 0.1.0-beta.91 → 0.1.0-beta.92

package/src/durable/GitHubWorkflowSource.ts

@@ -1,6 +1,7 @@
-import { Context, Effect, Encoding, FileSystem, Layer, Redacted, Schema } from "effect";
+import { Context, Effect, Encoding, ByteSize, Layer, Redacted, Schema } from "effect";
 import { HttpClient, HttpIncomingMessage, HttpClientRequest } from "effect/unstable/http";
 
+import { strictSchema } from "../core/internal/strict-schema.ts";
 import { makeEventSource, type EventSource } from "./EventSource.ts";
 import type { Principal } from "./SubmissionLedger.ts";
 import type { EventAcknowledgement } from "./Subscription.ts";
@@ -18,28 +19,21 @@ const GitCommitSha = Schema.String.check(Schema.isPattern(/^(?:[0-9a-f]{40}|[0-9
 const GitHubConclusion = Schema.NonEmptyString.check(Schema.isMaxLength(64));
 const GitHubStatus = Schema.NonEmptyString.check(Schema.isMaxLength(32));
 
-const strict = <S extends Schema.Top>(schema: S) =>
-  schema.pipe(Schema.annotate({ parseOptions: { onExcessProperty: "error" } }));
-
 /** One repository whose identity and credentials are selected by the host. */
-export const GitHubRepository = strict(
-  Schema.Struct({
-    id: PositiveId,
-    owner: GitHubName,
-    name: GitHubName,
-  }),
-);
+export const GitHubRepository = Schema.Struct({
+  id: PositiveId,
+  owner: GitHubName,
+  name: GitHubName,
+}).pipe(strictSchema);
 
 export type GitHubRepository = typeof GitHubRepository.Type;
 
 /** Exact workflow attempt requested by an Agent through a host-permitted source. */
-export const GitHubWorkflowRunWatch = strict(
-  Schema.Struct({
-    runId: PositiveId,
-    attempt: PositiveId,
-    expectedHeadSha: GitCommitSha,
-  }),
-);
+export const GitHubWorkflowRunWatch = Schema.Struct({
+  runId: PositiveId,
+  attempt: PositiveId,
+  expectedHeadSha: GitCommitSha,
+}).pipe(strictSchema);
 
 export type GitHubWorkflowRunWatch = typeof GitHubWorkflowRunWatch.Type;
 
@@ -47,15 +41,13 @@ export type GitHubWorkflowRunWatch = typeof GitHubWorkflowRunWatch.Type;
  * Small canonical completion shared by webhook intake and REST reconciliation. Provider delivery
  * IDs, URLs, actors, and mutable metadata are deliberately omitted from durable event identity.
  */
-export const GitHubWorkflowRunCompletion = strict(
-  Schema.Struct({
-    repositoryId: PositiveId,
-    runId: PositiveId,
-    attempt: PositiveId,
-    headSha: GitCommitSha,
-    conclusion: GitHubConclusion,
-  }),
-);
+export const GitHubWorkflowRunCompletion = Schema.Struct({
+  repositoryId: PositiveId,
+  runId: PositiveId,
+  attempt: PositiveId,
+  headSha: GitCommitSha,
+  conclusion: GitHubConclusion,
+}).pipe(strictSchema);
 
 export type GitHubWorkflowRunCompletion = typeof GitHubWorkflowRunCompletion.Type;
 
@@ -144,18 +136,18 @@ export const githubWorkflowRunsHttpLayer = (
     Effect.gen(function* () {
       const client = yield* HttpClient.HttpClient;
 
-      const permittedRepository = yield* Schema.decodeEffect(GitHubRepository)(
-        options.repository,
-      ).pipe(Effect.mapError(() => httpFailure("invalid-response", false)));
+      const permittedRepository = yield* Schema.decodeEffect(GitHubRepository, {
+        onExcessProperty: "error",
+      })(options.repository).pipe(Effect.mapError(() => httpFailure("invalid-response", false)));
 
       const apiUrl = (options.apiUrl ?? "https://api.github.com").replace(/\/$/, "");
 
       const getAttempt = Effect.fn("GitHubWorkflowRuns.getAttempt")(function* (
         request: GitHubWorkflowRunAttemptRequest,
       ) {
-        const repository = yield* Schema.decodeEffect(GitHubRepository)(request.repository).pipe(
-          Effect.mapError(() => httpFailure("invalid-response", false)),
-        );
+        const repository = yield* Schema.decodeEffect(GitHubRepository, {
+          onExcessProperty: "error",
+        })(request.repository).pipe(Effect.mapError(() => httpFailure("invalid-response", false)));
 
         if (
           repository.id !== permittedRepository.id ||
@@ -165,7 +157,9 @@ export const githubWorkflowRunsHttpLayer = (
           return yield* httpFailure("unauthorized", false);
         }
 
-        const watch = yield* Schema.decodeEffect(GitHubWorkflowRunWatch)({
+        const watch = yield* Schema.decodeEffect(GitHubWorkflowRunWatch, {
+          onExcessProperty: "error",
+        })({
           runId: request.runId,
           attempt: request.attempt,
           expectedHeadSha: "0".repeat(40),
@@ -203,7 +197,7 @@ export const githubWorkflowRunsHttpLayer = (
         }
 
         return yield* response.json.pipe(
-          Effect.provideService(HttpIncomingMessage.MaxBodySize, FileSystem.Size(1024 * 1024)),
+          Effect.provideService(HttpIncomingMessage.MaxBodySize, ByteSize.mebibytes(1)),
           Effect.mapError(() => httpFailure("invalid-response", false)),
           Effect.flatMap(Schema.decodeUnknownEffect(GitHubWorkflowRunAttempt)),
           Effect.mapError(() => httpFailure("invalid-response", false)),
@@ -261,9 +255,9 @@ export interface GitHubWorkflowRunSourceOptions {
 export const makeGitHubWorkflowRunSource = Effect.fn("makeGitHubWorkflowRunSource")(function* (
   options: GitHubWorkflowRunSourceOptions,
 ): Effect.fn.Return<EventSource, SubscriptionSourceError, GitHubWorkflowRuns> {
-  const repository = yield* Schema.decodeEffect(GitHubRepository)(options.repository).pipe(
-    Effect.mapError(() => sourceError("github-repository-configuration", false)),
-  );
+  const repository = yield* Schema.decodeEffect(GitHubRepository, { onExcessProperty: "error" })(
+    options.repository,
+  ).pipe(Effect.mapError(() => sourceError("github-repository-configuration", false)));
 
   const runs = yield* GitHubWorkflowRuns;
 

package/src/durable/Records.ts

@@ -1,4 +1,4 @@
-import { Schema } from "effect";
+import { Option, Schema } from "effect";
 import { Prompt } from "effect/unstable/ai";
 
 import { InputMessage } from "../capabilities/Messaging.ts";
@@ -17,6 +17,7 @@ import {
   ToolCallId,
   TurnId,
 } from "../core/Identifiers.ts";
+import { strictSchema } from "../core/internal/strict-schema.ts";
 import { utf8ByteLength } from "../core/internal/utf8.ts";
 import { IdempotencyKey, Principal } from "../core/Receipt.ts";
 import { ExhaustedLimit } from "../core/RunEvent.ts";
@@ -95,9 +96,9 @@ export const SettlementFailureDiagnostic = Schema.Struct({
   errorTag: SettlementFailureTag,
   message: SettlementFailureMessage,
 }).pipe(
+  strictSchema,
   Schema.annotate({
     identifier: "@effect-agent/thread/SettlementFailureDiagnostic",
-    parseOptions: { onExcessProperty: "error" },
   }),
 );
 
@@ -594,7 +595,9 @@ const isPolicyFailureProjection = Schema.is(
   Schema.Struct({ errorTag: Schema.Literal("AgentPolicyError") }),
 );
 
-const isSettlementFailureDiagnostic = Schema.is(SettlementFailureDiagnostic);
+const decodeSettlementFailureDiagnostic = Schema.decodeUnknownOption(SettlementFailureDiagnostic, {
+  onExcessProperty: "error",
+});
 
 const hasValidSettlementFamily = (settled: typeof RawSubmissionSettled.Type): boolean =>
   (settled.finishReason === undefined || settled.outcome === "completed") &&
@@ -607,7 +610,8 @@ const hasValidSettlementFamily = (settled: typeof RawSubmissionSettled.Type): bo
       settled.finishReason === undefined &&
       settled.runId !== undefined &&
       settled.result !== undefined)) &&
-  (settled.outcome !== "failed" || isSettlementFailureDiagnostic(settled.result)) &&
+  (settled.outcome !== "failed" ||
+    Option.isSome(decodeSettlementFailureDiagnostic(settled.result))) &&
   (settled.outcome !== "aborted" || settled.result === undefined) &&
   (settled.policyLimit === undefined ||
     (settled.outcome === "failed" && isPolicyFailureProjection(settled.result)));

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

@@ -4,7 +4,7 @@ import { Response } from "effect/unstable/ai";
 import { utf8ByteLength } from "../../core/internal/utf8.ts";
 import { boundedValueFootprint } from "./bounded-value.ts";
 
-const brand = "~effect/ai/Content/Part";
+const brand = "~effect/ai/Response/Part";
 const keys = [brand, "type", "id", "delta", "metadata"];
 
 const decode = Schema.decodeUnknownOption(

package/src/sandbox/InteractiveBrowser.ts

@@ -75,7 +75,7 @@ export const InteractiveBrowserNetworkPolicy = Schema.Union([
   }),
   Schema.TaggedStruct("PublicWeb", {}),
   Schema.TaggedStruct("Unrestricted", {}),
-]).pipe(Schema.annotate({ parseOptions: { onExcessProperty: "error" } }));
+]);
 
 export type InteractiveBrowserNetworkPolicy = typeof InteractiveBrowserNetworkPolicy.Type;
 
@@ -88,7 +88,7 @@ export class InteractiveBrowserPolicy extends Schema.Class<InteractiveBrowserPol
     maxActions: PositiveInt.check(Schema.isLessThanOrEqualTo(1_000)),
     maxElapsedMillis: PositiveInt.check(Schema.isLessThanOrEqualTo(60 * 60_000)),
     maxReturnedBytes: PositiveInt.check(Schema.isLessThanOrEqualTo(8 * 1024 * 1024)),
-  }).pipe(Schema.annotate({ parseOptions: { onExcessProperty: "error" } })),
+  }),
 ) {}
 
 export class BrowserNavigateRequest extends Schema.Class<BrowserNavigateRequest>(

package/src/sandbox/PageCapture.ts

@@ -160,10 +160,7 @@ type ResponseFormatNode = Schema.JsonObject & {
 };
 
 const ResponseFormatNode: Schema.Codec<ResponseFormatNode> = Schema.suspend(
-  (): Schema.Codec<ResponseFormatNode> =>
-    Schema.Struct(responseFormatFields()).pipe(
-      Schema.annotate({ parseOptions: { onExcessProperty: "error" } }),
-    ),
+  (): Schema.Codec<ResponseFormatNode> => Schema.Struct(responseFormatFields()),
 );
 
 const responseFormatFields = () => {
@@ -257,9 +254,11 @@ const responseFormatFields = () => {
 const ResponseFormatDocument = Schema.Struct({
   ...responseFormatFields(),
   type: Schema.Literal("object"),
-}).pipe(Schema.annotate({ parseOptions: { onExcessProperty: "error" } }));
+});
 
-const isResponseFormatDocument = Schema.is(ResponseFormatDocument);
+const decodeResponseFormatDocument = Schema.decodeUnknownOption(ResponseFormatDocument, {
+  onExcessProperty: "error",
+});
 
 /** Preflight graph bounds before recursively decoding an untrusted JSON Schema. */
 const isBoundedResponseFormat = (input: unknown): input is typeof ResponseFormatDocument.Type => {
@@ -313,7 +312,7 @@ const isBoundedResponseFormat = (input: unknown): input is typeof ResponseFormat
       }
     }
 
-    if (!isResponseFormatDocument(input)) return false;
+    if (Option.isNone(decodeResponseFormatDocument(input))) return false;
     const encoded = JSON.stringify(input);
 
     return Encoding.encodeHex(encoded).length / 2 <= MAX_RESPONSE_FORMAT_BYTES;

package/src/sandbox/ProtectedBrowser.ts

@@ -140,7 +140,7 @@ export class ProtectedBrowserFill extends Schema.Class<ProtectedBrowserFill>(
   Schema.Struct({
     ref: BrowserReference,
     value: Schema.String.check(Schema.isMaxLength(8192)),
-  }).pipe(Schema.annotate({ parseOptions: { onExcessProperty: "error" } })),
+  }),
 ) {}
 
 export const CredentialDispatch = Schema.Literals([