mcp-code-context 3.9.2 → 7.0.1

package/dist/src/operations/deadSymbols.js

@@ -0,0 +1,178 @@
+/**
+ * AST Reachability & Zombie Export Eliminator
+ * v5.7.0 Enterprise AST Intelligence
+ */
+import * as fs from "node:fs/promises";
+import * as path from "node:path";
+import { existsSync } from "node:fs";
+import { ParserRegistry } from "../parsers/registry.js";
+import { CodeContextEngine } from "../core/engine.js";
+/**
+ * Checks for unreachable code following return or throw statements
+ */
+function findUnreachableStatements(node, lines) {
+    const unreachable = [];
+    function walk(n) {
+        if (n.type === "statement_block" || n.type === "block") {
+            let terminated = false;
+            let terminatingStatement = null;
+            for (let i = 0; i < n.namedChildCount; i++) {
+                const child = n.namedChild(i);
+                if (!child)
+                    continue;
+                if (terminated) {
+                    unreachable.push({
+                        name: child.text.slice(0, 30),
+                        kind: "variable",
+                        line: child.startPosition.row + 1,
+                        column: child.startPosition.column,
+                        reason: "UNREACHABLE_AFTER_RETURN",
+                        snippet: lines[child.startPosition.row] || child.text,
+                    });
+                }
+                if (child.type === "return_statement" ||
+                    child.type === "throw_statement") {
+                    terminated = true;
+                    terminatingStatement = child;
+                }
+            }
+        }
+        for (let i = 0; i < n.namedChildCount; i++) {
+            const child = n.namedChild(i);
+            if (child)
+                walk(child);
+        }
+    }
+    walk(node);
+    return unreachable;
+}
+/**
+ * Extracts declared symbols and counts their identifier references
+ */
+export async function detectDeadAstSymbols(params) {
+    let tree = null;
+    try {
+        const targetPath = params.filePath || "in_memory.ts";
+        let content = params.code ?? params.content;
+        if (content === undefined) {
+            if (params.filePath && existsSync(params.filePath)) {
+                content = await fs.readFile(params.filePath, "utf-8");
+            }
+            else {
+                return {
+                    success: false,
+                    error: `File does not exist: ${params.filePath || "none"}`,
+                };
+            }
+        }
+        const ext = path.extname(targetPath).toLowerCase();
+        let registry = params.registry;
+        if (!registry) {
+            const engine = new CodeContextEngine();
+            await engine.init();
+            registry = new ParserRegistry(engine);
+            await registry.init();
+        }
+        const parser = registry.getParser(ext === ".py" ? ".py" : ".ts");
+        if (!parser) {
+            return {
+                success: false,
+                error: `No parser available for extension: ${ext}`,
+            };
+        }
+        tree = parser.parse(content);
+        const lines = content.split("\n");
+        const declaredSymbols = [];
+        const identifierUsages = new Map();
+        function walkAST(n) {
+            // Check declarations
+            const isExported = n.parent?.type === "export_statement" || n.text.startsWith("export ");
+            if (n.type === "function_declaration" ||
+                n.type === "function_definition") {
+                const name = n.childForFieldName("name")?.text;
+                if (name) {
+                    declaredSymbols.push({ name, kind: "function", isExported, node: n });
+                }
+            }
+            else if (n.type === "class_declaration" ||
+                n.type === "class_definition") {
+                const name = n.childForFieldName("name")?.text;
+                if (name) {
+                    declaredSymbols.push({ name, kind: "class", isExported, node: n });
+                }
+            }
+            else if (n.type === "interface_declaration") {
+                const name = n.childForFieldName("name")?.text;
+                if (name) {
+                    declaredSymbols.push({ name, kind: "interface", isExported, node: n });
+                }
+            }
+            else if (n.type === "variable_declarator") {
+                const name = n.childForFieldName("name")?.text;
+                if (name) {
+                    declaredSymbols.push({ name, kind: "variable", isExported, node: n });
+                }
+            }
+            // Count identifier references
+            if ((n.type === "identifier" || n.type === "type_identifier") &&
+                n.parent?.type !== "function_declaration" &&
+                n.parent?.type !== "class_declaration" &&
+                n.parent?.type !== "interface_declaration" &&
+                n.parent?.type !== "variable_declarator") {
+                identifierUsages.set(n.text, (identifierUsages.get(n.text) || 0) + 1);
+            }
+            for (let i = 0; i < n.namedChildCount; i++) {
+                const child = n.namedChild(i);
+                if (child)
+                    walkAST(child);
+            }
+        }
+        walkAST(tree.rootNode);
+        const deadSymbols = [];
+        // 1. Identify declared symbols with zero references
+        for (const sym of declaredSymbols) {
+            const usages = identifierUsages.get(sym.name) || 0;
+            if (usages === 0) {
+                deadSymbols.push({
+                    name: sym.name,
+                    kind: sym.kind,
+                    line: sym.node.startPosition.row + 1,
+                    column: sym.node.startPosition.column,
+                    reason: sym.isExported ? "UNUSED_EXPORT" : "UNUSED_INTERNAL",
+                    snippet: lines[sym.node.startPosition.row] || sym.name,
+                });
+            }
+        }
+        // 2. Identify unreachable statements
+        const unreachable = findUnreachableStatements(tree.rootNode, lines);
+        deadSymbols.push(...unreachable);
+        const report = {
+            filePath: params.filePath,
+            totalSymbolsScanned: declaredSymbols.length,
+            deadSymbolsCount: deadSymbols.length,
+            deadSymbols,
+            summary: `Scanned ${declaredSymbols.length} declared symbols. Found ${deadSymbols.length} dead/unreachable AST items.`,
+        };
+        return {
+            success: true,
+            content: JSON.stringify(report, null, 2),
+        };
+    }
+    catch (error) {
+        return {
+            success: false,
+            error: `detect_dead_ast_symbols failed: ${error instanceof Error ? error.message : String(error)}`,
+        };
+    }
+    finally {
+        if (tree) {
+            try {
+                tree.delete();
+            }
+            catch {
+                // ignore
+            }
+        }
+    }
+}
+//# sourceMappingURL=deadSymbols.js.map

