@opensip-cli/graph-typescript 0.1.0

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

@@ -0,0 +1,105 @@
+/**
+ * Syntactic (checker-free) edge resolver — the fast-tier resolver.
+ *
+ * Resolves a call site from two signals only, never the type checker:
+ *   1. the callee's simple name (`foo` in `foo()`, the rightmost name in
+ *      `a.b.c()`, the tag in `<Foo/>`, etc.), extracted syntactically;
+ *   2. the importing file's import graph — which module each name was
+ *      imported from — used to disambiguate same-named functions across
+ *      files.
+ *
+ * This generalizes the exact resolver's already-name-based
+ * `resolveByCatalogFallback`: that seed resolves a unique name with no
+ * file context; this adds import/same-file *pinning* to pick the right
+ * occurrence when a name is ambiguous.
+ *
+ * Honest approximation (the core invariant in code): every verdict is
+ * tagged `resolution: 'syntactic'` and confidence is CAPPED — `'medium'`
+ * when the import graph (or a same-file definition) pinned the target
+ * file, `'low'` otherwise. The fast path NEVER emits `'high'`; high
+ * confidence is reserved for semantic resolution.
+ */
+import ts from 'typescript';
+import type { Catalog, ResolverVerdict } from '@opensip-cli/graph';
+/**
+ * Per-file import index: imported binding name → resolved target file
+ * (project-relative POSIX path), or `null` when the import resolves
+ * outside the catalog (external/bare package, unresolvable relative
+ * path). Built once per source file by {@link buildImportIndex}.
+ */
+export type ImportIndex = ReadonlyMap<string, string | null>;
+/** Context for a single syntactic resolution — all checker-free. */
+export interface SyntacticContext {
+    readonly catalog: Catalog;
+    /** Project-relative POSIX path of the file containing the call site. */
+    readonly currentFileRel: string;
+    /** Import index for {@link currentFileRel}. */
+    readonly importIndex: ImportIndex;
+}
+/**
+ * Collect the set of project-relative file paths the catalog knows about
+ * (every occurrence carries one). Used to decide whether a resolved
+ * import specifier lands inside the catalog.
+ */
+export declare function collectKnownFiles(catalog: Catalog): ReadonlySet<string>;
+/**
+ * Resolve a single walked call/new/jsx/value-reference node to a verdict
+ * using only the callee name and the file's import graph.
+ *
+ * Returns `null` for a bare value reference / shorthand that resolves to
+ * nothing (mirrors the exact resolver, which suppresses empty
+ * value-reference verdicts rather than emitting a useless edge). A real
+ * call/new/jsx site that doesn't resolve still returns a verdict (with
+ * `to: []`) so it is counted as an unresolved call site.
+ */
+export declare function resolveSyntactic(node: ts.Node, ctx: SyntacticContext): ResolverVerdict | null;
+export interface Callee {
+    readonly name: string;
+    /** 'call' = call/new/jsx (a real invocation); 'ref' = bare value reference. */
+    readonly shape: 'call' | 'ref';
+}
+/**
+ * Extract the callee's simple name from a walked resolver-candidate node,
+ * purely syntactically. Returns `null` when no simple name is available
+ * (e.g. an element-access call `a[b]()` or a computed tag).
+ *
+ * Exported so the cross-shard boundary extractor can identify a call
+ * site's callee name without re-implementing the per-node-kind logic.
+ */
+export declare function calleeSimpleName(node: ts.Node): Callee | null;
+/**
+ * The node whose start position anchors a call/new edge's `(line, column)`
+ * identity — the CALLEE token, not the whole expression's start:
+ *   - `x.m()`        → `m`   (the method name)
+ *   - `f()`          → `f`   (the callee identifier — unchanged for plain calls)
+ *   - `new C()`      → `C`   (the class name, not the `new` keyword)
+ *   - `new ns.C()`   → `C`
+ *
+ * WHY: a chained call `a().b()` (or `new A().b()`) has its inner CallExpression
+ * `a()` and its outer CallExpression `a().b()` BOTH starting at `a`, so keying an
+ * edge by the expression start collapses the two DISTINCT, REAL edges onto one
+ * `(owner, line, column)` identity — one shadows the other, and the exact and
+ * sharded engines keep different members of the pair (a spurious "conflict"
+ * divergence; see ADR-0033 follow-up). Anchoring at the callee token gives every
+ * call in a chain a distinct column, so both real edges survive in both engines.
+ * Non-call/new nodes (JSX elements, identifiers) keep their own start.
+ */
+export declare function calleeAnchorNode(node: ts.Node): ts.Node;
+/**
+ * Build the per-file import index by reading the file's `import` /
+ * `import =` statements and resolving each specifier to a project file
+ * (or `null` when it resolves outside the catalog). No type checker, no
+ * `ts.Program` — relative specifiers are resolved against the known-file
+ * set syntactically; bare specifiers are treated as external.
+ */
+export declare function buildImportIndex(sourceFile: ts.SourceFile, projectDirAbs: string, knownFilesRel: ReadonlySet<string>): ImportIndex;
+/**
+ * Build a per-file index of imported binding name → the RAW import
+ * specifier it came from (`'./x.js'`, `'@scope/pkg'`). Distinct from
+ * {@link buildImportIndex} (which resolves to a project file): the
+ * cross-shard boundary pass needs the raw specifier to re-resolve against
+ * the GLOBAL catalog, where the target file may live in another shard not
+ * present in this file's known-file set.
+ */
+export declare function buildImportSpecifierIndex(sourceFile: ts.SourceFile): ReadonlyMap<string, string>;
+//# sourceMappingURL=syntactic.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"syntactic.d.ts","sourceRoot":"","sources":["../../src/edge-resolvers/syntactic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAIH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EAAE,OAAO,EAAsB,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAEvF;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;AAE7D,oEAAoE;AACpE,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,wEAAwE;IACxE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,+CAA+C;IAC/C,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CACnC;AAID;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAOvE;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,gBAAgB,GAAG,eAAe,GAAG,IAAI,CAmB7F;AAyED,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,CAAC;CAChC;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,MAAM,GAAG,IAAI,CAgB7D;AASD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAMvD;AAWD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,aAAa,EAAE,MAAM,EACrB,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,GACjC,WAAW,CA4Bb;AAsBD;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAgBhG"}

