gitnexus 1.6.8-rc.8 → 1.6.8

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

@@ -38,7 +38,7 @@
  */
 import { collectNamespaceTargets } from '../scope/namespace-targets.js';
 import { findClassBindingInScope, findEnclosingClassDef, findExportedDef, findOwnedMember, findReceiverTypeBinding, findValueBindingInScope, isClassLike, } from '../scope/walkers.js';
-import { tryEmitEdge, tryEmitEdgeWithExplicitTargetId } from '../graph-bridge/edges.js';
+import { tryEmitEdge, tryEmitEdgeWithExplicitTargetId, } from '../graph-bridge/edges.js';
 import { resolveCompoundReceiverClass } from '../passes/compound-receiver.js';
 import { resolveDefGraphId } from '../graph-bridge/ids.js';
 import { narrowOverloadCandidates, isOverloadAmbiguousAfterNormalization, } from './overload-narrowing.js';
@@ -130,7 +130,7 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
      *  when the primary receiver-typed edge targeted an Interface's
      *  method. Each implementing class's same-named method gets a
      *  secondary edge (excluding the primary target itself). */
-    const emitInterfaceDispatchFor = (ownerDef, memberName, primaryMemberDef, site, confidence) => {
+    const emitInterfaceDispatchFor = (ownerDef, memberName, primaryMemberDef, site, confidence, calleeCapture) => {
         if (ownerDef.type !== 'Interface')
             return 0;
         const impls = implementorsByInterfaceDefId.get(ownerDef.nodeId);
@@ -138,12 +138,15 @@ 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);
+            const ok = tryEmitEdge(graph, scopes, nodeLookup, site, implMember, 'interface-dispatch', seen, confidence, collapse, calleeCapture);
             if (ok)
                 n++;
         }
@@ -151,6 +154,12 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
     };
     for (const parsed of parsedFiles) {
         const namespaceTargets = collectNamespaceTargets(parsed, scopes);
+        // Per-file resolved-callee-id capture context (#2227 U2). Built once per
+        // file; `undefined` when the sink is absent (pdg off) so the `tryEmitEdge`
+        // capture is a no-op and emission stays byte-identical (R4).
+        const calleeCapture = options.calleeIdSink !== undefined
+            ? { sink: options.calleeIdSink, filePath: parsed.filePath }
+            : undefined;
         for (const site of parsed.referenceSites) {
             if (site.kind !== 'call' && site.kind !== 'read' && site.kind !== 'write')
                 continue;
@@ -179,12 +188,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
@@ -201,7 +228,7 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                         // superclass via its `import`/`from … import …` binding.
                         // Closing that gap requires realigning the legacy tier
                         // classifier and is tracked separately.
-                        const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, 'global', seen, 0.85, collapse);
+                        const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, 'global', seen, 0.85, collapse, calleeCapture);
                         if (ok)
                             emitted++;
                         // Always mark handled when the site was resolved, even
@@ -219,9 +246,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,18 +260,30 @@ 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) {
-                        const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, memberDef.filePath !== parsed.filePath ? 'import-resolved' : 'global', seen, 0.85, collapse);
+                        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, calleeCapture);
                         if (ok)
                             emitted++;
                         // Always mark handled when the site was resolved, even
@@ -290,13 +329,17 @@ 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
                                 ? 'import-resolved'
                                 : 'global';
                         const confidence = site.kind === 'write' || site.kind === 'read' ? 1.0 : 0.85;
-                        const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, reason, seen, confidence, collapse);
+                        const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, reason, seen, confidence, collapse, calleeCapture);
                         if (ok)
                             emitted++;
                         handledSites.add(siteKey);
@@ -315,6 +358,7 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                             const narrowed = narrowOverloadCandidates(methodOverloads, site.arity, site.argumentTypes, {
                                 argumentTypeClasses: site.argumentTypeClasses,
                                 conversionRankFn: provider.conversionRankFn,
+                                conversionOnlyArgTypePrefixes: provider.conversionOnlyArgTypePrefixes,
                                 constraintCompatibility: provider.constraintCompatibility,
                             });
                             if (isOverloadAmbiguousAfterNormalization(narrowed, site.arity)) {
@@ -357,13 +401,17 @@ 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
                                 ? 'import-resolved'
                                 : 'global';
                         const confidence = site.kind === 'write' || site.kind === 'read' ? 1.0 : 0.85;
-                        const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, reason, seen, confidence, collapse);
+                        const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, reason, seen, confidence, collapse, calleeCapture);
                         if (ok)
                             emitted++;
                         handledSites.add(siteKey);
