@opensip-cli/graph 0.1.0

package/dist/__tests__/rules/duplicated-function-body-config.test.js

@@ -0,0 +1,132 @@
+/**
+ * Configuration paths for the duplicated-function-body rule.
+ *
+ * Validates the `minDuplicateBodyLines` and `minDuplicateBodySize`
+ * thresholds, plus the kind/test-file exclusions.
+ */
+import { describe, expect, it } from 'vitest';
+import { buildIndexes } from '../../pipeline/indexes.js';
+import { duplicatedFunctionBodyRule } from '../../rules/duplicated-function-body.js';
+import { makeCatalog, occ } from './_helpers.js';
+const span10 = { line: 1, endLine: 10, bodySize: 500 };
+describe('duplicated-function-body config thresholds', () => {
+    it('skips occurrences whose source span is below minDuplicateBodyLines', () => {
+        const a = occ({ bodyHash: 'h', simpleName: 'a', line: 1, endLine: 3, bodySize: 500 });
+        const b = occ({
+            bodyHash: 'h',
+            simpleName: 'b',
+            filePath: 'src/b.ts',
+            line: 1,
+            endLine: 3,
+            bodySize: 500,
+        });
+        const catalog = makeCatalog([a, b]);
+        const signals = duplicatedFunctionBodyRule.evaluate(catalog, buildIndexes(catalog), {
+            minDuplicateBodyLines: 5,
+            minDuplicateBodySize: 0,
+        });
+        expect(signals).toHaveLength(0);
+    });
+    it('flags duplicates when minDuplicateBodyLines is satisfied', () => {
+        const a = occ({ bodyHash: 'h', simpleName: 'a', ...span10 });
+        const b = occ({ bodyHash: 'h', simpleName: 'b', filePath: 'src/b.ts', ...span10 });
+        const catalog = makeCatalog([a, b]);
+        const signals = duplicatedFunctionBodyRule.evaluate(catalog, buildIndexes(catalog), {
+            minDuplicateBodyLines: 5,
+            minDuplicateBodySize: 0,
+        });
+        expect(signals.length).toBeGreaterThanOrEqual(1);
+    });
+    it('skips occurrences whose normalized body size is below minDuplicateBodySize', () => {
+        const a = occ({ bodyHash: 'h', simpleName: 'a', line: 1, endLine: 10, bodySize: 50 });
+        const b = occ({
+            bodyHash: 'h',
+            simpleName: 'b',
+            filePath: 'src/b.ts',
+            line: 1,
+            endLine: 10,
+            bodySize: 50,
+        });
+        const catalog = makeCatalog([a, b]);
+        const signals = duplicatedFunctionBodyRule.evaluate(catalog, buildIndexes(catalog), {
+            minDuplicateBodyLines: 0,
+            minDuplicateBodySize: 200,
+        });
+        expect(signals).toHaveLength(0);
+    });
+    it('treats missing bodySize as passing the size threshold (legacy catalog)', () => {
+        const a = occ({ bodyHash: 'h', simpleName: 'a', line: 1, endLine: 10, bodySize: undefined });
+        const b = occ({
+            bodyHash: 'h',
+            simpleName: 'b',
+            filePath: 'src/b.ts',
+            line: 1,
+            endLine: 10,
+            bodySize: undefined,
+        });
+        const catalog = makeCatalog([a, b]);
+        const signals = duplicatedFunctionBodyRule.evaluate(catalog, buildIndexes(catalog), {
+            minDuplicateBodyLines: 0,
+            minDuplicateBodySize: 999_999,
+        });
+        expect(signals.length).toBeGreaterThanOrEqual(1);
+    });
+    it('skips arrow / function-expression / module-init occurrences', () => {
+        const a = occ({ bodyHash: 'h', simpleName: 'a', kind: 'arrow', ...span10 });
+        const b = occ({
+            bodyHash: 'h',
+            simpleName: 'b',
+            kind: 'arrow',
+            filePath: 'src/b.ts',
+            ...span10,
+        });
+        const catalog = makeCatalog([a, b]);
+        const signals = duplicatedFunctionBodyRule.evaluate(catalog, buildIndexes(catalog), {
+            minDuplicateBodyLines: 0,
+            minDuplicateBodySize: 0,
+        });
+        expect(signals).toHaveLength(0);
+    });
+    it('skips occurrences inside test files', () => {
+        const a = occ({
+            bodyHash: 'h',
+            simpleName: 'a',
+            filePath: 'src/__tests__/a.test.ts',
+            inTestFile: true,
+            ...span10,
+        });
+        const b = occ({
+            bodyHash: 'h',
+            simpleName: 'b',
+            filePath: 'src/__tests__/b.test.ts',
+            inTestFile: true,
+            ...span10,
+        });
+        const catalog = makeCatalog([a, b]);
+        const signals = duplicatedFunctionBodyRule.evaluate(catalog, buildIndexes(catalog), {
+            minDuplicateBodyLines: 0,
+            minDuplicateBodySize: 0,
+        });
+        expect(signals).toHaveLength(0);
+    });
+    it('uses default thresholds when config does not override', () => {
+        // span = 10 lines (passes default minLines=5), bodySize = 500 (passes default minBodySize=200)
+        const a = occ({ bodyHash: 'h', simpleName: 'aa', ...span10 });
+        const b = occ({ bodyHash: 'h', simpleName: 'bb', filePath: 'src/b.ts', ...span10 });
+        const catalog = makeCatalog([a, b]);
+        const signals = duplicatedFunctionBodyRule.evaluate(catalog, buildIndexes(catalog), {});
+        expect(signals.length).toBeGreaterThanOrEqual(1);
+        const s0 = signals[0];
+        expect(s0?.metadata.groupSize).toBe(2);
+        expect(s0?.suggestion).toContain('Extract');
+    });
+    it('produces N-1 signals for a group of N duplicates', () => {
+        const a = occ({ bodyHash: 'h', simpleName: 'a', ...span10 });
+        const b = occ({ bodyHash: 'h', simpleName: 'b', filePath: 'src/b.ts', ...span10 });
+        const c = occ({ bodyHash: 'h', simpleName: 'c', filePath: 'src/c.ts', ...span10 });
+        const catalog = makeCatalog([a, b, c]);
+        const signals = duplicatedFunctionBodyRule.evaluate(catalog, buildIndexes(catalog), {});
+        expect(signals).toHaveLength(2);
+    });
+});
+//# sourceMappingURL=duplicated-function-body-config.test.js.map

