@opensip-cli/graph 0.1.0

package/dist/cli/orchestrate/__tests__/equivalence-repo-scale.test.d.ts

@@ -0,0 +1,51 @@
+/**
+ * repo-scale sharded ≡ exact equivalence oracle (FAST PR-gate SANITY check).
+ *
+ * The SHARDED build must be byte-equivalent to the SINGLE-PROGRAM (exact) build
+ * on the FULL `CatalogEquivalence` — function set + intra/cross edges + SCCs —
+ * over a medium multi-package fixture big enough to exercise the real divergence
+ * classes, yet small enough that the EXACT engine (the oracle) completes in
+ * single-digit milliseconds. It runs under `pnpm test` (Vitest), so it is in the
+ * PR gate.
+ *
+ * ─────────────────────────────────────────────────────────────────────────────
+ * THIS IS NOT THE AUTHORITATIVE GATE — it does NOT exercise real dist/*.d.ts
+ * resolution. Both engines build through the SYNTHETIC `createEquivalenceHarness`
+ * adapter that reuses the production cross-package helpers
+ * (`resolveSpecifierToPackage` + `buildExportIndex`), so they AGREE BY
+ * CONSTRUCTION. A real `@scope/pkg` import that Node16 resolves to a BUILT,
+ * BODILESS `dist/*.d.ts` — the divergence class the exact-engine-under-resolution
+ * bug lived in — is structurally unrepresentable here, so this fixture-driven
+ * test could never have caught it (false confidence).
+ *
+ * The REAL guardrail is the dogfood CI step `graph-equivalence-check` (npm
+ * `graph:equivalence:ci`): it builds BOTH catalogs on this real monorepo with the
+ * real adapter (real dist/*.d.ts resolution) and ratchets the production
+ * divergence against `.config/graph-equivalence-budget.json`. Keep this fast test
+ * as a sanity check, but the dogfood step is what protects against an
+ * edge-resolution regression on real code.
+ *
+ * ── DIVERGENCE CLASSES the medium fixture (`__fixtures__/medium-pkg`) covers ──
+ *   - DEEP cross-package chain      : app -> svc-b -> svc-a -> {core, util}.
+ *   - CROSS-PACKAGE CYCLE           : core.coreCycle <-> util.utilCycle (a
+ *                                     2-member SCC that drives `cycle` findings;
+ *                                     the `sccDifferences` partition guards it).
+ *   - RELATIVE intra-package edge   : util.utilFormat -> ./helpers.utilHelper.
+ *   - INTRA-FILE same-package edge  : core.coreInit -> core.coreHelper.
+ *   - ROOT-level file               : root-script.ts (the synthetic `:root`
+ *                                     shard) -> @medium/app.appMain.
+ *   - TEST-tree file                : app/__tests__/app.test.ts -> app.appMain
+ *                                     (kept in the canonical set; a test->prod
+ *                                     cross-reference inside the package shard).
+ *
+ * Both engines build through the shared `createEquivalenceHarness` — the SAME
+ * fixture-resolution model the small gate (`equivalence.test.ts`) uses — so
+ * there is exactly one resolver, never two drifting copies.
+ *
+ * COLD vs WARM (determinism leg): the harness builds in-memory with no cache, so
+ * "warm" is modeled as a SECOND independent build. The merged catalog is a pure
+ * function of the fragment SET (shard completion order is canonicalized away), so
+ * two builds must be byte-identical — and BOTH must be fully equivalent to exact.
+ */
+export {};
+//# sourceMappingURL=equivalence-repo-scale.test.d.ts.map

package/dist/cli/orchestrate/__tests__/equivalence-repo-scale.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"equivalence-repo-scale.test.d.ts","sourceRoot":"","sources":["../../../../src/cli/orchestrate/__tests__/equivalence-repo-scale.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG"}

package/dist/cli/orchestrate/__tests__/equivalence-repo-scale.test.js

