@opensip-cli/graph-typescript 0.1.0

package/dist/edge-resolvers/boundary.js

@@ -0,0 +1,130 @@
+/**
+ * Cross-shard boundary-call extraction (plan #2 — sharded build).
+ *
+ * When a shard worker resolves a shard's call sites, the calls that DON'T
+ * land on one of the shard's own occurrences are candidate cross-package
+ * edges — the target lives in another shard. This module identifies them
+ * syntactically (callee name + the raw import specifier the name came
+ * from) so the engine's cross-shard pass can re-resolve them against the
+ * global merged catalog, where the target is present.
+ *
+ * Detection is by RESOLUTION OUTCOME, not by name: a site is a boundary
+ * candidate when its callee name is IMPORTED (carries an import specifier) AND
+ * the in-shard resolver did NOT resolve THIS call site to a target. Keying on
+ * the per-site outcome (not "does the callee name exist among the shard's
+ * occurrences?") is what fixes the name-collision class: a name imported from
+ * another package is a cross-shard call even when a DIFFERENT local function in
+ * this shard happens to share the name (e.g. checks-universal has a local
+ * `isTestFile`, but a call to the IMPORTED `@opensip-cli/fitness` `isTestFile`
+ * still crosses the boundary). Conversely, a site the in-shard resolver already
+ * resolved is skipped, so a recovered boundary edge never double-counts.
+ */
+import { relative, sep } from 'node:path';
+import { ownerEdgeKey } from '@opensip-cli/graph';
+import ts from 'typescript';
+import { isReturnValueDiscarded } from '../edges.js';
+import { calleeAnchorNode, calleeSimpleName, buildImportSpecifierIndex } from './syntactic.js';
+/** Max length of the descriptor's display text — the CallEdge.text contract. */
+const TEXT_MAX = 80;
+/**
+ * Extract cross-boundary call descriptors from a shard's walked call sites. A
+ * site is a boundary candidate when the in-shard resolver left it unresolved AND
+ * either (a) its callee name is IMPORTED (a cross-package FUNCTION), or (b) it is
+ * a METHOD call `recv.m()` whose callee the checker resolves to a workspace
+ * `dist/*.d.ts` (`resolveMethodTarget` attests the target file — a cross-package
+ * METHOD). Both route through the same post-merge linker. Keyed on the resolution
+ * outcome (`resolvedEdgesByOwner`) — see the module doc.
+ */
+export function extractBoundaryCalls(callSites, resolvedEdgesByOwner, projectDirAbs, resolveMethodTarget) {
+    const out = [];
+    // One import-specifier index per source file, built lazily and cached.
+    const specifierIndexBySf = new Map();
+    // Owner-file derivation is per source file; cache it so each boundary call on
+    // the same file doesn't re-run the relative/posix math.
+    const ownerFileBySf = new Map();
+    for (const r of callSites) {
+        if (r.kind !== 'call')
+            continue; // 'creation' edges are always intra-shard
+        const callee = calleeSimpleName(r.node);
+        if (callee === null)
+            continue;
+        let specifierIndex = specifierIndexBySf.get(r.sourceFile);
+        if (specifierIndex === undefined) {
+            specifierIndex = buildImportSpecifierIndex(r.sourceFile);
+            specifierIndexBySf.set(r.sourceFile, specifierIndex);
+        }
+        const importSpecifier = specifierIndex.get(callee.name);
+        const methodEligible = resolveMethodTarget !== undefined &&
+            ts.isCallExpression(r.node) &&
+            ts.isPropertyAccessExpression(r.node.expression);
+        // Candidate iff IMPORTED (function) or a METHOD call we can type-resolve.
+        // Everything else (globals/locals/intra) is skipped before the position math.
+        if (importSpecifier === undefined && !methodEligible)
+            continue;
+        let ownerFile = ownerFileBySf.get(r.sourceFile);
+        if (ownerFile === undefined) {
+            // Byte-identical to FunctionOccurrence.filePath (walk.ts) so the merge's
+            // ownerEdgeKey(ownerHash, ownerFile) lookup hits and relative-import
+            // pinning resolves against the owner's REAL directory.
+            ownerFile = relative(projectDirAbs, r.sourceFile.fileName).split(sep).join('/');
+            ownerFileBySf.set(r.sourceFile, ownerFile);
+        }
+        const bc = boundaryCallFor(r, callee.name, importSpecifier, ownerFile, {
+            resolvedEdgesByOwner,
+            resolveMethodTarget,
+        });
+        if (bc !== null)
+            out.push(bc);
+    }
+    return out;
+}
+/**
+ * Finish classifying a candidate call site — its callee name, import specifier,
+ * and owner file already resolved by the caller — into a boundary descriptor, or
+ * `null` when the in-shard pass already resolved the site or it is not a
+ * cross-package method. Extracted from the loop to keep each piece simple.
+ */
+function boundaryCallFor(r, calleeName, importSpecifier, ownerFile, deps) {
+    const pos = positionOf(r.node, r.sourceFile);
+    // Skip a site the in-shard resolver already RESOLVED to a real target —
+    // emitting a boundary call for it would double the edge. (A `to: []`
+    // placeholder is NOT a resolution.) Keyed on the outcome at THIS site, so a
+    // local same-name occurrence elsewhere in the shard no longer suppresses it.
+    const resolvedHere = (deps.resolvedEdgesByOwner.get(ownerEdgeKey(r.ownerHash, ownerFile)) ?? []).some((e) => e.line === pos.line && e.column === pos.column && e.to.length > 0);
+    if (resolvedHere)
+        return null;
+    // For a non-imported (method) candidate, attest the target only NOW (after the
+    // cheap resolvedHere gate) to bound the checker calls. A method whose callee
+    // resolves to SOURCE / node_modules / a non-dist `.d.ts` declines.
+    const targetFile = importSpecifier === undefined ? (deps.resolveMethodTarget?.(r.node) ?? undefined) : undefined;
+    if (importSpecifier === undefined && targetFile === undefined)
+        return null;
+    return {
+        ownerHash: r.ownerHash,
+        ownerFile,
+        calleeName,
+        ...(importSpecifier === undefined ? {} : { importSpecifier }),
+        ...(targetFile === undefined ? {} : { targetFile }),
+        line: pos.line,
+        column: pos.column,
+        text: pos.text,
+        discarded: isReturnValueDiscarded(r.node),
+    };
+}
+/* `isReturnValueDiscarded` is imported from `../edges.js` so recovered
+ * boundary edges carry the same `discarded` semantics as edges resolved
+ * inline by the main Stage 2 pass. */
+function positionOf(node, sourceFile) {
+    // Anchor at the CALLEE token (see edges.ts tsPosition + syntactic.calleeAnchorNode)
+    // so the cross-shard edge identity matches the in-shard pass for the SAME call
+    // and chained calls don't collide. TEXT stays the whole expression.
+    const anchor = calleeAnchorNode(node).getStart(sourceFile);
+    const lc = sourceFile.getLineAndCharacterOfPosition(anchor);
+    const raw = sourceFile.text.slice(node.getStart(sourceFile), node.getEnd());
+    return {
+        line: lc.line + 1,
+        column: lc.character,
+        text: raw.length > TEXT_MAX ? `${raw.slice(0, TEXT_MAX - 3)}...` : raw,
+    };
+}
+//# sourceMappingURL=boundary.js.map

