@opensip-cli/graph 0.1.0

package/dist/__tests__/render/rule-id-mapping.test.js

@@ -0,0 +1,50 @@
+/**
+ * Tests for the engine-slug → OpenSIP-rule-ID mapping (Phase 2 Task 2.1).
+ *
+ * Coverage invariants:
+ *   1. Every rule in `currentRules()` (the built-in registry) has an
+ *      entry in `RULE_ID_MAPPING`. Adding a rule without updating the
+ *      mapping fails this test.
+ *   2. Every mapped value matches the OpenSIP rule-ID regex
+ *      (`graph.<family>.<rule>`).
+ *   3. Unknown slugs throw `ValidationError`.
+ */
+import { describe, expect, it } from 'vitest';
+import { mapEngineSlugToOpenSipRuleId, OPENSIP_RULE_ID_REGEX, RULE_ID_MAPPING, } from '../../render/rule-id-mapping.js';
+import { currentRules } from '../../rules/registry.js';
+import { withGraphScopeSync } from '../test-utils/with-graph-scope.js';
+describe('mapEngineSlugToOpenSipRuleId', () => {
+    it('maps every built-in rule slug to a non-empty OpenSIP rule ID', () => {
+        const rules = withGraphScopeSync(() => currentRules());
+        expect(rules.length).toBeGreaterThan(0);
+        for (const rule of rules) {
+            const mapped = mapEngineSlugToOpenSipRuleId(rule.slug);
+            expect(mapped, `mapping for ${rule.slug}`).toBeTruthy();
+            expect(mapped, `regex for ${rule.slug}`).toMatch(OPENSIP_RULE_ID_REGEX);
+        }
+    });
+    it('produces the documented mappings for each built-in rule', () => {
+        expect(mapEngineSlugToOpenSipRuleId('graph:orphan-subtree')).toBe('graph.dead-code.orphan-subtree');
+        expect(mapEngineSlugToOpenSipRuleId('graph:duplicated-function-body')).toBe('graph.duplication.duplicated-function-body');
+        expect(mapEngineSlugToOpenSipRuleId('graph:no-side-effect-path')).toBe('graph.dead-code.no-side-effect-path');
+        expect(mapEngineSlugToOpenSipRuleId('graph:always-throws-branch')).toBe('graph.safety.always-throws-branch');
+        expect(mapEngineSlugToOpenSipRuleId('graph:test-only-reachable')).toBe('graph.dead-code.test-only-reachable');
+    });
+    it('throws ValidationError for unknown slug', () => {
+        expect(() => mapEngineSlugToOpenSipRuleId('graph:fictional-rule')).toThrow(/No OpenSIP rule-ID mapping for engine slug "graph:fictional-rule"/);
+    });
+    it('throws ValidationError for empty slug', () => {
+        expect(() => mapEngineSlugToOpenSipRuleId('')).toThrow();
+    });
+    it('throws ValidationError for slug without graph: prefix', () => {
+        expect(() => mapEngineSlugToOpenSipRuleId('orphan-subtree')).toThrow();
+    });
+    it('mapping table has no extras beyond the registered rules', () => {
+        const rules = withGraphScopeSync(() => currentRules());
+        const registeredSlugs = new Set(rules.map((r) => r.slug));
+        for (const mappedSlug of Object.keys(RULE_ID_MAPPING)) {
+            expect(registeredSlugs.has(mappedSlug), `mapping entry "${mappedSlug}" has no matching rule in currentRules() — stale entry?`).toBe(true);
+        }
+    });
+});
+//# sourceMappingURL=rule-id-mapping.test.js.map

