codex-plugin-doctor 1.64.0 → 1.66.0

package/LICENSE

@@ -1,21 +1,21 @@
-MIT License
-
-Copyright (c) 2026 Furkan Tasci
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in all
-copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-SOFTWARE.
+MIT License
+
+Copyright (c) 2026 Furkan Tasci
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -118,8 +118,11 @@ codex-plugin-doctor doctor tools-diff --before ./tools-old.json --after ./tools-
 ```
 
 This reports added, removed, and structurally changed definitions using numeric
-locations. Incomplete inputs, invalid definitions, or duplicate names prevent a
-comparison. It does not determine whether a schema change breaks compatibility.
+locations, and labels each change `breaking`, `compatible`, or `unclassified`
+with fixed reason codes. Add `--fail-on breaking` to fail CI only on breaking or
+unclassified changes. Incomplete inputs, invalid definitions, or duplicate names
+prevent a comparison. Impact labels are root-level schema heuristics, not proof
+of compatibility.
 See [Offline MCP Tool Diff](docs/guides/offline-tool-diff.md) for matching rules,
 privacy, limits, and exit codes.
 
@@ -135,6 +138,10 @@ This opt-in command performs discovery and bounded `tools/list` pagination. It
 reports tool-definition and root-schema shape findings, explicit completion state,
 and partial inspection limits. It does not claim full schema validation, tool
 execution, or client compatibility. Existing `doctor discover` behavior is unchanged.
+Add `--save-response <path>` to record a completely enumerated catalog as a
+`tools/list` response for `tools-file` and `tools-diff`; nothing is written when
+enumeration is incomplete. The GitHub Action can compare saved responses with
+`tools-diff-before`, `tools-diff-after`, and `tools-diff-fail-on`.
 See [HTTP MCP Tool Catalog](docs/guides/mcp-tool-catalog.md).
 
 ### Remote MCP Readiness
@@ -555,9 +562,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v5
-      - uses: Esquetta/CodexPluginDoctor@v1.64.0
+      - uses: Esquetta/CodexPluginDoctor@v1.66.0
         with:
-          version: "1.64.0"
+          version: "1.66.0"
           path: .
           runtime: "true"
           policy: codex-publish

package/dist/core/mcp-tool-catalog.d.ts

@@ -32,5 +32,15 @@ export interface McpToolCatalogReport {
     };
     findings: CatalogFinding[];
 }
+export interface McpToolCatalogCache {
+    ttlMs: number;
+    cacheScope: "public" | "private";
+}
+export interface McpToolCatalogSnapshot {
+    report: McpToolCatalogReport;
+    tools: unknown[] | null;
+    cache: McpToolCatalogCache | null;
+}
 export declare function inspectMcpToolCatalog(rawUrl: string, options?: McpToolCatalogOptions): Promise<McpToolCatalogReport>;
+export declare function captureMcpToolCatalog(rawUrl: string, options?: McpToolCatalogOptions): Promise<McpToolCatalogSnapshot>;
 export {};

package/dist/core/mcp-tool-catalog.js

@@ -39,7 +39,11 @@ function parseToolsResult(message, requestId) {
     if (Object.hasOwn(message.result, "nextCursor") && typeof message.result.nextCursor !== "string") {
         return null;
     }
-    return { tools: message.result.tools, cursor: message.result.nextCursor };
+    return {
+        tools: message.result.tools,
+        cursor: message.result.nextCursor,
+        cache: { ttlMs: message.result.ttlMs, cacheScope: message.result.cacheScope }
+    };
 }
 function catalogReport(discovery, status, catalog, catalogEnumeration, findings) {
     return {
@@ -85,6 +89,10 @@ function requestBody(id, cursor) {
     });
 }
 export async function inspectMcpToolCatalog(rawUrl, options = {}) {
+    return (await captureMcpToolCatalog(rawUrl, options)).report;
+}
+// Tools and cache metadata are returned only for a complete enumeration.
+export async function captureMcpToolCatalog(rawUrl, options = {}) {
     const request = options.request ?? requestBoundedHttp;
     const now = options.now ?? (() => performance.now());
     const deadline = now() + TOTAL_TIMEOUT_MS;
@@ -126,25 +134,26 @@ export async function inspectMcpToolCatalog(rawUrl, options = {}) {
             return response;
         }
     });
+    const partial = (report) => ({ report, tools: null, cache: null });
     const emptyCatalog = { complete: false, pagesRead: 0, toolsChecked: 0, reason: null };
     if (discovery.status === "blocked") {
-        return catalogReport(discovery, "blocked", { ...emptyCatalog, reason: "network-blocked" }, "not-tested", []);
+        return partial(catalogReport(discovery, "blocked", { ...emptyCatalog, reason: "network-blocked" }, "not-tested", []));
     }
     if (isAuthorizationFinding(discovery)) {
-        return catalogReport(discovery, "incomplete", { ...emptyCatalog, reason: "authorization-required" }, "not-tested", []);
+        return partial(catalogReport(discovery, "incomplete", { ...emptyCatalog, reason: "authorization-required" }, "not-tested", []));
     }
     if (discovery.status === "unsupported") {
-        return catalogReport(discovery, "unsupported", { ...emptyCatalog, reason: "discovery-unsupported" }, "not-tested", []);
+        return partial(catalogReport(discovery, "unsupported", { ...emptyCatalog, reason: "discovery-unsupported" }, "not-tested", []));
     }
     if (discovery.status !== "discovered") {
-        return catalogReport(discovery, "incomplete", { ...emptyCatalog, reason: budgetReason ?? "discovery-failed" }, "not-tested", []);
+        return partial(catalogReport(discovery, "incomplete", { ...emptyCatalog, reason: budgetReason ?? "discovery-failed" }, "not-tested", []));
     }
     const capabilities = discoveryResponse === null ? null : discoverMcpCapabilities(discoveryResponse);
     if (capabilities === null) {
-        return catalogReport(discovery, "incomplete", { ...emptyCatalog, reason: "discovery-response-unavailable" }, "not-tested", []);
+        return partial(catalogReport(discovery, "incomplete", { ...emptyCatalog, reason: "discovery-response-unavailable" }, "not-tested", []));
     }
     if (!Object.hasOwn(capabilities, "tools")) {
-        return catalogReport(discovery, "not-applicable", emptyCatalog, "not-tested", []);
+        return partial(catalogReport(discovery, "not-applicable", emptyCatalog, "not-tested", []));
     }
     const findings = [];
     const names = new Map();
@@ -154,6 +163,8 @@ export async function inspectMcpToolCatalog(rawUrl, options = {}) {
     let cursor;
     let incompleteReason = null;
     let blocked = false;
+    const tools = [];
+    let cache = null;
     const addFindings = (items) => {
         if (findings.length + items.length > MAX_FINDINGS) {
             findings.push(...items.slice(0, MAX_FINDINGS - findings.length));
@@ -225,12 +236,17 @@ export async function inspectMcpToolCatalog(rawUrl, options = {}) {
             break;
         }
         pagesRead += 1;
+        cache = cache === null ? page.cache : {
+            ttlMs: Math.min(cache.ttlMs, page.cache.ttlMs),
+            cacheScope: cache.cacheScope === "private" ? "private" : page.cache.cacheScope
+        };
         for (const tool of page.tools) {
             if (toolsChecked >= MAX_TOOLS) {
                 incompleteReason = "tool-limit";
                 break;
             }
             toolsChecked += 1;
+            tools.push(tool);
             const location = { page: pagesRead, toolIndex: toolsChecked };
             if (!addFindings(inspectMcpToolDefinition(tool, location))) {
                 break;
@@ -264,13 +280,17 @@ export async function inspectMcpToolCatalog(rawUrl, options = {}) {
         cursor = page.cursor;
     }
     if (blocked) {
-        return catalogReport(discovery, "blocked", { complete: false, pagesRead, toolsChecked, reason: "network-blocked" }, "incomplete", findings);
+        return partial(catalogReport(discovery, "blocked", { complete: false, pagesRead, toolsChecked, reason: "network-blocked" }, "incomplete", findings));
     }
     if (incompleteReason !== null) {
-        return catalogReport(discovery, "incomplete", { complete: false, pagesRead, toolsChecked, reason: incompleteReason }, "incomplete", findings);
+        return partial(catalogReport(discovery, "incomplete", { complete: false, pagesRead, toolsChecked, reason: incompleteReason }, "incomplete", findings));
     }
     if (deadline - now() <= 0) {
-        return catalogReport(discovery, "incomplete", { complete: false, pagesRead, toolsChecked, reason: "total-time-limit" }, "incomplete", findings);
+        return partial(catalogReport(discovery, "incomplete", { complete: false, pagesRead, toolsChecked, reason: "total-time-limit" }, "incomplete", findings));
     }
-    return catalogReport(discovery, finalStatus(findings), { complete: true, pagesRead, toolsChecked, reason: null }, "complete", findings);
+    return {
+        report: catalogReport(discovery, finalStatus(findings), { complete: true, pagesRead, toolsChecked, reason: null }, "complete", findings),
+        tools,
+        cache
+    };
 }

package/dist/core/mcp-tool-diff.d.ts

@@ -1,3 +1,4 @@
+import { type ToolChangeImpact, type ToolChangeReason } from "./mcp-tool-impact.js";
 import { type McpToolFileReport } from "./mcp-tool-file.js";
 type DiffField = "inputSchema" | "outputSchema" | "description" | "title" | "annotations" | "other";
 export interface McpToolDiffReport {
@@ -13,6 +14,8 @@ export interface McpToolDiffReport {
         removed: number | null;
         changed: number | null;
         unchanged: number | null;
+        breaking: number | null;
+        unclassified: number | null;
     };
     coverage: {
         comparison: "structural-only";
@@ -20,12 +23,15 @@ export interface McpToolDiffReport {
         compatibility: "not-tested";
         serverCatalog: "not-tested";
         toolExecution: "not-tested";
+        impactClassification: "heuristic";
     };
     changes: Array<{
         kind: "added" | "removed" | "changed";
         beforeToolIndex: number | null;
         afterToolIndex: number | null;
         fields: DiffField[];
+        impact: ToolChangeImpact;
+        reasons: ToolChangeReason[];
     }>;
 }
 export declare function compareMcpToolFiles(beforePath: string, afterPath: string): Promise<McpToolDiffReport>;

package/dist/core/mcp-tool-diff.js

@@ -1,3 +1,4 @@
+import { classifyAddedTool, classifyChangedTool, classifyRemovedTool } from "./mcp-tool-impact.js";
 import { loadMcpToolFileSnapshot } from "./mcp-tool-file.js";
 const FIXED_FIELDS = [
     "inputSchema",
@@ -72,13 +73,14 @@ function incompleteReport(before, after, status, reason) {
         status,
         before,
         after,
-        comparison: { complete: false, reason, added: null, removed: null, changed: null, unchanged: null },
+        comparison: { complete: false, reason, added: null, removed: null, changed: null, unchanged: null, breaking: null, unclassified: null },
         coverage: {
             comparison: "structural-only",
             schema: "root-shape-only",
             compatibility: "not-tested",
             serverCatalog: "not-tested",
-            toolExecution: "not-tested"
+            toolExecution: "not-tested",
+            impactClassification: "heuristic"
         },
         changes: []
     };
@@ -113,7 +115,7 @@ export async function compareMcpToolFiles(beforePath, afterPath) {
         const afterDefinition = afterDefinitions.get(name);
         if (afterDefinition === undefined) {
             removed += 1;
-            changes.push({ kind: "removed", beforeToolIndex: beforeDefinition.index, afterToolIndex: null, fields: [] });
+            changes.push({ kind: "removed", beforeToolIndex: beforeDefinition.index, afterToolIndex: null, fields: [], ...classifyRemovedTool() });
             continue;
         }
         const fields = changedFields(beforeDefinition.value, afterDefinition.value);
@@ -122,13 +124,19 @@ export async function compareMcpToolFiles(beforePath, afterPath) {
         }
         else {
             changed += 1;
-            changes.push({ kind: "changed", beforeToolIndex: beforeDefinition.index, afterToolIndex: afterDefinition.index, fields });
+            changes.push({
+                kind: "changed",
+                beforeToolIndex: beforeDefinition.index,
+                afterToolIndex: afterDefinition.index,
+                fields,
+                ...classifyChangedTool(beforeDefinition.value, afterDefinition.value, fields, structurallyEqual)
+            });
         }
     }
     for (const [name, afterDefinition] of afterDefinitions) {
         if (!beforeDefinitions.has(name)) {
             added += 1;
-            changes.push({ kind: "added", beforeToolIndex: null, afterToolIndex: afterDefinition.index, fields: [] });
+            changes.push({ kind: "added", beforeToolIndex: null, afterToolIndex: afterDefinition.index, fields: [], ...classifyAddedTool() });
         }
     }
     return {
@@ -137,13 +145,23 @@ export async function compareMcpToolFiles(beforePath, afterPath) {
         status: changes.length === 0 && before.status === "pass" && after.status === "pass" ? "pass" : "warn",
         before,
         after,
-        comparison: { complete: true, reason: null, added, removed, changed, unchanged },
+        comparison: {
+            complete: true,
+            reason: null,
+            added,
+            removed,
+            changed,
+            unchanged,
+            breaking: changes.filter((change) => change.impact === "breaking").length,
+            unclassified: changes.filter((change) => change.impact === "unclassified").length
+        },
         coverage: {
             comparison: "structural-only",
             schema: "root-shape-only",
             compatibility: "not-tested",
             serverCatalog: "not-tested",
-            toolExecution: "not-tested"
+            toolExecution: "not-tested",
+            impactClassification: "heuristic"
         },
         changes
     };

package/dist/core/mcp-tool-file.d.ts

@@ -1,4 +1,5 @@
 import type { CatalogFinding } from "./mcp-tool-definition.js";
+export declare const MAX_TOOL_FILE_BYTES: number;
 export interface McpToolFileReport {
     schemaVersion: 1;
     scope: "tool-definitions-file";
@@ -28,5 +29,6 @@ export interface McpToolFileSnapshot {
     report: McpToolFileReport;
     tools: unknown[] | null;
 }
+export declare function isBlockedOfflinePath(filePath: string): boolean;
 export declare function loadMcpToolFileSnapshot(filePath: string): Promise<McpToolFileSnapshot>;
 export declare function inspectMcpToolFile(filePath: string): Promise<McpToolFileReport>;

package/dist/core/mcp-tool-file.js

@@ -1,7 +1,7 @@
 import { constants } from "node:fs";
 import { lstat, open } from "node:fs/promises";
 import { inspectMcpToolDefinition } from "./mcp-tool-definition.js";
-const MAX_FILE_BYTES = 1024 * 1024;
+export const MAX_TOOL_FILE_BYTES = 1024 * 1024;
 const MAX_TOOLS = 500;
 const MAX_FINDINGS = 100;
 function snapshot(report, tools = null) {
@@ -22,7 +22,7 @@ function sameSnapshot(left, right) {
         && left.mtimeMs === right.mtimeMs
         && left.ctimeMs === right.ctimeMs;
 }
-function isBlockedOfflinePath(filePath) {
+export function isBlockedOfflinePath(filePath) {
     return /^[A-Za-z][A-Za-z0-9+.-]+:/u.test(filePath)
         || /^[A-Za-z]:\/\//u.test(filePath)
         || /^[\\/]{2}/u.test(filePath);
@@ -102,7 +102,7 @@ async function readBoundedRegularFile(filePath) {
         return { kind: "symlink", bytesRead: 0 };
     if (!initial.isFile())
         return { kind: "not-regular", bytesRead: 0 };
-    if (!Number.isSafeInteger(initial.size) || initial.size < 0 || initial.size > MAX_FILE_BYTES) {
+    if (!Number.isSafeInteger(initial.size) || initial.size < 0 || initial.size > MAX_TOOL_FILE_BYTES) {
         return { kind: "too-large", bytesRead: 0 };
     }
     const flags = process.platform === "win32"
@@ -117,7 +117,7 @@ async function readBoundedRegularFile(filePath) {
         if (!opened.isFile() || current.isSymbolicLink() || !current.isFile() || !sameSnapshot(initial, opened) || !sameSnapshot(opened, current)) {
             return { kind: "changed", bytesRead };
         }
-        if (!Number.isSafeInteger(opened.size) || opened.size < 0 || opened.size > MAX_FILE_BYTES) {
+        if (!Number.isSafeInteger(opened.size) || opened.size < 0 || opened.size > MAX_TOOL_FILE_BYTES) {
             return { kind: "too-large", bytesRead };
         }
         const content = Buffer.alloc(opened.size);

package/dist/core/mcp-tool-impact.d.ts

@@ -0,0 +1,13 @@
+type JsonObject = Record<string, unknown>;
+export type ToolChangeImpact = "breaking" | "compatible" | "unclassified";
+export declare const TOOL_CHANGE_REASONS: readonly ["tool-removed", "input-type-narrowed", "input-required-added", "input-property-removed", "input-property-type-narrowed", "input-property-enum-narrowed", "input-additional-properties-closed", "input-schema-unclassified", "output-schema-removed", "output-type-widened", "output-property-removed", "output-guarantee-removed", "output-property-type-widened", "output-property-enum-widened", "output-schema-unclassified", "annotation-safety-reduced", "other-fields-unclassified"];
+export type ToolChangeReason = (typeof TOOL_CHANGE_REASONS)[number];
+export interface ToolChangeClassification {
+    impact: ToolChangeImpact;
+    reasons: ToolChangeReason[];
+}
+type Equal = (left: unknown, right: unknown) => boolean;
+export declare function classifyRemovedTool(): ToolChangeClassification;
+export declare function classifyAddedTool(): ToolChangeClassification;
+export declare function classifyChangedTool(before: JsonObject, after: JsonObject, fields: readonly string[], equal: Equal): ToolChangeClassification;
+export {};

package/dist/core/mcp-tool-impact.js

@@ -0,0 +1,230 @@
+export const TOOL_CHANGE_REASONS = [
+    "tool-removed",
+    "input-type-narrowed",
+    "input-required-added",
+    "input-property-removed",
+    "input-property-type-narrowed",
+    "input-property-enum-narrowed",
+    "input-additional-properties-closed",
+    "input-schema-unclassified",
+    "output-schema-removed",
+    "output-type-widened",
+    "output-property-removed",
+    "output-guarantee-removed",
+    "output-property-type-widened",
+    "output-property-enum-widened",
+    "output-schema-unclassified",
+    "annotation-safety-reduced",
+    "other-fields-unclassified"
+];
+const UNCLASSIFIED_REASONS = new Set([
+    "input-schema-unclassified",
+    "output-schema-unclassified",
+    "other-fields-unclassified"
+]);
+// Keywords that document a schema without constraining accepted or produced values.
+const DOCUMENTATION_KEYWORDS = new Set(["title", "description", "examples", "default", "deprecated", "$comment"]);
+const ROOT_STRUCTURAL_KEYWORDS = new Set(["type", "properties", "required", "additionalProperties", "$schema"]);
+const PROPERTY_STRUCTURAL_KEYWORDS = new Set(["type", "enum"]);
+// MCP tool annotation defaults, oriented so `true` is the safer reading.
+const SAFETY_HINTS = [
+    { key: "readOnlyHint", absent: false, safe: true },
+    { key: "destructiveHint", absent: true, safe: false },
+    { key: "idempotentHint", absent: false, safe: true },
+    { key: "openWorldHint", absent: true, safe: false }
+];
+function isJsonObject(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+/** Returns the set of declared JSON types, or null when the schema does not restrict type. */
+function typeSet(schema) {
+    const declared = schema.type;
+    if (typeof declared === "string")
+        return new Set([declared]);
+    if (Array.isArray(declared) && declared.every((entry) => typeof entry === "string"))
+        return new Set(declared);
+    return null;
+}
+/** True when every value admitted by `inner` is also admitted by `outer`. */
+function typesCovered(inner, outer) {
+    if (outer === null)
+        return true;
+    if (inner === null)
+        return false;
+    for (const type of inner) {
+        if (outer.has(type))
+            continue;
+        if (type === "integer" && outer.has("number"))
+            continue;
+        return false;
+    }
+    return true;
+}
+function enumCovered(inner, outer, equal) {
+    if (outer === undefined)
+        return true;
+    if (!Array.isArray(outer))
+        return null;
+    if (inner === undefined)
+        return false;
+    if (!Array.isArray(inner))
+        return null;
+    return inner.every((value) => outer.some((candidate) => equal(value, candidate)));
+}
+function stringSet(value) {
+    if (value === undefined)
+        return new Set();
+    if (!Array.isArray(value) || !value.every((entry) => typeof entry === "string"))
+        return null;
+    return new Set(value);
+}
+function objectMap(value) {
+    if (value === undefined)
+        return {};
+    return isJsonObject(value) ? value : null;
+}
+function keywordsOutside(schema, allowed) {
+    const rest = Object.create(null);
+    for (const key of Object.keys(schema)) {
+        if (!allowed.has(key) && !DOCUMENTATION_KEYWORDS.has(key))
+            rest[key] = schema[key];
+    }
+    return rest;
+}
+/**
+ * Compares one property subschema. `direction` is "input" when callers must keep being
+ * accepted (after must cover before) and "output" when consumers must keep understanding
+ * results (before must cover after).
+ */
+function compareProperty(before, after, direction, equal, reasons) {
+    if (equal(before, after))
+        return;
+    const unclassified = direction === "input" ? "input-schema-unclassified" : "output-schema-unclassified";
+    if (!isJsonObject(before) || !isJsonObject(after)
+        || !equal(keywordsOutside(before, PROPERTY_STRUCTURAL_KEYWORDS), keywordsOutside(after, PROPERTY_STRUCTURAL_KEYWORDS))) {
+        reasons.add(unclassified);
+        return;
+    }
+    const [inner, outer] = direction === "input" ? [before, after] : [after, before];
+    if (!typesCovered(typeSet(inner), typeSet(outer))) {
+        reasons.add(direction === "input" ? "input-property-type-narrowed" : "output-property-type-widened");
+    }
+    const enumResult = enumCovered(inner.enum, outer.enum, equal);
+    if (enumResult === null)
+        reasons.add(unclassified);
+    else if (!enumResult)
+        reasons.add(direction === "input" ? "input-property-enum-narrowed" : "output-property-enum-widened");
+}
+function classifyInputSchema(before, after, equal, reasons) {
+    if (!isJsonObject(before) || !isJsonObject(after)
+        || !equal(keywordsOutside(before, ROOT_STRUCTURAL_KEYWORDS), keywordsOutside(after, ROOT_STRUCTURAL_KEYWORDS))
+        || !equal(before.$schema, after.$schema)) {
+        reasons.add("input-schema-unclassified");
+        return;
+    }
+    if (!typesCovered(typeSet(before), typeSet(after)))
+        reasons.add("input-type-narrowed");
+    const beforeRequired = stringSet(before.required);
+    const afterRequired = stringSet(after.required);
+    const beforeProperties = objectMap(before.properties);
+    const afterProperties = objectMap(after.properties);
+    if (beforeRequired === null || afterRequired === null || beforeProperties === null || afterProperties === null) {
+        reasons.add("input-schema-unclassified");
+        return;
+    }
+    for (const key of afterRequired) {
+        if (!beforeRequired.has(key))
+            reasons.add("input-required-added");
+    }
+    for (const key of Object.keys(beforeProperties)) {
+        if (!Object.hasOwn(afterProperties, key))
+            reasons.add("input-property-removed");
+        else
+            compareProperty(beforeProperties[key], afterProperties[key], "input", equal, reasons);
+    }
+    if (!equal(before.additionalProperties, after.additionalProperties)) {
+        if (after.additionalProperties === false)
+            reasons.add("input-additional-properties-closed");
+        else if (!(after.additionalProperties === undefined || after.additionalProperties === true))
+            reasons.add("input-schema-unclassified");
+    }
+}
+function classifyOutputSchema(before, after, equal, reasons) {
+    if (before === undefined)
+        return;
+    if (after === undefined) {
+        reasons.add("output-schema-removed");
+        return;
+    }
+    if (!isJsonObject(before) || !isJsonObject(after)
+        || !equal(keywordsOutside(before, ROOT_STRUCTURAL_KEYWORDS), keywordsOutside(after, ROOT_STRUCTURAL_KEYWORDS))
+        || !equal(before.$schema, after.$schema)) {
+        reasons.add("output-schema-unclassified");
+        return;
+    }
+    if (!typesCovered(typeSet(after), typeSet(before)))
+        reasons.add("output-type-widened");
+    const beforeRequired = stringSet(before.required);
+    const afterRequired = stringSet(after.required);
+    const beforeProperties = objectMap(before.properties);
+    const afterProperties = objectMap(after.properties);
+    if (beforeRequired === null || afterRequired === null || beforeProperties === null || afterProperties === null) {
+        reasons.add("output-schema-unclassified");
+        return;
+    }
+    for (const key of beforeRequired) {
+        if (!afterRequired.has(key))
+            reasons.add("output-guarantee-removed");
+    }
+    for (const key of Object.keys(beforeProperties)) {
+        if (!Object.hasOwn(afterProperties, key))
+            reasons.add("output-property-removed");
+        else
+            compareProperty(beforeProperties[key], afterProperties[key], "output", equal, reasons);
+    }
+    if (!equal(before.additionalProperties, after.additionalProperties))
+        reasons.add("output-schema-unclassified");
+}
+function hint(annotations, key, absent) {
+    if (annotations === undefined)
+        return absent;
+    if (!isJsonObject(annotations))
+        return null;
+    const value = annotations[key];
+    if (value === undefined)
+        return absent;
+    return typeof value === "boolean" ? value : null;
+}
+function classifyAnnotations(before, after, reasons) {
+    for (const { key, absent, safe } of SAFETY_HINTS) {
+        const beforeValue = hint(before, key, absent);
+        const afterValue = hint(after, key, absent);
+        if (beforeValue === safe && afterValue !== safe)
+            reasons.add("annotation-safety-reduced");
+    }
+}
+function result(reasons) {
+    const ordered = TOOL_CHANGE_REASONS.filter((reason) => reasons.has(reason));
+    const impact = ordered.some((reason) => !UNCLASSIFIED_REASONS.has(reason))
+        ? "breaking"
+        : ordered.length > 0 ? "unclassified" : "compatible";
+    return { impact, reasons: ordered };
+}
+export function classifyRemovedTool() {
+    return { impact: "breaking", reasons: ["tool-removed"] };
+}
+export function classifyAddedTool() {
+    return { impact: "compatible", reasons: [] };
+}
+export function classifyChangedTool(before, after, fields, equal) {
+    const reasons = new Set();
+    if (fields.includes("inputSchema"))
+        classifyInputSchema(before.inputSchema, after.inputSchema, equal, reasons);
+    if (fields.includes("outputSchema"))
+        classifyOutputSchema(before.outputSchema, after.outputSchema, equal, reasons);
+    if (fields.includes("annotations"))
+        classifyAnnotations(before.annotations, after.annotations, reasons);
+    if (fields.includes("other"))
+        reasons.add("other-fields-unclassified");
+    return result(reasons);
+}

package/dist/core/mcp-tool-response-file.d.ts

@@ -0,0 +1,10 @@
+import type { McpToolCatalogCache } from "./mcp-tool-catalog.js";
+export type McpToolResponseSaveResult = {
+    kind: "saved";
+    bytes: number;
+    tools: number;
+} | {
+    kind: "path-blocked" | "not-regular" | "too-large" | "write-failed";
+};
+export declare function serializeMcpToolsListResponse(tools: unknown[], cache: McpToolCatalogCache): string;
+export declare function saveMcpToolsListResponse(filePath: string, tools: unknown[], cache: McpToolCatalogCache): Promise<McpToolResponseSaveResult>;