@opensip-cli/graph-typescript 0.1.0

package/dist/cache-key.js

@@ -0,0 +1,94 @@
+// @fitness-ignore-file unbounded-memory -- reads tsconfig.json (+ its extends chain); bounded by standard TS configuration shape
+/**
+ * TypeScript cacheKey implementation.
+ *
+ * Produces `ts-${ts.version}-adapter-${adapterVersion}-${resolutionMode}-${resolvedTsconfigHash}`.
+ * Stored in Catalog.cacheKey (v3 shape introduced by the language-pluggability
+ * work). Replaces the v2 fields `tsCompilerVersion` and `tsConfigPath` that lived
+ * as separate top-level catalog properties.
+ *
+ * The resolution mode is part of the key so a fast catalog and an exact catalog
+ * for the same tsconfig occupy distinct `cache_key` rows in the datastore —
+ * switching `--resolution` is a clean cache miss against the other tier, never a
+ * wrong-tier reuse. No schema change is needed; the existing `cache_key` column
+ * carries the mode.
+ *
+ * F2 — RESOLVED tsconfig (extends-aware). Earlier this hashed only the NAMED
+ * tsconfig file's RAW content. But package tsconfigs `extends` a shared base
+ * (`tsconfig.base.json`), and editing the base's `paths`/`baseUrl`/
+ * `moduleResolution` changes module resolution → different edges — WITHOUT
+ * changing the named file's bytes. Every shard fragment would then cache-hit a
+ * stale fragment → a silently-wrong graph (`--no-cache` recovers, but only if you
+ * know to). We now hash the RESOLVED `compilerOptions` (TS walks the `extends`
+ * chain for us via `parseJsonConfigFileContent`), stable-stringified, so any
+ * extends-base edit that affects resolution invalidates the key.
+ *
+ * F5 — adapter package version. The engine version is folded in separately at
+ * the engine boundary (`stampEngineVersion`, ADR-0015), but a
+ * `@opensip-cli/graph-typescript` resolver fix shipped WITHOUT an engine
+ * version bump (possible under independent versioning, ADR-0012) would reuse
+ * stale fragments. Folding the adapter's OWN package version closes that:
+ * belt-and-suspenders while engine + adapters ship in lockstep (3.0.0 today),
+ * load-bearing the moment they diverge.
+ *
+ * Per contract invariant I-6 (cacheKey is stable for stable input): the function
+ * is purely a function of
+ * `(ts.version, adapterVersion, resolutionMode, resolvedTsconfigOptions)`. If the
+ * tsconfig file is missing/unreadable on disk we fall back to a literal marker so
+ * two calls without a (readable) tsconfig still match.
+ */
+import { createHash } from 'node:crypto';
+import { existsSync } from 'node:fs';
+import { dirname } from 'node:path';
+import { readPackageVersion } from '@opensip-cli/core';
+import ts from 'typescript';
+/**
+ * This adapter package's own version (ADR-0012 independent versioning). Resolved
+ * once from the nearest package.json, memoized in core's `readPackageVersion`.
+ */
+const ADAPTER_VERSION = readPackageVersion(import.meta.url);
+export function cacheKey(input) {
+    const tsconfigHash = hashResolvedTsconfig(input.configPathAbs);
+    return `ts-${ts.version}-adapter-${ADAPTER_VERSION}-${input.resolutionMode}-${tsconfigHash}`;
+}
+/**
+ * Hash the RESOLVED tsconfig — the effective `compilerOptions` after TS walks the
+ * `extends` chain — rather than the named file's raw bytes. So an edit to a
+ * shared `tsconfig.base.json`'s `paths`/`baseUrl`/`moduleResolution` that the
+ * named config `extends` changes the key (the fragments rebuild), not a stale hit.
+ */
+function hashResolvedTsconfig(configPathAbs) {
+    if (configPathAbs === undefined || configPathAbs.length === 0) {
+        return 'no-tsconfig';
+    }
+    if (!existsSync(configPathAbs)) {
+        return `missing:${configPathAbs}`;
+    }
+    const read = ts.readConfigFile(configPathAbs, (path) => ts.sys.readFile(path));
+    if (read.error !== undefined || read.config === undefined) {
+        /* v8 ignore next */
+        return `unreadable:${configPathAbs}`;
+    }
+    // parseJsonConfigFileContent follows `extends` and merges the effective
+    // compilerOptions. We hash ONLY the resolved compilerOptions (the
+    // resolution-affecting surface) — not the full parsed file list, which is a
+    // function of on-disk globs the per-file fingerprint already covers.
+    const parsed = ts.parseJsonConfigFileContent(read.config, ts.sys, dirname(configPathAbs), undefined, configPathAbs);
+    return createHash('sha256').update(stableStringify(parsed.options)).digest('hex').slice(0, 16);
+}
+/**
+ * Stable JSON of an object: keys sorted so the hash is independent of TS's
+ * internal property-insertion order. Values are TS's resolved compilerOptions
+ * primitives (strings/numbers/booleans/enums) — JSON-serializable; the
+ * `configFilePath`/`pathsBasePath` absolute-path fields are dropped so the key
+ * is location-independent (a checkout under a different absolute root still
+ * hits).
+ */
+function stableStringify(options) {
+    const LOCATION_KEYS = new Set(['configFilePath', 'pathsBasePath']);
+    const entries = Object.entries(options)
+        .filter(([k]) => !LOCATION_KEYS.has(k))
+        .sort(([a], [b]) => Number(a > b) - Number(a < b));
+    return JSON.stringify(entries);
+}
+//# sourceMappingURL=cache-key.js.map

