lsp-intelligence 0.1.2 → 0.2.1

package/dist/analysis/ts/reactState.js

@@ -0,0 +1,57 @@
+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 function hasFunctionalStateUpdater(node) {
+    let found = false;
+    function walk(n) {
+        if (found)
+            return;
+        // Look for calls like setFoo(param => ...)
+        if (ts.isCallExpression(n) && ts.isIdentifier(n.expression)) {
+            const callee = n.expression.text;
+            // Must start with "set" and have PascalCase after (setState, setCount, setItems)
+            if (/^set[A-Z]/.test(callee) && n.arguments.length >= 1) {
+                const arg = n.arguments[0];
+                if (ts.isArrowFunction(arg) || ts.isFunctionExpression(arg)) {
+                    // Must have exactly one parameter
+                    if (arg.parameters.length === 1) {
+                        const paramName = arg.parameters[0].name;
+                        if (ts.isIdentifier(paramName)) {
+                            // Check if the parameter is actually used in the body
+                            if (isIdentifierUsedInBody(paramName.text, arg.body)) {
+                                found = true;
+                                return;
+                            }
+                        }
+                    }
+                }
+            }
+        }
+        ts.forEachChild(n, walk);
+    }
+    walk(node);
+    return found;
+}
+function isIdentifierUsedInBody(name, body) {
+    let used = false;
+    function walk(n) {
+        if (used)
+            return;
+        if (ts.isIdentifier(n) && n.text === name) {
+            // Make sure it's not the parameter declaration itself
+            if (!ts.isParameter(n.parent)) {
+                used = true;
+                return;
+            }
+        }
+        ts.forEachChild(n, walk);
+    }
+    walk(body);
+    return used;
+}
+//# sourceMappingURL=reactState.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"reactState.js","sourceRoot":"","sources":["../../../src/analysis/ts/reactState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,IAAa;IACrD,IAAI,KAAK,GAAG,KAAK,CAAC;IAElB,SAAS,IAAI,CAAC,CAAU;QACtB,IAAI,KAAK;YAAE,OAAO;QAElB,2CAA2C;QAC3C,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5D,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;YACjC,iFAAiF;YACjF,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACxD,MAAM,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC3B,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC5D,kCAAkC;oBAClC,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAChC,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;wBACzC,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;4BAC/B,sDAAsD;4BACtD,IAAI,sBAAsB,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gCACrD,KAAK,GAAG,IAAI,CAAC;gCACb,OAAO;4BACT,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAY,EAAE,IAAa;IACzD,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,SAAS,IAAI,CAAC,CAAU;QACtB,IAAI,IAAI;YAAE,OAAO;QACjB,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC1C,sDAAsD;YACtD,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9B,IAAI,GAAG,IAAI,CAAC;gBACZ,OAAO;YACT,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/analysis/ts/snippets.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Build a code snippet around a specific line, with optional context.
+ */
+export declare function buildSnippet(sourceText: string, line: number, column?: number, contextLines?: number): {
+    snippet: string;
+    context: string;
+};
+/**
+ * Build a snippet from a file path + line.
+ */
+export declare function buildSnippetFromFile(filePath: string, line: number, contextLines?: number): {
+    snippet: string;
+    context: string;
+};

package/dist/analysis/ts/snippets.js

