@lzehrung/codegraph 2.3.30 → 2.4.0

package/dist/indexer/name-lookup-policies/implicit-self.js

@@ -0,0 +1,113 @@
+/**
+ * Swift, C#, Java, and Kotlin additions to the shared name lookup order: inside a type, a member
+ * reached through the implicit `self`/`this` (including an inherited one) is settled by the
+ * member lookup, which applies static scope and overload selection, and it takes precedence over
+ * a same-named module-level name or import.
+ */
+import { nearestMemberContainer, nodeInStaticMemberContext, } from "../../graphs/symbol-graph-detailed/receiver-calls.js";
+import { csharpAliasQualifiedLookupName, implicitSelfCallee, isDirectKeywordMemberDeclaration, } from "../navigation-goto.js";
+import { csharpLookupName, definitionForBinding } from "../navigation-local.js";
+import { csharpUsingStaticFiles, withCsharpUsingStatic } from "./csharp-using-static.js";
+import { okGoToResult } from "../navigation-provenance.js";
+import { resolveCsharpQualifiedName } from "../navigation-resolve.js";
+const implicitSelf = (state, fallback) => ({
+    status: "deferred",
+    request: { kind: "implicit-self-member", lookupName: state.lookupName },
+    fallback,
+});
+const lexical = (state, local) => okGoToResult(state.use.index, local, { resolution: "exact", confidence: "high" });
+/** The closest binding is declared in the file's top scope (module-level function or type). */
+const bindsAtFileScope = ({ use, closestBinding }) => !!closestBinding && use.scopeIndex.allScopes[0]?.map.get(closestBinding.canonicalName) === closestBinding;
+/**
+ * The closest binding is a method declared directly in a type body. Overloads bound this way are
+ * not grouped by the scope lookup, so the member lookup chooses among them; a function declared
+ * inside a method body is not a member and keeps its lexical binding.
+ */
+function bindsTypeMethod({ closestBinding }) {
+    const declaration = closestBinding?.kind === "function" ? closestBinding.node?.parent : undefined;
+    const container = declaration ? nearestMemberContainer(declaration) : null;
+    return !!declaration && !!container && isDirectKeywordMemberDeclaration(declaration, container);
+}
+/**
+ * The use is the name of a same-scope overload that a later declaration replaced in the scope map
+ * (`int Two(int a)` before `int Two(int a, int b)`). A declaration's own name resolves to that
+ * declaration, not to the last overload.
+ */
+function ownOverloadDeclaration({ use, closestBinding }) {
+    const { node, file, parsed } = use;
+    for (let binding = closestBinding?.earlierSameScope; binding; binding = binding.earlierSameScope) {
+        if (binding.node?.startIndex !== node.startIndex || binding.node.endIndex !== node.endIndex)
+            continue;
+        const own = definitionForBinding(binding, file, node, parsed.sup, parsed.source, parsed.tree);
+        return own ? okGoToResult(use.index, own, { resolution: "exact", confidence: "high" }) : undefined;
+    }
+    return undefined;
+}
+/** The use is the callee of a receiverless call (`f()`). */
+const isImplicitSelfCall = ({ use }) => implicitSelfCallee(use.parsed.sup.id, use.node.parent ?? use.node)?.id === use.node.id;
+export const swiftLookupPolicy = {
+    fromClosestBinding: ownOverloadDeclaration,
+    // Swift checks every bare name through `self`; method-local bindings still win.
+    onLocal(state, local) {
+        if (!bindsAtFileScope(state) && !bindsTypeMethod(state))
+            return undefined;
+        return implicitSelf(state, lexical(state, local));
+    },
+    afterCrossModule(state, resolved) {
+        // A member reached only by name, not through `self`, is not a module-level target.
+        const memberOnly = resolved?.status === "ok" && !!resolved.definition.isMember;
+        return implicitSelf(state, memberOnly ? { status: "not_found", reason: "No matching Swift member definition" } : resolved);
+    },
+};
+/**
+ * A qualified C# type name (`P.Mix`) the directory-scoped lookup missed, resolved through the
+ * file's `using P;` across every directory that declares `P`.
+ */
+function csharpQualifiedThroughUsing({ use, lookupName }) {
+    if (!lookupName.includes("."))
+        return null;
+    const hit = resolveCsharpQualifiedName(use.index, use.mod, lookupName, use.node.startIndex);
+    return hit?.kind === "resolved"
+        ? okGoToResult(use.index, hit.def, { resolution: "import", confidence: "high" })
+        : null;
+}
+export const csharpLookupPolicy = {
+    lookupName: (use) => csharpLookupName(use.node, use.parsed.source, use.name),
+    fromClosestBinding: ownOverloadDeclaration,
+    crossModuleName: ({ use, lookupName }) => csharpAliasQualifiedLookupName(use.node, use.parsed.source, lookupName, use.mod.imports),
+    // A static member function reaches only static members of its type.
+    onLocal(state, local) {
+        if (!bindsTypeMethod(state) || !isImplicitSelfCall(state))
+            return undefined;
+        const staticContext = nodeInStaticMemberContext(state.use.node, state.use.parsed.source);
+        return implicitSelf(state, staticContext
+            ? { status: "not_found", reason: "No matching C# static member definition" }
+            : lexical(state, local));
+    },
+    // Partial members declared in another file reach this path only as invocation callees.
+    // Without a member, `using static` members join the namespace-level answer.
+    afterCrossModule: (state, resolved) => implicitSelf(state, withCsharpUsingStatic(state.use, state.lookupName, resolved ?? csharpQualifiedThroughUsing(state))),
+    preloadFiles: (_index, mod) => csharpUsingStaticFiles(mod),
+};
+/**
+ * Java and Kotlin: a type method bound lexically still needs static-scope and overload checks,
+ * and an inherited member beats a same-file top-level (Kotlin) function, a same-package
+ * declaration, or an import.
+ */
+export const jvmLookupPolicy = {
+    // Java methods and variables are separate namespaces: `int hit = 0; hit();` still calls the
+    // method. A Kotlin local holding a function is callable, so Kotlin keeps the binding.
+    ignoresBinding: (use, binding) => use.parsed.sup.id === "java" &&
+        binding.kind !== "function" &&
+        implicitSelfCallee("java", use.node.parent ?? use.node)?.id === use.node.id,
+    fromClosestBinding: ownOverloadDeclaration,
+    onLocal(state, local) {
+        if (state.closestBinding?.kind !== "function" || !isImplicitSelfCall(state))
+            return undefined;
+        if (!bindsAtFileScope(state) && !bindsTypeMethod(state))
+            return undefined;
+        return implicitSelf(state, lexical(state, local));
+    },
+    afterCrossModule: (state, resolved) => implicitSelf(state, resolved),
+};
+//# sourceMappingURL=implicit-self.js.map

