lsp-intelligence 0.2.1 → 0.3.0

package/dist/analysis/ts/extractRoutes.js

@@ -0,0 +1,165 @@
+import ts from 'typescript';
+import * as path from 'path';
+const HTTP_METHODS = new Set(['get', 'post', 'put', 'patch', 'delete', 'options', 'head', 'all', 'use']);
+const NEXT_HANDLER_NAMES = new Set(['GET', 'POST', 'PUT', 'PATCH', 'DELETE', 'OPTIONS', 'HEAD']);
+/**
+ * Extract route definitions from a TypeScript/JavaScript source file.
+ *
+ * Supports:
+ * - Express/Fastify: app.get('/path', handler), router.post(...)
+ * - Next.js App Router: exported GET/POST/etc in route.ts files
+ * - Next.js Pages API: default export in pages/api/** files
+ * - Route maps: object literals with path/method/handler fields
+ */
+export function extractRoutes(sf) {
+    const entries = [];
+    const filePath = sf.fileName;
+    const basename = path.basename(filePath, path.extname(filePath));
+    const isRouteFile = basename === 'route';
+    const isPagesApi = filePath.includes('/pages/api/') || filePath.includes('/pages\\api\\');
+    function visit(node) {
+        // A. Express/Fastify-style: app.get('/path', handler)
+        if (ts.isCallExpression(node) && ts.isPropertyAccessExpression(node.expression)) {
+            const method = node.expression.name.text.toLowerCase();
+            if (HTTP_METHODS.has(method) && node.arguments.length >= 1) {
+                const firstArg = node.arguments[0];
+                if (ts.isStringLiteral(firstArg) || ts.isNoSubstitutionTemplateLiteral(firstArg)) {
+                    const routePath = firstArg.text;
+                    const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                    const callee = getCalleeText(node.expression.expression);
+                    entries.push({
+                        filePath, line,
+                        method: method === 'use' ? undefined : method.toUpperCase(),
+                        path: routePath,
+                        framework: callee?.includes('fastify') ? 'fastify' : 'express',
+                        enclosingSymbol: callee,
+                        tokens: tokenize(`${method} ${routePath} ${callee ?? ''}`),
+                        text: `${method.toUpperCase()} ${routePath}`,
+                    });
+                }
+            }
+        }
+        // B. Fastify route({ method, url, handler })
+        if (ts.isCallExpression(node) && ts.isPropertyAccessExpression(node.expression)) {
+            if (node.expression.name.text === 'route' && node.arguments.length >= 1) {
+                const arg = node.arguments[0];
+                if (ts.isObjectLiteralExpression(arg)) {
+                    const method = getPropertyValue(arg, 'method');
+                    const url = getPropertyValue(arg, 'url');
+                    if (method && url) {
+                        const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                        entries.push({
+                            filePath, line,
+                            method: method.toUpperCase(),
+                            path: url,
+                            framework: 'fastify',
+                            tokens: tokenize(`${method} ${url} route`),
+                            text: `${method.toUpperCase()} ${url}`,
+                        });
+                    }
+                }
+            }
+        }
+        // C. Next.js App Router: exported GET, POST, etc. in route.ts
+        if (isRouteFile && isExportedNamedDeclaration(node)) {
+            const name = getExportedName(node);
+            if (name && NEXT_HANDLER_NAMES.has(name)) {
+                const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                const routePath = deriveRouteFromFilePath(filePath);
+                entries.push({
+                    filePath, line,
+                    method: name,
+                    path: routePath,
+                    framework: 'next-app-router',
+                    enclosingSymbol: name,
+                    tokens: tokenize(`${name} ${routePath ?? ''} next handler`),
+                    text: `${name} ${routePath ?? filePath}`,
+                });
+            }
+        }
+        // D. Next.js Pages API: default export in pages/api/**
+        if (isPagesApi && ts.isExportAssignment(node)) {
+            const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+            const routePath = deriveRouteFromFilePath(filePath);
+            entries.push({
+                filePath, line,
+                path: routePath,
+                framework: 'next-pages-api',
+                tokens: tokenize(`${routePath ?? ''} api handler pages`),
+                text: `handler ${routePath ?? filePath}`,
+            });
+        }
+        // E. Route map: object with path/route/method/handler keys
+        if (ts.isObjectLiteralExpression(node) && node.properties.length >= 2) {
+            const hasPath = hasProperty(node, 'path') || hasProperty(node, 'route');
+            const hasHandler = hasProperty(node, 'handler') || hasProperty(node, 'component') || hasProperty(node, 'action');
+            if (hasPath && hasHandler) {
+                const routePath = getPropertyValue(node, 'path') ?? getPropertyValue(node, 'route');
+                const method = getPropertyValue(node, 'method');
+                const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                entries.push({
+                    filePath, line,
+                    method: method?.toUpperCase(),
+                    path: routePath,
+                    framework: 'route-map',
+                    tokens: tokenize(`${method ?? ''} ${routePath ?? ''} route map`),
+                    text: `${method?.toUpperCase() ?? 'ROUTE'} ${routePath ?? '?'}`,
+                });
+            }
+        }
+        ts.forEachChild(node, visit);
+    }
+    visit(sf);
+    return entries;
+}
+function getCalleeText(expr) {
+    if (ts.isIdentifier(expr))
+        return expr.text;
+    if (ts.isPropertyAccessExpression(expr))
+        return getCalleeText(expr.expression);
+    return undefined;
+}
+function isExportedNamedDeclaration(node) {
+    if (ts.isFunctionDeclaration(node) || ts.isVariableStatement(node)) {
+        const mods = ts.canHaveModifiers(node) ? ts.getModifiers(node) : undefined;
+        return mods?.some((m) => m.kind === ts.SyntaxKind.ExportKeyword) ?? false;
+    }
+    return false;
+}
+function getExportedName(node) {
+    if (ts.isFunctionDeclaration(node) && node.name)
+        return node.name.text;
+    if (ts.isVariableStatement(node)) {
+        for (const decl of node.declarationList.declarations) {
+            if (ts.isIdentifier(decl.name))
+                return decl.name.text;
+        }
+    }
+    return undefined;
+}
+function hasProperty(obj, name) {
+    return obj.properties.some((p) => ts.isPropertyAssignment(p) && ts.isIdentifier(p.name) && p.name.text === name);
+}
+function getPropertyValue(obj, name) {
+    for (const p of obj.properties) {
+        if (ts.isPropertyAssignment(p) && ts.isIdentifier(p.name) && p.name.text === name) {
+            if (ts.isStringLiteral(p.initializer))
+                return p.initializer.text;
+        }
+    }
+    return undefined;
+}
+function deriveRouteFromFilePath(filePath) {
+    // Next.js: derive /api/foo from pages/api/foo.ts or app/api/foo/route.ts
+    const pagesMatch = filePath.match(/pages[/\\]api[/\\](.+?)(?:\/index)?\.\w+$/);
+    if (pagesMatch)
+        return `/api/${pagesMatch[1].replace(/\\/g, '/')}`;
+    const appMatch = filePath.match(/app[/\\](.+?)[/\\]route\.\w+$/);
+    if (appMatch)
+        return `/${appMatch[1].replace(/\\/g, '/')}`;
+    return undefined;
+}
+function tokenize(text) {
+    return text.toLowerCase().replace(/[^a-z0-9/\s-_]/g, ' ').split(/[\s-_/]+/).filter((t) => t.length > 1);
+}
+//# sourceMappingURL=extractRoutes.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"extractRoutes.js","sourceRoot":"","sources":["../../../src/analysis/ts/extractRoutes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAG7B,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AACzG,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;AAEjG;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,EAAiB;IAC7C,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IACjE,MAAM,WAAW,GAAG,QAAQ,KAAK,OAAO,CAAC;IACzC,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IAE1F,SAAS,KAAK,CAAC,IAAa;QAC1B,sDAAsD;QACtD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAChF,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACvD,IAAI,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBACnC,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACjF,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC;oBAChC,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;oBAC1E,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;oBACzD,OAAO,CAAC,IAAI,CAAC;wBACX,QAAQ,EAAE,IAAI;wBACd,MAAM,EAAE,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE;wBAC3D,IAAI,EAAE,SAAS;wBACf,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;wBAC9D,eAAe,EAAE,MAAM;wBACvB,MAAM,EAAE,QAAQ,CAAC,GAAG,MAAM,IAAI,SAAS,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC;wBAC1D,IAAI,EAAE,GAAG,MAAM,CAAC,WAAW,EAAE,IAAI,SAAS,EAAE;qBAC7C,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,6CAA6C;QAC7C,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAChF,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACxE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC;oBACtC,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;oBAC/C,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;oBACzC,IAAI,MAAM,IAAI,GAAG,EAAE,CAAC;wBAClB,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;wBAC1E,OAAO,CAAC,IAAI,CAAC;4BACX,QAAQ,EAAE,IAAI;4BACd,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE;4BAC5B,IAAI,EAAE,GAAG;4BACT,SAAS,EAAE,SAAS;4BACpB,MAAM,EAAE,QAAQ,CAAC,GAAG,MAAM,IAAI,GAAG,QAAQ,CAAC;4BAC1C,IAAI,EAAE,GAAG,MAAM,CAAC,WAAW,EAAE,IAAI,GAAG,EAAE;yBACvC,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,8DAA8D;QAC9D,IAAI,WAAW,IAAI,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,IAAI,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzC,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;gBAC1E,MAAM,SAAS,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;gBACpD,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ,EAAE,IAAI;oBACd,MAAM,EAAE,IAAI;oBACZ,IAAI,EAAE,SAAS;oBACf,SAAS,EAAE,iBAAiB;oBAC5B,eAAe,EAAE,IAAI;oBACrB,MAAM,EAAE,QAAQ,CAAC,GAAG,IAAI,IAAI,SAAS,IAAI,EAAE,eAAe,CAAC;oBAC3D,IAAI,EAAE,GAAG,IAAI,IAAI,SAAS,IAAI,QAAQ,EAAE;iBACzC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,uDAAuD;QACvD,IAAI,UAAU,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAC1E,MAAM,SAAS,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;YACpD,OAAO,CAAC,IAAI,CAAC;gBACX,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,SAAS;gBACf,SAAS,EAAE,gBAAgB;gBAC3B,MAAM,EAAE,QAAQ,CAAC,GAAG,SAAS,IAAI,EAAE,oBAAoB,CAAC;gBACxD,IAAI,EAAE,WAAW,SAAS,IAAI,QAAQ,EAAE;aACzC,CAAC,CAAC;QACL,CAAC;QAED,2DAA2D;QAC3D,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACtE,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACxE,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACjH,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;gBAC1B,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACpF,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAChD,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;gBAC1E,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ,EAAE,IAAI;oBACd,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE;oBAC7B,IAAI,EAAE,SAAS;oBACf,SAAS,EAAE,WAAW;oBACtB,MAAM,EAAE,QAAQ,CAAC,GAAG,MAAM,IAAI,EAAE,IAAI,SAAS,IAAI,EAAE,YAAY,CAAC;oBAChE,IAAI,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,IAAI,OAAO,IAAI,SAAS,IAAI,GAAG,EAAE;iBAChE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,IAAmB;IACxC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/E,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAa;IAC/C,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,OAAO,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC;IAC5E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,IAAa;IACpC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACvE,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YACrD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACxD,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,WAAW,CAAC,GAA+B,EAAE,IAAY;IAChE,OAAO,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/B,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,gBAAgB,CAAC,GAA+B,EAAE,IAAY;IACrE,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAC/B,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAClF,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC;gBAAE,OAAO,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC;QACnE,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,uBAAuB,CAAC,QAAgB;IAC/C,yEAAyE;IACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/E,IAAI,UAAU;QAAE,OAAO,QAAQ,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;IACnE,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACjE,IAAI,QAAQ;QAAE,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;IAC3D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC1G,CAAC"}

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

