@skyramp/mcp 0.3.8 → 0.4.0-rc.1

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

@@ -1,205 +1,828 @@
 import { z } from "zod";
 import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
-import { HttpMethod, TestType } from "../../types/TestTypes.js";
-import { Candidate, DiscriminatorKind } from "../../types/Recommendation.js";
-import { ChangedRoute } from "../../utils/changedRoutes.js";
-declare const registerCandidateSchema: z.ZodObject<{
-    scenarioName: z.ZodString;
+import { StateManager, UnifiedAnalysisState } from "../../utils/AnalysisStateManager.js";
+import { TestType } from "../../types/TestTypes.js";
+import { PlanResult } from "../../recommendation/registerPlan.js";
+import { ObjectionAnswer, PlanChange, PlanInput, 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">>;
+    asserts: z.ZodString;
+    stepUnderTest: z.ZodOptional<z.ZodNumber>;
+    expected: z.ZodObject<{
+        outcome: z.ZodEnum<["fail", "pass"]>;
+        why: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        outcome: "pass" | "fail";
+        why: string;
+    }, {
+        outcome: "pass" | "fail";
+        why: string;
+    }>;
+    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">>;
+    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">>;
+    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">>;
+    screenEvidence: z.ZodOptional<z.ZodObject<{
+        file: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        file: string;
+    }, {
+        file: string;
+    }>>;
+    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;
+            accessibleName: string;
+            testId: string | null;
+            stableId: string | null;
+            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;
+            accessibleName: string;
+            testId: string | null;
+            stableId: string | null;
+            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;
+    changes?: string[] | undefined;
+    routes?: {
+        file: string;
+        step: number;
+    }[] | undefined;
+    elements?: {
+        items?: {
+            role: string;
+            accessibleName: string;
+            testId: string | null;
+            stableId: string | null;
+            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;
+    changes?: string[] | undefined;
+    routes?: {
+        file: string;
+        step: number;
+    }[] | 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;
+}>;
+/** 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>;
+    repository: z.ZodOptional<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"]>;
-    priority: z.ZodEnum<["high", "medium", "low"]>;
-    testType: z.ZodEffects<z.ZodNativeEnum<typeof TestType>, TestType, TestType>;
-    steps: z.ZodArray<z.ZodObject<{
+    testType: z.ZodEnum<[TestType.CONTRACT, TestType.INTEGRATION, TestType.E2E, TestType.UI]>;
+    steps: z.ZodArray<z.ZodEffects<z.ZodObject<{
         order: z.ZodNumber;
-        method: z.ZodNativeEnum<typeof HttpMethod>;
-        path: z.ZodString;
-        description: z.ZodString;
-        interactionType: z.ZodEnum<["success", "error", "edge-case"]>;
-        requestBody: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
-        queryParams: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
-        responseBody: z.ZodOptional<z.ZodUnion<[z.ZodRecord<z.ZodString, z.ZodAny>, z.ZodArray<z.ZodAny, "many">]>>;
-        expectedStatusCode: z.ZodNumber;
-        expectedResponseFields: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        bodyMustInclude: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        chainsFrom: z.ZodOptional<z.ZodUnion<[z.ZodObject<{
-            sourceStep: z.ZodNumber;
-            sourceField: z.ZodString;
-            sourceLocation: z.ZodEnum<["body", "header", "cookie"]>;
-            targetParam: z.ZodString;
-            targetLocation: z.ZodEnum<["path", "body", "query", "header", "cookie"]>;
-        }, "strip", z.ZodTypeAny, {
-            sourceStep: number;
-            sourceField: string;
-            sourceLocation: "body" | "header" | "cookie";
-            targetParam: string;
-            targetLocation: "path" | "body" | "header" | "cookie" | "query";
-        }, {
-            sourceStep: number;
-            sourceField: string;
-            sourceLocation: "body" | "header" | "cookie";
-            targetParam: string;
-            targetLocation: "path" | "body" | "header" | "cookie" | "query";
-        }>, z.ZodArray<z.ZodObject<{
-            sourceStep: z.ZodNumber;
-            sourceField: z.ZodString;
-            sourceLocation: z.ZodEnum<["body", "header", "cookie"]>;
-            targetParam: z.ZodString;
-            targetLocation: z.ZodEnum<["path", "body", "query", "header", "cookie"]>;
-        }, "strip", z.ZodTypeAny, {
-            sourceStep: number;
-            sourceField: string;
-            sourceLocation: "body" | "header" | "cookie";
-            targetParam: string;
-            targetLocation: "path" | "body" | "header" | "cookie" | "query";
-        }, {
-            sourceStep: number;
-            sourceField: string;
-            sourceLocation: "body" | "header" | "cookie";
-            targetParam: string;
-            targetLocation: "path" | "body" | "header" | "cookie" | "query";
-        }>, "many">]>>;
+        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>;
+        description: z.ZodOptional<z.ZodString>;
+        interactionType: z.ZodOptional<z.ZodString>;
+        requestBody: z.ZodOptional<z.ZodUnknown>;
+        queryParams: z.ZodOptional<z.ZodUnknown>;
+        omits: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        expectedStatusCode: z.ZodOptional<z.ZodNumber>;
     }, "strip", z.ZodTypeAny, {
         path: string;
-        method: HttpMethod;
-        description: 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;
-        interactionType: "error" | "success" | "edge-case";
-        expectedStatusCode: number;
-        queryParams?: Record<string, any> | undefined;
-        requestBody?: Record<string, any> | undefined;
-        responseBody?: any[] | Record<string, any> | undefined;
-        expectedResponseFields?: string[] | undefined;
-        chainsFrom?: {
-            sourceStep: number;
-            sourceField: string;
-            sourceLocation: "body" | "header" | "cookie";
-            targetParam: string;
-            targetLocation: "path" | "body" | "header" | "cookie" | "query";
-        } | {
-            sourceStep: number;
-            sourceField: string;
-            sourceLocation: "body" | "header" | "cookie";
-            targetParam: string;
-            targetLocation: "path" | "body" | "header" | "cookie" | "query";
-        }[] | undefined;
-        bodyMustInclude?: string[] | undefined;
+        description?: string | undefined;
+        queryParams?: unknown;
+        interactionType?: string | undefined;
+        requestBody?: unknown;
+        expectedStatusCode?: number | undefined;
+        omits?: string[] | undefined;
     }, {
         path: string;
-        method: HttpMethod;
-        description: string;
         order: number;
-        interactionType: "error" | "success" | "edge-case";
-        expectedStatusCode: number;
-        queryParams?: Record<string, any> | undefined;
-        requestBody?: Record<string, any> | undefined;
-        responseBody?: any[] | Record<string, any> | undefined;
-        expectedResponseFields?: string[] | undefined;
-        chainsFrom?: {
-            sourceStep: number;
-            sourceField: string;
-            sourceLocation: "body" | "header" | "cookie";
-            targetParam: string;
-            targetLocation: "path" | "body" | "header" | "cookie" | "query";
-        } | {
-            sourceStep: number;
-            sourceField: string;
-            sourceLocation: "body" | "header" | "cookie";
-            targetParam: string;
-            targetLocation: "path" | "body" | "header" | "cookie" | "query";
-        }[] | undefined;
-        bodyMustInclude?: string[] | undefined;
+        method?: unknown;
+        description?: string | undefined;
+        queryParams?: unknown;
+        interactionType?: string | undefined;
+        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;
+        interactionType?: string | undefined;
+        requestBody?: unknown;
+        expectedStatusCode?: number | undefined;
+        omits?: string[] | undefined;
+    }, {
+        path: string;
+        order: number;
+        method?: unknown;
+        description?: string | undefined;
+        queryParams?: unknown;
+        interactionType?: string | undefined;
+        requestBody?: unknown;
+        expectedStatusCode?: number | undefined;
+        omits?: string[] | undefined;
     }>, "many">;
-    discriminator: z.ZodOptional<z.ZodObject<{
-        kind: z.ZodNativeEnum<typeof DiscriminatorKind>;
-        changedCodeAnchor: z.ZodString;
-    }, "strip", z.ZodTypeAny, {
-        kind: DiscriminatorKind;
-        changedCodeAnchor: string;
+    declarations: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+        changedFile: z.ZodOptional<z.ZodString>;
+        changes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        asserts: z.ZodString;
+        stepUnderTest: z.ZodOptional<z.ZodNumber>;
+        expected: z.ZodObject<{
+            outcome: z.ZodEnum<["fail", "pass"]>;
+            why: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            outcome: "pass" | "fail";
+            why: string;
+        }, {
+            outcome: "pass" | "fail";
+            why: string;
+        }>;
+        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">>;
+        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">>;
+        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">>;
+        screenEvidence: z.ZodOptional<z.ZodObject<{
+            file: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            file: string;
+        }, {
+            file: string;
+        }>>;
+        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;
+                accessibleName: string;
+                testId: string | null;
+                stableId: string | null;
+                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;
+                accessibleName: string;
+                testId: string | null;
+                stableId: string | null;
+                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;
+        changes?: string[] | undefined;
+        routes?: {
+            file: string;
+            step: number;
+        }[] | undefined;
+        elements?: {
+            items?: {
+                role: string;
+                accessibleName: string;
+                testId: string | null;
+                stableId: string | null;
+                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;
     }, {
-        kind: DiscriminatorKind;
-        changedCodeAnchor: string;
+        expected: {
+            outcome: "pass" | "fail";
+            why: string;
+        };
+        asserts: string;
+        existingTests?: {
+            file: string;
+            differsBy: string;
+        }[] | undefined;
+        changedFile?: string | undefined;
+        changes?: string[] | undefined;
+        routes?: {
+            file: string;
+            step: number;
+        }[] | 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;
+        changes?: string[] | undefined;
+        routes?: {
+            file: string;
+            step: number;
+        }[] | undefined;
+        elements?: {
+            items?: {
+                role: string;
+                accessibleName: string;
+                testId: string | null;
+                stableId: string | null;
+                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;
+        changes?: string[] | undefined;
+        routes?: {
+            file: string;
+            step: number;
+        }[] | 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;
     }>>;
-}, "strip", z.ZodTypeAny, {
+}, "strict", z.ZodTypeAny, {
     description: string;
-    priority: "high" | "medium" | "low";
-    testType: TestType;
+    testType: TestType.CONTRACT | TestType.INTEGRATION | TestType.E2E | TestType.UI;
     scenarioName: string;
     category: "new_endpoint" | "bug_caught" | "requirement_conflict" | "business_rule" | "security_boundary" | "data_integrity" | "breaking_change" | "auth" | "error_handling" | "workflow" | "data_validation" | "crud";
     steps: {
         path: string;
-        method: HttpMethod;
-        description: 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;
-        interactionType: "error" | "success" | "edge-case";
-        expectedStatusCode: number;
-        queryParams?: Record<string, any> | undefined;
-        requestBody?: Record<string, any> | undefined;
-        responseBody?: any[] | Record<string, any> | undefined;
-        expectedResponseFields?: string[] | undefined;
-        chainsFrom?: {
-            sourceStep: number;
-            sourceField: string;
-            sourceLocation: "body" | "header" | "cookie";
-            targetParam: string;
-            targetLocation: "path" | "body" | "header" | "cookie" | "query";
-        } | {
-            sourceStep: number;
-            sourceField: string;
-            sourceLocation: "body" | "header" | "cookie";
-            targetParam: string;
-            targetLocation: "path" | "body" | "header" | "cookie" | "query";
-        }[] | undefined;
-        bodyMustInclude?: string[] | undefined;
+        description?: string | undefined;
+        queryParams?: unknown;
+        interactionType?: string | undefined;
+        requestBody?: unknown;
+        expectedStatusCode?: number | undefined;
+        omits?: string[] | undefined;
     }[];
-    discriminator?: {
-        kind: DiscriminatorKind;
-        changedCodeAnchor: string;
+    repository?: string | undefined;
+    declarations?: {
+        expected: {
+            outcome: "pass" | "fail";
+            why: string;
+        };
+        asserts: string;
+        existingTests?: {
+            file: string;
+            differsBy: string;
+        }[] | undefined;
+        changedFile?: string | undefined;
+        changes?: string[] | undefined;
+        routes?: {
+            file: string;
+            step: number;
+        }[] | undefined;
+        elements?: {
+            items?: {
+                role: string;
+                accessibleName: string;
+                testId: string | null;
+                stableId: string | null;
+                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;
-    priority: "high" | "medium" | "low";
-    testType: TestType;
+    testType: TestType.CONTRACT | TestType.INTEGRATION | TestType.E2E | TestType.UI;
     scenarioName: string;
     category: "new_endpoint" | "bug_caught" | "requirement_conflict" | "business_rule" | "security_boundary" | "data_integrity" | "breaking_change" | "auth" | "error_handling" | "workflow" | "data_validation" | "crud";
     steps: {
         path: string;
-        method: HttpMethod;
-        description: string;
         order: number;
-        interactionType: "error" | "success" | "edge-case";
-        expectedStatusCode: number;
-        queryParams?: Record<string, any> | undefined;
-        requestBody?: Record<string, any> | undefined;
-        responseBody?: any[] | Record<string, any> | undefined;
-        expectedResponseFields?: string[] | undefined;
-        chainsFrom?: {
-            sourceStep: number;
-            sourceField: string;
-            sourceLocation: "body" | "header" | "cookie";
-            targetParam: string;
-            targetLocation: "path" | "body" | "header" | "cookie" | "query";
-        } | {
-            sourceStep: number;
-            sourceField: string;
-            sourceLocation: "body" | "header" | "cookie";
-            targetParam: string;
-            targetLocation: "path" | "body" | "header" | "cookie" | "query";
-        }[] | undefined;
-        bodyMustInclude?: string[] | undefined;
+        method?: unknown;
+        description?: string | undefined;
+        queryParams?: unknown;
+        interactionType?: string | undefined;
+        requestBody?: unknown;
+        expectedStatusCode?: number | undefined;
+        omits?: string[] | undefined;
     }[];
-    discriminator?: {
-        kind: DiscriminatorKind;
-        changedCodeAnchor: string;
+    repository?: string | undefined;
+    declarations?: {
+        expected: {
+            outcome: "pass" | "fail";
+            why: string;
+        };
+        asserts: string;
+        existingTests?: {
+            file: string;
+            differsBy: string;
+        }[] | undefined;
+        changedFile?: string | undefined;
+        changes?: string[] | undefined;
+        routes?: {
+            file: string;
+            step: number;
+        }[] | 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;
-}>;
-type RegisterCandidateInput = z.infer<typeof registerCandidateSchema>;
-/** Build the agent-submitted candidates. Discriminator claims are verified
- *  later, by {@link applyDiscriminatorClaims}, once the merge has settled which
- *  scenario each name resolves to. Exported for the direct unit test in
- *  registerTestPlanTool.test.ts — a candidate that does not survive selection
- *  never reaches the persisted plan, so its subjectEndpoints fill is not
- *  observable through the tool's output, and testing here avoids coupling the
- *  fill to what selection happens to keep. */
-export declare function buildAgentCandidates(candidates: RegisterCandidateInput[], changedRoutes: ChangedRoute[]): Candidate[];
+}>, {
+    description: string;
+    testType: TestType.CONTRACT | TestType.INTEGRATION | TestType.E2E | TestType.UI;
+    scenarioName: string;
+    category: "new_endpoint" | "bug_caught" | "requirement_conflict" | "business_rule" | "security_boundary" | "data_integrity" | "breaking_change" | "auth" | "error_handling" | "workflow" | "data_validation" | "crud";
+    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;
+        interactionType?: string | undefined;
+        requestBody?: unknown;
+        expectedStatusCode?: number | undefined;
+        omits?: string[] | undefined;
+    }[];
+    repository?: string | undefined;
+    declarations?: {
+        expected: {
+            outcome: "pass" | "fail";
+            why: string;
+        };
+        asserts: string;
+        existingTests?: {
+            file: string;
+            differsBy: string;
+        }[] | undefined;
+        changedFile?: string | undefined;
+        changes?: string[] | undefined;
+        routes?: {
+            file: string;
+            step: number;
+        }[] | undefined;
+        elements?: {
+            items?: {
+                role: string;
+                accessibleName: string;
+                testId: string | null;
+                stableId: string | null;
+                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;
+    testType: TestType.CONTRACT | TestType.INTEGRATION | TestType.E2E | TestType.UI;
+    scenarioName: string;
+    category: "new_endpoint" | "bug_caught" | "requirement_conflict" | "business_rule" | "security_boundary" | "data_integrity" | "breaking_change" | "auth" | "error_handling" | "workflow" | "data_validation" | "crud";
+    steps: {
+        path: string;
+        order: number;
+        method?: unknown;
+        description?: string | undefined;
+        queryParams?: unknown;
+        interactionType?: string | undefined;
+        requestBody?: unknown;
+        expectedStatusCode?: number | undefined;
+        omits?: string[] | undefined;
+    }[];
+    repository?: string | undefined;
+    declarations?: {
+        expected: {
+            outcome: "pass" | "fail";
+            why: string;
+        };
+        asserts: string;
+        existingTests?: {
+            file: string;
+            differsBy: string;
+        }[] | undefined;
+        changedFile?: string | undefined;
+        changes?: string[] | undefined;
+        routes?: {
+            file: string;
+            step: number;
+        }[] | 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;
+    testType: TestType.CONTRACT | TestType.INTEGRATION | TestType.E2E | TestType.UI;
+    scenarioName: string;
+    category: "new_endpoint" | "bug_caught" | "requirement_conflict" | "business_rule" | "security_boundary" | "data_integrity" | "breaking_change" | "auth" | "error_handling" | "workflow" | "data_validation" | "crud";
+    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;
+        interactionType?: string | undefined;
+        requestBody?: unknown;
+        expectedStatusCode?: number | undefined;
+        omits?: string[] | undefined;
+    }[];
+    repository?: string | undefined;
+    declarations?: {
+        expected: {
+            outcome: "pass" | "fail";
+            why: string;
+        };
+        asserts: string;
+        existingTests?: {
+            file: string;
+            differsBy: string;
+        }[] | undefined;
+        changedFile?: string | undefined;
+        changes?: string[] | undefined;
+        routes?: {
+            file: string;
+            step: number;
+        }[] | undefined;
+        elements?: {
+            items?: {
+                role: string;
+                accessibleName: string;
+                testId: string | null;
+                stableId: string | null;
+                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>;
+type RegisterPlannedTestInput = z.infer<typeof registerPlannedTestSchema>;
+export interface RegisterTestPlanParams {
+    stateFile?: string;
+    changes?: PlanChange[];
+    plannedTests?: RegisterPlannedTestInput[];
+    answers?: ObjectionAnswer[];
+}
+/** Map the schema-validated input onto a `PlanInput`. `subjectEndpoints` is
+ *  deliberately not resolved: every verifier derives the subject from `steps`
+ *  through one helper. The planned test id IS the scenario name, so an objection
+ *  names the plan entry in the words the agent wrote for it. */
+export declare function buildRegistration(params: RegisterTestPlanParams, registrationNumber: number): PlanInput;
+/**
+ * Whether a cited repository file EXISTS inside the checkout. Reads no content,
+ * and never throws: a bad citation is an objection, not a crashed tool.
+ *
+ * CONFINEMENT IS THIS FUNCTION'S JOB. The sibling verifier's string check misses
+ * `file://` and `http://` URLs, a drive-relative `C:routes.rb` and a
+ * percent-encoded `..`, so the containment in `containedPath` is the only thing
+ * between an agent-written path and a read outside the checkout.
+ *
+ * CASE IS THE FILESYSTEM'S RULE: a case-only misspelling passes on a
+ * case-insensitive checkout and is not found on a case-sensitive one. CI is the
+ * case-sensitive one, so that is the answer a real run gets.
+ */
+export declare function makeCitedFileCheck(state: RunState): (relativePath: string) => boolean;
+/**
+ * The route patterns that render a changed frontend file, across every repository
+ * of the run.
+ *
+ * Built like {@link makeCitedFileCheck}: one resolver per checkout, asked in turn,
+ * so a planned test does not have to say which repository its file lives in. The
+ * scan is lazy inside each resolver and reused across planned tests, so a plan with
+ * ten UI tests reads a repository once.
+ *
+ * A repository that CAN speak for the file wins: `undefined` from a resolver means
+ * "not my file, or not a framework I read", so it is skipped, and the first
+ * definite answer is returned. Every resolver saying `undefined` is the answer the
+ * check stays silent on.
+ */
+export declare function makeScreenRouteResolver(state: RunState): (relativePath: string) => string[] | undefined;
+/** 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
+ * line reads as a rejection and invites a needless second registration.
+ */
+export declare function renderPlanResult(result: PlanResult): string;
 export declare function registerRegisterTestPlanTool(server: McpServer): void;
 export {};