package/dist/indexer/name-lookup-policies/implicit-self.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"implicit-self.js","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/implicit-self.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EACL,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,sDAAsD,CAAC;AAC9D,OAAO,EACL,8BAA8B,EAC9B,kBAAkB,EAClB,gCAAgC,GACjC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACzF,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAItE,MAAM,YAAY,GAAG,CAAC,KAAsB,EAAE,QAA+B,EAAkB,EAAE,CAAC,CAAC;IACjG,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE;IACvE,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,CAAC,KAAsB,EAAE,KAAgB,EAAc,EAAE,CACvE,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;AAEpF,+FAA+F;AAC/F,MAAM,gBAAgB,GAAG,CAAC,EAAE,GAAG,EAAE,cAAc,EAAmB,EAAW,EAAE,CAC7E,CAAC,CAAC,cAAc,IAAI,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,aAAa,CAAC,KAAK,cAAc,CAAC;AAE5G;;;;GAIG;AACH,SAAS,eAAe,CAAC,EAAE,cAAc,EAAmB;IAC1D,MAAM,WAAW,GAAG,cAAc,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAClG,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,sBAAsB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3E,OAAO,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,SAAS,IAAI,gCAAgC,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;AAClG,CAAC;AAED;;;;GAIG;AACH,SAAS,sBAAsB,CAAC,EAAE,GAAG,EAAE,cAAc,EAAmB;IACtE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;IACnC,KAAK,IAAI,OAAO,GAAG,cAAc,EAAE,gBAAgB,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC;QACjG,IAAI,OAAO,CAAC,IAAI,EAAE,UAAU,KAAK,IAAI,CAAC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ;YAAE,SAAS;QACtG,MAAM,GAAG,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9F,OAAO,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrG,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,4DAA4D;AAC5D,MAAM,kBAAkB,GAAG,CAAC,EAAE,GAAG,EAAmB,EAAW,EAAE,CAC/D,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAEzF,MAAM,CAAC,MAAM,iBAAiB,GAAqB;IACjD,kBAAkB,EAAE,sBAAsB;IAC1C,gFAAgF;IAChF,OAAO,CAAC,KAAK,EAAE,KAAK;QAClB,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC1E,OAAO,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,gBAAgB,CAAC,KAAK,EAAE,QAA2B;QACjD,mFAAmF;QACnF,MAAM,UAAU,GAAG,QAAQ,EAAE,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC;QAC/E,OAAO,YAAY,CACjB,KAAK,EACL,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,qCAAqC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAC/F,CAAC;IACJ,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,SAAS,2BAA2B,CAAC,EAAE,GAAG,EAAE,UAAU,EAAmB;IACvE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,GAAG,GAAG,0BAA0B,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5F,OAAO,GAAG,EAAE,IAAI,KAAK,UAAU;QAC7B,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;QAChF,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAqB;IAClD,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;IAC5E,kBAAkB,EAAE,sBAAsB;IAC1C,eAAe,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,CACvC,8BAA8B,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;IAC1F,oEAAoE;IACpE,OAAO,CAAC,KAAK,EAAE,KAAK;QAClB,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5E,MAAM,aAAa,GAAG,yBAAyB,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACzF,OAAO,YAAY,CACjB,KAAK,EACL,aAAa;YACX,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,yCAAyC,EAAE;YAC5E,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAC1B,CAAC;IACJ,CAAC;IACD,uFAAuF;IACvF,4EAA4E;IAC5E,gBAAgB,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CACpC,YAAY,CACV,KAAK,EACL,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,IAAI,2BAA2B,CAAC,KAAK,CAAC,CAAC,CACnG;IACH,YAAY,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC;CAC3D,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAqB;IAC/C,4FAA4F;IAC5F,sFAAsF;IACtF,cAAc,EAAE,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAC/B,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,MAAM;QAC5B,OAAO,CAAC,IAAI,KAAK,UAAU;QAC3B,kBAAkB,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,EAAE;IAC7E,kBAAkB,EAAE,sBAAsB;IAC1C,OAAO,CAAC,KAAK,EAAE,KAAK;QAClB,IAAI,KAAK,CAAC,cAAc,EAAE,IAAI,KAAK,UAAU,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC9F,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC1E,OAAO,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,gBAAgB,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC;CACrE,CAAC"}

package/dist/indexer/name-lookup-policies/index.d.ts