package/dist/edge-resolvers/boundary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"boundary.js","sourceRoot":"","sources":["../../src/edge-resolvers/boundary.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAErD,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAK/F,gFAAgF;AAChF,MAAM,QAAQ,GAAG,EAAE,CAAC;AASpB;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAClC,SAAoC,EACpC,oBAA8D,EAC9D,aAAqB,EACrB,mBAA0C;IAE1C,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,uEAAuE;IACvE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAA8C,CAAC;IACjF,8EAA8E;IAC9E,wDAAwD;IACxD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAyB,CAAC;IAEvD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS,CAAC,0CAA0C;QAC3E,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,MAAM,KAAK,IAAI;YAAE,SAAS;QAE9B,IAAI,cAAc,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC1D,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YACjC,cAAc,GAAG,yBAAyB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YACzD,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;QACvD,CAAC;QACD,MAAM,eAAe,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,cAAc,GAClB,mBAAmB,KAAK,SAAS;YACjC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3B,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnD,0EAA0E;QAC1E,8EAA8E;QAC9E,IAAI,eAAe,KAAK,SAAS,IAAI,CAAC,cAAc;YAAE,SAAS;QAE/D,IAAI,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,yEAAyE;YACzE,qEAAqE;YACrE,uDAAuD;YACvD,SAAS,GAAG,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChF,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAC7C,CAAC;QAED,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE;YACrE,oBAAoB;YACpB,mBAAmB;SACpB,CAAC,CAAC;QACH,IAAI,EAAE,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAOD;;;;;GAKG;AACH,SAAS,eAAe,CACtB,CAAiB,EACjB,UAAkB,EAClB,eAAmC,EACnC,SAAiB,EACjB,IAAkB;IAElB,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAC7C,wEAAwE;IACxE,qEAAqE;IACrE,4EAA4E;IAC5E,6EAA6E;IAC7E,MAAM,YAAY,GAAG,CACnB,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,IAAI,EAAE,CAC1E,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjF,IAAI,YAAY;QAAE,OAAO,IAAI,CAAC;IAE9B,+EAA+E;IAC/E,6EAA6E;IAC7E,mEAAmE;IACnE,MAAM,UAAU,GACd,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChG,IAAI,eAAe,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAE3E,OAAO;QACL,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,SAAS;QACT,UAAU;QACV,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC;QAC7D,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC;QACnD,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,SAAS,EAAE,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED;;sCAEsC;AAEtC,SAAS,UAAU,CACjB,IAAa,EACb,UAAyB;IAEzB,oFAAoF;IACpF,+EAA+E;IAC/E,oEAAoE;IACpE,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC3D,MAAM,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5E,OAAO;QACL,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC;QACjB,MAAM,EAAE,EAAE,CAAC,SAAS;QACpB,IAAI,EAAE,GAAG,CAAC,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG;KACvE,CAAC;AACJ,CAAC"}

