@opensip-cli/graph 0.1.0

package/dist/cli/orchestrate/__tests__/incremental-merge.test.js

@@ -0,0 +1,153 @@
+/**
+ * Wave-4 incremental helpers: closure-expansion fixpoint, occurrence
+ * merging, and edge stitching. These drive the incremental rebuild path
+ * in catalog-builder. The tests exercise them directly with plain
+ * catalog data + a minimal walk-only adapter stub.
+ */
+import { join } from 'node:path';
+import { describe, expect, it } from 'vitest';
+import { ownerEdgeKey } from '../../../owner-key.js';
+import { expandClosureToFixpoint, mergeOccurrences, mergeResolvedAndCachedEdges, } from '../incremental-merge.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 catalogOf(...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: 'typescript',
+        builtAt: 'x',
+        cacheKey: 'k',
+        resolutionMode: 'exact',
+        functions,
+    };
+}
+describe('mergeOccurrences', () => {
+    it('takes walked entries for closure files and cached entries for the rest', () => {
+        const cached = catalogOf(occ('a', 'a.ts', 'A1'), occ('b', 'b.ts', 'B1'));
+        // a.ts changed → freshly-walked occurrence with a new hash.
+        const walked = { a: [occ('a', 'a.ts', 'A2')] };
+        const merged = mergeOccurrences(cached, walked, new Set(['a.ts']));
+        // a.ts is in the closure → walked A2 wins; b.ts unchanged → cached B1 kept.
+        expect(merged.a?.map((o) => o.bodyHash)).toEqual(['A2']);
+        expect(merged.b?.map((o) => o.bodyHash)).toEqual(['B1']);
+    });
+});
+describe('mergeResolvedAndCachedEdges', () => {
+    it('applies freshly-resolved edges to closure files and restores cached edges elsewhere', () => {
+        const cachedEdge = {
+            to: ['B1'],
+            line: 2,
+            column: 1,
+            resolution: 'static',
+            confidence: 'high',
+            text: 'b()',
+        };
+        const freshEdge = {
+            to: ['B1'],
+            line: 3,
+            column: 1,
+            resolution: 'static',
+            confidence: 'high',
+            text: 'b()',
+        };
+        const cached = catalogOf(occ('a', 'a.ts', 'A1', [cachedEdge]), occ('b', 'b.ts', 'B1'));
+        // Merged catalog: a.ts (closure, hash A1) + unchanged b.ts (B1).
+        const merged = catalogOf(occ('a', 'a.ts', 'A1'), occ('b', 'b.ts', 'B1'));
+        const edgesByOwner = new Map([
+            [ownerEdgeKey('A1', 'a.ts'), [freshEdge]],
+        ]);
+        const out = mergeResolvedAndCachedEdges(merged, cached, edgesByOwner, new Set(['a.ts']));
+        // a.ts in closure → fresh edge (line 3); b.ts unchanged → cached calls ([] here).
+        expect(out.a?.[0]?.calls).toEqual([freshEdge]);
+        expect(out.b?.[0]?.calls).toEqual([]);
+    });
+    it('falls back to an empty calls array for a closure owner with no resolved edges', () => {
+        const merged = catalogOf(occ('a', 'a.ts', 'A1'));
+        const cached = catalogOf(occ('a', 'a.ts', 'A1'));
+        const out = mergeResolvedAndCachedEdges(merged, cached, new Map(), new Set(['a.ts']));
+        expect(out.a?.[0]?.calls).toEqual([]);
+    });
+});
+// A walk-only adapter stub: returns occurrences for whatever files it's
+// handed. The stale-hash scan compares these against the cached catalog.
+function walkAdapter(byFile) {
+    return {
+        walkProject: ({ files }) => {
+            const occurrences = {};
+            for (const abs of files) {
+                const rel = abs.split('/').at(-1) ?? abs;
+                for (const o of byFile[rel] ?? []) {
+                    const bucket = occurrences[o.simpleName];
+                    if (bucket)
+                        bucket.push(o);
+                    else
+                        occurrences[o.simpleName] = [o];
+                }
+            }
+            return { occurrences, callSites: [], parseErrors: [] };
+        },
+    };
+}
+// ParsedProject is `unknown` — a plain token object satisfies it directly.
+const PROJECT = { token: 'p' };
+describe('expandClosureToFixpoint', () => {
+    it('reaches a fixpoint in one pass when no cached hash went stale', () => {
+        const root = '/repo';
+        const changed = join(root, 'a.ts');
+        // Changed file re-walks to the SAME hash → nothing went stale.
+        const cached = catalogOf(occ('a', 'a.ts', 'A1'), occ('b', 'b.ts', 'B1'));
+        const adapter = walkAdapter({ 'a.ts': [occ('a', 'a.ts', 'A1')] });
+        const { walked, closureRel } = expandClosureToFixpoint({
+            adapter,
+            discovery: { projectDirAbs: root, files: [changed, join(root, 'b.ts')] },
+            cachedCatalog: cached,
+            parsedProject: PROJECT,
+            changedFilesAbs: [changed],
+        });
+        expect([...closureRel]).toEqual(['a.ts']);
+        expect(walked.occurrences.a?.[0]?.bodyHash).toBe('A1');
+    });
+    it('does not grow the closure when the stale hash has no cached dependents', () => {
+        const root = '/repo';
+        const changed = join(root, 'a.ts');
+        // a.ts's cached hash A1 vanishes (re-walks to A2), but no cached edge
+        // anywhere points at A1 → no dependents → fixpoint after one pass.
+        const cached = catalogOf(occ('a', 'a.ts', 'A1'), occ('b', 'b.ts', 'B1'));
+        const adapter = walkAdapter({ 'a.ts': [occ('a', 'a.ts', 'A2')] });
+        const { closureRel } = expandClosureToFixpoint({
+            adapter,
+            discovery: { projectDirAbs: root, files: [changed, join(root, 'b.ts')] },
+            cachedCatalog: cached,
+            parsedProject: PROJECT,
+            changedFilesAbs: [changed],
+        });
+        expect([...closureRel]).toEqual(['a.ts']);
+    });
+});
+//# sourceMappingURL=incremental-merge.test.js.map

