@skyramp/mcp 0.4.3 → 0.4.4-rc.2

package/build/tools/submitReportTool.js

@@ -5,10 +5,10 @@ import { constants as fsConstants } from "fs";
 import * as path from "path";
 import { AnalyticsService } from "../services/AnalyticsService.js";
 import { SCENARIO_CATEGORIES, categoryExpectsRed, } from "../types/TestRecommendation.js";
-import { TESTBOT_SUPPORTED_TEST_TYPES, TestType } from "../types/TestTypes.js";
+import { ProgrammingLanguage, TESTBOT_SUPPORTED_TEST_TYPES, TestType, } from "../types/TestTypes.js";
 import { STEP_METHOD_DESCRIPTION, stepMethodSchema, } from "../types/StepMethod.js";
 import { DriftAction } from "../types/TestAnalysis.js";
-import { TestExecutionStatus } from "../types/TestExecution.js";
+import { isResult, TestExecutionStatus } from "../types/TestExecution.js";
 import { IssueFoundCategory } from "../types/TestbotReport.js";
 import { StateManager, runArtifactDir, getTestsRepoDir, resolveOwnRunStatePath, } from "../utils/AnalysisStateManager.js";
 import { toolError, testFileMatches } from "../utils/utils.js";
@@ -79,6 +79,28 @@ function rowsLeavingCoverage(rows) {
         MAINTENANCE_COVERAGE_ACTIONS.has(row.action) &&
         row?.reportOnly !== true);
 }
+/** The VERIFY rows this run owes one run: the test is read, not edited, so its
+ *  only run is the one after the edits. */
+function verifyRows(rows) {
+    return (rows ?? []).filter((row) => row?.action === DriftAction.Verify && row?.reportOnly !== true);
+}
+/** The rows that back a `maintains` claim: an edit this run made, or a VERIFY
+ *  whose test this server ran after the edits to a result. A VERIFY that never
+ *  ran, or whose run left only the Unknown reservation, backs nothing. In the
+ *  plan-only lane nothing runs, so a VERIFY backs the claim without a run. */
+function rowsBackingMaintains(rows, executions, planOnly) {
+    return [
+        ...rowsLeavingCoverage(rows),
+        ...verifyRows(rows).filter((row) => {
+            if (planOnly)
+                return true;
+            if (typeof row.testFilePath !== "string")
+                return false;
+            const run = executions?.[canonicalTestPath(row.testFilePath)];
+            return (run?.phase === "after" && isResult(run.status));
+        }),
+    ];
+}
 /** Objection ids for an untested declared change, `coverage:change:<id>`. The
  *  change table reads the agent's answer back off them. */
 const CHANGE_OBJECTION_PREFIX = "coverage:change:";
