@opensip-cli/graph-typescript 0.1.0

package/dist/__tests__/value-reference-unit.test.js

@@ -0,0 +1,226 @@
+/**
+ * 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.
+ */
+import ts from 'typescript';
+import { describe, expect, it } from 'vitest';
+import { buildCrossPackageContext } from '../edge-helpers/cross-package-context.js';
+import { buildImportSpecifierIndex } from '../edge-resolvers/syntactic.js';
+import { isValueReference, resolveValueReference } from '../edges-value-reference.js';
+/** Parse a snippet (parent pointers set) and return the source file. */
+function parse(source, name = 'm.ts') {
+    return ts.createSourceFile(name, source, ts.ScriptTarget.Latest, true);
+}
+/** Find the first identifier whose text === `text`. */
+function ident(sf, text) {
+    let found;
+    const visit = (n) => {
+        if (found)
+            return;
+        if (ts.isIdentifier(n) && n.text === text) {
+            found = n;
+            return;
+        }
+        ts.forEachChild(n, visit);
+    };
+    visit(sf);
+    if (!found)
+        throw new Error(`identifier ${text} not found`);
+    return found;
+}
+describe('isValueReference — structural-name branches', () => {
+    it('treats a variable-declaration name as structural (not a value ref)', () => {
+        const sf = parse('const myVar = 1;');
+        expect(isValueReference(ident(sf, 'myVar'))).toBe(false);
+    });
+    it('treats a property-access property name as structural', () => {
+        // In `obj.prop`, `prop` is the property name slot, not a value ref.
+        const sf = parse('declare const obj: { prop: number }; obj.prop;');
+        const refs = [];
+        const visit = (n) => {
+            if (ts.isIdentifier(n) && n.text === 'prop')
+                refs.push(n);
+            ts.forEachChild(n, visit);
+        };
+        visit(sf);
+        const propName = refs.find((id) => ts.isPropertyAccessExpression(id.parent) && id.parent.name === id);
+        expect(propName).toBeDefined();
+        expect(isValueReference(propName)).toBe(false);
+    });
+    it('treats a labeled-statement label as structural', () => {
+        const sf = parse('loopLabel: for (;;) { break loopLabel; }');
+        // The label declaration is the structural slot.
+        const labels = [];
+        const visit = (n) => {
+            if (ts.isIdentifier(n) && n.text === 'loopLabel')
+                labels.push(n);
+            ts.forEachChild(n, visit);
+        };
+        visit(sf);
+        const labelDecl = labels.find((id) => ts.isLabeledStatement(id.parent) && id.parent.label === id);
+        expect(labelDecl).toBeDefined();
+        expect(isValueReference(labelDecl)).toBe(false);
+    });
+    it('treats a type-reference name as structural', () => {
+        const sf = parse('type Alias = number; let v: Alias;');
+        // `Alias` in the annotation is a TypeReferenceNode name.
+        const aliasRefs = [];
+        const visit = (n) => {
+            if (ts.isIdentifier(n) && n.text === 'Alias')
+                aliasRefs.push(n);
+            ts.forEachChild(n, visit);
+        };
+        visit(sf);
+        const inType = aliasRefs.find((id) => ts.isTypeReferenceNode(id.parent));
+        expect(inType).toBeDefined();
+        expect(isValueReference(inType)).toBe(false);
+    });
+    it('treats an import-specifier name as structural', () => {
+        const sf = parse("import { thing } from './x.js';");
+        expect(isValueReference(ident(sf, 'thing'))).toBe(false);
+    });
+    it('classifies a bare value use (function argument) as a value reference', () => {
+        const sf = parse('declare function take(cb: unknown): void; declare const handler: unknown; take(handler);');
+        // `handler` inside `take(handler)` is a genuine value reference.
+        const refs = [];
+        const visit = (n) => {
+            if (ts.isIdentifier(n) && n.text === 'handler')
+                refs.push(n);
+            ts.forEachChild(n, visit);
+        };
+        visit(sf);
+        const argRef = refs.find((id) => ts.isCallExpression(id.parent) && id.parent.arguments.includes(id));
+        expect(argRef).toBeDefined();
+        expect(isValueReference(argRef)).toBe(true);
+    });
+});
+describe('isValueReference — call/new/JSX target branches', () => {
+    it('treats a direct call target as a call-site target (not a value ref)', () => {
+        const sf = parse('declare function fn(): void; fn();');
+        const refs = [];
+        const visit = (n) => {
+            if (ts.isIdentifier(n) && n.text === 'fn')
+                refs.push(n);
+            ts.forEachChild(n, visit);
+        };
+        visit(sf);
+        const callTarget = refs.find((id) => ts.isCallExpression(id.parent) && id.parent.expression === id);
+        expect(callTarget).toBeDefined();
+        expect(isValueReference(callTarget)).toBe(false);
+    });
+    it('treats a new-expression target as a call-site target', () => {
+        const sf = parse('declare class K {} new K();');
+        const refs = [];
+        const visit = (n) => {
+            if (ts.isIdentifier(n) && n.text === 'K')
+                refs.push(n);
+            ts.forEachChild(n, visit);
+        };
+        visit(sf);
+        const newTarget = refs.find((id) => ts.isNewExpression(id.parent) && id.parent.expression === id);
+        expect(newTarget).toBeDefined();
+        expect(isValueReference(newTarget)).toBe(false);
+    });
+    it('treats a JSX self-closing tag name as a call-site target', () => {
+        const sf = parse('const x = <Comp />;', 'v.tsx');
+        const refs = [];
+        const visit = (n) => {
+            if (ts.isIdentifier(n) && n.text === 'Comp')
+                refs.push(n);
+            ts.forEachChild(n, visit);
+        };
+        visit(sf);
+        const tag = refs.find((id) => ts.isJsxSelfClosingElement(id.parent) && id.parent.tagName === id);
+        expect(tag).toBeDefined();
+        expect(isValueReference(tag)).toBe(false);
+    });
+    it('treats a JSX opening-element tag name as a call-site target', () => {
+        const sf = parse('const x = <Comp>child</Comp>;', 'v.tsx');
+        const refs = [];
+        const visit = (n) => {
+            if (ts.isIdentifier(n) && n.text === 'Comp')
+                refs.push(n);
+            ts.forEachChild(n, visit);
+        };
+        visit(sf);
+        const tag = refs.find((id) => ts.isJsxOpeningElement(id.parent) && id.parent.tagName === id);
+        expect(tag).toBeDefined();
+        expect(isValueReference(tag)).toBe(false);
+    });
+});
+describe('resolveValueReference — symbol resolution branches', () => {
+    const PROJECT_DIR = '/proj';
+    function programCtx(source) {
+        const fileAbs = `${PROJECT_DIR}/m.ts`;
+        const options = {
+            target: ts.ScriptTarget.ES2022,
+            noLib: true,
+            skipLibCheck: true,
+        };
+        const sf = ts.createSourceFile(fileAbs, source, ts.ScriptTarget.ES2022, true);
+        const defaultHost = ts.createCompilerHost(options);
+        const host = {
+            ...defaultHost,
+            getSourceFile: (fileName) => (fileName === fileAbs ? sf : undefined),
+            fileExists: (fileName) => fileName === fileAbs,
+            readFile: (fileName) => (fileName === fileAbs ? source : undefined),
+            getDefaultLibFileName: () => 'lib.d.ts',
+            writeFile: () => {
+                // No emit in tests.
+            },
+        };
+        const program = ts.createProgram({ rootNames: [fileAbs], options, host });
+        const typeChecker = program.getTypeChecker();
+        const catalog = {
+            version: '3.0',
+            tool: 'graph',
+            language: 'typescript',
+            builtAt: 'x',
+            cacheKey: 'k',
+            functions: {},
+        };
+        const ctx = {
+            catalog,
+            program,
+            typeChecker,
+            sourceFile: sf,
+            projectDirAbs: PROJECT_DIR,
+            crossPackage: buildCrossPackageContext(catalog, PROJECT_DIR),
+            importSpecifiers: buildImportSpecifierIndex(sf),
+        };
+        // Re-read the program's copy of the source file so symbols bind.
+        const boundSf = program.getSourceFile(fileAbs);
+        let target;
+        const visit = (n) => {
+            if (ts.isIdentifier(n) && n.text === 'ref')
+                target = n;
+            ts.forEachChild(n, visit);
+        };
+        visit(boundSf);
+        return { node: target, ctx: { ...ctx, sourceFile: boundSf } };
+    }
+    it('returns UNRESOLVED (unknown) when the identifier has no symbol', () => {
+        // `ref` is undeclared → getSymbolAtLocation returns undefined.
+        const { node, ctx } = programCtx('function use(): unknown { return ref; }');
+        const v = resolveValueReference(node, ctx);
+        expect(v.to).toEqual([]);
+        expect(v.resolution).toBe('unknown');
+        expect(v.confidence).toBe('low');
+    });
+    it('returns UNRESOLVED for a symbol whose declaration is not function-shaped', () => {
+        // `ref` resolves to a plain number variable — no function-shaped
+        // declaration → hashFromDeclaration returns null for every decl.
+        const { node, ctx } = programCtx('const num = 1; const ref = num; function use(): number { return ref; }');
+        const v = resolveValueReference(node, ctx);
+        expect(v.to).toEqual([]);
+        expect(v.resolution).toBe('unknown');
+    });
+});
+//# sourceMappingURL=value-reference-unit.test.js.map