package/dist/cli/orchestrate/__tests__/incremental-merge.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"incremental-merge.test.js","sourceRoot":"","sources":["../../../../src/cli/orchestrate/__tests__/incremental-merge.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AASjC,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,SAAS,CAAC,GAAG,IAA0B;IAC9C,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,EAAE,YAAY;QACtB,OAAO,EAAE,GAAG;QACZ,QAAQ,EAAE,GAAG;QACb,cAAc,EAAE,OAAO;QACvB,SAAS;KACV,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACzE,4DAA4D;QAC5D,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACnE,4EAA4E;QAC5E,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,UAAU,GAAa;YAC3B,EAAE,EAAE,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,UAAU,EAAE,QAAQ;YACpB,UAAU,EAAE,MAAM;YAClB,IAAI,EAAE,KAAK;SACZ,CAAC;QACF,MAAM,SAAS,GAAa;YAC1B,EAAE,EAAE,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,UAAU,EAAE,QAAQ;YACpB,UAAU,EAAE,MAAM;YAClB,IAAI,EAAE,KAAK;SACZ,CAAC;QACF,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACvF,iEAAiE;QACjE,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACzE,MAAM,YAAY,GAAG,IAAI,GAAG,CAA8B;YACxD,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;SAC1C,CAAC,CAAC;QAEH,MAAM,GAAG,GAAG,2BAA2B,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACzF,kFAAkF;QAClF,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACjD,MAAM,GAAG,GAAG,2BAA2B,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACtF,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AACxE,yEAAyE;AACzE,SAAS,WAAW,CAAC,MAA4C;IAC/D,OAAO;QACL,WAAW,EAAE,CAAC,EAAE,KAAK,EAAgC,EAAc,EAAE;YACnE,MAAM,WAAW,GAAyC,EAAE,CAAC;YAC7D,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;gBACxB,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;gBACzC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;oBAClC,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;oBACzC,IAAI,MAAM;wBAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;wBACtB,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACvC,CAAC;YACH,CAAC;YACD,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QACzD,CAAC;KACiC,CAAC;AACvC,CAAC;AAED,2EAA2E;AAC3E,MAAM,OAAO,GAAkB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAE9C,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,IAAI,GAAG,OAAO,CAAC;QACrB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACnC,+DAA+D;QAC/D,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACzE,MAAM,OAAO,GAAG,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;QAElE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,uBAAuB,CAAC;YACrD,OAAO;YACP,SAAS,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE;YACxE,aAAa,EAAE,MAAM;YACrB,aAAa,EAAE,OAAO;YACtB,eAAe,EAAE,CAAC,OAAO,CAAC;SAC3B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,IAAI,GAAG,OAAO,CAAC;QACrB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACnC,sEAAsE;QACtE,mEAAmE;QACnE,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACzE,MAAM,OAAO,GAAG,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;QAElE,MAAM,EAAE,UAAU,EAAE,GAAG,uBAAuB,CAAC;YAC7C,OAAO;YACP,SAAS,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE;YACxE,aAAa,EAAE,MAAM;YACrB,aAAa,EAAE,OAAO;YACtB,eAAe,EAAE,CAAC,OAAO,CAAC;SAC3B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/cli/orchestrate/__tests__/partition-files.test.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Unit coverage for the canonical-set partitioner (Phase 1,
+ * graph-sharded-exact-parity): every canonical file is assigned to the unit
+ * whose rootDir is its longest matching prefix; files under no unit fall into
+ * the synthetic `:root` shard. Exercises longest-prefix selection, the
+ * segment-boundary guard, the root shard, empty-shard pruning, and the optional
+ * config-anchor spreads.
+ */
+export {};
+//# sourceMappingURL=partition-files.test.d.ts.map

