@optave/codegraph 3.11.2 → 3.13.0

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

@@ -8,50 +8,265 @@
  */
 import { computeConfidence } from '../resolve.js';
 export const RECEIVER_KINDS = new Set(['class', 'struct', 'interface', 'type', 'module']);
+/**
+ * Languages where bare `foo()` calls inside a class method are lexically scoped
+ * to the module, not the class — there is no implicit this/class binding.
+ * For these languages, the same-class fallback must not run for bare (no-receiver)
+ * calls that found no exact same-file match.
+ */
+const MODULE_SCOPED_BARE_CALL_EXTENSIONS = new Set([
+    '.js',
+    '.mjs',
+    '.cjs',
+    '.jsx',
+    '.ts',
+    '.tsx',
+    '.mts',
+    '.cts',
+]);
+export function isModuleScopedLanguage(relPath) {
+    const ext = relPath.slice(relPath.lastIndexOf('.'));
+    return MODULE_SCOPED_BARE_CALL_EXTENSIONS.has(ext);
+}
 // ── 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']);
 export function findCaller(lookup, call, definitions, relPath, fileNodeRow) {
-    let caller = null;
-    let callerSpan = Infinity;
+    // Pass 1: find the narrowest enclosing function/method.
+    let fnCaller = null;
+    let fnCallerName = null;
+    let fnCallerSpan = Infinity;
+    // Pass 2: find the widest (outermost) enclosing variable/constant binding.
+    // Used as fallback when no function/method encloses the call site
+    // (e.g. Haskell `main = do …` is a `bind` node with kind `variable`).
+    // We pick the WIDEST span (outermost binding), not the narrowest, so that
+    // nested `let` bindings inside `main`'s do-block do not shadow `main`
+    // itself as the attributing caller.  The outermost enclosing variable is
+    // the "function-like" top-level binding.
+    let varCaller = null;
+    let varCallerName = null;
+    let varCallerSpan = -1; // looking for WIDEST span, so start at -1
     for (const def of definitions) {
         if (def.line <= call.line) {
-            const end = def.endLine || Infinity;
+            const end = def.endLine ?? Infinity;
             if (call.line <= end) {
-                const span = end - def.line;
-                if (span < callerSpan) {
-                    const row = lookup.nodeId(def.name, def.kind, relPath, def.line);
-                    if (row) {
-                        caller = row;
-                        callerSpan = span;
+                const span = end === Infinity ? Infinity : end - def.line;
+                if (CALLABLE_KINDS.has(def.kind)) {
+                    if (span < fnCallerSpan) {
+                        const row = lookup.nodeId(def.name, def.kind, relPath, def.line);
+                        if (row) {
+                            fnCaller = row;
+                            fnCallerName = def.name;
+                            fnCallerSpan = span;
+                        }
+                    }
+                }
+                else if (TOP_LEVEL_BINDING_KINDS.has(def.kind)) {
+                    if (span > varCallerSpan) {
+                        const row = lookup.nodeId(def.name, def.kind, relPath, def.line);
+                        if (row) {
+                            varCaller = row;
+                            varCallerName = def.name;
+                            varCallerSpan = span;
+                        }
                     }
                 }
             }
         }
     }
-    return caller ?? fileNodeRow;
+    // Prefer function/method enclosing scope over variable binding.
+    // If a function/method encloses the call, use it — local variable
+    // declarations inside the function body must not shadow it.
+    // 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 { ...fnCaller, callerName: fnCallerName };
+    }
+    if (varCaller) {
+        return { ...varCaller, callerName: varCallerName };
+    }
+    return { ...fileNodeRow, callerName: null };
 }
-export function resolveByMethodOrGlobal(lookup, call, relPath, typeMap) {
+export function resolveByMethodOrGlobal(lookup, call, relPath, typeMap, callerName) {
     if (call.receiver) {
-        const typeEntry = typeMap.get(call.receiver);
-        const typeName = typeEntry
+        // Strip "this." so `this.repo.method()` resolves via typeMap["repo"]
+        // (or the "this.repo" key seeded directly by the TSC property-declaration enricher).
+        const effectiveReceiver = call.receiver.startsWith('this.')
+            ? call.receiver.slice('this.'.length)
+            : call.receiver;
+        // For this.prop receivers, prefer the class-scoped key (ClassName.prop) seeded by
+        // handlePropWriteTypeMap / handleFieldDefTypeMap — prevents false edges when multiple
+        // classes define the same property name (issues #1323, #1458).
+        // Class-scoped lookup runs first so bare fallback keys (confidence 0.6) don't shadow
+        // the correct per-class entry when callerName is available.
+        let typeEntry;
+        if (call.receiver.startsWith('this.') && callerName) {
+            const dotIdx = callerName.lastIndexOf('.');
+            if (dotIdx > -1) {
+                const callerClass = callerName.slice(0, dotIdx);
+                typeEntry = typeMap.get(`${callerClass}.${effectiveReceiver}`);
+            }
+        }
+        typeEntry ??=
+            typeMap.get(effectiveReceiver) ??
+                typeMap.get(call.receiver) ??
+                // Phase 8.3f: callee-scoped rest-param key (`callee::restName`) to avoid
+                // same-name rest-binding collision across functions in the same file (#1358).
+                (callerName ? typeMap.get(`${callerName}::${effectiveReceiver}`) : undefined);
+        let typeName = typeEntry
             ? typeof typeEntry === 'string'
                 ? typeEntry
                 : typeEntry.type
             : null;
+        // Belt-and-suspenders fallback for inline new-expression receivers that
+        // extractReceiverName did not normalise (e.g. raw text leaked from an
+        // unhandled AST node type).  extractReceiverName already handles the common
+        // `new_expression` / `parenthesized_expression(new_expression)` shapes by
+        // returning the constructor name directly, so this branch is exercised only
+        // by future node types or constructs that fall through to the raw-text path.
+        // The uppercase-initial restriction ([A-Z_$]) is a heuristic to distinguish
+        // constructors (PascalCase) from regular functions and avoids false positives
+        // on `(new xmlParser()).parse()` style calls.
+        if (!typeName && call.receiver) {
+            const m = /^\(?\s*new\s+([A-Z_$][A-Za-z0-9_$]*)/.exec(call.receiver);
+            if (m?.[1])
+                typeName = m[1];
+        }
         if (typeName) {
-            const typed = lookup.byName(`${typeName}.${call.name}`).filter((n) => n.kind === 'method');
+            const typed = lookup
+                .byName(`${typeName}.${call.name}`)
+                .filter((n) => n.kind === 'method' && computeConfidence(relPath, n.file, null) >= 0.5);
             if (typed.length > 0)
                 return typed;
+            // Prototype alias: `Foo.prototype.bar = identifier` seeds typeMap['Foo.bar'] = { type: identifier }.
+            // Checked after the symbol-DB lookup so an actual method definition always wins.
+            const protoEntry = typeMap.get(`${typeName}.${call.name}`);
+            const protoTarget = protoEntry
+                ? typeof protoEntry === 'string'
+                    ? protoEntry
+                    : protoEntry.type
+                : null;
+            if (protoTarget) {
+                const resolved = lookup
+                    .byName(protoTarget)
+                    .filter((t) => computeConfidence(relPath, t.file, null) >= 0.5);
+                if (resolved.length > 0)
+                    return resolved;
+            }
+        }
+        // Direct qualified method lookup: ClassName.staticMethod() or ClassName.instanceMethod()
+        // when the receiver is a class name with no typeMap entry. Handles static method calls
+        // like `C6.staticMethod()` or `D.d()` where the receiver IS the class.
+        // Matches both 'method' and 'function' kinds to cover field-initializer synthetic defs.
+        if (!typeName) {
+            const qualifiedName = `${effectiveReceiver}.${call.name}`;
+            const direct = lookup
+                .byName(qualifiedName)
+                .filter((n) => (n.kind === 'method' || n.kind === 'function') &&
+                computeConfidence(relPath, n.file, null) >= 0.5);
+            if (direct.length > 0)
+                return direct;
+        }
+        // Phase 8.3d: composite pts key — `obj.prop = fn` seeds typeMap['obj.prop'] = { type: 'fn' }.
+        // When a call site references `obj.prop` as a callback, resolve directly to the target fn.
+        const compositeEntry = typeMap.get(`${call.receiver}.${call.name}`);
+        const ptsTarget = compositeEntry
+            ? typeof compositeEntry === 'string'
+                ? compositeEntry
+                : compositeEntry.type
+            : null;
+        if (ptsTarget) {
+            const resolved = lookup
+                .byName(ptsTarget)
+                .filter((t) => computeConfidence(relPath, t.file, null) >= 0.5);
+            if (resolved.length > 0)
+                return resolved;
         }
     }
     if (!call.receiver ||
         call.receiver === 'this' ||
         call.receiver === 'self' ||
         call.receiver === 'super') {
-        return lookup.byName(call.name).filter((t) => computeConfidence(relPath, t.file, null) >= 0.5);
+        // Phase 8.3f: accessor this-dispatch via Object.defineProperty.
+        // When a plain function (no class prefix) is registered as a get/set accessor for `obj`
+        // via Object.defineProperty, typeMap seeds 'callerName:this' = 'obj'.
+        // We then resolve this.method() → typeMap['obj.method'] → the concrete definition.
+        // This runs before the broad exact-name lookup to avoid false positives from
+        // unrelated same-file definitions.
+        if (call.receiver === 'this' && callerName && !callerName.includes('.')) {
+            const accessorThisEntry = typeMap.get(`${callerName}:this`);
+            const objName = accessorThisEntry
+                ? typeof accessorThisEntry === 'string'
+                    ? accessorThisEntry
+                    : accessorThisEntry.type
+                : null;
+            if (objName) {
+                const objMethodEntry = typeMap.get(`${objName}.${call.name}`);
+                const targetFn = objMethodEntry
+                    ? typeof objMethodEntry === 'string'
+                        ? objMethodEntry
+                        : objMethodEntry.type
+                    : null;
+                if (targetFn) {
+                    const resolved = lookup
+                        .byName(targetFn)
+                        .filter((t) => computeConfidence(relPath, t.file, null) >= 0.5);
+                    if (resolved.length > 0)
+                        return resolved;
+                }
+            }
+        }
+        const exact = lookup
+            .byName(call.name)
+            .filter((t) => computeConfidence(relPath, t.file, null) >= 0.5);
+        if (exact.length > 0)
+            return exact;
+        // Try same-class method lookup via callerName.
+        // e.g. `this.area()` inside `Shape.describe` → try `Shape.area`.
+        // Also covers no-receiver calls inside class methods, e.g. `IsValidEmail(x)` inside
+        // `Validators.ValidateUser` → try `Validators.IsValidEmail` (C#/Java static siblings).
+        // This seeds the initial edge that runChaPostPass later expands to subclass overrides.
+        //
+        // For JS/TS, bare (no-receiver) calls are module-scoped — there is no implicit class
+        // binding. Skip the same-class fallback for bare calls in those languages to prevent
+        // false positives (e.g. `flush()` inside `Processor.run` must not resolve to
+        // `Processor.flush`). this.method() calls are unaffected: they still reach the fallback
+        // because `call.receiver === 'this'` is truthy, not a bare call.
+        const isBareCall = !call.receiver;
+        if (callerName && !(isBareCall && isModuleScopedLanguage(relPath))) {
+            const dotIdx = callerName.lastIndexOf('.');
+            if (dotIdx > -1) {
+                // Extract only the segment immediately before the method name so that
+                // 'Namespace.ClassName.method' yields 'ClassName', not 'Namespace.ClassName'.
+                // Symbols are stored under their bare class name, not their qualified path.
+                const prevDot = callerName.lastIndexOf('.', dotIdx - 1);
+                const callerClass = callerName.slice(prevDot + 1, dotIdx);
+                const qualifiedName = `${callerClass}.${call.name}`;
+                const sameClass = lookup
+                    .byName(qualifiedName)
+                    .filter((t) => t.kind === 'method' && computeConfidence(relPath, t.file, null) >= 0.5);
+                if (sameClass.length > 0)
+                    return sameClass;
+            }
+        }
+        return exact; // empty
     }
     return [];
 }
-export function resolveCallTargets(lookup, call, relPath, importedNames, typeMap) {
+export function resolveCallTargets(lookup, call, relPath, importedNames, typeMap, callerName) {
     const importedFrom = importedNames.get(call.name);
     let targets;
     if (importedFrom) {
@@ -66,7 +281,7 @@ export function resolveCallTargets(lookup, call, relPath, importedNames, typeMap
     if (!targets || targets.length === 0) {
         targets = lookup.byNameAndFile(call.name, relPath);
         if (targets.length === 0) {
-            targets = resolveByMethodOrGlobal(lookup, call, relPath, typeMap);
+            targets = resolveByMethodOrGlobal(lookup, call, relPath, typeMap, callerName);
         }
     }
     const resolved = [...(targets ?? [])];
@@ -84,15 +299,19 @@ export function resolveCallTargets(lookup, call, relPath, importedNames, typeMap
  * 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 collects all same-file candidates first (no kind
- * filter), falls back to global candidates only when the same-file set is
- * entirely empty, then filters the chosen set by RECEIVER_KINDS.  This
- * matches the native Rust build path: if a file imports a name that happens
- * to be emitted as `kind='function'` in the importer, the same-file set is
- * non-empty and blocks the global fallback, so no receiver edge is emitted.
- * Keeping this behaviour identical to the Rust path maintains engine parity.
+ * 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) {
+export function resolveReceiverEdge(lookup, call, caller, relPath, typeMap, seenCallEdges, importedNames) {
     const typeEntry = typeMap.get(call.receiver);
     const typeName = typeEntry
         ? typeof typeEntry === 'string'
@@ -103,15 +322,13 @@ export function resolveReceiverEdge(lookup, call, caller, relPath, typeMap, seen
         ? (typeEntry.confidence ?? null)
         : null;
     const effectiveReceiver = typeName || call.receiver;
-    // Filter-before: apply RECEIVER_KINDS to same-file candidates first, then
-    // fall back to global candidates (also filtered) only when same-file yields
-    // nothing.  This prevents an imported name emitted as kind='function' in the
-    // importing file from blocking the fallback to the actual class/struct/etc.
-    // node in the defining file.
-    const sameFileCandidates = lookup
-        .byNameAndFile(effectiveReceiver, relPath)
-        .filter((n) => RECEIVER_KINDS.has(n.kind ?? ''));
-    const candidates = sameFileCandidates.length > 0
+    // 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)

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

@@ -1 +1 @@
-{"version":3,"file":"call-resolver.js","sourceRoot":"","sources":["../../../../src/domain/graph/builder/call-resolver.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAelD,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAE1F,4EAA4E;AAE5E,MAAM,UAAU,UAAU,CACxB,MAAsB,EACtB,IAAsB,EACtB,WAKE,EACF,OAAe,EACf,WAA2B;IAE3B,IAAI,MAAM,GAA0B,IAAI,CAAC;IACzC,IAAI,UAAU,GAAG,QAAQ,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,IAAI,QAAQ,CAAC;YACpC,IAAI,IAAI,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC;gBAC5B,IAAI,IAAI,GAAG,UAAU,EAAE,CAAC;oBACtB,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;oBACjE,IAAI,GAAG,EAAE,CAAC;wBACR,MAAM,GAAG,GAAG,CAAC;wBACb,UAAU,GAAG,IAAI,CAAC;oBACpB,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,IAAI,WAAW,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,MAAsB,EACtB,IAAgD,EAChD,OAAe,EACf,OAA6B;IAE7B,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAG,SAAS;YACxB,CAAC,CAAC,OAAO,SAAS,KAAK,QAAQ;gBAC7B,CAAC,CAAC,SAAS;gBACX,CAAC,CAAE,SAA+B,CAAC,IAAI;YACzC,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;YAC3F,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;QACrC,CAAC;IACH,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,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,MAAsB,EACtB,IAAgD,EAChD,OAAe,EACf,aAAkC,EAClC,OAA6B;IAE7B,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,CAAC,CAAC;QACpE,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;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAsB,EACtB,IAAwC,EACxC,MAAsB,EACtB,OAAe,EACf,OAA6B,EAC7B,aAA0B;IAE1B,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,0EAA0E;IAC1E,4EAA4E;IAC5E,6EAA6E;IAC7E,4EAA4E;IAC5E,6BAA6B;IAC7B,MAAM,kBAAkB,GAAG,MAAM;SAC9B,aAAa,CAAC,iBAAiB,EAAE,OAAO,CAAC;SACzC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;IACnD,MAAM,UAAU,GACd,kBAAkB,CAAC,MAAM,GAAG,CAAC;QAC3B,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;IACvF,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"}
+{"version":3,"file":"call-resolver.js","sourceRoot":"","sources":["../../../../src/domain/graph/builder/call-resolver.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAelD,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAE1F;;;;;GAKG;AACH,MAAM,kCAAkC,GAAG,IAAI,GAAG,CAAC;IACjD,KAAK;IACL,MAAM;IACN,MAAM;IACN,MAAM;IACN,KAAK;IACL,MAAM;IACN,MAAM;IACN,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,UAAU,sBAAsB,CAAC,OAAe;IACpD,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,OAAO,kCAAkC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACrD,CAAC;AAED,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;AAElE,MAAM,UAAU,UAAU,CACxB,MAAsB,EACtB,IAAsB,EACtB,WAKE,EACF,OAAe,EACf,WAA2B;IAE3B,wDAAwD;IACxD,IAAI,QAAQ,GAA0B,IAAI,CAAC;IAC3C,IAAI,YAAY,GAAkB,IAAI,CAAC;IACvC,IAAI,YAAY,GAAG,QAAQ,CAAC;IAE5B,2EAA2E;IAC3E,kEAAkE;IAClE,sEAAsE;IACtE,0EAA0E;IAC1E,sEAAsE;IACtE,yEAAyE;IACzE,yCAAyC;IACzC,IAAI,SAAS,GAA0B,IAAI,CAAC;IAC5C,IAAI,aAAa,GAAkB,IAAI,CAAC;IACxC,IAAI,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,0CAA0C;IAElE,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,IAAI,QAAQ,CAAC;YACpC,IAAI,IAAI,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC;gBAC1D,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjC,IAAI,IAAI,GAAG,YAAY,EAAE,CAAC;wBACxB,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;wBACjE,IAAI,GAAG,EAAE,CAAC;4BACR,QAAQ,GAAG,GAAG,CAAC;4BACf,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC;4BACxB,YAAY,GAAG,IAAI,CAAC;wBACtB,CAAC;oBACH,CAAC;gBACH,CAAC;qBAAM,IAAI,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjD,IAAI,IAAI,GAAG,aAAa,EAAE,CAAC;wBACzB,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;wBACjE,IAAI,GAAG,EAAE,CAAC;4BACR,SAAS,GAAG,GAAG,CAAC;4BAChB,aAAa,GAAG,GAAG,CAAC,IAAI,CAAC;4BACzB,aAAa,GAAG,IAAI,CAAC;wBACvB,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,kEAAkE;IAClE,4DAA4D;IAC5D,oEAAoE;IACpE,sEAAsE;IACtE,kEAAkE;IAClE,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,EAAE,GAAG,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,EAAE,GAAG,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;IACrD,CAAC;IACD,OAAO,EAAE,GAAG,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,MAAsB,EACtB,IAAgD,EAChD,OAAe,EACf,OAA6B,EAC7B,UAA0B;IAE1B,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,qEAAqE;QACrE,qFAAqF;QACrF,MAAM,iBAAiB,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC;YACzD,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YACrC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;QAClB,kFAAkF;QAClF,sFAAsF;QACtF,+DAA+D;QAC/D,qFAAqF;QACrF,4DAA4D;QAC5D,IAAI,SAAkB,CAAC;QACvB,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,UAAU,EAAE,CAAC;YACpD,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YAC3C,IAAI,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;gBAChB,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAChD,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,WAAW,IAAI,iBAAiB,EAAE,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QACD,SAAS;YACP,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;gBAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAC1B,yEAAyE;gBACzE,8EAA8E;gBAC9E,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,UAAU,KAAK,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAChF,IAAI,QAAQ,GAAG,SAAS;YACtB,CAAC,CAAC,OAAO,SAAS,KAAK,QAAQ;gBAC7B,CAAC,CAAC,SAAS;gBACX,CAAC,CAAE,SAA+B,CAAC,IAAI;YACzC,CAAC,CAAC,IAAI,CAAC;QAET,wEAAwE;QACxE,sEAAsE;QACtE,4EAA4E;QAC5E,0EAA0E;QAC1E,4EAA4E;QAC5E,6EAA6E;QAC7E,4EAA4E;QAC5E,8EAA8E;QAC9E,8CAA8C;QAC9C,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;gBAAE,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC;QAED,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,MAAM;iBACjB,MAAM,CAAC,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;iBAClC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;YACzF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YAEnC,qGAAqG;YACrG,iFAAiF;YACjF,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAC3D,MAAM,WAAW,GAAG,UAAU;gBAC5B,CAAC,CAAC,OAAO,UAAU,KAAK,QAAQ;oBAC9B,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAE,UAAgC,CAAC,IAAI;gBAC1C,CAAC,CAAC,IAAI,CAAC;YACT,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,QAAQ,GAAG,MAAM;qBACpB,MAAM,CAAC,WAAW,CAAC;qBACnB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;gBAClE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,QAAQ,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,yFAAyF;QACzF,uFAAuF;QACvF,uEAAuE;QACvE,wFAAwF;QACxF,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,aAAa,GAAG,GAAG,iBAAiB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1D,MAAM,MAAM,GAAG,MAAM;iBAClB,MAAM,CAAC,aAAa,CAAC;iBACrB,MAAM,CACL,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;gBAC9C,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,CAClD,CAAC;YACJ,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,MAAM,CAAC;QACvC,CAAC;QAED,8FAA8F;QAC9F,2FAA2F;QAC3F,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACpE,MAAM,SAAS,GAAG,cAAc;YAC9B,CAAC,CAAC,OAAO,cAAc,KAAK,QAAQ;gBAClC,CAAC,CAAC,cAAc;gBAChB,CAAC,CAAE,cAAoC,CAAC,IAAI;YAC9C,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,QAAQ,GAAG,MAAM;iBACpB,MAAM,CAAC,SAAS,CAAC;iBACjB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;YAClE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,QAAQ,CAAC;QAC3C,CAAC;IACH,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,gEAAgE;QAChE,wFAAwF;QACxF,sEAAsE;QACtE,mFAAmF;QACnF,6EAA6E;QAC7E,mCAAmC;QACnC,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,UAAU,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACxE,MAAM,iBAAiB,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,UAAU,OAAO,CAAC,CAAC;YAC5D,MAAM,OAAO,GAAG,iBAAiB;gBAC/B,CAAC,CAAC,OAAO,iBAAiB,KAAK,QAAQ;oBACrC,CAAC,CAAC,iBAAiB;oBACnB,CAAC,CAAE,iBAAuC,CAAC,IAAI;gBACjD,CAAC,CAAC,IAAI,CAAC;YACT,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC9D,MAAM,QAAQ,GAAG,cAAc;oBAC7B,CAAC,CAAC,OAAO,cAAc,KAAK,QAAQ;wBAClC,CAAC,CAAC,cAAc;wBAChB,CAAC,CAAE,cAAoC,CAAC,IAAI;oBAC9C,CAAC,CAAC,IAAI,CAAC;gBACT,IAAI,QAAQ,EAAE,CAAC;oBACb,MAAM,QAAQ,GAAG,MAAM;yBACpB,MAAM,CAAC,QAAQ,CAAC;yBAChB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;oBAClE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;wBAAE,OAAO,QAAQ,CAAC;gBAC3C,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,MAAM;aACjB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;aACjB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QAClE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAEnC,+CAA+C;QAC/C,iEAAiE;QACjE,oFAAoF;QACpF,uFAAuF;QACvF,uFAAuF;QACvF,EAAE;QACF,qFAAqF;QACrF,qFAAqF;QACrF,6EAA6E;QAC7E,wFAAwF;QACxF,iEAAiE;QACjE,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC;QAClC,IAAI,UAAU,IAAI,CAAC,CAAC,UAAU,IAAI,sBAAsB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YACnE,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YAC3C,IAAI,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;gBAChB,sEAAsE;gBACtE,8EAA8E;gBAC9E,4EAA4E;gBAC5E,MAAM,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC;gBACxD,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC1D,MAAM,aAAa,GAAG,GAAG,WAAW,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACpD,MAAM,SAAS,GAAG,MAAM;qBACrB,MAAM,CAAC,aAAa,CAAC;qBACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;gBACzF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,SAAS,CAAC;YAC7C,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,QAAQ;IACxB,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,MAAsB,EACtB,IAAgD,EAChD,OAAe,EACf,aAAkC,EAClC,OAA6B,EAC7B,UAA0B;IAE1B,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

@@ -46,6 +46,8 @@ export declare class PipelineContext {
     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[]>;
     /**
@@ -62,6 +64,7 @@ export declare class PipelineContext {
         edgeKind: string;
         confidence: number;
         dynamic: number;
+        technique: string | null;
     }>;
     hasEmbeddings: boolean;
     lineCountMap: Map<string, number>;