optave-codegraph 3.13.0

package/dist/domain/graph/resolver/points-to.js

@@ -0,0 +1,261 @@
+/**
+ * Maximum fixed-point iterations before bailing out (prevents divergence).
+ * Mirrors `DEFAULTS.analysis.pointsToMaxIterations` in config.ts.
+ * TODO(Phase 8.3): thread config through buildPointsToMap so this can be tuned
+ * per-repo via `.codegraphrc.json` (tracked alongside typePropagationDepth).
+ */
+const MAX_SOLVER_ITERATIONS = 50;
+/**
+ * Seed the pts map from locally-defined functions, imported names, and
+ * fnRefBindings (direct assignment aliases: `const fn = handler`).
+ *
+ * Returns the seeded pts map and the base constraint list built from
+ * fnRefBindings (member-expression aliases: `const fn = obj.method`).
+ */
+function buildThisAssignmentMap(fnRefBindings, definitionNames, importedNames) {
+    const pts = new Map();
+    // Seed: each locally-defined function points to itself.
+    for (const name of definitionNames) {
+        pts.set(name, new Set([name]));
+    }
+    // Seed: each imported name points to itself (importedNames resolves it to
+    // the source file when resolveCallTargets is called with that name).
+    for (const name of importedNames.keys()) {
+        if (!pts.has(name))
+            pts.set(name, new Set([name]));
+    }
+    // Build constraint list: pts(lhs) ⊇ pts(rhsKey).
+    // For member expressions (const fn = obj.method), key is "obj.method".
+    // These composite keys won't be in pts unless a prior statement seeded them
+    // (e.g. handlers.auth = authMiddleware); they produce no flow otherwise,
+    // which is safe — no false edges.
+    const constraints = fnRefBindings.map((b) => ({
+        lhs: b.lhs,
+        rhsKey: b.rhsReceiver ? `${b.rhsReceiver}.${b.rhs}` : b.rhs,
+    }));
+    return { pts, constraints };
+}
+/**
+ * Append parameter-flow and array/spread/forOf/callback constraints (Phases 8.3c and 8.3e).
+ *
+ * Mutates `pts` (seeds array-element entries) and appends to `constraints`.
+ */
+function buildParamAndArrayConstraints(pts, constraints, paramBindings, definitionParams, arrayElemBindings, spreadArgBindings, forOfBindings, arrayCallbackBindings) {
+    // Phase 8.3c: parameter-flow constraints.
+    // For each call f(x) at argIndex i where f is locally defined, add
+    // constraint: pts(f::paramName_i) ⊇ pts(x). This makes the pts solver
+    // inter-procedural within the module so that `fn()` inside `f` resolves
+    // to the concrete function passed at each call site.
+    //
+    // Keys are scoped as "callee::paramName" to prevent name collisions: bare
+    // parameter names like `fn`, `cb`, and `callback` appear in many functions
+    // within the same file. Without scoping, pts(fn) from runA and runB would
+    // merge into a single set, producing spurious call edges. The scoped key is
+    // resolved in buildFileCallEdges by combining the enclosing caller's name
+    // with the call's name (see callerName::call.name lookup there).
+    //
+    // Scope: intra-module only (definitionParams contains local defs only).
+    if (paramBindings && definitionParams) {
+        for (const { callee, argIndex, argName } of paramBindings) {
+            const params = definitionParams.get(callee);
+            if (!params || argIndex >= params.length)
+                continue;
+            const paramName = params[argIndex];
+            if (paramName)
+                constraints.push({ lhs: `${callee}::${paramName}`, rhsKey: argName });
+        }
+    }
+    // Phase 8.3e: array-element bindings — seed concrete elements and wildcard.
+    // `arr[0]` etc. are seeded from literal arrays; `arr[*]` collects all elements.
+    if (arrayElemBindings && arrayElemBindings.length > 0) {
+        for (const { arrayName, index, elemName } of arrayElemBindings) {
+            const elemKey = `${arrayName}[${index}]`;
+            const wildcardKey = `${arrayName}[*]`;
+            // Seed the per-index entry if the elemName is a concrete function.
+            if (!pts.has(elemKey))
+                pts.set(elemKey, new Set());
+            pts.get(elemKey).add(elemName);
+            // Wildcard: array[*] collects all element targets for imprecise spread/for-of.
+            constraints.push({ lhs: wildcardKey, rhsKey: elemKey });
+        }
+    }
+    // Phase 8.3e: spread-argument constraints.
+    // f(...arr) → pts[f::param_i] ⊇ pts[arr[i]] for each known element.
+    if (spreadArgBindings && spreadArgBindings.length > 0 && definitionParams) {
+        // Build a per-array index count from arrayElemBindings for precise per-index constraints.
+        const arrayMaxIndex = new Map();
+        for (const { arrayName, index } of arrayElemBindings ?? []) {
+            const cur = arrayMaxIndex.get(arrayName) ?? -1;
+            if (index > cur)
+                arrayMaxIndex.set(arrayName, index);
+        }
+        for (const { callee, arrayName, startIndex } of spreadArgBindings) {
+            const params = definitionParams.get(callee);
+            if (!params)
+                continue;
+            const maxIdx = arrayMaxIndex.get(arrayName) ?? -1;
+            if (maxIdx >= 0) {
+                // Precise: per-element constraints.
+                for (let i = 0; i <= maxIdx; i++) {
+                    const paramIdx = startIndex + i;
+                    if (paramIdx >= params.length)
+                        break;
+                    constraints.push({ lhs: `${callee}::${params[paramIdx]}`, rhsKey: `${arrayName}[${i}]` });
+                }
+            }
+            else {
+                // Unknown array size: all params at/after startIndex get the wildcard.
+                for (let j = startIndex; j < params.length; j++) {
+                    constraints.push({ lhs: `${callee}::${params[j]}`, rhsKey: `${arrayName}[*]` });
+                }
+            }
+        }
+    }
+    // Phase 8.3e: for-of iteration constraints.
+    // `for (const x of arr)` inside `outer` → pts[outer::x] ⊇ pts[arr[*]]
+    if (forOfBindings) {
+        for (const { varName, sourceName, enclosingFunc } of forOfBindings) {
+            constraints.push({ lhs: `${enclosingFunc}::${varName}`, rhsKey: `${sourceName}[*]` });
+        }
+    }
+    // Phase 8.3e: Array.from / callback constraints.
+    // Array.from(source, cb) → pts[cb::param0] ⊇ pts[source[*]]
+    if (arrayCallbackBindings && definitionParams) {
+        for (const { sourceName, calleeName } of arrayCallbackBindings) {
+            const params = definitionParams.get(calleeName);
+            if (!params || params.length === 0)
+                continue;
+            constraints.push({ lhs: `${calleeName}::${params[0]}`, rhsKey: `${sourceName}[*]` });
+        }
+    }
+}
+/**
+ * Seed pts entries for object-rest parameter dispatch (Phase 8.3f).
+ *
+ * `function f({ ...rest }) {}` + `f(obj)` + `const obj = { prop: fn }` →
+ * seeds pts["rest.prop"] = {"fn"} so that `rest.prop()` resolves to `fn`.
+ *
+ * Mutates `pts` in place.
+ */
+function buildObjectRestConstraints(pts, definitionNames, importedNames, paramBindings, objectRestParamBindings, objectPropBindings) {
+    // Index paramBindings: "callee::argIndex" → argName[] (O(|paramBindings|) build,
+    // O(1) lookup — avoids scanning paramBindings for each rest binding).
+    const paramByCalleeIdx = new Map();
+    for (const { callee, argIndex, argName } of paramBindings) {
+        const k = `${callee}::${argIndex}`;
+        const list = paramByCalleeIdx.get(k);
+        if (list)
+            list.push(argName);
+        else
+            paramByCalleeIdx.set(k, [argName]);
+    }
+    // Index objectPropBindings: objectName → {propName, valueName}[]
+    const propsByObject = new Map();
+    for (const { objectName, propName, valueName } of objectPropBindings) {
+        const list = propsByObject.get(objectName);
+        if (list)
+            list.push({ propName, valueName });
+        else
+            propsByObject.set(objectName, [{ propName, valueName }]);
+    }
+    for (const { callee, restName, argIndex } of objectRestParamBindings) {
+        const argNames = paramByCalleeIdx.get(`${callee}::${argIndex}`) ?? [];
+        for (const argName of argNames) {
+            const props = propsByObject.get(argName) ?? [];
+            for (const { propName, valueName } of props) {
+                if (!definitionNames.has(valueName) && !importedNames.has(valueName))
+                    continue;
+                const key = `${restName}.${propName}`;
+                if (!pts.has(key))
+                    pts.set(key, new Set());
+                pts.get(key).add(valueName);
+            }
+        }
+    }
+}
+/**
+ * Append higher-order constraints to the constraint list based on how
+ * function values flow through call sites, arrays, for-of loops, callbacks,
+ * and object rest-param destructuring.
+ *
+ * Coordinates buildParamAndArrayConstraints (Phase 8.3c/e) and
+ * buildObjectRestConstraints (Phase 8.3f).
+ *
+ * Mutates `pts` (seeds array-element and object-rest entries) and appends to `constraints`.
+ */
+function appendAdvancedConstraints(pts, constraints, definitionNames, importedNames, paramBindings, definitionParams, arrayElemBindings, spreadArgBindings, forOfBindings, arrayCallbackBindings, objectRestParamBindings, objectPropBindings) {
+    buildParamAndArrayConstraints(pts, constraints, paramBindings, definitionParams, arrayElemBindings, spreadArgBindings, forOfBindings, arrayCallbackBindings);
+    if (objectRestParamBindings && objectPropBindings && paramBindings) {
+        buildObjectRestConstraints(pts, definitionNames, importedNames, paramBindings, objectRestParamBindings, objectPropBindings);
+    }
+}
+/**
+ * Run the fixed-point solver: propagate pts sets through constraints until
+ * no new information flows (or MAX_SOLVER_ITERATIONS is reached).
+ *
+ * Mutates `pts` in place.
+ */
+function buildCallSiteTypeMap(pts, constraints) {
+    for (let iter = 0; iter < MAX_SOLVER_ITERATIONS; iter++) {
+        let changed = false;
+        for (const { lhs, rhsKey } of constraints) {
+            const rhsPts = pts.get(rhsKey);
+            if (!rhsPts || rhsPts.size === 0)
+                continue;
+            let lhsPts = pts.get(lhs);
+            if (!lhsPts) {
+                lhsPts = new Set();
+                pts.set(lhs, lhsPts);
+            }
+            const before = lhsPts.size;
+            for (const target of rhsPts)
+                lhsPts.add(target);
+            if (lhsPts.size !== before)
+                changed = true;
+        }
+        if (!changed)
+            break;
+    }
+}
+/**
+ * Build a points-to map for one file.
+ *
+ * Seeds concrete function names (locally-defined functions + imported names),
+ * then propagates assignments through fixed-point iteration until stable.
+ *
+ * Each "concrete target" in a pts set is a name that `resolveCallTargets` can
+ * look up — either a locally-defined function name (found via byNameAndFile) or
+ * an imported name (found via importedNames → byNameAndFile in the source file).
+ *
+ * @param fnRefBindings         - identifier/member-expr bindings from the extractor
+ * @param definitionNames       - locally-defined callable names in this file
+ * @param importedNames         - names imported into this file (name → resolved file)
+ * @param paramBindings         - call-site arg→param bindings (Phase 8.3c)
+ * @param definitionParams      - per-function ordered parameter names (Phase 8.3c)
+ * @param arrayElemBindings     - array literal element bindings (Phase 8.3e)
+ * @param spreadArgBindings     - spread-argument bindings (Phase 8.3e)
+ * @param forOfBindings         - for-of iteration variable bindings (Phase 8.3e)
+ * @param arrayCallbackBindings - Array.from/callback bindings (Phase 8.3e)
+ */
+export function buildPointsToMap(fnRefBindings, definitionNames, importedNames, paramBindings, definitionParams, arrayElemBindings, spreadArgBindings, forOfBindings, arrayCallbackBindings, objectRestParamBindings, objectPropBindings) {
+    const { pts, constraints } = buildThisAssignmentMap(fnRefBindings, definitionNames, importedNames);
+    appendAdvancedConstraints(pts, constraints, definitionNames, importedNames, paramBindings, definitionParams, arrayElemBindings, spreadArgBindings, forOfBindings, arrayCallbackBindings, objectRestParamBindings, objectPropBindings);
+    if (constraints.length === 0)
+        return pts;
+    buildCallSiteTypeMap(pts, constraints);
+    return pts;
+}
+/**
+ * Return the concrete function names that `callName` flows to, excluding
+ * itself to prevent circular self-reference edges.
+ *
+ * Returns an empty array when callName is not in the pts map (i.e., it is
+ * not an alias — the caller should fall back to normal resolution failure).
+ */
+export function resolveViaPointsTo(callName, pts) {
+    const targets = pts.get(callName);
+    if (!targets)
+        return [];
+    return [...targets].filter((t) => t !== callName);
+}
+//# sourceMappingURL=points-to.js.map

