lsp-intelligence 0.2.1 → 0.3.2

package/dist/analysis/ts/diffDeclarationShape.js

@@ -0,0 +1,114 @@
+/**
+ * Diff two declaration shapes and return a list of changes.
+ */
+export function diffDeclarationShapes(base, current) {
+    const diffs = [];
+    // Name changed
+    if (base.name !== current.name) {
+        diffs.push({ kind: 'renamed', risk: 'breaking', reason: `Renamed from "${base.name}" to "${current.name}"`, details: [`base: ${base.name}`, `current: ${current.name}`] });
+    }
+    // Params changed (functions)
+    if (base.params && current.params) {
+        // New params (required or optional)
+        for (const cp of current.params) {
+            const bp = base.params.find((p) => p.name === cp.name);
+            if (!bp && !cp.optional) {
+                diffs.push({ kind: 'param_required', risk: 'breaking', reason: `New required parameter "${cp.name}"`, details: [`param: ${cp.name}`, `type: ${cp.typeText ?? 'unknown'}`] });
+            }
+            else if (!bp && cp.optional) {
+                diffs.push({ kind: 'param_added', risk: 'safe', reason: `New optional parameter "${cp.name}"`, details: [`param: ${cp.name}`, `type: ${cp.typeText ?? 'unknown'}`] });
+            }
+        }
+        // Removed params
+        for (const bp of base.params) {
+            if (!current.params.find((p) => p.name === bp.name)) {
+                diffs.push({ kind: 'param_removed', risk: 'breaking', reason: `Parameter "${bp.name}" removed`, details: [`param: ${bp.name}`] });
+            }
+        }
+        // Optional → required
+        for (const cp of current.params) {
+            const bp = base.params.find((p) => p.name === cp.name);
+            if (bp && bp.optional && !cp.optional) {
+                diffs.push({ kind: 'param_required', risk: 'breaking', reason: `Parameter "${cp.name}" became required (was optional)`, details: [`param: ${cp.name}`] });
+            }
+        }
+    }
+    // Return type changed
+    if (base.returnTypeText && current.returnTypeText && base.returnTypeText !== current.returnTypeText) {
+        diffs.push({ kind: 'return_type_changed', risk: 'risky', reason: `Return type changed from "${base.returnTypeText}" to "${current.returnTypeText}"`, details: [`base: ${base.returnTypeText}`, `current: ${current.returnTypeText}`] });
+    }
+    // Interface members changed
+    if (base.members && current.members) {
+        const baseByName = new Map(base.members.map((m) => [m.name, m]));
+        const currentByName = new Map(current.members.map((m) => [m.name, m]));
+        for (const [name, cm] of currentByName) {
+            const bm = baseByName.get(name);
+            if (!bm) {
+                if (!cm.optional) {
+                    diffs.push({ kind: 'interface_shape_changed', risk: 'breaking', reason: `Required interface property "${name}" added — breaking for existing implementations`, details: [`property: ${name}`, `type: ${cm.typeText ?? 'unknown'}`] });
+                }
+                else {
+                    diffs.push({ kind: 'interface_shape_changed', risk: 'risky', reason: `Optional interface property "${name}" added`, details: [`property: ${name}`] });
+                }
+            }
+            else if (bm.optional && !cm.optional) {
+                diffs.push({ kind: 'interface_shape_changed', risk: 'breaking', reason: `Interface property "${name}" became required (was optional)`, details: [`property: ${name}`] });
+            }
+        }
+        for (const [name] of baseByName) {
+            if (!currentByName.has(name)) {
+                diffs.push({ kind: 'interface_shape_changed', risk: 'breaking', reason: `Interface property "${name}" removed`, details: [`property: ${name}`] });
+            }
+        }
+    }
+    // Enum members changed
+    if (base.enumMembers && current.enumMembers) {
+        const added = current.enumMembers.filter((m) => !base.enumMembers.includes(m));
+        const removed = base.enumMembers.filter((m) => !current.enumMembers.includes(m));
+        for (const m of added) {
+            diffs.push({ kind: 'enum_member_added', risk: 'risky', reason: `Enum member "${m}" added — exhaustive handling may be incomplete`, details: [m] });
+        }
+        for (const m of removed) {
+            diffs.push({ kind: 'enum_member_removed', risk: 'breaking', reason: `Enum member "${m}" removed`, details: [m] });
+        }
+    }
+    // Signature text changed (catch-all)
+    if (diffs.length === 0 && base.signatureText !== current.signatureText) {
+        diffs.push({ kind: 'signature_changed', risk: 'risky', reason: 'Declaration signature changed', details: [`base: ${base.signatureText}`, `current: ${current.signatureText}`] });
+    }
+    return diffs;
+}
+const RISK_ORDER = { breaking: 2, risky: 1, safe: 0 };
+function worstRisk(diffs) {
+    return diffs.reduce((worst, d) => RISK_ORDER[d.risk] > RISK_ORDER[worst] ? d.risk : worst, 'safe');
+}
+/**
+ * Diff two sets of exports: find added, removed, and changed declarations.
+ * Each result includes risk, the originating shapes, and per-change diffs.
+ */
+export function diffExportSets(baseShapes, currentShapes) {
+    const results = [];
+    const baseByName = new Map(baseShapes.map((s) => [s.name, s]));
+    const currentByName = new Map(currentShapes.map((s) => [s.name, s]));
+    for (const [name, baseShape] of baseByName) {
+        if (!currentByName.has(name)) {
+            results.push({ name, status: 'removed', risk: 'breaking', diffs: [{ kind: 'removed', risk: 'breaking', reason: `Export "${name}" (${baseShape.kind}) was removed`, details: [] }], baseShape });
+        }
+    }
+    for (const [name, currentShape] of currentByName) {
+        if (!baseByName.has(name)) {
+            results.push({ name, status: 'added', risk: 'safe', diffs: [{ kind: 'added', risk: 'safe', reason: `New export "${name}" (${currentShape.kind})`, details: [] }], currentShape });
+        }
+    }
+    for (const [name, currentShape] of currentByName) {
+        const baseShape = baseByName.get(name);
+        if (baseShape) {
+            const diffs = diffDeclarationShapes(baseShape, currentShape);
+            if (diffs.length > 0) {
+                results.push({ name, status: 'changed', risk: worstRisk(diffs), diffs, baseShape, currentShape });
+            }
+        }
+    }
+    return results;
+}
+//# sourceMappingURL=diffDeclarationShape.js.map