package/dist/__tests__/render/rule-id-mapping.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-id-mapping.test.js","sourceRoot":"","sources":["../../../src/__tests__/render/rule-id-mapping.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EACL,4BAA4B,EAC5B,qBAAqB,EACrB,eAAe,GAChB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAEvE,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,KAAK,GAAG,kBAAkB,CAAC,GAAG,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACxC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvD,MAAM,CAAC,MAAM,EAAE,eAAe,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;YACxD,MAAM,CAAC,MAAM,EAAE,aAAa,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,4BAA4B,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAC/D,gCAAgC,CACjC,CAAC;QACF,MAAM,CAAC,4BAA4B,CAAC,gCAAgC,CAAC,CAAC,CAAC,IAAI,CACzE,4CAA4C,CAC7C,CAAC;QACF,MAAM,CAAC,4BAA4B,CAAC,2BAA2B,CAAC,CAAC,CAAC,IAAI,CACpE,qCAAqC,CACtC,CAAC;QACF,MAAM,CAAC,4BAA4B,CAAC,4BAA4B,CAAC,CAAC,CAAC,IAAI,CACrE,mCAAmC,CACpC,CAAC;QACF,MAAM,CAAC,4BAA4B,CAAC,2BAA2B,CAAC,CAAC,CAAC,IAAI,CACpE,qCAAqC,CACtC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,EAAE,CAAC,4BAA4B,CAAC,sBAAsB,CAAC,CAAC,CAAC,OAAO,CACxE,mEAAmE,CACpE,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,EAAE,CAAC,4BAA4B,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,EAAE,CAAC,4BAA4B,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,KAAK,GAAG,kBAAkB,CAAC,GAAG,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC;QACvD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;YACtD,MAAM,CACJ,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,EAC/B,kBAAkB,UAAU,yDAAyD,CACtF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/render/sarif-opensip.test.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Golden-fixture tests for graph's OpenSIP SARIF output (ADR-0011 Phase 5).
+ *
+ * Graph's former `renderSarifOpenSip` adapter is retired: SARIF now flows
+ * through `buildGraphEnvelope` (which applies the Option-A engine-slug →
+ * OpenSIP rule-ID mapping at assembly) + the single shared `formatSignalSarif`
+ * formatter (`@opensip-cli/output`). This test drives THAT path and asserts
+ * byte-identical output against the same golden fixtures the adapter produced
+ * — proving the migration is behaviour-preserving.
+ *
+ * Coverage invariants beyond per-rule equality:
+ *   1. `tool.driver.name === 'opensip-cli-graph'` for every emission.
+ *   2. Every `result.ruleId` matches the OpenSIP-convention regex
+ *      (`graph.<family>.<rule>`).
+ *
+ * Fixtures are written via Vitest's `toMatchFileSnapshot`. Regenerate after
+ * intentional changes by deleting the file and running the test once.
+ */
+export {};
+//# sourceMappingURL=sarif-opensip.test.d.ts.map

package/dist/__tests__/render/sarif-opensip.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sarif-opensip.test.d.ts","sourceRoot":"","sources":["../../../src/__tests__/render/sarif-opensip.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG"}

package/dist/__tests__/render/sarif-opensip.test.js

