@open-cr-agent/cloud-contract 0.0.0-stage → 0.5.0

package/dist/preferences.d.ts

@@ -0,0 +1,499 @@
+import { z } from "zod";
+export declare const cloudModelSchema: z.ZodString;
+/** A failback chain: up to MAX_CHAIN models, or one model on its own. */
+export declare const modelChainSchema: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>, z.ZodTransform<string[], string | string[]>>, z.ZodArray<z.ZodString>>;
+export declare const modelChainsSchema: z.ZodPipe<z.ZodObject<{
+    top: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>, z.ZodTransform<string[], string | string[]>>, z.ZodArray<z.ZodString>>>>;
+    standard: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>, z.ZodTransform<string[], string | string[]>>, z.ZodArray<z.ZodString>>>>;
+    light: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>, z.ZodTransform<string[], string | string[]>>, z.ZodArray<z.ZodString>>>>;
+}, z.core.$strip>, z.ZodTransform<{
+    top?: string[];
+    standard?: string[];
+    light?: string[];
+}, {
+    top?: string[] | null | undefined;
+    standard?: string[] | null | undefined;
+    light?: string[] | null | undefined;
+}>>;
+export type ModelChains = z.output<typeof modelChainsSchema>;
+export declare const agentPrefsSchema: z.ZodPipe<z.ZodObject<{
+    effort: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        top: z.ZodPipe<z.ZodOptional<z.ZodUnion<readonly [z.ZodEnum<{
+            high: "high";
+            low: "low";
+            medium: "medium";
+            minimal: "minimal";
+            none: "none";
+        }>, z.ZodLiteral<"">, z.ZodNull]>>, z.ZodTransform<"high" | "low" | "medium" | "minimal" | "none" | undefined, "" | "high" | "low" | "medium" | "minimal" | "none" | null | undefined>>;
+        standard: z.ZodPipe<z.ZodOptional<z.ZodUnion<readonly [z.ZodEnum<{
+            high: "high";
+            low: "low";
+            medium: "medium";
+            minimal: "minimal";
+            none: "none";
+        }>, z.ZodLiteral<"">, z.ZodNull]>>, z.ZodTransform<"high" | "low" | "medium" | "minimal" | "none" | undefined, "" | "high" | "low" | "medium" | "minimal" | "none" | null | undefined>>;
+        light: z.ZodPipe<z.ZodOptional<z.ZodUnion<readonly [z.ZodEnum<{
+            high: "high";
+            low: "low";
+            medium: "medium";
+            minimal: "minimal";
+            none: "none";
+        }>, z.ZodLiteral<"">, z.ZodNull]>>, z.ZodTransform<"high" | "low" | "medium" | "minimal" | "none" | undefined, "" | "high" | "low" | "medium" | "minimal" | "none" | null | undefined>>;
+    }, z.core.$strip>>>, z.ZodTransform<{
+        top?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        standard?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        light?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+    }, {
+        top: "high" | "low" | "medium" | "minimal" | "none" | undefined;
+        standard: "high" | "low" | "medium" | "minimal" | "none" | undefined;
+        light: "high" | "low" | "medium" | "minimal" | "none" | undefined;
+    } | null | undefined>>;
+    reviewers: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        enabled: z.ZodOptional<z.ZodBoolean>;
+        models: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>, z.ZodTransform<string[], string | string[]>>, z.ZodArray<z.ZodString>>>>;
+        effort: z.ZodPipe<z.ZodOptional<z.ZodUnion<readonly [z.ZodEnum<{
+            high: "high";
+            low: "low";
+            medium: "medium";
+            minimal: "minimal";
+            none: "none";
+        }>, z.ZodLiteral<"">, z.ZodNull]>>, z.ZodTransform<"high" | "low" | "medium" | "minimal" | "none" | undefined, "" | "high" | "low" | "medium" | "minimal" | "none" | null | undefined>>;
+    }, z.core.$strip>>>, z.ZodTransform<{
+        enabled?: NonNullable<boolean | undefined>;
+        models?: string[];
+        effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+    }, {
+        enabled?: boolean | undefined;
+        models?: string[] | null | undefined;
+        effort: "high" | "low" | "medium" | "minimal" | "none" | undefined;
+    } | null | undefined>>>>>, z.ZodTransform<{
+        [x: string]: {
+            enabled?: NonNullable<boolean | undefined>;
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        } | undefined;
+    }, Record<string, {
+        enabled?: NonNullable<boolean | undefined>;
+        models?: string[];
+        effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+    }> | null | undefined>>;
+    roles: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodEnum<{
+        helper: "helper";
+        judge: "judge";
+        verifier: "verifier";
+    }> & z.core.$partial, z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        models: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>, z.ZodTransform<string[], string | string[]>>, z.ZodArray<z.ZodString>>>>;
+        effort: z.ZodPipe<z.ZodOptional<z.ZodUnion<readonly [z.ZodEnum<{
+            high: "high";
+            low: "low";
+            medium: "medium";
+            minimal: "minimal";
+            none: "none";
+        }>, z.ZodLiteral<"">, z.ZodNull]>>, z.ZodTransform<"high" | "low" | "medium" | "minimal" | "none" | undefined, "" | "high" | "low" | "medium" | "minimal" | "none" | null | undefined>>;
+    }, z.core.$strip>>>, z.ZodTransform<{
+        models?: string[];
+        effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+    }, {
+        models?: string[] | null | undefined;
+        effort: "high" | "low" | "medium" | "minimal" | "none" | undefined;
+    } | null | undefined>>>>>, z.ZodTransform<{
+        helper?: {
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        };
+        judge?: {
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        };
+        verifier?: {
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        };
+    }, Partial<Record<"helper" | "judge" | "verifier", {
+        models?: string[];
+        effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+    }>> | null | undefined>>;
+}, z.core.$strip>, z.ZodTransform<{
+    effort?: {
+        top?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        standard?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        light?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+    };
+    reviewers?: {
+        [x: string]: {
+            enabled?: NonNullable<boolean | undefined>;
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        } | undefined;
+    };
+    roles?: {
+        helper?: {
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        };
+        judge?: {
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        };
+        verifier?: {
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        };
+    };
+}, {
+    effort: {
+        top?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        standard?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        light?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+    };
+    reviewers: {
+        [x: string]: {
+            enabled?: NonNullable<boolean | undefined>;
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        } | undefined;
+    };
+    roles: {
+        helper?: {
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        };
+        judge?: {
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        };
+        verifier?: {
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        };
+    };
+}>>;
+export type AgentPrefs = z.output<typeof agentPrefsSchema>;
+/** The review's data settings an account may hold, with the configuration file's bounds. */
+export declare const reviewSettingsSchema: z.ZodPipe<z.ZodObject<{
+    ultra: z.ZodOptional<z.ZodNullable<z.ZodBoolean>>;
+    concurrency: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    taskTimeoutMinutes: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    runTimeoutMinutes: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    maxCostUsd: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    maxTasks: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    verify: z.ZodOptional<z.ZodNullable<z.ZodBoolean>>;
+    judge: z.ZodOptional<z.ZodNullable<z.ZodBoolean>>;
+    sampling: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        temperature: z.ZodOptional<z.ZodNumber>;
+        seed: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>>>, z.ZodTransform<{
+        temperature?: number;
+        seed?: number;
+    } | null | undefined, {
+        temperature?: number | undefined;
+        seed?: number | undefined;
+    } | null | undefined>>;
+    include: z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString>>>;
+    exclude: z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString>>>;
+    rules: z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodObject<{
+        path: z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]>;
+        rule: z.ZodPipe<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>, z.ZodString>;
+    }, z.core.$strict>>>>;
+    plugins: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString>>>, z.ZodTransform<string[] | null | undefined, string[] | null | undefined>>;
+    pluginSettings: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
+}, z.core.$strict>, z.ZodTransform<{
+    ultra?: NonNullable<boolean | null | undefined>;
+    concurrency?: number;
+    taskTimeoutMinutes?: number;
+    runTimeoutMinutes?: number;
+    maxCostUsd?: number;
+    maxTasks?: number;
+    verify?: NonNullable<boolean | null | undefined>;
+    judge?: NonNullable<boolean | null | undefined>;
+    sampling?: {
+        temperature?: number;
+        seed?: number;
+    };
+    include?: string[];
+    exclude?: string[];
+    rules?: {
+        path: string | string[];
+        rule: string;
+    }[];
+    plugins?: string[];
+    pluginSettings?: Record<string, unknown>;
+}, {
+    ultra?: boolean | null | undefined;
+    concurrency?: number | null | undefined;
+    taskTimeoutMinutes?: number | null | undefined;
+    runTimeoutMinutes?: number | null | undefined;
+    maxCostUsd?: number | null | undefined;
+    maxTasks?: number | null | undefined;
+    verify?: boolean | null | undefined;
+    judge?: boolean | null | undefined;
+    sampling: {
+        temperature?: number;
+        seed?: number;
+    } | null | undefined;
+    include?: string[] | null | undefined;
+    exclude?: string[] | null | undefined;
+    rules?: {
+        path: string | string[];
+        rule: string;
+    }[] | null | undefined;
+    plugins: string[] | null | undefined;
+    pluginSettings?: Record<string, unknown> | null | undefined;
+}>>;
+export type ReviewSettings = z.output<typeof reviewSettingsSchema>;
+/**
+ * PUT /api/preferences. A part the body leaves out keeps its saved value;
+ * null clears it. `baseVersion` is the version the web's draft started
+ * from: a save from a stale tab answers `stale`. A body without it (the
+ * CLI) saves.
+ */
+export declare const preferencesUpdateSchema: z.ZodObject<{
+    runtime: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+        direct: "direct";
+        opencode: "opencode";
+    }>>>;
+    models: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodObject<{
+        top: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>, z.ZodTransform<string[], string | string[]>>, z.ZodArray<z.ZodString>>>>;
+        standard: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>, z.ZodTransform<string[], string | string[]>>, z.ZodArray<z.ZodString>>>>;
+        light: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>, z.ZodTransform<string[], string | string[]>>, z.ZodArray<z.ZodString>>>>;
+    }, z.core.$strip>, z.ZodTransform<{
+        top?: string[];
+        standard?: string[];
+        light?: string[];
+    }, {
+        top?: string[] | null | undefined;
+        standard?: string[] | null | undefined;
+        light?: string[] | null | undefined;
+    }>>>>;
+    agents: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodObject<{
+        effort: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            top: z.ZodPipe<z.ZodOptional<z.ZodUnion<readonly [z.ZodEnum<{
+                high: "high";
+                low: "low";
+                medium: "medium";
+                minimal: "minimal";
+                none: "none";
+            }>, z.ZodLiteral<"">, z.ZodNull]>>, z.ZodTransform<"high" | "low" | "medium" | "minimal" | "none" | undefined, "" | "high" | "low" | "medium" | "minimal" | "none" | null | undefined>>;
+            standard: z.ZodPipe<z.ZodOptional<z.ZodUnion<readonly [z.ZodEnum<{
+                high: "high";
+                low: "low";
+                medium: "medium";
+                minimal: "minimal";
+                none: "none";
+            }>, z.ZodLiteral<"">, z.ZodNull]>>, z.ZodTransform<"high" | "low" | "medium" | "minimal" | "none" | undefined, "" | "high" | "low" | "medium" | "minimal" | "none" | null | undefined>>;
+            light: z.ZodPipe<z.ZodOptional<z.ZodUnion<readonly [z.ZodEnum<{
+                high: "high";
+                low: "low";
+                medium: "medium";
+                minimal: "minimal";
+                none: "none";
+            }>, z.ZodLiteral<"">, z.ZodNull]>>, z.ZodTransform<"high" | "low" | "medium" | "minimal" | "none" | undefined, "" | "high" | "low" | "medium" | "minimal" | "none" | null | undefined>>;
+        }, z.core.$strip>>>, z.ZodTransform<{
+            top?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            standard?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            light?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        }, {
+            top: "high" | "low" | "medium" | "minimal" | "none" | undefined;
+            standard: "high" | "low" | "medium" | "minimal" | "none" | undefined;
+            light: "high" | "low" | "medium" | "minimal" | "none" | undefined;
+        } | null | undefined>>;
+        reviewers: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            enabled: z.ZodOptional<z.ZodBoolean>;
+            models: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>, z.ZodTransform<string[], string | string[]>>, z.ZodArray<z.ZodString>>>>;
+            effort: z.ZodPipe<z.ZodOptional<z.ZodUnion<readonly [z.ZodEnum<{
+                high: "high";
+                low: "low";
+                medium: "medium";
+                minimal: "minimal";
+                none: "none";
+            }>, z.ZodLiteral<"">, z.ZodNull]>>, z.ZodTransform<"high" | "low" | "medium" | "minimal" | "none" | undefined, "" | "high" | "low" | "medium" | "minimal" | "none" | null | undefined>>;
+        }, z.core.$strip>>>, z.ZodTransform<{
+            enabled?: NonNullable<boolean | undefined>;
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        }, {
+            enabled?: boolean | undefined;
+            models?: string[] | null | undefined;
+            effort: "high" | "low" | "medium" | "minimal" | "none" | undefined;
+        } | null | undefined>>>>>, z.ZodTransform<{
+            [x: string]: {
+                enabled?: NonNullable<boolean | undefined>;
+                models?: string[];
+                effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            } | undefined;
+        }, Record<string, {
+            enabled?: NonNullable<boolean | undefined>;
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        }> | null | undefined>>;
+        roles: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodEnum<{
+            helper: "helper";
+            judge: "judge";
+            verifier: "verifier";
+        }> & z.core.$partial, z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            models: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>, z.ZodTransform<string[], string | string[]>>, z.ZodArray<z.ZodString>>>>;
+            effort: z.ZodPipe<z.ZodOptional<z.ZodUnion<readonly [z.ZodEnum<{
+                high: "high";
+                low: "low";
+                medium: "medium";
+                minimal: "minimal";
+                none: "none";
+            }>, z.ZodLiteral<"">, z.ZodNull]>>, z.ZodTransform<"high" | "low" | "medium" | "minimal" | "none" | undefined, "" | "high" | "low" | "medium" | "minimal" | "none" | null | undefined>>;
+        }, z.core.$strip>>>, z.ZodTransform<{
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        }, {
+            models?: string[] | null | undefined;
+            effort: "high" | "low" | "medium" | "minimal" | "none" | undefined;
+        } | null | undefined>>>>>, z.ZodTransform<{
+            helper?: {
+                models?: string[];
+                effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            };
+            judge?: {
+                models?: string[];
+                effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            };
+            verifier?: {
+                models?: string[];
+                effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            };
+        }, Partial<Record<"helper" | "judge" | "verifier", {
+            models?: string[];
+            effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        }>> | null | undefined>>;
+    }, z.core.$strip>, z.ZodTransform<{
+        effort?: {
+            top?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            standard?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            light?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        };
+        reviewers?: {
+            [x: string]: {
+                enabled?: NonNullable<boolean | undefined>;
+                models?: string[];
+                effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            } | undefined;
+        };
+        roles?: {
+            helper?: {
+                models?: string[];
+                effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            };
+            judge?: {
+                models?: string[];
+                effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            };
+            verifier?: {
+                models?: string[];
+                effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            };
+        };
+    }, {
+        effort: {
+            top?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            standard?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            light?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+        };
+        reviewers: {
+            [x: string]: {
+                enabled?: NonNullable<boolean | undefined>;
+                models?: string[];
+                effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            } | undefined;
+        };
+        roles: {
+            helper?: {
+                models?: string[];
+                effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            };
+            judge?: {
+                models?: string[];
+                effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            };
+            verifier?: {
+                models?: string[];
+                effort?: NonNullable<"high" | "low" | "medium" | "minimal" | "none" | undefined>;
+            };
+        };
+    }>>>>;
+    settings: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodObject<{
+        ultra: z.ZodOptional<z.ZodNullable<z.ZodBoolean>>;
+        concurrency: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+        taskTimeoutMinutes: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+        runTimeoutMinutes: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+        maxCostUsd: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+        maxTasks: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+        verify: z.ZodOptional<z.ZodNullable<z.ZodBoolean>>;
+        judge: z.ZodOptional<z.ZodNullable<z.ZodBoolean>>;
+        sampling: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            temperature: z.ZodOptional<z.ZodNumber>;
+            seed: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>>, z.ZodTransform<{
+            temperature?: number;
+            seed?: number;
+        } | null | undefined, {
+            temperature?: number | undefined;
+            seed?: number | undefined;
+        } | null | undefined>>;
+        include: z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString>>>;
+        exclude: z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString>>>;
+        rules: z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodObject<{
+            path: z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]>;
+            rule: z.ZodPipe<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>, z.ZodString>;
+        }, z.core.$strict>>>>;
+        plugins: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString>>>, z.ZodTransform<string[] | null | undefined, string[] | null | undefined>>;
+        pluginSettings: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
+    }, z.core.$strict>, z.ZodTransform<{
+        ultra?: NonNullable<boolean | null | undefined>;
+        concurrency?: number;
+        taskTimeoutMinutes?: number;
+        runTimeoutMinutes?: number;
+        maxCostUsd?: number;
+        maxTasks?: number;
+        verify?: NonNullable<boolean | null | undefined>;
+        judge?: NonNullable<boolean | null | undefined>;
+        sampling?: {
+            temperature?: number;
+            seed?: number;
+        };
+        include?: string[];
+        exclude?: string[];
+        rules?: {
+            path: string | string[];
+            rule: string;
+        }[];
+        plugins?: string[];
+        pluginSettings?: Record<string, unknown>;
+    }, {
+        ultra?: boolean | null | undefined;
+        concurrency?: number | null | undefined;
+        taskTimeoutMinutes?: number | null | undefined;
+        runTimeoutMinutes?: number | null | undefined;
+        maxCostUsd?: number | null | undefined;
+        maxTasks?: number | null | undefined;
+        verify?: boolean | null | undefined;
+        judge?: boolean | null | undefined;
+        sampling: {
+            temperature?: number;
+            seed?: number;
+        } | null | undefined;
+        include?: string[] | null | undefined;
+        exclude?: string[] | null | undefined;
+        rules?: {
+            path: string | string[];
+            rule: string;
+        }[] | null | undefined;
+        plugins: string[] | null | undefined;
+        pluginSettings?: Record<string, unknown> | null | undefined;
+    }>>>>;
+    baseVersion: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+}, z.core.$strip>;
+export type PreferencesUpdate = z.input<typeof preferencesUpdateSchema>;
+/**
+ * GET /api/preferences: `runtime`, `models`, `agents`, `settings`,
+ * `updatedAt` and `version` (null before the first save). A client reads
+ * it key by key, so a key it does not know never breaks it.
+ */
+export declare const preferencesAnswerSchema: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+//# sourceMappingURL=preferences.d.ts.map