package/dist/domain/graph/resolver/points-to.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"points-to.js","sourceRoot":"","sources":["../../../../src/domain/graph/resolver/points-to.ts"],"names":[],"mappings":"AAkCA;;;;;GAKG;AACH,MAAM,qBAAqB,GAAG,EAAE,CAAC;AAEjC;;;;;;GAMG;AACH,SAAS,sBAAsB,CAC7B,aAAsC,EACtC,eAAoC,EACpC,aAA0C;IAE1C,MAAM,GAAG,GAAgB,IAAI,GAAG,EAAE,CAAC;IAEnC,wDAAwD;IACxD,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;QACnC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;IAED,0EAA0E;IAC1E,qEAAqE;IACrE,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC;QACxC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,iDAAiD;IACjD,uEAAuE;IACvE,4EAA4E;IAC5E,yEAAyE;IACzE,kCAAkC;IAClC,MAAM,WAAW,GAA2C,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACpF,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,MAAM,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;KAC5D,CAAC,CAAC,CAAC;IAEJ,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC;AAED;;;;GAIG;AACH,SAAS,6BAA6B,CACpC,GAAgB,EAChB,WAAmD,EACnD,aAAuC,EACvC,gBAAyD,EACzD,iBAA+C,EAC/C,iBAA+C,EAC/C,aAAuC,EACvC,qBAAuD;IAEvD,0CAA0C;IAC1C,mEAAmE;IACnE,sEAAsE;IACtE,wEAAwE;IACxE,qDAAqD;IACrD,EAAE;IACF,0EAA0E;IAC1E,2EAA2E;IAC3E,0EAA0E;IAC1E,4EAA4E;IAC5E,0EAA0E;IAC1E,iEAAiE;IACjE,EAAE;IACF,wEAAwE;IACxE,IAAI,aAAa,IAAI,gBAAgB,EAAE,CAAC;QACtC,KAAK,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,aAAa,EAAE,CAAC;YAC1D,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,CAAC,MAAM,IAAI,QAAQ,IAAI,MAAM,CAAC,MAAM;gBAAE,SAAS;YACnD,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;YACnC,IAAI,SAAS;gBAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,MAAM,KAAK,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,gFAAgF;IAChF,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtD,KAAK,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,iBAAiB,EAAE,CAAC;YAC/D,MAAM,OAAO,GAAG,GAAG,SAAS,IAAI,KAAK,GAAG,CAAC;YACzC,MAAM,WAAW,GAAG,GAAG,SAAS,KAAK,CAAC;YACtC,mEAAmE;YACnE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YACnD,GAAG,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAChC,+EAA+E;YAC/E,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,2CAA2C;IAC3C,oEAAoE;IACpE,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,IAAI,gBAAgB,EAAE,CAAC;QAC1E,0FAA0F;QAC1F,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;QAChD,KAAK,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,iBAAiB,IAAI,EAAE,EAAE,CAAC;YAC3D,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/C,IAAI,KAAK,GAAG,GAAG;gBAAE,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACvD,CAAC;QAED,KAAK,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,iBAAiB,EAAE,CAAC;YAClE,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;YAClD,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;gBAChB,oCAAoC;gBACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACjC,MAAM,QAAQ,GAAG,UAAU,GAAG,CAAC,CAAC;oBAChC,IAAI,QAAQ,IAAI,MAAM,CAAC,MAAM;wBAAE,MAAM;oBACrC,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,MAAM,KAAK,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,SAAS,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;gBAC5F,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,uEAAuE;gBACvE,KAAK,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAChD,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,SAAS,KAAK,EAAE,CAAC,CAAC;gBAClF,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,4CAA4C;IAC5C,sEAAsE;IACtE,IAAI,aAAa,EAAE,CAAC;QAClB,KAAK,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,IAAI,aAAa,EAAE,CAAC;YACnE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,aAAa,KAAK,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,UAAU,KAAK,EAAE,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,4DAA4D;IAC5D,IAAI,qBAAqB,IAAI,gBAAgB,EAAE,CAAC;QAC9C,KAAK,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,qBAAqB,EAAE,CAAC;YAC/D,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAChD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAC7C,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,UAAU,KAAK,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,0BAA0B,CACjC,GAAgB,EAChB,eAAoC,EACpC,aAA0C,EAC1C,aAAsC,EACtC,uBAA0D,EAC1D,kBAAgD;IAEhD,iFAAiF;IACjF,sEAAsE;IACtE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAoB,CAAC;IACrD,KAAK,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,aAAa,EAAE,CAAC;QAC1D,MAAM,CAAC,GAAG,GAAG,MAAM,KAAK,QAAQ,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;YACxB,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED,iEAAiE;IACjE,MAAM,aAAa,GAAG,IAAI,GAAG,EAA0D,CAAC;IACxF,KAAK,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,kBAAkB,EAAE,CAAC;QACrE,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;;YACxC,aAAa,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC;IAED,KAAK,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,uBAAuB,EAAE,CAAC;QACrE,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,MAAM,KAAK,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QACtE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAC/C,KAAK,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,KAAK,EAAE,CAAC;gBAC5C,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC;oBAAE,SAAS;gBAC/E,MAAM,GAAG,GAAG,GAAG,QAAQ,IAAI,QAAQ,EAAE,CAAC;gBACtC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBAC3C,GAAG,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,yBAAyB,CAChC,GAAgB,EAChB,WAAmD,EACnD,eAAoC,EACpC,aAA0C,EAC1C,aAAuC,EACvC,gBAAyD,EACzD,iBAA+C,EAC/C,iBAA+C,EAC/C,aAAuC,EACvC,qBAAuD,EACvD,uBAA2D,EAC3D,kBAAiD;IAEjD,6BAA6B,CAC3B,GAAG,EACH,WAAW,EACX,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,qBAAqB,CACtB,CAAC;IAEF,IAAI,uBAAuB,IAAI,kBAAkB,IAAI,aAAa,EAAE,CAAC;QACnE,0BAA0B,CACxB,GAAG,EACH,eAAe,EACf,aAAa,EACb,aAAa,EACb,uBAAuB,EACvB,kBAAkB,CACnB,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CAC3B,GAAgB,EAChB,WAA2D;IAE3D,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,qBAAqB,EAAE,IAAI,EAAE,EAAE,CAAC;QACxD,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;YAC1C,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC/B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;gBAAE,SAAS;YAC3C,IAAI,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;gBACnB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YACvB,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;YAC3B,KAAK,MAAM,MAAM,IAAI,MAAM;gBAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAChD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,GAAG,IAAI,CAAC;QAC7C,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,MAAM;IACtB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,aAAsC,EACtC,eAAoC,EACpC,aAA0C,EAC1C,aAAuC,EACvC,gBAAyD,EACzD,iBAA+C,EAC/C,iBAA+C,EAC/C,aAAuC,EACvC,qBAAuD,EACvD,uBAA2D,EAC3D,kBAAiD;IAEjD,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,sBAAsB,CACjD,aAAa,EACb,eAAe,EACf,aAAa,CACd,CAAC;IAEF,yBAAyB,CACvB,GAAG,EACH,WAAW,EACX,eAAe,EACf,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,qBAAqB,EACrB,uBAAuB,EACvB,kBAAkB,CACnB,CAAC;IAEF,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAEzC,oBAAoB,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IAEvC,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAAgB,EAAE,GAAgB;IACnE,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAClC,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;AACpD,CAAC"}