@@ -0,0 +1,29 @@
+import * as fs from 'fs';
+/**
+ * Build a code snippet around a specific line, with optional context.
+ */
+export function buildSnippet(sourceText, line, column, contextLines = 1) {
+    const lines = sourceText.split('\n');
+    const line0 = line - 1; // Convert 1-indexed to 0-indexed
+    const start = Math.max(0, line0 - contextLines);
+    const end = Math.min(lines.length - 1, line0 + contextLines);
+    const snippet = lines[line0]?.trim() ?? '';
+    const context = lines
+        .slice(start, end + 1)
+        .map((l, i) => `${start + i + 1}| ${l}`)
+        .join('\n');
+    return { snippet, context };
+}
+/**
+ * Build a snippet from a file path + line.
+ */
+export function buildSnippetFromFile(filePath, line, contextLines = 1) {
+    try {
+        const content = fs.readFileSync(filePath, 'utf-8');
+        return buildSnippet(content, line, undefined, contextLines);
+    }
+    catch {
+        return { snippet: '', context: '' };
+    }
+}
+//# sourceMappingURL=snippets.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"snippets.js","sourceRoot":"","sources":["../../../src/analysis/ts/snippets.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AAEzB;;GAEG;AACH,MAAM,UAAU,YAAY,CAC1B,UAAkB,EAClB,IAAY,EACZ,MAAe,EACf,eAAuB,CAAC;IAExB,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,iCAAiC;IACzD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,CAAC;IAE7D,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAG,KAAK;SAClB,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;IAEd,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC9B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,QAAgB,EAChB,IAAY,EACZ,eAAuB,CAAC;IAExB,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACnD,OAAO,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACtC,CAAC;AACH,CAAC"}

package/dist/analysis/ts/structuralPredicates.d.ts

@@ -0,0 +1,10 @@
+import ts from 'typescript';
+import type { StructuralPredicate } from '../../search/types.js';
+/**
+ * Evaluate structural predicates on a TS AST node.
+ * Returns which predicates matched and evidence strings.
+ */
+export declare function evaluateStructuralPredicates(sf: ts.SourceFile, node: ts.Node, predicates: StructuralPredicate[]): {
+    matched: StructuralPredicate[];
+    evidence: string[];
+};

package/dist/analysis/ts/structuralPredicates.js