@@ -373,12 +421,17 @@ 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) {
-                        const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, memberDef.filePath !== parsed.filePath ? 'import-resolved' : 'global', seen, 0.85, collapse);
+                        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, calleeCapture);
                         if (ok)
                             emitted++;
                         handledSites.add(siteKey);
@@ -413,7 +466,11 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                     continue;
                 }
                 if (memberDef !== undefined) {
-                    const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, memberDef.filePath !== parsed.filePath ? 'import-resolved' : 'global', seen, 0.85, collapse);
+                    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, calleeCapture);
                     if (ok)
                         emitted++;
                     handledSites.add(siteKey);
@@ -425,9 +482,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,14 +506,23 @@ 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
                             ? 'import-resolved'
                             : 'global';
                     const confidence = site.kind === 'write' || site.kind === 'read' ? 1.0 : 0.85;
-                    const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, reason, seen, confidence, collapse);
+                    const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, reason, seen, confidence, collapse, calleeCapture);
                     if (ok)
                         emitted++;
                     handledSites.add(siteKey);
@@ -466,9 +540,26 @@ 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 ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, memberDef.filePath !== parsed.filePath ? 'import-resolved' : 'global', seen);
+                            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, 
+                                // Explicit defaults so the trailing capture ctx (#2227 U2) can
+                                // be threaded without changing dedup/confidence behavior.
+                                0.85, false, calleeCapture);
                                 if (ok) {
                                     emitted++;
                                     handledSites.add(siteKey);
@@ -504,8 +595,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,17 +605,30 @@ 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) {
-                        const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, memberDef.filePath !== parsed.filePath ? 'import-resolved' : 'global', seen, 0.85, collapse);
+                        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, calleeCapture);
                         if (ok)
                             emitted++;
                         // Always mark handled when the site was resolved, even
@@ -574,13 +679,17 @@ 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
                                 ? 'import-resolved'
                                 : 'global';
                         const confidence = site.kind === 'write' || site.kind === 'read' ? 1.0 : 0.85;
-                        const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, reason, seen, confidence, collapse);
+                        const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, reason, seen, confidence, collapse, calleeCapture);
                         if (ok)
                             emitted++;
                         handledSites.add(siteKey);
@@ -657,6 +766,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.
@@ -666,13 +779,13 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                                 ? 'import-resolved'
                                 : 'global';
                         const confidence = site.kind === 'write' || site.kind === 'read' ? 1.0 : 0.85;
-                        const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, reason, seen, confidence, collapse);
+                        const ok = tryEmitEdge(graph, scopes, nodeLookup, site, memberDef, reason, seen, confidence, collapse, calleeCapture);
                         if (ok)
                             emitted++;
                         // Interface dispatch: when the primary owner is an
                         // Interface, emit secondary CALLS edges to every
                         // implementing class's same-named method.
-                        emitted += emitInterfaceDispatchFor(ownerDef, memberName, memberDef, site, confidence);
+                        emitted += emitInterfaceDispatchFor(ownerDef, memberName, memberDef, site, confidence, calleeCapture);
                         // Always mark handled when the site was resolved, even
                         // if the edge was deduplicated (collapse mode), so
                         // `emitReferencesViaLookup` doesn't re-emit from the