package/dist/domain/graph/resolver/strategy.d.ts

@@ -0,0 +1,61 @@
+/**
+ * Structural mirror of `CallNodeLookup` from call-resolver.ts.
+ * Any `CallNodeLookup` instance satisfies this type without explicit declaration.
+ * Defined here to break the circular import that would arise from importing
+ * `CallNodeLookup` directly from call-resolver.ts.
+ */
+export interface StrategyLookup {
+    byNameAndFile(name: string, file: string): ReadonlyArray<{
+        id: number;
+        file: string;
+        kind?: string;
+    }>;
+    byName(name: string): ReadonlyArray<{
+        id: number;
+        file: string;
+        kind?: string;
+    }>;
+    isBarrel(file: string): boolean;
+    resolveBarrel(barrelFile: string, symbolName: string): string | null;
+    nodeId(name: string, kind: string, file: string, line: number): {
+        id: number;
+    } | undefined;
+}
+export declare function isModuleScopedLanguage(relPath: string): boolean;
+/**
+ * Resolve a call site whose receiver is a concrete object reference
+ * (i.e. `receiver` is present and is NOT `this`, `self`, or `super`).
+ *
+ * Resolution cascade:
+ *   1. typeMap class-scoped lookup (`ClassName.prop` key) for `this.prop` receivers.
+ *   2. typeMap bare key, full-receiver key, callee-scoped rest-param key.
+ *   3. Inline `new Ctor()` heuristic for un-normalised receiver text.
+ *   4. Typed method lookup via `TypeName.methodName` in symbol DB.
+ *   5. Prototype alias: `Foo.prototype.bar = identifier` via typeMap.
+ *   6. Direct qualified method lookup: `ClassName.staticMethod()`.
+ *   7. Composite pts key: `obj.prop` → callback target function.
+ */
+export declare function resolveByReceiver(lookup: StrategyLookup, call: {
+    name: string;
+    receiver: string;
+}, relPath: string, typeMap: Map<string, unknown>, callerName?: string | null): ReadonlyArray<{
+    id: number;
+    file: string;
+}>;
+/**
+ * Resolve a call site with no receiver, or whose receiver is `this`, `self`,
+ * or `super`.
+ *
+ * Resolution cascade:
+ *   1. Accessor this-dispatch via Object.defineProperty (Phase 8.3f).
+ *   2. Exact global name lookup with confidence filter.
+ *   3. Same-class sibling method fallback (C#/Java static siblings, this.method()).
+ */
+export declare function resolveByGlobal(lookup: StrategyLookup, call: {
+    name: string;
+    receiver?: string | null;
+}, relPath: string, typeMap: Map<string, unknown>, callerName?: string | null): ReadonlyArray<{
+    id: number;
+    file: string;
+}>;
+//# sourceMappingURL=strategy.d.ts.map