package/dist/cli/orchestrate/__tests__/partition-files.test.d.ts.map

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

package/dist/cli/orchestrate/__tests__/partition-files.test.js

@@ -0,0 +1,104 @@
+/**
+ * Unit coverage for the canonical-set partitioner (Phase 1,
+ * graph-sharded-exact-parity): every canonical file is assigned to the unit
+ * whose rootDir is its longest matching prefix; files under no unit fall into
+ * the synthetic `:root` shard. Exercises longest-prefix selection, the
+ * segment-boundary guard, the root shard, empty-shard pruning, and the optional
+ * config-anchor spreads.
+ */
+import { describe, expect, it } from 'vitest';
+import { partitionFilesIntoShards, ROOT_SHARD_ID } from '../partition-files.js';
+const UNITS = [
+    { id: 'pkg:core', rootDir: 'packages/core', configPathAbs: 'packages/core/tsconfig.json' },
+    {
+        id: 'pkg:core-extra',
+        rootDir: 'packages/core/extra',
+        configPathAbs: 'packages/core/extra/tsconfig.json',
+    },
+];
+describe('partitionFilesIntoShards', () => {
+    it('assigns each file to the LONGEST matching unit prefix', () => {
+        const shards = partitionFilesIntoShards({
+            canonicalFiles: [
+                'packages/core/src/a.ts', // → core
+                'packages/core/extra/src/b.ts', // → core-extra (longer prefix wins over core)
+            ],
+            units: UNITS,
+            projectRoot: '',
+        });
+        const byId = new Map(shards.map((s) => [s.id, s.files]));
+        expect(byId.get('pkg:core')).toEqual(['packages/core/src/a.ts']);
+        expect(byId.get('pkg:core-extra')).toEqual(['packages/core/extra/src/b.ts']);
+    });
+    it('routes files under no unit into the synthetic :root shard with the root anchor', () => {
+        const shards = partitionFilesIntoShards({
+            canonicalFiles: ['scripts/root.ts', 'packages/core/src/a.ts'],
+            units: UNITS,
+            projectRoot: '/proj',
+            rootConfigPathAbs: '/proj/tsconfig.json',
+        });
+        const root = shards.find((s) => s.id === ROOT_SHARD_ID);
+        expect(root?.files).toEqual(['scripts/root.ts']);
+        expect(root?.rootDir).toBe('/proj');
+        expect(root?.configPathAbs).toBe('/proj/tsconfig.json');
+    });
+    it('does NOT cross a non-segment-boundary prefix match (foo vs foobar)', () => {
+        const shards = partitionFilesIntoShards({
+            canonicalFiles: ['packages/foobar/src/x.ts'],
+            units: [{ id: 'pkg:foo', rootDir: 'packages/foo' }],
+            projectRoot: '',
+        });
+        // `packages/foo` is NOT a prefix of `packages/foobar/...` at a boundary, so
+        // the file is unowned → root shard, and `pkg:foo` is pruned (empty).
+        expect(shards.find((s) => s.id === 'pkg:foo')).toBeUndefined();
+        expect(shards.find((s) => s.id === ROOT_SHARD_ID)?.files).toEqual(['packages/foobar/src/x.ts']);
+    });
+    it('prunes empty unit shards and omits the root shard when nothing is unowned', () => {
+        const shards = partitionFilesIntoShards({
+            canonicalFiles: ['packages/core/src/a.ts'],
+            units: UNITS,
+            projectRoot: '',
+        });
+        // Only the core shard is non-empty; core-extra and :root are absent.
+        expect(shards.map((s) => s.id)).toEqual(['pkg:core']);
+    });
+    it('partition is total + disjoint: union(files) === canonicalFiles, no dupes', () => {
+        const canonicalFiles = [
+            'packages/core/src/a.ts',
+            'packages/core/extra/src/b.ts',
+            'scripts/root.ts',
+        ];
+        const shards = partitionFilesIntoShards({ canonicalFiles, units: UNITS, projectRoot: '' });
+        const flat = shards.flatMap((s) => s.files).sort();
+        expect(flat).toEqual([...canonicalFiles].sort());
+        expect(new Set(flat).size).toBe(flat.length);
+    });
+    it('omits configPathAbs when a unit (and root) supply none', () => {
+        const shards = partitionFilesIntoShards({
+            canonicalFiles: ['packages/u/x.ts', 'scripts/y.ts'],
+            units: [{ id: 'pkg:u', rootDir: 'packages/u' }],
+            projectRoot: '',
+        });
+        expect(shards.find((s) => s.id === 'pkg:u')).not.toHaveProperty('configPathAbs');
+        expect(shards.find((s) => s.id === ROOT_SHARD_ID)).not.toHaveProperty('configPathAbs');
+    });
+    it('normalizes Windows separators in unit rootDirs and files', () => {
+        const shards = partitionFilesIntoShards({
+            canonicalFiles: [String.raw `packages\core\src\a.ts`],
+            units: [{ id: 'pkg:core', rootDir: String.raw `packages\core` }],
+            projectRoot: '',
+        });
+        expect(shards.find((s) => s.id === 'pkg:core')?.files).toEqual([
+            String.raw `packages\core\src\a.ts`,
+        ]);
+    });
+    it('matches a file that equals a unit rootDir exactly', () => {
+        const shards = partitionFilesIntoShards({
+            canonicalFiles: ['packages/core'],
+            units: [{ id: 'pkg:core', rootDir: 'packages/core' }],
+            projectRoot: '',
+        });
+        expect(shards.find((s) => s.id === 'pkg:core')?.files).toEqual(['packages/core']);
+    });
+});
+//# sourceMappingURL=partition-files.test.js.map