package/dist/__tests__/rules/duplicated-function-body-config.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"duplicated-function-body-config.test.js","sourceRoot":"","sources":["../../../src/__tests__/rules/duplicated-function-body-config.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,0BAA0B,EAAE,MAAM,yCAAyC,CAAC;AAErF,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AAIjD,MAAM,MAAM,GAAgC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AAEpF,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QACtF,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,CAAC;YACV,QAAQ,EAAE,GAAG;SACd,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,0BAA0B,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE;YAClF,qBAAqB,EAAE,CAAC;YACxB,oBAAoB,EAAE,CAAC;SACxB,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;QACnF,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,0BAA0B,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE;YAClF,qBAAqB,EAAE,CAAC;YACxB,oBAAoB,EAAE,CAAC;SACxB,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QACtF,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,EAAE;YACX,QAAQ,EAAE,EAAE;SACb,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,0BAA0B,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE;YAClF,qBAAqB,EAAE,CAAC;YACxB,oBAAoB,EAAE,GAAG;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QAC7F,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,EAAE;YACX,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,0BAA0B,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE;YAClF,qBAAqB,EAAE,CAAC;YACxB,oBAAoB,EAAE,OAAO;SAC9B,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;QAC5E,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,UAAU;YACpB,GAAG,MAAM;SACV,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,0BAA0B,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE;YAClF,qBAAqB,EAAE,CAAC;YACxB,oBAAoB,EAAE,CAAC;SACxB,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,QAAQ,EAAE,yBAAyB;YACnC,UAAU,EAAE,IAAI;YAChB,GAAG,MAAM;SACV,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,QAAQ,EAAE,yBAAyB;YACnC,UAAU,EAAE,IAAI;YAChB,GAAG,MAAM;SACV,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,0BAA0B,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE;YAClF,qBAAqB,EAAE,CAAC;YACxB,oBAAoB,EAAE,CAAC;SACxB,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,+FAA+F;QAC/F,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;QACpF,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,0BAA0B,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QACxF,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;QACnF,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;QACnF,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,0BAA0B,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QACxF,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/rules/duplicated-function-body-cross-package.test.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Aggregate cross-package code path for the duplicated-function-body rule.
+ *
+ * Validates the second, package-spread code path: a body hash present in
+ * ≥ minCrossPackageDuplicatePackages DISTINCT packages (via pkgOf) — that
+ * also clears the same size floor as the per-instance path — emits ONE
+ * aggregate signal and suppresses the per-instance signals for that hash.
+ */
+export {};
+//# sourceMappingURL=duplicated-function-body-cross-package.test.d.ts.map

package/dist/__tests__/rules/duplicated-function-body-cross-package.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"duplicated-function-body-cross-package.test.d.ts","sourceRoot":"","sources":["../../../src/__tests__/rules/duplicated-function-body-cross-package.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG"}

package/dist/__tests__/rules/duplicated-function-body-cross-package.test.js

@@ -0,0 +1,274 @@
+/**
+ * Aggregate cross-package code path for the duplicated-function-body rule.
+ *
+ * Validates the second, package-spread code path: a body hash present in
+ * ≥ minCrossPackageDuplicatePackages DISTINCT packages (via pkgOf) — that
+ * also clears the same size floor as the per-instance path — emits ONE
+ * aggregate signal and suppresses the per-instance signals for that hash.
+ */
+import { describe, expect, it } from 'vitest';
+import { buildIndexes } from '../../pipeline/indexes.js';
+import { duplicatedFunctionBodyRule } from '../../rules/duplicated-function-body.js';
+import { makeCatalog, occ } from './_helpers.js';
+/** Aggregate signals carry a `packages` array; per-instance ones carry `primary`. */
+function aggregates(signals) {
+    return signals.filter((s) => Array.isArray(s.metadata.packages));
+}
+function perInstance(signals) {
+    return signals.filter((s) => typeof s.metadata.primary === 'string');
+}
+const evaluate = duplicatedFunctionBodyRule.evaluate.bind(duplicatedFunctionBodyRule);
+describe('duplicated-function-body aggregate cross-package path', () => {
+    /** A body that clears the default size floor (≥ 5 lines, ≥ 200 chars). */
+    const substantial = { bodySize: 500, line: 1, endLine: 10 };
+    it('fires exactly one aggregate signal for a substantial body in 3 packages', () => {
+        const a = occ({ bodyHash: 'h', simpleName: 'stripStrings', package: 'pkg-c', ...substantial });
+        const b = occ({
+            bodyHash: 'h',
+            simpleName: 'stripStrings',
+            package: 'pkg-a',
+            filePath: 'src/b.ts',
+            qualifiedName: 'src/b.stripStrings',
+            ...substantial,
+        });
+        const c = occ({
+            bodyHash: 'h',
+            simpleName: 'stripStrings',
+            package: 'pkg-b',
+            filePath: 'src/c.ts',
+            qualifiedName: 'src/c.stripStrings',
+            ...substantial,
+        });
+        const catalog = makeCatalog([a, b, c]);
+        const signals = evaluate(catalog, buildIndexes(catalog), {});
+        const agg = aggregates(signals);
+        expect(agg).toHaveLength(1);
+        expect(perInstance(signals)).toHaveLength(0);
+        const s = agg[0];
+        expect(s?.metadata.packages).toEqual(['pkg-a', 'pkg-b', 'pkg-c']);
+        expect(s?.metadata.packageCount).toBe(3);
+        expect(s?.metadata.occurrenceCount).toBe(3);
+        expect(s?.metadata.bodyHash).toBe('h');
+        expect(s?.severity).toBe('low');
+        expect(s?.category).toBe('quality');
+        expect(s?.ruleId).toBe('graph:duplicated-function-body');
+        // Anchored at lexicographically-lowest qualifiedName.
+        // qualifiedNames are: src/a.stripStrings, src/b.stripStrings, src/c.stripStrings.
+        expect(s?.code?.file).toBe('src/a.ts');
+    });
+    it('does NOT fire for a TRIVIAL body across packages (size floor)', () => {
+        // A tiny body (50 chars / 2 lines) — an empty DI shim, one-line getter,
+        // thin delegator — is below the size floor, so the aggregate path skips it
+        // even though it spans 3 packages (and the per-instance path is floored too).
+        const trivial = { bodySize: 50, line: 1, endLine: 2 };
+        const a = occ({ bodyHash: 'h', simpleName: 'get', package: 'pkg-a', ...trivial });
+        const b = occ({
+            bodyHash: 'h',
+            simpleName: 'get',
+            package: 'pkg-b',
+            filePath: 'src/b.ts',
+            qualifiedName: 'src/b.get',
+            ...trivial,
+        });
+        const c = occ({
+            bodyHash: 'h',
+            simpleName: 'get',
+            package: 'pkg-c',
+            filePath: 'src/c.ts',
+            qualifiedName: 'src/c.get',
+            ...trivial,
+        });
+        const catalog = makeCatalog([a, b, c]);
+        expect(evaluate(catalog, buildIndexes(catalog), {})).toHaveLength(0);
+    });
+    it('DOES fire for a small-but-non-trivial body (between the aggregate and per-instance floors)', () => {
+        // 120 chars / 2 lines: above the aggregate floor (80) but below the
+        // per-instance floor (200). The per-instance path would stay silent; the
+        // aggregate path catches it — its whole purpose (small shared utility
+        // copied across packages).
+        const smallReal = { bodySize: 120, line: 1, endLine: 2 };
+        const a = occ({ bodyHash: 'h', simpleName: 'parseRange', package: 'pkg-a', ...smallReal });
+        const b = occ({
+            bodyHash: 'h',
+            simpleName: 'parseRange',
+            package: 'pkg-b',
+            filePath: 'src/b.ts',
+            qualifiedName: 'src/b.parseRange',
+            ...smallReal,
+        });
+        const c = occ({
+            bodyHash: 'h',
+            simpleName: 'parseRange',
+            package: 'pkg-c',
+            filePath: 'src/c.ts',
+            qualifiedName: 'src/c.parseRange',
+            ...smallReal,
+        });
+        const catalog = makeCatalog([a, b, c]);
+        const signals = evaluate(catalog, buildIndexes(catalog), {});
+        expect(aggregates(signals)).toHaveLength(1);
+        expect(perInstance(signals)).toHaveLength(0);
+    });
+    it('honors a custom minCrossPackageDuplicateBodySize override', () => {
+        const body90 = { bodySize: 90, line: 1, endLine: 2 };
+        const a = occ({ bodyHash: 'h', simpleName: 'a', package: 'pkg-a', ...body90 });
+        const b = occ({
+            bodyHash: 'h',
+            simpleName: 'b',
+            package: 'pkg-b',
+            filePath: 'src/b.ts',
+            qualifiedName: 'src/b.b',
+            ...body90,
+        });
+        const c = occ({
+            bodyHash: 'h',
+            simpleName: 'c',
+            package: 'pkg-c',
+            filePath: 'src/c.ts',
+            qualifiedName: 'src/c.c',
+            ...body90,
+        });
+        const catalog = makeCatalog([a, b, c]);
+        // Default floor (80): 90 ≥ 80 → fires.
+        expect(aggregates(evaluate(catalog, buildIndexes(catalog), {}))).toHaveLength(1);
+        // Raised to 100: 90 < 100 → suppressed.
+        expect(evaluate(catalog, buildIndexes(catalog), { minCrossPackageDuplicateBodySize: 100 })).toHaveLength(0);
+    });
+    it('does NOT fire for a within-package small dup (1 package)', () => {
+        const small = { bodySize: 50, line: 1, endLine: 2, package: 'pkg-a' };
+        const a = occ({ bodyHash: 'h', simpleName: 'a', ...small });
+        const b = occ({ bodyHash: 'h', simpleName: 'b', filePath: 'src/b.ts', ...small });
+        const c = occ({ bodyHash: 'h', simpleName: 'c', filePath: 'src/c.ts', ...small });
+        const catalog = makeCatalog([a, b, c]);
+        const signals = evaluate(catalog, buildIndexes(catalog), {});
+        expect(signals).toHaveLength(0);
+    });
+    it('honors the minCrossPackageDuplicatePackages threshold', () => {
+        const a = occ({ bodyHash: 'h', simpleName: 'a', package: 'pkg-a', ...substantial });
+        const b = occ({
+            bodyHash: 'h',
+            simpleName: 'b',
+            package: 'pkg-b',
+            filePath: 'src/b.ts',
+            qualifiedName: 'src/b.b',
+            ...substantial,
+        });
+        const catalog = makeCatalog([a, b]);
+        // Default threshold (3): 2 packages → no aggregate. The body clears the
+        // size floor, so the per-instance path reports it instead (1 signal).
+        const def = evaluate(catalog, buildIndexes(catalog), {});
+        expect(aggregates(def)).toHaveLength(0);
+        expect(perInstance(def)).toHaveLength(1);
+        // Lowered to 2: exactly one aggregate signal (and no per-instance double).
+        const lowered = evaluate(catalog, buildIndexes(catalog), {
+            minCrossPackageDuplicatePackages: 2,
+        });
+        const agg = aggregates(lowered);
+        expect(agg).toHaveLength(1);
+        expect(agg[0]?.metadata.packages).toEqual(['pkg-a', 'pkg-b']);
+        expect(perInstance(lowered)).toHaveLength(0);
+    });
+    it('does not double-report: a large body in 3 packages → one aggregate, not aggregate + per-instance', () => {
+        // Large body (clears default size + line floor) so the per-instance path
+        // WOULD fire (2 signals) absent suppression.
+        const large = { bodySize: 500, line: 1, endLine: 10 };
+        const a = occ({ bodyHash: 'h', simpleName: 'a', package: 'pkg-a', ...large });
+        const b = occ({
+            bodyHash: 'h',
+            simpleName: 'b',
+            package: 'pkg-b',
+            filePath: 'src/b.ts',
+            qualifiedName: 'src/b.b',
+            ...large,
+        });
+        const c = occ({
+            bodyHash: 'h',
+            simpleName: 'c',
+            package: 'pkg-c',
+            filePath: 'src/c.ts',
+            qualifiedName: 'src/c.c',
+            ...large,
+        });
+        const catalog = makeCatalog([a, b, c]);
+        const signals = evaluate(catalog, buildIndexes(catalog), {});
+        expect(aggregates(signals)).toHaveLength(1);
+        expect(perInstance(signals)).toHaveLength(0);
+        expect(signals).toHaveLength(1);
+    });
+    it('excludes inTestFile occurrences from the aggregate path', () => {
+        const small = { bodySize: 50, line: 1, endLine: 2, inTestFile: true };
+        const a = occ({ bodyHash: 'h', simpleName: 'a', package: 'pkg-a', ...small });
+        const b = occ({
+            bodyHash: 'h',
+            simpleName: 'b',
+            package: 'pkg-b',
+            filePath: 'src/b.test.ts',
+            ...small,
+        });
+        const c = occ({
+            bodyHash: 'h',
+            simpleName: 'c',
+            package: 'pkg-c',
+            filePath: 'src/c.test.ts',
+            ...small,
+        });
+        const catalog = makeCatalog([a, b, c]);
+        expect(evaluate(catalog, buildIndexes(catalog), {})).toHaveLength(0);
+    });
+    it('excludes arrow / function-expression / module-init kinds from the aggregate path', () => {
+        const small = { bodySize: 50, line: 1, endLine: 2 };
+        const a = occ({ bodyHash: 'h', simpleName: 'a', kind: 'arrow', package: 'pkg-a', ...small });
+        const b = occ({
+            bodyHash: 'h',
+            simpleName: 'b',
+            kind: 'function-expression',
+            package: 'pkg-b',
+            filePath: 'src/b.ts',
+            ...small,
+        });
+        const c = occ({
+            bodyHash: 'h',
+            simpleName: 'c',
+            kind: 'module-init',
+            package: 'pkg-c',
+            filePath: 'src/c.ts',
+            ...small,
+        });
+        const catalog = makeCatalog([a, b, c]);
+        expect(evaluate(catalog, buildIndexes(catalog), {})).toHaveLength(0);
+    });
+    it('buckets legacy catalogs (no package) via pkgOf path fallback', () => {
+        // No `package` stamp → pkgOf falls back to packageOf(filePath), the
+        // packages/<segment>/ heuristic. Three distinct segments → 3 packages.
+        const legacy = { bodySize: 500, line: 1, endLine: 10, package: undefined };
+        const a = occ({
+            bodyHash: 'h',
+            simpleName: 'a',
+            filePath: 'packages/lang-typescript/src/a.ts',
+            qualifiedName: 'packages/lang-typescript/src/a.a',
+            ...legacy,
+        });
+        const b = occ({
+            bodyHash: 'h',
+            simpleName: 'b',
+            filePath: 'packages/lang-python/src/b.ts',
+            qualifiedName: 'packages/lang-python/src/b.b',
+            ...legacy,
+        });
+        const c = occ({
+            bodyHash: 'h',
+            simpleName: 'c',
+            filePath: 'packages/lang-go/src/c.ts',
+            qualifiedName: 'packages/lang-go/src/c.c',
+            ...legacy,
+        });
+        const catalog = makeCatalog([a, b, c]);
+        const signals = evaluate(catalog, buildIndexes(catalog), {});
+        const agg = aggregates(signals);
+        expect(agg).toHaveLength(1);
+        expect(agg[0]?.metadata.packages).toEqual(['lang-go', 'lang-python', 'lang-typescript']);
+        expect(agg[0]?.metadata.packageCount).toBe(3);
+        expect(perInstance(signals)).toHaveLength(0);
+    });
+});
+//# sourceMappingURL=duplicated-function-body-cross-package.test.js.map

package/dist/__tests__/rules/duplicated-function-body-cross-package.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"duplicated-function-body-cross-package.test.js","sourceRoot":"","sources":["../../../src/__tests__/rules/duplicated-function-body-cross-package.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,0BAA0B,EAAE,MAAM,yCAAyC,CAAC;AAErF,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AAIjD,qFAAqF;AACrF,SAAS,UAAU,CAAC,OAA0B;IAC5C,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;AACnE,CAAC;AACD,SAAS,WAAW,CAAC,OAA0B;IAC7C,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,QAAQ,GAAG,0BAA0B,CAAC,QAAQ,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;AAEtF,QAAQ,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,0EAA0E;IAC1E,MAAM,WAAW,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAE5D,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,WAAW,EAAE,CAAC,CAAC;QAC/F,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,cAAc;YAC1B,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE,UAAU;YACpB,aAAa,EAAE,oBAAoB;YACnC,GAAG,WAAW;SACf,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,cAAc;YAC1B,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE,UAAU;YACpB,aAAa,EAAE,oBAAoB;YACnC,GAAG,WAAW;SACf,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QAE7D,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAE7C,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QAClE,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QACzD,sDAAsD;QACtD,kFAAkF;QAClF,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,wEAAwE;QACxE,2EAA2E;QAC3E,8EAA8E;QAC9E,MAAM,OAAO,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACtD,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;QAClF,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,KAAK;YACjB,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE,UAAU;YACpB,aAAa,EAAE,WAAW;YAC1B,GAAG,OAAO;SACX,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,KAAK;YACjB,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE,UAAU;YACpB,aAAa,EAAE,WAAW;YAC1B,GAAG,OAAO;SACX,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;QACpG,oEAAoE;QACpE,yEAAyE;QACzE,sEAAsE;QACtE,2BAA2B;QAC3B,MAAM,SAAS,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACzD,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;QAC3F,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,YAAY;YACxB,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE,UAAU;YACpB,aAAa,EAAE,kBAAkB;YACjC,GAAG,SAAS;SACb,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,YAAY;YACxB,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE,UAAU;YACpB,aAAa,EAAE,kBAAkB;YACjC,GAAG,SAAS;SACb,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7D,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,MAAM,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACrD,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;QAC/E,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE,UAAU;YACpB,aAAa,EAAE,SAAS;YACxB,GAAG,MAAM;SACV,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE,UAAU;YACpB,aAAa,EAAE,SAAS;YACxB,GAAG,MAAM;SACV,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,uCAAuC;QACvC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjF,wCAAwC;QACxC,MAAM,CACJ,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,gCAAgC,EAAE,GAAG,EAAE,CAAC,CACpF,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QACtE,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAClF,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAClF,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7D,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,WAAW,EAAE,CAAC,CAAC;QACpF,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE,UAAU;YACpB,aAAa,EAAE,SAAS;YACxB,GAAG,WAAW;SACf,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAEpC,wEAAwE;QACxE,sEAAsE;QACtE,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAEzC,2EAA2E;QAC3E,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE;YACvD,gCAAgC,EAAE,CAAC;SACpC,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kGAAkG,EAAE,GAAG,EAAE;QAC1G,yEAAyE;QACzE,6CAA6C;QAC7C,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACtD,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAC9E,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE,UAAU;YACpB,aAAa,EAAE,SAAS;YACxB,GAAG,KAAK;SACT,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE,UAAU;YACpB,aAAa,EAAE,SAAS;YACxB,GAAG,KAAK;SACT,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7D,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QACtE,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAC9E,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE,eAAe;YACzB,GAAG,KAAK;SACT,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE,eAAe;YACzB,GAAG,KAAK;SACT,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAC7F,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE,UAAU;YACpB,GAAG,KAAK;SACT,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,OAAO;YAChB,QAAQ,EAAE,UAAU;YACpB,GAAG,KAAK;SACT,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,oEAAoE;QACpE,uEAAuE;QACvE,MAAM,MAAM,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;QAC3E,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,QAAQ,EAAE,mCAAmC;YAC7C,aAAa,EAAE,kCAAkC;YACjD,GAAG,MAAM;SACV,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,QAAQ,EAAE,+BAA+B;YACzC,aAAa,EAAE,8BAA8B;YAC7C,GAAG,MAAM;SACV,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,GAAG;YACf,QAAQ,EAAE,2BAA2B;YACrC,aAAa,EAAE,0BAA0B;YACzC,GAAG,MAAM;SACV,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7D,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,aAAa,EAAE,iBAAiB,CAAC,CAAC,CAAC;QACzF,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/rules/feature-column-parity.test.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Rule parity for feature-column reads (Plan C, Phase 5/7.4).
+ *
+ * Each refactored rule must (a) produce an IDENTICAL signal set whether the
+ * engine FeatureTable is supplied or omitted (graceful-degrade fallback), and
+ * (b) actually READ the column when supplied — a column value that would flip
+ * the verdict changes the output, proving the column (not the inline fallback)
+ * drove the decision.
+ */
+export {};
+//# sourceMappingURL=feature-column-parity.test.d.ts.map

package/dist/__tests__/rules/feature-column-parity.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"feature-column-parity.test.d.ts","sourceRoot":"","sources":["../../../src/__tests__/rules/feature-column-parity.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG"}

package/dist/__tests__/rules/feature-column-parity.test.js

@@ -0,0 +1,169 @@
+/**
+ * Rule parity for feature-column reads (Plan C, Phase 5/7.4).
+ *
+ * Each refactored rule must (a) produce an IDENTICAL signal set whether the
+ * engine FeatureTable is supplied or omitted (graceful-degrade fallback), and
+ * (b) actually READ the column when supplied — a column value that would flip
+ * the verdict changes the output, proving the column (not the inline fallback)
+ * drove the decision.
+ */
+import { describe, expect, it } from 'vitest';
+import { buildFeatures } from '../../pipeline/features.js';
+import { buildIndexes } from '../../pipeline/indexes.js';
+import { duplicatedFunctionBodyRule } from '../../rules/duplicated-function-body.js';
+import { noSideEffectPathRule } from '../../rules/no-side-effect-path.js';
+import { orphanSubtreeRule } from '../../rules/orphan-subtree.js';
+import { testOnlyReachableRule } from '../../rules/test-only-reachable.js';
+import { makeCatalog, occ, staticCall } from './_helpers.js';
+const CONFIG = {};
+/** Build the FeatureTable a rule declares via featureDeps. */
+function featuresFor(rule, catalog) {
+    const indexes = buildIndexes(catalog);
+    return buildFeatures(catalog, indexes, CONFIG, rule.featureDeps ?? []);
+}
+function messages(signals) {
+    return signals.map((s) => s.message).sort();
+}
+describe('rule feature-column parity — features present vs absent', () => {
+    it('duplicated-function-body: identical signals with and without features', () => {
+        // Two identical big bodies across packages → a dup signal.
+        const a = occ({
+            bodyHash: 'dup',
+            simpleName: 'fmt',
+            filePath: 'packages/a/src/x.ts',
+            qualifiedName: 'a.fmt',
+            endLine: 30,
+            bodySize: 400,
+        });
+        const b = occ({
+            bodyHash: 'dup',
+            simpleName: 'fmt',
+            filePath: 'packages/b/src/x.ts',
+            qualifiedName: 'b.fmt',
+            endLine: 30,
+            bodySize: 400,
+        });
+        const catalog = makeCatalog([a, b]);
+        const indexes = buildIndexes(catalog);
+        const features = featuresFor(duplicatedFunctionBodyRule, catalog);
+        const withF = duplicatedFunctionBodyRule.evaluate(catalog, indexes, CONFIG, undefined, features);
+        const without = duplicatedFunctionBodyRule.evaluate(catalog, indexes, CONFIG);
+        expect(messages(withF)).toEqual(messages(without));
+        expect(without.length).toBeGreaterThan(0);
+        expect(duplicatedFunctionBodyRule.featureDeps).toEqual(['bodyLines']);
+    });
+    it('no-side-effect-path: identical signals with and without features', () => {
+        // A pure ≥10-line function that calls two other pure functions.
+        const pure = occ({
+            bodyHash: 'p',
+            simpleName: 'compute',
+            endLine: 14,
+            returnType: 'number',
+            calls: [staticCall('h1'), staticCall('h2')],
+        });
+        const h1 = occ({ bodyHash: 'h1', simpleName: 'h1', returnType: 'number' });
+        const h2 = occ({ bodyHash: 'h2', simpleName: 'h2', returnType: 'number' });
+        const catalog = makeCatalog([pure, h1, h2]);
+        const indexes = buildIndexes(catalog);
+        const features = featuresFor(noSideEffectPathRule, catalog);
+        const withF = noSideEffectPathRule.evaluate(catalog, indexes, CONFIG, undefined, features);
+        const without = noSideEffectPathRule.evaluate(catalog, indexes, CONFIG);
+        expect(messages(withF)).toEqual(messages(without));
+        expect(noSideEffectPathRule.featureDeps).toEqual(['bodyLines']);
+    });
+    it('orphan-subtree: identical signals with and without features', () => {
+        const orphan = occ({ bodyHash: 'o', simpleName: 'lonely', visibility: 'module-local' });
+        const entry = occ({
+            bodyHash: 'e',
+            simpleName: 'main',
+            visibility: 'exported',
+            calls: [staticCall('used')],
+        });
+        const used = occ({ bodyHash: 'used', simpleName: 'used', visibility: 'module-local' });
+        const catalog = makeCatalog([orphan, entry, used]);
+        const indexes = buildIndexes(catalog);
+        const features = featuresFor(orphanSubtreeRule, catalog);
+        const withF = orphanSubtreeRule.evaluate(catalog, indexes, CONFIG, undefined, features);
+        const without = orphanSubtreeRule.evaluate(catalog, indexes, CONFIG);
+        expect(messages(withF)).toEqual(messages(without));
+        expect(without.some((s) => s.message.includes('lonely'))).toBe(true);
+        expect(orphanSubtreeRule.featureDeps).toEqual(['reachableFromEntry']);
+    });
+    it('test-only-reachable: identical signals with and without features', () => {
+        const helper = occ({ bodyHash: 'h', simpleName: 'helper', visibility: 'module-local' });
+        const testCaller = occ({
+            bodyHash: 't',
+            simpleName: 'spec',
+            filePath: 'src/__tests__/x.test.ts',
+            inTestFile: true,
+            calls: [staticCall('h')],
+        });
+        const catalog = makeCatalog([helper, testCaller]);
+        const indexes = buildIndexes(catalog);
+        const features = featuresFor(testOnlyReachableRule, catalog);
+        const withF = testOnlyReachableRule.evaluate(catalog, indexes, CONFIG, undefined, features);
+        const without = testOnlyReachableRule.evaluate(catalog, indexes, CONFIG);
+        expect(messages(withF)).toEqual(messages(without));
+        expect(without.some((s) => s.message.includes('helper'))).toBe(true);
+        expect(testOnlyReachableRule.featureDeps).toEqual(['reachableOnlyFromTests']);
+    });
+});
+describe('rule feature-column parity — the column actually drives the verdict', () => {
+    it('duplicated-function-body honors a bodyLines column below the min-lines floor', () => {
+        // Real span is 30 lines (above the default 5-line floor) → without a
+        // features override, this is a dup. Feed a features table whose bodyLines
+        // for the hash is BELOW the floor; the rule must drop it, proving it read
+        // the column rather than the inline endLine−line+1 fallback.
+        const a = occ({
+            bodyHash: 'dup',
+            simpleName: 'fmt',
+            filePath: 'packages/a/src/x.ts',
+            qualifiedName: 'a.fmt',
+            endLine: 30,
+            bodySize: 400,
+        });
+        const b = occ({
+            bodyHash: 'dup',
+            simpleName: 'fmt',
+            filePath: 'packages/b/src/x.ts',
+            qualifiedName: 'b.fmt',
+            endLine: 30,
+            bodySize: 400,
+        });
+        const catalog = makeCatalog([a, b]);
+        const indexes = buildIndexes(catalog);
+        const config = { minDuplicateBodyLines: 10, minCrossPackageDuplicatePackages: 99 };
+        // Sanity: without the override this is flagged (per-instance path).
+        const flagged = duplicatedFunctionBodyRule.evaluate(catalog, indexes, config);
+        expect(flagged.length).toBeGreaterThan(0);
+        // Override bodyLines below the 10-line floor → dropped.
+        const fnRow = { bodyLines: 3 };
+        const features = {
+            function: new Map([['dup', fnRow]]),
+            package: new Map(),
+            scc: [],
+            edge: [],
+        };
+        const dropped = duplicatedFunctionBodyRule.evaluate(catalog, indexes, config, undefined, features);
+        expect(dropped.length).toBe(0);
+    });
+    it('orphan-subtree honors a reachableFromEntry column that marks the orphan reachable', () => {
+        const orphan = occ({ bodyHash: 'o', simpleName: 'lonely', visibility: 'module-local' });
+        const catalog = makeCatalog([orphan]);
+        const indexes = buildIndexes(catalog);
+        // Without features: 'lonely' is an orphan.
+        const flagged = orphanSubtreeRule.evaluate(catalog, indexes, CONFIG);
+        expect(flagged.some((s) => s.message.includes('lonely'))).toBe(true);
+        // Feed a features table that declares 'o' reachable → not flagged.
+        const fnRow = { bodyLines: 5, reachableFromEntry: true };
+        const features = {
+            function: new Map([['o', fnRow]]),
+            package: new Map(),
+            scc: [],
+            edge: [],
+        };
+        const cleared = orphanSubtreeRule.evaluate(catalog, indexes, CONFIG, undefined, features);
+        expect(cleared.some((s) => s.message.includes('lonely'))).toBe(false);
+    });
+});
+//# sourceMappingURL=feature-column-parity.test.js.map