@@ -0,0 +1,183 @@
+/**
+ * repo-scale sharded ≡ exact equivalence oracle (FAST PR-gate SANITY check).
+ *
+ * The SHARDED build must be byte-equivalent to the SINGLE-PROGRAM (exact) build
+ * on the FULL `CatalogEquivalence` — function set + intra/cross edges + SCCs —
+ * over a medium multi-package fixture big enough to exercise the real divergence
+ * classes, yet small enough that the EXACT engine (the oracle) completes in
+ * single-digit milliseconds. It runs under `pnpm test` (Vitest), so it is in the
+ * PR gate.
+ *
+ * ─────────────────────────────────────────────────────────────────────────────
+ * THIS IS NOT THE AUTHORITATIVE GATE — it does NOT exercise real dist/*.d.ts
+ * resolution. Both engines build through the SYNTHETIC `createEquivalenceHarness`
+ * adapter that reuses the production cross-package helpers
+ * (`resolveSpecifierToPackage` + `buildExportIndex`), so they AGREE BY
+ * CONSTRUCTION. A real `@scope/pkg` import that Node16 resolves to a BUILT,
+ * BODILESS `dist/*.d.ts` — the divergence class the exact-engine-under-resolution
+ * bug lived in — is structurally unrepresentable here, so this fixture-driven
+ * test could never have caught it (false confidence).
+ *
+ * The REAL guardrail is the dogfood CI step `graph-equivalence-check` (npm
+ * `graph:equivalence:ci`): it builds BOTH catalogs on this real monorepo with the
+ * real adapter (real dist/*.d.ts resolution) and ratchets the production
+ * divergence against `.config/graph-equivalence-budget.json`. Keep this fast test
+ * as a sanity check, but the dogfood step is what protects against an
+ * edge-resolution regression on real code.
+ *
+ * ── DIVERGENCE CLASSES the medium fixture (`__fixtures__/medium-pkg`) covers ──
+ *   - DEEP cross-package chain      : app -> svc-b -> svc-a -> {core, util}.
+ *   - CROSS-PACKAGE CYCLE           : core.coreCycle <-> util.utilCycle (a
+ *                                     2-member SCC that drives `cycle` findings;
+ *                                     the `sccDifferences` partition guards it).
+ *   - RELATIVE intra-package edge   : util.utilFormat -> ./helpers.utilHelper.
+ *   - INTRA-FILE same-package edge  : core.coreInit -> core.coreHelper.
+ *   - ROOT-level file               : root-script.ts (the synthetic `:root`
+ *                                     shard) -> @medium/app.appMain.
+ *   - TEST-tree file                : app/__tests__/app.test.ts -> app.appMain
+ *                                     (kept in the canonical set; a test->prod
+ *                                     cross-reference inside the package shard).
+ *
+ * Both engines build through the shared `createEquivalenceHarness` — the SAME
+ * fixture-resolution model the small gate (`equivalence.test.ts`) uses — so
+ * there is exactly one resolver, never two drifting copies.
+ *
+ * COLD vs WARM (determinism leg): the harness builds in-memory with no cache, so
+ * "warm" is modeled as a SECOND independent build. The merged catalog is a pure
+ * function of the fragment SET (shard completion order is canonicalized away), so
+ * two builds must be byte-identical — and BOTH must be fully equivalent to exact.
+ */
+import { dirname, join } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { describe, expect, it } from 'vitest';
+import { computeSccs } from '../../../pipeline/features.js';
+import { buildIndexes } from '../../../pipeline/indexes.js';
+import { diffCatalogs, isEquivalent } from '../cross-shard-resolve.js';
+import { createEquivalenceHarness } from './_equivalence-harness.js';
+// ── medium fixture geography ──────────────────────────────────────
+const FIXTURE_ROOT = join(dirname(fileURLToPath(import.meta.url)), '__fixtures__', 'medium-pkg');
+const PKG = (name) => join(FIXTURE_ROOT, 'packages', name);
+/** Every package's source files, grouped by package (the shard file lists). */
+const PKG_FILES = {
+    core: [join(PKG('core'), 'src', 'index.ts')],
+    util: [join(PKG('util'), 'src', 'index.ts'), join(PKG('util'), 'src', 'helpers.ts')],
+    'svc-a': [join(PKG('svc-a'), 'src', 'index.ts')],
+    'svc-b': [join(PKG('svc-b'), 'src', 'index.ts')],
+    // pkg-app owns BOTH its src/ and its real __tests__/ tree (kept canonically).
+    // The test-tree file is named `index.ts` (NOT `*.test.ts`) so Vitest's own
+    // test glob never collects this FIXTURE as a runnable test — the convention
+    // the function-set-gap fixture established.
+    app: [join(PKG('app'), 'src', 'index.ts'), join(PKG('app'), '__tests__', 'index.ts')],
+};
+/** Root-level files under no packages/* unit → the synthetic `:root` shard. */
+const ROOT_FILES = [join(FIXTURE_ROOT, 'root-script.ts')];
+const ALL_FILES = [...Object.values(PKG_FILES).flat(), ...ROOT_FILES];
+/** Five package shards + the synthetic `:root` shard (root shard last). */
+const SHARDS = [
+    ...Object.entries(PKG_FILES).map(([name, files]) => ({ id: `pkg:${name}`, rootDir: PKG(name), files: [...files] })),
+    { id: ':root', rootDir: FIXTURE_ROOT, files: [...ROOT_FILES] },
+];
+const harness = createEquivalenceHarness({
+    fixtureRoot: FIXTURE_ROOT,
+    shards: SHARDS,
+    allFiles: ALL_FILES,
+});
+const { buildSingleProgram, buildSharded, bodyHashFor } = harness;
+// ── SCC + serialization helpers ───────────────────────────────────
+/** Sorted-member SCC signatures (the engine's own occId-keyed Tarjan). */
+function sccSignatures(catalog) {
+    const indexes = buildIndexes(catalog);
+    return computeSccs(indexes)
+        .map((scc) => [...scc.members].sort().join('|'))
+        .sort();
+}
+/** A catalog serialized for byte-equality, EXCLUDING the wall-clock `builtAt`. */
+function structural(catalog) {
+    // `builtAt` is the sole intentionally-nondeterministic field; drop it from the
+    // structural comparison via a JSON replacer rather than an unused destructure.
+    return JSON.stringify(catalog, (key, value) => (key === 'builtAt' ? undefined : value));
+}
+/** Every call-edge target of the first occurrence of `name` in `catalog`. */
+function targetsOf(catalog, name) {
+    return (catalog.functions[name]?.[0]?.calls ?? []).flatMap((e) => [...e.to]);
+}
+const CORE_CYCLE = bodyHashFor('packages/core/src/index.ts', 'coreCycle');
+const UTIL_CYCLE = bodyHashFor('packages/util/src/index.ts', 'utilCycle');
+/**
+ * The expected 2-member cross-package cycle's SCC signature, derived from the
+ * catalog's own occurrences (occId = `filePath:line:column`) so it tracks the
+ * harness's column model rather than a hardcoded guess.
+ */
+function cycleSignature(catalog) {
+    const occId = (simpleName, filePath) => {
+        const occ = (catalog.functions[simpleName] ?? []).find((o) => o.filePath === filePath);
+        if (occ === undefined)
+            throw new Error(`missing occurrence ${simpleName} in ${filePath}`);
+        return `${occ.filePath}:${String(occ.line)}:${String(occ.column)}`;
+    };
+    return [
+        occId('coreCycle', 'packages/core/src/index.ts'),
+        occId('utilCycle', 'packages/util/src/index.ts'),
+    ]
+        .sort()
+        .join('|');
+}
+// ── the gate ──────────────────────────────────────────────────────
+describe('repo-scale equivalence guardrail (Phase 4 gate)', () => {
+    it('sharded is FULLY equivalent to exact — function set + edges + SCCs (COLD)', async () => {
+        const exact = await buildSingleProgram();
+        const sharded = await buildSharded();
+        const eq = diffCatalogs(sharded, exact);
+        expect(eq.functionsOnlyInA).toEqual([]);
+        expect(eq.functionsOnlyInB).toEqual([]);
+        expect(eq.intraMismatches).toEqual([]);
+        expect(eq.crossDifferences).toEqual([]);
+        expect(eq.sccDifferences).toEqual([]);
+        expect(isEquivalent(eq)).toBe(true);
+    });
+    it('stays FULLY equivalent on a second (WARM) build — determinism leg', async () => {
+        const exact = await buildSingleProgram();
+        const shardedCold = await buildSharded();
+        const shardedWarm = await buildSharded();
+        // The two sharded builds are byte-identical (merge is a pure function of the
+        // fragment set; completion order is canonicalized away).
+        expect(structural(shardedWarm)).toEqual(structural(shardedCold));
+        // …and the warm build is equally fully-equivalent to exact.
+        expect(isEquivalent(diffCatalogs(shardedWarm, exact))).toBe(true);
+    });
+    it('recovers the deep cross-package chain (app → svc-b → svc-a → core/util)', async () => {
+        const sharded = await buildSharded();
+        const exact = await buildSingleProgram();
+        for (const cat of [sharded, exact]) {
+            expect(targetsOf(cat, 'appMain')).toContain(bodyHashFor('packages/svc-b/src/index.ts', 'svcBRun'));
+            expect(targetsOf(cat, 'svcBRun')).toContain(bodyHashFor('packages/svc-a/src/index.ts', 'svcARun'));
+            expect(targetsOf(cat, 'svcARun')).toContain(bodyHashFor('packages/core/src/index.ts', 'coreInit'));
+            expect(targetsOf(cat, 'svcARun')).toContain(bodyHashFor('packages/util/src/index.ts', 'utilFormat'));
+        }
+    });
+    it('forms the cross-package cycle SCC identically in both engines', async () => {
+        const exact = await buildSingleProgram();
+        const sharded = await buildSharded();
+        const exactSccs = sccSignatures(exact);
+        const shardedSccs = sccSignatures(sharded);
+        expect(shardedSccs).toEqual(exactSccs);
+        // The expected 2-member { coreCycle, utilCycle } component is actually present
+        // (not vacuously equal because neither engine found it).
+        expect(shardedSccs).toContain(cycleSignature(sharded));
+        // And the edges that form the cycle are recovered cross-shard in sharded.
+        const coreCycleEdges = sharded.functions.coreCycle?.[0]?.calls ?? [];
+        const utilCycleEdges = sharded.functions.utilCycle?.[0]?.calls ?? [];
+        expect(coreCycleEdges.some((e) => e.to.includes(UTIL_CYCLE) && e.crossShard)).toBe(true);
+        expect(utilCycleEdges.some((e) => e.to.includes(CORE_CYCLE) && e.crossShard)).toBe(true);
+    });
+    it('links the root-level and test-tree cross-package edges to app.appMain', async () => {
+        const sharded = await buildSharded();
+        const exact = await buildSingleProgram();
+        const appMain = bodyHashFor('packages/app/src/index.ts', 'appMain');
+        for (const cat of [sharded, exact]) {
+            expect(targetsOf(cat, 'rootRun')).toContain(appMain); // root shard → prod
+            expect(targetsOf(cat, 'testApp')).toContain(appMain); // test tree → prod
+        }
+    });
+});
+//# sourceMappingURL=equivalence-repo-scale.test.js.map