package/dist/cli/orchestrate/__tests__/partition-files.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"partition-files.test.js","sourceRoot":"","sources":["../../../../src/cli/orchestrate/__tests__/partition-files.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,wBAAwB,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAIhF,MAAM,KAAK,GAAoB;IAC7B,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,6BAA6B,EAAE;IAC1F;QACE,EAAE,EAAE,gBAAgB;QACpB,OAAO,EAAE,qBAAqB;QAC9B,aAAa,EAAE,mCAAmC;KACnD;CACF,CAAC;AAEF,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAG,wBAAwB,CAAC;YACtC,cAAc,EAAE;gBACd,wBAAwB,EAAE,SAAS;gBACnC,8BAA8B,EAAE,8CAA8C;aAC/E;YACD,KAAK,EAAE,KAAK;YACZ,WAAW,EAAE,EAAE;SAChB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,8BAA8B,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,MAAM,GAAG,wBAAwB,CAAC;YACtC,cAAc,EAAE,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;YAC7D,KAAK,EAAE,KAAK;YACZ,WAAW,EAAE,OAAO;YACpB,iBAAiB,EAAE,qBAAqB;SACzC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,aAAa,CAAC,CAAC;QACxD,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAG,wBAAwB,CAAC;YACtC,cAAc,EAAE,CAAC,0BAA0B,CAAC;YAC5C,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC;YACnD,WAAW,EAAE,EAAE;SAChB,CAAC,CAAC;QACH,4EAA4E;QAC5E,qEAAqE;QACrE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QAC/D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,aAAa,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,MAAM,GAAG,wBAAwB,CAAC;YACtC,cAAc,EAAE,CAAC,wBAAwB,CAAC;YAC1C,KAAK,EAAE,KAAK;YACZ,WAAW,EAAE,EAAE;SAChB,CAAC,CAAC;QACH,qEAAqE;QACrE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,cAAc,GAAG;YACrB,wBAAwB;YACxB,8BAA8B;YAC9B,iBAAiB;SAClB,CAAC;QACF,MAAM,MAAM,GAAG,wBAAwB,CAAC,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3F,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACjD,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAG,wBAAwB,CAAC;YACtC,cAAc,EAAE,CAAC,iBAAiB,EAAE,cAAc,CAAC;YACnD,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC;YAC/C,WAAW,EAAE,EAAE;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;QACjF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,MAAM,GAAG,wBAAwB,CAAC;YACtC,cAAc,EAAE,CAAC,MAAM,CAAC,GAAG,CAAA,wBAAwB,CAAC;YACpD,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,GAAG,CAAA,eAAe,EAAE,CAAC;YAC/D,WAAW,EAAE,EAAE;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC;YAC7D,MAAM,CAAC,GAAG,CAAA,wBAAwB;SACnC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,MAAM,GAAG,wBAAwB,CAAC;YACtC,cAAc,EAAE,CAAC,eAAe,CAAC;YACjC,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;YACrD,WAAW,EAAE,EAAE;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/cli/orchestrate/__tests__/resolution-completeness-floor.test.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Resolution-COMPLETENESS floor (ADR-0033) — the guard the differential
+ * equivalence gate structurally cannot provide.
+ *
+ * `graph-equivalence-check` compares exact vs sharded: it catches an edge that
+ * one engine resolves and the other doesn't. It is BLIND to a regression that
+ * drops a cross-package edge in BOTH engines at once (they still agree → zero
+ * divergence). This test closes that blind spot by asserting a NON-DECREASING
+ * count of resolved cross-package edges on a PINNED corpus (the committed
+ * `medium-pkg` fixture — fixed call-site denominator, so a count floor IS a
+ * resolution-rate floor). Built through the SAME engine pipeline the production
+ * sharded build uses (`buildAndResolveCatalog` → `mergeAndResolveShards`), so a
+ * regression in the shared cross-package hop (export-index / resolveCrossPackageCall
+ * / resolveOne) trips it.
+ *
+ * Ratchet: if you legitimately ADD resolved edges to the fixture, RAISE the
+ * floor. A DROP below the floor is a completeness regression — investigate
+ * before lowering.
+ */
+export {};
+//# sourceMappingURL=resolution-completeness-floor.test.d.ts.map

package/dist/cli/orchestrate/__tests__/resolution-completeness-floor.test.d.ts.map

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

package/dist/cli/orchestrate/__tests__/resolution-completeness-floor.test.js

@@ -0,0 +1,59 @@
+/**
+ * Resolution-COMPLETENESS floor (ADR-0033) — the guard the differential
+ * equivalence gate structurally cannot provide.
+ *
+ * `graph-equivalence-check` compares exact vs sharded: it catches an edge that
+ * one engine resolves and the other doesn't. It is BLIND to a regression that
+ * drops a cross-package edge in BOTH engines at once (they still agree → zero
+ * divergence). This test closes that blind spot by asserting a NON-DECREASING
+ * count of resolved cross-package edges on a PINNED corpus (the committed
+ * `medium-pkg` fixture — fixed call-site denominator, so a count floor IS a
+ * resolution-rate floor). Built through the SAME engine pipeline the production
+ * sharded build uses (`buildAndResolveCatalog` → `mergeAndResolveShards`), so a
+ * regression in the shared cross-package hop (export-index / resolveCrossPackageCall
+ * / resolveOne) trips it.
+ *
+ * Ratchet: if you legitimately ADD resolved edges to the fixture, RAISE the
+ * floor. A DROP below the floor is a completeness regression — investigate
+ * before lowering.
+ */
+import { dirname, join } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { describe, expect, it } from 'vitest';
+import { countResolvedCrossPackageEdges } from '../equivalence-check.js';
+import { createEquivalenceHarness } from './_equivalence-harness.js';
+const FIXTURE_ROOT = join(dirname(fileURLToPath(import.meta.url)), '__fixtures__', 'medium-pkg');
+const PKG = (name) => join(FIXTURE_ROOT, 'packages', name);
+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')],
+    app: [join(PKG('app'), 'src', 'index.ts'), join(PKG('app'), '__tests__', 'index.ts')],
+};
+const ROOT_FILES = [join(FIXTURE_ROOT, 'root-script.ts')];
+const ALL_FILES = [...Object.values(PKG_FILES).flat(), ...ROOT_FILES];
+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] },
+];
+/**
+ * The post-Phase-3 achieved high-water mark of resolved cross-package edges on
+ * the pinned `medium-pkg` corpus. RAISE this when you intentionally add resolved
+ * cross-package edges to the fixture; a value BELOW it is a completeness
+ * regression in the shared hop.
+ */
+const RESOLUTION_FLOOR = 7;
+describe('resolution completeness floor (pinned medium-pkg corpus)', () => {
+    const harness = createEquivalenceHarness({
+        fixtureRoot: FIXTURE_ROOT,
+        shards: SHARDS,
+        allFiles: ALL_FILES,
+    });
+    it('resolves at least the floor of cross-package edges (catches a both-engine drop)', async () => {
+        const sharded = await harness.buildSharded();
+        const resolved = countResolvedCrossPackageEdges(sharded);
+        expect(resolved).toBeGreaterThanOrEqual(RESOLUTION_FLOOR);
+    });
+});
+//# sourceMappingURL=resolution-completeness-floor.test.js.map

