@opensip-cli/graph-typescript 0.1.0

package/dist/__tests__/depends-on-emission.test.js

@@ -0,0 +1,165 @@
+/**
+ * Tests for the TypeScript adapter's module-level depends_on edge
+ * emission. Phase 4 Task 4.2 of opensip's substrate consolidation
+ * (opensip DEC-498).
+ *
+ * Exercises the full adapter contract surface (discoverFiles →
+ * parseProject → walkProject → resolveCallSites) against a small
+ * fixture with internal + external imports, then asserts:
+ *
+ *   1. walkProject returns dependencySites populated with the right
+ *      specifier + line + owner module-init bodyHash.
+ *   2. resolveCallSites returns dependenciesByOwner with a resolved
+ *      target bodyHash for internal imports.
+ *   3. External package imports resolve to `to: []` (unresolved).
+ *   4. The specifier is preserved on every edge regardless of
+ *      resolution.
+ */
+import { mkdirSync, mkdtempSync, rmSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { ownerEdgeKey } from '@opensip-cli/graph';
+import { afterEach, beforeEach, describe, expect, it } from 'vitest';
+import { typescriptGraphAdapter } from '../index.js';
+const FIXTURE_TSCONFIG = JSON.stringify({
+    compilerOptions: {
+        target: 'ES2022',
+        module: 'Node16',
+        moduleResolution: 'Node16',
+        strict: true,
+        esModuleInterop: true,
+        skipLibCheck: true,
+    },
+    include: ['**/*.ts'],
+});
+let fixtureRoot;
+beforeEach(() => {
+    fixtureRoot = mkdtempSync(join(tmpdir(), 'graph-ts-depends-on-'));
+    mkdirSync(join(fixtureRoot, 'src'), { recursive: true });
+    writeFileSync(join(fixtureRoot, 'tsconfig.json'), FIXTURE_TSCONFIG, 'utf8');
+});
+afterEach(() => {
+    rmSync(fixtureRoot, { recursive: true, force: true });
+});
+function writeFile(rel, content) {
+    writeFileSync(join(fixtureRoot, rel), content, 'utf8');
+}
+function findModuleInit(catalog, filePath) {
+    for (const occs of Object.values(catalog.functions)) {
+        for (const o of occs) {
+            if (o.kind === 'module-init' && o.filePath === filePath)
+                return o;
+        }
+    }
+    return undefined;
+}
+async function runAdapter() {
+    const discovery = typescriptGraphAdapter.discoverFiles({
+        cwd: fixtureRoot,
+    });
+    const parsed = typescriptGraphAdapter.parseProject({
+        projectDirAbs: discovery.projectDirAbs,
+        files: discovery.files,
+        compilerOptions: discovery.compilerOptions,
+        resolutionMode: 'exact',
+    });
+    const walked = typescriptGraphAdapter.walkProject({
+        project: parsed.project,
+        projectDirAbs: discovery.projectDirAbs,
+        files: discovery.files,
+    });
+    // Build a minimal catalog from walked occurrences for the resolver
+    // to query against (matches the engine's pipeline: stage 1 inventory
+    // → stage 2 resolve).
+    const initialCatalog = {
+        version: '3.0',
+        tool: 'graph',
+        language: 'typescript',
+        builtAt: new Date().toISOString(),
+        cacheKey: 'test',
+        functions: walked.occurrences,
+    };
+    const resolved = await typescriptGraphAdapter.resolveCallSites({
+        project: parsed.project,
+        catalog: initialCatalog,
+        callSites: walked.callSites,
+        dependencySites: walked.dependencySites,
+        projectDirAbs: discovery.projectDirAbs,
+        resolutionMode: 'exact',
+    });
+    return { catalog: initialCatalog, dependenciesByOwner: resolved.dependenciesByOwner };
+}
+describe('TypeScript adapter — depends_on emission (Phase 4)', () => {
+    it('walks an ImportDeclaration as a dependency site on the importing file', async () => {
+        writeFile('src/greet.ts', `import { formatName } from './format.js';\nexport function greet(name: string): string { return formatName(name); }\n`);
+        writeFile('src/format.ts', `export function formatName(raw: string): string { return raw.trim(); }\n`);
+        const { catalog, dependenciesByOwner } = await runAdapter();
+        const greetModuleInit = findModuleInit(catalog, 'src/greet.ts');
+        const formatModuleInit = findModuleInit(catalog, 'src/format.ts');
+        expect(greetModuleInit, 'greet module-init').toBeDefined();
+        expect(formatModuleInit, 'format module-init').toBeDefined();
+        expect(dependenciesByOwner, 'dependenciesByOwner').toBeDefined();
+        const greetDeps = dependenciesByOwner.get(ownerEdgeKey(greetModuleInit.bodyHash, greetModuleInit.filePath));
+        expect(greetDeps, 'greet has dependency edges').toHaveLength(1);
+        expect(greetDeps[0].specifier).toBe('./format.js');
+        expect(greetDeps[0].to).toEqual([formatModuleInit.bodyHash]);
+        expect(greetDeps[0].line).toBe(1);
+    });
+    it('emits an unresolved edge for external package imports', async () => {
+        writeFile('src/greet.ts', `import { something } from '@opensip-cli/nonexistent-pkg';\nexport function greet(): string { return String(something); }\n`);
+        const { catalog, dependenciesByOwner } = await runAdapter();
+        const greetModuleInit = findModuleInit(catalog, 'src/greet.ts');
+        expect(greetModuleInit).toBeDefined();
+        const greetDeps = dependenciesByOwner.get(ownerEdgeKey(greetModuleInit.bodyHash, greetModuleInit.filePath));
+        expect(greetDeps).toHaveLength(1);
+        expect(greetDeps[0].specifier).toBe('@opensip-cli/nonexistent-pkg');
+        expect(greetDeps[0].to).toEqual([]);
+    });
+    it('preserves multiple imports as separate dependency edges', async () => {
+        writeFile('src/main.ts', [
+            `import { a } from './a.js';`,
+            `import { b } from './b.js';`,
+            `import { c } from '@external/pkg';`,
+            `export function main(): string { return a() + b() + String(c); }`,
+            '',
+        ].join('\n'));
+        writeFile('src/a.ts', `export function a(): string { return 'a'; }\n`);
+        writeFile('src/b.ts', `export function b(): string { return 'b'; }\n`);
+        const { catalog, dependenciesByOwner } = await runAdapter();
+        const mainModuleInit = findModuleInit(catalog, 'src/main.ts');
+        expect(mainModuleInit).toBeDefined();
+        const deps = dependenciesByOwner.get(ownerEdgeKey(mainModuleInit.bodyHash, mainModuleInit.filePath));
+        expect(deps).toHaveLength(3);
+        const specifiers = deps.map((d) => d.specifier).sort();
+        expect(specifiers).toEqual(['./a.js', './b.js', '@external/pkg']);
+        const externalEdge = deps.find((d) => d.specifier === '@external/pkg');
+        expect(externalEdge.to).toEqual([]);
+        const aEdge = deps.find((d) => d.specifier === './a.js');
+        expect(aEdge.to).toHaveLength(1);
+    });
+    it('produces no dependency edges for a file with no imports', async () => {
+        writeFile('src/standalone.ts', `export function standalone(): number { return 42; }\n`);
+        const { catalog, dependenciesByOwner } = await runAdapter();
+        const standaloneModuleInit = findModuleInit(catalog, 'src/standalone.ts');
+        expect(standaloneModuleInit).toBeDefined();
+        // No dependency edges → owner not in the map at all.
+        const deps = dependenciesByOwner?.get(ownerEdgeKey(standaloneModuleInit.bodyHash, standaloneModuleInit.filePath));
+        expect(deps).toBeUndefined();
+    });
+    it('captures import line numbers (1-based) for source attribution', async () => {
+        writeFile('src/multiline.ts', [
+            `// header comment`,
+            `// second comment`,
+            `import { x } from './other.js';`,
+            `export function fn(): unknown { return x; }`,
+            '',
+        ].join('\n'));
+        writeFile('src/other.ts', `export const x = 1;\n`);
+        const { catalog, dependenciesByOwner } = await runAdapter();
+        const moduleInit = findModuleInit(catalog, 'src/multiline.ts');
+        const deps = dependenciesByOwner.get(ownerEdgeKey(moduleInit.bodyHash, moduleInit.filePath));
+        expect(deps).toHaveLength(1);
+        expect(deps[0].line).toBe(3);
+    });
+});
+//# sourceMappingURL=depends-on-emission.test.js.map

package/dist/__tests__/depends-on-emission.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"depends-on-emission.test.js","sourceRoot":"","sources":["../../src/__tests__/depends-on-emission.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;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,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAErE,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAIrD,MAAM,gBAAgB,GAAG,IAAI,CAAC,SAAS,CAAC;IACtC,eAAe,EAAE;QACf,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,QAAQ;QAChB,gBAAgB,EAAE,QAAQ;QAC1B,MAAM,EAAE,IAAI;QACZ,eAAe,EAAE,IAAI;QACrB,YAAY,EAAE,IAAI;KACnB;IACD,OAAO,EAAE,CAAC,SAAS,CAAC;CACrB,CAAC,CAAC;AAEH,IAAI,WAAmB,CAAC;AAExB,UAAU,CAAC,GAAG,EAAE;IACd,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAAC;IAClE,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,aAAa,CAAC,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,EAAE,gBAAgB,EAAE,MAAM,CAAC,CAAC;AAC9E,CAAC,CAAC,CAAC;AAEH,SAAS,CAAC,GAAG,EAAE;IACb,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACxD,CAAC,CAAC,CAAC;AAEH,SAAS,SAAS,CAAC,GAAW,EAAE,OAAe;IAC7C,aAAa,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,cAAc,CAAC,OAAgB,EAAE,QAAgB;IACxD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ;gBAAE,OAAO,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,KAAK,UAAU,UAAU;IAcvB,MAAM,SAAS,GAAG,sBAAsB,CAAC,aAAa,CAAC;QACrD,GAAG,EAAE,WAAW;KACjB,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,sBAAsB,CAAC,YAAY,CAAC;QACjD,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,eAAe,EAAE,SAAS,CAAC,eAAe;QAC1C,cAAc,EAAE,OAAO;KACxB,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,sBAAsB,CAAC,WAAW,CAAC;QAChD,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,KAAK,EAAE,SAAS,CAAC,KAAK;KACvB,CAAC,CAAC;IACH,mEAAmE;IACnE,qEAAqE;IACrE,sBAAsB;IACtB,MAAM,cAAc,GAAY;QAC9B,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACjC,QAAQ,EAAE,MAAM;QAChB,SAAS,EAAE,MAAM,CAAC,WAAW;KAC9B,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAAC,gBAAgB,CAAC;QAC7D,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,OAAO,EAAE,cAAc;QACvB,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,cAAc,EAAE,OAAO;KACxB,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,QAAQ,CAAC,mBAAmB,EAAE,CAAC;AACxF,CAAC;AAED,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,SAAS,CACP,cAAc,EACd,uHAAuH,CACxH,CAAC;QACF,SAAS,CACP,eAAe,EACf,0EAA0E,CAC3E,CAAC;QAEF,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,GAAG,MAAM,UAAU,EAAE,CAAC;QAC5D,MAAM,eAAe,GAAG,cAAc,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QAChE,MAAM,gBAAgB,GAAG,cAAc,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;QAElE,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3D,MAAM,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7D,MAAM,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,CAAC,WAAW,EAAE,CAAC;QAEjE,MAAM,SAAS,GAAG,mBAAoB,CAAC,GAAG,CACxC,YAAY,CAAC,eAAgB,CAAC,QAAQ,EAAE,eAAgB,CAAC,QAAQ,CAAC,CACnE,CAAC;QACF,MAAM,CAAC,SAAS,EAAE,4BAA4B,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,SAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACpD,MAAM,CAAC,SAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,SAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;QACrE,SAAS,CACP,cAAc,EACd,4HAA4H,CAC7H,CAAC;QAEF,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,GAAG,MAAM,UAAU,EAAE,CAAC;QAC5D,MAAM,eAAe,GAAG,cAAc,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QAChE,MAAM,CAAC,eAAe,CAAC,CAAC,WAAW,EAAE,CAAC;QAEtC,MAAM,SAAS,GAAG,mBAAoB,CAAC,GAAG,CACxC,YAAY,CAAC,eAAgB,CAAC,QAAQ,EAAE,eAAgB,CAAC,QAAQ,CAAC,CACnE,CAAC;QACF,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,SAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QACrE,MAAM,CAAC,SAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;QACvE,SAAS,CACP,aAAa,EACb;YACE,6BAA6B;YAC7B,6BAA6B;YAC7B,oCAAoC;YACpC,kEAAkE;YAClE,EAAE;SACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;QACF,SAAS,CAAC,UAAU,EAAE,+CAA+C,CAAC,CAAC;QACvE,SAAS,CAAC,UAAU,EAAE,+CAA+C,CAAC,CAAC;QAEvE,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,GAAG,MAAM,UAAU,EAAE,CAAC;QAC5D,MAAM,cAAc,GAAG,cAAc,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;QAC9D,MAAM,CAAC,cAAc,CAAC,CAAC,WAAW,EAAE,CAAC;QAErC,MAAM,IAAI,GAAG,mBAAoB,CAAC,GAAG,CACnC,YAAY,CAAC,cAAe,CAAC,QAAQ,EAAE,cAAe,CAAC,QAAQ,CAAC,CACjE,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAE7B,MAAM,UAAU,GAAG,IAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;QACxD,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC;QAElE,MAAM,YAAY,GAAG,IAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,eAAe,CAAC,CAAC;QACxE,MAAM,CAAC,YAAa,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAErC,MAAM,KAAK,GAAG,IAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAM,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;QACvE,SAAS,CAAC,mBAAmB,EAAE,uDAAuD,CAAC,CAAC;QAExF,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,GAAG,MAAM,UAAU,EAAE,CAAC;QAC5D,MAAM,oBAAoB,GAAG,cAAc,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;QAC1E,MAAM,CAAC,oBAAoB,CAAC,CAAC,WAAW,EAAE,CAAC;QAE3C,qDAAqD;QACrD,MAAM,IAAI,GAAG,mBAAmB,EAAE,GAAG,CACnC,YAAY,CAAC,oBAAqB,CAAC,QAAQ,EAAE,oBAAqB,CAAC,QAAQ,CAAC,CAC7E,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;QAC7E,SAAS,CACP,kBAAkB,EAClB;YACE,mBAAmB;YACnB,mBAAmB;YACnB,iCAAiC;YACjC,6CAA6C;YAC7C,EAAE;SACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;QACF,SAAS,CAAC,cAAc,EAAE,uBAAuB,CAAC,CAAC;QAEnD,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,GAAG,MAAM,UAAU,EAAE,CAAC;QAC5D,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC;QAC/D,MAAM,IAAI,GAAG,mBAAoB,CAAC,GAAG,CAAC,YAAY,CAAC,UAAW,CAAC,QAAQ,EAAE,UAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChG,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/discover.test.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Stage 0 discovery (discover.ts).
+ *
+ * Covers tsconfig resolution (default path, explicit relative override,
+ * explicit ABSOLUTE override), the missing-config error, and the
+ * source-file filter (drops non-.ts/.tsx and .d.ts, dedups, sorts).
+ */
+export {};
+//# sourceMappingURL=discover.test.d.ts.map

package/dist/__tests__/discover.test.d.ts.map

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

package/dist/__tests__/discover.test.js

@@ -0,0 +1,72 @@
+/**
+ * Stage 0 discovery (discover.ts).
+ *
+ * Covers tsconfig resolution (default path, explicit relative override,
+ * explicit ABSOLUTE override), the missing-config error, and the
+ * source-file filter (drops non-.ts/.tsx and .d.ts, dedups, sorts).
+ */
+import { mkdtempSync, rmSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { ConfigurationError } from '@opensip-cli/core';
+import { afterEach, beforeEach, describe, expect, it } from 'vitest';
+import { discoverFiles } from '../discover.js';
+const TSCONFIG = JSON.stringify({
+    compilerOptions: {
+        target: 'ES2022',
+        module: 'Node16',
+        moduleResolution: 'Node16',
+        strict: true,
+        rootDir: '.',
+    },
+    include: ['**/*.ts', '**/*.tsx'],
+});
+describe('discoverFiles', () => {
+    let dir;
+    beforeEach(() => {
+        dir = mkdtempSync(join(tmpdir(), 'graph-ts-discover-'));
+    });
+    afterEach(() => {
+        rmSync(dir, { recursive: true, force: true });
+    });
+    it('resolves the default tsconfig.json and returns project source files', () => {
+        writeFileSync(join(dir, 'tsconfig.json'), TSCONFIG, 'utf8');
+        writeFileSync(join(dir, 'a.ts'), 'export const a = 1;\n', 'utf8');
+        writeFileSync(join(dir, 'b.tsx'), 'export const b = 2;\n', 'utf8');
+        const out = discoverFiles({ projectDir: dir });
+        expect(out.tsConfigPathAbs.endsWith('tsconfig.json')).toBe(true);
+        expect(out.files.some((f) => f.endsWith('a.ts'))).toBe(true);
+        expect(out.files.some((f) => f.endsWith('b.tsx'))).toBe(true);
+    });
+    it('drops .d.ts files and non-TypeScript files from the source set', () => {
+        writeFileSync(join(dir, 'tsconfig.json'), TSCONFIG, 'utf8');
+        writeFileSync(join(dir, 'keep.ts'), 'export const k = 1;\n', 'utf8');
+        writeFileSync(join(dir, 'types.d.ts'), 'export declare const t: number;\n', 'utf8');
+        writeFileSync(join(dir, 'readme.md'), '# not a source file\n', 'utf8');
+        writeFileSync(join(dir, 'data.json'), '{}\n', 'utf8');
+        const out = discoverFiles({ projectDir: dir });
+        expect(out.files.some((f) => f.endsWith('keep.ts'))).toBe(true);
+        expect(out.files.some((f) => f.endsWith('.d.ts'))).toBe(false);
+        expect(out.files.some((f) => f.endsWith('.md'))).toBe(false);
+        expect(out.files.some((f) => f.endsWith('.json'))).toBe(false);
+    });
+    it('accepts an explicit RELATIVE tsConfigPath override', () => {
+        writeFileSync(join(dir, 'custom.tsconfig.json'), TSCONFIG, 'utf8');
+        writeFileSync(join(dir, 'a.ts'), 'export const a = 1;\n', 'utf8');
+        const out = discoverFiles({ projectDir: dir, tsConfigPath: 'custom.tsconfig.json' });
+        expect(out.tsConfigPathAbs.endsWith('custom.tsconfig.json')).toBe(true);
+        expect(out.files.some((f) => f.endsWith('a.ts'))).toBe(true);
+    });
+    it('accepts an explicit ABSOLUTE tsConfigPath override', () => {
+        const absConfig = join(dir, 'abs.tsconfig.json');
+        writeFileSync(absConfig, TSCONFIG, 'utf8');
+        writeFileSync(join(dir, 'a.ts'), 'export const a = 1;\n', 'utf8');
+        const out = discoverFiles({ projectDir: dir, tsConfigPath: absConfig });
+        expect(out.tsConfigPathAbs.endsWith('abs.tsconfig.json')).toBe(true);
+    });
+    it('throws ConfigurationError when the tsconfig does not exist', () => {
+        // No tsconfig.json written into `dir`.
+        expect(() => discoverFiles({ projectDir: dir })).toThrow(ConfigurationError);
+    });
+});
+//# sourceMappingURL=discover.test.js.map

package/dist/__tests__/discover.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"discover.test.js","sourceRoot":"","sources":["../../src/__tests__/discover.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAErE,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC;IAC9B,eAAe,EAAE;QACf,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,QAAQ;QAChB,gBAAgB,EAAE,QAAQ;QAC1B,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,GAAG;KACb;IACD,OAAO,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;CACjC,CAAC,CAAC;AAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,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,qEAAqE,EAAE,GAAG,EAAE;QAC7E,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC5D,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;QAClE,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;QAEnE,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC5D,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;QACrE,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,EAAE,mCAAmC,EAAE,MAAM,CAAC,CAAC;QACpF,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;QACvE,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAEtD,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,sBAAsB,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QACnE,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;QAElE,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,YAAY,EAAE,sBAAsB,EAAE,CAAC,CAAC;QACrF,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,mBAAmB,CAAC,CAAC;QACjD,aAAa,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC3C,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;QAElE,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,uCAAuC;QACvC,MAAM,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/edge-helpers/method-target.test.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Unit tests for methodTargetFile — the type-attested cross-package method
+ * target resolver. Builds a REAL `ts.Program` over temp fixtures so the checker
+ * resolves a method call's callee to a `dist/*.d.ts` declaration (the cross-
+ * package boundary case) vs a source / non-dist declaration (decline).
+ */
+export {};
+//# sourceMappingURL=method-target.test.d.ts.map

package/dist/__tests__/edge-helpers/method-target.test.d.ts.map

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

package/dist/__tests__/edge-helpers/method-target.test.js

@@ -0,0 +1,96 @@
+/**
+ * Unit tests for methodTargetFile — the type-attested cross-package method
+ * target resolver. Builds a REAL `ts.Program` over temp fixtures so the checker
+ * resolves a method call's callee to a `dist/*.d.ts` declaration (the cross-
+ * package boundary case) vs a source / non-dist declaration (decline).
+ */
+import { mkdtempSync, mkdirSync, rmSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import ts from 'typescript';
+import { afterAll, beforeAll, describe, expect, it } from 'vitest';
+import { methodTargetFile } from '../../edge-helpers/method-target.js';
+describe('methodTargetFile', () => {
+    let root;
+    let checker;
+    const calls = new Map();
+    beforeAll(() => {
+        root = mkdtempSync(join(tmpdir(), 'method-target-'));
+        mkdirSync(join(root, 'packages', 'lib', 'dist'), { recursive: true });
+        mkdirSync(join(root, 'packages', 'lib', 'types'), { recursive: true });
+        mkdirSync(join(root, 'packages', 'app', 'src'), { recursive: true });
+        // A workspace package's BUILT dist `.d.ts` (the cross-package boundary case).
+        // `Ctx` is an INTERFACE: its member has no body, so the linker's occurrence
+        // pin will find no concrete target — the polymorphic-dispatch decline class.
+        writeFileSync(join(root, 'packages', 'lib', 'dist', 'registry.d.ts'), [
+            'export declare class R { getAll(): void; }',
+            'export interface Ctx { setExitCode(code: number): void; }',
+            '',
+        ].join('\n'));
+        // A `.d.ts` NOT under /dist/ (e.g. a hand-authored ambient) → must decline.
+        writeFileSync(join(root, 'packages', 'lib', 'types', 'amb.d.ts'), 'export declare class A { ambient(): void; }\n');
+        const callerPath = join(root, 'packages', 'app', 'src', 'caller.ts');
+        writeFileSync(callerPath, [
+            `import type { Ctx, R } from '../../lib/dist/registry.js';`,
+            `import type { A } from '../../lib/types/amb.js';`,
+            `declare const r: R;`,
+            `declare const ctx: Ctx;`,
+            `declare const a: A;`,
+            `class Local { foo(): void {} }`,
+            `function caller(): void {`,
+            `  r.getAll();`, // cross-package dist method → maps to source
+            `  ctx.setExitCode(0);`, // INTERFACE-attested → maps to source; linker declines
+            `  a.ambient();`, // .d.ts but not /dist/ → decline
+            `  new Local().foo();`, // SOURCE decl → decline (in-shard handles it)
+            `  plain();`, // not a property access → decline
+            `}`,
+            `function plain(): void {}`,
+            `caller();`,
+        ].join('\n'));
+        const program = ts.createProgram([callerPath], {
+            module: ts.ModuleKind.NodeNext,
+            moduleResolution: ts.ModuleResolutionKind.NodeNext,
+            target: ts.ScriptTarget.ES2022,
+            strict: true,
+        });
+        checker = program.getTypeChecker();
+        const sf = program.getSourceFile(callerPath);
+        if (sf === undefined)
+            throw new Error('fixture program produced no caller source file');
+        const calleeKey = (expr) => {
+            if (ts.isPropertyAccessExpression(expr))
+                return expr.name.text;
+            if (ts.isIdentifier(expr))
+                return expr.text;
+            return '?';
+        };
+        const visit = (n) => {
+            if (ts.isCallExpression(n))
+                calls.set(calleeKey(n.expression), n);
+            ts.forEachChild(n, visit);
+        };
+        visit(sf);
+    });
+    afterAll(() => rmSync(root, { recursive: true, force: true }));
+    it('maps a cross-package dist/*.d.ts method decl to its SOURCE file', () => {
+        expect(methodTargetFile(calls.get('getAll'), checker, root)).toBe('packages/lib/src/registry.ts');
+    });
+    it('maps an INTERFACE-attested method to its source file (the decline happens at the linker, not here)', () => {
+        // The polymorphic-dispatch class (ADR-0033 amendment #3/#4): the checker
+        // attests `ctx.setExitCode()` to an interface SIGNATURE in dist/*.d.ts.
+        // methodTargetFile still maps decl→source (it resolves FILES, not bodies);
+        // soundness is downstream — the cross-shard linker's file-scoped occurrence
+        // pin finds no concrete body for the name and DECLINES (never fabricates).
+        expect(methodTargetFile(calls.get('setExitCode'), checker, root)).toBe('packages/lib/src/registry.ts');
+    });
+    it('declines a `.d.ts` decl NOT under /dist/', () => {
+        expect(methodTargetFile(calls.get('ambient'), checker, root)).toBeNull();
+    });
+    it('declines a SOURCE-declared method (the in-shard/inline pass handles it)', () => {
+        expect(methodTargetFile(calls.get('foo'), checker, root)).toBeNull();
+    });
+    it('declines a plain (non-property-access) call', () => {
+        expect(methodTargetFile(calls.get('plain'), checker, root)).toBeNull();
+    });
+});
+//# sourceMappingURL=method-target.test.js.map

package/dist/__tests__/edge-helpers/method-target.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"method-target.test.js","sourceRoot":"","sources":["../../../src/__tests__/edge-helpers/method-target.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,WAAW,EAAE,SAAS,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,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAEnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAC;AAEvE,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAI,IAAY,CAAC;IACjB,IAAI,OAAuB,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,GAAG,EAA6B,CAAC;IAEnD,SAAS,CAAC,GAAG,EAAE;QACb,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC;QACrD,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACtE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACvE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACrE,8EAA8E;QAC9E,4EAA4E;QAC5E,6EAA6E;QAC7E,aAAa,CACX,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,CAAC,EACtD;YACE,4CAA4C;YAC5C,2DAA2D;YAC3D,EAAE;SACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;QACF,4EAA4E;QAC5E,aAAa,CACX,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,EAClD,+CAA+C,CAChD,CAAC;QACF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QACrE,aAAa,CACX,UAAU,EACV;YACE,2DAA2D;YAC3D,kDAAkD;YAClD,qBAAqB;YACrB,yBAAyB;YACzB,qBAAqB;YACrB,gCAAgC;YAChC,2BAA2B;YAC3B,eAAe,EAAE,6CAA6C;YAC9D,uBAAuB,EAAE,uDAAuD;YAChF,gBAAgB,EAAE,iCAAiC;YACnD,sBAAsB,EAAE,8CAA8C;YACtE,YAAY,EAAE,kCAAkC;YAChD,GAAG;YACH,2BAA2B;YAC3B,WAAW;SACZ,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;QACF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,CAAC,UAAU,CAAC,EAAE;YAC7C,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;YAC9B,gBAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,QAAQ;YAClD,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;YAC9B,MAAM,EAAE,IAAI;SACb,CAAC,CAAC;QACH,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;QACnC,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;QAC7C,IAAI,EAAE,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACxF,MAAM,SAAS,GAAG,CAAC,IAAmB,EAAU,EAAE;YAChD,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/D,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC,IAAI,CAAC;YAC5C,OAAO,GAAG,CAAC;QACb,CAAC,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;YAClE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;IACZ,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAE/D,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAE,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAChE,8BAA8B,CAC/B,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oGAAoG,EAAE,GAAG,EAAE;QAC5G,yEAAyE;QACzE,wEAAwE;QACxE,2EAA2E;QAC3E,4EAA4E;QAC5E,2EAA2E;QAC3E,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAE,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CACrE,8BAA8B,CAC/B,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAE,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAE,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/edge-helpers/resolve-decl.test.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Unit tests for resolveDeclToHash — the seam that maps a type-checker-resolved
+ * declaration to a catalog bodyHash, unifying in-project source hashing with the
+ * cross-package (`.d.ts` boundary) export-index resolution.
+ *
+ * The boundary branch is the heart of the exact↔sharded convergence fix: when
+ * the type checker leads a `@scope/pkg` call into the package's bodiless
+ * `dist/*.d.ts`, resolution re-routes through the SAME (import specifier + callee
+ * name) → unique exported SOURCE occurrence model the sharded linker uses —
+ * binding-required, so a name with no workspace import never resolves.
+ */
+export {};
+//# sourceMappingURL=resolve-decl.test.d.ts.map

package/dist/__tests__/edge-helpers/resolve-decl.test.d.ts.map

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

package/dist/__tests__/edge-helpers/resolve-decl.test.js

@@ -0,0 +1,176 @@
+/**
+ * Unit tests for resolveDeclToHash — the seam that maps a type-checker-resolved
+ * declaration to a catalog bodyHash, unifying in-project source hashing with the
+ * cross-package (`.d.ts` boundary) export-index resolution.
+ *
+ * The boundary branch is the heart of the exact↔sharded convergence fix: when
+ * the type checker leads a `@scope/pkg` call into the package's bodiless
+ * `dist/*.d.ts`, resolution re-routes through the SAME (import specifier + callee
+ * name) → unique exported SOURCE occurrence model the sharded linker uses —
+ * binding-required, so a name with no workspace import never resolves.
+ */
+import { mkdtempSync, mkdirSync, rmSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { buildExportIndex, buildPackageManifestIndexFromRoots } from '@opensip-cli/graph';
+import ts from 'typescript';
+import { afterAll, beforeAll, describe, expect, it } from 'vitest';
+import { resolveDeclToHash } from '../../edge-helpers/resolve-decl.js';
+const EXPORTED_HASH = 'aaaaaaaaaaaaaaaa';
+function occ(simpleName, filePath, bodyHash) {
+    return {
+        bodyHash,
+        simpleName,
+        qualifiedName: `${filePath}.${simpleName}`,
+        filePath,
+        line: 1,
+        column: 0,
+        endLine: 1,
+        kind: 'function-declaration',
+        params: [],
+        returnType: null,
+        enclosingClass: null,
+        decorators: [],
+        visibility: 'exported',
+        inTestFile: false,
+        definedInGenerated: false,
+        calls: [],
+    };
+}
+/** A bodiless `.d.ts` declaration node (the type checker's alias target). */
+function dtsDecl() {
+    const sf = ts.createSourceFile('helper.d.ts', 'export declare function helper(): void;', ts.ScriptTarget.ES2022, true);
+    const [node] = sf.statements;
+    if (node === undefined)
+        throw new Error('fixture parse produced no statement');
+    return { node, sf };
+}
+describe('resolveDeclToHash — cross-package (.d.ts) boundary resolution', () => {
+    // A two-package workspace: `@scope/lib` exports `helper` (the target the
+    // catalog holds as SOURCE), `@scope/app` is the caller package.
+    const root = mkdtempSync(join(tmpdir(), 'resolve-decl-'));
+    const libDir = join(root, 'packages', 'lib');
+    const appDir = join(root, 'packages', 'app');
+    let crossPackage;
+    let catalog;
+    beforeAll(() => {
+        mkdirSync(libDir, { recursive: true });
+        mkdirSync(appDir, { recursive: true });
+        writeFileSync(join(libDir, 'package.json'), JSON.stringify({ name: '@scope/lib' }));
+        writeFileSync(join(appDir, 'package.json'), JSON.stringify({ name: '@scope/app' }));
+        catalog = {
+            version: '3.0',
+            tool: 'graph',
+            language: 'typescript',
+            builtAt: 'x',
+            cacheKey: 'k',
+            functions: {
+                helper: [occ('helper', 'packages/lib/src/helper.ts', EXPORTED_HASH)],
+            },
+        };
+        crossPackage = {
+            exportIndex: buildExportIndex(catalog),
+            manifestIndex: buildPackageManifestIndexFromRoots([libDir, appDir], root),
+        };
+    });
+    afterAll(() => {
+        rmSync(root, { recursive: true, force: true });
+    });
+    function ctxWith(importSpecifiers) {
+        return {
+            catalog,
+            // The program/checker/sourceFile are unused by the boundary branch.
+            program: undefined,
+            typeChecker: undefined,
+            sourceFile: undefined,
+            projectDirAbs: root,
+            crossPackage,
+            importSpecifiers,
+        };
+    }
+    it('resolves a `.d.ts` decl to the SOURCE occurrence when the name is a workspace import', () => {
+        const { node, sf } = dtsDecl();
+        const ctx = ctxWith(new Map([['helper', '@scope/lib']]));
+        expect(resolveDeclToHash(node, sf, ['helper'], ctx)).toBe(EXPORTED_HASH);
+    });
+    it('declines a `.d.ts` decl with NO import binding (eliminates name-collision phantoms)', () => {
+        const { node, sf } = dtsDecl();
+        const ctx = ctxWith(new Map()); // `helper` not imported here
+        expect(resolveDeclToHash(node, sf, ['helper'], ctx)).toBeNull();
+    });
+    it('declines a `.d.ts` decl bound to an EXTERNAL package (not a workspace pkg)', () => {
+        const { node, sf } = dtsDecl();
+        const ctx = ctxWith(new Map([['helper', 'some-external-pkg']]));
+        expect(resolveDeclToHash(node, sf, ['helper'], ctx)).toBeNull();
+    });
+    it('uses a distinct binding name (namespace receiver) while looking up the callee name', () => {
+        const { node, sf } = dtsDecl();
+        // `ns` carries the workspace specifier; the exported callee name is `helper`.
+        const ctx = ctxWith(new Map([['ns', '@scope/lib']]));
+        expect(resolveDeclToHash(node, sf, ['helper'], ctx, ['helper', 'ns'])).toBe(EXPORTED_HASH);
+    });
+});
+describe('resolveDeclToHash — intra-package .d.ts→source method pin', () => {
+    // A method call `recv.m()` whose receiver type flows through the OWNER
+    // package's OWN published `dist/*.d.ts` (so the checker attests the decl in the
+    // `.d.ts`, with NO import binding for the method name). The intra-package pin
+    // maps that dist decl back to its SOURCE occurrence — resolving in BOTH engines
+    // (the target is in-shard) — while a CROSS-package method target declines
+    // (symmetry: it lives in another shard the in-shard pass can't reach).
+    const root = mkdtempSync(join(tmpdir(), 'resolve-decl-dts-'));
+    const libDir = join(root, 'packages', 'lib');
+    const appDir = join(root, 'packages', 'app');
+    const GETALL_HASH = 'cccccccccccccccc';
+    let catalog;
+    let crossPackage;
+    beforeAll(() => {
+        mkdirSync(libDir, { recursive: true });
+        mkdirSync(appDir, { recursive: true });
+        writeFileSync(join(libDir, 'package.json'), JSON.stringify({ name: '@scope/lib' }));
+        writeFileSync(join(appDir, 'package.json'), JSON.stringify({ name: '@scope/app' }));
+        catalog = {
+            version: '3.0',
+            tool: 'graph',
+            language: 'typescript',
+            builtAt: 'x',
+            cacheKey: 'k',
+            functions: { getAll: [occ('getAll', 'packages/lib/src/registry.ts', GETALL_HASH)] },
+        };
+        crossPackage = {
+            exportIndex: buildExportIndex(catalog),
+            manifestIndex: buildPackageManifestIndexFromRoots([libDir, appDir], root),
+        };
+    });
+    afterAll(() => rmSync(root, { recursive: true, force: true }));
+    /** A bodiless `dist/*.d.ts` decl at `lib`'s built output. */
+    function libDistDecl() {
+        const sf = ts.createSourceFile(join(libDir, 'dist', 'registry.d.ts'), 'export declare class R { getAll(): void; }', ts.ScriptTarget.ES2022, true);
+        const [node] = sf.statements;
+        if (node === undefined)
+            throw new Error('fixture parse produced no statement');
+        return { node, sf };
+    }
+    /** ctx whose OWNER file is `ownerAbs` (no import binding → boundary path declines). */
+    function ctxOwnedBy(ownerAbs) {
+        return {
+            catalog,
+            program: undefined,
+            typeChecker: undefined,
+            sourceFile: { fileName: ownerAbs },
+            projectDirAbs: root,
+            crossPackage,
+            importSpecifiers: new Map(),
+        };
+    }
+    it('resolves when the OWNER is in the SAME package as the dist decl', () => {
+        const { node, sf } = libDistDecl();
+        const ctx = ctxOwnedBy(join(libDir, 'src', 'caller.ts'));
+        expect(resolveDeclToHash(node, sf, ['getAll'], ctx)).toBe(GETALL_HASH);
+    });
+    it('declines when the OWNER is in a DIFFERENT package (cross-shard, left to the completeness floor)', () => {
+        const { node, sf } = libDistDecl();
+        const ctx = ctxOwnedBy(join(appDir, 'src', 'caller.ts'));
+        expect(resolveDeclToHash(node, sf, ['getAll'], ctx)).toBeNull();
+    });
+});
+//# sourceMappingURL=resolve-decl.test.js.map

package/dist/__tests__/edge-helpers/resolve-decl.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-decl.test.js","sourceRoot":"","sources":["../../../src/__tests__/edge-helpers/resolve-decl.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,WAAW,EAAE,SAAS,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,gBAAgB,EAAE,kCAAkC,EAAE,MAAM,oBAAoB,CAAC;AAC1F,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAEnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AAMvE,MAAM,aAAa,GAAG,kBAAkB,CAAC;AAEzC,SAAS,GAAG,CAAC,UAAkB,EAAE,QAAgB,EAAE,QAAgB;IACjE,OAAO;QACL,QAAQ;QACR,UAAU;QACV,aAAa,EAAE,GAAG,QAAQ,IAAI,UAAU,EAAE;QAC1C,QAAQ;QACR,IAAI,EAAE,CAAC;QACP,MAAM,EAAE,CAAC;QACT,OAAO,EAAE,CAAC;QACV,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,IAAI;QAChB,cAAc,EAAE,IAAI;QACpB,UAAU,EAAE,EAAE;QACd,UAAU,EAAE,UAAU;QACtB,UAAU,EAAE,KAAK;QACjB,kBAAkB,EAAE,KAAK;QACzB,KAAK,EAAE,EAAE;KACV,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,SAAS,OAAO;IACd,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC5B,aAAa,EACb,yCAAyC,EACzC,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,CACL,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC;IAC7B,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAC/E,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;AACtB,CAAC;AAED,QAAQ,CAAC,+DAA+D,EAAE,GAAG,EAAE;IAC7E,yEAAyE;IACzE,gEAAgE;IAChE,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;IAE7C,IAAI,YAAiC,CAAC;IACtC,IAAI,OAAgB,CAAC;IAErB,SAAS,CAAC,GAAG,EAAE;QACb,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACvC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACvC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;QACpF,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;QAEpF,OAAO,GAAG;YACR,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,YAAY;YACtB,OAAO,EAAE,GAAG;YACZ,QAAQ,EAAE,GAAG;YACb,SAAS,EAAE;gBACT,MAAM,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,4BAA4B,EAAE,aAAa,CAAC,CAAC;aACrE;SACF,CAAC;QACF,YAAY,GAAG;YACb,WAAW,EAAE,gBAAgB,CAAC,OAAO,CAAC;YACtC,aAAa,EAAE,kCAAkC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC;SAC1E,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,GAAG,EAAE;QACZ,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,SAAS,OAAO,CAAC,gBAA6C;QAC5D,OAAO;YACL,OAAO;YACP,oEAAoE;YACpE,OAAO,EAAE,SAAkC;YAC3C,WAAW,EAAE,SAAsC;YACnD,UAAU,EAAE,SAAqC;YACjD,aAAa,EAAE,IAAI;YACnB,YAAY;YACZ,gBAAgB;SACjB,CAAC;IACJ,CAAC;IAED,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,6BAA6B;QAC7D,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC;QAC/B,8EAA8E;QAC9E,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACzE,uEAAuE;IACvE,gFAAgF;IAChF,8EAA8E;IAC9E,gFAAgF;IAChF,0EAA0E;IAC1E,uEAAuE;IACvE,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;IAC7C,MAAM,WAAW,GAAG,kBAAkB,CAAC;IACvC,IAAI,OAAgB,CAAC;IACrB,IAAI,YAAiC,CAAC;IAEtC,SAAS,CAAC,GAAG,EAAE;QACb,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACvC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACvC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;QACpF,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;QACpF,OAAO,GAAG;YACR,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,YAAY;YACtB,OAAO,EAAE,GAAG;YACZ,QAAQ,EAAE,GAAG;YACb,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,8BAA8B,EAAE,WAAW,CAAC,CAAC,EAAE;SACpF,CAAC;QACF,YAAY,GAAG;YACb,WAAW,EAAE,gBAAgB,CAAC,OAAO,CAAC;YACtC,aAAa,EAAE,kCAAkC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC;SAC1E,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAE/D,6DAA6D;IAC7D,SAAS,WAAW;QAClB,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC5B,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,CAAC,EACrC,4CAA4C,EAC5C,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,CACL,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC;QAC7B,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;QAC/E,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACtB,CAAC;IAED,uFAAuF;IACvF,SAAS,UAAU,CAAC,QAAgB;QAClC,OAAO;YACL,OAAO;YACP,OAAO,EAAE,SAAkC;YAC3C,WAAW,EAAE,SAAsC;YACnD,UAAU,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAmB;YACnD,aAAa,EAAE,IAAI;YACnB,YAAY;YACZ,gBAAgB,EAAE,IAAI,GAAG,EAAE;SAC5B,CAAC;IACJ,CAAC;IAED,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iGAAiG,EAAE,GAAG,EAAE;QACzG,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,11 @@
+/**
+ * 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.
+ */
+export {};
+//# sourceMappingURL=branches.test.d.ts.map

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

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