package/dist/cache-key.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache-key.js","sourceRoot":"","sources":["../src/cache-key.ts"],"names":[],"mappings":"AAAA,iIAAiI;AACjI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B;;;GAGG;AACH,MAAM,eAAe,GAAG,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAE5D,MAAM,UAAU,QAAQ,CAAC,KAAoB;IAC3C,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC/D,OAAO,MAAM,EAAE,CAAC,OAAO,YAAY,eAAe,IAAI,KAAK,CAAC,cAAc,IAAI,YAAY,EAAE,CAAC;AAC/F,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CAAC,aAAiC;IAC7D,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9D,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/B,OAAO,WAAW,aAAa,EAAE,CAAC;IACpC,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,CAAC,cAAc,CAAC,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/E,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1D,oBAAoB;QACpB,OAAO,cAAc,aAAa,EAAE,CAAC;IACvC,CAAC;IACD,wEAAwE;IACxE,kEAAkE;IAClE,4EAA4E;IAC5E,qEAAqE;IACrE,MAAM,MAAM,GAAG,EAAE,CAAC,0BAA0B,CAC1C,IAAI,CAAC,MAAM,EACX,EAAE,CAAC,GAAG,EACN,OAAO,CAAC,aAAa,CAAC,EACtB,SAAS,EACT,aAAa,CACd,CAAC;IACF,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACjG,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,eAAe,CAAC,OAA2B;IAClD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,gBAAgB,EAAE,eAAe,CAAC,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,OAAkC,CAAC;SAC/D,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACtC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrD,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;AACjC,CAAC"}

package/dist/discover.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Stage 0 — Discover files.
+ *
+ * Resolves the project's tsconfig and produces an absolute, realpath'd
+ * list of source files for stage 1 to inventory.
+ *
+ * Stage 0 does not create a TypeScript Program — that's stage 1's job.
+ * It is purely about *what files exist*.
+ */
+import ts from 'typescript';
+/** Input to {@link discoverFiles}: project directory and optional tsconfig override. */
+export interface DiscoveryInput {
+    readonly projectDir: string;
+    readonly tsConfigPath?: string;
+}
+/** Result of {@link discoverFiles}: resolved paths, source files, and TS compiler options. */
+export interface DiscoveryOutput {
+    readonly projectDirAbs: string;
+    readonly tsConfigPathAbs: string;
+    readonly files: readonly string[];
+    readonly compilerOptions: ts.CompilerOptions;
+}
+/** Resolves the tsconfig for a TS project and returns the in-program source-file set. */
+export declare function discoverFiles(input: DiscoveryInput): DiscoveryOutput;
+//# sourceMappingURL=discover.d.ts.map

package/dist/discover.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"discover.d.ts","sourceRoot":"","sources":["../src/discover.ts"],"names":[],"mappings":"AAEA;;;;;;;;GAQG;AAMH,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,wFAAwF;AACxF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,8FAA8F;AAC9F,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAE,EAAE,CAAC,eAAe,CAAC;CAC9C;AAED,yFAAyF;AACzF,wBAAgB,aAAa,CAAC,KAAK,EAAE,cAAc,GAAG,eAAe,CA0BpE"}

package/dist/discover.js