package/dist/edge-resolvers/syntactic.js

@@ -0,0 +1,294 @@
+/**
+ * Syntactic (checker-free) edge resolver — the fast-tier resolver.
+ *
+ * Resolves a call site from two signals only, never the type checker:
+ *   1. the callee's simple name (`foo` in `foo()`, the rightmost name in
+ *      `a.b.c()`, the tag in `<Foo/>`, etc.), extracted syntactically;
+ *   2. the importing file's import graph — which module each name was
+ *      imported from — used to disambiguate same-named functions across
+ *      files.
+ *
+ * This generalizes the exact resolver's already-name-based
+ * `resolveByCatalogFallback`: that seed resolves a unique name with no
+ * file context; this adds import/same-file *pinning* to pick the right
+ * occurrence when a name is ambiguous.
+ *
+ * Honest approximation (the core invariant in code): every verdict is
+ * tagged `resolution: 'syntactic'` and confidence is CAPPED — `'medium'`
+ * when the import graph (or a same-file definition) pinned the target
+ * file, `'low'` otherwise. The fast path NEVER emits `'high'`; high
+ * confidence is reserved for semantic resolution.
+ */
+import { relative, sep, posix } from 'node:path';
+import ts from 'typescript';
+const UNRESOLVED = { to: [], resolution: 'syntactic', confidence: 'low' };
+/**
+ * Collect the set of project-relative file paths the catalog knows about
+ * (every occurrence carries one). Used to decide whether a resolved
+ * import specifier lands inside the catalog.
+ */
+export function collectKnownFiles(catalog) {
+    const files = new Set();
+    for (const occs of Object.values(catalog.functions)) {
+        if (!occs)
+            continue;
+        for (const o of occs)
+            files.add(o.filePath);
+    }
+    return files;
+}
+/**
+ * Resolve a single walked call/new/jsx/value-reference node to a verdict
+ * using only the callee name and the file's import graph.
+ *
+ * Returns `null` for a bare value reference / shorthand that resolves to
+ * nothing (mirrors the exact resolver, which suppresses empty
+ * value-reference verdicts rather than emitting a useless edge). A real
+ * call/new/jsx site that doesn't resolve still returns a verdict (with
+ * `to: []`) so it is counted as an unresolved call site.
+ */
+export function resolveSyntactic(node, ctx) {
+    const callee = calleeSimpleName(node);
+    if (callee === null)
+        return null;
+    const candidates = ctx.catalog.functions[callee.name];
+    const isCallish = callee.shape === 'call';
+    if (!candidates || candidates.length === 0) {
+        // No catalog occurrence by this name. Bare references suppress;
+        // real call sites count as unresolved.
+        return isCallish ? UNRESOLVED : null;
+    }
+    const pin = resolvePin(callee.name, ctx, candidates);
+    const verdict = verdictForPin(pin, candidates);
+    // Suppress an empty bare-reference verdict (parity with exact mode).
+    if (verdict.to.length === 0 && !isCallish)
+        return null;
+    return verdict;
+}
+/**
+ * Decide which file (if any) the call's target is pinned to:
+ *   - imported name → the module it was imported from (or `external`
+ *     when that module is outside the catalog);
+ *   - not imported but a same-named occurrence lives in this file →
+ *     pin to this file (a same-file definition is as reliable a
+ *     syntactic signal as an import);
+ *   - otherwise → no pin (fall back to a project-wide name lookup).
+ */
+function resolvePin(name, ctx, candidates) {
+    if (ctx.importIndex.has(name)) {
+        const target = ctx.importIndex.get(name) ?? null;
+        return target === null ? { kind: 'external' } : { kind: 'file', file: target };
+    }
+    if (candidates.some((c) => c.filePath === ctx.currentFileRel)) {
+        return { kind: 'file', file: ctx.currentFileRel };
+    }
+    return { kind: 'none' };
+}
+function verdictForPin(pin, candidates) {
+    if (pin.kind === 'file') {
+        const matches = candidates.filter((c) => c.filePath === pin.file);
+        if (matches.length > 0) {
+            // Import/same-file pinned — the strongest syntactic signal. Cap at
+            // medium. Multiple matches (overloads in one file) all flow through.
+            return {
+                to: matches.map((m) => m.bodyHash),
+                resolution: 'syntactic',
+                confidence: 'medium',
+            };
+        }
+        // Imported from a catalog file that has no such occurrence
+        // (e.g. a re-export) — degrade to a name-only guess.
+        return nameOnlyVerdict(candidates);
+    }
+    if (pin.kind === 'external') {
+        // Imported from outside the catalog: the real target is external, so
+        // a same-named project function would be a wrong guess. Stay honest.
+        return UNRESOLVED;
+    }
+    return nameOnlyVerdict(candidates);
+}
+/**
+ * No file pin: resolve by name alone. A unique candidate is a low-
+ * confidence guess; multiple candidates are genuinely ambiguous without
+ * type info, so we decline (empty `to`) rather than emit noise — the same
+ * conservative call the exact `resolveByCatalogFallback` makes.
+ */
+function nameOnlyVerdict(candidates) {
+    if (candidates.length === 1) {
+        const only = candidates[0];
+        if (only)
+            return { to: [only.bodyHash], resolution: 'syntactic', confidence: 'low' };
+    }
+    return UNRESOLVED;
+}
+/**
+ * Extract the callee's simple name from a walked resolver-candidate node,
+ * purely syntactically. Returns `null` when no simple name is available
+ * (e.g. an element-access call `a[b]()` or a computed tag).
+ *
+ * Exported so the cross-shard boundary extractor can identify a call
+ * site's callee name without re-implementing the per-node-kind logic.
+ */
+export function calleeSimpleName(node) {
+    if (ts.isCallExpression(node) || ts.isNewExpression(node)) {
+        const name = expressionSimpleName(node.expression);
+        return name === null ? null : { name, shape: 'call' };
+    }
+    if (ts.isJsxOpeningElement(node) || ts.isJsxSelfClosingElement(node)) {
+        const name = jsxTagSimpleName(node.tagName);
+        return name === null ? null : { name, shape: 'call' };
+    }
+    if (ts.isShorthandPropertyAssignment(node)) {
+        return { name: node.name.text, shape: 'ref' };
+    }
+    if (ts.isIdentifier(node)) {
+        return { name: node.text, shape: 'ref' };
+    }
+    return null;
+}
+/** Rightmost simple name of a call/new target expression. */
+function expressionSimpleName(expr) {
+    if (ts.isIdentifier(expr))
+        return expr.text;
+    if (ts.isPropertyAccessExpression(expr))
+        return expr.name.text;
+    return null;
+}
+/**
+ * The node whose start position anchors a call/new edge's `(line, column)`
+ * identity — the CALLEE token, not the whole expression's start:
+ *   - `x.m()`        → `m`   (the method name)
+ *   - `f()`          → `f`   (the callee identifier — unchanged for plain calls)
+ *   - `new C()`      → `C`   (the class name, not the `new` keyword)
+ *   - `new ns.C()`   → `C`
+ *
+ * WHY: a chained call `a().b()` (or `new A().b()`) has its inner CallExpression
+ * `a()` and its outer CallExpression `a().b()` BOTH starting at `a`, so keying an
+ * edge by the expression start collapses the two DISTINCT, REAL edges onto one
+ * `(owner, line, column)` identity — one shadows the other, and the exact and
+ * sharded engines keep different members of the pair (a spurious "conflict"
+ * divergence; see ADR-0033 follow-up). Anchoring at the callee token gives every
+ * call in a chain a distinct column, so both real edges survive in both engines.
+ * Non-call/new nodes (JSX elements, identifiers) keep their own start.
+ */
+export function calleeAnchorNode(node) {
+    if (ts.isCallExpression(node) || ts.isNewExpression(node)) {
+        const callee = node.expression;
+        return ts.isPropertyAccessExpression(callee) ? callee.name : callee;
+    }
+    return node;
+}
+/** Rightmost simple name of a JSX tag (`Foo` or `A.B.Foo`). */
+function jsxTagSimpleName(tag) {
+    if (ts.isIdentifier(tag))
+        return tag.text;
+    if (ts.isPropertyAccessExpression(tag))
+        return tag.name.text;
+    return null;
+}
+// ── import-index construction ─────────────────────────────────────
+/**
+ * Build the per-file import index by reading the file's `import` /
+ * `import =` statements and resolving each specifier to a project file
+ * (or `null` when it resolves outside the catalog). No type checker, no
+ * `ts.Program` — relative specifiers are resolved against the known-file
+ * set syntactically; bare specifiers are treated as external.
+ */
+export function buildImportIndex(sourceFile, projectDirAbs, knownFilesRel) {
+    const currentFileRel = toProjectRel(projectDirAbs, sourceFile.fileName);
+    const index = new Map();
+    for (const stmt of sourceFile.statements) {
+        if (ts.isImportDeclaration(stmt)) {
+            if (!ts.isStringLiteral(stmt.moduleSpecifier))
+                continue;
+            const target = resolveSpecifierToFile(stmt.moduleSpecifier.text, currentFileRel, knownFilesRel);
+            indexImportClause(stmt.importClause, target, index);
+        }
+        else if (ts.isImportEqualsDeclaration(stmt) &&
+            ts.isExternalModuleReference(stmt.moduleReference) &&
+            stmt.moduleReference.expression !== undefined &&
+            ts.isStringLiteral(stmt.moduleReference.expression)) {
+            const target = resolveSpecifierToFile(stmt.moduleReference.expression.text, currentFileRel, knownFilesRel);
+            index.set(stmt.name.text, target);
+        }
+    }
+    return index;
+}
+/** Record every binding name an import clause introduces → `value`. */
+function indexImportClause(clause, value, index) {
+    if (clause === undefined)
+        return;
+    // `import Foo from '…'`
+    if (clause.name !== undefined)
+        index.set(clause.name.text, value);
+    const bindings = clause.namedBindings;
+    if (bindings === undefined)
+        return;
+    if (ts.isNamespaceImport(bindings)) {
+        // `import * as ns from '…'`
+        index.set(bindings.name.text, value);
+    }
+    else {
+        // `import { a, b as c } from '…'`
+        for (const el of bindings.elements)
+            index.set(el.name.text, value);
+    }
+}
+/**
+ * Build a per-file index of imported binding name → the RAW import
+ * specifier it came from (`'./x.js'`, `'@scope/pkg'`). Distinct from
+ * {@link buildImportIndex} (which resolves to a project file): the
+ * cross-shard boundary pass needs the raw specifier to re-resolve against
+ * the GLOBAL catalog, where the target file may live in another shard not
+ * present in this file's known-file set.
+ */
+export function buildImportSpecifierIndex(sourceFile) {
+    const index = new Map();
+    for (const stmt of sourceFile.statements) {
+        if (ts.isImportDeclaration(stmt)) {
+            if (!ts.isStringLiteral(stmt.moduleSpecifier))
+                continue;
+            indexImportClause(stmt.importClause, stmt.moduleSpecifier.text, index);
+        }
+        else if (ts.isImportEqualsDeclaration(stmt) &&
+            ts.isExternalModuleReference(stmt.moduleReference) &&
+            stmt.moduleReference.expression !== undefined &&
+            ts.isStringLiteral(stmt.moduleReference.expression)) {
+            index.set(stmt.name.text, stmt.moduleReference.expression.text);
+        }
+    }
+    return index;
+}
+/**
+ * Resolve a relative import specifier to a known project file. Bare
+ * specifiers (`@scope/pkg`, `node:fs`) resolve to `null` (external).
+ * Relative specifiers are joined against the importing file's directory
+ * and matched against the catalog's known files, trying the standard TS
+ * extension and index-file candidates — no filesystem access, no tsc.
+ */
+function resolveSpecifierToFile(specifier, currentFileRel, knownFilesRel) {
+    if (!specifier.startsWith('.'))
+        return null; // bare/external
+    const baseDir = posix.dirname(currentFileRel);
+    const joined = posix.normalize(posix.join(baseDir, specifier));
+    const stripped = joined.replace(/\.(?:ts|tsx|js|jsx|mjs|cjs|mts|cts)$/, '');
+    const candidates = [
+        joined,
+        `${stripped}.ts`,
+        `${stripped}.tsx`,
+        `${stripped}.mts`,
+        `${stripped}.cts`,
+        `${stripped}/index.ts`,
+        `${stripped}/index.tsx`,
+    ];
+    for (const candidate of candidates) {
+        if (knownFilesRel.has(candidate))
+            return candidate;
+    }
+    return null;
+}
+/** Absolute file path → project-relative POSIX path (catalog filePath shape). */
+function toProjectRel(projectDirAbs, fileNameAbs) {
+    return relative(projectDirAbs, fileNameAbs).split(sep).join('/');
+}
+//# sourceMappingURL=syntactic.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"syntactic.js","sourceRoot":"","sources":["../../src/edge-resolvers/syntactic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAEjD,OAAO,EAAE,MAAM,YAAY,CAAC;AAqB5B,MAAM,UAAU,GAAoB,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AAE3F;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAgB;IAChD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAa,EAAE,GAAqB;IACnE,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEjC,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC;IAE1C,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,gEAAgE;QAChE,uCAAuC;QACvC,OAAO,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IACvC,CAAC;IAED,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAE/C,qEAAqE;IACrE,IAAI,OAAO,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IACvD,OAAO,OAAO,CAAC;AACjB,CAAC;AASD;;;;;;;;GAQG;AACH,SAAS,UAAU,CACjB,IAAY,EACZ,GAAqB,EACrB,UAAyC;IAEzC,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QACjD,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACjF,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;QAC9D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,cAAc,EAAE,CAAC;IACpD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,aAAa,CAAC,GAAQ,EAAE,UAAyC;IACxE,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;QAClE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,mEAAmE;YACnE,qEAAqE;YACrE,OAAO;gBACL,EAAE,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAClC,UAAU,EAAE,WAAW;gBACvB,UAAU,EAAE,QAAQ;aACrB,CAAC;QACJ,CAAC;QACD,2DAA2D;QAC3D,qDAAqD;QACrD,OAAO,eAAe,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC5B,qEAAqE;QACrE,qEAAqE;QACrE,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,eAAe,CAAC,UAAU,CAAC,CAAC;AACrC,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,UAAyC;IAChE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,IAAI;YAAE,OAAO,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IACvF,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAUD;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAa;IAC5C,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnD,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACxD,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5C,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACxD,CAAC;IACD,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAChD,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC3C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,6DAA6D;AAC7D,SAAS,oBAAoB,CAAC,IAAmB;IAC/C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC/D,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAa;IAC5C,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/B,OAAO,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;IACtE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+DAA+D;AAC/D,SAAS,gBAAgB,CAAC,GAA4B;IACpD,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC;IAC1C,IAAI,EAAE,CAAC,0BAA0B,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7D,OAAO,IAAI,CAAC;AACd,CAAC;AAED,qEAAqE;AAErE;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAC9B,UAAyB,EACzB,aAAqB,EACrB,aAAkC;IAElC,MAAM,cAAc,GAAG,YAAY,CAAC,aAAa,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IACxE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAyB,CAAC;IAE/C,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC;gBAAE,SAAS;YACxD,MAAM,MAAM,GAAG,sBAAsB,CACnC,IAAI,CAAC,eAAe,CAAC,IAAI,EACzB,cAAc,EACd,aAAa,CACd,CAAC;YACF,iBAAiB,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QACtD,CAAC;aAAM,IACL,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAClC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,eAAe,CAAC;YAClD,IAAI,CAAC,eAAe,CAAC,UAAU,KAAK,SAAS;YAC7C,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,EACnD,CAAC;YACD,MAAM,MAAM,GAAG,sBAAsB,CACnC,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,EACpC,cAAc,EACd,aAAa,CACd,CAAC;YACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uEAAuE;AACvE,SAAS,iBAAiB,CACxB,MAAmC,EACnC,KAAQ,EACR,KAAqB;IAErB,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO;IACjC,wBAAwB;IACxB,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAC;IACtC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO;IACnC,IAAI,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,4BAA4B;QAC5B,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;SAAM,CAAC;QACN,kCAAkC;QAClC,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,QAAQ;YAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CAAC,UAAyB;IACjE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC;gBAAE,SAAS;YACxD,iBAAiB,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzE,CAAC;aAAM,IACL,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAClC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,eAAe,CAAC;YAClD,IAAI,CAAC,eAAe,CAAC,UAAU,KAAK,SAAS;YAC7C,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,EACnD,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,SAAS,sBAAsB,CAC7B,SAAiB,EACjB,cAAsB,EACtB,aAAkC;IAElC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,gBAAgB;IAC7D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,sCAAsC,EAAE,EAAE,CAAC,CAAC;IAC5E,MAAM,UAAU,GAAG;QACjB,MAAM;QACN,GAAG,QAAQ,KAAK;QAChB,GAAG,QAAQ,MAAM;QACjB,GAAG,QAAQ,MAAM;QACjB,GAAG,QAAQ,MAAM;QACjB,GAAG,QAAQ,WAAW;QACtB,GAAG,QAAQ,YAAY;KACxB,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;IACrD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,iFAAiF;AACjF,SAAS,YAAY,CAAC,aAAqB,EAAE,WAAmB;IAC9D,OAAO,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACnE,CAAC"}

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

