@opensip-cli/graph 0.1.0

package/dist/cli/orchestrate/__tests__/cross-shard-resolve.test.js

@@ -0,0 +1,509 @@
+/**
+ * Cross-shard merge & semantic boundary-linking correctness.
+ *
+ * The headline invariant: merging shard fragments and LINKING the boundary
+ * calls against the export symbol table recovers cross-package edges that the
+ * old fan-out dropped — labeled `resolution:'semantic'`, `crossShard:true`,
+ * `confidence:'high'` — but ONLY when the import specifier + callee name pin a
+ * UNIQUE exported occurrence. On any ambiguity the linker DECLINES (empty
+ * target) rather than fabricate a phantom edge. Intra-shard edges are untouched.
+ */
+import { describe, expect, it } from 'vitest';
+import { diffCatalogsByEdge, mergeShardFragments, resolveCrossBoundaryCalls, } from '../cross-shard-resolve.js';
+function occ(simpleName, filePath, bodyHash, calls = []) {
+    return {
+        bodyHash,
+        simpleName,
+        qualifiedName: `${filePath}.${simpleName}`,
+        filePath,
+        line: 1,
+        column: 0,
+        endLine: 1,
+        kind: 'function-declaration',
+        params: [],
+        returnType: null,
+        enclosingClass: null,
+        decorators: [],
+        visibility: 'exported',
+        inTestFile: false,
+        definedInGenerated: false,
+        calls,
+    };
+}
+function fragment(language, ...occs) {
+    const functions = {};
+    for (const o of occs) {
+        const bucket = functions[o.simpleName];
+        if (bucket)
+            bucket.push(o);
+        else
+            functions[o.simpleName] = [o];
+    }
+    return {
+        version: '3.0',
+        tool: 'graph',
+        language,
+        builtAt: 'x',
+        cacheKey: `key-${language}`,
+        resolutionMode: 'exact',
+        functions,
+    };
+}
+/** Build an in-memory manifest index without touching disk. */
+function manifests(...entries) {
+    const index = new Map();
+    for (const m of entries)
+        index.set(m.name, m);
+    return index;
+}
+/** Manifest mapping the specifier `@scope/pkg<segment>` → `packages/<dir>`. */
+function manifest(name, dir, exportsMap) {
+    return exportsMap === undefined ? { name, dir } : { name, dir, exportsMap };
+}
+const EMPTY_MANIFESTS = new Map();
+function crossEdge(catalog) {
+    return (catalog.functions.caller?.[0]?.calls.find((e) => e.crossShard) ??
+        catalog.functions.mainA?.[0]?.calls.find((e) => e.crossShard));
+}
+describe('mergeShardFragments', () => {
+    it('unions occurrences from every fragment, preserving intra-shard calls', () => {
+        const a = fragment('typescript', occ('mainA', 'pkgA/a.ts', 'A', [
+            {
+                to: ['LOCAL'],
+                line: 2,
+                column: 4,
+                resolution: 'static',
+                confidence: 'high',
+                text: 'localA()',
+            },
+        ]));
+        const b = fragment('typescript', occ('helperB', 'pkgB/b.ts', 'B'));
+        const merged = mergeShardFragments([a, b], ['pkgA/a.ts', 'pkgB/b.ts']);
+        expect(Object.keys(merged.functions).sort()).toEqual(['helperB', 'mainA']);
+        expect(merged.functions.mainA?.[0]?.calls[0]?.to).toEqual(['LOCAL']);
+        expect(merged.resolutionMode).toBe('exact');
+    });
+    it('dedups an occurrence that appears in two fragments', () => {
+        const dup = occ('shared', 'common.ts', 'H');
+        const merged = mergeShardFragments([fragment('typescript', dup), fragment('typescript', dup)], ['common.ts']);
+        expect(merged.functions.shared).toHaveLength(1);
+    });
+});
+describe('resolveCrossBoundaryCalls', () => {
+    const merged = mergeShardFragments([
+        fragment('typescript', occ('mainA', 'packages/pkg-a/index.ts', 'A')),
+        fragment('typescript', occ('helperB', 'packages/pkg-b/index.ts', 'B')),
+    ], ['packages/pkg-a/index.ts', 'packages/pkg-b/index.ts']);
+    const mIndex = manifests(manifest('@scope/pkgb', 'packages/pkg-b'));
+    it('links a bare-specifier call to a unique export as a semantic crossShard edge', () => {
+        const bc = {
+            ownerHash: 'A',
+            ownerFile: 'packages/pkg-a/index.ts',
+            calleeName: 'helperB',
+            importSpecifier: '@scope/pkgb', // bare → resolved via manifest + export index
+            line: 2,
+            column: 9,
+            text: 'helperB()',
+        };
+        const { catalog, boundaryStats } = resolveCrossBoundaryCalls(merged, [bc], mIndex);
+        const edge = catalog.functions.mainA?.[0]?.calls.find((e) => e.crossShard);
+        expect(edge).toBeDefined();
+        expect(edge?.resolution).toBe('semantic');
+        expect(edge?.crossShard).toBe(true);
+        expect(edge?.to).toEqual(['B']);
+        expect(edge?.confidence).toBe('high'); // unique export → high
+        expect(boundaryStats.totalCallSites).toBe(1);
+        expect(boundaryStats.resolvedHigh).toBe(1);
+    });
+    it('pins a relative-specifier call to the resolved file (high confidence)', () => {
+        // pkg-a/index.ts imports '../pkg-b/index.js' → resolves to pkg-b/index.ts.
+        const bc = {
+            ownerHash: 'A',
+            ownerFile: 'packages/pkg-a/index.ts',
+            calleeName: 'helperB',
+            importSpecifier: '../pkg-b/index.js',
+            line: 2,
+            column: 9,
+            text: 'helperB()',
+        };
+        const { catalog } = resolveCrossBoundaryCalls(merged, [bc], EMPTY_MANIFESTS);
+        const edge = catalog.functions.mainA?.[0]?.calls.find((e) => e.crossShard);
+        expect(edge?.to).toEqual(['B']);
+        expect(edge?.resolution).toBe('semantic');
+        expect(edge?.confidence).toBe('high');
+    });
+    it('declines a call whose specifier maps to no known workspace package', () => {
+        const bc = {
+            ownerHash: 'A',
+            ownerFile: 'packages/pkg-a/index.ts',
+            calleeName: 'chalk', // external npm
+            importSpecifier: 'chalk',
+            line: 3,
+            column: 1,
+            text: 'chalk()',
+        };
+        const { catalog, boundaryStats } = resolveCrossBoundaryCalls(merged, [bc], mIndex);
+        // Phase 6: a declined cross-shard call persists NO standalone `to: []`
+        // crossShard edge (parity with exact, which emits no per-site catalog edge).
+        // The decline is still counted in the boundary stats.
+        const edge = catalog.functions.mainA?.[0]?.calls.find((e) => e.crossShard);
+        expect(edge).toBeUndefined();
+        expect(boundaryStats.unresolved).toBe(1);
+    });
+    it('declines a name the resolved package does not export', () => {
+        const bc = {
+            ownerHash: 'A',
+            ownerFile: 'packages/pkg-a/index.ts',
+            calleeName: 'notExported', // package pkg-b exports helperB only
+            importSpecifier: '@scope/pkgb',
+            line: 4,
+            column: 1,
+            text: 'notExported()',
+        };
+        const { catalog } = resolveCrossBoundaryCalls(merged, [bc], mIndex);
+        // Phase 6: declined → no persisted crossShard placeholder edge.
+        expect(crossEdge(catalog)).toBeUndefined();
+    });
+    it('replaces the unresolved intra-shard placeholder at the same site', () => {
+        const withPlaceholder = mergeShardFragments([
+            fragment('typescript', occ('mainA', 'packages/pkg-a/index.ts', 'A', [
+                {
+                    to: [],
+                    line: 2,
+                    column: 9,
+                    resolution: 'unknown',
+                    confidence: 'low',
+                    text: 'helperB()',
+                },
+            ])),
+            fragment('typescript', occ('helperB', 'packages/pkg-b/index.ts', 'B')),
+        ], ['packages/pkg-a/index.ts', 'packages/pkg-b/index.ts']);
+        const bc = {
+            ownerHash: 'A',
+            ownerFile: 'packages/pkg-a/index.ts',
+            calleeName: 'helperB',
+            importSpecifier: '@scope/pkgb',
+            line: 2,
+            column: 9,
+            text: 'helperB()',
+        };
+        const { catalog } = resolveCrossBoundaryCalls(withPlaceholder, [bc], mIndex);
+        const calls = catalog.functions.mainA?.[0]?.calls ?? [];
+        // Exactly one edge at line 2:9 — the recovered one, not the placeholder.
+        expect(calls.filter((e) => e.line === 2 && e.column === 9)).toHaveLength(1);
+        expect(calls[0]?.crossShard).toBe(true);
+    });
+});
+describe('resolveCrossBoundaryCalls — cross-package method (targetFile pin)', () => {
+    it('pins a method boundary call by (targetFile + calleeName) to the unique occurrence', () => {
+        const merged = mergeShardFragments([
+            fragment('typescript', occ('caller', 'packages/pkg-a/index.ts', 'A')),
+            fragment('typescript', occ('getAll', 'packages/pkg-b/registry.ts', 'B')),
+        ], ['packages/pkg-a/index.ts', 'packages/pkg-b/registry.ts']);
+        // No importSpecifier — a method call. The checker attested the target file.
+        const bc = {
+            ownerHash: 'A',
+            ownerFile: 'packages/pkg-a/index.ts',
+            calleeName: 'getAll',
+            targetFile: 'packages/pkg-b/registry.ts',
+            line: 2,
+            column: 9,
+            text: 'recv.getAll()',
+        };
+        const { catalog } = resolveCrossBoundaryCalls(merged, [bc], EMPTY_MANIFESTS);
+        const edge = catalog.functions.caller?.[0]?.calls.find((e) => e.crossShard);
+        expect(edge?.to).toEqual(['B']);
+        expect(edge?.resolution).toBe('semantic');
+        expect(edge?.confidence).toBe('high');
+    });
+    it('declines when the target file holds NO occurrence of the method name', () => {
+        const merged = mergeShardFragments([fragment('typescript', occ('caller', 'packages/pkg-a/index.ts', 'A'))], ['packages/pkg-a/index.ts']);
+        const bc = {
+            ownerHash: 'A',
+            ownerFile: 'packages/pkg-a/index.ts',
+            calleeName: 'getAll',
+            targetFile: 'packages/pkg-b/registry.ts', // not in the catalog
+            line: 2,
+            column: 9,
+            text: 'recv.getAll()',
+        };
+        const { catalog } = resolveCrossBoundaryCalls(merged, [bc], EMPTY_MANIFESTS);
+        expect(catalog.functions.caller?.[0]?.calls.find((e) => e.crossShard)?.to ?? []).toEqual([]);
+    });
+    it('declines on same-name ambiguity WITHIN the target file (>1 distinct bodyHash)', () => {
+        const merged = mergeShardFragments([
+            fragment('typescript', occ('caller', 'packages/pkg-a/index.ts', 'A')),
+            fragment('typescript', occ('getAll', 'packages/pkg-b/registry.ts', 'B1'), occ('getAll', 'packages/pkg-b/registry.ts', 'B2')),
+        ], ['packages/pkg-a/index.ts', 'packages/pkg-b/registry.ts']);
+        const bc = {
+            ownerHash: 'A',
+            ownerFile: 'packages/pkg-a/index.ts',
+            calleeName: 'getAll',
+            targetFile: 'packages/pkg-b/registry.ts',
+            line: 2,
+            column: 9,
+            text: 'recv.getAll()',
+        };
+        const { catalog } = resolveCrossBoundaryCalls(merged, [bc], EMPTY_MANIFESTS);
+        expect(catalog.functions.caller?.[0]?.calls.find((e) => e.crossShard)?.to ?? []).toEqual([]);
+    });
+    it('declines an INTERFACE-attested method even when an implementor exists elsewhere (polymorphic dispatch stays declined)', () => {
+        // The dominant proven-correct decline class (ADR-0033 amendment #3/#4): the
+        // checker attests `ctx.setExitCode()` to an interface/type SIGNATURE, so the
+        // attested target file holds NO concrete occurrence of the name — while a
+        // concrete IMPLEMENTOR of the interface lives in a different file/package.
+        // The pin is FILE-scoped unique-or-decline: it must DECLINE, never fall back
+        // to "unique name repo-wide" and silently link one implementor (the unsound
+        // resolveByCatalogFallback failure mode). Resolving this class correctly
+        // means cross-package POLYMORPHIC dispatch — multi-target fan-out to EVERY
+        // implementor, a deliberate edge-model revision (explicitly deferred) that
+        // must consciously revise this test.
+        const merged = mergeShardFragments([
+            fragment('typescript', occ('caller', 'packages/pkg-a/index.ts', 'A')),
+            fragment('typescript', 
+            // The interface's mapped source file IS in the catalog (it has another
+            // concrete function) — distinct from the file-absent decline above.
+            occ('makeContext', 'packages/pkg-b/context.ts', 'B'), 
+            // The lone implementor: same method name, DIFFERENT file. Must not link.
+            occ('setExitCode', 'packages/pkg-c/cli-context.ts', 'IMPL')),
+        ], ['packages/pkg-a/index.ts', 'packages/pkg-b/context.ts', 'packages/pkg-c/cli-context.ts']);
+        const bc = {
+            ownerHash: 'A',
+            ownerFile: 'packages/pkg-a/index.ts',
+            calleeName: 'setExitCode',
+            targetFile: 'packages/pkg-b/context.ts', // the interface's file — no body here
+            line: 2,
+            column: 9,
+            text: 'ctx.setExitCode(0)',
+        };
+        const { catalog } = resolveCrossBoundaryCalls(merged, [bc], EMPTY_MANIFESTS);
+        expect(catalog.functions.caller?.[0]?.calls.find((e) => e.crossShard)?.to ?? []).toEqual([]);
+    });
+});
+describe('mergeShardFragments — edge cases', () => {
+    it('defaults the merged language to typescript for an empty fragment list', () => {
+        const merged = mergeShardFragments([], []);
+        expect(merged.language).toBe('typescript');
+        expect(Object.keys(merged.functions)).toEqual([]);
+    });
+    it('dedups by (bodyHash, filePath, line) but keeps distinct occurrences of one name', () => {
+        const merged = mergeShardFragments([
+            fragment('typescript', occ('handler', 'a.ts', 'A'), occ('handler', 'b.ts', 'B')),
+            // Exact duplicate of the first → deduped.
+            fragment('typescript', occ('handler', 'a.ts', 'A')),
+        ], ['a.ts', 'b.ts']);
+        expect(merged.functions.handler).toHaveLength(2);
+    });
+});
+describe('resolveCrossBoundaryCalls — ambiguity', () => {
+    // Two exports named 'dup' inside the SAME imported package → ambiguous.
+    const merged = mergeShardFragments([
+        fragment('typescript', occ('mainA', 'packages/pkg-a/index.ts', 'A')),
+        fragment('typescript', occ('dup', 'packages/pkg-b/a.ts', 'B1'), occ('dup', 'packages/pkg-b/b.ts', 'B2')),
+    ], ['packages/pkg-a/index.ts', 'packages/pkg-b/a.ts', 'packages/pkg-b/b.ts']);
+    const mIndex = manifests(manifest('@scope/pkgb', 'packages/pkg-b'));
+    it('declines an ambiguous unpinned name (two same-name exports, root specifier)', () => {
+        const bc = {
+            ownerHash: 'A',
+            ownerFile: 'packages/pkg-a/index.ts',
+            calleeName: 'dup', // two occurrences named 'dup' in pkg-b
+            importSpecifier: '@scope/pkgb', // root specifier → no subpath to narrow
+            line: 2,
+            column: 1,
+            text: 'dup()',
+        };
+        const { catalog, boundaryStats } = resolveCrossBoundaryCalls(merged, [bc], mIndex);
+        const edge = catalog.functions.mainA?.[0]?.calls.find((e) => e.crossShard);
+        // Ambiguous + unpinned → declines. Phase 6: no persisted placeholder edge,
+        // but the decline is still counted.
+        expect(edge).toBeUndefined();
+        expect(boundaryStats.unresolved).toBe(1);
+    });
+    it('narrows ambiguous same-name exports when a declared subpath pins one file', () => {
+        const withExports = manifests(manifest('@scope/pkgb', 'packages/pkg-b', { './b': './b.js' }));
+        const bc = {
+            ownerHash: 'A',
+            ownerFile: 'packages/pkg-a/index.ts',
+            calleeName: 'dup',
+            importSpecifier: '@scope/pkgb/b', // subpath → narrows to packages/pkg-b/b.ts
+            line: 2,
+            column: 1,
+            text: 'dup()',
+        };
+        const { catalog } = resolveCrossBoundaryCalls(merged, [bc], withExports);
+        expect(crossEdge(catalog)?.to).toEqual(['B2']);
+    });
+});
+describe('diffCatalogsByEdge', () => {
+    it('reports an intra-shard edge difference when a non-cross edge target changed', () => {
+        const a = mergeShardFragments([
+            fragment('typescript', occ('mainA', 'packages/pkg-a/index.ts', 'A', [
+                {
+                    to: ['X'],
+                    line: 2,
+                    column: 1,
+                    resolution: 'static',
+                    confidence: 'high',
+                    text: 'x()',
+                },
+            ])),
+        ], ['packages/pkg-a/index.ts']);
+        const b = mergeShardFragments([
+            fragment('typescript', occ('mainA', 'packages/pkg-a/index.ts', 'A', [
+                {
+                    to: ['Y'],
+                    line: 2,
+                    column: 1,
+                    resolution: 'static',
+                    confidence: 'high',
+                    text: 'x()',
+                },
+            ])),
+        ], ['packages/pkg-a/index.ts']);
+        const diff = diffCatalogsByEdge(a, b);
+        expect(diff.intraMismatches.length).toBe(1);
+        expect(diff.crossDifferences).toEqual([]);
+    });
+    it('partitions a cross-package edge difference into crossDifferences (not intraMismatches)', () => {
+        // This exercises the PARTITIONING mechanism, not an accepted divergence: we
+        // diff a DEGENERATE "whole" catalog that deliberately omits the cross-package
+        // edge against a sharded catalog that recovered it, and assert the lone
+        // difference lands in `crossDifferences`. In a real equivalence check both
+        // partitions must be empty (the whole-project build resolves the same edge);
+        // the Phase 4 guardrail (`equivalence.test.ts`) asserts that.
+        const whole = mergeShardFragments([fragment('typescript', occ('mainA', 'packages/pkg-a/index.ts', 'A'))], ['packages/pkg-a/index.ts']);
+        const sharded = resolveCrossBoundaryCalls(mergeShardFragments([
+            fragment('typescript', occ('mainA', 'packages/pkg-a/index.ts', 'A')),
+            fragment('typescript', occ('helperB', 'packages/pkg-b/index.ts', 'B')),
+        ], ['packages/pkg-a/index.ts', 'packages/pkg-b/index.ts']), [
+            {
+                ownerHash: 'A',
+                ownerFile: 'packages/pkg-a/index.ts',
+                calleeName: 'helperB',
+                importSpecifier: '@scope/pkgb',
+                line: 2,
+                column: 1,
+                text: 'helperB()',
+            },
+        ], manifests(manifest('@scope/pkgb', 'packages/pkg-b'))).catalog;
+        const diff = diffCatalogsByEdge(whole, sharded);
+        expect(diff.intraMismatches).toEqual([]);
+        expect(diff.crossDifferences.length).toBe(1);
+    });
+});
+// Keep the shard type referenced so the import documents the merge inputs.
+const _exampleShard = { id: 'pkg:a', rootDir: '/abs/pkgA', files: ['/abs/pkgA/index.ts'] };
+void _exampleShard;
+describe('resolveCrossBoundaryCalls — semantic export linking (packages/ paths)', () => {
+    const callerA = occ('caller', 'packages/pkg-a/src/call.ts', 'CALLER');
+    const fA = occ('f', 'packages/pkg-a/src/f.ts', 'FA');
+    const fB = occ('f', 'packages/pkg-b/src/f.ts', 'FB');
+    const gB = occ('g', 'packages/pkg-b/src/g.ts', 'G');
+    const merged = mergeShardFragments([fragment('typescript', callerA, fA), fragment('typescript', fB, gB)], ['packages/pkg-a/src/call.ts', 'packages/pkg-b/src/g.ts']);
+    const mIndex = manifests(manifest('@scope/pkgb', 'packages/pkg-b'));
+    it('links into the imported package for a unique exported callee', () => {
+        const bc = {
+            ownerHash: 'CALLER',
+            ownerFile: 'packages/pkg-a/src/call.ts',
+            calleeName: 'g',
+            importSpecifier: '@scope/pkgb',
+            line: 2,
+            column: 0,
+            text: 'g()',
+        };
+        const { catalog } = resolveCrossBoundaryCalls(merged, [bc], mIndex);
+        expect(crossEdge(catalog)?.to).toEqual(['G']);
+    });
+    it('declines when the same name is exported by both the caller and the target package', () => {
+        // 'f' exists in BOTH pkg-a and pkg-b. The specifier names pkg-b, whose
+        // export bucket has exactly one 'f' (FB) — that is the unique linkable
+        // target. (The caller's own 'f' lives in a different package bucket.)
+        const bc = {
+            ownerHash: 'CALLER',
+            ownerFile: 'packages/pkg-a/src/call.ts',
+            calleeName: 'f',
+            importSpecifier: '@scope/pkgb',
+            line: 2,
+            column: 0,
+            text: 'f()',
+        };
+        const { catalog } = resolveCrossBoundaryCalls(merged, [bc], mIndex);
+        expect(crossEdge(catalog)?.to).toEqual(['FB']); // pkg-b's f, by the specifier
+    });
+    it('declines a callee whose specifier names an untracked package', () => {
+        const bc = {
+            ownerHash: 'CALLER',
+            ownerFile: 'packages/pkg-a/src/call.ts',
+            calleeName: 'g',
+            importSpecifier: '@scope/unknown',
+            line: 2,
+            column: 0,
+            text: 'g()',
+        };
+        const { catalog } = resolveCrossBoundaryCalls(merged, [bc], mIndex);
+        // Phase 6: declined (pkg not in manifest index) → no persisted placeholder edge.
+        expect(crossEdge(catalog)).toBeUndefined();
+    });
+});
+describe('resolveCrossBoundaryCalls — body-twin keying (F1, ADR-0003)', () => {
+    // Two functions named `twin` with BYTE-IDENTICAL bodies in different packages
+    // → they share a bodyHash ('TWIN'). Each makes its OWN cross-shard call via a
+    // RELATIVE import to a sibling in its OWN package. The corpus the real
+    // equivalence gate runs on happens to contain no cross-shard-calling body
+    // twins, so this is the fixture that locks the keying: keyed by `ownerHash`
+    // alone (the pre-fix scheme), BOTH twins would receive BOTH recovered edges
+    // (smearing) AND the relative pin would resolve against a last-writer-wins
+    // twin's directory. Keyed by ownerEdgeKey(ownerHash, ownerFile), each twin
+    // gets exactly its own edge, pinned against its own directory.
+    const merged = mergeShardFragments([
+        fragment('typescript', occ('twin', 'packages/pkg-a/src/twin.ts', 'TWIN'), occ('helperA', 'packages/pkg-a/src/helper.ts', 'HA')),
+        fragment('typescript', occ('twin', 'packages/pkg-b/src/twin.ts', 'TWIN'), occ('helperB', 'packages/pkg-b/src/helper.ts', 'HB')),
+    ], [
+        'packages/pkg-a/src/twin.ts',
+        'packages/pkg-a/src/helper.ts',
+        'packages/pkg-b/src/twin.ts',
+        'packages/pkg-b/src/helper.ts',
+    ]);
+    // pkg-a's twin calls helperA via './helper.js'; pkg-b's twin calls helperB via
+    // the IDENTICAL specifier './helper.js' — only the ownerFile disambiguates.
+    const bcA = {
+        ownerHash: 'TWIN',
+        ownerFile: 'packages/pkg-a/src/twin.ts',
+        calleeName: 'helperA',
+        importSpecifier: './helper.js',
+        line: 2,
+        column: 9,
+        text: 'helperA()',
+    };
+    const bcB = {
+        ownerHash: 'TWIN',
+        ownerFile: 'packages/pkg-b/src/twin.ts',
+        calleeName: 'helperB',
+        importSpecifier: './helper.js',
+        line: 2,
+        column: 9,
+        text: 'helperB()',
+    };
+    it('routes each body-twin its OWN recovered edge (no smearing)', () => {
+        const { catalog } = resolveCrossBoundaryCalls(merged, [bcA, bcB], EMPTY_MANIFESTS);
+        const twins = catalog.functions.twin ?? [];
+        const twinA = twins.find((o) => o.filePath === 'packages/pkg-a/src/twin.ts');
+        const twinB = twins.find((o) => o.filePath === 'packages/pkg-b/src/twin.ts');
+        // Each twin carries EXACTLY its own cross-shard edge — never the other's.
+        expect(twinA?.calls.filter((e) => e.crossShard).flatMap((e) => [...e.to])).toEqual(['HA']);
+        expect(twinB?.calls.filter((e) => e.crossShard).flatMap((e) => [...e.to])).toEqual(['HB']);
+    });
+    it("pins each twin's relative import against its OWN directory", () => {
+        // Same specifier './helper.js' from both twins must resolve to the helper in
+        // the SAME package as the owner — proving pinBySpecifier uses bc.ownerFile,
+        // not a last-writer-wins bodyHash->file guess.
+        const { catalog } = resolveCrossBoundaryCalls(merged, [bcA, bcB], EMPTY_MANIFESTS);
+        const twins = catalog.functions.twin ?? [];
+        const twinA = twins.find((o) => o.filePath === 'packages/pkg-a/src/twin.ts');
+        const twinB = twins.find((o) => o.filePath === 'packages/pkg-b/src/twin.ts');
+        // HA lives in pkg-a, HB in pkg-b — no crossed wires.
+        expect(twinA?.calls.flatMap((e) => [...e.to])).not.toContain('HB');
+        expect(twinB?.calls.flatMap((e) => [...e.to])).not.toContain('HA');
+    });
+});
+//# sourceMappingURL=cross-shard-resolve.test.js.map

