@opensip-cli/graph 0.1.0

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

@@ -0,0 +1,163 @@
+/**
+ * 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.
+ */
+import { describe, expect, it } from 'vitest';
+import { mergeAndResolveShards } 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, cacheKey, ...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,
+        resolutionMode: 'exact',
+        functions,
+    };
+}
+function shard(shardId, fragment_, boundaryCalls = []) {
+    return {
+        shardId,
+        fragment: fragment_,
+        fingerprint: `fp-${shardId}`,
+        boundaryCalls,
+        parseErrors: [],
+    };
+}
+/**
+ * Project a catalog to a canonical, order-insensitive structure: every
+ * function name → every occurrence (by bodyHash) → its edge set normalized
+ * to a sorted set of `line:col→sorted(to)` strings. Two catalogs that are
+ * structurally identical (regardless of fragment input order) produce a
+ * deep-equal projection.
+ */
+function structure(catalog) {
+    const out = {};
+    for (const [name, occs] of Object.entries(catalog.functions)) {
+        if (!occs)
+            continue;
+        const byHash = {};
+        for (const o of occs) {
+            byHash[o.bodyHash] = o.calls
+                .map((e) => `${String(e.line)}:${String(e.column)}->${[...e.to].sort().join(',')}`)
+                .sort();
+        }
+        out[name] = byHash;
+    }
+    return out;
+}
+function statsTuple(s) {
+    return [s.totalCallSites, s.resolvedHigh, s.resolvedMedium, s.resolvedLow, s.unresolved];
+}
+/**
+ * Serialize a catalog to a byte-comparable string EXCLUDING `builtAt` — the
+ * sole intentionally-nondeterministic (wall-clock) field. After Phase 3's
+ * canonical ordering, two catalogs merged from the same fragment set in
+ * different orders must be byte-identical modulo `builtAt`.
+ */
+function canonicalBytes(catalog) {
+    return JSON.stringify({ ...catalog, builtAt: 'EXCLUDED' });
+}
+describe('cross-shard merge determinism (characterization)', () => {
+    // Two shards. pkg-a.caller() calls helperB(), exported by pkg-b, imported
+    // via a bare workspace specifier — the canonical cross-boundary case.
+    const shardA = shard('pkg:a', fragment('typescript', 'key-a', occ('caller', 'packages/pkg-a/index.ts', 'A', [
+        // Unresolved placeholder the local pass left at the boundary site.
+        { to: [], line: 2, column: 9, resolution: 'unknown', confidence: 'low', text: 'helperB()' },
+    ])), [
+        {
+            ownerHash: 'A',
+            ownerFile: 'packages/pkg-a/index.ts',
+            calleeName: 'helperB',
+            importSpecifier: '@scope/pkgb',
+            line: 2,
+            column: 9,
+            text: 'helperB()',
+        },
+    ]);
+    const shardB = shard('pkg:b', fragment('typescript', 'key-b', occ('helperB', 'packages/pkg-b/index.ts', 'B')));
+    const files = ['packages/pkg-a/index.ts', 'packages/pkg-b/index.ts'];
+    // Maps the bare specifier `@scope/pkgb` → the pkg-b export bucket.
+    const mIndex = new Map([
+        ['@scope/pkgb', { name: '@scope/pkgb', dir: 'packages/pkg-b' }],
+    ]);
+    it('produces a structurally identical catalog regardless of fragment order', () => {
+        const forward = mergeAndResolveShards([shardA, shardB], files, mIndex);
+        const reversed = mergeAndResolveShards([shardB, shardA], files, mIndex);
+        // Same function keys.
+        expect(Object.keys(forward.catalog.functions).sort()).toEqual(Object.keys(reversed.catalog.functions).sort());
+        // Same per-occurrence edge sets (order-normalized).
+        // DRIFT: if this fails, the merge is order-dependent — the Phase-3 fix target.
+        expect(structure(forward.catalog)).toEqual(structure(reversed.catalog));
+    });
+    it('produces a BYTE-identical catalog (modulo builtAt) regardless of fragment order', () => {
+        const forward = mergeAndResolveShards([shardA, shardB], files, mIndex);
+        const reversed = mergeAndResolveShards([shardB, shardA], files, mIndex);
+        // Phase 3 canonical ordering: not just structurally equal, but byte-for-byte
+        // identical once `builtAt` (the sole non-deterministic field) is excluded.
+        // This is the contract the Phase-4 equivalence guardrail relies on.
+        expect(canonicalBytes(forward.catalog)).toBe(canonicalBytes(reversed.catalog));
+    });
+    it('produces identical boundary stats regardless of fragment order', () => {
+        const forward = mergeAndResolveShards([shardA, shardB], files, mIndex);
+        const reversed = mergeAndResolveShards([shardB, shardA], files, mIndex);
+        // DRIFT: unequal stats would mean a boundary call resolved differently
+        // depending on which shard merged first.
+        expect(statsTuple(forward.boundaryStats)).toEqual(statsTuple(reversed.boundaryStats));
+    });
+    it('produces an order-independent merged cacheKey', () => {
+        const forward = mergeAndResolveShards([shardA, shardB], files, mIndex);
+        const reversed = mergeAndResolveShards([shardB, shardA], files, mIndex);
+        // The build-level cacheKey is hashed from the SET of shard keys
+        // (sorted), so it must not depend on completion order.
+        // DRIFT: an order-sensitive cacheKey would thrash the merged-catalog cache.
+        expect(forward.catalog.cacheKey).toBe(reversed.catalog.cacheKey);
+    });
+    it('keeps the same merged language for either order', () => {
+        const forward = mergeAndResolveShards([shardA, shardB], files, mIndex);
+        const reversed = mergeAndResolveShards([shardB, shardA], files, mIndex);
+        expect(forward.catalog.language).toBe(reversed.catalog.language);
+    });
+});
+//# sourceMappingURL=determinism.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"determinism.test.js","sourceRoot":"","sources":["../../../../src/cli/orchestrate/__tests__/determinism.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAYlE,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,QAAgB,EAAE,GAAG,IAA0B;IACjF,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;QACR,cAAc,EAAE,OAAO;QACvB,SAAS;KACV,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CACZ,OAAe,EACf,SAAkB,EAClB,gBAA8C,EAAE;IAEhD,OAAO;QACL,OAAO;QACP,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,MAAM,OAAO,EAAE;QAC5B,aAAa;QACb,WAAW,EAAE,EAAE;KAChB,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,OAAgB;IACjC,MAAM,GAAG,GAA6C,EAAE,CAAC;IACzD,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,MAAM,MAAM,GAA6B,EAAE,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK;iBACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;iBAClF,IAAI,EAAE,CAAC;QACZ,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;IACrB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,UAAU,CAAC,CAAkB;IACpC,OAAO,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;AAC3F,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,OAAgB;IACtC,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;AAC7D,CAAC;AAED,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,0EAA0E;IAC1E,sEAAsE;IACtE,MAAM,MAAM,GAAG,KAAK,CAClB,OAAO,EACP,QAAQ,CACN,YAAY,EACZ,OAAO,EACP,GAAG,CAAC,QAAQ,EAAE,yBAAyB,EAAE,GAAG,EAAE;QAC5C,mEAAmE;QACnE,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE;KAC5F,CAAC,CACH,EACD;QACE;YACE,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;KACF,CACF,CAAC;IACF,MAAM,MAAM,GAAG,KAAK,CAClB,OAAO,EACP,QAAQ,CAAC,YAAY,EAAE,OAAO,EAAE,GAAG,CAAC,SAAS,EAAE,yBAAyB,EAAE,GAAG,CAAC,CAAC,CAChF,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,yBAAyB,EAAE,yBAAyB,CAAC,CAAC;IACrE,mEAAmE;IACnE,MAAM,MAAM,GAAyB,IAAI,GAAG,CAAC;QAC3C,CAAC,aAAa,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC;KAChE,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,OAAO,GAAG,qBAAqB,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAExE,sBAAsB;QACtB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAC3D,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAC/C,CAAC;QAEF,oDAAoD;QACpD,+EAA+E;QAC/E,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,OAAO,GAAG,qBAAqB,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAExE,6EAA6E;QAC7E,2EAA2E;QAC3E,oEAAoE;QACpE,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,OAAO,GAAG,qBAAqB,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAExE,uEAAuE;QACvE,yCAAyC;QACzC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,OAAO,GAAG,qBAAqB,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAExE,gEAAgE;QAChE,uDAAuD;QACvD,4EAA4E;QAC5E,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,OAAO,GAAG,qBAAqB,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACxE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/cli/orchestrate/__tests__/edge-identity.test.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Unit tests for the shared edge-identity module (Phase 0 of the graph
+ * engine-convergence work) — the ONE home of occurrence/edge keying both engines
+ * import. The headline invariant (ADR-0003): edges key by OCCURRENCE
+ * `ownerEdgeKey(bodyHash, filePath)`, NOT by `bodyHash` alone, so body-twins
+ * (identical bodies in different files) never smear each other's edges.
+ */
+export {};
+//# sourceMappingURL=edge-identity.test.d.ts.map

