gitnexus 1.6.8-rc.11 → 1.6.8-rc.12

package/dist/_shared/scope-resolution/symbol-definition.d.ts

@@ -54,6 +54,10 @@ export interface SymbolDefinition {
      *  Currently used by C++ overload ranking to exclude explicit constructors
      *  from implicit user-defined conversion candidates. */
     isExplicit?: boolean;
+    /** True when the callable is declared unavailable (for example C++ `= delete`).
+     *  Unavailable callables still participate in overload selection, but a
+     *  selected unavailable target must suppress edge emission. */
+    isDeleted?: boolean;
     /** Links Method/Constructor/Property to owning Class/Struct/Trait nodeId */
     ownerId?: string;
     /** #1982/#1993: bridge-held enclosing-namespace path (e.g. `NS1`, `Outer.Inner`)

package/dist/_shared/scope-resolution/symbol-definition.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbol-definition.d.ts","sourceRoot":"","sources":["../../src/scope-resolution/symbol-definition.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEnD,MAAM,WAAW,kBAAkB;IACjC,wFAAwF;IACxF,IAAI,EAAE,MAAM,CAAC;IACb,8EAA8E;IAC9E,EAAE,EAAE,MAAM,GAAG,OAAO,GAAG,UAAU,GAAG,gBAAgB,GAAG,SAAS,CAAC;IACjE,4CAA4C;IAC5C,WAAW,EAAE,OAAO,GAAG,YAAY,GAAG,YAAY,GAAG,SAAS,GAAG,SAAS,CAAC;IAC3E,4EAA4E;IAC5E,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,SAAS,CAAC;IAChB;;+FAE2F;IAC3F,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;iHAC6G;IAC7G,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC;uFACmF;IACnF,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B;4FACwF;IACxF,oBAAoB,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC5C,6EAA6E;IAC7E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gGAAgG;IAChG,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gGAAgG;IAChG,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B;;;;;yEAKqE;IACrE,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B;;4DAEwD;IACxD,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,4EAA4E;IAC5E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;;;iEAO6D;IAC7D,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B"}
+{"version":3,"file":"symbol-definition.d.ts","sourceRoot":"","sources":["../../src/scope-resolution/symbol-definition.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEnD,MAAM,WAAW,kBAAkB;IACjC,wFAAwF;IACxF,IAAI,EAAE,MAAM,CAAC;IACb,8EAA8E;IAC9E,EAAE,EAAE,MAAM,GAAG,OAAO,GAAG,UAAU,GAAG,gBAAgB,GAAG,SAAS,CAAC;IACjE,4CAA4C;IAC5C,WAAW,EAAE,OAAO,GAAG,YAAY,GAAG,YAAY,GAAG,SAAS,GAAG,SAAS,CAAC;IAC3E,4EAA4E;IAC5E,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,SAAS,CAAC;IAChB;;+FAE2F;IAC3F,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;iHAC6G;IAC7G,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC;uFACmF;IACnF,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B;4FACwF;IACxF,oBAAoB,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC5C,6EAA6E;IAC7E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gGAAgG;IAChG,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gGAAgG;IAChG,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B;;;;;yEAKqE;IACrE,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B;;4DAEwD;IACxD,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB;;mEAE+D;IAC/D,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,4EAA4E;IAC5E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;;;iEAO6D;IAC7D,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B"}

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

@@ -193,8 +193,12 @@ function findFuncDeclarator(node) {
         }
         return null;
     }
-    // Unwrap pointer_declarator / reference_declarator
-    while (decl.type === 'pointer_declarator' || decl.type === 'reference_declarator') {
+    // Unwrap declarator wrappers. Deleted free functions are represented as
+    // `init_declarator(function_declarator, delete_expression)` by
+    // tree-sitter-cpp 0.23.
+    while (decl.type === 'pointer_declarator' ||
+        decl.type === 'reference_declarator' ||
+        decl.type === 'init_declarator') {
         const next = decl.childForFieldName('declarator');
         if (next === null) {
             // reference_declarator may not use field name

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

@@ -113,6 +113,9 @@ export function emitCppScopeCaptures(sourceText, filePath, cachedTree) {
                 if (hasExplicitSpecifier(fnNode)) {
                     grouped['@declaration.is-explicit'] = syntheticCapture('@declaration.is-explicit', fnNode, 'true');
                 }
+                if (hasDeletedMethodClause(fnNode, grouped['@declaration.name']?.text)) {
+                    grouped['@declaration.is-deleted'] = syntheticCapture('@declaration.is-deleted', fnNode, 'true');
+                }
                 // Detect static storage class (file-local linkage)
                 if (hasStaticStorageClass(fnNode)) {
                     const nameText = grouped['@declaration.name']?.text;
@@ -1562,8 +1565,11 @@ function extractDeclaratorLeafName(node) {
     let cur = node;
     let safety = 16;
     while (safety-- > 0) {
-        if (cur.type === 'identifier' || cur.type === 'type_identifier')
+        if (cur.type === 'identifier' ||
+            cur.type === 'type_identifier' ||
+            cur.type === 'operator_name') {
             return cur.text;
+        }
         // Common wrapper nodes — follow the 'declarator' field when present.
         const next = cur.childForFieldName('declarator') ??
             // parenthesized_declarator: single named child
@@ -1590,6 +1596,23 @@ function hasExplicitSpecifier(node) {
     }
     return /\bexplicit\b/.test(node.text.slice(0, 128));
 }
+function hasDeletedMethodClause(node, callableName) {
+    for (let i = 0; i < node.namedChildCount; i++) {
+        const child = node.namedChild(i);
+        if (child?.type === 'delete_method_clause')
+            return true;
+        // tree-sitter-cpp 0.23 parses a deleted free-function declaration as
+        // `declaration > init_declarator > delete_expression`, while class
+        // members use the dedicated `delete_method_clause`.
+        if (child?.type === 'init_declarator' &&
+            child.childForFieldName('value')?.type === 'delete_expression' &&
+            callableName !== undefined &&
+            extractDeclaratorLeafName(child.childForFieldName('declarator') ?? child) === callableName) {
+            return true;
+        }
+    }
+    return false;
+}
 /**
  * Check if a C++ function_definition or declaration has `static` storage class.
  */

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

@@ -193,6 +193,29 @@ const CPP_SCOPE_QUERY = `
   declarator: (function_declarator
     declarator: (identifier) @declaration.name)) @declaration.function
 
+;; tree-sitter-cpp 0.23 represents a deleted free function as an
+;; init_declarator whose value is a delete_expression.
+(declaration
+  declarator: (init_declarator
+    declarator: (function_declarator
+      declarator: (identifier) @declaration.name)
+    value: (delete_expression))) @declaration.function
+
+;; Deleted free operator declaration.
+(declaration
+  declarator: (init_declarator
+    declarator: (function_declarator
+      declarator: (operator_name) @declaration.name)
+    value: (delete_expression))) @declaration.function
+
+;; Deleted free function with a pointer return type.
+(declaration
+  declarator: (init_declarator
+    declarator: (pointer_declarator
+      declarator: (function_declarator
+        declarator: (identifier) @declaration.name))
+    value: (delete_expression))) @declaration.function
+
 ;; Free operator prototype: std::ostream& operator<<(std::ostream&, T)
 (declaration
   declarator: (function_declarator

package/dist/core/ingestion/method-extractors/configs/c-cpp.js

@@ -33,18 +33,12 @@ function findFunctionDeclarator(node) {
     }
     return null;
 }
-/**
- * Detect `= delete` and `= default` special member function declarations.
- * These are not callable methods and should be suppressed from extraction.
- * tree-sitter-cpp ^0.23.4 emits `delete_method_clause` / `default_method_clause`
- * as named children of the function_definition node.
- */
-function isDeletedOrDefaulted(node) {
+/** Detect a C++ special member clause by its tree-sitter node type. */
+function hasSpecialMethodClause(node, clauseType) {
     for (let i = 0; i < node.namedChildCount; i++) {
         const child = node.namedChild(i);
-        if (child?.type === 'delete_method_clause' || child?.type === 'default_method_clause') {
+        if (child?.type === clauseType)
             return true;
-        }
     }
     return false;
 }
@@ -57,10 +51,6 @@ function extractCppMethodName(node) {
     const funcDecl = findFunctionDeclarator(node);
     if (!funcDecl)
         return undefined;
-    // Suppress `= delete` and `= default` special members — these are not callable
-    // methods and should not appear in HAS_METHOD edges.
-    if (isDeletedOrDefaulted(node))
-        return undefined;
     const nameNode = funcDecl.childForFieldName('declarator');
     if (!nameNode)
         return undefined;
@@ -360,6 +350,9 @@ export const cppMethodConfig = {
         }
         return false;
     },
+    isDeleted(node) {
+        return hasSpecialMethodClause(node, 'delete_method_clause');
+    },
 };
 // ---------------------------------------------------------------------------
 // C config (minimal — C has no classes/methods, only struct function pointers)

package/dist/core/ingestion/method-extractors/generic.js

@@ -198,6 +198,7 @@ function buildMethod(node, ownerNode, context, config) {
         ...(config.isAsync?.(node) ? { isAsync: true } : {}),
         ...(config.isPartial?.(node) ? { isPartial: true } : {}),
         ...(config.isConst?.(node) ? { isConst: true } : {}),
+        ...(config.isDeleted?.(node) ? { isDeleted: true } : {}),
         annotations: config.extractAnnotations?.(node) ?? [],
         sourceFile: context.filePath,
         line: node.startPosition.row + 1,

package/dist/core/ingestion/method-types.d.ts

@@ -27,6 +27,7 @@ export interface MethodInfo {
     isAsync?: boolean;
     isPartial?: boolean;
     isConst?: boolean;
+    isDeleted?: boolean;
     annotations: string[];
     sourceFile: string;
     line: number;
@@ -74,6 +75,7 @@ export interface MethodExtractionConfig {
     isAsync?: (node: SyntaxNode) => boolean;
     isPartial?: (node: SyntaxNode) => boolean;
     isConst?: (node: SyntaxNode) => boolean;
+    isDeleted?: (node: SyntaxNode) => boolean;
     /** Owner node types where member functions are effectively static (e.g.
      *  Ruby singleton_class, Kotlin companion_object / object_declaration).
      *  When the ownerNode matches one of these types, isStatic is forced true. */

package/dist/core/ingestion/model/symbol-table.d.ts

@@ -102,6 +102,7 @@ export interface AddMetadata {
     templateArguments?: string[];
     ownerId?: string;
     qualifiedName?: string;
+    isDeleted?: boolean;
 }
 /**
  * Pure read-only view over the file and callable indexes. Does NOT

package/dist/core/ingestion/model/symbol-table.js

@@ -136,6 +136,7 @@ export const createSymbolTable = () => {
                 ? { templateArguments: metadata.templateArguments }
                 : {}),
             ...(metadata?.ownerId !== undefined ? { ownerId: metadata.ownerId } : {}),
+            ...(metadata?.isDeleted === true ? { isDeleted: true } : {}),
         };
         // A. File Index — unconditional.
         if (!fileIndex.has(filePath)) {

package/dist/core/ingestion/parsing-processor.js

@@ -49,6 +49,7 @@ export const mergeChunkResults = (graph, symbolTable, chunkResults, exportedType
                 templateArguments: sym.templateArguments,
                 ownerId: sym.ownerId,
                 qualifiedName: sym.qualifiedName,
+                isDeleted: sym.isDeleted,
             });
         }
         if (exportedTypeMap) {

package/dist/core/ingestion/scope-extractor.js

@@ -399,6 +399,7 @@ function buildDefFromDeclarationMatch(match, anchor, filePath) {
     const returnType = match['@declaration.return-type']?.text;
     const templateConstraints = parseJsonCapture(match['@declaration.template-constraints']);
     const isExplicit = parseBooleanCapture(match['@declaration.is-explicit']);
+    const isDeleted = parseBooleanCapture(match['@declaration.is-deleted']);
     return {
         nodeId: makeDefId(filePath, anchor.range, type, nameCap.text),
         filePath,
@@ -413,6 +414,7 @@ function buildDefFromDeclarationMatch(match, anchor, filePath) {
         ...(templateArguments !== undefined ? { templateArguments } : {}),
         ...(templateConstraints !== undefined ? { templateConstraints } : {}),
         ...(isExplicit === true ? { isExplicit: true } : {}),
+        ...(isDeleted === true ? { isDeleted: true } : {}),
     };
 }
 /** Parse an opaque JSON payload synthesized by per-language captures
@@ -922,6 +924,7 @@ const KNOWN_SUB_TAGS = new Set([
     '@declaration.return-type',
     '@declaration.template-constraints',
     '@declaration.is-explicit',
+    '@declaration.is-deleted',
 ]);
 /**
  * Return the anchor capture for a match — the one whose name begins with

package/dist/core/ingestion/scope-resolution/passes/free-call-fallback.js

@@ -289,6 +289,18 @@ export function emitFreeCallFallback(graph, scopes, parsedFiles, nodeLookup, _re
             }
             if (fnDef === undefined)
                 continue;
+            if (fnDef.isDeleted === true) {
+                recordSuppressedOutcome(options.recordResolutionOutcome, {
+                    phase: 'free-call-fallback',
+                    filePath: parsed.filePath,
+                    name: site.name,
+                    range: site.atRange,
+                    reason: 'selected-callable-deleted',
+                    candidates: [fnDef],
+                });
+                handledSites.add(siteKey(parsed.filePath, site));
+                continue;
+            }
             if ((fnDefFromImplicitThis || fnDef.type === 'Method' || fnDef.type === 'Constructor') &&
                 options.isCallableVisibleFromCaller !== undefined &&
                 !options.isCallableVisibleFromCaller({

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

@@ -138,9 +138,12 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
             return 0;
         let n = 0;
         for (const implDef of impls) {
-            const implMember = findOwnedMember(implDef.nodeId, memberName, model);
-            if (implMember === undefined)
+            const implMember = pickOverload(implDef.nodeId, memberName, site, model, provider);
+            if (implMember === undefined ||
+                implMember === OVERLOAD_AMBIGUOUS ||
+                implMember.isDeleted === true) {
                 continue;
+            }
             if (implMember.nodeId === primaryMemberDef.nodeId)
                 continue;
             const ok = tryEmitEdge(graph, scopes, nodeLookup, site, implMember, 'interface-dispatch', seen, confidence, collapse);
@@ -179,12 +182,30 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                         ? extendsOnly(enclosingClass.nodeId)
                         : scopes.methodDispatch.mroFor(enclosingClass.nodeId);
                     let memberDef;
+                    let ambiguousOwnerId;
                     for (const ownerId of ancestors) {
-                        memberDef = findOwnedMember(ownerId, memberName, model);
-                        if (memberDef !== undefined)
+                        const picked = site.kind === 'call'
+                            ? pickOverload(ownerId, memberName, site, model, provider)
+                            : findOwnedMember(ownerId, memberName, model);
+                        if (picked === OVERLOAD_AMBIGUOUS) {
+                            ambiguousOwnerId = ownerId;
+                            break;
+                        }
+                        if (picked !== undefined) {
+                            memberDef = picked;
                             break;
+                        }
+                    }
+                    if (ambiguousOwnerId !== undefined) {
+                        recordReceiverOverloadSuppression(options.recordResolutionOutcome, parsed.filePath, site, ambiguousOwnerId, memberName, model, provider);
+                        handledSites.add(siteKey);
+                        continue;
                     }
                     if (memberDef !== undefined) {
+                        if (suppressDeletedCallTarget(options.recordResolutionOutcome, parsed.filePath, site, memberDef)) {
+                            handledSites.add(siteKey);
+                            continue;
+                        }
                         // Super/base calls resolve through the MRO chain, not
                         // through imports — the ancestor method is found by
                         // walking `methodDispatch.mroFor(enclosingClass)`, which
@@ -219,9 +240,9 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                 if (currentClass !== undefined) {
                     const chain = [currentClass.nodeId, ...scopes.methodDispatch.mroFor(currentClass.nodeId)];
                     let memberDef;
+                    let ambiguousOwnerId;
                     // Static-only filter (#1756 / U3): same shape as Case 4's
-                    // chain walk (skip-and-walk-on) but without overload
-                    // narrowing — Case 0 uses `findOwnedMember` directly. When
+                    // overload-aware chain walk (skip-and-walk-on). When
                     // an owner's resolved candidate is static-only (Kotlin
                     // companion-promoted), continue to the next ancestor in
                     // the MRO chain so a legitimate instance member can bind.
@@ -233,17 +254,29 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                     // shapes like `Logger.create("a")`), so there's no wrong
                     // target to suppress.
                     for (const ownerId of chain) {
-                        const candidate = findOwnedMember(ownerId, memberName, model);
-                        if (candidate === undefined)
-                            continue;
-                        if (provider.isStaticOnly?.(candidate) === true) {
-                            // Skip static-only candidate; walk to next ancestor.
+                        const picked = site.kind === 'call'
+                            ? pickFirstNonStaticOnly(ownerId, memberName, site, model, provider)
+                            : findOwnedMember(ownerId, memberName, model);
+                        if (picked === OVERLOAD_AMBIGUOUS) {
+                            ambiguousOwnerId = ownerId;
+                            break;
+                        }
+                        if (picked === STATIC_ONLY_FILTERED || picked === undefined) {
                             continue;
                         }
-                        memberDef = candidate;
+                        memberDef = picked;
                         break;
                     }
+                    if (ambiguousOwnerId !== undefined) {
+                        recordReceiverOverloadSuppression(options.recordResolutionOutcome, parsed.filePath, site, ambiguousOwnerId, memberName, model, provider);
+                        handledSites.add(siteKey);
+                        continue;
+                    }
                     if (memberDef !== undefined) {
+                        if (suppressDeletedCallTarget(options.recordResolutionOutcome, parsed.filePath, site, memberDef)) {
+                            handledSites.add(siteKey);
+                            continue;
+                        }
                         const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, memberDef.filePath !== parsed.filePath ? 'import-resolved' : 'global', seen, 0.85, collapse);
                         if (ok)
                             emitted++;
@@ -290,6 +323,10 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                     }
                     if (languageResolution?.kind === 'resolved') {
                         const memberDef = languageResolution.definition;
+                        if (suppressDeletedCallTarget(options.recordResolutionOutcome, parsed.filePath, site, memberDef)) {
+                            handledSites.add(siteKey);
+                            continue;
+                        }
                         const reason = site.kind === 'write' || site.kind === 'read'
                             ? site.kind
                             : memberDef.filePath !== parsed.filePath
@@ -357,6 +394,10 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                         continue;
                     }
                     if (memberDef !== undefined) {
+                        if (suppressDeletedCallTarget(options.recordResolutionOutcome, parsed.filePath, site, memberDef)) {
+                            handledSites.add(siteKey);
+                            continue;
+                        }
                         const reason = site.kind === 'write' || site.kind === 'read'
                             ? site.kind
                             : memberDef.filePath !== parsed.filePath
@@ -373,11 +414,16 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
             }
             // ── Case 1: namespace receiver ───────────────────────────────
             const targetFiles = namespaceTargets.get(receiverName);
-            if (targetFiles !== undefined) {
+            if (targetFiles !== undefined && provider.resolveQualifiedReceiverMember === undefined) {
                 let found = false;
                 for (const targetFile of targetFiles) {
                     const memberDef = findExportedDef(targetFile, memberName, index);
                     if (memberDef !== undefined) {
+                        if (suppressDeletedCallTarget(options.recordResolutionOutcome, parsed.filePath, site, memberDef)) {
+                            handledSites.add(siteKey);
+                            found = true;
+                            break;
+                        }
                         const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, memberDef.filePath !== parsed.filePath ? 'import-resolved' : 'global', seen, 0.85, collapse);
                         if (ok)
                             emitted++;
@@ -413,6 +459,10 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                     continue;
                 }
                 if (memberDef !== undefined) {
+                    if (suppressDeletedCallTarget(options.recordResolutionOutcome, parsed.filePath, site, memberDef)) {
+                        handledSites.add(siteKey);
+                        continue;
+                    }
                     const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, memberDef.filePath !== parsed.filePath ? 'import-resolved' : 'global', seen, 0.85, collapse);
                     if (ok)
                         emitted++;
@@ -425,9 +475,17 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
             if (classDef !== undefined) {
                 const chain = [classDef.nodeId, ...scopes.methodDispatch.mroFor(classDef.nodeId)];
                 let memberDef;
+                let ambiguousOwnerId;
                 for (const ownerId of chain) {
-                    memberDef = findOwnedMember(ownerId, memberName, model);
-                    if (memberDef !== undefined) {
+                    const picked = site.kind === 'call'
+                        ? pickOverload(ownerId, memberName, site, model, provider)
+                        : findOwnedMember(ownerId, memberName, model);
+                    if (picked === OVERLOAD_AMBIGUOUS) {
+                        ambiguousOwnerId = ownerId;
+                        break;
+                    }
+                    if (picked !== undefined) {
+                        memberDef = picked;
                         // The MRO chain is most-derived-first ([classDef, ...ancestors]).
                         // If the most-derived definition is arity-incompatible with the
                         // call site, PHP throws ArgumentCountError at runtime — it does
@@ -441,7 +499,16 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                         break;
                     }
                 }
+                if (ambiguousOwnerId !== undefined) {
+                    recordReceiverOverloadSuppression(options.recordResolutionOutcome, parsed.filePath, site, ambiguousOwnerId, memberName, model, provider);
+                    handledSites.add(siteKey);
+                    continue;
+                }
                 if (memberDef !== undefined) {
+                    if (suppressDeletedCallTarget(options.recordResolutionOutcome, parsed.filePath, site, memberDef)) {
+                        handledSites.add(siteKey);
+                        continue;
+                    }
                     const reason = site.kind === 'write' || site.kind === 'read'
                         ? site.kind
                         : memberDef.filePath !== parsed.filePath
@@ -466,8 +533,22 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                     for (const targetFile3 of targetFiles3) {
                         const classDef3 = findExportedDef(targetFile3, className, index);
                         if (classDef3 !== undefined) {
-                            const memberDef = findOwnedMember(classDef3.nodeId, memberName, model);
-                            if (memberDef !== undefined) {
+                            const picked = site.kind === 'call'
+                                ? pickOverload(classDef3.nodeId, memberName, site, model, provider)
+                                : findOwnedMember(classDef3.nodeId, memberName, model);
+                            if (picked === OVERLOAD_AMBIGUOUS) {
+                                recordReceiverOverloadSuppression(options.recordResolutionOutcome, parsed.filePath, site, classDef3.nodeId, memberName, model, provider);
+                                handledSites.add(siteKey);
+                                found3 = true;
+                                break;
+                            }
+                            if (picked !== undefined) {
+                                const memberDef = picked;
+                                if (suppressDeletedCallTarget(options.recordResolutionOutcome, parsed.filePath, site, memberDef)) {
+                                    handledSites.add(siteKey);
+                                    found3 = true;
+                                    break;
+                                }
                                 const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, memberDef.filePath !== parsed.filePath ? 'import-resolved' : 'global', seen);
                                 if (ok) {
                                     emitted++;
@@ -504,8 +585,9 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                 if (ownerDef !== undefined) {
                     const chain = [ownerDef.nodeId, ...scopes.methodDispatch.mroFor(ownerDef.nodeId)];
                     let memberDef;
-                    // Static-only filter (#1756 / U3): mirrors Case 0's chain
-                    // walk — `findOwnedMember` without overload narrowing. When
+                    let ambiguousOwnerId;
+                    // Static-only filter (#1756 / U3): mirrors Case 0's
+                    // overload-aware chain walk. When
                     // a static-only candidate is found at an ancestor, walk on
                     // so a legitimate instance member can bind. If the entire
                     // chain is static-only, no edge is emitted (Case 3b is fed
@@ -513,16 +595,29 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                     // `emitReferencesViaLookup` for compound shapes, so no
                     // handled-site marker is needed for chain-only-static).
                     for (const ownerId of chain) {
-                        const candidate = findOwnedMember(ownerId, memberName, model);
-                        if (candidate === undefined)
-                            continue;
-                        if (provider.isStaticOnly?.(candidate) === true) {
+                        const picked = site.kind === 'call'
+                            ? pickFirstNonStaticOnly(ownerId, memberName, site, model, provider)
+                            : findOwnedMember(ownerId, memberName, model);
+                        if (picked === OVERLOAD_AMBIGUOUS) {
+                            ambiguousOwnerId = ownerId;
+                            break;
+                        }
+                        if (picked === STATIC_ONLY_FILTERED || picked === undefined) {
                             continue;
                         }
-                        memberDef = candidate;
+                        memberDef = picked;
                         break;
                     }
+                    if (ambiguousOwnerId !== undefined) {
+                        recordReceiverOverloadSuppression(options.recordResolutionOutcome, parsed.filePath, site, ambiguousOwnerId, memberName, model, provider);
+                        handledSites.add(siteKey);
+                        continue;
+                    }
                     if (memberDef !== undefined) {
+                        if (suppressDeletedCallTarget(options.recordResolutionOutcome, parsed.filePath, site, memberDef)) {
+                            handledSites.add(siteKey);
+                            continue;
+                        }
                         const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, memberDef.filePath !== parsed.filePath ? 'import-resolved' : 'global', seen, 0.85, collapse);
                         if (ok)
                             emitted++;
@@ -574,6 +669,10 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                     }
                     if (languageResolution?.kind === 'resolved') {
                         const memberDef = languageResolution.definition;
+                        if (suppressDeletedCallTarget(options.recordResolutionOutcome, parsed.filePath, site, memberDef)) {
+                            handledSites.add(siteKey);
+                            continue;
+                        }
                         const reason = site.kind === 'write' || site.kind === 'read'
                             ? site.kind
                             : memberDef.filePath !== parsed.filePath
@@ -657,6 +756,10 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                         continue;
                     }
                     if (memberDef !== undefined) {
+                        if (suppressDeletedCallTarget(options.recordResolutionOutcome, parsed.filePath, site, memberDef)) {
+                            handledSites.add(siteKey);
+                            continue;
+                        }
                         // For read/write ACCESSES, mirror the legacy DAG's reason
                         // convention so consumers asserting `reason === 'write'`
                         // keep working.
@@ -713,6 +816,10 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                     continue;
                 }
                 if (picked !== undefined) {
+                    if (suppressDeletedCallTarget(options.recordResolutionOutcome, parsed.filePath, site, picked)) {
+                        handledSites.add(siteKey);
+                        continue;
+                    }
                     // Static-only filter (#1756 / U3): unlike Case 4 there's no
                     // MRO chain to walk here — Case 5 dispatches on a single
                     // owner via `pickOverload`. When the picked candidate is
@@ -873,6 +980,20 @@ function pickFirstNonStaticOnly(ownerId, memberName, site, model, provider) {
         return OVERLOAD_AMBIGUOUS;
     return candidates[0] ?? overloads[0];
 }
+function suppressDeletedCallTarget(record, filePath, site, target) {
+    if (site.kind !== 'call' || target.isDeleted !== true)
+        return false;
+    record?.({
+        kind: 'suppressed',
+        phase: 'receiver-bound-calls',
+        filePath,
+        name: site.name,
+        range: site.atRange,
+        reason: 'selected-callable-deleted',
+        candidateIds: [target.nodeId],
+    });
+    return true;
+}
 function recordReceiverOverloadSuppression(record, filePath, site, ownerId, memberName, model, provider) {
     if (record === undefined)
         return;

package/dist/core/ingestion/scope-resolution/pipeline/reconcile-ownership.js

@@ -64,14 +64,39 @@ export function reconcileOwnership(parsedFiles, model) {
     for (const parsed of parsedFiles) {
         for (const def of parsed.localDefs) {
             const ownerId = def.ownerId;
-            if (ownerId === undefined)
-                continue;
             const simple = simpleQualifiedName(def);
             if (simple === undefined)
                 continue;
             if (def.type === 'Method' || def.type === 'Function' || def.type === 'Constructor') {
+                if (ownerId === undefined) {
+                    if (def.isDeleted !== true)
+                        continue;
+                    const existingDef = model.symbols
+                        .lookupExactAll(def.filePath, simple)
+                        .find((candidate) => callableSignatureMatches(candidate, def));
+                    if (existingDef !== undefined) {
+                        existingDef.isDeleted = true;
+                        skippedAlreadyPresent++;
+                        continue;
+                    }
+                    model.symbols.add(def.filePath, simple, def.nodeId, def.type, {
+                        parameterCount: def.parameterCount,
+                        requiredParameterCount: def.requiredParameterCount,
+                        parameterTypes: def.parameterTypes,
+                        parameterTypeClasses: def.parameterTypeClasses,
+                        returnType: def.returnType,
+                        qualifiedName: def.qualifiedName,
+                        isDeleted: true,
+                    });
+                    continue;
+                }
                 const existing = model.methods.lookupAllByOwner(ownerId, simple);
-                if (existing.some((e) => e.nodeId === def.nodeId)) {
+                const existingDef = existing.find((candidate) => candidate.nodeId === def.nodeId ||
+                    (def.isDeleted === true && callableSignatureMatches(candidate, def)));
+                if (existingDef !== undefined) {
+                    if (def.isDeleted === true) {
+                        existingDef.isDeleted = true;
+                    }
                     skippedAlreadyPresent++;
                     continue;
                 }
@@ -103,6 +128,21 @@ export function reconcileOwnership(parsedFiles, model) {
     }
     return { methodsRegistered, fieldsRegistered, nestedTypesRegistered, skippedAlreadyPresent };
 }
+function callableSignatureMatches(left, right) {
+    if (left.filePath !== right.filePath)
+        return false;
+    if (left.parameterCount !== right.parameterCount)
+        return false;
+    if (left.requiredParameterCount !== right.requiredParameterCount)
+        return false;
+    const leftTypes = left.parameterTypes;
+    const rightTypes = right.parameterTypes;
+    if (leftTypes === undefined || rightTypes === undefined) {
+        return leftTypes === rightTypes;
+    }
+    return (leftTypes.length === rightTypes.length &&
+        leftTypes.every((parameterType, index) => parameterType === rightTypes[index]));
+}
 /**
  * Debug-mode parity validator. Runs only when
  * `VALIDATE_SEMANTIC_MODEL !== '0'` AND `NODE_ENV !== 'production'`.

package/dist/core/ingestion/scope-resolution/resolution-outcome.d.ts

@@ -1,5 +1,5 @@
 import type { Range } from '../../../_shared/index.js';
-export type ResolutionSuppressionReason = 'adl-ordinary-lookup-blocked' | 'conversion-rank-tied' | 'inline-ns-ambiguous' | 'member-lookup-ambiguous' | 'overload-ambiguous' | 'overload-ambiguous-normalization';
+export type ResolutionSuppressionReason = 'adl-ordinary-lookup-blocked' | 'conversion-rank-tied' | 'inline-ns-ambiguous' | 'member-lookup-ambiguous' | 'selected-callable-deleted' | 'overload-ambiguous' | 'overload-ambiguous-normalization';
 export type ResolutionOutcome = {
     readonly kind: 'resolved';
     readonly targetId: string;

package/dist/core/ingestion/utils/method-props.js

@@ -184,6 +184,7 @@ export function buildMethodProps(info) {
         ...(info.isAsync ? { isAsync: info.isAsync } : {}),
         ...(info.isPartial ? { isPartial: info.isPartial } : {}),
         ...(info.isConst ? { isConst: info.isConst } : {}),
+        ...(info.isDeleted ? { isDeleted: info.isDeleted } : {}),
         ...(info.annotations.length > 0 ? { annotations: info.annotations } : {}),
     };
 }

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

@@ -50,6 +50,7 @@ interface ParsedSymbol {
     isReadonly?: boolean;
     isAbstract?: boolean;
     isFinal?: boolean;
+    isDeleted?: boolean;
     annotations?: string[];
 }
 export interface ExtractedCall {

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

@@ -1673,6 +1673,9 @@ const processFileGroup = (files, language, queryString, result, onFileProcessed)
                 isReadonly: methodProps.isReadonly,
                 isAbstract: methodProps.isAbstract,
                 isFinal: methodProps.isFinal,
+                ...(methodProps.isDeleted !== undefined
+                    ? { isDeleted: methodProps.isDeleted }
+                    : {}),
                 ...(methodProps.isVirtual !== undefined
                     ? { isVirtual: methodProps.isVirtual }
                     : {}),

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "gitnexus",
-  "version": "1.6.8-rc.11",
+  "version": "1.6.8-rc.12",
   "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",