optave-codegraph 3.13.0

package/dist/domain/graph/builder/call-resolver.js

@@ -0,0 +1,212 @@
+/**
+ * Shared call-edge resolution — used by both the full build pipeline
+ * (build-edges.ts) and the incremental watch path (incremental.ts).
+ *
+ * Both callers supply a `CallNodeLookup` adapter that abstracts their
+ * node-lookup mechanism (pre-loaded Maps vs. per-query SQLite statements).
+ * The resolution logic lives here exactly once.
+ *
+ * `resolveByMethodOrGlobal` delegates its two branches to strategy helpers
+ * in `../resolver/strategy.ts` to keep per-strategy complexity manageable.
+ */
+import { computeConfidence } from '../resolve.js';
+import { isModuleScopedLanguage, resolveByGlobal, resolveByReceiver, } from '../resolver/strategy.js';
+export const RECEIVER_KINDS = new Set(['class', 'struct', 'interface', 'type', 'module']);
+// Re-export so consumers that import isModuleScopedLanguage from this module
+// continue to work without changes (build-edges.ts, etc.).
+export { isModuleScopedLanguage };
+// ── Shared resolution functions ──────────────────────────────────────────
+/**
+ * Callable definition kinds — variable/constant bindings are NOT callable
+ * in the function-as-enclosing-scope sense (they are local declarations, not
+ * function bodies). Top-level variable bindings (e.g. Haskell `main = do …`)
+ * are handled separately as a fallback tier.
+ */
+const CALLABLE_KINDS = new Set(['function', 'method']);
+/**
+ * Variable-like binding kinds that may act as top-level callers when no
+ * enclosing function/method exists (e.g. Haskell top-level `main` is a
+ * `bind` node → kind `variable`).  Local variable declarations inside a
+ * function body must NOT win over the enclosing function.
+ */
+const TOP_LEVEL_BINDING_KINDS = new Set(['variable', 'constant']);
+/**
+ * Find the narrowest enclosing function/method definition for `callLine`.
+ * Returns the DB node and name, or null if none encloses the call.
+ */
+function findEnclosingCallable(lookup, callLine, definitions, relPath) {
+    let best = null;
+    let bestSpan = Infinity;
+    for (const def of definitions) {
+        if (!CALLABLE_KINDS.has(def.kind))
+            continue;
+        if (def.line > callLine)
+            continue;
+        const end = def.endLine ?? Infinity;
+        if (callLine > end)
+            continue;
+        const span = end === Infinity ? Infinity : end - def.line;
+        if (span < bestSpan) {
+            const row = lookup.nodeId(def.name, def.kind, relPath, def.line);
+            if (row) {
+                best = { ...row, name: def.name };
+                bestSpan = span;
+            }
+        }
+    }
+    return best;
+}
+/**
+ * Find the widest (outermost) enclosing variable/constant binding for `callLine`.
+ * Used as fallback for top-level bindings (e.g. Haskell `main = do …`).
+ * We pick the WIDEST span so that nested `let` bindings inside `main`'s
+ * do-block do not shadow `main` itself as the attributing caller.
+ */
+function findEnclosingBinding(lookup, callLine, definitions, relPath) {
+    let best = null;
+    let bestSpan = -1; // looking for WIDEST span, so start at -1
+    for (const def of definitions) {
+        if (!TOP_LEVEL_BINDING_KINDS.has(def.kind))
+            continue;
+        if (def.line > callLine)
+            continue;
+        const end = def.endLine ?? Infinity;
+        if (callLine > end)
+            continue;
+        const span = end === Infinity ? Infinity : end - def.line;
+        if (span > bestSpan) {
+            const row = lookup.nodeId(def.name, def.kind, relPath, def.line);
+            if (row) {
+                best = { ...row, name: def.name };
+                bestSpan = span;
+            }
+        }
+    }
+    return best;
+}
+export function findCaller(lookup, call, definitions, relPath, fileNodeRow) {
+    // Pass 1: find the narrowest enclosing function/method.
+    const fnCaller = findEnclosingCallable(lookup, call.line, definitions, relPath);
+    // Prefer function/method enclosing scope over variable binding.
+    // Only fall back to a variable/constant binding when the call is at
+    // top-level scope (no enclosing function/method found), which handles
+    // languages like Haskell where `main` is a top-level `bind` node.
+    if (fnCaller) {
+        return { id: fnCaller.id, callerName: fnCaller.name };
+    }
+    // Pass 2: find the widest (outermost) enclosing variable/constant binding.
+    const varCaller = findEnclosingBinding(lookup, call.line, definitions, relPath);
+    if (varCaller) {
+        return { id: varCaller.id, callerName: varCaller.name };
+    }
+    return { ...fileNodeRow, callerName: null };
+}
+/**
+ * Dispatcher for call-site resolution.
+ *
+ * Delegates to two strategy helpers (in `../resolver/strategy.ts`) to keep
+ * each branch independently readable and under the complexity threshold:
+ *   - resolveByReceiver  — receiver is a concrete object/class reference
+ *   - resolveByGlobal    — bare call, or this/self/super receiver
+ *
+ * The original logic is unchanged; only the physical location moved.
+ */
+export function resolveByMethodOrGlobal(lookup, call, relPath, typeMap, callerName) {
+    if (call.receiver &&
+        call.receiver !== 'this' &&
+        call.receiver !== 'self' &&
+        call.receiver !== 'super') {
+        return resolveByReceiver(lookup, call, relPath, typeMap, callerName);
+    }
+    if (!call.receiver ||
+        call.receiver === 'this' ||
+        call.receiver === 'self' ||
+        call.receiver === 'super') {
+        return resolveByGlobal(lookup, call, relPath, typeMap, callerName);
+    }
+    return [];
+}
+export function resolveCallTargets(lookup, call, relPath, importedNames, typeMap, callerName) {
+    // Flagged dynamic calls use synthetic names like '<dynamic:eval>'. Short-circuit
+    // so they never accidentally match a real symbol via lookup.byName.
+    if (call.name.startsWith('<dynamic:')) {
+        return { targets: [], importedFrom: undefined };
+    }
+    const importedFrom = importedNames.get(call.name);
+    let targets;
+    if (importedFrom) {
+        targets = lookup.byNameAndFile(call.name, importedFrom);
+        if (targets.length === 0 && lookup.isBarrel(importedFrom)) {
+            const actualSource = lookup.resolveBarrel(importedFrom, call.name);
+            if (actualSource) {
+                targets = lookup.byNameAndFile(call.name, actualSource);
+            }
+        }
+    }
+    if (!targets || targets.length === 0) {
+        targets = lookup.byNameAndFile(call.name, relPath);
+        if (targets.length === 0) {
+            targets = resolveByMethodOrGlobal(lookup, call, relPath, typeMap, callerName);
+        }
+    }
+    const resolved = [...(targets ?? [])];
+    if (resolved.length > 1) {
+        resolved.sort((a, b) => {
+            const confA = computeConfidence(relPath, a.file, importedFrom ?? null);
+            const confB = computeConfidence(relPath, b.file, importedFrom ?? null);
+            return confB - confA;
+        });
+    }
+    return { targets: resolved, importedFrom };
+}
+/**
+ * Resolve the receiver-type edge for a call site.
+ * Returns the edge tuple to insert, or null if nothing matched or the edge
+ * was already seen.  Callers are responsible for the actual DB/array insert.
+ *
+ * Receiver resolution:
+ * 1. Look up same-file nodes for `effectiveReceiver` (unfiltered by kind).
+ * 2. If any same-file node exists AND `effectiveReceiver` is not in `importedNames`
+ *    (i.e. it is a locally-defined symbol, not an import artifact), apply
+ *    RECEIVER_KINDS and return the filtered set — no global fallback.
+ *    A local `function C(){}` means this file owns `C`; no cross-file class
+ *    should win over it (issue #1539).
+ * 3. If the same-file node IS an import artifact (e.g. destructured require),
+ *    or no same-file node exists at all, fall back to global candidates filtered
+ *    by RECEIVER_KINDS.  This preserves the pre-#1539 behaviour for cases where
+ *    an imported name appears as kind='function' in the importer file.
+ */
+export function resolveReceiverEdge(lookup, call, caller, relPath, typeMap, seenCallEdges, importedNames) {
+    const typeEntry = typeMap.get(call.receiver);
+    const typeName = typeEntry
+        ? typeof typeEntry === 'string'
+            ? typeEntry
+            : (typeEntry.type ?? null)
+        : null;
+    const typeConfidence = typeEntry && typeof typeEntry !== 'string'
+        ? (typeEntry.confidence ?? null)
+        : null;
+    const effectiveReceiver = typeName || call.receiver;
+    // Block global fallback only when the same-file node is a local definition,
+    // not when it's an import artifact (e.g. `const { C } = require(…)` seeds a
+    // kind='function' node in the importer but the real class lives elsewhere).
+    const sameFileAll = lookup.byNameAndFile(effectiveReceiver, relPath);
+    const isLocalDefinition = sameFileAll.length > 0 && !importedNames?.has(effectiveReceiver);
+    const sameFileCandidates = sameFileAll.filter((n) => RECEIVER_KINDS.has(n.kind ?? ''));
+    const candidates = isLocalDefinition
+        ? sameFileCandidates
+        : lookup.byName(effectiveReceiver).filter((n) => RECEIVER_KINDS.has(n.kind ?? ''));
+    if (candidates.length === 0)
+        return null;
+    const recvTarget = candidates[0];
+    const recvKey = `recv|${caller.id}|${recvTarget.id}`;
+    if (seenCallEdges.has(recvKey))
+        return null;
+    seenCallEdges.add(recvKey);
+    return {
+        callerId: caller.id,
+        receiverId: recvTarget.id,
+        confidence: typeConfidence ?? (typeName ? 0.9 : 0.7),
+    };
+}
+//# sourceMappingURL=call-resolver.js.map

