lsp-intelligence 0.2.1 → 0.3.0

package/dist/analysis/ts/exhaustiveness.d.ts

@@ -0,0 +1,49 @@
+import ts from 'typescript';
+/**
+ * Phase 2D — Switch exhaustiveness intelligence.
+ *
+ * Answers questions that a graph product cannot answer from structure alone:
+ * - "Which switches break if I add/remove this enum member?"
+ * - "Is this switch exhaustive over its enum?"
+ *
+ * Builds on the TypeScript checker (Phase 2C) for accurate type information.
+ */
+export interface SwitchExhaustivenessResult {
+    filePath: string;
+    /** 1-indexed line number of the switch keyword */
+    line: number;
+    /** Enum members that are explicitly handled in this switch */
+    handledMembers: string[];
+    /** Enum members NOT handled (and no default case covers them) */
+    missingMembers: string[];
+    /** True if there is a default case (covers missing members at runtime) */
+    hasDefaultCase: boolean;
+    /** Whether the switch is exhaustive — all members covered OR has default */
+    isExhaustive: boolean;
+}
+/**
+ * Find all non-exhaustive switch statements for a given enum across the program.
+ * "Non-exhaustive" means: missing at least one enum member AND no default case.
+ *
+ * This is the core "smarter than a graph" query: the TypeScript checker knows
+ * which type is being switched on, and we can verify coverage precisely.
+ */
+export declare function findNonExhaustiveSwitches(program: ts.Program, enumFilePath: string, enumName: string): SwitchExhaustivenessResult[];
+/**
+ * Predict the exhaustiveness impact of adding a new enum member.
+ * Returns which switches would become non-exhaustive — i.e., they currently
+ * handle all members but would miss the new one.
+ */
+export declare function predictAddedMemberImpact(program: ts.Program, enumFilePath: string, enumName: string, newMemberName: string): {
+    affectedSwitches: Array<{
+        filePath: string;
+        line: number;
+        missingMember: string;
+    }>;
+    safeCount: number;
+};
+/**
+ * Get all switch exhaustiveness results for an enum, including exhaustive ones.
+ * Useful for a full picture: which files use this enum in a switch.
+ */
+export declare function getAllSwitchResults(program: ts.Program, enumFilePath: string, enumName: string): SwitchExhaustivenessResult[];

package/dist/analysis/ts/exhaustiveness.js