@@ -0,0 +1,235 @@
+/**
+ * Golden-fixture tests for graph's OpenSIP SARIF output (ADR-0011 Phase 5).
+ *
+ * Graph's former `renderSarifOpenSip` adapter is retired: SARIF now flows
+ * through `buildGraphEnvelope` (which applies the Option-A engine-slug →
+ * OpenSIP rule-ID mapping at assembly) + the single shared `formatSignalSarif`
+ * formatter (`@opensip-cli/output`). This test drives THAT path and asserts
+ * byte-identical output against the same golden fixtures the adapter produced
+ * — proving the migration is behaviour-preserving.
+ *
+ * Coverage invariants beyond per-rule equality:
+ *   1. `tool.driver.name === 'opensip-cli-graph'` for every emission.
+ *   2. Every `result.ruleId` matches the OpenSIP-convention regex
+ *      (`graph.<family>.<rule>`).
+ *
+ * Fixtures are written via Vitest's `toMatchFileSnapshot`. Regenerate after
+ * intentional changes by deleting the file and running the test once.
+ */
+import { formatSignalSarif } from '@opensip-cli/output';
+import { describe, expect, it } from 'vitest';
+import { buildGraphEnvelope } from '../../cli/build-envelope.js';
+import { OPENSIP_RULE_ID_REGEX } from '../../render/rule-id-mapping.js';
+const RUN = { runId: 'run-1', createdAt: '2026-05-27T00:00:00.000Z' };
+/** Build the graph SARIF string for a set of engine-slug signals. */
+function graphSarif(signals) {
+    return formatSignalSarif(buildGraphEnvelope({ ...RUN, signals }));
+}
+const RULE_FIXTURES = [
+    {
+        slug: 'graph:orphan-subtree',
+        severity: 'medium',
+        message: "Function 'processOrder' appears unreachable from any entry point.",
+        filePath: 'src/order/process.ts',
+        line: 42,
+    },
+    {
+        slug: 'graph:duplicated-function-body',
+        severity: 'low',
+        message: "Function 'formatDate' has the same body as 3 other functions.",
+        filePath: 'src/utils/format.ts',
+        line: 8,
+    },
+    {
+        slug: 'graph:no-side-effect-path',
+        severity: 'medium',
+        message: "Function 'computeMetrics' return value is never consumed.",
+        filePath: 'src/metrics/compute.ts',
+        line: 23,
+    },
+    {
+        slug: 'graph:always-throws-branch',
+        severity: 'critical',
+        message: "Branch in 'handleError' always throws.",
+        filePath: 'src/error/handler.ts',
+        line: 67,
+    },
+    {
+        slug: 'graph:test-only-reachable',
+        severity: 'low',
+        message: "Function 'mockUser' is only reachable from test files.",
+        filePath: 'src/users/mock.ts',
+        line: 5,
+    },
+];
+function makeSignal(fixture) {
+    return {
+        id: `sig_${fixture.slug.replace('graph:', '').replaceAll('-', '_')}`,
+        source: 'graph',
+        provider: 'opensip-cli',
+        severity: fixture.severity,
+        category: 'quality',
+        ruleId: fixture.slug,
+        message: fixture.message,
+        filePath: fixture.filePath,
+        line: fixture.line,
+        column: fixture.column,
+        code: { file: fixture.filePath, line: fixture.line, column: fixture.column },
+        metadata: {},
+        createdAt: '2026-05-27T00:00:00.000Z',
+    };
+}
+describe('graph SARIF — golden fixtures', () => {
+    for (const fixture of RULE_FIXTURES) {
+        const ruleSlug = fixture.slug.replace('graph:', '');
+        it(`matches fixture for ${fixture.slug}`, async () => {
+            const sarif = graphSarif([makeSignal(fixture)]);
+            await expect(sarif).toMatchFileSnapshot(`./__fixtures__/sarif/${ruleSlug}.json`);
+        });
+    }
+});
+describe('graph SARIF — invariants', () => {
+    it('every result.ruleId matches the OpenSIP rule-ID regex', () => {
+        const signals = RULE_FIXTURES.map(makeSignal);
+        const parsed = JSON.parse(graphSarif(signals));
+        expect(parsed.runs[0].results.length).toBe(RULE_FIXTURES.length);
+        for (const result of parsed.runs[0].results) {
+            expect(result.ruleId).toMatch(OPENSIP_RULE_ID_REGEX);
+        }
+    });
+    it('tool.driver.name is opensip-cli-graph', () => {
+        const parsed = JSON.parse(graphSarif(RULE_FIXTURES.map(makeSignal)));
+        expect(parsed.runs[0].tool.driver.name).toBe('opensip-cli-graph');
+        expect(parsed.runs[0].tool.driver.version).toBe('1.0.0');
+    });
+    it('tool.driver.rules contains every OpenSIP rule ID emitted in results', () => {
+        const parsed = JSON.parse(graphSarif(RULE_FIXTURES.map(makeSignal)));
+        const driverRuleIds = new Set(parsed.runs[0].tool.driver.rules.map((r) => r.id));
+        for (const result of parsed.runs[0].results) {
+            expect(driverRuleIds.has(result.ruleId)).toBe(true);
+        }
+        expect(driverRuleIds.size).toBe(RULE_FIXTURES.length);
+    });
+});
+/** One case per (new rule × severity band) plus non-TS file paths. */
+const NEW_RULE_CASES = [
+    {
+        slug: 'graph:large-function',
+        mappedId: 'graph.complexity.large-function',
+        severity: 'high',
+        expectedLevel: 'error',
+        filePath: 'src/big.ts',
+    },
+    {
+        slug: 'graph:large-function',
+        mappedId: 'graph.complexity.large-function',
+        severity: 'medium',
+        expectedLevel: 'warning',
+        filePath: 'pkg/mod.py',
+    },
+    {
+        slug: 'graph:wide-function',
+        mappedId: 'graph.complexity.wide-function',
+        severity: 'high',
+        expectedLevel: 'error',
+        filePath: 'src/lib.rs',
+    },
+    {
+        slug: 'graph:wide-function',
+        mappedId: 'graph.complexity.wide-function',
+        severity: 'medium',
+        expectedLevel: 'warning',
+        filePath: 'src/wide.ts',
+    },
+    {
+        slug: 'graph:high-blast-untested',
+        mappedId: 'graph.coverage.high-blast-untested',
+        severity: 'high',
+        expectedLevel: 'error',
+        filePath: 'app/service.go',
+    },
+    {
+        slug: 'graph:high-blast-untested',
+        mappedId: 'graph.coverage.high-blast-untested',
+        severity: 'medium',
+        expectedLevel: 'warning',
+        filePath: 'src/hot.ts',
+    },
+    {
+        slug: 'graph:cycle',
+        mappedId: 'graph.architecture.cycle',
+        severity: 'high',
+        expectedLevel: 'error',
+        filePath: 'src/cycle.py',
+    },
+    {
+        slug: 'graph:cycle',
+        mappedId: 'graph.architecture.cycle',
+        severity: 'medium',
+        expectedLevel: 'warning',
+        filePath: 'src/cycle.ts',
+    },
+    {
+        slug: 'graph:cycle',
+        mappedId: 'graph.architecture.cycle',
+        severity: 'low',
+        expectedLevel: 'note',
+        filePath: 'src/mutual.ts',
+    },
+    {
+        slug: 'graph:unexpected-coupling',
+        mappedId: 'graph.architecture.unexpected-coupling',
+        severity: 'high',
+        expectedLevel: 'error',
+        filePath: 'crate/src/lib.rs',
+    },
+];
+function newRuleSignal(c) {
+    return {
+        id: 'sig_new',
+        source: 'graph',
+        provider: 'opensip-cli',
+        severity: c.severity,
+        category: 'quality',
+        ruleId: c.slug,
+        message: `${c.slug} finding`,
+        filePath: c.filePath,
+        line: 10,
+        column: 0,
+        code: { file: c.filePath, line: 10, column: 0 },
+        metadata: {},
+        createdAt: '2026-06-02T00:00:00.000Z',
+    };
+}
+describe('graph SARIF — Plan D rules level mapping + multi-language', () => {
+    for (const c of NEW_RULE_CASES) {
+        it(`${c.slug} (${c.severity}) → level ${c.expectedLevel}, ruleId ${c.mappedId} [${c.filePath}]`, () => {
+            const parsed = JSON.parse(graphSarif([newRuleSignal(c)]));
+            const result = parsed.runs[0].results[0];
+            expect(result.ruleId).toBe(c.mappedId);
+            expect(result.ruleId).toMatch(OPENSIP_RULE_ID_REGEX);
+            expect(result.level).toBe(c.expectedLevel);
+        });
+    }
+    it('a Python and a TypeScript occurrence of the same rule produce identical SARIF shape', () => {
+        const ts = newRuleSignal({
+            slug: 'graph:large-function',
+            mappedId: 'graph.complexity.large-function',
+            severity: 'high',
+            expectedLevel: 'error',
+            filePath: 'src/x.ts',
+        });
+        const py = { ...ts, filePath: 'src/x.py', code: { file: 'src/x.py', line: 10, column: 0 } };
+        const rTs = firstResult(ts);
+        const rPy = firstResult(py);
+        // Band logic is language-agnostic: same ruleId + level regardless of path.
+        expect(rPy.ruleId).toBe(rTs.ruleId);
+        expect(rPy.level).toBe(rTs.level);
+    });
+});
+/** Render one signal and return its single SARIF result. */
+function firstResult(signal) {
+    const parsed = JSON.parse(graphSarif([signal]));
+    return parsed.runs[0].results[0];
+}
+//# sourceMappingURL=sarif-opensip.test.js.map