package/dist/domain/graph/resolver/strategy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"strategy.d.ts","sourceRoot":"","sources":["../../../../src/domain/graph/resolver/strategy.ts"],"names":[],"mappings":"AAkBA;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,aAAa,CACX,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,GACX,aAAa,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC9D,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACjF,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAChC,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IACrE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG;QAAE,EAAE,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;CAC5F;AAqBD,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAG/D;AAID;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,cAAc,EACtB,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,EACxC,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,GACzB,aAAa,CAAC;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAqG7C;AAID;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,cAAc,EACtB,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,EAChD,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,GACzB,aAAa,CAAC;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAgE7C"}

package/dist/domain/graph/resolver/strategy.js

@@ -0,0 +1,222 @@
+/**
+ * Call resolution strategy helpers — extracted from call-resolver.ts.
+ *
+ * `resolveByMethodOrGlobal` in call-resolver.ts dispatches to two sub-strategies:
+ *   - resolveByReceiver  — receiver is a concrete object/class (not this/self/super)
+ *   - resolveByGlobal    — bare call or this/self/super receiver
+ *
+ * Splitting them here keeps each strategy unit-testable and reduces call-resolver.ts
+ * cognitive complexity from 107 to a thin dispatcher.
+ *
+ * This file intentionally does NOT import from ../builder/call-resolver.ts to avoid
+ * a circular dependency. The StrategyLookup interface mirrors CallNodeLookup structurally
+ * (TypeScript structural typing ensures compatibility without an explicit import).
+ */
+import { computeConfidence } from '../resolve.js';
+// ── Module-scoped language detection ─────────────────────────────────────────
+/**
+ * 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);
+}
+// ── resolveByReceiver ─────────────────────────────────────────────────────────
+/**
+ * Resolve a call site whose receiver is a concrete object reference
+ * (i.e. `receiver` is present and is NOT `this`, `self`, or `super`).
+ *
+ * Resolution cascade:
+ *   1. typeMap class-scoped lookup (`ClassName.prop` key) for `this.prop` receivers.
+ *   2. typeMap bare key, full-receiver key, callee-scoped rest-param key.
+ *   3. Inline `new Ctor()` heuristic for un-normalised receiver text.
+ *   4. Typed method lookup via `TypeName.methodName` in symbol DB.
+ *   5. Prototype alias: `Foo.prototype.bar = identifier` via typeMap.
+ *   6. Direct qualified method lookup: `ClassName.staticMethod()`.
+ *   7. Composite pts key: `obj.prop` → callback target function.
+ */
+export function resolveByReceiver(lookup, call, relPath, typeMap, callerName) {
+    // 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' && 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;
+    }
+    return [];
+}
+// ── resolveByGlobal ───────────────────────────────────────────────────────────
+/**
+ * Resolve a call site with no receiver, or whose receiver is `this`, `self`,
+ * or `super`.
+ *
+ * Resolution cascade:
+ *   1. Accessor this-dispatch via Object.defineProperty (Phase 8.3f).
+ *   2. Exact global name lookup with confidence filter.
+ *   3. Same-class sibling method fallback (C#/Java static siblings, this.method()).
+ */
+export function resolveByGlobal(lookup, call, relPath, typeMap, callerName) {
+    // 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
+}
+//# sourceMappingURL=strategy.js.map

