lsp-intelligence 0.1.2 → 0.2.0

package/dist/search/ranking/assessConfidence.js

@@ -0,0 +1,25 @@
+/**
+ * Assess overall confidence of the search results.
+ * High = strong signals from multiple sources. Low = weak/generic matches.
+ */
+export function assessConfidence(ranked, ir, plan) {
+    if (ranked.length === 0)
+        return 'low';
+    const top = ranked[0];
+    const multiSource = top.sources.length > 1;
+    const hasStructural = top.sources.includes('structural');
+    const highScore = top.score >= 15;
+    const hasOverlap = top.evidence.some((e) => e.includes('overlap'));
+    if (multiSource && highScore)
+        return 'high';
+    if (hasStructural && top.score >= 10)
+        return 'high';
+    if (hasOverlap)
+        return 'high';
+    if (highScore)
+        return 'medium';
+    if (ir.modeConfidence === 'low')
+        return 'low';
+    return 'medium';
+}
+//# sourceMappingURL=assessConfidence.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"assessConfidence.js","sourceRoot":"","sources":["../../../src/search/ranking/assessConfidence.ts"],"names":[],"mappings":"AAEA;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAAuB,EACvB,EAAW,EACX,IAAgB;IAEhB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAEtC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACtB,MAAM,WAAW,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACzD,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;IAClC,MAAM,UAAU,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IAEnE,IAAI,WAAW,IAAI,SAAS;QAAE,OAAO,MAAM,CAAC;IAC5C,IAAI,aAAa,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE;QAAE,OAAO,MAAM,CAAC;IACpD,IAAI,UAAU;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC/B,IAAI,EAAE,CAAC,cAAc,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IAE9C,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/search/ranking/mergeCandidates.d.ts

@@ -0,0 +1,10 @@
+import type { CodeCandidate } from '../types.js';
+/**
+ * Merge candidates from all retrievers, deduplicating by match identity.
+ * Overlapping candidates get a score boost.
+ */
+export declare function mergeCandidates(inputs: {
+    behavior: CodeCandidate[];
+    identifier: CodeCandidate[];
+    structural: CodeCandidate[];
+}): CodeCandidate[];

package/dist/search/ranking/mergeCandidates.js