package/dist/edge-resolvers/catalog-fallback.d.ts

@@ -0,0 +1,13 @@
+/**
+ * catalog-fallback resolver — last-resort name lookup.
+ *
+ * When TypeScript's resolver returns no symbol (or returns one with
+ * no usable declaration — common for cross-package `dist/*.d.ts`
+ * cases), we fall back to a simpleName lookup against the catalog.
+ *
+ * Returns 'unknown'/'medium' for an unambiguous single-candidate
+ * match; otherwise UNRESOLVED.
+ */
+import type { Catalog, ResolverVerdict } from '@opensip-cli/graph';
+export declare function resolveByCatalogFallback(simpleName: string, catalog: Catalog): ResolverVerdict;
+//# sourceMappingURL=catalog-fallback.d.ts.map

package/dist/edge-resolvers/catalog-fallback.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-fallback.d.ts","sourceRoot":"","sources":["../../src/edge-resolvers/catalog-fallback.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAsB,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAQvF,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,eAAe,CAW9F"}

package/dist/edge-resolvers/catalog-fallback.js

@@ -0,0 +1,30 @@
+/**
+ * catalog-fallback resolver — last-resort name lookup.
+ *
+ * When TypeScript's resolver returns no symbol (or returns one with
+ * no usable declaration — common for cross-package `dist/*.d.ts`
+ * cases), we fall back to a simpleName lookup against the catalog.
+ *
+ * Returns 'unknown'/'medium' for an unambiguous single-candidate
+ * match; otherwise UNRESOLVED.
+ */
+const UNRESOLVED = {
+    to: [],
+    resolution: 'unknown',
+    confidence: 'low',
+};
+export function resolveByCatalogFallback(simpleName, catalog) {
+    if (!Object.hasOwn(catalog.functions, simpleName))
+        return UNRESOLVED;
+    const candidates = catalog.functions[simpleName];
+    if (!candidates || candidates.length === 0)
+        return UNRESOLVED;
+    if (candidates.length === 1) {
+        const only = candidates[0];
+        if (only) {
+            return { to: [only.bodyHash], resolution: 'unknown', confidence: 'medium' };
+        }
+    }
+    return UNRESOLVED;
+}
+//# sourceMappingURL=catalog-fallback.js.map

package/dist/edge-resolvers/catalog-fallback.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-fallback.js","sourceRoot":"","sources":["../../src/edge-resolvers/catalog-fallback.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,MAAM,UAAU,GAAoB;IAClC,EAAE,EAAE,EAAE;IACN,UAAU,EAAE,SAAS;IACrB,UAAU,EAAE,KAAK;CAClB,CAAC;AAEF,MAAM,UAAU,wBAAwB,CAAC,UAAkB,EAAE,OAAgB;IAC3E,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACrE,MAAM,UAAU,GAA8C,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC5F,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IAC9D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/edge-resolvers/direct-call.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Resolve direct identifier calls: `foo()`.
+ *
+ * Walks `getAliasedSymbol` to follow imports, then matches the
+ * declaration against the catalog by bodyHash.
+ */
+import ts from 'typescript';
+import type { EdgeResolver } from './types.js';
+export declare const resolveDirectCall: EdgeResolver<ts.CallExpression>;
+//# sourceMappingURL=direct-call.d.ts.map

package/dist/edge-resolvers/direct-call.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"direct-call.d.ts","sourceRoot":"","sources":["../../src/edge-resolvers/direct-call.ts"],"names":[],"mappings":"AACA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAM5B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAiB/C,eAAO,MAAM,iBAAiB,EAAE,YAAY,CAAC,EAAE,CAAC,cAAc,CAkB7D,CAAC"}

package/dist/edge-resolvers/direct-call.js