package/dist/__tests__/value-reference-unit.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-reference-unit.test.js","sourceRoot":"","sources":["../../src/__tests__/value-reference-unit.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAKtF,wEAAwE;AACxE,SAAS,KAAK,CAAC,MAAc,EAAE,IAAI,GAAG,MAAM;IAC1C,OAAO,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AACzE,CAAC;AAED,uDAAuD;AACvD,SAAS,KAAK,CAAC,EAAiB,EAAE,IAAY;IAC5C,IAAI,KAAgC,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC1C,KAAK,GAAG,CAAC,CAAC;YACV,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,YAAY,CAAC,CAAC;IAC5D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,EAAE,GAAG,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACrC,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,oEAAoE;QACpE,MAAM,EAAE,GAAG,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACnE,MAAM,IAAI,GAAoB,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC1D,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CACxB,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,0BAA0B,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,EAAE,CAC1E,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,MAAM,CAAC,gBAAgB,CAAC,QAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,EAAE,GAAG,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAC7D,gDAAgD;QAChD,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;gBAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAC3B,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CACnE,CAAC;QACF,MAAM,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,MAAM,CAAC,gBAAgB,CAAC,SAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACvD,yDAAyD;QACzD,MAAM,SAAS,GAAoB,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;gBAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QACzE,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,gBAAgB,CAAC,MAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,EAAE,GAAG,KAAK,CAAC,iCAAiC,CAAC,CAAC;QACpD,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,EAAE,GAAG,KAAK,CACd,0FAA0F,CAC3F,CAAC;QACF,iEAAiE;QACjE,MAAM,IAAI,GAAoB,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7D,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CACtB,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAC3E,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,gBAAgB,CAAC,MAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,EAAE,GAAG,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACvD,MAAM,IAAI,GAAoB,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAC1B,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,UAAU,KAAK,EAAE,CACtE,CAAC;QACF,MAAM,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,CAAC,gBAAgB,CAAC,UAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,EAAE,GAAG,KAAK,CAAC,6BAA6B,CAAC,CAAC;QAChD,MAAM,IAAI,GAAoB,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACvD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CACzB,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,UAAU,KAAK,EAAE,CACrE,CAAC;QACF,MAAM,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,MAAM,CAAC,gBAAgB,CAAC,SAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,EAAE,GAAG,KAAK,CAAC,qBAAqB,EAAE,OAAO,CAAC,CAAC;QACjD,MAAM,IAAI,GAAoB,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC1D,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CACnB,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,uBAAuB,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,EAAE,CAC1E,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,MAAM,CAAC,gBAAgB,CAAC,GAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,EAAE,GAAG,KAAK,CAAC,+BAA+B,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAoB,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC1D,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;QAC7F,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,MAAM,CAAC,gBAAgB,CAAC,GAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,MAAM,WAAW,GAAG,OAAO,CAAC;IAE5B,SAAS,UAAU,CAAC,MAAc;QAChC,MAAM,OAAO,GAAG,GAAG,WAAW,OAAO,CAAC;QACtC,MAAM,OAAO,GAAuB;YAClC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;YAC9B,KAAK,EAAE,IAAI;YACX,YAAY,EAAE,IAAI;SACnB,CAAC;QACF,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC9E,MAAM,WAAW,GAAG,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,IAAI,GAAoB;YAC5B,GAAG,WAAW;YACd,aAAa,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YACpE,UAAU,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO;YAC9C,QAAQ,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YACnE,qBAAqB,EAAE,GAAG,EAAE,CAAC,UAAU;YACvC,SAAS,EAAE,GAAG,EAAE;gBACd,oBAAoB;YACtB,CAAC;SACF,CAAC;QACF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1E,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAY;YACvB,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,YAAY;YACtB,OAAO,EAAE,GAAG;YACZ,QAAQ,EAAE,GAAG;YACb,SAAS,EAAE,EAAE;SACd,CAAC;QACF,MAAM,GAAG,GAAoB;YAC3B,OAAO;YACP,OAAO;YACP,WAAW;YACX,UAAU,EAAE,EAAE;YACd,aAAa,EAAE,WAAW;YAC1B,YAAY,EAAE,wBAAwB,CAAC,OAAO,EAAE,WAAW,CAAC;YAC5D,gBAAgB,EAAE,yBAAyB,CAAC,EAAE,CAAC;SAChD,CAAC;QACF,iEAAiE;QACjE,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,CAAE,CAAC;QAChD,IAAI,MAAiC,CAAC;QACtC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;gBAAE,MAAM,GAAG,CAAC,CAAC;YACvD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;QACF,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,OAAO,EAAE,IAAI,EAAE,MAAO,EAAE,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,CAAC;IACjE,CAAC;IAED,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,+DAA+D;QAC/D,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,UAAU,CAAC,yCAAyC,CAAC,CAAC;QAC5E,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,iEAAiE;QACjE,iEAAiE;QACjE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,UAAU,CAC9B,wEAAwE,CACzE,CAAC;QACF,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,15 @@
+/**
+ * Value-reference + shorthand-assignment edge resolution
+ * (edges-value-reference.ts).
+ *
+ * The exact-mode pipeline records bare Identifier value references
+ * (function passed as an argument, returned, defaulted) and
+ * ShorthandPropertyAssignment nodes (`{ fn }`) as call sites, then
+ * resolves the referenced symbol to its catalog bodyHash. These tests
+ * drive the full pipeline over fixtures that hand functions around as
+ * VALUES (not invoked) so a handoff edge is emitted, covering the
+ * function-declaration, arrow-in-variable, function-expression, and
+ * class-constructor declaration branches of `hashFromDeclaration`.
+ */
+export {};
+//# sourceMappingURL=value-reference.test.d.ts.map

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

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