package/dist/src/operations/deadSymbols.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deadSymbols.js","sourceRoot":"","sources":["../../../src/operations/deadSymbols.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACvC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAErC,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AA4BtD;;GAEG;AACH,SAAS,yBAAyB,CAAC,IAAU,EAAE,KAAe;IAC5D,MAAM,WAAW,GAAqB,EAAE,CAAC;IAEzC,SAAS,IAAI,CAAC,CAAO;QACnB,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvD,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,IAAI,oBAAoB,GAAgB,IAAI,CAAC;YAE7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,CAAC,KAAK;oBAAE,SAAS;gBAErB,IAAI,UAAU,EAAE,CAAC;oBACf,WAAW,CAAC,IAAI,CAAC;wBACf,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;wBAC7B,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE,KAAK,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;wBACjC,MAAM,EAAE,KAAK,CAAC,aAAa,CAAC,MAAM;wBAClC,MAAM,EAAE,0BAA0B;wBAClC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI;qBACtD,CAAC,CAAC;gBACL,CAAC;gBAED,IACE,KAAK,CAAC,IAAI,KAAK,kBAAkB;oBACjC,KAAK,CAAC,IAAI,KAAK,iBAAiB,EAChC,CAAC;oBACD,UAAU,GAAG,IAAI,CAAC;oBAClB,oBAAoB,GAAG,KAAK,CAAC;gBAC/B,CAAC;YACH,CAAC;QACH,CAAC;QAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,KAAK;gBAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,MAA0B;IACnE,IAAI,IAAI,GAAgB,IAAI,CAAC;IAE7B,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,IAAI,cAAc,CAAC;QACrD,IAAI,OAAO,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC;QAE5C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACnD,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACxD,CAAC;iBAAM,CAAC;gBACN,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,wBAAwB,MAAM,CAAC,QAAQ,IAAI,MAAM,EAAE;iBAC3D,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QAEnD,IAAI,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;QAC/B,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;YACvC,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,QAAQ,GAAG,IAAI,cAAc,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;QACxB,CAAC;QAED,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACjE,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,sCAAsC,GAAG,EAAE;aACnD,CAAC;QACJ,CAAC;QAED,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAElC,MAAM,eAAe,GAKhB,EAAE,CAAC;QAER,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;QAEnD,SAAS,OAAO,CAAC,CAAO;YACtB,qBAAqB;YACrB,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YAEzF,IACE,CAAC,CAAC,IAAI,KAAK,sBAAsB;gBACjC,CAAC,CAAC,IAAI,KAAK,qBAAqB,EAChC,CAAC;gBACD,MAAM,IAAI,GAAG,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;gBAC/C,IAAI,IAAI,EAAE,CAAC;oBACT,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;gBACxE,CAAC;YACH,CAAC;iBAAM,IACL,CAAC,CAAC,IAAI,KAAK,mBAAmB;gBAC9B,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAC7B,CAAC;gBACD,MAAM,IAAI,GAAG,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;gBAC/C,IAAI,IAAI,EAAE,CAAC;oBACT,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;gBACrE,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;gBAC9C,MAAM,IAAI,GAAG,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;gBAC/C,IAAI,IAAI,EAAE,CAAC;oBACT,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;gBACzE,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAAG,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;gBAC/C,IAAI,IAAI,EAAE,CAAC;oBACT,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;gBACxE,CAAC;YACH,CAAC;YAED,8BAA8B;YAC9B,IACE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC;gBACzD,CAAC,CAAC,MAAM,EAAE,IAAI,KAAK,sBAAsB;gBACzC,CAAC,CAAC,MAAM,EAAE,IAAI,KAAK,mBAAmB;gBACtC,CAAC,CAAC,MAAM,EAAE,IAAI,KAAK,uBAAuB;gBAC1C,CAAC,CAAC,MAAM,EAAE,IAAI,KAAK,qBAAqB,EACxC,CAAC;gBACD,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxE,CAAC;YAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,KAAK;oBAAE,OAAO,CAAC,KAAK,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEvB,MAAM,WAAW,GAAqB,EAAE,CAAC;QAEzC,oDAAoD;QACpD,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;gBACjB,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;oBACpC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM;oBACrC,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,iBAAiB;oBAC5D,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI;iBACvD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,qCAAqC;QACrC,MAAM,WAAW,GAAG,yBAAyB,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACpE,WAAW,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;QAEjC,MAAM,MAAM,GAAsB;YAChC,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,mBAAmB,EAAE,eAAe,CAAC,MAAM;YAC3C,gBAAgB,EAAE,WAAW,CAAC,MAAM;YACpC,WAAW;YACX,OAAO,EAAE,WAAW,eAAe,CAAC,MAAM,4BAA4B,WAAW,CAAC,MAAM,8BAA8B;SACvH,CAAC;QAEF,OAAO;YACL,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;SACzC,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,mCAAmC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;SACnG,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC;gBACH,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/src/operations/envContract.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Environment Variable AST Drift & Parity Verifier
+ * v7.0.1 Enterprise AST Intelligence
+ */
+import { ParserRegistry } from "../parsers/registry.js";
+import type { ReadResult } from "./readCore.js";
+export interface EnvReference {
+    name: string;
+    line: number;
+    column: number;
+    snippet: string;
+}
+export interface EnvContractReport {
+    filePath?: string;
+    envExamplePath?: string;
+    totalReferencedInCode: number;
+    totalInExample: number;
+    undocumentedInCode: string[];
+    zombieInExample: string[];
+    coveragePercent: number;
+    references: EnvReference[];
+    summary: string;
+}
+export interface EnvContractOptions {
+    filePath?: string;
+    code?: string;
+    content?: string;
+    envExampleContent?: string;
+    projectRoot?: string;
+    registry?: ParserRegistry;
+}
+/**
+ * Verifies environment variable contract drift
+ */
+export declare function verifyEnvContractDrift(params: EnvContractOptions): Promise<ReadResult>;