@@ -0,0 +1,45 @@
+// @fitness-ignore-file batch-operation-limits -- iterates bounded collection (import bindings + matching catalog entries per call site)
+/**
+ * Resolve direct identifier calls: `foo()`.
+ *
+ * Walks `getAliasedSymbol` to follow imports, then matches the
+ * declaration against the catalog by bodyHash.
+ */
+import ts from 'typescript';
+import { DeclShape, functionLikeFromDeclaration } from '../edge-helpers/declaration-to-node.js';
+import { resolveDeclToHash } from '../edge-helpers/resolve-decl.js';
+import { unaliasSymbol } from '../edge-helpers/unalias-symbol.js';
+const UNRESOLVED = {
+    to: [],
+    resolution: 'unknown',
+    confidence: 'low',
+};
+const ACCEPT = DeclShape.FunctionDeclaration |
+    DeclShape.ArrowFunction |
+    DeclShape.FunctionExpression |
+    DeclShape.MethodDeclaration |
+    DeclShape.ConstructorDeclaration |
+    DeclShape.Accessor |
+    DeclShape.VariableInitializer;
+export const resolveDirectCall = (node, ctx) => {
+    if (!ts.isIdentifier(node.expression))
+        return UNRESOLVED;
+    const name = node.expression.text;
+    const symbol = ctx.typeChecker.getSymbolAtLocation(node.expression);
+    if (!symbol)
+        return UNRESOLVED;
+    const real = unaliasSymbol(symbol, ctx.typeChecker);
+    const decls = real.getDeclarations() ?? [];
+    for (const d of decls) {
+        const sf = d.getSourceFile();
+        const declNode = functionLikeFromDeclaration(d, ACCEPT);
+        if (!declNode)
+            continue;
+        const hash = resolveDeclToHash(declNode, sf, [name], ctx);
+        if (hash) {
+            return { to: [hash], resolution: 'static', confidence: 'high' };
+        }
+    }
+    return UNRESOLVED;
+};
+//# sourceMappingURL=direct-call.js.map

package/dist/edge-resolvers/direct-call.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"direct-call.js","sourceRoot":"","sources":["../../src/edge-resolvers/direct-call.ts"],"names":[],"mappings":"AAAA,wIAAwI;AACxI;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,SAAS,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAChG,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAIlE,MAAM,UAAU,GAAG;IACjB,EAAE,EAAE,EAAuB;IAC3B,UAAU,EAAE,SAAkB;IAC9B,UAAU,EAAE,KAAc;CAC3B,CAAC;AAEF,MAAM,MAAM,GACV,SAAS,CAAC,mBAAmB;IAC7B,SAAS,CAAC,aAAa;IACvB,SAAS,CAAC,kBAAkB;IAC5B,SAAS,CAAC,iBAAiB;IAC3B,SAAS,CAAC,sBAAsB;IAChC,SAAS,CAAC,QAAQ;IAClB,SAAS,CAAC,mBAAmB,CAAC;AAEhC,MAAM,CAAC,MAAM,iBAAiB,GAAoC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IAC9E,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACzD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;IAClC,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpE,IAAI,CAAC,MAAM;QAAE,OAAO,UAAU,CAAC;IAE/B,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,2BAA2B,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACxD,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QAC1D,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;QAClE,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC"}

package/dist/edge-resolvers/jsx-element.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Resolve JSX elements: `<Foo />` / `<Foo>...</Foo>`.
+ *
+ * Component identifiers (PascalCase) resolve to their declarations
+ * via the type checker. Lower-cased intrinsic elements (`<div />`)
+ * are ignored — they have no catalog entry.
+ *
+ * Returns `UNRESOLVED` only when the JSX tag is intrinsic or the type checker
+ * cannot connect the component tag back to a cataloged declaration.
+ */
+import ts from 'typescript';
+import type { EdgeResolver } from './types.js';
+type JsxOpeningLike = ts.JsxOpeningElement | ts.JsxSelfClosingElement;
+export declare const resolveJsxElement: EdgeResolver<JsxOpeningLike>;
+export {};
+//# sourceMappingURL=jsx-element.d.ts.map

package/dist/edge-resolvers/jsx-element.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx-element.d.ts","sourceRoot":"","sources":["../../src/edge-resolvers/jsx-element.ts"],"names":[],"mappings":"AACA;;;;;;;;;GASG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAM5B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAc/C,KAAK,cAAc,GAAG,EAAE,CAAC,iBAAiB,GAAG,EAAE,CAAC,qBAAqB,CAAC;AAEtE,eAAO,MAAM,iBAAiB,EAAE,YAAY,CAAC,cAAc,CAyB1D,CAAC"}

package/dist/edge-resolvers/jsx-element.js

