@cerebriline/core 4.100.240

package/dist/extensions/tools/schemas.d.ts

@@ -0,0 +1,845 @@
+/**
+ * Zod Schemas for Default Tool Inputs
+ *
+ * These schemas define the input structure for each default tool
+ * and are used for both validation and JSON Schema generation.
+ */
+import { z } from "zod";
+export declare const INPUT_ARG_CHAR_LIMIT = 6000;
+/**
+ * Character ceiling for a single `editor` payload.
+ *
+ * Higher than the shared limit because an edit is not a shell command: the
+ * text is a region of a file, and its size is set by the file rather than by
+ * how concise the model is being. Measured on a 156-message session — a
+ * class-body replacement came to 6,407 characters and was refused for being
+ * 407 over, which cost a re-read and several follow-up edits to say the same
+ * thing. The guard is still here to catch a runaway payload; it should not be
+ * catching ordinary work.
+ */
+export declare const DEFAULT_EDITOR_ARG_CHAR_LIMIT = 32000;
+export declare const EDITOR_ARG_CHAR_LIMIT: number;
+export declare const ReadFileLineRangeSchema: z.ZodObject<{
+    start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+}, z.core.$strip>;
+export declare const ReadFileRequestSchema: z.ZodObject<{
+    path: z.ZodString;
+    start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    line_numbers: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodBoolean>>>;
+}, z.core.$strip>;
+/**
+ * Schema for read_files tool input
+ */
+export declare const ReadFilesInputSchema: z.ZodObject<{
+    files: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        line_numbers: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodBoolean>>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+/**
+ * Union schema for read_files tool input, allowing either a single string, an array of strings, or the full object schema
+ */
+export declare const ReadFilesInputUnionSchema: z.ZodUnion<readonly [z.ZodObject<{
+    files: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        line_numbers: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodBoolean>>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodUnion<readonly [z.ZodObject<{
+    path: z.ZodString;
+    start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    line_numbers: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodBoolean>>>;
+}, z.core.$strip>, z.ZodPipe<z.ZodObject<{
+    start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    file_path: z.ZodString;
+}, z.core.$strip>, z.ZodTransform<{
+    start_line?: number | null | undefined;
+    end_line?: number | null | undefined;
+    path: string;
+}, {
+    file_path: string;
+    start_line?: number | null | undefined;
+    end_line?: number | null | undefined;
+}>>, z.ZodPipe<z.ZodObject<{
+    start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    filePath: z.ZodString;
+}, z.core.$strip>, z.ZodTransform<{
+    start_line?: number | null | undefined;
+    end_line?: number | null | undefined;
+    path: string;
+}, {
+    filePath: string;
+    start_line?: number | null | undefined;
+    end_line?: number | null | undefined;
+}>>]>, z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+    path: z.ZodString;
+    start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    line_numbers: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodBoolean>>>;
+}, z.core.$strip>, z.ZodPipe<z.ZodObject<{
+    start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    file_path: z.ZodString;
+}, z.core.$strip>, z.ZodTransform<{
+    start_line?: number | null | undefined;
+    end_line?: number | null | undefined;
+    path: string;
+}, {
+    file_path: string;
+    start_line?: number | null | undefined;
+    end_line?: number | null | undefined;
+}>>, z.ZodPipe<z.ZodObject<{
+    start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    filePath: z.ZodString;
+}, z.core.$strip>, z.ZodTransform<{
+    start_line?: number | null | undefined;
+    end_line?: number | null | undefined;
+    path: string;
+}, {
+    filePath: string;
+    start_line?: number | null | undefined;
+    end_line?: number | null | undefined;
+}>>]>>, z.ZodArray<z.ZodString>, z.ZodString, z.ZodObject<{
+    files: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+        path: z.ZodString;
+        start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        line_numbers: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodBoolean>>>;
+    }, z.core.$strip>, z.ZodPipe<z.ZodObject<{
+        start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        file_path: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<{
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+        path: string;
+    }, {
+        file_path: string;
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+    }>>, z.ZodPipe<z.ZodObject<{
+        start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        filePath: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<{
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+        path: string;
+    }, {
+        filePath: string;
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+    }>>]>]>>;
+}, z.core.$strip>, z.ZodObject<{
+    files: z.ZodUnion<readonly [z.ZodObject<{
+        path: z.ZodString;
+        start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        line_numbers: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodBoolean>>>;
+    }, z.core.$strip>, z.ZodPipe<z.ZodObject<{
+        start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        file_path: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<{
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+        path: string;
+    }, {
+        file_path: string;
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+    }>>, z.ZodPipe<z.ZodObject<{
+        start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        filePath: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<{
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+        path: string;
+    }, {
+        filePath: string;
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+    }>>]>;
+}, z.core.$strip>, z.ZodObject<{
+    files: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    file_paths: z.ZodArray<z.ZodString>;
+}, z.core.$strip>, z.ZodObject<{
+    file_paths: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    paths: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+        path: z.ZodString;
+        start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        line_numbers: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodBoolean>>>;
+    }, z.core.$strip>, z.ZodPipe<z.ZodObject<{
+        start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        file_path: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<{
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+        path: string;
+    }, {
+        file_path: string;
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+    }>>, z.ZodPipe<z.ZodObject<{
+        start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        filePath: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<{
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+        path: string;
+    }, {
+        filePath: string;
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+    }>>]>]>>;
+}, z.core.$strip>, z.ZodObject<{
+    paths: z.ZodUnion<readonly [z.ZodObject<{
+        path: z.ZodString;
+        start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        line_numbers: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodBoolean>>>;
+    }, z.core.$strip>, z.ZodPipe<z.ZodObject<{
+        start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        file_path: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<{
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+        path: string;
+    }, {
+        file_path: string;
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+    }>>, z.ZodPipe<z.ZodObject<{
+        start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+        filePath: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<{
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+        path: string;
+    }, {
+        filePath: string;
+        start_line?: number | null | undefined;
+        end_line?: number | null | undefined;
+    }>>]>;
+}, z.core.$strip>, z.ZodObject<{
+    paths: z.ZodString;
+}, z.core.$strip>]>;
+/**
+ * A string the model meant as a list.
+ *
+ * Measured on a live 9B session: `search_codebase` was called six times with
+ * `queries` holding the *text* `["Math.random()<", "Math.random()>", ...` --
+ * a JSON array, serialised, and truncated mid-way. Every string branch below
+ * already accepts a lone string as one query, so that whole literal became one
+ * regex, and `[` opens a character class: the tool answered
+ * `Invalid regex pattern: Unterminated character class`. The model read that as
+ * an escaping problem, spent a thousand tokens on backslashes, and then gave up
+ * on the tool and shelled out to PowerShell -- which took the same argument the
+ * same way and failed identically.
+ *
+ * So a string that opens with `[` is treated as what it plainly is. Parsed, it
+ * becomes the list it was meant to be. Unparseable, it is refused by name
+ * rather than run: a truncated array is a marshalling fault, and searching for
+ * its text finds nothing while looking like a search that ran.
+ *
+ * The test is deliberately narrow: an opening bracket followed by a quote. A
+ * regex character class (`[a-z]+`) and a shell test (`[ -f package.json ]`)
+ * both open with a bracket and neither is a list, so a looser check would
+ * refuse two things that work today -- which the tests below caught it doing.
+ */
+export declare function parseArrayString(value: string): {
+    list: string[];
+} | {
+    refused: string;
+} | undefined;
+/** What the model is told about a list it sent as text that will not parse. */
+export declare const MALFORMED_ARRAY_MESSAGE = "This looks like a JSON array that was sent as a string and did not survive the trip -- it starts with `[` but does not parse. Send the field as an actual array of strings, one entry per item, rather than as text.";
+/**
+ * Turn one string into the list it was meant to be, or keep it as one entry.
+ *
+ * Shared by `search_codebase` and `run_commands`, which took the same malformed
+ * argument in the same session and failed in two different ways.
+ *
+ * A truncated list throws rather than adding a zod issue, and the difference
+ * matters inside a union: an issue only makes that one branch lose, and the
+ * next branch along accepts any string — so the malformed literal would be run
+ * anyway, which is the behaviour being fixed. A thrown error leaves the union
+ * entirely and reaches the model as the message.
+ */
+export declare function stringToList(value: string): string[];
+/**
+ * A list field that also accepts the single value it was given instead.
+ *
+ * Every list-taking tool advertises `array`, and models routinely send the one
+ * element bare -- `paths: "src/game.js"` for a single file. Measured across 240
+ * pandorum sessions and 365 harness runs: `expected array, received string` is
+ * the whole of `grep`'s format failures and a third of `awk`'s, and in every
+ * case the value itself was correct.
+ *
+ * Built on {@link stringToList} so the three list fields agree on the hard case
+ * as well as the easy one: a string that opens `["` is the model's own array
+ * serialised, and a truncated one is refused by name rather than searched for
+ * as literal text.
+ */
+export declare function listOrSingle(describe: string): z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodPipe<z.ZodString, z.ZodTransform<string[], string>>]>;
+/**
+ * Schema for search_codebase tool input
+ */
+export declare const SearchCodebaseInputSchema: z.ZodObject<{
+    queries: z.ZodArray<z.ZodString>;
+    context_lines: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    max_per_file: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+}, z.core.$strip>;
+/**
+ * Union schema for search_codebase tool input, allowing either a single string,
+ * an array of strings, or the full object schema.
+ *
+ * `query` is accepted alongside `queries` because the tool teaches the singular
+ * itself: every result comes back as `{ query, result, success }`, and the tool
+ * description says so in as many words. Measured on a live session, a model that
+ * had read its own search results then sent `{"query":"SpectatorSelectionCard"}`
+ * and got `✖ Invalid input` — a union that matches no branch names no field, so
+ * it retried the same shape twice more before giving up on the tool. `read_files`
+ * already takes `path`, `file_path`, `filePath`, `files`, `file_paths` and
+ * `paths`; this one had four branches and none of them singular.
+ *
+ * Every branch normalises to the canonical `{ queries: string[] }`, and the two
+ * option fields ride along on the object branches. They did not before: a
+ * `{queries: "x", max_per_file: 10}` matched the bare `{queries: string}` branch,
+ * which stripped the unknown key, so the search silently ran at the default of
+ * one match per file.
+ */
+export declare const SearchCodebaseUnionInputSchema: z.ZodPipe<z.ZodUnion<readonly [z.ZodObject<{
+    queries: z.ZodArray<z.ZodString>;
+    context_lines: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    max_per_file: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+}, z.core.$strip>, z.ZodPipe<z.ZodArray<z.ZodString>, z.ZodTransform<{
+    queries: string[];
+}, string[]>>, z.ZodPipe<z.ZodString, z.ZodTransform<{
+    queries: string[];
+}, string>>, z.ZodPipe<z.ZodObject<{
+    context_lines: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    max_per_file: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    queries: z.ZodString;
+}, z.core.$strip>, z.ZodTransform<{
+    context_lines?: number | null | undefined;
+    max_per_file?: number | null | undefined;
+    queries: string[];
+}, {
+    queries: string;
+    context_lines?: number | null | undefined;
+    max_per_file?: number | null | undefined;
+}>>, z.ZodPipe<z.ZodObject<{
+    context_lines: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    max_per_file: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    query: z.ZodArray<z.ZodString>;
+}, z.core.$strip>, z.ZodTransform<{
+    context_lines?: number | null | undefined;
+    max_per_file?: number | null | undefined;
+    queries: string[];
+}, {
+    query: string[];
+    context_lines?: number | null | undefined;
+    max_per_file?: number | null | undefined;
+}>>, z.ZodPipe<z.ZodObject<{
+    context_lines: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    max_per_file: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    query: z.ZodString;
+}, z.core.$strip>, z.ZodTransform<{
+    context_lines?: number | null | undefined;
+    max_per_file?: number | null | undefined;
+    queries: string[];
+}, {
+    query: string;
+    context_lines?: number | null | undefined;
+    max_per_file?: number | null | undefined;
+}>>, z.ZodPipe<z.ZodObject<{
+    context_lines: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    max_per_file: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    queries: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodPipe<z.ZodObject<{
+        query: z.ZodOptional<z.ZodString>;
+        pattern: z.ZodOptional<z.ZodString>;
+        text: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodTransform<string | undefined, {
+        query?: string | undefined;
+        pattern?: string | undefined;
+        text?: string | undefined;
+    }>> & z.ZodType<string, {
+        query?: string | undefined;
+        pattern?: string | undefined;
+        text?: string | undefined;
+    }, z.core.$ZodTypeInternals<string, {
+        query?: string | undefined;
+        pattern?: string | undefined;
+        text?: string | undefined;
+    }>>]>>;
+}, z.core.$strip>, z.ZodTransform<{
+    context_lines?: number | null | undefined;
+    max_per_file?: number | null | undefined;
+    queries: string[];
+}, {
+    queries: string[];
+    context_lines?: number | null | undefined;
+    max_per_file?: number | null | undefined;
+}>>]>, z.ZodObject<{
+    queries: z.ZodArray<z.ZodString>;
+    context_lines: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    max_per_file: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+}, z.core.$strip>>;
+export declare const StructuredCommandInputSchema: z.ZodObject<{
+    command: z.ZodString;
+    args: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
+export declare const StructuredCommandEntrySchema: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+    command: z.ZodString;
+    args: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>]>;
+export declare const RunCommandsInputSchema: z.ZodObject<{
+    commands: z.ZodArray<z.ZodString>;
+    credentials: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
+/**
+ * Union schema for run_commands tool input. More flexible.
+ */
+export declare const RunCommandsInputUnionSchema: z.ZodUnion<readonly [z.ZodObject<{
+    commands: z.ZodArray<z.ZodString>;
+    credentials: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>, z.ZodObject<{
+    commands: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        command: z.ZodString;
+        args: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>]>>;
+}, z.core.$strip>, z.ZodObject<{
+    commands: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        command: z.ZodString;
+        args: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>, z.ZodPipe<z.ZodObject<{
+        command: z.ZodString;
+        args: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<{
+        command: string;
+        args: string[];
+    }, {
+        command: string;
+        args: string;
+    }>>, z.ZodPipe<z.ZodObject<{
+        cmd: z.ZodString;
+        args: z.ZodOptional<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>>;
+    }, z.core.$strip>, z.ZodTransform<{
+        args?: string[] | undefined;
+        command: string;
+    }, {
+        cmd: string;
+        args?: string | string[] | undefined;
+    }>>, z.ZodPipe<z.ZodObject<{
+        shell_command: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<string, {
+        shell_command: string;
+    }>>, z.ZodPipe<z.ZodObject<{
+        script: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<string, {
+        script: string;
+    }>>, z.ZodPipe<z.ZodArray<z.ZodString>, z.ZodTransform<{
+        command: string;
+        args: string[];
+    }, string[]>>]>>;
+}, z.core.$strip>, z.ZodPipe<z.ZodObject<{
+    commands: z.ZodString;
+}, z.core.$strip>, z.ZodTransform<{
+    commands: string[];
+}, {
+    commands: string;
+}>>, z.ZodObject<{
+    commands: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        command: z.ZodString;
+        args: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>, z.ZodPipe<z.ZodObject<{
+        command: z.ZodString;
+        args: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<{
+        command: string;
+        args: string[];
+    }, {
+        command: string;
+        args: string;
+    }>>, z.ZodPipe<z.ZodObject<{
+        cmd: z.ZodString;
+        args: z.ZodOptional<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>>;
+    }, z.core.$strip>, z.ZodTransform<{
+        args?: string[] | undefined;
+        command: string;
+    }, {
+        cmd: string;
+        args?: string | string[] | undefined;
+    }>>, z.ZodPipe<z.ZodObject<{
+        shell_command: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<string, {
+        shell_command: string;
+    }>>, z.ZodPipe<z.ZodObject<{
+        script: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<string, {
+        script: string;
+    }>>, z.ZodPipe<z.ZodArray<z.ZodString>, z.ZodTransform<{
+        command: string;
+        args: string[];
+    }, string[]>>]>;
+}, z.core.$strip>, z.ZodArray<z.ZodObject<{
+    command: z.ZodString;
+    args: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>>, z.ZodObject<{
+    command: z.ZodString;
+    args: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>, z.ZodObject<{
+    command: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    cmd: z.ZodString;
+}, z.core.$strip>, z.ZodArray<z.ZodString>, z.ZodPipe<z.ZodString, z.ZodTransform<{
+    commands: string[];
+}, string>>, z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+    command: z.ZodString;
+    args: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>, z.ZodPipe<z.ZodObject<{
+    command: z.ZodString;
+    args: z.ZodString;
+}, z.core.$strip>, z.ZodTransform<{
+    command: string;
+    args: string[];
+}, {
+    command: string;
+    args: string;
+}>>, z.ZodPipe<z.ZodObject<{
+    cmd: z.ZodString;
+    args: z.ZodOptional<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>>;
+}, z.core.$strip>, z.ZodTransform<{
+    args?: string[] | undefined;
+    command: string;
+}, {
+    cmd: string;
+    args?: string | string[] | undefined;
+}>>, z.ZodPipe<z.ZodObject<{
+    shell_command: z.ZodString;
+}, z.core.$strip>, z.ZodTransform<string, {
+    shell_command: string;
+}>>, z.ZodPipe<z.ZodObject<{
+    script: z.ZodString;
+}, z.core.$strip>, z.ZodTransform<string, {
+    script: string;
+}>>, z.ZodPipe<z.ZodArray<z.ZodString>, z.ZodTransform<{
+    command: string;
+    args: string[];
+}, string[]>>]>, z.ZodString]>;
+/**
+ * Schema for a single web fetch request
+ */
+export declare const WebFetchRequestSchema: z.ZodObject<{
+    url: z.ZodString;
+    prompt: z.ZodString;
+}, z.core.$strip>;
+/**
+ * Schema for fetch_web_content tool input
+ */
+export declare const FetchWebContentInputSchema: z.ZodObject<{
+    requests: z.ZodArray<z.ZodObject<{
+        url: z.ZodString;
+        prompt: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+/**
+ * What the tool will actually accept, as opposed to what it advertises.
+ *
+ * The advertised shape stays `{requests: [{url, prompt}]}` — one shape to
+ * document, and the batching it exists for is the point. But the wrapper is
+ * the single most-missed detail in this whole tool set: measured on a live
+ * session, a model sent `{url, prompt}` three times, got
+ * `Invalid input: expected array, received undefined → at requests` three
+ * times, and never worked out what to change. `read_files` has long tolerated
+ * the same slip in its own shape; this brings `fetch_web_content` in line.
+ *
+ * Only the unambiguous flattenings are accepted. Nothing here guesses at a
+ * missing `prompt`.
+ */
+export declare const LooseFetchWebContentInputSchema: z.ZodUnion<readonly [z.ZodObject<{
+    requests: z.ZodArray<z.ZodObject<{
+        url: z.ZodString;
+        prompt: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodPipe<z.ZodObject<{
+    url: z.ZodString;
+    prompt: z.ZodString;
+}, z.core.$strip>, z.ZodTransform<{
+    requests: {
+        url: string;
+        prompt: string;
+    }[];
+}, {
+    url: string;
+    prompt: string;
+}>>, z.ZodPipe<z.ZodObject<{
+    requests: z.ZodObject<{
+        url: z.ZodString;
+        prompt: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodTransform<{
+    requests: {
+        url: string;
+        prompt: string;
+    }[];
+}, {
+    requests: {
+        url: string;
+        prompt: string;
+    };
+}>>, z.ZodPipe<z.ZodArray<z.ZodObject<{
+    url: z.ZodString;
+    prompt: z.ZodString;
+}, z.core.$strip>>, z.ZodTransform<{
+    requests: {
+        url: string;
+        prompt: string;
+    }[];
+}, {
+    url: string;
+    prompt: string;
+}[]>>]>;
+export declare function withNewTextAlias(value: unknown): unknown;
+/**
+ * Say what an incomplete `editor` call was trying to be.
+ *
+ * "Missing required argument `new_text`" is accurate and, on the calls that
+ * earn it, not enough. Measured across eleven runs, six `editor` calls were
+ * refused for a missing argument and five of them had addressed a region and
+ * sent no body: the model was deleting a range and had no reason to think a
+ * deletion needed a replacement to be spelled out. The sixth carried
+ * `line_numbers` — a `read_files` argument — and was a read wearing the wrong
+ * envelope, which the refusal, complaining only about `new_text`, hid.
+ *
+ * Every line here is read off the arguments that arrived. Nothing is guessed,
+ * and in particular no path is ever proposed: the tool that fills in the file
+ * a model forgot to name is the tool that edits the wrong one.
+ */
+export declare function describeEditorArgumentGap(value: unknown): string | null;
+/**
+ * Schema for editor tool input
+ */
+export declare const EditFileInputSchema: z.ZodObject<{
+    path: z.ZodString;
+    old_text: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    new_text: z.ZodString;
+    insert_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    start_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    end_line: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    start_column: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    end_column: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    insert_column: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    occurrence: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+    replace_all: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodBoolean>>>;
+}, z.core.$strip>;
+/**
+ * Schema for apply_patch tool input
+ */
+export declare const ApplyPatchInputSchema: z.ZodObject<{
+    input: z.ZodString;
+}, z.core.$strip>;
+export declare const ApplyPatchInputUnionSchema: z.ZodUnion<readonly [z.ZodObject<{
+    input: z.ZodString;
+}, z.core.$strip>, z.ZodString]>;
+/**
+ * Schema for skills tool input
+ */
+export declare const SkillsInputSchema: z.ZodObject<{
+    skill: z.ZodString;
+    args: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+}, z.core.$strip>;
+/**
+ * Schema for ask_followup_question tool input
+ */
+export declare const AskQuestionInputSchema: z.ZodObject<{
+    question: z.ZodString;
+    options: z.ZodArray<z.ZodString>;
+}, z.core.$strip>;
+export declare const SubmitInputSchema: z.ZodObject<{
+    summary: z.ZodString;
+    verified: z.ZodBoolean;
+}, z.core.$strip>;
+/**
+ * Schema for the grep tool input.
+ *
+ * The flag names are spelled out rather than carried as `-i`/`-v`/`-E`, because
+ * a model reading the schema has to guess what a single letter means and a
+ * wrong guess here silently changes which lines come back.
+ */
+export declare const GrepInputSchema: z.ZodObject<{
+    pattern: z.ZodString;
+    paths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    ignore_case: z.ZodOptional<z.ZodBoolean>;
+    invert: z.ZodOptional<z.ZodBoolean>;
+    fixed: z.ZodOptional<z.ZodBoolean>;
+    word: z.ZodOptional<z.ZodBoolean>;
+    extended: z.ZodOptional<z.ZodBoolean>;
+    count: z.ZodOptional<z.ZodBoolean>;
+    files_with_matches: z.ZodOptional<z.ZodBoolean>;
+    line_numbers: z.ZodOptional<z.ZodBoolean>;
+    context: z.ZodOptional<z.ZodCoercedNumber<unknown>>;
+    max_count: z.ZodOptional<z.ZodCoercedNumber<unknown>>;
+}, z.core.$strip>;
+/**
+ * Schema for the sed tool input.
+ */
+export declare const SedInputSchema: z.ZodObject<{
+    script: z.ZodString;
+    files: z.ZodArray<z.ZodString>;
+    in_place: z.ZodOptional<z.ZodBoolean>;
+    quiet: z.ZodOptional<z.ZodBoolean>;
+    extended: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strip>;
+/**
+ * Schema for the awk tool input.
+ */
+export declare const AwkInputSchema: z.ZodObject<{
+    program: z.ZodString;
+    files: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    field_separator: z.ZodOptional<z.ZodString>;
+    variables: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+}, z.core.$strip>;
+/**
+ * Input for the grep tool
+ */
+export type GrepToolInput = z.infer<typeof GrepInputSchema>;
+/**
+ * Input for the sed tool
+ */
+export type SedToolInput = z.infer<typeof SedInputSchema>;
+/**
+ * Input for the awk tool
+ */
+export type AwkToolInput = z.infer<typeof AwkInputSchema>;
+/**
+ * Input for a single file read request
+ */
+export type ReadFileRequest = z.infer<typeof ReadFileRequestSchema>;
+/**
+ * Input for the read_files tool
+ */
+export type ReadFilesInput = z.infer<typeof ReadFilesInputSchema>;
+/**
+ * Input for the search_codebase tool
+ */
+export type SearchCodebaseInput = z.infer<typeof SearchCodebaseInputSchema>;
+/**
+ * Input for the run_commands tool
+ */
+export type RunCommandsInput = z.infer<typeof RunCommandsInputSchema>;
+export type StructuredCommandInput = z.infer<typeof StructuredCommandInputSchema>;
+/**
+ * Web fetch request parameters
+ */
+export type WebFetchRequest = z.infer<typeof WebFetchRequestSchema>;
+/**
+ * Input for the fetch_web_content tool
+ */
+export type FetchWebContentInput = z.infer<typeof FetchWebContentInputSchema>;
+/**
+ * Input for the editor tool
+ */
+export type EditFileInput = z.infer<typeof EditFileInputSchema>;
+/**
+ * Input for the apply_patch tool
+ */
+export type ApplyPatchInput = z.infer<typeof ApplyPatchInputSchema>;
+/**
+ * Input for the skills tool
+ */
+export type SkillsInput = z.infer<typeof SkillsInputSchema>;
+/**
+ * Input for the ask_followup_question tool
+ */
+export type AskQuestionInput = z.infer<typeof AskQuestionInputSchema>;
+/**
+ * Input for the submit and exit tool
+ */
+export type SubmitInput = z.infer<typeof SubmitInputSchema>;
+/**
+ * What `grep`, `sed` and `awk` accept, as against what they advertise.
+ *
+ * The advertised shape keeps `array`, because that is the shape that batches.
+ * These wrappers only widen the door: the one field each of them gets wrong is
+ * the file list, and it is always wrong the same way. Every other field is the
+ * canonical schema's own, so the parsed output is the canonical type already --
+ * no pipe back through it, which `z.coerce` fields make ill-typed anyway.
+ */
+export declare const GrepInputUnionSchema: z.ZodObject<{
+    pattern: z.ZodString;
+    ignore_case: z.ZodOptional<z.ZodBoolean>;
+    invert: z.ZodOptional<z.ZodBoolean>;
+    fixed: z.ZodOptional<z.ZodBoolean>;
+    word: z.ZodOptional<z.ZodBoolean>;
+    extended: z.ZodOptional<z.ZodBoolean>;
+    count: z.ZodOptional<z.ZodBoolean>;
+    files_with_matches: z.ZodOptional<z.ZodBoolean>;
+    line_numbers: z.ZodOptional<z.ZodBoolean>;
+    context: z.ZodOptional<z.ZodCoercedNumber<unknown>>;
+    max_count: z.ZodOptional<z.ZodCoercedNumber<unknown>>;
+    paths: z.ZodOptional<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodPipe<z.ZodString, z.ZodTransform<string[], string>>]>>;
+}, z.core.$strip>;
+export declare const SedInputUnionSchema: z.ZodObject<{
+    script: z.ZodString;
+    in_place: z.ZodOptional<z.ZodBoolean>;
+    quiet: z.ZodOptional<z.ZodBoolean>;
+    extended: z.ZodOptional<z.ZodBoolean>;
+    files: z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodPipe<z.ZodString, z.ZodTransform<string[], string>>]>;
+}, z.core.$strip>;
+export declare const AwkInputUnionSchema: z.ZodObject<{
+    program: z.ZodString;
+    field_separator: z.ZodOptional<z.ZodString>;
+    variables: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    files: z.ZodOptional<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodPipe<z.ZodString, z.ZodTransform<string[], string>>]>>;
+}, z.core.$strip>;
+/**
+ * Schema for the extract_document tool input.
+ *
+ * Every optional field takes `null` as well as absence: models send
+ * `"range": null` for "no range", and a strict optional would fail the whole
+ * call on it.
+ */
+export declare const ExtractDocumentInputSchema: z.ZodObject<{
+    path: z.ZodString;
+    format: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+        text: "text";
+        markdown: "markdown";
+    }>>>;
+    range: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    images: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+        none: "none";
+        files: "files";
+        inline: "inline";
+    }>>>;
+    output_dir: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    password: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    ocr: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+        tesseract: "tesseract";
+        vision: "vision";
+        none: "none";
+        auto: "auto";
+    }>>>;
+    ocr_languages: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    describe_images: z.ZodOptional<z.ZodNullable<z.ZodBoolean>>;
+    max_chars: z.ZodOptional<z.ZodNullable<z.ZodCoercedNumber<unknown>>>;
+}, z.core.$strip>;
+export type ExtractDocumentInput = z.infer<typeof ExtractDocumentInputSchema>;