package/dist/analysis/ts/diffDeclarationShape.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diffDeclarationShape.js","sourceRoot":"","sources":["../../../src/analysis/ts/diffDeclarationShape.ts"],"names":[],"mappings":"AA0BA;;GAEG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAsB,EACtB,OAAyB;IAEzB,MAAM,KAAK,GAAsB,EAAE,CAAC;IAEpC,eAAe;IACf,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,iBAAiB,IAAI,CAAC,IAAI,SAAS,OAAO,CAAC,IAAI,GAAG,EAAE,OAAO,EAAE,CAAC,SAAS,IAAI,CAAC,IAAI,EAAE,EAAE,YAAY,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAC7K,CAAC;IAED,6BAA6B;IAC7B,IAAI,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QAClC,oCAAoC;QACpC,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YAChC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC;gBACxB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC,IAAI,GAAG,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,CAAC,QAAQ,IAAI,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAC/K,CAAC;iBAAM,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC,IAAI,GAAG,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,CAAC,QAAQ,IAAI,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YACxK,CAAC;QACH,CAAC;QACD,iBAAiB;QACjB,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC7B,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,IAAI,WAAW,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YACpI,CAAC;QACH,CAAC;QACD,sBAAsB;QACtB,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YAChC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC;gBACtC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,IAAI,kCAAkC,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5J,CAAC;QACH,CAAC;IACH,CAAC;IAED,sBAAsB;IACtB,IAAI,IAAI,CAAC,cAAc,IAAI,OAAO,CAAC,cAAc,IAAI,IAAI,CAAC,cAAc,KAAK,OAAO,CAAC,cAAc,EAAE,CAAC;QACpG,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,6BAA6B,IAAI,CAAC,cAAc,SAAS,OAAO,CAAC,cAAc,GAAG,EAAE,OAAO,EAAE,CAAC,SAAS,IAAI,CAAC,cAAc,EAAE,EAAE,YAAY,OAAO,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC;IAC1O,CAAC;IAED,4BAA4B;IAC5B,IAAI,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAEvE,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,aAAa,EAAE,CAAC;YACvC,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC;oBACjB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,gCAAgC,IAAI,iDAAiD,EAAE,OAAO,EAAE,CAAC,aAAa,IAAI,EAAE,EAAE,SAAS,EAAE,CAAC,QAAQ,IAAI,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;gBACxO,CAAC;qBAAM,CAAC;oBACN,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,gCAAgC,IAAI,SAAS,EAAE,OAAO,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;gBACxJ,CAAC;YACH,CAAC;iBAAM,IAAI,EAAE,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,uBAAuB,IAAI,kCAAkC,EAAE,OAAO,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YAC3K,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;YAChC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,uBAAuB,IAAI,WAAW,EAAE,OAAO,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YACpJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,uBAAuB;IACvB,IAAI,IAAI,CAAC,WAAW,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,WAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAChF,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,WAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAClF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,gBAAgB,CAAC,iDAAiD,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrJ,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,gBAAgB,CAAC,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpH,CAAC;IACH,CAAC;IAED,qCAAqC;IACrC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC;QACvE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,+BAA+B,EAAE,OAAO,EAAE,CAAC,SAAS,IAAI,CAAC,aAAa,EAAE,EAAE,YAAY,OAAO,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;IACnL,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAWD,MAAM,UAAU,GAA6B,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AAEhF,SAAS,SAAS,CAAC,KAAwB;IACzC,OAAO,KAAK,CAAC,MAAM,CAAW,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AAC/G,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC5B,UAA8B,EAC9B,aAAiC;IAEjC,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAErE,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,IAAI,MAAM,SAAS,CAAC,IAAI,eAAe,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;QAClM,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,aAAa,EAAE,CAAC;QACjD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,IAAI,MAAM,YAAY,CAAC,IAAI,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC;QACpL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,aAAa,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,qBAAqB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;YAC7D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC;YACpG,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/analysis/ts/exhaustiveness.d.ts