@@ -0,0 +1,37 @@
+/**
+ * EdgeResolver signature alias (PR-4).
+ *
+ * Six resolvers (direct-call, property-access, jsx-element,
+ * new-expression, polymorphic, catalog-fallback) all share this shape.
+ * Declaring each resolver `: EdgeResolver<...>` makes drift a
+ * typecheck error.
+ */
+import type { CrossPackageContext } from '../edge-helpers/cross-package-context.js';
+import type { Catalog, ResolverVerdict } from '@opensip-cli/graph';
+import type ts from 'typescript';
+/** Shared context handed to each edge resolver: catalog, TS program, and project root. */
+export interface ResolverContext {
+    readonly catalog: Catalog;
+    readonly program: ts.Program;
+    readonly typeChecker: ts.TypeChecker;
+    readonly sourceFile: ts.SourceFile;
+    readonly projectDirAbs: string;
+    /**
+     * Cross-package resolution context (export index + manifest index) — the
+     * SAME (import specifier + callee name) → unique exported SOURCE occurrence
+     * model the sharded linker uses. Resolvers consult it when the type checker
+     * leads them into a workspace package's bodiless `dist/*.d.ts` instead of the
+     * source body the catalog holds. Built once per resolve stage.
+     */
+    readonly crossPackage: CrossPackageContext;
+    /**
+     * The call site's file: imported binding name → its RAW import specifier
+     * (`@scope/pkg`, `./x.js`). Lets a resolver tie a callee name to the package
+     * it was imported from, so the export-index lookup is binding-required (no
+     * phantom name matches). One index per source file, lazily built + cached by
+     * the resolve loop.
+     */
+    readonly importSpecifiers: ReadonlyMap<string, string>;
+}
+export type EdgeResolver<N extends ts.Node = ts.Node> = (node: N, ctx: ResolverContext) => ResolverVerdict;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/edge-resolvers/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,0FAA0F;AAC1F,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;;;;;;OAMG;IACH,QAAQ,CAAC,YAAY,EAAE,mBAAmB,CAAC;IAC3C;;;;;;OAMG;IACH,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACxD;AAED,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,IAAI,CACtD,IAAI,EAAE,CAAC,EACP,GAAG,EAAE,eAAe,KACjB,eAAe,CAAC"}