package/dist/domain/graph/builder/call-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolver.js","sourceRoot":"","sources":["../../../../src/domain/graph/builder/call-resolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EACL,sBAAsB,EACtB,eAAe,EACf,iBAAiB,GAClB,MAAM,yBAAyB,CAAC;AAejC,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAE1F,6EAA6E;AAC7E,2DAA2D;AAC3D,OAAO,EAAE,sBAAsB,EAAE,CAAC;AAElC,4EAA4E;AAE5E;;;;;GAKG;AACH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEvD;;;;;GAKG;AACH,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AAKlE;;;GAGG;AACH,SAAS,qBAAqB,CAC5B,MAAsB,EACtB,QAAgB,EAChB,WAA+B,EAC/B,OAAe;IAEf,IAAI,IAAI,GAAgB,IAAI,CAAC;IAC7B,IAAI,QAAQ,GAAG,QAAQ,CAAC;IACxB,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5C,IAAI,GAAG,CAAC,IAAI,GAAG,QAAQ;YAAE,SAAS;QAClC,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,IAAI,QAAQ,CAAC;QACpC,IAAI,QAAQ,GAAG,GAAG;YAAE,SAAS;QAC7B,MAAM,IAAI,GAAG,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC;QAC1D,IAAI,IAAI,GAAG,QAAQ,EAAE,CAAC;YACpB,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YACjE,IAAI,GAAG,EAAE,CAAC;gBACR,IAAI,GAAG,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;gBAClC,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CAC3B,MAAsB,EACtB,QAAgB,EAChB,WAA+B,EAC/B,OAAe;IAEf,IAAI,IAAI,GAAgB,IAAI,CAAC;IAC7B,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,0CAA0C;IAC7D,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACrD,IAAI,GAAG,CAAC,IAAI,GAAG,QAAQ;YAAE,SAAS;QAClC,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,IAAI,QAAQ,CAAC;QACpC,IAAI,QAAQ,GAAG,GAAG;YAAE,SAAS;QAC7B,MAAM,IAAI,GAAG,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC;QAC1D,IAAI,IAAI,GAAG,QAAQ,EAAE,CAAC;YACpB,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YACjE,IAAI,GAAG,EAAE,CAAC;gBACR,IAAI,GAAG,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;gBAClC,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,MAAsB,EACtB,IAAsB,EACtB,WAA+B,EAC/B,OAAe,EACf,WAA2B;IAE3B,wDAAwD;IACxD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAEhF,gEAAgE;IAChE,oEAAoE;IACpE,sEAAsE;IACtE,kEAAkE;IAClE,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,UAAU,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;IACxD,CAAC;IAED,2EAA2E;IAC3E,MAAM,SAAS,GAAG,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAChF,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,UAAU,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;IAC1D,CAAC;IAED,OAAO,EAAE,GAAG,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AAC9C,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAsB,EACtB,IAAgD,EAChD,OAAe,EACf,OAA6B,EAC7B,UAA0B;IAE1B,IACE,IAAI,CAAC,QAAQ;QACb,IAAI,CAAC,QAAQ,KAAK,MAAM;QACxB,IAAI,CAAC,QAAQ,KAAK,MAAM;QACxB,IAAI,CAAC,QAAQ,KAAK,OAAO,EACzB,CAAC;QACD,OAAO,iBAAiB,CACtB,MAAM,EACN,IAA0C,EAC1C,OAAO,EACP,OAAO,EACP,UAAU,CACX,CAAC;IACJ,CAAC;IACD,IACE,CAAC,IAAI,CAAC,QAAQ;QACd,IAAI,CAAC,QAAQ,KAAK,MAAM;QACxB,IAAI,CAAC,QAAQ,KAAK,MAAM;QACxB,IAAI,CAAC,QAAQ,KAAK,OAAO,EACzB,CAAC;QACD,OAAO,eAAe,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,MAAsB,EACtB,IAAgD,EAChD,OAAe,EACf,aAAkC,EAClC,OAA6B,EAC7B,UAA0B;IAE1B,iFAAiF;IACjF,oEAAoE;IACpE,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QACtC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;IAClD,CAAC;IAED,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,OAAgE,CAAC;IAErE,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACxD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YAC1D,MAAM,YAAY,GAAG,MAAM,CAAC,aAAa,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACnE,IAAI,YAAY,EAAE,CAAC;gBACjB,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,GAAG,uBAAuB,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QAChF,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IACtC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,IAAI,IAAI,CAAC,CAAC;YACvE,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,IAAI,IAAI,CAAC,CAAC;YACvE,OAAO,KAAK,GAAG,KAAK,CAAC;QACvB,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;AAC7C,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAsB,EACtB,IAAwC,EACxC,MAAsB,EACtB,OAAe,EACf,OAA6B,EAC7B,aAA0B,EAC1B,aAA0C;IAE1C,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,SAAS;QACxB,CAAC,CAAC,OAAO,SAAS,KAAK,QAAQ;YAC7B,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,CAAE,SAA+B,CAAC,IAAI,IAAI,IAAI,CAAC;QACnD,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,cAAc,GAClB,SAAS,IAAI,OAAO,SAAS,KAAK,QAAQ;QACxC,CAAC,CAAC,CAAE,SAAqC,CAAC,UAAU,IAAI,IAAI,CAAC;QAC7D,CAAC,CAAC,IAAI,CAAC;IACX,MAAM,iBAAiB,GAAG,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC;IACpD,4EAA4E;IAC5E,4EAA4E;IAC5E,4EAA4E;IAC5E,MAAM,WAAW,GAAG,MAAM,CAAC,aAAa,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;IACrE,MAAM,iBAAiB,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,iBAAiB,CAAC,CAAC;IAC3F,MAAM,kBAAkB,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;IACvF,MAAM,UAAU,GAAG,iBAAiB;QAClC,CAAC,CAAC,kBAAkB;QACpB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;IACrF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;IAClC,MAAM,OAAO,GAAG,QAAQ,MAAM,CAAC,EAAE,IAAI,UAAU,CAAC,EAAE,EAAE,CAAC;IACrD,IAAI,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3B,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,EAAE;QACnB,UAAU,EAAE,UAAU,CAAC,EAAE;QACzB,UAAU,EAAE,cAAc,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;KACrD,CAAC;AACJ,CAAC"}