@@ -0,0 +1,3 @@
+import type { NameLookupPolicy } from "../name-resolution-types.js";
+export declare function nameLookupPolicyFor(languageId: string): NameLookupPolicy;
+//# sourceMappingURL=index.d.ts.map

package/dist/indexer/name-lookup-policies/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/index.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AA2FpE,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,gBAAgB,CAExE"}

package/dist/indexer/name-lookup-policies/index.js

@@ -0,0 +1,106 @@
+/**
+ * Per-language additions to the shared bare-name lookup order in `../name-resolution.ts`.
+ * New lookup rules belong in a policy here, never in a consumer (go-to-definition, references,
+ * or the detailed graph), so every consumer answers the same way.
+ */
+import { getCallArgumentCount } from "../../languages/callable-arity.js";
+import { rustTokenTreeNameFollowsSeparator } from "../../util/member-access.js";
+import { fileIdentityKey } from "../../util/paths.js";
+import { resolveImported } from "../navigation-resolve.js";
+import { typescriptOverloadImplementationAcceptsCount } from "../ts-callables.js";
+import { SymbolKind } from "../types.js";
+import { cLookupPolicy, cppLookupPolicy } from "./c-family.js";
+import { csharpLookupPolicy, jvmLookupPolicy, swiftLookupPolicy } from "./implicit-self.js";
+import { phpLookupPolicy } from "./php.js";
+/** Whether a function shares its name with another function in its file (an overload set). */
+function hasSameNameSiblings(module, def) {
+    return module.locals.some((candidate) => candidate.kind === def.kind &&
+        candidate.localName === def.localName &&
+        candidate.range.start.index !== def.range.start.index);
+}
+/** TypeScript overloads: a call must match a signature of the implementation it names. */
+const typescriptLookupPolicy = {
+    onUnboundLocal({ use, closestBinding }) {
+        if (closestBinding?.kind !== "function" || use.node.parent?.type !== "call_expression")
+            return undefined;
+        return { status: "not_found", reason: "No matching TypeScript overload signature" };
+    },
+    afterCrossModule({ use }, resolved) {
+        const call = use.node.parent;
+        if (call?.type !== "call_expression" || resolved?.status !== "ok")
+            return undefined;
+        const target = resolved.definition;
+        if (target.kind !== SymbolKind.Function)
+            return undefined;
+        const argumentCount = getCallArgumentCount({ languageId: use.parsed.sup.id, source: use.parsed.source, call });
+        const targetModule = use.index.byFile.get(fileIdentityKey(target.file));
+        // Only an overload set needs the target's syntax; a single implementation accepts any count.
+        if (argumentCount === null || !targetModule || !hasSameNameSiblings(targetModule, target))
+            return undefined;
+        const targetContext = use.files.get(target.file);
+        if (!targetContext || (targetContext.sup.id !== "ts" && targetContext.sup.id !== "tsx"))
+            return undefined;
+        const accepted = typescriptOverloadImplementationAcceptsCount({
+            implementation: target,
+            locals: targetModule.locals,
+            tree: targetContext.tree,
+            source: targetContext.source,
+            languageId: targetContext.sup.id,
+            argumentCount,
+        });
+        return accepted ? undefined : { status: "not_found", reason: "No matching TypeScript overload signature" };
+    },
+    // A re-exported overload set lives in another file than the module the import names.
+    *preloadFiles(index, mod) {
+        for (const imp of mod.imports) {
+            if (imp.kind !== "named" && imp.kind !== "default")
+                continue;
+            const target = resolveImported(index, imp, imp.kind === "default" ? "default" : imp.imported);
+            if (!target || "namespace" in target)
+                continue;
+            const targetModule = index.byFile.get(fileIdentityKey(target.file));
+            if (targetModule && hasSameNameSiblings(targetModule, target))
+                yield target.file;
+        }
+    },
+};
+/** Python: a module object is not callable. */
+const pythonLookupPolicy = {
+    afterCrossModule({ use }, resolved) {
+        if (use.node.parent?.type !== "call" || resolved?.status !== "ok")
+            return undefined;
+        if (resolved.provenance?.resolution !== "namespace")
+            return undefined;
+        // A namespace binding holds a module object: the call is an error, not a call to the
+        // module's first export.
+        return { status: "not_found", reason: "No callable definition for a Python module binding" };
+    },
+};
+/** Rust: macro arguments stay unparsed token trees. */
+const rustLookupPolicy = {
+    // A name preceded by `.` or `::` there is a member or path receiver the raw tokens cannot
+    // prove, so bare-name resolution would answer with an unrelated same-named free function.
+    beforeLexical(use) {
+        if (!rustTokenTreeNameFollowsSeparator(use.node))
+            return undefined;
+        return { status: "not_found", reason: "No resolvable receiver inside a Rust macro token tree" };
+    },
+};
+const NO_POLICY = {};
+const POLICIES = {
+    c: cLookupPolicy,
+    cpp: cppLookupPolicy,
+    csharp: csharpLookupPolicy,
+    java: jvmLookupPolicy,
+    kotlin: jvmLookupPolicy,
+    php: phpLookupPolicy,
+    python: pythonLookupPolicy,
+    rust: rustLookupPolicy,
+    swift: swiftLookupPolicy,
+    ts: typescriptLookupPolicy,
+    tsx: typescriptLookupPolicy,
+};
+export function nameLookupPolicyFor(languageId) {
+    return POLICIES[languageId] ?? NO_POLICY;
+}
+//# sourceMappingURL=index.js.map