package/dist/cli/orchestrate/__tests__/resolution-completeness-floor.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolution-completeness-floor.test.js","sourceRoot":"","sources":["../../../../src/cli/orchestrate/__tests__/resolution-completeness-floor.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;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,8BAA8B,EAAE,MAAM,yBAAyB,CAAC;AAEzE,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAIrE,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;AACjG,MAAM,GAAG,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;AAE3E,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,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;AACF,MAAM,UAAU,GAAsB,CAAC,IAAI,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAC7E,MAAM,SAAS,GAAsB,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,UAAU,CAAC,CAAC;AACzF,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;;;;;GAKG;AACH,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAE3B,QAAQ,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACxE,MAAM,OAAO,GAAG,wBAAwB,CAAC;QACvC,WAAW,EAAE,YAAY;QACzB,MAAM,EAAE,MAAM;QACd,QAAQ,EAAE,SAAS;KACpB,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,KAAK,IAAI,EAAE;QAC/F,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,YAAY,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAG,8BAA8B,CAAC,OAAO,CAAC,CAAC;QACzD,MAAM,CAAC,QAAQ,CAAC,CAAC,sBAAsB,CAAC,gBAAgB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/cli/orchestrate/__tests__/shard-model.test.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Shard worker-boundary contract: a ShardBuildResult must be JSON-safe —
+ * it round-trips losslessly through JSON.parse(JSON.stringify(...)). This
+ * is what makes it transportable across a worker process boundary (no
+ * ts.Node / ts.Program may ever appear in it).
+ */
+export {};
+//# sourceMappingURL=shard-model.test.d.ts.map