package/dist/domain/graph/builder/cha.d.ts

@@ -0,0 +1,69 @@
+/**
+ * Phase 8.5: Class Hierarchy Analysis (CHA) + Rapid Type Analysis (RTA)
+ *
+ * CHA resolves virtual/interface method dispatch to all known concrete
+ * implementations.  RTA refines the CHA set by filtering out types that are
+ * never instantiated in the program (no `new X()` anywhere in the codebase).
+ *
+ * Used by:
+ *   - buildFileCallEdges (WASM/JS path) — inline during per-file edge building
+ *   - buildChaPostPass (native path)    — JS post-pass on top of native edges
+ */
+import type { ExtractorOutput } from '../../../types.js';
+import type { CallNodeLookup } from './call-resolver.js';
+export interface ChaContext {
+    /** interface/class name → concrete classes that implement or extend it */
+    readonly implementors: ReadonlyMap<string, readonly string[]>;
+    /** class name → direct parent class name (from `extends`) */
+    readonly parents: ReadonlyMap<string, string>;
+    /** RTA: class names that appear in `new X()` anywhere in the project */
+    readonly instantiatedTypes: ReadonlySet<string>;
+}
+export declare const EMPTY_CHA_CONTEXT: ChaContext;
+/**
+ * Build the CHA context from all parsed file symbols.
+ *
+ * Must be called AFTER cross-file return-type propagation so that typeMap
+ * confidence values reflect propagated types (used for RTA seeding).
+ */
+export declare function buildChaContext(fileSymbols: ReadonlyMap<string, ExtractorOutput>): ChaContext;
+/**
+ * Resolve `this.method()`, `self.method()`, or `super.method()` through the
+ * class hierarchy of the calling method.
+ *
+ * callerName must be a qualified method name ("ClassName.callerFn") for the
+ * class context to be determinable.  Returns [] for plain functions.
+ *
+ * For `super`, resolution starts from the parent of the caller's class.
+ * For `this`/`self`, resolution starts from the caller's own class and walks
+ * up the inheritance chain (supporting inherited method lookup).
+ *
+ * When `callerFile` is provided, same-file method nodes are preferred: if the
+ * hierarchy walk finds a qualified method that exists in both the caller's own
+ * file AND in unrelated files (e.g. a class named `A` that appears in multiple
+ * fixture files), only the same-file nodes are returned.  This prevents
+ * cross-fixture false edges caused by accidental name collisions across
+ * unrelated files in the same project build.  When no same-file nodes exist,
+ * all found nodes are returned as before.
+ */
+export declare function resolveThisDispatch(methodName: string, callerName: string | null, receiver: 'this' | 'self' | 'super', chaCtx: ChaContext, lookup: CallNodeLookup, callerFile?: string | null): ReadonlyArray<{
+    id: number;
+    file: string;
+}>;
+/**
+ * CHA + RTA: given a receiver type (class or interface), return all concrete
+ * method implementations reachable via the class hierarchy.
+ *
+ * Only returns methods on types that are actually instantiated somewhere in
+ * the project (RTA filter).  Returns [] when no concrete instantiated type
+ * overrides the given method.
+ *
+ * BFS over the implementors map handles multi-level hierarchies (e.g.
+ * IFoo → AbstractFoo → ConcreteFoo) so that abstract intermediate classes
+ * are transparently skipped while their concrete subclasses are still reached.
+ */
+export declare function resolveChaTargets(typeName: string, methodName: string, chaCtx: ChaContext, lookup: CallNodeLookup): ReadonlyArray<{
+    id: number;
+    file: string;
+}>;
+//# sourceMappingURL=cha.d.ts.map

