gitnexus 1.6.6-rc.101 → 1.6.6-rc.102

package/dist/core/ingestion/export-detection.js

@@ -62,11 +62,6 @@ const CSHARP_DECL_TYPES = new Set([
     'struct_declaration',
     'enum_declaration',
     'record_declaration',
-    // tree-sitter-c-sharp absorbs 'record struct' and 'record class' into
-    // record_declaration — these two node types are listed defensively but
-    // never emitted by the grammar in practice (verified against ^0.23.1).
-    'record_struct_declaration',
-    'record_class_declaration',
     'delegate_declaration',
     'property_declaration',
     'field_declaration',

package/dist/core/ingestion/field-extractors/configs/dart.js

@@ -42,10 +42,7 @@ export const dartConfig = {
         // declaration > type_identifier (first named child usually)
         for (let i = 0; i < node.namedChildCount; i++) {
             const child = node.namedChild(i);
-            if (child &&
-                (child.type === 'type_identifier' ||
-                    child.type === 'generic_type' ||
-                    child.type === 'function_type')) {
+            if (child && (child.type === 'type_identifier' || child.type === 'function_type')) {
                 return extractSimpleTypeName(child) ?? child.text?.trim();
             }
         }

package/dist/core/ingestion/field-extractors/configs/php.js

@@ -46,8 +46,7 @@ export const phpConfig = {
                 child.type === 'named_type' ||
                 child.type === 'optional_type' ||
                 child.type === 'primitive_type' ||
-                child.type === 'intersection_type' ||
-                child.type === 'nullable_type') {
+                child.type === 'intersection_type') {
                 return extractSimpleTypeName(child) ?? child.text?.trim();
             }
         }

package/dist/core/ingestion/field-extractors/configs/swift.js

@@ -17,7 +17,7 @@ const SWIFT_VIS = new Set([
  */
 export const swiftConfig = {
     language: SupportedLanguages.Swift,
-    typeDeclarationNodes: ['class_declaration', 'struct_declaration', 'protocol_declaration'],
+    typeDeclarationNodes: ['class_declaration', 'protocol_declaration'],
     fieldNodeTypes: ['property_declaration'],
     bodyNodeTypes: ['class_body', 'protocol_body'],
     defaultVisibility: 'internal',

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

@@ -70,17 +70,6 @@ export class TypeScriptFieldExtractor extends BaseFieldExtractor {
                 }
             }
         }
-        // Check for modifier node (tree-sitter typescript may group these)
-        const modifiers = node.childForFieldName('modifiers');
-        if (modifiers) {
-            for (let i = 0; i < modifiers.childCount; i++) {
-                const modifier = modifiers.child(i);
-                const modText = modifier?.text.trim();
-                if (modText && TypeScriptFieldExtractor.VISIBILITY_MODIFIERS.has(modText)) {
-                    return modText;
-                }
-            }
-        }
         // TypeScript class members are public by default
         return 'public';
     }
@@ -94,15 +83,6 @@ export class TypeScriptFieldExtractor extends BaseFieldExtractor {
                 return true;
             }
         }
-        const modifiers = node.childForFieldName('modifiers');
-        if (modifiers) {
-            for (let i = 0; i < modifiers.childCount; i++) {
-                const modifier = modifiers.child(i);
-                if (modifier && modifier.text === 'static') {
-                    return true;
-                }
-            }
-        }
         return false;
     }
     /**
@@ -115,15 +95,6 @@ export class TypeScriptFieldExtractor extends BaseFieldExtractor {
                 return true;
             }
         }
-        const modifiers = node.childForFieldName('modifiers');
-        if (modifiers) {
-            for (let i = 0; i < modifiers.childCount; i++) {
-                const modifier = modifiers.child(i);
-                if (modifier && modifier.text === 'readonly') {
-                    return true;
-                }
-            }
-        }
         return false;
     }
     /**

package/dist/core/ingestion/languages/cpp/arity-metadata.js

@@ -23,7 +23,6 @@ export function computeCppDeclarationArity(node) {
             continue;
         if (child.type === 'parameter_declaration' ||
             child.type === 'optional_parameter_declaration' ||
-            child.type === 'variadic_parameter' ||
             child.type === 'variadic_parameter_declaration') {
             params.push(child);
         }
@@ -47,8 +46,7 @@ export function computeCppDeclarationArity(node) {
     // token in tree-sitter-cpp, detected via `hasEllipsis` above.
     // C++ parameter packs: `template<typename... Ts> void foo(Ts... args)` —
     // detected as `variadic_parameter_declaration`.
-    const isVariadic = hasEllipsis ||
-        params.some((p) => p.type === 'variadic_parameter' || p.type === 'variadic_parameter_declaration');
+    const isVariadic = hasEllipsis || params.some((p) => p.type === 'variadic_parameter_declaration');
     const optionalCount = params.filter((p) => p.type === 'optional_parameter_declaration').length;
     const requiredCount = params.filter((p) => p.type === 'parameter_declaration' ||
         // variadic_parameter_declaration with a name is a parameter pack — counts as one
@@ -57,11 +55,7 @@ export function computeCppDeclarationArity(node) {
     const types = [];
     const typeClasses = [];
     for (const p of params) {
-        if (p.type === 'variadic_parameter') {
-            types.push('...');
-            typeClasses.push(unknownTypeClass('...'));
-        }
-        else if (p.type === 'variadic_parameter_declaration') {
+        if (p.type === 'variadic_parameter_declaration') {
             // Parameter pack: treated as variadic
             types.push('...');
             typeClasses.push(unknownTypeClass('...'));

package/dist/core/ingestion/languages/cpp/captures.js

@@ -1251,7 +1251,7 @@ function lookupAdlIdentifierType(identNode) {
                 inner = next;
                 continue;
             }
-            if (inner.type === 'reference_declarator' || inner.type === 'rvalue_reference_declarator') {
+            if (inner.type === 'reference_declarator') {
                 // reference_declarator has a single child (the inner declarator).
                 let next = null;
                 for (let j = 0; j < inner.namedChildCount; j++) {

package/dist/core/ingestion/languages/csharp/captures.js

@@ -242,7 +242,9 @@ function terminalTypeNameNode(node) {
         case 'qualified_name':
             return node.lastNamedChild;
         case 'generic_name':
-            return node.childForFieldName('name') ?? node.firstNamedChild;
+            // generic_name has no `name` field (verified by real parse, #1920); the
+            // base identifier is the first named child.
+            return node.firstNamedChild;
         default:
             return null;
     }

package/dist/core/ingestion/languages/java/captures.js

@@ -132,9 +132,12 @@ export function emitJavaScopeCaptures(sourceText, _filePath, cachedTree) {
                 findNodeAtRange(tree.rootNode, anchor.range, 'object_creation_expression');
             if (callNode !== null) {
                 const argList = callNode.childForFieldName('arguments');
+                // Exclude interleaved comments — tree-sitter-java emits `block_comment` /
+                // `line_comment` as named children of argument_list, which would inflate
+                // arity (and arity feeds call-processor symbol-ID generation). #1920
                 const args = argList === null
                     ? []
-                    : argList.namedChildren.filter((c) => c !== null && c.type !== 'comment');
+                    : argList.namedChildren.filter((c) => c !== null && c.type !== 'block_comment' && c.type !== 'line_comment');
                 grouped['@reference.arity'] = syntheticCapture('@reference.arity', callNode, String(args.length));
                 const argTypes = args.map((arg) => inferArgType(arg));
                 grouped['@reference.parameter-types'] = syntheticCapture('@reference.parameter-types', callNode, JSON.stringify(argTypes));

package/dist/core/ingestion/languages/php/import-decomposer.js

@@ -97,23 +97,7 @@ function parseUseClause(clause, qualifier) {
     const source = qualName.text.trim();
     if (source === '')
         return null;
-    // Strategy 1: explicit alias_clause wrapper (older grammar versions).
-    const aliasClause = findNamedChild(clause, 'alias_clause');
-    if (aliasClause !== null) {
-        // alias_clause: "as" name
-        const aliasName = findNamedChild(aliasClause, 'name') ?? aliasClause.firstNamedChild;
-        const alias = aliasName?.text.trim() ?? '';
-        if (alias === '')
-            return null;
-        return {
-            kind: 'alias',
-            source,
-            name: alias,
-            alias,
-            atNode: clause,
-        };
-    }
-    // Strategy 2: bare sibling `name` node after the qualified_name.
+    // Strategy: bare sibling `name` node after the qualified_name.
     // tree-sitter-php (≥ 0.22) emits `use Foo\Bar as Baz` as:
     //   namespace_use_clause
     //     qualified_name "Foo\Bar"
@@ -197,22 +181,7 @@ function parseInnerClause(clause, prefix, qualifier) {
     if (innerPath === '')
         return null;
     const source = prefix !== '' ? `${prefix}\\${innerPath}` : innerPath;
-    // Strategy 1: explicit alias_clause wrapper (older grammar versions).
-    const aliasClause = findNamedChild(clause, 'alias_clause');
-    if (aliasClause !== null) {
-        const aliasName = findNamedChild(aliasClause, 'name') ?? aliasClause.firstNamedChild;
-        const alias = aliasName?.text.trim() ?? '';
-        if (alias === '')
-            return null;
-        return {
-            kind: 'alias',
-            source,
-            name: alias,
-            alias,
-            atNode: clause,
-        };
-    }
-    // Strategy 2: bare sibling `name` node after the qualified_name (tree-sitter-php ≥ 0.22).
+    // Strategy: bare sibling `name` node after the qualified_name (tree-sitter-php ≥ 0.22).
     if (clause.namedChildCount >= 2) {
         const lastChild = clause.namedChild(clause.namedChildCount - 1);
         if (lastChild !== null && lastChild !== qualName && lastChild.type === 'name') {

package/dist/core/ingestion/languages/php/receiver-binding.js

@@ -24,6 +24,11 @@ const TYPE_DECL_NODE_TYPES = new Set([
     'interface_declaration',
     'trait_declaration',
     'enum_declaration',
+    // tree-sitter-php node for `new class {...}` (real node is `anonymous_class`,
+    // not `anonymous_class_declaration`). Included so the enclosing-type walk
+    // stops AT the anon class and the guard below skips it (otherwise a method in
+    // an anon class nested in a named class would mis-bind $this to the outer class).
+    'anonymous_class',
 ]);
 const FUNCTION_NODE_TYPES = new Set([
     'method_declaration',
@@ -94,7 +99,7 @@ export function synthesizePhpReceiverBinding(fnNode) {
     if (enclosingType === null)
         return [];
     // Anonymous class — skip (no stable name).
-    if (enclosingType.type === 'anonymous_class_declaration')
+    if (enclosingType.type === 'anonymous_class')
         return [];
     const enclosingName = typeName(enclosingType);
     if (enclosingName === null)
@@ -102,9 +107,8 @@ export function synthesizePhpReceiverBinding(fnNode) {
     // Anchor the synthesized captures to the method body (compound_statement)
     // so they land inside the function scope, not at the class scope.
     // For interface/abstract methods that have no body, skip.
-    const bodyNode = fnNode.childForFieldName('body') ??
-        // arrow_function: body is the expression after `=>`
-        fnNode.childForFieldName('return_value');
+    // tree-sitter-php arrow_function also exposes its expression via the `body` field.
+    const bodyNode = fnNode.childForFieldName('body');
     if (bodyNode === null)
         return [];
     const out = [];

package/dist/core/ingestion/languages/python/depends-references.js

@@ -27,7 +27,7 @@ export function synthesizeDependsReferences(fnNode) {
         if (param.type !== 'typed_default_parameter' && param.type !== 'default_parameter') {
             continue;
         }
-        const defaultValue = param.childForFieldName('value') ?? param.childForFieldName('default');
+        const defaultValue = param.childForFieldName('value');
         if (defaultValue === null)
             continue;
         const callNode = defaultValue.type === 'call' ? defaultValue : null;

package/dist/core/ingestion/languages/ruby/captures.js

@@ -148,7 +148,7 @@ export function emitRubyScopeCaptures(sourceText, _filePath, cachedTree) {
                         if (argList !== null) {
                             for (let ai = 0; ai < argList.namedChildCount; ai++) {
                                 const arg = argList.namedChild(ai);
-                                if (arg !== null && (arg.type === 'simple_symbol' || arg.type === 'symbol')) {
+                                if (arg !== null && arg.type === 'simple_symbol') {
                                     const propName = arg.text.replace(/^:/, '');
                                     out.push({
                                         '@import.statement': grouped['@reference.call.free'],
@@ -265,7 +265,7 @@ export function emitRubyScopeCaptures(sourceText, _filePath, cachedTree) {
                     if (argList !== null) {
                         for (let ai = 0; ai < argList.namedChildCount; ai++) {
                             const arg = argList.namedChild(ai);
-                            if (arg !== null && (arg.type === 'simple_symbol' || arg.type === 'symbol')) {
+                            if (arg !== null && arg.type === 'simple_symbol') {
                                 const propName = arg.text.replace(/^:/, '');
                                 out.push({
                                     '@type-binding.return': syntheticCapture('@type-binding.return', attrNode, text),

package/dist/core/ingestion/languages/rust/range-binding.js

@@ -233,11 +233,10 @@ function processStructDestructuring(root, parsed, scopeMap, moduleScope, allFiel
         for (const fieldNode of patternNode.namedChildren) {
             let fieldName;
             if (fieldNode.type === 'field_pattern') {
+                // shorthand `{ a }` and full `{ b: c }` are both field_pattern; the
+                // `name` field is shorthand_field_identifier or field_identifier.
                 fieldName = fieldNode.childForFieldName('name')?.text;
             }
-            else if (fieldNode.type === 'shorthand_field_pattern') {
-                fieldName = fieldNode.firstNamedChild?.text;
-            }
             if (fieldName === undefined)
                 continue;
             let fieldType = lookupFieldType(typeName, fieldName, parsed, scopeMap, moduleScope);

package/dist/core/ingestion/languages/typescript/receiver-binding.js

@@ -49,7 +49,6 @@ const TYPE_DECL_NODE_TYPES = new Set([
     'class_declaration',
     'abstract_class_declaration',
     'class',
-    'class_expression',
     'interface_declaration',
 ]);
 /** Scope function nodes that could be a class method body. */

package/dist/core/ingestion/method-extractors/configs/dart.js

@@ -8,7 +8,6 @@ import { extractSimpleTypeName } from '../../type-extractors/shared.js';
 /** Type node types that represent a return type in function/getter/setter signatures. */
 const TYPE_NODE_TYPES = new Set([
     'type_identifier',
-    'generic_type',
     'function_type',
     'nullable_type',
     'void_type',

package/dist/core/ingestion/method-extractors/configs/php.js

@@ -101,7 +101,6 @@ function extractPhpReturnType(node) {
         'named_type',
         'union_type',
         'optional_type',
-        'nullable_type',
         'intersection_type',
     ]);
     let astType;

package/dist/core/ingestion/type-env.js

@@ -35,7 +35,6 @@ const findTypeIdentifierChild = (node) => {
  *  Includes both multi-arm pattern-match branches AND if-statement bodies for null-check narrowing. */
 const NARROWING_BRANCH_TYPES = new Set([
     'when_entry', // Kotlin when
-    'switch_block_label', // Java switch (enhanced)
     'if_statement', // TS/JS, Java, C/C++
     'if_expression', // Kotlin (if is an expression)
     'statement_block', // TS/JS: { ... } body of if
@@ -796,7 +795,6 @@ export const buildTypeEnv = (tree, language, options) => {
                         (child.type === 'user_type' ||
                             child.type === 'type_identifier' ||
                             child.type === 'generic_type' ||
-                            child.type === 'parameterized_type' ||
                             child.type === 'nullable_type')) {
                         fallbackType = child;
                     }

package/dist/core/ingestion/type-extractors/c-cpp.js

@@ -111,13 +111,13 @@ const extractInitializer = (node, env, classNames) => {
             //   or: call_expression > function: template_function (unqualified)
             const templateFunc = func.type === 'template_function'
                 ? func
-                : func.type === 'qualified_identifier' || func.type === 'scoped_identifier'
+                : func.type === 'qualified_identifier'
                     ? (func.namedChildren.find((c) => c.type === 'template_function') ?? null)
                     : null;
             if (templateFunc) {
                 const nameNode = templateFunc.firstNamedChild;
                 if (nameNode) {
-                    const funcName = nameNode.type === 'qualified_identifier' || nameNode.type === 'scoped_identifier'
+                    const funcName = nameNode.type === 'qualified_identifier'
                         ? (nameNode.lastNamedChild?.text ?? '')
                         : nameNode.text;
                     if (SMART_PTR_FACTORIES.has(funcName)) {
@@ -185,7 +185,7 @@ const scanConstructorBinding = (node) => {
     const func = value.childForFieldName('function');
     if (!func)
         return undefined;
-    if (func.type === 'qualified_identifier' || func.type === 'scoped_identifier') {
+    if (func.type === 'qualified_identifier') {
         const last = func.lastNamedChild;
         if (!last)
             return undefined;
@@ -309,16 +309,14 @@ const extractCppElementTypeFromTypeNode = (typeNode, pos = 'last', depth = 0) =>
         if (args.length >= 1)
             return pos === 'first' ? args[0] : args[args.length - 1];
     }
-    // reference/pointer types: unwrap and recurse (vector<User>& → vector<User>)
-    if (typeNode.type === 'reference_type' ||
-        typeNode.type === 'pointer_type' ||
-        typeNode.type === 'type_descriptor') {
+    // type_descriptor wrapper: unwrap and recurse (vector<User>& → vector<User>)
+    if (typeNode.type === 'type_descriptor') {
         const inner = typeNode.lastNamedChild;
         if (inner)
             return extractCppElementTypeFromTypeNode(inner, pos, depth + 1);
     }
-    // qualified/scoped types: std::vector<User> → unwrap to template_type child
-    if (typeNode.type === 'qualified_identifier' || typeNode.type === 'scoped_type_identifier') {
+    // qualified types: std::vector<User> → unwrap to template_type child
+    if (typeNode.type === 'qualified_identifier') {
         const inner = typeNode.lastNamedChild;
         if (inner)
             return extractCppElementTypeFromTypeNode(inner, pos, depth + 1);
@@ -497,7 +495,7 @@ const detectCppConstructorType = (node, classNames) => {
     if (!nameNode)
         return undefined;
     let funcName;
-    if (nameNode.type === 'qualified_identifier' || nameNode.type === 'scoped_identifier') {
+    if (nameNode.type === 'qualified_identifier') {
         funcName = nameNode.lastNamedChild?.text ?? '';
     }
     else {

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

@@ -27,7 +27,7 @@ const extractDeclaration = (node, env) => {
         const child = node.namedChild(i);
         if (!child)
             continue;
-        if (!typeNode && child.type !== 'variable_declarator' && child.type !== 'equals_value_clause') {
+        if (!typeNode && child.type !== 'variable_declarator') {
             // First non-declarator child is the type (identifier, implicit_type, generic_name, etc.)
             typeNode = child;
         }
@@ -41,11 +41,9 @@ const extractDeclaration = (node, env) => {
     let typeName;
     if (typeNode.type === 'implicit_type' && typeNode.text === 'var') {
         // Try to infer from initializer: var x = new Foo()
-        // tree-sitter-c-sharp may put object_creation_expression as direct child
-        // or inside equals_value_clause depending on grammar version
+        // tree-sitter-c-sharp puts object_creation_expression as a direct child
         if (declarators.length === 1) {
-            const initializer = findChild(declarators[0], 'object_creation_expression') ??
-                findChild(declarators[0], 'equals_value_clause')?.firstNamedChild;
+            const initializer = findChild(declarators[0], 'object_creation_expression');
             if (initializer?.type === 'object_creation_expression') {
                 const ctorType = initializer.childForFieldName('type');
                 if (ctorType)
@@ -76,7 +74,7 @@ const extractParameter = (node, env) => {
         nameNode = node.childForFieldName('name');
     }
     else {
-        nameNode = node.childForFieldName('name') ?? node.childForFieldName('pattern');
+        nameNode = node.childForFieldName('name');
         typeNode = node.childForFieldName('type');
     }
     if (!nameNode || !typeNode)
@@ -113,17 +111,13 @@ const scanConstructorBinding = (node) => {
     const nameNode = declarator.childForFieldName('name') ?? declarator.firstNamedChild;
     if (!nameNode || nameNode.type !== 'identifier')
         return undefined;
-    // Find the initializer value: either inside equals_value_clause or as a direct child
+    // Find the initializer value as a direct child
     // (tree-sitter-c-sharp puts invocation_expression directly inside variable_declarator)
     let value = null;
     for (let i = 0; i < declarator.namedChildCount; i++) {
         const child = declarator.namedChild(i);
         if (!child)
             continue;
-        if (child.type === 'equals_value_clause') {
-            value = child.firstNamedChild;
-            break;
-        }
         if (child.type === 'invocation_expression' ||
             child.type === 'object_creation_expression' ||
             child.type === 'await_expression') {
@@ -462,18 +456,9 @@ const extractPendingAssignment = (node, scopeEnv) => {
         const lhs = nameNode.text;
         if (scopeEnv.has(lhs))
             continue;
-        // C# wraps value in equals_value_clause; fall back to last named child
-        let evc = null;
-        for (let j = 0; j < child.childCount; j++) {
-            if (child.child(j)?.type === 'equals_value_clause') {
-                evc = child.child(j);
-                break;
-            }
-        }
-        const valueNode = evc?.firstNamedChild ?? child.namedChild(child.namedChildCount - 1);
-        if (valueNode &&
-            valueNode !== nameNode &&
-            (valueNode.type === 'identifier' || valueNode.type === 'simple_identifier')) {
+        // C# variable_declarator holds the initializer value as a direct named child
+        const valueNode = child.namedChild(child.namedChildCount - 1);
+        if (valueNode && valueNode !== nameNode && valueNode.type === 'identifier') {
             return { kind: 'copy', lhs, rhs: valueNode.text };
         }
         // member_access_expression RHS → fieldAccess (a.Field)
@@ -487,7 +472,7 @@ const extractPendingAssignment = (node, scopeEnv) => {
         // invocation_expression RHS
         if (valueNode?.type === 'invocation_expression') {
             const funcNode = valueNode.firstNamedChild;
-            if (funcNode?.type === 'identifier_name' || funcNode?.type === 'identifier') {
+            if (funcNode?.type === 'identifier') {
                 return { kind: 'callResult', lhs, callee: funcNode.text };
             }
             // method call with receiver → methodCallResult: a.GetC()
@@ -504,7 +489,7 @@ const extractPendingAssignment = (node, scopeEnv) => {
             const inner = valueNode.firstNamedChild;
             if (inner?.type === 'invocation_expression') {
                 const funcNode = inner.firstNamedChild;
-                if (funcNode?.type === 'identifier_name' || funcNode?.type === 'identifier') {
+                if (funcNode?.type === 'identifier') {
                     return { kind: 'callResult', lhs, callee: funcNode.text };
                 }
                 if (funcNode?.type === 'member_access_expression') {
@@ -555,15 +540,14 @@ export const typeConfig = {
         const direct = node.childForFieldName('type');
         if (direct)
             return direct;
-        const wrapped = node.childForFieldName('declaration') ??
-            (() => {
-                for (let i = 0; i < node.namedChildCount; i++) {
-                    const c = node.namedChild(i);
-                    if (c?.type === 'variable_declaration')
-                        return c;
-                }
-                return null;
-            })();
+        const wrapped = (() => {
+            for (let i = 0; i < node.namedChildCount; i++) {
+                const c = node.namedChild(i);
+                if (c?.type === 'variable_declaration')
+                    return c;
+            }
+            return null;
+        })();
         return wrapped?.childForFieldName('type') ?? null;
     },
     forLoopNodeTypes: FOR_LOOP_NODE_TYPES,

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

@@ -131,16 +131,8 @@ const extractDeclaration = (node, env) => {
 };
 /** Go: parameter → name type */
 const extractParameter = (node, env) => {
-    let nameNode = null;
-    let typeNode = null;
-    if (node.type === 'parameter') {
-        nameNode = node.childForFieldName('name');
-        typeNode = node.childForFieldName('type');
-    }
-    else {
-        nameNode = node.childForFieldName('name') ?? node.childForFieldName('pattern');
-        typeNode = node.childForFieldName('type');
-    }
+    const nameNode = node.childForFieldName('name');
+    const typeNode = node.childForFieldName('type');
     if (!nameNode || !typeNode)
         return;
     const varName = extractVarName(nameNode);

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

@@ -60,7 +60,7 @@ const extractJavaParameter = (node, env) => {
     }
     else {
         // Generic fallback
-        nameNode = node.childForFieldName('name') ?? node.childForFieldName('pattern');
+        nameNode = node.childForFieldName('name');
         typeNode = node.childForFieldName('type');
     }
     if (!nameNode || !typeNode)
@@ -359,9 +359,10 @@ const extractKotlinDeclaration = (node, env) => {
                 env.set(varName, typeName);
             return;
         }
-        // Fallback: try direct fields
-        const nameNode = node.childForFieldName('name') ?? findChild(node, 'simple_identifier');
-        const typeNode = node.childForFieldName('type') ?? findChild(node, 'user_type');
+        // Fallback: Kotlin property_declaration has no name/type fields (verified by
+        // real parse, #1920); the name/type are positional children.
+        const nameNode = findChild(node, 'simple_identifier');
+        const typeNode = findChild(node, 'user_type');
         if (!nameNode || !typeNode)
             return;
         const varName = extractVarName(nameNode);
@@ -393,7 +394,7 @@ const extractKotlinParameter = (node, env) => {
         nameNode = node.childForFieldName('name');
     }
     else {
-        nameNode = node.childForFieldName('name') ?? node.childForFieldName('pattern');
+        nameNode = node.childForFieldName('name');
         typeNode = node.childForFieldName('type');
     }
     // Fallback: Kotlin `parameter` nodes use positional children, not named fields

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

@@ -269,7 +269,7 @@ const extractParameter = (node, env) => {
         nameNode = node.childForFieldName('name');
     }
     else {
-        nameNode = node.childForFieldName('name') ?? node.childForFieldName('pattern');
+        nameNode = node.childForFieldName('name');
         typeNode = node.childForFieldName('type');
     }
     if (!nameNode || !typeNode)

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

@@ -59,7 +59,7 @@ const extractParameter = (node, env) => {
         typeNode = node.childForFieldName('type');
     }
     else {
-        nameNode = node.childForFieldName('name') ?? node.childForFieldName('pattern');
+        nameNode = node.childForFieldName('name');
         typeNode = node.childForFieldName('type');
         // Python typed_parameter: name is a positional child (identifier), not a named field
         if (!nameNode && node.type === 'typed_parameter') {

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

@@ -345,8 +345,8 @@ const extractPendingAssignment = (node, scopeEnv) => {
         return undefined;
     if (rhsNode.type === 'identifier')
         return { kind: 'copy', lhs: varName, rhs: rhsNode.text };
-    // call/method_call RHS — Ruby uses method calls for both field access and method calls
-    if (rhsNode.type === 'call' || rhsNode.type === 'method_call') {
+    // call RHS — Ruby uses method calls for both field access and method calls
+    if (rhsNode.type === 'call') {
         const methodNode = rhsNode.childForFieldName('method');
         const receiverNode = rhsNode.childForFieldName('receiver');
         if (!receiverNode && methodNode?.type === 'identifier') {

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

@@ -266,16 +266,6 @@ const extractPendingAssignment = (node, scopeEnv) => {
             return { kind: 'callResult', lhs, callee: funcNode.text };
         }
     }
-    // method_call_expression RHS → methodCallResult (receiver.method())
-    if (unwrapped.type === 'method_call_expression') {
-        const obj = unwrapped.firstNamedChild;
-        if (obj?.type === 'identifier') {
-            const methodNode = unwrapped.childForFieldName('name') ?? unwrapped.namedChild(1);
-            if (methodNode?.type === 'field_identifier') {
-                return { kind: 'methodCallResult', lhs, receiver: obj.text, method: methodNode.text };
-            }
-        }
-    }
     return undefined;
 };
 /**
@@ -395,12 +385,6 @@ const extractRustElementTypeFromTypeNode = (typeNode, pos = 'last', depth = 0) =
         if (elemNode)
             return extractSimpleTypeName(elemNode);
     }
-    // slice_type: [User] — element is the first child
-    if (typeNode.type === 'slice_type') {
-        const elemNode = typeNode.firstNamedChild;
-        if (elemNode)
-            return extractSimpleTypeName(elemNode);
-    }
     return undefined;
 };
 /** Walk up from a for-loop to the enclosing function_item and search parameters

package/dist/core/ingestion/type-extractors/shared.d.ts

@@ -65,8 +65,8 @@ export declare const TYPED_PARAMETER_TYPES: Set<string>;
  * Note: Go slices/maps use slice_type/map_type, not generic_type — those are
  * NOT handled here. Use language-specific extractors for Go container types.
  *
- * @param typeNode A generic_type or parameterized_type AST node (or any node —
- *   returns [] for non-generic types).
+ * @param typeNode A generic_type / generic_name / user_type AST node (or any
+ *   node — returns [] for non-generic types).
  * @returns Array of resolved type argument names. Unresolvable arguments are omitted.
  */
 export declare const extractGenericTypeArgs: (typeNode: SyntaxNode, depth?: number) => string[];

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

@@ -204,9 +204,7 @@ export const extractSimpleTypeName = (typeNode, depth = 0) => {
     }
     // Generic types: extract the base type (e.g., List<User> → List)
     // For nullable wrappers (Optional<User>, Option<User>), unwrap to inner type.
-    if (typeNode.type === 'generic_type' ||
-        typeNode.type === 'parameterized_type' ||
-        typeNode.type === 'generic_name') {
+    if (typeNode.type === 'generic_type' || typeNode.type === 'generic_name') {
         const base = typeNode.childForFieldName('name') ??
             typeNode.childForFieldName('type') ??
             typeNode.firstNamedChild;
@@ -348,17 +346,20 @@ export const TYPED_PARAMETER_TYPES = new Set([
  * Note: Go slices/maps use slice_type/map_type, not generic_type — those are
  * NOT handled here. Use language-specific extractors for Go container types.
  *
- * @param typeNode A generic_type or parameterized_type AST node (or any node —
- *   returns [] for non-generic types).
+ * @param typeNode A generic_type / generic_name / user_type AST node (or any
+ *   node — returns [] for non-generic types).
  * @returns Array of resolved type argument names. Unresolvable arguments are omitted.
  */
 export const extractGenericTypeArgs = (typeNode, depth = 0) => {
     if (depth > 50)
         return [];
-    // Unwrap wrapper nodes that may sit above the generic_type
+    // Unwrap pure wrapper nodes (which carry no type_arguments of their own) that
+    // may sit above the generic type. `user_type` is intentionally NOT unwrapped
+    // here: a Kotlin `user_type` can itself carry a `type_arguments` child
+    // (`List<User>` → user_type > [type_identifier, type_arguments]), so it is
+    // handled as a generic-bearing node below.
     if (typeNode.type === 'type_annotation' ||
         typeNode.type === 'type' ||
-        typeNode.type === 'user_type' ||
         typeNode.type === 'nullable_type' ||
         typeNode.type === 'optional_type') {
         const inner = typeNode.firstNamedChild;
@@ -366,10 +367,14 @@ export const extractGenericTypeArgs = (typeNode, depth = 0) => {
             return extractGenericTypeArgs(inner, depth + 1);
         return [];
     }
-    // Only process generic/parameterized type nodes (includes C#'s generic_name)
+    // Generic-bearing nodes hold their arguments in a `type_arguments` /
+    // `type_argument_list` child: generic_type (Java/TypeScript/Rust/Go),
+    // generic_name (C#), and Kotlin's user_type. Verified against the installed
+    // grammars by real parse (#1920). A user_type without its own type_arguments
+    // is unwrapped at the argsNode guard below.
     if (typeNode.type !== 'generic_type' &&
-        typeNode.type !== 'parameterized_type' &&
-        typeNode.type !== 'generic_name') {
+        typeNode.type !== 'generic_name' &&
+        typeNode.type !== 'user_type') {
         return [];
     }
     // Find the type_arguments / type_argument_list child
@@ -381,8 +386,17 @@ export const extractGenericTypeArgs = (typeNode, depth = 0) => {
             break;
         }
     }
-    if (!argsNode)
+    if (!argsNode) {
+        // A `user_type` without its own type_arguments wraps an inner type node
+        // (e.g. user_type > generic_type, or a plain user_type > type_identifier with
+        // no generics) — recurse into that child. generic_type / generic_name with no
+        // args simply have no type arguments to report.
+        if (typeNode.type === 'user_type') {
+            const inner = typeNode.firstNamedChild;
+            return inner ? extractGenericTypeArgs(inner, depth + 1) : [];
+        }
         return [];
+    }
     const result = [];
     for (let i = 0; i < argsNode.namedChildCount; i++) {
         let argNode = argsNode.namedChild(i);

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

@@ -27,7 +27,7 @@ function swiftNavigationSuffixName(node) {
 /** Swift: let x: Foo = ... */
 const extractDeclaration = (node, env) => {
     // Swift property_declaration has pattern and type_annotation
-    const pattern = node.childForFieldName('pattern') ?? findChild(node, 'pattern');
+    const pattern = findChild(node, 'pattern');
     const typeAnnotation = node.childForFieldName('type') ?? findChild(node, 'type_annotation');
     if (!pattern || !typeAnnotation)
         return;
@@ -41,11 +41,11 @@ const extractParameter = (node, env) => {
     let nameNode = null;
     let typeNode = null;
     if (node.type === 'parameter') {
-        nameNode = node.childForFieldName('name') ?? node.childForFieldName('internal_name');
+        nameNode = node.childForFieldName('name');
         typeNode = node.childForFieldName('type');
     }
     else {
-        nameNode = node.childForFieldName('name') ?? node.childForFieldName('pattern');
+        nameNode = node.childForFieldName('name');
         typeNode = node.childForFieldName('type');
     }
     if (!nameNode || !typeNode)
@@ -65,7 +65,7 @@ const extractInitializer = (node, env, classNames) => {
     if (node.childForFieldName('type') || findChild(node, 'type_annotation'))
         return;
     // Find pattern (variable name)
-    const pattern = node.childForFieldName('pattern') ?? findChild(node, 'pattern');
+    const pattern = findChild(node, 'pattern');
     if (!pattern)
         return;
     const varName = extractVarName(pattern) ?? pattern.text;
@@ -117,7 +117,7 @@ const scanConstructorBinding = (node) => {
         return undefined;
     if (hasTypeAnnotation(node))
         return undefined;
-    const pattern = node.childForFieldName('pattern') ?? findChild(node, 'pattern');
+    const pattern = findChild(node, 'pattern');
     if (!pattern)
         return undefined;
     const varName = pattern.text;

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

@@ -269,7 +269,7 @@ const findTsIterableElementType = (iterableName, startNode, pos = 'last') => {
     while (current) {
         if (TS_FUNCTION_NODE_TYPES.has(current.type)) {
             // Search function parameters
-            const paramsNode = current.childForFieldName('parameters') ?? current.childForFieldName('formal_parameters');
+            const paramsNode = current.childForFieldName('parameters');
             if (paramsNode) {
                 for (let i = 0; i < paramsNode.namedChildCount; i++) {
                     const param = paramsNode.namedChild(i);

package/dist/core/ingestion/variable-extractors/configs/dart.js

@@ -1,6 +1,5 @@
 // gitnexus/src/core/ingestion/variable-extractors/configs/dart.ts
 import { SupportedLanguages } from '../../../../_shared/index.js';
-import { extractSimpleTypeName } from '../../type-extractors/shared.js';
 /**
  * Dart variable extraction config.
  *
@@ -43,14 +42,6 @@ function extractDartVarName(node) {
     return undefined;
 }
 function extractDartVarType(node) {
-    for (let i = 0; i < node.namedChildCount; i++) {
-        const child = node.namedChild(i);
-        if (child?.type === 'initialized_variable_definition') {
-            const typeNode = child.childForFieldName('type');
-            if (typeNode)
-                return extractSimpleTypeName(typeNode) ?? typeNode.text?.trim();
-        }
-    }
     // Look for type_identifier directly on the node
     for (let i = 0; i < node.namedChildCount; i++) {
         const child = node.namedChild(i);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "gitnexus",
-  "version": "1.6.6-rc.101",
+  "version": "1.6.6-rc.102",
   "description": "Graph-powered code intelligence for AI agents. Index any codebase, query via MCP or CLI.",
   "author": "Abhigyan Patwari",
   "license": "PolyForm-Noncommercial-1.0.0",