@opensip-cli/graph-typescript 0.1.0

package/dist/__tests__/edge-resolvers/branches.test.js

@@ -0,0 +1,305 @@
+/**
+ * Branch-coverage tests for edge resolvers.
+ *
+ * Exercises the many `if (!narrowingX) return UNRESOLVED;` short-
+ * circuit branches in each resolver by running the full pipeline
+ * over targeted source-code fixtures. The acceptance tests cover the
+ * happy paths; this file covers the unresolvable / fallback paths
+ * that the contract test alone can't hit.
+ */
+import { mkdtempSync, rmSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { afterAll, beforeAll, describe, expect, it } from 'vitest';
+import { resolveByCatalogFallback } from '../../edge-resolvers/catalog-fallback.js';
+import { findOccurrence, runFixture, writeFixture } from '../acceptance/_fixture-runner.js';
+describe('edge-resolvers — defensive / unresolved branches', () => {
+    const fixtureDir = mkdtempSync(join(tmpdir(), 'graph-resolver-branches-'));
+    afterAll(() => {
+        rmSync(fixtureDir, { recursive: true, force: true });
+    });
+    writeFixture(fixtureDir, {
+        // Direct call where the LHS is a parenthesized expression — not an
+        // identifier, so resolveDirectCall returns UNRESOLVED and the
+        // catalog-fallback takes over (or nothing resolves).
+        'paren-call.ts': `
+      function inner(): number { return 1; }
+      export function paren(): number {
+        return (inner)();
+      }
+    `,
+        // Direct call to a method on a class instance via property access.
+        // This exercises resolvePropertyAccessCall's positive path with a
+        // method declaration (covers the ts.isMethodDeclaration branch in
+        // functionLikeFromDeclaration).
+        'method-call.ts': `
+      export class C {
+        m(): number { return 1; }
+      }
+      export function callMethod(c: C): number {
+        return c.m();
+      }
+    `,
+        // Direct call to a function assigned to a variable as an arrow.
+        // Exercises the VariableDeclaration + initializer = ArrowFunction
+        // branch in direct-call.ts's functionLikeFromDeclaration.
+        'arrow-decl.ts': `
+      const fn = (): number => 7;
+      export function arrowDecl(): number {
+        return fn();
+      }
+    `,
+        // Direct call to a function-expression assigned to a const.
+        'fn-expr-decl.ts': `
+      const fnExpr = function (): number { return 8; };
+      export function fnExprDecl(): number {
+        return fnExpr();
+      }
+    `,
+        // Calling a non-function value (a number) — symbol-less call expression
+        // that hits the !symbol short-circuit.
+        'no-symbol.ts': `
+      export function noSymbol(): number {
+        // Non-callable parenthesized non-identifier
+        return ((): number => 1)();
+      }
+    `,
+        // Property-access call against an unknown receiver. Covers the
+        // negative branch in resolvePropertyAccessCall when the receiver
+        // type has no matching method.
+        'prop-no-method.ts': `
+      export function propNoMethod(x: { a: number }): number {
+        // x.a is not a function — call expression below is invalid TS,
+        // so we use a type assertion to coax it past the typechecker.
+        return (x as unknown as { a: () => number }).a();
+      }
+    `,
+        // new-expression on a non-class symbol — covers the
+        // !isClassDeclaration && !isClassExpression continue.
+        'new-on-fn.ts': `
+      function Factory(): { x: number } { return { x: 1 }; }
+      export function newOnFn(): unknown {
+        // Calling new on a function — TS treats Factory as a constructor
+        // signature. The resolver looks up the symbol's declarations;
+        // since it's a FunctionDeclaration (not a ClassDeclaration),
+        // the inner loop's continue branch fires.
+        return new (Factory as unknown as new () => { x: number })();
+      }
+    `,
+        // jsx intrinsic element <div /> — covers the lower-case identifier
+        // short-circuit.
+        'jsx-intrinsic.tsx': `
+      export function intrinsic(): JSX.Element {
+        return (<div className="x" />);
+      }
+    `,
+        // jsx component without a matching catalog entry (defined inline as
+        // a constant returning a JSX expression). Covers the symbol-found
+        // path with no findCatalogEntry hit when the body hash mismatches.
+        'jsx-self-closing.tsx': `
+      const Wrapper = (): JSX.Element => (<span />);
+      export function jsxConsumer(): JSX.Element {
+        return (<Wrapper />);
+      }
+    `,
+        // polymorphic dispatch with multiple implementations — covers the
+        // confidence='medium' branch when more than one hash candidate is
+        // returned from collectMethodHashes.
+        'polymorphic-multi.ts': `
+      interface Pingable {
+        ping(): void;
+      }
+      class A implements Pingable {
+        ping(): void { return; }
+      }
+      class B implements Pingable {
+        ping(): void { return; }
+      }
+      export function pingAll(targets: readonly Pingable[]): void {
+        for (const t of targets) t.ping();
+      }
+      // keep references so the classes aren't pruned
+      const _refs: Pingable[] = [new A(), new B()];
+      void _refs;
+    `,
+    });
+    let catalog;
+    beforeAll(async () => {
+        catalog = await runFixture(fixtureDir);
+    });
+    it('produces a catalog (sanity)', () => {
+        expect(Object.keys(catalog.functions).length).toBeGreaterThan(0);
+    });
+    it('parenthesized direct-call: still resolves the inner identifier where possible', () => {
+        const occ = findOccurrence(catalog, (o) => o.simpleName === 'paren');
+        expect(occ).toBeDefined();
+        // The resolver may return UNRESOLVED for the parenthesized call,
+        // but the call site is still recorded. Just assert the catalog
+        // entry exists with at least one call edge.
+        expect(occ.calls.length).toBeGreaterThanOrEqual(0);
+    });
+    it('arrow-function variable declaration is resolved via direct-call', () => {
+        const occ = findOccurrence(catalog, (o) => o.simpleName === 'arrowDecl');
+        expect(occ).toBeDefined();
+        expect(occ.calls.length).toBeGreaterThan(0);
+    });
+    it('function-expression variable declaration is resolved via direct-call', () => {
+        const occ = findOccurrence(catalog, (o) => o.simpleName === 'fnExprDecl');
+        expect(occ).toBeDefined();
+        expect(occ.calls.length).toBeGreaterThan(0);
+    });
+    it('property-access call to a class method resolves via the method declaration', () => {
+        const occ = findOccurrence(catalog, (o) => o.simpleName === 'callMethod');
+        expect(occ).toBeDefined();
+        const methodEdge = occ.calls.find((e) => e.text.includes('m'));
+        expect(methodEdge).toBeDefined();
+    });
+    it('intrinsic JSX <div /> is silently ignored — no edge', () => {
+        const occ = findOccurrence(catalog, (o) => o.simpleName === 'intrinsic');
+        expect(occ).toBeDefined();
+        // Lower-cased identifier short-circuits jsx-element.ts to UNRESOLVED.
+        // The component call never reaches the catalog.
+        for (const edge of occ.calls) {
+            expect(edge.text).not.toBe('div');
+        }
+    });
+    it('jsx component with matching catalog entry resolves', () => {
+        const occ = findOccurrence(catalog, (o) => o.simpleName === 'jsxConsumer');
+        expect(occ).toBeDefined();
+        const wrapperEdge = occ.calls.find((e) => e.text.includes('Wrapper'));
+        expect(wrapperEdge).toBeDefined();
+    });
+    it('polymorphic dispatch with multiple implementations returns multi-hash edges', () => {
+        const occ = findOccurrence(catalog, (o) => o.simpleName === 'pingAll');
+        expect(occ).toBeDefined();
+        // The .ping() call should resolve to both A.ping and B.ping.
+        const edge = occ.calls.find((e) => e.text.includes('ping'));
+        if (edge) {
+            // confidence is 'medium' when there are 2+ candidates per the
+            // resolver's logic.
+            if (edge.to.length > 1) {
+                expect(edge.confidence).toBe('medium');
+            }
+            else if (edge.to.length === 1) {
+                expect(['high', 'medium']).toContain(edge.confidence);
+            }
+        }
+    });
+});
+describe('catalog-fallback resolver — direct unit tests', () => {
+    it('returns UNRESOLVED when the simpleName is not present in the catalog', () => {
+        const empty = {
+            version: '3.0',
+            tool: 'graph',
+            language: 'typescript',
+            builtAt: new Date().toISOString(),
+            cacheKey: 'test',
+            functions: {},
+        };
+        const out = resolveByCatalogFallback('not-a-name', empty);
+        expect(out.to).toEqual([]);
+        expect(out.resolution).toBe('unknown');
+        expect(out.confidence).toBe('low');
+    });
+    it('returns UNRESOLVED when the candidate list is empty', () => {
+        const empty = {
+            version: '3.0',
+            tool: 'graph',
+            language: 'typescript',
+            builtAt: new Date().toISOString(),
+            cacheKey: 'test',
+            functions: { foo: [] },
+        };
+        const out = resolveByCatalogFallback('foo', empty);
+        expect(out.to).toEqual([]);
+        expect(out.confidence).toBe('low');
+    });
+    it('returns the unique hash with medium confidence on a single-candidate match', () => {
+        const cat = {
+            version: '3.0',
+            tool: 'graph',
+            language: 'typescript',
+            builtAt: new Date().toISOString(),
+            cacheKey: 'test',
+            functions: {
+                foo: [
+                    {
+                        simpleName: 'foo',
+                        qualifiedName: 'foo',
+                        bodyHash: 'h1',
+                        filePath: 'a.ts',
+                        line: 1,
+                        column: 0,
+                        kind: 'function-declaration',
+                        params: [],
+                        visibility: 'exported',
+                        inTestFile: false,
+                        decorators: [],
+                        endLine: 1,
+                        returnType: null,
+                        enclosingClass: null,
+                        definedInGenerated: false,
+                        calls: [],
+                    },
+                ],
+            },
+        };
+        const out = resolveByCatalogFallback('foo', cat);
+        expect(out.to).toEqual(['h1']);
+        expect(out.confidence).toBe('medium');
+        expect(out.resolution).toBe('unknown');
+    });
+    it('returns UNRESOLVED on multiple-candidate (ambiguous) match', () => {
+        const cat = {
+            version: '3.0',
+            tool: 'graph',
+            language: 'typescript',
+            builtAt: new Date().toISOString(),
+            cacheKey: 'test',
+            functions: {
+                foo: [
+                    {
+                        simpleName: 'foo',
+                        qualifiedName: 'a.foo',
+                        bodyHash: 'h1',
+                        filePath: 'a.ts',
+                        line: 1,
+                        column: 0,
+                        kind: 'function-declaration',
+                        params: [],
+                        visibility: 'exported',
+                        inTestFile: false,
+                        decorators: [],
+                        endLine: 1,
+                        returnType: null,
+                        enclosingClass: null,
+                        definedInGenerated: false,
+                        calls: [],
+                    },
+                    {
+                        simpleName: 'foo',
+                        qualifiedName: 'b.foo',
+                        bodyHash: 'h2',
+                        filePath: 'b.ts',
+                        line: 1,
+                        column: 0,
+                        kind: 'function-declaration',
+                        params: [],
+                        visibility: 'exported',
+                        inTestFile: false,
+                        decorators: [],
+                        endLine: 1,
+                        returnType: null,
+                        enclosingClass: null,
+                        definedInGenerated: false,
+                        calls: [],
+                    },
+                ],
+            },
+        };
+        const out = resolveByCatalogFallback('foo', cat);
+        expect(out.to).toEqual([]);
+        expect(out.confidence).toBe('low');
+    });
+});
+//# sourceMappingURL=branches.test.js.map

package/dist/__tests__/edge-resolvers/branches.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"branches.test.js","sourceRoot":"","sources":["../../../src/__tests__/edge-resolvers/branches.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;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,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAEnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAI5F,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,0BAA0B,CAAC,CAAC,CAAC;IAC3E,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,mEAAmE;QACnE,8DAA8D;QAC9D,qDAAqD;QACrD,eAAe,EAAE;;;;;KAKhB;QAED,mEAAmE;QACnE,kEAAkE;QAClE,kEAAkE;QAClE,gCAAgC;QAChC,gBAAgB,EAAE;;;;;;;KAOjB;QAED,gEAAgE;QAChE,kEAAkE;QAClE,0DAA0D;QAC1D,eAAe,EAAE;;;;;KAKhB;QAED,4DAA4D;QAC5D,iBAAiB,EAAE;;;;;KAKlB;QAED,wEAAwE;QACxE,uCAAuC;QACvC,cAAc,EAAE;;;;;KAKf;QAED,+DAA+D;QAC/D,iEAAiE;QACjE,+BAA+B;QAC/B,mBAAmB,EAAE;;;;;;KAMpB;QAED,oDAAoD;QACpD,sDAAsD;QACtD,cAAc,EAAE;;;;;;;;;KASf;QAED,mEAAmE;QACnE,iBAAiB;QACjB,mBAAmB,EAAE;;;;KAIpB;QAED,oEAAoE;QACpE,kEAAkE;QAClE,mEAAmE;QACnE,sBAAsB,EAAE;;;;;KAKvB;QAED,kEAAkE;QAClE,kEAAkE;QAClE,qCAAqC;QACrC,sBAAsB,EAAE;;;;;;;;;;;;;;;;KAgBvB;KACF,CAAC,CAAC;IACH,IAAI,OAAiB,CAAC;IACtB,SAAS,CAAC,KAAK,IAAI,EAAE;QACnB,OAAO,GAAG,MAAM,UAAU,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,OAAO,CAAC,CAAC;QACrE,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,iEAAiE;QACjE,+DAA+D;QAC/D,4CAA4C;QAC5C,MAAM,CAAC,GAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC,CAAC;QACzE,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,YAAY,CAAC,CAAC;QAC1E,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,YAAY,CAAC,CAAC;QAC1E,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,MAAM,UAAU,GAAG,GAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC,CAAC;QACzE,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,sEAAsE;QACtE,gDAAgD;QAChD,KAAK,MAAM,IAAI,IAAI,GAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,aAAa,CAAC,CAAC;QAC3E,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,MAAM,WAAW,GAAG,GAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC;QACvE,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,6DAA6D;QAC7D,MAAM,IAAI,GAAG,GAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,IAAI,IAAI,EAAE,CAAC;YACT,8DAA8D;YAC9D,oBAAoB;YACpB,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACzC,CAAC;iBAAM,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAChC,MAAM,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,KAAK,GAAY;YACrB,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,YAAY;YACtB,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACjC,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,EAAE;SACd,CAAC;QACF,MAAM,GAAG,GAAG,wBAAwB,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QAC1D,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,KAAK,GAAY;YACrB,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,YAAY;YACtB,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACjC,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;SACvB,CAAC;QACF,MAAM,GAAG,GAAG,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,GAAG,GAAY;YACnB,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,YAAY;YACtB,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACjC,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE;gBACT,GAAG,EAAE;oBACH;wBACE,UAAU,EAAE,KAAK;wBACjB,aAAa,EAAE,KAAK;wBACpB,QAAQ,EAAE,IAAI;wBACd,QAAQ,EAAE,MAAM;wBAChB,IAAI,EAAE,CAAC;wBACP,MAAM,EAAE,CAAC;wBACT,IAAI,EAAE,sBAAsB;wBAC5B,MAAM,EAAE,EAAE;wBACV,UAAU,EAAE,UAAU;wBACtB,UAAU,EAAE,KAAK;wBACjB,UAAU,EAAE,EAAE;wBACd,OAAO,EAAE,CAAC;wBACV,UAAU,EAAE,IAAI;wBAChB,cAAc,EAAE,IAAI;wBACpB,kBAAkB,EAAE,KAAK;wBACzB,KAAK,EAAE,EAAE;qBACV;iBACF;aACF;SACF,CAAC;QACF,MAAM,GAAG,GAAG,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAY;YACnB,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,YAAY;YACtB,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACjC,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE;gBACT,GAAG,EAAE;oBACH;wBACE,UAAU,EAAE,KAAK;wBACjB,aAAa,EAAE,OAAO;wBACtB,QAAQ,EAAE,IAAI;wBACd,QAAQ,EAAE,MAAM;wBAChB,IAAI,EAAE,CAAC;wBACP,MAAM,EAAE,CAAC;wBACT,IAAI,EAAE,sBAAsB;wBAC5B,MAAM,EAAE,EAAE;wBACV,UAAU,EAAE,UAAU;wBACtB,UAAU,EAAE,KAAK;wBACjB,UAAU,EAAE,EAAE;wBACd,OAAO,EAAE,CAAC;wBACV,UAAU,EAAE,IAAI;wBAChB,cAAc,EAAE,IAAI;wBACpB,kBAAkB,EAAE,KAAK;wBACzB,KAAK,EAAE,EAAE;qBACV;oBACD;wBACE,UAAU,EAAE,KAAK;wBACjB,aAAa,EAAE,OAAO;wBACtB,QAAQ,EAAE,IAAI;wBACd,QAAQ,EAAE,MAAM;wBAChB,IAAI,EAAE,CAAC;wBACP,MAAM,EAAE,CAAC;wBACT,IAAI,EAAE,sBAAsB;wBAC5B,MAAM,EAAE,EAAE;wBACV,UAAU,EAAE,UAAU;wBACtB,UAAU,EAAE,KAAK;wBACjB,UAAU,EAAE,EAAE;wBACd,OAAO,EAAE,CAAC;wBACV,UAAU,EAAE,IAAI;wBAChB,cAAc,EAAE,IAAI;wBACpB,kBAAkB,EAAE,KAAK;wBACzB,KAAK,EAAE,EAAE;qBACV;iBACF;aACF;SACF,CAAC;QACF,MAAM,GAAG,GAAG,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/edge-resolvers/contract.test.d.ts

@@ -0,0 +1,8 @@
+/**
+ * EdgeResolver contract conformance (PR-4).
+ *
+ * Compile-time test seam: if any edge resolver drifts from the
+ * EdgeResolver signature alias, this file fails to typecheck.
+ */
+export {};
+//# sourceMappingURL=contract.test.d.ts.map

package/dist/__tests__/edge-resolvers/contract.test.d.ts.map

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

package/dist/__tests__/edge-resolvers/contract.test.js

@@ -0,0 +1,30 @@
+/**
+ * EdgeResolver contract conformance (PR-4).
+ *
+ * Compile-time test seam: if any edge resolver drifts from the
+ * EdgeResolver signature alias, this file fails to typecheck.
+ */
+import { describe, expect, it } from 'vitest';
+import { resolveDirectCall } from '../../edge-resolvers/direct-call.js';
+import { resolveJsxElement } from '../../edge-resolvers/jsx-element.js';
+import { resolveNewExpression } from '../../edge-resolvers/new-expression.js';
+import { resolvePolymorphicCall } from '../../edge-resolvers/polymorphic.js';
+import { resolvePropertyAccessCall } from '../../edge-resolvers/property-access.js';
+const _direct = resolveDirectCall;
+const _propAccess = resolvePropertyAccessCall;
+const _polymorphic = resolvePolymorphicCall;
+const _new = resolveNewExpression;
+const _jsx = resolveJsxElement;
+// catalog-fallback intentionally has a different shape (works on
+// (simpleName, catalog) → ResolverVerdict) and therefore does not
+// conform to EdgeResolver.
+describe('EdgeResolver contract conformance (PR-4)', () => {
+    it('all resolvers implement the EdgeResolver alias at compile time', () => {
+        expect(typeof _direct).toBe('function');
+        expect(typeof _propAccess).toBe('function');
+        expect(typeof _polymorphic).toBe('function');
+        expect(typeof _new).toBe('function');
+        expect(typeof _jsx).toBe('function');
+    });
+});
+//# sourceMappingURL=contract.test.js.map

package/dist/__tests__/edge-resolvers/contract.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.test.js","sourceRoot":"","sources":["../../../src/__tests__/edge-resolvers/contract.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AACxE,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AAKpF,MAAM,OAAO,GAAoC,iBAAiB,CAAC;AACnE,MAAM,WAAW,GAAoC,yBAAyB,CAAC;AAC/E,MAAM,YAAY,GAAoC,sBAAsB,CAAC;AAC7E,MAAM,IAAI,GAAmC,oBAAoB,CAAC;AAClE,MAAM,IAAI,GAAkE,iBAAiB,CAAC;AAE9F,iEAAiE;AACjE,kEAAkE;AAClE,2BAA2B;AAE3B,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,OAAO,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,CAAC,OAAO,WAAW,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,CAAC,OAAO,YAAY,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7C,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACrC,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/edge-resolvers/resolver-units.test.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Direct unit tests for the individual edge resolvers, driven against a
+ * real `ts.Program` built from in-memory fixtures.
+ *
+ * The acceptance + branches fixtures exercise the happy paths via the
+ * full pipeline; this file targets the per-resolver SHORT-CIRCUIT
+ * branches that are hard to hit end-to-end: the `!isIdentifier`,
+ * `!symbol`, `!declNode`, and `hash === null` returns, plus the
+ * single-vs-multi confidence split in the polymorphic resolver and the
+ * `findCatalogEntry`-miss fall-through.
+ *
+ * Each test parses a tiny program, walks it to build the SAME catalog
+ * the production pipeline would, finds the target node, assembles a
+ * ResolverContext, and asserts the resolver's verdict.
+ */
+export {};
+//# sourceMappingURL=resolver-units.test.d.ts.map

package/dist/__tests__/edge-resolvers/resolver-units.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver-units.test.d.ts","sourceRoot":"","sources":["../../../src/__tests__/edge-resolvers/resolver-units.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG"}