package/dist/cli/orchestrate/__tests__/cross-shard-resolve.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-shard-resolve.test.js","sourceRoot":"","sources":["../../../../src/cli/orchestrate/__tests__/cross-shard-resolve.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,GAC1B,MAAM,2BAA2B,CAAC;AAMnC,SAAS,GAAG,CACV,UAAkB,EAClB,QAAgB,EAChB,QAAgB,EAChB,QAA6B,EAAE;IAE/B,OAAO;QACL,QAAQ;QACR,UAAU;QACV,aAAa,EAAE,GAAG,QAAQ,IAAI,UAAU,EAAE;QAC1C,QAAQ;QACR,IAAI,EAAE,CAAC;QACP,MAAM,EAAE,CAAC;QACT,OAAO,EAAE,CAAC;QACV,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,IAAI;QAChB,cAAc,EAAE,IAAI;QACpB,UAAU,EAAE,EAAE;QACd,UAAU,EAAE,UAAU;QACtB,UAAU,EAAE,KAAK;QACjB,kBAAkB,EAAE,KAAK;QACzB,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,QAAgB,EAAE,GAAG,IAA0B;IAC/D,MAAM,SAAS,GAAyC,EAAE,CAAC;IAC3D,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACvC,IAAI,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;YACtB,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,OAAO;QACb,QAAQ;QACR,OAAO,EAAE,GAAG;QACZ,QAAQ,EAAE,OAAO,QAAQ,EAAE;QAC3B,cAAc,EAAE,OAAO;QACvB,SAAS;KACV,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,SAAS,SAAS,CAAC,GAAG,OAAmC;IACvD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+EAA+E;AAC/E,SAAS,QAAQ,CACf,IAAY,EACZ,GAAW,EACX,UAAoC;IAEpC,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AAC9E,CAAC;AAED,MAAM,eAAe,GAAyB,IAAI,GAAG,EAAE,CAAC;AAExD,SAAS,SAAS,CAAC,OAAgB;IACjC,OAAO,CACL,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;QAC9D,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAC9D,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,QAAQ,CAChB,YAAY,EACZ,GAAG,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE;YAC7B;gBACE,EAAE,EAAE,CAAC,OAAO,CAAC;gBACb,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,CAAC;gBACT,UAAU,EAAE,QAAQ;gBACpB,UAAU,EAAE,MAAM;gBAClB,IAAI,EAAE,UAAU;aACjB;SACF,CAAC,CACH,CAAC;QACF,MAAM,CAAC,GAAG,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC;QACnE,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;QAEvE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACrE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,mBAAmB,CAChC,CAAC,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,EAC1D,CAAC,WAAW,CAAC,CACd,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,MAAM,MAAM,GAAG,mBAAmB,CAChC;QACE,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,OAAO,EAAE,yBAAyB,EAAE,GAAG,CAAC,CAAC;QACpE,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,SAAS,EAAE,yBAAyB,EAAE,GAAG,CAAC,CAAC;KACvE,EACD,CAAC,yBAAyB,EAAE,yBAAyB,CAAC,CACvD,CAAC;IACF,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAEpE,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,EAAE,GAAsB;YAC5B,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,yBAAyB;YACpC,UAAU,EAAE,SAAS;YACrB,eAAe,EAAE,aAAa,EAAE,8CAA8C;YAC9E,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,WAAW;SAClB,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACnF,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC3E,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3B,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,uBAAuB;QAC9D,MAAM,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,2EAA2E;QAC3E,MAAM,EAAE,GAAsB;YAC5B,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,yBAAyB;YACpC,UAAU,EAAE,SAAS;YACrB,eAAe,EAAE,mBAAmB;YACpC,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,WAAW;SAClB,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC;QAC7E,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC3E,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,EAAE,GAAsB;YAC5B,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,yBAAyB;YACpC,UAAU,EAAE,OAAO,EAAE,eAAe;YACpC,eAAe,EAAE,OAAO;YACxB,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,SAAS;SAChB,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACnF,uEAAuE;QACvE,6EAA6E;QAC7E,sDAAsD;QACtD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC3E,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;QAC7B,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,EAAE,GAAsB;YAC5B,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,yBAAyB;YACpC,UAAU,EAAE,aAAa,EAAE,qCAAqC;YAChE,eAAe,EAAE,aAAa;YAC9B,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,eAAe;SACtB,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACpE,gEAAgE;QAChE,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,eAAe,GAAG,mBAAmB,CACzC;YACE,QAAQ,CACN,YAAY,EACZ,GAAG,CAAC,OAAO,EAAE,yBAAyB,EAAE,GAAG,EAAE;gBAC3C;oBACE,EAAE,EAAE,EAAE;oBACN,IAAI,EAAE,CAAC;oBACP,MAAM,EAAE,CAAC;oBACT,UAAU,EAAE,SAAS;oBACrB,UAAU,EAAE,KAAK;oBACjB,IAAI,EAAE,WAAW;iBAClB;aACF,CAAC,CACH;YACD,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,SAAS,EAAE,yBAAyB,EAAE,GAAG,CAAC,CAAC;SACvE,EACD,CAAC,yBAAyB,EAAE,yBAAyB,CAAC,CACvD,CAAC;QACF,MAAM,EAAE,GAAsB;YAC5B,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,yBAAyB;YACpC,UAAU,EAAE,SAAS;YACrB,eAAe,EAAE,aAAa;YAC9B,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,WAAW;SAClB,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,GAAG,yBAAyB,CAAC,eAAe,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QAC7E,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;QACxD,yEAAyE;QACzE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mEAAmE,EAAE,GAAG,EAAE;IACjF,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,MAAM,GAAG,mBAAmB,CAChC;YACE,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,QAAQ,EAAE,yBAAyB,EAAE,GAAG,CAAC,CAAC;YACrE,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,QAAQ,EAAE,4BAA4B,EAAE,GAAG,CAAC,CAAC;SACzE,EACD,CAAC,yBAAyB,EAAE,4BAA4B,CAAC,CAC1D,CAAC;QACF,4EAA4E;QAC5E,MAAM,EAAE,GAAsB;YAC5B,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,yBAAyB;YACpC,UAAU,EAAE,QAAQ;YACpB,UAAU,EAAE,4BAA4B;YACxC,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,eAAe;SACtB,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC;QAC7E,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC5E,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,MAAM,GAAG,mBAAmB,CAChC,CAAC,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,QAAQ,EAAE,yBAAyB,EAAE,GAAG,CAAC,CAAC,CAAC,EACvE,CAAC,yBAAyB,CAAC,CAC5B,CAAC;QACF,MAAM,EAAE,GAAsB;YAC5B,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,yBAAyB;YACpC,UAAU,EAAE,QAAQ;YACpB,UAAU,EAAE,4BAA4B,EAAE,qBAAqB;YAC/D,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,eAAe;SACtB,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC;QAC7E,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,MAAM,GAAG,mBAAmB,CAChC;YACE,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,QAAQ,EAAE,yBAAyB,EAAE,GAAG,CAAC,CAAC;YACrE,QAAQ,CACN,YAAY,EACZ,GAAG,CAAC,QAAQ,EAAE,4BAA4B,EAAE,IAAI,CAAC,EACjD,GAAG,CAAC,QAAQ,EAAE,4BAA4B,EAAE,IAAI,CAAC,CAClD;SACF,EACD,CAAC,yBAAyB,EAAE,4BAA4B,CAAC,CAC1D,CAAC;QACF,MAAM,EAAE,GAAsB;YAC5B,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,yBAAyB;YACpC,UAAU,EAAE,QAAQ;YACpB,UAAU,EAAE,4BAA4B;YACxC,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,eAAe;SACtB,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC;QAC7E,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uHAAuH,EAAE,GAAG,EAAE;QAC/H,4EAA4E;QAC5E,6EAA6E;QAC7E,0EAA0E;QAC1E,2EAA2E;QAC3E,6EAA6E;QAC7E,4EAA4E;QAC5E,yEAAyE;QACzE,2EAA2E;QAC3E,2EAA2E;QAC3E,qCAAqC;QACrC,MAAM,MAAM,GAAG,mBAAmB,CAChC;YACE,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,QAAQ,EAAE,yBAAyB,EAAE,GAAG,CAAC,CAAC;YACrE,QAAQ,CACN,YAAY;YACZ,uEAAuE;YACvE,oEAAoE;YACpE,GAAG,CAAC,aAAa,EAAE,2BAA2B,EAAE,GAAG,CAAC;YACpD,yEAAyE;YACzE,GAAG,CAAC,aAAa,EAAE,+BAA+B,EAAE,MAAM,CAAC,CAC5D;SACF,EACD,CAAC,yBAAyB,EAAE,2BAA2B,EAAE,+BAA+B,CAAC,CAC1F,CAAC;QACF,MAAM,EAAE,GAAsB;YAC5B,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,yBAAyB;YACpC,UAAU,EAAE,aAAa;YACzB,UAAU,EAAE,2BAA2B,EAAE,sCAAsC;YAC/E,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,oBAAoB;SAC3B,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC;QAC7E,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,MAAM,GAAG,mBAAmB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,MAAM,GAAG,mBAAmB,CAChC;YACE,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YAChF,0CAA0C;YAC1C,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;SACpD,EACD,CAAC,MAAM,EAAE,MAAM,CAAC,CACjB,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,wEAAwE;IACxE,MAAM,MAAM,GAAG,mBAAmB,CAChC;QACE,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,OAAO,EAAE,yBAAyB,EAAE,GAAG,CAAC,CAAC;QACpE,QAAQ,CACN,YAAY,EACZ,GAAG,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,CAAC,EACvC,GAAG,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,CAAC,CACxC;KACF,EACD,CAAC,yBAAyB,EAAE,qBAAqB,EAAE,qBAAqB,CAAC,CAC1E,CAAC;IACF,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAEpE,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,EAAE,GAAsB;YAC5B,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,yBAAyB;YACpC,UAAU,EAAE,KAAK,EAAE,uCAAuC;YAC1D,eAAe,EAAE,aAAa,EAAE,wCAAwC;YACxE,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,OAAO;SACd,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACnF,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC3E,2EAA2E;QAC3E,oCAAoC;QACpC,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;QAC7B,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,WAAW,GAAG,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,gBAAgB,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC9F,MAAM,EAAE,GAAsB;YAC5B,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,yBAAyB;YACpC,UAAU,EAAE,KAAK;YACjB,eAAe,EAAE,eAAe,EAAE,2CAA2C;YAC7E,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,OAAO;SACd,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;QACzE,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,GAAG,mBAAmB,CAC3B;YACE,QAAQ,CACN,YAAY,EACZ,GAAG,CAAC,OAAO,EAAE,yBAAyB,EAAE,GAAG,EAAE;gBAC3C;oBACE,EAAE,EAAE,CAAC,GAAG,CAAC;oBACT,IAAI,EAAE,CAAC;oBACP,MAAM,EAAE,CAAC;oBACT,UAAU,EAAE,QAAQ;oBACpB,UAAU,EAAE,MAAM;oBAClB,IAAI,EAAE,KAAK;iBACZ;aACF,CAAC,CACH;SACF,EACD,CAAC,yBAAyB,CAAC,CAC5B,CAAC;QACF,MAAM,CAAC,GAAG,mBAAmB,CAC3B;YACE,QAAQ,CACN,YAAY,EACZ,GAAG,CAAC,OAAO,EAAE,yBAAyB,EAAE,GAAG,EAAE;gBAC3C;oBACE,EAAE,EAAE,CAAC,GAAG,CAAC;oBACT,IAAI,EAAE,CAAC;oBACP,MAAM,EAAE,CAAC;oBACT,UAAU,EAAE,QAAQ;oBACpB,UAAU,EAAE,MAAM;oBAClB,IAAI,EAAE,KAAK;iBACZ;aACF,CAAC,CACH;SACF,EACD,CAAC,yBAAyB,CAAC,CAC5B,CAAC;QACF,MAAM,IAAI,GAAG,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,4EAA4E;QAC5E,8EAA8E;QAC9E,wEAAwE;QACxE,2EAA2E;QAC3E,6EAA6E;QAC7E,8DAA8D;QAC9D,MAAM,KAAK,GAAG,mBAAmB,CAC/B,CAAC,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,OAAO,EAAE,yBAAyB,EAAE,GAAG,CAAC,CAAC,CAAC,EACtE,CAAC,yBAAyB,CAAC,CAC5B,CAAC;QACF,MAAM,OAAO,GAAG,yBAAyB,CACvC,mBAAmB,CACjB;YACE,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,OAAO,EAAE,yBAAyB,EAAE,GAAG,CAAC,CAAC;YACpE,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,SAAS,EAAE,yBAAyB,EAAE,GAAG,CAAC,CAAC;SACvE,EACD,CAAC,yBAAyB,EAAE,yBAAyB,CAAC,CACvD,EACD;YACE;gBACE,SAAS,EAAE,GAAG;gBACd,SAAS,EAAE,yBAAyB;gBACpC,UAAU,EAAE,SAAS;gBACrB,eAAe,EAAE,aAAa;gBAC9B,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,CAAC;gBACT,IAAI,EAAE,WAAW;aAClB;SACF,EACD,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAAC,CACrD,CAAC,OAAO,CAAC;QAEV,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,2EAA2E;AAC3E,MAAM,aAAa,GAAU,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,oBAAoB,CAAC,EAAE,CAAC;AAClG,KAAK,aAAa,CAAC;AAEnB,QAAQ,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACrF,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,EAAE,4BAA4B,EAAE,QAAQ,CAAC,CAAC;IACtE,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,yBAAyB,EAAE,IAAI,CAAC,CAAC;IACrD,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,yBAAyB,EAAE,IAAI,CAAC,CAAC;IACrD,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,yBAAyB,EAAE,GAAG,CAAC,CAAC;IAEpD,MAAM,MAAM,GAAG,mBAAmB,CAChC,CAAC,QAAQ,CAAC,YAAY,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,QAAQ,CAAC,YAAY,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EACrE,CAAC,4BAA4B,EAAE,yBAAyB,CAAC,CAC1D,CAAC;IACF,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAEpE,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAsB;YAC5B,SAAS,EAAE,QAAQ;YACnB,SAAS,EAAE,4BAA4B;YACvC,UAAU,EAAE,GAAG;YACf,eAAe,EAAE,aAAa;YAC9B,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,KAAK;SACZ,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACpE,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,uEAAuE;QACvE,uEAAuE;QACvE,sEAAsE;QACtE,MAAM,EAAE,GAAsB;YAC5B,SAAS,EAAE,QAAQ;YACnB,SAAS,EAAE,4BAA4B;YACvC,UAAU,EAAE,GAAG;YACf,eAAe,EAAE,aAAa;YAC9B,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,KAAK;SACZ,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACpE,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,8BAA8B;IAChF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAsB;YAC5B,SAAS,EAAE,QAAQ;YACnB,SAAS,EAAE,4BAA4B;YACvC,UAAU,EAAE,GAAG;YACf,eAAe,EAAE,gBAAgB;YACjC,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,KAAK;SACZ,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACpE,iFAAiF;QACjF,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,6DAA6D,EAAE,GAAG,EAAE;IAC3E,8EAA8E;IAC9E,8EAA8E;IAC9E,uEAAuE;IACvE,0EAA0E;IAC1E,4EAA4E;IAC5E,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,+DAA+D;IAC/D,MAAM,MAAM,GAAG,mBAAmB,CAChC;QACE,QAAQ,CACN,YAAY,EACZ,GAAG,CAAC,MAAM,EAAE,4BAA4B,EAAE,MAAM,CAAC,EACjD,GAAG,CAAC,SAAS,EAAE,8BAA8B,EAAE,IAAI,CAAC,CACrD;QACD,QAAQ,CACN,YAAY,EACZ,GAAG,CAAC,MAAM,EAAE,4BAA4B,EAAE,MAAM,CAAC,EACjD,GAAG,CAAC,SAAS,EAAE,8BAA8B,EAAE,IAAI,CAAC,CACrD;KACF,EACD;QACE,4BAA4B;QAC5B,8BAA8B;QAC9B,4BAA4B;QAC5B,8BAA8B;KAC/B,CACF,CAAC;IAEF,+EAA+E;IAC/E,4EAA4E;IAC5E,MAAM,GAAG,GAAsB;QAC7B,SAAS,EAAE,MAAM;QACjB,SAAS,EAAE,4BAA4B;QACvC,UAAU,EAAE,SAAS;QACrB,eAAe,EAAE,aAAa;QAC9B,IAAI,EAAE,CAAC;QACP,MAAM,EAAE,CAAC;QACT,IAAI,EAAE,WAAW;KAClB,CAAC;IACF,MAAM,GAAG,GAAsB;QAC7B,SAAS,EAAE,MAAM;QACjB,SAAS,EAAE,4BAA4B;QACvC,UAAU,EAAE,SAAS;QACrB,eAAe,EAAE,aAAa;QAC9B,IAAI,EAAE,CAAC;QACP,MAAM,EAAE,CAAC;QACT,IAAI,EAAE,WAAW;KAClB,CAAC;IAEF,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,EAAE,OAAO,EAAE,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,eAAe,CAAC,CAAC;QACnF,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,4BAA4B,CAAC,CAAC;QAC7E,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,4BAA4B,CAAC,CAAC;QAE7E,0EAA0E;QAC1E,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3F,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,6EAA6E;QAC7E,4EAA4E;QAC5E,+CAA+C;QAC/C,MAAM,EAAE,OAAO,EAAE,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,eAAe,CAAC,CAAC;QACnF,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,4BAA4B,CAAC,CAAC;QAC7E,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,4BAA4B,CAAC,CAAC;QAC7E,qDAAqD;QACrD,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACnE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,19 @@
+/**
+ * Characterization test for cross-shard merge determinism (Phase 0).
+ *
+ * The shipping `graph` engine is the sharded per-package build. Shard
+ * workers complete in nondeterministic order, so the orchestrator hands
+ * `mergeAndResolveShards` a fragment array whose ORDER varies run to run.
+ * The merged catalog MUST be a pure function of the fragment SET — the
+ * same fragments in a different order must produce a structurally
+ * identical catalog (same function keys, same per-occurrence edge sets,
+ * same boundary stats). Anything order-dependent here is the determinism
+ * drift Phase 3 must fix.
+ *
+ * This test builds two minimal fragments with a cross-boundary call
+ * between them and runs `mergeAndResolveShards` with the fragments in both
+ * orders, asserting structural equality. Any divergence is flagged with a
+ * `// DRIFT:` comment as a characterization signal.
+ */
+export {};
+//# sourceMappingURL=determinism.test.d.ts.map

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

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