package/dist/domain/graph/builder/cha.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cha.d.ts","sourceRoot":"","sources":["../../../../src/domain/graph/builder/cha.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAIzD,MAAM,WAAW,UAAU;IACzB,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAC9D,6DAA6D;IAC7D,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9C,wEAAwE;IACxE,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACjD;AAED,eAAO,MAAM,iBAAiB,EAAE,UAI/B,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,GAAG,UAAU,CA8C7F;AAID;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,GAAG,IAAI,EACzB,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,EACnC,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,cAAc,EACtB,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,GACzB,aAAa,CAAC;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CA4B7C;AAID;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,cAAc,GACrB,aAAa,CAAC;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CA4B7C"}

package/dist/domain/graph/builder/cha.js

@@ -0,0 +1,158 @@
+/**
+ * Phase 8.5: Class Hierarchy Analysis (CHA) + Rapid Type Analysis (RTA)
+ *
+ * CHA resolves virtual/interface method dispatch to all known concrete
+ * implementations.  RTA refines the CHA set by filtering out types that are
+ * never instantiated in the program (no `new X()` anywhere in the codebase).
+ *
+ * Used by:
+ *   - buildFileCallEdges (WASM/JS path) — inline during per-file edge building
+ *   - buildChaPostPass (native path)    — JS post-pass on top of native edges
+ */
+export const EMPTY_CHA_CONTEXT = {
+    implementors: new Map(),
+    parents: new Map(),
+    instantiatedTypes: new Set(),
+};
+/**
+ * Build the CHA context from all parsed file symbols.
+ *
+ * Must be called AFTER cross-file return-type propagation so that typeMap
+ * confidence values reflect propagated types (used for RTA seeding).
+ */
+export function buildChaContext(fileSymbols) {
+    const implementors = new Map();
+    const parents = new Map();
+    const instantiatedTypes = new Set();
+    for (const symbols of fileSymbols.values()) {
+        for (const cls of symbols.classes) {
+            if (cls.implements) {
+                let list = implementors.get(cls.implements);
+                if (!list) {
+                    list = [];
+                    implementors.set(cls.implements, list);
+                }
+                if (!list.includes(cls.name))
+                    list.push(cls.name);
+            }
+            if (cls.extends) {
+                // child → parent (for this/super hierarchy walking)
+                if (!parents.has(cls.name))
+                    parents.set(cls.name, cls.extends);
+                // parent → children (for CHA dispatch expansion via extends)
+                let list = implementors.get(cls.extends);
+                if (!list) {
+                    list = [];
+                    implementors.set(cls.extends, list);
+                }
+                if (!list.includes(cls.name))
+                    list.push(cls.name);
+            }
+        }
+        // RTA: Phase 8.5 dedicated newExpressions list (all `new X()` in the file)
+        if (symbols.newExpressions) {
+            for (const typeName of symbols.newExpressions) {
+                instantiatedTypes.add(typeName);
+            }
+        }
+        // RTA fallback: constructor-confidence typeMap entries (confidence >= 0.9)
+        // covers codebases that haven't been re-parsed since Phase 8.5 was added.
+        if (symbols.typeMap instanceof Map) {
+            for (const entry of symbols.typeMap.values()) {
+                if (typeof entry !== 'string' && entry.confidence >= 0.9) {
+                    instantiatedTypes.add(entry.type);
+                }
+            }
+        }
+    }
+    return { implementors, parents, instantiatedTypes };
+}
+// ── this / self / super resolution ──────────────────────────────────────────
+/**
+ * Resolve `this.method()`, `self.method()`, or `super.method()` through the
+ * class hierarchy of the calling method.
+ *
+ * callerName must be a qualified method name ("ClassName.callerFn") for the
+ * class context to be determinable.  Returns [] for plain functions.
+ *
+ * For `super`, resolution starts from the parent of the caller's class.
+ * For `this`/`self`, resolution starts from the caller's own class and walks
+ * up the inheritance chain (supporting inherited method lookup).
+ *
+ * When `callerFile` is provided, same-file method nodes are preferred: if the
+ * hierarchy walk finds a qualified method that exists in both the caller's own
+ * file AND in unrelated files (e.g. a class named `A` that appears in multiple
+ * fixture files), only the same-file nodes are returned.  This prevents
+ * cross-fixture false edges caused by accidental name collisions across
+ * unrelated files in the same project build.  When no same-file nodes exist,
+ * all found nodes are returned as before.
+ */
+export function resolveThisDispatch(methodName, callerName, receiver, chaCtx, lookup, callerFile) {
+    if (!callerName)
+        return [];
+    const dotIdx = callerName.indexOf('.');
+    if (dotIdx === -1)
+        return [];
+    const callerClass = callerName.slice(0, dotIdx);
+    const startClass = receiver === 'super' ? chaCtx.parents.get(callerClass) : callerClass;
+    if (!startClass)
+        return [];
+    // Walk up the hierarchy; the visited set guards against cycles in malformed data.
+    let current = startClass;
+    const visited = new Set();
+    while (current && !visited.has(current)) {
+        visited.add(current);
+        const qualified = `${current}.${methodName}`;
+        const found = lookup.byName(qualified).filter((n) => n.kind === 'method');
+        if (found.length > 0) {
+            // When the caller's file is known, prefer same-file nodes to avoid
+            // emitting cross-file edges to identically-named methods in unrelated
+            // files.  Only fall back to the full set when no same-file node exists.
+            if (callerFile && found.some((n) => n.file === callerFile)) {
+                return found.filter((n) => n.file === callerFile);
+            }
+            return found;
+        }
+        current = chaCtx.parents.get(current);
+    }
+    return [];
+}
+// ── CHA dispatch expansion ───────────────────────────────────────────────────
+/**
+ * CHA + RTA: given a receiver type (class or interface), return all concrete
+ * method implementations reachable via the class hierarchy.
+ *
+ * Only returns methods on types that are actually instantiated somewhere in
+ * the project (RTA filter).  Returns [] when no concrete instantiated type
+ * overrides the given method.
+ *
+ * BFS over the implementors map handles multi-level hierarchies (e.g.
+ * IFoo → AbstractFoo → ConcreteFoo) so that abstract intermediate classes
+ * are transparently skipped while their concrete subclasses are still reached.
+ */
+export function resolveChaTargets(typeName, methodName, chaCtx, lookup) {
+    const results = [];
+    const queue = [typeName];
+    const visited = new Set();
+    visited.add(typeName);
+    while (queue.length > 0) {
+        const current = queue.shift();
+        const children = chaCtx.implementors.get(current);
+        if (!children?.length)
+            continue;
+        for (const cls of children) {
+            if (visited.has(cls))
+                continue;
+            visited.add(cls);
+            if (chaCtx.instantiatedTypes.has(cls)) {
+                const qualified = `${cls}.${methodName}`;
+                const found = lookup.byName(qualified).filter((n) => n.kind === 'method');
+                results.push(...found);
+            }
+            // Traverse even non-instantiated classes — they may have instantiated subclasses.
+            queue.push(cls);
+        }
+    }
+    return results;
+}
+//# sourceMappingURL=cha.js.map