package/dist/cli/orchestrate/__tests__/equivalence-repo-scale.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"equivalence-repo-scale.test.js","sourceRoot":"","sources":["../../../../src/cli/orchestrate/__tests__/equivalence-repo-scale.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAEH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEvE,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAKrE,qEAAqE;AAErE,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;AAEjG,MAAM,GAAG,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;AAE3E,+EAA+E;AAC/E,MAAM,SAAS,GAAsC;IACnD,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IAC5C,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;IACpF,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IAChD,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IAChD,8EAA8E;IAC9E,2EAA2E;IAC3E,4EAA4E;IAC5E,4CAA4C;IAC5C,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;CACtF,CAAC;AAEF,+EAA+E;AAC/E,MAAM,UAAU,GAAsB,CAAC,IAAI,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAE7E,MAAM,SAAS,GAAsB,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,UAAU,CAAC,CAAC;AAEzF,2EAA2E;AAC3E,MAAM,MAAM,GAAqB;IAC/B,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,GAAG,CAC9B,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAS,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,IAAI,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CACzF;IACD,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,EAAE;CAC/D,CAAC;AAEF,MAAM,OAAO,GAAG,wBAAwB,CAAC;IACvC,WAAW,EAAE,YAAY;IACzB,MAAM,EAAE,MAAM;IACd,QAAQ,EAAE,SAAS;CACpB,CAAC,CAAC;AACH,MAAM,EAAE,kBAAkB,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC;AAElE,qEAAqE;AAErE,0EAA0E;AAC1E,SAAS,aAAa,CAAC,OAAgB;IACrC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACtC,OAAO,WAAW,CAAC,OAAO,CAAC;SACxB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;SAC/C,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,kFAAkF;AAClF,SAAS,UAAU,CAAC,OAAgB;IAClC,+EAA+E;IAC/E,+EAA+E;IAC/E,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAC1F,CAAC;AAED,6EAA6E;AAC7E,SAAS,SAAS,CAAC,OAAgB,EAAE,IAAY;IAC/C,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED,MAAM,UAAU,GAAG,WAAW,CAAC,4BAA4B,EAAE,WAAW,CAAC,CAAC;AAC1E,MAAM,UAAU,GAAG,WAAW,CAAC,4BAA4B,EAAE,WAAW,CAAC,CAAC;AAE1E;;;;GAIG;AACH,SAAS,cAAc,CAAC,OAAgB;IACtC,MAAM,KAAK,GAAG,CAAC,UAAkB,EAAE,QAAgB,EAAU,EAAE;QAC7D,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;QACvF,IAAI,GAAG,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,UAAU,OAAO,QAAQ,EAAE,CAAC,CAAC;QAC1F,OAAO,GAAG,GAAG,CAAC,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;IACrE,CAAC,CAAC;IACF,OAAO;QACL,KAAK,CAAC,WAAW,EAAE,4BAA4B,CAAC;QAChD,KAAK,CAAC,WAAW,EAAE,4BAA4B,CAAC;KACjD;SACE,IAAI,EAAE;SACN,IAAI,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED,qEAAqE;AAErE,QAAQ,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,EAAE,CAAC,2EAA2E,EAAE,KAAK,IAAI,EAAE;QACzF,MAAM,KAAK,GAAG,MAAM,kBAAkB,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,MAAM,YAAY,EAAE,CAAC;QAErC,MAAM,EAAE,GAAG,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxC,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxC,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACvC,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxC,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;QACjF,MAAM,KAAK,GAAG,MAAM,kBAAkB,EAAE,CAAC;QACzC,MAAM,WAAW,GAAG,MAAM,YAAY,EAAE,CAAC;QACzC,MAAM,WAAW,GAAG,MAAM,YAAY,EAAE,CAAC;QAEzC,6EAA6E;QAC7E,yDAAyD;QACzD,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;QACjE,4DAA4D;QAC5D,MAAM,CAAC,YAAY,CAAC,YAAY,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,MAAM,OAAO,GAAG,MAAM,YAAY,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,kBAAkB,EAAE,CAAC;QAEzC,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CACzC,WAAW,CAAC,6BAA6B,EAAE,SAAS,CAAC,CACtD,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CACzC,WAAW,CAAC,6BAA6B,EAAE,SAAS,CAAC,CACtD,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CACzC,WAAW,CAAC,4BAA4B,EAAE,UAAU,CAAC,CACtD,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CACzC,WAAW,CAAC,4BAA4B,EAAE,YAAY,CAAC,CACxD,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,KAAK,GAAG,MAAM,kBAAkB,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,MAAM,YAAY,EAAE,CAAC;QAErC,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,WAAW,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACvC,+EAA+E;QAC/E,yDAAyD;QACzD,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;QAEvD,0EAA0E;QAC1E,MAAM,cAAc,GAAG,OAAO,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;QACrE,MAAM,cAAc,GAAG,OAAO,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;QACrE,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzF,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,OAAO,GAAG,MAAM,YAAY,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,kBAAkB,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,WAAW,CAAC,2BAA2B,EAAE,SAAS,CAAC,CAAC;QAEpE,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,oBAAoB;YAC1E,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB;QAC3E,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/cli/orchestrate/__tests__/equivalence.test.d.ts

@@ -0,0 +1,47 @@
+/**
+ * Phase 4 equivalence guardrail: the SHARDED build must equal the
+ * SINGLE-PROGRAM build on a committed multi-package fixture — for the FULL
+ * `CatalogEquivalence` (function set + intra/cross edges + SCCs) — with the
+ * `canonicalize`-style phantom as a named regression case.
+ *
+ * The fixture (`../__fixtures__/multi-pkg`) is three tiny workspace packages
+ * plus a root-level file and an out-of-`src`-tree file:
+ *   - @fixture/a       — `main` calls `@fixture/foundation.canonicalize` (bare
+ *                        workspace specifier → genuine cross-package edge) and
+ *                        `./local.formatLocal` (relative → intra-package edge);
+ *                        `scripts/gen.ts` (OUT of src/) calls foundation too.
+ *   - @fixture/foundation — `canonicalize` is self-recursive (the leaf-util case).
+ *   - @fixture/b       — ALSO exports `canonicalize`, which pkg-a NEVER imports.
+ *                        A name-only resolver would link pkg-a → b.canonicalize:
+ *                        the phantom trap this gate catches.
+ *   - root-tool.ts     — a ROOT-LEVEL file (no packages/* unit → `:root` shard)
+ *                        whose bare import must link from the root shard.
+ *
+ * We build the SAME files two ways through the REAL engine pipeline (the shared
+ * `createEquivalenceHarness`): single-program → one `buildAndResolveCatalog`
+ * over ALL files; sharded → one per shard (emitting boundary calls) merged +
+ * linked by `mergeAndResolveShards`. Then `diffCatalogs(sharded, singleProgram)`
+ * must report EVERY partition empty. The harness's fixture-driven adapter reuses
+ * the SAME engine helpers the linker uses (`resolveSpecifierToPackage` +
+ * `buildExportIndex`), so the single-program oracle and the sharded linker agree
+ * by construction — and both decline the phantom.
+ *
+ * ─────────────────────────────────────────────────────────────────────────────
+ * SCOPE / WHAT THIS TEST DOES *NOT* COVER — read before trusting it as the gate:
+ *
+ * This is a FAST PR-gate SANITY check, NOT the authoritative equivalence gate.
+ * Because BOTH engines build through the SYNTHETIC text adapter that reuses the
+ * production cross-package helpers, they AGREE BY CONSTRUCTION — this test
+ * structurally CANNOT model the REAL TypeScript `dist/*.d.ts` resolution, where
+ * a `@scope/pkg` import binds to a BUILT, BODILESS declaration file. That is the
+ * exact divergence class the exact-engine-under-resolution bug lived in, and
+ * this fixture-driven test could never have caught it.
+ *
+ * The REAL guardrail is the dogfood CI step `graph-equivalence-check` (npm
+ * `graph:equivalence:ci`), which builds BOTH catalogs on this real monorepo with
+ * the real adapter (real dist/*.d.ts resolution) and ratchets the production
+ * divergence against `.config/graph-equivalence-budget.json`. Do NOT mistake a
+ * green run here for byte-equivalence on real code.
+ */
+export {};
+//# sourceMappingURL=equivalence.test.d.ts.map

package/dist/cli/orchestrate/__tests__/equivalence.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"equivalence.test.d.ts","sourceRoot":"","sources":["../../../../src/cli/orchestrate/__tests__/equivalence.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG"}

package/dist/cli/orchestrate/__tests__/equivalence.test.js

@@ -0,0 +1,259 @@
+/**
+ * Phase 4 equivalence guardrail: the SHARDED build must equal the
+ * SINGLE-PROGRAM build on a committed multi-package fixture — for the FULL
+ * `CatalogEquivalence` (function set + intra/cross edges + SCCs) — with the
+ * `canonicalize`-style phantom as a named regression case.
+ *
+ * The fixture (`../__fixtures__/multi-pkg`) is three tiny workspace packages
+ * plus a root-level file and an out-of-`src`-tree file:
+ *   - @fixture/a       — `main` calls `@fixture/foundation.canonicalize` (bare
+ *                        workspace specifier → genuine cross-package edge) and
+ *                        `./local.formatLocal` (relative → intra-package edge);
+ *                        `scripts/gen.ts` (OUT of src/) calls foundation too.
+ *   - @fixture/foundation — `canonicalize` is self-recursive (the leaf-util case).
+ *   - @fixture/b       — ALSO exports `canonicalize`, which pkg-a NEVER imports.
+ *                        A name-only resolver would link pkg-a → b.canonicalize:
+ *                        the phantom trap this gate catches.
+ *   - root-tool.ts     — a ROOT-LEVEL file (no packages/* unit → `:root` shard)
+ *                        whose bare import must link from the root shard.
+ *
+ * We build the SAME files two ways through the REAL engine pipeline (the shared
+ * `createEquivalenceHarness`): single-program → one `buildAndResolveCatalog`
+ * over ALL files; sharded → one per shard (emitting boundary calls) merged +
+ * linked by `mergeAndResolveShards`. Then `diffCatalogs(sharded, singleProgram)`
+ * must report EVERY partition empty. The harness's fixture-driven adapter reuses
+ * the SAME engine helpers the linker uses (`resolveSpecifierToPackage` +
+ * `buildExportIndex`), so the single-program oracle and the sharded linker agree
+ * by construction — and both decline the phantom.
+ *
+ * ─────────────────────────────────────────────────────────────────────────────
+ * SCOPE / WHAT THIS TEST DOES *NOT* COVER — read before trusting it as the gate:
+ *
+ * This is a FAST PR-gate SANITY check, NOT the authoritative equivalence gate.
+ * Because BOTH engines build through the SYNTHETIC text adapter that reuses the
+ * production cross-package helpers, they AGREE BY CONSTRUCTION — this test
+ * structurally CANNOT model the REAL TypeScript `dist/*.d.ts` resolution, where
+ * a `@scope/pkg` import binds to a BUILT, BODILESS declaration file. That is the
+ * exact divergence class the exact-engine-under-resolution bug lived in, and
+ * this fixture-driven test could never have caught it.
+ *
+ * The REAL guardrail is the dogfood CI step `graph-equivalence-check` (npm
+ * `graph:equivalence:ci`), which builds BOTH catalogs on this real monorepo with
+ * the real adapter (real dist/*.d.ts resolution) and ratchets the production
+ * divergence against `.config/graph-equivalence-budget.json`. Do NOT mistake a
+ * green run here for byte-equivalence on real code.
+ */
+import { dirname, join } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { describe, expect, it } from 'vitest';
+import { diffCatalogs, diffCatalogsByEdge, isEquivalent } from '../cross-shard-resolve.js';
+import { createEquivalenceHarness } from './_equivalence-harness.js';
+// ── fixture geography ─────────────────────────────────────────────
+const FIXTURE_ROOT = join(dirname(fileURLToPath(import.meta.url)), '..', '__fixtures__', 'multi-pkg');
+/** The three package roots (absolute) — one shard each. */
+const PKG_DIRS = {
+    a: join(FIXTURE_ROOT, 'packages', 'a'),
+    foundation: join(FIXTURE_ROOT, 'packages', 'foundation'),
+    b: join(FIXTURE_ROOT, 'packages', 'b'),
+};
+/**
+ * Every fixture `.ts` source, absolute, grouped by package. pkg-a additionally
+ * owns an OUT-OF-`src`-tree file (`scripts/gen.ts`): it lives under packages/a
+ * so the partitioner assigns it to the pkg-a shard, but a `src`-only tsconfig
+ * would exclude it — the canonical-file-set gap Phase 1 closed.
+ */
+const PKG_FILES = {
+    a: [
+        join(PKG_DIRS.a, 'src', 'main.ts'),
+        join(PKG_DIRS.a, 'src', 'local.ts'),
+        join(PKG_DIRS.a, 'scripts', 'gen.ts'),
+    ],
+    foundation: [join(PKG_DIRS.foundation, 'src', 'canonicalize.ts')],
+    b: [join(PKG_DIRS.b, 'src', 'util.ts')],
+};
+/**
+ * A ROOT-LEVEL file under NO packages/* unit → the synthetic `:root` shard. A
+ * bare workspace import from a root file (whose `packageOf` is `<unknown>`) must
+ * link to the imported package's unique export, and the `:root` shard's rootDir
+ * (which has no package.json) must not crash the manifest index.
+ */
+const ROOT_FILES = [join(FIXTURE_ROOT, 'root-tool.ts')];
+const ALL_FILES = [...Object.values(PKG_FILES).flat(), ...ROOT_FILES];
+/**
+ * The four shards: one per workspace package + the synthetic `:root` shard
+ * (rootDir = FIXTURE_ROOT). The root shard's rootDir has NO package.json, so
+ * `buildPackageManifestIndex` skips it — it stays a non-resolvable shard whose
+ * files still merge and whose bare imports link against the OTHER packages'
+ * manifests. Mirrors `partitionFilesIntoShards` (root shard last).
+ */
+const FIXTURE_SHARDS = [
+    { id: 'pkg:a', rootDir: PKG_DIRS.a, files: [...PKG_FILES.a] },
+    { id: 'pkg:foundation', rootDir: PKG_DIRS.foundation, files: [...PKG_FILES.foundation] },
+    { id: 'pkg:b', rootDir: PKG_DIRS.b, files: [...PKG_FILES.b] },
+    { id: ':root', rootDir: FIXTURE_ROOT, files: [...ROOT_FILES] },
+];
+const harness = createEquivalenceHarness({
+    fixtureRoot: FIXTURE_ROOT,
+    shards: FIXTURE_SHARDS,
+    allFiles: ALL_FILES,
+});
+const { buildSingleProgram, buildSharded, bodyHashFor } = harness;
+// ── edge-lookup helpers for the named assertions ──────────────────
+const FOUNDATION_CANON = bodyHashFor('packages/foundation/src/canonicalize.ts', 'canonicalize');
+const B_CANON = bodyHashFor('packages/b/src/util.ts', 'canonicalize');
+const A_LOCAL = bodyHashFor('packages/a/src/local.ts', 'formatLocal');
+function mainEdges(catalog) {
+    return catalog.functions.main?.[0]?.calls ?? [];
+}
+function targetsOf(catalog) {
+    return mainEdges(catalog).flatMap((e) => [...e.to]);
+}
+/** Every call edge of a single named occurrence (first occurrence of `name`). */
+function edgesOf(catalog, name) {
+    return catalog.functions[name]?.[0]?.calls ?? [];
+}
+/** Sorted, deduped set of project-relative file paths present in a catalog. */
+function filesOf(catalog) {
+    return [
+        ...new Set(Object.values(catalog.functions)
+            .flat()
+            .map((o) => o.filePath)),
+    ].sort();
+}
+// ── the gate ──────────────────────────────────────────────────────
+describe('exact-sharding equivalence guardrail', () => {
+    it('sharded build equals single-program build on BOTH intra- and cross-package edges', async () => {
+        const singleProgram = await buildSingleProgram();
+        const sharded = await buildSharded();
+        const diff = diffCatalogsByEdge(sharded, singleProgram);
+        // Intra-package edges must already match (Phase 0/Phase 2 invariant)…
+        expect(diff.intraMismatches).toEqual([]);
+        // …and with semantic linking, cross-package edges must match too: a
+        // non-empty crossDifferences is a correctness regression (Phase 4).
+        expect(diff.crossDifferences).toEqual([]);
+    });
+    it('is FULLY equivalent — function set + edges + SCCs all empty (Phase 4 gate)', async () => {
+        const singleProgram = await buildSingleProgram();
+        const sharded = await buildSharded();
+        const eq = diffCatalogs(sharded, singleProgram);
+        // Function set is byte-identical (the merge-dedup column fix) …
+        expect(eq.functionsOnlyInA).toEqual([]);
+        expect(eq.functionsOnlyInB).toEqual([]);
+        // … edges match on both partitions …
+        expect(eq.intraMismatches).toEqual([]);
+        expect(eq.crossDifferences).toEqual([]);
+        // … and the SCC membership (cycle-finding driver) matches.
+        expect(eq.sccDifferences).toEqual([]);
+        expect(isEquivalent(eq)).toBe(true);
+    });
+    it('builds the two catalogs over the same project-relative file set', async () => {
+        const singleProgram = await buildSingleProgram();
+        const sharded = await buildSharded();
+        expect(filesOf(sharded)).toEqual(filesOf(singleProgram));
+        // The set includes the root-level file and the out-of-src-tree file.
+        expect(filesOf(sharded)).toContain('root-tool.ts');
+        expect(filesOf(sharded)).toContain('packages/a/scripts/gen.ts');
+    });
+    it('links the ROOT-shard file cross-package edge (rootMain → foundation.canonicalize)', async () => {
+        const sharded = await buildSharded();
+        const singleProgram = await buildSingleProgram();
+        // A root-level file (under no packages/* unit, `:root` shard) must link its
+        // bare workspace import to the unique export — the `:root` shard neither
+        // crashes the manifest index nor declines a genuine boundary call.
+        const rootEdge = edgesOf(sharded, 'rootMain').find((e) => e.to.includes(FOUNDATION_CANON));
+        expect(rootEdge?.crossShard).toBe(true);
+        expect(rootEdge?.resolution).toBe('semantic');
+        // And the single-program oracle resolves the SAME edge (no cross-shard flag).
+        expect(edgesOf(singleProgram, 'rootMain').flatMap((e) => [...e.to])).toContain(FOUNDATION_CANON);
+    });
+    it('links the OUT-OF-src-tree file cross-package edge (genFixtures → foundation.canonicalize)', async () => {
+        const sharded = await buildSharded();
+        const singleProgram = await buildSingleProgram();
+        // packages/a/scripts/gen.ts is in the pkg-a shard but outside src/ — the
+        // canonical-file-set inclusion gap. Its cross-package call must link in both.
+        const genEdge = edgesOf(sharded, 'genFixtures').find((e) => e.to.includes(FOUNDATION_CANON));
+        expect(genEdge?.crossShard).toBe(true);
+        expect(genEdge?.resolution).toBe('semantic');
+        expect(edgesOf(singleProgram, 'genFixtures').flatMap((e) => [...e.to])).toContain(FOUNDATION_CANON);
+    });
+    it('keeps the genuine pkg-a → foundation.canonicalize cross-package edge', async () => {
+        const sharded = await buildSharded();
+        expect(targetsOf(sharded)).toContain(FOUNDATION_CANON);
+        // And it is recovered as a semantic cross-shard edge in the sharded build.
+        const edge = mainEdges(sharded).find((e) => e.to.includes(FOUNDATION_CANON));
+        expect(edge?.crossShard).toBe(true);
+        expect(edge?.resolution).toBe('semantic');
+    });
+    it('NEVER links the phantom pkg-a → b.canonicalize (name-collision trap)', async () => {
+        const singleProgram = await buildSingleProgram();
+        const sharded = await buildSharded();
+        expect(targetsOf(singleProgram)).not.toContain(B_CANON);
+        expect(targetsOf(sharded)).not.toContain(B_CANON);
+    });
+    it('keeps the relative intra-package edge pkg-a main → ./local.formatLocal', async () => {
+        const sharded = await buildSharded();
+        const singleProgram = await buildSingleProgram();
+        expect(targetsOf(sharded)).toContain(A_LOCAL);
+        expect(targetsOf(singleProgram)).toContain(A_LOCAL);
+    });
+    it('preserves the self-recursive foundation.canonicalize edge', async () => {
+        const sharded = await buildSharded();
+        const selfCalls = sharded.functions.canonicalize?.find((o) => o.filePath === 'packages/foundation/src/canonicalize.ts')?.calls;
+        expect(selfCalls?.some((e) => e.to.includes(FOUNDATION_CANON))).toBe(true);
+    });
+    // ── the gate has teeth (regression-detector guard) ──────────────
+    //
+    // The assertions above prove the SHIPPING semantic linker agrees with the
+    // single-program oracle (crossDifferences empty) and declines the phantom.
+    // This pair proves the gate would actually FAIL if the linker regressed — that
+    // the empty `crossDifferences` is a real signal, not a vacuous pass. We do NOT
+    // revert production code (CLAUDE.md / Phase 4): instead we synthesize the two
+    // canonical regressions on a COPY of the real sharded catalog and assert
+    // `diffCatalogsByEdge` lands them in `crossDifferences`.
+    it('FAILS the gate if the linker degrades to a name-only phantom (b.canonicalize)', async () => {
+        const singleProgram = await buildSingleProgram();
+        const sharded = await buildSharded();
+        // Sanity: the honest sharded build matches the oracle (the gate's green case).
+        expect(diffCatalogsByEdge(sharded, singleProgram).crossDifferences).toEqual([]);
+        // Simulate the OLD name-only fallback: at main's genuine cross-package edge,
+        // swap the target from foundation.canonicalize → b.canonicalize (the phantom
+        // a name-only resolver fabricates by matching the globally-unique-ish simple
+        // name into a package pkg-a never imported).
+        const degraded = rewriteCrossEdgeTarget(sharded, FOUNDATION_CANON, B_CANON);
+        expect(targetsOf(degraded)).toContain(B_CANON); // the phantom is now present
+        const diff = diffCatalogsByEdge(degraded, singleProgram);
+        expect(diff.crossDifferences.length).toBeGreaterThan(0); // gate catches it
+    });
+    it('FAILS the gate if the linker DROPS the genuine cross-package edge', async () => {
+        const singleProgram = await buildSingleProgram();
+        const sharded = await buildSharded();
+        // The other regression direction: the linker declines an edge the single
+        // program resolves (e.g. it stopped following the bare-specifier export
+        // link). Clear main's cross-package target → an empty `to` at that site.
+        const dropped = rewriteCrossEdgeTarget(sharded, FOUNDATION_CANON, undefined);
+        expect(targetsOf(dropped)).not.toContain(FOUNDATION_CANON);
+        const diff = diffCatalogsByEdge(dropped, singleProgram);
+        expect(diff.crossDifferences.length).toBeGreaterThan(0); // gate catches it
+    });
+});
+/**
+ * Return a COPY of `catalog` in which every cross-shard edge whose target set
+ * contains `from` has it replaced by `to` (or removed when `to === undefined`).
+ * Used ONLY by the regression-detector guards to synthesize a degraded linker
+ * output without touching production resolution code.
+ */
+function rewriteCrossEdgeTarget(catalog, from, to) {
+    const functions = {};
+    for (const [name, occs] of Object.entries(catalog.functions)) {
+        if (!occs)
+            continue;
+        functions[name] = occs.map((o) => ({
+            ...o,
+            calls: o.calls.map((e) => e.crossShard && e.to.includes(from)
+                ? { ...e, to: to === undefined ? [] : e.to.map((t) => (t === from ? to : t)) }
+                : e),
+        }));
+    }
+    return { ...catalog, functions };
+}
+//# sourceMappingURL=equivalence.test.js.map

package/dist/cli/orchestrate/__tests__/equivalence.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"equivalence.test.js","sourceRoot":"","sources":["../../../../src/cli/orchestrate/__tests__/equivalence.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE3F,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAKrE,qEAAqE;AAErE,MAAM,YAAY,GAAG,IAAI,CACvB,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EACvC,IAAI,EACJ,cAAc,EACd,WAAW,CACZ,CAAC;AAEF,2DAA2D;AAC3D,MAAM,QAAQ,GAAG;IACf,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,UAAU,EAAE,GAAG,CAAC;IACtC,UAAU,EAAE,IAAI,CAAC,YAAY,EAAE,UAAU,EAAE,YAAY,CAAC;IACxD,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,UAAU,EAAE,GAAG,CAAC;CAC9B,CAAC;AAEX;;;;;GAKG;AACH,MAAM,SAAS,GAAqD;IAClE,CAAC,EAAE;QACD,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC;QAClC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;QACnC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,SAAS,EAAE,QAAQ,CAAC;KACtC;IACD,UAAU,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,KAAK,EAAE,iBAAiB,CAAC,CAAC;IACjE,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;CACxC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,GAAsB,CAAC,IAAI,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;AAE3E,MAAM,SAAS,GAAsB,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,UAAU,CAAC,CAAC;AAEzF;;;;;;GAMG;AACH,MAAM,cAAc,GAAqB;IACvC,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE;IAC7D,EAAE,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,EAAE;IACxF,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE;IAC7D,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,EAAE;CAC/D,CAAC;AAEF,MAAM,OAAO,GAAG,wBAAwB,CAAC;IACvC,WAAW,EAAE,YAAY;IACzB,MAAM,EAAE,cAAc;IACtB,QAAQ,EAAE,SAAS;CACpB,CAAC,CAAC;AACH,MAAM,EAAE,kBAAkB,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC;AAElE,qEAAqE;AAErE,MAAM,gBAAgB,GAAG,WAAW,CAAC,yCAAyC,EAAE,cAAc,CAAC,CAAC;AAChG,MAAM,OAAO,GAAG,WAAW,CAAC,wBAAwB,EAAE,cAAc,CAAC,CAAC;AACtE,MAAM,OAAO,GAAG,WAAW,CAAC,yBAAyB,EAAE,aAAa,CAAC,CAAC;AAEtE,SAAS,SAAS,CAAC,OAAgB;IACjC,OAAO,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,SAAS,CAAC,OAAgB;IACjC,OAAO,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACtD,CAAC;AAED,iFAAiF;AACjF,SAAS,OAAO,CAAC,OAAgB,EAAE,IAAY;IAC7C,OAAO,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;AACnD,CAAC;AAED,+EAA+E;AAC/E,SAAS,OAAO,CAAC,OAAgB;IAC/B,OAAO;QACL,GAAG,IAAI,GAAG,CACR,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;aAC7B,IAAI,EAAE;aACN,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAC1B;KACF,CAAC,IAAI,EAAE,CAAC;AACX,CAAC;AAED,qEAAqE;AAErE,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,EAAE,CAAC,kFAAkF,EAAE,KAAK,IAAI,EAAE;QAChG,MAAM,aAAa,GAAG,MAAM,kBAAkB,EAAE,CAAC;QACjD,MAAM,OAAO,GAAG,MAAM,YAAY,EAAE,CAAC;QAErC,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;QAExD,sEAAsE;QACtE,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzC,oEAAoE;QACpE,oEAAoE;QACpE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,KAAK,IAAI,EAAE;QAC1F,MAAM,aAAa,GAAG,MAAM,kBAAkB,EAAE,CAAC;QACjD,MAAM,OAAO,GAAG,MAAM,YAAY,EAAE,CAAC;QAErC,MAAM,EAAE,GAAG,YAAY,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;QAChD,gEAAgE;QAChE,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxC,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxC,qCAAqC;QACrC,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACvC,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxC,2DAA2D;QAC3D,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,KAAK,IAAI,EAAE;QAC/E,MAAM,aAAa,GAAG,MAAM,kBAAkB,EAAE,CAAC;QACjD,MAAM,OAAO,GAAG,MAAM,YAAY,EAAE,CAAC;QACrC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;QACzD,qEAAqE;QACrE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACnD,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,KAAK,IAAI,EAAE;QACjG,MAAM,OAAO,GAAG,MAAM,YAAY,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,MAAM,kBAAkB,EAAE,CAAC;QACjD,4EAA4E;QAC5E,yEAAyE;QACzE,mEAAmE;QACnE,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAC3F,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC9C,8EAA8E;QAC9E,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAC5E,gBAAgB,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2FAA2F,EAAE,KAAK,IAAI,EAAE;QACzG,MAAM,OAAO,GAAG,MAAM,YAAY,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,MAAM,kBAAkB,EAAE,CAAC;QACjD,yEAAyE;QACzE,8EAA8E;QAC9E,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAC7F,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7C,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAC/E,gBAAgB,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,KAAK,IAAI,EAAE;QACpF,MAAM,OAAO,GAAG,MAAM,YAAY,EAAE,CAAC;QACrC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QACvD,2EAA2E;QAC3E,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAC7E,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,KAAK,IAAI,EAAE;QACpF,MAAM,aAAa,GAAG,MAAM,kBAAkB,EAAE,CAAC;QACjD,MAAM,OAAO,GAAG,MAAM,YAAY,EAAE,CAAC;QACrC,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACxD,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,MAAM,OAAO,GAAG,MAAM,YAAY,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,MAAM,kBAAkB,EAAE,CAAC;QACjD,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,KAAK,IAAI,EAAE;QACzE,MAAM,OAAO,GAAG,MAAM,YAAY,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CACpD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,yCAAyC,CAChE,EAAE,KAAK,CAAC;QACT,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,mEAAmE;IACnE,EAAE;IACF,0EAA0E;IAC1E,2EAA2E;IAC3E,+EAA+E;IAC/E,+EAA+E;IAC/E,8EAA8E;IAC9E,yEAAyE;IACzE,yDAAyD;IAEzD,EAAE,CAAC,+EAA+E,EAAE,KAAK,IAAI,EAAE;QAC7F,MAAM,aAAa,GAAG,MAAM,kBAAkB,EAAE,CAAC;QACjD,MAAM,OAAO,GAAG,MAAM,YAAY,EAAE,CAAC;QAErC,+EAA+E;QAC/E,MAAM,CAAC,kBAAkB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAEhF,6EAA6E;QAC7E,6EAA6E;QAC7E,6EAA6E;QAC7E,6CAA6C;QAC7C,MAAM,QAAQ,GAAG,sBAAsB,CAAC,OAAO,EAAE,gBAAgB,EAAE,OAAO,CAAC,CAAC;QAC5E,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,6BAA6B;QAE7E,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;QACzD,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;QACjF,MAAM,aAAa,GAAG,MAAM,kBAAkB,EAAE,CAAC;QACjD,MAAM,OAAO,GAAG,MAAM,YAAY,EAAE,CAAC;QAErC,yEAAyE;QACzE,wEAAwE;QACxE,yEAAyE;QACzE,MAAM,OAAO,GAAG,sBAAsB,CAAC,OAAO,EAAE,gBAAgB,EAAE,SAAS,CAAC,CAAC;QAC7E,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAE3D,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;QACxD,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH;;;;;GAKG;AACH,SAAS,sBAAsB,CAAC,OAAgB,EAAE,IAAY,EAAE,EAAsB;IACpF,MAAM,SAAS,GAAyC,EAAE,CAAC;IAC3D,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,GAAG,CAAC;YACJ,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACvB,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACjC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;gBAC9E,CAAC,CAAC,CAAC,CACN;SACF,CAAC,CAAC,CAAC;IACN,CAAC;IACD,OAAO,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,CAAC;AACnC,CAAC"}

package/dist/cli/orchestrate/__tests__/exact-boundary-recovery.test.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Exact-engine boundary recovery (Phase 3, Option A) — the helpers that make
+ * the single-program (exact) catalog run the SAME post-merge linker as the
+ * sharded engine. Covers: the no-op early returns, the package-root walk
+ * (found / nested-ancestor / declines at the project root), per-directory
+ * memoization, and the end-to-end recovery path against a real on-disk package.
+ */
+export {};
+//# sourceMappingURL=exact-boundary-recovery.test.d.ts.map

package/dist/cli/orchestrate/__tests__/exact-boundary-recovery.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exact-boundary-recovery.test.d.ts","sourceRoot":"","sources":["../../../../src/cli/orchestrate/__tests__/exact-boundary-recovery.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}