package/dist/indexer/name-lookup-policies/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,4CAA4C,EAAE,MAAM,oBAAoB,CAAC;AAClF,OAAO,EAAoC,UAAU,EAAE,MAAM,aAAa,CAAC;AAE3E,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAC5F,OAAO,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAE3C,8FAA8F;AAC9F,SAAS,mBAAmB,CAAC,MAAmB,EAAE,GAAc;IAC9D,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CACvB,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;QAC3B,SAAS,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS;QACrC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CACxD,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,MAAM,sBAAsB,GAAqB;IAC/C,cAAc,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE;QACpC,IAAI,cAAc,EAAE,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,iBAAiB;YAAE,OAAO,SAAS,CAAC;QACzG,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,2CAA2C,EAAE,CAAC;IACtF,CAAC;IACD,gBAAgB,CAAC,EAAE,GAAG,EAAE,EAAE,QAAQ;QAChC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;QAC7B,IAAI,IAAI,EAAE,IAAI,KAAK,iBAAiB,IAAI,QAAQ,EAAE,MAAM,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACpF,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC;QACnC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC1D,MAAM,aAAa,GAAG,oBAAoB,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/G,MAAM,YAAY,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACxE,6FAA6F;QAC7F,IAAI,aAAa,KAAK,IAAI,IAAI,CAAC,YAAY,IAAI,CAAC,mBAAmB,CAAC,YAAY,EAAE,MAAM,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5G,MAAM,aAAa,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,KAAK,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC1G,MAAM,QAAQ,GAAG,4CAA4C,CAAC;YAC5D,cAAc,EAAE,MAAM;YACtB,MAAM,EAAE,YAAY,CAAC,MAAM;YAC3B,IAAI,EAAE,aAAa,CAAC,IAAI;YACxB,MAAM,EAAE,aAAa,CAAC,MAAM;YAC5B,UAAU,EAAE,aAAa,CAAC,GAAG,CAAC,EAAE;YAChC,aAAa;SACd,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,2CAA2C,EAAE,CAAC;IAC7G,CAAC;IACD,qFAAqF;IACrF,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG;QACtB,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;gBAAE,SAAS;YAC7D,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC9F,IAAI,CAAC,MAAM,IAAI,WAAW,IAAI,MAAM;gBAAE,SAAS;YAC/C,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;YACpE,IAAI,YAAY,IAAI,mBAAmB,CAAC,YAAY,EAAE,MAAM,CAAC;gBAAE,MAAM,MAAM,CAAC,IAAI,CAAC;QACnF,CAAC;IACH,CAAC;CACF,CAAC;AAEF,+CAA+C;AAC/C,MAAM,kBAAkB,GAAqB;IAC3C,gBAAgB,CAAC,EAAE,GAAG,EAAE,EAAE,QAAQ;QAChC,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,IAAI,QAAQ,EAAE,MAAM,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACpF,IAAI,QAAQ,CAAC,UAAU,EAAE,UAAU,KAAK,WAAW;YAAE,OAAO,SAAS,CAAC;QACtE,qFAAqF;QACrF,yBAAyB;QACzB,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,oDAAoD,EAAE,CAAC;IAC/F,CAAC;CACF,CAAC;AAEF,uDAAuD;AACvD,MAAM,gBAAgB,GAAqB;IACzC,0FAA0F;IAC1F,0FAA0F;IAC1F,aAAa,CAAC,GAAG;QACf,IAAI,CAAC,iCAAiC,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QACnE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,uDAAuD,EAAE,CAAC;IAClG,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAqB,EAAE,CAAC;AAEvC,MAAM,QAAQ,GAA+C;IAC3D,CAAC,EAAE,aAAa;IAChB,GAAG,EAAE,eAAe;IACpB,MAAM,EAAE,kBAAkB;IAC1B,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,eAAe;IACvB,GAAG,EAAE,eAAe;IACpB,MAAM,EAAE,kBAAkB;IAC1B,IAAI,EAAE,gBAAgB;IACtB,KAAK,EAAE,iBAAiB;IACxB,EAAE,EAAE,sBAAsB;IAC1B,GAAG,EAAE,sBAAsB;CAC5B,CAAC;AAEF,MAAM,UAAU,mBAAmB,CAAC,UAAkB;IACpD,OAAO,QAAQ,CAAC,UAAU,CAAC,IAAI,SAAS,CAAC;AAC3C,CAAC"}

package/dist/indexer/name-lookup-policies/php.d.ts

@@ -0,0 +1,3 @@
+import type { NameLookupPolicy } from "../name-resolution-types.js";
+export declare const phpLookupPolicy: NameLookupPolicy;
+//# sourceMappingURL=php.d.ts.map

package/dist/indexer/name-lookup-policies/php.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"php.d.ts","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/php.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAe,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAgBjF,eAAO,MAAM,eAAe,EAAE,gBA0D7B,CAAC"}

package/dist/indexer/name-lookup-policies/php.js

