cgraphx 2.0.2 → 2.0.6

package/dist/core/code/engine/core/ingestion/languages/csharp/arity.js

@@ -0,0 +1,40 @@
+"use strict";
+/**
+ * C# arity check, accommodating `params` variadic and default parameters.
+ *
+ * The `def` metadata we care about (synthesized by `arity-metadata.ts`):
+ *   - `parameterCount`         — total formal parameters; `undefined`
+ *                                when the method has `params T[]` variadic.
+ *   - `requiredParameterCount` — min required (excludes defaulted params
+ *                                and `params` variadic).
+ *   - `parameterTypes`         — declared type strings; contains the
+ *                                literal `'params'` when the method is
+ *                                variadic.
+ *
+ * Verdicts:
+ *   - `'compatible'`   — `requiredParameterCount <= argCount <= parameterCount`,
+ *                        OR the def takes `params` (then any `argCount >= required`).
+ *   - `'incompatible'` — argCount is below required, OR above max with no variadic.
+ *   - `'unknown'`      — metadata is absent / incomplete.
+ *
+ * `'incompatible'` is a soft signal in `Registry.lookup` (penalized but
+ * still considered when no compatible candidate exists), per RFC §4.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.csharpArityCompatibility = csharpArityCompatibility;
+function csharpArityCompatibility(def, callsite) {
+    const max = def.parameterCount;
+    const min = def.requiredParameterCount;
+    if (max === undefined && min === undefined)
+        return 'unknown';
+    const argCount = callsite.arity;
+    if (!Number.isFinite(argCount) || argCount < 0)
+        return 'unknown';
+    const hasVarArgs = def.parameterTypes !== undefined &&
+        def.parameterTypes.some((t) => t === 'params' || t.startsWith('params '));
+    if (min !== undefined && argCount < min)
+        return 'incompatible';
+    if (max !== undefined && argCount > max && !hasVarArgs)
+        return 'incompatible';
+    return 'compatible';
+}

package/dist/core/code/engine/core/ingestion/languages/csharp/cache-stats.js

@@ -0,0 +1,32 @@
+"use strict";
+/**
+ * Dev-mode counters for the cross-phase scope-captures parse cache
+ * (C# mirror of `languages/python/cache-stats.ts`).
+ *
+ * Gated by `PROF_SCOPE_RESOLUTION=1`. Production builds fold every
+ * increment into dead code via the module-level `PROF` constant, so
+ * the hot path in `captures.ts` stays branch-free.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.recordCacheHit = recordCacheHit;
+exports.recordCacheMiss = recordCacheMiss;
+exports.getCsharpCaptureCacheStats = getCsharpCaptureCacheStats;
+exports.resetCsharpCaptureCacheStats = resetCsharpCaptureCacheStats;
+const PROF = process.env.PROF_SCOPE_RESOLUTION === '1';
+let CACHE_HITS = 0;
+let CACHE_MISSES = 0;
+function recordCacheHit() {
+    if (PROF)
+        CACHE_HITS++;
+}
+function recordCacheMiss() {
+    if (PROF)
+        CACHE_MISSES++;
+}
+function getCsharpCaptureCacheStats() {
+    return { hits: CACHE_HITS, misses: CACHE_MISSES };
+}
+function resetCsharpCaptureCacheStats() {
+    CACHE_HITS = 0;
+    CACHE_MISSES = 0;
+}

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

@@ -0,0 +1,557 @@
+"use strict";
+/**
+ * `emitScopeCaptures` for C#.
+ *
+ * Drives the C# scope query against tree-sitter-c-sharp and groups raw
+ * matches into `CaptureMatch[]` for the central extractor. Layers one
+ * synthesized stream on top today:
+ *
+ *   1. **Decomposed using directives** — each `using_directive` is
+ *      re-emitted with `@import.kind/source/name/alias` markers so
+ *      `interpretCsharpImport` can recover the ParsedImport shape
+ *      without re-parsing raw text (see `import-decomposer.ts`).
+ *
+ * Receiver-binding synthesis (`this` / `base` type anchors) and arity
+ * metadata synthesis (Unit 5) layer on top later.
+ *
+ * Pure given the input source text. No I/O, no globals consulted.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.emitCsharpScopeCaptures = emitCsharpScopeCaptures;
+const ast_helpers_js_1 = require("../../utils/ast-helpers.js");
+const import_decomposer_js_1 = require("./import-decomposer.js");
+const arity_metadata_js_1 = require("./arity-metadata.js");
+const receiver_binding_js_1 = require("./receiver-binding.js");
+const query_js_1 = require("./query.js");
+const cache_stats_js_1 = require("./cache-stats.js");
+const constants_js_1 = require("../../constants.js");
+const safe_parse_js_1 = require("../../../tree-sitter/safe-parse.js");
+const callable_flow_captures_js_1 = require("../../utils/callable-flow-captures.js");
+const receiver_chain_captures_js_1 = require("../../utils/receiver-chain-captures.js");
+/** Declaration anchors that carry function-like arity metadata. */
+const FUNCTION_DECL_TAGS = [
+    '@declaration.method',
+    '@declaration.constructor',
+    '@declaration.function',
+];
+/** tree-sitter-c-sharp node types that the method extractor accepts. */
+const FUNCTION_NODE_TYPES = [
+    'method_declaration',
+    'constructor_declaration',
+    'destructor_declaration',
+    'operator_declaration',
+    'conversion_operator_declaration',
+    'local_function_statement',
+];
+const CSHARP_CALLABLE_CAPTURE_OPTIONS = {
+    functionNodeTypes: new Set([
+        ...FUNCTION_NODE_TYPES,
+        'lambda_expression',
+        'anonymous_method_expression',
+    ]),
+    callNodeTypes: new Set(['invocation_expression']),
+    parameterListNodeTypes: new Set(['parameter_list', 'argument_list']),
+    parameterNodeTypes: new Set(['parameter']),
+    bindingNodeTypes: new Set(['variable_declarator']),
+    assignmentNodeTypes: new Set(['assignment_expression']),
+    identifierNodeTypes: new Set(['identifier', 'generic_name']),
+    callableProtocolMethods: new Set(['Invoke']),
+    extractAssignment: (node) => {
+        if (node.type !== 'variable_declarator')
+            return undefined;
+        const destination = node.childForFieldName('name');
+        const source = node.lastNamedChild;
+        if (destination === null || source === null || source.id === destination.id)
+            return undefined;
+        return { destination, source };
+    },
+};
+const BUILTIN_TYPE_NAMES = new Set([
+    'bool',
+    'byte',
+    'char',
+    'decimal',
+    'double',
+    'float',
+    'int',
+    'long',
+    'object',
+    'sbyte',
+    'short',
+    'string',
+    'uint',
+    'ulong',
+    'ushort',
+    'void',
+]);
+function shouldEmitReadMember(memberNode) {
+    const parent = memberNode.parent;
+    if (parent === null)
+        return true;
+    switch (parent.type) {
+        case 'invocation_expression':
+            return parent.childForFieldName('function')?.id !== memberNode.id;
+        case 'assignment_expression':
+            return parent.childForFieldName('left')?.id !== memberNode.id;
+        default:
+            return true;
+    }
+}
+function emitCsharpScopeCaptures(sourceText, _filePath, cachedTree) {
+    // Reuse a pre-parsed Tree when the caller passes one via `cachedTree`; a
+    // miss re-parses. (The cache is currently always empty — its only producer,
+    // the sequential parser, was removed — so this re-parses in practice.) The
+    // cachedTree parameter is typed `unknown` at the LanguageProvider contract
+    // layer; cast here at the use site.
+    let tree = cachedTree;
+    if (tree === undefined) {
+        tree = (0, safe_parse_js_1.parseSourceSafe)((0, query_js_1.getCsharpParser)(), sourceText, undefined, {
+            bufferSize: (0, constants_js_1.getTreeSitterBufferSize)(sourceText),
+        });
+        (0, cache_stats_js_1.recordCacheMiss)();
+    }
+    else {
+        (0, cache_stats_js_1.recordCacheHit)();
+    }
+    const rawMatches = (0, query_js_1.getCsharpScopeQuery)().matches(tree.rootNode);
+    const out = [];
+    for (const m of rawMatches) {
+        // Group captures by their tag name. Tree-sitter strips the leading
+        // `@`; we put it back so the central extractor's prefix lookups
+        // (`@scope.`, `@declaration.`, …) work.
+        const grouped = {};
+        // Parallel tag -> captured SyntaxNode map: the query hands us each matched
+        // node as c.node, so anchors resolve via a type-guarded lookup (nodeIfType)
+        // instead of re-deriving them with findNodeAtRange(tree.rootNode, ...) per
+        // match — the O(matches x rootChildren) root-walk fixed for go #1915 /
+        // python #1918, mirrored here.
+        const nodeMap = {};
+        for (const c of m.captures) {
+            const tag = '@' + c.name;
+            grouped[tag] = (0, ast_helpers_js_1.nodeToCapture)(tag, c.node);
+            nodeMap[tag] = c.node;
+        }
+        if (Object.keys(grouped).length === 0)
+            continue;
+        // Decompose each `using_directive` so `interpretCsharpImport` sees
+        // the kind/source/name/alias markers it consumes. Raw query match
+        // only carries the @import.statement anchor.
+        if (grouped['@import.statement'] !== undefined) {
+            const stmtNode = (0, ast_helpers_js_1.nodeIfType)(nodeMap['@import.statement'], 'using_directive');
+            if (stmtNode !== null) {
+                const decomposed = (0, import_decomposer_js_1.splitUsingDirective)(stmtNode);
+                if (decomposed !== null) {
+                    out.push(decomposed);
+                    continue;
+                }
+            }
+            // Defensive fallback: emit the raw match so the extractor at
+            // least sees an anchor, even without markers.
+            // Structural receiver chain for a call whose receiver is itself an
+            // expression, so resolution can type it by folding over structure
+            // instead of re-parsing the receiver's source text. Self-gating: a
+            // non-call match, an absent receiver, or a chain with no nameable base
+            // all leave `grouped` untouched.
+            (0, receiver_chain_captures_js_1.synthesizeReceiverChainCapture)(grouped, nodeMap['@reference.receiver']);
+            out.push(grouped);
+            continue;
+        }
+        if (grouped['@reference.read.member'] !== undefined) {
+            const memberNode = (0, ast_helpers_js_1.nodeIfType)(nodeMap['@reference.read.member'], 'member_access_expression');
+            if (memberNode === null || !shouldEmitReadMember(memberNode)) {
+                continue;
+            }
+        }
+        // Synthesize `this` / `base` receiver type-bindings on every
+        // instance method-like. Tree-sitter can't cleanly express "the
+        // implicit receiver of a non-static member of a class/struct/
+        // record/interface" via a static `.scm` pattern, so we walk up
+        // the AST in code. Mirrors Python's `self`/`cls` synthesis on
+        // `@scope.function` matches.
+        if (grouped['@scope.function'] !== undefined) {
+            // Structural receiver chain for a call whose receiver is itself an
+            // expression, so resolution can type it by folding over structure
+            // instead of re-parsing the receiver's source text. Self-gating: a
+            // non-call match, an absent receiver, or a chain with no nameable base
+            // all leave `grouped` untouched.
+            (0, receiver_chain_captures_js_1.synthesizeReceiverChainCapture)(grouped, nodeMap['@reference.receiver']);
+            out.push(grouped);
+            const fnNode = (0, ast_helpers_js_1.nodeIfType)(nodeMap['@scope.function'], ...FUNCTION_NODE_TYPES);
+            if (fnNode !== null) {
+                for (const synth of (0, receiver_binding_js_1.synthesizeCsharpReceiverBinding)(fnNode)) {
+                    out.push(synth);
+                }
+            }
+            continue;
+        }
+        // Synthesize arity metadata on function-like declarations so the
+        // registry can narrow overloads (C# relies heavily on this). Mirrors
+        // Python's captures.ts pattern — one anchor per match, so we find
+        // the first tag that matches.
+        const declTag = FUNCTION_DECL_TAGS.find((t) => grouped[t] !== undefined);
+        if (declTag !== undefined) {
+            const fnNode = (0, ast_helpers_js_1.nodeIfType)(nodeMap[declTag], ...FUNCTION_NODE_TYPES);
+            if (fnNode !== null) {
+                const arity = (0, arity_metadata_js_1.computeCsharpArityMetadata)(fnNode);
+                if (arity.parameterCount !== undefined) {
+                    grouped['@declaration.parameter-count'] = (0, ast_helpers_js_1.syntheticCapture)('@declaration.parameter-count', fnNode, String(arity.parameterCount));
+                }
+                if (arity.requiredParameterCount !== undefined) {
+                    grouped['@declaration.required-parameter-count'] = (0, ast_helpers_js_1.syntheticCapture)('@declaration.required-parameter-count', fnNode, String(arity.requiredParameterCount));
+                }
+                if (arity.parameterTypes !== undefined) {
+                    grouped['@declaration.parameter-types'] = (0, ast_helpers_js_1.syntheticCapture)('@declaration.parameter-types', fnNode, JSON.stringify(arity.parameterTypes));
+                }
+            }
+        }
+        // Qualified constructor calls — `new Ns.Foo()`, `new A.B.Foo()`,
+        // `new Ns.Box<int>()` — bind only `@reference.call.constructor.qualified`
+        // with NO `@reference.name`, so the central extractor falls back to the
+        // whole-expression anchor and the reference name becomes the raw
+        // `new Ns.Foo()` text (never resolves). Derive the bare simple-name tail via
+        // the same `terminalTypeNameNode` helper the inheritance synth uses — it
+        // handles qualified_name, a generic tail (`Ns.Box<int>` → `Box`), and
+        // alias_qualified_name (`global::Ns.Foo`). Mirrors Java F35 (#1928).
+        if (grouped['@reference.call.constructor.qualified'] !== undefined &&
+            grouped['@reference.name'] === undefined) {
+            const qNode = nodeMap['@reference.call.constructor.qualified'];
+            const nameNode = qNode === undefined ? null : terminalTypeNameNode(qNode);
+            if (nameNode !== null) {
+                grouped['@reference.name'] = (0, ast_helpers_js_1.nodeToCapture)('@reference.name', nameNode);
+                const qText = qNode.text.trim();
+                if (qText.length > 0 && qText !== nameNode.text) {
+                    grouped['@reference.qualified-name'] = (0, ast_helpers_js_1.syntheticCapture)('@reference.qualified-name', qNode, qText);
+                }
+            }
+        }
+        // Synthesize `@reference.arity` on every callsite so the
+        // registry's arity filter can narrow overloads. Count the
+        // `argument` named children of the backing `argument_list`.
+        // Python doesn't synthesize this today; C# needs it because the
+        // language has method overloading and the suite asserts overload
+        // resolution.
+        const callTag = ['@reference.call.free', '@reference.call.member', '@reference.call.constructor'].find((t) => grouped[t] !== undefined);
+        if (callTag !== undefined && grouped['@reference.arity'] === undefined) {
+            const callNode = (0, ast_helpers_js_1.nodeIfType)(nodeMap[callTag], 'invocation_expression', 'object_creation_expression');
+            if (callNode !== null) {
+                const argList = callNode.childForFieldName('arguments');
+                const args = argList === null
+                    ? []
+                    : argList.namedChildren.filter((c) => c !== null && c.type === 'argument');
+                grouped['@reference.arity'] = (0, ast_helpers_js_1.syntheticCapture)('@reference.arity', callNode, String(args.length));
+                // Infer argument types from literal nodes so overload
+                // disambiguation can narrow same-arity candidates by param
+                // type. Non-literal arguments emit empty string to indicate
+                // "unknown" — consumers treat unknown as any-match.
+                const argTypes = args.map((arg) => inferArgType(arg));
+                grouped['@reference.parameter-types'] = (0, ast_helpers_js_1.syntheticCapture)('@reference.parameter-types', callNode, JSON.stringify(argTypes));
+            }
+        }
+        // Structural receiver chain for a call whose receiver is itself an
+        // expression, so resolution can type it by folding over structure
+        // instead of re-parsing the receiver's source text. Self-gating: a
+        // non-call match, an absent receiver, or a chain with no nameable base
+        // all leave `grouped` untouched.
+        (0, receiver_chain_captures_js_1.synthesizeReceiverChainCapture)(grouped, nodeMap['@reference.receiver']);
+        out.push(grouped);
+        // Synthesize primary-constructor declarations on class/record
+        // declarations that carry a `parameter_list` child (C# 12 syntax
+        // `public class User(string name, int age) { ... }` or
+        // `public record Person(string FirstName, string LastName)`).
+        // Legacy `csharpMethodConfig.extractPrimaryConstructor` runs via
+        // the parse phase; the scope-resolution path needs its own emit so
+        // `new User(...)` resolves to a Constructor def in memberByOwner.
+        if (grouped['@declaration.class'] !== undefined ||
+            grouped['@declaration.record'] !== undefined) {
+            const typeNode = (0, ast_helpers_js_1.nodeIfType)(nodeMap['@declaration.class'] ?? nodeMap['@declaration.record'], 'class_declaration', 'record_declaration');
+            if (typeNode !== null) {
+                const synth = synthesizePrimaryConstructor(typeNode);
+                if (synth !== null)
+                    out.push(synth);
+            }
+        }
+    }
+    out.push(...synthesizeGenericTypeArgumentReferences(tree.rootNode));
+    out.push(...synthesizeCsharpInheritanceReferences(tree.rootNode));
+    out.push(...synthesizeCsharpConstructorInitializerReferences(tree.rootNode));
+    out.push(...(0, callable_flow_captures_js_1.synthesizeCallableFlowCaptures)(tree.rootNode, CSHARP_CALLABLE_CAPTURE_OPTIONS));
+    return out;
+}
+/**
+ * Synthesize `@reference.call.constructor` captures for C# constructor
+ * initializers — `: base(...)` and `: this(...)` (F38 analog of Java #1928).
+ * tree-sitter-c-sharp models these as `constructor_initializer` nodes the scope
+ * query never matched, so the chained-constructor CALLS edges (derived ctor →
+ * base ctor; ctor → sibling overload) were silently dropped.
+ *
+ * The initializer carries no constructor name (the `base`/`this` child is a bare
+ * keyword token), so the target is resolved structurally:
+ *   - `this(...)` → the enclosing type's own simple name.
+ *   - `base(...)` → the enclosing class/record's base type, reduced to its bare
+ *     simple name via `terminalTypeNameNode`. C# requires the base class first in
+ *     a mixed list (`class C : Base, IFoo`); interface-only lists (`class C : IFoo`)
+ *     imply implicit `System.Object` — no `@reference` is emitted when the first
+ *     non-builtin base would be an interface-only target (resolution also drops
+ *     Interface-typed constructor targets in `free-call-fallback`).
+ * Arity is attached for overload disambiguation, mirroring `new X(...)`.
+ */
+function synthesizeCsharpConstructorInitializerReferences(root) {
+    const out = [];
+    (0, ast_helpers_js_1.walkNamedTree)(root, (node) => {
+        if (node.type !== 'constructor_initializer')
+            return;
+        let kind = null;
+        for (let i = 0; i < node.childCount; i++) {
+            const t = node.child(i)?.type;
+            if (t === 'base' || t === 'this') {
+                kind = t;
+                break;
+            }
+        }
+        if (kind === null)
+            return;
+        const enclosingType = findEnclosingTypeDeclaration(node);
+        if (enclosingType === null)
+            return;
+        let targetNameNode = null;
+        if (kind === 'this') {
+            targetNameNode = enclosingType.childForFieldName('name');
+        }
+        else {
+            const baseList = findNamedChild(enclosingType, 'base_list');
+            if (baseList === null)
+                return;
+            // Prefer the first non-builtin entry (idiomatically the base class). When
+            // the list is interface-only (`class C : IFoo`), do not synthesize a
+            // `base(...)` ref — valid C# chains to implicit Object, not IFoo (#2046).
+            let sawNonBuiltin = false;
+            for (const base of baseList.namedChildren) {
+                if (base === null)
+                    continue;
+                const n = terminalTypeNameNode(base);
+                if (n === null || BUILTIN_TYPE_NAMES.has(n.text))
+                    continue;
+                sawNonBuiltin = true;
+                targetNameNode = n;
+                break;
+            }
+            if (!sawNonBuiltin)
+                return;
+        }
+        if (targetNameNode === null)
+            return;
+        const argList = findNamedChild(node, 'argument_list');
+        const arity = argList === null
+            ? 0
+            : argList.namedChildren.filter((c) => c !== null && c.type === 'argument').length;
+        out.push({
+            '@reference.call.constructor': (0, ast_helpers_js_1.nodeToCapture)('@reference.call.constructor', node),
+            '@reference.name': (0, ast_helpers_js_1.nodeToCapture)('@reference.name', targetNameNode),
+            '@reference.arity': (0, ast_helpers_js_1.syntheticCapture)('@reference.arity', node, String(arity)),
+        });
+    });
+    return out;
+}
+function findEnclosingTypeDeclaration(node) {
+    let cur = node.parent;
+    while (cur !== null) {
+        if (cur.type === 'class_declaration' ||
+            cur.type === 'struct_declaration' ||
+            cur.type === 'record_declaration') {
+            return cur;
+        }
+        cur = cur.parent;
+    }
+    return null;
+}
+/**
+ * Synthesize `@reference.inherits` captures from C# base lists so the
+ * registry-primary scope-resolution path emits EXTENDS / IMPLEMENTS edges
+ * (mirrors C++ `emitCppInheritanceCaptures`). Without this, C# inheritance
+ * edges came only from the legacy heritage-capture leg (removed in #942),
+ * which is dropped for registry-primary languages in the worker pipeline
+ * (issue #1951).
+ *
+ * Scope covers every `base_list`-bearing declaration the legacy heritage
+ * leg matched: `class_declaration`, `interface_declaration`,
+ * `record_declaration`, and `struct_declaration`. Records and structs were
+ * dropped before (#1951): a `record R(...) : Base(args), IFoo` or
+ * `struct S : IFoo, ns.IBar` produced no registry-primary inheritance edge
+ * even though the legacy heritage query covered them. The
+ * EXTENDS-vs-IMPLEMENTS split is decided downstream from the resolved target's
+ * symbol kind (`preEmitInheritanceEdges`), so all bases are emitted with the
+ * same `inherits` kind here; the base lookup name is normalized to its bare
+ * simple identifier (`IRepository<T>` → `IRepository`, `A.B.IFace` → `IFace`,
+ * `Base(args)` primary-ctor base → `Base`, `MyAlias::Foo` → `Foo`) to match
+ * the V1 simple-name `findClassBindingInScope` contract — exactly the bare
+ * text `normalizeSupertypeName` (supertype-alternation.ts) reduces each shape
+ * to on the legacy leg.
+ */
+function synthesizeCsharpInheritanceReferences(root) {
+    const out = [];
+    (0, ast_helpers_js_1.walkNamedTree)(root, (node) => {
+        if (node.type !== 'class_declaration' &&
+            node.type !== 'interface_declaration' &&
+            node.type !== 'record_declaration' &&
+            node.type !== 'struct_declaration') {
+            return;
+        }
+        const baseList = findNamedChild(node, 'base_list');
+        if (baseList === null)
+            return;
+        for (const base of baseList.namedChildren) {
+            if (base === null)
+                continue;
+            const nameNode = terminalTypeNameNode(base);
+            if (nameNode === null)
+                continue;
+            if (BUILTIN_TYPE_NAMES.has(nameNode.text))
+                continue;
+            out.push({
+                '@reference.inherits': (0, ast_helpers_js_1.nodeToCapture)('@reference.inherits', base),
+                '@reference.name': (0, ast_helpers_js_1.nodeToCapture)('@reference.name', nameNode),
+            });
+        }
+    });
+    return out;
+}
+function synthesizeGenericTypeArgumentReferences(root) {
+    const out = [];
+    // Treat all generic type arguments as static type references, including
+    // declaration signatures and call-site generic instantiations.
+    (0, ast_helpers_js_1.walkNamedTree)(root, (node) => {
+        if (node.type !== 'generic_name')
+            return;
+        const args = findNamedChild(node, 'type_argument_list');
+        if (args === null)
+            return;
+        for (const arg of args.namedChildren) {
+            if (arg === null)
+                continue;
+            const nameNode = terminalTypeNameNode(arg);
+            if (nameNode === null)
+                continue;
+            if (BUILTIN_TYPE_NAMES.has(nameNode.text))
+                continue;
+            out.push({
+                '@reference.type': (0, ast_helpers_js_1.nodeToCapture)('@reference.type', nameNode),
+                '@reference.name': (0, ast_helpers_js_1.nodeToCapture)('@reference.name', nameNode),
+            });
+        }
+    });
+    return out;
+}
+function terminalTypeNameNode(node) {
+    switch (node.type) {
+        case 'identifier':
+            return node;
+        case 'nullable_type':
+            return node.firstNamedChild === null ? null : terminalTypeNameNode(node.firstNamedChild);
+        case 'qualified_name': {
+            // `A.B.Base` -> tail identifier `Base`; `A.B.Base<T>` -> the tail is a
+            // `generic_name`, so recurse to drop the type arguments and reach the
+            // bare base identifier (#1951).
+            const tail = node.lastNamedChild;
+            return tail === null ? null : terminalTypeNameNode(tail);
+        }
+        case 'alias_qualified_name': {
+            // `MyAlias::Foo` / `global::IDisposable` -> the `name` field is the bare
+            // identifier (the `alias` is the qualifier). Mirrors
+            // normalizeSupertypeName's `name`-field reduction for this shape (#1951).
+            const name = node.childForFieldName('name');
+            return name === null ? null : terminalTypeNameNode(name);
+        }
+        case 'primary_constructor_base_type': {
+            // record base with a constructor call: `Base(args)` / `pkg.Base(id)` /
+            // `Box<int>(id)`. The `type` field holds the supertype (identifier /
+            // qualified_name / generic_name); the trailing argument_list is dropped.
+            // Mirrors normalizeSupertypeName's `type`-field reduction (#1951).
+            const type = node.childForFieldName('type');
+            return type === null ? null : terminalTypeNameNode(type);
+        }
+        case 'generic_name':
+            // 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;
+    }
+}
+function findNamedChild(node, type) {
+    for (const child of node.namedChildren) {
+        if (child !== null && child.type === type)
+            return child;
+    }
+    return null;
+}
+/** C# 12 primary constructor: `class X(a, b) { }` / `record X(a, b)`.
+ *  The parameters are a bare `parameter_list` named child of the type
+ *  declaration (no `constructor_declaration` node). Emit a synthetic
+ *  @declaration.constructor match so the extractor creates a
+ *  Constructor def in memberByOwner — free-call-fallback's
+ *  `pickConstructorOrClass` then targets it for `new X(...)` calls. */
+function synthesizePrimaryConstructor(typeNode) {
+    // Skip types with an explicit constructor_declaration — that would
+    // create duplicate defs.
+    const body = typeNode.childForFieldName('body');
+    if (body !== null) {
+        for (let i = 0; i < body.namedChildCount; i++) {
+            const child = body.namedChild(i);
+            if (child !== null && child.type === 'constructor_declaration')
+                return null;
+        }
+    }
+    let paramList = null;
+    for (let i = 0; i < typeNode.namedChildCount; i++) {
+        const child = typeNode.namedChild(i);
+        if (child !== null && child.type === 'parameter_list') {
+            paramList = child;
+            break;
+        }
+    }
+    if (paramList === null)
+        return null;
+    const nameNode = typeNode.childForFieldName('name');
+    if (nameNode === null)
+        return null;
+    const paramCount = paramList.namedChildren.filter((c) => c !== null && c.type === 'parameter').length;
+    const m = {
+        '@declaration.constructor': (0, ast_helpers_js_1.nodeToCapture)('@declaration.constructor', paramList),
+        '@declaration.name': (0, ast_helpers_js_1.syntheticCapture)('@declaration.name', nameNode, nameNode.text),
+        '@declaration.parameter-count': (0, ast_helpers_js_1.syntheticCapture)('@declaration.parameter-count', paramList, String(paramCount)),
+        '@declaration.required-parameter-count': (0, ast_helpers_js_1.syntheticCapture)('@declaration.required-parameter-count', paramList, String(paramCount)),
+    };
+    return m;
+}
+/** Infer a C# argument's static type from literal / constructor
+ *  patterns. Returns `''` when the arg has no statically-derivable
+ *  type (e.g. identifier — would require full type inference). */
+function inferArgType(argNode) {
+    // `argument > expression` — tree-sitter-c-sharp wraps the value.
+    const expr = argNode.namedChild(0);
+    if (expr === null)
+        return '';
+    switch (expr.type) {
+        case 'integer_literal':
+            return 'int';
+        case 'real_literal':
+            return 'double';
+        case 'string_literal':
+        case 'verbatim_string_literal':
+        case 'interpolated_string_expression':
+        case 'raw_string_literal':
+            return 'string';
+        case 'character_literal':
+            return 'char';
+        case 'boolean_literal':
+            return 'bool';
+        case 'null_literal':
+            return 'null';
+        case 'object_creation_expression': {
+            const typeNode = expr.childForFieldName('type');
+            return typeNode?.text ?? '';
+        }
+        default:
+            return '';
+    }
+}