@@ -0,0 +1,124 @@
+// @fitness-ignore-file error-handling-quality -- two intentional swallows: (1) the ParseConfigHost.readFile shim returns undefined when TS asks about a vanished referenced file (TS treats undefined as "skip"), and (2) realpathSync probe for symlink dedup falls through with the original path; both are marked v8-ignore as effectively unreachable on real input.
+// @fitness-ignore-file unbounded-memory -- ParseConfigHost.readFile reads tsconfig.json files only; bounded by standard TS configuration shape
+/**
+ * Stage 0 — Discover files.
+ *
+ * Resolves the project's tsconfig and produces an absolute, realpath'd
+ * list of source files for stage 1 to inventory.
+ *
+ * Stage 0 does not create a TypeScript Program — that's stage 1's job.
+ * It is purely about *what files exist*.
+ */
+import { existsSync, realpathSync, readFileSync } from 'node:fs';
+import { dirname, isAbsolute, resolve, sep } from 'node:path';
+import { ConfigurationError, logger } from '@opensip-cli/core';
+import ts from 'typescript';
+import { normalizeProjectDir } from './normalize-project-dir.js';
+/** Resolves the tsconfig for a TS project and returns the in-program source-file set. */
+export function discoverFiles(input) {
+    logger.info({
+        evt: 'graph.discover.start',
+        module: 'graph:discover',
+        projectDir: input.projectDir,
+    });
+    const projectDirAbs = normalizeProjectDir(input.projectDir);
+    const tsConfigPathAbs = resolveTsConfigPath(projectDirAbs, input.tsConfigPath);
+    const { options, fileNames } = loadTsConfig(tsConfigPathAbs);
+    const files = filterToSourceFiles(fileNames);
+    logger.info({
+        evt: 'graph.discover.complete',
+        module: 'graph:discover',
+        projectDir: projectDirAbs,
+        tsConfig: tsConfigPathAbs,
+        fileCount: files.length,
+    });
+    return {
+        projectDirAbs,
+        tsConfigPathAbs,
+        files,
+        compilerOptions: options,
+    };
+}
+function resolveTsConfigPath(projectDirAbs, override) {
+    let candidate;
+    if (override === undefined) {
+        candidate = resolve(projectDirAbs, 'tsconfig.json');
+    }
+    else {
+        candidate = isAbsolute(override) ? override : resolve(projectDirAbs, override);
+    }
+    if (!existsSync(candidate)) {
+        throw new ConfigurationError(`tsconfig.json not found at ${candidate}`);
+    }
+    /* v8 ignore start */
+    try {
+        return realpathSync(candidate);
+    }
+    catch {
+        return candidate;
+    }
+    /* v8 ignore stop */
+}
+function loadTsConfig(tsConfigPathAbs) {
+    const raw = readFileSync(tsConfigPathAbs, 'utf8');
+    const parsed = ts.parseConfigFileTextToJson(tsConfigPathAbs, raw);
+    /* v8 ignore start */
+    if (parsed.error) {
+        throw new ConfigurationError(`Failed to parse ${tsConfigPathAbs}: ${ts.flattenDiagnosticMessageText(parsed.error.messageText, '\n')}`);
+    }
+    /* v8 ignore stop */
+    const readDirectoryBound = ts.sys.readDirectory.bind(ts.sys);
+    const host = {
+        fileExists: (p) => existsSync(p),
+        readDirectory: readDirectoryBound,
+        /* v8 ignore start */
+        readFile: (p) => {
+            try {
+                return readFileSync(p, 'utf8');
+            }
+            catch {
+                return;
+            }
+        },
+        /* v8 ignore stop */
+        useCaseSensitiveFileNames: ts.sys.useCaseSensitiveFileNames,
+    };
+    const result = ts.parseJsonConfigFileContent(parsed.config, host, dirname(tsConfigPathAbs), {}, tsConfigPathAbs);
+    /* v8 ignore start */
+    if (result.errors.length > 0) {
+        const fatal = result.errors.find((e) => e.category === ts.DiagnosticCategory.Error);
+        if (fatal) {
+            throw new ConfigurationError(`Failed to load ${tsConfigPathAbs}: ${ts.flattenDiagnosticMessageText(fatal.messageText, '\n')}`);
+        }
+    }
+    /* v8 ignore stop */
+    return { options: result.options, fileNames: result.fileNames };
+}
+function filterToSourceFiles(fileNames) {
+    const seen = new Set();
+    const out = [];
+    for (const f of fileNames) {
+        if (!f.endsWith('.ts') && !f.endsWith('.tsx'))
+            continue;
+        if (f.endsWith('.d.ts'))
+            continue;
+        let real = f;
+        /* v8 ignore start */
+        try {
+            real = realpathSync(f);
+        }
+        catch {
+            // Use the original path if realpath fails (file might be in a symlinked dir).
+        }
+        /* v8 ignore stop */
+        // Normalize separators on Windows so dedup works.
+        const key = real.split(sep).join('/');
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        out.push(real);
+    }
+    out.sort();
+    return out;
+}
+//# sourceMappingURL=discover.js.map