package/dist/__tests__/value-reference.test.js

@@ -0,0 +1,115 @@
+/**
+ * Value-reference + shorthand-assignment edge resolution
+ * (edges-value-reference.ts).
+ *
+ * The exact-mode pipeline records bare Identifier value references
+ * (function passed as an argument, returned, defaulted) and
+ * ShorthandPropertyAssignment nodes (`{ fn }`) as call sites, then
+ * resolves the referenced symbol to its catalog bodyHash. These tests
+ * drive the full pipeline over fixtures that hand functions around as
+ * VALUES (not invoked) so a handoff edge is emitted, covering the
+ * function-declaration, arrow-in-variable, function-expression, and
+ * class-constructor declaration branches of `hashFromDeclaration`.
+ */
+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 { findOccurrence, runFixture, writeFixture } from './acceptance/_fixture-runner.js';
+describe('value-reference + shorthand edge resolution', () => {
+    const fixtureDir = mkdtempSync(join(tmpdir(), 'graph-value-ref-'));
+    afterAll(() => {
+        rmSync(fixtureDir, { recursive: true, force: true });
+    });
+    writeFixture(fixtureDir, {
+        // A top-level function declaration handed to another function as a
+        // VALUE argument (not called). The reference is an Identifier in a
+        // value position → resolveValueReference → function-declaration branch.
+        'fn-decl-handoff.ts': `
+      export function handler(): number { return 1; }
+      function register(cb: () => number): void { void cb; }
+      export function wire(): void {
+        register(handler);
+      }
+    `,
+        // Shorthand property assignment `{ handler }` — exercises
+        // resolveShorthandAssignment + getShorthandAssignmentValueSymbol.
+        'shorthand.ts': `
+      export function shorthandTarget(): number { return 2; }
+      export function buildBag(): { shorthandTarget: () => number } {
+        return { shorthandTarget };
+      }
+    `,
+        // Arrow function assigned to a const, then passed as a value.
+        // Exercises the VariableDeclaration + ArrowFunction initializer
+        // branch of hashFromDeclaration.
+        'arrow-handoff.ts': `
+      const arrowFn = (): number => 3;
+      function take(cb: () => number): void { void cb; }
+      export function passArrow(): void {
+        take(arrowFn);
+      }
+    `,
+        // Function-expression assigned to a const, then passed as a value.
+        'fn-expr-handoff.ts': `
+      const exprFn = function (): number { return 4; };
+      function consume(cb: () => number): void { void cb; }
+      export function passExpr(): void {
+        consume(exprFn);
+      }
+    `,
+        // Class referenced as a VALUE (passed as an argument), not via
+        // `new`. Exercises hashFromDeclaration's class-declaration branch:
+        // it resolves to the class's constructor catalog entry.
+        'class-value.ts': `
+      export class Widget {
+        constructor() { /* ctor body so a constructor occurrence exists */ }
+      }
+      function useCtor(c: new () => Widget): void { void c; }
+      export function passClass(): void {
+        useCtor(Widget);
+      }
+    `,
+    });
+    let catalog;
+    beforeAll(async () => {
+        catalog = await runFixture(fixtureDir);
+    });
+    it('builds a catalog (sanity)', () => {
+        expect(Object.keys(catalog.functions).length).toBeGreaterThan(0);
+    });
+    it('resolves a function declaration passed as a value argument', () => {
+        const occ = findOccurrence(catalog, (o) => o.simpleName === 'wire');
+        expect(occ).toBeDefined();
+        // The handoff of `handler` as a value yields an edge from wire.
+        const edge = occ.calls.find((e) => e.text.includes('handler') || e.text.includes('register'));
+        expect(edge).toBeDefined();
+    });
+    it('resolves a shorthand property assignment to its function', () => {
+        const occ = findOccurrence(catalog, (o) => o.simpleName === 'buildBag');
+        expect(occ).toBeDefined();
+        const edge = occ.calls.find((e) => e.text.includes('shorthandTarget'));
+        expect(edge).toBeDefined();
+        expect(edge.to.length).toBeGreaterThan(0);
+    });
+    it('resolves an arrow-in-variable referenced as a value', () => {
+        const occ = findOccurrence(catalog, (o) => o.simpleName === 'passArrow');
+        expect(occ).toBeDefined();
+        const edge = occ.calls.find((e) => e.to.length > 0);
+        expect(edge).toBeDefined();
+    });
+    it('resolves a function-expression-in-variable referenced as a value', () => {
+        const occ = findOccurrence(catalog, (o) => o.simpleName === 'passExpr');
+        expect(occ).toBeDefined();
+        const edge = occ.calls.find((e) => e.to.length > 0);
+        expect(edge).toBeDefined();
+    });
+    it('resolves a class referenced as a value to its constructor entry', () => {
+        const occ = findOccurrence(catalog, (o) => o.simpleName === 'passClass');
+        expect(occ).toBeDefined();
+        // Widget-as-value resolves to the class constructor's catalog entry.
+        const edge = occ.calls.find((e) => e.text.includes('Widget') && e.to.length > 0);
+        expect(edge).toBeDefined();
+    });
+});
+//# sourceMappingURL=value-reference.test.js.map