package/dist/__tests__/render/sarif-opensip.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sarif-opensip.test.js","sourceRoot":"","sources":["../../../src/__tests__/render/sarif-opensip.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AAIxE,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,0BAA0B,EAAE,CAAC;AAEtE,qEAAqE;AACrE,SAAS,UAAU,CAAC,OAA0B;IAC5C,OAAO,iBAAiB,CAAC,kBAAkB,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;AACpE,CAAC;AAWD,MAAM,aAAa,GAA2B;IAC5C;QACE,IAAI,EAAE,sBAAsB;QAC5B,QAAQ,EAAE,QAAQ;QAClB,OAAO,EAAE,mEAAmE;QAC5E,QAAQ,EAAE,sBAAsB;QAChC,IAAI,EAAE,EAAE;KACT;IACD;QACE,IAAI,EAAE,gCAAgC;QACtC,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,+DAA+D;QACxE,QAAQ,EAAE,qBAAqB;QAC/B,IAAI,EAAE,CAAC;KACR;IACD;QACE,IAAI,EAAE,2BAA2B;QACjC,QAAQ,EAAE,QAAQ;QAClB,OAAO,EAAE,2DAA2D;QACpE,QAAQ,EAAE,wBAAwB;QAClC,IAAI,EAAE,EAAE;KACT;IACD;QACE,IAAI,EAAE,4BAA4B;QAClC,QAAQ,EAAE,UAAU;QACpB,OAAO,EAAE,wCAAwC;QACjD,QAAQ,EAAE,sBAAsB;QAChC,IAAI,EAAE,EAAE;KACT;IACD;QACE,IAAI,EAAE,2BAA2B;QACjC,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,wDAAwD;QACjE,QAAQ,EAAE,mBAAmB;QAC7B,IAAI,EAAE,CAAC;KACR;CACF,CAAC;AAEF,SAAS,UAAU,CAAC,OAAoB;IACtC,OAAO;QACL,EAAE,EAAE,OAAO,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;QACpE,MAAM,EAAE,OAAO;QACf,QAAQ,EAAE,aAAa;QACvB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,QAAQ,EAAE,SAAS;QACnB,MAAM,EAAE,OAAO,CAAC,IAAI;QACpB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;QAC5E,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,0BAA0B;KACtC,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAEpD,EAAE,CAAC,uBAAuB,OAAO,CAAC,IAAI,EAAE,EAAE,KAAK,IAAI,EAAE;YACnD,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAChD,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC,mBAAmB,CAAC,wBAAwB,QAAQ,OAAO,CAAC,CAAC;QACnF,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAE5C,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QACjE,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAC5C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QACvD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAElE,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAClE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAKlE,CAAC;QACF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjF,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAC5C,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAYH,sEAAsE;AACtE,MAAM,cAAc,GAA2B;IAC7C;QACE,IAAI,EAAE,sBAAsB;QAC5B,QAAQ,EAAE,iCAAiC;QAC3C,QAAQ,EAAE,MAAM;QAChB,aAAa,EAAE,OAAO;QACtB,QAAQ,EAAE,YAAY;KACvB;IACD;QACE,IAAI,EAAE,sBAAsB;QAC5B,QAAQ,EAAE,iCAAiC;QAC3C,QAAQ,EAAE,QAAQ;QAClB,aAAa,EAAE,SAAS;QACxB,QAAQ,EAAE,YAAY;KACvB;IACD;QACE,IAAI,EAAE,qBAAqB;QAC3B,QAAQ,EAAE,gCAAgC;QAC1C,QAAQ,EAAE,MAAM;QAChB,aAAa,EAAE,OAAO;QACtB,QAAQ,EAAE,YAAY;KACvB;IACD;QACE,IAAI,EAAE,qBAAqB;QAC3B,QAAQ,EAAE,gCAAgC;QAC1C,QAAQ,EAAE,QAAQ;QAClB,aAAa,EAAE,SAAS;QACxB,QAAQ,EAAE,aAAa;KACxB;IACD;QACE,IAAI,EAAE,2BAA2B;QACjC,QAAQ,EAAE,oCAAoC;QAC9C,QAAQ,EAAE,MAAM;QAChB,aAAa,EAAE,OAAO;QACtB,QAAQ,EAAE,gBAAgB;KAC3B;IACD;QACE,IAAI,EAAE,2BAA2B;QACjC,QAAQ,EAAE,oCAAoC;QAC9C,QAAQ,EAAE,QAAQ;QAClB,aAAa,EAAE,SAAS;QACxB,QAAQ,EAAE,YAAY;KACvB;IACD;QACE,IAAI,EAAE,aAAa;QACnB,QAAQ,EAAE,0BAA0B;QACpC,QAAQ,EAAE,MAAM;QAChB,aAAa,EAAE,OAAO;QACtB,QAAQ,EAAE,cAAc;KACzB;IACD;QACE,IAAI,EAAE,aAAa;QACnB,QAAQ,EAAE,0BAA0B;QACpC,QAAQ,EAAE,QAAQ;QAClB,aAAa,EAAE,SAAS;QACxB,QAAQ,EAAE,cAAc;KACzB;IACD;QACE,IAAI,EAAE,aAAa;QACnB,QAAQ,EAAE,0BAA0B;QACpC,QAAQ,EAAE,KAAK;QACf,aAAa,EAAE,MAAM;QACrB,QAAQ,EAAE,eAAe;KAC1B;IACD;QACE,IAAI,EAAE,2BAA2B;QACjC,QAAQ,EAAE,wCAAwC;QAClD,QAAQ,EAAE,MAAM;QAChB,aAAa,EAAE,OAAO;QACtB,QAAQ,EAAE,kBAAkB;KAC7B;CACF,CAAC;AAEF,SAAS,aAAa,CAAC,CAAc;IACnC,OAAO;QACL,EAAE,EAAE,SAAS;QACb,MAAM,EAAE,OAAO;QACf,QAAQ,EAAE,aAAa;QACvB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,QAAQ,EAAE,SAAS;QACnB,MAAM,EAAE,CAAC,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,UAAU;QAC5B,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,IAAI,EAAE,EAAE;QACR,MAAM,EAAE,CAAC;QACT,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE;QAC/C,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,0BAA0B;KACtC,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACzE,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,QAAQ,aAAa,CAAC,CAAC,aAAa,YAAY,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,GAAG,EAAE,GAAG,EAAE;YACpG,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAEvD,CAAC;YACF,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;YACrD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;IACL,CAAC;IAED,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,EAAE,GAAG,aAAa,CAAC;YACvB,IAAI,EAAE,sBAAsB;YAC5B,QAAQ,EAAE,iCAAiC;YAC3C,QAAQ,EAAE,MAAM;YAChB,aAAa,EAAE,OAAO;YACtB,QAAQ,EAAE,UAAU;SACrB,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5F,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;QAC5B,2EAA2E;QAC3E,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,4DAA4D;AAC5D,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAE7C,CAAC;IACF,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACnC,CAAC"}