package/dist/domain/graph/builder/cha.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cha.js","sourceRoot":"","sources":["../../../../src/domain/graph/builder/cha.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAgBH,MAAM,CAAC,MAAM,iBAAiB,GAAe;IAC3C,YAAY,EAAE,IAAI,GAAG,EAAE;IACvB,OAAO,EAAE,IAAI,GAAG,EAAE;IAClB,iBAAiB,EAAE,IAAI,GAAG,EAAE;CAC7B,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,WAAiD;IAC/E,MAAM,YAAY,GAAG,IAAI,GAAG,EAAoB,CAAC;IACjD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE5C,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3C,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;gBACnB,IAAI,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBAC5C,IAAI,CAAC,IAAI,EAAE,CAAC;oBACV,IAAI,GAAG,EAAE,CAAC;oBACV,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;gBACzC,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpD,CAAC;YACD,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;gBAChB,oDAAoD;gBACpD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC/D,6DAA6D;gBAC7D,IAAI,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACzC,IAAI,CAAC,IAAI,EAAE,CAAC;oBACV,IAAI,GAAG,EAAE,CAAC;oBACV,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACtC,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;QAED,2EAA2E;QAC3E,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;YAC3B,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;gBAC9C,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;QACD,2EAA2E;QAC3E,0EAA0E;QAC1E,IAAI,OAAO,CAAC,OAAO,YAAY,GAAG,EAAE,CAAC;YACnC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,IAAI,GAAG,EAAE,CAAC;oBACzD,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC;AACtD,CAAC;AAED,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAAkB,EAClB,UAAyB,EACzB,QAAmC,EACnC,MAAkB,EAClB,MAAsB,EACtB,UAA0B;IAE1B,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAE7B,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;IACxF,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAE3B,kFAAkF;IAClF,IAAI,OAAO,GAAuB,UAAU,CAAC;IAC7C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,OAAO,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACrB,MAAM,SAAS,GAAG,GAAG,OAAO,IAAI,UAAU,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QAC1E,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,mEAAmE;YACnE,sEAAsE;YACtE,wEAAwE;YACxE,IAAI,UAAU,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC;gBAC3D,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;YACpD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,gFAAgF;AAEhF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAC/B,QAAgB,EAChB,UAAkB,EAClB,MAAkB,EAClB,MAAsB;IAEtB,MAAM,OAAO,GAAwC,EAAE,CAAC;IAExD,MAAM,KAAK,GAAa,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAEtB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,CAAC,QAAQ,EAAE,MAAM;YAAE,SAAS;QAEhC,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC/B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAEjB,IAAI,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtC,MAAM,SAAS,GAAG,GAAG,GAAG,IAAI,UAAU,EAAE,CAAC;gBACzC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;gBAC1E,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YACzB,CAAC;YAED,kFAAkF;YAClF,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/domain/graph/builder/context.d.ts

