@opensip-cli/graph-typescript 0.1.0

package/dist/__tests__/rules/rule-hints-integration.test.js

@@ -0,0 +1,279 @@
+/**
+ * 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).
+ */
+import { alwaysThrowsBranchRule, buildIndexes, noSideEffectPathRule, } from '@opensip-cli/graph/internal';
+import { pythonRuleHints } from '@opensip-cli/graph-python';
+import { rustRuleHints } from '@opensip-cli/graph-rust';
+import { describe, expect, it } from 'vitest';
+import { typescriptGraphAdapter } from '../../index.js';
+import { edge, makeCatalog, occ } from './_helpers.js';
+const exportedDefaults = {
+    visibility: 'exported',
+    endLine: 20,
+};
+function ed(text, to, discarded) {
+    return { ...edge(text, to, discarded), resolution: 'static', confidence: 'high' };
+}
+describe('rule hints — no-side-effect-path', () => {
+    it('Python hints: detects print(...) as a side-effect, suppressing the signal', () => {
+        // helper transitively reaches print(...) — that is a side-effect
+        // with the Python hints, so the candidate is NOT pure-only.
+        const sink = occ({
+            bodyHash: 'sink',
+            simpleName: 'sink',
+            ...exportedDefaults,
+            calls: [ed('print("hello")', [])],
+        });
+        const candidate = occ({
+            bodyHash: 'cand',
+            simpleName: 'maybePure',
+            ...exportedDefaults,
+            calls: [ed('sink()', ['sink']), ed('sink()', ['sink'])],
+        });
+        const caller = occ({
+            bodyHash: 'caller',
+            simpleName: 'caller',
+            ...exportedDefaults,
+            calls: [ed('maybePure()', ['cand'], true)],
+        });
+        const catalog = makeCatalog([sink, candidate, caller]);
+        const indexes = buildIndexes(catalog);
+        // With Python hints — print is recognized as side-effecting.
+        const withHints = noSideEffectPathRule.evaluate(catalog, indexes, {}, pythonRuleHints);
+        expect(withHints.some((s) => s.message.includes('maybePure'))).toBe(false);
+        // Without hints — the TS-shaped fallback regex does NOT match
+        // `print(...)`, so the rule (incorrectly) flags maybePure as pure.
+        // This is the F-1 finding in miniature.
+        const withoutHints = noSideEffectPathRule.evaluate(catalog, indexes, {});
+        expect(withoutHints.some((s) => s.message.includes('maybePure'))).toBe(true);
+    });
+    it('Python hints: detects subprocess.run(...) as a side-effect', () => {
+        const sink = occ({
+            bodyHash: 'sink',
+            simpleName: 'runIt',
+            ...exportedDefaults,
+            calls: [ed('subprocess.run(["ls"])', [])],
+        });
+        const candidate = occ({
+            bodyHash: 'cand',
+            simpleName: 'callsRun',
+            ...exportedDefaults,
+            calls: [ed('runIt()', ['sink']), ed('runIt()', ['sink'])],
+        });
+        const caller = occ({
+            bodyHash: 'caller',
+            simpleName: 'caller',
+            ...exportedDefaults,
+            calls: [ed('callsRun()', ['cand'], true)],
+        });
+        const catalog = makeCatalog([sink, candidate, caller]);
+        const indexes = buildIndexes(catalog);
+        const signals = noSideEffectPathRule.evaluate(catalog, indexes, {}, pythonRuleHints);
+        expect(signals.some((s) => s.message.includes('callsRun'))).toBe(false);
+    });
+    it('Rust hints: detects println!(...) as a side-effect', () => {
+        const sink = occ({
+            bodyHash: 'sink',
+            simpleName: 'logIt',
+            ...exportedDefaults,
+            calls: [ed('println!("hi")', [])],
+        });
+        const candidate = occ({
+            bodyHash: 'cand',
+            simpleName: 'shoutsHello',
+            ...exportedDefaults,
+            calls: [ed('logIt()', ['sink']), ed('logIt()', ['sink'])],
+        });
+        const caller = occ({
+            bodyHash: 'caller',
+            simpleName: 'caller',
+            ...exportedDefaults,
+            calls: [ed('shoutsHello()', ['cand'], true)],
+        });
+        const catalog = makeCatalog([sink, candidate, caller]);
+        const indexes = buildIndexes(catalog);
+        const signals = noSideEffectPathRule.evaluate(catalog, indexes, {}, rustRuleHints);
+        expect(signals.some((s) => s.message.includes('shoutsHello'))).toBe(false);
+    });
+    it('TypeScript hints: console.log still detected (regression check)', () => {
+        const sink = occ({
+            bodyHash: 'sink',
+            simpleName: 'sink',
+            ...exportedDefaults,
+            calls: [ed('console.log("hi")', [])],
+        });
+        const candidate = occ({
+            bodyHash: 'cand',
+            simpleName: 'tsSink',
+            ...exportedDefaults,
+            calls: [ed('sink()', ['sink']), ed('sink()', ['sink'])],
+        });
+        const caller = occ({
+            bodyHash: 'caller',
+            simpleName: 'caller',
+            ...exportedDefaults,
+            calls: [ed('tsSink()', ['cand'], true)],
+        });
+        const catalog = makeCatalog([sink, candidate, caller]);
+        const indexes = buildIndexes(catalog);
+        const signals = noSideEffectPathRule.evaluate(catalog, indexes, {}, typescriptGraphAdapter.ruleHints);
+        // console.log is a TS side-effect primitive — so tsSink isn't
+        // flagged as pure.
+        expect(signals.some((s) => s.message.includes('tsSink'))).toBe(false);
+    });
+    it('No hints: TS-shaped fallback still detects console.log (regression check)', () => {
+        const sink = occ({
+            bodyHash: 'sink',
+            simpleName: 'sink',
+            ...exportedDefaults,
+            calls: [ed('console.log("hi")', [])],
+        });
+        const candidate = occ({
+            bodyHash: 'cand',
+            simpleName: 'tsSink',
+            ...exportedDefaults,
+            calls: [ed('sink()', ['sink']), ed('sink()', ['sink'])],
+        });
+        const caller = occ({
+            bodyHash: 'caller',
+            simpleName: 'caller',
+            ...exportedDefaults,
+            calls: [ed('tsSink()', ['cand'], true)],
+        });
+        const catalog = makeCatalog([sink, candidate, caller]);
+        const indexes = buildIndexes(catalog);
+        const signals = noSideEffectPathRule.evaluate(catalog, indexes, {});
+        expect(signals.some((s) => s.message.includes('tsSink'))).toBe(false);
+    });
+    it('Empty sideEffectPrimitives array falls through to TS fallback regex', () => {
+        // Adapter that supplies an empty list — treat as "no hint" so the
+        // TS-shaped fallback runs.
+        const sink = occ({
+            bodyHash: 'sink',
+            simpleName: 'sink',
+            ...exportedDefaults,
+            calls: [ed('console.log("x")', [])],
+        });
+        const candidate = occ({
+            bodyHash: 'cand',
+            simpleName: 'fallback',
+            ...exportedDefaults,
+            calls: [ed('sink()', ['sink']), ed('sink()', ['sink'])],
+        });
+        const caller = occ({
+            bodyHash: 'caller',
+            simpleName: 'caller',
+            ...exportedDefaults,
+            calls: [ed('fallback()', ['cand'], true)],
+        });
+        const catalog = makeCatalog([sink, candidate, caller]);
+        const indexes = buildIndexes(catalog);
+        const signals = noSideEffectPathRule.evaluate(catalog, indexes, {}, { sideEffectPrimitives: [] });
+        // TS fallback applied — console.log detected — fallback NOT flagged.
+        expect(signals.some((s) => s.message.includes('fallback'))).toBe(false);
+    });
+});
+describe('rule hints — always-throws-branch', () => {
+    it('Python hints: matches `raise SomeError(...)` shape', () => {
+        const a = occ({
+            bodyHash: 'a',
+            simpleName: 'pyFail',
+            calls: [edge('raise ValueError("nope")'), edge('raise RuntimeError("nope")')],
+        });
+        const catalog = makeCatalog([a]);
+        const indexes = buildIndexes(catalog);
+        const signals = alwaysThrowsBranchRule.evaluate(catalog, indexes, {}, pythonRuleHints);
+        expect(signals).toHaveLength(1);
+        expect(signals[0]?.message).toContain('pyFail');
+    });
+    it('Python hints: bare `raise` (no identifier) matches the regex', () => {
+        const a = occ({
+            bodyHash: 'a',
+            simpleName: 'rethrow',
+            calls: [edge('raise')],
+        });
+        const catalog = makeCatalog([a]);
+        const indexes = buildIndexes(catalog);
+        const signals = alwaysThrowsBranchRule.evaluate(catalog, indexes, {}, pythonRuleHints);
+        expect(signals).toHaveLength(1);
+    });
+    it('Rust hints: matches `panic!(...)` shape', () => {
+        const a = occ({
+            bodyHash: 'a',
+            simpleName: 'rsFail',
+            calls: [edge('panic!("boom")'), edge('panic!("nope")')],
+        });
+        const catalog = makeCatalog([a]);
+        const indexes = buildIndexes(catalog);
+        const signals = alwaysThrowsBranchRule.evaluate(catalog, indexes, {}, rustRuleHints);
+        expect(signals).toHaveLength(1);
+        expect(signals[0]?.message).toContain('rsFail');
+    });
+    it('Rust hints: TS `throw new Error(...)` does NOT match Rust regex', () => {
+        const a = occ({
+            bodyHash: 'a',
+            simpleName: 'tsShape',
+            calls: [edge('throw new Error("hi")')],
+        });
+        const catalog = makeCatalog([a]);
+        const indexes = buildIndexes(catalog);
+        const signals = alwaysThrowsBranchRule.evaluate(catalog, indexes, {}, rustRuleHints);
+        // Rust regex doesn't match the TS shape — no signal.
+        expect(signals).toHaveLength(0);
+    });
+    it('Without hints: TS-shaped fallback regex still matches `throw new Error(...)`', () => {
+        const a = occ({
+            bodyHash: 'a',
+            simpleName: 'fail',
+            calls: [edge('throw new Error("boom")'), edge('throw new TypeError("nope")')],
+        });
+        const catalog = makeCatalog([a]);
+        const indexes = buildIndexes(catalog);
+        const signals = alwaysThrowsBranchRule.evaluate(catalog, indexes, {});
+        expect(signals).toHaveLength(1);
+        expect(signals[0]?.message).toContain('fail');
+    });
+    it('Without hints: Python `raise ...` does NOT match TS fallback regex (illustrates F-1)', () => {
+        // This is the F-1 finding: a Python project running through the
+        // engine without hints would never flag `raise SomeError(...)` as
+        // an always-throws helper, because the TS-shaped fallback expects
+        // `throw`. The Python hint above closes that gap.
+        const a = occ({
+            bodyHash: 'a',
+            simpleName: 'pyHelper',
+            calls: [edge('raise ValueError("x")')],
+        });
+        const catalog = makeCatalog([a]);
+        const indexes = buildIndexes(catalog);
+        const signals = alwaysThrowsBranchRule.evaluate(catalog, indexes, {});
+        expect(signals).toHaveLength(0);
+    });
+    it('TypeScript hints: regression check — `throw new Error(...)` still flagged', () => {
+        const a = occ({
+            bodyHash: 'a',
+            simpleName: 'tsFail',
+            calls: [edge('throw new Error("boom")'), edge('throw new TypeError("x")')],
+        });
+        const catalog = makeCatalog([a]);
+        const indexes = buildIndexes(catalog);
+        const signals = alwaysThrowsBranchRule.evaluate(catalog, indexes, {}, typescriptGraphAdapter.ruleHints);
+        expect(signals).toHaveLength(1);
+        expect(signals[0]?.message).toContain('tsFail');
+    });
+});
+//# sourceMappingURL=rule-hints-integration.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule-hints-integration.test.js","sourceRoot":"","sources":["../../../src/__tests__/rules/rule-hints-integration.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,EACL,sBAAsB,EACtB,YAAY,EACZ,oBAAoB,GACrB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAExD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AAEvD,MAAM,gBAAgB,GAAgC;IACpD,UAAU,EAAE,UAAU;IACtB,OAAO,EAAE,EAAE;CACZ,CAAC;AAEF,SAAS,EAAE,CAAC,IAAY,EAAE,EAAqB,EAAE,SAAmB;IAClE,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AACpF,CAAC;AAED,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,iEAAiE;QACjE,4DAA4D;QAC5D,MAAM,IAAI,GAAG,GAAG,CAAC;YACf,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,MAAM;YAClB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;SAClC,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,GAAG,CAAC;YACpB,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,WAAW;YACvB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;SACxD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,GAAG,CAAC;YACjB,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,QAAQ;YACpB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;SAC3C,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QAEtC,6DAA6D;QAC7D,MAAM,SAAS,GAAG,oBAAoB,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,CAAC,CAAC;QACvF,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE3E,8DAA8D;QAC9D,mEAAmE;QACnE,wCAAwC;QACxC,MAAM,YAAY,GAAG,oBAAoB,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,IAAI,GAAG,GAAG,CAAC;YACf,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,OAAO;YACnB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,wBAAwB,EAAE,EAAE,CAAC,CAAC;SAC1C,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,GAAG,CAAC;YACpB,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,UAAU;YACtB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;SAC1D,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,GAAG,CAAC;YACjB,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,QAAQ;YACpB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;SAC1C,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,CAAC,CAAC;QACrF,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,IAAI,GAAG,GAAG,CAAC;YACf,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,OAAO;YACnB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;SAClC,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,GAAG,CAAC;YACpB,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,aAAa;YACzB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;SAC1D,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,GAAG,CAAC;YACjB,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,QAAQ;YACpB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;SAC7C,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,aAAa,CAAC,CAAC;QACnF,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,IAAI,GAAG,GAAG,CAAC;YACf,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,MAAM;YAClB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;SACrC,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,GAAG,CAAC;YACpB,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,QAAQ;YACpB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;SACxD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,GAAG,CAAC;YACjB,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,QAAQ;YACpB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;SACxC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,CAC3C,OAAO,EACP,OAAO,EACP,EAAE,EACF,sBAAsB,CAAC,SAAS,CACjC,CAAC;QACF,8DAA8D;QAC9D,mBAAmB;QACnB,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;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,IAAI,GAAG,GAAG,CAAC;YACf,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,MAAM;YAClB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;SACrC,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,GAAG,CAAC;YACpB,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,QAAQ;YACpB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;SACxD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,GAAG,CAAC;YACjB,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,QAAQ;YACpB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;SACxC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QACpE,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;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,kEAAkE;QAClE,2BAA2B;QAC3B,MAAM,IAAI,GAAG,GAAG,CAAC;YACf,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,MAAM;YAClB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;SACpC,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,GAAG,CAAC;YACpB,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,UAAU;YACtB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;SACxD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,GAAG,CAAC;YACjB,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,QAAQ;YACpB,GAAG,gBAAgB;YACnB,KAAK,EAAE,CAAC,EAAE,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;SAC1C,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,CAC3C,OAAO,EACP,OAAO,EACP,EAAE,EACF,EAAE,oBAAoB,EAAE,EAAE,EAAE,CAC7B,CAAC;QACF,qEAAqE;QACrE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,QAAQ;YACpB,KAAK,EAAE,CAAC,IAAI,CAAC,0BAA0B,CAAC,EAAE,IAAI,CAAC,4BAA4B,CAAC,CAAC;SAC9E,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,CAAC,CAAC;QACvF,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,SAAS;YACrB,KAAK,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;SACvB,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,CAAC,CAAC;QACvF,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,QAAQ;YACpB,KAAK,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;SACxD,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,aAAa,CAAC,CAAC;QACrF,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,SAAS;YACrB,KAAK,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;SACvC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,aAAa,CAAC,CAAC;QACrF,qDAAqD;QACrD,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,MAAM;YAClB,KAAK,EAAE,CAAC,IAAI,CAAC,yBAAyB,CAAC,EAAE,IAAI,CAAC,6BAA6B,CAAC,CAAC;SAC9E,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,gEAAgE;QAChE,kEAAkE;QAClE,kEAAkE;QAClE,kDAAkD;QAClD,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,UAAU;YACtB,KAAK,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;SACvC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,CAAC,GAAG,GAAG,CAAC;YACZ,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,QAAQ;YACpB,KAAK,EAAE,CAAC,IAAI,CAAC,yBAAyB,CAAC,EAAE,IAAI,CAAC,0BAA0B,CAAC,CAAC;SAC3E,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,CAC7C,OAAO,EACP,OAAO,EACP,EAAE,EACF,sBAAsB,CAAC,SAAS,CACjC,CAAC;QACF,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/tool-register.test.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Integration tests for graph's command surface against the real TypeScript
+ * adapter.
+ *
+ * Since release 2.11.0 Phase 5 graph mounts via declarative `commandSpecs`, not
+ * the deprecated `register()` hook. The Commander parsing layer (flag wiring,
+ * `_args` positionals, choices/required enforcement) is unit-covered in
+ * `cli/src/__tests__/mount-command-spec.test.ts`; here we drive the primary
+ * `graph` spec's handler directly (exactly what the host invokes post-parse)
+ * with the real typescript adapter registered, so the executeGraph / renderLive
+ * pipeline runs end-to-end. Positionals ride on the parsed-opts object under the
+ * `_args` key (the host convention); graph's sole variadic `[paths...]` is
+ * `_args[0]`.
+ */
+export {};
+//# sourceMappingURL=tool-register.test.d.ts.map