package/dist/__tests__/resolution-mode.test.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Engine-level resolution-mode contract:
+ *   - a Catalog without resolutionMode is treated as exact (absence ⇒ exact);
+ *   - the mode round-trips through catalog persistence (the warm-run honesty
+ *     guarantee — consumers read it on cache hits, not just fresh builds);
+ *   - buildGraphEnvelope surfaces resolutionMode only for fast;
+ *   - the approximation caveat helper reflects the tier.
+ */
+export {};
+//# sourceMappingURL=resolution-mode.test.d.ts.map

package/dist/__tests__/resolution-mode.test.d.ts.map

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

package/dist/__tests__/resolution-mode.test.js

@@ -0,0 +1,96 @@
+/**
+ * Engine-level resolution-mode contract:
+ *   - a Catalog without resolutionMode is treated as exact (absence ⇒ exact);
+ *   - the mode round-trips through catalog persistence (the warm-run honesty
+ *     guarantee — consumers read it on cache hits, not just fresh builds);
+ *   - buildGraphEnvelope surfaces resolutionMode only for fast;
+ *   - the approximation caveat helper reflects the tier.
+ */
+import { DataStoreFactory } from '@opensip-cli/datastore';
+import { afterEach, beforeEach, describe, expect, it } from 'vitest';
+import { buildGraphEnvelope } from '../cli/build-envelope.js';
+import { CatalogRepo } from '../persistence/catalog-repo.js';
+import { approximateSuffix, isApproximateCatalog } from '../rules/_approximation.js';
+function catalogWith(resolutionMode) {
+    const occ = {
+        bodyHash: 'h1',
+        simpleName: 'foo',
+        qualifiedName: 'a.foo',
+        filePath: 'a.ts',
+        line: 1,
+        column: 0,
+        endLine: 1,
+        kind: 'function-declaration',
+        params: [],
+        returnType: null,
+        enclosingClass: null,
+        decorators: [],
+        visibility: 'exported',
+        inTestFile: false,
+        definedInGenerated: false,
+        calls: [],
+    };
+    return {
+        version: '3.0',
+        tool: 'graph',
+        language: 'typescript',
+        builtAt: 'x',
+        cacheKey: `ts-test-${resolutionMode ?? 'none'}`,
+        ...(resolutionMode ? { resolutionMode } : {}),
+        functions: { foo: [occ] },
+    };
+}
+describe('resolution-mode contract', () => {
+    describe('absence ⇒ exact', () => {
+        it('a catalog with no resolutionMode normalizes to exact', () => {
+            const catalog = catalogWith(undefined);
+            expect(catalog.resolutionMode).toBeUndefined();
+            expect(catalog.resolutionMode ?? 'exact').toBe('exact');
+            expect(isApproximateCatalog(catalog)).toBe(false);
+        });
+    });
+    describe('persistence round-trip', () => {
+        let datastore;
+        beforeEach(() => {
+            datastore = DataStoreFactory.open({ backend: 'memory' });
+        });
+        afterEach(() => {
+            datastore.close?.();
+        });
+        it('preserves resolutionMode through write + reload (warm-run honesty)', () => {
+            const repo = new CatalogRepo(datastore);
+            repo.replaceAll(catalogWith('fast'));
+            const loaded = repo.loadFullCatalog();
+            expect(loaded?.resolutionMode).toBe('fast');
+        });
+        it('an exact catalog reloads without a fast marker', () => {
+            const repo = new CatalogRepo(datastore);
+            repo.replaceAll(catalogWith('exact'));
+            expect(repo.loadFullCatalog()?.resolutionMode).toBe('exact');
+        });
+        it('a legacy catalog (no marker) reloads as undefined ⇒ exact', () => {
+            const repo = new CatalogRepo(datastore);
+            repo.replaceAll(catalogWith(undefined));
+            const loaded = repo.loadFullCatalog();
+            expect(loaded?.resolutionMode).toBeUndefined();
+        });
+    });
+    describe('buildGraphEnvelope', () => {
+        const RUN = { signals: [], runId: 'run-1', createdAt: '2026-06-04T00:00:00.000Z' };
+        it('omits resolutionMode for exact / undefined', () => {
+            expect(buildGraphEnvelope(RUN).resolutionMode).toBeUndefined();
+            expect(buildGraphEnvelope({ ...RUN, resolutionMode: 'exact' }).resolutionMode).toBeUndefined();
+        });
+        it('includes resolutionMode for fast', () => {
+            expect(buildGraphEnvelope({ ...RUN, resolutionMode: 'fast' }).resolutionMode).toBe('fast');
+        });
+    });
+    describe('approximateSuffix', () => {
+        it('is empty for exact and a non-empty caveat for fast', () => {
+            expect(approximateSuffix(catalogWith('exact'))).toBe('');
+            expect(approximateSuffix(catalogWith(undefined))).toBe('');
+            expect(approximateSuffix(catalogWith('fast'))).toContain('approximate');
+        });
+    });
+});
+//# sourceMappingURL=resolution-mode.test.js.map

