@skyramp/mcp 0.4.4-rc.1 → 0.4.4

package/build/tools/test-management/registerTestPlanTool.d.ts

@@ -1,800 +1,174 @@
 import { z } from "zod";
-import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import { McpServer } from "@modelcontextprotocol/server";
 import { StateManager, UnifiedAnalysisState } from "../../utils/AnalysisStateManager.js";
-import { Plan, PlanResult } from "../../recommendation/registerPlan.js";
-import { ObjectionAnswer, PlanBlocker, PlanChange, PlanDefect, PlanInput, PlanMaintenance, VerifyContext } from "../../recommendation/types.js";
+import { PlanResult } from "../../recommendation/registerPlan.js";
+import { ObjectionAnswer, PlanChange, PlanDefect, PlanInput, PlanMaintenance, VerifyContext } from "../../recommendation/types.js";
 /** The whole run's state file: the primary repository at the root, every related
  *  repository under `relatedRepos`. */
 type RunState = Awaited<ReturnType<StateManager<UnifiedAnalysisState>["readFullState"]>>;
 export declare const declarationFieldsSchema: z.ZodObject<{
     changedFile: z.ZodOptional<z.ZodString>;
-    changes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    defects: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    changes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    defects: z.ZodOptional<z.ZodArray<z.ZodString>>;
     asserts: z.ZodString;
     stepUnderTest: z.ZodOptional<z.ZodNumber>;
     expected: z.ZodObject<{
-        outcome: z.ZodEnum<["fail", "pass"]>;
+        outcome: z.ZodEnum<{
+            pass: "pass";
+            fail: "fail";
+        }>;
         why: z.ZodString;
-    }, "strict", z.ZodTypeAny, {
-        outcome: "pass" | "fail";
-        why: string;
-    }, {
-        outcome: "pass" | "fail";
-        why: string;
-    }>;
+    }, z.core.$strict>;
     differsFrom: z.ZodOptional<z.ZodArray<z.ZodObject<{
         plannedTestId: z.ZodString;
         difference: z.ZodString;
-    }, "strict", z.ZodTypeAny, {
-        plannedTestId: string;
-        difference: string;
-    }, {
-        plannedTestId: string;
-        difference: string;
-    }>, "many">>;
+    }, z.core.$strict>>>;
     existingTests: z.ZodOptional<z.ZodArray<z.ZodObject<{
         file: z.ZodString;
         differsBy: z.ZodString;
-    }, "strict", z.ZodTypeAny, {
-        file: string;
-        differsBy: string;
-    }, {
-        file: string;
-        differsBy: string;
-    }>, "many">>;
+    }, z.core.$strict>>>;
     startState: z.ZodOptional<z.ZodString>;
     routes: z.ZodOptional<z.ZodArray<z.ZodObject<{
         step: z.ZodNumber;
         file: z.ZodString;
-    }, "strict", z.ZodTypeAny, {
-        file: string;
-        step: number;
-    }, {
-        file: string;
-        step: number;
-    }>, "many">>;
+    }, z.core.$strict>>>;
     screenEvidence: z.ZodOptional<z.ZodObject<{
         file: z.ZodString;
-    }, "strict", z.ZodTypeAny, {
-        file: string;
-    }, {
-        file: string;
-    }>>;
+    }, z.core.$strict>>;
     elements: z.ZodOptional<z.ZodNullable<z.ZodObject<{
         pageUrl: z.ZodOptional<z.ZodString>;
         items: z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodObject<{
             role: z.ZodString;
             accessibleName: z.ZodString;
-            testId: z.ZodEffects<z.ZodOptional<z.ZodNullable<z.ZodString>>, string | null, string | null | undefined>;
-            stableId: z.ZodEffects<z.ZodOptional<z.ZodNullable<z.ZodString>>, string | null, string | null | undefined>;
-            contextText: z.ZodEffects<z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString, "many">>>, string[] | null, string[] | null | undefined>;
-            mutability: z.ZodOptional<z.ZodEnum<["mutable", "immutable", "unknown"]>>;
-            widgetType: z.ZodOptional<z.ZodEnum<["native", "custom", "unknown"]>>;
-        }, "strip", z.ZodTypeAny, {
-            role: string;
-            testId: string | null;
-            stableId: string | null;
-            accessibleName: string;
-            contextText: string[] | null;
-            mutability?: "unknown" | "mutable" | "immutable" | undefined;
-            widgetType?: "unknown" | "custom" | "native" | undefined;
-        }, {
-            role: string;
-            accessibleName: string;
-            testId?: string | null | undefined;
-            stableId?: string | null | undefined;
-            contextText?: string[] | null | undefined;
-            mutability?: "unknown" | "mutable" | "immutable" | undefined;
-            widgetType?: "unknown" | "custom" | "native" | undefined;
-        }>, "many">>>;
-    }, "strict", z.ZodTypeAny, {
-        items?: {
-            role: string;
-            testId: string | null;
-            stableId: string | null;
-            accessibleName: string;
-            contextText: string[] | null;
-            mutability?: "unknown" | "mutable" | "immutable" | undefined;
-            widgetType?: "unknown" | "custom" | "native" | undefined;
-        }[] | null | undefined;
-        pageUrl?: string | undefined;
-    }, {
-        items?: {
-            role: string;
-            accessibleName: string;
-            testId?: string | null | undefined;
-            stableId?: string | null | undefined;
-            contextText?: string[] | null | undefined;
-            mutability?: "unknown" | "mutable" | "immutable" | undefined;
-            widgetType?: "unknown" | "custom" | "native" | undefined;
-        }[] | null | undefined;
-        pageUrl?: string | undefined;
-    }>>>;
-}, "strip", z.ZodTypeAny, {
-    expected: {
-        outcome: "pass" | "fail";
-        why: string;
-    };
-    asserts: string;
-    existingTests?: {
-        file: string;
-        differsBy: string;
-    }[] | undefined;
-    changedFile?: string | undefined;
-    defects?: string[] | undefined;
-    routes?: {
-        file: string;
-        step: number;
-    }[] | undefined;
-    changes?: string[] | undefined;
-    elements?: {
-        items?: {
-            role: string;
-            testId: string | null;
-            stableId: string | null;
-            accessibleName: string;
-            contextText: string[] | null;
-            mutability?: "unknown" | "mutable" | "immutable" | undefined;
-            widgetType?: "unknown" | "custom" | "native" | undefined;
-        }[] | null | undefined;
-        pageUrl?: string | undefined;
-    } | null | undefined;
-    stepUnderTest?: number | undefined;
-    differsFrom?: {
-        plannedTestId: string;
-        difference: string;
-    }[] | undefined;
-    startState?: string | undefined;
-    screenEvidence?: {
-        file: string;
-    } | undefined;
-}, {
-    expected: {
-        outcome: "pass" | "fail";
-        why: string;
-    };
-    asserts: string;
-    existingTests?: {
-        file: string;
-        differsBy: string;
-    }[] | undefined;
-    changedFile?: string | undefined;
-    defects?: string[] | undefined;
-    routes?: {
-        file: string;
-        step: number;
-    }[] | undefined;
-    changes?: string[] | undefined;
-    elements?: {
-        items?: {
-            role: string;
-            accessibleName: string;
-            testId?: string | null | undefined;
-            stableId?: string | null | undefined;
-            contextText?: string[] | null | undefined;
-            mutability?: "unknown" | "mutable" | "immutable" | undefined;
-            widgetType?: "unknown" | "custom" | "native" | undefined;
-        }[] | null | undefined;
-        pageUrl?: string | undefined;
-    } | null | undefined;
-    stepUnderTest?: number | undefined;
-    differsFrom?: {
-        plannedTestId: string;
-        difference: string;
-    }[] | undefined;
-    startState?: string | undefined;
-    screenEvidence?: {
-        file: string;
-    } | undefined;
-}>;
+            testId: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodString>>, z.ZodTransform<string | null, string | null | undefined>>;
+            stableId: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodString>>, z.ZodTransform<string | null, string | null | undefined>>;
+            contextText: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString>>>, z.ZodTransform<string[] | null, string[] | null | undefined>>;
+            mutability: z.ZodOptional<z.ZodEnum<{
+                unknown: "unknown";
+                mutable: "mutable";
+                immutable: "immutable";
+            }>>;
+            widgetType: z.ZodOptional<z.ZodEnum<{
+                unknown: "unknown";
+                custom: "custom";
+                native: "native";
+            }>>;
+        }, z.core.$strip>>>>;
+    }, z.core.$strict>>>;
+}, z.core.$strip>;
 /** Move a declaration field written one level too high into `declarations`.
  *  MEASURED: about one planned test in five did this across 141 eval planned tests, and
  *  every stray planned test-level key was a declaration field. A field in BOTH places
  *  with different values stays put, so `.strict()` refuses it by name. */
 export declare function hoistDeclarationFields(value: unknown): unknown;