package/dist/edge-resolvers/types.js

@@ -0,0 +1,10 @@
+/**
+ * EdgeResolver signature alias (PR-4).
+ *
+ * Six resolvers (direct-call, property-access, jsx-element,
+ * new-expression, polymorphic, catalog-fallback) all share this shape.
+ * Declaring each resolver `: EdgeResolver<...>` makes drift a
+ * typecheck error.
+ */
+export {};
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/edge-resolvers/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG"}

package/dist/edges-value-reference.d.ts

@@ -0,0 +1,26 @@
+/**
+ * @fileoverview Value-reference and shorthand-assignment resolution.
+ *
+ * Extracted from `edges.ts` so the main edge-resolution module stays
+ * focused on the orchestrator + dispatch table. This file owns:
+ *
+ *  - The AST predicates that classify an Identifier as a *value*
+ *    reference (i.e. not a declaration name, not a structural slot,
+ *    not the target of a call/new/JSX).
+ *  - The symbol-to-bodyHash resolution shared by both the
+ *    `Identifier`-as-value-reference and `ShorthandPropertyAssignment`
+ *    resolvers.
+ */
+import ts from 'typescript';
+import type { ResolverContext } from './edge-resolvers/types.js';
+import type { ResolverVerdict } from '@opensip-cli/graph';
+/**
+ * Identifier appears in a value position — not as a call target, not as
+ * a binding name, not as the property name of a property access. We
+ * want to capture handoff cases: function passed as argument, shorthand
+ * property assignment, default value, return value.
+ */
+export declare function isValueReference(node: ts.Identifier): boolean;
+export declare function resolveValueReference(node: ts.Identifier, ctx: ResolverContext): ResolverVerdict;
+export declare function resolveShorthandAssignment(node: ts.ShorthandPropertyAssignment, ctx: ResolverContext): ResolverVerdict;
+//# sourceMappingURL=edges-value-reference.d.ts.map

