lsp-intelligence 0.1.2 → 0.2.1

package/README.md

@@ -1,10 +1,10 @@
 # lsp-intelligence
 
-Type-aware code intelligence for AI agents — impact analysis, semantic diff, and context building via LSP.
+Local code intelligence for real engineering workflows.
 
-**24 MCP tools** across 5 layers — from basic navigation to "what breaks if I change this?" in one call.
+**Find** implementations, API usage, structural patterns, configs, and routes. **Explain** why something broke. **Guard** the API contract before merging.
 
-Currently supports **TypeScript and JavaScript** projects. The architecture supports other LSP servers — additional language support is planned.
+29 MCP tools across 5 layers. Supports **TypeScript and JavaScript** (TS, TSX, JS, JSX, MJS, CJS). Local-only — no paid API, no external calls.
 
 ## Why this exists
 
@@ -78,7 +78,7 @@ Use npm source in `marketplace.json` for version pinning and built-in dependency
   "source": {
     "source": "npm",
     "package": "lsp-intelligence",
-    "version": "0.1.2"
+    "version": "0.2.0"
   }
 }
 ```
@@ -142,15 +142,19 @@ Direct LSP wrappers. Every tool accepts **symbol names** — agents never need t
 | `file_imports` | List all imports of a file. |
 | `file_exports` | List a file's public API including re-exports. |
 
-### Layer 2: Composites (6 tools)
+### Layer 2: Intelligence Tools (10 tools)
 
-Combine multiple primitives into high-level operations.
+Combine LSP, AST, and Git substrates into high-level operations.
 
 | Tool | Description |
 |------|-------------|
+| `api_guard` | Detect public API contract changes — export diffs, structural classification, consumer impact, semver summary. |
+| `root_cause_trace` | Trace the root cause of a TypeScript error — find the originating declaration change, not just the symptom. |
+| `find_code` | Unified code search: behavior discovery, identifier/API usage, structural queries, config/route lookup, and implementation-root discovery. Routes automatically. |
+| `find_pattern` | AST structural search — find code by pattern (e.g. `useEffect($$$)`, `try { $$$ } catch ($E) { $$$ }`). |
 | `inspect_symbol` | Hover + definition + references in one call. Full context about any symbol. |
 | `batch_query` | Look up multiple symbols at once. Saves round-trips when exploring. |
-| `impact_trace` | Follow a symbol through type aliases and re-exports to find ALL transitive usages. Answers **"what breaks if I change X?"** in one call. |
+| `impact_trace` | Follow a symbol through type aliases and re-exports to find ALL transitive usages. |
 | `semantic_diff` | Analyze git diff semantically: identify changed symbols and their blast radius. |
 | `find_test_files` | Find all test/spec/stories files that reference a symbol. |
 | `explain_error` | Turn a TypeScript error into actionable context: expected type, actual type, and fix suggestion. |
@@ -174,6 +178,18 @@ Post-edit verification.
 | `find_unused_exports` | Find exported symbols with zero cross-package importers. |
 | `auto_import` | Resolve the correct import path for a symbol name. |
 
+## find_code query classes
+
+`find_code` supports five query classes, routed automatically:
+
+| Class | Example query | What happens |
+|-------|--------------|-------------|
+| **Identifier / API usage** | `useEffect`, `Promise.all` | Usage index → exact call/import sites with enclosing context |
+| **Structural** | `useEffect that returns cleanup conditionally` | Identifier + structural predicates → AST evaluation on located nodes |
+| **Behavior / entrypoint** | `where do we validate permissions` | Fielded BM25 over declarations + JSDoc/comments + family hints |
+| **Config / route / flag** | `where is the feature flag configured` | Config index → JSON/YAML/package.json + env usage in code |
+| **Implementation root** | `where is this actually implemented` | Graph expansion → wrapper detection → root promotion |
+
 ## Architecture
 
 ```
@@ -184,7 +200,8 @@ Post-edit verification.
 │ Layer 3: Context Engine                 [read-only]      │
 │   gather_context, outline                               │
 ├─────────────────────────────────────────────────────────┤
-│ Layer 2: Composites                     [read-only]      │
+│ Layer 2: Intelligence Tools              [read-only]      │
+│   find_code, find_pattern, root_cause_trace, api_guard, │
 │   impact_trace, semantic_diff, inspect_symbol,          │
 │   batch_query, find_test_files, explain_error           │
 ├─────────────────────────────────────────────────────────┤