@@ -0,0 +1,91 @@
+/**
+ * PipelineContext — shared mutable state threaded through all build stages.
+ *
+ * Each stage reads what it needs and writes what it produces.
+ * This replaces the closure-captured locals in the old monolithic buildGraph().
+ */
+import type { BetterSqlite3Database, BuildGraphOpts, CodegraphConfig, EngineOpts, ExtractorOutput, FileToParse, MetadataUpdate, NativeDatabase, NodeRow, ParseChange, PathAliases } from '../../../types.js';
+export declare class PipelineContext {
+    rootDir: string;
+    db: BetterSqlite3Database;
+    dbPath: string;
+    config: CodegraphConfig;
+    opts: BuildGraphOpts;
+    engineOpts: EngineOpts;
+    engineName: 'native' | 'wasm';
+    engineVersion: string | null;
+    /**
+     * The version reported by the native binary itself (CARGO_PKG_VERSION at
+     * build time), as opposed to `engineVersion` which prefers the platform
+     * package.json. The Rust orchestrator's check_version_mismatch compares
+     * `build_meta.engine_version` against CARGO_PKG_VERSION, so build_meta
+     * writes must use this value to avoid a perpetual full-rebuild loop when
+     * the binary and platform package.json drift apart (e.g., CI hot-swap
+     * via ci-install-native.mjs — #1066).
+     */
+    nativeBinaryVersion: string | null;
+    aliases: PathAliases;
+    incremental: boolean;
+    forceFullRebuild: boolean;
+    schemaVersion: number;
+    nativeDb?: NativeDatabase;
+    /** Whether native engine is available (deferred — DB opened only when needed). */
+    nativeAvailable: boolean;
+    /** True when ctx.db is a NativeDbProxy — single rusqlite connection for the entire pipeline. */
+    nativeFirstProxy: boolean;
+    allFiles: string[];
+    discoveredDirs: Set<string>;
+    isFullBuild: boolean;
+    parseChanges: ParseChange[];
+    metadataUpdates: MetadataUpdate[];
+    removed: string[];
+    earlyExit: boolean;
+    allSymbols: Map<string, ExtractorOutput>;
+    fileSymbols: Map<string, ExtractorOutput>;
+    filesToParse: FileToParse[];
+    batchResolved: Map<string, string> | null;
+    reexportMap: Map<string, unknown[]>;
+    barrelOnlyFiles: Set<string>;
+    /** Phase 8.4: cache for resolveBarrelExport results keyed as "barrelPath|symbolName". */
+    barrelExportCache: Map<string, string | null>;
+    nodesByName: Map<string, NodeRow[]>;
+    nodesByNameAndFile: Map<string, NodeRow[]>;
+    /**
+     * Edges from reverse-dep files to changed files, saved before purge so they
+     * can be reconnected to new node IDs after insertNodes (#932, #933).
+     * Eliminates the need to reparse reverse-dep files entirely.
+     */
+    savedReverseDepEdges: Array<{
+        sourceId: number;
+        tgtName: string;
+        tgtKind: string;
+        tgtFile: string;
+        tgtLine: number;
+        edgeKind: string;
+        confidence: number;
+        dynamic: number;
+        technique: string | null;
+        dynamicKind: string | null;
+    }>;
+    hasEmbeddings: boolean;
+    lineCountMap: Map<string, number>;
+    timing: {
+        setupMs?: number;
+        collectMs?: number;
+        detectMs?: number;
+        parseMs?: number;
+        insertMs?: number;
+        resolveMs?: number;
+        edgesMs?: number;
+        structureMs?: number;
+        rolesMs?: number;
+        astMs?: number;
+        complexityMs?: number;
+        cfgMs?: number;
+        dataflowMs?: number;
+        finalizeMs?: number;
+        [key: string]: number | undefined;
+    };
+    buildStart: number;
+}
+//# sourceMappingURL=context.d.ts.map