@@ -0,0 +1,46 @@
+import { candidateKey } from '../types.js';
+/**
+ * Merge candidates from all retrievers, deduplicating by match identity.
+ * Overlapping candidates get a score boost.
+ */
+export function mergeCandidates(inputs) {
+    const merged = new Map();
+    // Add behavior candidates
+    for (const c of inputs.behavior) {
+        merged.set(candidateKey(c), { ...c });
+    }
+    // Merge identifier candidates — boost on overlap
+    for (const c of inputs.identifier) {
+        const key = candidateKey(c);
+        const existing = merged.get(key);
+        if (existing) {
+            existing.score += c.score + 3; // overlap bonus
+            existing.evidence.push(...c.evidence, 'multi-retriever-overlap');
+            for (const s of c.sources) {
+                if (!existing.sources.includes(s))
+                    existing.sources.push(s);
+            }
+        }
+        else {
+            merged.set(key, { ...c });
+        }
+    }
+    // Merge structural candidates — boost on overlap
+    for (const c of inputs.structural) {
+        const key = candidateKey(c);
+        const existing = merged.get(key);
+        if (existing) {
+            existing.score += c.score + 3;
+            existing.evidence.push(...c.evidence, 'structural-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

@@ -0,0 +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,MAI/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,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC"}

package/dist/search/ranking/rankCandidates.d.ts

@@ -0,0 +1,12 @@
+import type { CodeCandidate, QueryIR, SearchPlan, SearchScope } from '../types.js';
+import type { LspEngine } from '../../engine/LspEngine.js';
+/**
+ * Rank candidates with mode-aware scoring + LSP enrichment.
+ * Applies penalties, enriches top candidates with hover signatures.
+ */
+export declare function rankCandidates(candidates: CodeCandidate[], ctx: {
+    ir: QueryIR;
+    plan: SearchPlan;
+    engine: LspEngine;
+    scope: SearchScope;
+}): Promise<CodeCandidate[]>;

package/dist/search/ranking/rankCandidates.js

@@ -0,0 +1,58 @@
+import { formatHover } from '../../format/markdown.js';
+import { relativePath } from '../../engine/positions.js';
+const TEST_PATTERN = /\.(spec|test|stories)\.(ts|tsx|js|jsx)$/;
+const GENERATED_PATTERN = /\/(dist|es|build|generated|__generated__|\.cache)\//;
+const DEMO_PATTERN = /\/(demo|example|storybook|stories|fixtures)\//;
+/**
+ * Rank candidates with mode-aware scoring + LSP enrichment.
+ * Applies penalties, enriches top candidates with hover signatures.
+ */
+export async function rankCandidates(candidates, ctx) {
+    // Apply penalties
+    for (const c of candidates) {
+        if (TEST_PATTERN.test(c.filePath)) {
+            c.score -= 3;
+            c.evidence.push('penalty: test-file');
+        }
+        if (GENERATED_PATTERN.test(c.filePath)) {
+            c.score -= 10;
+            c.evidence.push('penalty: generated');
+        }
+        if (DEMO_PATTERN.test(c.filePath)) {
+            c.score -= 4;
+            c.evidence.push('penalty: demo');
+        }
+        if (c.filePath.endsWith('.d.ts')) {
+            c.score -= 6;
+            c.evidence.push('penalty: declaration-file');
+        }
+    }
+    // Filter out negative scores
+    const filtered = candidates.filter((c) => c.score > 0);
+    // Sort by score
+    filtered.sort((a, b) => b.score - a.score);
+    // LSP enrichment for top candidates (use actual match position, not line 0)
+    const enrichLimit = Math.min(15, filtered.length);
+    for (let i = 0; i < enrichLimit; i++) {
+        const c = filtered[i];
+        try {
+            const { uri } = await ctx.engine.prepareFile(c.filePath);
+            const position = { line: c.line - 1, character: c.column ?? 0 };
+            const hover = await ctx.engine.request('textDocument/hover', { textDocument: { uri }, position }, 5000);
+            if (hover) {
+                c.signature = formatHover(hover).substring(0, 200);
+                if (!c.sources.includes('lsp'))
+                    c.sources.push('lsp');
+            }
+        }
+        catch (err) {
+            c.evidence.push(`lsp-enrich-failed: ${err?.message ?? 'unknown'}`);
+        }
+    }
+    // Relativize file paths
+    for (const c of filtered) {
+        c.filePath = relativePath(c.filePath, ctx.engine.workspaceRoot);
+    }
+    return filtered;
+}
+//# sourceMappingURL=rankCandidates.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rankCandidates.js","sourceRoot":"","sources":["../../../src/search/ranking/rankCandidates.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,MAAM,YAAY,GAAG,yCAAyC,CAAC;AAC/D,MAAM,iBAAiB,GAAG,qDAAqD,CAAC;AAChF,MAAM,YAAY,GAAG,+CAA+C,CAAC;AAErE;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,UAA2B,EAC3B,GAA6E;IAE7E,kBAAkB;IAClB,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;YAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAAC,CAAC;QAC3F,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAAC,CAAC;QACjG,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;YAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAAC,CAAC;QACtF,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;YAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QAAC,CAAC;IACnG,CAAC;IAED,6BAA6B;IAC7B,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAEvD,gBAAgB;IAChB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAE3C,4EAA4E;IAC5E,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC;YACH,MAAM,EAAE,GAAG,EAAE,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACzD,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAChE,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,OAAO,CACpC,oBAAoB,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,CAChE,CAAC;YACF,IAAI,KAAK,EAAE,CAAC;gBACV,CAAC,CAAC,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACnD,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,sBAAsB,GAAG,EAAE,OAAO,IAAI,SAAS,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,CAAC,CAAC,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAClE,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

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

@@ -0,0 +1,7 @@
+import type { QueryIR, SearchScope, WorkspaceIndex, CodeCandidate } from '../types.js';
+/**
+ * Retrieve declaration-oriented candidates based on behavior family matching.
+ * Uses declaration index + family classifier/expansion terms + file/symbol hints.
+ * Does NOT use exact identifier matching — that's the identifier retriever's job.
+ */
+export declare function retrieveBehaviorCandidates(ir: QueryIR, scope: SearchScope, index: WorkspaceIndex): CodeCandidate[];

package/dist/search/retrievers/behaviorRetriever.js

@@ -0,0 +1,91 @@
+import { BEHAVIOR_FAMILIES } from '../families/behaviorFamilies.js';
+import { buildSnippetFromFile } from '../../analysis/ts/snippets.js';
+/**
+ * Prefix-based partial match with minimum length guard.
+ * Prevents false positives like 'permission'.includes('is').
+ */
+function isStrongPartialMatch(a, b) {
+    if (a.length < 4 || b.length < 4)
+        return false;
+    return a.startsWith(b) || b.startsWith(a);
+}
+/**
+ * Retrieve declaration-oriented candidates based on behavior family matching.
+ * Uses declaration index + family classifier/expansion terms + file/symbol hints.
+ * Does NOT use exact identifier matching — that's the identifier retriever's job.
+ */
+export function retrieveBehaviorCandidates(ir, scope, index) {
+    const candidates = [];
+    const matchedFamilies = BEHAVIOR_FAMILIES.filter((f) => ir.familyScores[f.id] > 0);
+    if (matchedFamilies.length === 0 && ir.nlTokens.length === 0)
+        return [];
+    // Score each declaration against NL tokens + family hints
+    for (const decl of index.declarations) {
+        let score = 0;
+        const evidence = [];
+        // Family symbol hints
+        for (const family of matchedFamilies) {
+            for (const hint of family.symbolHints) {
+                for (const tok of decl.symbolTokens) {
+                    if (tok === hint) {
+                        score += 5;
+                        evidence.push(`symbol-hint: ${hint}`);
+                        break;
+                    }
+                    if (isStrongPartialMatch(tok, hint)) {
+                        score += 2;
+                        evidence.push(`symbol-partial: ${hint}~${tok}`);
+                        break;
+                    }
+                }
+            }
+            for (const hint of family.fileHints) {
+                for (const tok of decl.pathTokens) {
+                    if (tok.includes(hint)) {
+                        score += 3;
+                        evidence.push(`file-hint: ${hint}`);
+                        break;
+                    }
+                }
+            }
+        }
+        // NL token matching against symbol tokens
+        for (const nlTok of ir.nlTokens) {
+            for (const symTok of decl.symbolTokens) {
+                if (symTok === nlTok) {
+                    score += 4;
+                    evidence.push(`nl-match: ${nlTok}`);
+                    break;
+                }
+                if (isStrongPartialMatch(symTok, nlTok)) {
+                    score += 2;
+                    evidence.push(`nl-partial: ${nlTok}~${symTok}`);
+                    break;
+                }
+            }
+        }
+        // Export bonus
+        if (decl.isExported && score > 0) {
+            score += 2;
+            evidence.push('exported');
+        }
+        if (score > 0) {
+            const { snippet, context } = buildSnippetFromFile(decl.filePath, decl.line, 1);
+            candidates.push({
+                candidateType: 'declaration',
+                filePath: decl.filePath,
+                line: decl.line,
+                column: decl.column,
+                symbol: decl.symbol,
+                kind: decl.kind,
+                snippet,
+                context,
+                score,
+                evidence,
+                sources: ['behavior'],
+            });
+        }
+    }
+    return candidates.sort((a, b) => b.score - a.score);
+}
+//# sourceMappingURL=behaviorRetriever.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"behaviorRetriever.js","sourceRoot":"","sources":["../../../src/search/retrievers/behaviorRetriever.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAErE;;;GAGG;AACH,SAAS,oBAAoB,CAAC,CAAS,EAAE,CAAS;IAChD,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,EAAW,EACX,KAAkB,EAClB,KAAqB;IAErB,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,MAAM,eAAe,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAEnF,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAExE,0DAA0D;IAC1D,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACtC,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,sBAAsB;QACtB,KAAK,MAAM,MAAM,IAAI,eAAe,EAAE,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBACtC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;oBACpC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;wBAAC,KAAK,IAAI,CAAC,CAAC;wBAAC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;wBAAC,MAAM;oBAAC,CAAC;oBAC/E,IAAI,oBAAoB,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;wBAAC,KAAK,IAAI,CAAC,CAAC;wBAAC,QAAQ,CAAC,IAAI,CAAC,mBAAmB,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;wBAAC,MAAM;oBAAC,CAAC;gBAC9G,CAAC;YACH,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;gBACpC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBAClC,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;wBAAC,KAAK,IAAI,CAAC,CAAC;wBAAC,QAAQ,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;wBAAC,MAAM;oBAAC,CAAC;gBACrF,CAAC;YACH,CAAC;QACH,CAAC;QAED,0CAA0C;QAC1C,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;YAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACvC,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;oBAAC,KAAK,IAAI,CAAC,CAAC;oBAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,KAAK,EAAE,CAAC,CAAC;oBAAC,MAAM;gBAAC,CAAC;gBACjF,IAAI,oBAAoB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;oBAAC,KAAK,IAAI,CAAC,CAAC;oBAAC,QAAQ,CAAC,IAAI,CAAC,eAAe,KAAK,IAAI,MAAM,EAAE,CAAC,CAAC;oBAAC,MAAM;gBAAC,CAAC;YAClH,CAAC;QACH,CAAC;QAED,eAAe;QACf,IAAI,IAAI,CAAC,UAAU,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACjC,KAAK,IAAI,CAAC,CAAC;YACX,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5B,CAAC;QAED,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAC/E,UAAU,CAAC,IAAI,CAAC;gBACd,aAAa,EAAE,aAAa;gBAC5B,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,IAAI,EAAE,IAAI,CAAC,IAA6B;gBACxC,OAAO;gBACP,OAAO;gBACP,KAAK;gBACL,QAAQ;gBACR,OAAO,EAAE,CAAC,UAAU,CAAC;aACtB,CAAC,CAAC;QACL,CAAC;IACH,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/retrievers/identifierRetriever.d.ts

@@ -0,0 +1,7 @@
+import type { QueryIR, SearchScope, WorkspaceIndex, CodeCandidate } from '../types.js';
+/**
+ * Retrieve usage-oriented candidates based on exact identifier matching.
+ * Uses usage index — call expressions, member calls, imports, JSX tags.
+ * This is the missing backend that makes useEffect, Promise.all queries work.
+ */
+export declare function retrieveIdentifierCandidates(ir: QueryIR, scope: SearchScope, index: WorkspaceIndex): CodeCandidate[];

package/dist/search/retrievers/identifierRetriever.js

@@ -0,0 +1,66 @@
+import { buildSnippetFromFile } from '../../analysis/ts/snippets.js';
+/**
+ * Retrieve usage-oriented candidates based on exact identifier matching.
+ * Uses usage index — call expressions, member calls, imports, JSX tags.
+ * This is the missing backend that makes useEffect, Promise.all queries work.
+ */
+export function retrieveIdentifierCandidates(ir, scope, index) {
+    const candidates = [];
+    if (ir.exactIdentifiers.length === 0 && ir.dottedIdentifiers.length === 0)
+        return [];
+    for (const usage of index.usages) {
+        let score = 0;
+        const evidence = [];
+        // Exact identifier match
+        for (const id of ir.exactIdentifiers) {
+            if (usage.identifier === id || usage.normalizedIdentifier === id) {
+                score += 10;
+                evidence.push(`exact-identifier: ${id}`);
+            }
+        }
+        // Dotted identifier match (Promise.all, React.useEffect)
+        for (const id of ir.dottedIdentifiers) {
+            if (usage.identifier === id) {
+                score += 10;
+                evidence.push(`dotted-identifier: ${id}`);
+            }
+            else if (usage.identifier.endsWith(id.split('.').pop() ?? '')) {
+                score += 5;
+                evidence.push(`dotted-partial: ${id}`);
+            }
+        }
+        if (score === 0)
+            continue;
+        // Usage kind bonus
+        if (usage.kind === 'call' || usage.kind === 'member-call') {
+            score += 2;
+            evidence.push(`usage-kind: ${usage.kind}`);
+        }
+        else if (usage.kind === 'import') {
+            score += 1;
+            evidence.push('usage-kind: import');
+        }
+        // Enclosing symbol context
+        if (usage.enclosingSymbol) {
+            evidence.push(`enclosing: ${usage.enclosingSymbol}`);
+        }
+        const { snippet, context } = buildSnippetFromFile(usage.filePath, usage.line, 1);
+        candidates.push({
+            candidateType: 'usage',
+            filePath: usage.filePath,
+            line: usage.line,
+            column: usage.column,
+            matchedIdentifier: usage.identifier,
+            enclosingSymbol: usage.enclosingSymbol,
+            enclosingKind: usage.enclosingKind,
+            kind: 'usage',
+            snippet,
+            context,
+            score,
+            evidence,
+            sources: ['identifier'],
+        });
+    }
+    return candidates.sort((a, b) => b.score - a.score);
+}
+//# sourceMappingURL=identifierRetriever.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"identifierRetriever.js","sourceRoot":"","sources":["../../../src/search/retrievers/identifierRetriever.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAErE;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAC1C,EAAW,EACX,KAAkB,EAClB,KAAqB;IAErB,MAAM,UAAU,GAAoB,EAAE,CAAC;IAEvC,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAErF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,yBAAyB;QACzB,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,gBAAgB,EAAE,CAAC;YACrC,IAAI,KAAK,CAAC,UAAU,KAAK,EAAE,IAAI,KAAK,CAAC,oBAAoB,KAAK,EAAE,EAAE,CAAC;gBACjE,KAAK,IAAI,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC,qBAAqB,EAAE,EAAE,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,yDAAyD;QACzD,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,iBAAiB,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,UAAU,KAAK,EAAE,EAAE,CAAC;gBAC5B,KAAK,IAAI,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC,sBAAsB,EAAE,EAAE,CAAC,CAAC;YAC5C,CAAC;iBAAM,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;gBAChE,KAAK,IAAI,CAAC,CAAC;gBACX,QAAQ,CAAC,IAAI,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QAED,IAAI,KAAK,KAAK,CAAC;YAAE,SAAS;QAE1B,mBAAmB;QACnB,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC1D,KAAK,IAAI,CAAC,CAAC;YACX,QAAQ,CAAC,IAAI,CAAC,eAAe,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7C,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACnC,KAAK,IAAI,CAAC,CAAC;YACX,QAAQ,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACtC,CAAC;QAED,2BAA2B;QAC3B,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,eAAe,EAAE,CAAC,CAAC;QACvD,CAAC;QAED,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,MAAM;YACpB,iBAAiB,EAAE,KAAK,CAAC,UAAU;YACnC,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,IAAI,EAAE,OAAO;YACb,OAAO;YACP,OAAO;YACP,KAAK;YACL,QAAQ;YACR,OAAO,EAAE,CAAC,YAAY,CAAC;SACxB,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/retrievers/structuralRetriever.d.ts

@@ -0,0 +1,11 @@
+import type { QueryIR, SearchScope, WorkspaceIndex, CodeCandidate } from '../types.js';
+/**
+ * Retrieve candidates using structural predicate evaluation.
+ *
+ * Two-step design:
+ * Step 1: Locate candidate nodes (prefer usage sites of exact identifiers)
+ * Step 2: Evaluate structural predicates on each candidate node
+ *
+ * This is NOT recipe-only string patterns — it uses TS AST node evaluation.
+ */
+export declare function retrieveStructuralCandidates(ir: QueryIR, scope: SearchScope, index: WorkspaceIndex): CodeCandidate[];

package/dist/search/retrievers/structuralRetriever.js

@@ -0,0 +1,141 @@
+import { parseSourceFile } from '../../analysis/ts/parseSourceFile.js';
+import { evaluateStructuralPredicates } from '../../analysis/ts/structuralPredicates.js';
+import { buildSnippetFromFile } from '../../analysis/ts/snippets.js';
+import ts from 'typescript';
+/**
+ * Retrieve candidates using structural predicate evaluation.
+ *
+ * Two-step design:
+ * Step 1: Locate candidate nodes (prefer usage sites of exact identifiers)
+ * Step 2: Evaluate structural predicates on each candidate node
+ *
+ * This is NOT recipe-only string patterns — it uses TS AST node evaluation.
+ */
+export function retrieveStructuralCandidates(ir, scope, index) {
+    if (ir.structuralPredicates.length === 0)
+        return [];
+    const candidates = [];
+    const maxFiles = 80;
+    let filesChecked = 0;
+    // Step 1: Determine which files to check
+    // If we have exact identifiers, only check files with matching usages
+    const targetFiles = new Set();
+    if (ir.exactIdentifiers.length > 0 || ir.dottedIdentifiers.length > 0) {
+        const allIds = [...ir.exactIdentifiers, ...ir.dottedIdentifiers];
+        for (const usage of index.usages) {
+            if (allIds.some((id) => usage.identifier === id || usage.normalizedIdentifier === id)) {
+                targetFiles.add(usage.filePath);
+            }
+        }
+    }
+    else {
+        // No specific identifier — check files from behavior or all indexed files (capped)
+        for (const file of index.files.keys()) {
+            targetFiles.add(file);
+            if (targetFiles.size >= maxFiles)
+                break;
+        }
+    }
+    // Step 2: For each target file, find nodes and evaluate predicates
+    for (const filePath of targetFiles) {
+        if (filesChecked >= maxFiles)
+            break;
+        filesChecked++;
+        const sf = parseSourceFile(filePath);
+        if (!sf)
+            continue;
+        // Find candidate nodes: call expressions matching our identifiers
+        const allIds = [...ir.exactIdentifiers, ...ir.dottedIdentifiers];
+        const nodes = findTargetCallNodes(sf, allIds);
+        for (const { node, identifier, line } of nodes) {
+            const { matched, evidence } = evaluateStructuralPredicates(sf, node, ir.structuralPredicates);
+            if (matched.length === 0)
+                continue;
+            const score = matched.length * 5 + (matched.length === ir.structuralPredicates.length ? 5 : 0);
+            const { snippet, context } = buildSnippetFromFile(filePath, line, 2);
+            // Find enclosing function/component name
+            const enclosing = findEnclosingDeclaration(node);
+            candidates.push({
+                candidateType: 'usage',
+                filePath,
+                line,
+                column: sf.getLineAndCharacterOfPosition(node.getStart(sf)).character,
+                matchedIdentifier: identifier,
+                enclosingSymbol: enclosing?.name,
+                enclosingKind: enclosing?.kind,
+                kind: 'usage',
+                snippet,
+                context,
+                score,
+                evidence: [
+                    `structural-match: ${matched.join(', ')}`,
+                    `predicates: ${matched.length}/${ir.structuralPredicates.length}`,
+                    ...evidence,
+                ],
+                sources: ['structural'],
+            });
+        }
+    }
+    return candidates.sort((a, b) => b.score - a.score);
+}
+/**
+ * Find call expression nodes that match the target identifiers.
+ * For queries without identifiers, returns all top-level call expressions.
+ */
+function findTargetCallNodes(sf, identifiers) {
+    const nodes = [];
+    function visit(node) {
+        if (ts.isCallExpression(node)) {
+            const expr = node.expression;
+            let name = null;
+            if (ts.isIdentifier(expr)) {
+                name = expr.text;
+            }
+            else if (ts.isPropertyAccessExpression(expr)) {
+                name = getFullPropertyAccess(expr);
+            }
+            if (name) {
+                const matches = identifiers.length === 0 ||
+                    identifiers.some((id) => name === id || name.endsWith(`.${id}`));
+                if (matches) {
+                    const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                    nodes.push({ node, identifier: name, line });
+                }
+            }
+        }
+        ts.forEachChild(node, visit);
+    }
+    visit(sf);
+    return nodes;
+}
+function getFullPropertyAccess(node) {
+    const parts = [node.name.text];
+    let current = node.expression;
+    while (ts.isPropertyAccessExpression(current)) {
+        parts.unshift(current.name.text);
+        current = current.expression;
+    }
+    if (ts.isIdentifier(current))
+        parts.unshift(current.text);
+    return parts.join('.');
+}
+function findEnclosingDeclaration(node) {
+    let current = node.parent;
+    while (current) {
+        if (ts.isFunctionDeclaration(current) && current.name) {
+            return { name: current.name.text, kind: 'function' };
+        }
+        if (ts.isVariableDeclaration(current) && ts.isIdentifier(current.name)) {
+            return { name: current.name.text, kind: 'variable' };
+        }
+        if (ts.isMethodDeclaration(current) && ts.isIdentifier(current.name)) {
+            return { name: current.name.text, kind: 'method' };
+        }
+        if (ts.isClassDeclaration(current) && current.name) {
+            return { name: current.name.text, kind: 'class' };
+        }
+        current = current.parent;
+    }
+    return undefined;
+}
+//# sourceMappingURL=structuralRetriever.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"structuralRetriever.js","sourceRoot":"","sources":["../../../src/search/retrievers/structuralRetriever.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,EAAE,4BAA4B,EAAE,MAAM,2CAA2C,CAAC;AACzF,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B;;;;;;;;GAQG;AACH,MAAM,UAAU,4BAA4B,CAC1C,EAAW,EACX,KAAkB,EAClB,KAAqB;IAErB,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpD,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAG,EAAE,CAAC;IACpB,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,yCAAyC;IACzC,sEAAsE;IACtE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IAEtC,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtE,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,iBAAiB,CAAC,CAAC;QACjE,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,KAAK,EAAE,IAAI,KAAK,CAAC,oBAAoB,KAAK,EAAE,CAAC,EAAE,CAAC;gBACtF,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,mFAAmF;QACnF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YACtC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtB,IAAI,WAAW,CAAC,IAAI,IAAI,QAAQ;gBAAE,MAAM;QAC1C,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,KAAK,MAAM,QAAQ,IAAI,WAAW,EAAE,CAAC;QACnC,IAAI,YAAY,IAAI,QAAQ;YAAE,MAAM;QACpC,YAAY,EAAE,CAAC;QAEf,MAAM,EAAE,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,CAAC,EAAE;YAAE,SAAS;QAElB,kEAAkE;QAClE,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,iBAAiB,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,mBAAmB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAE9C,KAAK,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC;YAC/C,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,4BAA4B,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC;YAE9F,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAEnC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/F,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,oBAAoB,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YAErE,yCAAyC;YACzC,MAAM,SAAS,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;YAEjD,UAAU,CAAC,IAAI,CAAC;gBACd,aAAa,EAAE,OAAO;gBACtB,QAAQ;gBACR,IAAI;gBACJ,MAAM,EAAE,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;gBACrE,iBAAiB,EAAE,UAAU;gBAC7B,eAAe,EAAE,SAAS,EAAE,IAAI;gBAChC,aAAa,EAAE,SAAS,EAAE,IAAI;gBAC9B,IAAI,EAAE,OAAO;gBACb,OAAO;gBACP,OAAO;gBACP,KAAK;gBACL,QAAQ,EAAE;oBACR,qBAAqB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;oBACzC,eAAe,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,EAAE;oBACjE,GAAG,QAAQ;iBACZ;gBACD,OAAO,EAAE,CAAC,YAAY,CAAC;aACxB,CAAC,CAAC;QACL,CAAC;IACH,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;AAQD;;;GAGG;AACH,SAAS,mBAAmB,CAAC,EAAiB,EAAE,WAAqB;IACnE,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,SAAS,KAAK,CAAC,IAAa;QAC1B,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;YAC7B,IAAI,IAAI,GAAkB,IAAI,CAAC;YAE/B,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACnB,CAAC;iBAAM,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/C,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;YACrC,CAAC;YAED,IAAI,IAAI,EAAE,CAAC;gBACT,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,KAAK,CAAC;oBACtC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,IAAI,IAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;gBAEpE,IAAI,OAAO,EAAE,CAAC;oBACZ,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;oBAC1E,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC/C,CAAC;YACH,CAAC;QACH,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAiC;IAC9D,MAAM,KAAK,GAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,OAAO,GAAkB,IAAI,CAAC,UAAU,CAAC;IAC7C,OAAO,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;QAAE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAa;IAC7C,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,CAAC;IAC/C,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACtD,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QACvD,CAAC;QACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACvE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QACvD,CAAC;QACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACrE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACrD,CAAC;QACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACnD,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QACpD,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/search/types.d.ts

@@ -0,0 +1,121 @@
+export type StructuralPredicate = 'conditional' | 'returns-function' | 'returns-cleanup' | 'no-cleanup' | 'has-try-catch' | 'no-try-catch' | 'switch-no-default' | 'await-in-loop' | 'inside-hook' | 'hook-callback';
+export interface QueryIR {
+    raw: string;
+    /** Natural-language tokens (lowercased, stop-words removed) */
+    nlTokens: string[];
+    /** Multi-word phrases preserved from the query */
+    phrases: string[];
+    /** Exact identifiers: useEffect, AbortController, useMemo */
+    exactIdentifiers: string[];
+    /** Dotted identifiers: Promise.all, React.useEffect */
+    dottedIdentifiers: string[];
+    /** Code-oriented tokens that aren't exact identifiers: cleanup, callback */
+    codeTokens: string[];
+    /** Per-family relevance scores */
+    familyScores: Record<string, number>;
+    /** Structural predicates inferred from the query */
+    structuralPredicates: StructuralPredicate[];
+    /** Routing mode */
+    mode: 'behavior' | 'identifier' | 'structural' | 'mixed';
+    modeConfidence: 'high' | 'medium' | 'low';
+    routingReasons: string[];
+}
+export interface SearchPlan {
+    mode: 'behavior' | 'identifier' | 'structural' | 'mixed';
+    retrievers: Array<'behavior' | 'identifier' | 'structural'>;
+    reasons: string[];
+}
+export interface SearchScope {
+    roots: string[];
+    filePaths?: string[];
+    includeTests: boolean;
+}
+export interface CodeCandidate {
+    candidateType: 'declaration' | 'usage' | 'pattern';
+    filePath: string;
+    line: number;
+    column?: number;
+    symbol?: string;
+    enclosingSymbol?: string;
+    enclosingKind?: string;
+    matchedIdentifier?: string;
+    kind?: 'function' | 'class' | 'method' | 'variable' | 'component' | 'file' | 'usage' | 'pattern';
+    signature?: string;
+    snippet?: string;
+    context?: string;
+    score: number;
+    confidence?: 'high' | 'medium' | 'low';
+    evidence: string[];
+    sources: Array<'behavior' | 'identifier' | 'structural' | 'lsp'>;
+}
+/**
+ * Deduplication key for candidates.
+ * Uses match identity, not just symbol name.
+ */
+export declare function candidateKey(c: CodeCandidate): string;
+export interface DeclarationIndexEntry {
+    symbol: string;
+    kind: string;
+    filePath: string;
+    line: number;
+    column: number;
+    isExported: boolean;
+    pathTokens: string[];
+    symbolTokens: string[];
+}
+export interface UsageIndexEntry {
+    identifier: string;
+    normalizedIdentifier: string;
+    kind: 'call' | 'member-call' | 'identifier' | 'import' | 'jsx-tag';
+    filePath: string;
+    line: number;
+    column: number;
+    enclosingSymbol?: string;
+    enclosingKind?: string;
+    pathTokens: string[];
+}
+export interface IndexedFile {
+    filePath: string;
+    mtimeMs: number;
+    declarations: DeclarationIndexEntry[];
+    usages: UsageIndexEntry[];
+}
+export interface WorkspaceIndex {
+    root: string;
+    builtAt: number;
+    files: Map<string, IndexedFile>;
+    declarations: DeclarationIndexEntry[];
+    usages: UsageIndexEntry[];
+}
+export interface FindCodeResult {
+    query: string;
+    ir: QueryIR;
+    plan: SearchPlan;
+    confidence: 'high' | 'medium' | 'low';
+    candidates: CodeCandidate[];
+    stats: {
+        filesIndexed: number;
+        declarationHits: number;
+        usageHits: number;
+        structuralHits: number;
+        lspEnriched: number;
+        elapsedMs: number;
+        partialResult: boolean;
+    };
+    warnings: string[];
+}
+export interface PatternMatch {
+    filePath: string;
+    line: number;
+    column?: number;
+    text: string;
+    context: string;
+}
+export interface FindPatternResult {
+    pattern: string;
+    language: 'typescript' | 'tsx' | 'javascript';
+    filesScanned: number;
+    matchCount: number;
+    matches: PatternMatch[];
+    warnings: string[];
+}