package/dist/__tests__/tool-register.test.d.ts.map

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

package/dist/__tests__/tool-register.test.js

@@ -0,0 +1,210 @@
+/**
+ * Integration tests for graph's command surface against the real TypeScript
+ * adapter.
+ *
+ * Since release 2.11.0 Phase 5 graph mounts via declarative `commandSpecs`, not
+ * the deprecated `register()` hook. The Commander parsing layer (flag wiring,
+ * `_args` positionals, choices/required enforcement) is unit-covered in
+ * `cli/src/__tests__/mount-command-spec.test.ts`; here we drive the primary
+ * `graph` spec's handler directly (exactly what the host invokes post-parse)
+ * with the real typescript adapter registered, so the executeGraph / renderLive
+ * pipeline runs end-to-end. Positionals ride on the parsed-opts object under the
+ * `_args` key (the host convention); graph's sole variadic `[paths...]` is
+ * `_args[0]`.
+ */
+import { mkdirSync, mkdtempSync, rmSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { enterScope, RunScope } from '@opensip-cli/core';
+import { currentAdapterRegistry, graphTool } from '@opensip-cli/graph';
+import { beforeEach, describe, expect, it, vi } from 'vitest';
+import { typescriptGraphAdapter } from '../index.js';
+/** Resolve a graph command-spec by name (the host mounts these). */
+function graphSpec(name) {
+    const spec = (graphTool.commandSpecs ?? []).find((s) => s.name === name);
+    if (spec === undefined)
+        throw new Error(`graphTool exposes no command spec '${name}'`);
+    return spec;
+}
+/** The primary `graph` command handler (host invokes `handler(opts, ctx)`). */
+function graphHandler() {
+    return graphSpec('graph').handler;
+}
+beforeEach(() => {
+    // Item 1: graph registries are per-RunScope. Construct a scope with the graph
+    // subscope and register the typescript adapter into it so the handler reaches
+    // pickAdapter() through a live scope.
+    const scope = new RunScope();
+    Object.assign(scope, graphTool.contributeScope?.() ?? {});
+    enterScope(scope);
+    currentAdapterRegistry().register(typescriptGraphAdapter);
+});
+function makeCli(overrides = {}) {
+    const project = {
+        cwd: '/test',
+        cwdExplicit: false,
+        projectRoot: '/test',
+        configPath: undefined,
+        walkedUp: 0,
+        scope: 'none',
+    };
+    return {
+        scope: new RunScope({ projectContext: project }),
+        render: vi.fn(() => Promise.resolve()),
+        registerLiveView: vi.fn(),
+        renderLive: vi.fn(() => Promise.resolve()),
+        maybeOpenReport: vi.fn(() => Promise.resolve()),
+        logger: { info: vi.fn(), warn: vi.fn(), error: vi.fn(), debug: vi.fn() },
+        setExitCode: vi.fn(),
+        emitJson: vi.fn(),
+        emitRaw: vi.fn(),
+        emitEnvelope: vi.fn(),
+        emitError: vi.fn(),
+        deliverSignals: vi.fn(() => Promise.resolve({ cloudAccepted: 0 })),
+        writeSarif: vi.fn(() => Promise.resolve()),
+        saveBaseline: vi.fn(() => Promise.resolve()),
+        compareBaseline: vi.fn(() => Promise.resolve({ added: [], resolved: [], unchanged: [], degraded: false })),
+        exportBaselineSarif: vi.fn(() => Promise.resolve()),
+        exportBaselineFingerprints: vi.fn(() => Promise.resolve()),
+        toolState: {
+            get: () => Promise.resolve(undefined),
+            put: () => Promise.resolve(),
+            delete: () => Promise.resolve(),
+            list: () => Promise.resolve([]),
+        },
+        runSession: {
+            timing: {
+                startedAt: new Date().toISOString(),
+                startedAtEpochMs: Date.now(),
+                elapsedMs: () => 0,
+                snapshot: () => ({
+                    startedAt: new Date().toISOString(),
+                    completedAt: new Date().toISOString(),
+                    durationMs: 0,
+                }),
+                complete: () => ({
+                    startedAt: new Date().toISOString(),
+                    completedAt: new Date().toISOString(),
+                    durationMs: 0,
+                }),
+            },
+        },
+        ...overrides,
+    };
+}
+describe('graph command spec', () => {
+    it('declares a `graph` command described as static call-graph analysis', () => {
+        const spec = graphSpec('graph');
+        expect(spec.name).toBe('graph');
+        expect(spec.description).toContain('static call-graph');
+        // The handler owns its full output surface (TTY-vs-static + egress).
+        expect(spec.output).toBe('raw-stream');
+    });
+    it('declares the documented option set on the graph command', () => {
+        const spec = graphSpec('graph');
+        // Common flags from the ADR-0021 registry (the CommonFlagKey form).
+        expect([...spec.commonFlags]).toEqual(expect.arrayContaining(['cwd', 'json', 'reportTo', 'debug']));
+        // Tool-specific options.
+        const optionFlags = (spec.options ?? []).map((o) => o.flag);
+        expect(optionFlags).toContain('--no-cache');
+        expect(optionFlags).toContain('--gate-save');
+        expect(optionFlags).toContain('--gate-compare');
+        // --baseline was removed (audit P1.2): it was mounted + documented but had
+        // zero readers. Guard against re-adding a vestigial no-op flag.
+        expect(optionFlags).not.toContain('--baseline');
+    });
+    it('--concurrency parses as a number via the declared parse reducer', () => {
+        const spec = graphSpec('graph');
+        const concurrency = (spec.options ?? []).find((o) => o.flag === '--concurrency');
+        expect(concurrency?.parse).toBeTypeOf('function');
+        expect(concurrency?.parse?.('4', undefined)).toBe(4);
+    });
+});
+describe('graph handler — end-to-end via the real typescript adapter', () => {
+    it('runs --json against a real fixture and exits with code 0', async () => {
+        const dir = mkdtempSync(join(tmpdir(), 'graph-tool-action-'));
+        try {
+            mkdirSync(dir, { recursive: true });
+            writeFileSync(join(dir, 'tsconfig.json'), JSON.stringify({
+                compilerOptions: {
+                    target: 'ES2022',
+                    module: 'Node16',
+                    moduleResolution: 'Node16',
+                    strict: true,
+                    esModuleInterop: true,
+                    skipLibCheck: true,
+                    rootDir: '.',
+                },
+                include: ['**/*.ts'],
+            }), 'utf8');
+            writeFileSync(join(dir, 'index.ts'), `export function x(): number { return 1; }\n`, 'utf8');
+            // Capture stdout so we don't pollute test output.
+            let stdout = '';
+            const stdoutSpy = vi.spyOn(process.stdout, 'write').mockImplementation((chunk) => {
+                stdout += typeof chunk === 'string' ? chunk : String(chunk);
+                return true;
+            });
+            const setExitCode = vi.fn();
+            const cli = makeCli({
+                setExitCode,
+                // Mirror the composition root's `emitEnvelope` seam (JSON to stdout).
+                emitError: vi.fn(),
+                emitEnvelope: vi.fn((envelope) => {
+                    process.stdout.write(`${JSON.stringify(envelope)}\n`);
+                }),
+            });
+            try {
+                // With a positional path, the heap preflight is skipped — important
+                // because preflight could re-exec the test process. The variadic
+                // positional rides on `_args[0]`.
+                await graphHandler()({ cwd: dir, json: true, _args: [[dir]] }, cli);
+            }
+            finally {
+                stdoutSpy.mockRestore();
+            }
+            const parsed = JSON.parse(stdout);
+            expect(parsed.tool).toBe('graph');
+            expect(parsed.schemaVersion).toBe(2);
+            expect(setExitCode).toHaveBeenCalledWith(0);
+        }
+        finally {
+            rmSync(dir, { recursive: true, force: true });
+        }
+    });
+    it('interactive --exact path delegates to cli.renderLive', async () => {
+        // The Ink live view drives the EXACT engine, so it is eligible only under
+        // `--exact` on a TTY (ADR-0032: sharded is the default and routes to the
+        // static path). The fixture is tiny so heap preflight no-ops (file count
+        // < 1000).
+        const dir = mkdtempSync(join(tmpdir(), 'graph-tool-action-live-'));
+        try {
+            mkdirSync(dir, { recursive: true });
+            writeFileSync(join(dir, 'tsconfig.json'), JSON.stringify({
+                compilerOptions: { target: 'ES2022', module: 'Node16' },
+                include: ['**/*.ts'],
+            }), 'utf8');
+            writeFileSync(join(dir, 'index.ts'), 'export function x(): number { return 1; }\n', 'utf8');
+            const renderLive = vi.fn(() => Promise.resolve());
+            const cli = makeCli({ renderLive });
+            // --exact (the live view drives the exact engine), no
+            // --json/--gate-*/--report-to/positional: this is the interactive live
+            // path, which delegates to renderLive — but only on a TTY (a non-TTY run
+            // falls back to the static render seam). vitest's stdout is not a TTY, so
+            // force it for this assertion.
+            const prevTTY = process.stdout.isTTY;
+            Object.defineProperty(process.stdout, 'isTTY', { value: true, configurable: true });
+            try {
+                await graphHandler()({ cwd: dir, exact: true, _args: [[]] }, cli);
+            }
+            finally {
+                Object.defineProperty(process.stdout, 'isTTY', { value: prevTTY, configurable: true });
+            }
+            expect(renderLive).toHaveBeenCalledOnce();
+            expect(renderLive).toHaveBeenCalledWith('graph', expect.objectContaining({ cwd: dir }));
+        }
+        finally {
+            rmSync(dir, { recursive: true, force: true });
+        }
+    });
+});
+//# sourceMappingURL=tool-register.test.js.map

package/dist/__tests__/tool-register.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool-register.test.js","sourceRoot":"","sources":["../../src/__tests__/tool-register.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,sBAAsB,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACvE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9D,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAIrD,oEAAoE;AACpE,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACzE,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,IAAI,GAAG,CAAC,CAAC;IACvF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+EAA+E;AAC/E,SAAS,YAAY;IACnB,OAAO,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC;AACpC,CAAC;AAED,UAAU,CAAC,GAAG,EAAE;IACd,8EAA8E;IAC9E,8EAA8E;IAC9E,sCAAsC;IACtC,MAAM,KAAK,GAAG,IAAI,QAAQ,EAAE,CAAC;IAC7B,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1D,UAAU,CAAC,KAAK,CAAC,CAAC;IAClB,sBAAsB,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC;AAC5D,CAAC,CAAC,CAAC;AAEH,SAAS,OAAO,CAAC,YAAqC,EAAE;IACtD,MAAM,OAAO,GAAG;QACd,GAAG,EAAE,OAAO;QACZ,WAAW,EAAE,KAAK;QAClB,WAAW,EAAE,OAAO;QACpB,UAAU,EAAE,SAAS;QACrB,QAAQ,EAAE,CAAC;QACX,KAAK,EAAE,MAAe;KACvB,CAAC;IACF,OAAO;QACL,KAAK,EAAE,IAAI,QAAQ,CAAC,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC;QAChD,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QACtC,gBAAgB,EAAE,EAAE,CAAC,EAAE,EAAE;QACzB,UAAU,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1C,eAAe,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC/C,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE;QACxE,WAAW,EAAE,EAAE,CAAC,EAAE,EAAE;QACpB,QAAQ,EAAE,EAAE,CAAC,EAAE,EAAE;QACjB,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE;QAChB,YAAY,EAAE,EAAE,CAAC,EAAE,EAAE;QACrB,SAAS,EAAE,EAAE,CAAC,EAAE,EAAE;QAClB,cAAc,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;QAClE,UAAU,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1C,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC5C,eAAe,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAC1B,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAC7E;QACD,mBAAmB,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QACnD,0BAA0B,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1D,SAAS,EAAE;YACT,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC;YACrC,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE;YAC5B,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE;YAC/B,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;SAChC;QACD,UAAU,EAAE;YACV,MAAM,EAAE;gBACN,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACnC,gBAAgB,EAAE,IAAI,CAAC,GAAG,EAAE;gBAC5B,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;gBAClB,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;oBACf,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;oBACnC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;oBACrC,UAAU,EAAE,CAAC;iBACd,CAAC;gBACF,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;oBACf,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;oBACnC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;oBACrC,UAAU,EAAE,CAAC;iBACd,CAAC;aACH;SACF;QACD,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QACxD,qEAAqE;QACrE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;QAChC,oEAAoE;QACpE,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CACnC,MAAM,CAAC,eAAe,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAC7D,CAAC;QACF,yBAAyB;QACzB,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAC5C,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC7C,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAChD,2EAA2E;QAC3E,gEAAgE;QAChE,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;QACjF,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAClD,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,EAAE,CAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;QACxE,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;QAC9D,IAAI,CAAC;YACH,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACpC,aAAa,CACX,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,EAC1B,IAAI,CAAC,SAAS,CAAC;gBACb,eAAe,EAAE;oBACf,MAAM,EAAE,QAAQ;oBAChB,MAAM,EAAE,QAAQ;oBAChB,gBAAgB,EAAE,QAAQ;oBAC1B,MAAM,EAAE,IAAI;oBACZ,eAAe,EAAE,IAAI;oBACrB,YAAY,EAAE,IAAI;oBAClB,OAAO,EAAE,GAAG;iBACb;gBACD,OAAO,EAAE,CAAC,SAAS,CAAC;aACrB,CAAC,EACF,MAAM,CACP,CAAC;YACF,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,6CAA6C,EAAE,MAAM,CAAC,CAAC;YAE5F,kDAAkD;YAClD,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,kBAAkB,CAAC,CAAC,KAAc,EAAE,EAAE;gBACxF,MAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC5D,OAAO,IAAI,CAAC;YACd,CAAC,CAAC,CAAC;YACH,MAAM,WAAW,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,OAAO,CAAC;gBAClB,WAAW;gBACX,sEAAsE;gBACtE,SAAS,EAAE,EAAE,CAAC,EAAE,EAAE;gBAClB,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,QAAiB,EAAE,EAAE;oBACxC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACxD,CAAC,CAAC;aACH,CAAC,CAAC;YACH,IAAI,CAAC;gBACH,oEAAoE;gBACpE,iEAAiE;gBACjE,kCAAkC;gBAClC,MAAM,YAAY,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACtE,CAAC;oBAAS,CAAC;gBACT,SAAS,CAAC,WAAW,EAAE,CAAC;YAC1B,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAA4C,CAAC;YAC7E,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAClC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,CAAC,WAAW,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACpE,0EAA0E;QAC1E,yEAAyE;QACzE,yEAAyE;QACzE,WAAW;QACX,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,yBAAyB,CAAC,CAAC,CAAC;QACnE,IAAI,CAAC;YACH,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACpC,aAAa,CACX,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,EAC1B,IAAI,CAAC,SAAS,CAAC;gBACb,eAAe,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE;gBACvD,OAAO,EAAE,CAAC,SAAS,CAAC;aACrB,CAAC,EACF,MAAM,CACP,CAAC;YACF,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,6CAA6C,EAAE,MAAM,CAAC,CAAC;YAE5F,MAAM,UAAU,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;YAClD,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC;YACpC,sDAAsD;YACtD,uEAAuE;YACvE,yEAAyE;YACzE,0EAA0E;YAC1E,+BAA+B;YAC/B,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC;YACrC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;YACpF,IAAI,CAAC;gBACH,MAAM,YAAY,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACpE,CAAC;oBAAS,CAAC;gBACT,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;YACzF,CAAC;YACD,MAAM,CAAC,UAAU,CAAC,CAAC,oBAAoB,EAAE,CAAC;YAC1C,MAAM,CAAC,UAAU,CAAC,CAAC,oBAAoB,CAAC,OAAO,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1F,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/value-reference-unit.test.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Unit tests for the value-reference predicates + resolvers
+ * (edges-value-reference.ts).
+ *
+ * `isValueReference` is a pure AST predicate: an Identifier is a value
+ * reference unless it is a structural name (declaration/property/type/
+ * import/export name) or a call/new/JSX target. These tests craft each
+ * structural and call-target shape so every short-circuit branch is
+ * exercised. `resolveValueReference` is then driven against a real
+ * program for the no-symbol and class-constructor declaration branches.
+ */
+export {};
+//# sourceMappingURL=value-reference-unit.test.d.ts.map

package/dist/__tests__/value-reference-unit.test.d.ts.map

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