package/dist/cli/orchestrate/__tests__/edge-identity.test.d.ts.map

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

package/dist/cli/orchestrate/__tests__/edge-identity.test.js

@@ -0,0 +1,103 @@
+/**
+ * Unit tests for the shared edge-identity module (Phase 0 of the graph
+ * engine-convergence work) — the ONE home of occurrence/edge keying both engines
+ * import. The headline invariant (ADR-0003): edges key by OCCURRENCE
+ * `ownerEdgeKey(bodyHash, filePath)`, NOT by `bodyHash` alone, so body-twins
+ * (identical bodies in different files) never smear each other's edges.
+ */
+import { describe, expect, it } from 'vitest';
+import { bucketEdgesByOwner, ownerEdgeKey, stitchEdgesByOwner } from '../edge-identity.js';
+function edge(to, line, column = 0) {
+    return { to, line, column, resolution: 'semantic', confidence: 'high', text: 'x()' };
+}
+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,
+    };
+}
+describe('ownerEdgeKey', () => {
+    it('de-unions body twins (same hash, different files → distinct keys)', () => {
+        const a = ownerEdgeKey('TWIN', 'packages/a/x.ts');
+        const b = ownerEdgeKey('TWIN', 'packages/b/x.ts');
+        expect(a).not.toBe(b);
+    });
+    it('is stable for the same (bodyHash, filePath)', () => {
+        expect(ownerEdgeKey('H', 'f.ts')).toBe(ownerEdgeKey('H', 'f.ts'));
+    });
+});
+describe('bucketEdgesByOwner', () => {
+    it('buckets by ownerEdgeKey, keeping body-twin edges separate', () => {
+        const items = [
+            { bodyHash: 'TWIN', filePath: 'packages/a/x.ts', e: edge(['HA'], 2) },
+            { bodyHash: 'TWIN', filePath: 'packages/b/x.ts', e: edge(['HB'], 2) },
+        ];
+        const byOwner = bucketEdgesByOwner(items, (i) => ({ bodyHash: i.bodyHash, filePath: i.filePath }), (i) => i.e);
+        expect(byOwner.get(ownerEdgeKey('TWIN', 'packages/a/x.ts'))?.flatMap((e) => [...e.to])).toEqual(['HA']);
+        expect(byOwner.get(ownerEdgeKey('TWIN', 'packages/b/x.ts'))?.flatMap((e) => [...e.to])).toEqual(['HB']);
+    });
+    it('appends multiple edges to the same owner in order', () => {
+        const items = [
+            { bodyHash: 'H', filePath: 'f.ts', e: edge(['X'], 2) },
+            { bodyHash: 'H', filePath: 'f.ts', e: edge(['Y'], 3) },
+        ];
+        const byOwner = bucketEdgesByOwner(items, (i) => ({ bodyHash: i.bodyHash, filePath: i.filePath }), (i) => i.e);
+        expect(byOwner.get(ownerEdgeKey('H', 'f.ts'))?.flatMap((e) => [...e.to])).toEqual(['X', 'Y']);
+    });
+});
+describe('stitchEdgesByOwner', () => {
+    it('attaches recovered edges only to the owning occurrence (no body-twin smearing)', () => {
+        const functions = {
+            twin: [occ('twin', 'packages/a/x.ts', 'TWIN'), occ('twin', 'packages/b/x.ts', 'TWIN')],
+        };
+        const byOwner = new Map([
+            [ownerEdgeKey('TWIN', 'packages/a/x.ts'), [edge(['HA'], 2)]],
+        ]);
+        const out = stitchEdgesByOwner(functions, byOwner, (o, recovered) => ({
+            ...o,
+            calls: [...o.calls, ...recovered],
+        }));
+        const twinA = out.twin?.find((o) => o.filePath === 'packages/a/x.ts');
+        const twinB = out.twin?.find((o) => o.filePath === 'packages/b/x.ts');
+        expect(twinA?.calls.flatMap((e) => [...e.to])).toEqual(['HA']); // got its edge
+        expect(twinB?.calls).toEqual([]); // its twin's edge did NOT smear onto it
+    });
+    it('returns an occurrence unchanged when it has no recovered edges', () => {
+        const original = occ('f', 'f.ts', 'H');
+        const functions = { f: [original] };
+        const out = stitchEdgesByOwner(functions, new Map(), (o) => ({
+            ...o,
+            calls: [edge(['NEVER'], 9)],
+        }));
+        // combine must NOT run for an owner with no recovered edges.
+        expect(out.f?.[0]).toBe(original);
+    });
+    it('runs the combine callback for an owner WITH recovered edges', () => {
+        const functions = { f: [occ('f', 'f.ts', 'H', [edge([], 2)])] };
+        const byOwner = new Map([
+            [ownerEdgeKey('H', 'f.ts'), [edge(['T'], 2)]],
+        ]);
+        // combine drops the empty placeholder at the recovered site, then concats.
+        const out = stitchEdgesByOwner(functions, byOwner, (o, recovered) => {
+            const at = new Set(recovered.map((e) => `${String(e.line)}:${String(e.column)}`));
+            const kept = o.calls.filter((e) => !(e.to.length === 0 && at.has(`${String(e.line)}:${String(e.column)}`)));
+            return { ...o, calls: [...kept, ...recovered] };
+        });
+        expect(out.f?.[0]?.calls.flatMap((e) => [...e.to])).toEqual(['T']);
+    });
+});
+//# sourceMappingURL=edge-identity.test.js.map

