codesift-mcp 0.5.24 → 0.5.27

package/dist/parser/extractors/typescript.js

@@ -97,31 +97,72 @@ const REACT_COMPONENT_BASES = new Set([
     "Component", "PureComponent",
 ]);
 /**
- * Check if a class extends React.Component or React.PureComponent.
- * Handles: `extends Component`, `extends React.Component`, `extends PureComponent`.
+ * Strip type arguments, expand intersection/union, preserve qualified names.
+ * Returns string[] (not string|null) so intersection/union types expand to
+ * multiple elements via flatMap at the call site. AC #6 normalization rule:
+ *   - identifier → ["Foo"]   (extends Foo — runtime value position)
+ *   - type_identifier → ["I"]   (implements I — type position)
+ *   - member_expression / nested_type_identifier → ["ns.Base"] (qualified preserved)
+ *   - generic_type → recurse into name field, drop type_arguments → ["Box"]
+ *   - intersection_type / union_type → flatMap across members → ["A", "B"]
+ *
+ * IMPORTANT: tree-sitter-typescript parses `extends Foo` as `identifier` NOT
+ * `type_identifier`. Without the identifier case, all standard ES6 inheritance
+ * is silently dropped (gemini adversarial pre-execute finding).
  */
-function isReactClassComponent(node) {
-    // Look for extends clause: class_heritage → extends_clause → type_identifier or member_expression
+function extractHeritageNames(node) {
+    if (node.type === "identifier")
+        return [node.text];
+    if (node.type === "type_identifier")
+        return [node.text];
+    // member_expression / nested_type_identifier text is `ns.Base`. Strip any
+    // whitespace defensively — uncommon but legal in source like `extends ns . Base`.
+    if (node.type === "member_expression" || node.type === "nested_type_identifier") {
+        return [node.text.replace(/\s+/g, "")];
+    }
+    if (node.type === "generic_type") {
+        const innerType = node.childForFieldName("name") ?? node.namedChildren[0];
+        return innerType ? extractHeritageNames(innerType) : [];
+    }
+    if (node.type === "intersection_type" || node.type === "union_type") {
+        return node.namedChildren.flatMap((child) => extractHeritageNames(child));
+    }
+    return [];
+}
+/** Walk class_heritage and return separate extends/implements lists. */
+function getClassHeritage(node) {
+    const extendsList = [];
+    const implementsList = [];
     for (const child of node.namedChildren) {
-        if (child.type === "class_heritage") {
-            for (const clause of child.namedChildren) {
-                if (clause.type === "extends_clause") {
-                    const superclass = clause.namedChildren[0];
-                    if (!superclass)
-                        continue;
-                    // extends Component / extends PureComponent
-                    if (superclass.type === "identifier" && REACT_COMPONENT_BASES.has(superclass.text))
-                        return true;
-                    // extends React.Component / extends React.PureComponent
-                    if (superclass.type === "member_expression") {
-                        const prop = superclass.childForFieldName("property");
-                        if (prop && REACT_COMPONENT_BASES.has(prop.text))
-                            return true;
-                    }
-                }
+        if (child.type !== "class_heritage")
+            continue;
+        for (const clause of child.namedChildren) {
+            const target = clause.type === "extends_clause" ? extendsList :
+                clause.type === "implements_clause" ? implementsList : null;
+            if (!target)
+                continue;
+            for (const typeNode of clause.namedChildren) {
+                target.push(...extractHeritageNames(typeNode));
             }
         }
     }
+    return { extends: extendsList, implements: implementsList };
+}
+/**
+ * Check if a class extends React.Component or React.PureComponent.
+ * Uses getClassHeritage (shared helper) — NO duplicate AST walk (CQ14).
+ */
+function isReactClassComponent(node) {
+    const { extends: extendsList } = getClassHeritage(node);
+    for (const name of extendsList) {
+        // "Component" / "PureComponent" — bare identifier match
+        if (REACT_COMPONENT_BASES.has(name))
+            return true;
+        // "React.Component" / "React.PureComponent" — qualified match
+        const lastDot = name.lastIndexOf(".");
+        if (lastDot >= 0 && REACT_COMPONENT_BASES.has(name.slice(lastDot + 1)))
+            return true;
+    }
     return false;
 }
 /**
@@ -267,10 +308,18 @@ function getSignature(node, source) {
     const params = node.childForFieldName("parameters");
     if (!params)
         return undefined;
-    let sig = source.slice(params.startIndex, params.endIndex);
+    let sig = "";
+    // Generics: `<T extends Foo, U = string>` — prepend before parameters when present.
+    const typeParams = node.childForFieldName("type_parameters");
+    if (typeParams) {
+        sig += source.slice(typeParams.startIndex, typeParams.endIndex);
+    }
+    sig += source.slice(params.startIndex, params.endIndex);
+    // return_type field already includes the leading `:` (it points to a
+    // type_annotation node containing colon + type) — no `: ` prefix here.
     const returnType = node.childForFieldName("return_type");
     if (returnType) {
-        sig += ": " + source.slice(returnType.startIndex, returnType.endIndex);
+        sig += source.slice(returnType.startIndex, returnType.endIndex);
     }
     return sig;
 }
@@ -287,22 +336,270 @@ function getTestName(node) {
     }
     return firstArg.text;
 }
+/**
+ * Recognize the LHS of a CommonJS exports assignment.
+ *
+ * Returns:
+ *   { kind: "module_exports", property: null }            for `module.exports = ...`
+ *   { kind: "module_exports", property: "foo" }           for `module.exports.foo = ...`
+ *   { kind: "exports", property: "foo" }                  for `exports.foo = ...`
+ *   null                                                  for any other LHS
+ */
+function parseCjsLhs(lhs) {
+    if (lhs.type !== "member_expression")
+        return null;
+    const obj = lhs.childForFieldName("object");
+    const prop = lhs.childForFieldName("property");
+    if (!obj || !prop)
+        return null;
+    // exports.foo
+    if (obj.type === "identifier" && obj.text === "exports") {
+        return { kind: "exports", property: prop.text };
+    }
+    // module.exports = ...
+    if (obj.type === "identifier" && obj.text === "module" && prop.text === "exports") {
+        return { kind: "module_exports", property: null };
+    }
+    // module.exports.foo = ...
+    if (obj.type === "member_expression") {
+        const innerObj = obj.childForFieldName("object");
+        const innerProp = obj.childForFieldName("property");
+        if (innerObj?.type === "identifier" && innerObj.text === "module" &&
+            innerProp?.text === "exports") {
+            return { kind: "module_exports", property: prop.text };
+        }
+    }
+    return null;
+}
+/** Pick a SymbolKind for the RHS of a CJS property assignment. */
+function cjsValueKind(value, name) {
+    if (value.type === "arrow_function" || value.type === "function_expression") {
+        return classifyReactKind(name, value);
+    }
+    if (value.type === "class_expression")
+        return "class";
+    if (SCREAMING_CASE_RE.test(name))
+        return "constant";
+    return "variable";
+}
+/**
+ * Handle a CommonJS exports assignment. Returns true when the assignment was
+ * recognized as a CJS export pattern (caller should `return` and skip default
+ * walking), false when the assignment is unrelated.
+ *
+ * Behavior:
+ *   - `module.exports = identifier`        → defer: tag matching symbol in post-pass
+ *   - `module.exports = { foo, bar }`      → defer shorthand keys; emit pair-with-fn keys
+ *   - `module.exports = arrow|function|class` → emit `default_export` symbol
+ *   - `module.exports.foo = expr`          → emit `foo` symbol with is_exported=true
+ *   - `exports.foo = expr`                 → emit `foo` symbol with is_exported=true
+ */
+function handleCjsExport(assign, stmt, parentId, source, filePath, repo, out, cjsExported) {
+    const lhs = assign.childForFieldName("left");
+    const rhs = assign.childForFieldName("right");
+    if (!lhs || !rhs)
+        return false;
+    const target = parseCjsLhs(lhs);
+    if (!target)
+        return false;
+    // module.exports.<X> / exports.<X>  → emit a fresh exported symbol for X
+    if (target.property) {
+        const name = target.property;
+        const kind = cjsValueKind(rhs, name);
+        out.push(makeSymbol(stmt, name, kind, filePath, source, repo, {
+            parentId,
+            docstring: getDocstring(stmt, source),
+            signature: (rhs.type === "arrow_function" || rhs.type === "function_expression")
+                ? getSignature(rhs, source) : undefined,
+            is_exported: true,
+        }));
+        cjsExported.add(name);
+        return true;
+    }
+    // module.exports = ...
+    switch (rhs.type) {
+        case "identifier": {
+            // Defer to post-pass: tag the matching declaration.
+            cjsExported.add(rhs.text);
+            return true;
+        }
+        case "object": {
+            for (const member of rhs.namedChildren) {
+                if (member.type === "shorthand_property_identifier") {
+                    cjsExported.add(member.text);
+                }
+                else if (member.type === "pair") {
+                    const keyNode = member.childForFieldName("key");
+                    const valNode = member.childForFieldName("value");
+                    if (!keyNode || !valNode)
+                        continue;
+                    const keyName = keyNode.text.replace(/^['"`]|['"`]$/g, "");
+                    if (valNode.type === "identifier") {
+                        // { foo: someFn } — defer; tag someFn AND keyName both as exported.
+                        cjsExported.add(valNode.text);
+                        cjsExported.add(keyName);
+                    }
+                    else if (valNode.type === "arrow_function" || valNode.type === "function_expression") {
+                        // { handler: () => {} } — emit a fresh exported symbol under keyName
+                        const kind = classifyReactKind(keyName, valNode);
+                        out.push(makeSymbol(member, keyName, kind, filePath, source, repo, {
+                            parentId,
+                            signature: getSignature(valNode, source),
+                            is_exported: true,
+                        }));
+                    }
+                }
+            }
+            return true;
+        }
+        case "arrow_function":
+        case "function_expression":
+        case "class_expression": {
+            // Anonymous default export: `module.exports = () => {}`
+            out.push(makeSymbol(stmt, "default", "default_export", filePath, source, repo, {
+                parentId,
+                signature: (rhs.type === "arrow_function" || rhs.type === "function_expression")
+                    ? getSignature(rhs, source) : undefined,
+                is_exported: true,
+            }));
+            return true;
+        }
+        default:
+            // Unknown RHS shape (call_expression, member_expression, etc.) —
+            // not a recognized CJS pattern, fall through to default handling.
+            return false;
+    }
+}
+/**
+ * Extract method-shaped members from an object literal `{ foo() {}, bar: () => {} }`.
+ * Mutates `symbols` in place so the caller (lexical_declaration handler) can keep
+ * its short-circuit `return` without losing object-method visibility.
+ *
+ * Handles two shapes commonly used as JS controller / handler objects:
+ *   - method shorthand:  { create() { ... } }            → method_definition
+ *   - arrow assignment:  { onClick: () => {...} }        → pair(arrow_function)
+ *   - function value:    { handler: function(){...} }    → pair(function_expression)
+ */
+function extractObjectLiteralMethods(objectNode, parentId, source, filePath, repo, out) {
+    for (const child of objectNode.namedChildren) {
+        if (child.type === "method_definition") {
+            const methodName = getNodeName(child);
+            if (!methodName)
+                continue;
+            out.push(makeSymbol(child, methodName, "method", filePath, source, repo, {
+                parentId,
+                signature: getSignature(child, source),
+            }));
+            continue;
+        }
+        if (child.type === "pair") {
+            const keyNode = child.childForFieldName("key");
+            const valNode = child.childForFieldName("value");
+            if (!keyNode || !valNode)
+                continue;
+            if (valNode.type !== "arrow_function" && valNode.type !== "function_expression")
+                continue;
+            const methodName = keyNode.text.replace(/^['"`]|['"`]$/g, "");
+            // Honor React conventions even on object members (e.g. an exported
+            // hooks object): use[A-Z] → hook, PascalCase + JSX → component.
+            const kind = classifyReactKind(methodName, valNode);
+            out.push(makeSymbol(child, methodName, kind === "function" ? "method" : kind, filePath, source, repo, {
+                parentId,
+                signature: getSignature(valNode, source),
+            }));
+        }
+    }
+}
 // --- Main extractor ---
+/** True if the declaration has an `export` keyword child (modifier-based export). */
+function hasExportModifier(node) {
+    for (const child of node.children) {
+        if (child.type === "export")
+            return true;
+    }
+    return false;
+}
+/** True if the function/method/arrow has an `async` keyword child. */
+function hasAsyncModifier(node) {
+    for (const child of node.children) {
+        if (child.type === "async")
+            return true;
+    }
+    return false;
+}
+/** Modifier keyword tokens recognized for methods and fields, in two forms:
+ *   - bare keyword child (e.g., `static`, `readonly`, `abstract`, `declare`)
+ *   - wrapper named node (e.g., `override_modifier` containing the `override` keyword,
+ *     `accessibility_modifier` containing `public`/`private`/`protected`)
+ * Order in the resulting array follows source-token order for stability. */
+const MODIFIER_KEYWORD_TOKENS = new Set([
+    "static", "abstract", "readonly", "declare",
+]);
+/** Collect modifier keywords from a method_definition / field_definition node.
+ * Handles bare keyword tokens AND named wrapper nodes. Order: source order. */
+function getModifiers(node) {
+    const mods = [];
+    for (const child of node.children) {
+        if (MODIFIER_KEYWORD_TOKENS.has(child.type)) {
+            mods.push(child.type);
+        }
+        else if (child.type === "accessibility_modifier") {
+            mods.push(child.text); // "public" | "private" | "protected"
+        }
+        else if (child.type === "override_modifier") {
+            mods.push("override");
+        }
+    }
+    return mods;
+}
+/** Detect getter/setter/auto-accessor kind on method_definition.
+ * Returns "get" | "set" | "accessor" | undefined. */
+function getAccessorKind(node) {
+    // tree-sitter-typescript exposes `get`/`set` as keyword tokens directly under
+    // method_definition. TS 4.9 `accessor` keyword for auto-accessor fields lives
+    // similarly. Scan children for the first matching token.
+    for (const child of node.children) {
+        if (child.type === "get")
+            return "get";
+        if (child.type === "set")
+            return "set";
+        if (child.type === "accessor")
+            return "accessor";
+    }
+    return undefined;
+}
 export function extractTypeScriptSymbols(tree, filePath, source, repo) {
     const symbols = [];
-    function walk(node, parentId) {
+    const localReExported = new Set();
+    // CommonJS exports — names referenced by `module.exports = X` or
+    // `module.exports = { foo, bar }`. Resolved in a post-pass against
+    // already-emitted symbols so a `function foo(){}` declared earlier in the
+    // file gets its `is_exported` flag set when the exports assignment is seen.
+    const cjsExported = new Set();
+    function walk(node, parentId, isExported = false) {
         switch (node.type) {
-            case "function_declaration": {
+            case "function_declaration":
+            case "generator_function_declaration":
+            case "function_signature": {
+                // function_signature: ambient declaration body — `declare function foo(): void`
+                // and `declare module "x" { export function bar(): void }`. Same shape as
+                // function_declaration for our purposes (name field + parameters + return_type).
                 const name = getNodeName(node);
                 if (name) {
                     // React detection: hook (useX) or component (PascalCase + JSX return)
                     const kind = classifyReactKind(name, node);
                     const decorators = getDecorators(node);
+                    const exported = isExported || hasExportModifier(node);
+                    const isAsync = hasAsyncModifier(node);
+                    const isGenerator = node.type === "generator_function_declaration";
                     const sym = makeSymbol(node, name, kind, filePath, source, repo, {
                         parentId,
                         docstring: getDocstring(node, source),
                         signature: getSignature(node, source),
                         decorators: decorators.length > 0 ? decorators : undefined,
+                        is_async: isAsync ? true : undefined,
+                        is_exported: exported ? true : undefined,
+                        meta: isGenerator ? { generator: true } : undefined,
                     });
                     symbols.push(sym);
                 }
@@ -311,6 +608,7 @@ export function extractTypeScriptSymbols(tree, filePath, source, repo) {
             case "lexical_declaration": {
                 // Determine if this is a `const` declaration (vs let/var)
                 const isConst = node.children.some((c) => c.type === "const");
+                const exported = isExported || hasExportModifier(node);
                 for (const declarator of node.namedChildren) {
                     if (declarator.type !== "variable_declarator")
                         continue;
@@ -321,10 +619,13 @@ export function extractTypeScriptSymbols(tree, filePath, source, repo) {
                     if (value && value.type === "arrow_function") {
                         // React detection: hook or component
                         const kind = classifyReactKind(name, value);
+                        const isAsync = hasAsyncModifier(value);
                         const sym = makeSymbol(node, name, kind, filePath, source, repo, {
                             parentId,
                             docstring: getDocstring(node, source),
                             signature: getSignature(value, source),
+                            is_async: isAsync ? true : undefined,
+                            is_exported: exported ? true : undefined,
                         });
                         symbols.push(sym);
                     }
@@ -346,6 +647,7 @@ export function extractTypeScriptSymbols(tree, filePath, source, repo) {
                             parentId,
                             docstring: getDocstring(node, source),
                             signature: innerFn ? getSignature(innerFn, source) : undefined,
+                            is_exported: exported ? true : undefined,
                         });
                         symbols.push(sym);
                     }
@@ -355,6 +657,24 @@ export function extractTypeScriptSymbols(tree, filePath, source, repo) {
                         const sym = makeSymbol(node, name, kind, filePath, source, repo, {
                             parentId,
                             docstring: getDocstring(node, source),
+                            is_exported: exported ? true : undefined,
+                        });
+                        symbols.push(sym);
+                        // Object literal: extract methods so `const ctrl = { create() {} }`
+                        // surfaces `create` as a method parented to `ctrl`. Common in
+                        // older Node.js / Express controllers and config objects.
+                        if (value.type === "object") {
+                            extractObjectLiteralMethods(value, sym.id, source, filePath, repo, symbols);
+                        }
+                    }
+                    else {
+                        // No value (e.g., `declare const X: number;` inside ambient_declaration).
+                        // Still emit a symbol so the declaration is searchable.
+                        const kind = isConst && SCREAMING_CASE_RE.test(name) ? "constant" : "variable";
+                        const sym = makeSymbol(node, name, kind, filePath, source, repo, {
+                            parentId,
+                            docstring: getDocstring(node, source),
+                            is_exported: exported ? true : undefined,
                         });
                         symbols.push(sym);
                     }
@@ -368,10 +688,15 @@ export function extractTypeScriptSymbols(tree, filePath, source, repo) {
                 // React class component: class Foo extends Component / React.Component / PureComponent
                 const kind = isReactClassComponent(node) ? "component" : "class";
                 const decorators = getDecorators(node);
+                const exported = isExported || hasExportModifier(node);
+                const heritage = getClassHeritage(node);
                 const sym = makeSymbol(node, name, kind, filePath, source, repo, {
                     parentId,
                     docstring: getDocstring(node, source),
                     decorators: decorators.length > 0 ? decorators : undefined,
+                    extends: heritage.extends.length > 0 ? heritage.extends : undefined,
+                    implements: heritage.implements.length > 0 ? heritage.implements : undefined,
+                    is_exported: exported ? true : undefined,
                 });
                 // Walk class body with this class as parent (before trimming so children get full source)
                 for (const child of node.namedChildren) {
@@ -387,11 +712,19 @@ export function extractTypeScriptSymbols(tree, filePath, source, repo) {
                 const name = getNodeName(node);
                 if (name) {
                     const decorators = getDecorators(node);
+                    const modifiers = getModifiers(node);
+                    // abstract methods always carry "abstract" by syntax — ensure it's recorded
+                    if (!modifiers.includes("abstract"))
+                        modifiers.push("abstract");
+                    const meta = {};
+                    if (modifiers.length > 0)
+                        meta.modifiers = modifiers;
                     const sym = makeSymbol(node, name, "method", filePath, source, repo, {
                         parentId,
                         docstring: getDocstring(node, source),
                         signature: getSignature(node, source),
                         decorators: decorators.length > 0 ? decorators : undefined,
+                        meta: Object.keys(meta).length > 0 ? meta : undefined,
                     });
                     symbols.push(sym);
                 }
@@ -401,35 +734,74 @@ export function extractTypeScriptSymbols(tree, filePath, source, repo) {
                 const name = getNodeName(node);
                 if (name) {
                     const decorators = getDecorators(node);
+                    const isAsync = hasAsyncModifier(node);
+                    const modifiers = getModifiers(node);
+                    const accessorKind = getAccessorKind(node);
+                    const meta = {};
+                    if (modifiers.length > 0)
+                        meta.modifiers = modifiers;
+                    if (accessorKind)
+                        meta.accessor_kind = accessorKind;
                     const sym = makeSymbol(node, name, "method", filePath, source, repo, {
                         parentId,
                         docstring: getDocstring(node, source),
                         signature: getSignature(node, source),
                         decorators: decorators.length > 0 ? decorators : undefined,
+                        is_async: isAsync ? true : undefined,
+                        meta: Object.keys(meta).length > 0 ? meta : undefined,
                     });
                     symbols.push(sym);
                 }
                 break;
             }
-            case "public_field_definition": {
-                const name = getNodeName(node);
+            case "public_field_definition":
+            case "field_definition": {
+                // public_field_definition: TS class fields with modifiers
+                // field_definition: JS class fields (incl. private #name, static)
+                // The `name` field works for both; tree-sitter-javascript exposes the
+                // identifier (or private_property_identifier) under `property` for JS,
+                // but childForFieldName("name") falls back to "property" via getNodeName.
+                const nameNode = node.childForFieldName("name") ?? node.childForFieldName("property");
+                const name = nameNode?.text;
                 if (name) {
                     const decorators = getDecorators(node);
+                    const modifiers = getModifiers(node);
+                    // Auto-accessor field: TS 4.9 `accessor x = ...` parses as a field with `accessor` keyword
+                    const accessorKind = getAccessorKind(node);
+                    const meta = {};
+                    if (modifiers.length > 0)
+                        meta.modifiers = modifiers;
+                    if (accessorKind)
+                        meta.accessor_kind = accessorKind;
                     const sym = makeSymbol(node, name, "field", filePath, source, repo, {
                         parentId,
                         docstring: getDocstring(node, source),
                         decorators: decorators.length > 0 ? decorators : undefined,
+                        meta: Object.keys(meta).length > 0 ? meta : undefined,
                     });
                     symbols.push(sym);
                 }
                 break;
             }
+            case "class_static_block": {
+                // class Foo { static { ... } } — JS 2022, no name. Emit as a method
+                // named "<static>" so it shows up under the class in outlines without
+                // colliding with user-named methods.
+                const sym = makeSymbol(node, "<static>", "method", filePath, source, repo, {
+                    parentId,
+                    docstring: getDocstring(node, source),
+                });
+                symbols.push(sym);
+                break;
+            }
             case "interface_declaration": {
                 const name = getNodeName(node);
                 if (name) {
+                    const exported = isExported || hasExportModifier(node);
                     const sym = makeSymbol(node, name, "interface", filePath, source, repo, {
                         parentId,
                         docstring: getDocstring(node, source),
+                        is_exported: exported ? true : undefined,
                     });
                     symbols.push(sym);
                 }
@@ -438,33 +810,203 @@ export function extractTypeScriptSymbols(tree, filePath, source, repo) {
             case "type_alias_declaration": {
                 const name = getNodeName(node);
                 if (name) {
+                    const exported = isExported || hasExportModifier(node);
                     const sym = makeSymbol(node, name, "type", filePath, source, repo, {
                         parentId,
                         docstring: getDocstring(node, source),
+                        is_exported: exported ? true : undefined,
                     });
                     symbols.push(sym);
                 }
                 break;
             }
+            case "internal_module":
+            case "module": {
+                // L2/L12: `namespace M {}`, `module M {}`, OR `module "x" {}` (when nested
+                // inside ambient_declaration → declare module "x" {}).
+                // Name field: identifier for namespace, string for ambient module.
+                const nameNode = node.childForFieldName("name");
+                let nsName = null;
+                if (nameNode) {
+                    nsName = nameNode.type === "string"
+                        ? nameNode.text.replace(/^['"`]|['"`]$/g, "")
+                        : nameNode.text;
+                }
+                else {
+                    // Fallback: scan named children for identifier or string
+                    for (const c of node.namedChildren) {
+                        if (c.type === "identifier") {
+                            nsName = c.text;
+                            break;
+                        }
+                        if (c.type === "string") {
+                            nsName = c.text.replace(/^['"`]|['"`]$/g, "");
+                            break;
+                        }
+                    }
+                }
+                if (nsName) {
+                    const exported = isExported || hasExportModifier(node);
+                    const sym = makeSymbol(node, nsName, "namespace", filePath, source, repo, {
+                        parentId,
+                        docstring: getDocstring(node, source),
+                        is_exported: exported ? true : undefined,
+                    });
+                    symbols.push(sym);
+                    // Walk body so nested function/class/interface declarations are parented
+                    const body = node.childForFieldName("body")
+                        ?? node.namedChildren.find((c) => c.type === "statement_block");
+                    if (body) {
+                        for (const child of body.namedChildren) {
+                            walk(child, sym.id, exported);
+                        }
+                    }
+                }
+                return;
+            }
+            case "ambient_declaration": {
+                // L12: `declare const X`, `declare module "x" {}`, `declare class Y {}`, etc.
+                // Rule: ambient module declarations with STRING-literal name are intrinsically
+                // module-public; force is_exported=true via the special case below. For other
+                // `declare X` forms, propagate isExported || hasExportModifier(node).
+                const ambientExported = isExported || hasExportModifier(node);
+                for (const child of node.namedChildren) {
+                    // Detect `declare module "x"` — child is `module` with a string-literal name
+                    const isStringNamedModule = child.type === "module"
+                        && (child.childForFieldName("name")?.type === "string"
+                            || child.namedChildren.some((c) => c.type === "string"));
+                    walk(child, parentId, ambientExported || isStringNamedModule);
+                }
+                return;
+            }
             case "enum_declaration": {
                 const name = getNodeName(node);
                 if (name) {
+                    const exported = isExported || hasExportModifier(node);
                     const sym = makeSymbol(node, name, "enum", filePath, source, repo, {
                         parentId,
                         docstring: getDocstring(node, source),
+                        is_exported: exported ? true : undefined,
                     });
                     symbols.push(sym);
+                    // Walk enum_body to emit members as `constant` parented to the enum.
+                    // children: enum_assignment (named member with value) | property_identifier
+                    const body = node.childForFieldName("body");
+                    if (body) {
+                        for (const child of body.namedChildren) {
+                            let memberName = null;
+                            if (child.type === "enum_assignment") {
+                                memberName = getNodeName(child);
+                            }
+                            else if (child.type === "property_identifier") {
+                                memberName = child.text;
+                            }
+                            if (memberName) {
+                                symbols.push(makeSymbol(child, memberName, "constant", filePath, source, repo, {
+                                    parentId: sym.id,
+                                }));
+                            }
+                        }
+                    }
                 }
-                break;
+                return; // body already walked; do not let default child-walk re-enter
             }
             case "export_statement": {
-                // Unwrap: extract from the inner declaration
+                const source_field = node.childForFieldName("source");
+                if (source_field) {
+                    // Re-export from module: `export { X as Y } from "./m"` or `export * as ns from "./m"`
+                    for (const child of node.namedChildren) {
+                        if (child.type === "export_clause") {
+                            for (const spec of child.namedChildren) {
+                                if (spec.type === "export_specifier") {
+                                    const aliasNode = spec.childForFieldName("alias");
+                                    const nameNode = spec.childForFieldName("name");
+                                    const emitName = (aliasNode ?? nameNode)?.text;
+                                    if (emitName) {
+                                        symbols.push(makeSymbol(spec, emitName, "variable", filePath, source, repo, {
+                                            parentId,
+                                            is_exported: true,
+                                        }));
+                                    }
+                                }
+                            }
+                        }
+                        else if (child.type === "namespace_export") {
+                            // export * as ns from "./m"
+                            for (const c of child.namedChildren) {
+                                if (c.type === "identifier") {
+                                    symbols.push(makeSymbol(child, c.text, "namespace", filePath, source, repo, {
+                                        parentId,
+                                        is_exported: true,
+                                    }));
+                                }
+                            }
+                        }
+                    }
+                    return;
+                }
+                // Local re-export `export { X }` — collect names for post-pass
+                for (const child of node.namedChildren) {
+                    if (child.type === "export_clause") {
+                        for (const spec of child.namedChildren) {
+                            if (spec.type === "export_specifier") {
+                                const nameNode = spec.childForFieldName("name");
+                                if (nameNode)
+                                    localReExported.add(nameNode.text);
+                            }
+                        }
+                    }
+                }
+                // L11: Anonymous default export — `export default function() {}` /
+                //   `export default class {}` / `export default () => <div/>`. Such
+                //   children have no `name` field; without synth, the named-children
+                //   walk-through silently drops them. Detect via presence of `default`
+                //   keyword child + an unnamed function/class/arrow expression child.
+                const isDefaultExport = node.children.some((c) => c.type === "default");
+                if (isDefaultExport) {
+                    for (const child of node.namedChildren) {
+                        const isAnon = (child.type === "function_expression" || child.type === "class" || child.type === "class_declaration" || child.type === "function_declaration" || child.type === "generator_function_declaration" || child.type === "arrow_function")
+                            && !getNodeName(child);
+                        if (isAnon) {
+                            // For JSX-returning anonymous defaults, also flag is_react_component
+                            // so React-aware tools can still find them. Spec AC #10 mandates
+                            // kind:"default_export" regardless.
+                            const meta = {};
+                            if (returnsJSX(child))
+                                meta.is_react_component = true;
+                            const sym = makeSymbol(node, "default", "default_export", filePath, source, repo, {
+                                parentId,
+                                is_exported: true,
+                                signature: child.type !== "class" && child.type !== "class_declaration"
+                                    ? getSignature(child, source) : undefined,
+                                meta: Object.keys(meta).length > 0 ? meta : undefined,
+                            });
+                            symbols.push(sym);
+                            return;
+                        }
+                    }
+                }
+                // Walk children with isExported=true so wrapped declarations get tagged
                 for (const child of node.namedChildren) {
-                    walk(child, parentId);
+                    walk(child, parentId, true);
                 }
                 return;
             }
             case "expression_statement": {
+                // CommonJS export detection (JS-only in practice — TS files use ESM):
+                //   module.exports = X
+                //   module.exports = { foo, bar }
+                //   module.exports.foo = expr
+                //   exports.foo = expr
+                // Order matters: check CJS before test-call branch since both peek at
+                // namedChildren[0]; CJS is `assignment_expression` and tests are
+                // `call_expression` so they're disjoint and either can return early.
+                const firstChild = node.namedChildren[0];
+                if (firstChild?.type === "assignment_expression") {
+                    const handled = handleCjsExport(firstChild, node, parentId, source, filePath, repo, symbols, cjsExported);
+                    if (handled)
+                        return;
+                }
                 // Check for test calls: describe(...), it(...), test(...)
                 // Also handles member forms: it.skip(...), it.each(...)(...), describe.only(...)
                 const expr = node.namedChildren[0];
@@ -524,10 +1066,43 @@ export function extractTypeScriptSymbols(tree, filePath, source, repo) {
         }
         // Default: walk children
         for (const child of node.namedChildren) {
-            walk(child, parentId);
+            walk(child, parentId, isExported);
+        }
+    }
+    // ERROR-node warning: emit a single warn line per file so silent grammar
+    // mismatches (e.g., a syntax the bundled WASM doesn't understand) are
+    // visible without crashing the index. Decorator metadata or other affected
+    // symbols may be incomplete; this is an observability hook, not a hard fail.
+    // Note: web-tree-sitter exposes `hasError` as a getter (boolean property),
+    // not a method — accessing as property is correct.
+    if (tree.rootNode.hasError) {
+        console.warn(`[ts-extractor] grammar errors detected in ${filePath}; some symbols may be incomplete`);
+    }
+    // Top-level walk guard: catch RangeError ("Maximum call stack") on extremely
+    // deep ASTs (e.g., 50k+ node bundled .d.ts files). Returns the partial
+    // symbol list rather than crashing the entire index_folder run. Iterative
+    // walk is deferred to v2 — partial extraction is acceptable for v1.
+    try {
+        walk(tree.rootNode);
+    }
+    catch (err) {
+        if (err instanceof RangeError && /Maximum call stack/i.test(err.message)) {
+            console.warn(`[ts-extractor] stack overflow on ${filePath}; returning ${symbols.length} partial symbols`);
+            return symbols;
+        }
+        throw err;
+    }
+    // Post-pass: local re-exports `export { X }` and CommonJS exports both
+    // mark prior-declared symbols as exported. Merged into a single Set so we
+    // walk the symbol list at most once.
+    if (localReExported.size > 0 || cjsExported.size > 0) {
+        const exportedNames = new Set([...localReExported, ...cjsExported]);
+        for (const sym of symbols) {
+            if (!sym.is_exported && exportedNames.has(sym.name)) {
+                sym.is_exported = true;
+            }
         }
     }
-    walk(tree.rootNode);
     return symbols;
 }
 //# sourceMappingURL=typescript.js.map