package/dist/__tests__/resolution-mode.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolution-mode.test.js","sourceRoot":"","sources":["../../src/__tests__/resolution-mode.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,gBAAgB,EAAkB,MAAM,wBAAwB,CAAC;AAC1E,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAErE,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAIrF,SAAS,WAAW,CAAC,cAA0C;IAC7D,MAAM,GAAG,GAAuB;QAC9B,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,KAAK;QACjB,aAAa,EAAE,OAAO;QACtB,QAAQ,EAAE,MAAM;QAChB,IAAI,EAAE,CAAC;QACP,MAAM,EAAE,CAAC;QACT,OAAO,EAAE,CAAC;QACV,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,IAAI;QAChB,cAAc,EAAE,IAAI;QACpB,UAAU,EAAE,EAAE;QACd,UAAU,EAAE,UAAU;QACtB,UAAU,EAAE,KAAK;QACjB,kBAAkB,EAAE,KAAK;QACzB,KAAK,EAAE,EAAE;KACV,CAAC;IACF,OAAO;QACL,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,GAAG;QACZ,QAAQ,EAAE,WAAW,cAAc,IAAI,MAAM,EAAE;QAC/C,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE;KAC1B,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;YACvC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,aAAa,EAAE,CAAC;YAC/C,MAAM,CAAC,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxD,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,IAAI,SAAoB,CAAC;QAEzB,UAAU,CAAC,GAAG,EAAE;YACd,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,SAAS,CAAC,GAAG,EAAE;YACb,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC;QACtB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,IAAI,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC,CAAC;YACxC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;YACtC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,IAAI,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC,CAAC;YACxC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC,eAAe,EAAE,EAAE,cAAc,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,IAAI,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC,CAAC;YACxC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;YACtC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,aAAa,EAAE,CAAC;QACjD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,0BAA0B,EAAE,CAAC;QAEnF,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,aAAa,EAAE,CAAC;YAC/D,MAAM,CACJ,kBAAkB,CAAC,EAAE,GAAG,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC,cAAc,CACvE,CAAC,aAAa,EAAE,CAAC;QACpB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,CAAC,kBAAkB,CAAC,EAAE,GAAG,GAAG,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7F,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,CAAC,iBAAiB,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,iBAAiB,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC3D,MAAM,CAAC,iBAAiB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/resolve-callee.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=resolve-callee.test.d.ts.map