@@ -98,7 +120,7 @@ const repositoryField = z
 // supplies anyway. SKYR-4156 is what happens when the agent owns that field instead.
 const testResultSchema = z.object({
     testType: z
-        .nativeEnum(TestType)
+        .enum(TestType)
         .describe("Type of test. Do not include priority or other metadata in this field."),
     endpoint: z
         .string()
@@ -213,7 +235,7 @@ export const newTestSchema = z.preprocess(stripNullGroundingFields, z
         "Required on EVERY entry, UI included. That is deliberately wider than the approved-plan generation gate, which stays contract and integration only: " +
         "this id is the exact key the report is joined back to the plan on, and an entry without one falls back to guessing from the test name and endpoint."),
     testType: z
-        .nativeEnum(TestType)
+        .enum(TestType)
         .describe("Type of test created. Do not include priority or other metadata in this field."),
     category: z
         .enum(SCENARIO_CATEGORIES)
@@ -260,7 +282,7 @@ export const newTestSchema = z.preprocess(stripNullGroundingFields, z
     // optional above and required here so the message says what to do.
     if ((rec.plannedTestId ?? "").trim().length === 0) {
         ctx.addIssue({
-            code: z.ZodIssueCode.custom,
+            code: "custom",
             path: ["plannedTestId"],
             message: "plannedTestId is required on every newTestsCreated entry. Use the plannedTestId of the plan entry this test was approved under, from skyramp_register_test_plan.",
         });
@@ -270,7 +292,7 @@ export const newTestSchema = z.preprocess(stripNullGroundingFields, z
         for (const field of ["targetElements", "pageContext"]) {
             if (rec[field] !== undefined) {
                 ctx.addIssue({
-                    code: z.ZodIssueCode.custom,
+                    code: "custom",
                     path: [field],
                     message: `${field} is only valid for testType: 'ui'`,
                 });
@@ -281,7 +303,7 @@ export const newTestSchema = z.preprocess(stripNullGroundingFields, z
         // description is required for UI tests (walkthrough of steps/assertions).
         if (!rec.description) {
             ctx.addIssue({
-                code: z.ZodIssueCode.custom,
+                code: "custom",
                 path: ["description"],
                 message: "description is required for testType: 'ui'.",
             });
@@ -289,7 +311,7 @@ export const newTestSchema = z.preprocess(stripNullGroundingFields, z
         // targetElements must be present (array or null — not omitted entirely).
         if (rec.targetElements === undefined) {
             ctx.addIssue({
-                code: z.ZodIssueCode.custom,
+                code: "custom",
                 path: ["targetElements"],
                 message: "targetElements is required for testType: 'ui'. Use null when blueprint capture failed; the null is the signal and needs no marker in description or reasoning.",
             });
@@ -300,7 +322,7 @@ export const newTestSchema = z.preprocess(stripNullGroundingFields, z
         if (Array.isArray(rec.targetElements) &&
             rec.pageContext === undefined) {
             ctx.addIssue({
-                code: z.ZodIssueCode.custom,
+                code: "custom",
                 path: ["pageContext"],
                 message: "pageContext is required for testType: 'ui' when targetElements is an array.",
             });
@@ -331,7 +353,7 @@ const issueFoundSchema = z
         "report an issue here at 'critical' or 'high'. A stated requirement the code does not meet is not a " +
         "medium. The check raises an objection, never a rejection."),
     category: z
-        .nativeEnum(IssueFoundCategory)
+        .enum(IssueFoundCategory)
         .describe("Issue classification. bug = a product/code defect, e.g. found by a test or in the diff. " +
         "lint = a linter or formatter objection (eslint, flake8, prettier). " +
         "type = a type-check failure (tsc, mypy). " +
@@ -384,7 +406,7 @@ const issueFoundSchema = z
     if (issue.sourceFile !== undefined)
         return;
     ctx.addIssue({
-        code: z.ZodIssueCode.custom,
+        code: "custom",
         path: ["sourceFile"],
         message: `sourceFile is required when category is 'bug' — a bug entry must name the code it is about. ` +
             `Open the file, then set sourceFile (path relative to the repository root). Also set sourceSymbol (the function or identifier inside it) when the file has one, and sourceLine (the line of the offending statement) when you have it — both are optional. ` +
@@ -407,11 +429,11 @@ const scenarioStepSchema = z.object({
         .optional()
         .describe("Expected HTTP status code, e.g. 200, 201, 404"),
     requestBody: z
-        .record(z.any())
+        .record(z.string(), z.any())
         .optional()
         .describe("Example request body with realistic field values"),
     responseBody: z
-        .union([z.record(z.any()), z.array(z.any())])
+        .union([z.record(z.string(), z.any()), z.array(z.any())])
         .optional()
         .describe("Key response fields to verify, e.g. { id: 'number', name: 'string', in_stock: 'boolean?' }. An array for a collection/list endpoint that returns a JSON array."),
 });
@@ -421,7 +443,7 @@ export const additionalRecommendationSchema = z.preprocess(stripNullGroundingFie
         .string()
         .describe("Human-readable kebab-case identifier, e.g. 'integration-products-orders-workflow' or 'e2e-checkout-flow'. Format: '<testType>-<scenario-slug>'. Must be unique within the report."),
     testType: z
-        .nativeEnum(TestType)
+        .enum(TestType)
         .describe("Type of test. Do not include priority or other metadata in this field."),
     category: z
         .enum(SCENARIO_CATEGORIES)
@@ -475,7 +497,7 @@ export const additionalRecommendationSchema = z.preprocess(stripNullGroundingFie
     .superRefine((rec, ctx) => {
     if (rec.testType === TestType.CONTRACT && !rec.primaryEndpoint) {
         ctx.addIssue({
-            code: z.ZodIssueCode.custom,
+            code: "custom",
             path: ["primaryEndpoint"],
             message: "primaryEndpoint is required for contract tests — provide the HTTP verb and path, e.g. 'PATCH /api/v1/orders/{order_id}'.",
         });
@@ -485,7 +507,7 @@ export const additionalRecommendationSchema = z.preprocess(stripNullGroundingFie
         for (const field of ["targetElements", "pageContext"]) {
             if (rec[field] !== undefined) {
                 ctx.addIssue({
-                    code: z.ZodIssueCode.custom,
+                    code: "custom",
                     path: [field],
                     message: `${field} is only valid for testType: 'ui'`,
                 });
@@ -495,7 +517,7 @@ export const additionalRecommendationSchema = z.preprocess(stripNullGroundingFie
     else {
         if (rec.targetElements === undefined) {
             ctx.addIssue({
-                code: z.ZodIssueCode.custom,
+                code: "custom",
                 path: ["targetElements"],
                 message: "targetElements is required for testType: 'ui'. Use null when no capture covers the screen.",
             });
@@ -503,7 +525,7 @@ export const additionalRecommendationSchema = z.preprocess(stripNullGroundingFie
         if (Array.isArray(rec.targetElements) &&
             rec.pageContext === undefined) {
             ctx.addIssue({
-                code: z.ZodIssueCode.custom,
+                code: "custom",
                 path: ["pageContext"],
                 message: "pageContext is required for testType: 'ui' when targetElements is an array.",
             });
@@ -513,7 +535,7 @@ export const additionalRecommendationSchema = z.preprocess(stripNullGroundingFie
     }
 }));
 const testMaintenanceSchema = z.object({
-    testType: z.nativeEnum(TestType).describe("Type of test."),
+    testType: z.enum(TestType).describe("Type of test."),
     endpoint: z
         .string()
         .describe("For contract and integration tests, the HTTP verb and path, e.g. 'GET /api/v1/products'. For ui and e2e tests, the page path the test opens, e.g. '/notifications'."),
@@ -524,7 +546,7 @@ const testMaintenanceSchema = z.object({
     })
         .describe("Absolute path of the test file that was maintained, e.g. '/repo/tests/products_smoke_test.py' — the same path you passed to skyramp_execute_test's testFile param. Consumers should basename this for display."),
     action: z
-        .nativeEnum(DriftAction)
+        .enum(DriftAction)
         .describe("The drift action assigned to this test during maintenance triage."),
     description: z.string().describe("What was changed and why"),
     beforeDetails: z
@@ -552,8 +574,8 @@ const testMaintenanceSchema = z.object({
     // "probably the primary" cannot tell a single-repo row from a mis-stamped one.
     repository: z.string(),
     // Server-populated from stateFile execution records — never supplied by the LLM.
-    beforeStatus: z.nativeEnum(TestExecutionStatus),
-    afterStatus: z.nativeEnum(TestExecutionStatus),
+    beforeStatus: z.enum(TestExecutionStatus),
+    afterStatus: z.enum(TestExecutionStatus),
 });
 // LLM input contract: status fields are server-populated from stateFile, and
 // `defects` is attached from the per-file detail the agent drafts, not from the
@@ -1217,6 +1239,9 @@ async function pathExists(file) {
  *  missing timestamp on either side falls back to "a run is a run", which is the
  *  behaviour before this and never invents an objection. */
 function runOfWhatWasWritten(file) {
+    if (file.how === "verified")
+        return (file.recordedPhase === "after" &&
+            file.recordedStatus !== TestExecutionStatus.Unknown);
     if (file.how === "updated")
         return file.recordedPhase === "after";
     if (file.recordedPhase === undefined)
@@ -1229,7 +1254,8 @@ function runOfWhatWasWritten(file) {
         return true;
     return ran >= wrote;
 }
-/** Every test file this run wrote has an execution this server performed.
+/** Every test file this run wrote, and every VERIFY file it read, has an
+ *  execution this server performed.
  *
  *  Informational, like every check here: it surfaces the gap for a person to read
  *  and the agent can answer it. The agent is not blocked — a hard ban on running a
@@ -1257,9 +1283,11 @@ function checkEveryWrittenTestRan(written) {
         // drove itself is not visible here.
         message: file.how === "generated"
             ? "This run generated this test file, and this server recorded no run of it after it was written."
-            : file.recordedPhase === "before"
-                ? "This run edited this test file, and the only run of it this server recorded is from before the edit."
-                : "This run edited this test file, and this server recorded no run of it.",
+            : file.how === "verified"
+                ? "This run marked this test file VERIFY, and this server recorded no run of it after the edits."
+                : file.recordedPhase === "before"
+                    ? "This run edited this test file, and the only run of it this server recorded is from before the edit."
+                    : "This run edited this test file, and this server recorded no run of it.",
         evidence: file.recordedPhase === "before"
             ? `${file.file} — the only recorded skyramp_execute_test run of this file is the pre-edit baseline`
             : file.how === "generated" && file.recordedPhase !== undefined
@@ -1331,7 +1359,7 @@ export function registerSubmitReportTool(server) {
             "This is the ONLY way to submit the report — do NOT write the report to a file manually. " +
             "If a check objects to what you reported, the objection names an id: fix what you can, and answer the rest through `answers` on a second call. " +
             "On an ACCEPTED call this tool also edits the files this run changed: a comment addressed to a Skyramp gate — `reuse-verify: allow …` or `// kept inline: …` — is removed from each of them, because it speaks to a gate and not to the customer who owns the file. Nothing else in those files is touched. A REFUSED call leaves every source file exactly as it found it; it still records its own run state, such as the refusal count and the objections it raised.",
-        inputSchema: {
+        inputSchema: z.object({
             businessCaseAnalysis: z
                 .string()
                 .min(1, "businessCaseAnalysis is required — describe what the PR does, even for no-test runs (config-only, non-application, Testbot onboarding). It is never optional and must not be empty.")
@@ -1395,7 +1423,7 @@ export function registerSubmitReportTool(server) {
                 "another run's execution results, and the call is refused. " +
                 "The report is written beside it, and it holds the execution results, the " +
                 "page captures and the videos this report needs."),
-        },
+        }),
         _meta: {
             keywords: ["report", "summary", "testbot", "submit"],
         },
@@ -2195,9 +2223,10 @@ export function registerSubmitReportTool(server) {
         // Every file this run wrote, from the server's own records — one canonical
         // absolute path each, which is also the key an execution is recorded under.
         // Generated files come from the generators; edited files from the maintenance
-        // triage, narrowed by `rowsLeavingCoverage` to UPDATE and REGENERATE. The rest
-        // cannot be run: DELETE removed the file, VERIFY and IGNORE never edited one,
-        // and a `reportOnly` row only advised a change this run did not make.
+        // triage, narrowed by `rowsLeavingCoverage` to UPDATE and REGENERATE. A VERIFY
+        // file was not written but owes the same after-edit run. The rest owe none:
+        // DELETE removed the file, IGNORE never touched one, and a `reportOnly` row
+        // only advised a change this run did not make.
         //
         // A verdict names the SPEC, never `pomFile`: a POM-backed row edits the page
         // object, but the execution is recorded against the spec.
@@ -2232,6 +2261,23 @@ export function registerSubmitReportTool(server) {
                     filesWritten.set(key, "updated");
             }
         }
+        // A VERIFY file is not written, but owes the same after-edit run
+        // (SKYR-4523). Primary only: the server turns every edit to a related
+        // repository's test into a VERIFY the agent never chose. A language
+        // skyramp_execute_test does not accept can never record a run.
+        const runnableLanguages = Object.values(ProgrammingLanguage);
+        for (const verdict of verifyRows(stateData.maintenanceVerdicts)) {
+            const raw = verdict.testFilePath?.trim();
+            if (!raw)
+                continue;
+            const key = canonicalTestPath(raw);
+            const row = stateData.existingTests?.find((t) => canonicalTestPath(t.testFile) === key);
+            // An uncatalogued file has no row for its result to land on.
+            if (!row || !runnableLanguages.includes(row.language))
+                continue;
+            if (!filesWritten.has(key) && !deletedPaths.has(key))
+                filesWritten.set(key, "verified");
+        }
         // The LATEST run of each file, because a re-run replaces the record. An edited
         // file needs a run of the edit, so its pre-edit baseline does not answer for
         // it — `phase` is what tells the two apart. A generated file has no baseline,
@@ -2240,6 +2286,7 @@ export function registerSubmitReportTool(server) {
             file,
             {
                 phase: String(record?.phase ?? ""),
+                status: String(record?.status ?? ""),
                 executedAt: String(record?.executedAt ?? ""),
             },
         ])));
@@ -2256,6 +2303,7 @@ export function registerSubmitReportTool(server) {
                 file,
                 how,
                 recordedPhase: run?.phase,
+                recordedStatus: run?.status,
                 executedAt: run?.executedAt,
                 generatedAt: generatedAt.get(file),
             });
@@ -2265,6 +2313,7 @@ export function registerSubmitReportTool(server) {
         const executionCoverage = {
             generated: written.filter((f) => f.how === "generated").length,
             updated: written.filter((f) => f.how === "updated").length,
+            verified: written.filter((f) => f.how === "verified").length,
             executed: written.filter(runOfWhatWasWritten).length,
         };
         // A skipped test is not an execution. Refuse before writing a report so the
@@ -2423,10 +2472,11 @@ export function registerSubmitReportTool(server) {
                 }, dedupedNewTests, params.testResults, params.issuesFound ?? [], isPlanOnlyMode(), 
             // The triage's own verdicts, not this tool's input, so the join is against
             // what the run is recorded as having edited — and only the rows that left a
-            // test standing and were actually applied, so a no-op assessment, a deletion
-            // or a report-only recommendation cannot corroborate. The verdicts rather
-            // than the published rows because `reportOnly` lives here.
-            rowsLeavingCoverage(stateData.maintenanceVerdicts));
+            // test standing and were actually applied, or a VERIFY whose test ran after
+            // the edits — so an unrun assessment, a deletion or a report-only
+            // recommendation cannot corroborate. The verdicts rather than the
+            // published rows because `reportOnly` lives here.
+            rowsBackingMaintains(stateData.maintenanceVerdicts, stateData.testExecutions, isPlanOnlyMode()));
             // Read defensively, like the crash-contained checks above: the plan comes
             // off disk, so its declared array type holds only on the validated path.
             const stillOpen = Array.isArray(stateData.plan?.openObjections)
@@ -2593,10 +2643,10 @@ export function registerSubmitReportTool(server) {
                 //
                 // `testFileMatches` rather than a basename, so a spec under one directory
                 // cannot lend its coverage to a same-named spec under another; and only the
-                // rows that left a test standing, so DELETE and the no-op actions cannot
-                // corroborate a claim that an existing test covers the change.
+                // rows `rowsBackingMaintains` keeps, so DELETE, IGNORE and an unrun VERIFY
+                // cannot corroborate a claim that an existing test covers the change.
                 const editedPaths = [];
-                for (const row of rowsLeavingCoverage(stateData.maintenanceVerdicts)) {
+                for (const row of rowsBackingMaintains(stateData.maintenanceVerdicts, stateData.testExecutions, isPlanOnlyMode())) {
                     for (const full of [
                         row?.testFilePath,
                         row?.pomFile,

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

@@ -1,4 +1,4 @@
-import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import { McpServer } from "@modelcontextprotocol/server";
 /**
  * Compute a suggested new filename when an endpoint is renamed.
  */

package/build/tools/test-management/actionsTool.js

@@ -69,19 +69,19 @@ const recommendationSchema = z.object({
     })
         .describe("Absolute path to the page object (POM) file to edit, when the spec delegates selectors to a page object. When set, skyramp_actions edits this file instead of testFilePath. testFilePath (the spec) is still used for catalog validation and the maintenance report."),
     action: z
-        .nativeEnum(DriftAction)
+        .enum(DriftAction)
         .refine((a) => a !== DriftAction.Ignore, {
         message: "Omit IGNORE entries entirely — a discovered test you don't recommend is automatically treated as needing no action.",
     })
         .describe("The maintenance action for this test (UPDATE, REGENERATE, DELETE, or VERIFY). Do not send IGNORE — omit no-action tests from `recommendations` entirely; anything you leave out is recorded as needing no action."),
     testType: z
-        .nativeEnum(TestType)
+        .enum(TestType)
         .describe("Type of this test — carried through to the maintenance report."),
     endpoint: z
         .string()
         .describe("HTTP verb and path this test covers, e.g. 'GET /api/v1/products'."),
     priority: z
-        .nativeEnum(RecommendationPriority)
+        .enum(RecommendationPriority)
         .optional()
         .describe("Update priority"),
     rationale: z
@@ -90,7 +90,7 @@ const recommendationSchema = z.object({
         .min(1)
         .describe("1-2 sentence explanation of why this action is needed — becomes the maintenance report's description, so it must not be blank."),
     estimatedWork: z
-        .nativeEnum(EstimatedWork)
+        .enum(EstimatedWork)
         .optional()
         .describe("Estimated effort to apply the update"),
     updateInstructions: z
@@ -169,15 +169,15 @@ export function registerActionsTool(server) {
         description: `Execute test maintenance actions — final step of the unified Test Health Analysis Flow. Call this once per run even when no tests need action (pass \`recommendations: []\`) — it is where the maintenance verdicts are persisted before the run moves on. Supply only the tests that need an action; any discovered test you omit from \`recommendations\` is treated as needing no action and recorded automatically, so you never enumerate the no-action tests yourself.`,
         // SKYR-4194: the payload is returned via structuredContent, which requires a
         // declared outputSchema — see dualChannelResult.
-        outputSchema: {
+        outputSchema: z.object({
             summary: z
                 .string()
                 .describe("Human-readable report of the maintenance actions to take."),
             instructions: z
                 .string()
                 .describe("JSON instructions for carrying out those actions — file lists, per-file edit context, and the update/regenerate/delete strategies. Read and follow this field."),
-        },
-        inputSchema: actionsSchema,
+        }),
+        inputSchema: z.object(actionsSchema),
     }, async (args) => {
         let errorResult;
         try {

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

@@ -1,7 +1,6 @@
-import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import { McpServer, CallToolResult } from "@modelcontextprotocol/server";
 import { z } from "zod";
 import { AuthFinding } from "../../utils/workspaceAuth.js";
-import { CallToolResult } from "@modelcontextprotocol/sdk/types.js";
 import { TraceFile } from "../../types/RepositoryAnalysis.js";
 import { ChangedFileName } from "../../utils/branchDiff.js";
 import { RemovedUiElement } from "../../utils/removedUiElements.js";
@@ -12,11 +11,14 @@ export declare function isGraphQLFile(filePath: string, repositoryPath: string):
 export declare const analyzeChangesInputSchema: {
     repositoryPath: z.ZodString;
     repository: z.ZodString;
-    scope: z.ZodOptional<z.ZodDefault<z.ZodEnum<["full_repo", "branch_diff"]>>>;
+    scope: z.ZodOptional<z.ZodDefault<z.ZodEnum<{
+        full_repo: "full_repo";
+        branch_diff: "branch_diff";
+    }>>>;
     baseBranch: z.ZodOptional<z.ZodString>;
     testDirectory: z.ZodOptional<z.ZodString>;
     prNumber: z.ZodOptional<z.ZodNumber>;
-    testsRepoDir: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    testsRepoDir: z.ZodOptional<z.ZodString>;
     includeUncommitted: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
 };
 /**
@@ -86,7 +88,7 @@ export declare const analyzeChangesOutputSchema: {
     repositoryPath: z.ZodString;
     repositoryName: z.ZodString;
     repository: z.ZodString;
-    relatedRepositories: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    relatedRepositories: z.ZodOptional<z.ZodArray<z.ZodString>>;
     analysisScope: z.ZodString;
     planOnly: z.ZodBoolean;
     currentBranch: z.ZodOptional<z.ZodString>;
@@ -94,26 +96,12 @@ export declare const analyzeChangesOutputSchema: {
     changedFiles: z.ZodArray<z.ZodObject<{
         path: z.ZodString;
         deleted: z.ZodBoolean;
-    }, "strip", z.ZodTypeAny, {
-        path: string;
-        deleted: boolean;
-    }, {
-        path: string;
-        deleted: boolean;
-    }>, "many">;
+    }, z.core.$strip>>;
     existingTestFiles: z.ZodOptional<z.ZodObject<{
-        skyramp: z.ZodArray<z.ZodString, "many">;
-        external: z.ZodArray<z.ZodString, "many">;
-        relevantExternal: z.ZodArray<z.ZodString, "many">;
-    }, "strip", z.ZodTypeAny, {
-        skyramp: string[];
-        external: string[];
-        relevantExternal: string[];
-    }, {
-        skyramp: string[];
-        external: string[];
-        relevantExternal: string[];
-    }>>;
+        skyramp: z.ZodArray<z.ZodString>;
+        external: z.ZodArray<z.ZodString>;
+        relevantExternal: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>>;
     workspace: z.ZodOptional<z.ZodObject<{
         baseUrl: z.ZodString;
         authMethod: z.ZodString;
@@ -124,113 +112,29 @@ export declare const analyzeChangesOutputSchema: {
             kind: z.ZodLiteral<"workspace-disagreement">;
             message: z.ZodString;
             serviceName: z.ZodString;
-            field: z.ZodEnum<["authType", "authHeader", "authScheme"]>;
+            field: z.ZodEnum<{
+                authHeader: "authHeader";
+                authScheme: "authScheme";
+                authType: "authType";
+            }>;
             primary: z.ZodString;
             analysed: z.ZodString;
             primaryWorkspaceFile: z.ZodString;
             analysedWorkspaceFile: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            message: string;
-            serviceName: string;
-            kind: "workspace-disagreement";
-            field: "authHeader" | "authScheme" | "authType";
-            primaryWorkspaceFile: string;
-            analysedWorkspaceFile: string;
-            primary: string;
-            analysed: string;
-        }, {
-            message: string;
-            serviceName: string;
-            kind: "workspace-disagreement";
-            field: "authHeader" | "authScheme" | "authType";
-            primaryWorkspaceFile: string;
-            analysedWorkspaceFile: string;
-            primary: string;
-            analysed: string;
-        }>, "many">>;
-    }, "strip", z.ZodTypeAny, {
-        baseUrl: string;
-        authMethod: string;
-        openApiSpecLoaded: boolean;
-        authHeader?: string | undefined;
-        openApiSpecPath?: string | undefined;
-        authFindings?: {
-            message: string;
-            serviceName: string;
-            kind: "workspace-disagreement";
-            field: "authHeader" | "authScheme" | "authType";
-            primaryWorkspaceFile: string;
-            analysedWorkspaceFile: string;
-            primary: string;
-            analysed: string;
-        }[] | undefined;
-    }, {
-        baseUrl: string;
-        authMethod: string;
-        openApiSpecLoaded: boolean;
-        authHeader?: string | undefined;
-        openApiSpecPath?: string | undefined;
-        authFindings?: {
-            message: string;
-            serviceName: string;
-            kind: "workspace-disagreement";
-            field: "authHeader" | "authScheme" | "authType";
-            primaryWorkspaceFile: string;
-            analysedWorkspaceFile: string;
-            primary: string;
-            analysed: string;
-        }[] | undefined;
-    }>>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>;
     uiContext: z.ZodOptional<z.ZodObject<{
         removedElements: z.ZodOptional<z.ZodArray<z.ZodObject<{
             attribute: z.ZodString;
             value: z.ZodString;
             file: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            value: string;
-            file: string;
-            attribute: string;
-        }, {
-            value: string;
-            file: string;
-            attribute: string;
-        }>, "many">>;
+        }, z.core.$strip>>>;
         retiredElements: z.ZodOptional<z.ZodArray<z.ZodObject<{
             attribute: z.ZodString;
             value: z.ZodString;
             file: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            value: string;
-            file: string;
-            attribute: string;
-        }, {
-            value: string;
-            file: string;
-            attribute: string;
-        }>, "many">>;
-    }, "strip", z.ZodTypeAny, {
-        removedElements?: {
-            value: string;
-            file: string;
-            attribute: string;
-        }[] | undefined;
-        retiredElements?: {
-            value: string;
-            file: string;
-            attribute: string;
-        }[] | undefined;
-    }, {
-        removedElements?: {
-            value: string;
-            file: string;
-            attribute: string;
-        }[] | undefined;
-        retiredElements?: {
-            value: string;
-            file: string;
-            attribute: string;
-        }[] | undefined;
-    }>>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>;
     nextStep: z.ZodOptional<z.ZodString>;
 };
 /**

package/build/tools/test-management/analyzeChangesTool.js

@@ -187,11 +187,11 @@ export function registerAnalyzeChangesTool(server) {
         description: `Read the repository and the current change, and discover the existing tests — first step of the unified Test Health Analysis Flow. Returns DATA only, no instructions: a stateFile path, the branch and its base, the changed files with their status, the existing test files, the workspace base URL and auth, the OpenAPI spec path, the repository's seed and fixture data files, and the identifying attributes the change removed from surviving files. It proposes no tests and it tells you nothing about the diff — read the diff and decide what the change warrants. Pass stateFile to skyramp_register_test_plan (required before you write any test), skyramp_analyze_test_health and skyramp_actions.`,
         // SKYR-4182: the payload is returned via structuredContent, which requires a
         // declared outputSchema.
-        outputSchema: analyzeChangesOutputSchema,
-        inputSchema: analyzeChangesInputSchema,
-    }, async (params, extra) => {
+        outputSchema: z.object(analyzeChangesOutputSchema),
+        inputSchema: z.object(analyzeChangesInputSchema),
+    }, async (params, ctx) => {
         let errorResult;
-        const sendProgress = makeProgressReporter(extra);
+        const sendProgress = makeProgressReporter(ctx);
         try {
             const analysisScope = params.scope === "branch_diff" || !params.scope
                 ? AnalysisScope.CurrentBranchDiff

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

@@ -1,2 +1,2 @@
-import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import { McpServer } from "@modelcontextprotocol/server";
 export declare function registerAnalyzeTestHealthTool(server: McpServer): void;

package/build/tools/test-management/analyzeTestHealthTool.js

@@ -44,7 +44,7 @@ export function registerAnalyzeTestHealthTool(server) {
             openWorldHint: false,
         },
         description: `Assess existing tests for drift against the current branch diff and generate maintenance instructions (UPDATE, REGENERATE, DELETE, VERIFY, or IGNORE) for each test. Covers both API tests and UI tests (Playwright, Cypress, RTL, component tests). Requires a stateFile from skyramp_analyze_changes.`,
-        inputSchema: {
+        inputSchema: z.object({
             stateFile: z
                 .string()
                 .describe("Path to the analyze-changes-state.json file returned by skyramp_analyze_changes (the stateFile field in its output). Do NOT pass testbot-result.txt here."),
@@ -57,12 +57,12 @@ export function registerAnalyzeTestHealthTool(server) {
                 .trim()
                 .min(1)
                 .describe("The owner/repo whose analysis section to assess (e.g. 'letsramp/api-insight'). Set it on every call — the primary's owner/repo for the primary repo, or a related repo's owner/repo for that repo's section within the run-scoped stateFile."),
-        },
-        outputSchema: {
+        }),
+        outputSchema: z.object({
             prompt: z
                 .string()
                 .describe("LLM drift analysis prompt and assessment instructions."),
-        },
+        }),
     }, async (args) => {
         let errorResult;
         try {