package/dist/domain/graph/builder/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../../src/domain/graph/builder/context.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EACV,qBAAqB,EACrB,cAAc,EACd,eAAe,EACf,UAAU,EACV,eAAe,EACf,WAAW,EACX,cAAc,EACd,cAAc,EACd,OAAO,EACP,WAAW,EACX,WAAW,EACZ,MAAM,mBAAmB,CAAC;AAE3B,qBAAa,eAAe;IAE1B,OAAO,EAAG,MAAM,CAAC;IACjB,EAAE,EAAG,qBAAqB,CAAC;IAC3B,MAAM,EAAG,MAAM,CAAC;IAChB,MAAM,EAAG,eAAe,CAAC;IACzB,IAAI,EAAG,cAAc,CAAC;IACtB,UAAU,EAAG,UAAU,CAAC;IACxB,UAAU,EAAG,QAAQ,GAAG,MAAM,CAAC;IAC/B,aAAa,EAAG,MAAM,GAAG,IAAI,CAAC;IAC9B;;;;;;;;OAQG;IACH,mBAAmB,EAAG,MAAM,GAAG,IAAI,CAAC;IACpC,OAAO,EAAG,WAAW,CAAC;IACtB,WAAW,EAAG,OAAO,CAAC;IACtB,gBAAgB,EAAE,OAAO,CAAS;IAClC,aAAa,EAAG,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,kFAAkF;IAClF,eAAe,EAAE,OAAO,CAAS;IACjC,gGAAgG;IAChG,gBAAgB,EAAE,OAAO,CAAS;IAGlC,QAAQ,EAAG,MAAM,EAAE,CAAC;IACpB,cAAc,EAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IAG7B,WAAW,EAAG,OAAO,CAAC;IACtB,YAAY,EAAG,WAAW,EAAE,CAAC;IAC7B,eAAe,EAAG,cAAc,EAAE,CAAC;IACnC,OAAO,EAAG,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,OAAO,CAAS;IAG3B,UAAU,EAAG,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC1C,WAAW,EAAG,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC3C,YAAY,EAAG,WAAW,EAAE,CAAC;IAG7B,aAAa,EAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC;IAC3C,WAAW,EAAG,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IACrC,eAAe,EAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IAC9B,yFAAyF;IACzF,iBAAiB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAa;IAG1D,WAAW,EAAG,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IACrC,kBAAkB,EAAG,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IAG5C;;;;OAIG;IACH,oBAAoB,EAAE,KAAK,CAAC;QAC1B,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,EAAE,MAAM,CAAC;QAChB,QAAQ,EAAE,MAAM,CAAC;QACjB,UAAU,EAAE,MAAM,CAAC;QACnB,OAAO,EAAE,MAAM,CAAC;QAChB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QACzB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;KAC5B,CAAC,CAAM;IAGR,aAAa,EAAE,OAAO,CAAS;IAC/B,YAAY,EAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAGnC,MAAM,EAAE;QACN,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;KACnC,CAAM;IACP,UAAU,EAAG,MAAM,CAAC;CACrB"}