package/dist/__tests__/resolve-callee.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-callee.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/resolve-callee.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/resolve-callee.test.js

@@ -0,0 +1,119 @@
+import { describe, it, expect } from 'vitest';
+import { packageOf, resolveCallee, callerImportedPackages } from '../resolve-callee.js';
+function occ(over) {
+    return {
+        bodySize: 50,
+        simpleName: 'f',
+        line: 1,
+        column: 0,
+        endLine: 2,
+        kind: 'function-declaration',
+        params: [],
+        returnType: null,
+        enclosingClass: null,
+        decorators: [],
+        visibility: 'exported',
+        inTestFile: false,
+        definedInGenerated: false,
+        calls: [],
+        ...over,
+    };
+}
+function indexesOf(occs, importedPackagesByFile = new Map()) {
+    const occurrencesByHash = new Map();
+    const byBodyHash = new Map();
+    for (const o of occs) {
+        byBodyHash.set(o.bodyHash, o);
+        const bucket = occurrencesByHash.get(o.bodyHash) ?? [];
+        bucket.push(o);
+        occurrencesByHash.set(o.bodyHash, bucket);
+    }
+    return {
+        byBodyHash,
+        byOccId: new Map(),
+        occurrencesByHash,
+        importedPackagesByFile,
+        bySimpleName: new Map(),
+        callees: new Map(),
+        callers: new Map(),
+    };
+}
+describe('packageOf', () => {
+    it('returns the first segment under packages/', () => {
+        expect(packageOf('packages/core/src/x.ts')).toBe('core');
+        expect(packageOf('packages/languages/lang-typescript/src/x.ts')).toBe('languages');
+        expect(packageOf('packages/graph/graph-typescript/src/x.ts')).toBe('graph');
+    });
+    it('returns <unknown> for non-packages paths', () => {
+        expect(packageOf('src/x.ts')).toBe('<unknown>');
+        expect(packageOf('')).toBe('<unknown>');
+    });
+});
+describe('resolveCallee', () => {
+    // Identical body 'H' in two packages: pkg-a and pkg-b.
+    const aF = occ({
+        bodyHash: 'H',
+        filePath: 'packages/pkg-a/src/f.ts',
+        qualifiedName: 'packages/pkg-a/src/f.f',
+    });
+    const bF = occ({
+        bodyHash: 'H',
+        filePath: 'packages/pkg-b/src/f.ts',
+        qualifiedName: 'packages/pkg-b/src/f.f',
+    });
+    const bG = occ({
+        bodyHash: 'G',
+        filePath: 'packages/pkg-b/src/g.ts',
+        qualifiedName: 'packages/pkg-b/src/g.g',
+        simpleName: 'g',
+    });
+    it('returns undefined when the hash has no occurrences', () => {
+        expect(resolveCallee('NOPE', aF, indexesOf([aF, bF]))).toBeUndefined();
+    });
+    it('returns the only candidate when the hash is unique', () => {
+        expect(resolveCallee('G', aF, indexesOf([aF, bG]))).toBe(bG);
+    });
+    it('prefers the caller’s own package on a cross-package body collision', () => {
+        const caller = occ({
+            bodyHash: 'C',
+            filePath: 'packages/pkg-a/src/call.ts',
+            qualifiedName: 'packages/pkg-a/src/call.caller',
+            simpleName: 'caller',
+        });
+        expect(resolveCallee('H', caller, indexesOf([aF, bF, caller]))).toBe(aF);
+    });
+    it('falls back to an imported package when no same-package candidate exists', () => {
+        const caller = occ({
+            bodyHash: 'C',
+            filePath: 'packages/pkg-c/src/call.ts',
+            qualifiedName: 'packages/pkg-c/src/call.caller',
+            simpleName: 'caller',
+        });
+        const imports = new Map([['packages/pkg-c/src/call.ts', new Set(['pkg-b'])]]);
+        expect(resolveCallee('H', caller, indexesOf([aF, bF, caller], imports))).toBe(bF);
+    });
+    it('falls back to the lowest qualifiedName when neither same-package nor imported matches', () => {
+        const caller = occ({
+            bodyHash: 'C',
+            filePath: 'packages/pkg-z/src/call.ts',
+            qualifiedName: 'packages/pkg-z/src/call.caller',
+            simpleName: 'caller',
+        });
+        // pkg-a sorts before pkg-b by qualifiedName → deterministic.
+        expect(resolveCallee('H', caller, indexesOf([bF, aF, caller]))).toBe(aF);
+    });
+});
+describe('callerImportedPackages', () => {
+    it('reads the import set for the caller’s file, empty when absent (fast mode)', () => {
+        const caller = occ({
+            bodyHash: 'C',
+            filePath: 'packages/pkg-a/src/x.ts',
+            qualifiedName: 'packages/pkg-a/src/x.c',
+            simpleName: 'c',
+        });
+        const withImports = indexesOf([caller], new Map([['packages/pkg-a/src/x.ts', new Set(['core'])]]));
+        expect([...callerImportedPackages(caller, withImports)]).toEqual(['core']);
+        expect(callerImportedPackages(caller, indexesOf([caller])).size).toBe(0);
+    });
+});
+//# sourceMappingURL=resolve-callee.test.js.map