package/dist/cli/orchestrate/__tests__/edge-identity.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edge-identity.test.js","sourceRoot":"","sources":["../../../../src/cli/orchestrate/__tests__/edge-identity.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAI3F,SAAS,IAAI,CAAC,EAAqB,EAAE,IAAY,EAAE,MAAM,GAAG,CAAC;IAC3D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACvF,CAAC;AAED,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,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;QAClD,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,KAAK,GAAG;YACZ,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE;YACrE,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE;SACtE,CAAC;QACF,MAAM,OAAO,GAAG,kBAAkB,CAChC,KAAK,EACL,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,EACvD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CACX,CAAC;QACF,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAC7F,CAAC,IAAI,CAAC,CACP,CAAC;QACF,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAC7F,CAAC,IAAI,CAAC,CACP,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG;YACZ,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE;YACtD,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE;SACvD,CAAC;QACF,MAAM,OAAO,GAAG,kBAAkB,CAChC,KAAK,EACL,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,EACvD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CACX,CAAC;QACF,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,SAAS,GAAG;YAChB,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,iBAAiB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;SACvF,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,GAAG,CAA8B;YACnD,CAAC,YAAY,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;SAC7D,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;YACpE,GAAG,CAAC;YACJ,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,GAAG,SAAS,CAAC;SAClC,CAAC,CAAC,CAAC;QACJ,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,iBAAiB,CAAC,CAAC;QACtE,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,iBAAiB,CAAC,CAAC;QACtE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe;QAC/E,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,wCAAwC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QACvC,MAAM,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,kBAAkB,CAAC,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3D,GAAG,CAAC;YACJ,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;SAC5B,CAAC,CAAC,CAAC;QACJ,6DAA6D;QAC7D,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,MAAM,OAAO,GAAG,IAAI,GAAG,CAA8B;YACnD,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;SAC9C,CAAC,CAAC;QACH,2EAA2E;QAC3E,MAAM,GAAG,GAAG,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE;YAClE,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;YAClF,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CACzB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAC/E,CAAC;YACF,OAAO,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,10 @@
+/**
+ * Unit tests for the real-repo equivalence guardrail's pure classification +
+ * judging logic (`equivalence-check.ts`). These do NOT build real catalogs — the
+ * end-to-end real build is the dogfood CI step `graph-equivalence-check`; here we
+ * verify the owner-file classification (production vs test/fixture vs structural)
+ * and the ratchet verdict (hard-fail on function-set breach; budget-gate on
+ * production resolved edges + SCCs; PASS-with-tighten-hint on a decrease).
+ */
+export {};
+//# sourceMappingURL=equivalence-check.test.d.ts.map

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

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

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