@@ -192,9 +209,13 @@ Post-edit verification.
 │   find_references, hover, definition, call_hierarchy,   │
 │   rename, diagnostics, symbols, imports, exports        │
 ├─────────────────────────────────────────────────────────┤
-│ Layer 0: LSP Engine                     [infrastructure]  │
-│   TypeScript Server spawn, monorepo preopen,            │
-│   symbol resolver, document manager                     │
+│ Layer 0: Analysis Substrates            [infrastructure]  │
+│   LSP Engine (TypeScript Server, symbol resolver)       │
+│   TypeScript AST (declarations, usages, predicates)     │
+│   Local text/regex search (recipe-compiled patterns)    │
+│   Config/doc indexes (JSON, YAML, env, JSDoc, comments) │
+│   Graph expansion (wrapper detection, root promotion)   │
+│   Git integration (semantic diff, base comparison)      │
 └─────────────────────────────────────────────────────────┘
 ```
 
@@ -220,7 +241,7 @@ Requires **Node.js 20+**.
 
 ### Option 1: Claude Code plugin (recommended)
 
-Installs the MCP server, hooks, and skills (`/impact`, `/context`, `/check`) as a single package.
+Installs the MCP server, hooks, and skills (`/find`, `/why`, `/api-check`, `/verify`, `/check`, `/impact`, `/context`, `/diff`) as a single package.
 
 ```bash
 claude plugin add perilevy/lsp-intelligence
@@ -280,18 +301,30 @@ Then in `.mcp.json`:
 git clone https://github.com/perilevy/lsp-intelligence.git
 cd lsp-intelligence
 yarn install
-yarn build       # compile TypeScript → dist/
+yarn build       # clean build (rm -rf dist && tsc)
 yarn test        # vitest
 yarn typecheck   # TypeScript strict mode — no emit