package/dist/__tests__/resolve-callee.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-callee.test.js","sourceRoot":"","sources":["../../src/__tests__/resolve-callee.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAIxF,SAAS,GAAG,CACV,IAAiG;IAEjG,OAAO;QACL,QAAQ,EAAE,EAAE;QACZ,UAAU,EAAE,GAAG;QACf,IAAI,EAAE,CAAC;QACP,MAAM,EAAE,CAAC;QACT,OAAO,EAAE,CAAC;QACV,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,IAAI;QAChB,cAAc,EAAE,IAAI;QACpB,UAAU,EAAE,EAAE;QACd,UAAU,EAAE,UAAU;QACtB,UAAU,EAAE,KAAK;QACjB,kBAAkB,EAAE,KAAK;QACzB,KAAK,EAAE,EAAE;QACT,GAAG,IAAI;KACR,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAChB,IAAmC,EACnC,yBAAmE,IAAI,GAAG,EAAE;IAE5E,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAgC,CAAC;IAClE,MAAM,UAAU,GAAG,IAAI,GAAG,EAA8B,CAAC;IACzD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACvD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACf,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO;QACL,UAAU;QACV,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,iBAAiB;QACjB,sBAAsB;QACtB,YAAY,EAAE,IAAI,GAAG,EAAE;QACvB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,OAAO,EAAE,IAAI,GAAG,EAAE;KACnB,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;IACzB,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzD,MAAM,CAAC,SAAS,CAAC,6CAA6C,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnF,MAAM,CAAC,SAAS,CAAC,0CAA0C,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAChD,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,uDAAuD;IACvD,MAAM,EAAE,GAAG,GAAG,CAAC;QACb,QAAQ,EAAE,GAAG;QACb,QAAQ,EAAE,yBAAyB;QACnC,aAAa,EAAE,wBAAwB;KACxC,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,GAAG,CAAC;QACb,QAAQ,EAAE,GAAG;QACb,QAAQ,EAAE,yBAAyB;QACnC,aAAa,EAAE,wBAAwB;KACxC,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,GAAG,CAAC;QACb,QAAQ,EAAE,GAAG;QACb,QAAQ,EAAE,yBAAyB;QACnC,aAAa,EAAE,wBAAwB;QACvC,UAAU,EAAE,GAAG;KAChB,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAG,GAAG,CAAC;YACjB,QAAQ,EAAE,GAAG;YACb,QAAQ,EAAE,4BAA4B;YACtC,aAAa,EAAE,gCAAgC;YAC/C,UAAU,EAAE,QAAQ;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,MAAM,GAAG,GAAG,CAAC;YACjB,QAAQ,EAAE,GAAG;YACb,QAAQ,EAAE,4BAA4B;YACtC,aAAa,EAAE,gCAAgC;YAC/C,UAAU,EAAE,QAAQ;SACrB,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,4BAA4B,EAAE,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,MAAM,GAAG,GAAG,CAAC;YACjB,QAAQ,EAAE,GAAG;YACb,QAAQ,EAAE,4BAA4B;YACtC,aAAa,EAAE,gCAAgC;YAC/C,UAAU,EAAE,QAAQ;SACrB,CAAC,CAAC;QACH,6DAA6D;QAC7D,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,MAAM,GAAG,GAAG,CAAC;YACjB,QAAQ,EAAE,GAAG;YACb,QAAQ,EAAE,yBAAyB;YACnC,aAAa,EAAE,wBAAwB;YACvC,UAAU,EAAE,GAAG;SAChB,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,SAAS,CAC3B,CAAC,MAAM,CAAC,EACR,IAAI,GAAG,CAAC,CAAC,CAAC,yBAAyB,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAC1D,CAAC;QACF,MAAM,CAAC,CAAC,GAAG,sBAAsB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,sBAAsB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/rules/_entry-points.test.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Tests for the shared entry-point inference helper.
+ *
+ * Coverage of the three classification reasons emitted today:
+ * module-init, name-match, no-callers-exported.
+ */
+export {};
+//# sourceMappingURL=_entry-points.test.d.ts.map

package/dist/__tests__/rules/_entry-points.test.d.ts.map

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