package/dist/discover.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"discover.js","sourceRoot":"","sources":["../src/discover.ts"],"names":[],"mappings":"AAAA,yWAAyW;AACzW,+IAA+I;AAC/I;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACjE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAE9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAgBjE,yFAAyF;AACzF,MAAM,UAAU,aAAa,CAAC,KAAqB;IACjD,MAAM,CAAC,IAAI,CAAC;QACV,GAAG,EAAE,sBAAsB;QAC3B,MAAM,EAAE,gBAAgB;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;IAEH,MAAM,aAAa,GAAG,mBAAmB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC5D,MAAM,eAAe,GAAG,mBAAmB,CAAC,aAAa,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IAC/E,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC,eAAe,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAE7C,MAAM,CAAC,IAAI,CAAC;QACV,GAAG,EAAE,yBAAyB;QAC9B,MAAM,EAAE,gBAAgB;QACxB,UAAU,EAAE,aAAa;QACzB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,KAAK,CAAC,MAAM;KACxB,CAAC,CAAC;IAEH,OAAO;QACL,aAAa;QACb,eAAe;QACf,KAAK;QACL,eAAe,EAAE,OAAO;KACzB,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,aAAqB,EAAE,QAAiB;IACnE,IAAI,SAAiB,CAAC;IACtB,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,SAAS,GAAG,OAAO,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;IACtD,CAAC;SAAM,CAAC;QACN,SAAS,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,kBAAkB,CAAC,8BAA8B,SAAS,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,qBAAqB;IACrB,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,oBAAoB;AACtB,CAAC;AAED,SAAS,YAAY,CAAC,eAAuB;IAI3C,MAAM,GAAG,GAAG,YAAY,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,EAAE,CAAC,yBAAyB,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;IAClE,qBAAqB;IACrB,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,MAAM,IAAI,kBAAkB,CAC1B,mBAAmB,eAAe,KAAK,EAAE,CAAC,4BAA4B,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,CACzG,CAAC;IACJ,CAAC;IACD,oBAAoB;IACpB,MAAM,kBAAkB,GAAG,EAAE,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAuB;QAC/B,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QAChC,aAAa,EAAE,kBAAkB;QACjC,qBAAqB;QACrB,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;YACd,IAAI,CAAC;gBACH,OAAO,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YACjC,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO;YACT,CAAC;QACH,CAAC;QACD,oBAAoB;QACpB,yBAAyB,EAAE,EAAE,CAAC,GAAG,CAAC,yBAAyB;KAC5D,CAAC;IACF,MAAM,MAAM,GAAG,EAAE,CAAC,0BAA0B,CAC1C,MAAM,CAAC,MAAgB,EACvB,IAAI,EACJ,OAAO,CAAC,eAAe,CAAC,EACxB,EAAE,EACF,eAAe,CAChB,CAAC;IACF,qBAAqB;IACrB,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACpF,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,IAAI,kBAAkB,CAC1B,kBAAkB,eAAe,KAAK,EAAE,CAAC,4BAA4B,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,CACjG,CAAC;QACJ,CAAC;IACH,CAAC;IACD,oBAAoB;IACpB,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;AAClE,CAAC;AAED,SAAS,mBAAmB,CAAC,SAA4B;IACvD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,SAAS;QACxD,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QAClC,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,qBAAqB;QACrB,IAAI,CAAC;YACH,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACzB,CAAC;QAAC,MAAM,CAAC;YACP,8EAA8E;QAChF,CAAC;QACD,oBAAoB;QACpB,kDAAkD;QAClD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IACD,GAAG,CAAC,IAAI,EAAE,CAAC;IACX,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/edge-helpers/cross-package-context.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Cross-package resolution context for the EXACT (single-program) engine.
+ *
+ * The sharded engine links a `@scope/pkg` call to its target by looking the
+ * (import specifier + callee name) up in the imported package's export symbol
+ * table ({@link buildExportIndex}) — never by following the type-checker alias
+ * into the package's built `dist/*.d.ts` (which is bodiless, so its hash never
+ * matches the SOURCE body in the catalog). The exact engine now resolves
+ * cross-package calls the SAME way, through {@link resolveCrossPackageCall}; this
+ * module assembles the two indexes that resolver needs from the data the exact
+ * resolve stage already has — the merged catalog + the project root.
+ *
+ *   - {@link ExportIndex}        — built directly from the catalog (one pass).
+ *   - {@link PackageManifestIndex} — built by deriving each workspace package's
+ *     root (the nearest ancestor dir of a cataloged file that has a
+ *     `package.json`) and reading its manifest. Single-program builds have no
+ *     `Shard[]` to hand to `buildPackageManifestIndex`, so we synthesize one
+ *     shard per discovered package root; manifest reads that fail are skipped
+ *     (the package simply won't be specifier-resolvable), identical to the
+ *     sharded path's best-effort behavior.
+ */
+import { type Catalog, type ExportIndex, type PackageManifestIndex } from '@opensip-cli/graph';
+/** The two indexes the shared {@link resolveCrossPackageCall} resolver links against. */
+export interface CrossPackageContext {
+    readonly exportIndex: ExportIndex;
+    readonly manifestIndex: PackageManifestIndex;
+}
+/**
+ * Assemble the exact engine's cross-package resolution context from the catalog
+ * and the absolute project root. Built once per resolve stage and threaded onto
+ * every resolver's {@link ResolverContext}.
+ */
+export declare function buildCrossPackageContext(catalog: Catalog, projectDirAbs: string): CrossPackageContext;
+//# sourceMappingURL=cross-package-context.d.ts.map

package/dist/edge-helpers/cross-package-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-package-context.d.ts","sourceRoot":"","sources":["../../src/edge-helpers/cross-package-context.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAKH,OAAO,EAGL,KAAK,OAAO,EACZ,KAAK,WAAW,EAChB,KAAK,oBAAoB,EAC1B,MAAM,oBAAoB,CAAC;AAE5B,yFAAyF;AACzF,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,oBAAoB,CAAC;CAC9C;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,OAAO,EAChB,aAAa,EAAE,MAAM,GACpB,mBAAmB,CAWrB"}

package/dist/edge-helpers/cross-package-context.js

@@ -0,0 +1,97 @@
+/**
+ * Cross-package resolution context for the EXACT (single-program) engine.
+ *
+ * The sharded engine links a `@scope/pkg` call to its target by looking the
+ * (import specifier + callee name) up in the imported package's export symbol
+ * table ({@link buildExportIndex}) — never by following the type-checker alias
+ * into the package's built `dist/*.d.ts` (which is bodiless, so its hash never
+ * matches the SOURCE body in the catalog). The exact engine now resolves
+ * cross-package calls the SAME way, through {@link resolveCrossPackageCall}; this
+ * module assembles the two indexes that resolver needs from the data the exact
+ * resolve stage already has — the merged catalog + the project root.
+ *
+ *   - {@link ExportIndex}        — built directly from the catalog (one pass).
+ *   - {@link PackageManifestIndex} — built by deriving each workspace package's
+ *     root (the nearest ancestor dir of a cataloged file that has a
+ *     `package.json`) and reading its manifest. Single-program builds have no
+ *     `Shard[]` to hand to `buildPackageManifestIndex`, so we synthesize one
+ *     shard per discovered package root; manifest reads that fail are skipped
+ *     (the package simply won't be specifier-resolvable), identical to the
+ *     sharded path's best-effort behavior.
+ */
+import { existsSync } from 'node:fs';
+import { dirname, join, sep } from 'node:path';
+import { buildExportIndex, buildPackageManifestIndexFromRoots, } from '@opensip-cli/graph';
+/**
+ * Assemble the exact engine's cross-package resolution context from the catalog
+ * and the absolute project root. Built once per resolve stage and threaded onto
+ * every resolver's {@link ResolverContext}.
+ */
+export function buildCrossPackageContext(catalog, projectDirAbs) {
+    const manifestIndex = buildPackageManifestIndexFromRoots(derivePackageRoots(catalog, projectDirAbs), projectDirAbs);
+    return {
+        // Pass the manifest index so the export index can follow re-export chains
+        // (a name re-exported by package A from package B resolves under A).
+        exportIndex: buildExportIndex(catalog, manifestIndex),
+        manifestIndex,
+    };
+}
+/**
+ * Derive each workspace package ROOT (absolute) present in the catalog. A
+ * package root is the nearest ancestor directory of a cataloged file that
+ * contains a `package.json`. Probing walks UP from each file's directory and
+ * stops at the first `package.json` (or the project root) — so a monorepo with
+ * `packages/<ns>/<pkg>/package.json` resolves each leaf package, not the
+ * workspace root. Deduped by root dir.
+ */
+function derivePackageRoots(catalog, projectDirAbs) {
+    const rootDirs = new Set();
+    const projectRootAbs = normalizeDir(projectDirAbs);
+    for (const occs of Object.values(catalog.functions)) {
+        if (!occs)
+            continue;
+        for (const occ of occs) {
+            const fileDirAbs = dirname(join(projectDirAbs, occ.filePath));
+            const root = findPackageRoot(fileDirAbs, projectRootAbs);
+            if (root !== undefined)
+                rootDirs.add(root);
+        }
+    }
+    return [...rootDirs];
+}
+/**
+ * Walk up from `startDirAbs` to the first ancestor (inclusive, up to and
+ * including `projectRootAbs`) that contains a `package.json`. Returns
+ * `undefined` when no manifest is found up to the project root.
+ */
+function findPackageRoot(startDirAbs, projectRootAbs) {
+    let dir = normalizeDir(startDirAbs);
+    for (;;) {
+        if (hasManifest(dir))
+            return dir;
+        if (dir === projectRootAbs)
+            return undefined;
+        const parent = dirname(dir);
+        if (parent === dir)
+            return undefined; // filesystem root — give up
+        dir = parent;
+    }
+}
+const MANIFEST_DIRS = new Set();
+const NON_MANIFEST_DIRS = new Set();
+/** Memoized `<dir>/package.json` existence probe (process-lifetime cache —
+ *  package.json presence is stable within a run). */
+function hasManifest(dirAbs) {
+    if (MANIFEST_DIRS.has(dirAbs))
+        return true;
+    if (NON_MANIFEST_DIRS.has(dirAbs))
+        return false;
+    const present = existsSync(join(dirAbs, 'package.json'));
+    (present ? MANIFEST_DIRS : NON_MANIFEST_DIRS).add(dirAbs);
+    return present;
+}
+/** Strip a trailing path separator so dir comparisons are stable. */
+function normalizeDir(dirAbs) {
+    return dirAbs.endsWith(sep) && dirAbs.length > 1 ? dirAbs.slice(0, -1) : dirAbs;
+}
+//# sourceMappingURL=cross-package-context.js.map

package/dist/edge-helpers/cross-package-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-package-context.js","sourceRoot":"","sources":["../../src/edge-helpers/cross-package-context.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAE/C,OAAO,EACL,gBAAgB,EAChB,kCAAkC,GAInC,MAAM,oBAAoB,CAAC;AAQ5B;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,aAAqB;IAErB,MAAM,aAAa,GAAG,kCAAkC,CACtD,kBAAkB,CAAC,OAAO,EAAE,aAAa,CAAC,EAC1C,aAAa,CACd,CAAC;IACF,OAAO;QACL,0EAA0E;QAC1E,qEAAqE;QACrE,WAAW,EAAE,gBAAgB,CAAC,OAAO,EAAE,aAAa,CAAC;QACrD,aAAa;KACd,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,kBAAkB,CAAC,OAAgB,EAAE,aAAqB;IACjE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,cAAc,GAAG,YAAY,CAAC,aAAa,CAAC,CAAC;IAEnD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC9D,MAAM,IAAI,GAAG,eAAe,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YACzD,IAAI,IAAI,KAAK,SAAS;gBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC;AACvB,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,WAAmB,EAAE,cAAsB;IAClE,IAAI,GAAG,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IACpC,SAAS,CAAC;QACR,IAAI,WAAW,CAAC,GAAG,CAAC;YAAE,OAAO,GAAG,CAAC;QACjC,IAAI,GAAG,KAAK,cAAc;YAAE,OAAO,SAAS,CAAC;QAC7C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG;YAAE,OAAO,SAAS,CAAC,CAAC,4BAA4B;QAClE,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;AACH,CAAC;AAED,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;AACxC,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;AAE5C;qDACqD;AACrD,SAAS,WAAW,CAAC,MAAc;IACjC,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC;IACzD,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1D,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,qEAAqE;AACrE,SAAS,YAAY,CAAC,MAAc;IAClC,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAClF,CAAC"}

package/dist/edge-helpers/declaration-to-node.d.ts

@@ -0,0 +1,58 @@
+/**
+ * Map a TypeScript Declaration to the function-shaped node that owns
+ * its catalog entry.
+ *
+ * Four resolver files used to inline their own near-identical copy
+ * of this logic — each accepting a slightly different set of
+ * declaration shapes. The duplicated-function-body rule flagged the
+ * group; consolidating onto one helper with a `DeclShape` bitmask
+ * makes the per-resolver intent explicit.
+ *
+ * Declaration shapes are bit flags so callers can OR exactly the
+ * subset their resolver accepts. The mask is matched against the
+ * declaration type before unwrapping (Variable / Property
+ * declarations dereference their initializer to find the actual
+ * function-shape).
+ */
+import ts from 'typescript';
+/**
+ * Bit-flag set of declaration shapes acceptable in a given resolver
+ * context. OR the shapes a resolver should accept and pass the result
+ * to {@link functionLikeFromDeclaration}.
+ */
+export declare const DeclShape: {
+    /** `function foo() {}` */
+    readonly FunctionDeclaration: 1;
+    /** `() => ...` */
+    readonly ArrowFunction: 2;
+    /** `function () {}` (the expression form). */
+    readonly FunctionExpression: 4;
+    /** Class method: `foo() {}` inside a class body. */
+    readonly MethodDeclaration: 8;
+    /** `constructor() {}`. */
+    readonly ConstructorDeclaration: 16;
+    /** `get foo() {}` / `set foo(v) {}`. */
+    readonly Accessor: 32;
+    /** Interface method declarations: `foo(): void;`. */
+    readonly MethodSignature: 64;
+    /** Class property declarations (used by polymorphic dispatch). */
+    readonly PropertyDeclaration: 128;
+    /** `const foo = () => ...` / `const foo = function () {}` — unwrap initializer. */
+    readonly VariableInitializer: 256;
+    /** `{ foo: () => ... }` / `{ foo: function () {} }` — unwrap initializer. */
+    readonly PropertyAssignmentInitializer: 512;
+};
+/**
+ * Return the function-shaped node that should be hashed against the
+ * catalog for declaration `d`, given the caller's `accept` mask.
+ * Returns null when `d` doesn't match any accepted shape.
+ *
+ * Variable / property assignments are unwrapped to their initializer
+ * function only when the corresponding `*Initializer` bit is set.
+ * Direct function-shapes are accepted only when their specific bit
+ * is set — passing `DeclShape.ArrowFunction` accepts a bare arrow
+ * declaration but NOT a `const foo = () => ...` (you'd need to OR
+ * `VariableInitializer` for that).
+ */
+export declare function functionLikeFromDeclaration(d: ts.Declaration, accept: number): ts.Node | null;
+//# sourceMappingURL=declaration-to-node.d.ts.map

package/dist/edge-helpers/declaration-to-node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declaration-to-node.d.ts","sourceRoot":"","sources":["../../src/edge-helpers/declaration-to-node.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B;;;;GAIG;AACH,eAAO,MAAM,SAAS;IACpB,0BAA0B;;IAE1B,kBAAkB;;IAElB,8CAA8C;;IAE9C,oDAAoD;;IAEpD,0BAA0B;;IAE1B,wCAAwC;;IAExC,qDAAqD;;IAErD,kEAAkE;;IAElE,mFAAmF;;IAEnF,6EAA6E;;CAErE,CAAC;AAuBX;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,GAAG,EAAE,CAAC,IAAI,GAAG,IAAI,CAmB7F"}

package/dist/edge-helpers/declaration-to-node.js

@@ -0,0 +1,93 @@
+/**
+ * Map a TypeScript Declaration to the function-shaped node that owns
+ * its catalog entry.
+ *
+ * Four resolver files used to inline their own near-identical copy
+ * of this logic — each accepting a slightly different set of
+ * declaration shapes. The duplicated-function-body rule flagged the
+ * group; consolidating onto one helper with a `DeclShape` bitmask
+ * makes the per-resolver intent explicit.
+ *
+ * Declaration shapes are bit flags so callers can OR exactly the
+ * subset their resolver accepts. The mask is matched against the
+ * declaration type before unwrapping (Variable / Property
+ * declarations dereference their initializer to find the actual
+ * function-shape).
+ */
+import ts from 'typescript';
+/**
+ * Bit-flag set of declaration shapes acceptable in a given resolver
+ * context. OR the shapes a resolver should accept and pass the result
+ * to {@link functionLikeFromDeclaration}.
+ */
+export const DeclShape = {
+    /** `function foo() {}` */
+    FunctionDeclaration: 1,
+    /** `() => ...` */
+    ArrowFunction: 2,
+    /** `function () {}` (the expression form). */
+    FunctionExpression: 4,
+    /** Class method: `foo() {}` inside a class body. */
+    MethodDeclaration: 8,
+    /** `constructor() {}`. */
+    ConstructorDeclaration: 16,
+    /** `get foo() {}` / `set foo(v) {}`. */
+    Accessor: 32,
+    /** Interface method declarations: `foo(): void;`. */
+    MethodSignature: 64,
+    /** Class property declarations (used by polymorphic dispatch). */
+    PropertyDeclaration: 128,
+    /** `const foo = () => ...` / `const foo = function () {}` — unwrap initializer. */
+    VariableInitializer: 256,
+    /** `{ foo: () => ... }` / `{ foo: function () {} }` — unwrap initializer. */
+    PropertyAssignmentInitializer: 512,
+};
+/**
+ * Direct (un-unwrapped) shape predicate table. Each entry pairs a
+ * declaration-shape bit with the matching `ts.is*` guard. The lookup
+ * loop in {@link functionLikeFromDeclaration} keeps the cyclomatic
+ * complexity low compared to the if-ladder it replaced.
+ */
+const DIRECT_SHAPE_TABLE = [
+    [DeclShape.FunctionDeclaration, ts.isFunctionDeclaration],
+    [DeclShape.ArrowFunction, ts.isArrowFunction],
+    [DeclShape.FunctionExpression, ts.isFunctionExpression],
+    [DeclShape.MethodDeclaration, ts.isMethodDeclaration],
+    [DeclShape.ConstructorDeclaration, ts.isConstructorDeclaration],
+    [DeclShape.Accessor, (d) => ts.isGetAccessor(d) || ts.isSetAccessor(d)],
+    [DeclShape.MethodSignature, ts.isMethodSignature],
+    [DeclShape.PropertyDeclaration, ts.isPropertyDeclaration],
+];
+function isFunctionInitializer(node) {
+    return node !== undefined && (ts.isArrowFunction(node) || ts.isFunctionExpression(node));
+}
+/**
+ * Return the function-shaped node that should be hashed against the
+ * catalog for declaration `d`, given the caller's `accept` mask.
+ * Returns null when `d` doesn't match any accepted shape.
+ *
+ * Variable / property assignments are unwrapped to their initializer
+ * function only when the corresponding `*Initializer` bit is set.
+ * Direct function-shapes are accepted only when their specific bit
+ * is set — passing `DeclShape.ArrowFunction` accepts a bare arrow
+ * declaration but NOT a `const foo = () => ...` (you'd need to OR
+ * `VariableInitializer` for that).
+ */
+export function functionLikeFromDeclaration(d, accept) {
+    for (const [bit, predicate] of DIRECT_SHAPE_TABLE) {
+        if ((accept & bit) !== 0 && predicate(d))
+            return d;
+    }
+    if ((accept & DeclShape.VariableInitializer) !== 0 &&
+        ts.isVariableDeclaration(d) &&
+        isFunctionInitializer(d.initializer)) {
+        return d.initializer ?? null;
+    }
+    if ((accept & DeclShape.PropertyAssignmentInitializer) !== 0 &&
+        ts.isPropertyAssignment(d) &&
+        isFunctionInitializer(d.initializer)) {
+        return d.initializer;
+    }
+    return null;
+}
+//# sourceMappingURL=declaration-to-node.js.map

package/dist/edge-helpers/declaration-to-node.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declaration-to-node.js","sourceRoot":"","sources":["../../src/edge-helpers/declaration-to-node.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,0BAA0B;IAC1B,mBAAmB,EAAE,CAAC;IACtB,kBAAkB;IAClB,aAAa,EAAE,CAAC;IAChB,8CAA8C;IAC9C,kBAAkB,EAAE,CAAC;IACrB,oDAAoD;IACpD,iBAAiB,EAAE,CAAC;IACpB,0BAA0B;IAC1B,sBAAsB,EAAE,EAAE;IAC1B,wCAAwC;IACxC,QAAQ,EAAE,EAAE;IACZ,qDAAqD;IACrD,eAAe,EAAE,EAAE;IACnB,kEAAkE;IAClE,mBAAmB,EAAE,GAAG;IACxB,mFAAmF;IACnF,mBAAmB,EAAE,GAAG;IACxB,6EAA6E;IAC7E,6BAA6B,EAAE,GAAG;CAC1B,CAAC;AAEX;;;;;GAKG;AACH,MAAM,kBAAkB,GAAmE;IACzF,CAAC,SAAS,CAAC,mBAAmB,EAAE,EAAE,CAAC,qBAAqB,CAAC;IACzD,CAAC,SAAS,CAAC,aAAa,EAAE,EAAE,CAAC,eAAe,CAAC;IAC7C,CAAC,SAAS,CAAC,kBAAkB,EAAE,EAAE,CAAC,oBAAoB,CAAC;IACvD,CAAC,SAAS,CAAC,iBAAiB,EAAE,EAAE,CAAC,mBAAmB,CAAC;IACrD,CAAC,SAAS,CAAC,sBAAsB,EAAE,EAAE,CAAC,wBAAwB,CAAC;IAC/D,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC,SAAS,CAAC,eAAe,EAAE,EAAE,CAAC,iBAAiB,CAAC;IACjD,CAAC,SAAS,CAAC,mBAAmB,EAAE,EAAE,CAAC,qBAAqB,CAAC;CAC1D,CAAC;AAEF,SAAS,qBAAqB,CAAC,IAAyB;IACtD,OAAO,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,2BAA2B,CAAC,CAAiB,EAAE,MAAc;IAC3E,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,kBAAkB,EAAE,CAAC;QAClD,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IACD,IACE,CAAC,MAAM,GAAG,SAAS,CAAC,mBAAmB,CAAC,KAAK,CAAC;QAC9C,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;QAC3B,qBAAqB,CAAC,CAAC,CAAC,WAAW,CAAC,EACpC,CAAC;QACD,OAAO,CAAC,CAAC,WAAW,IAAI,IAAI,CAAC;IAC/B,CAAC;IACD,IACE,CAAC,MAAM,GAAG,SAAS,CAAC,6BAA6B,CAAC,KAAK,CAAC;QACxD,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;QAC1B,qBAAqB,CAAC,CAAC,CAAC,WAAW,CAAC,EACpC,CAAC;QACD,OAAO,CAAC,CAAC,WAAW,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/edge-helpers/find-catalog-entry.d.ts

@@ -0,0 +1,24 @@
+/**
+ * findCatalogEntry — locate a catalog entry's bodyHash from a TS declaration.
+ *
+ * Uses hashFunctionBody (the same function stage 1 used to populate
+ * the catalog) so a successful lookup is guaranteed when the
+ * declaration is in the project.
+ */
+import type { Catalog } from '@opensip-cli/graph';
+import type ts from 'typescript';
+/**
+ * Returns the bodyHash if the declaration's hash is present in the
+ * catalog under one of `candidateNames`. Returns null otherwise.
+ *
+ * Matching is strictly (candidate simple name) × (body hash): the declaration's
+ * hashed source body must equal a cataloged occurrence's `bodyHash` UNDER THE
+ * NAME the call site addressed. The old whole-catalog hash scan (any name) was
+ * removed — for an in-project declaration the correct name bucket is always one
+ * of `candidateNames` (the callee/declaration name), so the scan only ever
+ * fired on a `.d.ts` (bodiless) hash that happened to collide, fabricating
+ * phantom edges. Cross-package (`.d.ts`) resolution now goes through
+ * `resolveDeclToHash`'s export-index path, never this hasher.
+ */
+export declare function findCatalogEntry(decl: ts.Node, sourceFile: ts.SourceFile, catalog: Catalog, candidateNames: readonly string[]): string | null;
+//# sourceMappingURL=find-catalog-entry.d.ts.map

package/dist/edge-helpers/find-catalog-entry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"find-catalog-entry.d.ts","sourceRoot":"","sources":["../../src/edge-helpers/find-catalog-entry.ts"],"names":[],"mappings":"AACA;;;;;;GAMG;AAIH,OAAO,KAAK,EAAE,OAAO,EAAsB,MAAM,oBAAoB,CAAC;AACtE,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC;;;;;;;;;;;;GAYG;AACH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,OAAO,EAChB,cAAc,EAAE,SAAS,MAAM,EAAE,GAChC,MAAM,GAAG,IAAI,CASf"}