@@ -0,0 +1,277 @@
+/**
+ * Unit tests for the real-repo equivalence guardrail's pure classification +
+ * judging logic (`equivalence-check.ts`). These do NOT build real catalogs — the
+ * end-to-end real build is the dogfood CI step `graph-equivalence-check`; here we
+ * verify the owner-file classification (production vs test/fixture vs structural)
+ * and the ratchet verdict (hard-fail on function-set breach; budget-gate on
+ * production resolved edges + SCCs; PASS-with-tighten-hint on a decrease).
+ */
+import { describe, expect, it } from 'vitest';
+import { buildEquivalenceReport, countResolvedCrossPackageEdges, isTestOrFixturePath, judgeEquivalence, } from '../equivalence-check.js';
+// ── isTestOrFixturePath ────────────────────────────────────────────
+describe('isTestOrFixturePath', () => {
+    it('flags __tests__/ and __fixtures__/ trees and *.test/*.spec files', () => {
+        expect(isTestOrFixturePath('packages/x/src/__tests__/a.ts')).toBe(true);
+        expect(isTestOrFixturePath('__tests__/a.ts')).toBe(true);
+        expect(isTestOrFixturePath('packages/x/__fixtures__/f.ts')).toBe(true);
+        expect(isTestOrFixturePath('packages/x/src/a.test.ts')).toBe(true);
+        expect(isTestOrFixturePath('packages/x/src/a.spec.tsx')).toBe(true);
+    });
+    it('does NOT flag production source', () => {
+        expect(isTestOrFixturePath('packages/x/src/a.ts')).toBe(false);
+        expect(isTestOrFixturePath('packages/x/src/framework/file-accessor.ts')).toBe(false);
+        // "test" as a substring of a non-test filename must not match.
+        expect(isTestOrFixturePath('packages/x/src/test-utils.ts')).toBe(false);
+    });
+});
+// ── catalog fixtures ───────────────────────────────────────────────
+/** Build a one-occurrence catalog where `owner` (in `file`) calls `to` at line. */
+function occ(file, bodyHash, to, line = 10, column = 4) {
+    return {
+        bodyHash,
+        simpleName: 'owner',
+        qualifiedName: `${file}.owner`,
+        filePath: file,
+        line,
+        column,
+        endLine: line + 1,
+        kind: 'function',
+        visibility: 'exported',
+        params: [],
+        calls: [{ to, line, column, resolution: 'semantic', confidence: 'high', text: 'call()' }],
+    };
+}
+function catalogOf(...occs) {
+    const functions = {};
+    if (occs.length > 0)
+        functions.owner = [...occs];
+    return {
+        version: '3.0',
+        tool: 'graph',
+        language: 'typescript',
+        builtAt: '2026-01-01T00:00:00.000Z',
+        cacheKey: 'test',
+        functions,
+    };
+}
+const NO_SHARDS = [
+    { id: 'a', rootDir: '/a', files: [] },
+    { id: 'b', rootDir: '/b', files: [] },
+];
+async function reportFor(exact, sharded) {
+    return buildEquivalenceReport({
+        cwd: '/repo',
+        shards: NO_SHARDS,
+        cliScript: '/cli.js',
+        buildExact: () => Promise.resolve(exact),
+        buildSharded: () => Promise.resolve(sharded),
+    });
+}
+// ── classification ─────────────────────────────────────────────────
+describe('buildEquivalenceReport classification', () => {
+    it('classifies a production resolved divergence (sharded resolves, exact does not)', async () => {
+        // Same owner occurrence (same bodyHash) in both, but exact has an empty edge
+        // and sharded resolves a target → a RESOLVED divergence owned by prod source.
+        const exact = catalogOf(occ('packages/x/src/a.ts', 'H', []));
+        const sharded = catalogOf(occ('packages/x/src/a.ts', 'H', ['TARGET']));
+        const r = await reportFor(exact, sharded);
+        expect(r.functionsOnlyInExact).toEqual([]);
+        expect(r.functionsOnlyInSharded).toEqual([]);
+        expect(r.productionResolvedDifferences).toHaveLength(1);
+        expect(r.productionResolvedDifferences[0]?.ownerFilePath).toBe('packages/x/src/a.ts');
+        // exact empty + sharded resolved ⇒ a PHANTOM-direction divergence.
+        expect(r.productionPhantom).toHaveLength(1);
+        expect(r.productionDecline).toEqual([]);
+        expect(r.productionConflict).toEqual([]);
+        expect(r.testResolvedDifferences).toEqual([]);
+        expect(r.structuralDifferences).toEqual([]);
+    });
+    it('classifies a test-owned resolved divergence as benign (not production)', async () => {
+        const exact = catalogOf(occ('packages/x/src/__tests__/a.ts', 'H', []));
+        const sharded = catalogOf(occ('packages/x/src/__tests__/a.ts', 'H', ['TARGET']));
+        const r = await reportFor(exact, sharded);
+        expect(r.productionResolvedDifferences).toEqual([]);
+        expect(r.testResolvedDifferences).toHaveLength(1);
+    });
+    it('classifies unresolved-vs-absent as STRUCTURAL, never production', async () => {
+        // Exact records an unresolved (to:[]) edge at the site; sharded has NO edge
+        // there at all (owner occurrence absent) → both effectively empty → structural.
+        const exact = catalogOf(occ('packages/x/src/a.ts', 'H', []));
+        const sharded = catalogOf(); // owner absent → no edge at that key
+        const r = await reportFor(exact, sharded);
+        expect(r.productionResolvedDifferences).toEqual([]);
+        expect(r.testResolvedDifferences).toEqual([]);
+        expect(r.structuralDifferences).toHaveLength(1);
+    });
+});
+// ── judging / ratchet ──────────────────────────────────────────────
+function reportWith(over) {
+    return {
+        functionsOnlyInExact: [],
+        functionsOnlyInSharded: [],
+        sccDifferences: [],
+        allEdgeDifferences: [],
+        productionResolvedDifferences: [],
+        productionPhantom: [],
+        productionDecline: [],
+        productionConflict: [],
+        testResolvedDifferences: [],
+        structuralDifferences: [],
+        exactFunctionCount: 100,
+        shardedFunctionCount: 100,
+        ...over,
+    };
+}
+/** A divergence in a given direction: phantom (sharded-only), decline (exact-only),
+ *  conflict (both differ). `toA`=exact, `toB`=sharded. */
+const diffOf = (owner, toA, toB) => ({
+    key: `${owner}@1:1`,
+    ownerFilePath: owner,
+    line: 1,
+    column: 1,
+    toA,
+    toB,
+    cross: true,
+});
+const phantom = (owner) => diffOf(owner, '', 'X'); // sharded-only
+const decline = (owner) => diffOf(owner, 'X', ''); // exact-only
+const conflict = (owner) => diffOf(owner, 'X', 'Y'); // both differ
+/** Build a report whose three directional partitions are populated, with the
+ *  total kept consistent (the judge reads the partitions for gating). */
+function reportWithDirections(d) {
+    const p = d.phantom ?? [];
+    const dec = d.decline ?? [];
+    const c = d.conflict ?? [];
+    return reportWith({
+        productionResolvedDifferences: [...p, ...dec, ...c],
+        productionPhantom: p,
+        productionDecline: dec,
+        productionConflict: c,
+        sccDifferences: d.scc ?? [],
+        ...(d.functionsOnlyInExact ? { functionsOnlyInExact: d.functionsOnlyInExact } : {}),
+    });
+}
+const FLOOR = {
+    phantomDivergences: 0,
+    declineDivergences: 0,
+    conflictDivergences: 0,
+    sccDivergences: 0,
+};
+describe('judgeEquivalence directional ratchet', () => {
+    it('PASSES when every direction + SCC match their floors', () => {
+        const v = judgeEquivalence(reportWithDirections({
+            phantom: [phantom('p/a.ts')],
+            conflict: [conflict('p/b.ts')],
+            scc: ['s'],
+        }), { ...FLOOR, phantomDivergences: 1, conflictDivergences: 1, sccDivergences: 1 });
+        expect(v.failed).toBe(false);
+        expect(v.phantomCount).toBe(1);
+        expect(v.conflictCount).toBe(1);
+    });
+    it('FAILS when a direction EXCEEDS its floor and prints the offenders for THAT direction', () => {
+        const v = judgeEquivalence(reportWithDirections({ phantom: [phantom('p/a.ts'), phantom('p/c.ts')] }), { ...FLOOR, phantomDivergences: 1 });
+        expect(v.failed).toBe(true);
+        expect(v.lines.join('\n')).toContain('EXCEEDS budget');
+        expect(v.lines.join('\n')).toContain('p/a.ts:1:1');
+    });
+    it('counts each direction independently (phantom / decline / conflict)', () => {
+        const v = judgeEquivalence(reportWithDirections({
+            phantom: [phantom('p/a.ts')],
+            decline: [decline('p/b.ts'), decline('p/c.ts')],
+            conflict: [conflict('p/d.ts')],
+        }), { ...FLOOR, phantomDivergences: 1, declineDivergences: 2, conflictDivergences: 1 });
+        expect(v.failed).toBe(false);
+        expect(v.phantomCount).toBe(1);
+        expect(v.declineCount).toBe(2);
+        expect(v.conflictCount).toBe(1);
+        expect(v.productionCount).toBe(4);
+    });
+    it('a NEW phantom is NOT masked by a fixed conflict (per-direction gating)', () => {
+        // Total stays 2, but a conflict was "fixed" into a new phantom: phantom
+        // exceeds its floor (0) even though the total equals the old total.
+        const v = judgeEquivalence(reportWithDirections({ phantom: [phantom('p/a.ts'), phantom('p/b.ts')] }), {
+            ...FLOOR,
+            phantomDivergences: 0,
+            conflictDivergences: 2,
+        });
+        expect(v.failed).toBe(true);
+    });
+    it('FAILS when SCC divergence EXCEEDS its floor', () => {
+        const v = judgeEquivalence(reportWithDirections({ scc: ['s1', 's2'] }), {
+            ...FLOOR,
+            sccDivergences: 1,
+        });
+        expect(v.failed).toBe(true);
+    });
+    it('PASSES with a tighten hint when a direction is BELOW its floor', () => {
+        const v = judgeEquivalence(reportWithDirections({ phantom: [phantom('p/a.ts')] }), {
+            ...FLOOR,
+            phantomDivergences: 5,
+        });
+        expect(v.failed).toBe(false);
+        expect(v.lines.join('\n')).toContain('tighten the ratchet');
+    });
+    it('HARD-FAILS on a function-set breach regardless of budget', () => {
+        const v = judgeEquivalence(reportWithDirections({ functionsOnlyInExact: ['ghost'] }), {
+            phantomDivergences: 1000,
+            declineDivergences: 1000,
+            conflictDivergences: 1000,
+            sccDivergences: 1000,
+        });
+        expect(v.failed).toBe(true);
+        expect(v.functionSetBreached).toBe(true);
+        expect(v.lines.join('\n')).toContain('function-set divergence');
+    });
+});
+// ── completeness floor (countResolvedCrossPackageEdges) ─────────────
+/** A catalog whose single occurrence carries the given edges. */
+function catalogWithEdges(edges) {
+    return {
+        version: '3.0',
+        tool: 'graph',
+        language: 'typescript',
+        builtAt: '2026-01-01T00:00:00.000Z',
+        cacheKey: 'test',
+        functions: {
+            owner: [
+                {
+                    bodyHash: 'H',
+                    simpleName: 'owner',
+                    qualifiedName: 'f.owner',
+                    filePath: 'packages/x/src/a.ts',
+                    line: 1,
+                    column: 0,
+                    calls: edges.map((e, i) => ({
+                        to: e.to,
+                        line: 10 + i,
+                        column: 0,
+                        resolution: 'semantic',
+                        confidence: 'high',
+                        text: 'call()',
+                        ...(e.crossShard === undefined ? {} : { crossShard: e.crossShard }),
+                    })),
+                },
+            ],
+        },
+    };
+}
+describe('countResolvedCrossPackageEdges (completeness metric)', () => {
+    it('counts ONLY resolved crossShard edges (excludes intra + declined)', () => {
+        const cat = catalogWithEdges([
+            { to: ['T1'], crossShard: true }, // resolved cross-package ✓
+            { to: ['T2'], crossShard: true }, // resolved cross-package ✓
+            { to: ['LOCAL'] }, // intra (no crossShard) ✗
+            { to: [], crossShard: true }, // declined crossShard placeholder ✗
+        ]);
+        expect(countResolvedCrossPackageEdges(cat)).toBe(2);
+    });
+    it('a both-engine drop falls below a floor the differential gate cannot see', () => {
+        // Both "engines" would produce this same degraded catalog ⇒ ZERO differential
+        // divergence, yet the resolved cross-package count collapsed. The floor is the
+        // only guard for this case.
+        const FLOOR_EXAMPLE = 2;
+        const degraded = catalogWithEdges([{ to: [], crossShard: true }]); // both declined
+        expect(countResolvedCrossPackageEdges(degraded)).toBeLessThan(FLOOR_EXAMPLE);
+    });
+});
+//# sourceMappingURL=equivalence-check.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"equivalence-check.test.js","sourceRoot":"","sources":["../../../../src/cli/orchestrate/__tests__/equivalence-check.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EACL,sBAAsB,EACtB,8BAA8B,EAC9B,mBAAmB,EACnB,gBAAgB,GAEjB,MAAM,yBAAyB,CAAC;AAKjC,sEAAsE;AAEtE,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,mBAAmB,CAAC,+BAA+B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,MAAM,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,mBAAmB,CAAC,8BAA8B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,MAAM,CAAC,mBAAmB,CAAC,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,MAAM,CAAC,mBAAmB,CAAC,2BAA2B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,mBAAmB,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,MAAM,CAAC,mBAAmB,CAAC,2CAA2C,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrF,+DAA+D;QAC/D,MAAM,CAAC,mBAAmB,CAAC,8BAA8B,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,sEAAsE;AAEtE,mFAAmF;AACnF,SAAS,GAAG,CACV,IAAY,EACZ,QAAgB,EAChB,EAAY,EACZ,IAAI,GAAG,EAAE,EACT,MAAM,GAAG,CAAC;IAEV,OAAO;QACL,QAAQ;QACR,UAAU,EAAE,OAAO;QACnB,aAAa,EAAE,GAAG,IAAI,QAAQ;QAC9B,QAAQ,EAAE,IAAI;QACd,IAAI;QACJ,MAAM;QACN,OAAO,EAAE,IAAI,GAAG,CAAC;QACjB,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,UAAU;QACtB,MAAM,EAAE,EAAE;QACV,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;KACzD,CAAC;AACrC,CAAC;AAED,SAAS,SAAS,CAAC,GAAG,IAA0B;IAC9C,MAAM,SAAS,GAAyC,EAAE,CAAC;IAC3D,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,SAAS,CAAC,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IACjD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,0BAA0B;QACnC,QAAQ,EAAE,MAAM;QAChB,SAAS;KACY,CAAC;AAC1B,CAAC;AAED,MAAM,SAAS,GAAqB;IAClC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;IACrC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;CACtC,CAAC;AAEF,KAAK,UAAU,SAAS,CAAC,KAAc,EAAE,OAAgB;IACvD,OAAO,sBAAsB,CAAC;QAC5B,GAAG,EAAE,OAAO;QACZ,MAAM,EAAE,SAAS;QACjB,SAAS,EAAE,SAAS;QACpB,UAAU,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC;QACxC,YAAY,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC;KAC7C,CAAC,CAAC;AACL,CAAC;AAED,sEAAsE;AAEtE,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,gFAAgF,EAAE,KAAK,IAAI,EAAE;QAC9F,6EAA6E;QAC7E,8EAA8E;QAC9E,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,qBAAqB,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,qBAAqB,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAE1C,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QACtF,mEAAmE;QACnE,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzC,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,+BAA+B,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACvE,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,+BAA+B,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACjF,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC1C,MAAM,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpD,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,KAAK,IAAI,EAAE;QAC/E,4EAA4E;QAC5E,gFAAgF;QAChF,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,qBAAqB,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,SAAS,EAAE,CAAC,CAAC,qCAAqC;QAClE,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC1C,MAAM,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpD,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,sEAAsE;AAEtE,SAAS,UAAU,CAAC,IAAgC;IAClD,OAAO;QACL,oBAAoB,EAAE,EAAE;QACxB,sBAAsB,EAAE,EAAE;QAC1B,cAAc,EAAE,EAAE;QAClB,kBAAkB,EAAE,EAAE;QACtB,6BAA6B,EAAE,EAAE;QACjC,iBAAiB,EAAE,EAAE;QACrB,iBAAiB,EAAE,EAAE;QACrB,kBAAkB,EAAE,EAAE;QACtB,uBAAuB,EAAE,EAAE;QAC3B,qBAAqB,EAAE,EAAE;QACzB,kBAAkB,EAAE,GAAG;QACvB,oBAAoB,EAAE,GAAG;QACzB,GAAG,IAAI;KACR,CAAC;AACJ,CAAC;AAID;0DAC0D;AAC1D,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,GAAW,EAAE,GAAW,EAAQ,EAAE,CAAC,CAAC;IACjE,GAAG,EAAE,GAAG,KAAK,MAAM;IACnB,aAAa,EAAE,KAAK;IACpB,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,CAAC;IACT,GAAG;IACH,GAAG;IACH,KAAK,EAAE,IAAI;CACZ,CAAC,CAAC;AACH,MAAM,OAAO,GAAG,CAAC,KAAa,EAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,eAAe;AAChF,MAAM,OAAO,GAAG,CAAC,KAAa,EAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa;AAC9E,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,cAAc;AAEjF;yEACyE;AACzE,SAAS,oBAAoB,CAAC,CAM7B;IACC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC;IAC1B,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC;IAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC;IAC3B,OAAO,UAAU,CAAC;QAChB,6BAA6B,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,GAAG,EAAE,GAAG,CAAC,CAAC;QACnD,iBAAiB,EAAE,CAAC;QACpB,iBAAiB,EAAE,GAAG;QACtB,kBAAkB,EAAE,CAAC;QACrB,cAAc,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE;QAC3B,GAAG,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,KAAK,GAAG;IACZ,kBAAkB,EAAE,CAAC;IACrB,kBAAkB,EAAE,CAAC;IACrB,mBAAmB,EAAE,CAAC;IACtB,cAAc,EAAE,CAAC;CAClB,CAAC;AAEF,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,gBAAgB,CACxB,oBAAoB,CAAC;YACnB,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC5B,QAAQ,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAC9B,GAAG,EAAE,CAAC,GAAG,CAAC;SACX,CAAC,EACF,EAAE,GAAG,KAAK,EAAE,kBAAkB,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAC/E,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,CAAC,GAAG,gBAAgB,CACxB,oBAAoB,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EACzE,EAAE,GAAG,KAAK,EAAE,kBAAkB,EAAE,CAAC,EAAE,CACpC,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QACvD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,gBAAgB,CACxB,oBAAoB,CAAC;YACnB,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC5B,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC/C,QAAQ,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;SAC/B,CAAC,EACF,EAAE,GAAG,KAAK,EAAE,kBAAkB,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,EAAE,CACnF,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,wEAAwE;QACxE,oEAAoE;QACpE,MAAM,CAAC,GAAG,gBAAgB,CACxB,oBAAoB,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EACzE;YACE,GAAG,KAAK;YACR,kBAAkB,EAAE,CAAC;YACrB,mBAAmB,EAAE,CAAC;SACvB,CACF,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,gBAAgB,CAAC,oBAAoB,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE;YACtE,GAAG,KAAK;YACR,cAAc,EAAE,CAAC;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,gBAAgB,CAAC,oBAAoB,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE;YACjF,GAAG,KAAK;YACR,kBAAkB,EAAE,CAAC;SACtB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,gBAAgB,CAAC,oBAAoB,CAAC,EAAE,oBAAoB,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE;YACpF,kBAAkB,EAAE,IAAI;YACxB,kBAAkB,EAAE,IAAI;YACxB,mBAAmB,EAAE,IAAI;YACzB,cAAc,EAAE,IAAI;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,uEAAuE;AAEvE,iEAAiE;AACjE,SAAS,gBAAgB,CAAC,KAA+C;IACvE,OAAO;QACL,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,0BAA0B;QACnC,QAAQ,EAAE,MAAM;QAChB,SAAS,EAAE;YACT,KAAK,EAAE;gBACL;oBACE,QAAQ,EAAE,GAAG;oBACb,UAAU,EAAE,OAAO;oBACnB,aAAa,EAAE,SAAS;oBACxB,QAAQ,EAAE,qBAAqB;oBAC/B,IAAI,EAAE,CAAC;oBACP,MAAM,EAAE,CAAC;oBACT,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;wBAC1B,EAAE,EAAE,CAAC,CAAC,EAAE;wBACR,IAAI,EAAE,EAAE,GAAG,CAAC;wBACZ,MAAM,EAAE,CAAC;wBACT,UAAU,EAAE,UAAU;wBACtB,UAAU,EAAE,MAAM;wBAClB,IAAI,EAAE,QAAQ;wBACd,GAAG,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;qBACpE,CAAC,CAAC;iBACJ;aACF;SACF;KACoB,CAAC;AAC1B,CAAC;AAED,QAAQ,CAAC,sDAAsD,EAAE,GAAG,EAAE;IACpE,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,GAAG,GAAG,gBAAgB,CAAC;YAC3B,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,2BAA2B;YAC7D,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,2BAA2B;YAC7D,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,0BAA0B;YAC7C,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,oCAAoC;SACnE,CAAC,CAAC;QACH,MAAM,CAAC,8BAA8B,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,8EAA8E;QAC9E,+EAA+E;QAC/E,4BAA4B;QAC5B,MAAM,aAAa,GAAG,CAAC,CAAC;QACxB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB;QACnF,MAAM,CAAC,8BAA8B,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}