package/dist/src/operations/envContract.js

@@ -0,0 +1,194 @@
+/**
+ * Environment Variable AST Drift & Parity Verifier
+ * v7.0.1 Enterprise AST Intelligence
+ */
+import * as fs from "node:fs/promises";
+import * as path from "node:path";
+import { existsSync } from "node:fs";
+import { ParserRegistry } from "../parsers/registry.js";
+import { CodeContextEngine } from "../core/engine.js";
+/**
+ * Parses .env.example into a Set of variable names
+ */
+function parseEnvExample(content) {
+    const vars = new Set();
+    const lines = content.split("\n");
+    for (const rawLine of lines) {
+        const line = rawLine.trim();
+        if (!line || line.startsWith("#"))
+            continue;
+        const match = line.match(/^([a-zA-Z_][a-zA-Z0-9_]*)\s*=/);
+        if (match && match[1]) {
+            vars.add(match[1]);
+        }
+    }
+    return vars;
+}
+/**
+ * Extracts environment variable accesses from AST
+ */
+function extractEnvReferences(rootNode, lines) {
+    const refs = [];
+    function walk(n) {
+        // 1. Node.js / TS: process.env.XYZ or process.env['XYZ']
+        if (n.type === "member_expression") {
+            const obj = n.childForFieldName("object")?.text;
+            const prop = n.childForFieldName("property")?.text;
+            if (obj === "process.env" && prop) {
+                const cleanProp = prop.replace(/^["']|["']$/g, "");
+                refs.push({
+                    name: cleanProp,
+                    line: n.startPosition.row + 1,
+                    column: n.startPosition.column,
+                    snippet: lines[n.startPosition.row]?.trim() || n.text,
+                });
+            }
+        }
+        // 2. Python / PHP / generic function call: os.getenv("XYZ"), getenv("XYZ"), env("XYZ")
+        if (n.type === "call_expression" || n.type === "call") {
+            const fn = n.childForFieldName("function")?.text;
+            if (fn === "os.getenv" || fn === "getenv" || fn === "env" || fn === "os.environ.get") {
+                const args = n.childForFieldName("arguments") || n.namedChild(1);
+                const firstArg = args?.namedChild(0)?.text;
+                if (firstArg) {
+                    const varName = firstArg.replace(/^["']|["']$/g, "");
+                    refs.push({
+                        name: varName,
+                        line: n.startPosition.row + 1,
+                        column: n.startPosition.column,
+                        snippet: lines[n.startPosition.row]?.trim() || n.text,
+                    });
+                }
+            }
+        }
+        // 3. Python subscription: os.environ["XYZ"] or PHP: $_ENV["XYZ"]
+        if (n.type === "subscript" || n.type === "subscript_expression") {
+            const obj = (n.childForFieldName("value") || n.namedChild(0))?.text;
+            const idx = (n.childForFieldName("subscript") || n.namedChild(1))?.text;
+            if ((obj === "os.environ" || obj === "$_ENV" || obj === "$_SERVER") && idx) {
+                const varName = idx.replace(/^["']|["']$/g, "");
+                refs.push({
+                    name: varName,
+                    line: n.startPosition.row + 1,
+                    column: n.startPosition.column,
+                    snippet: lines[n.startPosition.row]?.trim() || n.text,
+                });
+            }
+        }
+        for (let i = 0; i < n.namedChildCount; i++) {
+            const child = n.namedChild(i);
+            if (child)
+                walk(child);
+        }
+    }
+    walk(rootNode);
+    return refs;
+}
+/**
+ * Verifies environment variable contract drift
+ */
+export async function verifyEnvContractDrift(params) {
+    let tree = null;
+    try {
+        const targetPath = params.filePath || "in_memory.ts";
+        let content = params.code ?? params.content;
+        if (content === undefined) {
+            if (params.filePath && existsSync(params.filePath)) {
+                content = await fs.readFile(params.filePath, "utf-8");
+            }
+            else {
+                return {
+                    success: false,
+                    error: `File does not exist: ${params.filePath || "none"}`,
+                };
+            }
+        }
+        const ext = path.extname(targetPath).toLowerCase();
+        let registry = params.registry;
+        if (!registry) {
+            const engine = new CodeContextEngine();
+            await engine.init();
+            registry = new ParserRegistry(engine);
+            await registry.init();
+        }
+        const parser = registry.getParser(ext === ".py" ? ".py" : ".ts");
+        if (!parser) {
+            return {
+                success: false,
+                error: `No parser available for extension: ${ext}`,
+            };
+        }
+        tree = parser.parse(content);
+        const lines = content.split("\n");
+        const references = extractEnvReferences(tree.rootNode, lines);
+        const referencedNames = new Set(references.map(r => r.name));
+        // Resolve .env.example
+        let exampleVars = new Set();
+        let envExamplePath = undefined;
+        if (params.envExampleContent !== undefined) {
+            exampleVars = parseEnvExample(params.envExampleContent);
+        }
+        else if (params.projectRoot) {
+            const candidatePaths = [
+                path.join(params.projectRoot, ".env.example"),
+                path.join(params.projectRoot, ".env.template"),
+                path.join(params.projectRoot, ".env"),
+            ];
+            for (const p of candidatePaths) {
+                if (existsSync(p)) {
+                    envExamplePath = p;
+                    const exampleStr = await fs.readFile(p, "utf-8");
+                    exampleVars = parseEnvExample(exampleStr);
+                    break;
+                }
+            }
+        }
+        const undocumented = [];
+        for (const refName of referencedNames) {
+            if (!exampleVars.has(refName)) {
+                undocumented.push(refName);
+            }
+        }
+        const zombie = [];
+        for (const exName of exampleVars) {
+            if (!referencedNames.has(exName)) {
+                zombie.push(exName);
+            }
+        }
+        const totalReferenced = referencedNames.size;
+        const documentedCount = totalReferenced - undocumented.length;
+        const coveragePercent = totalReferenced > 0 ? Math.round((documentedCount / totalReferenced) * 100) : 100;
+        const report = {
+            filePath: params.filePath,
+            envExamplePath,
+            totalReferencedInCode: totalReferenced,
+            totalInExample: exampleVars.size,
+            undocumentedInCode: undocumented,
+            zombieInExample: zombie,
+            coveragePercent,
+            references,
+            summary: `Analyzed ${totalReferenced} env references in code vs ${exampleVars.size} in .env.example. Coverage: ${coveragePercent}%. Undocumented in example: ${undocumented.length}.`,
+        };
+        return {
+            success: true,
+            content: JSON.stringify(report, null, 2),
+        };
+    }
+    catch (error) {
+        return {
+            success: false,
+            error: `verify_env_contract_drift failed: ${error instanceof Error ? error.message : String(error)}`,
+        };
+    }
+    finally {
+        if (tree) {
+            try {
+                tree.delete();
+            }
+            catch {
+                // ignore
+            }
+        }
+    }
+}
+//# sourceMappingURL=envContract.js.map

package/dist/src/operations/envContract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"envContract.js","sourceRoot":"","sources":["../../../src/operations/envContract.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACvC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAErC,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AA+BtD;;GAEG;AACH,SAAS,eAAe,CAAC,OAAe;IACtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;QAC1D,IAAI,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,QAAc,EAAE,KAAe;IAC3D,MAAM,IAAI,GAAmB,EAAE,CAAC;IAEhC,SAAS,IAAI,CAAC,CAAO;QACnB,yDAAyD;QACzD,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACnC,MAAM,GAAG,GAAG,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;YAChD,MAAM,IAAI,GAAG,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;YAEnD,IAAI,GAAG,KAAK,aAAa,IAAI,IAAI,EAAE,CAAC;gBAClC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;gBACnD,IAAI,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;oBAC7B,MAAM,EAAE,CAAC,CAAC,aAAa,CAAC,MAAM;oBAC9B,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI;iBACtD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,uFAAuF;QACvF,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtD,MAAM,EAAE,GAAG,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;YACjD,IAAI,EAAE,KAAK,WAAW,IAAI,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,gBAAgB,EAAE,CAAC;gBACrF,MAAM,IAAI,GAAG,CAAC,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBACjE,MAAM,QAAQ,GAAG,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;gBAC3C,IAAI,QAAQ,EAAE,CAAC;oBACb,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;oBACrD,IAAI,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,OAAO;wBACb,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;wBAC7B,MAAM,EAAE,CAAC,CAAC,aAAa,CAAC,MAAM;wBAC9B,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI;qBACtD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,iEAAiE;QACjE,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YAChE,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;YACpE,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;YACxE,IAAI,CAAC,GAAG,KAAK,YAAY,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,UAAU,CAAC,IAAI,GAAG,EAAE,CAAC;gBAC3E,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;gBAChD,IAAI,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;oBAC7B,MAAM,EAAE,CAAC,CAAC,aAAa,CAAC,MAAM;oBAC9B,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI;iBACtD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,KAAK;gBAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,CAAC;IACf,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,MAA0B;IACrE,IAAI,IAAI,GAAgB,IAAI,CAAC;IAE7B,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,IAAI,cAAc,CAAC;QACrD,IAAI,OAAO,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC;QAE5C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACnD,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACxD,CAAC;iBAAM,CAAC;gBACN,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,wBAAwB,MAAM,CAAC,QAAQ,IAAI,MAAM,EAAE;iBAC3D,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QAEnD,IAAI,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;QAC/B,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;YACvC,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,QAAQ,GAAG,IAAI,cAAc,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;QACxB,CAAC;QAED,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACjE,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,sCAAsC,GAAG,EAAE;aACnD,CAAC;QACJ,CAAC;QAED,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAElC,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC9D,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAE7D,uBAAuB;QACvB,IAAI,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACpC,IAAI,cAAc,GAAuB,SAAS,CAAC;QAEnD,IAAI,MAAM,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;YAC3C,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;QAC1D,CAAC;aAAM,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YAC9B,MAAM,cAAc,GAAG;gBACrB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC;gBAC7C,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC;gBAC9C,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC;aACtC,CAAC;YACF,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;gBAC/B,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;oBAClB,cAAc,GAAG,CAAC,CAAC;oBACnB,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;oBACjD,WAAW,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;oBAC1C,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;YACtC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC9B,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;YACjC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;QAED,MAAM,eAAe,GAAG,eAAe,CAAC,IAAI,CAAC;QAC7C,MAAM,eAAe,GAAG,eAAe,GAAG,YAAY,CAAC,MAAM,CAAC;QAC9D,MAAM,eAAe,GAAG,eAAe,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,eAAe,GAAG,eAAe,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAE1G,MAAM,MAAM,GAAsB;YAChC,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,cAAc;YACd,qBAAqB,EAAE,eAAe;YACtC,cAAc,EAAE,WAAW,CAAC,IAAI;YAChC,kBAAkB,EAAE,YAAY;YAChC,eAAe,EAAE,MAAM;YACvB,eAAe;YACf,UAAU;YACV,OAAO,EAAE,YAAY,eAAe,8BAA8B,WAAW,CAAC,IAAI,+BAA+B,eAAe,+BAA+B,YAAY,CAAC,MAAM,GAAG;SACtL,CAAC;QAEF,OAAO;YACL,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;SACzC,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,qCAAqC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;SACrG,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC;gBACH,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/src/operations/errorAudit.d.ts

@@ -0,0 +1,36 @@
+/**
+ * AST Exception & Error Swallowing Guard
+ * v7.0.1 Enterprise AST Intelligence
+ */
+import { ParserRegistry } from "../parsers/registry.js";
+import type { ReadResult } from "./readCore.js";
+export interface CatchClauseFinding {
+    line: number;
+    column: number;
+    caughtType?: string;
+    variableName?: string;
+    findingType: "EMPTY_CATCH" | "GENERIC_SWALLOW" | "MISSING_TELEMETRY" | "SUPPRESSED_CRITICAL";
+    severity: "CRITICAL" | "HIGH" | "MEDIUM";
+    snippet: string;
+    recommendation: string;
+}
+export interface ErrorAuditReport {
+    filePath?: string;
+    totalCatchBlocks: number;
+    cleanCatchBlocks: number;
+    riskyCatchBlocks: number;
+    resilienceScore: number;
+    findings: CatchClauseFinding[];
+    summary: string;
+}
+export interface ErrorAuditOptions {
+    filePath?: string;
+    code?: string;
+    content?: string;
+    projectRoot?: string;
+    registry?: ParserRegistry;
+}
+/**
+ * Audits error handling patterns across AST
+ */
+export declare function auditErrorHandlingContracts(params: ErrorAuditOptions): Promise<ReadResult>;

package/dist/src/operations/errorAudit.js

@@ -0,0 +1,201 @@
+/**
+ * AST Exception & Error Swallowing Guard
+ * v7.0.1 Enterprise AST Intelligence
+ */
+import * as fs from "node:fs/promises";
+import * as path from "node:path";
+import { existsSync } from "node:fs";
+import { ParserRegistry } from "../parsers/registry.js";
+import { CodeContextEngine } from "../core/engine.js";
+/**
+ * Checks if a block contains any logging or rethrow statements
+ */
+function inspectCatchBody(bodyNode) {
+    let hasLogging = false;
+    let hasRethrow = false;
+    // Check if empty or contains only comments
+    const stripped = bodyNode.text.replace(/(\/\*[\s\S]*?\*\/|\/\/.*|\{|\}|\s)/g, "");
+    if (bodyNode.namedChildCount === 0 || stripped === "" || stripped === "pass") {
+        return { hasLogging: false, hasRethrow: false, isEmpty: true };
+    }
+    function walk(n) {
+        if (n.type === "throw_statement" ||
+            n.type === "raise_statement") {
+            hasRethrow = true;
+        }
+        if (n.type === "call_expression" || n.type === "call") {
+            const fn = n.childForFieldName("function")?.text || "";
+            if (fn.includes("log") ||
+                fn.includes("error") ||
+                fn.includes("warn") ||
+                fn.includes("telemetry") ||
+                fn.includes("audit")) {
+                hasLogging = true;
+            }
+        }
+        for (let i = 0; i < n.namedChildCount; i++) {
+            const child = n.namedChild(i);
+            if (child)
+                walk(child);
+        }
+    }
+    walk(bodyNode);
+    return { hasLogging, hasRethrow, isEmpty: false };
+}
+/**
+ * Audits error handling patterns across AST
+ */
+export async function auditErrorHandlingContracts(params) {
+    let tree = null;
+    try {
+        const targetPath = params.filePath || "in_memory.ts";
+        let content = params.code ?? params.content;
+        if (content === undefined) {
+            if (params.filePath && existsSync(params.filePath)) {
+                content = await fs.readFile(params.filePath, "utf-8");
+            }
+            else {
+                return {
+                    success: false,
+                    error: `File does not exist: ${params.filePath || "none"}`,
+                };
+            }
+        }
+        const ext = path.extname(targetPath).toLowerCase();
+        let registry = params.registry;
+        if (!registry) {
+            const engine = new CodeContextEngine();
+            await engine.init();
+            registry = new ParserRegistry(engine);
+            await registry.init();
+        }
+        const parser = registry.getParser(ext === ".py" ? ".py" : ".ts");
+        if (!parser) {
+            return {
+                success: false,
+                error: `No parser available for extension: ${ext}`,
+            };
+        }
+        tree = parser.parse(content);
+        const lines = content.split("\n");
+        const findings = [];
+        let totalCatches = 0;
+        function walkAST(n) {
+            // TypeScript / JS / PHP: catch_clause
+            if (n.type === "catch_clause") {
+                totalCatches++;
+                const param = n.childForFieldName("parameter")?.text;
+                const body = n.childForFieldName("body") || n.namedChild(n.namedChildCount - 1);
+                if (body) {
+                    const { hasLogging, hasRethrow, isEmpty } = inspectCatchBody(body);
+                    if (isEmpty) {
+                        findings.push({
+                            line: n.startPosition.row + 1,
+                            column: n.startPosition.column,
+                            caughtType: param,
+                            findingType: "EMPTY_CATCH",
+                            severity: "CRITICAL",
+                            snippet: lines[n.startPosition.row]?.trim() || n.text,
+                            recommendation: "Never leave catch blocks empty. Add structured logging or rethrow.",
+                        });
+                    }
+                    else if (!hasRethrow && !hasLogging) {
+                        findings.push({
+                            line: n.startPosition.row + 1,
+                            column: n.startPosition.column,
+                            caughtType: param,
+                            findingType: "GENERIC_SWALLOW",
+                            severity: "HIGH",
+                            snippet: lines[n.startPosition.row]?.trim() || n.text,
+                            recommendation: "Swallowing caught exception without logging or rethrowing damages system observability.",
+                        });
+                    }
+                }
+            }
+            // Python: except_clause
+            if (n.type === "except_clause") {
+                totalCatches++;
+                const exceptText = n.text;
+                const parentTry = n.parent;
+                const body = parentTry?.childForFieldName("body") || n.nextNamedSibling;
+                if (n.text.includes("BaseException") || n.text.includes("KeyboardInterrupt") || n.text.includes("SystemExit")) {
+                    findings.push({
+                        line: n.startPosition.row + 1,
+                        column: n.startPosition.column,
+                        caughtType: exceptText,
+                        findingType: "SUPPRESSED_CRITICAL",
+                        severity: "CRITICAL",
+                        snippet: lines[n.startPosition.row]?.trim() || n.text,
+                        recommendation: "Do not intercept KeyboardInterrupt or SystemExit; it prevents graceful process termination.",
+                    });
+                }
+                // Check the block following except
+                const nextSibling = n.nextNamedSibling;
+                if (nextSibling && (nextSibling.type === "block" || nextSibling.type === "statement_block")) {
+                    const { hasLogging, hasRethrow, isEmpty } = inspectCatchBody(nextSibling);
+                    if (isEmpty) {
+                        findings.push({
+                            line: n.startPosition.row + 1,
+                            column: n.startPosition.column,
+                            caughtType: exceptText,
+                            findingType: "EMPTY_CATCH",
+                            severity: "CRITICAL",
+                            snippet: lines[n.startPosition.row]?.trim() || n.text,
+                            recommendation: "Empty 'except: pass' silently hides catastrophic runtime failures.",
+                        });
+                    }
+                    else if (!hasRethrow && !hasLogging) {
+                        findings.push({
+                            line: n.startPosition.row + 1,
+                            column: n.startPosition.column,
+                            caughtType: exceptText,
+                            findingType: "GENERIC_SWALLOW",
+                            severity: "HIGH",
+                            snippet: lines[n.startPosition.row]?.trim() || n.text,
+                            recommendation: "Add logger.exception() or re-raise with 'raise'.",
+                        });
+                    }
+                }
+            }
+            for (let i = 0; i < n.namedChildCount; i++) {
+                const child = n.namedChild(i);
+                if (child)
+                    walkAST(child);
+            }
+        }
+        walkAST(tree.rootNode);
+        const riskyCount = findings.length;
+        const cleanCount = Math.max(0, totalCatches - riskyCount);
+        const resilienceScore = totalCatches > 0 ? Math.round((cleanCount / totalCatches) * 100) : 100;
+        const report = {
+            filePath: params.filePath,
+            totalCatchBlocks: totalCatches,
+            cleanCatchBlocks: cleanCount,
+            riskyCatchBlocks: riskyCount,
+            resilienceScore,
+            findings,
+            summary: `Audited ${totalCatches} catch/except clauses. Clean: ${cleanCount}, Risky: ${riskyCount}. Error Resilience Score: ${resilienceScore}/100.`,
+        };
+        return {
+            success: true,
+            content: JSON.stringify(report, null, 2),
+        };
+    }
+    catch (error) {
+        return {
+            success: false,
+            error: `audit_error_handling_contracts failed: ${error instanceof Error ? error.message : String(error)}`,
+        };
+    }
+    finally {
+        if (tree) {
+            try {
+                tree.delete();
+            }
+            catch {
+                // ignore
+            }
+        }
+    }
+}
+//# sourceMappingURL=errorAudit.js.map