package/dist/domain/graph/resolver/strategy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"strategy.js","sourceRoot":"","sources":["../../../../src/domain/graph/resolver/strategy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAqBlD,gFAAgF;AAEhF;;;;;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,iFAAiF;AAEjF;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAsB,EACtB,IAAwC,EACxC,OAAe,EACf,OAA6B,EAC7B,UAA0B;IAE1B,qEAAqE;IACrE,qFAAqF;IACrF,MAAM,iBAAiB,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC;QACzD,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QACrC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;IAElB,kFAAkF;IAClF,sFAAsF;IACtF,+DAA+D;IAC/D,qFAAqF;IACrF,4DAA4D;IAC5D,IAAI,SAAkB,CAAC;IACvB,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,UAAU,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YAChB,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YAChD,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,WAAW,IAAI,iBAAiB,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,SAAS;QACP,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;YAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC;YAC1B,yEAAyE;YACzE,8EAA8E;YAC9E,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,UAAU,KAAK,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAEhF,IAAI,QAAQ,GAAG,SAAS;QACtB,CAAC,CAAC,OAAO,SAAS,KAAK,QAAQ;YAC7B,CAAC,CAAC,SAAS;YACX,CAAC,CAAE,SAA+B,CAAC,IAAI;QACzC,CAAC,CAAC,IAAI,CAAC;IAET,wEAAwE;IACxE,sEAAsE;IACtE,4EAA4E;IAC5E,0EAA0E;IAC1E,4EAA4E;IAC5E,6EAA6E;IAC7E,4EAA4E;IAC5E,8EAA8E;IAC9E,8CAA8C;IAC9C,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAAE,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC;IAED,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,MAAM;aACjB,MAAM,CAAC,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;aAClC,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;QACzF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAEnC,qGAAqG;QACrG,iFAAiF;QACjF,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3D,MAAM,WAAW,GAAG,UAAU;YAC5B,CAAC,CAAC,OAAO,UAAU,KAAK,QAAQ;gBAC9B,CAAC,CAAC,UAAU;gBACZ,CAAC,CAAE,UAAgC,CAAC,IAAI;YAC1C,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,QAAQ,GAAG,MAAM;iBACpB,MAAM,CAAC,WAAW,CAAC;iBACnB,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;IAED,yFAAyF;IACzF,uFAAuF;IACvF,uEAAuE;IACvE,wFAAwF;IACxF,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,aAAa,GAAG,GAAG,iBAAiB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1D,MAAM,MAAM,GAAG,MAAM;aAClB,MAAM,CAAC,aAAa,CAAC;aACrB,MAAM,CACL,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;YAC9C,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,CAClD,CAAC;QACJ,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC;IACvC,CAAC;IAED,8FAA8F;IAC9F,2FAA2F;IAC3F,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,cAAc;QAC9B,CAAC,CAAC,OAAO,cAAc,KAAK,QAAQ;YAClC,CAAC,CAAC,cAAc;YAChB,CAAC,CAAE,cAAoC,CAAC,IAAI;QAC9C,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,QAAQ,GAAG,MAAM;aACpB,MAAM,CAAC,SAAS,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,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,QAAQ,CAAC;IAC3C,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,iFAAiF;AAEjF;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAsB,EACtB,IAAgD,EAChD,OAAe,EACf,OAA6B,EAC7B,UAA0B;IAE1B,gEAAgE;IAChE,wFAAwF;IACxF,sEAAsE;IACtE,mFAAmF;IACnF,6EAA6E;IAC7E,mCAAmC;IACnC,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,UAAU,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACxE,MAAM,iBAAiB,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,UAAU,OAAO,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,iBAAiB;YAC/B,CAAC,CAAC,OAAO,iBAAiB,KAAK,QAAQ;gBACrC,CAAC,CAAC,iBAAiB;gBACnB,CAAC,CAAE,iBAAuC,CAAC,IAAI;YACjD,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9D,MAAM,QAAQ,GAAG,cAAc;gBAC7B,CAAC,CAAC,OAAO,cAAc,KAAK,QAAQ;oBAClC,CAAC,CAAC,cAAc;oBAChB,CAAC,CAAE,cAAoC,CAAC,IAAI;gBAC9C,CAAC,CAAC,IAAI,CAAC;YACT,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,QAAQ,GAAG,MAAM;qBACpB,MAAM,CAAC,QAAQ,CAAC;qBAChB,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;IACH,CAAC;IAED,MAAM,KAAK,GAAG,MAAM;SACjB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;SACjB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IAClE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAEnC,+CAA+C;IAC/C,iEAAiE;IACjE,oFAAoF;IACpF,uFAAuF;IACvF,uFAAuF;IACvF,EAAE;IACF,qFAAqF;IACrF,qFAAqF;IACrF,6EAA6E;IAC7E,wFAAwF;IACxF,iEAAiE;IACjE,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC;IAClC,IAAI,UAAU,IAAI,CAAC,CAAC,UAAU,IAAI,sBAAsB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACnE,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YAChB,sEAAsE;YACtE,8EAA8E;YAC9E,4EAA4E;YAC5E,MAAM,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC;YACxD,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;YAC1D,MAAM,aAAa,GAAG,GAAG,WAAW,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACpD,MAAM,SAAS,GAAG,MAAM;iBACrB,MAAM,CAAC,aAAa,CAAC;iBACrB,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,SAAS,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,CAAC,QAAQ;AACxB,CAAC"}

package/dist/domain/graph/resolver/ts-resolver.d.ts

@@ -0,0 +1,9 @@
+import type { ExtractorOutput } from '../../../types.js';
+/**
+ * Enrich the typeMap for every .ts/.tsx file using the TypeScript compiler API.
+ *
+ * Called from buildEdges before call-edge construction. Only overwrites entries
+ * with lower confidence than 1.0 (constructor calls are already exact).
+ */
+export declare function enrichTypeMapWithTsc(rootDir: string, fileSymbols: Map<string, ExtractorOutput>): Promise<void>;
+//# sourceMappingURL=ts-resolver.d.ts.map

package/dist/domain/graph/resolver/ts-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-resolver.d.ts","sourceRoot":"","sources":["../../../../src/domain/graph/resolver/ts-resolver.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAkB,eAAe,EAAgB,MAAM,mBAAmB,CAAC;AA0DvF;;;;;GAKG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,GACxC,OAAO,CAAC,IAAI,CAAC,CAgEf"}