@@ -0,0 +1,199 @@
+import ts from 'typescript';
+import { hasFunctionalStateUpdater } from './reactState.js';
+/**
+ * Evaluate structural predicates on a TS AST node.
+ * Returns which predicates matched and evidence strings.
+ */
+export function evaluateStructuralPredicates(sf, node, predicates) {
+    const matched = [];
+    const evidence = [];
+    for (const pred of predicates) {
+        const result = evaluatePredicate(sf, node, pred);
+        if (result) {
+            matched.push(pred);
+            evidence.push(result);
+        }
+    }
+    return { matched, evidence };
+}
+function evaluatePredicate(sf, node, pred) {
+    switch (pred) {
+        case 'conditional':
+            return hasConditional(node) ? 'contains conditional branch' : null;
+        case 'returns-function':
+            return returnsFunction(node) ? 'returns a function expression' : null;
+        case 'returns-cleanup':
+            return returnsCleanup(node) ? 'callback returns a cleanup function' : null;
+        case 'no-cleanup':
+            return !returnsCleanup(node) && isCallbackLike(node) ? 'callback does not return cleanup' : null;
+        case 'has-try-catch':
+            return containsTryCatch(node) ? 'contains try-catch block' : null;
+        case 'no-try-catch':
+            return !containsTryCatch(node) ? 'no try-catch in scope' : null;
+        case 'switch-no-default':
+            return hasSwitchWithoutDefault(node) ? 'switch statement missing default case' : null;
+        case 'await-in-loop':
+            return hasAwaitInLoop(node) ? 'await inside loop body' : null;
+        case 'inside-hook':
+            return isInsideHookCall(node) ? 'inside a React hook call' : null;
+        case 'hook-callback':
+            return isHookCallback(node) ? 'is a callback argument to a hook' : null;
+        case 'functional-state-updater':
+            return hasFunctionalStateUpdater(node) ? 'contains functional state updater (e.g. setState(prev => ...))' : null;
+        default:
+            return null;
+    }
+}
+// --- Predicate implementations ---
+function hasConditional(node) {
+    let found = false;
+    function walk(n) {
+        if (found)
+            return;
+        if (ts.isIfStatement(n) || ts.isConditionalExpression(n) || ts.isSwitchStatement(n)) {
+            found = true;
+            return;
+        }
+        ts.forEachChild(n, walk);
+    }
+    ts.forEachChild(node, walk);
+    return found;
+}
+function returnsFunction(node) {
+    let found = false;
+    function walk(n) {
+        if (found)
+            return;
+        if (ts.isReturnStatement(n) && n.expression) {
+            if (ts.isArrowFunction(n.expression) || ts.isFunctionExpression(n.expression)) {
+                found = true;
+                return;
+            }
+        }
+        ts.forEachChild(n, walk);
+    }
+    ts.forEachChild(node, walk);
+    return found;
+}
+function returnsCleanup(node) {
+    // For hook callbacks: check if the callback body returns a function
+    const callback = getFirstCallbackArg(node);
+    if (!callback)
+        return returnsFunction(node);
+    return returnsFunction(callback);
+}
+function isCallbackLike(node) {
+    return getFirstCallbackArg(node) !== null;
+}
+function containsTryCatch(node) {
+    if (ts.isTryStatement(node))
+        return true;
+    let found = false;
+    function walk(n) {
+        if (found)
+            return;
+        if (ts.isTryStatement(n)) {
+            found = true;
+            return;
+        }
+        ts.forEachChild(n, walk);
+    }
+    ts.forEachChild(node, walk);
+    return found;
+}
+function hasSwitchWithoutDefault(node) {
+    // Check node itself first (statementLocator passes the SwitchStatement directly)
+    if (ts.isSwitchStatement(node)) {
+        return !node.caseBlock.clauses.some((c) => ts.isDefaultClause(c));
+    }
+    let found = false;
+    function walk(n) {
+        if (found)
+            return;
+        if (ts.isSwitchStatement(n)) {
+            const hasDefault = n.caseBlock.clauses.some((c) => ts.isDefaultClause(c));
+            if (!hasDefault) {
+                found = true;
+                return;
+            }
+        }
+        ts.forEachChild(n, walk);
+    }
+    ts.forEachChild(node, walk);
+    return found;
+}
+function hasAwaitInLoop(node) {
+    const isLoop = (n) => ts.isForStatement(n) || ts.isForOfStatement(n) || ts.isForInStatement(n) || ts.isWhileStatement(n) || ts.isDoStatement(n);
+    // If node itself is a loop, check its body for await
+    if (isLoop(node)) {
+        let found = false;
+        function walkBody(n) {
+            if (found)
+                return;
+            if (ts.isAwaitExpression(n)) {
+                found = true;
+                return;
+            }
+            if (ts.isFunctionDeclaration(n) || ts.isArrowFunction(n) || ts.isFunctionExpression(n))
+                return;
+            ts.forEachChild(n, walkBody);
+        }
+        ts.forEachChild(node, walkBody);
+        return found;
+    }
+    // Otherwise search descendants for loop-with-await
+    let insideLoop = false;
+    let found = false;
+    function walk(n) {
+        if (found)
+            return;
+        const wasInsideLoop = insideLoop;
+        if (isLoop(n))
+            insideLoop = true;
+        if (insideLoop && ts.isAwaitExpression(n)) {
+            found = true;
+            return;
+        }
+        if (ts.isFunctionDeclaration(n) || ts.isArrowFunction(n) || ts.isFunctionExpression(n))
+            return;
+        ts.forEachChild(n, walk);
+        insideLoop = wasInsideLoop;
+    }
+    ts.forEachChild(node, walk);
+    return found;
+}
+function isInsideHookCall(node) {
+    let current = node;
+    while (current) {
+        if (ts.isCallExpression(current) && ts.isIdentifier(current.expression)) {
+            if (isHookName(current.expression.text))
+                return true;
+        }
+        current = current.parent;
+    }
+    return false;
+}
+function isHookCallback(node) {
+    // Check if this node is a call expression where the callee is a hook
+    if (ts.isCallExpression(node) && ts.isIdentifier(node.expression)) {
+        return isHookName(node.expression.text);
+    }
+    return false;
+}
+function isHookName(name) {
+    return /^use[A-Z]/.test(name);
+}
+/**
+ * Get the first callback argument from a call expression.
+ * For useEffect(callback, deps), returns the callback.
+ */
+function getFirstCallbackArg(node) {
+    if (ts.isCallExpression(node) && node.arguments.length > 0) {
+        const first = node.arguments[0];
+        if (ts.isArrowFunction(first) || ts.isFunctionExpression(first)) {
+            return first;
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=structuralPredicates.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"structuralPredicates.js","sourceRoot":"","sources":["../../../src/analysis/ts/structuralPredicates.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAE5D;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAC1C,EAAiB,EACjB,IAAa,EACb,UAAiC;IAEjC,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,iBAAiB,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACjD,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,iBAAiB,CAAC,EAAiB,EAAE,IAAa,EAAE,IAAyB;IACpF,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,aAAa;YAChB,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,IAAI,CAAC;QAErE,KAAK,kBAAkB;YACrB,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,IAAI,CAAC;QAExE,KAAK,iBAAiB;YACpB,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC,CAAC,IAAI,CAAC;QAE7E,KAAK,YAAY;YACf,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,IAAI,CAAC;QAEnG,KAAK,eAAe;YAClB,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC;QAEpE,KAAK,cAAc;YACjB,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC;QAElE,KAAK,mBAAmB;YACtB,OAAO,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,uCAAuC,CAAC,CAAC,CAAC,IAAI,CAAC;QAExF,KAAK,eAAe;YAClB,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC;QAEhE,KAAK,aAAa;YAChB,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC;QAEpE,KAAK,eAAe;YAClB,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,IAAI,CAAC;QAE1E,KAAK,0BAA0B;YAC7B,OAAO,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gEAAgE,CAAC,CAAC,CAAC,IAAI,CAAC;QAEnH;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,oCAAoC;AAEpC,SAAS,cAAc,CAAC,IAAa;IACnC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,SAAS,IAAI,CAAC,CAAU;QACtB,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YACpF,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,IAAa;IACpC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,SAAS,IAAI,CAAC,CAAU;QACtB,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC9E,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO;YACT,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,IAAa;IACnC,oEAAoE;IACpE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,CAAC,QAAQ;QAAE,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;IAC5C,OAAO,eAAe,CAAC,QAAQ,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,cAAc,CAAC,IAAa;IACnC,OAAO,mBAAmB,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;AAC5C,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,SAAS,IAAI,CAAC,CAAU;QACtB,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YAAC,KAAK,GAAG,IAAI,CAAC;YAAC,OAAO;QAAC,CAAC;QACnD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAa;IAC5C,iFAAiF;IACjF,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,SAAS,IAAI,CAAC,CAAU;QACtB,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5B,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1E,IAAI,CAAC,UAAU,EAAE,CAAC;gBAAC,KAAK,GAAG,IAAI,CAAC;gBAAC,OAAO;YAAC,CAAC;QAC5C,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,IAAa;IACnC,MAAM,MAAM,GAAG,CAAC,CAAU,EAAE,EAAE,CAC5B,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAE5H,qDAAqD;IACrD,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,SAAS,QAAQ,CAAC,CAAU;YAC1B,IAAI,KAAK;gBAAE,OAAO;YAClB,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAC,KAAK,GAAG,IAAI,CAAC;gBAAC,OAAO;YAAC,CAAC;YACtD,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;gBAAE,OAAO;YAC/F,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC/B,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,mDAAmD;IACnD,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,SAAS,IAAI,CAAC,CAAU;QACtB,IAAI,KAAK;YAAE,OAAO;QAClB,MAAM,aAAa,GAAG,UAAU,CAAC;QACjC,IAAI,MAAM,CAAC,CAAC,CAAC;YAAE,UAAU,GAAG,IAAI,CAAC;QACjC,IAAI,UAAU,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YAAC,KAAK,GAAG,IAAI,CAAC;YAAC,OAAO;QAAC,CAAC;QACpE,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;YAAE,OAAO;QAC/F,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACzB,UAAU,GAAG,aAAa,CAAC;IAC7B,CAAC;IACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,OAAO,GAAwB,IAAI,CAAC;IACxC,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACxE,IAAI,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QACvD,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,IAAa;IACnC,qEAAqE;IACrE,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAClE,OAAO,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAAC,IAAa;IACxC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;YAChE,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/ast/diffDeclarationShapes.d.ts

@@ -0,0 +1,16 @@
+import type { ExportDeclaration } from './extractExportDeclarations.js';
+export type ApiChangeKind = 'added' | 'removed' | 'modified' | 'renamed' | 'enum_member_added' | 'enum_member_removed' | 'param_required' | 'param_added' | 'param_removed' | 'return_type_changed' | 'interface_shape_changed' | 'type_changed' | 'reexport_changed';
+export type ApiRiskLevel = 'breaking' | 'risky' | 'safe';
+export interface DeclDiff {
+    name: string;
+    kind: ApiChangeKind;
+    risk: ApiRiskLevel;
+    reason: string;
+    structuralDiff: string[];
+    baseDecl?: ExportDeclaration;
+    currentDecl?: ExportDeclaration;
+}
+/**
+ * Diff two sets of export declarations. Returns classified changes.
+ */
+export declare function diffExportDeclarations(baseExports: ExportDeclaration[], currentExports: ExportDeclaration[]): DeclDiff[];

package/dist/ast/diffDeclarationShapes.js

@@ -0,0 +1,179 @@
+/**
+ * Diff two sets of export declarations. Returns classified changes.
+ */
+export function diffExportDeclarations(baseExports, currentExports) {
+    const diffs = [];
+    const baseMap = new Map(baseExports.map((e) => [e.name, e]));
+    const currentMap = new Map(currentExports.map((e) => [e.name, e]));
+    // Removed exports
+    for (const [name, base] of baseMap) {
+        if (!currentMap.has(name)) {
+            diffs.push({
+                name,
+                kind: 'removed',
+                risk: 'breaking',
+                reason: `Export "${name}" (${base.declarationKind}) was removed`,
+                structuralDiff: [`- ${base.signatureText.substring(0, 100)}`],
+                baseDecl: base,
+            });
+        }
+    }
+    // Added exports
+    for (const [name, current] of currentMap) {
+        if (!baseMap.has(name)) {
+            diffs.push({
+                name,
+                kind: 'added',
+                risk: 'safe',
+                reason: `New export "${name}" (${current.declarationKind})`,
+                structuralDiff: [`+ ${current.signatureText.substring(0, 100)}`],
+                currentDecl: current,
+            });
+        }
+    }
+    // Modified exports
+    for (const [name, current] of currentMap) {
+        const base = baseMap.get(name);
+        if (!base)
+            continue;
+        const changes = compareDeclarations(base, current);
+        if (changes.length > 0) {
+            const worstRisk = changes.reduce((worst, c) => {
+                if (c.risk === 'breaking')
+                    return 'breaking';
+                if (c.risk === 'risky' && worst !== 'breaking')
+                    return 'risky';
+                return worst;
+            }, 'safe');
+            diffs.push({
+                name,
+                kind: changes[0].kind,
+                risk: worstRisk,
+                reason: changes.map((c) => c.reason).join('; '),
+                structuralDiff: changes.flatMap((c) => c.diffs),
+                baseDecl: base,
+                currentDecl: current,
+            });
+        }
+    }
+    return diffs;
+}
+function compareDeclarations(base, current) {
+    const changes = [];
+    // Enum member comparison
+    if (base.declarationKind === 'enum' && current.declarationKind === 'enum') {
+        const baseMembers = new Set(base.members ?? []);
+        const currentMembers = new Set(current.members ?? []);
+        for (const m of currentMembers) {
+            if (!baseMembers.has(m)) {
+                changes.push({
+                    kind: 'enum_member_added',
+                    risk: 'risky',
+                    reason: `Enum member "${m}" added — exhaustive handling may be incomplete`,
+                    diffs: [`+ ${m}`],
+                });
+            }
+        }
+        for (const m of baseMembers) {
+            if (!currentMembers.has(m)) {
+                changes.push({
+                    kind: 'enum_member_removed',
+                    risk: 'breaking',
+                    reason: `Enum member "${m}" removed`,
+                    diffs: [`- ${m}`],
+                });
+            }
+        }
+        return changes;
+    }
+    // Interface member comparison
+    if (base.declarationKind === 'interface' && current.declarationKind === 'interface') {
+        const baseMembers = new Set(base.members ?? []);
+        const currentMembers = new Set(current.members ?? []);
+        for (const m of baseMembers) {
+            if (!currentMembers.has(m)) {
+                changes.push({
+                    kind: 'interface_shape_changed',
+                    risk: 'breaking',
+                    reason: `Interface property "${m}" removed`,
+                    diffs: [`- ${m}`],
+                });
+            }
+        }
+        for (const m of currentMembers) {
+            if (!baseMembers.has(m)) {
+                changes.push({
+                    kind: 'interface_shape_changed',
+                    risk: 'risky',
+                    reason: `Interface property "${m}" added`,
+                    diffs: [`+ ${m}`],
+                });
+            }
+        }
+        return changes;
+    }
+    // Function parameter comparison
+    if (base.declarationKind === 'function' && current.declarationKind === 'function') {
+        const baseParams = base.params ?? [];
+        const currentParams = current.params ?? [];
+        if (currentParams.length > baseParams.length) {
+            const added = currentParams.slice(baseParams.length);
+            for (const p of added) {
+                changes.push({
+                    kind: p.optional ? 'param_added' : 'param_required',
+                    risk: p.optional ? 'safe' : 'breaking',
+                    reason: p.optional
+                        ? `Optional parameter "${p.name}" added`
+                        : `Required parameter "${p.name}" added`,
+                    diffs: [`+ ${p.name}${p.optional ? '?' : ''}: ${p.type ?? 'unknown'}`],
+                });
+            }
+        }
+        if (currentParams.length < baseParams.length) {
+            const removed = baseParams.slice(currentParams.length);
+            for (const p of removed) {
+                changes.push({
+                    kind: 'param_removed',
+                    risk: 'breaking',
+                    reason: `Parameter "${p.name}" removed`,
+                    diffs: [`- ${p.name}: ${p.type ?? 'unknown'}`],
+                });
+            }
+        }
+        // Check optionality changes
+        for (let i = 0; i < Math.min(baseParams.length, currentParams.length); i++) {
+            if (baseParams[i].optional && !currentParams[i].optional) {
+                changes.push({
+                    kind: 'param_required',
+                    risk: 'breaking',
+                    reason: `Parameter "${currentParams[i].name}" became required (was optional)`,
+                    diffs: [`~ ${currentParams[i].name}?: → ${currentParams[i].name}:`],
+                });
+            }
+        }
+        // Return type change
+        if (base.returnType && current.returnType && base.returnType !== current.returnType) {
+            changes.push({
+                kind: 'return_type_changed',
+                risk: 'risky',
+                reason: `Return type changed: ${base.returnType} → ${current.returnType}`,
+                diffs: [`- returns: ${base.returnType}`, `+ returns: ${current.returnType}`],
+            });
+        }
+        return changes;
+    }
+    // Generic signature comparison (fallback)
+    if (base.signatureText !== current.signatureText) {
+        changes.push({
+            kind: 'modified',
+            risk: 'risky',
+            reason: `Declaration signature changed`,
+            diffs: [
+                `- ${base.signatureText.substring(0, 100)}`,
+                `+ ${current.signatureText.substring(0, 100)}`,
+            ],
+        });
+    }
+    return changes;
+}
+//# sourceMappingURL=diffDeclarationShapes.js.map

package/dist/ast/diffDeclarationShapes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diffDeclarationShapes.js","sourceRoot":"","sources":["../../src/ast/diffDeclarationShapes.ts"],"names":[],"mappings":"AA6BA;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,WAAgC,EAChC,cAAmC;IAEnC,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnE,kBAAkB;IAClB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;QACnC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI;gBACJ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,WAAW,IAAI,MAAM,IAAI,CAAC,eAAe,eAAe;gBAChE,cAAc,EAAE,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC7D,QAAQ,EAAE,IAAI;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gBAAgB;IAChB,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,UAAU,EAAE,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI;gBACJ,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,eAAe,IAAI,MAAM,OAAO,CAAC,eAAe,GAAG;gBAC3D,cAAc,EAAE,CAAC,KAAK,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;gBAChE,WAAW,EAAE,OAAO;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,UAAU,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;gBAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;oBAAE,OAAO,UAAU,CAAC;gBAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,KAAK,UAAU;oBAAE,OAAO,OAAO,CAAC;gBAC/D,OAAO,KAAK,CAAC;YACf,CAAC,EAAE,MAAsB,CAAC,CAAC;YAE3B,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI;gBACJ,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI;gBACrB,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC/C,cAAc,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;gBAC/C,QAAQ,EAAE,IAAI;gBACd,WAAW,EAAE,OAAO;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AASD,SAAS,mBAAmB,CAAC,IAAuB,EAAE,OAA0B;IAC9E,MAAM,OAAO,GAAmB,EAAE,CAAC;IAEnC,yBAAyB;IACzB,IAAI,IAAI,CAAC,eAAe,KAAK,MAAM,IAAI,OAAO,CAAC,eAAe,KAAK,MAAM,EAAE,CAAC;QAC1E,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAChD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAEtD,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,gBAAgB,CAAC,iDAAiD;oBAC1E,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,gBAAgB,CAAC,WAAW;oBACpC,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,8BAA8B;IAC9B,IAAI,IAAI,CAAC,eAAe,KAAK,WAAW,IAAI,OAAO,CAAC,eAAe,KAAK,WAAW,EAAE,CAAC;QACpF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAChD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAEtD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,yBAAyB;oBAC/B,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,uBAAuB,CAAC,WAAW;oBAC3C,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,yBAAyB;oBAC/B,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,uBAAuB,CAAC,SAAS;oBACzC,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,gCAAgC;IAChC,IAAI,IAAI,CAAC,eAAe,KAAK,UAAU,IAAI,OAAO,CAAC,eAAe,KAAK,UAAU,EAAE,CAAC;QAClF,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC;QAE3C,IAAI,aAAa,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACrD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACtB,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,gBAAgB;oBACnD,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU;oBACtC,MAAM,EAAE,CAAC,CAAC,QAAQ;wBAChB,CAAC,CAAC,uBAAuB,CAAC,CAAC,IAAI,SAAS;wBACxC,CAAC,CAAC,uBAAuB,CAAC,CAAC,IAAI,SAAS;oBAC1C,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;iBACvE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,aAAa,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YACvD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,cAAc,CAAC,CAAC,IAAI,WAAW;oBACvC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;iBAC/C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,4BAA4B;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3E,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;gBACzD,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,cAAc,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,kCAAkC;oBAC7E,KAAK,EAAE,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;iBACpE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,qBAAqB;QACrB,IAAI,IAAI,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;YACpF,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,qBAAqB;gBAC3B,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,wBAAwB,IAAI,CAAC,UAAU,MAAM,OAAO,CAAC,UAAU,EAAE;gBACzE,KAAK,EAAE,CAAC,cAAc,IAAI,CAAC,UAAU,EAAE,EAAE,cAAc,OAAO,CAAC,UAAU,EAAE,CAAC;aAC7E,CAAC,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,0CAA0C;IAC1C,IAAI,IAAI,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,+BAA+B;YACvC,KAAK,EAAE;gBACL,KAAK,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;gBAC3C,KAAK,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;aAC/C;SACF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/ast/extractExportDeclarations.d.ts

@@ -0,0 +1,21 @@
+import type { SgNode } from '@ast-grep/napi';
+export interface ExportDeclaration {
+    name: string;
+    declarationKind: 'function' | 'type' | 'interface' | 'enum' | 'class' | 'const' | 'variable' | 'reexport' | 'unknown';
+    line: number;
+    signatureText: string;
+    members?: string[];
+    params?: ParamInfo[];
+    returnType?: string;
+}
+export interface ParamInfo {
+    name: string;
+    type?: string;
+    optional: boolean;
+}
+/**
+ * AST-first export extraction with regex fallback for unsupported forms.
+ * When root is provided (non-null), uses ast-grep traversal.
+ * When root is null, falls back to regex over source lines.
+ */
+export declare function extractExportDeclarations(root: SgNode | null, source: string): ExportDeclaration[];