gitnexus 1.6.5 → 1.6.6-rc.2

package/dist/core/ingestion/scope-resolution/passes/receiver-bound-calls.js

@@ -249,7 +249,10 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                     for (const ownerId of chain) {
                         const methodOverloads = model.methods.lookupAllByOwner(ownerId, memberName);
                         if (methodOverloads.length > 0) {
-                            const narrowed = narrowOverloadCandidates(methodOverloads, site.arity, site.argumentTypes, provider.conversionRankFn);
+                            const narrowed = narrowOverloadCandidates(methodOverloads, site.arity, site.argumentTypes, {
+                                conversionRankFn: provider.conversionRankFn,
+                                constraintCompatibility: provider.constraintCompatibility,
+                            });
                             if (isOverloadAmbiguousAfterNormalization(narrowed, site.arity)) {
                                 ambiguous = true;
                                 break;
@@ -467,7 +470,7 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                     let memberDef;
                     let ambiguous = false;
                     for (const ownerId of chain) {
-                        const picked = pickOverload(ownerId, memberName, site, model, provider.conversionRankFn);
+                        const picked = pickOverload(ownerId, memberName, site, model, provider);
                         if (picked === OVERLOAD_AMBIGUOUS) {
                             ambiguous = true;
                             break;
@@ -518,7 +521,7 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
  *  types when multiple overloads share the name. Falls back to the
  *  first-seen def (legacy `findOwnedMember` semantics) when there's
  *  no narrowing signal or when `argumentTypes` is unavailable. */
-function pickOverload(ownerId, memberName, site, model, conversionRankFn) {
+function pickOverload(ownerId, memberName, site, model, provider) {
     const overloads = model.methods.lookupAllByOwner(ownerId, memberName);
     if (overloads.length === 0) {
         // Non-callable member (field / property / variable) — ACCESSES
@@ -528,7 +531,10 @@ function pickOverload(ownerId, memberName, site, model, conversionRankFn) {
     }
     if (overloads.length === 1)
         return overloads[0];
-    const candidates = narrowOverloadCandidates(overloads, site.arity, site.argumentTypes, conversionRankFn);
+    const candidates = narrowOverloadCandidates(overloads, site.arity, site.argumentTypes, {
+        conversionRankFn: provider.conversionRankFn,
+        constraintCompatibility: provider.constraintCompatibility,
+    });
     // When narrowing leaves >1 candidate that share identical normalized
     // parameter-types (e.g., C++ `f(int)` vs `f(long)` both collapsed to
     // `['int']` by `normalizeCppParamType`), suppress the edge entirely.

package/dist/core/ingestion/scope-resolution/pipeline/run.js

@@ -250,6 +250,7 @@ export function runScopeResolution(input, provider) {
         isCallableVisibleFromCaller: provider.isCallableVisibleFromCaller,
         resolveAdlCandidates: provider.resolveAdlCandidates,
         conversionRankFn: provider.conversionRankFn,
+        constraintCompatibility: provider.constraintCompatibility,
     });
     const { emitted, skipped } = emitReferencesViaLookup(graph, indexes, referenceIndex, nodeLookup, handledSites);
     const importsEmitted = emitImportEdges(graph, indexes.imports, indexes.scopeTree, provider.importEdgeReason);

package/dist/core/ingestion/utils/template-arguments.d.ts

@@ -9,3 +9,22 @@
 export declare function extractTemplateArguments(text: string): string[] | undefined;
 export declare function stripTemplateArguments(text: string): string;
 export declare function templateArgumentsIdTag(templateArguments?: readonly string[]): string;
+/**
+ * Stable short hash for the opaque `SymbolDefinition.templateConstraints`
+ * payload (issue #1579). Two function-template overloads with identical
+ * `parameterTypes` but mutually-exclusive SFINAE constraints
+ * (`enable_if_t<is_integral_v<T>>` vs `enable_if_t<is_floating_point_v<T>>`)
+ * must produce distinct graph node IDs so the constraint-filter step
+ * has two candidates to narrow between. Without this they collapse to
+ * a single Function node and the SFINAE golden case can only emit one
+ * edge regardless of resolver fixes.
+ *
+ * FNV-1a 32-bit, base36 encoded. Deterministic; non-cryptographic — the
+ * tag's job is collision-avoidance among same-name overloads in one
+ * file, not security.
+ */
+export declare function constraintsHash(jsonText: string): string;
+/** Build the `~c:<hash>` ID suffix from an opaque constraint payload.
+ *  Returns empty string when the payload is absent so callers can
+ *  string-concatenate unconditionally. */
+export declare function templateConstraintsIdTag(payload: unknown): string;

package/dist/core/ingestion/utils/template-arguments.js

@@ -63,3 +63,33 @@ export function templateArgumentsIdTag(templateArguments) {
         return '';
     return `~${templateArguments.join(',')}`;
 }
+/**
+ * Stable short hash for the opaque `SymbolDefinition.templateConstraints`
+ * payload (issue #1579). Two function-template overloads with identical
+ * `parameterTypes` but mutually-exclusive SFINAE constraints
+ * (`enable_if_t<is_integral_v<T>>` vs `enable_if_t<is_floating_point_v<T>>`)
+ * must produce distinct graph node IDs so the constraint-filter step
+ * has two candidates to narrow between. Without this they collapse to
+ * a single Function node and the SFINAE golden case can only emit one
+ * edge regardless of resolver fixes.
+ *
+ * FNV-1a 32-bit, base36 encoded. Deterministic; non-cryptographic — the
+ * tag's job is collision-avoidance among same-name overloads in one
+ * file, not security.
+ */
+export function constraintsHash(jsonText) {
+    let h = 0x811c9dc5;
+    for (let i = 0; i < jsonText.length; i++) {
+        h ^= jsonText.charCodeAt(i);
+        h = Math.imul(h, 0x01000193);
+    }
+    return (h >>> 0).toString(36);
+}
+/** Build the `~c:<hash>` ID suffix from an opaque constraint payload.
+ *  Returns empty string when the payload is absent so callers can
+ *  string-concatenate unconditionally. */
+export function templateConstraintsIdTag(payload) {
+    if (payload === undefined || payload === null)
+        return '';
+    return `~c:${constraintsHash(JSON.stringify(payload))}`;
+}

package/dist/core/ingestion/workers/parse-worker.d.ts

@@ -3,7 +3,7 @@ import type { ExtractedHeritage } from '../model/heritage-map.js';
 import { type MixedChainStep } from '../utils/call-analysis.js';
 import type { ConstructorBinding } from '../type-env.js';
 import type { NamedBinding } from '../named-bindings/types.js';
-import type { NodeLabel } from '../../../_shared/index.js';
+import type { NodeLabel, ParameterTypeClass } from '../../../_shared/index.js';
 import type { ParsedFile } from '../../../_shared/index.js';
 interface ParsedNode {
     id: string;
@@ -38,6 +38,7 @@ interface ParsedSymbol {
     parameterCount?: number;
     requiredParameterCount?: number;
     parameterTypes?: string[];
+    parameterTypeClasses?: ParameterTypeClass[];
     returnType?: string;
     declaredType?: string;
     templateArguments?: string[];

package/dist/core/ingestion/workers/parse-worker.js

@@ -1801,6 +1801,7 @@ const processFileGroup = (files, language, queryString, result, onFileProcessed)
                 parameterCount: methodProps.parameterCount,
                 requiredParameterCount: methodProps.requiredParameterCount,
                 parameterTypes: methodProps.parameterTypes,
+                parameterTypeClasses: methodProps.parameterTypeClasses,
                 returnType: methodProps.returnType,
                 ...(declaredType !== undefined ? { declaredType } : {}),
                 ...(classTemplateArguments !== undefined && classTemplateArguments.length > 0

package/package.json

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