package/dist/cli/orchestrate/__tests__/shard-model.test.d.ts.map

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

package/dist/cli/orchestrate/__tests__/shard-model.test.js

@@ -0,0 +1,77 @@
+/**
+ * Shard worker-boundary contract: a ShardBuildResult must be JSON-safe —
+ * it round-trips losslessly through JSON.parse(JSON.stringify(...)). This
+ * is what makes it transportable across a worker process boundary (no
+ * ts.Node / ts.Program may ever appear in it).
+ */
+import { describe, expect, it } from 'vitest';
+const RESULT = {
+    shardId: 'pkg:core',
+    fragment: {
+        version: '3.0',
+        tool: 'graph',
+        language: 'typescript',
+        builtAt: '2026-05-30T00:00:00.000Z',
+        cacheKey: 'ts-5-exact-abc',
+        resolutionMode: 'exact',
+        functions: {
+            main: [
+                {
+                    bodyHash: 'h1',
+                    simpleName: 'main',
+                    qualifiedName: 'core/main',
+                    filePath: 'core/index.ts',
+                    line: 1,
+                    column: 0,
+                    endLine: 2,
+                    kind: 'function-declaration',
+                    params: [],
+                    returnType: null,
+                    enclosingClass: null,
+                    decorators: [],
+                    visibility: 'exported',
+                    inTestFile: false,
+                    definedInGenerated: false,
+                    calls: [
+                        {
+                            to: ['h2'],
+                            line: 1,
+                            column: 4,
+                            resolution: 'static',
+                            confidence: 'high',
+                            text: 'foo()',
+                        },
+                    ],
+                },
+            ],
+        },
+    },
+    fingerprint: 'fp-abc',
+    boundaryCalls: [
+        {
+            ownerHash: 'h1',
+            ownerFile: 'core/index.ts',
+            calleeName: 'dep',
+            importSpecifier: '@scope/dep',
+            line: 3,
+            column: 2,
+            text: 'dep()',
+        },
+    ],
+    parseErrors: [],
+};
+describe('ShardBuildResult serialization', () => {
+    it('round-trips losslessly through JSON (the worker-boundary contract)', () => {
+        // Intentionally JSON, not structuredClone: the real worker boundary
+        // serializes to JSON over stdout, so this is the exact contract.
+        // eslint-disable-next-line unicorn/prefer-structured-clone -- testing JSON serialization specifically
+        const roundTripped = JSON.parse(JSON.stringify(RESULT));
+        expect(roundTripped).toEqual(RESULT);
+    });
+    it('carries no non-serializable handles (deep equality after a clone proves it)', () => {
+        const clone = structuredClone(RESULT);
+        expect(clone.boundaryCalls[0]?.importSpecifier).toBe('@scope/dep');
+        expect(clone.fragment.functions.main?.[0]?.calls[0]?.to).toEqual(['h2']);
+    });
+});
+//# sourceMappingURL=shard-model.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"shard-model.test.js","sourceRoot":"","sources":["../../../../src/cli/orchestrate/__tests__/shard-model.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAI9C,MAAM,MAAM,GAAqB;IAC/B,OAAO,EAAE,UAAU;IACnB,QAAQ,EAAE;QACR,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,0BAA0B;QACnC,QAAQ,EAAE,gBAAgB;QAC1B,cAAc,EAAE,OAAO;QACvB,SAAS,EAAE;YACT,IAAI,EAAE;gBACJ;oBACE,QAAQ,EAAE,IAAI;oBACd,UAAU,EAAE,MAAM;oBAClB,aAAa,EAAE,WAAW;oBAC1B,QAAQ,EAAE,eAAe;oBACzB,IAAI,EAAE,CAAC;oBACP,MAAM,EAAE,CAAC;oBACT,OAAO,EAAE,CAAC;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,MAAM,EAAE,EAAE;oBACV,UAAU,EAAE,IAAI;oBAChB,cAAc,EAAE,IAAI;oBACpB,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,UAAU;oBACtB,UAAU,EAAE,KAAK;oBACjB,kBAAkB,EAAE,KAAK;oBACzB,KAAK,EAAE;wBACL;4BACE,EAAE,EAAE,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,CAAC;4BACP,MAAM,EAAE,CAAC;4BACT,UAAU,EAAE,QAAQ;4BACpB,UAAU,EAAE,MAAM;4BAClB,IAAI,EAAE,OAAO;yBACd;qBACF;iBACF;aACF;SACF;KACF;IACD,WAAW,EAAE,QAAQ;IACrB,aAAa,EAAE;QACb;YACE,SAAS,EAAE,IAAI;YACf,SAAS,EAAE,eAAe;YAC1B,UAAU,EAAE,KAAK;YACjB,eAAe,EAAE,YAAY;YAC7B,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,OAAO;SACd;KACF;IACD,WAAW,EAAE,EAAE;CAChB,CAAC;AAEF,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,oEAAoE;QACpE,iEAAiE;QACjE,sGAAsG;QACtG,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAqB,CAAC;QAC5E,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/cli/orchestrate/__tests__/shard-runner-spawn.test.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Shard runner — the parallel-spawn path (`runShardsInParallel`).
+ *
+ * Drives real child processes via a tiny fixture "CLI" script that
+ * stands in for `graph-shard-worker`: it reads the spec temp file the
+ * runner writes, and emits either a valid `ShardBuildResult` JSON on
+ * stdout (success) or a non-zero exit with stderr (failure), keyed by
+ * the shard id. This exercises spec-file write, spawn, stdout capture,
+ * JSON parse, success/failure partitioning, and deterministic ordering
+ * without standing up a TypeScript build.
+ */
+export {};
+//# sourceMappingURL=shard-runner-spawn.test.d.ts.map

