STET■

agent_patch

runs/2026-02-27__21-30-28__gpt-5-1-codex-mini/flux-pr-3535/flux-pr-3535.1-of-1.2026-02-27__21-30-28__gpt-5-1-codex-mini/agent-logs/agent.patch

3062 bytes

Back to adjudication
diff --git a/tmp/agent-patch-flux-pr-3535.1-of-1.2026-02-27__21-30-28__gpt-5-1-codex-mini/app/deno/lib/types.ts b/app/deno/lib/types.ts
index 19bbdd6..060ed91 100644
--- a/tmp/agent-patch-flux-pr-3535.1-of-1.2026-02-27__21-30-28__gpt-5-1-codex-mini/app/deno/lib/types.ts
+++ b/app/deno/lib/types.ts
@@ -3165,7 +3165,7 @@ export type ZodDiscriminatedUnionOption<Discriminator extends string> =
 
 export interface ZodDiscriminatedUnionDef<
   Discriminator extends string,
-  Options extends ZodDiscriminatedUnionOption<string>[] = ZodDiscriminatedUnionOption<string>[]
+  Options extends ReadonlyArray<ZodDiscriminatedUnionOption<string>> = ReadonlyArray<ZodDiscriminatedUnionOption<string>>
 > extends ZodTypeDef {
   discriminator: Discriminator;
   options: Options;
@@ -3175,7 +3175,7 @@ export interface ZodDiscriminatedUnionDef<
 
 export class ZodDiscriminatedUnion<
   Discriminator extends string,
-  Options extends ZodDiscriminatedUnionOption<Discriminator>[]
+  Options extends ReadonlyArray<ZodDiscriminatedUnionOption<Discriminator>>
 > extends ZodType<
   output<Options[number]>,
   ZodDiscriminatedUnionDef<Discriminator, Options>,
@@ -3245,10 +3245,7 @@ export class ZodDiscriminatedUnion<
    */
   static create<
     Discriminator extends string,
-    Types extends [
-      ZodDiscriminatedUnionOption<Discriminator>,
-      ...ZodDiscriminatedUnionOption<Discriminator>[]
-    ]
+    Types extends ReadonlyArray<ZodDiscriminatedUnionOption<Discriminator>>
   >(
     discriminator: Discriminator,
     options: Types,
diff --git a/tmp/agent-patch-flux-pr-3535.1-of-1.2026-02-27__21-30-28__gpt-5-1-codex-mini/app/src/types.ts b/app/src/types.ts
index bbb857a..64f7cb2 100644
--- a/tmp/agent-patch-flux-pr-3535.1-of-1.2026-02-27__21-30-28__gpt-5-1-codex-mini/app/src/types.ts
+++ b/app/src/types.ts
@@ -3165,7 +3165,7 @@ export type ZodDiscriminatedUnionOption<Discriminator extends string> =
 
 export interface ZodDiscriminatedUnionDef<
   Discriminator extends string,
-  Options extends ZodDiscriminatedUnionOption<string>[] = ZodDiscriminatedUnionOption<string>[]
+  Options extends ReadonlyArray<ZodDiscriminatedUnionOption<string>> = ReadonlyArray<ZodDiscriminatedUnionOption<string>>
 > extends ZodTypeDef {
   discriminator: Discriminator;
   options: Options;
@@ -3175,7 +3175,7 @@ export interface ZodDiscriminatedUnionDef<
 
 export class ZodDiscriminatedUnion<
   Discriminator extends string,
-  Options extends ZodDiscriminatedUnionOption<Discriminator>[]
+  Options extends ReadonlyArray<ZodDiscriminatedUnionOption<Discriminator>>
 > extends ZodType<
   output<Options[number]>,
   ZodDiscriminatedUnionDef<Discriminator, Options>,
@@ -3245,10 +3245,7 @@ export class ZodDiscriminatedUnion<
    */
   static create<
     Discriminator extends string,
-    Types extends [
-      ZodDiscriminatedUnionOption<Discriminator>,
-      ...ZodDiscriminatedUnionOption<Discriminator>[]
-    ]
+    Types extends ReadonlyArray<ZodDiscriminatedUnionOption<Discriminator>>
   >(
     discriminator: Discriminator,
     options: Types,