@@ -0,0 +1,49 @@
+import ts from 'typescript';
+/**
+ * Phase 2D — Switch exhaustiveness intelligence.
+ *
+ * Answers questions that a graph product cannot answer from structure alone:
+ * - "Which switches break if I add/remove this enum member?"
+ * - "Is this switch exhaustive over its enum?"
+ *
+ * Builds on the TypeScript checker (Phase 2C) for accurate type information.
+ */
+export interface SwitchExhaustivenessResult {
+    filePath: string;
+    /** 1-indexed line number of the switch keyword */
+    line: number;
+    /** Enum members that are explicitly handled in this switch */
+    handledMembers: string[];
+    /** Enum members NOT handled (and no default case covers them) */
+    missingMembers: string[];
+    /** True if there is a default case (covers missing members at runtime) */
+    hasDefaultCase: boolean;
+    /** Whether the switch is exhaustive — all members covered OR has default */
+    isExhaustive: boolean;
+}
+/**
+ * Find all non-exhaustive switch statements for a given enum across the program.
+ * "Non-exhaustive" means: missing at least one enum member AND no default case.
+ *
+ * This is the core "smarter than a graph" query: the TypeScript checker knows
+ * which type is being switched on, and we can verify coverage precisely.
+ */
+export declare function findNonExhaustiveSwitches(program: ts.Program, enumFilePath: string, enumName: string): SwitchExhaustivenessResult[];
+/**
+ * Predict the exhaustiveness impact of adding a new enum member.
+ * Returns which switches would become non-exhaustive — i.e., they currently
+ * handle all members but would miss the new one.
+ */
+export declare function predictAddedMemberImpact(program: ts.Program, enumFilePath: string, enumName: string, newMemberName: string): {
+    affectedSwitches: Array<{
+        filePath: string;
+        line: number;
+        missingMember: string;
+    }>;
+    safeCount: number;
+};
+/**
+ * Get all switch exhaustiveness results for an enum, including exhaustive ones.
+ * Useful for a full picture: which files use this enum in a switch.
+ */
+export declare function getAllSwitchResults(program: ts.Program, enumFilePath: string, enumName: string): SwitchExhaustivenessResult[];

