toolroll 0.9.34 → 0.9.37

package/dist/contracts/lead-tools.d.ts

@@ -0,0 +1,1905 @@
+/**
+ * The lead's tools (docs/plans/zod-revamp.md, item 5): one input schema per tool, and one output schema for what each
+ * returns when it succeeds. The input schema supplies the JSON Schema the lead is given (`toModelSchema`) and the
+ * compatible reader used before any handler runs (mate-tools.ts), so a refusal names the paths it reads next step.
+ * What JSON Schema can't say — a repo the operator may reach, plain text without secrets, an ISO time, a decision read
+ * in an earlier step — is still checked in plain code after parsing, with its own words.
+ *
+ * Output schemas describe a result's top level. They are checked in tests and logged when a result disagrees; a call
+ * that succeeds is never refused because of one (an output schema is a record of the contract, not a gate).
+ */
+import { z } from "zod";
+import { type ContractOptions } from "./contract.js";
+/** A task as a tool names it: its id. */
+export declare const taskRef: z.ZodString;
+/** A project as list_repos names it (r1, r2). */
+export declare const repoId: z.ZodString;
+/** A task's goal or what it leaves out: the length a model is told before it writes, and refused (not cut) beyond. */
+export declare const scopeText: z.ZodString;
+/** The paths a task expects to touch. */
+export declare const touches: z.ZodArray<z.ZodString>;
+/** The rubric a task is accepted against: the plan's own criterion schema; duplicate ids and byte limits are checked after. */
+export declare const acceptance: z.ZodArray<z.ZodObject<{
+    id: z.ZodString;
+    statement: z.ZodString;
+    how: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    evidence: z.ZodArray<z.ZodEnum<{
+        "changed-path": "changed-path";
+        check: "check";
+        "manual-review": "manual-review";
+        screenshot: "screenshot";
+    }>>;
+}, z.core.$strict>>;
+/** Task states a list filters by. */
+export declare const LISTED_TASK_STATES: readonly ["queued", "running", "done", "failed", "cancelled"];
+export declare const LEAD_TOOL_INPUTS: {
+    readonly get_brief: z.ZodObject<{
+        repo: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly get_project_context: z.ZodObject<{
+        repo: z.ZodString;
+        query: z.ZodString;
+        mode: z.ZodOptional<z.ZodEnum<{
+            impact: "impact";
+            search: "search";
+        }>>;
+    }, z.core.$strict>;
+    readonly get_action_status: z.ZodObject<{
+        proposal: z.ZodInt;
+    }, z.core.$strict>;
+    readonly get_actions: z.ZodObject<{}, z.core.$strict>;
+    readonly propose_action: z.ZodObject<{
+        operation: z.ZodEnum<{
+            [x: string]: string;
+        }>;
+        repo: z.ZodOptional<z.ZodString>;
+        task: z.ZodOptional<z.ZodString>;
+        version: z.ZodOptional<z.ZodString>;
+        restore: z.ZodOptional<z.ZodInt>;
+        sample: z.ZodOptional<z.ZodString>;
+        content: z.ZodOptional<z.ZodString>;
+        instructions: z.ZodOptional<z.ZodString>;
+        title: z.ZodOptional<z.ZodString>;
+        id: z.ZodOptional<z.ZodString>;
+        run: z.ZodOptional<z.ZodInt>;
+        note: z.ZodOptional<z.ZodString>;
+        catalog: z.ZodOptional<z.ZodString>;
+        name: z.ZodOptional<z.ZodString>;
+        command: z.ZodOptional<z.ZodString>;
+        args: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        url: z.ZodOptional<z.ZodString>;
+        secrets: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        about: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly propose_task_action: z.ZodObject<{
+        task: z.ZodString;
+        operation: z.ZodEnum<{
+            [x: string]: string;
+        }>;
+        dependency: z.ZodOptional<z.ZodString>;
+        run: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_controls: z.ZodObject<{}, z.core.$strict>;
+    readonly show_control: z.ZodObject<{
+        control: z.ZodEnum<{
+            [x: string]: string;
+        }>;
+        task: z.ZodOptional<z.ZodString>;
+        repo: z.ZodOptional<z.ZodString>;
+        run: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_result: z.ZodObject<{
+        task: z.ZodString;
+        run: z.ZodOptional<z.ZodInt>;
+        feedback_offset: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_diff: z.ZodObject<{
+        task: z.ZodString;
+        run: z.ZodOptional<z.ZodInt>;
+        file: z.ZodOptional<z.ZodString>;
+        offset: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_check_log: z.ZodObject<{
+        task: z.ZodString;
+        run: z.ZodOptional<z.ZodInt>;
+        search: z.ZodOptional<z.ZodString>;
+        offset: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_acceptance_evidence: z.ZodObject<{
+        task: z.ZodString;
+        run: z.ZodOptional<z.ZodInt>;
+        offset: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_result_images: z.ZodObject<{
+        task: z.ZodString;
+        run: z.ZodOptional<z.ZodInt>;
+        offset: z.ZodOptional<z.ZodInt>;
+        images: z.ZodOptional<z.ZodArray<z.ZodInt>>;
+    }, z.core.$strict>;
+    readonly propose_review: z.ZodObject<{
+        run: z.ZodInt;
+        operation: z.ZodEnum<{
+            note: "note";
+            revise: "revise";
+        }>;
+        note: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        line: z.ZodOptional<z.ZodNullable<z.ZodInt>>;
+        saved_notes: z.ZodOptional<z.ZodArray<z.ZodInt>>;
+    }, z.core.$strict>;
+    readonly recap: z.ZodObject<{
+        since: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly list_repos: z.ZodObject<{}, z.core.$strict>;
+    readonly get_project_tools: z.ZodObject<{
+        repo: z.ZodString;
+    }, z.core.$strict>;
+    readonly get_flows: z.ZodObject<{
+        repo: z.ZodOptional<z.ZodString>;
+        flow: z.ZodOptional<z.ZodInt>;
+        card: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly propose_flow: z.ZodObject<{
+        operation: z.ZodEnum<{
+            add_card: "add_card";
+            add_trigger: "add_trigger";
+            approve: "approve";
+            assign: "assign";
+            cancel_card: "cancel_card";
+            choose: "choose";
+            comment: "comment";
+            create: "create";
+            edit: "edit";
+            follow: "follow";
+            kit: "kit";
+            move_card: "move_card";
+            pause_trigger: "pause_trigger";
+            remove_trigger: "remove_trigger";
+            resume_trigger: "resume_trigger";
+            save_script: "save_script";
+            send_back: "send_back";
+            starter: "starter";
+            unfollow: "unfollow";
+        }>;
+        repo: z.ZodOptional<z.ZodString>;
+        flow: z.ZodOptional<z.ZodInt>;
+        card: z.ZodOptional<z.ZodInt>;
+        kit: z.ZodOptional<z.ZodEnum<{
+            [x: string]: string;
+        }>>;
+        starter: z.ZodOptional<z.ZodEnum<{
+            "ci-fix": "ci-fix";
+            "issue-task": "issue-task";
+            overnight: "overnight";
+            "plane-review": "plane-review";
+        }>>;
+        name: z.ZodOptional<z.ZodString>;
+        template: z.ZodOptional<z.ZodEnum<{
+            [x: string]: string;
+        }>>;
+        steps: z.ZodOptional<z.ZodArray<z.ZodDiscriminatedUnion<readonly [z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"inbox">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            thenMoveTo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"task">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            instructions: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            planning: z.ZodOptional<z.ZodEnum<{
+                auto: "auto";
+                required: "required";
+                skip: "skip";
+            }>>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            repo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"report">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            instructions: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"approval">;
+            decider: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            ifFails: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            teammate: z.ZodOptional<z.ZodString>;
+            thenMoveTo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"check">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            routes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                answer: z.ZodString;
+                goesTo: z.ZodString;
+            }, z.core.$strict>>>;
+            runIn: z.ZodOptional<z.ZodEnum<{
+                copy: "copy";
+                folder: "folder";
+            }>>;
+            script: z.ZodOptional<z.ZodString>;
+            secrets: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"pull-request">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            merge: z.ZodOptional<z.ZodUnion<readonly [z.ZodBoolean, z.ZodEnum<{
+                merge: "merge";
+                rebase: "rebase";
+                squash: "squash";
+            }>]>>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"update">;
+            close: z.ZodOptional<z.ZodBoolean>;
+            ifFails: z.ZodOptional<z.ZodString>;
+            message: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"notify">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            message: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"sort">;
+            alsoNote: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodOptional<z.ZodString>;
+                question: z.ZodString;
+                kind: z.ZodOptional<z.ZodEnum<{
+                    score: "score";
+                    "yes-no": "yes-no";
+                }>>;
+                levels: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            }, z.core.$strict>>>;
+            answers: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                answer: z.ZodString;
+                means: z.ZodOptional<z.ZodString>;
+                goesTo: z.ZodString;
+            }, z.core.$strict>>>;
+            ifNotSure: z.ZodOptional<z.ZodString>;
+            question: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            sureAt: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"draft">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            instructions: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"request">;
+            body: z.ZodOptional<z.ZodString>;
+            headers: z.ZodOptional<z.ZodObject<{}, z.core.$catchall<z.ZodString>>>;
+            ifFails: z.ZodOptional<z.ZodString>;
+            method: z.ZodOptional<z.ZodEnum<{
+                DELETE: "DELETE";
+                GET: "GET";
+                PATCH: "PATCH";
+                POST: "POST";
+                PUT: "PUT";
+            }>>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            url: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"email">;
+            body: z.ZodOptional<z.ZodString>;
+            ifFails: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            subject: z.ZodOptional<z.ZodString>;
+            to: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"tool">;
+            args: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{}, z.core.$catchall<z.ZodUnknown>>, z.ZodString]>>;
+            ifFails: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            server: z.ZodOptional<z.ZodString>;
+            tool: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"wait">;
+            from: z.ZodOptional<z.ZodString>;
+            ifNoReply: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            timeZone: z.ZodOptional<z.ZodString>;
+            until: z.ZodOptional<z.ZodString>;
+            wait: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            waitFor: z.ZodOptional<z.ZodEnum<{
+                hours: "hours";
+                reply: "reply";
+                time: "time";
+            }>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"teammate">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            instructions: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            reply: z.ZodOptional<z.ZodBoolean>;
+            routes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                answer: z.ZodString;
+                goesTo: z.ZodString;
+            }, z.core.$strict>>>;
+            teammate: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"send">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"choose">;
+            ifNoReply: z.ZodOptional<z.ZodString>;
+            ifReplied: z.ZodOptional<z.ZodString>;
+            options: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                label: z.ZodString;
+                goesTo: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            thenMoveTo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"done">;
+        }, z.core.$strict>], "kind">>>;
+        title: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        zone: z.ZodOptional<z.ZodString>;
+        note: z.ZodOptional<z.ZodString>;
+        choice: z.ZodOptional<z.ZodInt>;
+        trigger: z.ZodOptional<z.ZodInt>;
+        owner: z.ZodOptional<z.ZodString>;
+        script: z.ZodOptional<z.ZodObject<{
+            name: z.ZodOptional<z.ZodString>;
+            about: z.ZodOptional<z.ZodString>;
+            body: z.ZodOptional<z.ZodString>;
+            timeoutMinutes: z.ZodOptional<z.ZodInt>;
+            language: z.ZodOptional<z.ZodEnum<{
+                node: "node";
+                python: "python";
+                shell: "shell";
+            }>>;
+            file: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        settings: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            zone: z.ZodOptional<z.ZodString>;
+            kind: z.ZodLiteral<"button">;
+            label: z.ZodString;
+            questions: z.ZodOptional<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            zone: z.ZodOptional<z.ZodString>;
+            kind: z.ZodLiteral<"schedule">;
+            schedule: z.ZodString;
+            title: z.ZodOptional<z.ZodString>;
+            description: z.ZodOptional<z.ZodString>;
+            script: z.ZodOptional<z.ZodString>;
+            secrets: z.ZodOptional<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            zone: z.ZodOptional<z.ZodString>;
+            kind: z.ZodLiteral<"github">;
+            repo: z.ZodOptional<z.ZodString>;
+            watch: z.ZodOptional<z.ZodEnum<{
+                checks: "checks";
+                issues: "issues";
+                pulls: "pulls";
+            }>>;
+            label: z.ZodOptional<z.ZodString>;
+            branch: z.ZodOptional<z.ZodString>;
+            from: z.ZodOptional<z.ZodEnum<{
+                anyone: "anyone";
+                team: "team";
+            }>>;
+        }, z.core.$strict>, z.ZodObject<{
+            zone: z.ZodOptional<z.ZodString>;
+            kind: z.ZodLiteral<"linear">;
+            team: z.ZodOptional<z.ZodString>;
+            state: z.ZodOptional<z.ZodString>;
+            label: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            zone: z.ZodOptional<z.ZodString>;
+            kind: z.ZodLiteral<"flow">;
+            when: z.ZodOptional<z.ZodString>;
+            follow: z.ZodInt;
+        }, z.core.$strict>, z.ZodObject<{
+            zone: z.ZodOptional<z.ZodString>;
+            kind: z.ZodLiteral<"email">;
+            folder: z.ZodOptional<z.ZodString>;
+            sender: z.ZodOptional<z.ZodString>;
+            subject: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            zone: z.ZodOptional<z.ZodString>;
+            kind: z.ZodLiteral<"plane-review">;
+            at: z.ZodOptional<z.ZodString>;
+            timeZone: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>], "kind">>;
+    }, z.core.$strict>;
+    readonly get_teammates: z.ZodObject<{
+        repo: z.ZodOptional<z.ZodString>;
+        teammate: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly propose_teammate: z.ZodObject<{
+        operation: z.ZodEnum<{
+            add_routine: "add_routine";
+            answer: "answer";
+            create: "create";
+            edit_memory: "edit_memory";
+            edit_section: "edit_section";
+            edit_soul: "edit_soul";
+            forget: "forget";
+            note: "note";
+            pause: "pause";
+            remove: "remove";
+            resume: "resume";
+            stop_routine: "stop_routine";
+            stop_tool: "stop_tool";
+            tool_rule: "tool_rule";
+            undo: "undo";
+            use_tool: "use_tool";
+        }>;
+        section: z.ZodOptional<z.ZodString>;
+        schedule: z.ZodOptional<z.ZodString>;
+        routine: z.ZodOptional<z.ZodInt>;
+        memory: z.ZodOptional<z.ZodInt>;
+        tool: z.ZodOptional<z.ZodString>;
+        action: z.ZodOptional<z.ZodString>;
+        undoWith: z.ZodOptional<z.ZodString>;
+        call: z.ZodOptional<z.ZodInt>;
+        use: z.ZodOptional<z.ZodEnum<{
+            ask: "ask";
+            free: "free";
+            never: "never";
+        }>>;
+        limitField: z.ZodOptional<z.ZodString>;
+        limitOver: z.ZodOptional<z.ZodNumber>;
+        repo: z.ZodOptional<z.ZodString>;
+        teammate: z.ZodOptional<z.ZodInt>;
+        template: z.ZodOptional<z.ZodEnum<{
+            [x: string]: string;
+        }>>;
+        name: z.ZodOptional<z.ZodString>;
+        soul: z.ZodOptional<z.ZodString>;
+        note: z.ZodOptional<z.ZodString>;
+        question: z.ZodOptional<z.ZodInt>;
+        choice: z.ZodOptional<z.ZodString>;
+        text: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly get_flow_insights: z.ZodObject<{
+        repo: z.ZodOptional<z.ZodString>;
+        flow: z.ZodOptional<z.ZodInt>;
+        days: z.ZodOptional<z.ZodInt>;
+        card: z.ZodOptional<z.ZodInt>;
+        entry: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_skills: z.ZodObject<{
+        repo: z.ZodString;
+        version: z.ZodOptional<z.ZodString>;
+        offset: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_project_knowledge: z.ZodObject<{
+        repo: z.ZodString;
+        reference: z.ZodOptional<z.ZodString>;
+        decision: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_task_conversation: z.ZodObject<{
+        task: z.ZodString;
+        limit: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly commit_to: z.ZodObject<{
+        what: z.ZodString;
+        when: z.ZodEnum<{
+            check: "check";
+            run: "run";
+            task: "task";
+            time: "time";
+        }>;
+        task: z.ZodOptional<z.ZodString>;
+        run: z.ZodOptional<z.ZodInt>;
+        states: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+            [x: string]: string;
+        }>>>;
+        outcome: z.ZodOptional<z.ZodEnum<{
+            built: "built";
+            failed: "failed";
+            finished: "finished";
+        }>>;
+        result: z.ZodOptional<z.ZodEnum<{
+            either: "either";
+            failed: "failed";
+            passed: "passed";
+        }>>;
+        at: z.ZodOptional<z.ZodString>;
+        checkAfter: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly release_commitment: z.ZodObject<{
+        commitment: z.ZodInt;
+        reason: z.ZodString;
+    }, z.core.$strict>;
+    readonly remember: z.ZodObject<{
+        repo: z.ZodOptional<z.ZodString>;
+        kind: z.ZodEnum<{
+            "about-you": "about-you";
+            decision: "decision";
+            instruction: "instruction";
+        }>;
+        text: z.ZodString;
+        why: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+        revision: z.ZodOptional<z.ZodInt>;
+        replaces: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_person: z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        name: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly get_integrations: z.ZodObject<{}, z.core.$strict>;
+    readonly get_capabilities: z.ZodObject<{
+        repo: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly ask_owner: z.ZodObject<{
+        question: z.ZodString;
+        options: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>;
+    readonly search_project_memory: z.ZodObject<{
+        query: z.ZodString;
+        repo: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly get_models: z.ZodObject<{}, z.core.$strict>;
+    readonly list_tasks: z.ZodObject<{
+        repo: z.ZodOptional<z.ZodString>;
+        state: z.ZodOptional<z.ZodEnum<{
+            cancelled: "cancelled";
+            done: "done";
+            failed: "failed";
+            queued: "queued";
+            running: "running";
+        }>>;
+        limit: z.ZodOptional<z.ZodInt>;
+        search: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly get_task: z.ZodObject<{
+        task: z.ZodString;
+    }, z.core.$strict>;
+    readonly get_agents: z.ZodObject<{
+        task: z.ZodString;
+    }, z.core.$strict>;
+    readonly list_decisions: z.ZodObject<{}, z.core.$strict>;
+    readonly get_decision: z.ZodObject<{
+        decision: z.ZodInt;
+    }, z.core.$strict>;
+    readonly queue: z.ZodObject<{
+        repo: z.ZodString;
+    }, z.core.$strict>;
+    readonly propose_task: z.ZodObject<{
+        repo: z.ZodString;
+        title: z.ZodString;
+        goal: z.ZodString;
+        not: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        touches: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        acceptance: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            statement: z.ZodString;
+            how: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            evidence: z.ZodArray<z.ZodEnum<{
+                "changed-path": "changed-path";
+                check: "check";
+                "manual-review": "manual-review";
+                screenshot: "screenshot";
+            }>>;
+        }, z.core.$strict>>;
+        planning: z.ZodOptional<z.ZodEnum<{
+            auto: "auto";
+            required: "required";
+            skip: "skip";
+        }>>;
+        report: z.ZodOptional<z.ZodBoolean>;
+        checks: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly propose_next: z.ZodObject<{
+        task: z.ZodString;
+    }, z.core.$strict>;
+    readonly propose_reserve: z.ZodObject<{
+        task: z.ZodString;
+        worker: z.ZodNullable<z.ZodString>;
+    }, z.core.$strict>;
+    readonly propose_hold: z.ZodObject<{
+        task: z.ZodString;
+        reason: z.ZodString;
+    }, z.core.$strict>;
+    readonly propose_unhold: z.ZodObject<{
+        task: z.ZodString;
+    }, z.core.$strict>;
+    readonly propose_steer: z.ZodObject<{
+        task: z.ZodString;
+        note: z.ZodString;
+    }, z.core.$strict>;
+    readonly propose_dependency_repair: z.ZodObject<{
+        task: z.ZodString;
+        blocker: z.ZodString;
+        operation: z.ZodEnum<{
+            replace: "replace";
+            retry: "retry";
+            unlink: "unlink";
+        }>;
+        replacement: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly propose_scope: z.ZodObject<{
+        task: z.ZodString;
+        goal: z.ZodString;
+        not: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        touches: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        acceptance: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            statement: z.ZodString;
+            how: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            evidence: z.ZodArray<z.ZodEnum<{
+                "changed-path": "changed-path";
+                check: "check";
+                "manual-review": "manual-review";
+                screenshot: "screenshot";
+            }>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+    readonly propose_agents: z.ZodObject<{
+        task: z.ZodString;
+        risk: z.ZodOptional<z.ZodEnum<{
+            elevated: "elevated";
+            high: "high";
+            routine: "routine";
+        }>>;
+        size: z.ZodOptional<z.ZodEnum<{
+            large: "large";
+            medium: "medium";
+            small: "small";
+        }>>;
+        risky: z.ZodOptional<z.ZodBoolean>;
+        role: z.ZodOptional<z.ZodEnum<{
+            builder: "builder";
+            planner: "planner";
+            repair: "repair";
+        }>>;
+        agent: z.ZodOptional<z.ZodObject<{
+            provider: z.ZodString;
+            model: z.ZodString;
+        }, z.core.$strict>>;
+        clear: z.ZodOptional<z.ZodBoolean>;
+        why: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly propose_answer: z.ZodObject<{
+        decision: z.ZodInt;
+        option: z.ZodString;
+        rationale: z.ZodString;
+    }, z.core.$strict>;
+    readonly propose_cancel: z.ZodObject<{
+        task: z.ZodString;
+        reason: z.ZodString;
+    }, z.core.$strict>;
+};
+export type LeadToolName = keyof typeof LEAD_TOOL_INPUTS;
+/**
+ * Read the same calls the 0.9.36 handlers accepted. Derive readers from the advertised contracts, leaving these
+ * optional values to their existing clamp/fallback code. Unknown top-level keys are stripped by the tool registry,
+ * except for flow proposals, whose strict contract predates item 5. The gateway also keeps its strict schemas.
+ */
+export declare const LEAD_TOOL_READ_INPUTS: {
+    readonly get_brief: z.ZodObject<{
+        repo: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly get_project_context: z.ZodObject<{
+        repo: z.ZodString;
+        query: z.ZodString;
+        mode: z.ZodOptional<z.ZodEnum<{
+            impact: "impact";
+            search: "search";
+        }>>;
+    }, z.core.$strict>;
+    readonly get_action_status: z.ZodObject<{
+        proposal: z.ZodInt;
+    }, z.core.$strict>;
+    readonly get_actions: z.ZodObject<{}, z.core.$strict>;
+    readonly propose_action: z.ZodObject<{
+        operation: z.ZodEnum<{
+            [x: string]: string;
+        }>;
+        repo: z.ZodOptional<z.ZodString>;
+        task: z.ZodOptional<z.ZodString>;
+        version: z.ZodOptional<z.ZodString>;
+        restore: z.ZodOptional<z.ZodInt>;
+        sample: z.ZodOptional<z.ZodString>;
+        content: z.ZodOptional<z.ZodString>;
+        instructions: z.ZodOptional<z.ZodString>;
+        title: z.ZodOptional<z.ZodString>;
+        id: z.ZodOptional<z.ZodString>;
+        run: z.ZodOptional<z.ZodInt>;
+        note: z.ZodOptional<z.ZodString>;
+        catalog: z.ZodOptional<z.ZodString>;
+        name: z.ZodOptional<z.ZodString>;
+        command: z.ZodOptional<z.ZodString>;
+        args: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        url: z.ZodOptional<z.ZodString>;
+        secrets: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        about: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly propose_task_action: z.ZodObject<{
+        task: z.ZodString;
+        operation: z.ZodEnum<{
+            [x: string]: string;
+        }>;
+        dependency: z.ZodOptional<z.ZodString>;
+        run: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_controls: z.ZodObject<{}, z.core.$strict>;
+    readonly show_control: z.ZodObject<{
+        control: z.ZodEnum<{
+            [x: string]: string;
+        }>;
+        task: z.ZodOptional<z.ZodString>;
+        repo: z.ZodOptional<z.ZodString>;
+        run: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_result: z.ZodObject<{
+        task: z.ZodString;
+        run: z.ZodOptional<z.ZodInt>;
+        feedback_offset: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_diff: z.ZodObject<{
+        task: z.ZodString;
+        run: z.ZodOptional<z.ZodInt>;
+        file: z.ZodOptional<z.ZodString>;
+        offset: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_check_log: z.ZodObject<{
+        task: z.ZodString;
+        run: z.ZodOptional<z.ZodInt>;
+        search: z.ZodOptional<z.ZodString>;
+        offset: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_acceptance_evidence: z.ZodObject<{
+        task: z.ZodString;
+        run: z.ZodOptional<z.ZodInt>;
+        offset: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_result_images: z.ZodObject<{
+        task: z.ZodString;
+        run: z.ZodOptional<z.ZodInt>;
+        offset: z.ZodOptional<z.ZodInt>;
+        images: z.ZodOptional<z.ZodArray<z.ZodInt>>;
+    }, z.core.$strict>;
+    readonly propose_review: z.ZodObject<{
+        run: z.ZodInt;
+        operation: z.ZodEnum<{
+            note: "note";
+            revise: "revise";
+        }>;
+        note: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        line: z.ZodOptional<z.ZodNullable<z.ZodInt>>;
+        saved_notes: z.ZodOptional<z.ZodArray<z.ZodInt>>;
+    }, z.core.$strict>;
+    readonly recap: z.ZodObject<{
+        since: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly list_repos: z.ZodObject<{}, z.core.$strict>;
+    readonly get_project_tools: z.ZodObject<{
+        repo: z.ZodString;
+    }, z.core.$strict>;
+    readonly get_flows: z.ZodObject<{
+        repo: z.ZodOptional<z.ZodString>;
+        flow: z.ZodOptional<z.ZodInt>;
+        card: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly propose_flow: z.ZodObject<{
+        operation: z.ZodEnum<{
+            add_card: "add_card";
+            add_trigger: "add_trigger";
+            approve: "approve";
+            assign: "assign";
+            cancel_card: "cancel_card";
+            choose: "choose";
+            comment: "comment";
+            create: "create";
+            edit: "edit";
+            follow: "follow";
+            kit: "kit";
+            move_card: "move_card";
+            pause_trigger: "pause_trigger";
+            remove_trigger: "remove_trigger";
+            resume_trigger: "resume_trigger";
+            save_script: "save_script";
+            send_back: "send_back";
+            starter: "starter";
+            unfollow: "unfollow";
+        }>;
+        repo: z.ZodOptional<z.ZodString>;
+        flow: z.ZodOptional<z.ZodInt>;
+        card: z.ZodOptional<z.ZodInt>;
+        kit: z.ZodOptional<z.ZodEnum<{
+            [x: string]: string;
+        }>>;
+        starter: z.ZodOptional<z.ZodEnum<{
+            "ci-fix": "ci-fix";
+            "issue-task": "issue-task";
+            overnight: "overnight";
+            "plane-review": "plane-review";
+        }>>;
+        name: z.ZodOptional<z.ZodString>;
+        template: z.ZodOptional<z.ZodEnum<{
+            [x: string]: string;
+        }>>;
+        steps: z.ZodOptional<z.ZodArray<z.ZodDiscriminatedUnion<readonly [z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"inbox">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            thenMoveTo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"task">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            instructions: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            planning: z.ZodOptional<z.ZodEnum<{
+                auto: "auto";
+                required: "required";
+                skip: "skip";
+            }>>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            repo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"report">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            instructions: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"approval">;
+            decider: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            ifFails: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            teammate: z.ZodOptional<z.ZodString>;
+            thenMoveTo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"check">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            routes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                answer: z.ZodString;
+                goesTo: z.ZodString;
+            }, z.core.$strict>>>;
+            runIn: z.ZodOptional<z.ZodEnum<{
+                copy: "copy";
+                folder: "folder";
+            }>>;
+            script: z.ZodOptional<z.ZodString>;
+            secrets: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"pull-request">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            merge: z.ZodOptional<z.ZodUnion<readonly [z.ZodBoolean, z.ZodEnum<{
+                merge: "merge";
+                rebase: "rebase";
+                squash: "squash";
+            }>]>>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"update">;
+            close: z.ZodOptional<z.ZodBoolean>;
+            ifFails: z.ZodOptional<z.ZodString>;
+            message: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"notify">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            message: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"sort">;
+            alsoNote: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodOptional<z.ZodString>;
+                question: z.ZodString;
+                kind: z.ZodOptional<z.ZodEnum<{
+                    score: "score";
+                    "yes-no": "yes-no";
+                }>>;
+                levels: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            }, z.core.$strict>>>;
+            answers: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                answer: z.ZodString;
+                means: z.ZodOptional<z.ZodString>;
+                goesTo: z.ZodString;
+            }, z.core.$strict>>>;
+            ifNotSure: z.ZodOptional<z.ZodString>;
+            question: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            sureAt: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"draft">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            instructions: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"request">;
+            body: z.ZodOptional<z.ZodString>;
+            headers: z.ZodOptional<z.ZodObject<{}, z.core.$catchall<z.ZodString>>>;
+            ifFails: z.ZodOptional<z.ZodString>;
+            method: z.ZodOptional<z.ZodEnum<{
+                DELETE: "DELETE";
+                GET: "GET";
+                PATCH: "PATCH";
+                POST: "POST";
+                PUT: "PUT";
+            }>>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            url: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"email">;
+            body: z.ZodOptional<z.ZodString>;
+            ifFails: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            subject: z.ZodOptional<z.ZodString>;
+            to: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"tool">;
+            args: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{}, z.core.$catchall<z.ZodUnknown>>, z.ZodString]>>;
+            ifFails: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            server: z.ZodOptional<z.ZodString>;
+            tool: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"wait">;
+            from: z.ZodOptional<z.ZodString>;
+            ifNoReply: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            timeZone: z.ZodOptional<z.ZodString>;
+            until: z.ZodOptional<z.ZodString>;
+            wait: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            waitFor: z.ZodOptional<z.ZodEnum<{
+                hours: "hours";
+                reply: "reply";
+                time: "time";
+            }>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"teammate">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            instructions: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            reply: z.ZodOptional<z.ZodBoolean>;
+            routes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                answer: z.ZodString;
+                goesTo: z.ZodString;
+            }, z.core.$strict>>>;
+            teammate: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"send">;
+            ifFails: z.ZodOptional<z.ZodString>;
+            next: z.ZodOptional<z.ZodString>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"choose">;
+            ifNoReply: z.ZodOptional<z.ZodString>;
+            ifReplied: z.ZodOptional<z.ZodString>;
+            options: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                label: z.ZodString;
+                goesTo: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>>;
+            remindAfter: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+            thenMoveTo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            kind: z.ZodLiteral<"done">;
+        }, z.core.$strict>], "kind">>>;
+        title: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        zone: z.ZodOptional<z.ZodString>;
+        note: z.ZodOptional<z.ZodString>;
+        choice: z.ZodOptional<z.ZodInt>;
+        trigger: z.ZodOptional<z.ZodInt>;
+        owner: z.ZodOptional<z.ZodString>;
+        script: z.ZodOptional<z.ZodObject<{
+            name: z.ZodOptional<z.ZodString>;
+            about: z.ZodOptional<z.ZodString>;
+            body: z.ZodOptional<z.ZodString>;
+            timeoutMinutes: z.ZodOptional<z.ZodInt>;
+            language: z.ZodOptional<z.ZodEnum<{
+                node: "node";
+                python: "python";
+                shell: "shell";
+            }>>;
+            file: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        settings: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            zone: z.ZodOptional<z.ZodString>;
+            kind: z.ZodLiteral<"button">;
+            label: z.ZodString;
+            questions: z.ZodOptional<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            zone: z.ZodOptional<z.ZodString>;
+            kind: z.ZodLiteral<"schedule">;
+            schedule: z.ZodString;
+            title: z.ZodOptional<z.ZodString>;
+            description: z.ZodOptional<z.ZodString>;
+            script: z.ZodOptional<z.ZodString>;
+            secrets: z.ZodOptional<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodString]>>;
+        }, z.core.$strict>, z.ZodObject<{
+            zone: z.ZodOptional<z.ZodString>;
+            kind: z.ZodLiteral<"github">;
+            repo: z.ZodOptional<z.ZodString>;
+            watch: z.ZodOptional<z.ZodEnum<{
+                checks: "checks";
+                issues: "issues";
+                pulls: "pulls";
+            }>>;
+            label: z.ZodOptional<z.ZodString>;
+            branch: z.ZodOptional<z.ZodString>;
+            from: z.ZodOptional<z.ZodEnum<{
+                anyone: "anyone";
+                team: "team";
+            }>>;
+        }, z.core.$strict>, z.ZodObject<{
+            zone: z.ZodOptional<z.ZodString>;
+            kind: z.ZodLiteral<"linear">;
+            team: z.ZodOptional<z.ZodString>;
+            state: z.ZodOptional<z.ZodString>;
+            label: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            zone: z.ZodOptional<z.ZodString>;
+            kind: z.ZodLiteral<"flow">;
+            when: z.ZodOptional<z.ZodString>;
+            follow: z.ZodInt;
+        }, z.core.$strict>, z.ZodObject<{
+            zone: z.ZodOptional<z.ZodString>;
+            kind: z.ZodLiteral<"email">;
+            folder: z.ZodOptional<z.ZodString>;
+            sender: z.ZodOptional<z.ZodString>;
+            subject: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            zone: z.ZodOptional<z.ZodString>;
+            kind: z.ZodLiteral<"plane-review">;
+            at: z.ZodOptional<z.ZodString>;
+            timeZone: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>], "kind">>;
+    }, z.core.$strict>;
+    readonly get_teammates: z.ZodObject<{
+        repo: z.ZodOptional<z.ZodString>;
+        teammate: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly propose_teammate: z.ZodObject<{
+        operation: z.ZodEnum<{
+            add_routine: "add_routine";
+            answer: "answer";
+            create: "create";
+            edit_memory: "edit_memory";
+            edit_section: "edit_section";
+            edit_soul: "edit_soul";
+            forget: "forget";
+            note: "note";
+            pause: "pause";
+            remove: "remove";
+            resume: "resume";
+            stop_routine: "stop_routine";
+            stop_tool: "stop_tool";
+            tool_rule: "tool_rule";
+            undo: "undo";
+            use_tool: "use_tool";
+        }>;
+        section: z.ZodOptional<z.ZodString>;
+        schedule: z.ZodOptional<z.ZodString>;
+        routine: z.ZodOptional<z.ZodInt>;
+        memory: z.ZodOptional<z.ZodInt>;
+        tool: z.ZodOptional<z.ZodString>;
+        action: z.ZodOptional<z.ZodString>;
+        undoWith: z.ZodOptional<z.ZodString>;
+        call: z.ZodOptional<z.ZodInt>;
+        use: z.ZodOptional<z.ZodEnum<{
+            ask: "ask";
+            free: "free";
+            never: "never";
+        }>>;
+        limitField: z.ZodOptional<z.ZodString>;
+        limitOver: z.ZodOptional<z.ZodNumber>;
+        repo: z.ZodOptional<z.ZodString>;
+        teammate: z.ZodOptional<z.ZodInt>;
+        template: z.ZodOptional<z.ZodEnum<{
+            [x: string]: string;
+        }>>;
+        name: z.ZodOptional<z.ZodString>;
+        soul: z.ZodOptional<z.ZodString>;
+        note: z.ZodOptional<z.ZodString>;
+        question: z.ZodOptional<z.ZodInt>;
+        choice: z.ZodOptional<z.ZodString>;
+        text: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly get_skills: z.ZodObject<{
+        repo: z.ZodString;
+        version: z.ZodOptional<z.ZodString>;
+        offset: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_project_knowledge: z.ZodObject<{
+        repo: z.ZodString;
+        reference: z.ZodOptional<z.ZodString>;
+        decision: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly commit_to: z.ZodObject<{
+        what: z.ZodString;
+        when: z.ZodEnum<{
+            check: "check";
+            run: "run";
+            task: "task";
+            time: "time";
+        }>;
+        task: z.ZodOptional<z.ZodString>;
+        run: z.ZodOptional<z.ZodInt>;
+        states: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+            [x: string]: string;
+        }>>>;
+        outcome: z.ZodOptional<z.ZodEnum<{
+            built: "built";
+            failed: "failed";
+            finished: "finished";
+        }>>;
+        result: z.ZodOptional<z.ZodEnum<{
+            either: "either";
+            failed: "failed";
+            passed: "passed";
+        }>>;
+        at: z.ZodOptional<z.ZodString>;
+        checkAfter: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly release_commitment: z.ZodObject<{
+        commitment: z.ZodInt;
+        reason: z.ZodString;
+    }, z.core.$strict>;
+    readonly remember: z.ZodObject<{
+        repo: z.ZodOptional<z.ZodString>;
+        kind: z.ZodEnum<{
+            "about-you": "about-you";
+            decision: "decision";
+            instruction: "instruction";
+        }>;
+        text: z.ZodString;
+        why: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+        revision: z.ZodOptional<z.ZodInt>;
+        replaces: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>;
+    readonly get_integrations: z.ZodObject<{}, z.core.$strict>;
+    readonly get_capabilities: z.ZodObject<{
+        repo: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly ask_owner: z.ZodObject<{
+        question: z.ZodString;
+        options: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>;
+    readonly search_project_memory: z.ZodObject<{
+        query: z.ZodString;
+        repo: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly get_models: z.ZodObject<{}, z.core.$strict>;
+    readonly get_task: z.ZodObject<{
+        task: z.ZodString;
+    }, z.core.$strict>;
+    readonly get_agents: z.ZodObject<{
+        task: z.ZodString;
+    }, z.core.$strict>;
+    readonly list_decisions: z.ZodObject<{}, z.core.$strict>;
+    readonly get_decision: z.ZodObject<{
+        decision: z.ZodInt;
+    }, z.core.$strict>;
+    readonly queue: z.ZodObject<{
+        repo: z.ZodString;
+    }, z.core.$strict>;
+    readonly propose_task: z.ZodObject<{
+        repo: z.ZodString;
+        title: z.ZodString;
+        goal: z.ZodString;
+        not: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        touches: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        acceptance: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            statement: z.ZodString;
+            how: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            evidence: z.ZodArray<z.ZodEnum<{
+                "changed-path": "changed-path";
+                check: "check";
+                "manual-review": "manual-review";
+                screenshot: "screenshot";
+            }>>;
+        }, z.core.$strict>>;
+        planning: z.ZodOptional<z.ZodEnum<{
+            auto: "auto";
+            required: "required";
+            skip: "skip";
+        }>>;
+        report: z.ZodOptional<z.ZodBoolean>;
+        checks: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly propose_next: z.ZodObject<{
+        task: z.ZodString;
+    }, z.core.$strict>;
+    readonly propose_reserve: z.ZodObject<{
+        task: z.ZodString;
+        worker: z.ZodNullable<z.ZodString>;
+    }, z.core.$strict>;
+    readonly propose_hold: z.ZodObject<{
+        task: z.ZodString;
+        reason: z.ZodString;
+    }, z.core.$strict>;
+    readonly propose_unhold: z.ZodObject<{
+        task: z.ZodString;
+    }, z.core.$strict>;
+    readonly propose_steer: z.ZodObject<{
+        task: z.ZodString;
+        note: z.ZodString;
+    }, z.core.$strict>;
+    readonly propose_dependency_repair: z.ZodObject<{
+        task: z.ZodString;
+        blocker: z.ZodString;
+        operation: z.ZodEnum<{
+            replace: "replace";
+            retry: "retry";
+            unlink: "unlink";
+        }>;
+        replacement: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    readonly propose_scope: z.ZodObject<{
+        task: z.ZodString;
+        goal: z.ZodString;
+        not: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        touches: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        acceptance: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            statement: z.ZodString;
+            how: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            evidence: z.ZodArray<z.ZodEnum<{
+                "changed-path": "changed-path";
+                check: "check";
+                "manual-review": "manual-review";
+                screenshot: "screenshot";
+            }>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+    readonly propose_answer: z.ZodObject<{
+        decision: z.ZodInt;
+        option: z.ZodString;
+        rationale: z.ZodString;
+    }, z.core.$strict>;
+    readonly propose_cancel: z.ZodObject<{
+        task: z.ZodString;
+        reason: z.ZodString;
+    }, z.core.$strict>;
+    readonly list_tasks: z.ZodObject<{
+        repo: z.ZodOptional<z.ZodString>;
+        state: z.ZodOptional<z.ZodEnum<{
+            cancelled: "cancelled";
+            done: "done";
+            failed: "failed";
+            queued: "queued";
+            running: "running";
+        }>>;
+        search: z.ZodOptional<z.ZodString>;
+        limit: z.ZodOptional<z.ZodUnknown>;
+    }, z.core.$strict>;
+    readonly get_task_conversation: z.ZodObject<{
+        task: z.ZodString;
+        limit: z.ZodOptional<z.ZodUnknown>;
+    }, z.core.$strict>;
+    readonly get_flow_insights: z.ZodObject<{
+        flow: z.ZodOptional<z.ZodInt>;
+        card: z.ZodOptional<z.ZodInt>;
+        entry: z.ZodOptional<z.ZodInt>;
+        repo: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        days: z.ZodOptional<z.ZodUnknown>;
+    }, z.core.$strict>;
+    readonly get_person: z.ZodObject<{
+        id: z.ZodOptional<z.ZodUnknown>;
+        name: z.ZodOptional<z.ZodUnknown>;
+    }, z.core.$strict>;
+    readonly propose_agents: z.ZodObject<{
+        task: z.ZodString;
+        risk: z.ZodOptional<z.ZodEnum<{
+            elevated: "elevated";
+            high: "high";
+            routine: "routine";
+        }>>;
+        size: z.ZodOptional<z.ZodEnum<{
+            large: "large";
+            medium: "medium";
+            small: "small";
+        }>>;
+        risky: z.ZodOptional<z.ZodBoolean>;
+        role: z.ZodOptional<z.ZodEnum<{
+            builder: "builder";
+            planner: "planner";
+            repair: "repair";
+        }>>;
+        clear: z.ZodOptional<z.ZodBoolean>;
+        why: z.ZodOptional<z.ZodString>;
+        agent: z.ZodOptional<z.ZodObject<{
+            provider: z.ZodString;
+            model: z.ZodString;
+        }, z.core.$strip>>;
+    }, z.core.$strict>;
+};
+export type LeadToolInput<N extends LeadToolName> = z.infer<(typeof LEAD_TOOL_READ_INPUTS)[N]>;
+/** How a tool's call names a key it doesn't know: propose_flow suggests the flow vocabulary's own words. */
+export declare const LEAD_TOOL_OPTIONS: Partial<Record<LeadToolName, ContractOptions>>;
+/** A repository-context read (repository-context.ts `RepositoryContext`). */
+export declare const repositoryContextOutput: z.ZodObject<{
+    version: z.ZodLiteral<1>;
+    readOnly: z.ZodBoolean;
+    query: z.ZodString;
+    mode: z.ZodEnum<{
+        impact: "impact";
+        search: "search";
+    }>;
+    asOf: z.ZodString;
+    excerpts: z.ZodArray<z.ZodUnknown>;
+}, z.core.$loose>;
+/** The local catch-up (assignment-brief.ts `AssignmentCatchUp`). */
+export declare const catchUpOutput: z.ZodObject<{
+    version: z.ZodLiteral<1>;
+    asOf: z.ZodString;
+    readOnly: z.ZodLiteral<true>;
+    assignments: z.ZodArray<z.ZodUnknown>;
+    projects: z.ZodArray<z.ZodUnknown>;
+    omissions: z.ZodObject<{}, z.core.$loose>;
+}, z.core.$loose>;
+/** How things stand per repository (mate-tools.ts `recapOver`), its repos labelled. */
+export declare const recapOutput: z.ZodObject<{
+    since: z.ZodNullable<z.ZodString>;
+    repos: z.ZodArray<z.ZodUnknown>;
+    waitsOnYou: z.ZodObject<{
+        decisions: z.ZodArray<z.ZodUnknown>;
+        incidents: z.ZodNumber;
+        scopesAwaitingApproval: z.ZodArray<z.ZodUnknown>;
+    }, z.core.$loose>;
+    running: z.ZodArray<z.ZodUnknown>;
+    truncated: z.ZodBoolean;
+}, z.core.$loose>;
+/** Open decisions (`decisionsOver`). */
+export declare const decisionsOutput: z.ZodObject<{
+    decisions: z.ZodArray<z.ZodObject<{
+        decision: z.ZodNumber;
+        task: z.ZodString;
+        question: z.ZodString;
+        options: z.ZodArray<z.ZodUnknown>;
+        ageHours: z.ZodNumber;
+    }, z.core.$loose>>;
+    truncated: z.ZodBoolean;
+}, z.core.$loose>;
+/** One decision in full (`decisionOver`), without the builder's recommendation. */
+export declare const decisionOutput: z.ZodObject<{
+    repo: z.ZodString;
+    decision: z.ZodNumber;
+    task: z.ZodString;
+    state: z.ZodString;
+    question: z.ZodString;
+    options: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        reversible: z.ZodBoolean;
+        consequence: z.ZodString;
+    }, z.core.$loose>>;
+    ageHours: z.ZodNumber;
+}, z.core.$loose>;
+/** One repository's queue by column (`queueOver`). */
+export declare const queueColumnsOutput: {
+    columns: z.ZodArray<z.ZodObject<{
+        column: z.ZodString;
+        tasks: z.ZodArray<z.ZodUnknown>;
+    }, z.core.$loose>>;
+};
+export declare const LEAD_TOOL_OUTPUTS: {
+    readonly get_brief: z.ZodObject<{
+        version: z.ZodLiteral<1>;
+        asOf: z.ZodString;
+        readOnly: z.ZodLiteral<true>;
+        assignments: z.ZodArray<z.ZodUnknown>;
+        projects: z.ZodArray<z.ZodUnknown>;
+        omissions: z.ZodObject<{}, z.core.$loose>;
+    }, z.core.$loose>;
+    readonly get_project_context: z.ZodObject<{
+        version: z.ZodLiteral<1>;
+        readOnly: z.ZodBoolean;
+        query: z.ZodString;
+        mode: z.ZodEnum<{
+            impact: "impact";
+            search: "search";
+        }>;
+        asOf: z.ZodString;
+        excerpts: z.ZodArray<z.ZodUnknown>;
+    }, z.core.$loose>;
+    readonly get_action_status: z.ZodObject<{
+        proposal: z.ZodNumber;
+        operation: z.ZodString;
+        state: z.ZodString;
+        outcome: z.ZodUnknown;
+        finishedAt: z.ZodNullable<z.ZodString>;
+    }, z.core.$loose>;
+    readonly get_actions: z.ZodObject<{
+        actions: z.ZodArray<z.ZodObject<{
+            operation: z.ZodString;
+            label: z.ZodString;
+            secureReview: z.ZodBoolean;
+            inputs: z.ZodArray<z.ZodString>;
+        }, z.core.$loose>>;
+        notice: z.ZodString;
+    }, z.core.$loose>;
+    readonly propose_action: z.ZodObject<{
+        proposal: z.ZodNumber;
+        label: z.ZodString;
+        awaiting: z.ZodString;
+        executed: z.ZodLiteral<false>;
+    }, z.core.$loose>;
+    readonly propose_task_action: z.ZodObject<{
+        proposal: z.ZodNumber;
+        action: z.ZodString;
+        awaiting: z.ZodString;
+    }, z.core.$loose>;
+    readonly get_controls: z.ZodObject<{
+        confirmedInChat: z.ZodArray<z.ZodString>;
+        existingControls: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            label: z.ZodString;
+            needsTask: z.ZodBoolean;
+            needsProject: z.ZodBoolean;
+        }, z.core.$loose>>;
+        rule: z.ZodString;
+    }, z.core.$loose>;
+    readonly show_control: z.ZodObject<{
+        card: z.ZodNumber;
+        label: z.ZodString;
+        action: z.ZodString;
+    }, z.core.$loose>;
+    readonly get_result: z.ZodObject<{
+        task: z.ZodString;
+        root: z.ZodString;
+        currentExecution: z.ZodString;
+        run: z.ZodNumber;
+        title: z.ZodString;
+        feedback: z.ZodArray<z.ZodUnknown>;
+        feedbackTotal: z.ZodNumber;
+        nextFeedbackOffset: z.ZodNullable<z.ZodNumber>;
+        changes: z.ZodString;
+        changesShortened: z.ZodBoolean;
+        verification: z.ZodString;
+        accepted: z.ZodBoolean;
+        evidenceTool: z.ZodString;
+        canRevise: z.ZodBoolean;
+    }, z.core.$loose>;
+    readonly get_diff: z.ZodObject<{
+        task: z.ZodString;
+        run: z.ZodNumber;
+        files: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            added: z.ZodNumber;
+            removed: z.ZodNumber;
+        }, z.core.$loose>>>;
+        file: z.ZodOptional<z.ZodString>;
+        diff: z.ZodOptional<z.ZodString>;
+        nextOffset: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+        notice: z.ZodNullable<z.ZodString>;
+    }, z.core.$loose>;
+    readonly get_check_log: z.ZodObject<{
+        task: z.ZodString;
+        run: z.ZodNumber;
+        log: z.ZodString;
+        notice: z.ZodNullable<z.ZodString>;
+    }, z.core.$loose>;
+    readonly get_acceptance_evidence: z.ZodObject<{
+        task: z.ZodString;
+        run: z.ZodNumber;
+    }, z.core.$loose>;
+    readonly get_result_images: z.ZodObject<{
+        task: z.ZodString;
+        run: z.ZodNumber;
+        imageCount: z.ZodNumber;
+        images: z.ZodArray<z.ZodObject<{
+            id: z.ZodNumber;
+            position: z.ZodNumber;
+            selected: z.ZodBoolean;
+        }, z.core.$loose>>;
+        selected: z.ZodArray<z.ZodNumber>;
+        selectedCount: z.ZodNumber;
+        sendCount: z.ZodNumber;
+        nextImageOffset: z.ZodNullable<z.ZodNumber>;
+        nextImageIds: z.ZodArray<z.ZodNumber>;
+        unavailable: z.ZodArray<z.ZodUnknown>;
+        delivery: z.ZodString;
+    }, z.core.$loose>;
+    readonly propose_review: z.ZodObject<{
+        proposal: z.ZodNumber;
+        kind: z.ZodLiteral<"review">;
+        awaiting: z.ZodString;
+    }, z.core.$loose>;
+    readonly recap: z.ZodObject<{
+        since: z.ZodNullable<z.ZodString>;
+        repos: z.ZodArray<z.ZodUnknown>;
+        waitsOnYou: z.ZodObject<{
+            decisions: z.ZodArray<z.ZodUnknown>;
+            incidents: z.ZodNumber;
+            scopesAwaitingApproval: z.ZodArray<z.ZodUnknown>;
+        }, z.core.$loose>;
+        running: z.ZodArray<z.ZodUnknown>;
+        truncated: z.ZodBoolean;
+    }, z.core.$loose>;
+    readonly list_repos: z.ZodObject<{
+        repos: z.ZodArray<z.ZodObject<{
+            repo: z.ZodString;
+        }, z.core.$loose>>;
+    }, z.core.$loose>;
+    readonly get_project_tools: z.ZodObject<{
+        rule: z.ZodString;
+        tools: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+        }, z.core.$loose>>;
+        connectBySigningIn: z.ZodArray<z.ZodUnknown>;
+        commonTools: z.ZodArray<z.ZodUnknown>;
+        foundOnThisComputer: z.ZodArray<z.ZodUnknown>;
+        notice: z.ZodString;
+    }, z.core.$loose>;
+    readonly get_flows: z.ZodUnion<readonly [z.ZodObject<{
+        flow: z.ZodNumber;
+        name: z.ZodString;
+        steps: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            title: z.ZodString;
+            kind: z.ZodString;
+        }, z.core.$loose>>;
+        cards: z.ZodArray<z.ZodObject<{
+            card: z.ZodNumber;
+            title: z.ZodString;
+        }, z.core.$loose>>;
+        scripts: z.ZodArray<z.ZodUnknown>;
+        triggers: z.ZodArray<z.ZodUnknown>;
+        rule: z.ZodString;
+    }, z.core.$loose>, z.ZodObject<{
+        flows: z.ZodArray<z.ZodObject<{
+            flow: z.ZodNumber;
+            name: z.ZodString;
+            cards: z.ZodNumber;
+            needYou: z.ZodNumber;
+            triggers: z.ZodNumber;
+        }, z.core.$loose>>;
+        templates: z.ZodArray<z.ZodUnknown>;
+        scripts: z.ZodArray<z.ZodUnknown>;
+        rule: z.ZodString;
+    }, z.core.$loose>]>;
+    readonly propose_flow: z.ZodObject<{
+        proposal: z.ZodNumber;
+        label: z.ZodString;
+        awaiting: z.ZodString;
+        executed: z.ZodLiteral<false>;
+    }, z.core.$loose>;
+    readonly get_teammates: z.ZodObject<{
+        teammates: z.ZodArray<z.ZodObject<{
+            teammate: z.ZodNumber;
+            name: z.ZodString;
+            working: z.ZodBoolean;
+            soul: z.ZodString;
+        }, z.core.$loose>>;
+        templates: z.ZodArray<z.ZodUnknown>;
+        rule: z.ZodString;
+    }, z.core.$loose>;
+    readonly propose_teammate: z.ZodObject<{
+        proposal: z.ZodNumber;
+        label: z.ZodString;
+        awaiting: z.ZodString;
+        executed: z.ZodLiteral<false>;
+    }, z.core.$loose>;
+    readonly get_flow_insights: z.ZodUnion<readonly [z.ZodObject<{
+        days: z.ZodNumber;
+        flows: z.ZodArray<z.ZodObject<{
+            flow: z.ZodNumber;
+            name: z.ZodString;
+        }, z.core.$loose>>;
+    }, z.core.$loose>, z.ZodObject<{
+        card: z.ZodNumber;
+        entry: z.ZodNumber;
+        state: z.ZodString;
+        log: z.ZodString;
+    }, z.core.$loose>, z.ZodObject<{
+        runs: z.ZodArray<z.ZodUnknown>;
+        rule: z.ZodString;
+    }, z.core.$loose>]>;
+    readonly get_skills: z.ZodUnion<readonly [z.ZodObject<{
+        version: z.ZodString;
+        instructions: z.ZodString;
+        nextOffset: z.ZodNullable<z.ZodNumber>;
+        notice: z.ZodString;
+    }, z.core.$loose>, z.ZodObject<{
+        skills: z.ZodArray<z.ZodUnknown>;
+        nextOffset: z.ZodNullable<z.ZodNumber>;
+    }, z.core.$loose>]>;
+    readonly get_project_knowledge: z.ZodObject<{
+        revision: z.ZodNumber;
+    }, z.core.$loose>;
+    readonly get_task_conversation: z.ZodObject<{
+        task: z.ZodString;
+        messages: z.ZodArray<z.ZodObject<{
+            from: z.ZodEnum<{
+                lead: "lead";
+                operator: "operator";
+            }>;
+            text: z.ZodString;
+            at: z.ZodString;
+        }, z.core.$loose>>;
+        notice: z.ZodNullable<z.ZodString>;
+    }, z.core.$loose>;
+    readonly commit_to: z.ZodObject<{
+        commitment: z.ZodNumber;
+        condition: z.ZodString;
+        expires: z.ZodString;
+        report: z.ZodString;
+    }, z.core.$loose>;
+    readonly release_commitment: z.ZodObject<{
+        commitment: z.ZodNumber;
+        state: z.ZodLiteral<"cancelled">;
+    }, z.core.$loose>;
+    readonly remember: z.ZodObject<{
+        proposal: z.ZodNumber;
+        label: z.ZodString;
+        awaiting: z.ZodString;
+        executed: z.ZodLiteral<false>;
+        next: z.ZodString;
+    }, z.core.$loose>;
+    readonly get_person: z.ZodUnion<readonly [z.ZodObject<{
+        person: z.ZodObject<{}, z.core.$loose>;
+    }, z.core.$loose>, z.ZodObject<{
+        several: z.ZodArray<z.ZodUnknown>;
+        next: z.ZodString;
+    }, z.core.$loose>]>;
+    readonly get_integrations: z.ZodObject<{
+        integrations: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            kind: z.ZodString;
+            state: z.ZodString;
+        }, z.core.$loose>>;
+        settings: z.ZodString;
+    }, z.core.$loose>;
+    readonly get_capabilities: z.ZodObject<{
+        projects: z.ZodArray<z.ZodObject<{
+            repo: z.ZodString;
+        }, z.core.$loose>>;
+        workers: z.ZodUnknown;
+        integrations: z.ZodUnknown;
+        rule: z.ZodString;
+    }, z.core.$loose>;
+    readonly ask_owner: z.ZodObject<{
+        asked: z.ZodString;
+        options: z.ZodArray<z.ZodString>;
+        shown: z.ZodString;
+    }, z.core.$loose>;
+    readonly search_project_memory: z.ZodObject<{
+        hits: z.ZodArray<z.ZodUnknown>;
+        notice: z.ZodString;
+    }, z.core.$loose>;
+    readonly get_models: z.ZodObject<{
+        roles: z.ZodArray<z.ZodObject<{
+            role: z.ZodString;
+        }, z.core.$loose>>;
+        tools: z.ZodArray<z.ZodUnknown>;
+        newModels: z.ZodArray<z.ZodUnknown>;
+        change: z.ZodString;
+    }, z.core.$loose>;
+    readonly list_tasks: z.ZodObject<{
+        tasks: z.ZodArray<z.ZodObject<{
+            repo: z.ZodString;
+            task: z.ZodString;
+            execution: z.ZodString;
+            title: z.ZodString;
+            state: z.ZodString;
+            ageHours: z.ZodNumber;
+            strikes: z.ZodNumber;
+        }, z.core.$loose>>;
+        truncated: z.ZodBoolean;
+    }, z.core.$loose>;
+    readonly get_task: z.ZodObject<{
+        repo: z.ZodString;
+        task: z.ZodString;
+        root: z.ZodString;
+        currentExecution: z.ZodString;
+        title: z.ZodString;
+        state: z.ZodString;
+        deliverable: z.ZodString;
+        scope: z.ZodString;
+        queue: z.ZodNullable<z.ZodObject<{
+            position: z.ZodNumber;
+            of: z.ZodNumber;
+            column: z.ZodString;
+        }, z.core.$loose>>;
+        holds: z.ZodArray<z.ZodUnknown>;
+        attempts: z.ZodNumber;
+        decisionsOpen: z.ZodNumber;
+        dependencies: z.ZodArray<z.ZodUnknown>;
+    }, z.core.$loose>;
+    readonly get_agents: z.ZodObject<{
+        repo: z.ZodString;
+        task: z.ZodString;
+        risk: z.ZodObject<{
+            level: z.ZodString;
+        }, z.core.$loose>;
+        standing: z.ZodString;
+        agents: z.ZodArray<z.ZodUnknown>;
+        choices: z.ZodObject<{}, z.core.$loose>;
+        approval: z.ZodString;
+        organisationPolicy: z.ZodObject<{}, z.core.$loose>;
+    }, z.core.$loose>;
+    readonly list_decisions: z.ZodObject<{
+        decisions: z.ZodArray<z.ZodObject<{
+            decision: z.ZodNumber;
+            task: z.ZodString;
+            question: z.ZodString;
+            options: z.ZodArray<z.ZodUnknown>;
+            ageHours: z.ZodNumber;
+        }, z.core.$loose>>;
+        truncated: z.ZodBoolean;
+    }, z.core.$loose>;
+    readonly get_decision: z.ZodObject<{
+        repo: z.ZodString;
+        decision: z.ZodNumber;
+        task: z.ZodString;
+        state: z.ZodString;
+        question: z.ZodString;
+        options: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            label: z.ZodString;
+            reversible: z.ZodBoolean;
+            consequence: z.ZodString;
+        }, z.core.$loose>>;
+        ageHours: z.ZodNumber;
+    }, z.core.$loose>;
+    readonly queue: z.ZodObject<{
+        columns: z.ZodArray<z.ZodObject<{
+            column: z.ZodString;
+            tasks: z.ZodArray<z.ZodUnknown>;
+        }, z.core.$loose>>;
+        repo: z.ZodString;
+        queueRevision: z.ZodNumber;
+    }, z.core.$loose>;
+    readonly propose_task: z.ZodObject<{
+        proposal: z.ZodNumber;
+        kind: z.ZodLiteral<"task">;
+        awaiting: z.ZodString;
+    }, z.core.$loose>;
+    readonly propose_next: z.ZodObject<{
+        proposal: z.ZodNumber;
+        kind: z.ZodLiteral<"next">;
+        awaiting: z.ZodString;
+    }, z.core.$loose>;
+    readonly propose_reserve: z.ZodObject<{
+        proposal: z.ZodNumber;
+        kind: z.ZodLiteral<"reserve">;
+        awaiting: z.ZodString;
+    }, z.core.$loose>;
+    readonly propose_hold: z.ZodObject<{
+        proposal: z.ZodNumber;
+        kind: z.ZodLiteral<"hold">;
+        awaiting: z.ZodString;
+    }, z.core.$loose>;
+    readonly propose_unhold: z.ZodObject<{
+        proposal: z.ZodNumber;
+        kind: z.ZodLiteral<"unhold">;
+        awaiting: z.ZodString;
+    }, z.core.$loose>;
+    readonly propose_steer: z.ZodObject<{
+        proposal: z.ZodNumber;
+        kind: z.ZodLiteral<"steer">;
+        awaiting: z.ZodString;
+    }, z.core.$loose>;
+    readonly propose_dependency_repair: z.ZodObject<{
+        proposal: z.ZodNumber;
+        kind: z.ZodLiteral<"repair">;
+        awaiting: z.ZodString;
+    }, z.core.$loose>;
+    readonly propose_scope: z.ZodObject<{
+        proposal: z.ZodNumber;
+        kind: z.ZodLiteral<"scope">;
+        awaiting: z.ZodString;
+    }, z.core.$loose>;
+    readonly propose_agents: z.ZodObject<{
+        proposal: z.ZodNumber;
+        kind: z.ZodLiteral<"agents">;
+        awaiting: z.ZodString;
+    }, z.core.$loose>;
+    readonly propose_answer: z.ZodObject<{
+        proposal: z.ZodNumber;
+        kind: z.ZodLiteral<"answer">;
+        awaiting: z.ZodString;
+    }, z.core.$loose>;
+    readonly propose_cancel: z.ZodObject<{
+        proposal: z.ZodNumber;
+        kind: z.ZodLiteral<"cancel">;
+        awaiting: z.ZodString;
+    }, z.core.$loose>;
+};
+export type LeadToolOutput<N extends LeadToolName> = z.infer<(typeof LEAD_TOOL_OUTPUTS)[N]>;
+/**
+ * Report a result that disagrees with its output schema without hiding the actual result, including under Vitest.
+ * Contract tests assert output shapes directly; executing a tool always writes the diagnostic and returns its result.
+ */
+export declare function reportToolOutput(surface: "lead" | "gateway", tool: string, schema: z.ZodType, body: unknown): void;