package/dist/cli/orchestrate/__tests__/shard-runner-spawn.test.d.ts.map

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

package/dist/cli/orchestrate/__tests__/shard-runner-spawn.test.js

@@ -0,0 +1,103 @@
+/**
+ * Shard runner — the parallel-spawn path (`runShardsInParallel`).
+ *
+ * Drives real child processes via a tiny fixture "CLI" script that
+ * stands in for `graph-shard-worker`: it reads the spec temp file the
+ * runner writes, and emits either a valid `ShardBuildResult` JSON on
+ * stdout (success) or a non-zero exit with stderr (failure), keyed by
+ * the shard id. This exercises spec-file write, spawn, stdout capture,
+ * JSON parse, success/failure partitioning, and deterministic ordering
+ * without standing up a TypeScript build.
+ */
+import { mkdtempSync, rmSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { afterEach, beforeEach, describe, expect, it } from 'vitest';
+import { runShardsInParallel } from '../shard-runner.js';
+// A fixture worker script. Invoked as `node <script> graph-shard-worker <specPath>`.
+// Shards whose id starts with 'fail:' exit non-zero; everything else emits a
+// minimal valid ShardBuildResult echoing the shard id.
+const WORKER_SCRIPT = String.raw `
+const { readFileSync } = require('node:fs');
+const specPath = process.argv[3];
+const spec = JSON.parse(readFileSync(specPath, 'utf8'));
+const id = spec.shard.id;
+if (id.startsWith('fail:')) {
+  process.stderr.write('boom for ' + id + '\n');
+  process.exit(3);
+}
+const result = {
+  shardId: id,
+  fragment: {
+    version: '3.0', tool: 'graph', language: spec.language ?? 'typescript',
+    builtAt: 'x', cacheKey: 'k-' + id, resolutionMode: 'exact', functions: {},
+  },
+  fingerprint: 'fp-' + id,
+  boundaryCalls: [],
+  parseErrors: [],
+};
+process.stdout.write(JSON.stringify(result));
+process.exit(0);
+`;
+describe('runShardsInParallel', () => {
+    let dir;
+    let cliScript;
+    beforeEach(() => {
+        dir = mkdtempSync(join(tmpdir(), 'shard-spawn-'));
+        cliScript = join(dir, 'fake-cli.cjs');
+        writeFileSync(cliScript, WORKER_SCRIPT, 'utf8');
+    });
+    afterEach(() => {
+        rmSync(dir, { recursive: true, force: true });
+    });
+    function shard(id) {
+        return { id, rootDir: dir, files: [join(dir, `${id}.ts`)] };
+    }
+    it('builds every shard and returns fragments in deterministic shard-id order', async () => {
+        const out = await runShardsInParallel({
+            shards: [shard('pkg:c'), shard('pkg:a'), shard('pkg:b')],
+            projectRoot: dir,
+            cliScript,
+            resolutionMode: 'exact',
+            concurrency: 2,
+        });
+        expect(out.failures).toHaveLength(0);
+        expect(out.fragments.map((f) => f.shardId)).toEqual(['pkg:a', 'pkg:b', 'pkg:c']);
+        expect(out.fragments[0]?.fingerprint).toBe('fp-pkg:a');
+    });
+    it('serializes an explicit language into each shard worker spec', async () => {
+        const out = await runShardsInParallel({
+            shards: [shard('pkg:a')],
+            projectRoot: dir,
+            cliScript,
+            language: 'python',
+            resolutionMode: 'exact',
+        });
+        expect(out.failures).toHaveLength(0);
+        expect(out.fragments[0]?.fragment.language).toBe('python');
+    });
+    it('attributes a non-zero worker exit to its shard as a failure, not a throw', async () => {
+        const out = await runShardsInParallel({
+            shards: [shard('pkg:ok'), shard('fail:x')],
+            projectRoot: dir,
+            cliScript,
+            resolutionMode: 'exact',
+        });
+        expect(out.fragments.map((f) => f.shardId)).toEqual(['pkg:ok']);
+        expect(out.failures).toHaveLength(1);
+        expect(out.failures[0]?.shardId).toBe('fail:x');
+        expect(out.failures[0]?.exitCode).toBe(3);
+        expect(out.failures[0]?.stderr).toContain('boom for fail:x');
+    });
+    it('handles an empty shard set', async () => {
+        const out = await runShardsInParallel({
+            shards: [],
+            projectRoot: dir,
+            cliScript,
+            resolutionMode: 'exact',
+        });
+        expect(out.fragments).toEqual([]);
+        expect(out.failures).toEqual([]);
+    });
+});
+//# sourceMappingURL=shard-runner-spawn.test.js.map

package/dist/cli/orchestrate/__tests__/shard-runner-spawn.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shard-runner-spawn.test.js","sourceRoot":"","sources":["../../../../src/cli/orchestrate/__tests__/shard-runner-spawn.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAErE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAIzD,qFAAqF;AACrF,6EAA6E;AAC7E,uDAAuD;AACvD,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;CAqB/B,CAAC;AAEF,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAI,GAAW,CAAC;IAChB,IAAI,SAAiB,CAAC;IAEtB,UAAU,CAAC,GAAG,EAAE;QACd,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;QAClD,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QACtC,aAAa,CAAC,SAAS,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,GAAG,EAAE;QACb,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,SAAS,KAAK,CAAC,EAAU;QACvB,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED,EAAE,CAAC,0EAA0E,EAAE,KAAK,IAAI,EAAE;QACxF,MAAM,GAAG,GAAG,MAAM,mBAAmB,CAAC;YACpC,MAAM,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YACxD,WAAW,EAAE,GAAG;YAChB,SAAS;YACT,cAAc,EAAE,OAAO;YACvB,WAAW,EAAE,CAAC;SACf,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QACjF,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,KAAK,IAAI,EAAE;QAC3E,MAAM,GAAG,GAAG,MAAM,mBAAmB,CAAC;YACpC,MAAM,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACxB,WAAW,EAAE,GAAG;YAChB,SAAS;YACT,QAAQ,EAAE,QAAQ;YAClB,cAAc,EAAE,OAAO;SACxB,CAAC,CAAC;QAEH,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,KAAK,IAAI,EAAE;QACxF,MAAM,GAAG,GAAG,MAAM,mBAAmB,CAAC;YACpC,MAAM,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC1C,WAAW,EAAE,GAAG;YAChB,SAAS;YACT,cAAc,EAAE,OAAO;SACxB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,KAAK,IAAI,EAAE;QAC1C,MAAM,GAAG,GAAG,MAAM,mBAAmB,CAAC;YACpC,MAAM,EAAE,EAAE;YACV,WAAW,EAAE,GAAG;YAChB,SAAS;YACT,cAAc,EAAE,OAAO;SACxB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/cli/orchestrate/__tests__/sharded-graph.test.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Sharded build pipeline (`runShardedGraph`) — the unified top-level
+ * orchestration: plan → run shards in parallel → merge + recover
+ * cross-package edges → persist (optional) → derive indexes + run rules.
+ *
+ * Drives real shard-worker child processes via a fixture "CLI" script
+ * (same approach as shard-runner-spawn) so the whole pipeline runs
+ * without a TypeScript build. Two shards each contribute one occurrence;
+ * the assertions check the unified catalog, derived indexes, rule
+ * signals, cache-hit flag, and failed-shard attribution.
+ */
+export {};
+//# sourceMappingURL=sharded-graph.test.d.ts.map

package/dist/cli/orchestrate/__tests__/sharded-graph.test.d.ts.map

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