package/dist/__tests__/value-reference.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-reference.test.js","sourceRoot":"","sources":["../../src/__tests__/value-reference.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;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,cAAc,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAI3F,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC;IACnE,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,mEAAmE;QACnE,wEAAwE;QACxE,oBAAoB,EAAE;;;;;;KAMrB;QAED,0DAA0D;QAC1D,kEAAkE;QAClE,cAAc,EAAE;;;;;KAKf;QAED,8DAA8D;QAC9D,gEAAgE;QAChE,iCAAiC;QACjC,kBAAkB,EAAE;;;;;;KAMnB;QAED,mEAAmE;QACnE,oBAAoB,EAAE;;;;;;KAMrB;QAED,+DAA+D;QAC/D,mEAAmE;QACnE,wDAAwD;QACxD,gBAAgB,EAAE;;;;;;;;KAQjB;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,2BAA2B,EAAE,GAAG,EAAE;QACnC,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,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,gEAAgE;QAChE,MAAM,IAAI,GAAG,GAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC/F,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;QACxE,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,GAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC;QACxE,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3B,MAAM,CAAC,IAAK,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC7C,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,MAAM,IAAI,GAAG,GAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrD,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;QACxE,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,GAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrD,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7B,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,qEAAqE;QACrE,MAAM,IAAI,GAAG,GAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/walk-fast.test.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Tests that the walk yields the same occurrences/call-site records from
+ * the fast source-file map as from an exact ts.Program — the walk is
+ * structural and mode-agnostic, so the two parse tiers must produce an
+ * identical inventory.
+ */
+export {};
+//# sourceMappingURL=walk-fast.test.d.ts.map