@@ -0,0 +1,75 @@
+/**
+ * PHP additions to the shared name lookup order. Classes, functions, and constants occupy
+ * separate namespaces, so the syntactic role of the use selects which one a name can bind.
+ */
+import { findClosestBinding } from "../navigation-local.js";
+import { findPhpImportAlias, inferPhpQualifiedReferenceImportType } from "../navigation-php.js";
+import { okGoToResult } from "../navigation-provenance.js";
+import { phpClassReferenceMatchesDefinition, phpReferenceRoleMatchesKind, resolveIndexedPhpClassReference, resolvePhpExplicitImport, resolvePhpSameScopeRoleDefinition, } from "../php-namespace-symbols.js";
+import { scopeNodesFor } from "../scope-nodes.js";
+/** A class-reference form (`new X`, `X::y`, a type) cannot bind a same-named function. */
+const isClassReference = (use) => inferPhpQualifiedReferenceImportType(use.node) === "class";
+const classMatches = (use, lookupName, def) => phpClassReferenceMatchesDefinition(use.index, use.parsed.source, use.parsed.tree, use.node, lookupName, use.mod.imports, def);
+export const phpLookupPolicy = {
+    beforeLexical(use, lookupName) {
+        const { index, mod, file, node, name, scopeIndex, parsed } = use;
+        const variableTypes = scopeNodesFor("php").assignmentIdentifierTypes;
+        if (variableTypes?.has(node.type) || (node.parent && variableTypes?.has(node.parent.type))) {
+            const variable = findClosestBinding(scopeIndex, file, lookupName, node, parsed.sup, parsed.source, parsed.tree);
+            if (!variable)
+                return { status: "not_found", reason: "No matching PHP variable definition" };
+            return okGoToResult(index, variable, { resolution: "exact", confidence: "high" });
+        }
+        // A declaration names itself even when an unrelated namespace uses the same spelling.
+        const declaration = mod.locals.find((local) => local.range.start.index === node.startIndex && local.range.end.index === node.endIndex);
+        if (declaration)
+            return okGoToResult(index, declaration, { resolution: "exact", confidence: "high" });
+        const role = use.phpImportType ?? "const";
+        const binding = findPhpImportAlias(mod.imports, name, role);
+        const alias = binding ? resolvePhpExplicitImport(index, binding, role) : null;
+        if (alias) {
+            return okGoToResult(index, alias, {
+                via: { importedFrom: alias.file, exportedName: alias.localName },
+                resolution: "import",
+                confidence: "high",
+            });
+        }
+        if (!isClassReference(use))
+            return undefined;
+        const phpClass = resolveIndexedPhpClassReference(index, parsed.source, parsed.tree, node, lookupName, mod.imports);
+        if (!phpClass)
+            return undefined;
+        return okGoToResult(index, phpClass, {
+            via: { exportedName: phpClass.localName },
+            resolution: "php-qualified",
+            confidence: "high",
+        });
+    },
+    // Scope and export fallbacks may only name this exact class, or a symbol of the use's role.
+    onLocal({ use, lookupName, closestBinding }, local) {
+        const { index, mod, node, parsed } = use;
+        if (isClassReference(use) && !classMatches(use, lookupName, local)) {
+            return { status: "not_found", reason: "No matching PHP class" };
+        }
+        if (phpReferenceRoleMatchesKind(node, local.kind))
+            return undefined;
+        const sameScope = closestBinding
+            ? resolvePhpSameScopeRoleDefinition(index, mod, parsed.source, parsed.tree, node, lookupName, closestBinding)
+            : null;
+        if (sameScope)
+            return okGoToResult(index, sameScope, { resolution: "exact", confidence: "high" });
+        return { status: "not_found", reason: "No matching PHP symbol role" };
+    },
+    afterCrossModule({ use, lookupName }, resolved) {
+        if (resolved?.status !== "ok")
+            return undefined;
+        if (isClassReference(use) && !classMatches(use, lookupName, resolved.definition)) {
+            return { status: "not_found", reason: "No matching PHP class" };
+        }
+        if (!phpReferenceRoleMatchesKind(use.node, resolved.definition.kind)) {
+            return { status: "not_found", reason: "No matching PHP symbol role" };
+        }
+        return undefined;
+    },
+};
+//# sourceMappingURL=php.js.map

package/dist/indexer/name-lookup-policies/php.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"php.js","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/php.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,oCAAoC,EAAE,MAAM,sBAAsB,CAAC;AAChG,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,kCAAkC,EAClC,2BAA2B,EAC3B,+BAA+B,EAC/B,wBAAwB,EACxB,iCAAiC,GAClC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAIlD,0FAA0F;AAC1F,MAAM,gBAAgB,GAAG,CAAC,GAAgB,EAAW,EAAE,CAAC,oCAAoC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC;AAEnH,MAAM,YAAY,GAAG,CAAC,GAAgB,EAAE,UAAkB,EAAE,GAAc,EAAW,EAAE,CACrF,kCAAkC,CAChC,GAAG,CAAC,KAAK,EACT,GAAG,CAAC,MAAM,CAAC,MAAM,EACjB,GAAG,CAAC,MAAM,CAAC,IAAI,EACf,GAAG,CAAC,IAAI,EACR,UAAU,EACV,GAAG,CAAC,GAAG,CAAC,OAAO,EACf,GAAG,CACJ,CAAC;AAEJ,MAAM,CAAC,MAAM,eAAe,GAAqB;IAC/C,aAAa,CAAC,GAAG,EAAE,UAAU;QAC3B,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;QACjE,MAAM,aAAa,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,yBAAyB,CAAC;QACrE,IAAI,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC3F,MAAM,QAAQ,GAAG,kBAAkB,CAAC,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAChH,IAAI,CAAC,QAAQ;gBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,qCAAqC,EAAE,CAAC;YAC7F,OAAO,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QACpF,CAAC;QACD,sFAAsF;QACtF,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CACjC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,QAAQ,CAClG,CAAC;QACF,IAAI,WAAW;YAAE,OAAO,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QACtG,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,IAAI,OAAO,CAAC;QAC1C,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,wBAAwB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9E,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE;gBAChC,GAAG,EAAE,EAAE,YAAY,EAAE,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,CAAC,SAAS,EAAE;gBAChE,UAAU,EAAE,QAAQ;gBACpB,UAAU,EAAE,MAAM;aACnB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QAC7C,MAAM,QAAQ,GAAG,+BAA+B,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACnH,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAChC,OAAO,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE;YACnC,GAAG,EAAE,EAAE,YAAY,EAAE,QAAQ,CAAC,SAAS,EAAE;YACzC,UAAU,EAAE,eAAe;YAC3B,UAAU,EAAE,MAAM;SACnB,CAAC,CAAC;IACL,CAAC;IAED,4FAA4F;IAC5F,OAAO,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,KAAK;QAChD,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;QACzC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;YACnE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC;QAClE,CAAC;QACD,IAAI,2BAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QACpE,MAAM,SAAS,GAAG,cAAc;YAC9B,CAAC,CAAC,iCAAiC,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,CAAC;YAC7G,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,SAAS;YAAE,OAAO,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QAClG,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC;IACxE,CAAC;IAED,gBAAgB,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,QAAQ;QAC5C,IAAI,QAAQ,EAAE,MAAM,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QAChD,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YACjF,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC;QAClE,CAAC;QACD,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC;QACxE,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;CACF,CAAC"}