package/dist/domain/graph/builder/context.js

@@ -0,0 +1,66 @@
+export class PipelineContext {
+    // ── Inputs (set during setup) ──────────────────────────────────────
+    rootDir;
+    db;
+    dbPath;
+    config;
+    opts;
+    engineOpts;
+    engineName;
+    engineVersion;
+    /**
+     * The version reported by the native binary itself (CARGO_PKG_VERSION at
+     * build time), as opposed to `engineVersion` which prefers the platform
+     * package.json. The Rust orchestrator's check_version_mismatch compares
+     * `build_meta.engine_version` against CARGO_PKG_VERSION, so build_meta
+     * writes must use this value to avoid a perpetual full-rebuild loop when
+     * the binary and platform package.json drift apart (e.g., CI hot-swap
+     * via ci-install-native.mjs — #1066).
+     */
+    nativeBinaryVersion;
+    aliases;
+    incremental;
+    forceFullRebuild = false;
+    schemaVersion;
+    nativeDb;
+    /** Whether native engine is available (deferred — DB opened only when needed). */
+    nativeAvailable = false;
+    /** True when ctx.db is a NativeDbProxy — single rusqlite connection for the entire pipeline. */
+    nativeFirstProxy = false;
+    // ── File collection (set by collectFiles stage) ────────────────────
+    allFiles;
+    discoveredDirs;
+    // ── Change detection (set by detectChanges stage) ──────────────────
+    isFullBuild;
+    parseChanges;
+    metadataUpdates;
+    removed;
+    earlyExit = false;
+    // ── Parsing (set by parseFiles stage) ──────────────────────────────
+    allSymbols;
+    fileSymbols;
+    filesToParse;
+    // ── Import resolution (set by resolveImports stage) ────────────────
+    batchResolved;
+    reexportMap;
+    barrelOnlyFiles;
+    /** Phase 8.4: cache for resolveBarrelExport results keyed as "barrelPath|symbolName". */
+    barrelExportCache = new Map();
+    // ── Node lookup (set by insertNodes / buildEdges stages) ───────────
+    nodesByName;
+    nodesByNameAndFile;
+    // ── Reverse-dep edge reconnection (set by detectChanges) ───────────
+    /**
+     * Edges from reverse-dep files to changed files, saved before purge so they
+     * can be reconnected to new node IDs after insertNodes (#932, #933).
+     * Eliminates the need to reparse reverse-dep files entirely.
+     */
+    savedReverseDepEdges = [];
+    // ── Misc state ─────────────────────────────────────────────────────
+    hasEmbeddings = false;
+    lineCountMap;
+    // ── Phase timing ───────────────────────────────────────────────────
+    timing = {};
+    buildStart;
+}
+//# sourceMappingURL=context.js.map

package/dist/domain/graph/builder/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../../src/domain/graph/builder/context.ts"],"names":[],"mappings":"AAoBA,MAAM,OAAO,eAAe;IAC1B,sEAAsE;IACtE,OAAO,CAAU;IACjB,EAAE,CAAyB;IAC3B,MAAM,CAAU;IAChB,MAAM,CAAmB;IACzB,IAAI,CAAkB;IACtB,UAAU,CAAc;IACxB,UAAU,CAAqB;IAC/B,aAAa,CAAiB;IAC9B;;;;;;;;OAQG;IACH,mBAAmB,CAAiB;IACpC,OAAO,CAAe;IACtB,WAAW,CAAW;IACtB,gBAAgB,GAAY,KAAK,CAAC;IAClC,aAAa,CAAU;IACvB,QAAQ,CAAkB;IAC1B,kFAAkF;IAClF,eAAe,GAAY,KAAK,CAAC;IACjC,gGAAgG;IAChG,gBAAgB,GAAY,KAAK,CAAC;IAElC,sEAAsE;IACtE,QAAQ,CAAY;IACpB,cAAc,CAAe;IAE7B,sEAAsE;IACtE,WAAW,CAAW;IACtB,YAAY,CAAiB;IAC7B,eAAe,CAAoB;IACnC,OAAO,CAAY;IACnB,SAAS,GAAY,KAAK,CAAC;IAE3B,sEAAsE;IACtE,UAAU,CAAgC;IAC1C,WAAW,CAAgC;IAC3C,YAAY,CAAiB;IAE7B,sEAAsE;IACtE,aAAa,CAA8B;IAC3C,WAAW,CAA0B;IACrC,eAAe,CAAe;IAC9B,yFAAyF;IACzF,iBAAiB,GAA+B,IAAI,GAAG,EAAE,CAAC;IAE1D,sEAAsE;IACtE,WAAW,CAA0B;IACrC,kBAAkB,CAA0B;IAE5C,sEAAsE;IACtE;;;;OAIG;IACH,oBAAoB,GAWf,EAAE,CAAC;IAER,sEAAsE;IACtE,aAAa,GAAY,KAAK,CAAC;IAC/B,YAAY,CAAuB;IAEnC,sEAAsE;IACtE,MAAM,GAgBF,EAAE,CAAC;IACP,UAAU,CAAU;CACrB"}