package/dist/preferences.js

@@ -0,0 +1,151 @@
+import { z } from "zod";
+import { MAX_CHAIN } from "./limits.js";
+import { CLOUD_PREFIX, isCloudModel } from "./providers.js";
+import { AGENT_ROLES, agentRoleSchema, effortSchema, REVIEWER_ID, runtimeSchema, } from "./vocabulary.js";
+// The account's settings (ADR-0025, ADR-0027): what the web saves with
+// PUT /api/preferences and a CLI layers under a repository's
+// configuration. Never providers, extends or botLogin: those can move code
+// or keys, and only a configuration file may set them.
+//
+// A value of null, "" or [] sets nothing. ocra Cloud also refuses a model
+// whose provider has no OpenAI-compatible chat route, which it alone knows.
+// Drops the keys that set nothing.
+function present(value) {
+    return Object.fromEntries(Object.entries(value).filter(([, v]) => v !== undefined &&
+        v !== null &&
+        !(Array.isArray(v) && v.length === 0) &&
+        !(typeof v === "object" && !Array.isArray(v) && Object.keys(v).length === 0)));
+}
+// null or absent sets nothing, typed as the object it stands for.
+function presentOrNone(value) {
+    return present(value ?? {});
+}
+export const cloudModelSchema = z
+    .string()
+    .refine(isCloudModel, `a model is ${CLOUD_PREFIX}<provider>/<model>`);
+/** A failback chain: up to MAX_CHAIN models, or one model on its own. */
+export const modelChainSchema = z
+    .union([z.array(z.string()), z.string()])
+    .transform((v) => (Array.isArray(v) ? v : [v]).filter((m) => m !== ""))
+    .pipe(z.array(cloudModelSchema).max(MAX_CHAIN));
+const chain = modelChainSchema.nullish();
+const effort = z
+    .union([effortSchema, z.literal(""), z.null()])
+    .optional()
+    .transform((v) => v || undefined);
+export const modelChainsSchema = z
+    .object({ top: chain, standard: chain, light: chain })
+    .transform(present);
+const reviewerSchema = z
+    .object({ enabled: z.boolean().optional(), models: chain, effort })
+    .nullish()
+    .transform((v) => presentOrNone(v));
+const roleSchema = z
+    .object({ models: chain, effort })
+    .nullish()
+    .transform((v) => presentOrNone(v));
+export const agentPrefsSchema = z
+    .object({
+    effort: z
+        .object({ top: effort, standard: effort, light: effort })
+        .nullish()
+        .transform((v) => presentOrNone(v)),
+    reviewers: z
+        .record(z
+        .string()
+        .regex(REVIEWER_ID)
+        .refine((id) => !AGENT_ROLES.includes(id), "a role, not a reviewer"), reviewerSchema)
+        .refine((r) => Object.keys(r).length <= 30, "at most 30 reviewers")
+        .nullish()
+        .transform((v) => presentOrNone(v)),
+    roles: z
+        .partialRecord(agentRoleSchema, roleSchema)
+        .nullish()
+        .transform((v) => presentOrNone(v)),
+})
+    .transform(present);
+const GLOB = /^[^\n\r\0]{1,300}$/;
+// An npm package name, scoped or not; versions are pinned on each machine.
+const PACKAGE = /^(@[a-z0-9][a-z0-9._~-]*\/)?[a-z0-9][a-z0-9._~-]*$/;
+const MAX_PLUGIN_SETTINGS_JSON = 16_384;
+const globs = z.array(z.string().regex(GLOB)).max(100);
+const minutes = z.number().gt(0).max(600);
+const ruleSchema = z.strictObject({
+    path: z.union([z.string().regex(GLOB), z.array(z.string().regex(GLOB)).min(1).max(20)]),
+    rule: z
+        .string()
+        .max(2_000)
+        .transform((r) => r.trim())
+        .pipe(z.string().min(1)),
+});
+/** The review's data settings an account may hold, with the configuration file's bounds. */
+export const reviewSettingsSchema = z
+    .strictObject({
+    ultra: z.boolean().nullish(),
+    concurrency: z.number().int().min(1).max(32).nullish(),
+    taskTimeoutMinutes: minutes.nullish(),
+    runTimeoutMinutes: minutes.nullish(),
+    maxCostUsd: z.number().gt(0).max(1000).nullish(),
+    maxTasks: z.number().int().min(1).max(1000).nullish(),
+    verify: z.boolean().nullish(),
+    judge: z.boolean().nullish(),
+    sampling: z
+        .strictObject({
+        temperature: z.number().min(0).max(2).optional(),
+        seed: z
+            .number()
+            .int()
+            .min(0)
+            .max(2 ** 31 - 1)
+            .optional(),
+    })
+        .nullish()
+        .transform((v) => (v ? present(v) : v)),
+    include: globs.nullish(),
+    exclude: globs.nullish(),
+    rules: z.array(ruleSchema).max(50).nullish(),
+    plugins: z
+        .array(z.string().max(214).regex(PACKAGE))
+        .max(20)
+        .nullish()
+        .transform((v) => (v ? [...new Set(v)] : v)),
+    // Only for plugins the account lists (ADR-0027); a repository plugin's
+    // settings come from the repository alone.
+    pluginSettings: z
+        .record(z.string(), z.unknown())
+        .refine((s) => JSON.stringify(s).length <= MAX_PLUGIN_SETTINGS_JSON, `at most ${MAX_PLUGIN_SETTINGS_JSON} characters of JSON`)
+        .nullish(),
+})
+    .superRefine((s, ctx) => {
+    const listed = new Set(s.plugins ?? []);
+    for (const name of Object.keys(s.pluginSettings ?? {})) {
+        if (!listed.has(name)) {
+            ctx.addIssue({
+                code: "custom",
+                path: ["pluginSettings", name],
+                message: "settings for a plugin the account does not list",
+            });
+        }
+    }
+})
+    .transform(present);
+/**
+ * PUT /api/preferences. A part the body leaves out keeps its saved value;
+ * null clears it. `baseVersion` is the version the web's draft started
+ * from: a save from a stale tab answers `stale`. A body without it (the
+ * CLI) saves.
+ */
+export const preferencesUpdateSchema = z.object({
+    runtime: runtimeSchema.nullish(),
+    models: modelChainsSchema.nullish(),
+    agents: agentPrefsSchema.nullish(),
+    settings: reviewSettingsSchema.nullish(),
+    baseVersion: z.string().nullish(),
+});
+/**
+ * GET /api/preferences: `runtime`, `models`, `agents`, `settings`,
+ * `updatedAt` and `version` (null before the first save). A client reads
+ * it key by key, so a key it does not know never breaks it.
+ */
+export const preferencesAnswerSchema = z.record(z.string(), z.unknown());
+//# sourceMappingURL=preferences.js.map