package/dist/analysis/ts/exhaustiveness.js

@@ -0,0 +1,158 @@
+import ts from 'typescript';
+/**
+ * Find all non-exhaustive switch statements for a given enum across the program.
+ * "Non-exhaustive" means: missing at least one enum member AND no default case.
+ *
+ * This is the core "smarter than a graph" query: the TypeScript checker knows
+ * which type is being switched on, and we can verify coverage precisely.
+ */
+export function findNonExhaustiveSwitches(program, enumFilePath, enumName) {
+    const checker = program.getTypeChecker();
+    const allMembers = getEnumMembers(program, enumFilePath, enumName);
+    if (!allMembers)
+        return [];
+    const results = [];
+    for (const sf of program.getSourceFiles()) {
+        if (sf.fileName.includes('node_modules') || sf.fileName.endsWith('.d.ts'))
+            continue;
+        ts.forEachChild(sf, function visitNode(node) {
+            if (ts.isSwitchStatement(node)) {
+                const result = analyzeSwitchForEnum(node, sf, checker, enumName, allMembers);
+                if (result)
+                    results.push({ filePath: sf.fileName, ...result });
+            }
+            ts.forEachChild(node, visitNode);
+        });
+    }
+    return results.filter((r) => !r.isExhaustive);
+}
+/**
+ * Predict the exhaustiveness impact of adding a new enum member.
+ * Returns which switches would become non-exhaustive — i.e., they currently
+ * handle all members but would miss the new one.
+ */
+export function predictAddedMemberImpact(program, enumFilePath, enumName, newMemberName) {
+    const checker = program.getTypeChecker();
+    const currentMembers = getEnumMembers(program, enumFilePath, enumName);
+    if (!currentMembers)
+        return { affectedSwitches: [], safeCount: 0 };
+    const affectedSwitches = [];
+    let safeCount = 0;
+    for (const sf of program.getSourceFiles()) {
+        if (sf.fileName.includes('node_modules') || sf.fileName.endsWith('.d.ts'))
+            continue;
+        ts.forEachChild(sf, function visitNode(node) {
+            if (ts.isSwitchStatement(node)) {
+                const result = analyzeSwitchForEnum(node, sf, checker, enumName, currentMembers);
+                if (result && result.handledMembers.length > 0) {
+                    // This switch uses the enum
+                    if (!result.hasDefaultCase) {
+                        // No default — adding a new member would make it non-exhaustive
+                        affectedSwitches.push({ filePath: sf.fileName, line: result.line, missingMember: newMemberName });
+                    }
+                    else {
+                        safeCount++;
+                    }
+                }
+            }
+            ts.forEachChild(node, visitNode);
+        });
+    }
+    return { affectedSwitches, safeCount };
+}
+/**
+ * Get all switch exhaustiveness results for an enum, including exhaustive ones.
+ * Useful for a full picture: which files use this enum in a switch.
+ */
+export function getAllSwitchResults(program, enumFilePath, enumName) {
+    const checker = program.getTypeChecker();
+    const allMembers = getEnumMembers(program, enumFilePath, enumName);
+    if (!allMembers)
+        return [];
+    const results = [];
+    for (const sf of program.getSourceFiles()) {
+        if (sf.fileName.includes('node_modules') || sf.fileName.endsWith('.d.ts'))
+            continue;
+        ts.forEachChild(sf, function visitNode(node) {
+            if (ts.isSwitchStatement(node)) {
+                const result = analyzeSwitchForEnum(node, sf, checker, enumName, allMembers);
+                if (result)
+                    results.push({ filePath: sf.fileName, ...result });
+            }
+            ts.forEachChild(node, visitNode);
+        });
+    }
+    return results;
+}
+// ---------------------------------------------------------------------------
+// Internal helpers
+// ---------------------------------------------------------------------------
+function getEnumMembers(program, filePath, enumName) {
+    const sf = program.getSourceFile(filePath);
+    if (!sf)
+        return null;
+    let members = null;
+    ts.forEachChild(sf, (node) => {
+        if (ts.isEnumDeclaration(node) && node.name.text === enumName) {
+            members = node.members.map((m) => (ts.isIdentifier(m.name) ? m.name.text : m.name.getText(sf)));
+        }
+    });
+    return members;
+}
+function analyzeSwitchForEnum(node, sf, checker, enumName, allMembers) {
+    // Check if the switch expression uses the enum type
+    const switchType = checker.getTypeAtLocation(node.expression);
+    const typeSym = switchType.getSymbol() ?? switchType.aliasSymbol;
+    const typeStr = checker.typeToString(switchType);
+    const usesEnum = typeSym?.name === enumName || typeStr === enumName;
+    if (!usesEnum) {
+        // Also check if any case clause uses EnumName.Member pattern
+        const hasMemberAccess = hasCaseWithEnumAccess(node, enumName, allMembers, sf);
+        if (!hasMemberAccess)
+            return null;
+    }
+    const handled = new Set();
+    let hasDefaultCase = false;
+    for (const clause of node.caseBlock.clauses) {
+        if (ts.isDefaultClause(clause)) {
+            hasDefaultCase = true;
+        }
+        else if (ts.isCaseClause(clause)) {
+            const memberName = extractEnumMemberFromExpr(clause.expression, enumName, sf);
+            if (memberName && allMembers.includes(memberName)) {
+                handled.add(memberName);
+            }
+        }
+    }
+    if (handled.size === 0 && !hasDefaultCase)
+        return null; // Not actually using this enum
+    const missingMembers = allMembers.filter((m) => !handled.has(m));
+    const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+    return {
+        line,
+        handledMembers: [...handled],
+        missingMembers,
+        hasDefaultCase,
+        isExhaustive: missingMembers.length === 0 || hasDefaultCase,
+    };
+}
+function extractEnumMemberFromExpr(expr, enumName, sf) {
+    if (ts.isPropertyAccessExpression(expr)) {
+        const obj = expr.expression;
+        if (ts.isIdentifier(obj) && obj.text === enumName) {
+            return expr.name.text;
+        }
+    }
+    return null;
+}
+function hasCaseWithEnumAccess(node, enumName, members, sf) {
+    for (const clause of node.caseBlock.clauses) {
+        if (ts.isCaseClause(clause)) {
+            const m = extractEnumMemberFromExpr(clause.expression, enumName, sf);
+            if (m && members.includes(m))
+                return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=exhaustiveness.js.map

package/dist/analysis/ts/exhaustiveness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exhaustiveness.js","sourceRoot":"","sources":["../../../src/analysis/ts/exhaustiveness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AA2B5B;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACvC,OAAmB,EACnB,YAAoB,EACpB,QAAgB;IAEhB,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IACnE,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAE3B,MAAM,OAAO,GAAiC,EAAE,CAAC;IAEjD,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAC1C,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QAEpF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,IAAI;YACzC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;gBAC7E,IAAI,MAAM;oBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;YACjE,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;AAChD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CACtC,OAAmB,EACnB,YAAoB,EACpB,QAAgB,EAChB,aAAqB;IAKrB,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,cAAc,GAAG,cAAc,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IACvE,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAEnE,MAAM,gBAAgB,GAAqE,EAAE,CAAC;IAC9F,IAAI,SAAS,GAAG,CAAC,CAAC;IAElB,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAC1C,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QAEpF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,IAAI;YACzC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;gBACjF,IAAI,MAAM,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC/C,4BAA4B;oBAC5B,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;wBAC3B,gEAAgE;wBAChE,gBAAgB,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,CAAC;oBACpG,CAAC;yBAAM,CAAC;wBACN,SAAS,EAAE,CAAC;oBACd,CAAC;gBACH,CAAC;YACH,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC;AACzC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,OAAmB,EACnB,YAAoB,EACpB,QAAgB;IAEhB,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IACnE,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAE3B,MAAM,OAAO,GAAiC,EAAE,CAAC;IACjD,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAC1C,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QACpF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,IAAI;YACzC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;gBAC7E,IAAI,MAAM;oBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;YACjE,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,SAAS,cAAc,CAAC,OAAmB,EAAE,QAAgB,EAAE,QAAgB;IAC7E,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IACrB,IAAI,OAAO,GAAoB,IAAI,CAAC;IACpC,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3B,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9D,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClG,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAUD,SAAS,oBAAoB,CAC3B,IAAwB,EACxB,EAAiB,EACjB,OAAuB,EACvB,QAAgB,EAChB,UAAoB;IAEpB,oDAAoD;IACpD,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,UAAU,CAAC,SAAS,EAAE,IAAK,UAAkB,CAAC,WAAW,CAAC;IAC1E,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;IAEjD,MAAM,QAAQ,GAAG,OAAO,EAAE,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,QAAQ,CAAC;IACpE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,6DAA6D;QAC7D,MAAM,eAAe,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;QAC9E,IAAI,CAAC,eAAe;YAAE,OAAO,IAAI,CAAC;IACpC,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,cAAc,GAAG,KAAK,CAAC;IAE3B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;QAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,cAAc,GAAG,IAAI,CAAC;QACxB,CAAC;aAAM,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,MAAM,UAAU,GAAG,yBAAyB,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC9E,IAAI,UAAU,IAAI,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBAClD,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC,CAAC,+BAA+B;IAEvF,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IAE1E,OAAO;QACL,IAAI;QACJ,cAAc,EAAE,CAAC,GAAG,OAAO,CAAC;QAC5B,cAAc;QACd,cAAc;QACd,YAAY,EAAE,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,cAAc;KAC5D,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAmB,EAAE,QAAgB,EAAE,EAAiB;IACzF,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC;QAC5B,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAwB,EACxB,QAAgB,EAChB,OAAiB,EACjB,EAAiB;IAEjB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;QAC5C,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,yBAAyB,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;YACrE,IAAI,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/analysis/ts/extractDeclarationShape.d.ts

@@ -0,0 +1,30 @@
+import ts from 'typescript';
+import type { ExportedDeclaration } from './extractExports.js';
+export interface ParamShape {
+    name: string;
+    optional: boolean;
+    rest: boolean;
+    typeText?: string;
+}
+export interface MemberShape {
+    name: string;
+    optional?: boolean;
+    typeText?: string;
+}
+export interface DeclarationShape {
+    name: string;
+    kind: ExportedDeclaration['kind'];
+    line: number;
+    signatureText: string;
+    params?: ParamShape[];
+    returnTypeText?: string;
+    members?: MemberShape[];
+    enumMembers?: string[];
+    exportedAs?: string[];
+    moduleSpecifier?: string;
+}
+/**
+ * Extract the shape of an exported declaration for diffing.
+ * Works on the TS AST node near the export's line.
+ */
+export declare function extractDeclarationShape(sf: ts.SourceFile, exp: ExportedDeclaration): DeclarationShape;

package/dist/analysis/ts/extractDeclarationShape.js

@@ -0,0 +1,127 @@
+import ts from 'typescript';
+/**
+ * Extract the shape of an exported declaration for diffing.
+ * Works on the TS AST node near the export's line.
+ */
+export function extractDeclarationShape(sf, exp) {
+    const base = {
+        name: exp.name,
+        kind: exp.kind,
+        line: exp.line,
+        signatureText: '',
+        exportedAs: exp.exportedAs,
+        moduleSpecifier: exp.moduleSpecifier,
+    };
+    // Find the node at the export's line
+    const node = findNodeAtLine(sf, exp.line - 1);
+    if (!node)
+        return { ...base, signatureText: `${exp.kind} ${exp.name}` };
+    // Function
+    if (ts.isFunctionDeclaration(node) || ts.isFunctionExpression(node) || ts.isArrowFunction(node)) {
+        base.params = extractParams(node);
+        base.returnTypeText = node.type ? node.type.getText(sf) : undefined;
+        base.signatureText = `function ${exp.name}(${formatParams(base.params)}): ${base.returnTypeText ?? 'unknown'}`;
+        return base;
+    }
+    // Method (inside class)
+    if (ts.isMethodDeclaration(node)) {
+        base.params = extractParams(node);
+        base.returnTypeText = node.type ? node.type.getText(sf) : undefined;
+        base.signatureText = `method ${exp.name}(${formatParams(base.params)})`;
+        return base;
+    }
+    // Interface
+    if (ts.isInterfaceDeclaration(node)) {
+        base.members = extractMembers(node, sf);
+        base.signatureText = `interface ${exp.name} { ${base.members.map((m) => m.name).join(', ')} }`;
+        return base;
+    }
+    // Type alias
+    if (ts.isTypeAliasDeclaration(node)) {
+        base.signatureText = `type ${exp.name} = ${node.type.getText(sf).substring(0, 100)}`;
+        return base;
+    }
+    // Enum
+    if (ts.isEnumDeclaration(node)) {
+        base.enumMembers = node.members.map((m) => ts.isIdentifier(m.name) ? m.name.text : m.name.getText(sf));
+        base.signatureText = `enum ${exp.name} { ${base.enumMembers.join(', ')} }`;
+        return base;
+    }
+    // Variable
+    if (ts.isVariableStatement(node)) {
+        for (const decl of node.declarationList.declarations) {
+            if (ts.isIdentifier(decl.name) && decl.name.text === exp.name) {
+                if (decl.initializer && (ts.isArrowFunction(decl.initializer) || ts.isFunctionExpression(decl.initializer))) {
+                    base.params = extractParams(decl.initializer);
+                    base.returnTypeText = decl.initializer.type ? decl.initializer.type.getText(sf) : undefined;
+                    base.signatureText = `const ${exp.name} = (${formatParams(base.params)}) => ${base.returnTypeText ?? '...'}`;
+                }
+                else {
+                    base.signatureText = `const ${exp.name}: ${decl.type?.getText(sf) ?? 'unknown'}`;
+                }
+                return base;
+            }
+        }
+    }
+    // Class
+    if (ts.isClassDeclaration(node)) {
+        base.members = [];
+        for (const member of node.members) {
+            if (ts.isMethodDeclaration(member) && ts.isIdentifier(member.name)) {
+                base.members.push({ name: member.name.text });
+            }
+            else if (ts.isPropertyDeclaration(member) && ts.isIdentifier(member.name)) {
+                base.members.push({
+                    name: member.name.text,
+                    optional: !!member.questionToken,
+                    typeText: member.type?.getText(sf),
+                });
+            }
+        }
+        base.signatureText = `class ${exp.name} { ${base.members.map((m) => m.name).join(', ')} }`;
+        return base;
+    }
+    base.signatureText = `${exp.kind} ${exp.name}`;
+    return base;
+}
+function extractParams(node) {
+    return node.parameters.map((p) => ({
+        name: ts.isIdentifier(p.name) ? p.name.text : p.name.getText(),
+        optional: !!p.questionToken || !!p.initializer,
+        rest: !!p.dotDotDotToken,
+        typeText: p.type?.getText() ?? undefined,
+    }));
+}
+function extractMembers(node, sf) {
+    return node.members
+        .filter((m) => ts.isPropertySignature(m))
+        .map((m) => ({
+        name: ts.isIdentifier(m.name) ? m.name.text : m.name.getText(sf),
+        optional: !!m.questionToken,
+        typeText: m.type?.getText(sf),
+    }));
+}
+function formatParams(params) {
+    return params.map((p) => `${p.rest ? '...' : ''}${p.name}${p.optional ? '?' : ''}`).join(', ');
+}
+function findNodeAtLine(sf, line0) {
+    let found;
+    function visit(node) {
+        if (found)
+            return;
+        const nodeLine = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line;
+        if (nodeLine === line0 || nodeLine === line0 + 1 || nodeLine === line0 - 1) {
+            // Prefer specific declaration types
+            if (ts.isFunctionDeclaration(node) || ts.isClassDeclaration(node) ||
+                ts.isInterfaceDeclaration(node) || ts.isTypeAliasDeclaration(node) ||
+                ts.isEnumDeclaration(node) || ts.isVariableStatement(node)) {
+                found = node;
+                return;
+            }
+        }
+        ts.forEachChild(node, visit);
+    }
+    visit(sf);
+    return found;
+}
+//# sourceMappingURL=extractDeclarationShape.js.map

package/dist/analysis/ts/extractDeclarationShape.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extractDeclarationShape.js","sourceRoot":"","sources":["../../../src/analysis/ts/extractDeclarationShape.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AA6B5B;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,EAAiB,EACjB,GAAwB;IAExB,MAAM,IAAI,GAAqB;QAC7B,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,aAAa,EAAE,EAAE;QACjB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,eAAe,EAAE,GAAG,CAAC,eAAe;KACrC,CAAC;IAEF,qCAAqC;IACrC,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;IAExE,WAAW;IACX,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAChG,IAAI,CAAC,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpE,IAAI,CAAC,aAAa,GAAG,YAAY,GAAG,CAAC,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,cAAc,IAAI,SAAS,EAAE,CAAC;QAC/G,OAAO,IAAI,CAAC;IACd,CAAC;IAED,wBAAwB;IACxB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpE,IAAI,CAAC,aAAa,GAAG,UAAU,GAAG,CAAC,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;QACxE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,YAAY;IACZ,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,aAAa,GAAG,aAAa,GAAG,CAAC,IAAI,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/F,OAAO,IAAI,CAAC;IACd,CAAC;IAED,aAAa;IACb,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,aAAa,GAAG,QAAQ,GAAG,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QACrF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;IACP,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QACvG,IAAI,CAAC,aAAa,GAAG,QAAQ,GAAG,CAAC,IAAI,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,WAAW;IACX,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YACrD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;gBAC9D,IAAI,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC;oBAC5G,IAAI,CAAC,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBAC9C,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;oBAC5F,IAAI,CAAC,aAAa,GAAG,SAAS,GAAG,CAAC,IAAI,OAAO,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,cAAc,IAAI,KAAK,EAAE,CAAC;gBAC/G,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,aAAa,GAAG,SAAS,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;gBACnF,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,QAAQ;IACR,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAChD,CAAC;iBAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5E,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;oBAChB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI;oBACtB,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,aAAa;oBAChC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;iBACnC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,CAAC,aAAa,GAAG,SAAS,GAAG,CAAC,IAAI,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3F,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,aAAa,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,aAAa,CAAC,IAAgC;IACrD,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE;QAC9D,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW;QAC9C,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc;QACxB,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,SAAS;KACzC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,cAAc,CAAC,IAA6B,EAAE,EAAiB;IACtE,OAAO,IAAI,CAAC,OAAO;SAChB,MAAM,CAAC,CAAC,CAAC,EAA6B,EAAE,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;SACnE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAChE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa;QAC3B,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;KAC9B,CAAC,CAAC,CAAC;AACR,CAAC;AAED,SAAS,YAAY,CAAC,MAAoB;IACxC,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,cAAc,CAAC,EAAiB,EAAE,KAAa;IACtD,IAAI,KAA0B,CAAC;IAC/B,SAAS,KAAK,CAAC,IAAa;QAC1B,IAAI,KAAK;YAAE,OAAO;QAClB,MAAM,QAAQ,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1E,IAAI,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,KAAK,GAAG,CAAC,IAAI,QAAQ,KAAK,KAAK,GAAG,CAAC,EAAE,CAAC;YAC3E,oCAAoC;YACpC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAC7D,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;gBAClE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/D,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO;YACT,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/analysis/ts/extractExports.d.ts

@@ -0,0 +1,19 @@
+import ts from 'typescript';
+/**
+ * Exported declaration — the shared type used by api_guard and root_cause_trace.
+ */
+export interface ExportedDeclaration {
+    name: string;
+    exportedAs: string[];
+    kind: 'function' | 'class' | 'interface' | 'type' | 'enum' | 'const' | 'var' | 'default' | 'reexport' | 'cjs' | 'unknown';
+    filePath: string;
+    line: number;
+    isTypeOnly?: boolean;
+    moduleSpecifier?: string;
+}
+/**
+ * Extract all exports from a TypeScript/JavaScript source file using the TS AST.
+ * Supports ESM (export function, export const, export { }, export * from, export default)
+ * and basic CJS (module.exports, exports.foo).
+ */
+export declare function extractExports(sf: ts.SourceFile): ExportedDeclaration[];