package/dist/indexer/name-resolution-types.d.ts

@@ -0,0 +1,99 @@
+/**
+ * Types for the shared bare-name lookup (`./name-resolution.ts`) and its per-language policies
+ * (`./name-lookup-policies/`). A leaf module, so policies can name these types without a cycle.
+ */
+import type { SyntaxNodeLike } from "../languages/types.js";
+import type { FileId } from "../types.js";
+import type { ParsedFileContext } from "./parse-context.js";
+import type { Binding, ScopeIndex } from "./scope.js";
+import type { GoToResult, ModuleIndex, ProjectIndex, SymbolDef } from "./types.js";
+/** Synchronous access to parsed files. A miss is recorded so an async caller can load and retry. */
+export type ParsedFileProvider = {
+    get(file: FileId): ParsedFileContext | null;
+};
+/** A provider that parses on demand between synchronous resolution passes. */
+export type LoadingParsedFileProvider = ParsedFileProvider & {
+    /** Files requested since the last call, which were not loaded. */
+    takeMisses(): FileId[];
+    load(files: readonly FileId[]): Promise<void>;
+};
+/** A lookup step that needs async member resolution before its answer is known. */
+export type DeferredNameRequest = 
+/** Inside an out-of-line C++ member body, a member of the owner hides a file-scope name. */
+{
+    kind: "cpp-out-of-line-member";
+}
+/** A member of the enclosing type, found through `this`/`self`. */
+ | {
+    kind: "implicit-self-member";
+    lookupName: string;
+}
+/** Several included C/C++ declarations that may be one callable. */
+ | {
+    kind: "c-included-star";
+    lookupName: string;
+    cNamespace: "tag" | "ordinary" | undefined;
+};
+export type NameResolution = GoToResult | {
+    status: "deferred";
+    request: DeferredNameRequest;
+    /** The answer when the deferred lookup finds nothing; `null` means no answer. */
+    fallback: NameResolution | null;
+    /** The answer when the lookup proves a hiding member that is not a valid target. */
+    hidden?: GoToResult;
+};
+export type BareNameUse = {
+    index: ProjectIndex;
+    mod: ModuleIndex;
+    file: FileId;
+    parsed: ParsedFileContext;
+    scopeIndex: ScopeIndex;
+    files: ParsedFileProvider;
+    node: SyntaxNodeLike;
+    name: string;
+    /** PHP import role at the use, when the caller knows it. */
+    phpImportType?: "class" | "function" | "const";
+};
+/** What a lookup step knows about the use once the closest scope binding is found. */
+export type NameLookupState = {
+    use: BareNameUse;
+    /** The name as scope and import tables spell it (C# drops alias qualifiers). */
+    lookupName: string;
+    closestBinding: Binding | null;
+};
+/**
+ * One language's additions to the shared lookup order. Each hook returns a resolution to stop
+ * the lookup, or `undefined` to continue; the skeleton in {@link resolveBareName} fixes the
+ * order in which hooks run. A language without special rules has an empty policy.
+ */
+export type NameLookupPolicy = {
+    lookupName?(use: BareNameUse): string;
+    /** Before scope lookup: qualified names, role namespaces, unparsed macro input. */
+    beforeLexical?(use: BareNameUse, lookupName: string): NameResolution | null | undefined;
+    /**
+     * Whether the closest scope binding is in a different namespace than the use and must be
+     * ignored (a Java variable cannot be called as a method).
+     */
+    ignoresBinding?(use: BareNameUse, binding: Binding): boolean;
+    /** From the closest binding before anything else (a C++ `using` declaration). */
+    fromClosestBinding?(state: NameLookupState): NameResolution | null | undefined;
+    /** Wraps the rest of the lookup, for a deferred step whose fallback is that rest. */
+    wrapRest?(state: NameLookupState, rest: () => NameResolution | null): NameResolution | null;
+    /** Before the closest binding's definition is taken (C++ same-scope overload collisions). */
+    beforeLocal?(state: NameLookupState): NameResolution | null | undefined;
+    /** Adjusts a lexical hit (member precedence, role checks). */
+    onLocal?(state: NameLookupState, local: SymbolDef): NameResolution | null | undefined;
+    /** No lexical hit, before the shared later-local check. */
+    onUnboundLocal?(state: NameLookupState): NameResolution | null | undefined;
+    /** No lexical hit, before cross-module lookup (visible C++ callables, `using namespace`). */
+    beforeCrossModule?(state: NameLookupState): NameResolution | null | undefined;
+    /** Name for cross-module lookup (C# alias-qualified). */
+    crossModuleName?(state: NameLookupState): string;
+    /** C ordinary versus tag namespace. */
+    cNamespace?(node: SyntaxNodeLike): "tag" | "ordinary" | undefined;
+    /** Adjusts the cross-module result (arity, roles, member precedence, deferred recovery). */
+    afterCrossModule?(state: NameLookupState, resolved: GoToResult | null): NameResolution | null | undefined;
+    /** Files a synchronous consumer loads before resolving names in a module of this language. */
+    preloadFiles?(index: ProjectIndex, mod: ModuleIndex): Iterable<FileId>;
+};
+//# sourceMappingURL=name-resolution-types.d.ts.map

