@opensip-cli/graph-typescript 0.1.0

package/dist/__tests__/parse-fast.test.js

@@ -0,0 +1,114 @@
+/**
+ * Tests for the fast (checker-free) parse path — parse-fast.ts.
+ *
+ * The fast parse must (a) build no ts.Program and construct no type
+ * checker, (b) populate parent pointers (setParentNodes), (c) surface
+ * syntactic diagnostics into parseErrors, and (d) parse .tsx as JSX.
+ */
+import { mkdtempSync, rmSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import ts from 'typescript';
+import { afterEach, beforeEach, describe, expect, it } from 'vitest';
+import { parseProjectFast } from '../parse-fast.js';
+import { parseProject } from '../parse.js';
+describe('parseProjectFast', () => {
+    let dir;
+    beforeEach(() => {
+        dir = mkdtempSync(join(tmpdir(), 'graph-ts-parsefast-'));
+    });
+    afterEach(() => {
+        rmSync(dir, { recursive: true, force: true });
+    });
+    it('produces a fast project (no ts.Program) with one source file per input', () => {
+        const a = join(dir, 'a.ts');
+        const b = join(dir, 'b.ts');
+        writeFileSync(a, 'export function foo() { return 1; }\n', 'utf8');
+        writeFileSync(b, 'export const bar = () => 2;\n', 'utf8');
+        const out = parseProjectFast({
+            projectDirAbs: dir,
+            files: [a, b],
+            resolutionMode: 'fast',
+        });
+        expect(out.project.kind).toBe('fast');
+        // No type checker / Program is ever constructed on this path.
+        expect('program' in out.project).toBe(false);
+        expect(out.project.sourceFiles.size).toBe(2);
+        expect(out.project.sourceFiles.has(a)).toBe(true);
+        expect(out.parseErrors).toEqual([]);
+    });
+    it('populates parent pointers (the cheap substitute for the checker)', () => {
+        const a = join(dir, 'a.ts');
+        writeFileSync(a, 'export function foo() { return 1; }\n', 'utf8');
+        const out = parseProjectFast({ projectDirAbs: dir, files: [a], resolutionMode: 'fast' });
+        const sf = out.project.sourceFiles.get(a);
+        expect(sf).toBeDefined();
+        // The first statement's parent must point back at the source file —
+        // proof setParentNodes ran without a binder/checker.
+        const firstStmt = sf.statements[0];
+        expect(firstStmt).toBeDefined();
+        expect(firstStmt.parent).toBe(sf);
+    });
+    it('surfaces syntactic diagnostics into parseErrors for an unparseable file', () => {
+        const broken = join(dir, 'broken.ts');
+        // Missing identifier + dangling tokens → parse diagnostics.
+        writeFileSync(broken, 'const = ;\nfunction (\n', 'utf8');
+        const out = parseProjectFast({ projectDirAbs: dir, files: [broken], resolutionMode: 'fast' });
+        expect(out.parseErrors.length).toBeGreaterThan(0);
+        expect(out.parseErrors[0]?.filePath).toBe('broken.ts');
+        // The (partial) tree is still retained for the walk stage.
+        expect(out.project.sourceFiles.size).toBe(1);
+    });
+    it('parses .tsx as JSX (ScriptKind derived from extension)', () => {
+        const tsx = join(dir, 'view.tsx');
+        writeFileSync(tsx, 'export const View = () => <div className="x">hi</div>;\n', 'utf8');
+        const out = parseProjectFast({ projectDirAbs: dir, files: [tsx], resolutionMode: 'fast' });
+        // JSX parses with no syntactic error, and a JSX node exists in the tree.
+        expect(out.parseErrors).toEqual([]);
+        const sf = out.project.sourceFiles.get(tsx);
+        let sawJsx = false;
+        const visit = (node) => {
+            if (ts.isJsxElement(node) || ts.isJsxSelfClosingElement(node))
+                sawJsx = true;
+            ts.forEachChild(node, visit);
+        };
+        visit(sf);
+        expect(sawJsx).toBe(true);
+    });
+    it('parses .jsx as JSX and .js/.cjs/.mjs as plain JS (ScriptKind by extension)', () => {
+        const jsx = join(dir, 'view.jsx');
+        const js = join(dir, 'plain.js');
+        const cjs = join(dir, 'legacy.cjs');
+        const mjs = join(dir, 'modern.mjs');
+        writeFileSync(jsx, 'export const View = () => <span>x</span>;\n', 'utf8');
+        writeFileSync(js, 'export const a = 1;\n', 'utf8');
+        writeFileSync(cjs, 'module.exports = { b: 2 };\n', 'utf8');
+        writeFileSync(mjs, 'export const c = 3;\n', 'utf8');
+        const out = parseProjectFast({
+            projectDirAbs: dir,
+            files: [jsx, js, cjs, mjs],
+            resolutionMode: 'fast',
+        });
+        expect(out.parseErrors).toEqual([]);
+        expect(out.project.sourceFiles.size).toBe(4);
+        // The .jsx file parsed its JSX as JSX (a JSX node exists).
+        const jsxSf = out.project.sourceFiles.get(jsx);
+        let sawJsx = false;
+        const visit = (node) => {
+            if (ts.isJsxElement(node) || ts.isJsxSelfClosingElement(node))
+                sawJsx = true;
+            ts.forEachChild(node, visit);
+        };
+        visit(jsxSf);
+        expect(sawJsx).toBe(true);
+    });
+    it('parseProject dispatches to the fast path when resolutionMode is fast', () => {
+        const a = join(dir, 'a.ts');
+        writeFileSync(a, 'export function foo() { return 1; }\n', 'utf8');
+        const fast = parseProject({ projectDirAbs: dir, files: [a], resolutionMode: 'fast' });
+        expect(fast.project.kind).toBe('fast');
+        const exact = parseProject({ projectDirAbs: dir, files: [a], resolutionMode: 'exact' });
+        expect(exact.project.kind).toBe('exact');
+    });
+});
+//# sourceMappingURL=parse-fast.test.js.map

package/dist/__tests__/parse-fast.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-fast.test.js","sourceRoot":"","sources":["../../src/__tests__/parse-fast.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAErE,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAI,GAAW,CAAC;IAEhB,UAAU,CAAC,GAAG,EAAE;QACd,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,qBAAqB,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,GAAG,EAAE;QACb,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC5B,aAAa,CAAC,CAAC,EAAE,uCAAuC,EAAE,MAAM,CAAC,CAAC;QAClE,aAAa,CAAC,CAAC,EAAE,+BAA+B,EAAE,MAAM,CAAC,CAAC;QAE1D,MAAM,GAAG,GAAG,gBAAgB,CAAC;YAC3B,aAAa,EAAE,GAAG;YAClB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACb,cAAc,EAAE,MAAM;SACvB,CAAC,CAAC;QAEH,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtC,8DAA8D;QAC9D,MAAM,CAAC,SAAS,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC5B,aAAa,CAAC,CAAC,EAAE,uCAAuC,EAAE,MAAM,CAAC,CAAC;QAElE,MAAM,GAAG,GAAG,gBAAgB,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC;QACzF,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,oEAAoE;QACpE,qDAAqD;QACrD,MAAM,SAAS,GAAG,EAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QACtC,4DAA4D;QAC5D,aAAa,CAAC,MAAM,EAAE,yBAAyB,EAAE,MAAM,CAAC,CAAC;QAEzD,MAAM,GAAG,GAAG,gBAAgB,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9F,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACvD,2DAA2D;QAC3D,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAClC,aAAa,CAAC,GAAG,EAAE,0DAA0D,EAAE,MAAM,CAAC,CAAC;QAEvF,MAAM,GAAG,GAAG,gBAAgB,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3F,yEAAyE;QACzE,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QAC7C,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YACpC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;gBAAE,MAAM,GAAG,IAAI,CAAC;YAC7E,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACjC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QACpC,aAAa,CAAC,GAAG,EAAE,6CAA6C,EAAE,MAAM,CAAC,CAAC;QAC1E,aAAa,CAAC,EAAE,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;QACnD,aAAa,CAAC,GAAG,EAAE,8BAA8B,EAAE,MAAM,CAAC,CAAC;QAC3D,aAAa,CAAC,GAAG,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;QAEpD,MAAM,GAAG,GAAG,gBAAgB,CAAC;YAC3B,aAAa,EAAE,GAAG;YAClB,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC;YAC1B,cAAc,EAAE,MAAM;SACvB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE7C,2DAA2D;QAC3D,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QAChD,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YACpC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;gBAAE,MAAM,GAAG,IAAI,CAAC;YAC7E,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,CAAC,KAAK,CAAC,CAAC;QACb,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC5B,aAAa,CAAC,CAAC,EAAE,uCAAuC,EAAE,MAAM,CAAC,CAAC;QAElE,MAAM,IAAI,GAAG,YAAY,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC;QACtF,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAEvC,MAAM,KAAK,GAAG,YAAY,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC;QACxF,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/rules/_helpers.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Shared catalog/occurrence factories for the rule integration tests
+ * that exercise rules-against-real-or-synthetic catalogs from
+ * graph-typescript.
+ *
+ * Mirrors the engine-side _helpers.ts. Lives here so this graph-
+ * typescript test directory has no need to deep-import engine
+ * internals.
+ */
+import type { CallEdge, Catalog, FunctionOccurrence } from '@opensip-cli/graph';
+export interface OccOverride extends Partial<FunctionOccurrence> {
+    readonly bodyHash: string;
+    readonly simpleName: string;
+}
+export declare function occ(over: OccOverride): FunctionOccurrence;
+export declare function edge(text: string, to?: readonly string[], discarded?: boolean): CallEdge;
+export declare function makeCatalog(occs: readonly FunctionOccurrence[]): Catalog;
+//# sourceMappingURL=_helpers.d.ts.map

package/dist/__tests__/rules/_helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"_helpers.d.ts","sourceRoot":"","sources":["../../../src/__tests__/rules/_helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAEhF,MAAM,WAAW,WAAY,SAAQ,OAAO,CAAC,kBAAkB,CAAC;IAC9D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,wBAAgB,GAAG,CAAC,IAAI,EAAE,WAAW,GAAG,kBAAkB,CAqBzD;AAED,wBAAgB,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,GAAE,SAAS,MAAM,EAAO,EAAE,SAAS,CAAC,EAAE,OAAO,GAAG,QAAQ,CAU5F;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,SAAS,kBAAkB,EAAE,GAAG,OAAO,CAkBxE"}

package/dist/__tests__/rules/_helpers.js

@@ -0,0 +1,62 @@
+/**
+ * Shared catalog/occurrence factories for the rule integration tests
+ * that exercise rules-against-real-or-synthetic catalogs from
+ * graph-typescript.
+ *
+ * Mirrors the engine-side _helpers.ts. Lives here so this graph-
+ * typescript test directory has no need to deep-import engine
+ * internals.
+ */
+export function occ(over) {
+    const base = {
+        bodyHash: over.bodyHash,
+        bodySize: 200,
+        simpleName: over.simpleName,
+        qualifiedName: over.qualifiedName ?? `src/a.${over.simpleName}`,
+        filePath: 'src/a.ts',
+        line: 1,
+        column: 0,
+        endLine: 5,
+        kind: 'function-declaration',
+        params: [],
+        returnType: null,
+        enclosingClass: null,
+        decorators: [],
+        visibility: 'module-local',
+        inTestFile: false,
+        definedInGenerated: false,
+        calls: [],
+    };
+    return { ...base, ...over };
+}
+export function edge(text, to = [], discarded) {
+    return {
+        to,
+        line: 2,
+        column: 4,
+        resolution: 'unknown',
+        confidence: 'low',
+        text,
+        discarded,
+    };
+}
+export function makeCatalog(occs) {
+    const functions = {};
+    for (const o of occs) {
+        let bucket = functions[o.simpleName];
+        if (!bucket) {
+            bucket = [];
+            functions[o.simpleName] = bucket;
+        }
+        bucket.push(o);
+    }
+    return {
+        version: '3.0',
+        tool: 'graph',
+        language: 'typescript',
+        builtAt: 'x',
+        cacheKey: 'ts-test-v3',
+        functions,
+    };
+}
+//# sourceMappingURL=_helpers.js.map

package/dist/__tests__/rules/_helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_helpers.js","sourceRoot":"","sources":["../../../src/__tests__/rules/_helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AASH,MAAM,UAAU,GAAG,CAAC,IAAiB;IACnC,MAAM,IAAI,GAAuB;QAC/B,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,QAAQ,EAAE,GAAG;QACb,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,aAAa,EAAE,IAAI,CAAC,aAAa,IAAI,SAAS,IAAI,CAAC,UAAU,EAAE;QAC/D,QAAQ,EAAE,UAAU;QACpB,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,cAAc;QAC1B,UAAU,EAAE,KAAK;QACjB,kBAAkB,EAAE,KAAK;QACzB,KAAK,EAAE,EAAE;KACV,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,IAAY,EAAE,KAAwB,EAAE,EAAE,SAAmB;IAChF,OAAO;QACL,EAAE;QACF,IAAI,EAAE,CAAC;QACP,MAAM,EAAE,CAAC;QACT,UAAU,EAAE,SAAS;QACrB,UAAU,EAAE,KAAK;QACjB,IAAI;QACJ,SAAS;KACV,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAmC;IAC7D,MAAM,SAAS,GAAyC,EAAE,CAAC;IAC3D,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,EAAE,CAAC;YACZ,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC;QACnC,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,GAAG;QACZ,QAAQ,EAAE,YAAY;QACtB,SAAS;KACV,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,5 @@
+/**
+ * Test the duplicated-function-body rule.
+ */
+export {};
+//# sourceMappingURL=duplicated-function-body.test.d.ts.map

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

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

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

@@ -0,0 +1,39 @@
+/**
+ * Test the duplicated-function-body rule.
+ */
+import { mkdtempSync, rmSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { buildIndexes, duplicatedFunctionBodyRule } from '@opensip-cli/graph/internal';
+import { afterAll, beforeAll, describe, expect, it } from 'vitest';
+import { runFixture, writeFixture } from '../acceptance/_fixture-runner.js';
+describe('duplicated-function-body rule', () => {
+    const fixtureDir = mkdtempSync(join(tmpdir(), 'graph-dup-'));
+    afterAll(() => {
+        rmSync(fixtureDir, { recursive: true, force: true });
+    });
+    writeFixture(fixtureDir, {
+        'a.ts': `export function calculate(a: number, b: number): number {\n  if (a < 0) return 0;\n  if (b < 0) return 0;\n  const sum = a + b;\n  return sum * 2;\n}\n`,
+        'b.ts': `export function calculate(a: number, b: number): number {\n  if (a < 0) return 0;\n  if (b < 0) return 0;\n  const sum = a + b;\n  return sum * 2;\n}\n`,
+        'c.ts': `export function unique(): number {\n  return 1234;\n}\n`,
+    });
+    let signals;
+    beforeAll(async () => {
+        const catalog = await runFixture(fixtureDir);
+        // The fixture's `calculate` body is small (~100 normalized chars).
+        // Disable the wrapper-suppression threshold for this test so we are
+        // exercising the rule's core grouping behavior, not its anti-wrapper
+        // heuristic.
+        signals = duplicatedFunctionBodyRule.evaluate(catalog, buildIndexes(catalog), {
+            minDuplicateBodySize: 0,
+        });
+    });
+    it('flags duplicated bodies across files', () => {
+        expect(signals.length).toBeGreaterThanOrEqual(1);
+        expect(signals.some((s) => s.message.includes('calculate'))).toBe(true);
+    });
+    it('does not flag unique', () => {
+        expect(signals.some((s) => s.message.includes('unique'))).toBe(false);
+    });
+});
+//# sourceMappingURL=duplicated-function-body.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"duplicated-function-body.test.js","sourceRoot":"","sources":["../../../src/__tests__/rules/duplicated-function-body.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,YAAY,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AACvF,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAEnE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAE5E,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;IAC7D,QAAQ,CAAC,GAAG,EAAE;QACZ,MAAM,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,YAAY,CAAC,UAAU,EAAE;QACvB,MAAM,EAAE,yJAAyJ;QACjK,MAAM,EAAE,yJAAyJ;QACjK,MAAM,EAAE,yDAAyD;KAClE,CAAC,CAAC;IACH,IAAI,OAA+D,CAAC;IACpE,SAAS,CAAC,KAAK,IAAI,EAAE;QACnB,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,UAAU,CAAC,CAAC;QAC7C,mEAAmE;QACnE,oEAAoE;QACpE,qEAAqE;QACrE,aAAa;QACb,OAAO,GAAG,0BAA0B,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE;YAC5E,oBAAoB,EAAE,CAAC;SACxB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/rules/orphan-subtree.test.d.ts

@@ -0,0 +1,5 @@
+/**
+ * Test the orphan-subtree rule against synthetic fixtures.
+ */
+export {};
+//# sourceMappingURL=orphan-subtree.test.d.ts.map

package/dist/__tests__/rules/orphan-subtree.test.d.ts.map

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

package/dist/__tests__/rules/orphan-subtree.test.js

@@ -0,0 +1,75 @@
+/**
+ * Test the orphan-subtree rule against synthetic fixtures.
+ */
+import { mkdtempSync, rmSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { buildIndexes, orphanSubtreeRule } from '@opensip-cli/graph/internal';
+import { afterAll, beforeAll, describe, expect, it } from 'vitest';
+import { runFixture, writeFixture } from '../acceptance/_fixture-runner.js';
+describe('orphan-subtree rule', () => {
+    const fixtureDir = mkdtempSync(join(tmpdir(), 'graph-orphan-rule-'));
+    afterAll(() => {
+        rmSync(fixtureDir, { recursive: true, force: true });
+    });
+    writeFixture(fixtureDir, {
+        'index.ts': `function unusedHelper() { return 1; }\nexport function entry(): number {\n  return helper();\n}\nfunction helper(): number { return 42; }\n`,
+    });
+    let signals;
+    beforeAll(async () => {
+        const catalog = await runFixture(fixtureDir);
+        signals = orphanSubtreeRule.evaluate(catalog, buildIndexes(catalog), {});
+    });
+    it('flags unusedHelper as orphan', () => {
+        const orphans = signals.map((s) => s.metadata.simpleName);
+        expect(orphans).toContain('unusedHelper');
+    });
+    it('does not flag helper (called by entry)', () => {
+        const orphans = signals.map((s) => s.metadata.simpleName);
+        expect(orphans).not.toContain('helper');
+    });
+    it('does not flag entry (exported with no caller — entry-point)', () => {
+        const orphans = signals.map((s) => s.metadata.simpleName);
+        expect(orphans).not.toContain('entry');
+    });
+});
+describe('orphan-subtree rule — exported recursive renderer (D2 + D3)', () => {
+    // End-to-end mirror of cli-ui/render-to-text.ts: an exported recursive
+    // function consumed only across a package boundary (so its only resolved
+    // in-project caller is its own self-edge), plus a file-local helper it
+    // calls. Before D2 the self-edge made `no-callers-exported` miss it, so it
+    // and its helper became false orphans. After D2 the renderer seeds as an
+    // entry point and the helper is reached transitively; D3 also suppresses
+    // the exported renderer directly.
+    const fixtureDir = mkdtempSync(join(tmpdir(), 'graph-orphan-recursive-'));
+    afterAll(() => {
+        rmSync(fixtureDir, { recursive: true, force: true });
+    });
+    writeFixture(fixtureDir, {
+        'render.ts': [
+            'function spansToText(parts: string[]): string {',
+            "  return parts.join(' ');",
+            '}',
+            'export function renderToText(node: { kind: string; parts: string[]; children: { kind: string; parts: string[]; children: never[] }[] }): string {',
+            "  if (node.kind === 'group') {",
+            "    return node.children.map(renderToText).join(' ');",
+            '  }',
+            '  return spansToText(node.parts);',
+            '}',
+            '',
+        ].join('\n'),
+    });
+    let orphans;
+    beforeAll(async () => {
+        const catalog = await runFixture(fixtureDir);
+        const signals = orphanSubtreeRule.evaluate(catalog, buildIndexes(catalog), {});
+        orphans = signals.map((s) => s.metadata.simpleName);
+    });
+    it('does not flag the exported recursive renderer', () => {
+        expect(orphans).not.toContain('renderToText');
+    });
+    it('does not flag the file-local helper reached only by the renderer', () => {
+        expect(orphans).not.toContain('spansToText');
+    });
+});
+//# sourceMappingURL=orphan-subtree.test.js.map

package/dist/__tests__/rules/orphan-subtree.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orphan-subtree.test.js","sourceRoot":"","sources":["../../../src/__tests__/rules/orphan-subtree.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAC9E,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAEnE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAE5E,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;IACrE,QAAQ,CAAC,GAAG,EAAE;QACZ,MAAM,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,YAAY,CAAC,UAAU,EAAE;QACvB,UAAU,EAAE,6IAA6I;KAC1J,CAAC,CAAC;IACH,IAAI,OAAsD,CAAC;IAC3D,SAAS,CAAC,KAAK,IAAI,EAAE;QACnB,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,UAAU,CAAC,CAAC;QAC7C,OAAO,GAAG,iBAAiB,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,6DAA6D,EAAE,GAAG,EAAE;IAC3E,uEAAuE;IACvE,yEAAyE;IACzE,uEAAuE;IACvE,2EAA2E;IAC3E,yEAAyE;IACzE,yEAAyE;IACzE,kCAAkC;IAClC,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,yBAAyB,CAAC,CAAC,CAAC;IAC1E,QAAQ,CAAC,GAAG,EAAE;QACZ,MAAM,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,YAAY,CAAC,UAAU,EAAE;QACvB,WAAW,EAAE;YACX,iDAAiD;YACjD,2BAA2B;YAC3B,GAAG;YACH,mJAAmJ;YACnJ,gCAAgC;YAChC,uDAAuD;YACvD,KAAK;YACL,mCAAmC;YACnC,GAAG;YACH,EAAE;SACH,CAAC,IAAI,CAAC,IAAI,CAAC;KACb,CAAC,CAAC;IACH,IAAI,OAAkB,CAAC;IACvB,SAAS,CAAC,KAAK,IAAI,EAAE;QACnB,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,UAAU,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAG,iBAAiB,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/E,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/rules/rule-hints-integration.test.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Rule-hints integration tests — covers the F-1 audit fix.
+ *
+ * The `no-side-effect-path` and `always-throws-branch` rules consult
+ * the active adapter's `ruleHints.sideEffectPrimitives` and
+ * `ruleHints.throwSyntaxRegex` so per-language fidelity matches the
+ * promise in docs/public/40-graph/02-rules-and-gating.md.
+ *
+ * What these tests cover:
+ *   - Python `print(...)` is detected as a side-effect when the Python
+ *     hints are passed; without hints, the TS-shaped fallback would NOT
+ *     detect it (regression preview of the audit's headline finding).
+ *   - Rust `panic!(...)` matches the `always-throws-branch` regex when
+ *     the Rust hints are passed; without hints, the TS-shaped fallback
+ *     does NOT match it.
+ *   - TypeScript adapter hints continue to work identically to the
+ *     previous hardcoded regex (regression check).
+ */
+export {};
+//# sourceMappingURL=rule-hints-integration.test.d.ts.map

package/dist/__tests__/rules/rule-hints-integration.test.d.ts.map

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