lsp-intelligence 0.2.1 → 0.3.0

package/dist/search/ranking/mergeCandidates.js

@@ -80,6 +80,22 @@ export function mergeCandidates(inputs) {
             merged.set(key, { ...c });
         }
     }
+    // Add route candidates — boost on overlap with behavior/identifier
+    for (const c of inputs.route) {
+        const key = candidateKey(c);
+        const existing = merged.get(key);
+        if (existing) {
+            existing.score += c.score + 3;
+            existing.evidence.push(...c.evidence, 'route-overlap');
+            for (const s of c.sources) {
+                if (!existing.sources.includes(s))
+                    existing.sources.push(s);
+            }
+        }
+        else {
+            merged.set(key, { ...c });
+        }
+    }
     return [...merged.values()];
 }
 //# sourceMappingURL=mergeCandidates.js.map

package/dist/search/ranking/mergeCandidates.js.map

@@ -1 +1 @@
-{"version":3,"file":"mergeCandidates.js","sourceRoot":"","sources":["../../../src/search/ranking/mergeCandidates.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,MAO/B;IACC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAEhD,0BAA0B;IAC1B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC;IAED,iDAAiD;IACjD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,gBAAgB;YAC/C,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAC;YACjE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;YAC9B,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC;YAC5D,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,4CAA4C;IAC5C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;YAC9B,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;YACvD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,gCAAgC;YACjF,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;YACrD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC"}
+{"version":3,"file":"mergeCandidates.js","sourceRoot":"","sources":["../../../src/search/ranking/mergeCandidates.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,MAQ/B;IACC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAEhD,0BAA0B;IAC1B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC;IAED,iDAAiD;IACjD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,gBAAgB;YAC/C,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAC;YACjE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;YAC9B,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC;YAC5D,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,4CAA4C;IAC5C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;YAC9B,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;YACvD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,gCAAgC;YACjF,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;YACrD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;YAC9B,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;YACvD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC"}

package/dist/search/retrievers/routeRetriever.d.ts

@@ -0,0 +1,7 @@
+import type { SearchScope, WorkspaceIndex, CodeCandidate } from '../types.js';
+import type { EffectiveSearchSpec } from '../query/compileEffectiveSearchSpec.js';
+/**
+ * Retrieve route definition candidates from the route index.
+ * Does NOT use outbound fetch/axios as route-definition evidence.
+ */
+export declare function retrieveRouteCandidates(spec: EffectiveSearchSpec, scope: SearchScope, index: WorkspaceIndex): CodeCandidate[];

package/dist/search/retrievers/routeRetriever.js

@@ -0,0 +1,64 @@
+import { buildSnippetFromFile } from '../../analysis/ts/snippets.js';
+/**
+ * Retrieve route definition candidates from the route index.
+ * Does NOT use outbound fetch/axios as route-definition evidence.
+ */
+export function retrieveRouteCandidates(spec, scope, index) {
+    if (index.routes.length === 0)
+        return [];
+    const queryTokens = [...spec.routeTerms, ...spec.behaviorTerms];
+    if (queryTokens.length === 0)
+        return [];
+    const candidates = [];
+    for (const route of index.routes) {
+        let score = 0;
+        const evidence = [];
+        // Path match — strongest signal
+        if (route.path) {
+            const pathTokens = route.path.toLowerCase().split(/[/\-_]+/).filter((t) => t.length > 1);
+            for (const qt of queryTokens) {
+                if (pathTokens.some((pt) => pt === qt || pt.includes(qt))) {
+                    score += 6;
+                    evidence.push(`route-path-match: ${qt} in ${route.path}`);
+                }
+            }
+        }
+        // Method match
+        if (route.method) {
+            const methodLower = route.method.toLowerCase();
+            if (queryTokens.some((qt) => qt === methodLower || qt === route.method)) {
+                score += 4;
+                evidence.push(`method-match: ${route.method}`);
+            }
+        }
+        // Framework/token overlap
+        for (const qt of queryTokens) {
+            if (route.tokens.some((rt) => rt === qt)) {
+                score += 2;
+                evidence.push(`token-match: ${qt}`);
+            }
+        }
+        // Route-term boost — query explicitly asks about routes/endpoints
+        if (spec.routeTerms.length > 0) {
+            score += 3;
+            evidence.push('route-intent-boost');
+        }
+        if (score === 0)
+            continue;
+        const { snippet, context } = buildSnippetFromFile(route.filePath, route.line, 1);
+        candidates.push({
+            candidateType: 'route',
+            filePath: route.filePath,
+            line: route.line,
+            symbol: route.enclosingSymbol,
+            kind: 'function',
+            snippet,
+            context,
+            score,
+            evidence: [`route-${route.framework}: "${route.text}"`, ...evidence],
+            sources: ['route'],
+        });
+    }
+    return candidates.sort((a, b) => b.score - a.score);
+}
+//# sourceMappingURL=routeRetriever.js.map

package/dist/search/retrievers/routeRetriever.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"routeRetriever.js","sourceRoot":"","sources":["../../../src/search/retrievers/routeRetriever.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAErE;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAyB,EACzB,KAAkB,EAClB,KAAqB;IAErB,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEzC,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC;IAChE,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAExC,MAAM,UAAU,GAAoB,EAAE,CAAC;IAEvC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,gCAAgC;QAChC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACf,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACzF,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;gBAC7B,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;oBAC1D,KAAK,IAAI,CAAC,CAAC;oBACX,QAAQ,CAAC,IAAI,CAAC,qBAAqB,EAAE,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;QACH,CAAC;QAED,eAAe;QACf,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjB,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;YAC/C,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,WAAW,IAAI,EAAE,KAAK,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBACxE,KAAK,IAAI,CAAC,CAAC;gBACX,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;YAC7B,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBACzC,KAAK,IAAI,CAAC,CAAC;gBACX,QAAQ,CAAC,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,kEAAkE;QAClE,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,KAAK,IAAI,CAAC,CAAC;YACX,QAAQ,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACtC,CAAC;QAED,IAAI,KAAK,KAAK,CAAC;YAAE,SAAS;QAE1B,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,oBAAoB,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACjF,UAAU,CAAC,IAAI,CAAC;YACd,aAAa,EAAE,OAAO;YACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM,EAAE,KAAK,CAAC,eAAe;YAC7B,IAAI,EAAE,UAAU;YAChB,OAAO;YACP,OAAO;YACP,KAAK;YACL,QAAQ,EAAE,CAAC,SAAS,KAAK,CAAC,SAAS,MAAM,KAAK,CAAC,IAAI,GAAG,EAAE,GAAG,QAAQ,CAAC;YACpE,OAAO,EAAE,CAAC,OAAO,CAAC;SACnB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;AACtD,CAAC"}

package/dist/search/types.d.ts

@@ -16,7 +16,7 @@ export interface RegExpSpec {
 export interface SearchRecipe {
     id: string;
     adapter: string;
-    retrievers: Array<'behavior' | 'identifier' | 'structural' | 'regex' | 'doc' | 'config'>;
+    retrievers: Array<'behavior' | 'identifier' | 'structural' | 'regex' | 'doc' | 'config' | 'route'>;
     exactIdentifiers?: string[];
     structuralPredicates?: StructuralPredicate[];
     regexes?: RegExpSpec[];
@@ -50,7 +50,7 @@ export interface QueryIR {
 }
 export interface SearchPlan {
     mode: 'behavior' | 'identifier' | 'structural' | 'mixed';
-    retrievers: Array<'behavior' | 'identifier' | 'structural' | 'regex' | 'doc' | 'config'>;
+    retrievers: Array<'behavior' | 'identifier' | 'structural' | 'regex' | 'doc' | 'config' | 'route'>;
     reasons: string[];
     expandGraph: boolean;
 }
@@ -60,7 +60,7 @@ export interface SearchScope {
     includeTests: boolean;
 }
 export interface CodeCandidate {
-    candidateType: 'declaration' | 'usage' | 'pattern' | 'doc' | 'config';
+    candidateType: 'declaration' | 'usage' | 'pattern' | 'doc' | 'config' | 'route';
     filePath: string;
     line: number;
     column?: number;
@@ -75,7 +75,7 @@ export interface CodeCandidate {
     score: number;
     confidence?: 'high' | 'medium' | 'low';
     evidence: string[];
-    sources: Array<'behavior' | 'identifier' | 'structural' | 'doc' | 'config' | 'lsp' | 'graph'>;
+    sources: Array<'behavior' | 'identifier' | 'structural' | 'doc' | 'config' | 'route' | 'lsp' | 'graph'>;
 }
 /**
  * Deduplication key for candidates.
@@ -122,6 +122,16 @@ export interface ConfigIndexEntry {
     text: string;
     tokens: string[];
 }
+export interface RouteIndexEntry {
+    filePath: string;
+    line: number;
+    method?: string;
+    path?: string;
+    framework: 'express' | 'fastify' | 'next-app-router' | 'next-pages-api' | 'route-map' | 'unknown';
+    enclosingSymbol?: string;
+    tokens: string[];
+    text: string;
+}
 export interface IndexedFile {
     filePath: string;
     mtimeMs: number;
@@ -137,6 +147,7 @@ export interface WorkspaceIndex {
     usages: UsageIndexEntry[];
     docs: DocIndexEntry[];
     configs: ConfigIndexEntry[];
+    routes: RouteIndexEntry[];
     scopeCapped: boolean;
     capReason?: 'max-files' | 'max-depth';
 }
@@ -166,6 +177,7 @@ export interface FindCodeResult {
         regexHits: number;
         docHits: number;
         configHits: number;
+        routeHits: number;
         graphExpanded: number;
         lspEnriched: number;
         elapsedMs: number;

package/dist/session/OverlayStore.d.ts

@@ -0,0 +1,15 @@
+import type { DocumentManager } from '../engine/DocumentManager.js';
+import type { WorkspaceSnapshot } from './WorkspaceSnapshot.js';
+/**
+ * Builds a WorkspaceSnapshot from the current DocumentManager state.
+ * A snapshot is an immutable view of all open documents at a point in time.
+ *
+ * Documents whose in-memory content differs from disk are marked dirty=true.
+ * The snapshot is used by the SnapshotResolver to provide overlay text to
+ * the indexer and analysis tools, so they operate on live (unsaved) state.
+ */
+export declare class OverlayStore {
+    private readonly docManager;
+    constructor(docManager: DocumentManager);
+    createSnapshot(workspaceRoot: string): WorkspaceSnapshot;
+}

package/dist/session/OverlayStore.js

@@ -0,0 +1,46 @@
+import * as fs from 'fs';
+import { uriToPath } from '../engine/positions.js';
+/**
+ * Builds a WorkspaceSnapshot from the current DocumentManager state.
+ * A snapshot is an immutable view of all open documents at a point in time.
+ *
+ * Documents whose in-memory content differs from disk are marked dirty=true.
+ * The snapshot is used by the SnapshotResolver to provide overlay text to
+ * the indexer and analysis tools, so they operate on live (unsaved) state.
+ */
+export class OverlayStore {
+    docManager;
+    constructor(docManager) {
+        this.docManager = docManager;
+    }
+    createSnapshot(workspaceRoot) {
+        const overlays = new Map();
+        for (const [uri, doc] of this.docManager.getOpenDocuments()) {
+            const filePath = uriToPath(uri);
+            // Mark dirty if in-memory content differs from disk
+            let dirty = false;
+            try {
+                const diskContent = fs.readFileSync(filePath, 'utf-8');
+                dirty = diskContent !== doc.content;
+            }
+            catch {
+                // File may not exist on disk (new/unsaved file) — always dirty
+                dirty = true;
+            }
+            overlays.set(filePath, {
+                filePath,
+                uri,
+                version: doc.version,
+                text: doc.content,
+                languageId: doc.languageId,
+                dirty,
+            });
+        }
+        return {
+            root: workspaceRoot,
+            createdAt: Date.now(),
+            overlays,
+        };
+    }
+}
+//# sourceMappingURL=OverlayStore.js.map

package/dist/session/OverlayStore.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"OverlayStore.js","sourceRoot":"","sources":["../../src/session/OverlayStore.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAInD;;;;;;;GAOG;AACH,MAAM,OAAO,YAAY;IACM;IAA7B,YAA6B,UAA2B;QAA3B,eAAU,GAAV,UAAU,CAAiB;IAAG,CAAC;IAE5D,cAAc,CAAC,aAAqB;QAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;QAEpD,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,gBAAgB,EAAE,EAAE,CAAC;YAC5D,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;YAEhC,oDAAoD;YACpD,IAAI,KAAK,GAAG,KAAK,CAAC;YAClB,IAAI,CAAC;gBACH,MAAM,WAAW,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBACvD,KAAK,GAAG,WAAW,KAAK,GAAG,CAAC,OAAO,CAAC;YACtC,CAAC;YAAC,MAAM,CAAC;gBACP,+DAA+D;gBAC/D,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YAED,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE;gBACrB,QAAQ;gBACR,GAAG;gBACH,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,IAAI,EAAE,GAAG,CAAC,OAAO;gBACjB,UAAU,EAAE,GAAG,CAAC,UAAU;gBAC1B,KAAK;aACN,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,QAAQ;SACT,CAAC;IACJ,CAAC;CACF"}

package/dist/session/SnapshotResolver.d.ts

@@ -0,0 +1,31 @@
+import type { DocumentManager } from '../engine/DocumentManager.js';
+import type { WorkspaceSnapshot } from './WorkspaceSnapshot.js';
+/**
+ * Resolves file text, preferring in-memory overlay over disk.
+ *
+ * Consumers (indexer, analysis tools) call getText(filePath) to get
+ * the most up-to-date content. If the file has an unsaved edit in the
+ * editor, the overlay text is returned instead of the disk version.
+ */
+export interface SnapshotResolver {
+    /** Return overlay text if the file has an unsaved edit, otherwise undefined. */
+    getText(filePath: string): string | undefined;
+    /** True if the file has an in-memory overlay (whether dirty or not). */
+    hasOverlay(filePath: string): boolean;
+    /** All files that have dirty (unsaved) overlays. */
+    getDirtyFiles(): string[];
+}
+/**
+ * Build a SnapshotResolver from a DocumentManager.
+ * Called in tool handlers to get live overlay state before indexing.
+ */
+export declare function buildSnapshotResolver(docManager: DocumentManager, workspaceRoot: string): SnapshotResolver;
+/**
+ * Build a SnapshotResolver from a pre-built WorkspaceSnapshot.
+ */
+export declare function fromSnapshot(snapshot: WorkspaceSnapshot): SnapshotResolver;
+/**
+ * Build a SnapshotResolver directly from a static map of overlays.
+ * Used in tests and benchmarks without a live DocumentManager.
+ */
+export declare function buildStaticSnapshotResolver(overlays: Record<string, string>): SnapshotResolver;

package/dist/session/SnapshotResolver.js

@@ -0,0 +1,50 @@
+import { OverlayStore } from './OverlayStore.js';
+/**
+ * Build a SnapshotResolver from a DocumentManager.
+ * Called in tool handlers to get live overlay state before indexing.
+ */
+export function buildSnapshotResolver(docManager, workspaceRoot) {
+    const store = new OverlayStore(docManager);
+    const snapshot = store.createSnapshot(workspaceRoot);
+    return fromSnapshot(snapshot);
+}
+/**
+ * Build a SnapshotResolver from a pre-built WorkspaceSnapshot.
+ */
+export function fromSnapshot(snapshot) {
+    return {
+        getText(filePath) {
+            return snapshot.overlays.get(filePath)?.text;
+        },
+        hasOverlay(filePath) {
+            return snapshot.overlays.has(filePath);
+        },
+        getDirtyFiles() {
+            const dirty = [];
+            for (const [filePath, doc] of snapshot.overlays) {
+                if (doc.dirty)
+                    dirty.push(filePath);
+            }
+            return dirty;
+        },
+    };
+}
+/**
+ * Build a SnapshotResolver directly from a static map of overlays.
+ * Used in tests and benchmarks without a live DocumentManager.
+ */
+export function buildStaticSnapshotResolver(overlays) {
+    const map = new Map(Object.entries(overlays));
+    return {
+        getText(filePath) {
+            return map.get(filePath);
+        },
+        hasOverlay(filePath) {
+            return map.has(filePath);
+        },
+        getDirtyFiles() {
+            return [...map.keys()];
+        },
+    };
+}
+//# sourceMappingURL=SnapshotResolver.js.map

package/dist/session/SnapshotResolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SnapshotResolver.js","sourceRoot":"","sources":["../../src/session/SnapshotResolver.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAkBjD;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,UAA2B,EAAE,aAAqB;IACtF,MAAM,KAAK,GAAG,IAAI,YAAY,CAAC,UAAU,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC;IACrD,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC;AAChC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,QAA2B;IACtD,OAAO;QACL,OAAO,CAAC,QAAgB;YACtB,OAAO,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;QAC/C,CAAC;QACD,UAAU,CAAC,QAAgB;YACzB,OAAO,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzC,CAAC;QACD,aAAa;YACX,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,KAAK,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAChD,IAAI,GAAG,CAAC,KAAK;oBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,2BAA2B,CAAC,QAAgC;IAC1E,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9C,OAAO;QACL,OAAO,CAAC,QAAgB;YACtB,OAAO,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QACD,UAAU,CAAC,QAAgB;YACzB,OAAO,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QACD,aAAa;YACX,OAAO,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QACzB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/session/WorkspaceSnapshot.d.ts

@@ -0,0 +1,21 @@
+/**
+ * A single open document captured in a workspace snapshot.
+ */
+export interface OverlayDocument {
+    filePath: string;
+    uri: string;
+    version: number;
+    text: string;
+    languageId: string;
+    /** True if the in-memory text differs from the on-disk version */
+    dirty: boolean;
+}
+/**
+ * Immutable view of all open documents at a point in time.
+ * Used by SnapshotResolver to provide overlay text to tools.
+ */
+export interface WorkspaceSnapshot {
+    root: string;
+    createdAt: number;
+    overlays: Map<string, OverlayDocument>;
+}

package/dist/session/WorkspaceSnapshot.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=WorkspaceSnapshot.js.map

package/dist/session/WorkspaceSnapshot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"WorkspaceSnapshot.js","sourceRoot":"","sources":["../../src/session/WorkspaceSnapshot.ts"],"names":[],"mappings":""}

package/dist/tools/composites/apiGuard.d.ts

@@ -1 +1,5 @@
+import type { DeclRisk } from '../../analysis/ts/diffDeclarationShape.js';
+import type { DeclarationDiff } from '../../analysis/ts/diffDeclarationShape.js';
+export type ApiRiskLevel = DeclRisk;
+export type ApiChangeKind = DeclarationDiff['kind'];
 export declare const apiGuard: import("../registry.js").ToolDef;

package/dist/tools/composites/apiGuard.js

@@ -2,14 +2,82 @@ import { z } from 'zod';
 import * as fs from 'fs';
 import { defineTool } from '../registry.js';
 import { relativePath, uriToPath, getPackageName } from '../../engine/positions.js';
-import { parseSource } from '../../ast/parseFile.js';
-import { extractExportDeclarations } from '../../ast/extractExportDeclarations.js';
-import { diffExportDeclarations } from '../../ast/diffDeclarationShapes.js';
+import { parseSourceContent } from '../../analysis/ts/parseSourceFile.js';
+import { extractExports } from '../../analysis/ts/extractExports.js';
+import { extractDeclarationShape } from '../../analysis/ts/extractDeclarationShape.js';
+import { diffExportSets } from '../../analysis/ts/diffDeclarationShape.js';
 import { getMergeBase } from '../../git/getMergeBase.js';
 import { getChangedFiles } from '../../git/getChangedFiles.js';
 import { getBaseFileContent } from '../../git/getBaseFileContent.js';
 import { LspError, LspErrorCode, DEFAULT_TIMEOUTS } from '../../engine/types.js';
 import { collectScopeFiles } from '../../resolve/searchScope.js';
+import { programManager } from '../../analysis/ts/program/ProgramManager.js';
+import { CheckerQueries } from '../../analysis/ts/program/CheckerQueries.js';
+import { findNonExhaustiveSwitches, predictAddedMemberImpact } from '../../analysis/ts/exhaustiveness.js';
+import { analyzeCallSiteCompatibility } from '../../analysis/ts/compatibility.js';
+// ---------------------------------------------------------------------------
+// Phase 3C: Migration step generation
+// ---------------------------------------------------------------------------
+function generateMigrationSteps(exportName, kind, diffs) {
+    const steps = [];
+    const d = diffs[0];
+    switch (kind) {
+        case 'removed':
+            steps.push(`Remove all imports of \`${exportName}\` — it no longer exists`);
+            steps.push(`Find replacement or implement the functionality at each call site`);
+            break;
+        case 'renamed':
+            steps.push(`Update all imports and usages to the new name`);
+            break;
+        case 'param_required': {
+            const paramMatch = d?.reason.match(/"([^"]+)"/);
+            const paramName = paramMatch?.[1] ?? 'newParam';
+            steps.push(`Add the required \`${paramName}\` argument to all callers of \`${exportName}\``);
+            steps.push(`Search for \`${exportName}(\` to find call sites needing updates`);
+            break;
+        }
+        case 'param_added':
+            steps.push(`No immediate action required — new parameter is optional`);
+            steps.push(`Callers can opt in to the new \`${diffs[0]?.details?.[0] ?? 'param'}\` parameter as needed`);
+            break;
+        case 'param_removed': {
+            const paramMatch = d?.reason.match(/"([^"]+)"/);
+            steps.push(`Remove the \`${paramMatch?.[1] ?? 'param'}\` argument from all callers of \`${exportName}\``);
+            break;
+        }
+        case 'return_type_changed':
+            steps.push(`Check all code that assigns or destructures the return value of \`${exportName}\``);
+            steps.push(`Update variable types or add explicit casts where needed`);
+            break;
+        case 'interface_shape_changed':
+            if (d?.reason.includes('required') || d?.reason.includes('Required')) {
+                const propMatch = d?.reason.match(/"([^"]+)"/);
+                steps.push(`Add the required \`${propMatch?.[1] ?? 'property'}\` field to all objects implementing \`${exportName}\``);
+            }
+            else if (d?.reason.includes('removed') || d?.reason.includes('Removed')) {
+                const propMatch = d?.reason.match(/"([^"]+)"/);
+                steps.push(`Remove references to the deleted \`${propMatch?.[1] ?? 'property'}\` property from all usages`);
+            }
+            else {
+                steps.push(`Update all objects implementing the \`${exportName}\` interface`);
+            }
+            break;
+        case 'enum_member_removed': {
+            const memberMatch = d?.reason.match(/"([^"]+)"/);
+            steps.push(`Replace all usages of the removed \`${exportName}.${memberMatch?.[1] ?? 'member'}\` value`);
+            steps.push(`Check switch statements over \`${exportName}\` — some may now have dead code`);
+            break;
+        }
+        case 'enum_member_added': {
+            const memberMatch = d?.reason.match(/"([^"]+)"/);
+            steps.push(`Add handling for the new \`${exportName}.${memberMatch?.[1] ?? 'member'}\` value in exhaustive switch statements`);
+            break;
+        }
+        default:
+            steps.push(`Review all usages of \`${exportName}\` and update as needed`);
+    }
+    return steps;
+}
 // File collection uses shared searchScope (supports JS/TS/JSX/MJS/CJS)
 export const apiGuard = defineTool({
     name: 'api_guard',
@@ -50,45 +118,110 @@ export const apiGuard = defineTool({
         for (const filePath of scopeFiles) {
             try {
                 const currentContent = fs.readFileSync(filePath, 'utf-8');
-                const currentRoot = parseSource(currentContent, filePath);
-                const currentExports = currentRoot
-                    ? (astUsed = true, extractExportDeclarations(currentRoot, currentContent))
-                    : extractExportDeclarations(null, currentContent);
-                totalExportsChecked += currentExports.length;
-                // Get base exports
-                let baseExports = extractExportDeclarations(null, '');
+                const currentSf = parseSourceContent(currentContent, filePath);
+                astUsed = true;
+                const currentExports = extractExports(currentSf);
+                const currentShapes = currentExports.map((e) => extractDeclarationShape(currentSf, e));
+                totalExportsChecked += currentShapes.length;
+                // Get base shapes
+                let baseShapes = [];
                 if (base) {
                     const baseContent = getBaseFileContent(filePath, base, engine.workspaceRoot);
                     if (baseContent) {
-                        const baseRoot = parseSource(baseContent, filePath);
-                        baseExports = baseRoot
-                            ? extractExportDeclarations(baseRoot, baseContent)
-                            : extractExportDeclarations(null, baseContent);
+                        const baseSf = parseSourceContent(baseContent, filePath);
+                        const baseExports = extractExports(baseSf);
+                        baseShapes = baseExports.map((e) => extractDeclarationShape(baseSf, e));
                     }
                 }
-                const diffs = diffExportDeclarations(baseExports, currentExports);
+                const diffs = diffExportSets(baseShapes, currentShapes);
                 for (const d of diffs) {
                     if (params.symbol && d.name !== params.symbol)
                         continue;
+                    // Aggregate reason and structural details across all per-declaration diffs
+                    const reason = d.diffs.map((dd) => dd.reason).join('; ');
+                    const structuralDiff = d.diffs.flatMap((dd) => dd.details);
                     entries.push({
                         exportName: d.name,
                         filePath,
-                        line: d.currentDecl?.line ?? d.baseDecl?.line,
-                        declarationKind: d.baseDecl?.declarationKind ?? d.currentDecl?.declarationKind,
-                        kind: d.kind,
+                        line: d.currentShape?.line ?? d.baseShape?.line,
+                        declarationKind: d.baseShape?.kind ?? d.currentShape?.kind,
+                        kind: d.diffs[0]?.kind ?? (d.status === 'added' ? 'added' : d.status === 'removed' ? 'removed' : 'signature_changed'),
                         risk: d.risk,
-                        reason: d.reason,
-                        currentSignature: d.currentDecl?.signatureText,
-                        baseSignature: d.baseDecl?.signatureText,
-                        structuralDiff: d.structuralDiff,
+                        reason,
+                        currentSignature: d.currentShape?.signatureText,
+                        baseSignature: d.baseShape?.signatureText,
+                        structuralDiff,
                         consumers: { samePackage: 0, crossPackage: 0, sampleFiles: [] },
                         evidence: [],
+                        migrationSteps: generateMigrationSteps(d.name, d.diffs[0]?.kind ?? d.status, d.diffs),
+                        filesToInspect: [],
                     });
                 }
                 filesParsed++;
             }
             catch { }
         }
+        // Step 3b: Semantic enrichment via Phase 2C TypeScript checker
+        // Adds precise type information for changed params/returns — goes beyond AST text.
+        if (entries.length > 0) {
+            try {
+                const tsProgram = programManager.getOrBuild(engine.workspaceRoot);
+                const queries = new CheckerQueries(tsProgram);
+                for (const entry of entries) {
+                    // Phase 2C: enrich with checker-verified type information
+                    if (entry.kind === 'param_required' || entry.kind === 'param_added' || entry.kind === 'return_type_changed') {
+                        const params = queries.getFunctionParams(entry.filePath, entry.exportName);
+                        if (params) {
+                            const paramDesc = params.map((p) => `${p.name}${p.optional ? '?' : ''}: ${p.typeText}`).join(', ');
+                            entry.evidence.push(`checker: signature (${paramDesc})`);
+                        }
+                    }
+                    // Phase 2D: exhaustiveness intelligence for enum changes
+                    if (entry.kind === 'enum_member_removed') {
+                        const members = queries.getEnumMembers(entry.filePath, entry.exportName);
+                        if (members)
+                            entry.evidence.push(`checker: remaining members [${members.join(', ')}]`);
+                        const nonExhaustive = findNonExhaustiveSwitches(tsProgram, entry.filePath, entry.exportName);
+                        if (nonExhaustive.length > 0) {
+                            const files = [...new Set(nonExhaustive.map((s) => relativePath(s.filePath, engine.workspaceRoot)))].slice(0, 3).join(', ');
+                            entry.evidence.push(`exhaustiveness: ${nonExhaustive.length} non-exhaustive switch(es) → ${files}`);
+                            // Escalate risk: non-exhaustive switches mean more callers are broken
+                            if (entry.risk !== 'breaking')
+                                entry.risk = 'breaking';
+                        }
+                    }
+                    if (entry.kind === 'enum_member_added') {
+                        const members = queries.getEnumMembers(entry.filePath, entry.exportName);
+                        if (members)
+                            entry.evidence.push(`checker: all members [${members.join(', ')}]`);
+                        const impact = predictAddedMemberImpact(tsProgram, entry.filePath, entry.exportName, 'new');
+                        if (impact.affectedSwitches.length > 0) {
+                            const files = [...new Set(impact.affectedSwitches.map((s) => relativePath(s.filePath, engine.workspaceRoot)))].slice(0, 3).join(', ');
+                            entry.evidence.push(`exhaustiveness: ${impact.affectedSwitches.length} switch(es) without default will miss new member → ${files}`);
+                            // Enum member additions are risky (not safe) when switches are affected
+                            if (entry.risk === 'safe')
+                                entry.risk = 'risky';
+                        }
+                    }
+                    // Phase 2D: call-site compatibility for required param changes
+                    if (entry.kind === 'param_required' && entry.risk === 'breaking') {
+                        const paramFacts = queries.getFunctionParams(entry.filePath, entry.exportName);
+                        if (paramFacts) {
+                            const required = paramFacts.filter((p) => !p.optional && !p.rest).length;
+                            const max = paramFacts.length;
+                            const report = analyzeCallSiteCompatibility(tsProgram, entry.filePath, entry.exportName, required, max);
+                            if (report.breakingCallers.length > 0) {
+                                const files = [...new Set(report.breakingCallers.map((c) => relativePath(c.filePath, engine.workspaceRoot)))].slice(0, 3).join(', ');
+                                entry.evidence.push(`compatibility: ${report.breakingCallers.length} breaking call site(s) → ${files}`);
+                            }
+                        }
+                    }
+                }
+            }
+            catch {
+                // Checker enrichment is best-effort — never block on failures
+            }
+        }
         // Step 4: Find consumers using declaration line data (no raw text rescanning)
         let consumerChecks = 0;
         for (const entry of entries.filter((e) => e.risk !== 'safe')) {
@@ -110,6 +243,7 @@ export const apiGuard = defineTool({
                     const crossPackage = refs.length - samePackage;
                     const sampleFiles = [...new Set(refs.map((r) => relativePath(uriToPath(r.uri), engine.workspaceRoot)))].slice(0, 5);
                     entry.consumers = { samePackage, crossPackage, sampleFiles };
+                    entry.filesToInspect = sampleFiles.filter((f) => !f.includes('node_modules'));
                     entry.evidence.push(`${crossPackage} cross-package, ${samePackage} same-package consumers`);
                     // Populate diagnosticsInConsumers (sample up to 3 consumer files)
                     let diagCount = 0;
@@ -142,8 +276,8 @@ export const apiGuard = defineTool({
         const breaking = entries.filter((e) => e.risk === 'breaking').length;
         const risky = entries.filter((e) => e.risk === 'risky').length;
         const safe = entries.filter((e) => e.risk === 'safe').length;
-        // Semver: breaking → major, additive-only → minor, else patch
-        const hasAdditive = entries.some((e) => e.kind === 'added' && e.risk === 'safe');
+        // Semver: breaking → major, additive-only (new export or new optional param) → minor, else patch
+        const hasAdditive = entries.some((e) => (e.kind === 'added' || e.kind === 'param_added') && e.risk === 'safe');
         const semver = breaking > 0 ? 'major' : hasAdditive ? 'minor' : 'patch';
         const result = {
             summary: {