@opensip-cli/graph 0.1.10 → 0.1.12

package/dist/cli/__tests__/graph-envelope-view.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"graph-envelope-view.test.js","sourceRoot":"","sources":["../../../src/cli/__tests__/graph-envelope-view.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAK/D,MAAM,UAAU,GAAG,0BAA0B,CAAC;AAE9C,SAAS,WAAW,CAAC,SAKpB;IACC,OAAO;QACL,EAAE,EAAE,OAAO,SAAS,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;QACvD,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,QAAQ,EAAE,aAAa;QACvB,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,QAAQ,EAAE,cAAc;QACxB,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,QAAQ,EAAE,OAAO,SAAS,CAAC,MAAM,KAAK;QACtC,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,UAAU;KACtB,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ;IACf,OAAO,mBAAmB,CAAC;QACzB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,OAAO;QACd,SAAS,EAAE,UAAU;QACrB,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,IAAI;gBACZ,cAAc,EAAE,CAAC;gBACjB,UAAU,EAAE,CAAC;aACd;YACD;gBACE,IAAI,EAAE,oBAAoB;gBAC1B,MAAM,EAAE,KAAK;gBACb,cAAc,EAAE,CAAC;gBACjB,UAAU,EAAE,MAAM;aACnB;YACD;gBACE,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,KAAK;gBACb,cAAc,EAAE,CAAC;gBACjB,UAAU,EAAE,MAAM;gBAClB,KAAK,EAAE,cAAc;aACtB;SACF;QACD,OAAO,EAAE;YACP,WAAW,CAAC;gBACV,MAAM,EAAE,oBAAoB;gBAC5B,QAAQ,EAAE,MAAM;gBAChB,OAAO,EAAE,uBAAuB;gBAChC,IAAI,EAAE,CAAC;aACR,CAAC;YACF,WAAW,CAAC;gBACV,MAAM,EAAE,oBAAoB;gBAC5B,QAAQ,EAAE,QAAQ;gBAClB,OAAO,EAAE,yBAAyB;gBAClC,IAAI,EAAE,CAAC;aACR,CAAC;YACF,WAAW,CAAC;gBACV,MAAM,EAAE,kBAAkB;gBAC1B,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,uBAAuB;gBAChC,IAAI,EAAE,CAAC;aACR,CAAC;SACH;QACD,MAAM,EAAE,4BAA4B;QACpC,UAAU,EAAE,KAAK;KAClB,CAAC,CAAC;AACL,CAAC;AAED,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC,CAAC;QAE5C,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,YAAY,CAAC,IAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC;;;;;;KAMjD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG,mBAAmB,CAAC;YAChC,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,WAAW;YAClB,SAAS,EAAE,UAAU;YACrB,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,EAAE;YACX,MAAM,EAAE,4BAA4B;YACpC,UAAU,EAAE,KAAK;SAClB,CAAC,CAAC;QAEH,MAAM,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"graph-envelope-view.test.js","sourceRoot":"","sources":["../../../src/cli/__tests__/graph-envelope-view.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAKvE,MAAM,UAAU,GAAG,0BAA0B,CAAC;AAE9C,SAAS,WAAW,CAAC,SAKpB;IACC,OAAO;QACL,EAAE,EAAE,OAAO,SAAS,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;QACvD,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,QAAQ,EAAE,aAAa;QACvB,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,QAAQ,EAAE,cAAc;QACxB,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,QAAQ,EAAE,OAAO,SAAS,CAAC,MAAM,KAAK;QACtC,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,UAAU;KACtB,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ;IACf,OAAO,mBAAmB,CAAC;QACzB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,OAAO;QACd,SAAS,EAAE,UAAU;QACrB,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,IAAI;gBACZ,cAAc,EAAE,CAAC;gBACjB,UAAU,EAAE,CAAC;aACd;YACD;gBACE,IAAI,EAAE,oBAAoB;gBAC1B,MAAM,EAAE,KAAK;gBACb,cAAc,EAAE,CAAC;gBACjB,UAAU,EAAE,MAAM;aACnB;YACD;gBACE,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,KAAK;gBACb,cAAc,EAAE,CAAC;gBACjB,UAAU,EAAE,MAAM;gBAClB,KAAK,EAAE,cAAc;aACtB;SACF;QACD,OAAO,EAAE;YACP,WAAW,CAAC;gBACV,MAAM,EAAE,oBAAoB;gBAC5B,QAAQ,EAAE,MAAM;gBAChB,OAAO,EAAE,uBAAuB;gBAChC,IAAI,EAAE,CAAC;aACR,CAAC;YACF,WAAW,CAAC;gBACV,MAAM,EAAE,oBAAoB;gBAC5B,QAAQ,EAAE,QAAQ;gBAClB,OAAO,EAAE,yBAAyB;gBAClC,IAAI,EAAE,CAAC;aACR,CAAC;YACF,WAAW,CAAC;gBACV,MAAM,EAAE,kBAAkB;gBAC1B,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,uBAAuB;gBAChC,IAAI,EAAE,CAAC;aACR,CAAC;SACH;QACD,MAAM,EAAE,4BAA4B;QACpC,UAAU,EAAE,KAAK;KAClB,CAAC,CAAC;AACL,CAAC;AAED,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,IAAI,GAAG,YAAY,CAAC,0BAA0B,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QAElE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,YAAY,CAAC,IAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC;;;;;;KAMjD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG,mBAAmB,CAAC;YAChC,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,WAAW;YAClB,SAAS,EAAE,UAAU;YACrB,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,EAAE;YACX,MAAM,EAAE,4BAA4B;YACpC,UAAU,EAAE,KAAK;SAClB,CAAC,CAAC;QAEH,MAAM,CAAC,YAAY,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/cli/__tests__/graph-runner.test.d.ts

@@ -0,0 +1,5 @@
+/**
+ * graph-runner produce() mapping — summary, verbose lines/table gates.
+ */
+export {};
+//# sourceMappingURL=graph-runner.test.d.ts.map

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

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

package/dist/cli/__tests__/graph-runner.test.js

@@ -0,0 +1,100 @@
+/**
+ * graph-runner produce() mapping — summary, verbose lines/table gates.
+ */
+import { beforeEach, describe, expect, it, vi } from 'vitest';
+import { renderGraphLive } from '../graph-runner.js';
+const runToolLiveView = vi.hoisted(() => vi.fn());
+const runOffThreadOrInProcess = vi.hoisted(() => vi.fn());
+vi.mock('@opensip-cli/cli-live', () => ({
+    runToolLiveView,
+}));
+vi.mock('@opensip-cli/core', async (importOriginal) => {
+    const actual = await importOriginal();
+    return {
+        ...actual,
+        runOffThreadOrInProcess,
+        currentScope: vi.fn(() => ({ runId: 'RUN_graph_test' })),
+    };
+});
+function liveGraphOutput() {
+    const signals = [
+        {
+            id: 'sig_cycle',
+            source: 'graph:cycle',
+            provider: 'opensip-cli',
+            severity: 'high',
+            category: 'architecture',
+            ruleId: 'graph:cycle',
+            message: 'cycle detected',
+            filePath: 'src/a.ts',
+            line: 1,
+            metadata: {},
+            createdAt: '2026-06-04T00:00:00.000Z',
+        },
+    ];
+    return {
+        signals,
+        suppressedCount: 0,
+        reportLines: ['Graph catalog line'],
+        resolutionMode: 'fast',
+    };
+}
+let capturedSpec;
+beforeEach(() => {
+    capturedSpec = undefined;
+    runToolLiveView.mockReset();
+    runOffThreadOrInProcess.mockReset();
+    runOffThreadOrInProcess.mockImplementation(({ inProcess }) => ({
+        onProgress: vi.fn(),
+        result: Promise.resolve(inProcess(vi.fn())),
+    }));
+    runToolLiveView.mockImplementation((spec) => {
+        capturedSpec = spec;
+        return Promise.resolve({});
+    });
+});
+describe('renderGraphLive produce mapping', () => {
+    it('routes through runToolLiveView with the graph tool key', async () => {
+        await renderGraphLive({ cwd: '/proj' });
+        expect(runToolLiveView).toHaveBeenCalledTimes(1);
+        expect(capturedSpec?.tool).toBe('graph');
+    });
+    it('omits verbose lines and table on compact runs', async () => {
+        runOffThreadOrInProcess.mockImplementation(() => ({
+            onProgress: vi.fn(),
+            result: Promise.resolve(liveGraphOutput()),
+        }));
+        await renderGraphLive({ cwd: '/proj', verbose: false });
+        const outcome = await capturedSpec.produce(vi.fn(), {
+            setRunning: vi.fn(),
+            setHeaderMetadata: vi.fn(),
+            setShowRunHeader: vi.fn(),
+        });
+        expect(outcome.kind).toBe('done');
+        if (outcome.kind !== 'done')
+            return;
+        expect(outcome.done.verboseLines).toBeUndefined();
+        expect(outcome.done.table).toBeUndefined();
+        expect(outcome.done.summary).toMatchObject({ passed: false, errors: 1, warnings: 0 });
+        expect(outcome.session?.tool).toBe('graph');
+    });
+    it('includes verbose lines and the per-rule table when --verbose', async () => {
+        runOffThreadOrInProcess.mockImplementation(() => ({
+            onProgress: vi.fn(),
+            result: Promise.resolve(liveGraphOutput()),
+        }));
+        await renderGraphLive({ cwd: '/proj', verbose: true });
+        const outcome = await capturedSpec.produce(vi.fn(), {
+            setRunning: vi.fn(),
+            setHeaderMetadata: vi.fn(),
+            setShowRunHeader: vi.fn(),
+        });
+        expect(outcome.kind).toBe('done');
+        if (outcome.kind !== 'done')
+            return;
+        expect(outcome.done.verboseLines).toEqual(['Graph catalog line']);
+        expect(outcome.done.table?.length).toBeGreaterThan(0);
+        expect(String(outcome.done.banner)).toMatch(/fast/i);
+    });
+});
+//# sourceMappingURL=graph-runner.test.js.map

package/dist/cli/__tests__/graph-runner.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph-runner.test.js","sourceRoot":"","sources":["../../../src/cli/__tests__/graph-runner.test.tsx"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9D,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAOrD,MAAM,eAAe,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AAClD,MAAM,uBAAuB,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AAE1D,EAAE,CAAC,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE,CAAC,CAAC;IACtC,eAAe;CAChB,CAAC,CAAC,CAAC;AAEJ,EAAE,CAAC,IAAI,CAAC,mBAAmB,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE;IACpD,MAAM,MAAM,GAAG,MAAM,cAAc,EAAqB,CAAC;IACzD,OAAO;QACL,GAAG,MAAM;QACT,uBAAuB;QACvB,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,CAAC;KACzD,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,SAAS,eAAe;IACtB,MAAM,OAAO,GAAa;QACxB;YACE,EAAE,EAAE,WAAW;YACf,MAAM,EAAE,aAAa;YACrB,QAAQ,EAAE,aAAa;YACvB,QAAQ,EAAE,MAAM;YAChB,QAAQ,EAAE,cAAc;YACxB,MAAM,EAAE,aAAa;YACrB,OAAO,EAAE,gBAAgB;YACzB,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,CAAC;YACP,QAAQ,EAAE,EAAE;YACZ,SAAS,EAAE,0BAA0B;SACtC;KACF,CAAC;IACF,OAAO;QACL,OAAO;QACP,eAAe,EAAE,CAAC;QAClB,WAAW,EAAE,CAAC,oBAAoB,CAAC;QACnC,cAAc,EAAE,MAAM;KACvB,CAAC;AACJ,CAAC;AAED,IAAI,YAAqC,CAAC;AAE1C,UAAU,CAAC,GAAG,EAAE;IACd,YAAY,GAAG,SAAS,CAAC;IACzB,eAAe,CAAC,SAAS,EAAE,CAAC;IAC5B,uBAAuB,CAAC,SAAS,EAAE,CAAC;IACpC,uBAAuB,CAAC,kBAAkB,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7D,UAAU,EAAE,EAAE,CAAC,EAAE,EAAE;QACnB,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;KAC5C,CAAC,CAAC,CAAC;IACJ,eAAe,CAAC,kBAAkB,CAAC,CAAC,IAAiB,EAAE,EAAE;QACvD,YAAY,GAAG,IAAI,CAAC;QACpB,OAAO,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,EAAE,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;QACtE,MAAM,eAAe,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;QACxC,MAAM,CAAC,eAAe,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;QAC7D,uBAAuB,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,CAAC;YAChD,UAAU,EAAE,EAAE,CAAC,EAAE,EAAE;YACnB,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;SAC3C,CAAC,CAAC,CAAC;QACJ,MAAM,eAAe,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,MAAM,YAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE;YACnD,UAAU,EAAE,EAAE,CAAC,EAAE,EAAE;YACnB,iBAAiB,EAAE,EAAE,CAAC,EAAE,EAAE;YAC1B,gBAAgB,EAAE,EAAE,CAAC,EAAE,EAAE;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO;QACpC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,aAAa,EAAE,CAAC;QAClD,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,aAAa,EAAE,CAAC;QAC3C,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACtF,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;QAC5E,uBAAuB,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,CAAC;YAChD,UAAU,EAAE,EAAE,CAAC,EAAE,EAAE;YACnB,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;SAC3C,CAAC,CAAC,CAAC;QACJ,MAAM,eAAe,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,MAAM,YAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE;YACnD,UAAU,EAAE,EAAE,CAAC,EAAE,EAAE;YACnB,iBAAiB,EAAE,EAAE,CAAC,EAAE,EAAE;YAC1B,gBAAgB,EAAE,EAAE,CAAC,EAAE,EAAE;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO;QACpC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC;QAClE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/cli/equivalence-check-command.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"equivalence-check-command.d.ts","sourceRoot":"","sources":["../../src/cli/equivalence-check-command.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAoBH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAOxD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,mEAAmE;IACnE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,2EAA2E;IAC3E,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;CACjC;AAwFD;;;;;;GAMG;AAEH,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,uBAAuB,EAC7B,GAAG,EAAE,cAAc,GAClB,OAAO,CAAC,IAAI,CAAC,CAmEf"}
+{"version":3,"file":"equivalence-check-command.d.ts","sourceRoot":"","sources":["../../src/cli/equivalence-check-command.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAwBH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAOxD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,mEAAmE;IACnE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,2EAA2E;IAC3E,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;CACjC;AAwFD;;;;;;GAMG;AACH,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,uBAAuB,EAC7B,GAAG,EAAE,cAAc,GAClB,OAAO,CAAC,IAAI,CAAC,CA8Ef"}

package/dist/cli/equivalence-check-command.js

@@ -31,9 +31,11 @@ import { dirname, resolve } from 'node:path';
 import { EXIT_CODES } from '@opensip-cli/contracts';
 import { logger } from '@opensip-cli/core';
 import { pickAdapter } from '../lang-adapter/registry.js';
+import { buildEquivalenceDiagnostic } from './equivalence-diagnostic.js';
 import { resolveShardsForCwd } from './graph.js';
 import { buildEquivalenceReport, judgeEquivalence, } from './orchestrate/equivalence-check.js';
 import { runGraph, runShardedGraph } from './orchestrate.js';
+import { readGraphEnv } from './pressure-monitor.js';
 const MODULE = 'graph:cli';
 /** Default committed budget path, relative to the target repo root. */
 const DEFAULT_BUDGET_REL = '.config/graph-equivalence-budget.json';
@@ -116,7 +118,6 @@ async function buildShardedCatalog(input) {
  * missing/invalid budget) is caught locally and converted to
  * `EXIT_CODES.RUNTIME_ERROR` — so this function does not throw to its caller.
  */
-// @fitness-ignore-next-line throws-documentation -- All throws in the body are caught by this function's own try/catch and converted to an exit code; the function never propagates an error to its caller, so a caller-facing @throws tag would be inaccurate.
 export async function executeEquivalenceCheck(opts, cli) {
     const cwd = resolve(opts.cwd);
     const budgetPath = opts.budget ? resolve(cwd, opts.budget) : resolve(cwd, DEFAULT_BUDGET_REL);
@@ -132,13 +133,27 @@ export async function executeEquivalenceCheck(opts, cli) {
                 'The comparison requires a multi-package (shardable) repo so the sharded and ' +
                 'exact engines actually diverge through real dist/*.d.ts resolution.');
         }
+        // Transparent passthrough wrappers: capture both catalogs ONLY to feed the
+        // optional GRAPH_EQUIV_DIAG dump. Behaviourally identical to passing the
+        // builders directly when the diagnostic is not requested.
+        let exactCatalog = null;
+        let shardedCatalog = null;
         const report = await buildEquivalenceReport({
             cwd,
             shards,
             cliScript,
-            buildExact: buildExactCatalog,
-            buildSharded: buildShardedCatalog,
+            buildExact: async (root) => {
+                const c = await buildExactCatalog(root);
+                exactCatalog = c;
+                return c;
+            },
+            buildSharded: async (input) => {
+                const c = await buildShardedCatalog(input);
+                shardedCatalog = c;
+                return c;
+            },
         });
+        maybeWriteEquivalenceDiagnostic(report, exactCatalog, shardedCatalog, shards);
         const seedMissing = opts.updateBudget === true && !existsSync(budgetPath);
         const budget = seedMissing
             ? {
@@ -152,7 +167,6 @@ export async function executeEquivalenceCheck(opts, cli) {
         for (const line of verdict.lines)
             process.stdout.write(`${line}\n`);
         if (opts.updateBudget === true) {
-            // @fitness-ignore-next-line detached-promises -- writeBudget is a synchronous void helper (writeFileSync); there is no promise to await.
             writeBudget(budgetPath, verdict);
             process.stdout.write(`Wrote budget phantom=${String(verdict.phantomCount)} ` +
                 `decline=${String(verdict.declineCount)} conflict=${String(verdict.conflictCount)} ` +
@@ -161,12 +175,10 @@ export async function executeEquivalenceCheck(opts, cli) {
             // exit 0 so a maintainer can record the new floor without the (now-stale)
             // budget failing the same invocation.
             cli.setExitCode(EXIT_CODES.SUCCESS);
-            // @fitness-ignore-next-line detached-promises -- logEnd is a synchronous void helper (logger.info); there is no promise to await.
             logEnd(report, verdict, false);
             return;
         }
         cli.setExitCode(verdict.failed ? EXIT_CODES.RUNTIME_ERROR : EXIT_CODES.SUCCESS);
-        // @fitness-ignore-next-line detached-promises -- logEnd is a synchronous void helper (logger.info); there is no promise to await.
         logEnd(report, verdict, verdict.failed);
     }
     catch (error) {
@@ -176,6 +188,23 @@ export async function executeEquivalenceCheck(opts, cli) {
         cli.setExitCode(EXIT_CODES.RUNTIME_ERROR);
     }
 }
+/**
+ * Write the structured equivalence diagnostic to the path named by the
+ * `GRAPH_EQUIV_DIAG` env var (read through the governed {@link GRAPH_ENV}
+ * registry), if set and both catalogs were captured. Inert otherwise. Effectful
+ * seam (env gate + file + stdout) — the analysis itself is the pure
+ * {@link buildEquivalenceDiagnostic}. Mirrors {@link writeBudget}'s direct file
+ * write; this is a host CI/diagnostic command, not a tool action body.
+ */
+function maybeWriteEquivalenceDiagnostic(report, exact, sharded, shards) {
+    const outPath = readGraphEnv('GRAPH_EQUIV_DIAG');
+    if (outPath === undefined || outPath.length === 0 || exact === null || sharded === null)
+        return;
+    const diagnostic = buildEquivalenceDiagnostic({ report, exact, sharded, shards });
+    const payload = { generatedAt: new Date().toISOString(), ...diagnostic };
+    writeFileSync(outPath, `${JSON.stringify(payload, null, 2)}\n`, 'utf8');
+    process.stdout.write(`Wrote graph equivalence diagnostic to ${outPath}\n`);
+}
 function logEnd(report, verdict, failed) {
     logger.info({
         evt: 'graph.cli.equivalence_check.complete',

package/dist/cli/equivalence-check-command.js.map

@@ -1 +1 @@
-{"version":3,"file":"equivalence-check-command.js","sourceRoot":"","sources":["../../src/cli/equivalence-check-command.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAE7C,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EACL,sBAAsB,EACtB,gBAAgB,GAGjB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAK7D,MAAM,MAAM,GAAG,WAAW,CAAC;AAE3B,uEAAuE;AACvE,MAAM,kBAAkB,GAAG,uCAAuC,CAAC;AAUnE,MAAM,WAAW,GACf,iFAAiF;IACjF,iFAAiF;IACjF,gFAAgF;IAChF,oFAAoF;IACpF,+EAA+E;IAC/E,2EAA2E;IAC3E,8EAA8E;IAC9E,kFAAkF;IAClF,sFAAsF,CAAC;AAEzF,4DAA4D;AAC5D,MAAM,WAAW,GAAG;IAClB,oBAAoB;IACpB,oBAAoB;IACpB,qBAAqB;IACrB,gBAAgB;CACR,CAAC;AAEX;;;;iEAIiE;AACjE,SAAS,UAAU,CAAC,IAAY;IAC9B,wEAAwE;IACxE,wDAAwD;IACxD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAY,CAAC;IACjE,MAAM,GAAG,GAAG,MAAwC,CAAC;IACrD,IACE,OAAO,GAAG,KAAK,QAAQ;QACvB,GAAG,KAAK,IAAI;QACZ,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,EACnD,CAAC;QACD,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,wBAAwB,OAAO,KAAK,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,GAAG,GAAG,MAA0E,CAAC;IACvF,OAAO;QACL,kBAAkB,EAAE,GAAG,CAAC,kBAAkB;QAC1C,kBAAkB,EAAE,GAAG,CAAC,kBAAkB;QAC1C,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;QAC5C,cAAc,EAAE,GAAG,CAAC,cAAc;QAClC,GAAG,CAAC,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,OAA2B;IAC5D,MAAM,MAAM,GAAG;QACb,kBAAkB,EAAE,OAAO,CAAC,YAAY;QACxC,kBAAkB,EAAE,OAAO,CAAC,YAAY;QACxC,mBAAmB,EAAE,OAAO,CAAC,aAAa;QAC1C,cAAc,EAAE,OAAO,CAAC,QAAQ;QAChC,IAAI,EAAE,WAAW;KAClB,CAAC;IACF,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9C,aAAa,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACtE,CAAC;AAED;iCACiC;AACjC,KAAK,UAAU,iBAAiB,CAAC,GAAW;IAC1C,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;IACtF,OAAO,MAAM,CAAC,OAAO,CAAC;AACxB,CAAC;AAED,+EAA+E;AAC/E,KAAK,UAAU,mBAAmB,CAAC,KAKlC;IACC,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC;QACnC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,OAAO,EAAE,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC;QACvC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,IAAI;QACjB,KAAK,EAAE,EAAE;KACV,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,OAAO,CAAC;AACxB,CAAC;AAED;;;;;;GAMG;AACH,gQAAgQ;AAChQ,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAA6B,EAC7B,GAAmB;IAEnB,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC9F,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,mCAAmC,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IAC3F,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACb,wFAAwF,CACzF,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC9D,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,4BAA4B,GAAG,sBAAsB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc;gBACtF,8EAA8E;gBAC9E,qEAAqE,CACxE,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC;YAC1C,GAAG;YACH,MAAM;YACN,SAAS;YACT,UAAU,EAAE,iBAAiB;YAC7B,YAAY,EAAE,mBAAmB;SAClC,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAsB,WAAW;YAC3C,CAAC,CAAC;gBACE,kBAAkB,EAAE,MAAM,CAAC,iBAAiB,CAAC,MAAM;gBACnD,kBAAkB,EAAE,MAAM,CAAC,iBAAiB,CAAC,MAAM;gBACnD,mBAAmB,EAAE,MAAM,CAAC,kBAAkB,CAAC,MAAM;gBACrD,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM;aAC7C;YACH,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC3B,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAEjD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK;YAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC;QAEpE,IAAI,IAAI,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;YAC/B,yIAAyI;YACzI,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACjC,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,wBAAwB,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG;gBACrD,WAAW,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,aAAa,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG;gBACpF,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,UAAU,IAAI,CACvD,CAAC;YACF,sEAAsE;YACtE,0EAA0E;YAC1E,sCAAsC;YACtC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YACpC,kIAAkI;YAClI,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAC/B,OAAO;QACT,CAAC;QAED,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAChF,kIAAkI;QAClI,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,mCAAmC,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;QACzF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,4BAA4B,OAAO,IAAI,CAAC,CAAC;QAC9D,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CACb,MAKC,EACD,OAA2B,EAC3B,MAAe;IAEf,MAAM,CAAC,IAAI,CAAC;QACV,GAAG,EAAE,sCAAsC;QAC3C,MAAM,EAAE,MAAM;QACd,MAAM;QACN,kBAAkB,EAAE,MAAM,CAAC,6BAA6B,CAAC,MAAM;QAC/D,OAAO,EAAE,OAAO,CAAC,YAAY;QAC7B,OAAO,EAAE,OAAO,CAAC,YAAY;QAC7B,QAAQ,EAAE,OAAO,CAAC,aAAa;QAC/B,YAAY,EAAE,MAAM,CAAC,uBAAuB,CAAC,MAAM;QACnD,UAAU,EAAE,MAAM,CAAC,qBAAqB,CAAC,MAAM;QAC/C,GAAG,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM;QACjC,SAAS,EAAE,OAAO,CAAC,SAAS;KAC7B,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"equivalence-check-command.js","sourceRoot":"","sources":["../../src/cli/equivalence-check-command.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAE7C,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE1D,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AACzE,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EACL,sBAAsB,EACtB,gBAAgB,GAIjB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAMrD,MAAM,MAAM,GAAG,WAAW,CAAC;AAE3B,uEAAuE;AACvE,MAAM,kBAAkB,GAAG,uCAAuC,CAAC;AAUnE,MAAM,WAAW,GACf,iFAAiF;IACjF,iFAAiF;IACjF,gFAAgF;IAChF,oFAAoF;IACpF,+EAA+E;IAC/E,2EAA2E;IAC3E,8EAA8E;IAC9E,kFAAkF;IAClF,sFAAsF,CAAC;AAEzF,4DAA4D;AAC5D,MAAM,WAAW,GAAG;IAClB,oBAAoB;IACpB,oBAAoB;IACpB,qBAAqB;IACrB,gBAAgB;CACR,CAAC;AAEX;;;;iEAIiE;AACjE,SAAS,UAAU,CAAC,IAAY;IAC9B,wEAAwE;IACxE,wDAAwD;IACxD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAY,CAAC;IACjE,MAAM,GAAG,GAAG,MAAwC,CAAC;IACrD,IACE,OAAO,GAAG,KAAK,QAAQ;QACvB,GAAG,KAAK,IAAI;QACZ,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,EACnD,CAAC;QACD,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,wBAAwB,OAAO,KAAK,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,GAAG,GAAG,MAA0E,CAAC;IACvF,OAAO;QACL,kBAAkB,EAAE,GAAG,CAAC,kBAAkB;QAC1C,kBAAkB,EAAE,GAAG,CAAC,kBAAkB;QAC1C,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;QAC5C,cAAc,EAAE,GAAG,CAAC,cAAc;QAClC,GAAG,CAAC,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,OAA2B;IAC5D,MAAM,MAAM,GAAG;QACb,kBAAkB,EAAE,OAAO,CAAC,YAAY;QACxC,kBAAkB,EAAE,OAAO,CAAC,YAAY;QACxC,mBAAmB,EAAE,OAAO,CAAC,aAAa;QAC1C,cAAc,EAAE,OAAO,CAAC,QAAQ;QAChC,IAAI,EAAE,WAAW;KAClB,CAAC;IACF,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9C,aAAa,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACtE,CAAC;AAED;iCACiC;AACjC,KAAK,UAAU,iBAAiB,CAAC,GAAW;IAC1C,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;IACtF,OAAO,MAAM,CAAC,OAAO,CAAC;AACxB,CAAC;AAED,+EAA+E;AAC/E,KAAK,UAAU,mBAAmB,CAAC,KAKlC;IACC,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC;QACnC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,OAAO,EAAE,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC;QACvC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,IAAI;QACjB,KAAK,EAAE,EAAE;KACV,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,OAAO,CAAC;AACxB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAA6B,EAC7B,GAAmB;IAEnB,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC9F,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,mCAAmC,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IAC3F,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACb,wFAAwF,CACzF,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC9D,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,4BAA4B,GAAG,sBAAsB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc;gBACtF,8EAA8E;gBAC9E,qEAAqE,CACxE,CAAC;QACJ,CAAC;QAED,2EAA2E;QAC3E,yEAAyE;QACzE,0DAA0D;QAC1D,IAAI,YAAY,GAAmB,IAAI,CAAC;QACxC,IAAI,cAAc,GAAmB,IAAI,CAAC;QAC1C,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC;YAC1C,GAAG;YACH,MAAM;YACN,SAAS;YACT,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;gBACzB,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAAC,IAAI,CAAC,CAAC;gBACxC,YAAY,GAAG,CAAC,CAAC;gBACjB,OAAO,CAAC,CAAC;YACX,CAAC;YACD,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;gBAC5B,MAAM,CAAC,GAAG,MAAM,mBAAmB,CAAC,KAAK,CAAC,CAAC;gBAC3C,cAAc,GAAG,CAAC,CAAC;gBACnB,OAAO,CAAC,CAAC;YACX,CAAC;SACF,CAAC,CAAC;QACH,+BAA+B,CAAC,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC;QAE9E,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAsB,WAAW;YAC3C,CAAC,CAAC;gBACE,kBAAkB,EAAE,MAAM,CAAC,iBAAiB,CAAC,MAAM;gBACnD,kBAAkB,EAAE,MAAM,CAAC,iBAAiB,CAAC,MAAM;gBACnD,mBAAmB,EAAE,MAAM,CAAC,kBAAkB,CAAC,MAAM;gBACrD,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM;aAC7C;YACH,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC3B,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAEjD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK;YAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC;QAEpE,IAAI,IAAI,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;YAC/B,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACjC,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,wBAAwB,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG;gBACrD,WAAW,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,aAAa,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG;gBACpF,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,UAAU,IAAI,CACvD,CAAC;YACF,sEAAsE;YACtE,0EAA0E;YAC1E,sCAAsC;YACtC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YACpC,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAC/B,OAAO;QACT,CAAC;QAED,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAChF,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,mCAAmC,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;QACzF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,4BAA4B,OAAO,IAAI,CAAC,CAAC;QAC9D,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,+BAA+B,CACtC,MAAyB,EACzB,KAAqB,EACrB,OAAuB,EACvB,MAAwB;IAExB,MAAM,OAAO,GAAG,YAAY,CAAS,kBAAkB,CAAC,CAAC;IACzD,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO;IAChG,MAAM,UAAU,GAAG,0BAA0B,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IAClF,MAAM,OAAO,GAAG,EAAE,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,GAAG,UAAU,EAAE,CAAC;IACzE,aAAa,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,yCAAyC,OAAO,IAAI,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,MAAM,CACb,MAKC,EACD,OAA2B,EAC3B,MAAe;IAEf,MAAM,CAAC,IAAI,CAAC;QACV,GAAG,EAAE,sCAAsC;QAC3C,MAAM,EAAE,MAAM;QACd,MAAM;QACN,kBAAkB,EAAE,MAAM,CAAC,6BAA6B,CAAC,MAAM;QAC/D,OAAO,EAAE,OAAO,CAAC,YAAY;QAC7B,OAAO,EAAE,OAAO,CAAC,YAAY;QAC7B,QAAQ,EAAE,OAAO,CAAC,aAAa;QAC/B,YAAY,EAAE,MAAM,CAAC,uBAAuB,CAAC,MAAM;QACnD,UAAU,EAAE,MAAM,CAAC,qBAAqB,CAAC,MAAM;QAC/C,GAAG,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM;QACjC,SAAS,EAAE,OAAO,CAAC,SAAS;KAC7B,CAAC,CAAC;AACL,CAAC"}

package/dist/cli/equivalence-diagnostic.d.ts

@@ -0,0 +1,100 @@
+/**
+ * Equivalence-divergence diagnostic builder (pure).
+ *
+ * When `graph-equivalence-check` reports production decline/phantom divergences,
+ * this turns each divergence into a fully-described record — owner occurrence,
+ * resolved target occurrences, and the actual call edge on BOTH engines (plus the
+ * same-call-site edge whatever its resolution) — so a maintainer can see exactly
+ * how exact and sharded disagreed at a call site, not just the bodyHash deltas.
+ *
+ * It is the structured form of the throwaway instrumentation that originally
+ * root-caused the 118-decline asymmetry (exact resolves workspace deps via
+ * symlinked `packages/X/dist`, sharded via pnpm's injected `.pnpm/...@file+...`).
+ * Keeping it as a maintained, env-gated artifact makes the NEXT equivalence
+ * regression debuggable in minutes instead of hours.
+ *
+ * This module is PURE — no `fs`, no `process`, no `Date`. The host command
+ * (`equivalence-check-command.ts`) owns the env gate + file/stdout effects, so
+ * the analysis is unit-testable in isolation.
+ */
+import type { Catalog, CallEdge, FunctionOccurrence } from '../types.js';
+import type { EdgeDifference } from './orchestrate/cross-shard-resolve.js';
+/** Compact occurrence projection for the diagnostic JSON. */
+export interface OccurrenceSummary {
+    readonly simpleName: string;
+    readonly qualifiedName: string;
+    readonly filePath: string;
+    readonly line: number;
+    readonly column: number;
+    readonly kind: FunctionOccurrence['kind'];
+    readonly visibility: FunctionOccurrence['visibility'];
+    readonly package: string | undefined;
+}
+/** Compact call-edge projection for the diagnostic JSON. */
+export interface EdgeSummary {
+    readonly to: readonly string[];
+    readonly line: number;
+    readonly column: number;
+    readonly resolution: CallEdge['resolution'];
+    readonly confidence: CallEdge['confidence'];
+    readonly text: string;
+    readonly crossShard: boolean;
+    readonly discarded: boolean;
+}
+/** One resolved target bodyHash and every occurrence that shares it. */
+export interface TargetSummary {
+    readonly hash: string;
+    readonly occurrences: readonly OccurrenceSummary[];
+}
+/** A single divergence, described symmetrically across both engines. */
+export interface DiffDiagnostic {
+    readonly owner: {
+        readonly hash: string;
+        readonly filePath: string;
+        readonly line: number;
+        readonly column: number;
+        readonly exact: OccurrenceSummary | null;
+        readonly sharded: OccurrenceSummary | null;
+    };
+    readonly exactTo: readonly TargetSummary[];
+    readonly shardedTo: readonly TargetSummary[];
+    /** The edge whose target set exactly matches this divergence's recorded `to`. */
+    readonly exactEdge: EdgeSummary | null;
+    readonly shardedEdge: EdgeSummary | null;
+    /** The edge at the same call site regardless of its resolved target set. */
+    readonly exactSameSite: EdgeSummary | null;
+    readonly shardedSameSite: EdgeSummary | null;
+}
+export interface EquivalenceDiagnostic {
+    readonly counts: {
+        readonly productionDecline: number;
+        readonly productionPhantom: number;
+    };
+    readonly shards: readonly {
+        readonly id: string;
+        readonly rootDir: string;
+        readonly fileCount: number;
+    }[];
+    /** Histogram: `<resolution>:<crossShard>` of the exact edge for each decline. */
+    readonly declineByExactResolution: Record<string, number>;
+    /** Histogram: `<resolution>:<crossShard>` of the sharded edge for each phantom. */
+    readonly phantomByShardedResolution: Record<string, number>;
+    readonly decline: readonly DiffDiagnostic[];
+    readonly phantom: readonly DiffDiagnostic[];
+}
+export interface BuildEquivalenceDiagnosticInput {
+    readonly report: {
+        readonly productionDecline: readonly EdgeDifference[];
+        readonly productionPhantom: readonly EdgeDifference[];
+    };
+    readonly exact: Catalog;
+    readonly sharded: Catalog;
+    readonly shards: readonly {
+        readonly id: string;
+        readonly rootDir: string;
+        readonly files: readonly string[];
+    }[];
+}
+/** Build the structured equivalence diagnostic. Pure: no I/O, no clock. */
+export declare function buildEquivalenceDiagnostic(input: BuildEquivalenceDiagnosticInput): EquivalenceDiagnostic;
+//# sourceMappingURL=equivalence-diagnostic.d.ts.map

package/dist/cli/equivalence-diagnostic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"equivalence-diagnostic.d.ts","sourceRoot":"","sources":["../../src/cli/equivalence-diagnostic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACzE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAC;AAE3E,6DAA6D;AAC7D,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAC;IACtD,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,CAAC;CACtC;AAED,4DAA4D;AAC5D,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED,wEAAwE;AACxE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACpD;AAED,wEAAwE;AACxE,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,KAAK,EAAE,iBAAiB,GAAG,IAAI,CAAC;QACzC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,GAAG,IAAI,CAAC;KAC5C,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,SAAS,aAAa,EAAE,CAAC;IAC7C,iFAAiF;IACjF,QAAQ,CAAC,SAAS,EAAE,WAAW,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,WAAW,GAAG,IAAI,CAAC;IACzC,4EAA4E;IAC5E,QAAQ,CAAC,aAAa,EAAE,WAAW,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,eAAe,EAAE,WAAW,GAAG,IAAI,CAAC;CAC9C;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;QACnC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;KACpC,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE,SAAS;QACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B,EAAE,CAAC;IACJ,iFAAiF;IACjF,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1D,mFAAmF;IACnF,QAAQ,CAAC,0BAA0B,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5D,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;CAC7C;AAED,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,iBAAiB,EAAE,SAAS,cAAc,EAAE,CAAC;QACtD,QAAQ,CAAC,iBAAiB,EAAE,SAAS,cAAc,EAAE,CAAC;KACvD,CAAC;IACF,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS;QACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;KACnC,EAAE,CAAC;CACL;AAED,2EAA2E;AAC3E,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,+BAA+B,GACrC,qBAAqB,CAevB"}

package/dist/cli/equivalence-diagnostic.js

@@ -0,0 +1,138 @@
+/**
+ * Equivalence-divergence diagnostic builder (pure).
+ *
+ * When `graph-equivalence-check` reports production decline/phantom divergences,
+ * this turns each divergence into a fully-described record — owner occurrence,
+ * resolved target occurrences, and the actual call edge on BOTH engines (plus the
+ * same-call-site edge whatever its resolution) — so a maintainer can see exactly
+ * how exact and sharded disagreed at a call site, not just the bodyHash deltas.
+ *
+ * It is the structured form of the throwaway instrumentation that originally
+ * root-caused the 118-decline asymmetry (exact resolves workspace deps via
+ * symlinked `packages/X/dist`, sharded via pnpm's injected `.pnpm/...@file+...`).
+ * Keeping it as a maintained, env-gated artifact makes the NEXT equivalence
+ * regression debuggable in minutes instead of hours.
+ *
+ * This module is PURE — no `fs`, no `process`, no `Date`. The host command
+ * (`equivalence-check-command.ts`) owns the env gate + file/stdout effects, so
+ * the analysis is unit-testable in isolation.
+ */
+/** Build the structured equivalence diagnostic. Pure: no I/O, no clock. */
+export function buildEquivalenceDiagnostic(input) {
+    const exactTargets = indexOccurrencesByHash(input.exact);
+    const shardedTargets = indexOccurrencesByHash(input.sharded);
+    const describe = (d) => describeDifference(d, input.exact, input.sharded, exactTargets, shardedTargets);
+    const decline = input.report.productionDecline.map(describe);
+    const phantom = input.report.productionPhantom.map(describe);
+    return {
+        counts: { productionDecline: decline.length, productionPhantom: phantom.length },
+        shards: input.shards.map((s) => ({ id: s.id, rootDir: s.rootDir, fileCount: s.files.length })),
+        declineByExactResolution: countBy(decline, (d) => edgeResolutionKey(d.exactEdge)),
+        phantomByShardedResolution: countBy(phantom, (d) => edgeResolutionKey(d.shardedEdge)),
+        decline,
+        phantom,
+    };
+}
+function edgeResolutionKey(edge) {
+    return `${edge?.resolution ?? 'missing'}:${String(edge?.crossShard ?? false)}`;
+}
+function countBy(items, keyOf) {
+    const out = {};
+    for (const item of items) {
+        const key = keyOf(item);
+        out[key] = (out[key] ?? 0) + 1;
+    }
+    return out;
+}
+function describeDifference(diff, exact, sharded, exactTargets, shardedTargets) {
+    const atSign = diff.key.indexOf('@');
+    const ownerHash = atSign === -1 ? diff.key : diff.key.slice(0, atSign);
+    const exactOwner = findOccurrence(exact, ownerHash, diff.ownerFilePath);
+    const shardedOwner = findOccurrence(sharded, ownerHash, diff.ownerFilePath);
+    return {
+        owner: {
+            hash: ownerHash,
+            filePath: diff.ownerFilePath,
+            line: diff.line,
+            column: diff.column,
+            exact: exactOwner === undefined ? null : summarizeOccurrence(exactOwner),
+            sharded: shardedOwner === undefined ? null : summarizeOccurrence(shardedOwner),
+        },
+        exactTo: splitTargets(diff.toA).map((hash) => summarizeTargets(hash, exactTargets)),
+        shardedTo: splitTargets(diff.toB).map((hash) => summarizeTargets(hash, shardedTargets)),
+        exactEdge: nullableEdge(findEdge(exactOwner, diff.line, diff.column, diff.toA)),
+        shardedEdge: nullableEdge(findEdge(shardedOwner, diff.line, diff.column, diff.toB)),
+        exactSameSite: nullableEdge(findAnyEdge(exactOwner, diff.line, diff.column)),
+        shardedSameSite: nullableEdge(findAnyEdge(shardedOwner, diff.line, diff.column)),
+    };
+}
+function nullableEdge(edge) {
+    return edge === undefined ? null : summarizeEdge(edge);
+}
+function indexOccurrencesByHash(catalog) {
+    const out = new Map();
+    for (const occs of Object.values(catalog.functions)) {
+        for (const occ of occs ?? []) {
+            const bucket = out.get(occ.bodyHash);
+            if (bucket)
+                bucket.push(occ);
+            else
+                out.set(occ.bodyHash, [occ]);
+        }
+    }
+    return out;
+}
+function findOccurrence(catalog, bodyHash, filePath) {
+    for (const occs of Object.values(catalog.functions)) {
+        for (const occ of occs ?? []) {
+            if (occ.bodyHash === bodyHash && occ.filePath === filePath)
+                return occ;
+        }
+    }
+    return undefined;
+}
+function findEdge(occ, line, column, toJoined) {
+    if (occ === undefined)
+        return undefined;
+    for (const edge of occ.calls) {
+        if (edge.line !== line || edge.column !== column)
+            continue;
+        if ([...edge.to].sort().join(',') === toJoined)
+            return edge;
+    }
+    return undefined;
+}
+function findAnyEdge(occ, line, column) {
+    return occ?.calls.find((edge) => edge.line === line && edge.column === column);
+}
+function splitTargets(toJoined) {
+    return toJoined.length === 0 ? [] : toJoined.split(',');
+}
+function summarizeTargets(hash, targets) {
+    return { hash, occurrences: (targets.get(hash) ?? []).map(summarizeOccurrence) };
+}
+function summarizeOccurrence(occ) {
+    return {
+        simpleName: occ.simpleName,
+        qualifiedName: occ.qualifiedName,
+        filePath: occ.filePath,
+        line: occ.line,
+        column: occ.column,
+        kind: occ.kind,
+        visibility: occ.visibility,
+        package: occ.package,
+    };
+}
+function summarizeEdge(edge) {
+    return {
+        to: edge.to,
+        line: edge.line,
+        column: edge.column,
+        resolution: edge.resolution,
+        confidence: edge.confidence,
+        text: edge.text,
+        crossShard: edge.crossShard ?? false,
+        discarded: edge.discarded ?? false,
+    };
+}
+//# sourceMappingURL=equivalence-diagnostic.js.map

package/dist/cli/equivalence-diagnostic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"equivalence-diagnostic.js","sourceRoot":"","sources":["../../src/cli/equivalence-diagnostic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAuFH,2EAA2E;AAC3E,MAAM,UAAU,0BAA0B,CACxC,KAAsC;IAEtC,MAAM,YAAY,GAAG,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzD,MAAM,cAAc,GAAG,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,CAAC,CAAiB,EAAkB,EAAE,CACrD,kBAAkB,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;IAClF,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7D,OAAO;QACL,MAAM,EAAE,EAAE,iBAAiB,EAAE,OAAO,CAAC,MAAM,EAAE,iBAAiB,EAAE,OAAO,CAAC,MAAM,EAAE;QAChF,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAC9F,wBAAwB,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACjF,0BAA0B,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACrF,OAAO;QACP,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAwB;IACjD,OAAO,GAAG,IAAI,EAAE,UAAU,IAAI,SAAS,IAAI,MAAM,CAAC,IAAI,EAAE,UAAU,IAAI,KAAK,CAAC,EAAE,CAAC;AACjF,CAAC;AAED,SAAS,OAAO,CAAI,KAAmB,EAAE,KAA0B;IACjE,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACxB,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAoB,EACpB,KAAc,EACd,OAAgB,EAChB,YAAgE,EAChE,cAAkE;IAElE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IACxE,MAAM,YAAY,GAAG,cAAc,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5E,OAAO;QACL,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,IAAI,CAAC,aAAa;YAC5B,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,KAAK,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,UAAU,CAAC;YACxE,OAAO,EAAE,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,YAAY,CAAC;SAC/E;QACD,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACnF,SAAS,EAAE,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACvF,SAAS,EAAE,YAAY,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/E,WAAW,EAAE,YAAY,CAAC,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACnF,aAAa,EAAE,YAAY,CAAC,WAAW,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5E,eAAe,EAAE,YAAY,CAAC,WAAW,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;KACjF,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAA0B;IAC9C,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAgB;IAEhB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAgC,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,KAAK,MAAM,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACrC,IAAI,MAAM;gBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;gBACxB,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,cAAc,CACrB,OAAgB,EAChB,QAAgB,EAChB,QAAgB;IAEhB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,KAAK,MAAM,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC;YAC7B,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ;gBAAE,OAAO,GAAG,CAAC;QACzE,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,QAAQ,CACf,GAAmC,EACnC,IAAY,EACZ,MAAc,EACd,QAAgB;IAEhB,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;YAAE,SAAS;QAC3D,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;IAC9D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,WAAW,CAClB,GAAmC,EACnC,IAAY,EACZ,MAAc;IAEd,OAAO,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,YAAY,CAAC,QAAgB;IACpC,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAY,EACZ,OAA2D;IAE3D,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC;AACnF,CAAC;AAED,SAAS,mBAAmB,CAAC,GAAuB;IAClD,OAAO;QACL,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,OAAO,EAAE,GAAG,CAAC,OAAO;KACrB,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAc;IACnC,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,KAAK;QACpC,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,KAAK;KACnC,CAAC;AACJ,CAAC"}

package/dist/cli/graph/graph-aux-command-specs.d.ts

@@ -1,28 +1,3 @@
-/**
- * graph-aux-command-specs — the declarative graph auxiliary commands.
- *
- * The host mounts each spec via `mountCommandSpec`; the tool no longer touches
- * Commander. Each helper's raw `.option()`/`.argument()` calls translate 1:1 to
- * `OptionSpec`/`ArgSpec`; positional arguments arrive on the parsed-opts object
- * under the `_args` key (the host's uniform positional convention — see
- * `mountCommandSpec`).
- *
- * The canonical surface is the nested `<tool> <verb>` grammar — `graph recipes`
- * / `graph lookup` / `graph index` / `graph list` / `graph export` all mount as
- * children of the `graph` primary (`parent: 'graph'`). The legacy flat-root
- * aliases (`graph-recipes` / `graph-lookup` / `graph-symbol-index` /
- * `graph-baseline-export` / `catalog-export` / `sarif-export`) were removed once
- * their deprecation window closed.
- *
- * Output modes:
- *  - `graph recipes` / `graph list` → `command-result`: the handler returns the
- *    list result; the host dispatches it through the shared seam (`--json` →
- *    JSON, else render). Byte-identical to the former `if (json) emitJson else
- *    render` body.
- *  - every other aux command → `raw-stream`: each owns its full IO (writes a
- *    file and/or prints a line, sets its own exit code, owns its `--json`
- *    branch) — the documented non-Ink exception. The host renders nothing.
- */
 import type { CommandSpec, ToolCliContext } from '@opensip-cli/core';
 /** `graph-shard-worker` — [internal] build one shard from a spec file. */
 export declare const graphShardWorkerCommandSpec: CommandSpec<unknown, ToolCliContext>;

package/dist/cli/graph/graph-aux-command-specs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"graph-aux-command-specs.d.ts","sourceRoot":"","sources":["../../../src/cli/graph/graph-aux-command-specs.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAiBH,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAmQrE,0EAA0E;AAC1E,eAAO,MAAM,2BAA2B,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAgB3E,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,gCAAgC,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAqChF,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,2CAA4C,CAAC;AAoC9E;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,sBAAsB,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAmEtE,CAAC;AAYH;;;;;GAKG;AACH,eAAO,MAAM,8BAA8B,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAW9E,CAAC;AAEH,2EAA2E;AAC3E,eAAO,MAAM,6BAA6B,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAgB7E,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAsC5E,CAAC;AAEH;;;;;;;;GAQG;AACH,eAAO,MAAM,oBAAoB,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAWpE,CAAC"}
+{"version":3,"file":"graph-aux-command-specs.d.ts","sourceRoot":"","sources":["../../../src/cli/graph/graph-aux-command-specs.ts"],"names":[],"mappings":"AA4CA,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAmQrE,0EAA0E;AAC1E,eAAO,MAAM,2BAA2B,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAgB3E,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,gCAAgC,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAqChF,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,2CAA4C,CAAC;AAoC9E;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,sBAAsB,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAkEtE,CAAC;AAYH;;;;;GAKG;AACH,eAAO,MAAM,8BAA8B,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAQ5E,CAAC;AAEL,2EAA2E;AAC3E,eAAO,MAAM,6BAA6B,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAa3E,CAAC;AAEL;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAmC1E,CAAC;AAEL;;;;;;;;GAQG;AACH,eAAO,MAAM,oBAAoB,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,CAUpE,CAAC"}

package/dist/cli/graph/graph-aux-command-specs.js

@@ -1,5 +1,4 @@
 // @fitness-ignore-file no-direct-stdout-in-tool-engine -- auxiliary subcommand status line: `graph export --format baseline` writes the JSON baseline to a file and prints a one-line "Exported graph baseline to <path>" confirmation (the --json path uses cli.emitJson). This is not the signal-envelope run output (ADR-0011), which routes through the composition root.
-// @fitness-ignore-file detached-promises -- async command handlers invoke synchronous helpers (runCatalogJsonMode/runSarifExportMode/handleGraphError all return void); the heuristic flags them inside the async handlers. Matches the sibling graph CLI files (graph.ts, graph-modes.ts, orchestrate.ts).
 // @fitness-ignore-file only-documented-toolcli-seams -- same rationale as the no-direct-stdout waiver above: the one-line "Exported graph baseline to <path>" status confirmation after a file write; the --json path uses cli.emitJson. Not run output through a ToolCliContext seam.
 /**
  * graph-aux-command-specs — the declarative graph auxiliary commands.
@@ -27,7 +26,7 @@
  *    branch) — the documented non-Ink exception. The host renders nothing.
  */
 import { commonFlags, EXIT_CODES } from '@opensip-cli/contracts';
-import { ConfigurationError, defineCommand, logger } from '@opensip-cli/core';
+import { ConfigurationError, defineCommand, defineNestedCommand, logger } from '@opensip-cli/core';
 import { executeEquivalenceCheck } from '../equivalence-check-command.js';
 import { listGraphRules } from '../graph-list.js';
 import { runCatalogJsonMode } from '../graph-modes.js';
@@ -330,9 +329,8 @@ function requireExportFlags(format, present, required, cli) {
  * required subset per format at runtime (`requireExportFlags` →
  * ConfigurationError → exit 2).
  */
-export const graphExportCommandSpec = defineCommand({
+export const graphExportCommandSpec = defineNestedCommand({
     name: 'export',
-    parent: 'graph',
     description: 'Export graph analysis artifacts: --format sarif (SARIF v2.1.0 findings), catalog (CatalogExport JSON), or baseline (gate fingerprint JSON)',
     commonFlags: ['cwd', 'json'],
     options: [
@@ -400,9 +398,8 @@ export const graphExportCommandSpec = defineCommand({
  * `command-result`: the host dispatches the returned result through the shared
  * seam (`--json` → JSON, else render).
  */
-export const graphRecipesGroupedCommandSpec = defineCommand({
+export const graphRecipesGroupedCommandSpec = defineNestedCommand({
     name: 'recipes',
-    parent: 'graph',
     description: 'List available graph recipes',
     commonFlags: ['json'],
     scope: 'project',
@@ -410,9 +407,8 @@ export const graphRecipesGroupedCommandSpec = defineCommand({
     handler: async () => listGraphRecipes(),
 });
 /** `graph lookup <name>` — look up function occurrences by simple name. */
-export const graphLookupGroupedCommandSpec = defineCommand({
+export const graphLookupGroupedCommandSpec = defineNestedCommand({
     name: 'lookup',
-    parent: 'graph',
     description: 'Look up function occurrences by simple name from the persisted catalog',
     commonFlags: ['json'],
     args: [{ name: 'name', description: 'Function simple name to look up (e.g. "saveBaseline")' }],
@@ -429,9 +425,8 @@ export const graphLookupGroupedCommandSpec = defineCommand({
  * file→names). Default (query): read the persisted catalog only. `--build`:
  * run the graph pipeline first, then emit from the refreshed catalog (Q7).
  */
-export const graphIndexGroupedCommandSpec = defineCommand({
+export const graphIndexGroupedCommandSpec = defineNestedCommand({
     name: 'index',
-    parent: 'graph',
     description: 'Emit a symbolindex.json artifact (name→file:line and file→names); --build refreshes the catalog first',
     commonFlags: [],
     options: [
@@ -473,9 +468,8 @@ export const graphIndexGroupedCommandSpec = defineCommand({
  * `viewListChecks` renderer with the graph-supplied title) — the same path
  * `graph recipes` / `fit list` use.
  */
-export const graphListCommandSpec = defineCommand({
+export const graphListCommandSpec = defineNestedCommand({
     name: 'list',
-    parent: 'graph',
     description: 'List available graph rules',
     commonFlags: ['cwd', 'json'],
     scope: 'project',