@@ -2,9 +2,13 @@ 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
+ *
+ * @param text - Optional overlay text. If provided, skips disk read and parses this content
+ *               instead. Used by Phase 2A snapshot-aware indexing for unsaved-buffer support.
+ *
  * Returns null if the file doesn't exist or can't be parsed.
  */
-export declare function parseSourceFile(filePath: string): ts.SourceFile | null;
+export declare function parseSourceFile(filePath: string, text?: string): ts.SourceFile | null;
 /**
  * Parse source content directly (for base-version comparison).
  */

package/dist/analysis/ts/parseSourceFile.js

@@ -4,11 +4,15 @@ 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
+ *
+ * @param text - Optional overlay text. If provided, skips disk read and parses this content
+ *               instead. Used by Phase 2A snapshot-aware indexing for unsaved-buffer support.
+ *
  * Returns null if the file doesn't exist or can't be parsed.
  */
-export function parseSourceFile(filePath) {
+export function parseSourceFile(filePath, text) {
     try {
-        const content = fs.readFileSync(filePath, 'utf-8');
+        const content = text ?? fs.readFileSync(filePath, 'utf-8');
         return ts.createSourceFile(filePath, content, ts.ScriptTarget.Latest, true, scriptKindForFile(filePath));
     }
     catch {

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

@@ -1 +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"}
+{"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;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,IAAa;IAC7D,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3D,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/program/CheckerQueries.d.ts

@@ -0,0 +1,56 @@
+import ts from 'typescript';
+/**
+ * Focused TypeScript semantic query helpers built on a ts.Program.
+ *
+ * These answer questions that AST analysis alone cannot answer reliably.
+ * All methods are read-only and do not modify the program state.
+ *
+ * Keep integration points narrow: callers should ask for specific facts,
+ * not raw ts.Type objects.
+ */
+export declare class CheckerQueries {
+    private readonly program;
+    private checker;
+    constructor(program: ts.Program);
+    /**
+     * Get the string-valued members of an exported enum.
+     * Returns null if the enum cannot be found in the program.
+     */
+    getEnumMembers(filePath: string, enumName: string): string[] | null;
+    /**
+     * Given a switch statement (by containing function / file and line),
+     * return which enum members are handled and which are missing.
+     */
+    getSwitchExhaustiveness(filePath: string, enumFilePath: string, enumName: string): {
+        handled: string[];
+        missing: string[];
+        isExhaustive: boolean;
+    } | null;
+    /**
+     * Get the type text of an exported symbol in a file.
+     * Returns a human-readable type string, or null if not found.
+     */
+    getExportedSymbolType(filePath: string, symbolName: string): string | null;
+    /**
+     * Get parameter facts for an exported function: name, type text, optional status.
+     */
+    getFunctionParams(filePath: string, funcName: string): Array<{
+        name: string;
+        typeText: string;
+        optional: boolean;
+        rest: boolean;
+    }> | null;
+    /**
+     * Get the return type text for an exported function.
+     */
+    getReturnType(filePath: string, funcName: string): string | null;
+    /**
+     * Get semantic diagnostics for a file.
+     * Lighter than running the full LSP — useful for quick checks.
+     */
+    getSemanticDiagnostics(filePath: string): readonly ts.Diagnostic[];
+    /**
+     * Get all files in the program (resolved root names).
+     */
+    getProgramFiles(): string[];
+}

package/dist/analysis/ts/program/CheckerQueries.js

@@ -0,0 +1,187 @@
+import ts from 'typescript';
+/**
+ * Focused TypeScript semantic query helpers built on a ts.Program.
+ *
+ * These answer questions that AST analysis alone cannot answer reliably.
+ * All methods are read-only and do not modify the program state.
+ *
+ * Keep integration points narrow: callers should ask for specific facts,
+ * not raw ts.Type objects.
+ */
+export class CheckerQueries {
+    program;
+    checker;
+    constructor(program) {
+        this.program = program;
+        this.checker = program.getTypeChecker();
+    }
+    // ---------------------------------------------------------------------------
+    // Enum queries
+    // ---------------------------------------------------------------------------
+    /**
+     * Get the string-valued members of an exported enum.
+     * Returns null if the enum cannot be found in the program.
+     */
+    getEnumMembers(filePath, enumName) {
+        const sf = this.program.getSourceFile(filePath);
+        if (!sf)
+            return null;
+        let enumDecl;
+        ts.forEachChild(sf, (node) => {
+            if (ts.isEnumDeclaration(node) && node.name.text === enumName) {
+                enumDecl = node;
+            }
+        });
+        if (!enumDecl)
+            return null;
+        return enumDecl.members.map((m) => ts.isIdentifier(m.name) ? m.name.text : m.name.getText(sf));
+    }
+    /**
+     * Given a switch statement (by containing function / file and line),
+     * return which enum members are handled and which are missing.
+     */
+    getSwitchExhaustiveness(filePath, enumFilePath, enumName) {
+        const allMembers = this.getEnumMembers(enumFilePath, enumName);
+        if (!allMembers)
+            return null;
+        const sf = this.program.getSourceFile(filePath);
+        if (!sf)
+            return null;
+        const handled = new Set();
+        const visit = (node) => {
+            if (ts.isSwitchStatement(node)) {
+                for (const clause of node.caseBlock.clauses) {
+                    if (ts.isCaseClause(clause)) {
+                        // Check if the case expression is an enum member access
+                        if (ts.isPropertyAccessExpression(clause.expression)) {
+                            const memberName = clause.expression.name.text;
+                            if (allMembers.includes(memberName)) {
+                                handled.add(memberName);
+                            }
+                        }
+                    }
+                }
+            }
+            ts.forEachChild(node, visit);
+        };
+        visit(sf);
+        const missing = allMembers.filter((m) => !handled.has(m));
+        return { handled: [...handled], missing, isExhaustive: missing.length === 0 };
+    }
+    // ---------------------------------------------------------------------------
+    // Function / type queries
+    // ---------------------------------------------------------------------------
+    /**
+     * Get the type text of an exported symbol in a file.
+     * Returns a human-readable type string, or null if not found.
+     */
+    getExportedSymbolType(filePath, symbolName) {
+        const sf = this.program.getSourceFile(filePath);
+        if (!sf)
+            return null;
+        let result = null;
+        const visit = (node) => {
+            if (result)
+                return;
+            // Function declarations
+            if (ts.isFunctionDeclaration(node) && node.name?.text === symbolName) {
+                const sym = this.checker.getSymbolAtLocation(node.name);
+                if (sym)
+                    result = this.checker.typeToString(this.checker.getTypeOfSymbolAtLocation(sym, node));
+                return;
+            }
+            // Variable declarations
+            if (ts.isVariableDeclaration(node) && ts.isIdentifier(node.name) && node.name.text === symbolName) {
+                const sym = this.checker.getSymbolAtLocation(node.name);
+                if (sym)
+                    result = this.checker.typeToString(this.checker.getTypeOfSymbolAtLocation(sym, node));
+                return;
+            }
+            ts.forEachChild(node, visit);
+        };
+        visit(sf);
+        return result;
+    }
+    /**
+     * Get parameter facts for an exported function: name, type text, optional status.
+     */
+    getFunctionParams(filePath, funcName) {
+        const sf = this.program.getSourceFile(filePath);
+        if (!sf)
+            return null;
+        let funcNode;
+        const visit = (node) => {
+            if (funcNode)
+                return;
+            if (ts.isFunctionDeclaration(node) && node.name?.text === funcName) {
+                funcNode = node;
+                return;
+            }
+            if (ts.isVariableDeclaration(node) && ts.isIdentifier(node.name) && node.name.text === funcName) {
+                if (node.initializer && (ts.isArrowFunction(node.initializer) || ts.isFunctionExpression(node.initializer))) {
+                    funcNode = node.initializer;
+                    return;
+                }
+            }
+            ts.forEachChild(node, visit);
+        };
+        visit(sf);
+        if (!funcNode)
+            return null;
+        return funcNode.parameters.map((p) => ({
+            name: ts.isIdentifier(p.name) ? p.name.text : p.name.getText(sf),
+            typeText: p.type ? p.type.getText(sf) : this.checker.typeToString(this.checker.getTypeAtLocation(p)),
+            optional: !!p.questionToken || !!p.initializer,
+            rest: !!p.dotDotDotToken,
+        }));
+    }
+    /**
+     * Get the return type text for an exported function.
+     */
+    getReturnType(filePath, funcName) {
+        const sf = this.program.getSourceFile(filePath);
+        if (!sf)
+            return null;
+        let result = null;
+        const visit = (node) => {
+            if (result)
+                return;
+            if (ts.isFunctionDeclaration(node) && node.name?.text === funcName) {
+                const sig = this.checker.getSignatureFromDeclaration(node);
+                if (sig)
+                    result = this.checker.typeToString(sig.getReturnType());
+                return;
+            }
+            ts.forEachChild(node, visit);
+        };
+        visit(sf);
+        return result;
+    }
+    // ---------------------------------------------------------------------------
+    // Diagnostics
+    // ---------------------------------------------------------------------------
+    /**
+     * Get semantic diagnostics for a file.
+     * Lighter than running the full LSP — useful for quick checks.
+     */
+    getSemanticDiagnostics(filePath) {
+        const sf = this.program.getSourceFile(filePath);
+        if (!sf)
+            return [];
+        try {
+            return this.program.getSemanticDiagnostics(sf);
+        }
+        catch {
+            return [];
+        }
+    }
+    /**
+     * Get all files in the program (resolved root names).
+     */
+    getProgramFiles() {
+        return this.program.getSourceFiles()
+            .map((sf) => sf.fileName)
+            .filter((f) => !f.includes('node_modules') && !f.endsWith('.d.ts'));
+    }
+}
+//# sourceMappingURL=CheckerQueries.js.map

package/dist/analysis/ts/program/CheckerQueries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CheckerQueries.js","sourceRoot":"","sources":["../../../../src/analysis/ts/program/CheckerQueries.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B;;;;;;;;GAQG;AACH,MAAM,OAAO,cAAc;IAGI;IAFrB,OAAO,CAAiB;IAEhC,YAA6B,OAAmB;QAAnB,YAAO,GAAP,OAAO,CAAY;QAC9C,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAC1C,CAAC;IAED,8EAA8E;IAC9E,eAAe;IACf,8EAA8E;IAE9E;;;OAGG;IACH,cAAc,CAAC,QAAgB,EAAE,QAAgB;QAC/C,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QAErB,IAAI,QAAwC,CAAC;QAC7C,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;YAC3B,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC9D,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAE3B,OAAO,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAChC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAC3D,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,uBAAuB,CAAC,QAAgB,EAAE,YAAoB,EAAE,QAAgB;QAK9E,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QAC/D,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;QAE7B,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QAErB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,EAAE;YAC9B,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;oBAC5C,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC5B,wDAAwD;wBACxD,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;4BACrD,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;4BAC/C,IAAI,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gCACpC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;4BAC1B,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QAEV,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;IAChF,CAAC;IAED,8EAA8E;IAC9E,0BAA0B;IAC1B,8EAA8E;IAE9E;;;OAGG;IACH,qBAAqB,CAAC,QAAgB,EAAE,UAAkB;QACxD,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QAErB,IAAI,MAAM,GAAkB,IAAI,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,EAAE;YAC9B,IAAI,MAAM;gBAAE,OAAO;YACnB,wBAAwB;YACxB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;gBACrE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACxD,IAAI,GAAG;oBAAE,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC/F,OAAO;YACT,CAAC;YACD,wBAAwB;YACxB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAClG,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACxD,IAAI,GAAG;oBAAE,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC/F,OAAO;YACT,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAC,QAAgB,EAAE,QAAgB;QAMlD,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QAErB,IAAI,QAAuF,CAAC;QAC5F,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,EAAE;YAC9B,IAAI,QAAQ;gBAAE,OAAO;YACrB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACnE,QAAQ,GAAG,IAAI,CAAC;gBAChB,OAAO;YACT,CAAC;YACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAChG,IAAI,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC;oBAC5G,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC;oBAC5B,OAAO;gBACT,CAAC;YACH,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAE3B,OAAO,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACrC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAChE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;YACpG,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW;YAC9C,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc;SACzB,CAAC,CAAC,CAAC;IACN,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,QAAgB,EAAE,QAAgB;QAC9C,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QAErB,IAAI,MAAM,GAAkB,IAAI,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,EAAE;YAC9B,IAAI,MAAM;gBAAE,OAAO;YACnB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACnE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;gBAC3D,IAAI,GAAG;oBAAE,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;gBACjE,OAAO;YACT,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,8EAA8E;IAC9E,cAAc;IACd,8EAA8E;IAE9E;;;OAGG;IACH,sBAAsB,CAAC,QAAgB;QACrC,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE;YAAE,OAAO,EAAE,CAAC;QACnB,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QACjD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAED;;OAEG;IACH,eAAe;QACb,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE;aACjC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;aACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IACxE,CAAC;CACF"}

package/dist/analysis/ts/program/ProgramManager.d.ts

@@ -0,0 +1,27 @@
+import ts from 'typescript';
+import type { SnapshotResolver } from '../../../session/SnapshotResolver.js';
+/**
+ * Manages a cached TypeScript Program for semantic queries.
+ *
+ * This is NOT a replacement for the LSP server — it's a focused semantic
+ * accelerator for questions that AST analysis alone cannot answer reliably:
+ * enum member enumeration, type compatibility, exhaustiveness, param signatures.
+ *
+ * Integrates with the Phase 2A SnapshotResolver so the program operates on
+ * live (unsaved) buffer content when overlays are present.
+ */
+export declare class ProgramManager {
+    private cache;
+    /**
+     * Get or build a TypeScript Program for a workspace root.
+     *
+     * @param workspaceRoot - Absolute path to the workspace root.
+     * @param resolver - Optional Phase 2A snapshot resolver for overlay awareness.
+     *   Different resolver states produce separate cached programs — overlay and
+     *   disk programs never share a cache entry.
+     */
+    getOrBuild(workspaceRoot: string, resolver?: SnapshotResolver): ts.Program;
+    /** Invalidate all cached programs for a workspace root. */
+    invalidate(workspaceRoot: string): void;
+}
+export declare const programManager: ProgramManager;

package/dist/analysis/ts/program/ProgramManager.js

@@ -0,0 +1,147 @@
+import ts from 'typescript';
+import * as fs from 'fs';
+import * as path from 'path';
+import * as crypto from 'crypto';
+/**
+ * Manages a cached TypeScript Program for semantic queries.
+ *
+ * This is NOT a replacement for the LSP server — it's a focused semantic
+ * accelerator for questions that AST analysis alone cannot answer reliably:
+ * enum member enumeration, type compatibility, exhaustiveness, param signatures.
+ *
+ * Integrates with the Phase 2A SnapshotResolver so the program operates on
+ * live (unsaved) buffer content when overlays are present.
+ */
+export class ProgramManager {
+    // Keyed by full cache key (workspaceRoot + tsconfig hash + dirty files signature)
+    // so different overlay states produce independent program instances.
+    cache = new Map();
+    /**
+     * Get or build a TypeScript Program for a workspace root.
+     *
+     * @param workspaceRoot - Absolute path to the workspace root.
+     * @param resolver - Optional Phase 2A snapshot resolver for overlay awareness.
+     *   Different resolver states produce separate cached programs — overlay and
+     *   disk programs never share a cache entry.
+     */
+    getOrBuild(workspaceRoot, resolver) {
+        const cacheKey = buildCacheKey(workspaceRoot, resolver);
+        const cached = this.cache.get(cacheKey);
+        if (cached)
+            return cached;
+        const program = buildProgram(workspaceRoot, resolver);
+        this.cache.set(cacheKey, program);
+        return program;
+    }
+    /** Invalidate all cached programs for a workspace root. */
+    invalidate(workspaceRoot) {
+        for (const key of this.cache.keys()) {
+            if (key.startsWith(workspaceRoot + ':'))
+                this.cache.delete(key);
+        }
+    }
+}
+// Module-level singleton — one manager per process.
+export const programManager = new ProgramManager();
+// ---------------------------------------------------------------------------
+// Internal helpers
+// ---------------------------------------------------------------------------
+function buildCacheKey(workspaceRoot, resolver) {
+    const tsConfigPath = findTsConfig(workspaceRoot);
+    const tsConfigHash = tsConfigPath ? hashFile(tsConfigPath) : 'no-tsconfig';
+    const dirtyKey = resolver ? resolver.getDirtyFiles().sort().join('|') : '';
+    return `${workspaceRoot}:${tsConfigHash}:${dirtyKey}`;
+}
+function buildProgram(workspaceRoot, resolver) {
+    const tsConfigPath = findTsConfig(workspaceRoot);
+    let compilerOptions = {
+        target: ts.ScriptTarget.ES2020,
+        module: ts.ModuleKind.CommonJS,
+        strict: false,
+        noEmit: true,
+        allowJs: true,
+        skipLibCheck: true,
+        skipDefaultLibCheck: true,
+    };
+    let rootNames = [];
+    if (tsConfigPath) {
+        try {
+            const { config, error } = ts.readConfigFile(tsConfigPath, ts.sys.readFile);
+            if (!error) {
+                const parsed = ts.parseJsonConfigFileContent(config, ts.sys, path.dirname(tsConfigPath), {}, tsConfigPath);
+                compilerOptions = { ...parsed.options, noEmit: true, skipLibCheck: true, skipDefaultLibCheck: true };
+                rootNames = parsed.fileNames;
+            }
+        }
+        catch {
+            // Fall back to defaults
+        }
+    }
+    // If no files from tsconfig, collect manually
+    if (rootNames.length === 0) {
+        rootNames = collectTsFiles(workspaceRoot);
+    }
+    const host = createSnapshotHost(compilerOptions, resolver);
+    return ts.createProgram(rootNames, compilerOptions, host);
+}
+/**
+ * Create a CompilerHost that respects the SnapshotResolver for overlay content.
+ */
+function createSnapshotHost(options, resolver) {
+    const defaultHost = ts.createCompilerHost(options);
+    return {
+        ...defaultHost,
+        getSourceFile(fileName, languageVersion, onError, shouldCreateNewSourceFile) {
+            // Use overlay text if available (Phase 2A integration)
+            const overlayText = resolver?.getText(path.normalize(fileName));
+            if (overlayText !== undefined) {
+                return ts.createSourceFile(fileName, overlayText, languageVersion, true);
+            }
+            return defaultHost.getSourceFile(fileName, languageVersion, onError, shouldCreateNewSourceFile);
+        },
+        fileExists(fileName) {
+            // Overlay files exist even if not on disk
+            if (resolver?.hasOverlay(path.normalize(fileName)))
+                return true;
+            return defaultHost.fileExists(fileName);
+        },
+        readFile(fileName) {
+            const overlayText = resolver?.getText(path.normalize(fileName));
+            if (overlayText !== undefined)
+                return overlayText;
+            return defaultHost.readFile(fileName);
+        },
+    };
+}
+function findTsConfig(workspaceRoot) {
+    return ts.findConfigFile(workspaceRoot, ts.sys.fileExists, 'tsconfig.json') ?? undefined;
+}
+function collectTsFiles(dir, depth = 0) {
+    if (depth > 6)
+        return [];
+    const files = [];
+    try {
+        for (const entry of fs.readdirSync(dir, { withFileTypes: true })) {
+            if (entry.isDirectory()) {
+                const skip = ['node_modules', 'dist', 'build', '.git', 'coverage'];
+                if (entry.name.startsWith('.') || skip.includes(entry.name))
+                    continue;
+                files.push(...collectTsFiles(path.join(dir, entry.name), depth + 1));
+            }
+            else if (/\.(ts|tsx)$/.test(entry.name) && !entry.name.endsWith('.d.ts')) {
+                files.push(path.join(dir, entry.name));
+            }
+        }
+    }
+    catch { }
+    return files;
+}
+function hashFile(filePath) {
+    try {
+        return crypto.createHash('sha1').update(fs.readFileSync(filePath)).digest('hex').slice(0, 8);
+    }
+    catch {
+        return 'unreadable';
+    }
+}
+//# sourceMappingURL=ProgramManager.js.map