@@ -0,0 +1,67 @@
+// @fitness-ignore-file batch-operation-limits -- iterates bounded collection (catalog entries for a single JSX element resolution)
+/**
+ * Resolve JSX elements: `<Foo />` / `<Foo>...</Foo>`.
+ *
+ * Component identifiers (PascalCase) resolve to their declarations
+ * via the type checker. Lower-cased intrinsic elements (`<div />`)
+ * are ignored — they have no catalog entry.
+ *
+ * Returns `UNRESOLVED` only when the JSX tag is intrinsic or the type checker
+ * cannot connect the component tag back to a cataloged declaration.
+ */
+import ts from 'typescript';
+import { DeclShape, functionLikeFromDeclaration } from '../edge-helpers/declaration-to-node.js';
+import { resolveDeclToHash } from '../edge-helpers/resolve-decl.js';
+import { unaliasSymbol } from '../edge-helpers/unalias-symbol.js';
+const UNRESOLVED = {
+    to: [],
+    resolution: 'unknown',
+    confidence: 'low',
+};
+const ACCEPT = DeclShape.FunctionDeclaration |
+    DeclShape.ArrowFunction |
+    DeclShape.FunctionExpression |
+    DeclShape.VariableInitializer;
+export const resolveJsxElement = (node, ctx) => {
+    const tagName = node.tagName;
+    // Intrinsic elements (`<div />`) are never tracked.
+    if (ts.isIdentifier(tagName) && /^[a-z]/.test(tagName.text))
+        return UNRESOLVED;
+    // Identifier or PropertyAccessExpression — both resolvable via the type checker.
+    const symbol = ctx.typeChecker.getSymbolAtLocation(tagName);
+    if (!symbol)
+        return UNRESOLVED;
+    const real = unaliasSymbol(symbol, ctx.typeChecker);
+    const decls = real.getDeclarations() ?? [];
+    const candidateName = ts.isIdentifier(tagName) ? tagName.text : tagName.getText();
+    // Cross-package binding name: `<Foo/>` binds `Foo`; `<A.B/>` binds the leftmost
+    // identifier `A` (the namespace import). The exported callee name to look up
+    // stays `candidateName`.
+    const bindingNames = jsxBindingNames(tagName, candidateName);
+    for (const d of decls) {
+        const sf = d.getSourceFile();
+        const declNode = functionLikeFromDeclaration(d, ACCEPT);
+        if (!declNode)
+            continue;
+        const hash = resolveDeclToHash(declNode, sf, [candidateName], ctx, bindingNames);
+        if (hash) {
+            return { to: [hash], resolution: 'jsx', confidence: 'high' };
+        }
+    }
+    return UNRESOLVED;
+};
+/**
+ * The local binding name(s) a JSX tag could be imported under: the tag itself
+ * for `<Foo/>`, plus the leftmost identifier for a qualified `<A.B.C/>` tag (the
+ * namespace import `A`). Deduped, binding candidates first.
+ */
+function jsxBindingNames(tagName, candidateName) {
+    const names = new Set([candidateName]);
+    let cur = tagName;
+    while (ts.isPropertyAccessExpression(cur))
+        cur = cur.expression;
+    if (ts.isIdentifier(cur))
+        names.add(cur.text);
+    return [...names];
+}
+//# sourceMappingURL=jsx-element.js.map

package/dist/edge-resolvers/jsx-element.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx-element.js","sourceRoot":"","sources":["../../src/edge-resolvers/jsx-element.ts"],"names":[],"mappings":"AAAA,mIAAmI;AACnI;;;;;;;;;GASG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,SAAS,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAChG,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAIlE,MAAM,UAAU,GAAG;IACjB,EAAE,EAAE,EAAuB;IAC3B,UAAU,EAAE,SAAkB;IAC9B,UAAU,EAAE,KAAc;CAC3B,CAAC;AAEF,MAAM,MAAM,GACV,SAAS,CAAC,mBAAmB;IAC7B,SAAS,CAAC,aAAa;IACvB,SAAS,CAAC,kBAAkB;IAC5B,SAAS,CAAC,mBAAmB,CAAC;AAIhC,MAAM,CAAC,MAAM,iBAAiB,GAAiC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IAC3E,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC7B,oDAAoD;IACpD,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,UAAU,CAAC;IAC/E,iFAAiF;IACjF,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5D,IAAI,CAAC,MAAM;QAAE,OAAO,UAAU,CAAC;IAC/B,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,EAAE,CAAC;IAE3C,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;IAClF,gFAAgF;IAChF,6EAA6E;IAC7E,yBAAyB;IACzB,MAAM,YAAY,GAAG,eAAe,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,2BAA2B,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACxD,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QACjF,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF;;;;GAIG;AACH,SAAS,eAAe,CACtB,OAAgC,EAChC,aAAqB;IAErB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,CAAC,aAAa,CAAC,CAAC,CAAC;IAC/C,IAAI,GAAG,GAAY,OAAO,CAAC;IAC3B,OAAO,EAAE,CAAC,0BAA0B,CAAC,GAAG,CAAC;QAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IAChE,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC;QAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9C,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC"}

package/dist/edge-resolvers/new-expression.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Resolve `new MyClass(...)` to the constructor's catalog entry.
+ *
+ * The bodyHash of the constructor is what stage 1 wrote when it
+ * visited the `constructor() {}` member; here we find that
+ * declaration via the symbol of the class identifier.
+ */
+import ts from 'typescript';
+import type { EdgeResolver } from './types.js';
+export declare const resolveNewExpression: EdgeResolver<ts.NewExpression>;
+//# sourceMappingURL=new-expression.d.ts.map