package/dist/indexer/name-resolution-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"name-resolution-types.d.ts","sourceRoot":"","sources":["../../src/indexer/name-resolution-types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACtD,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEnF,oGAAoG;AACpG,MAAM,MAAM,kBAAkB,GAAG;IAC/B,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,GAAG,IAAI,CAAC;CAC7C,CAAC;AAEF,8EAA8E;AAC9E,MAAM,MAAM,yBAAyB,GAAG,kBAAkB,GAAG;IAC3D,kEAAkE;IAClE,UAAU,IAAI,MAAM,EAAE,CAAC;IACvB,IAAI,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAC/C,CAAC;AAEF,mFAAmF;AACnF,MAAM,MAAM,mBAAmB;AAC7B,4FAA4F;AAC1F;IAAE,IAAI,EAAE,wBAAwB,CAAA;CAAE;AACpC,mEAAmE;GACjE;IAAE,IAAI,EAAE,sBAAsB,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE;AACtD,oEAAoE;GAClE;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,KAAK,GAAG,UAAU,GAAG,SAAS,CAAA;CAAE,CAAC;AAEhG,MAAM,MAAM,cAAc,GACtB,UAAU,GACV;IACE,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,mBAAmB,CAAC;IAC7B,iFAAiF;IACjF,QAAQ,EAAE,cAAc,GAAG,IAAI,CAAC;IAChC,oFAAoF;IACpF,MAAM,CAAC,EAAE,UAAU,CAAC;CACrB,CAAC;AAEN,MAAM,MAAM,WAAW,GAAG;IACxB,KAAK,EAAE,YAAY,CAAC;IACpB,GAAG,EAAE,WAAW,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,iBAAiB,CAAC;IAC1B,UAAU,EAAE,UAAU,CAAC;IACvB,KAAK,EAAE,kBAAkB,CAAC;IAC1B,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,4DAA4D;IAC5D,aAAa,CAAC,EAAE,OAAO,GAAG,UAAU,GAAG,OAAO,CAAC;CAChD,CAAC;AAEF,sFAAsF;AACtF,MAAM,MAAM,eAAe,GAAG;IAC5B,GAAG,EAAE,WAAW,CAAC;IACjB,gFAAgF;IAChF,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,OAAO,GAAG,IAAI,CAAC;CAChC,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,UAAU,CAAC,CAAC,GAAG,EAAE,WAAW,GAAG,MAAM,CAAC;IACtC,mFAAmF;IACnF,aAAa,CAAC,CAAC,GAAG,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,GAAG,cAAc,GAAG,IAAI,GAAG,SAAS,CAAC;IACxF;;;OAGG;IACH,cAAc,CAAC,CAAC,GAAG,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC;IAC7D,iFAAiF;IACjF,kBAAkB,CAAC,CAAC,KAAK,EAAE,eAAe,GAAG,cAAc,GAAG,IAAI,GAAG,SAAS,CAAC;IAC/E,qFAAqF;IACrF,QAAQ,CAAC,CAAC,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,cAAc,GAAG,IAAI,GAAG,cAAc,GAAG,IAAI,CAAC;IAC5F,6FAA6F;IAC7F,WAAW,CAAC,CAAC,KAAK,EAAE,eAAe,GAAG,cAAc,GAAG,IAAI,GAAG,SAAS,CAAC;IACxE,8DAA8D;IAC9D,OAAO,CAAC,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,SAAS,GAAG,cAAc,GAAG,IAAI,GAAG,SAAS,CAAC;IACtF,2DAA2D;IAC3D,cAAc,CAAC,CAAC,KAAK,EAAE,eAAe,GAAG,cAAc,GAAG,IAAI,GAAG,SAAS,CAAC;IAC3E,6FAA6F;IAC7F,iBAAiB,CAAC,CAAC,KAAK,EAAE,eAAe,GAAG,cAAc,GAAG,IAAI,GAAG,SAAS,CAAC;IAC9E,yDAAyD;IACzD,eAAe,CAAC,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAAC;IACjD,uCAAuC;IACvC,UAAU,CAAC,CAAC,IAAI,EAAE,cAAc,GAAG,KAAK,GAAG,UAAU,GAAG,SAAS,CAAC;IAClE,4FAA4F;IAC5F,gBAAgB,CAAC,CAAC,KAAK,EAAE,eAAe,EAAE,QAAQ,EAAE,UAAU,GAAG,IAAI,GAAG,cAAc,GAAG,IAAI,GAAG,SAAS,CAAC;IAC1G,8FAA8F;IAC9F,YAAY,CAAC,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;CACxE,CAAC"}

package/dist/indexer/name-resolution-types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=name-resolution-types.js.map

package/dist/indexer/name-resolution-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"name-resolution-types.js","sourceRoot":"","sources":["../../src/indexer/name-resolution-types.ts"],"names":[],"mappings":""}

package/dist/indexer/name-resolution.d.ts

