@duytransipher/gitnexus 1.4.6-sipher.0

package/dist/core/ingestion/type-extractors/typescript.js

@@ -0,0 +1,494 @@
+import { extractSimpleTypeName, extractVarName, hasTypeAnnotation, unwrapAwait, extractCalleeName, extractElementTypeFromString, extractGenericTypeArgs, resolveIterableElementType, methodToTypeArgPosition } from './shared.js';
+const DECLARATION_NODE_TYPES = new Set([
+    'lexical_declaration',
+    'variable_declaration',
+    'function_declaration', // JSDoc @param on function declarations
+    'method_definition', // JSDoc @param on class methods
+    'public_field_definition', // class field: private users: User[]
+]);
+const normalizeJsDocType = (raw) => {
+    let type = raw.trim();
+    // Strip JSDoc nullable/non-nullable prefixes: ?User → User, !User → User
+    if (type.startsWith('?') || type.startsWith('!'))
+        type = type.slice(1);
+    // Strip union with null/undefined/void: User|null → User
+    const parts = type.split('|').map(p => p.trim()).filter(p => p !== 'null' && p !== 'undefined' && p !== 'void');
+    if (parts.length !== 1)
+        return undefined; // ambiguous union
+    type = parts[0];
+    // Strip module: prefix — module:models.User → models.User
+    if (type.startsWith('module:'))
+        type = type.slice(7);
+    // Take last segment of dotted path: models.User → User
+    const segments = type.split('.');
+    type = segments[segments.length - 1];
+    // Strip generic wrapper: Promise<User> → Promise (base type, not inner)
+    const genericMatch = type.match(/^(\w+)\s*</);
+    if (genericMatch)
+        type = genericMatch[1];
+    // Simple identifier check
+    if (/^\w+$/.test(type))
+        return type;
+    return undefined;
+};
+/** Regex to extract JSDoc @param annotations: `@param {Type} name` */
+const JSDOC_PARAM_RE = /@param\s*\{([^}]+)\}\s+\[?(\w+)[\]=]?[^\s]*/g;
+/**
+ * Collect JSDoc @param type bindings from comment nodes preceding a function/method.
+ * Returns a map of paramName → typeName.
+ */
+const collectJsDocParams = (funcNode) => {
+    const commentTexts = [];
+    let sibling = funcNode.previousSibling;
+    while (sibling) {
+        if (sibling.type === 'comment') {
+            commentTexts.unshift(sibling.text);
+        }
+        else if (sibling.isNamed && sibling.type !== 'decorator') {
+            break;
+        }
+        sibling = sibling.previousSibling;
+    }
+    if (commentTexts.length === 0)
+        return new Map();
+    const params = new Map();
+    const commentBlock = commentTexts.join('\n');
+    JSDOC_PARAM_RE.lastIndex = 0;
+    let match;
+    while ((match = JSDOC_PARAM_RE.exec(commentBlock)) !== null) {
+        const typeName = normalizeJsDocType(match[1]);
+        const paramName = match[2];
+        if (typeName) {
+            params.set(paramName, typeName);
+        }
+    }
+    return params;
+};
+/**
+ * TypeScript: const x: Foo = ..., let x: Foo
+ * Also: JSDoc @param annotations on function/method definitions (for .js files).
+ */
+const extractDeclaration = (node, env) => {
+    // JSDoc @param on functions/methods — pre-populate env with param types
+    if (node.type === 'function_declaration' || node.type === 'method_definition') {
+        const jsDocParams = collectJsDocParams(node);
+        for (const [paramName, typeName] of jsDocParams) {
+            if (!env.has(paramName))
+                env.set(paramName, typeName);
+        }
+        return;
+    }
+    // Class field: `private users: User[]` — public_field_definition has name + type fields directly.
+    if (node.type === 'public_field_definition') {
+        const nameNode = node.childForFieldName('name');
+        const typeAnnotation = node.childForFieldName('type');
+        if (!nameNode || !typeAnnotation)
+            return;
+        const varName = nameNode.text;
+        if (!varName)
+            return;
+        const typeName = extractSimpleTypeName(typeAnnotation);
+        if (typeName)
+            env.set(varName, typeName);
+        return;
+    }
+    for (let i = 0; i < node.namedChildCount; i++) {
+        const declarator = node.namedChild(i);
+        if (declarator?.type !== 'variable_declarator')
+            continue;
+        const nameNode = declarator.childForFieldName('name');
+        const typeAnnotation = declarator.childForFieldName('type');
+        if (!nameNode || !typeAnnotation)
+            continue;
+        const varName = extractVarName(nameNode);
+        const typeName = extractSimpleTypeName(typeAnnotation);
+        if (varName && typeName)
+            env.set(varName, typeName);
+    }
+};
+/** TypeScript: required_parameter / optional_parameter → name: type */
+const extractParameter = (node, env) => {
+    let nameNode = null;
+    let typeNode = null;
+    if (node.type === 'required_parameter' || node.type === 'optional_parameter') {
+        nameNode = node.childForFieldName('pattern') ?? node.childForFieldName('name');
+        typeNode = node.childForFieldName('type');
+    }
+    else {
+        // Generic fallback
+        nameNode = node.childForFieldName('name') ?? node.childForFieldName('pattern');
+        typeNode = node.childForFieldName('type');
+    }
+    if (!nameNode || !typeNode)
+        return;
+    const varName = extractVarName(nameNode);
+    const typeName = extractSimpleTypeName(typeNode);
+    if (varName && typeName)
+        env.set(varName, typeName);
+};
+/** TypeScript: const x = new User() — infer type from new_expression */
+const extractInitializer = (node, env, _classNames) => {
+    for (let i = 0; i < node.namedChildCount; i++) {
+        const declarator = node.namedChild(i);
+        if (declarator?.type !== 'variable_declarator')
+            continue;
+        // Only activate when there is no explicit type annotation — extractDeclaration already
+        // handles the annotated case and this function is called as a fallback.
+        if (declarator.childForFieldName('type') !== null)
+            continue;
+        let valueNode = declarator.childForFieldName('value');
+        // Unwrap `new User() as T`, `new User()!`, and double-cast `new User() as unknown as T`
+        while (valueNode?.type === 'as_expression' || valueNode?.type === 'non_null_expression') {
+            valueNode = valueNode.firstNamedChild;
+        }
+        if (valueNode?.type !== 'new_expression')
+            continue;
+        const constructorNode = valueNode.childForFieldName('constructor');
+        if (!constructorNode)
+            continue;
+        const nameNode = declarator.childForFieldName('name');
+        if (!nameNode)
+            continue;
+        const varName = extractVarName(nameNode);
+        const typeName = extractSimpleTypeName(constructorNode);
+        if (varName && typeName)
+            env.set(varName, typeName);
+    }
+};
+/**
+ * TypeScript/JavaScript: const user = getUser() — variable_declarator with call_expression value.
+ * Only matches unannotated declarators; annotated ones are handled by extractDeclaration.
+ * await is unwrapped: const user = await fetchUser() → callee = 'fetchUser'.
+ */
+const scanConstructorBinding = (node) => {
+    if (node.type !== 'variable_declarator')
+        return undefined;
+    if (hasTypeAnnotation(node))
+        return undefined;
+    const nameNode = node.childForFieldName('name');
+    if (!nameNode || nameNode.type !== 'identifier')
+        return undefined;
+    const value = unwrapAwait(node.childForFieldName('value'));
+    if (!value || value.type !== 'call_expression')
+        return undefined;
+    const calleeName = extractCalleeName(value);
+    if (!calleeName)
+        return undefined;
+    return { varName: nameNode.text, calleeName };
+};
+/** Regex to extract @returns or @return from JSDoc comments: `@returns {Type}` */
+const JSDOC_RETURN_RE = /@returns?\s*\{([^}]+)\}/;
+/**
+ * Minimal sanitization for JSDoc return types — preserves generic wrappers
+ * (e.g. `Promise<User>`) so that extractReturnTypeName in call-processor
+ * can apply WRAPPER_GENERICS unwrapping. Unlike normalizeJsDocType (which
+ * strips generics), this only strips JSDoc-specific syntax markers.
+ */
+const sanitizeReturnType = (raw) => {
+    let type = raw.trim();
+    // Strip JSDoc nullable/non-nullable prefixes: ?User → User, !User → User
+    if (type.startsWith('?') || type.startsWith('!'))
+        type = type.slice(1);
+    // Strip module: prefix — module:models.User → models.User
+    if (type.startsWith('module:'))
+        type = type.slice(7);
+    // Reject unions (ambiguous)
+    if (type.includes('|'))
+        return undefined;
+    if (!type)
+        return undefined;
+    return type;
+};
+/**
+ * Extract return type from JSDoc `@returns {Type}` or `@return {Type}` annotation
+ * preceding a function/method definition. Walks backwards through preceding siblings
+ * looking for comment nodes containing the annotation.
+ */
+const extractReturnType = (node) => {
+    let sibling = node.previousSibling;
+    while (sibling) {
+        if (sibling.type === 'comment') {
+            const match = JSDOC_RETURN_RE.exec(sibling.text);
+            if (match)
+                return sanitizeReturnType(match[1]);
+        }
+        else if (sibling.isNamed && sibling.type !== 'decorator')
+            break;
+        sibling = sibling.previousSibling;
+    }
+    return undefined;
+};
+const FOR_LOOP_NODE_TYPES = new Set([
+    'for_in_statement',
+]);
+/** TS function/method node types that carry a parameters list. */
+const TS_FUNCTION_NODE_TYPES = new Set([
+    'function_declaration', 'function_expression', 'arrow_function',
+    'method_definition', 'generator_function', 'generator_function_declaration',
+]);
+/**
+ * Extract element type from a TypeScript type annotation AST node.
+ * Handles:
+ *   type_annotation ": User[]"  →  array_type → type_identifier "User"
+ *   type_annotation ": Array<User>"  →  generic_type → extractGenericTypeArgs → "User"
+ * Falls back to text-based extraction via extractElementTypeFromString.
+ */
+const extractTsElementTypeFromAnnotation = (typeAnnotation, pos = 'last', depth = 0) => {
+    if (depth > 50)
+        return undefined;
+    // Unwrap type_annotation (the node text includes ': ' prefix)
+    const inner = typeAnnotation.type === 'type_annotation'
+        ? (typeAnnotation.firstNamedChild ?? typeAnnotation)
+        : typeAnnotation;
+    // readonly User[] — readonly_type wraps array_type: unwrap and recurse
+    if (inner.type === 'readonly_type') {
+        const wrapped = inner.firstNamedChild;
+        if (wrapped)
+            return extractTsElementTypeFromAnnotation(wrapped, pos, depth + 1);
+    }
+    // User[] — array_type: first named child is the element type
+    if (inner.type === 'array_type') {
+        const elem = inner.firstNamedChild;
+        if (elem)
+            return extractSimpleTypeName(elem);
+    }
+    // Array<User>, Map<string, User> — generic_type
+    // pos determines which type arg: 'first' for keys, 'last' for values
+    if (inner.type === 'generic_type') {
+        const args = extractGenericTypeArgs(inner);
+        if (args.length >= 1)
+            return pos === 'first' ? args[0] : args[args.length - 1];
+    }
+    // Fallback: strip ': ' prefix from type_annotation text and use string extraction
+    const rawText = inner.text;
+    return extractElementTypeFromString(rawText, pos);
+};
+/**
+ * Search a statement_block (function body) for a variable_declarator named `iterableName`
+ * that has a type annotation, preceding the given `beforeNode`.
+ * Returns the element type from the type annotation, or undefined.
+ */
+const findTsLocalDeclElementType = (iterableName, blockNode, beforeNode, pos = 'last') => {
+    for (let i = 0; i < blockNode.namedChildCount; i++) {
+        const stmt = blockNode.namedChild(i);
+        if (!stmt)
+            continue;
+        // Stop when we reach the for-loop itself
+        if (stmt === beforeNode || stmt.startIndex >= beforeNode.startIndex)
+            break;
+        // Look for lexical_declaration or variable_declaration
+        if (stmt.type !== 'lexical_declaration' && stmt.type !== 'variable_declaration')
+            continue;
+        for (let j = 0; j < stmt.namedChildCount; j++) {
+            const decl = stmt.namedChild(j);
+            if (decl?.type !== 'variable_declarator')
+                continue;
+            const nameNode = decl.childForFieldName('name');
+            if (nameNode?.text !== iterableName)
+                continue;
+            const typeAnnotation = decl.childForFieldName('type');
+            if (typeAnnotation)
+                return extractTsElementTypeFromAnnotation(typeAnnotation, pos);
+        }
+    }
+    return undefined;
+};
+/**
+ * Walk up the AST from a for-loop node to find the enclosing function scope,
+ * then search (1) its parameter list and (2) local declarations in the body
+ * for a variable named `iterableName` with a container type annotation.
+ * Returns the element type extracted from the annotation, or undefined.
+ */
+const findTsIterableElementType = (iterableName, startNode, pos = 'last') => {
+    let current = startNode.parent;
+    // Capture the immediate statement_block parent to search local declarations
+    const blockNode = current?.type === 'statement_block' ? current : null;
+    while (current) {
+        if (TS_FUNCTION_NODE_TYPES.has(current.type)) {
+            // Search function parameters
+            const paramsNode = current.childForFieldName('parameters')
+                ?? current.childForFieldName('formal_parameters');
+            if (paramsNode) {
+                for (let i = 0; i < paramsNode.namedChildCount; i++) {
+                    const param = paramsNode.namedChild(i);
+                    if (!param)
+                        continue;
+                    const patternNode = param.childForFieldName('pattern') ?? param.childForFieldName('name');
+                    if (patternNode?.text === iterableName) {
+                        const typeAnnotation = param.childForFieldName('type');
+                        if (typeAnnotation)
+                            return extractTsElementTypeFromAnnotation(typeAnnotation, pos);
+                    }
+                }
+            }
+            // Search local declarations in the function body (statement_block)
+            if (blockNode) {
+                const result = findTsLocalDeclElementType(iterableName, blockNode, startNode, pos);
+                if (result)
+                    return result;
+            }
+            break; // stop at the nearest function boundary
+        }
+        current = current.parent;
+    }
+    return undefined;
+};
+/**
+ * TypeScript/JavaScript: for (const user of users) where users has a known array type.
+ *
+ * Both `for...of` and `for...in` use the same `for_in_statement` AST node in tree-sitter.
+ * We differentiate by checking for the `of` keyword among the unnamed children.
+ *
+ * Tier 1c: resolves the element type via three strategies in priority order:
+ *   1. declarationTypeNodes — raw type annotation AST node (covers Array<User> from declarations)
+ *   2. scopeEnv string — extractElementTypeFromString on the stored type (covers locally annotated vars)
+ *   3. AST walk — walks up to the enclosing function's parameters to read User[] annotations directly
+ * Only handles `for...of`; `for...in` produces string keys, not element types.
+ */
+const extractForLoopBinding = (node, { scopeEnv, declarationTypeNodes, scope, returnTypeLookup }) => {
+    if (node.type !== 'for_in_statement')
+        return;
+    // Confirm this is `for...of`, not `for...in`, by scanning unnamed children for the keyword text.
+    let isForOf = false;
+    for (let i = 0; i < node.childCount; i++) {
+        const child = node.child(i);
+        if (child && !child.isNamed && child.text === 'of') {
+            isForOf = true;
+            break;
+        }
+    }
+    if (!isForOf)
+        return;
+    // The iterable is the `right` field — may be identifier, member_expression, or call_expression.
+    const rightNode = node.childForFieldName('right');
+    let iterableName;
+    let methodName;
+    let callExprElementType;
+    if (rightNode?.type === 'identifier') {
+        iterableName = rightNode.text;
+    }
+    else if (rightNode?.type === 'member_expression') {
+        const prop = rightNode.childForFieldName('property');
+        if (prop)
+            iterableName = prop.text;
+    }
+    else if (rightNode?.type === 'call_expression') {
+        // entries.values() → call_expression > function: member_expression > object + property
+        // this.repos.values() → nested member_expression: extract property from inner member
+        // getUsers() → call_expression > function: identifier (Phase 7.3 — return-type path)
+        const fn = rightNode.childForFieldName('function');
+        if (fn?.type === 'member_expression') {
+            const obj = fn.childForFieldName('object');
+            const prop = fn.childForFieldName('property');
+            if (obj?.type === 'identifier') {
+                iterableName = obj.text;
+            }
+            else if (obj?.type === 'member_expression') {
+                // this.repos.values() → obj = this.repos → extract 'repos'
+                const innerProp = obj.childForFieldName('property');
+                if (innerProp)
+                    iterableName = innerProp.text;
+            }
+            if (prop?.type === 'property_identifier')
+                methodName = prop.text;
+        }
+        else if (fn?.type === 'identifier') {
+            // Direct function call: for (const user of getUsers())
+            const rawReturn = returnTypeLookup.lookupRawReturnType(fn.text);
+            if (rawReturn)
+                callExprElementType = extractElementTypeFromString(rawReturn);
+        }
+    }
+    if (!iterableName && !callExprElementType)
+        return;
+    let elementType;
+    if (callExprElementType) {
+        elementType = callExprElementType;
+    }
+    else {
+        // Look up the container's base type name for descriptor-aware resolution
+        const containerTypeName = scopeEnv.get(iterableName);
+        const typeArgPos = methodToTypeArgPosition(methodName, containerTypeName);
+        elementType = resolveIterableElementType(iterableName, node, scopeEnv, declarationTypeNodes, scope, extractTsElementTypeFromAnnotation, findTsIterableElementType, typeArgPos);
+    }
+    if (!elementType)
+        return;
+    // The loop variable is the `left` field.
+    const leftNode = node.childForFieldName('left');
+    if (!leftNode)
+        return;
+    // Handle destructured for-of: for (const [k, v] of entries)
+    // AST: left = array_pattern directly (no variable_declarator wrapper)
+    // Bind the LAST identifier to the element type (value in [key, value] patterns)
+    if (leftNode.type === 'array_pattern') {
+        const lastChild = leftNode.lastNamedChild;
+        if (lastChild?.type === 'identifier') {
+            scopeEnv.set(lastChild.text, elementType);
+        }
+        return;
+    }
+    if (leftNode.type === 'object_pattern') {
+        // Object destructuring (e.g., `for (const { id } of users)`) destructures
+        // into fields of the element type. Without field-level resolution, we cannot
+        // bind individual properties to their correct types. Skip to avoid false bindings.
+        return;
+    }
+    let loopVarNode = leftNode;
+    // `const user` parses as: left → variable_declarator containing an identifier named `user`
+    if (loopVarNode.type === 'variable_declarator') {
+        loopVarNode = loopVarNode.childForFieldName('name') ?? loopVarNode.firstNamedChild;
+    }
+    if (!loopVarNode)
+        return;
+    const loopVarName = extractVarName(loopVarNode);
+    if (loopVarName)
+        scopeEnv.set(loopVarName, elementType);
+};
+/** TS/JS: const alias = u → variable_declarator with name/value fields */
+const extractPendingAssignment = (node, scopeEnv) => {
+    for (let i = 0; i < node.namedChildCount; i++) {
+        const child = node.namedChild(i);
+        if (!child || child.type !== 'variable_declarator')
+            continue;
+        const nameNode = child.childForFieldName('name');
+        const valueNode = child.childForFieldName('value');
+        if (!nameNode || !valueNode)
+            continue;
+        const lhs = nameNode.text;
+        if (scopeEnv.has(lhs))
+            continue;
+        if (valueNode.type === 'identifier')
+            return { kind: 'copy', lhs, rhs: valueNode.text };
+    }
+    return undefined;
+};
+/** TS instanceof narrowing: `x instanceof User` → bind x to User.
+ *  Only works when x has no prior type binding (e.g. x: unknown, untyped params).
+ *  Typed params (x: Animal) are blocked by the !scopeEnv.has() guard in buildTypeEnv.
+ *  Uses first-writer-wins, same as Rust match arm bindings. */
+const extractPatternBinding = (node) => {
+    if (node.type !== 'binary_expression')
+        return undefined;
+    const op = node.children.find(c => !c.isNamed && c.text === 'instanceof');
+    if (!op)
+        return undefined;
+    // binary_expression children are positional — no left/right fields
+    const left = node.namedChild(0);
+    const right = node.namedChild(1);
+    if (left?.type !== 'identifier' || right?.type !== 'identifier')
+        return undefined;
+    return { varName: left.text, typeName: right.text };
+};
+export const typeConfig = {
+    declarationNodeTypes: DECLARATION_NODE_TYPES,
+    forLoopNodeTypes: FOR_LOOP_NODE_TYPES,
+    patternBindingNodeTypes: new Set(['binary_expression']),
+    extractDeclaration,
+    extractParameter,
+    extractInitializer,
+    scanConstructorBinding,
+    extractReturnType,
+    extractForLoopBinding,
+    extractPendingAssignment,
+    extractPatternBinding,
+};