package/dist/edge-resolvers/new-expression.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"new-expression.d.ts","sourceRoot":"","sources":["../../src/edge-resolvers/new-expression.ts"],"names":[],"mappings":"AACA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAK5B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAQ/C,eAAO,MAAM,oBAAoB,EAAE,YAAY,CAAC,EAAE,CAAC,aAAa,CA2B/D,CAAC"}

package/dist/edge-resolvers/new-expression.js

@@ -0,0 +1,56 @@
+// @fitness-ignore-file batch-operation-limits -- iterates bounded collection (catalog entries for a single new-expression resolution)
+/**
+ * Resolve `new MyClass(...)` to the constructor's catalog entry.
+ *
+ * The bodyHash of the constructor is what stage 1 wrote when it
+ * visited the `constructor() {}` member; here we find that
+ * declaration via the symbol of the class identifier.
+ */
+import ts from 'typescript';
+import { resolveDeclToHash } from '../edge-helpers/resolve-decl.js';
+import { unaliasSymbol } from '../edge-helpers/unalias-symbol.js';
+const UNRESOLVED = {
+    to: [],
+    resolution: 'unknown',
+    confidence: 'low',
+};
+export const resolveNewExpression = (node, ctx) => {
+    const expr = node.expression;
+    /* v8 ignore next */
+    if (!ts.isIdentifier(expr) && !ts.isPropertyAccessExpression(expr))
+        return UNRESOLVED;
+    const symbol = ctx.typeChecker.getSymbolAtLocation(expr);
+    /* v8 ignore next */
+    if (!symbol)
+        return UNRESOLVED;
+    const real = unaliasSymbol(symbol, ctx.typeChecker);
+    const decls = real.getDeclarations() ?? [];
+    for (const d of decls) {
+        /* v8 ignore next */
+        if (!ts.isClassDeclaration(d) && !ts.isClassExpression(d))
+            continue;
+        const ctor = findConstructor(d);
+        /* v8 ignore next */
+        if (!ctor)
+            continue;
+        const className = d.name?.text ?? null;
+        const sf = d.getSourceFile();
+        /* v8 ignore next */
+        const candidateNames = className ? [className] : [];
+        const hash = resolveDeclToHash(ctor, sf, candidateNames, ctx);
+        if (hash) {
+            return { to: [hash], resolution: 'constructor', confidence: 'high' };
+        }
+    }
+    /* v8 ignore next */
+    return UNRESOLVED;
+};
+function findConstructor(cls) {
+    for (const m of cls.members) {
+        if (ts.isConstructorDeclaration(m))
+            return m;
+    }
+    /* v8 ignore next */
+    return null;
+}
+//# sourceMappingURL=new-expression.js.map

package/dist/edge-resolvers/new-expression.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"new-expression.js","sourceRoot":"","sources":["../../src/edge-resolvers/new-expression.ts"],"names":[],"mappings":"AAAA,sIAAsI;AACtI;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAIlE,MAAM,UAAU,GAAG;IACjB,EAAE,EAAE,EAAuB;IAC3B,UAAU,EAAE,SAAkB;IAC9B,UAAU,EAAE,KAAc;CAC3B,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAmC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IAChF,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAC7B,oBAAoB;IACpB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,UAAU,CAAC;IACtF,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACzD,oBAAoB;IACpB,IAAI,CAAC,MAAM;QAAE,OAAO,UAAU,CAAC;IAE/B,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,oBAAoB;QACpB,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC;YAAE,SAAS;QACpE,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QAChC,oBAAoB;QACpB,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC;QACvC,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC;QAC7B,oBAAoB;QACpB,MAAM,cAAc,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,EAAE,cAAc,EAAE,GAAG,CAAC,CAAC;QAC9D,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;QACvE,CAAC;IACH,CAAC;IACD,oBAAoB;IACpB,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,SAAS,eAAe,CAAC,GAA4B;IACnD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,oBAAoB;IACpB,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/edge-resolvers/polymorphic.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Resolve method calls on interfaces / abstract classes to all
+ * implementations.
+ */
+import ts from 'typescript';
+import type { EdgeResolver } from './types.js';
+export declare const resolvePolymorphicCall: EdgeResolver<ts.CallExpression>;
+//# sourceMappingURL=polymorphic.d.ts.map

package/dist/edge-resolvers/polymorphic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"polymorphic.d.ts","sourceRoot":"","sources":["../../src/edge-resolvers/polymorphic.ts"],"names":[],"mappings":"AACA;;;GAGG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAK5B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAmB/C,eAAO,MAAM,sBAAsB,EAAE,YAAY,CAAC,EAAE,CAAC,cAAc,CAWlE,CAAC"}

package/dist/edge-resolvers/polymorphic.js