@@ -0,0 +1,52 @@
+/**
+ * One lookup order for a bare name at a use site, shared by go-to-definition, references (which
+ * verify through go-to-definition), and the detailed call graph.
+ *
+ * `resolveBareName` is synchronous: it reads parsed files through a {@link ParsedFileProvider}
+ * and never awaits. The few steps that need async member lookup return a `deferred` resolution
+ * with the answer to use when that lookup finds nothing; {@link settleNameResolution} runs those
+ * steps. Navigation settles immediately; the graph settles after its body walk.
+ */
+import type { FileId } from "../types.js";
+import { type ParsedFileContext } from "./parse-context.js";
+import type { BareNameUse, LoadingParsedFileProvider, NameResolution } from "./name-resolution-types.js";
+export type { BareNameUse, DeferredNameRequest, LoadingParsedFileProvider, NameLookupPolicy, NameLookupState, NameResolution, ParsedFileProvider, } from "./name-resolution-types.js";
+import { type GoToResult, type ImportBinding, type ModuleIndex, type ProjectIndex, type SymbolDef } from "./types.js";
+/** PHP import role (class, function, or const) of the import that covers a 0-based position. */
+export declare function phpImportTypeAtPosition(imports: readonly ImportBinding[], line: number, column: number): "class" | "function" | "const" | undefined;
+export declare function createLoadingParsedFileProvider(index: ProjectIndex, current: {
+    file: FileId;
+    parsed: ParsedFileContext;
+}): LoadingParsedFileProvider;
+/** Runs a synchronous lookup step, parsing any file it missed and rerunning it. */
+export declare function withParsedFiles<T>(files: LoadingParsedFileProvider, step: () => T): Promise<T>;
+/**
+ * Resolves a bare (unqualified or C++-qualified) name at a use site. Returns `null` when no
+ * lookup step answers; go-to-definition then tries a declaration at the position.
+ *
+ * Shared order: language pre-lexical steps, closest scope binding, its definition (with
+ * overloads chosen by arity), a local declared later in the same scope, then cross-module
+ * lookup (imports, compilation-unit peers, star imports) through {@link resolveNamedDefinition}.
+ */
+export declare function resolveBareName(use: BareNameUse): NameResolution | null;
+/** How a consumer settles deferred steps. */
+export type SettleNameOptions = {
+    /** The graph records no edge when the member a call names cannot accept its argument count. */
+    requireAcceptedArity?: boolean;
+    /** Resolves included C/C++ star candidates; navigation owns this recovery. */
+    recoverIncludedStar?: (lookupName: string, cNamespace: "tag" | "ordinary" | undefined) => Promise<GoToResult | null>;
+};
+/** Runs the async member steps a {@link resolveBareName} result deferred. */
+export declare function settleNameResolution(use: BareNameUse, resolution: NameResolution | null, options?: SettleNameOptions): Promise<GoToResult | null>;
+/**
+ * Files a synchronous consumer must load before resolving names in `mod`: the file itself, its
+ * resolved imports (TS/TSX overload checks read import targets), and for C++ the transitive
+ * include closure. A lookup that reads any other file finds it missing and skips that check.
+ */
+export declare function nameResolutionPreloadFiles(index: ProjectIndex, mod: ModuleIndex, languageId: string): FileId[];
+/**
+ * The definition a resolution names without running deferred member steps: a deferred step
+ * contributes its fallback. For consumers that settle member lookups separately.
+ */
+export declare function definitionWithoutDeferredSteps(resolution: NameResolution | null): SymbolDef | null;
+//# sourceMappingURL=name-resolution.d.ts.map

package/dist/indexer/name-resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"name-resolution.d.ts","sourceRoot":"","sources":["../../src/indexer/name-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAkB1C,OAAO,EAAuB,KAAK,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAGjF,OAAO,KAAK,EACV,WAAW,EACX,yBAAyB,EAEzB,cAAc,EACf,MAAM,4BAA4B,CAAC;AAEpC,YAAY,EACV,WAAW,EACX,mBAAmB,EACnB,yBAAyB,EACzB,gBAAgB,EAChB,eAAe,EACf,cAAc,EACd,kBAAkB,GACnB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,aAAa,EAAE,KAAK,WAAW,EAAE,KAAK,YAAY,EAAE,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAKtH,gGAAgG;AAChG,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,SAAS,aAAa,EAAE,EACjC,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GACb,OAAO,GAAG,UAAU,GAAG,OAAO,GAAG,SAAS,CAU5C;AAED,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,YAAY,EACnB,OAAO,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,iBAAiB,CAAA;CAAE,GACnD,yBAAyB,CA6B3B;AAKD,mFAAmF;AACnF,wBAAsB,eAAe,CAAC,CAAC,EAAE,KAAK,EAAE,yBAAyB,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CASpG;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,WAAW,GAAG,cAAc,GAAG,IAAI,CA8CvE;AAED,6CAA6C;AAC7C,MAAM,MAAM,iBAAiB,GAAG;IAC9B,+FAA+F;IAC/F,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,8EAA8E;IAC9E,mBAAmB,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,GAAG,UAAU,GAAG,SAAS,KAAK,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC;CACtH,CAAC;AAEF,6EAA6E;AAC7E,wBAAsB,oBAAoB,CACxC,GAAG,EAAE,WAAW,EAChB,UAAU,EAAE,cAAc,GAAG,IAAI,EACjC,OAAO,GAAE,iBAAsB,GAC9B,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,CA4C5B;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE,CAM9G;AAED;;;GAGG;AACH,wBAAgB,8BAA8B,CAAC,UAAU,EAAE,cAAc,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,CAIlG"}