package/dist/edges-value-reference.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"edges-value-reference.d.ts","sourceRoot":"","sources":["../src/edges-value-reference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAE1D;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAI7D;AAmDD,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,eAAe,GAAG,eAAe,CAGhG;AAED,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,EAAE,CAAC,2BAA2B,EACpC,GAAG,EAAE,eAAe,GACnB,eAAe,CAGjB"}

package/dist/edges-value-reference.js

@@ -0,0 +1,138 @@
+/**
+ * @fileoverview Value-reference and shorthand-assignment resolution.
+ *
+ * Extracted from `edges.ts` so the main edge-resolution module stays
+ * focused on the orchestrator + dispatch table. This file owns:
+ *
+ *  - The AST predicates that classify an Identifier as a *value*
+ *    reference (i.e. not a declaration name, not a structural slot,
+ *    not the target of a call/new/JSX).
+ *  - The symbol-to-bodyHash resolution shared by both the
+ *    `Identifier`-as-value-reference and `ShorthandPropertyAssignment`
+ *    resolvers.
+ */
+import ts from 'typescript';
+import { resolveDeclToHash } from './edge-helpers/resolve-decl.js';
+/**
+ * Identifier appears in a value position — not as a call target, not as
+ * a binding name, not as the property name of a property access. We
+ * want to capture handoff cases: function passed as argument, shorthand
+ * property assignment, default value, return value.
+ */
+export function isValueReference(node) {
+    const parent = node.parent;
+    if (!parent)
+        return false;
+    return !isStructuralName(node, parent) && !isCallSiteTarget(node, parent);
+}
+/**
+ * Identifier is the *name* of some declaration / property, or part of
+ * a type / import / export. Not a value use.
+ */
+function isStructuralName(node, parent) {
+    return isParentNamePosition(node, parent) || isUnconditionallyStructural(parent);
+}
+function isParentNamePosition(node, parent) {
+    // Each entry: matcher for the parent kind + the property whose value
+    // we compare with `node` to decide whether the identifier is the
+    // structural name slot.
+    const slot = readNamedSlot(parent);
+    return slot === node;
+}
+function readNamedSlot(parent) {
+    if (ts.isVariableDeclaration(parent))
+        return parent.name;
+    if (ts.isParameter(parent))
+        return parent.name;
+    if (ts.isFunctionDeclaration(parent))
+        return parent.name;
+    if (ts.isClassDeclaration(parent))
+        return parent.name;
+    if (ts.isMethodDeclaration(parent))
+        return parent.name;
+    if (ts.isPropertyDeclaration(parent))
+        return parent.name;
+    if (ts.isPropertyAssignment(parent))
+        return parent.name;
+    if (ts.isPropertyAccessExpression(parent))
+        return parent.name;
+    if (ts.isLabeledStatement(parent))
+        return parent.label;
+    if (ts.isBindingElement(parent))
+        return parent.name;
+    return undefined;
+}
+function isUnconditionallyStructural(parent) {
+    return (ts.isQualifiedName(parent) ||
+        ts.isImportSpecifier(parent) ||
+        ts.isImportClause(parent) ||
+        ts.isExportSpecifier(parent) ||
+        ts.isTypeReferenceNode(parent));
+}
+/** Identifier is the call target / new target / JSX tag — we handle those elsewhere. */
+function isCallSiteTarget(node, parent) {
+    if (ts.isCallExpression(parent) && parent.expression === node)
+        return true;
+    if (ts.isNewExpression(parent) && parent.expression === node)
+        return true;
+    if (ts.isJsxOpeningElement(parent) && parent.tagName === node)
+        return true;
+    if (ts.isJsxSelfClosingElement(parent) && parent.tagName === node)
+        return true;
+    return false;
+}
+export function resolveValueReference(node, ctx) {
+    const symbol = ctx.typeChecker.getSymbolAtLocation(node);
+    return resolveSymbolToHash(symbol, node.text, ctx);
+}
+export function resolveShorthandAssignment(node, ctx) {
+    const symbol = ctx.typeChecker.getShorthandAssignmentValueSymbol(node);
+    return resolveSymbolToHash(symbol, node.name.text, ctx);
+}
+/**
+ * Resolve any symbol whose declarations might be a function-shaped
+ * node to its catalog bodyHash. Used by value-reference and shorthand
+ * resolvers — they share this lookup logic.
+ */
+function resolveSymbolToHash(symbol, fallbackName, ctx) {
+    if (!symbol)
+        return { to: [], resolution: 'unknown', confidence: 'low' };
+    for (const d of symbol.getDeclarations() ?? []) {
+        const hash = hashFromDeclaration(d, fallbackName, ctx);
+        if (hash)
+            return { to: [hash], resolution: 'static', confidence: 'medium' };
+    }
+    return { to: [], resolution: 'unknown', confidence: 'low' };
+}
+function hashFromDeclaration(d, fallbackName, ctx) {
+    if (ts.isClassDeclaration(d) || ts.isClassExpression(d)) {
+        const ctor = findClassConstructor(d);
+        if (!ctor)
+            return null;
+        const className = d.name?.text;
+        return resolveDeclToHash(ctor, d.getSourceFile(), className ? [className] : [], ctx);
+    }
+    if (ts.isFunctionDeclaration(d) ||
+        ts.isArrowFunction(d) ||
+        ts.isFunctionExpression(d) ||
+        ts.isMethodDeclaration(d)) {
+        return resolveDeclToHash(d, d.getSourceFile(), [fallbackName], ctx);
+    }
+    if (ts.isVariableDeclaration(d) && d.initializer) {
+        const init = d.initializer;
+        if (ts.isArrowFunction(init) || ts.isFunctionExpression(init)) {
+            return resolveDeclToHash(init, d.getSourceFile(), [fallbackName], ctx);
+        }
+    }
+    return null;
+}
+/* v8 ignore start */
+function findClassConstructor(cls) {
+    for (const m of cls.members) {
+        if (ts.isConstructorDeclaration(m))
+            return m;
+    }
+    return null;
+}
+/* v8 ignore stop */
+//# sourceMappingURL=edges-value-reference.js.map