package/dist/__tests__/walk-fast.test.d.ts.map

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

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

@@ -0,0 +1,51 @@
+/**
+ * Tests that the walk yields the same occurrences/call-site records from
+ * the fast source-file map as from an exact ts.Program — the walk is
+ * structural and mode-agnostic, so the two parse tiers must produce an
+ * identical inventory.
+ */
+import { mkdtempSync, rmSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { afterEach, beforeEach, describe, expect, it } from 'vitest';
+import { parseProject } from '../parse.js';
+import { walkProgram } from '../walk.js';
+const SOURCE = `
+import { dep } from './dep.js';
+export function top() { return dep(); }
+function helper() { return top(); }
+export const arrow = () => helper();
+class C { method() { return arrow(); } }
+`;
+describe('walkProgram — fast vs exact source files', () => {
+    let dir;
+    beforeEach(() => {
+        dir = mkdtempSync(join(tmpdir(), 'graph-ts-walkfast-'));
+    });
+    afterEach(() => {
+        rmSync(dir, { recursive: true, force: true });
+    });
+    it('produces the same occurrence names and call-site count from either tier', () => {
+        const a = join(dir, 'a.ts');
+        const depFile = join(dir, 'dep.ts');
+        writeFileSync(a, SOURCE, 'utf8');
+        writeFileSync(depFile, 'export function dep() { return 0; }\n', 'utf8');
+        const files = [a, depFile];
+        const exactParsed = parseProject({ projectDirAbs: dir, files, resolutionMode: 'exact' });
+        const fastParsed = parseProject({ projectDirAbs: dir, files, resolutionMode: 'fast' });
+        if (exactParsed.project.kind !== 'exact' || fastParsed.project.kind !== 'fast') {
+            throw new Error('unexpected parse tiers');
+        }
+        const exactSf = exactParsed.project.program.getSourceFiles();
+        const fastSf = fastParsed.project.sourceFiles.values();
+        const exactWalk = walkProgram({ sourceFiles: exactSf, files, projectDirAbs: dir });
+        const fastWalk = walkProgram({ sourceFiles: fastSf, files, projectDirAbs: dir });
+        const names = (w) => Object.keys(w.functions).sort();
+        expect(names(fastWalk)).toEqual(names(exactWalk));
+        // Same number of located call sites (resolution differs, location does not).
+        expect(fastWalk.callSites.length).toBe(exactWalk.callSites.length);
+        // Sanity: the inventory actually contains the declared functions.
+        expect(names(fastWalk)).toEqual(expect.arrayContaining(['top', 'helper', 'arrow', 'method']));
+    });
+});
+//# sourceMappingURL=walk-fast.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"walk-fast.test.js","sourceRoot":"","sources":["../../src/__tests__/walk-fast.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;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,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAErE,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAIzC,MAAM,MAAM,GAAG;;;;;;CAMd,CAAC;AAEF,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAI,GAAW,CAAC;IAEhB,UAAU,CAAC,GAAG,EAAE;QACd,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;IAC1D,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,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACpC,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACjC,aAAa,CAAC,OAAO,EAAE,uCAAuC,EAAE,MAAM,CAAC,CAAC;QACxE,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAE3B,MAAM,WAAW,GAAG,YAAY,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC;QACzF,MAAM,UAAU,GAAG,YAAY,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC;QACvF,IAAI,WAAW,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/E,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC5C,CAAC;QAED,MAAM,OAAO,GAA4B,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;QACtF,MAAM,MAAM,GAA4B,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;QAEhF,MAAM,SAAS,GAAG,WAAW,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC;QACnF,MAAM,QAAQ,GAAG,WAAW,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC;QAEjF,MAAM,KAAK,GAAG,CAAC,CAAmB,EAAY,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;QACjF,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;QAClD,6EAA6E;QAC7E,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACnE,kEAAkE;QAClE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/walk-reexports.test.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Re-export capture (`collectReExports`): the walk records the data the engine's
+ * export index needs to follow re-export chains. Covers both TS forms plus the
+ * "local definition export is not a re-export" exclusion.
+ */
+export {};
+//# sourceMappingURL=walk-reexports.test.d.ts.map

package/dist/__tests__/walk-reexports.test.d.ts.map

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

package/dist/__tests__/walk-reexports.test.js

@@ -0,0 +1,79 @@
+/**
+ * Re-export capture (`collectReExports`): the walk records the data the engine's
+ * export index needs to follow re-export chains. Covers both TS forms plus the
+ * "local definition export is not a re-export" exclusion.
+ */
+import { mkdtempSync, rmSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { afterEach, beforeEach, describe, expect, it } from 'vitest';
+import { parseProject } from '../parse.js';
+import { walkProgram } from '../walk.js';
+describe('walkProgram — re-export capture', () => {
+    let dir;
+    beforeEach(() => {
+        dir = mkdtempSync(join(tmpdir(), 'graph-ts-reexp-'));
+    });
+    afterEach(() => {
+        rmSync(dir, { recursive: true, force: true });
+    });
+    function reExportsOf(source) {
+        const f = join(dir, 'index.ts');
+        writeFileSync(f, source, 'utf8');
+        const files = [f];
+        const parsed = parseProject({ projectDirAbs: dir, files, resolutionMode: 'exact' });
+        if (parsed.project.kind !== 'exact')
+            throw new Error('expected exact tier');
+        const out = walkProgram({
+            sourceFiles: parsed.project.program.getSourceFiles(),
+            files,
+            projectDirAbs: dir,
+        });
+        return [...out.reExports].sort((a, b) => a.exportedName.localeCompare(b.exportedName));
+    }
+    it('captures `export { x, y as z } from spec`', () => {
+        expect(reExportsOf(`export { childrenOf, nameOf as renamed } from '@scope/ts';\n`)).toEqual([
+            {
+                fromFile: 'index.ts',
+                exportedName: 'childrenOf',
+                sourceName: 'childrenOf',
+                specifier: '@scope/ts',
+            },
+            {
+                fromFile: 'index.ts',
+                exportedName: 'renamed',
+                sourceName: 'nameOf',
+                specifier: '@scope/ts',
+            },
+        ]);
+    });
+    it('captures the import-then-re-export idiom `export { x }` (no `from`)', () => {
+        expect(reExportsOf(`import { childrenOf } from '@scope/ts';\nexport { childrenOf };\n`)).toEqual([
+            {
+                fromFile: 'index.ts',
+                exportedName: 'childrenOf',
+                sourceName: 'childrenOf',
+                specifier: '@scope/ts',
+            },
+        ]);
+    });
+    it('captures an aliased import-then-re-export', () => {
+        expect(reExportsOf(`import { nameOf } from '@scope/ts';\nexport { nameOf as renamed };\n`)).toEqual([
+            {
+                fromFile: 'index.ts',
+                exportedName: 'renamed',
+                sourceName: 'nameOf',
+                specifier: '@scope/ts',
+            },
+        ]);
+    });
+    it('captures `export * from spec`', () => {
+        expect(reExportsOf(`export * from '@scope/ts';\n`)).toEqual([
+            { fromFile: 'index.ts', exportedName: '*', sourceName: '*', specifier: '@scope/ts' },
+        ]);
+    });
+    it('does NOT treat a local definition export as a re-export', () => {
+        expect(reExportsOf(`function localFn() { return 1; }\nexport { localFn };\n`)).toEqual([]);
+    });
+});
+//# sourceMappingURL=walk-reexports.test.js.map

package/dist/__tests__/walk-reexports.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk-reexports.test.js","sourceRoot":"","sources":["../../src/__tests__/walk-reexports.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG;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,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAErE,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAIzC,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAI,GAAW,CAAC;IAChB,UAAU,CAAC,GAAG,EAAE;QACd,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IACH,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,SAAS,WAAW,CAAC,MAAc;QACjC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAChC,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,MAAM,GAAG,YAAY,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC;QACpF,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;QAC5E,MAAM,GAAG,GAAG,WAAW,CAAC;YACtB,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE;YACpD,KAAK;YACL,aAAa,EAAE,GAAG;SACnB,CAAC,CAAC;QACH,OAAO,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IACzF,CAAC;IAED,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,WAAW,CAAC,8DAA8D,CAAC,CAAC,CAAC,OAAO,CAAC;YAC1F;gBACE,QAAQ,EAAE,UAAU;gBACpB,YAAY,EAAE,YAAY;gBAC1B,UAAU,EAAE,YAAY;gBACxB,SAAS,EAAE,WAAW;aACvB;YACD;gBACE,QAAQ,EAAE,UAAU;gBACpB,YAAY,EAAE,SAAS;gBACvB,UAAU,EAAE,QAAQ;gBACpB,SAAS,EAAE,WAAW;aACvB;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,CACJ,WAAW,CAAC,mEAAmE,CAAC,CACjF,CAAC,OAAO,CAAC;YACR;gBACE,QAAQ,EAAE,UAAU;gBACpB,YAAY,EAAE,YAAY;gBAC1B,UAAU,EAAE,YAAY;gBACxB,SAAS,EAAE,WAAW;aACvB;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CACJ,WAAW,CAAC,sEAAsE,CAAC,CACpF,CAAC,OAAO,CAAC;YACR;gBACE,QAAQ,EAAE,UAAU;gBACpB,YAAY,EAAE,SAAS;gBACvB,UAAU,EAAE,QAAQ;gBACpB,SAAS,EAAE,WAAW;aACvB;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,WAAW,CAAC,8BAA8B,CAAC,CAAC,CAAC,OAAO,CAAC;YAC1D,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,WAAW,EAAE;SACrF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,WAAW,CAAC,yDAAyD,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/cache-key.d.ts

@@ -0,0 +1,41 @@
+/**
+ * TypeScript cacheKey implementation.
+ *
+ * Produces `ts-${ts.version}-adapter-${adapterVersion}-${resolutionMode}-${resolvedTsconfigHash}`.
+ * Stored in Catalog.cacheKey (v3 shape introduced by the language-pluggability
+ * work). Replaces the v2 fields `tsCompilerVersion` and `tsConfigPath` that lived
+ * as separate top-level catalog properties.
+ *
+ * The resolution mode is part of the key so a fast catalog and an exact catalog
+ * for the same tsconfig occupy distinct `cache_key` rows in the datastore —
+ * switching `--resolution` is a clean cache miss against the other tier, never a
+ * wrong-tier reuse. No schema change is needed; the existing `cache_key` column
+ * carries the mode.
+ *
+ * F2 — RESOLVED tsconfig (extends-aware). Earlier this hashed only the NAMED
+ * tsconfig file's RAW content. But package tsconfigs `extends` a shared base
+ * (`tsconfig.base.json`), and editing the base's `paths`/`baseUrl`/
+ * `moduleResolution` changes module resolution → different edges — WITHOUT
+ * changing the named file's bytes. Every shard fragment would then cache-hit a
+ * stale fragment → a silently-wrong graph (`--no-cache` recovers, but only if you
+ * know to). We now hash the RESOLVED `compilerOptions` (TS walks the `extends`
+ * chain for us via `parseJsonConfigFileContent`), stable-stringified, so any
+ * extends-base edit that affects resolution invalidates the key.
+ *
+ * F5 — adapter package version. The engine version is folded in separately at
+ * the engine boundary (`stampEngineVersion`, ADR-0015), but a
+ * `@opensip-cli/graph-typescript` resolver fix shipped WITHOUT an engine
+ * version bump (possible under independent versioning, ADR-0012) would reuse
+ * stale fragments. Folding the adapter's OWN package version closes that:
+ * belt-and-suspenders while engine + adapters ship in lockstep (3.0.0 today),
+ * load-bearing the moment they diverge.
+ *
+ * Per contract invariant I-6 (cacheKey is stable for stable input): the function
+ * is purely a function of
+ * `(ts.version, adapterVersion, resolutionMode, resolvedTsconfigOptions)`. If the
+ * tsconfig file is missing/unreadable on disk we fall back to a literal marker so
+ * two calls without a (readable) tsconfig still match.
+ */
+import type { CacheKeyInput } from '@opensip-cli/graph';
+export declare function cacheKey(input: CacheKeyInput): string;
+//# sourceMappingURL=cache-key.d.ts.map

package/dist/cache-key.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache-key.d.ts","sourceRoot":"","sources":["../src/cache-key.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AASH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAQxD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAGrD"}