@@ -713,6 +826,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
@@ -732,7 +849,7 @@ export function emitReceiverBoundCalls(graph, scopes, parsedFiles, nodeLookup, h
                             ? 'import-resolved'
                             : 'global';
                     const confidence = site.kind === 'write' || site.kind === 'read' ? 1.0 : 0.85;
-                    const ok = tryEmitEdgeWithExplicitTargetId(graph, scopes, nodeLookup, site, picked.nodeId, reason, seen, confidence, collapse);
+                    const ok = tryEmitEdgeWithExplicitTargetId(graph, scopes, nodeLookup, site, picked.nodeId, reason, seen, confidence, collapse, calleeCapture);
                     if (ok)
                         emitted++;
                     handledSites.add(siteKey);
@@ -760,6 +877,7 @@ function pickOverload(ownerId, memberName, site, model, provider) {
     const candidates = narrowOverloadCandidates(overloads, site.arity, site.argumentTypes, {
         argumentTypeClasses: site.argumentTypeClasses,
         conversionRankFn: provider.conversionRankFn,
+        conversionOnlyArgTypePrefixes: provider.conversionOnlyArgTypePrefixes,
         constraintCompatibility: provider.constraintCompatibility,
     });
     // When narrowing leaves >1 candidate that share identical normalized
@@ -860,6 +978,7 @@ function pickFirstNonStaticOnly(ownerId, memberName, site, model, provider) {
     const candidates = narrowOverloadCandidates(overloads, site.arity, site.argumentTypes, {
         argumentTypeClasses: site.argumentTypeClasses,
         conversionRankFn: provider.conversionRankFn,
+        conversionOnlyArgTypePrefixes: provider.conversionOnlyArgTypePrefixes,
         constraintCompatibility: provider.constraintCompatibility,
     });
     // Same ambiguity handling as `pickOverload`: when normalization
@@ -873,6 +992,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;
@@ -880,6 +1013,7 @@ function recordReceiverOverloadSuppression(record, filePath, site, ownerId, memb
     const candidates = narrowOverloadCandidates(overloads, site.arity, site.argumentTypes, {
         argumentTypeClasses: site.argumentTypeClasses,
         conversionRankFn: provider.conversionRankFn,
+        conversionOnlyArgTypePrefixes: provider.conversionOnlyArgTypePrefixes,
         constraintCompatibility: provider.constraintCompatibility,
     });
     const reason = isOverloadAmbiguousAfterNormalization(candidates, site.arity)

package/dist/core/ingestion/scope-resolution/pipeline/phase.d.ts

@@ -26,6 +26,9 @@
 import type { PipelinePhase } from '../../pipeline-phases/types.js';
 import { SupportedLanguages } from '../../../../_shared/index.js';
 import type { ResolutionOutcome } from '../resolution-outcome.js';
+import type { FunctionSummary } from '../../taint/summary-model.js';
+import type { CallSummary } from '../../taint/call-summary-model.js';
+import { type PdgEmitManifest } from '../../../lbug/pdg-emit-sink.js';
 export interface ScopeResolutionOutput {
     /** True when at least one language ran. */
     readonly ran: boolean;
@@ -43,5 +46,26 @@ export interface ScopeResolutionOutput {
         readonly importsEmitted: number;
         readonly referenceEdgesEmitted: number;
     }>;
+    /**
+     * Per-function taint summaries harvested in the pdg window (#2084 M4 U1),
+     * across all languages. Empty unless `--pdg` and a registered taint model.
+     * The `taintSummaries` phase composes these over the `CALLS` graph.
+     */
+    readonly functionSummaries: readonly FunctionSummary[];
+    /**
+     * Per-function RETURN-VALUE ASCENT summaries harvested in the pdg window
+     * (PDG FU-C, U-C2), across all languages. Empty unless `--pdg`. The
+     * `callSummaries` phase materialises one `CALL_SUMMARY` self-loop edge per
+     * entry once the resolved call graph is known.
+     */
+    readonly callSummaries: readonly CallSummary[];
+    /**
+     * Streamed PDG-emit COPY manifest (#2202). Present only when streaming was on
+     * (full rebuild + `--pdg` + enabled): the BasicBlock node CSV + per-pair PDG
+     * edge CSVs that were flushed to disk during the emit loop, for the persistence
+     * step to COPY alongside the structural CSVs. Absent ⇒ the PDG layer (if any)
+     * is in the in-memory graph and persists via the normal whole-graph emit.
+     */
+    readonly pdgEmitManifest?: PdgEmitManifest;
 }
 export declare const scopeResolutionPhase: PipelinePhase<ScopeResolutionOutput>;