codex-plugin-doctor 1.64.0 → 1.65.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.
 
@@ -555,9 +558,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v5
-      - uses: Esquetta/CodexPluginDoctor@v1.64.0
+      - uses: Esquetta/CodexPluginDoctor@v1.65.0
         with:
-          version: "1.64.0"
+          version: "1.65.0"
           path: .
           runtime: "true"
           policy: codex-publish

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-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/output-contract.js

@@ -1,5 +1,6 @@
 import { createHash } from "node:crypto";
 import { packageVersion } from "../version.js";
+import { TOOL_CHANGE_REASONS } from "./mcp-tool-impact.js";
 import { ruleCatalog } from "../rules/rule-catalog.js";
 const runtimeCapabilityStatusSchema = {
     type: "string",
@@ -785,33 +786,37 @@ publicSchemaDefinitions.push({
         before: embeddedToolFileReportSchema,
         after: embeddedToolFileReportSchema,
         comparison: {
-            type: "object", required: ["complete", "reason", "added", "removed", "changed", "unchanged"],
+            type: "object", required: ["complete", "reason", "added", "removed", "changed", "unchanged", "breaking", "unclassified"],
             properties: {
                 complete: { type: "boolean" },
                 reason: { enum: [null, "input-blocked", "input-incomplete", "invalid-definitions", "ambiguous-names"] },
                 added: { type: ["integer", "null"], minimum: 0, maximum: 500 },
                 removed: { type: ["integer", "null"], minimum: 0, maximum: 500 },
                 changed: { type: ["integer", "null"], minimum: 0, maximum: 500 },
-                unchanged: { type: ["integer", "null"], minimum: 0, maximum: 500 }
+                unchanged: { type: ["integer", "null"], minimum: 0, maximum: 500 },
+                breaking: { type: ["integer", "null"], minimum: 0, maximum: 1000 },
+                unclassified: { type: ["integer", "null"], minimum: 0, maximum: 1000 }
             }, additionalProperties: false
         },
         coverage: {
-            type: "object", required: ["comparison", "schema", "compatibility", "serverCatalog", "toolExecution"],
+            type: "object", required: ["comparison", "schema", "compatibility", "serverCatalog", "toolExecution", "impactClassification"],
             properties: {
                 comparison: { const: "structural-only" }, schema: { const: "root-shape-only" },
                 compatibility: { const: "not-tested" }, serverCatalog: { const: "not-tested" },
-                toolExecution: { const: "not-tested" }
+                toolExecution: { const: "not-tested" }, impactClassification: { const: "heuristic" }
             }, additionalProperties: false
         },
         changes: {
             type: "array", maxItems: 1000,
             items: {
-                type: "object", required: ["kind", "beforeToolIndex", "afterToolIndex", "fields"],
+                type: "object", required: ["kind", "beforeToolIndex", "afterToolIndex", "fields", "impact", "reasons"],
                 properties: {
                     kind: { enum: ["added", "removed", "changed"] },
                     beforeToolIndex: { type: ["integer", "null"], minimum: 1, maximum: 500 },
                     afterToolIndex: { type: ["integer", "null"], minimum: 1, maximum: 500 },
-                    fields: { type: "array", maxItems: 6, uniqueItems: true, items: { enum: ["inputSchema", "outputSchema", "description", "title", "annotations", "other"] } }
+                    fields: { type: "array", maxItems: 6, uniqueItems: true, items: { enum: ["inputSchema", "outputSchema", "description", "title", "annotations", "other"] } },
+                    impact: { enum: ["breaking", "compatible", "unclassified"] },
+                    reasons: { type: "array", maxItems: TOOL_CHANGE_REASONS.length, uniqueItems: true, items: { enum: [...TOOL_CHANGE_REASONS] } }
                 }, additionalProperties: false
             }
         }

package/dist/reporting/render-mcp-tool-diff-report.js

@@ -11,12 +11,15 @@ export function renderMcpToolDiffReport(report) {
         `Removed: ${comparison.removed ?? "not compared"}`,
         `Changed: ${comparison.changed ?? "not compared"}`,
         `Unchanged: ${comparison.unchanged ?? "not compared"}`,
+        `Breaking: ${comparison.breaking ?? "not compared"}`,
+        `Unclassified: ${comparison.unclassified ?? "not compared"}`,
         `Comparison coverage: ${report.coverage.comparison}`,
         `Schema coverage: ${report.coverage.schema}`,
         `Compatibility: ${report.coverage.compatibility}`,
         `Server catalog: ${report.coverage.serverCatalog}`,
         `Tool execution: ${report.coverage.toolExecution}`,
-        "Only the supplied responses are compared. A change does not establish incompatibility; an unchanged result does not establish compatibility.",
+        `Impact classification: ${report.coverage.impactClassification}`,
+        "Only the supplied responses are compared. Impact labels are root-level schema heuristics: a compatible label or an unchanged result does not establish compatibility.",
         ...["before", "after"].flatMap((side) => {
             const source = report[side];
             const label = side === "before" ? "Before" : "After";
@@ -35,7 +38,8 @@ export function renderMcpToolDiffReport(report) {
                 ...(change.beforeToolIndex === null ? [] : [`before tool ${change.beforeToolIndex}`]),
                 ...(change.afterToolIndex === null ? [] : [`after tool ${change.afterToolIndex}`])
             ];
-            return `${change.kind.toUpperCase()} [${locations.join(" -> ")}]${change.fields.length ? `: ${change.fields.join(", ")}` : ""}`;
+            const impact = `${change.impact}${change.reasons.length ? ` (${change.reasons.join(", ")})` : ""}`;
+            return `${change.kind.toUpperCase()} [${locations.join(" -> ")}]${change.fields.length ? `: ${change.fields.join(", ")}` : ""}\n  Impact: ${impact}`;
         })
     ].join("\n");
 }

package/dist/run-cli.js

@@ -107,7 +107,7 @@ function writeExactStdout(io, message) {
 }
 class CliUsageError extends Error {
 }
-const toolsDiffUsage = "Usage: codex-plugin-doctor doctor tools-diff --before <path> --after <path> [--json]";
+const toolsDiffUsage = "Usage: codex-plugin-doctor doctor tools-diff --before <path> --after <path> [--json] [--fail-on any|breaking]";
 const toolsFileUsage = "Usage: codex-plugin-doctor doctor tools-file <path> [--json]";
 const toolsUsage = "Usage: codex-plugin-doctor doctor tools <url> --allow-network [--allow-local-network] [--json]";
 const discoveryUsage = "Usage: codex-plugin-doctor doctor discover <url> --allow-network [--allow-local-network] [--json]";
@@ -1209,18 +1209,28 @@ export async function runCli(args, io = defaultIo, options = {}) {
     if (command === "doctor") {
         if (maybePath === "tools-diff") {
             if (remainingArgs.length === 1 && remainingArgs[0] === "--help") {
-                io.writeStdout(`${toolsDiffUsage}\nCompares two saved MCP tools/list responses offline. Structural changes only; compatibility is not tested.`);
+                io.writeStdout(`${toolsDiffUsage}\nCompares two saved MCP tools/list responses offline. Changes are classified heuristically as breaking, compatible, or unclassified; compatibility is not tested.\n--fail-on breaking exits 1 only for breaking or unclassified changes (default: any change or input warning).`);
                 return 0;
             }
             let beforePath;
             let afterPath;
             let json = false;
+            let failOn;
             let invalid = false;
             for (let index = 0; index < remainingArgs.length; index += 1) {
                 const flag = remainingArgs[index];
                 if (flag === "--json" && !json) {
                     json = true;
                 }
+                else if (flag === "--fail-on" && failOn === undefined) {
+                    const value = remainingArgs[index + 1];
+                    if (value !== "any" && value !== "breaking") {
+                        invalid = true;
+                        break;
+                    }
+                    failOn = value;
+                    index += 1;
+                }
                 else if ((flag === "--before" && beforePath === undefined) || (flag === "--after" && afterPath === undefined)) {
                     const value = remainingArgs[index + 1];
                     if (!value || value.startsWith("-")) {
@@ -1244,7 +1254,12 @@ export async function runCli(args, io = defaultIo, options = {}) {
             }
             const report = await (options.compareMcpToolFilesImpl ?? compareMcpToolFiles)(beforePath, afterPath);
             io.writeStdout(json ? JSON.stringify(report, null, 2) : renderMcpToolDiffReport(report));
-            return report.status === "pass" ? 0 : report.status === "warn" ? 1 : 2;
+            if (report.status !== "pass" && report.status !== "warn")
+                return 2;
+            if (failOn === "breaking") {
+                return (report.comparison.breaking ?? 0) + (report.comparison.unclassified ?? 0) > 0 ? 1 : 0;
+            }
+            return report.status === "pass" ? 0 : 1;
         }
         if (maybePath === "tools-file") {
             if (remainingArgs.length === 1 && remainingArgs[0] === "--help") {