package/dist/edge-helpers/find-catalog-entry.js

@@ -0,0 +1,45 @@
+// @fitness-ignore-file batch-operation-limits -- iterates bounded collection (catalog entries for a single declaration site)
+/**
+ * findCatalogEntry — locate a catalog entry's bodyHash from a TS declaration.
+ *
+ * Uses hashFunctionBody (the same function stage 1 used to populate
+ * the catalog) so a successful lookup is guaranteed when the
+ * declaration is in the project.
+ */
+import { hashFunctionBody } from '../inventory-helpers/hash-body.js';
+/**
+ * Returns the bodyHash if the declaration's hash is present in the
+ * catalog under one of `candidateNames`. Returns null otherwise.
+ *
+ * Matching is strictly (candidate simple name) × (body hash): the declaration's
+ * hashed source body must equal a cataloged occurrence's `bodyHash` UNDER THE
+ * NAME the call site addressed. The old whole-catalog hash scan (any name) was
+ * removed — for an in-project declaration the correct name bucket is always one
+ * of `candidateNames` (the callee/declaration name), so the scan only ever
+ * fired on a `.d.ts` (bodiless) hash that happened to collide, fabricating
+ * phantom edges. Cross-package (`.d.ts`) resolution now goes through
+ * `resolveDeclToHash`'s export-index path, never this hasher.
+ */
+export function findCatalogEntry(decl, sourceFile, catalog, candidateNames) {
+    const bodyHash = hashFunctionBody(decl, sourceFile);
+    for (const name of candidateNames) {
+        const candidates = lookup(catalog, name);
+        if (!candidates)
+            continue;
+        const hit = candidates.find((c) => c.bodyHash === bodyHash);
+        if (hit)
+            return hit.bodyHash;
+    }
+    return null;
+}
+function lookup(catalog, name) {
+    // Object.hasOwn keeps us safe from accidental access to prototype
+    // properties when the catalog is keyed by an arbitrary identifier
+    // (e.g. "constructor", "toString").
+    if (!Object.hasOwn(catalog.functions, name))
+        return null;
+    const value = catalog.functions[name];
+    /* v8 ignore next */
+    return value ?? null;
+}
+//# sourceMappingURL=find-catalog-entry.js.map

package/dist/edge-helpers/find-catalog-entry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"find-catalog-entry.js","sourceRoot":"","sources":["../../src/edge-helpers/find-catalog-entry.ts"],"names":[],"mappings":"AAAA,6HAA6H;AAC7H;;;;;;GAMG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAKrE;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,gBAAgB,CAC9B,IAAa,EACb,UAAyB,EACzB,OAAgB,EAChB,cAAiC;IAEjC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,UAAU;YAAE,SAAS;QAC1B,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;QAC5D,IAAI,GAAG;YAAE,OAAO,GAAG,CAAC,QAAQ,CAAC;IAC/B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,MAAM,CAAC,OAAgB,EAAE,IAAY;IAC5C,kEAAkE;IAClE,kEAAkE;IAClE,oCAAoC;IACpC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,KAAK,GAA8C,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACjF,oBAAoB;IACpB,OAAO,KAAK,IAAI,IAAI,CAAC;AACvB,CAAC"}