@@ -0,0 +1,57 @@
+// @fitness-ignore-file batch-operation-limits -- iterates bounded collection (catalog entries implementing a single interface/abstract class)
+/**
+ * Resolve method calls on interfaces / abstract classes to all
+ * implementations.
+ */
+import ts from 'typescript';
+import { DeclShape, functionLikeFromDeclaration } from '../edge-helpers/declaration-to-node.js';
+import { resolveDeclToHash } from '../edge-helpers/resolve-decl.js';
+const UNRESOLVED = {
+    to: [],
+    resolution: 'unknown',
+    confidence: 'low',
+};
+const ACCEPT = DeclShape.MethodDeclaration |
+    DeclShape.MethodSignature |
+    DeclShape.FunctionDeclaration |
+    DeclShape.ArrowFunction |
+    DeclShape.FunctionExpression |
+    DeclShape.Accessor |
+    DeclShape.PropertyDeclaration |
+    DeclShape.VariableInitializer |
+    DeclShape.PropertyAssignmentInitializer;
+export const resolvePolymorphicCall = (node, ctx) => {
+    if (!ts.isPropertyAccessExpression(node.expression))
+        return UNRESOLVED;
+    const methodName = node.expression.name.text;
+    const receiverType = ctx.typeChecker.getTypeAtLocation(node.expression.expression);
+    const candidates = collectMethodHashes(receiverType, methodName, ctx);
+    if (candidates.length === 0)
+        return UNRESOLVED;
+    return {
+        to: candidates,
+        resolution: 'method-dispatch',
+        confidence: candidates.length === 1 ? 'high' : 'medium',
+    };
+};
+function collectMethodHashes(receiverType, methodName, ctx) {
+    const out = [];
+    for (const sym of receiverType.getProperties()) {
+        if (sym.getName() !== methodName)
+            continue;
+        appendHashesForSymbol(sym, methodName, ctx, out);
+    }
+    return out;
+}
+function appendHashesForSymbol(sym, methodName, ctx, out) {
+    const decls = sym.getDeclarations() ?? [];
+    for (const d of decls) {
+        const declNode = functionLikeFromDeclaration(d, ACCEPT);
+        if (!declNode)
+            continue;
+        const hash = resolveDeclToHash(declNode, d.getSourceFile(), [methodName], ctx);
+        if (hash && !out.includes(hash))
+            out.push(hash);
+    }
+}
+//# sourceMappingURL=polymorphic.js.map

package/dist/edge-resolvers/polymorphic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"polymorphic.js","sourceRoot":"","sources":["../../src/edge-resolvers/polymorphic.ts"],"names":[],"mappings":"AAAA,8IAA8I;AAC9I;;;GAGG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,SAAS,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAChG,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAIpE,MAAM,UAAU,GAAG;IACjB,EAAE,EAAE,EAAuB;IAC3B,UAAU,EAAE,SAAkB;IAC9B,UAAU,EAAE,KAAc;CAC3B,CAAC;AAEF,MAAM,MAAM,GACV,SAAS,CAAC,iBAAiB;IAC3B,SAAS,CAAC,eAAe;IACzB,SAAS,CAAC,mBAAmB;IAC7B,SAAS,CAAC,aAAa;IACvB,SAAS,CAAC,kBAAkB;IAC5B,SAAS,CAAC,QAAQ;IAClB,SAAS,CAAC,mBAAmB;IAC7B,SAAS,CAAC,mBAAmB;IAC7B,SAAS,CAAC,6BAA6B,CAAC;AAE1C,MAAM,CAAC,MAAM,sBAAsB,GAAoC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IACnF,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACvE,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7C,MAAM,YAAY,GAAG,GAAG,CAAC,WAAW,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACnF,MAAM,UAAU,GAAG,mBAAmB,CAAC,YAAY,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IACtE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IAC/C,OAAO;QACL,EAAE,EAAE,UAAU;QACd,UAAU,EAAE,iBAAiB;QAC7B,UAAU,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;KACxD,CAAC;AACJ,CAAC,CAAC;AAEF,SAAS,mBAAmB,CAC1B,YAAqB,EACrB,UAAkB,EAClB,GAAmD;IAEnD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,aAAa,EAAE,EAAE,CAAC;QAC/C,IAAI,GAAG,CAAC,OAAO,EAAE,KAAK,UAAU;YAAE,SAAS;QAC3C,qBAAqB,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,qBAAqB,CAC5B,GAAc,EACd,UAAkB,EAClB,GAAmD,EACnD,GAAa;IAEb,MAAM,KAAK,GAAG,GAAG,CAAC,eAAe,EAAE,IAAI,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,2BAA2B,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACxD,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/E,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC;AACH,CAAC"}

package/dist/edge-resolvers/property-access.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Resolve `obj.method()` / `Pkg.fn()` calls.
+ *
+ * Direct symbol resolution handles concrete declarations; the polymorphic
+ * resolver handles interface / abstract method dispatch.
+ */
+import ts from 'typescript';
+import type { EdgeResolver } from './types.js';
+export declare const resolvePropertyAccessCall: EdgeResolver<ts.CallExpression>;
+//# sourceMappingURL=property-access.d.ts.map