package/dist/edges-value-reference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edges-value-reference.js","sourceRoot":"","sources":["../src/edges-value-reference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAKnE;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAmB;IAClD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAC5E,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CAAC,IAAmB,EAAE,MAAe;IAC5D,OAAO,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,2BAA2B,CAAC,MAAM,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAmB,EAAE,MAAe;IAChE,qEAAqE;IACrE,iEAAiE;IACjE,wBAAwB;IACxB,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACnC,OAAO,IAAI,KAAK,IAAI,CAAC;AACvB,CAAC;AAED,SAAS,aAAa,CAAC,MAAe;IACpC,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IACzD,IAAI,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IACzD,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IACtD,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IACvD,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IACzD,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IACxD,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IAC9D,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC;IACvD,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IACpD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,2BAA2B,CAAC,MAAe;IAClD,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;QAC1B,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;QAC5B,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC;QACzB,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;QAC5B,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED,wFAAwF;AACxF,SAAS,gBAAgB,CAAC,IAAmB,EAAE,MAAe;IAC5D,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3E,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1E,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3E,IAAI,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/E,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAmB,EAAE,GAAoB;IAC7E,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACzD,OAAO,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,IAAoC,EACpC,GAAoB;IAEpB,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,iCAAiC,CAAC,IAAI,CAAC,CAAC;IACvE,OAAO,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAC1D,CAAC;AAED;;;;GAIG;AACH,SAAS,mBAAmB,CAC1B,MAA6B,EAC7B,YAAoB,EACpB,GAAoB;IAEpB,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IACzE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,eAAe,EAAE,IAAI,EAAE,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;QACvD,IAAI,IAAI;YAAE,OAAO,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AAC9D,CAAC;AAED,SAAS,mBAAmB,CAC1B,CAAiB,EACjB,YAAoB,EACpB,GAAoB;IAEpB,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;QAC/B,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IACvF,CAAC;IACD,IACE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;QAC3B,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;QACrB,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;QAC1B,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,EACzB,CAAC;QACD,OAAO,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC;QAC3B,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,qBAAqB;AACrB,SAAS,oBAAoB,CAAC,GAA4B;IACxD,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,OAAO,IAAI,CAAC;AACd,CAAC;AACD,oBAAoB"}