package/dist/core/ingestion/utils.d.ts

@@ -0,0 +1,138 @@
+import type Parser from 'tree-sitter';
+import { SupportedLanguages } from '../../config/supported-languages.js';
+/** Tree-sitter AST node. Re-exported for use across ingestion modules. */
+export type SyntaxNode = Parser.SyntaxNode;
+/**
+ * Ordered list of definition capture keys for tree-sitter query matches.
+ * Used to extract the definition node from a capture map.
+ */
+export declare const DEFINITION_CAPTURE_KEYS: readonly ["definition.function", "definition.class", "definition.interface", "definition.method", "definition.struct", "definition.enum", "definition.namespace", "definition.module", "definition.trait", "definition.impl", "definition.type", "definition.const", "definition.static", "definition.typedef", "definition.macro", "definition.union", "definition.property", "definition.record", "definition.delegate", "definition.annotation", "definition.constructor", "definition.template"];
+/** Extract the definition node from a tree-sitter query capture map. */
+export declare const getDefinitionNodeFromCaptures: (captureMap: Record<string, any>) => SyntaxNode | null;
+/**
+ * Node types that represent function/method definitions across languages.
+ * Used to find the enclosing function for a call site.
+ */
+export declare const FUNCTION_NODE_TYPES: Set<string>;
+/**
+ * Node types for standard function declarations that need C/C++ declarator handling.
+ * Used by extractFunctionName to determine how to extract the function name.
+ */
+export declare const FUNCTION_DECLARATION_TYPES: Set<string>;
+/**
+ * Built-in function/method names that should not be tracked as call targets.
+ * Covers JS/TS, Python, Kotlin, C/C++, PHP, Swift standard library functions.
+ */
+export declare const BUILT_IN_NAMES: Set<string>;
+/** Check if a name is a built-in function or common noise that should be filtered out */
+export declare const isBuiltInOrNoise: (name: string) => boolean;
+/** AST node types that represent a class-like container (for HAS_METHOD edge extraction) */
+export declare const CLASS_CONTAINER_TYPES: Set<string>;
+export declare const CONTAINER_TYPE_TO_LABEL: Record<string, string>;
+/** Walk up AST to find enclosing class/struct/interface/impl, return its generateId or null.
+ *  For Go method_declaration nodes, extracts receiver type (e.g. `func (u *User) Save()` → User struct). */
+export declare const findEnclosingClassId: (node: any, filePath: string) => string | null;
+/**
+ * Extract function name and label from a function_definition or similar AST node.
+ * Handles C/C++ qualified_identifier (ClassName::MethodName) and other language patterns.
+ */
+export declare const extractFunctionName: (node: SyntaxNode) => {
+    funcName: string | null;
+    label: string;
+};
+/**
+ * Yield control to the event loop so spinners/progress can render.
+ * Call periodically in hot loops to prevent UI freezes.
+ */
+export declare const yieldToEventLoop: () => Promise<void>;
+/**
+ * Find a child of `childType` within a sibling node of `siblingType`.
+ * Used for Kotlin AST traversal where visibility_modifier lives inside a modifiers sibling.
+ */
+export declare const findSiblingChild: (parent: any, siblingType: string, childType: string) => any | null;
+/**
+ * Map file extension to SupportedLanguage enum
+ */
+export declare const getLanguageFromFilename: (filename: string) => SupportedLanguages | null;
+export interface MethodSignature {
+    parameterCount: number | undefined;
+    returnType: string | undefined;
+}
+/**
+ * Extract parameter count and return type text from an AST method/function node.
+ * Works across languages by looking for common AST patterns.
+ */
+export declare const extractMethodSignature: (node: SyntaxNode | null | undefined) => MethodSignature;
+/**
+ * Count direct arguments for a call expression across common tree-sitter grammars.
+ * Returns undefined when the argument container cannot be located cheaply.
+ */
+export declare const countCallArguments: (callNode: SyntaxNode | null | undefined) => number | undefined;
+type CallForm = 'free' | 'member' | 'constructor';
+/**
+ * Infer whether a captured call site is a free call, member call, or constructor.
+ * Returns undefined if the form cannot be determined.
+ *
+ * Works by inspecting the AST structure between callNode (@call) and nameNode (@call.name).
+ * No tree-sitter query changes needed — the distinction is in the node types.
+ */
+export declare const inferCallForm: (callNode: SyntaxNode, nameNode: SyntaxNode) => CallForm | undefined;
+export declare const extractReceiverName: (nameNode: SyntaxNode) => string | undefined;
+/**
+ * Extract the raw receiver AST node for a member call.
+ * Unlike extractReceiverName, this returns the receiver node regardless of its type —
+ * including call_expression / method_invocation nodes that appear in chained calls
+ * like `svc.getUser().save()`.
+ *
+ * Returns undefined when the call is not a member call or when no receiver node
+ * can be found (e.g. top-level free calls).
+ */
+export declare const extractReceiverNode: (nameNode: SyntaxNode) => SyntaxNode | undefined;
+export declare const isVerboseIngestionEnabled: () => boolean;
+/** Node types representing call expressions across supported languages. */
+export declare const CALL_EXPRESSION_TYPES: Set<string>;
+/**
+ * Hard limit on chain depth to prevent runaway recursion.
+ * For `a.b().c().d()`, the chain has depth 2 (b and c before d).
+ */
+export declare const MAX_CHAIN_DEPTH = 3;
+/**
+ * Walk a receiver AST node that is itself a call expression, accumulating the
+ * chain of intermediate method names up to MAX_CHAIN_DEPTH.
+ *
+ * For `svc.getUser().save()`, called with the receiver of `save` (getUser() call):
+ *   returns { chain: ['getUser'], baseReceiverName: 'svc' }
+ *
+ * For `a.b().c().d()`, called with the receiver of `d` (c() call):
+ *   returns { chain: ['b', 'c'], baseReceiverName: 'a' }
+ */
+export declare function extractCallChain(receiverCallNode: SyntaxNode): {
+    chain: string[];
+    baseReceiverName: string | undefined;
+} | undefined;
+/** One step in a mixed receiver chain. */
+export type MixedChainStep = {
+    kind: 'field' | 'call';
+    name: string;
+};
+/**
+ * Walk a receiver AST node that may interleave field accesses and method calls,
+ * building a unified chain of steps up to MAX_CHAIN_DEPTH.
+ *
+ * For `svc.getUser().address.save()`, called with the receiver of `save`
+ * (`svc.getUser().address`, a field access node):
+ *   returns { chain: [{ kind:'call', name:'getUser' }, { kind:'field', name:'address' }],
+ *             baseReceiverName: 'svc' }
+ *
+ * For `user.getAddress().city.getName()`, called with receiver of `getName`
+ * (`user.getAddress().city`):
+ *   returns { chain: [{ kind:'call', name:'getAddress' }, { kind:'field', name:'city' }],
+ *             baseReceiverName: 'user' }
+ *
+ * Pure field chains and pure call chains are special cases (all steps same kind).
+ */
+export declare function extractMixedChain(receiverNode: SyntaxNode): {
+    chain: MixedChainStep[];
+    baseReceiverName: string | undefined;
+} | undefined;
+export {};