@@ -0,0 +1,158 @@
+import ts from 'typescript';
+/**
+ * Find all non-exhaustive switch statements for a given enum across the program.
+ * "Non-exhaustive" means: missing at least one enum member AND no default case.
+ *
+ * This is the core "smarter than a graph" query: the TypeScript checker knows
+ * which type is being switched on, and we can verify coverage precisely.
+ */
+export function findNonExhaustiveSwitches(program, enumFilePath, enumName) {
+    const checker = program.getTypeChecker();
+    const allMembers = getEnumMembers(program, enumFilePath, enumName);
+    if (!allMembers)
+        return [];
+    const results = [];
+    for (const sf of program.getSourceFiles()) {
+        if (sf.fileName.includes('node_modules') || sf.fileName.endsWith('.d.ts'))
+            continue;
+        ts.forEachChild(sf, function visitNode(node) {
+            if (ts.isSwitchStatement(node)) {
+                const result = analyzeSwitchForEnum(node, sf, checker, enumName, allMembers);
+                if (result)
+                    results.push({ filePath: sf.fileName, ...result });
+            }
+            ts.forEachChild(node, visitNode);
+        });
+    }
+    return results.filter((r) => !r.isExhaustive);
+}
+/**
+ * Predict the exhaustiveness impact of adding a new enum member.
+ * Returns which switches would become non-exhaustive — i.e., they currently
+ * handle all members but would miss the new one.
+ */
+export function predictAddedMemberImpact(program, enumFilePath, enumName, newMemberName) {
+    const checker = program.getTypeChecker();
+    const currentMembers = getEnumMembers(program, enumFilePath, enumName);
+    if (!currentMembers)
+        return { affectedSwitches: [], safeCount: 0 };
+    const affectedSwitches = [];
+    let safeCount = 0;
+    for (const sf of program.getSourceFiles()) {
+        if (sf.fileName.includes('node_modules') || sf.fileName.endsWith('.d.ts'))
+            continue;
+        ts.forEachChild(sf, function visitNode(node) {
+            if (ts.isSwitchStatement(node)) {
+                const result = analyzeSwitchForEnum(node, sf, checker, enumName, currentMembers);
+                if (result && result.handledMembers.length > 0) {
+                    // This switch uses the enum
+                    if (!result.hasDefaultCase) {
+                        // No default — adding a new member would make it non-exhaustive
+                        affectedSwitches.push({ filePath: sf.fileName, line: result.line, missingMember: newMemberName });
+                    }
+                    else {
+                        safeCount++;
+                    }
+                }
+            }
+            ts.forEachChild(node, visitNode);
+        });
+    }
+    return { affectedSwitches, safeCount };
+}
+/**
+ * Get all switch exhaustiveness results for an enum, including exhaustive ones.
+ * Useful for a full picture: which files use this enum in a switch.
+ */
+export function getAllSwitchResults(program, enumFilePath, enumName) {
+    const checker = program.getTypeChecker();
+    const allMembers = getEnumMembers(program, enumFilePath, enumName);
+    if (!allMembers)
+        return [];
+    const results = [];
+    for (const sf of program.getSourceFiles()) {
+        if (sf.fileName.includes('node_modules') || sf.fileName.endsWith('.d.ts'))
+            continue;
+        ts.forEachChild(sf, function visitNode(node) {
+            if (ts.isSwitchStatement(node)) {
+                const result = analyzeSwitchForEnum(node, sf, checker, enumName, allMembers);
+                if (result)
+                    results.push({ filePath: sf.fileName, ...result });
+            }
+            ts.forEachChild(node, visitNode);
+        });
+    }
+    return results;
+}
+// ---------------------------------------------------------------------------
+// Internal helpers
+// ---------------------------------------------------------------------------
+function getEnumMembers(program, filePath, enumName) {
+    const sf = program.getSourceFile(filePath);
+    if (!sf)
+        return null;
+    let members = null;
+    ts.forEachChild(sf, (node) => {
+        if (ts.isEnumDeclaration(node) && node.name.text === enumName) {
+            members = node.members.map((m) => (ts.isIdentifier(m.name) ? m.name.text : m.name.getText(sf)));
+        }
+    });
+    return members;
+}
+function analyzeSwitchForEnum(node, sf, checker, enumName, allMembers) {
+    // Check if the switch expression uses the enum type
+    const switchType = checker.getTypeAtLocation(node.expression);
+    const typeSym = switchType.getSymbol() ?? switchType.aliasSymbol;
+    const typeStr = checker.typeToString(switchType);
+    const usesEnum = typeSym?.name === enumName || typeStr === enumName;
+    if (!usesEnum) {
+        // Also check if any case clause uses EnumName.Member pattern
+        const hasMemberAccess = hasCaseWithEnumAccess(node, enumName, allMembers, sf);
+        if (!hasMemberAccess)
+            return null;
+    }
+    const handled = new Set();
+    let hasDefaultCase = false;
+    for (const clause of node.caseBlock.clauses) {
+        if (ts.isDefaultClause(clause)) {
+            hasDefaultCase = true;
+        }
+        else if (ts.isCaseClause(clause)) {
+            const memberName = extractEnumMemberFromExpr(clause.expression, enumName, sf);
+            if (memberName && allMembers.includes(memberName)) {
+                handled.add(memberName);
+            }
+        }
+    }
+    if (handled.size === 0 && !hasDefaultCase)
+        return null; // Not actually using this enum
+    const missingMembers = allMembers.filter((m) => !handled.has(m));
+    const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+    return {
+        line,
+        handledMembers: [...handled],
+        missingMembers,
+        hasDefaultCase,
+        isExhaustive: missingMembers.length === 0 || hasDefaultCase,
+    };
+}
+function extractEnumMemberFromExpr(expr, enumName, sf) {
+    if (ts.isPropertyAccessExpression(expr)) {
+        const obj = expr.expression;
+        if (ts.isIdentifier(obj) && obj.text === enumName) {
+            return expr.name.text;
+        }
+    }
+    return null;
+}
+function hasCaseWithEnumAccess(node, enumName, members, sf) {
+    for (const clause of node.caseBlock.clauses) {
+        if (ts.isCaseClause(clause)) {
+            const m = extractEnumMemberFromExpr(clause.expression, enumName, sf);
+            if (m && members.includes(m))
+                return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=exhaustiveness.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"exhaustiveness.js","sourceRoot":"","sources":["../../../src/analysis/ts/exhaustiveness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AA2B5B;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACvC,OAAmB,EACnB,YAAoB,EACpB,QAAgB;IAEhB,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IACnE,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAE3B,MAAM,OAAO,GAAiC,EAAE,CAAC;IAEjD,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAC1C,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QAEpF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,IAAI;YACzC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;gBAC7E,IAAI,MAAM;oBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;YACjE,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;AAChD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CACtC,OAAmB,EACnB,YAAoB,EACpB,QAAgB,EAChB,aAAqB;IAKrB,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,cAAc,GAAG,cAAc,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IACvE,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAEnE,MAAM,gBAAgB,GAAqE,EAAE,CAAC;IAC9F,IAAI,SAAS,GAAG,CAAC,CAAC;IAElB,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAC1C,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QAEpF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,IAAI;YACzC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;gBACjF,IAAI,MAAM,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC/C,4BAA4B;oBAC5B,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;wBAC3B,gEAAgE;wBAChE,gBAAgB,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,CAAC;oBACpG,CAAC;yBAAM,CAAC;wBACN,SAAS,EAAE,CAAC;oBACd,CAAC;gBACH,CAAC;YACH,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC;AACzC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,OAAmB,EACnB,YAAoB,EACpB,QAAgB;IAEhB,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IACnE,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAE3B,MAAM,OAAO,GAAiC,EAAE,CAAC;IACjD,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAC1C,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QACpF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,IAAI;YACzC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;gBAC7E,IAAI,MAAM;oBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;YACjE,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,SAAS,cAAc,CAAC,OAAmB,EAAE,QAAgB,EAAE,QAAgB;IAC7E,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IACrB,IAAI,OAAO,GAAoB,IAAI,CAAC;IACpC,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3B,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9D,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,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,CAAC,CAAC,CAAC;QAClG,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAUD,SAAS,oBAAoB,CAC3B,IAAwB,EACxB,EAAiB,EACjB,OAAuB,EACvB,QAAgB,EAChB,UAAoB;IAEpB,oDAAoD;IACpD,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,UAAU,CAAC,SAAS,EAAE,IAAK,UAAkB,CAAC,WAAW,CAAC;IAC1E,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;IAEjD,MAAM,QAAQ,GAAG,OAAO,EAAE,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,QAAQ,CAAC;IACpE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,6DAA6D;QAC7D,MAAM,eAAe,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;QAC9E,IAAI,CAAC,eAAe;YAAE,OAAO,IAAI,CAAC;IACpC,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,cAAc,GAAG,KAAK,CAAC;IAE3B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;QAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,cAAc,GAAG,IAAI,CAAC;QACxB,CAAC;aAAM,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,MAAM,UAAU,GAAG,yBAAyB,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC9E,IAAI,UAAU,IAAI,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBAClD,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC,CAAC,+BAA+B;IAEvF,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IAE1E,OAAO;QACL,IAAI;QACJ,cAAc,EAAE,CAAC,GAAG,OAAO,CAAC;QAC5B,cAAc;QACd,cAAc;QACd,YAAY,EAAE,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,cAAc;KAC5D,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAmB,EAAE,QAAgB,EAAE,EAAiB;IACzF,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC;QAC5B,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAwB,EACxB,QAAgB,EAChB,OAAiB,EACjB,EAAiB;IAEjB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;QAC5C,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,yBAAyB,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;YACrE,IAAI,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/analysis/ts/extractDeclarationShape.d.ts

@@ -0,0 +1,30 @@
+import ts from 'typescript';
+import type { ExportedDeclaration } from './extractExports.js';
+export interface ParamShape {
+    name: string;
+    optional: boolean;
+    rest: boolean;
+    typeText?: string;
+}
+export interface MemberShape {
+    name: string;
+    optional?: boolean;
+    typeText?: string;
+}
+export interface DeclarationShape {
+    name: string;
+    kind: ExportedDeclaration['kind'];
+    line: number;
+    signatureText: string;
+    params?: ParamShape[];
+    returnTypeText?: string;
+    members?: MemberShape[];
+    enumMembers?: string[];
+    exportedAs?: string[];
+    moduleSpecifier?: string;
+}
+/**
+ * Extract the shape of an exported declaration for diffing.
+ * Works on the TS AST node near the export's line.
+ */
+export declare function extractDeclarationShape(sf: ts.SourceFile, exp: ExportedDeclaration): DeclarationShape;

package/dist/analysis/ts/extractDeclarationShape.js

@@ -0,0 +1,127 @@
+import ts from 'typescript';
+/**
+ * Extract the shape of an exported declaration for diffing.
+ * Works on the TS AST node near the export's line.
+ */
+export function extractDeclarationShape(sf, exp) {
+    const base = {
+        name: exp.name,
+        kind: exp.kind,
+        line: exp.line,
+        signatureText: '',
+        exportedAs: exp.exportedAs,
+        moduleSpecifier: exp.moduleSpecifier,
+    };
+    // Find the node at the export's line
+    const node = findNodeAtLine(sf, exp.line - 1);
+    if (!node)
+        return { ...base, signatureText: `${exp.kind} ${exp.name}` };
+    // Function
+    if (ts.isFunctionDeclaration(node) || ts.isFunctionExpression(node) || ts.isArrowFunction(node)) {
+        base.params = extractParams(node);
+        base.returnTypeText = node.type ? node.type.getText(sf) : undefined;
+        base.signatureText = `function ${exp.name}(${formatParams(base.params)}): ${base.returnTypeText ?? 'unknown'}`;
+        return base;
+    }
+    // Method (inside class)
+    if (ts.isMethodDeclaration(node)) {
+        base.params = extractParams(node);
+        base.returnTypeText = node.type ? node.type.getText(sf) : undefined;
+        base.signatureText = `method ${exp.name}(${formatParams(base.params)})`;
+        return base;
+    }
+    // Interface
+    if (ts.isInterfaceDeclaration(node)) {
+        base.members = extractMembers(node, sf);
+        base.signatureText = `interface ${exp.name} { ${base.members.map((m) => m.name).join(', ')} }`;
+        return base;
+    }
+    // Type alias
+    if (ts.isTypeAliasDeclaration(node)) {
+        base.signatureText = `type ${exp.name} = ${node.type.getText(sf).substring(0, 100)}`;
+        return base;
+    }
+    // Enum
+    if (ts.isEnumDeclaration(node)) {
+        base.enumMembers = node.members.map((m) => ts.isIdentifier(m.name) ? m.name.text : m.name.getText(sf));
+        base.signatureText = `enum ${exp.name} { ${base.enumMembers.join(', ')} }`;
+        return base;
+    }
+    // Variable
+    if (ts.isVariableStatement(node)) {
+        for (const decl of node.declarationList.declarations) {
+            if (ts.isIdentifier(decl.name) && decl.name.text === exp.name) {
+                if (decl.initializer && (ts.isArrowFunction(decl.initializer) || ts.isFunctionExpression(decl.initializer))) {
+                    base.params = extractParams(decl.initializer);
+                    base.returnTypeText = decl.initializer.type ? decl.initializer.type.getText(sf) : undefined;
+                    base.signatureText = `const ${exp.name} = (${formatParams(base.params)}) => ${base.returnTypeText ?? '...'}`;
+                }
+                else {
+                    base.signatureText = `const ${exp.name}: ${decl.type?.getText(sf) ?? 'unknown'}`;
+                }
+                return base;
+            }
+        }
+    }
+    // Class
+    if (ts.isClassDeclaration(node)) {
+        base.members = [];
+        for (const member of node.members) {
+            if (ts.isMethodDeclaration(member) && ts.isIdentifier(member.name)) {
+                base.members.push({ name: member.name.text });
+            }
+            else if (ts.isPropertyDeclaration(member) && ts.isIdentifier(member.name)) {
+                base.members.push({
+                    name: member.name.text,
+                    optional: !!member.questionToken,
+                    typeText: member.type?.getText(sf),
+                });
+            }
+        }
+        base.signatureText = `class ${exp.name} { ${base.members.map((m) => m.name).join(', ')} }`;
+        return base;
+    }
+    base.signatureText = `${exp.kind} ${exp.name}`;
+    return base;
+}
+function extractParams(node) {
+    return node.parameters.map((p) => ({
+        name: ts.isIdentifier(p.name) ? p.name.text : p.name.getText(),
+        optional: !!p.questionToken || !!p.initializer,
+        rest: !!p.dotDotDotToken,
+        typeText: p.type?.getText() ?? undefined,
+    }));
+}
+function extractMembers(node, sf) {
+    return node.members
+        .filter((m) => ts.isPropertySignature(m))
+        .map((m) => ({
+        name: ts.isIdentifier(m.name) ? m.name.text : m.name.getText(sf),
+        optional: !!m.questionToken,
+        typeText: m.type?.getText(sf),
+    }));
+}
+function formatParams(params) {
+    return params.map((p) => `${p.rest ? '...' : ''}${p.name}${p.optional ? '?' : ''}`).join(', ');
+}
+function findNodeAtLine(sf, line0) {
+    let found;
+    function visit(node) {
+        if (found)
+            return;
+        const nodeLine = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line;
+        if (nodeLine === line0 || nodeLine === line0 + 1 || nodeLine === line0 - 1) {
+            // Prefer specific declaration types
+            if (ts.isFunctionDeclaration(node) || ts.isClassDeclaration(node) ||
+                ts.isInterfaceDeclaration(node) || ts.isTypeAliasDeclaration(node) ||
+                ts.isEnumDeclaration(node) || ts.isVariableStatement(node)) {
+                found = node;
+                return;
+            }
+        }
+        ts.forEachChild(node, visit);
+    }
+    visit(sf);
+    return found;
+}
+//# sourceMappingURL=extractDeclarationShape.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"extractDeclarationShape.js","sourceRoot":"","sources":["../../../src/analysis/ts/extractDeclarationShape.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AA6B5B;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,EAAiB,EACjB,GAAwB;IAExB,MAAM,IAAI,GAAqB;QAC7B,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,aAAa,EAAE,EAAE;QACjB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,eAAe,EAAE,GAAG,CAAC,eAAe;KACrC,CAAC;IAEF,qCAAqC;IACrC,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;IAExE,WAAW;IACX,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAChG,IAAI,CAAC,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpE,IAAI,CAAC,aAAa,GAAG,YAAY,GAAG,CAAC,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,cAAc,IAAI,SAAS,EAAE,CAAC;QAC/G,OAAO,IAAI,CAAC;IACd,CAAC;IAED,wBAAwB;IACxB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpE,IAAI,CAAC,aAAa,GAAG,UAAU,GAAG,CAAC,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;QACxE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,YAAY;IACZ,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,aAAa,GAAG,aAAa,GAAG,CAAC,IAAI,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/F,OAAO,IAAI,CAAC;IACd,CAAC;IAED,aAAa;IACb,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,aAAa,GAAG,QAAQ,GAAG,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QACrF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;IACP,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,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,CAAC,CAAC;QACvG,IAAI,CAAC,aAAa,GAAG,QAAQ,GAAG,CAAC,IAAI,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,WAAW;IACX,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,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;gBAC9D,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,IAAI,CAAC,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBAC9C,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;oBAC5F,IAAI,CAAC,aAAa,GAAG,SAAS,GAAG,CAAC,IAAI,OAAO,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,cAAc,IAAI,KAAK,EAAE,CAAC;gBAC/G,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,aAAa,GAAG,SAAS,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;gBACnF,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,QAAQ;IACR,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAChD,CAAC;iBAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5E,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;oBAChB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI;oBACtB,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,aAAa;oBAChC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;iBACnC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,CAAC,aAAa,GAAG,SAAS,GAAG,CAAC,IAAI,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3F,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,aAAa,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,aAAa,CAAC,IAAgC;IACrD,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjC,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,EAAE;QAC9D,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW;QAC9C,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc;QACxB,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,SAAS;KACzC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,cAAc,CAAC,IAA6B,EAAE,EAAiB;IACtE,OAAO,IAAI,CAAC,OAAO;SAChB,MAAM,CAAC,CAAC,CAAC,EAA6B,EAAE,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;SACnE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,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;QAChE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa;QAC3B,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;KAC9B,CAAC,CAAC,CAAC;AACR,CAAC;AAED,SAAS,YAAY,CAAC,MAAoB;IACxC,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,cAAc,CAAC,EAAiB,EAAE,KAAa;IACtD,IAAI,KAA0B,CAAC;IAC/B,SAAS,KAAK,CAAC,IAAa;QAC1B,IAAI,KAAK;YAAE,OAAO;QAClB,MAAM,QAAQ,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1E,IAAI,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,KAAK,GAAG,CAAC,IAAI,QAAQ,KAAK,KAAK,GAAG,CAAC,EAAE,CAAC;YAC3E,oCAAoC;YACpC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAC7D,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;gBAClE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/D,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO;YACT,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/analysis/ts/extractExports.d.ts

@@ -0,0 +1,19 @@
+import ts from 'typescript';
+/**
+ * Exported declaration — the shared type used by api_guard and root_cause_trace.
+ */
+export interface ExportedDeclaration {
+    name: string;
+    exportedAs: string[];
+    kind: 'function' | 'class' | 'interface' | 'type' | 'enum' | 'const' | 'var' | 'default' | 'reexport' | 'cjs' | 'unknown';
+    filePath: string;
+    line: number;
+    isTypeOnly?: boolean;
+    moduleSpecifier?: string;
+}
+/**
+ * Extract all exports from a TypeScript/JavaScript source file using the TS AST.
+ * Supports ESM (export function, export const, export { }, export * from, export default)
+ * and basic CJS (module.exports, exports.foo).
+ */
+export declare function extractExports(sf: ts.SourceFile): ExportedDeclaration[];

package/dist/analysis/ts/extractExports.js

@@ -0,0 +1,178 @@
+import ts from 'typescript';
+/**
+ * Extract all exports from a TypeScript/JavaScript source file using the TS AST.
+ * Supports ESM (export function, export const, export { }, export * from, export default)
+ * and basic CJS (module.exports, exports.foo).
+ */
+export function extractExports(sf) {
+    const exports = [];
+    const filePath = sf.fileName;
+    function visit(node) {
+        // ESM: export function foo() {}
+        if (ts.isFunctionDeclaration(node) && hasExportModifier(node) && node.name) {
+            exports.push({
+                name: node.name.text,
+                exportedAs: [node.name.text],
+                kind: 'function',
+                filePath,
+                line: lineOf(node, sf),
+            });
+        }
+        // ESM: export class Foo {}
+        if (ts.isClassDeclaration(node) && hasExportModifier(node) && node.name) {
+            exports.push({
+                name: node.name.text,
+                exportedAs: [node.name.text],
+                kind: 'class',
+                filePath,
+                line: lineOf(node, sf),
+            });
+        }
+        // ESM: export interface Foo {}
+        if (ts.isInterfaceDeclaration(node) && hasExportModifier(node)) {
+            exports.push({
+                name: node.name.text,
+                exportedAs: [node.name.text],
+                kind: 'interface',
+                filePath,
+                line: lineOf(node, sf),
+                isTypeOnly: true,
+            });
+        }
+        // ESM: export type Foo = ...
+        if (ts.isTypeAliasDeclaration(node) && hasExportModifier(node)) {
+            exports.push({
+                name: node.name.text,
+                exportedAs: [node.name.text],
+                kind: 'type',
+                filePath,
+                line: lineOf(node, sf),
+                isTypeOnly: true,
+            });
+        }
+        // ESM: export enum Foo {}
+        if (ts.isEnumDeclaration(node) && hasExportModifier(node)) {
+            exports.push({
+                name: node.name.text,
+                exportedAs: [node.name.text],
+                kind: 'enum',
+                filePath,
+                line: lineOf(node, sf),
+            });
+        }
+        // ESM: export const foo = ..., export let bar = ...
+        if (ts.isVariableStatement(node) && hasExportModifier(node)) {
+            for (const decl of node.declarationList.declarations) {
+                if (ts.isIdentifier(decl.name)) {
+                    exports.push({
+                        name: decl.name.text,
+                        exportedAs: [decl.name.text],
+                        kind: node.declarationList.flags & ts.NodeFlags.Const ? 'const' : 'var',
+                        filePath,
+                        line: lineOf(node, sf),
+                    });
+                }
+            }
+        }
+        // ESM: export default ...
+        if (ts.isExportAssignment(node) && !node.isExportEquals) {
+            const name = ts.isIdentifier(node.expression) ? node.expression.text : 'default';
+            exports.push({
+                name,
+                exportedAs: ['default'],
+                kind: 'default',
+                filePath,
+                line: lineOf(node, sf),
+            });
+        }
+        // ESM: export { foo, bar as baz }
+        if (ts.isExportDeclaration(node)) {
+            const moduleSpec = node.moduleSpecifier && ts.isStringLiteral(node.moduleSpecifier)
+                ? node.moduleSpecifier.text : undefined;
+            if (node.exportClause && ts.isNamedExports(node.exportClause)) {
+                for (const spec of node.exportClause.elements) {
+                    const localName = (spec.propertyName ?? spec.name).text;
+                    const exportedName = spec.name.text;
+                    exports.push({
+                        name: localName,
+                        exportedAs: [exportedName],
+                        kind: moduleSpec ? 'reexport' : 'unknown',
+                        filePath,
+                        line: lineOf(spec, sf),
+                        isTypeOnly: node.isTypeOnly || spec.isTypeOnly,
+                        moduleSpecifier: moduleSpec,
+                    });
+                }
+            }
+            else if (!node.exportClause && moduleSpec) {
+                // export * from '...'
+                exports.push({
+                    name: '*',
+                    exportedAs: ['*'],
+                    kind: 'reexport',
+                    filePath,
+                    line: lineOf(node, sf),
+                    moduleSpecifier: moduleSpec,
+                });
+            }
+        }
+        // CJS: module.exports = ... or module.exports.foo = ...
+        if (ts.isExpressionStatement(node) && ts.isBinaryExpression(node.expression)) {
+            const left = node.expression.left;
+            if (ts.isPropertyAccessExpression(left)) {
+                const text = getPropertyChain(left);
+                if (text === 'module.exports') {
+                    exports.push({
+                        name: 'default',
+                        exportedAs: ['default'],
+                        kind: 'cjs',
+                        filePath,
+                        line: lineOf(node, sf),
+                    });
+                }
+                else if (text.startsWith('module.exports.')) {
+                    const name = text.slice('module.exports.'.length);
+                    exports.push({
+                        name,
+                        exportedAs: [name],
+                        kind: 'cjs',
+                        filePath,
+                        line: lineOf(node, sf),
+                    });
+                }
+                else if (text.startsWith('exports.')) {
+                    const name = text.slice('exports.'.length);
+                    exports.push({
+                        name,
+                        exportedAs: [name],
+                        kind: 'cjs',
+                        filePath,
+                        line: lineOf(node, sf),
+                    });
+                }
+            }
+        }
+        ts.forEachChild(node, visit);
+    }
+    visit(sf);
+    return exports;
+}
+function hasExportModifier(node) {
+    const mods = ts.canHaveModifiers(node) ? ts.getModifiers(node) : undefined;
+    return mods?.some((m) => m.kind === ts.SyntaxKind.ExportKeyword) ?? false;
+}
+function lineOf(node, sf) {
+    return sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+}
+function getPropertyChain(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=extractExports.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"extractExports.js","sourceRoot":"","sources":["../../../src/analysis/ts/extractExports.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAe5B;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,EAAiB;IAC9C,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAE7B,SAAS,KAAK,CAAC,IAAa;QAC1B,gCAAgC;QAChC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC3E,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;gBACpB,UAAU,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC5B,IAAI,EAAE,UAAU;gBAChB,QAAQ;gBACR,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;aACvB,CAAC,CAAC;QACL,CAAC;QAED,2BAA2B;QAC3B,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACxE,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;gBACpB,UAAU,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC5B,IAAI,EAAE,OAAO;gBACb,QAAQ;gBACR,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;aACvB,CAAC,CAAC;QACL,CAAC;QAED,+BAA+B;QAC/B,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/D,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;gBACpB,UAAU,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC5B,IAAI,EAAE,WAAW;gBACjB,QAAQ;gBACR,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;gBACtB,UAAU,EAAE,IAAI;aACjB,CAAC,CAAC;QACL,CAAC;QAED,6BAA6B;QAC7B,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/D,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;gBACpB,UAAU,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC5B,IAAI,EAAE,MAAM;gBACZ,QAAQ;gBACR,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;gBACtB,UAAU,EAAE,IAAI;aACjB,CAAC,CAAC;QACL,CAAC;QAED,0BAA0B;QAC1B,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1D,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;gBACpB,UAAU,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC5B,IAAI,EAAE,MAAM;gBACZ,QAAQ;gBACR,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;aACvB,CAAC,CAAC;QACL,CAAC;QAED,oDAAoD;QACpD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5D,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,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;wBACpB,UAAU,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC5B,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK;wBACvE,QAAQ;wBACR,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;qBACvB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC;YACxD,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YACjF,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI;gBACJ,UAAU,EAAE,CAAC,SAAS,CAAC;gBACvB,IAAI,EAAE,SAAS;gBACf,QAAQ;gBACR,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;aACvB,CAAC,CAAC;QACL,CAAC;QAED,kCAAkC;QAClC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC;gBACjF,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YAE1C,IAAI,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC9D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC;oBAC9C,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;oBACxD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBACpC,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,SAAS;wBACf,UAAU,EAAE,CAAC,YAAY,CAAC;wBAC1B,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;wBACzC,QAAQ;wBACR,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;wBACtB,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU;wBAC9C,eAAe,EAAE,UAAU;qBAC5B,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,UAAU,EAAE,CAAC;gBAC5C,sBAAsB;gBACtB,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,GAAG;oBACT,UAAU,EAAE,CAAC,GAAG,CAAC;oBACjB,IAAI,EAAE,UAAU;oBAChB,QAAQ;oBACR,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;oBACtB,eAAe,EAAE,UAAU;iBAC5B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,wDAAwD;QACxD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7E,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAClC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;gBACpC,IAAI,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBAC9B,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,SAAS;wBACf,UAAU,EAAE,CAAC,SAAS,CAAC;wBACvB,IAAI,EAAE,KAAK;wBACX,QAAQ;wBACR,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;qBACvB,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBAClD,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI;wBACJ,UAAU,EAAE,CAAC,IAAI,CAAC;wBAClB,IAAI,EAAE,KAAK;wBACX,QAAQ;wBACR,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;qBACvB,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;oBACvC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;oBAC3C,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI;wBACJ,UAAU,EAAE,CAAC,IAAI,CAAC;wBAClB,IAAI,EAAE,KAAK;wBACX,QAAQ;wBACR,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;qBACvB,CAAC,CAAC;gBACL,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,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAa;IACtC,MAAM,IAAI,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3E,OAAO,IAAI,EAAE,IAAI,CAAC,CAAC,CAAc,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC;AACzF,CAAC;AAED,SAAS,MAAM,CAAC,IAAa,EAAE,EAAiB;IAC9C,OAAO,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAiC;IACzD,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/analysis/ts/extractRoutes.d.ts

@@ -0,0 +1,12 @@
+import ts from 'typescript';
+import type { RouteIndexEntry } from '../../search/types.js';
+/**
+ * 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 declare function extractRoutes(sf: ts.SourceFile): RouteIndexEntry[];