-declare const registerPlannedTestSchema: z.ZodEffects<z.ZodEffects<z.ZodObject<{
-    scenarioName: z.ZodEffects<z.ZodString, string, string>;
+declare const registerPlannedTestSchema: z.ZodPreprocess<z.ZodObject<{
+    scenarioName: z.ZodString;
     repository: z.ZodString;
     description: z.ZodString;
-    category: z.ZodEnum<["new_endpoint", "bug_caught", "requirement_conflict", "business_rule", "security_boundary", "data_integrity", "breaking_change", "auth", "error_handling", "workflow", "data_validation", "crud"]>;
-    testType: z.ZodEnum<[import("../../types/TestTypes.js").TestType.CONTRACT, import("../../types/TestTypes.js").TestType.INTEGRATION, import("../../types/TestTypes.js").TestType.E2E, import("../../types/TestTypes.js").TestType.UI]>;
-    steps: z.ZodArray<z.ZodEffects<z.ZodEffects<z.ZodObject<{
+    category: z.ZodEnum<{
+        new_endpoint: "new_endpoint";
+        bug_caught: "bug_caught";
+        requirement_conflict: "requirement_conflict";
+        business_rule: "business_rule";
+        security_boundary: "security_boundary";
+        data_integrity: "data_integrity";
+        breaking_change: "breaking_change";
+        auth: "auth";
+        error_handling: "error_handling";
+        workflow: "workflow";
+        data_validation: "data_validation";
+        crud: "crud";
+    }>;
+    testType: z.ZodEnum<{
+        contract: import("../../types/TestTypes.js").TestType.CONTRACT;
+        integration: import("../../types/TestTypes.js").TestType.INTEGRATION;
+        e2e: import("../../types/TestTypes.js").TestType.E2E;
+        ui: import("../../types/TestTypes.js").TestType.UI;
+    }>;
+    steps: z.ZodArray<z.ZodObject<{
         order: z.ZodNumber;
-        method: z.ZodEffects<z.ZodEnum<["GET", "POST", "PUT", "PATCH", "DELETE", "HEAD", "OPTIONS", "TRACE", "CONNECT", "assert", "click", "drag", "drag-hold", "hover", "inspect", "navigate", "press", "release", "tap", "type", "wait", "OPERATION"]>, "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "HEAD" | "OPTIONS" | "type" | "TRACE" | "CONNECT" | "assert" | "click" | "drag" | "drag-hold" | "hover" | "inspect" | "navigate" | "press" | "release" | "tap" | "wait" | "OPERATION", unknown>;
-        path: z.ZodEffects<z.ZodString, string, string>;
+        method: z.ZodPreprocess<z.ZodEnum<{
+            GET: "GET";
+            POST: "POST";
+            PUT: "PUT";
+            DELETE: "DELETE";
+            PATCH: "PATCH";
+            HEAD: "HEAD";
+            OPTIONS: "OPTIONS";
+            type: "type";
+            TRACE: "TRACE";
+            CONNECT: "CONNECT";
+            assert: "assert";
+            click: "click";
+            drag: "drag";
+            "drag-hold": "drag-hold";
+            hover: "hover";
+            inspect: "inspect";
+            navigate: "navigate";
+            press: "press";
+            release: "release";
+            tap: "tap";
+            wait: "wait";
+            OPERATION: "OPERATION";
+        }>, unknown>;
+        path: z.ZodString;
         description: z.ZodOptional<z.ZodString>;
         requestBody: z.ZodOptional<z.ZodUnknown>;
         queryParams: z.ZodOptional<z.ZodUnknown>;
-        omits: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        omits: z.ZodOptional<z.ZodArray<z.ZodString>>;
         expectedStatusCode: z.ZodOptional<z.ZodNumber>;
-    }, "strip", z.ZodTypeAny, {
-        path: string;
-        method: "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "HEAD" | "OPTIONS" | "type" | "TRACE" | "CONNECT" | "assert" | "click" | "drag" | "drag-hold" | "hover" | "inspect" | "navigate" | "press" | "release" | "tap" | "wait" | "OPERATION";
-        order: number;
-        description?: string | undefined;
-        queryParams?: unknown;
-        requestBody?: unknown;
-        expectedStatusCode?: number | undefined;
-        omits?: string[] | undefined;
-    }, {
-        path: string;
-        order: number;
-        method?: unknown;
-        description?: string | undefined;
-        queryParams?: unknown;
-        requestBody?: unknown;
-        expectedStatusCode?: number | undefined;
-        omits?: string[] | undefined;
-    }>, {
-        path: string;
-        method: "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "HEAD" | "OPTIONS" | "type" | "TRACE" | "CONNECT" | "assert" | "click" | "drag" | "drag-hold" | "hover" | "inspect" | "navigate" | "press" | "release" | "tap" | "wait" | "OPERATION";
-        order: number;
-        description?: string | undefined;
-        queryParams?: unknown;
-        requestBody?: unknown;
-        expectedStatusCode?: number | undefined;
-        omits?: string[] | undefined;
-    }, {
-        path: string;
-        order: number;
-        method?: unknown;
-        description?: string | undefined;
-        queryParams?: unknown;
-        requestBody?: unknown;
-        expectedStatusCode?: number | undefined;
-        omits?: string[] | undefined;
-    }>, {
-        path: string;
-        method: "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "HEAD" | "OPTIONS" | "type" | "TRACE" | "CONNECT" | "assert" | "click" | "drag" | "drag-hold" | "hover" | "inspect" | "navigate" | "press" | "release" | "tap" | "wait" | "OPERATION";
-        order: number;
-        description?: string | undefined;
-        queryParams?: unknown;
-        requestBody?: unknown;
-        expectedStatusCode?: number | undefined;
-        omits?: string[] | undefined;
-    }, {
-        path: string;
-        order: number;
-        method?: unknown;
-        description?: string | undefined;
-        queryParams?: unknown;
-        requestBody?: unknown;
-        expectedStatusCode?: number | undefined;
-        omits?: string[] | undefined;
-    }>, "many">;
-    declarations: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+    }, z.core.$strip>>;
+    declarations: z.ZodOptional<z.ZodObject<{
         changedFile: z.ZodOptional<z.ZodString>;
-        changes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        defects: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        changes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        defects: z.ZodOptional<z.ZodArray<z.ZodString>>;
         asserts: z.ZodString;
         stepUnderTest: z.ZodOptional<z.ZodNumber>;
         expected: z.ZodObject<{
-            outcome: z.ZodEnum<["fail", "pass"]>;
+            outcome: z.ZodEnum<{
+                pass: "pass";
+                fail: "fail";
+            }>;
             why: z.ZodString;
-        }, "strict", z.ZodTypeAny, {
-            outcome: "pass" | "fail";
-            why: string;
-        }, {
-            outcome: "pass" | "fail";
-            why: string;
-        }>;
+        }, z.core.$strict>;
         differsFrom: z.ZodOptional<z.ZodArray<z.ZodObject<{
             plannedTestId: z.ZodString;
             difference: z.ZodString;
-        }, "strict", z.ZodTypeAny, {
-            plannedTestId: string;
-            difference: string;
-        }, {
-            plannedTestId: string;
-            difference: string;
-        }>, "many">>;
+        }, z.core.$strict>>>;
         existingTests: z.ZodOptional<z.ZodArray<z.ZodObject<{
             file: z.ZodString;
             differsBy: z.ZodString;
-        }, "strict", z.ZodTypeAny, {
-            file: string;
-            differsBy: string;
-        }, {
-            file: string;
-            differsBy: string;
-        }>, "many">>;
+        }, z.core.$strict>>>;
         startState: z.ZodOptional<z.ZodString>;
         routes: z.ZodOptional<z.ZodArray<z.ZodObject<{
             step: z.ZodNumber;
             file: z.ZodString;
-        }, "strict", z.ZodTypeAny, {
-            file: string;
-            step: number;
-        }, {
-            file: string;
-            step: number;
-        }>, "many">>;
+        }, z.core.$strict>>>;
         screenEvidence: z.ZodOptional<z.ZodObject<{
             file: z.ZodString;
-        }, "strict", z.ZodTypeAny, {
-            file: string;
-        }, {
-            file: string;
-        }>>;
+        }, z.core.$strict>>;
         elements: z.ZodOptional<z.ZodNullable<z.ZodObject<{
             pageUrl: z.ZodOptional<z.ZodString>;
             items: z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodObject<{
                 role: z.ZodString;
                 accessibleName: z.ZodString;
-                testId: z.ZodEffects<z.ZodOptional<z.ZodNullable<z.ZodString>>, string | null, string | null | undefined>;
-                stableId: z.ZodEffects<z.ZodOptional<z.ZodNullable<z.ZodString>>, string | null, string | null | undefined>;
-                contextText: z.ZodEffects<z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString, "many">>>, string[] | null, string[] | null | undefined>;
-                mutability: z.ZodOptional<z.ZodEnum<["mutable", "immutable", "unknown"]>>;
-                widgetType: z.ZodOptional<z.ZodEnum<["native", "custom", "unknown"]>>;
-            }, "strip", z.ZodTypeAny, {
-                role: string;
-                testId: string | null;
-                stableId: string | null;
-                accessibleName: string;
-                contextText: string[] | null;
-                mutability?: "unknown" | "mutable" | "immutable" | undefined;
-                widgetType?: "unknown" | "custom" | "native" | undefined;
-            }, {
-                role: string;
-                accessibleName: string;
-                testId?: string | null | undefined;
-                stableId?: string | null | undefined;
-                contextText?: string[] | null | undefined;
-                mutability?: "unknown" | "mutable" | "immutable" | undefined;
-                widgetType?: "unknown" | "custom" | "native" | undefined;
-            }>, "many">>>;
-        }, "strict", z.ZodTypeAny, {
-            items?: {
-                role: string;
-                testId: string | null;
-                stableId: string | null;
-                accessibleName: string;
-                contextText: string[] | null;
-                mutability?: "unknown" | "mutable" | "immutable" | undefined;
-                widgetType?: "unknown" | "custom" | "native" | undefined;
-            }[] | null | undefined;
-            pageUrl?: string | undefined;
-        }, {
-            items?: {
-                role: string;
-                accessibleName: string;
-                testId?: string | null | undefined;
-                stableId?: string | null | undefined;
-                contextText?: string[] | null | undefined;
-                mutability?: "unknown" | "mutable" | "immutable" | undefined;
-                widgetType?: "unknown" | "custom" | "native" | undefined;
-            }[] | null | undefined;
-            pageUrl?: string | undefined;
-        }>>>;
-    }, "strict", z.ZodTypeAny, {
-        expected: {
-            outcome: "pass" | "fail";
-            why: string;
-        };
-        asserts: string;
-        existingTests?: {
-            file: string;
-            differsBy: string;
-        }[] | undefined;
-        changedFile?: string | undefined;
-        defects?: string[] | undefined;
-        routes?: {
-            file: string;
-            step: number;
-        }[] | undefined;
-        changes?: string[] | undefined;
-        elements?: {
-            items?: {
-                role: string;
-                testId: string | null;
-                stableId: string | null;
-                accessibleName: string;
-                contextText: string[] | null;
-                mutability?: "unknown" | "mutable" | "immutable" | undefined;
-                widgetType?: "unknown" | "custom" | "native" | undefined;
-            }[] | null | undefined;
-            pageUrl?: string | undefined;
-        } | null | undefined;
-        stepUnderTest?: number | undefined;
-        differsFrom?: {
-            plannedTestId: string;
-            difference: string;
-        }[] | undefined;
-        startState?: string | undefined;
-        screenEvidence?: {
-            file: string;
-        } | undefined;
-    }, {
-        expected: {
-            outcome: "pass" | "fail";
-            why: string;
-        };
-        asserts: string;
-        existingTests?: {
-            file: string;
-            differsBy: string;
-        }[] | undefined;
-        changedFile?: string | undefined;
-        defects?: string[] | undefined;
-        routes?: {
-            file: string;
-            step: number;
-        }[] | undefined;
-        changes?: string[] | undefined;
-        elements?: {
-            items?: {
-                role: string;
-                accessibleName: string;
-                testId?: string | null | undefined;
-                stableId?: string | null | undefined;
-                contextText?: string[] | null | undefined;
-                mutability?: "unknown" | "mutable" | "immutable" | undefined;
-                widgetType?: "unknown" | "custom" | "native" | undefined;
-            }[] | null | undefined;
-            pageUrl?: string | undefined;
-        } | null | undefined;
-        stepUnderTest?: number | undefined;
-        differsFrom?: {
-            plannedTestId: string;
-            difference: string;
-        }[] | undefined;
-        startState?: string | undefined;
-        screenEvidence?: {
-            file: string;
-        } | undefined;
-    }>, {
-        expected: {
-            outcome: "pass" | "fail";
-            why: string;
-        };
-        asserts: string;
-        existingTests?: {
-            file: string;
-            differsBy: string;
-        }[] | undefined;
-        changedFile?: string | undefined;
-        defects?: string[] | undefined;
-        routes?: {
-            file: string;
-            step: number;
-        }[] | undefined;
-        changes?: string[] | undefined;
-        elements?: {
-            items?: {
-                role: string;
-                testId: string | null;
-                stableId: string | null;
-                accessibleName: string;
-                contextText: string[] | null;
-                mutability?: "unknown" | "mutable" | "immutable" | undefined;
-                widgetType?: "unknown" | "custom" | "native" | undefined;
-            }[] | null | undefined;
-            pageUrl?: string | undefined;
-        } | null | undefined;
-        stepUnderTest?: number | undefined;
-        differsFrom?: {
-            plannedTestId: string;
-            difference: string;
-        }[] | undefined;
-        startState?: string | undefined;
-        screenEvidence?: {
-            file: string;
-        } | undefined;
-    }, {
-        expected: {
-            outcome: "pass" | "fail";
-            why: string;
-        };
-        asserts: string;
-        existingTests?: {
-            file: string;
-            differsBy: string;
-        }[] | undefined;
-        changedFile?: string | undefined;
-        defects?: string[] | undefined;
-        routes?: {
-            file: string;
-            step: number;
-        }[] | undefined;
-        changes?: string[] | undefined;
-        elements?: {
-            items?: {
-                role: string;
-                accessibleName: string;
-                testId?: string | null | undefined;
-                stableId?: string | null | undefined;
-                contextText?: string[] | null | undefined;
-                mutability?: "unknown" | "mutable" | "immutable" | undefined;
-                widgetType?: "unknown" | "custom" | "native" | undefined;
-            }[] | null | undefined;
-            pageUrl?: string | undefined;
-        } | null | undefined;
-        stepUnderTest?: number | undefined;
-        differsFrom?: {
-            plannedTestId: string;
-            difference: string;
-        }[] | undefined;
-        startState?: string | undefined;
-        screenEvidence?: {
-            file: string;
-        } | undefined;
-    }>>;
-}, "strict", z.ZodTypeAny, {
-    description: string;
-    repository: string;
-    testType: import("../../types/TestTypes.js").TestType.CONTRACT | import("../../types/TestTypes.js").TestType.INTEGRATION | import("../../types/TestTypes.js").TestType.E2E | import("../../types/TestTypes.js").TestType.UI;
-    category: "new_endpoint" | "bug_caught" | "requirement_conflict" | "business_rule" | "security_boundary" | "data_integrity" | "breaking_change" | "auth" | "error_handling" | "workflow" | "data_validation" | "crud";
-    scenarioName: string;
-    steps: {
-        path: string;
-        method: "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "HEAD" | "OPTIONS" | "type" | "TRACE" | "CONNECT" | "assert" | "click" | "drag" | "drag-hold" | "hover" | "inspect" | "navigate" | "press" | "release" | "tap" | "wait" | "OPERATION";
-        order: number;
-        description?: string | undefined;
-        queryParams?: unknown;
-        requestBody?: unknown;
-        expectedStatusCode?: number | undefined;
-        omits?: string[] | undefined;
-    }[];
-    declarations?: {
-        expected: {
-            outcome: "pass" | "fail";
-            why: string;
-        };
-        asserts: string;
-        existingTests?: {
-            file: string;
-            differsBy: string;
-        }[] | undefined;
-        changedFile?: string | undefined;
-        defects?: string[] | undefined;
-        routes?: {
-            file: string;
-            step: number;
-        }[] | undefined;
-        changes?: string[] | undefined;
-        elements?: {
-            items?: {
-                role: string;
-                testId: string | null;
-                stableId: string | null;
-                accessibleName: string;
-                contextText: string[] | null;
-                mutability?: "unknown" | "mutable" | "immutable" | undefined;
-                widgetType?: "unknown" | "custom" | "native" | undefined;
-            }[] | null | undefined;
-            pageUrl?: string | undefined;
-        } | null | undefined;
-        stepUnderTest?: number | undefined;
-        differsFrom?: {
-            plannedTestId: string;
-            difference: string;
-        }[] | undefined;
-        startState?: string | undefined;
-        screenEvidence?: {
-            file: string;
-        } | undefined;
-    } | undefined;
-}, {
-    description: string;
-    repository: string;
-    testType: import("../../types/TestTypes.js").TestType.CONTRACT | import("../../types/TestTypes.js").TestType.INTEGRATION | import("../../types/TestTypes.js").TestType.E2E | import("../../types/TestTypes.js").TestType.UI;
-    category: "new_endpoint" | "bug_caught" | "requirement_conflict" | "business_rule" | "security_boundary" | "data_integrity" | "breaking_change" | "auth" | "error_handling" | "workflow" | "data_validation" | "crud";
-    scenarioName: string;
-    steps: {
-        path: string;
-        order: number;
-        method?: unknown;
-        description?: string | undefined;
-        queryParams?: unknown;
-        requestBody?: unknown;
-        expectedStatusCode?: number | undefined;
-        omits?: string[] | undefined;
-    }[];
-    declarations?: {
-        expected: {
-            outcome: "pass" | "fail";
-            why: string;
-        };
-        asserts: string;
-        existingTests?: {
-            file: string;
-            differsBy: string;
-        }[] | undefined;
-        changedFile?: string | undefined;
-        defects?: string[] | undefined;
-        routes?: {
-            file: string;
-            step: number;
-        }[] | undefined;
-        changes?: string[] | undefined;
-        elements?: {
-            items?: {
-                role: string;
-                accessibleName: string;
-                testId?: string | null | undefined;
-                stableId?: string | null | undefined;
-                contextText?: string[] | null | undefined;
-                mutability?: "unknown" | "mutable" | "immutable" | undefined;
-                widgetType?: "unknown" | "custom" | "native" | undefined;
-            }[] | null | undefined;
-            pageUrl?: string | undefined;
-        } | null | undefined;
-        stepUnderTest?: number | undefined;
-        differsFrom?: {
-            plannedTestId: string;
-            difference: string;
-        }[] | undefined;
-        startState?: string | undefined;
-        screenEvidence?: {
-            file: string;
-        } | undefined;
-    } | undefined;
-}>, {
-    description: string;
-    repository: string;
-    testType: import("../../types/TestTypes.js").TestType.CONTRACT | import("../../types/TestTypes.js").TestType.INTEGRATION | import("../../types/TestTypes.js").TestType.E2E | import("../../types/TestTypes.js").TestType.UI;
-    category: "new_endpoint" | "bug_caught" | "requirement_conflict" | "business_rule" | "security_boundary" | "data_integrity" | "breaking_change" | "auth" | "error_handling" | "workflow" | "data_validation" | "crud";
-    scenarioName: string;
-    steps: {
-        path: string;
-        method: "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "HEAD" | "OPTIONS" | "type" | "TRACE" | "CONNECT" | "assert" | "click" | "drag" | "drag-hold" | "hover" | "inspect" | "navigate" | "press" | "release" | "tap" | "wait" | "OPERATION";
-        order: number;
-        description?: string | undefined;
-        queryParams?: unknown;
-        requestBody?: unknown;
-        expectedStatusCode?: number | undefined;
-        omits?: string[] | undefined;
-    }[];
-    declarations?: {
-        expected: {
-            outcome: "pass" | "fail";
-            why: string;
-        };
-        asserts: string;
-        existingTests?: {
-            file: string;
-            differsBy: string;
-        }[] | undefined;
-        changedFile?: string | undefined;
-        defects?: string[] | undefined;
-        routes?: {
-            file: string;
-            step: number;
-        }[] | undefined;
-        changes?: string[] | undefined;
-        elements?: {
-            items?: {
-                role: string;
-                testId: string | null;
-                stableId: string | null;
-                accessibleName: string;
-                contextText: string[] | null;
-                mutability?: "unknown" | "mutable" | "immutable" | undefined;
-                widgetType?: "unknown" | "custom" | "native" | undefined;
-            }[] | null | undefined;
-            pageUrl?: string | undefined;
-        } | null | undefined;
-        stepUnderTest?: number | undefined;
-        differsFrom?: {
-            plannedTestId: string;
-            difference: string;
-        }[] | undefined;
-        startState?: string | undefined;
-        screenEvidence?: {
-            file: string;
-        } | undefined;
-    } | undefined;
-}, {
-    description: string;
-    repository: string;
-    testType: import("../../types/TestTypes.js").TestType.CONTRACT | import("../../types/TestTypes.js").TestType.INTEGRATION | import("../../types/TestTypes.js").TestType.E2E | import("../../types/TestTypes.js").TestType.UI;
-    category: "new_endpoint" | "bug_caught" | "requirement_conflict" | "business_rule" | "security_boundary" | "data_integrity" | "breaking_change" | "auth" | "error_handling" | "workflow" | "data_validation" | "crud";
-    scenarioName: string;
-    steps: {
-        path: string;
-        order: number;
-        method?: unknown;
-        description?: string | undefined;
-        queryParams?: unknown;
-        requestBody?: unknown;
-        expectedStatusCode?: number | undefined;
-        omits?: string[] | undefined;
-    }[];
-    declarations?: {
-        expected: {
-            outcome: "pass" | "fail";
-            why: string;
-        };
-        asserts: string;
-        existingTests?: {
-            file: string;
-            differsBy: string;
-        }[] | undefined;
-        changedFile?: string | undefined;
-        defects?: string[] | undefined;
-        routes?: {
-            file: string;
-            step: number;
-        }[] | undefined;
-        changes?: string[] | undefined;
-        elements?: {
-            items?: {
-                role: string;
-                accessibleName: string;
-                testId?: string | null | undefined;
-                stableId?: string | null | undefined;
-                contextText?: string[] | null | undefined;
-                mutability?: "unknown" | "mutable" | "immutable" | undefined;
-                widgetType?: "unknown" | "custom" | "native" | undefined;
-            }[] | null | undefined;
-            pageUrl?: string | undefined;
-        } | null | undefined;
-        stepUnderTest?: number | undefined;
-        differsFrom?: {
-            plannedTestId: string;
-            difference: string;
-        }[] | undefined;
-        startState?: string | undefined;
-        screenEvidence?: {
-            file: string;
-        } | undefined;
-    } | undefined;
-}>, {
-    description: string;
-    repository: string;
-    testType: import("../../types/TestTypes.js").TestType.CONTRACT | import("../../types/TestTypes.js").TestType.INTEGRATION | import("../../types/TestTypes.js").TestType.E2E | import("../../types/TestTypes.js").TestType.UI;
-    category: "new_endpoint" | "bug_caught" | "requirement_conflict" | "business_rule" | "security_boundary" | "data_integrity" | "breaking_change" | "auth" | "error_handling" | "workflow" | "data_validation" | "crud";
-    scenarioName: string;
-    steps: {
-        path: string;
-        method: "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "HEAD" | "OPTIONS" | "type" | "TRACE" | "CONNECT" | "assert" | "click" | "drag" | "drag-hold" | "hover" | "inspect" | "navigate" | "press" | "release" | "tap" | "wait" | "OPERATION";
-        order: number;
-        description?: string | undefined;
-        queryParams?: unknown;
-        requestBody?: unknown;
-        expectedStatusCode?: number | undefined;
-        omits?: string[] | undefined;
-    }[];
-    declarations?: {
-        expected: {
-            outcome: "pass" | "fail";
-            why: string;
-        };
-        asserts: string;
-        existingTests?: {
-            file: string;
-            differsBy: string;
-        }[] | undefined;
-        changedFile?: string | undefined;
-        defects?: string[] | undefined;
-        routes?: {
-            file: string;
-            step: number;
-        }[] | undefined;
-        changes?: string[] | undefined;
-        elements?: {
-            items?: {
-                role: string;
-                testId: string | null;
-                stableId: string | null;
-                accessibleName: string;
-                contextText: string[] | null;
-                mutability?: "unknown" | "mutable" | "immutable" | undefined;
-                widgetType?: "unknown" | "custom" | "native" | undefined;
-            }[] | null | undefined;
-            pageUrl?: string | undefined;
-        } | null | undefined;
-        stepUnderTest?: number | undefined;
-        differsFrom?: {
-            plannedTestId: string;
-            difference: string;
-        }[] | undefined;
-        startState?: string | undefined;
-        screenEvidence?: {
-            file: string;
-        } | undefined;
-    } | undefined;
-}, unknown>;
+                testId: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodString>>, z.ZodTransform<string | null, string | null | undefined>>;
+                stableId: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodString>>, z.ZodTransform<string | null, string | null | undefined>>;
+                contextText: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString>>>, z.ZodTransform<string[] | null, string[] | null | undefined>>;
+                mutability: z.ZodOptional<z.ZodEnum<{
+                    unknown: "unknown";
+                    mutable: "mutable";
+                    immutable: "immutable";
+                }>>;
+                widgetType: z.ZodOptional<z.ZodEnum<{
+                    unknown: "unknown";
+                    custom: "custom";
+                    native: "native";
+                }>>;
+            }, z.core.$strip>>>>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>, unknown>;
 type RegisterPlannedTestInput = z.infer<typeof registerPlannedTestSchema>;
 export interface RegisterTestPlanParams {
     stateFile?: string;
@@ -842,14 +216,8 @@ export declare function makeSpecFileReader(state: RunState): (relativePath: stri
  * `owner/repo` read off the origin remote, so the name is always matchable.
  */
 export declare function makeScreenRouteResolver(state: RunState): (relativePath: string, repository: string) => string[] | undefined;
-/** The blockers this registration is judged on: the ones it sends AND the ones the
- *  stored plan carries. A carried close is re-probed on every registration — the
- *  service that was down when it was accepted may be up now. */
-export declare function blockersToProbe(registration: PlanInput, previous?: Plan): PlanBlocker[];
-/** Every fact the verifiers check against, gathered once per registration. The
- *  blockers are probed HERE rather than inside a verifier: an HTTP request and a
- *  `git` call are both asynchronous and every verifier is not. */
-export declare function buildVerifyContext(state: RunState, blockers?: PlanBlocker[]): Promise<VerifyContext>;
+/** Every fact the verifiers check against, gathered once per registration. */
+export declare function buildVerifyContext(state: RunState): Promise<VerifyContext>;
 /**
  * What the agent reads back. Every objection carries its id so it can be answered,
  * and the text says the plan is stored either way — a objections list without that