package/dist/edge-resolvers/property-access.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-access.d.ts","sourceRoot":"","sources":["../../src/edge-resolvers/property-access.ts"],"names":[],"mappings":"AACA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAM5B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAkB/C,eAAO,MAAM,yBAAyB,EAAE,YAAY,CAAC,EAAE,CAAC,cAAc,CA6BrE,CAAC"}

package/dist/edge-resolvers/property-access.js

@@ -0,0 +1,56 @@
+// @fitness-ignore-file batch-operation-limits -- iterates bounded collection (catalog entries for a single property-access resolution)
+/**
+ * Resolve `obj.method()` / `Pkg.fn()` calls.
+ *
+ * Direct symbol resolution handles concrete declarations; the polymorphic
+ * resolver handles interface / abstract method dispatch.
+ */
+import ts from 'typescript';
+import { DeclShape, functionLikeFromDeclaration } from '../edge-helpers/declaration-to-node.js';
+import { resolveDeclToHash } from '../edge-helpers/resolve-decl.js';
+import { unaliasSymbol } from '../edge-helpers/unalias-symbol.js';
+const UNRESOLVED = {
+    to: [],
+    resolution: 'unknown',
+    confidence: 'low',
+};
+const ACCEPT = DeclShape.FunctionDeclaration |
+    DeclShape.ArrowFunction |
+    DeclShape.FunctionExpression |
+    DeclShape.MethodDeclaration |
+    DeclShape.ConstructorDeclaration |
+    DeclShape.Accessor |
+    DeclShape.VariableInitializer |
+    DeclShape.PropertyAssignmentInitializer;
+export const resolvePropertyAccessCall = (node, ctx) => {
+    if (!ts.isPropertyAccessExpression(node.expression))
+        return UNRESOLVED;
+    const propName = node.expression.name.text;
+    const symbol = ctx.typeChecker.getSymbolAtLocation(node.expression);
+    if (!symbol)
+        return UNRESOLVED;
+    // Receiver binding name for `ns.fn()` / `Pkg.fn()` — the local name that
+    // carries the workspace import specifier (a namespace/default import). Used by
+    // the cross-package boundary path so `ns.fn()` binds to `ns`'s package, while
+    // the EXPORTED callee name to look up stays `fn` (`propName`).
+    const receiver = node.expression.expression;
+    const bindingNames = ts.isIdentifier(receiver) ? [propName, receiver.text] : [propName];
+    const real = unaliasSymbol(symbol, ctx.typeChecker);
+    const decls = real.getDeclarations() ?? [];
+    for (const d of decls) {
+        const sf = d.getSourceFile();
+        const declNode = functionLikeFromDeclaration(d, ACCEPT);
+        if (!declNode)
+            continue;
+        const hash = resolveDeclToHash(declNode, sf, [propName], ctx, bindingNames);
+        if (hash) {
+            return {
+                to: [hash],
+                resolution: 'method-dispatch',
+                confidence: 'high',
+            };
+        }
+    }
+    return UNRESOLVED;
+};
+//# sourceMappingURL=property-access.js.map

package/dist/edge-resolvers/property-access.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-access.js","sourceRoot":"","sources":["../../src/edge-resolvers/property-access.ts"],"names":[],"mappings":"AAAA,uIAAuI;AACvI;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,SAAS,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAChG,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAIlE,MAAM,UAAU,GAAG;IACjB,EAAE,EAAE,EAAuB;IAC3B,UAAU,EAAE,SAAkB;IAC9B,UAAU,EAAE,KAAc;CAC3B,CAAC;AAEF,MAAM,MAAM,GACV,SAAS,CAAC,mBAAmB;IAC7B,SAAS,CAAC,aAAa;IACvB,SAAS,CAAC,kBAAkB;IAC5B,SAAS,CAAC,iBAAiB;IAC3B,SAAS,CAAC,sBAAsB;IAChC,SAAS,CAAC,QAAQ;IAClB,SAAS,CAAC,mBAAmB;IAC7B,SAAS,CAAC,6BAA6B,CAAC;AAE1C,MAAM,CAAC,MAAM,yBAAyB,GAAoC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IACtF,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;IAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpE,IAAI,CAAC,MAAM;QAAE,OAAO,UAAU,CAAC;IAE/B,yEAAyE;IACzE,+EAA+E;IAC/E,8EAA8E;IAC9E,+DAA+D;IAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;IAC5C,MAAM,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAExF,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,2BAA2B,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACxD,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QAC5E,IAAI,IAAI,EAAE,CAAC;YACT,OAAO;gBACL,EAAE,EAAE,CAAC,IAAI,CAAC;gBACV,UAAU,EAAE,iBAAiB;gBAC7B,UAAU,EAAE,MAAM;aACnB,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC"}