lsp-intelligence 0.2.0 → 0.2.1

package/dist/search/retrievers/structuralRetriever.js

@@ -1,27 +1,31 @@
 import { parseSourceFile } from '../../analysis/ts/parseSourceFile.js';
 import { evaluateStructuralPredicates } from '../../analysis/ts/structuralPredicates.js';
 import { buildSnippetFromFile } from '../../analysis/ts/snippets.js';
+import { selectLocators } from '../structural/selectLocators.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.
+ * When an EffectiveSearchSpec is provided, uses its merged predicates/identifiers
+ * (which include recipe contributions). Falls back to raw IR otherwise.
  */
-export function retrieveStructuralCandidates(ir, scope, index) {
-    if (ir.structuralPredicates.length === 0)
+export function retrieveStructuralCandidates(ir, scope, index, spec) {
+    const predicates = spec?.structuralPredicates ?? ir.structuralPredicates;
+    const exactIds = spec?.exactIdentifiers ?? ir.exactIdentifiers;
+    const dottedIds = spec?.dottedIdentifiers ?? ir.dottedIdentifiers;
+    if (predicates.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 locators = selectLocators(ir);
+    if (locators.length === 0)
+        return [];
+    // Determine which files to check
     const targetFiles = new Set();
-    if (ir.exactIdentifiers.length > 0 || ir.dottedIdentifiers.length > 0) {
-        const allIds = [...ir.exactIdentifiers, ...ir.dottedIdentifiers];
+    if (exactIds.length > 0 || dottedIds.length > 0) {
+        // If we have identifiers, only check files with matching usages
+        const allIds = [...exactIds, ...dottedIds];
         for (const usage of index.usages) {
             if (allIds.some((id) => usage.identifier === id || usage.normalizedIdentifier === id)) {
                 targetFiles.add(usage.filePath);
@@ -29,14 +33,14 @@ export function retrieveStructuralCandidates(ir, scope, index) {
         }
     }
     else {
-        // No specific identifier — check files from behavior or all indexed files (capped)
+        // No specific identifier — check 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 each file, run all selected locators and evaluate predicates
     for (const filePath of targetFiles) {
         if (filesChecked >= maxFiles)
             break;
@@ -44,80 +48,39 @@ export function retrieveStructuralCandidates(ir, scope, index) {
         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 });
-                }
+        for (const locator of locators) {
+            const nodes = locator.locate(sf, ir);
+            for (const { node, identifier, line } of nodes) {
+                const { matched, evidence } = evaluateStructuralPredicates(sf, node, predicates);
+                if (matched.length === 0)
+                    continue;
+                const score = matched.length * 5 + (matched.length === predicates.length ? 5 : 0);
+                const { snippet, context } = buildSnippetFromFile(filePath, line, 2);
+                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}`,
+                        `locator: ${locator.kind}`,
+                        ...evidence,
+                    ],
+                    sources: ['structural'],
+                });
             }
         }
-        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('.');
+    return candidates.sort((a, b) => b.score - a.score);
 }
 function findEnclosingDeclaration(node) {
     let current = node.parent;

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

@@ -1 +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"}
+{"version":3,"file":"structuralRetriever.js","sourceRoot":"","sources":["../../../src/search/retrievers/structuralRetriever.ts"],"names":[],"mappings":"AAEA,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,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B;;;;;GAKG;AACH,MAAM,UAAU,4BAA4B,CAC1C,EAAW,EACX,KAAkB,EAClB,KAAqB,EACrB,IAA0B;IAE1B,MAAM,UAAU,GAA0B,IAAI,EAAE,oBAAoB,IAAI,EAAE,CAAC,oBAAoB,CAAC;IAChG,MAAM,QAAQ,GAAG,IAAI,EAAE,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC;IAC/D,MAAM,SAAS,GAAG,IAAI,EAAE,iBAAiB,IAAI,EAAE,CAAC,iBAAiB,CAAC;IAElE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEvC,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAG,EAAE,CAAC;IACpB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;IAEpC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,iCAAiC;IACjC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IAEtC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,gEAAgE;QAChE,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,SAAS,CAAC,CAAC;QAC3C,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,wDAAwD;QACxD,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,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAErC,KAAK,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC;gBAC/C,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,4BAA4B,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;gBAEjF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;oBAAE,SAAS;gBAEnC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClF,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,oBAAoB,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;gBACrE,MAAM,SAAS,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;gBAEjD,UAAU,CAAC,IAAI,CAAC;oBACd,aAAa,EAAE,OAAO;oBACtB,QAAQ;oBACR,IAAI;oBACJ,MAAM,EAAE,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;oBACrE,iBAAiB,EAAE,UAAU;oBAC7B,eAAe,EAAE,SAAS,EAAE,IAAI;oBAChC,aAAa,EAAE,SAAS,EAAE,IAAI;oBAC9B,IAAI,EAAE,OAAO;oBACb,OAAO;oBACP,OAAO;oBACP,KAAK;oBACL,QAAQ,EAAE;wBACR,qBAAqB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;wBACzC,eAAe,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,EAAE;wBACjE,YAAY,OAAO,CAAC,IAAI,EAAE;wBAC1B,GAAG,QAAQ;qBACZ;oBACD,OAAO,EAAE,CAAC,YAAY,CAAC;iBACxB,CAAC,CAAC;YACL,CAAC;QACH,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;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/retrievers/textPatternRetriever.d.ts

@@ -0,0 +1,7 @@
+import type { QueryIR, SearchScope, WorkspaceIndex, CodeCandidate } from '../types.js';
+import type { EffectiveSearchSpec } from '../query/compileEffectiveSearchSpec.js';
+/**
+ * Retrieve candidates by running compiled regex specs over scoped files.
+ * Uses the compiled spec's merged regexes (from all adapter recipes).
+ */
+export declare function retrieveTextPatternCandidates(ir: QueryIR, scope: SearchScope, index: WorkspaceIndex, spec?: EffectiveSearchSpec): CodeCandidate[];

package/dist/search/retrievers/textPatternRetriever.js

@@ -0,0 +1,90 @@
+import * as fs from 'fs';
+import { buildSnippetFromFile } from '../../analysis/ts/snippets.js';
+/**
+ * Retrieve candidates by running compiled regex specs over scoped files.
+ * Uses the compiled spec's merged regexes (from all adapter recipes).
+ */
+export function retrieveTextPatternCandidates(ir, scope, index, spec) {
+    // Use compiled spec regexes if available, otherwise collect from raw recipes
+    const regexSpecs = spec?.regexes ?? [];
+    if (regexSpecs.length === 0) {
+        for (const recipe of ir.recipes) {
+            if (recipe.regexes)
+                regexSpecs.push(...recipe.regexes);
+        }
+    }
+    if (regexSpecs.length === 0)
+        return [];
+    const compiled = regexSpecs.map((spec) => ({
+        spec,
+        regex: new RegExp(spec.pattern, spec.flags ?? 'g'),
+    }));
+    const candidates = [];
+    const maxFiles = 200;
+    let filesChecked = 0;
+    for (const [filePath] of index.files) {
+        if (filesChecked >= maxFiles)
+            break;
+        filesChecked++;
+        let content;
+        try {
+            content = fs.readFileSync(filePath, 'utf-8');
+        }
+        catch {
+            continue;
+        }
+        const lines = content.split('\n');
+        for (const { spec, regex } of compiled) {
+            // Reset regex state
+            regex.lastIndex = 0;
+            let match;
+            while ((match = regex.exec(content)) !== null) {
+                // Find the line number of this match
+                let charCount = 0;
+                let lineNum = 1;
+                for (let i = 0; i < lines.length; i++) {
+                    charCount += lines[i].length + 1; // +1 for newline
+                    if (charCount > match.index) {
+                        lineNum = i + 1;
+                        break;
+                    }
+                }
+                const { snippet, context } = buildSnippetFromFile(filePath, lineNum, 1);
+                const enclosing = findEnclosingFunctionName(lines, lineNum - 1);
+                candidates.push({
+                    candidateType: 'pattern',
+                    filePath,
+                    line: lineNum,
+                    symbol: enclosing,
+                    matchedIdentifier: spec.id,
+                    kind: 'pattern',
+                    snippet,
+                    context,
+                    score: 6, // Base score for regex match
+                    evidence: [`regex-match: ${spec.id}`, `pattern: ${spec.pattern.substring(0, 60)}`],
+                    sources: ['identifier'], // Counts as identifier-like evidence
+                });
+                // Limit matches per file
+                if (candidates.length > 500)
+                    break;
+            }
+        }
+    }
+    return candidates.sort((a, b) => b.score - a.score);
+}
+/** Simple heuristic to find enclosing function name by scanning backwards. */
+function findEnclosingFunctionName(lines, fromLine) {
+    for (let i = fromLine; i >= Math.max(0, fromLine - 15); i--) {
+        const line = lines[i];
+        // function foo(
+        const funcMatch = line.match(/(?:export\s+)?(?:async\s+)?function\s+(\w+)/);
+        if (funcMatch)
+            return funcMatch[1];
+        // const foo = (
+        const arrowMatch = line.match(/(?:export\s+)?(?:const|let|var)\s+(\w+)\s*=/);
+        if (arrowMatch && (line.includes('=>') || line.includes('function')))
+            return arrowMatch[1];
+    }
+    return undefined;
+}
+//# sourceMappingURL=textPatternRetriever.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"textPatternRetriever.js","sourceRoot":"","sources":["../../../src/search/retrievers/textPatternRetriever.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AAGzB,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAErE;;;GAGG;AACH,MAAM,UAAU,6BAA6B,CAC3C,EAAW,EACX,KAAkB,EAClB,KAAqB,EACrB,IAA0B;IAE1B,6EAA6E;IAC7E,MAAM,UAAU,GAAiB,IAAI,EAAE,OAAO,IAAI,EAAE,CAAC;IACrD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YAChC,IAAI,MAAM,CAAC,OAAO;gBAAE,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEvC,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACzC,IAAI;QACJ,KAAK,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,IAAI,GAAG,CAAC;KACnD,CAAC,CAAC,CAAC;IAEJ,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAG,GAAG,CAAC;IACrB,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,KAAK,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QACrC,IAAI,YAAY,IAAI,QAAQ;YAAE,MAAM;QACpC,YAAY,EAAE,CAAC;QAEf,IAAI,OAAe,CAAC;QACpB,IAAI,CAAC;YACH,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC/C,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAElC,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,QAAQ,EAAE,CAAC;YACvC,oBAAoB;YACpB,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;YACpB,IAAI,KAA6B,CAAC;YAElC,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC9C,qCAAqC;gBACrC,IAAI,SAAS,GAAG,CAAC,CAAC;gBAClB,IAAI,OAAO,GAAG,CAAC,CAAC;gBAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACtC,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,iBAAiB;oBACnD,IAAI,SAAS,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;wBAC5B,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;wBAChB,MAAM;oBACR,CAAC;gBACH,CAAC;gBAED,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,oBAAoB,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;gBACxE,MAAM,SAAS,GAAG,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,CAAC,CAAC,CAAC;gBAEhE,UAAU,CAAC,IAAI,CAAC;oBACd,aAAa,EAAE,SAAS;oBACxB,QAAQ;oBACR,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,SAAS;oBACjB,iBAAiB,EAAE,IAAI,CAAC,EAAE;oBAC1B,IAAI,EAAE,SAAS;oBACf,OAAO;oBACP,OAAO;oBACP,KAAK,EAAE,CAAC,EAAE,6BAA6B;oBACvC,QAAQ,EAAE,CAAC,gBAAgB,IAAI,CAAC,EAAE,EAAE,EAAE,YAAY,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;oBAClF,OAAO,EAAE,CAAC,YAAY,CAAC,EAAE,qCAAqC;iBAC/D,CAAC,CAAC;gBAEH,yBAAyB;gBACzB,IAAI,UAAU,CAAC,MAAM,GAAG,GAAG;oBAAE,MAAM;YACrC,CAAC;QACH,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;AAED,8EAA8E;AAC9E,SAAS,yBAAyB,CAAC,KAAe,EAAE,QAAgB;IAClE,KAAK,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5D,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,gBAAgB;QAChB,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC;QAC5E,IAAI,SAAS;YAAE,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,gBAAgB;QAChB,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC;QAC7E,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/search/structural/locators/callLocator.d.ts

@@ -0,0 +1,6 @@
+import type { StructuralLocator } from './types.js';
+/**
+ * Locates call expression nodes — the original structural retriever path.
+ * Best for: useEffect, Promise.all, hook/API usage shapes.
+ */
+export declare const callLocator: StructuralLocator;

package/dist/search/structural/locators/callLocator.js

@@ -0,0 +1,57 @@
+import ts from 'typescript';
+const CALL_PREDICATES = new Set([
+    'returns-cleanup', 'no-cleanup', 'returns-function',
+    'hook-callback', 'inside-hook', 'conditional',
+]);
+/**
+ * Locates call expression nodes — the original structural retriever path.
+ * Best for: useEffect, Promise.all, hook/API usage shapes.
+ */
+export const callLocator = {
+    kind: 'call',
+    supports(predicates, ir) {
+        // Supports if we have identifiers to match, or call-centric predicates
+        if (ir.exactIdentifiers.length > 0 || ir.dottedIdentifiers.length > 0)
+            return true;
+        return predicates.some((p) => CALL_PREDICATES.has(p));
+    },
+    locate(sf, ir) {
+        const nodes = [];
+        const allIds = [...ir.exactIdentifiers, ...ir.dottedIdentifiers];
+        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 = allIds.length === 0 ||
+                        allIds.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('.');
+}
+//# sourceMappingURL=callLocator.js.map

package/dist/search/structural/locators/callLocator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"callLocator.js","sourceRoot":"","sources":["../../../../src/search/structural/locators/callLocator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,MAAM,eAAe,GAA6B,IAAI,GAAG,CAAC;IACxD,iBAAiB,EAAE,YAAY,EAAE,kBAAkB;IACnD,eAAe,EAAE,aAAa,EAAE,aAAa;CAC9C,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAsB;IAC5C,IAAI,EAAE,MAAM;IAEZ,QAAQ,CAAC,UAAU,EAAE,EAAE;QACrB,uEAAuE;QACvE,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACnF,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,CAAC,EAAE,EAAE,EAAE;QACX,MAAM,KAAK,GAAkB,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,iBAAiB,CAAC,CAAC;QAEjE,SAAS,KAAK,CAAC,IAAa;YAC1B,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;gBAC7B,IAAI,IAAI,GAAkB,IAAI,CAAC;gBAE/B,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1B,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;gBACnB,CAAC;qBAAM,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC/C,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBACrC,CAAC;gBAED,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC;wBACjC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,IAAI,IAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;oBAC/D,IAAI,OAAO,EAAE,CAAC;wBACZ,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;wBAC1E,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;oBAC/C,CAAC;gBACH,CAAC;YACH,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;QAED,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;CACF,CAAC;AAEF,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"}

package/dist/search/structural/locators/declarationLocator.d.ts

@@ -0,0 +1,6 @@
+import type { StructuralLocator } from './types.js';
+/**
+ * Locates function/method declarations for structural filtering.
+ * Best for: "async function without try/catch", declaration-shaped queries.
+ */
+export declare const declarationLocator: StructuralLocator;

package/dist/search/structural/locators/declarationLocator.js

@@ -0,0 +1,57 @@
+import ts from 'typescript';
+const DECLARATION_PREDICATES = new Set([
+    'no-try-catch', 'returns-function',
+]);
+/**
+ * Locates function/method declarations for structural filtering.
+ * Best for: "async function without try/catch", declaration-shaped queries.
+ */
+export const declarationLocator = {
+    kind: 'declaration',
+    supports(predicates, ir) {
+        // Only use when no identifiers and predicates apply to declarations
+        if (ir.exactIdentifiers.length > 0)
+            return false;
+        return predicates.some((p) => DECLARATION_PREDICATES.has(p));
+    },
+    locate(sf, ir) {
+        const nodes = [];
+        const isAsync = ir.codeTokens.includes('async');
+        function visit(node) {
+            if (ts.isFunctionDeclaration(node) && node.name && node.body) {
+                // Filter to async if query mentions async
+                if (isAsync && !node.modifiers?.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword)) {
+                    ts.forEachChild(node, visit);
+                    return;
+                }
+                const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                nodes.push({ node, identifier: node.name.text, line });
+            }
+            // Arrow functions / function expressions assigned to variables
+            if (ts.isVariableDeclaration(node) && ts.isIdentifier(node.name) && node.initializer) {
+                const init = node.initializer;
+                if (ts.isArrowFunction(init) || ts.isFunctionExpression(init)) {
+                    if (isAsync && !init.modifiers?.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword)) {
+                        ts.forEachChild(node, visit);
+                        return;
+                    }
+                    const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                    nodes.push({ node: init, identifier: node.name.text, line });
+                }
+            }
+            // Methods
+            if (ts.isMethodDeclaration(node) && ts.isIdentifier(node.name) && node.body) {
+                if (isAsync && !node.modifiers?.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword)) {
+                    ts.forEachChild(node, visit);
+                    return;
+                }
+                const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                nodes.push({ node, identifier: node.name.text, line });
+            }
+            ts.forEachChild(node, visit);
+        }
+        visit(sf);
+        return nodes;
+    },
+};
+//# sourceMappingURL=declarationLocator.js.map

package/dist/search/structural/locators/declarationLocator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declarationLocator.js","sourceRoot":"","sources":["../../../../src/search/structural/locators/declarationLocator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,MAAM,sBAAsB,GAA6B,IAAI,GAAG,CAAC;IAC/D,cAAc,EAAE,kBAAkB;CACnC,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAsB;IACnD,IAAI,EAAE,aAAa;IAEnB,QAAQ,CAAC,UAAU,EAAE,EAAE;QACrB,oEAAoE;QACpE,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACjD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,MAAM,CAAC,EAAE,EAAE,EAAE;QACX,MAAM,KAAK,GAAkB,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAEhD,SAAS,KAAK,CAAC,IAAa;YAC1B,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC7D,0CAA0C;gBAC1C,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;oBACnF,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBAC7B,OAAO;gBACT,CAAC;gBACD,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;gBAC1E,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACzD,CAAC;YAED,+DAA+D;YAC/D,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrF,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;gBAC9B,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9D,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;wBACnF,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;wBAC7B,OAAO;oBACT,CAAC;oBACD,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,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC/D,CAAC;YACH,CAAC;YAED,UAAU;YACV,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5E,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;oBACnF,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBAC7B,OAAO;gBACT,CAAC;gBACD,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;gBAC1E,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACzD,CAAC;YAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;QAED,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;CACF,CAAC"}

package/dist/search/structural/locators/statementLocator.d.ts

@@ -0,0 +1,6 @@
+import type { StructuralLocator } from './types.js';
+/**
+ * Locates statement-level nodes — switch, try/catch, loops with await.
+ * Best for: "switch without default", "await inside loop", "async without try/catch".
+ */
+export declare const statementLocator: StructuralLocator;

package/dist/search/structural/locators/statementLocator.js

@@ -0,0 +1,65 @@
+import ts from 'typescript';
+const STATEMENT_PREDICATES = new Set([
+    'switch-no-default', 'has-try-catch', 'no-try-catch', 'await-in-loop',
+]);
+/**
+ * Locates statement-level nodes — switch, try/catch, loops with await.
+ * Best for: "switch without default", "await inside loop", "async without try/catch".
+ */
+export const statementLocator = {
+    kind: 'statement',
+    supports(predicates) {
+        return predicates.some((p) => STATEMENT_PREDICATES.has(p));
+    },
+    locate(sf, ir) {
+        const nodes = [];
+        const targetPredicates = ir.structuralPredicates.filter((p) => STATEMENT_PREDICATES.has(p));
+        function visit(node) {
+            // Switch statements
+            if (ts.isSwitchStatement(node) && targetPredicates.includes('switch-no-default')) {
+                const hasDefault = node.caseBlock.clauses.some((c) => ts.isDefaultClause(c));
+                if (!hasDefault) {
+                    const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                    nodes.push({ node, identifier: 'switch', line });
+                }
+            }
+            // Try statements
+            if (ts.isTryStatement(node) && targetPredicates.includes('has-try-catch')) {
+                const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                nodes.push({ node, identifier: 'try-catch', line });
+            }
+            // Loops with await
+            if (isLoopStatement(node) && targetPredicates.includes('await-in-loop')) {
+                if (containsAwait(node)) {
+                    const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                    nodes.push({ node, identifier: 'await-in-loop', line });
+                }
+            }
+            ts.forEachChild(node, visit);
+        }
+        visit(sf);
+        return nodes;
+    },
+};
+function isLoopStatement(node) {
+    return ts.isForStatement(node) || ts.isForOfStatement(node) ||
+        ts.isForInStatement(node) || ts.isWhileStatement(node) || ts.isDoStatement(node);
+}
+function containsAwait(node) {
+    let found = false;
+    function walk(n) {
+        if (found)
+            return;
+        if (ts.isAwaitExpression(n)) {
+            found = true;
+            return;
+        }
+        // Don't descend into nested functions
+        if (ts.isFunctionDeclaration(n) || ts.isArrowFunction(n) || ts.isFunctionExpression(n))
+            return;
+        ts.forEachChild(n, walk);
+    }
+    ts.forEachChild(node, walk);
+    return found;
+}
+//# sourceMappingURL=statementLocator.js.map

package/dist/search/structural/locators/statementLocator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statementLocator.js","sourceRoot":"","sources":["../../../../src/search/structural/locators/statementLocator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,MAAM,oBAAoB,GAA6B,IAAI,GAAG,CAAC;IAC7D,mBAAmB,EAAE,eAAe,EAAE,cAAc,EAAE,eAAe;CACtE,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAsB;IACjD,IAAI,EAAE,WAAW;IAEjB,QAAQ,CAAC,UAAU;QACjB,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,CAAC,EAAE,EAAE,EAAE;QACX,MAAM,KAAK,GAAkB,EAAE,CAAC;QAChC,MAAM,gBAAgB,GAAG,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAE5F,SAAS,KAAK,CAAC,IAAa;YAC1B,oBAAoB;YACpB,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBACjF,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC7E,IAAI,CAAC,UAAU,EAAE,CAAC;oBAChB,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,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;gBACnD,CAAC;YACH,CAAC;YAED,iBAAiB;YACjB,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;gBAC1E,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;gBAC1E,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;YACtD,CAAC;YAED,mBAAmB;YACnB,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;gBACxE,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;oBACxB,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,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC1D,CAAC;YACH,CAAC;YAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;QAED,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;CACF,CAAC;AAEF,SAAS,eAAe,CAAC,IAAa;IACpC,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzD,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,aAAa,CAAC,IAAa;IAClC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,SAAS,IAAI,CAAC,CAAU;QACtB,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YAAC,KAAK,GAAG,IAAI,CAAC;YAAC,OAAO;QAAC,CAAC;QACtD,sCAAsC;QACtC,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;YAAE,OAAO;QAC/F,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5B,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/search/structural/locators/types.d.ts

@@ -0,0 +1,12 @@
+import ts from 'typescript';
+import type { QueryIR, StructuralPredicate } from '../../types.js';
+export interface LocatedNode {
+    node: ts.Node;
+    identifier?: string;
+    line: number;
+}
+export interface StructuralLocator {
+    kind: 'call' | 'statement' | 'declaration';
+    supports(predicates: StructuralPredicate[], ir: QueryIR): boolean;
+    locate(sf: ts.SourceFile, ir: QueryIR): LocatedNode[];
+}

package/dist/search/structural/locators/types.js

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

package/dist/search/structural/locators/types.js.map

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

package/dist/search/structural/selectLocators.d.ts

@@ -0,0 +1,7 @@
+import type { QueryIR } from '../types.js';
+import type { StructuralLocator } from './locators/types.js';
+/**
+ * Select which locators to use based on the query's structural predicates.
+ * May return multiple locators if the query spans call + statement shapes.
+ */
+export declare function selectLocators(ir: QueryIR): StructuralLocator[];

package/dist/search/structural/selectLocators.js

@@ -0,0 +1,21 @@
+import { callLocator } from './locators/callLocator.js';
+import { statementLocator } from './locators/statementLocator.js';
+import { declarationLocator } from './locators/declarationLocator.js';
+const ALL_LOCATORS = [
+    callLocator,
+    statementLocator,
+    declarationLocator,
+];
+/**
+ * Select which locators to use based on the query's structural predicates.
+ * May return multiple locators if the query spans call + statement shapes.
+ */
+export function selectLocators(ir) {
+    const selected = ALL_LOCATORS.filter((l) => l.supports(ir.structuralPredicates, ir));
+    // Always include at least call locator if we have identifiers
+    if (selected.length === 0 && (ir.exactIdentifiers.length > 0 || ir.dottedIdentifiers.length > 0)) {
+        selected.push(callLocator);
+    }
+    return selected;
+}
+//# sourceMappingURL=selectLocators.js.map

package/dist/search/structural/selectLocators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"selectLocators.js","sourceRoot":"","sources":["../../../src/search/structural/selectLocators.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAEtE,MAAM,YAAY,GAAwB;IACxC,WAAW;IACX,gBAAgB;IAChB,kBAAkB;CACnB,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,EAAW;IACxC,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,oBAAoB,EAAE,EAAE,CAAC,CAAC,CAAC;IACrF,8DAA8D;IAC9D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QACjG,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}