+yarn bench       # search quality benchmarks
 ```
 
 ### Testing
 
-Tests verify cross-package reference resolution, symbol-name lookup, type alias tracing, impact trace traversal, context building, and output formatting — all against a self-contained 3-package fixture monorepo at `test-fixtures/monorepo/`. No external dependencies needed.
+Tests verify cross-package reference resolution, symbol-name lookup, type alias tracing, impact trace traversal, search quality, context building, and output formatting — all against self-contained fixture repos at `test-fixtures/`. No external dependencies needed.
+
+### Benchmarks
+
+`benchmarks/` contains reproducible quality cases for `find_code`, `root_cause_trace`, and `api_guard`. Every serious real-world failure should become a benchmark case.
+
+## What this is not
+
+- **Not a universal semantic search engine.** Strong on code structure, API usage, configs, and known patterns. Does not understand arbitrary business logic.
+- **Not a replacement for full-text search.** Use grep for literal string matching. `find_code` uses text patterns internally but optimizes for code-aware ranking.
+- **Not an AI model.** All intelligence is local: AST analysis, LSP queries, fielded text ranking, adapter recipes. No paid API calls, no external services.
+- **Does not index secret-bearing `.env` files.** Env variable usage in code (`process.env.X`, `import.meta.env.X`) is indexed and searchable. Non-secret template/example files (`.env.example`, `.env.template`) are indexed. Real `.env` files are excluded by default.
 
 ## Dependencies
 
-All dependencies are installed automatically. Under the hood: [`typescript-language-server`](https://github.com/typescript-language-server/typescript-language-server) for LSP, [`@modelcontextprotocol/sdk`](https://github.com/modelcontextprotocol/typescript-sdk) for MCP, and supporting libraries from Microsoft. Uses your project's own TypeScript version.
+All dependencies are installed automatically. Under the hood: [`typescript-language-server`](https://github.com/typescript-language-server/typescript-language-server) for LSP, [`@modelcontextprotocol/sdk`](https://github.com/modelcontextprotocol/typescript-sdk) for MCP, [`@ast-grep/napi`](https://github.com/ast-grep/ast-grep) for structural patterns. Uses your project's own TypeScript version.
 
 ## License
 

package/dist/analysis/pattern/collectSearchFiles.d.ts

@@ -0,0 +1,6 @@
+import type { SearchScope } from '../../search/types.js';
+/**
+ * Collect files matching a set of extensions within a search scope.
+ * Skips dot-prefixed dirs, build output, minified/bundled files, and oversized files.
+ */
+export declare function collectSearchFiles(scope: SearchScope, extensions: string[], maxFiles: number): string[];

package/dist/analysis/pattern/collectSearchFiles.js

@@ -0,0 +1,38 @@
+import * as fs from 'fs';
+import * as path from 'path';
+import { isTestFile, shouldSkipDir, shouldSkipFile } from '../../search/fileKinds.js';
+/**
+ * Collect files matching a set of extensions within a search scope.
+ * Skips dot-prefixed dirs, build output, minified/bundled files, and oversized files.
+ */
+export function collectSearchFiles(scope, extensions, maxFiles) {
+    const files = [];
+    for (const root of scope.roots) {
+        walkDir(root, files, extensions, scope.includeTests, maxFiles, 0);
+        if (files.length >= maxFiles)
+            break;
+    }
+    return files;
+}
+function walkDir(dir, files, extensions, includeTests, maxFiles, depth) {
+    if (depth > 8 || files.length >= maxFiles)
+        return;
+    try {
+        for (const entry of fs.readdirSync(dir)) {
+            if (shouldSkipDir(entry))
+                continue;
+            const full = path.join(dir, entry);
+            const stat = fs.statSync(full);
+            if (stat.isDirectory()) {
+                walkDir(full, files, extensions, includeTests, maxFiles, depth + 1);
+            }
+            else if (extensions.some((e) => entry.endsWith(e)) && !shouldSkipFile(full, stat.size)) {
+                if (!includeTests && isTestFile(full))
+                    continue;
+                files.push(full);
+            }
+        }
+    }
+    catch { }
+}
+//# sourceMappingURL=collectSearchFiles.js.map

package/dist/analysis/pattern/collectSearchFiles.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collectSearchFiles.js","sourceRoot":"","sources":["../../../src/analysis/pattern/collectSearchFiles.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAE7B,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAEtF;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAkB,EAClB,UAAoB,EACpB,QAAgB;IAEhB,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QAClE,IAAI,KAAK,CAAC,MAAM,IAAI,QAAQ;YAAE,MAAM;IACtC,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,OAAO,CACd,GAAW,EACX,KAAe,EACf,UAAoB,EACpB,YAAqB,EACrB,QAAgB,EAChB,KAAa;IAEb,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,QAAQ;QAAE,OAAO;IAClD,IAAI,CAAC;QACH,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,IAAI,aAAa,CAAC,KAAK,CAAC;gBAAE,SAAS;YACnC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACnC,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;gBACvB,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACtE,CAAC;iBAAM,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzF,IAAI,CAAC,YAAY,IAAI,UAAU,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAChD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC,CAAA,CAAC;AACZ,CAAC"}

package/dist/analysis/pattern/runPatternSearch.d.ts

@@ -0,0 +1,17 @@
+import type { SearchScope, PatternMatch } from '../../search/types.js';
+/**
+ * Run an ast-grep pattern search across files in scope.
+ * This is the engine behind find_pattern. Structural retrievers may also use it.
+ */
+export declare function runPatternSearch(input: {
+    pattern: string;
+    language: 'typescript' | 'tsx' | 'javascript' | 'jsx';
+    scope: SearchScope;
+    maxResults: number;
+    contextLines: number;
+    workspaceRoot: string;
+}): {
+    filesScanned: number;
+    matches: PatternMatch[];
+    warnings: string[];
+};

package/dist/analysis/pattern/runPatternSearch.js

@@ -0,0 +1,65 @@
+import * as fs from 'fs';
+import { parse, Lang } from '@ast-grep/napi';
+import { collectSearchFiles } from './collectSearchFiles.js';
+import { relativePath } from '../../engine/positions.js';
+const LANG_MAP = {
+    typescript: Lang.TypeScript,
+    tsx: Lang.Tsx,
+    javascript: Lang.JavaScript,
+    jsx: Lang.Tsx, // ast-grep uses Tsx parser for JSX
+};
+const EXT_MAP = {
+    typescript: ['.ts', '.mjs', '.cjs'],
+    tsx: ['.tsx', '.ts'],
+    javascript: ['.js', '.mjs', '.cjs'],
+    jsx: ['.jsx', '.js'],
+};
+/**
+ * Run an ast-grep pattern search across files in scope.
+ * This is the engine behind find_pattern. Structural retrievers may also use it.
+ */
+export function runPatternSearch(input) {
+    const lang = LANG_MAP[input.language];
+    if (!lang)
+        return { filesScanned: 0, matches: [], warnings: [`Unsupported language: ${input.language}`] };
+    const extensions = EXT_MAP[input.language];
+    const files = collectSearchFiles(input.scope, extensions, 500);
+    const matches = [];
+    const warnings = [];
+    for (const file of files) {
+        if (matches.length >= input.maxResults)
+            break;
+        try {
+            const content = fs.readFileSync(file, 'utf-8');
+            const root = parse(lang, content).root();
+            const found = root.findAll(input.pattern);
+            for (const match of found) {
+                if (matches.length >= input.maxResults)
+                    break;
+                const range = match.range();
+                const line = range.start.line + 1;
+                matches.push({
+                    filePath: relativePath(file, input.workspaceRoot),
+                    line,
+                    column: range.start.column,
+                    text: match.text().substring(0, 200),
+                    context: getContextLines(content, range.start.line, input.contextLines),
+                });
+            }
+        }
+        catch (err) {
+            warnings.push(`Parse failed for ${relativePath(file, input.workspaceRoot)}: ${err instanceof Error ? err.message : String(err)}`);
+        }
+    }
+    return { filesScanned: files.length, matches, warnings };
+}
+function getContextLines(content, line0, ctx) {
+    const lines = content.split('\n');
+    const start = Math.max(0, line0 - ctx);
+    const end = Math.min(lines.length - 1, line0 + ctx);
+    return lines
+        .slice(start, end + 1)
+        .map((l, i) => `${start + i + 1}| ${l}`)
+        .join('\n');
+}
+//# sourceMappingURL=runPatternSearch.js.map

package/dist/analysis/pattern/runPatternSearch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runPatternSearch.js","sourceRoot":"","sources":["../../../src/analysis/pattern/runPatternSearch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAE7C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,MAAM,QAAQ,GAAyB;IACrC,UAAU,EAAE,IAAI,CAAC,UAAU;IAC3B,GAAG,EAAE,IAAI,CAAC,GAAG;IACb,UAAU,EAAE,IAAI,CAAC,UAAU;IAC3B,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,mCAAmC;CACnD,CAAC;AAEF,MAAM,OAAO,GAA6B;IACxC,UAAU,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC;IACnC,GAAG,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;IACpB,UAAU,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC;IACnC,GAAG,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;CACrB,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAOhC;IAKC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACtC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,yBAAyB,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC;IAE1G,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IAC/D,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,UAAU;YAAE,MAAM;QAC9C,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAE1C,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;gBAC1B,IAAI,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,UAAU;oBAAE,MAAM;gBAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;gBAClC,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ,EAAE,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,aAAa,CAAC;oBACjD,IAAI;oBACJ,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;oBAC1B,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC;oBACpC,OAAO,EAAE,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,CAAC;iBACxE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,QAAQ,CAAC,IAAI,CAAC,oBAAoB,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,aAAa,CAAC,KAAK,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACpI,CAAC;IACH,CAAC;IAED,OAAO,EAAE,YAAY,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,eAAe,CAAC,OAAe,EAAE,KAAa,EAAE,GAAW;IAClE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,GAAG,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,CAAC,CAAC;IACpD,OAAO,KAAK;SACT,KAAK,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,CAAC;SACrB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;SACvC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC"}

package/dist/analysis/ts/extractDeclarations.d.ts

@@ -0,0 +1,7 @@
+import ts from 'typescript';
+import type { DeclarationIndexEntry } from '../../search/types.js';
+/**
+ * Extract all declarations from a TypeScript source file using the TS compiler API.
+ * Returns top-level and exported declarations with symbol tokens for searching.
+ */
+export declare function extractDeclarations(sf: ts.SourceFile): DeclarationIndexEntry[];

package/dist/analysis/ts/extractDeclarations.js

@@ -0,0 +1,93 @@
+import ts from 'typescript';
+import * as path from 'path';
+/**
+ * Tokenize a symbol name: split camelCase, PascalCase, snake_case.
+ */
+function tokenize(name) {
+    return name
+        .replace(/([a-z])([A-Z])/g, '$1 $2')
+        .split(/[^a-zA-Z0-9]+/)
+        .map((t) => t.toLowerCase())
+        .filter((t) => t.length > 1);
+}
+function pathTokenize(filePath) {
+    const rel = path.basename(filePath, path.extname(filePath));
+    return tokenize(rel);
+}
+/**
+ * Extract all declarations from a TypeScript source file using the TS compiler API.
+ * Returns top-level and exported declarations with symbol tokens for searching.
+ */
+export function extractDeclarations(sf) {
+    const entries = [];
+    const filePath = sf.fileName;
+    const pathToks = pathTokenize(filePath);
+    function visit(node) {
+        // Function declarations
+        if (ts.isFunctionDeclaration(node) && node.name) {
+            entries.push(makeEntry(node.name.text, 'function', node, sf, filePath, pathToks));
+        }
+        // Variable statements: export const/let/var
+        else if (ts.isVariableStatement(node)) {
+            const isExported = hasExportModifier(node);
+            for (const decl of node.declarationList.declarations) {
+                if (ts.isIdentifier(decl.name)) {
+                    const kind = decl.initializer && (ts.isArrowFunction(decl.initializer) || ts.isFunctionExpression(decl.initializer))
+                        ? 'function' : 'variable';
+                    entries.push({
+                        symbol: decl.name.text,
+                        kind,
+                        filePath,
+                        line: sf.getLineAndCharacterOfPosition(decl.getStart(sf)).line + 1,
+                        column: sf.getLineAndCharacterOfPosition(decl.getStart(sf)).character,
+                        isExported,
+                        pathTokens: pathToks,
+                        symbolTokens: tokenize(decl.name.text),
+                    });
+                }
+            }
+        }
+        // Class declarations
+        else if (ts.isClassDeclaration(node) && node.name) {
+            entries.push(makeEntry(node.name.text, 'class', node, sf, filePath, pathToks));
+        }
+        // Interface declarations
+        else if (ts.isInterfaceDeclaration(node)) {
+            entries.push(makeEntry(node.name.text, 'interface', node, sf, filePath, pathToks));
+        }
+        // Type alias declarations
+        else if (ts.isTypeAliasDeclaration(node)) {
+            entries.push(makeEntry(node.name.text, 'type', node, sf, filePath, pathToks));
+        }
+        // Enum declarations
+        else if (ts.isEnumDeclaration(node)) {
+            entries.push(makeEntry(node.name.text, 'enum', node, sf, filePath, pathToks));
+        }
+        // Only visit top-level children
+        if (node === sf) {
+            ts.forEachChild(node, visit);
+        }
+    }
+    visit(sf);
+    return entries;
+}
+function makeEntry(name, kind, node, sf, filePath, pathToks) {
+    const pos = sf.getLineAndCharacterOfPosition(node.getStart(sf));
+    return {
+        symbol: name,
+        kind,
+        filePath,
+        line: pos.line + 1,
+        column: pos.character,
+        isExported: hasExportModifier(node),
+        pathTokens: pathToks,
+        symbolTokens: tokenize(name),
+    };
+}
+function hasExportModifier(node) {
+    if (!ts.canHaveModifiers(node))
+        return false;
+    const mods = ts.getModifiers(node);
+    return mods?.some((m) => m.kind === ts.SyntaxKind.ExportKeyword) ?? false;
+}
+//# sourceMappingURL=extractDeclarations.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"extractDeclarations.js","sourceRoot":"","sources":["../../../src/analysis/ts/extractDeclarations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAG7B;;GAEG;AACH,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI;SACR,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC;SACnC,KAAK,CAAC,eAAe,CAAC;SACtB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;SAC3B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,YAAY,CAAC,QAAgB;IACpC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC5D,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC;AACvB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,EAAiB;IACnD,MAAM,OAAO,GAA4B,EAAE,CAAC;IAC5C,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC7B,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IAExC,SAAS,KAAK,CAAC,IAAa;QAC1B,wBAAwB;QACxB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAChD,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QACpF,CAAC;QACD,4CAA4C;aACvC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAC3C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACrD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;wBAClH,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;oBAC5B,OAAO,CAAC,IAAI,CAAC;wBACX,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;wBACtB,IAAI;wBACJ,QAAQ;wBACR,IAAI,EAAE,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;wBAClE,MAAM,EAAE,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;wBACrE,UAAU;wBACV,UAAU,EAAE,QAAQ;wBACpB,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;qBACvC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QACD,qBAAqB;aAChB,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAClD,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QACjF,CAAC;QACD,yBAAyB;aACpB,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QACrF,CAAC;QACD,0BAA0B;aACrB,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAChF,CAAC;QACD,oBAAoB;aACf,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAChF,CAAC;QAED,gCAAgC;QAChC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YAChB,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,SAAS,CAChB,IAAY,EACZ,IAAY,EACZ,IAAa,EACb,EAAiB,EACjB,QAAgB,EAChB,QAAkB;IAElB,MAAM,GAAG,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IAChE,OAAO;QACL,MAAM,EAAE,IAAI;QACZ,IAAI;QACJ,QAAQ;QACR,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC;QAClB,MAAM,EAAE,GAAG,CAAC,SAAS;QACrB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACnC,UAAU,EAAE,QAAQ;QACpB,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC;KAC7B,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAa;IACtC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACnC,OAAO,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC;AAC5E,CAAC"}

package/dist/analysis/ts/extractUsages.d.ts

@@ -0,0 +1,7 @@
+import ts from 'typescript';
+import type { UsageIndexEntry } from '../../search/types.js';
+/**
+ * Extract all identifier usage sites from a TypeScript source file.
+ * Indexes: call expressions, member calls, import specifiers, JSX tags.
+ */
+export declare function extractUsages(sf: ts.SourceFile): UsageIndexEntry[];

package/dist/analysis/ts/extractUsages.js

@@ -0,0 +1,139 @@
+import ts from 'typescript';
+import * as path from 'path';
+function pathTokenize(filePath) {
+    return path.basename(filePath, path.extname(filePath))
+        .replace(/([a-z])([A-Z])/g, '$1 $2')
+        .split(/[^a-zA-Z0-9]+/)
+        .map((t) => t.toLowerCase())
+        .filter((t) => t.length > 1);
+}
+/**
+ * Extract all identifier usage sites from a TypeScript source file.
+ * Indexes: call expressions, member calls, import specifiers, JSX tags.
+ */
+export function extractUsages(sf) {
+    const entries = [];
+    const filePath = sf.fileName;
+    const pathToks = pathTokenize(filePath);
+    // Track enclosing symbol for context
+    let enclosingSymbol;
+    let enclosingKind;
+    function visit(node) {
+        // Save enclosing context so it restores correctly on recursion unwind
+        const prevSymbol = enclosingSymbol;
+        const prevKind = enclosingKind;
+        // Track enclosing function/class/method for context
+        if (ts.isFunctionDeclaration(node) && node.name) {
+            enclosingSymbol = node.name.text;
+            enclosingKind = 'function';
+        }
+        else if (ts.isVariableStatement(node)) {
+            for (const decl of node.declarationList.declarations) {
+                if (ts.isIdentifier(decl.name) && decl.initializer &&
+                    (ts.isArrowFunction(decl.initializer) || ts.isFunctionExpression(decl.initializer))) {
+                    enclosingSymbol = decl.name.text;
+                    enclosingKind = 'function';
+                }
+            }
+        }
+        else if (ts.isClassDeclaration(node) && node.name) {
+            enclosingSymbol = node.name.text;
+            enclosingKind = 'class';
+        }
+        else if (ts.isMethodDeclaration(node) && ts.isIdentifier(node.name)) {
+            enclosingSymbol = node.name.text;
+            enclosingKind = 'method';
+        }
+        // Call expressions: foo(), bar.baz()
+        if (ts.isCallExpression(node)) {
+            const expr = node.expression;
+            // Simple call: useEffect(...)
+            if (ts.isIdentifier(expr)) {
+                entries.push(makeUsage(expr.text, expr.text, 'call', node, sf, filePath, pathToks, enclosingSymbol, enclosingKind));
+            }
+            // Member call: Promise.all(...), sdk.Items.get(...)
+            else if (ts.isPropertyAccessExpression(expr)) {
+                const fullName = getPropertyAccessText(expr);
+                const leafName = expr.name.text;
+                entries.push(makeUsage(fullName, leafName, 'member-call', node, sf, filePath, pathToks, enclosingSymbol, enclosingKind));
+            }
+        }
+        // Import declarations: import { X } from "module"
+        if (ts.isImportDeclaration(node) && node.importClause) {
+            const clause = node.importClause;
+            // Default import
+            if (clause.name) {
+                entries.push(makeUsage(clause.name.text, clause.name.text, 'import', clause.name, sf, filePath, pathToks, undefined, undefined));
+            }
+            // Named imports: { A, B }
+            if (clause.namedBindings && ts.isNamedImports(clause.namedBindings)) {
+                for (const spec of clause.namedBindings.elements) {
+                    entries.push(makeUsage(spec.name.text, spec.name.text, 'import', spec, sf, filePath, pathToks, undefined, undefined));
+                }
+            }
+            // Namespace import: * as X
+            if (clause.namedBindings && ts.isNamespaceImport(clause.namedBindings)) {
+                entries.push(makeUsage(clause.namedBindings.name.text, clause.namedBindings.name.text, 'import', clause.namedBindings, sf, filePath, pathToks, undefined, undefined));
+            }
+        }
+        // JSX elements: <Component ... />
+        if (ts.isJsxOpeningElement(node) || ts.isJsxSelfClosingElement(node)) {
+            const tagName = node.tagName;
+            if (ts.isIdentifier(tagName) && /^[A-Z]/.test(tagName.text)) {
+                entries.push(makeUsage(tagName.text, tagName.text, 'jsx-tag', node, sf, filePath, pathToks, enclosingSymbol, enclosingKind));
+            }
+        }
+        // Env usage: process.env.X, import.meta.env.X
+        // Only match the exact env access (3 parts for process.env.X, 4 for import.meta.env.X)
+        // Skip if parent is also a PropertyAccessExpression (e.g. process.env.X.includes → skip, let process.env.X match)
+        if (ts.isPropertyAccessExpression(node) && !ts.isPropertyAccessExpression(node.parent)) {
+            const text = getPropertyAccessText(node);
+            const parts = text.split('.');
+            if (parts[0] === 'process' && parts[1] === 'env' && parts.length === 3) {
+                const envKey = parts[2];
+                const entry = makeUsage(`process.env.${envKey}`, envKey.toLowerCase(), 'env-usage', node, sf, filePath, pathToks, enclosingSymbol, enclosingKind);
+                entry.metadata = { envKey };
+                entries.push(entry);
+            }
+            else if (parts[0] === 'import' && parts[1] === 'meta' && parts[2] === 'env' && parts.length === 4) {
+                const envKey = parts[3];
+                const entry = makeUsage(`import.meta.env.${envKey}`, envKey.toLowerCase(), 'env-usage', node, sf, filePath, pathToks, enclosingSymbol, enclosingKind);
+                entry.metadata = { envKey };
+                entries.push(entry);
+            }
+        }
+        ts.forEachChild(node, visit);
+        // Restore enclosing context on unwind
+        enclosingSymbol = prevSymbol;
+        enclosingKind = prevKind;
+    }
+    visit(sf);
+    return entries;
+}
+function makeUsage(identifier, normalizedIdentifier, kind, node, sf, filePath, pathToks, enclosingSymbol, enclosingKind) {
+    const pos = sf.getLineAndCharacterOfPosition(node.getStart(sf));
+    return {
+        identifier,
+        normalizedIdentifier,
+        kind,
+        filePath,
+        line: pos.line + 1,
+        column: pos.character,
+        enclosingSymbol,
+        enclosingKind,
+        pathTokens: pathToks,
+    };
+}
+function getPropertyAccessText(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=extractUsages.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"extractUsages.js","sourceRoot":"","sources":["../../../src/analysis/ts/extractUsages.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAG7B,SAAS,YAAY,CAAC,QAAgB;IACpC,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;SACnD,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC;SACnC,KAAK,CAAC,eAAe,CAAC;SACtB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;SAC3B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACjC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,EAAiB;IAC7C,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC7B,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IAExC,qCAAqC;IACrC,IAAI,eAAmC,CAAC;IACxC,IAAI,aAAiC,CAAC;IAEtC,SAAS,KAAK,CAAC,IAAa;QAC1B,sEAAsE;QACtE,MAAM,UAAU,GAAG,eAAe,CAAC;QACnC,MAAM,QAAQ,GAAG,aAAa,CAAC;QAE/B,oDAAoD;QACpD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAChD,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACjC,aAAa,GAAG,UAAU,CAAC;QAC7B,CAAC;aAAM,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACrD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW;oBAC9C,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC;oBACxF,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBACjC,aAAa,GAAG,UAAU,CAAC;gBAC7B,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACpD,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACjC,aAAa,GAAG,OAAO,CAAC;QAC1B,CAAC;aAAM,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACtE,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACjC,aAAa,GAAG,QAAQ,CAAC;QAC3B,CAAC;QAED,qCAAqC;QACrC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;YAE7B,8BAA8B;YAC9B,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC,CAAC;YACtH,CAAC;YACD,oDAAoD;iBAC/C,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAChC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC,CAAC;YAC3H,CAAC;QACH,CAAC;QAED,kDAAkD;QAClD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACtD,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC;YAEjC,iBAAiB;YACjB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;gBAChB,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;YACnI,CAAC;YAED,0BAA0B;YAC1B,IAAI,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;gBACpE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC;oBACjD,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;gBACxH,CAAC;YACH,CAAC;YAED,2BAA2B;YAC3B,IAAI,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;gBACvE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,aAAa,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;YACxK,CAAC;QACH,CAAC;QAED,kCAAkC;QAClC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;YACrE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;YAC7B,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5D,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC,CAAC;YAC/H,CAAC;QACH,CAAC;QAED,8CAA8C;QAC9C,uFAAuF;QACvF,kHAAkH;QAClH,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACvF,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC9B,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvE,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,KAAK,GAAG,SAAS,CAAC,eAAe,MAAM,EAAE,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC;gBAClJ,KAAK,CAAC,QAAQ,GAAG,EAAE,MAAM,EAAE,CAAC;gBAC5B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC;iBAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpG,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,KAAK,GAAG,SAAS,CAAC,mBAAmB,MAAM,EAAE,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC;gBACtJ,KAAK,CAAC,QAAQ,GAAG,EAAE,MAAM,EAAE,CAAC;gBAC5B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAE7B,sCAAsC;QACtC,eAAe,GAAG,UAAU,CAAC;QAC7B,aAAa,GAAG,QAAQ,CAAC;IAC3B,CAAC;IAED,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,SAAS,CAChB,UAAkB,EAClB,oBAA4B,EAC5B,IAA6B,EAC7B,IAAa,EACb,EAAiB,EACjB,QAAgB,EAChB,QAAkB,EAClB,eAAmC,EACnC,aAAiC;IAEjC,MAAM,GAAG,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IAChE,OAAO;QACL,UAAU;QACV,oBAAoB;QACpB,IAAI;QACJ,QAAQ;QACR,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC;QAClB,MAAM,EAAE,GAAG,CAAC,SAAS;QACrB,eAAe;QACf,aAAa;QACb,UAAU,EAAE,QAAQ;KACrB,CAAC;AACJ,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,EAAE,CAAC;QAC7B,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC"}

package/dist/analysis/ts/parseSourceFile.d.ts

@@ -0,0 +1,11 @@
+import ts from 'typescript';
+/**
+ * Parse a TypeScript/JavaScript file into a ts.SourceFile using the TypeScript compiler API.
+ * Supports: .ts, .tsx, .js, .jsx, .mjs, .cjs
+ * Returns null if the file doesn't exist or can't be parsed.
+ */
+export declare function parseSourceFile(filePath: string): ts.SourceFile | null;
+/**
+ * Parse source content directly (for base-version comparison).
+ */
+export declare function parseSourceContent(content: string, fileName: string): ts.SourceFile;

package/dist/analysis/ts/parseSourceFile.js

@@ -0,0 +1,24 @@
+import ts from 'typescript';
+import * as fs from 'fs';
+import { scriptKindForFile } from '../../search/fileKinds.js';
+/**
+ * Parse a TypeScript/JavaScript file into a ts.SourceFile using the TypeScript compiler API.
+ * Supports: .ts, .tsx, .js, .jsx, .mjs, .cjs
+ * Returns null if the file doesn't exist or can't be parsed.
+ */
+export function parseSourceFile(filePath) {
+    try {
+        const content = fs.readFileSync(filePath, 'utf-8');
+        return ts.createSourceFile(filePath, content, ts.ScriptTarget.Latest, true, scriptKindForFile(filePath));
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Parse source content directly (for base-version comparison).
+ */
+export function parseSourceContent(content, fileName) {
+    return ts.createSourceFile(fileName, content, ts.ScriptTarget.Latest, true, scriptKindForFile(fileName));
+}
+//# sourceMappingURL=parseSourceFile.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parseSourceFile.js","sourceRoot":"","sources":["../../../src/analysis/ts/parseSourceFile.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,QAAgB;IAC9C,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACnD,OAAO,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3G,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAe,EAAE,QAAgB;IAClE,OAAO,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC3G,CAAC"}

package/dist/analysis/ts/reactState.d.ts

@@ -0,0 +1,9 @@
+import ts from 'typescript';
+/**
+ * Detect if a node contains a functional state updater pattern.
+ * Matches: setState(prev => ...), setCount(current => current + 1), etc.
+ *
+ * Only matches when the updater parameter is actually used in the body.
+ * Does NOT match: setState(() => 1) — that's a constant updater.
+ */
+export declare function hasFunctionalStateUpdater(node: ts.Node): boolean;