cgraphx 2.0.2 → 2.0.3

package/dist/core/code/engine/core/ingestion/languages/go/interface-impls.js

@@ -0,0 +1,955 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.detectGoInterfaceImplementations = detectGoInterfaceImplementations;
+const ids_js_1 = require("../../scope-resolution/graph-bridge/ids.js");
+const walkers_js_1 = require("../../scope-resolution/scope/walkers.js");
+const package_clause_js_1 = require("./package-clause.js");
+const generic_type_parameters_js_1 = require("./generic-type-parameters.js");
+function detectGoInterfaceImplementations(parsedFiles, _indexes, _model) {
+    return detectGoInterfaceImplementationsFromIndexes(buildDetectionIndexes(parsedFiles, _indexes));
+}
+function buildDetectionIndexes(parsedFiles, indexes) {
+    const interfaces = [];
+    const structsById = new Map();
+    const methodsByOwner = new Map();
+    const effectiveMethodsByStructId = new Map();
+    const interfaceById = new Map();
+    const interfaceOwnMethodsById = new Map();
+    const embeddedSitesByInterfaceId = new Map();
+    const parentStructIdsByStructId = new Map();
+    const valueMethodsByStructId = new Map();
+    const structIdsByMethodName = new Map();
+    const signatureContextByDefId = new Map();
+    const interfaceIdByScopeId = new Map();
+    const structIdByScopeId = new Map();
+    const typeParametersByInterfaceId = new Map();
+    const signatureContextByFilePath = new Map();
+    for (const parsed of parsedFiles) {
+        const signatureContext = signatureContextForFile(parsed, indexes);
+        signatureContextByFilePath.set(parsed.filePath, signatureContext);
+        for (const def of parsed.localDefs) {
+            signatureContextByDefId.set(def.nodeId, signatureContext);
+            if (def.type === 'Interface') {
+                interfaces.push(def);
+                interfaceById.set(def.nodeId, def);
+                const typeParameters = (0, generic_type_parameters_js_1.readGoTypeParameters)(def);
+                if (typeParameters !== undefined) {
+                    typeParametersByInterfaceId.set(def.nodeId, typeParameters);
+                }
+                continue;
+            }
+            if (def.type === 'Struct') {
+                structsById.set(def.nodeId, def);
+                continue;
+            }
+            if (def.type !== 'Method' && def.type !== 'Function')
+                continue;
+            if (def.ownerId === undefined)
+                continue;
+            // POINTER-receiver methods count toward the method set (#2813).
+            //
+            // Go's rule is per-type, and there are two types here: the method set of
+            // `T` holds only its value-receiver methods, while the method set of `*T`
+            // holds BOTH. #1966 kept only the value-receiver half, which makes the
+            // `T` answer exactly right — and the `*T` answer permanently empty, so a
+            // struct whose methods all read `func (r *T)` satisfied nothing and got
+            // no IMPLEMENTS edge at all.
+            //
+            // That is the shape idiomatic Go actually writes: methods take pointer
+            // receivers so they can mutate, and `*T` is what gets stored in an
+            // interface-typed field. Excluding it did not make the graph
+            // conservative, it made it silent — every call through such a field
+            // resolved to the interface DECLARATION and `impact()` on the
+            // implementation reported zero callers, indistinguishable from a symbol
+            // that genuinely has none.
+            //
+            // GitNexus models one Struct node per type with no separate `*T` node, so
+            // the two method sets cannot both be represented. This picks the `*T`
+            // reading: the graph now answers "which types provide this interface's
+            // behaviour", and no longer proves `var x I = T{}` invalid. That trade is
+            // deliberate — blast radius is what every consumer of IMPLEMENTS asks for
+            // (verified: MRO/METHOD_IMPLEMENTS derivation, community clustering, the
+            // receiver-dispatch fan-out index, and the epistemic heritage probe; none
+            // performs value-assignability checking).
+            //
+            // `goReceiverKind` is still stamped in method-owners.ts and is the hook a
+            // future value/pointer-aware model would read; it is deliberately no
+            // longer a filter here.
+            const simpleName = (0, ids_js_1.simpleQualifiedName)(def);
+            if (simpleName === undefined || simpleName.length === 0)
+                continue;
+            addMethod(methodsByOwner, def.ownerId, methodSetKey(simpleName, def, signatureContextByDefId), def);
+        }
+    }
+    // Built from the nodeId-keyed map, so a def that appears in two ParsedFiles is
+    // one interface here just as it is one there — not a name collision with
+    // itself.
+    const interfacesByQualifiedName = new Map();
+    for (const iface of interfaceById.values()) {
+        const name = iface.qualifiedName;
+        if (name === undefined || name.length === 0)
+            continue;
+        interfacesByQualifiedName.set(name, interfacesByQualifiedName.has(name) ? null : iface);
+    }
+    for (const parsed of parsedFiles) {
+        for (const scope of parsed.scopes) {
+            const iface = scope.ownedDefs.find((def) => def.type === 'Interface');
+            if (iface !== undefined)
+                interfaceIdByScopeId.set(scope.id, iface.nodeId);
+            const struct = scope.ownedDefs.find((def) => def.type === 'Struct');
+            if (struct !== undefined)
+                structIdByScopeId.set(scope.id, struct.nodeId);
+        }
+    }
+    for (const parsed of parsedFiles) {
+        const childScopesByParent = new Map();
+        for (const scope of parsed.scopes) {
+            if (scope.parent === null)
+                continue;
+            const children = childScopesByParent.get(scope.parent) ?? [];
+            children.push(scope);
+            childScopesByParent.set(scope.parent, children);
+        }
+        for (const scope of parsed.scopes) {
+            const ifaceId = interfaceIdByScopeId.get(scope.id);
+            if (ifaceId === undefined)
+                continue;
+            const methods = new Map();
+            for (const childScope of childScopesByParent.get(scope.id) ?? []) {
+                for (const def of childScope.ownedDefs) {
+                    if (def.type !== 'Method' && def.type !== 'Function')
+                        continue;
+                    const simpleName = (0, ids_js_1.simpleQualifiedName)(def);
+                    if (simpleName === undefined || simpleName.length === 0)
+                        continue;
+                    // Same key function as the struct side — an interface requiring an
+                    // unexported `seal()` must only be satisfied from its own package.
+                    addMethodOverload(methods, methodSetKey(simpleName, def, signatureContextByDefId), def);
+                }
+            }
+            interfaceOwnMethodsById.set(ifaceId, methods);
+        }
+        for (const site of parsed.referenceSites) {
+            if (site.kind !== 'inherits')
+                continue;
+            const ifaceId = interfaceIdByScopeId.get(site.inScope);
+            if (ifaceId !== undefined) {
+                const sites = embeddedSitesByInterfaceId.get(ifaceId) ?? [];
+                sites.push(site);
+                embeddedSitesByInterfaceId.set(ifaceId, sites);
+                continue;
+            }
+            const structId = structIdByScopeId.get(site.inScope);
+            if (structId === undefined)
+                continue;
+            const parent = (0, walkers_js_1.resolveInheritanceBaseInScope)(site.inScope, site.name, indexes);
+            if (parent === undefined || parent.type !== 'Struct')
+                continue;
+            // `embeddedAsPointer` is the capture-layer record of `*T` vs `T`; the two
+            // promote different method sets (go.dev/ref/spec#Struct_types).
+            addParentStruct(parentStructIdsByStructId, structId, parent.nodeId, site.embeddedAsPointer === true);
+        }
+    }
+    const structMethodSetCache = new Map();
+    for (const structId of structsById.keys()) {
+        const dual = collectStructMethodSet(structId, {
+            parentStructIdsByStructId,
+            methodsByOwner,
+        }, new Set(), structMethodSetCache);
+        if (dual === undefined)
+            continue;
+        // `pointer` is MS(*T) and is the superset, so it drives candidate lookup:
+        // a type that implements only in pointer form is still an implementor.
+        effectiveMethodsByStructId.set(structId, dual.pointer);
+        valueMethodsByStructId.set(structId, dual.value);
+        for (const methodName of dual.pointer.keys()) {
+            addStructMethodCandidate(structIdsByMethodName, methodName, structId);
+        }
+    }
+    return {
+        interfaces,
+        structsById,
+        methodsByOwner,
+        effectiveMethodsByStructId,
+        interfacesByQualifiedName,
+        interfaceOwnMethodsById,
+        embeddedSitesByInterfaceId,
+        parentStructIdsByStructId,
+        structIdsByMethodName,
+        valueMethodsByStructId,
+        signatureContextByDefId,
+        typeParametersByInterfaceId,
+        // Gated on the repo declaring at least one generic interface. A Go codebase
+        // with none — the overwhelming majority — never runs the harvest at all,
+        // which matters because the spellings it would scan (`[]byte`,
+        // `map[string]X`) are among the commonest types in the language.
+        instantiationsByInterfaceId: typeParametersByInterfaceId.size === 0
+            ? new Map()
+            : collectGoInstantiations(parsedFiles, signatureContextByFilePath, typeParametersByInterfaceId, interfacesByQualifiedName, indexes),
+        scopeIndexes: indexes,
+    };
+}
+/**
+ * Every distinct instantiation of a generic interface written anywhere in the
+ * program, resolved and deduplicated in one pass.
+ *
+ * Go records no instantiation anywhere on the DECLARATION — `Repo[User]` exists
+ * only where it is written — so the sites are the field/parameter/variable type
+ * spellings the capture layer already preserved: `TypeRef.declaredSpelling`
+ * (which keeps the arguments `rawName` drops), and the def-side `declaredType` /
+ * `parameterTypes` / `returnType`.
+ *
+ * A spelling is scanned rather than parsed as a whole, so decorated and nested
+ * forms yield their inner instantiations too: `[]Repo[User]`, `*Repo[User]` and
+ * `map[string]Repo[User]` all yield `Repo[User]`, and `Outer[Repo[User]]` yields
+ * both — each of which really is an instantiation present in the program. False
+ * bases (`map[` scans as base `map`) resolve to no interface and drop out.
+ */
+function collectGoInstantiations(parsedFiles, signatureContextByFilePath, typeParametersByInterfaceId, interfacesByQualifiedName, indexes) {
+    // One map where there were two on the same key: the inner map's KEY is the
+    // joined argument list, so holding it is the deduplication.
+    const argsByInterfaceId = new Map();
+    // A base name resolves once per scope. The bracket gate below cannot filter
+    // Go's commonest types — `map[string]string` scans as base `map` — so the
+    // FALSE bases dominate this pass, and each one otherwise re-walks the whole
+    // scope chain for a name that will never bind.
+    const basesInScope = new Map();
+    const resolveBase = (baseName, inScope) => {
+        // NUL-joined for the same reason `methodSetKey` is: it cannot occur in Go
+        // source, so no two (scope, name) pairs can collide on one key.
+        const key = `${inScope}\u0000${baseName}`;
+        const memo = basesInScope.get(key);
+        if (memo !== undefined)
+            return memo ?? undefined;
+        const iface = resolveGoInstantiationBase(baseName, inScope, interfacesByQualifiedName, indexes);
+        basesInScope.set(key, iface ?? null);
+        return iface;
+    };
+    const record = (spelling, inScope, context) => {
+        // Cheap gate first: most Go type spellings have no bracket at all, and the
+        // scan below is the only per-spelling cost this pass adds.
+        if (spelling === undefined || !spelling.includes('['))
+            return;
+        for (const { baseName, rawArgs } of parseGoInstantiationSpellings(spelling)) {
+            const iface = resolveBase(baseName, inScope);
+            if (iface === undefined)
+                continue;
+            const typeParameters = typeParametersByInterfaceId.get(iface.nodeId);
+            // A partial or over-long argument list is not a valid instantiation
+            // ("For a generic type, all type arguments must always be provided
+            // explicitly" — go.dev/ref/spec#Instantiations), so there is nothing to
+            // substitute and the site is dropped.
+            if (typeParameters === undefined || typeParameters.length !== rawArgs.length)
+                continue;
+            const normalizedArgs = normalizeGoTypeArguments(rawArgs, context);
+            if (normalizedArgs === undefined)
+                continue;
+            let byArgs = argsByInterfaceId.get(iface.nodeId);
+            if (byArgs === undefined) {
+                byArgs = new Map();
+                argsByInterfaceId.set(iface.nodeId, byArgs);
+            }
+            const key = normalizedArgs.join(',');
+            if (!byArgs.has(key))
+                byArgs.set(key, normalizedArgs);
+        }
+    };
+    for (const parsed of parsedFiles) {
+        const context = signatureContextByFilePath.get(parsed.filePath);
+        if (context === undefined)
+            continue;
+        for (const scope of parsed.scopes) {
+            for (const binding of scope.typeBindings.values()) {
+                record(binding.declaredSpelling ?? binding.rawName, scope.id, context);
+            }
+            for (const def of scope.ownedDefs) {
+                record(def.declaredType, scope.id, context);
+                record(def.returnType, scope.id, context);
+                for (const parameterType of def.parameterTypes ?? []) {
+                    record(parameterType, scope.id, context);
+                }
+            }
+        }
+    }
+    return argsByInterfaceId;
+}
+/** Every `Ident[…]` / `pkg.Ident[…]` application in a type spelling, with its
+ *  top-level (comma-separated, delimiter-balanced) arguments. */
+function parseGoInstantiationSpellings(spelling) {
+    const out = [];
+    const namePattern = /[A-Za-z_][A-Za-z0-9_.]*(?=\[)/g;
+    let match;
+    while ((match = namePattern.exec(spelling)) !== null) {
+        const open = match.index + match[0].length;
+        const close = (0, generic_type_parameters_js_1.matchingGoDelimiter)(spelling, open);
+        if (close === -1)
+            continue;
+        const rawArgs = (0, generic_type_parameters_js_1.splitTopLevelGoList)(spelling.slice(open + 1, close));
+        if (rawArgs.length === 0)
+            continue;
+        out.push({ baseName: match[0], rawArgs });
+    }
+    return out;
+}
+/** Normalize each type argument in the context of the file that WROTE it, or
+ *  `undefined` when any of them carries an unresolvable import qualifier — a
+ *  half-normalized argument list would compare against nothing meaningful. */
+function normalizeGoTypeArguments(rawArgs, context) {
+    const normalizedArgs = [];
+    for (const rawArg of rawArgs) {
+        const normalized = normalizeSignatureType(rawArg, context);
+        if (normalized === undefined)
+            return undefined;
+        normalizedArgs.push(normalized);
+    }
+    return normalizedArgs;
+}
+/**
+ * Bind an instantiation's base name to the generic interface it names.
+ *
+ * Goes through `resolveInheritanceBaseInScope` first — the same real scope
+ * resolution the embedded-interface path uses — and falls back to a globally
+ * UNIQUE name match.
+ */
+function resolveGoInstantiationBase(baseName, inScope, interfacesByQualifiedName, indexes) {
+    const bound = (0, walkers_js_1.resolveInheritanceBaseInScope)(inScope, simpleTypeName(baseName), indexes);
+    if (bound !== undefined)
+        return bound.type === 'Interface' ? bound : undefined;
+    return uniqueInterfaceNamed(baseName, interfacesByQualifiedName);
+}
+/**
+ * The one interface a written name denotes by NAME ALONE — the fallback both
+ * name-match routes here share, once the real scope resolution above them has
+ * declined.
+ *
+ * Ambiguity drops the site rather than guessing: two same-named interfaces in
+ * different packages would otherwise cross-pollinate each other's
+ * instantiations, and a dropped site only costs fan-out that does not exist
+ * today anyway. A qualified spelling is tried under both its own name and its
+ * simple tail, and a hit under EACH is two matches, so it declines as well.
+ *
+ * One probe rather than a scan of every interface in the program, which is what
+ * made this quadratic: the bracket gate in `collectGoInstantiations` cannot
+ * filter `map[…]` or `[]T`, so a Go program pays this once per bracketed
+ * spelling it writes.
+ */
+function uniqueInterfaceNamed(name, interfacesByQualifiedName) {
+    const exact = interfacesByQualifiedName.get(name);
+    if (exact === null)
+        return undefined;
+    const simpleName = simpleTypeName(name);
+    if (simpleName === name)
+        return exact;
+    const simple = interfacesByQualifiedName.get(simpleName);
+    if (simple === null)
+        return undefined;
+    if (exact !== undefined && simple !== undefined)
+        return undefined;
+    return exact ?? simple;
+}
+function detectGoInterfaceImplementationsFromIndexes(indexes) {
+    const implementations = new Map();
+    const methodSetCache = new Map();
+    for (const iface of indexes.interfaces) {
+        const required = collectInterfaceMethodSet(iface, indexes, new Set(), methodSetCache);
+        if (required === undefined || required.size === 0)
+            continue;
+        if (!methodSetHasVerifiableSignatures(required))
+            continue;
+        // Hoisted, not recomputed per set: `substituteMethodSet` rewrites
+        // SIGNATURES and returns the identical key set, and `candidateStructIdsFor`
+        // keys off nothing but those method names — so every set below has exactly
+        // these candidates. Materialized because it is iterated once per
+        // instantiation and one of the branches behind it yields a live iterator.
+        const candidateStructIds = [...candidateStructIdsFor(required, indexes)];
+        // The declaration's own method set, then one per observed instantiation.
+        // The declaration set runs FIRST and unconditionally, so this is strictly
+        // additive: every implementor found before #2855 is still found, in the
+        // same order, and instantiation only ever appends.
+        const formByStructId = new Map();
+        for (const candidateSet of [required, ...instantiatedMethodSetsFor(iface, required, indexes)]) {
+            for (const structId of candidateStructIds) {
+                if (formByStructId.get(structId) === 'value')
+                    continue;
+                const pointerSet = indexes.effectiveMethodsByStructId.get(structId);
+                if (pointerSet === undefined)
+                    continue;
+                // MS(*T) is the superset: if it does not satisfy, neither does MS(T).
+                if (!methodSetSatisfies(pointerSet, candidateSet, indexes.signatureContextByDefId))
+                    continue;
+                // Then ask the narrower question separately — does the VALUE type satisfy?
+                // This is the distinction `var x I = T{}` turns on, and it is a fact about
+                // the program, not a heuristic.
+                const valueSet = indexes.valueMethodsByStructId.get(structId);
+                const satisfiesByValue = valueSet !== undefined &&
+                    methodSetSatisfies(valueSet, candidateSet, indexes.signatureContextByDefId);
+                formByStructId.set(structId, satisfiesByValue ? 'value' : 'pointer');
+            }
+        }
+        const implementors = [...formByStructId].map(([structDefId, receiverForm]) => ({ structDefId, receiverForm }));
+        if (implementors.length > 0)
+            implementations.set(iface.nodeId, implementors);
+    }
+    return implementations;
+}
+/**
+ * The method set of each observed INSTANTIATION of a generic interface.
+ *
+ * Go spec, Instantiations: "A generic function or type is instantiated by
+ * substituting type arguments for the type parameters. … Each type argument is
+ * substituted for its corresponding type parameter in the generic declaration. …
+ * Instantiating a type results in a new non-generic named type." Combined with
+ * Type definitions ("Generic types must be instantiated when they are used") the
+ * consequence is that `Repo` is not a type at all and `Repo[User]` is — with
+ * method set `{ Save(x User) }` after substitution. Implementing an interface
+ * then asks whether a type "is an element of the type set of I", and Basic
+ * interfaces defines that type set as "the set of types which implement all of
+ * those methods". `UserRepo`, whose method set contains `Save(x User)`, is an
+ * element of `Repo[User]`'s type set — so it implements `Repo[User]`, and a call
+ * through a `Repo[User]`-typed field really can land on `UserRepo.Save`. Before
+ * this, it could not: the required parameter type stayed the type PARAMETER `T`,
+ * matched no implementor's `User`, and the interface got no IMPLEMENTS edge at
+ * all. That is the same false-silence shape as #2813/#2829, one abstraction up.
+ *
+ * SUBSTITUTION, NOT ERASURE. `Repo[Order]` instantiates to `Save(x Order)` and
+ * is NOT satisfied by a `Save(x User)` implementor. Treating `T` as a wildcard
+ * would satisfy both and mint an edge Go does not have; the whole point of
+ * #2829 was that an exact model beats an approximate one.
+ *
+ * WHAT THIS DELIBERATELY DOES NOT MODEL. GitNexus holds one node per generic
+ * DECLARATION, not one per instantiation, so an interface instantiated at two
+ * different arguments in the same program unions their implementors onto the one
+ * `Repo` node — `Repo[User]` and `Repo[Order]` in the same repo both fan out to
+ * every type satisfying either. That is the same one-node-per-declaration
+ * over-approximation every nominal language in the graph already carries (a
+ * Kotlin `class UserRepo : Repo<User>` yields `UserRepo IMPLEMENTS Repo`, argument
+ * discarded), and it is bounded by the arguments the program actually writes —
+ * strictly narrower than erasure, which admits arguments that appear nowhere.
+ *
+ * Constraints are out of reach by construction and that is correct: a generic
+ * interface used as a CONSTRAINT (`func F[T Repo[X]](…)`) is written in a type
+ * parameter list, which produces no type binding and no declared type, so no
+ * such site is ever harvested. Non-basic interfaces — the union/type-set kind
+ * that "may only be used as type constraints" (General interfaces) — declare no
+ * methods and are already dropped by the empty-method-set guard above.
+ */
+function instantiatedMethodSetsFor(iface, required, indexes) {
+    const typeParameters = indexes.typeParametersByInterfaceId.get(iface.nodeId);
+    if (typeParameters === undefined)
+        return [];
+    const instantiations = indexes.instantiationsByInterfaceId.get(iface.nodeId);
+    if (instantiations === undefined || instantiations.size === 0)
+        return [];
+    const indexByName = new Map(typeParameters.map((name, index) => [name, index]));
+    const sets = [];
+    for (const normalizedArgs of instantiations.values()) {
+        const substituted = substituteMethodSet(required, indexByName, normalizedArgs, indexes.signatureContextByDefId);
+        if (substituted !== undefined)
+            sets.push(substituted);
+    }
+    return sets;
+}
+/**
+ * Rewrite a required method set under one instantiation, or `undefined` when any
+ * signature in it cannot be normalized (an unresolved import qualifier) — a
+ * partially substituted set would compare a mix of instantiated and
+ * uninstantiated types, so the instantiation is dropped whole.
+ *
+ * The substituted defs carry a synthetic node id that is deliberately absent
+ * from `signatureContextByDefId`. Their parameter/return types come out of here
+ * ALREADY normalized — the type arguments in the context that WROTE them, the
+ * rest in the interface's own — and `normalizeSignatureType` with no context is
+ * the identity beyond whitespace, so the comparison in `signaturesCompatible`
+ * cannot re-qualify a spelling that is already fully qualified.
+ */
+function substituteMethodSet(required, indexByName, normalizedArgs, signatureContextByDefId) {
+    const out = new Map();
+    for (const [name, overloads] of required) {
+        const substitutedOverloads = [];
+        for (const def of overloads) {
+            const context = signatureContextByDefId.get(def.nodeId);
+            const parameterTypes = [];
+            for (const parameterType of def.parameterTypes ?? []) {
+                const substituted = substituteSignatureType(parameterType, indexByName, normalizedArgs, context);
+                if (substituted === undefined)
+                    return undefined;
+                parameterTypes.push(substituted);
+            }
+            let returnType;
+            if (def.returnType !== undefined) {
+                returnType = substituteSignatureType(def.returnType, indexByName, normalizedArgs, context);
+                if (returnType === undefined)
+                    return undefined;
+            }
+            substitutedOverloads.push({
+                ...def,
+                nodeId: `${def.nodeId}\u0000instantiated`,
+                ...(def.parameterTypes !== undefined ? { parameterTypes } : {}),
+                ...(returnType !== undefined ? { returnType } : {}),
+            });
+        }
+        out.set(name, substitutedOverloads);
+    }
+    return out;
+}
+/**
+ * Placeholder for the type argument at position `i` while its enclosing type is
+ * normalized. NUL-delimited — the same separator `methodSetKey` already uses,
+ * and for the same reason: it cannot occur in Go source.
+ *
+ * Both halves of that choice are load-bearing. `qualifyGoSignatureTypes` rewrites
+ * only tokens matching `[A-Za-z_][A-Za-z0-9_]*`, which can start with neither NUL
+ * nor a digit, so the placeholder survives normalization untouched; and
+ * `normalizeSignatureType` strips `\s+` FIRST, so a whitespace-delimited
+ * placeholder would lose its delimiters and become indistinguishable from an
+ * array length (`[5]int`).
+ */
+const TYPE_PARAMETER_PLACEHOLDER = /\u0000(\d+)\u0000/g;
+/**
+ * Substitute type arguments into one signature type, preserving Go's type
+ * identity rules for everything around them.
+ *
+ * Substitution happens BEFORE normalization and reinstatement AFTER, so the
+ * argument's own spelling is never re-qualified by the interface's package while
+ * the rest of the type still is: `[]T` in package `repo` with argument
+ * `internal/model.User` yields `[]internal/model.User`, not
+ * `[]repo.internal/model.User`. Pointer, slice, map and variadic shape survive
+ * because only the identifier token is replaced (`*T` -> `*model.User`), which is
+ * what makes `Save(x T)` and `Save(x *T)` stay different methods.
+ */
+function substituteSignatureType(typeName, indexByName, normalizedArgs, context) {
+    const placeheld = typeName.replace(/[A-Za-z_][A-Za-z0-9_]*/g, (token, offset, source) => {
+        // `pkg.T` names `T` in package `pkg`, never the type parameter `T`.
+        if (hasPackageQualifierDot(source, offset))
+            return token;
+        const index = indexByName.get(token);
+        return index === undefined ? token : `\u0000${index}\u0000`;
+    });
+    const normalized = normalizeSignatureType(placeheld, context);
+    if (normalized === undefined)
+        return undefined;
+    return normalized.replace(TYPE_PARAMETER_PLACEHOLDER, (_match, digits) => {
+        return normalizedArgs[Number(digits)] ?? _match;
+    });
+}
+/**
+ * The key a method occupies in a method set.
+ *
+ * Go spec, Uniqueness of identifiers: "Two identifiers are different if they are
+ * spelled differently, **or if they appear in different packages and are not
+ * exported**." So an UNEXPORTED method name is scoped to its declaring package —
+ * `seal` in package `sealed` is a different identifier from `seal` in package
+ * `foreign`, and a type outside `sealed` can never satisfy `interface { seal() }`.
+ * That is the whole basis of the sealed-interface idiom.
+ *
+ * Matching on the bare name made those types satisfy each other, which is a
+ * FALSE implementation rather than an over-approximation. Qualifying the key
+ * with the declaring package for unexported names makes the comparison exact.
+ *
+ * Exported names are deliberately left unqualified: the spec makes them the same
+ * identifier across packages, which is what allows cross-package interface
+ * satisfaction to work at all.
+ */
+function methodSetKey(simpleName, def, signatureContextByDefId) {
+    if (isExportedGoIdentifier(simpleName))
+        return simpleName;
+    const pkg = signatureContextByDefId.get(def.nodeId)?.packageQualifier;
+    return pkg === undefined ? simpleName : `${pkg}\u0000${simpleName}`;
+}
+/**
+ * Go spec, Exported identifiers: exported iff the first character is a Unicode
+ * uppercase letter (category Lu). Method names always satisfy the second clause
+ * (they are method names), so the first character is the whole test.
+ */
+function isExportedGoIdentifier(name) {
+    const first = name.codePointAt(0);
+    if (first === undefined)
+        return false;
+    const ch = String.fromCodePoint(first);
+    return ch !== ch.toLowerCase() && ch === ch.toUpperCase();
+}
+function addMethod(methodsByOwner, ownerId, methodName, def) {
+    let methods = methodsByOwner.get(ownerId);
+    if (methods === undefined) {
+        methods = new Map();
+        methodsByOwner.set(ownerId, methods);
+    }
+    addMethodOverload(methods, methodName, def);
+}
+function addMethodOverload(methods, methodName, def) {
+    const overloads = methods.get(methodName) ?? [];
+    overloads.push(def);
+    methods.set(methodName, overloads);
+}
+function addStructMethodCandidate(structIdsByMethodName, methodName, structId) {
+    const structIds = structIdsByMethodName.get(methodName) ?? new Set();
+    structIds.add(structId);
+    structIdsByMethodName.set(methodName, structIds);
+}
+function addParentStruct(parentStructIdsByStructId, structId, parentStructId, asPointer) {
+    const parents = parentStructIdsByStructId.get(structId) ?? [];
+    parents.push({ structId: parentStructId, asPointer });
+    parentStructIdsByStructId.set(structId, parents);
+}
+function collectStructMethodSet(structId, indexes, visiting, cache) {
+    const entries = collectStructMethodEntries(structId, indexes, visiting, cache);
+    if (entries === undefined)
+        return undefined;
+    return {
+        value: methodEntriesToMethodSet(entries.value),
+        pointer: methodEntriesToMethodSet(entries.pointer),
+    };
+}
+/**
+ * Build MS(T) and MS(*T) together, applying the spec's promotion table exactly
+ * (go.dev/ref/spec#Method_sets, #Struct_types):
+ *
+ *   declared receiver T   -> in MS(T) and MS(*T)
+ *   declared receiver *T  -> in MS(*T) only
+ *   S embeds T  (value)   -> MS(S) gets P's MS(T); MS(*S) gets P's MS(*T)
+ *   S embeds *T (pointer) -> MS(S) AND MS(*S) both get P's MS(*T)
+ *
+ * The last row is the one that makes the embed FORM load-bearing: with
+ * `func (b *Base) Ping()`, `struct{ Base }` does not implement a `Ping`
+ * interface by value while `struct{ *Base }` does. Collapsing the forms gives
+ * both the same answer and one of them is then wrong.
+ */
+function collectStructMethodEntries(structId, indexes, visiting, cache) {
+    const cached = cache.get(structId);
+    if (cached !== undefined) {
+        return { value: cloneMethodEntries(cached.value), pointer: cloneMethodEntries(cached.pointer) };
+    }
+    if (visiting.has(structId))
+        return undefined;
+    visiting.add(structId);
+    const own = indexes.methodsByOwner.get(structId);
+    // MS(*T) holds every declared method; MS(T) drops the pointer-receiver ones.
+    const pointer = directMethodEntries(own);
+    const value = directMethodEntries(filterValueReceiverMethods(own));
+    for (const parent of indexes.parentStructIdsByStructId.get(structId) ?? []) {
+        const parentEntries = collectStructMethodEntries(parent.structId, indexes, visiting, cache);
+        if (parentEntries === undefined) {
+            visiting.delete(structId);
+            return undefined;
+        }
+        // Embedding by POINTER lifts the parent's pointer-receiver methods into the
+        // embedder's VALUE method set; embedding by value does not.
+        const promotedIntoValue = parent.asPointer ? parentEntries.pointer : parentEntries.value;
+        promoteEntries(value, promotedIntoValue);
+        promoteEntries(pointer, parentEntries.pointer);
+    }
+    visiting.delete(structId);
+    cache.set(structId, { value: cloneMethodEntries(value), pointer: cloneMethodEntries(pointer) });
+    return { value, pointer };
+}
+/** Merge one depth-level of promoted entries, preserving the shallowest-depth
+ *  and ambiguity rules the selector spec defines. */
+function promoteEntries(target, source) {
+    for (const [methodName, entry] of source) {
+        if (entry.ambiguous)
+            continue;
+        mergePromotedMethodEntry(target, methodName, {
+            overloads: entry.overloads,
+            depth: entry.depth + 1,
+            ambiguous: false,
+        });
+    }
+}
+/** MS(T) excludes methods declared with a `*T` receiver. */
+function filterValueReceiverMethods(methods) {
+    if (methods === undefined)
+        return undefined;
+    const out = new Map();
+    for (const [name, overloads] of methods) {
+        const valueOnly = overloads.filter((def) => def.goReceiverKind !== 'pointer');
+        if (valueOnly.length > 0)
+            out.set(name, valueOnly);
+    }
+    return out;
+}
+function collectInterfaceMethodSet(iface, indexes, visiting, cache) {
+    const cached = cache.get(iface.nodeId);
+    // NOTE: Returns a direct reference to the cached map. Callers (the detection
+    // loop in detectGoInterfaceImplementationsFromIndexes) only READ the result
+    // (keys/values passed to candidateStructIdsFor and methodSetSatisfies). If a
+    // future caller needs to mutate the returned map, it must clone first — the
+    // cache entry is shared and must remain immutable after this function returns.
+    if (cached !== undefined)
+        return cached;
+    if (visiting.has(iface.nodeId))
+        return undefined;
+    visiting.add(iface.nodeId);
+    const ownMethods = indexes.methodsByOwner.get(iface.nodeId) ?? indexes.interfaceOwnMethodsById.get(iface.nodeId);
+    const merged = cloneMethodSet(ownMethods);
+    const embeddedInterfaces = embeddedInterfacesFor(iface, indexes);
+    if (embeddedInterfaces === undefined) {
+        visiting.delete(iface.nodeId);
+        return undefined;
+    }
+    for (const embeddedIface of embeddedInterfaces) {
+        const embeddedMethods = collectInterfaceMethodSet(embeddedIface, indexes, visiting, cache);
+        if (embeddedMethods === undefined) {
+            visiting.delete(iface.nodeId);
+            return undefined;
+        }
+        mergeMethodSet(merged, embeddedMethods);
+    }
+    visiting.delete(iface.nodeId);
+    // Store a clone in the cache so the returned `merged` reference is independent.
+    // This protects the cache from mutation if a caller modifies the return value.
+    cache.set(iface.nodeId, cloneMethodSet(merged));
+    return merged;
+}
+function embeddedInterfacesFor(iface, indexes) {
+    const embedded = [];
+    for (const site of indexes.embeddedSitesByInterfaceId.get(iface.nodeId) ?? []) {
+        const resolved = resolveEmbeddedInterface(site, indexes);
+        if (resolved === undefined)
+            return undefined;
+        embedded.push(resolved);
+    }
+    return embedded;
+}
+function candidateStructIdsFor(required, indexes) {
+    let result;
+    for (const name of required.keys()) {
+        const candidates = indexes.structIdsByMethodName.get(name);
+        if (candidates === undefined)
+            return [];
+        if (result === undefined) {
+            // First method name: start with its full candidate set (copy to avoid
+            // corrupting the shared index).
+            result = new Set(candidates);
+        }
+        else {
+            // Intersect: keep only struct IDs present in this method's candidate set.
+            // Iterate a snapshot to avoid mutating while iterating.
+            const toDelete = [];
+            for (const id of result) {
+                if (!candidates.has(id))
+                    toDelete.push(id);
+            }
+            for (const id of toDelete)
+                result.delete(id);
+        }
+        if (result.size === 0)
+            return []; // Early exit: no struct has all required methods
+    }
+    return result === undefined ? indexes.structsById.keys() : result;
+}
+function resolveEmbeddedInterface(site, indexes) {
+    const bound = (0, walkers_js_1.resolveInheritanceBaseInScope)(site.inScope, site.name, indexes.scopeIndexes);
+    if (bound !== undefined)
+        return bound.type === 'Interface' ? bound : undefined;
+    return uniqueInterfaceNamed(site.name, indexes.interfacesByQualifiedName);
+}
+function simpleTypeName(name) {
+    const dot = name.lastIndexOf('.');
+    return dot === -1 ? name : name.slice(dot + 1);
+}
+function cloneMethodSet(methods) {
+    const clone = new Map();
+    if (methods === undefined)
+        return clone;
+    for (const [name, overloads] of methods) {
+        clone.set(name, [...overloads]);
+    }
+    return clone;
+}
+function directMethodEntries(methods) {
+    const entries = new Map();
+    if (methods === undefined)
+        return entries;
+    for (const [name, overloads] of methods) {
+        entries.set(name, { overloads: [...overloads], depth: 0, ambiguous: false });
+    }
+    return entries;
+}
+function cloneMethodEntries(entries) {
+    const clone = new Map();
+    for (const [name, entry] of entries) {
+        clone.set(name, { ...entry, overloads: [...entry.overloads] });
+    }
+    return clone;
+}
+function methodEntriesToMethodSet(entries) {
+    const methods = new Map();
+    for (const [name, entry] of entries) {
+        if (entry.ambiguous)
+            continue;
+        methods.set(name, [...entry.overloads]);
+    }
+    return methods;
+}
+function mergePromotedMethodEntry(target, methodName, candidate) {
+    const existing = target.get(methodName);
+    if (existing === undefined || candidate.depth < existing.depth) {
+        target.set(methodName, candidate);
+        return;
+    }
+    if (candidate.depth > existing.depth)
+        return;
+    target.set(methodName, { overloads: [], depth: candidate.depth, ambiguous: true });
+}
+function mergeMethodSet(target, source) {
+    for (const [name, overloads] of source) {
+        const existing = target.get(name) ?? [];
+        existing.push(...overloads);
+        target.set(name, existing);
+    }
+}
+function methodSetSatisfies(actual, required, signatureContextByDefId) {
+    for (const [name, requiredOverloads] of required) {
+        const actualOverloads = actual.get(name);
+        if (actualOverloads === undefined)
+            return false;
+        for (const requiredMethod of requiredOverloads) {
+            // Fast arity pre-filter: if the required method has a known parameter
+            // count, reject immediately when no actual overload matches it. This
+            // avoids the expensive signature normalization loop for obvious mismatches.
+            if (requiredMethod.parameterCount !== undefined) {
+                if (!actualOverloads.some((a) => a.parameterCount === requiredMethod.parameterCount)) {
+                    return false;
+                }
+            }
+            if (!hasCompatibleMethod(actualOverloads, requiredMethod, signatureContextByDefId)) {
+                return false;
+            }
+        }
+    }
+    return true;
+}
+function hasCompatibleMethod(actualOverloads, requiredMethod, signatureContextByDefId) {
+    if (!hasVerifiableSignature(requiredMethod))
+        return false;
+    return actualOverloads.some((actualMethod) => signaturesCompatible(actualMethod, requiredMethod, signatureContextByDefId));
+}
+function methodSetHasVerifiableSignatures(methods) {
+    for (const overloads of methods.values()) {
+        if (!overloads.some(hasVerifiableSignature))
+            return false;
+    }
+    return true;
+}
+function hasVerifiableSignature(def) {
+    return (def.parameterCount !== undefined ||
+        def.requiredParameterCount !== undefined ||
+        (def.parameterTypes !== undefined && def.parameterTypes.length > 0) ||
+        def.returnType !== undefined);
+}
+function signaturesCompatible(actual, required, signatureContextByDefId) {
+    const actualContext = signatureContextByDefId.get(actual.nodeId);
+    const requiredContext = signatureContextByDefId.get(required.nodeId);
+    return (countsCompatible(actual.parameterCount, required.parameterCount) &&
+        countsCompatible(actual.requiredParameterCount, required.requiredParameterCount) &&
+        parameterTypesCompatible(actual.parameterTypes, required.parameterTypes, actualContext, requiredContext) &&
+        returnTypesCompatible(actual.returnType, required.returnType, actualContext, requiredContext));
+}
+function countsCompatible(actual, required) {
+    return actual === undefined || required === undefined || actual === required;
+}
+function parameterTypesCompatible(actual, required, actualContext, requiredContext) {
+    if (actual === undefined || required === undefined)
+        return true;
+    if (actual.length !== required.length)
+        return false;
+    return actual.every((type, index) => {
+        const actualType = normalizeSignatureType(type, actualContext);
+        const requiredType = normalizeSignatureType(required[index], requiredContext);
+        return actualType !== undefined && requiredType !== undefined && actualType === requiredType;
+    });
+}
+function returnTypesCompatible(actual, required, actualContext, requiredContext) {
+    if (required === undefined)
+        return actual === undefined;
+    if (actual === undefined)
+        return false;
+    const actualType = normalizeSignatureType(actual, actualContext);
+    const requiredType = normalizeSignatureType(required, requiredContext);
+    return actualType !== undefined && requiredType !== undefined && actualType === requiredType;
+}
+function normalizeSignatureType(typeName, context) {
+    // Go type identity includes pointer/slice/map/variadic shape and package
+    // qualifiers. Only erase whitespace and qualify bare local type names; stripping
+    // `*`, `[]`, `...`, or `pkg.` would make non-identical signatures compare equal.
+    const compact = typeName.replace(/\s+/g, '');
+    if (context === undefined)
+        return compact;
+    return qualifyGoSignatureTypes(compact, context);
+}
+function qualifyGoSignatureTypes(typeName, context) {
+    let unresolvedQualifier = false;
+    const qualified = typeName.replace(/[A-Za-z_][A-Za-z0-9_]*/g, (token, offset, source) => {
+        if (GO_BUILTIN_TYPES.has(token))
+            return token;
+        if (hasPackageQualifierDot(source, offset))
+            return token;
+        if (source[offset + token.length] === '.') {
+            const qualifier = context.importQualifiers.get(token);
+            if (qualifier !== undefined)
+                return qualifier;
+            unresolvedQualifier = true;
+            return token;
+        }
+        if (context.packageQualifier === undefined)
+            return token;
+        return `${context.packageQualifier}.${token}`;
+    });
+    return unresolvedQualifier ? undefined : qualified;
+}
+function hasPackageQualifierDot(source, offset) {
+    return source[offset - 1] === '.' && source[offset - 2] !== '.';
+}
+function signatureContextForFile(parsed, indexes) {
+    const importQualifiers = new Map();
+    const importEdges = indexes.imports?.get(parsed.moduleScope) ?? [];
+    for (const edge of importEdges) {
+        if (edge.kind !== 'namespace' || edge.targetFile === null)
+            continue;
+        const qualifier = packageQualifierForFile(edge.targetFile);
+        if (qualifier !== undefined)
+            importQualifiers.set(edge.localName, qualifier);
+    }
+    return {
+        packageQualifier: packageQualifierForFile(parsed.filePath),
+        importQualifiers,
+    };
+}
+/** The package directory, or `undefined` for a repo-root file.
+ *
+ *  Shares `goPackageDir` with the package-clause resolver rather than repeating
+ *  its normalize-and-slice (#2837): the two disagree only on how they spell "no
+ *  directory", so the difference stays here, at the one call site that cares. */
+function packageQualifierForFile(filePath) {
+    const packageDir = (0, package_clause_js_1.goPackageDir)(filePath);
+    return packageDir.length === 0 ? undefined : packageDir;
+}
+const GO_BUILTIN_TYPES = new Set([
+    'any',
+    'bool',
+    'byte',
+    'comparable',
+    'complex64',
+    'complex128',
+    'error',
+    'float32',
+    'float64',
+    'func',
+    'int',
+    'int8',
+    'int16',
+    'int32',
+    'int64',
+    'interface',
+    'map',
+    'rune',
+    'string',
+    'struct',
+    'uint',
+    'uint8',
+    'uint16',
+    'uint32',
+    'uint64',
+    'uintptr',
+    'chan',
+]);