@opensip-cli/graph 0.1.1 → 0.1.2

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

@@ -0,0 +1,189 @@
+/**
+ * Regression: dynamic `import()` must count as a reachability edge.
+ *
+ * Verified false positive (the bug this guards): a CLI command module
+ * reached only through
+ *   `const { runReplay } = await import('../commands/.../replay.js')`
+ * was flagged as an orphan — and so were the helpers it calls
+ * (`parseArgs` / `formatOutcomeTag`) — because the static call-graph
+ * resolver cannot trace a binding through a dynamic import, so neither
+ * the importing call nor a static import edge ever marked the target
+ * module reachable.
+ *
+ * The fix (heuristic 6 in `_entry-points.ts`) treats the dynamic-import
+ * target the same way a static import makes the imported module's
+ * exported surface reachable: it resolves the relative specifier to the
+ * target file and seeds that file's EXPORTED occurrences as entry points.
+ *
+ * These tests mirror the real catalog edge topology observed from the
+ * TypeScript pipeline for the `const { x } = await import('./mod.js')`
+ * form: the importing function carries an UNRESOLVED `import('./mod.js')`
+ * call edge (`to: []`) plus an UNRESOLVED `runReplay(...)` call edge
+ * (the destructured binding the resolver could not trace), while the
+ * target module's exported function resolves edges to its own private
+ * helpers.
+ */
+import { describe, expect, it } from 'vitest';
+import { buildIndexes } from '../../pipeline/indexes.js';
+import { inferEntryPoints } from '../../rules/_entry-points.js';
+import { orphanSubtreeRule } from '../../rules/orphan-subtree.js';
+import { edge, makeCatalog, occ, staticCall } from './_helpers.js';
+/**
+ * Build the `registry.ts` + `replay.ts` cluster:
+ *   - `dispatch` (exported, registry.ts): dynamic-imports replay.js and
+ *     calls the destructured `runReplay`; both edges are UNRESOLVED.
+ *   - `runReplay` (exported, replay.js): calls its private helpers.
+ *   - `parseArgs` / `formatOutcomeTag` (module-local, replay.js).
+ */
+function dynamicImportCluster() {
+    const dispatch = occ({
+        bodyHash: 'dispatch',
+        simpleName: 'dispatch',
+        visibility: 'exported',
+        filePath: 'src/registry.ts',
+        // Unresolved (to: []) — exactly what the TS resolver emits for a
+        // dynamic import and a binding it cannot trace.
+        calls: [edge("import('./replay.js')"), edge('runReplay([])')],
+    });
+    const runReplay = occ({
+        bodyHash: 'runReplay',
+        simpleName: 'runReplay',
+        visibility: 'exported',
+        filePath: 'src/replay.ts',
+        calls: [staticCall('parseArgs'), staticCall('formatOutcomeTag')],
+    });
+    const parseArgs = occ({
+        bodyHash: 'parseArgs',
+        simpleName: 'parseArgs',
+        visibility: 'module-local',
+        filePath: 'src/replay.ts',
+    });
+    const formatOutcomeTag = occ({
+        bodyHash: 'formatOutcomeTag',
+        simpleName: 'formatOutcomeTag',
+        visibility: 'module-local',
+        filePath: 'src/replay.ts',
+    });
+    return makeCatalog([dispatch, runReplay, parseArgs, formatOutcomeTag]);
+}
+describe('orphan-subtree — dynamic import reachability (heuristic 6)', () => {
+    it('seeds an exported dynamic-import target as an entry point', () => {
+        const catalog = dynamicImportCluster();
+        const eps = inferEntryPoints(catalog, buildIndexes(catalog));
+        const runReplayEp = eps.find((e) => e.bodyHash === 'runReplay');
+        expect(runReplayEp).toBeDefined();
+        // It is seeded specifically by the dynamic-import heuristic (it has no
+        // in-project caller, so it would also satisfy no-callers-exported; the
+        // dynamic-import reason is what survives dedup for the FIRST classifier
+        // that fires — assert the symbol is an entry point either way).
+        expect(['dynamic-import', 'no-callers-exported']).toContain(runReplayEp.reason);
+    });
+    it('does NOT flag a symbol reachable only via `await import()` destructure', () => {
+        const catalog = dynamicImportCluster();
+        const orphans = orphanSubtreeRule
+            // flagExportedOrphans + flagTestOrphans left default; the helpers are
+            // module-local so the exported filter does not mask them.
+            .evaluate(catalog, buildIndexes(catalog), {})
+            .map((s) => s.metadata.simpleName);
+        // The whole dynamic-import subtree is reachable — none are orphans.
+        expect(orphans).not.toContain('runReplay');
+        expect(orphans).not.toContain('parseArgs');
+        expect(orphans).not.toContain('formatOutcomeTag');
+    });
+    it('keeps flagging a genuinely unreferenced exported function (true positive preserved)', () => {
+        // A dead exported function whose file is NOT a dynamic-import target,
+        // reached only by a dead module-local caller. With flagExportedOrphans
+        // it must still be flagged — the dynamic-import heuristic only adds
+        // reachability for actually-imported files, never suppresses orphans.
+        const deadCaller = occ({
+            bodyHash: 'dc',
+            simpleName: 'deadCaller',
+            visibility: 'module-local',
+            filePath: 'src/dead.ts',
+            calls: [staticCall('ue')],
+        });
+        const unusedExport = occ({
+            bodyHash: 'ue',
+            simpleName: 'unusedExport',
+            visibility: 'exported',
+            filePath: 'src/dead.ts',
+        });
+        // Plus the dynamic-import cluster, to prove the two are isolated.
+        const cluster = dynamicImportCluster();
+        const catalog = makeCatalog([
+            deadCaller,
+            unusedExport,
+            ...Object.values(cluster.functions).flat(),
+        ]);
+        const indexes = buildIndexes(catalog);
+        const orphans = orphanSubtreeRule
+            .evaluate(catalog, indexes, { flagExportedOrphans: true })
+            .map((s) => s.metadata.simpleName);
+        expect(orphans).toContain('deadCaller'); // dead module-local caller
+        expect(orphans).toContain('unusedExport'); // genuine exported orphan
+        // ...and the dynamic-import subtree stays reachable.
+        expect(orphans).not.toContain('runReplay');
+        expect(orphans).not.toContain('parseArgs');
+        expect(orphans).not.toContain('formatOutcomeTag');
+    });
+    it('seeds the dynamic-import target even when no-callers-exported does NOT apply', () => {
+        // Isolate heuristic 6 from heuristic 5: the dynamic-import target has a
+        // (dead) in-project caller, so `no-callers-exported` does NOT classify it.
+        // Only the dynamic-import heuristic can seed it as an entry point.
+        const importer = occ({
+            bodyHash: 'imp',
+            simpleName: 'lazyDispatch',
+            visibility: 'exported',
+            filePath: 'src/registry.ts',
+            calls: [edge("import('./replay.js')"), edge('runReplay()')],
+        });
+        const runReplay = occ({
+            bodyHash: 'runReplay',
+            simpleName: 'runReplay',
+            visibility: 'exported',
+            filePath: 'src/replay.ts',
+        });
+        // A dead module-local caller gives runReplay an in-project caller, so
+        // hasExternalCaller() is true and no-callers-exported is suppressed.
+        const deadCaller = occ({
+            bodyHash: 'dead',
+            simpleName: 'deadStaticCaller',
+            visibility: 'module-local',
+            filePath: 'src/replay.ts',
+            calls: [staticCall('runReplay')],
+        });
+        const catalog = makeCatalog([importer, runReplay, deadCaller]);
+        const eps = inferEntryPoints(catalog, buildIndexes(catalog));
+        const ep = eps.find((e) => e.bodyHash === 'runReplay');
+        expect(ep?.reason).toBe('dynamic-import');
+    });
+    it('tolerates the `.js → .ts` ESM extension rewrite and bare specifiers', () => {
+        // Importing file uses an extensionless specifier; target is a .tsx file.
+        const importer = occ({
+            bodyHash: 'imp',
+            simpleName: 'lazyLoad',
+            visibility: 'exported',
+            filePath: 'src/app.ts',
+            calls: [edge("import('./views/panel')"), edge('mountPanel()')],
+        });
+        const mountPanel = occ({
+            bodyHash: 'mp',
+            simpleName: 'mountPanel',
+            visibility: 'exported',
+            filePath: 'src/views/panel.tsx',
+        });
+        // A bare/workspace dynamic import resolves outside the catalog — must be
+        // ignored without error.
+        const bare = occ({
+            bodyHash: 'bare',
+            simpleName: 'loadExternal',
+            visibility: 'exported',
+            filePath: 'src/ext.ts',
+            calls: [edge("import('node:fs')")],
+        });
+        const catalog = makeCatalog([importer, mountPanel, bare]);
+        const eps = inferEntryPoints(catalog, buildIndexes(catalog));
+        expect(eps.find((e) => e.bodyHash === 'mp')).toBeDefined();
+    });
+});
+//# sourceMappingURL=orphan-subtree-dynamic-import.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"orphan-subtree-dynamic-import.test.js","sourceRoot":"","sources":["../../../src/__tests__/rules/orphan-subtree-dynamic-import.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAEnE;;;;;;GAMG;AACH,SAAS,oBAAoB;IAC3B,MAAM,QAAQ,GAAG,GAAG,CAAC;QACnB,QAAQ,EAAE,UAAU;QACpB,UAAU,EAAE,UAAU;QACtB,UAAU,EAAE,UAAU;QACtB,QAAQ,EAAE,iBAAiB;QAC3B,iEAAiE;QACjE,gDAAgD;QAChD,KAAK,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;KAC9D,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,GAAG,CAAC;QACpB,QAAQ,EAAE,WAAW;QACrB,UAAU,EAAE,WAAW;QACvB,UAAU,EAAE,UAAU;QACtB,QAAQ,EAAE,eAAe;QACzB,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC,kBAAkB,CAAC,CAAC;KACjE,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,GAAG,CAAC;QACpB,QAAQ,EAAE,WAAW;QACrB,UAAU,EAAE,WAAW;QACvB,UAAU,EAAE,cAAc;QAC1B,QAAQ,EAAE,eAAe;KAC1B,CAAC,CAAC;IACH,MAAM,gBAAgB,GAAG,GAAG,CAAC;QAC3B,QAAQ,EAAE,kBAAkB;QAC5B,UAAU,EAAE,kBAAkB;QAC9B,UAAU,EAAE,cAAc;QAC1B,QAAQ,EAAE,eAAe;KAC1B,CAAC,CAAC;IACH,OAAO,WAAW,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,QAAQ,CAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,OAAO,GAAG,oBAAoB,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7D,MAAM,WAAW,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC;QAChE,MAAM,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QAClC,uEAAuE;QACvE,uEAAuE;QACvE,wEAAwE;QACxE,gEAAgE;QAChE,MAAM,CAAC,CAAC,gBAAgB,EAAE,qBAAqB,CAAC,CAAC,CAAC,SAAS,CAAC,WAAY,CAAC,MAAM,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,OAAO,GAAG,oBAAoB,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,iBAAiB;YAC/B,sEAAsE;YACtE,0DAA0D;aACzD,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;aAC5C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACrC,oEAAoE;QACpE,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,sEAAsE;QACtE,uEAAuE;QACvE,oEAAoE;QACpE,sEAAsE;QACtE,MAAM,UAAU,GAAG,GAAG,CAAC;YACrB,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,YAAY;YACxB,UAAU,EAAE,cAAc;YAC1B,QAAQ,EAAE,aAAa;YACvB,KAAK,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;SAC1B,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,GAAG,CAAC;YACvB,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,cAAc;YAC1B,UAAU,EAAE,UAAU;YACtB,QAAQ,EAAE,aAAa;SACxB,CAAC,CAAC;QACH,kEAAkE;QAClE,MAAM,OAAO,GAAG,oBAAoB,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,WAAW,CAAC;YAC1B,UAAU;YACV,YAAY;YACZ,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE;SAC3C,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QAEtC,MAAM,OAAO,GAAG,iBAAiB;aAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC;aACzD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACrC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,2BAA2B;QACpE,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,0BAA0B;QACrE,qDAAqD;QACrD,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,wEAAwE;QACxE,2EAA2E;QAC3E,mEAAmE;QACnE,MAAM,QAAQ,GAAG,GAAG,CAAC;YACnB,QAAQ,EAAE,KAAK;YACf,UAAU,EAAE,cAAc;YAC1B,UAAU,EAAE,UAAU;YACtB,QAAQ,EAAE,iBAAiB;YAC3B,KAAK,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;SAC5D,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,GAAG,CAAC;YACpB,QAAQ,EAAE,WAAW;YACrB,UAAU,EAAE,WAAW;YACvB,UAAU,EAAE,UAAU;YACtB,QAAQ,EAAE,eAAe;SAC1B,CAAC,CAAC;QACH,sEAAsE;QACtE,qEAAqE;QACrE,MAAM,UAAU,GAAG,GAAG,CAAC;YACrB,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,kBAAkB;YAC9B,UAAU,EAAE,cAAc;YAC1B,QAAQ,EAAE,eAAe;YACzB,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;SACjC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;QAC/D,MAAM,GAAG,GAAG,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7D,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC;QACvD,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,yEAAyE;QACzE,MAAM,QAAQ,GAAG,GAAG,CAAC;YACnB,QAAQ,EAAE,KAAK;YACf,UAAU,EAAE,UAAU;YACtB,UAAU,EAAE,UAAU;YACtB,QAAQ,EAAE,YAAY;YACtB,KAAK,EAAE,CAAC,IAAI,CAAC,yBAAyB,CAAC,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;SAC/D,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,GAAG,CAAC;YACrB,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,YAAY;YACxB,UAAU,EAAE,UAAU;YACtB,QAAQ,EAAE,qBAAqB;SAChC,CAAC,CAAC;QACH,yEAAyE;QACzE,yBAAyB;QACzB,MAAM,IAAI,GAAG,GAAG,CAAC;YACf,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,cAAc;YAC1B,UAAU,EAAE,UAAU;YACtB,QAAQ,EAAE,YAAY;YACtB,KAAK,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;SACnC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1D,MAAM,GAAG,GAAG,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/rules/_entry-points.d.ts

@@ -14,14 +14,28 @@
  *     does not resolve) is still an external entry point — counting its
  *     own recursion as a "caller" would wrongly hide it (and its whole
  *     file-local helper subtree) as an orphan.
+ *  6. It's an EXPORTED symbol of a module reached via a dynamic
+ *     `import('<spec>')` / `await import('<spec>')` expression (including
+ *     the `const { x } = await import(...)` destructure form). The call
+ *     graph's static resolver cannot trace a binding through a dynamic
+ *     import, so a function reached only that way would otherwise look
+ *     orphaned. We treat the dynamic-import target the same way a static
+ *     import edge makes the imported module's exported surface reachable:
+ *     resolve the relative specifier to the target file and seed its
+ *     exported occurrences as entry points. This is conservative — it
+ *     only adds reachability (never suppresses a genuine orphan), and it
+ *     fires solely on exported symbols of an actually-imported file.
  *
  * v0.2 ships heuristics 3, 4, 5; 1 and 2 are project-specific and
- * deferred until cross-package call resolution is reliable.
+ * deferred until cross-package call resolution is reliable. Heuristic 6
+ * (dynamic-import reachability) was added to fix a verified false
+ * positive: a CLI command reached only via
+ * `const { runReplay } = await import('../commands/.../replay.js')`.
  */
 import type { Catalog, Indexes } from '../types.js';
 export interface EntryPoint {
     readonly bodyHash: string;
-    readonly reason: 'module-init' | 'name-match' | 'no-callers-exported';
+    readonly reason: 'module-init' | 'name-match' | 'no-callers-exported' | 'dynamic-import';
 }
 export declare function inferEntryPoints(catalog: Catalog, indexes: Indexes): readonly EntryPoint[];
 //# sourceMappingURL=_entry-points.d.ts.map

package/dist/rules/_entry-points.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"_entry-points.d.ts","sourceRoot":"","sources":["../../src/rules/_entry-points.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAsB,OAAO,EAAE,MAAM,aAAa,CAAC;AAYxE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,YAAY,GAAG,qBAAqB,CAAC;CACvE;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAW1F"}
+{"version":3,"file":"_entry-points.d.ts","sourceRoot":"","sources":["../../src/rules/_entry-points.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAsB,OAAO,EAAE,MAAM,aAAa,CAAC;AAYxE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,YAAY,GAAG,qBAAqB,GAAG,gBAAgB,CAAC;CAC1F;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAyB1F"}

package/dist/rules/_entry-points.js

@@ -15,9 +15,23 @@
  *     does not resolve) is still an external entry point — counting its
  *     own recursion as a "caller" would wrongly hide it (and its whole
  *     file-local helper subtree) as an orphan.
+ *  6. It's an EXPORTED symbol of a module reached via a dynamic
+ *     `import('<spec>')` / `await import('<spec>')` expression (including
+ *     the `const { x } = await import(...)` destructure form). The call
+ *     graph's static resolver cannot trace a binding through a dynamic
+ *     import, so a function reached only that way would otherwise look
+ *     orphaned. We treat the dynamic-import target the same way a static
+ *     import edge makes the imported module's exported surface reachable:
+ *     resolve the relative specifier to the target file and seed its
+ *     exported occurrences as entry points. This is conservative — it
+ *     only adds reachability (never suppresses a genuine orphan), and it
+ *     fires solely on exported symbols of an actually-imported file.
  *
  * v0.2 ships heuristics 3, 4, 5; 1 and 2 are project-specific and
- * deferred until cross-package call resolution is reliable.
+ * deferred until cross-package call resolution is reliable. Heuristic 6
+ * (dynamic-import reachability) was added to fix a verified false
+ * positive: a CLI command reached only via
+ * `const { runReplay } = await import('../commands/.../replay.js')`.
  */
 const NAME_HEURISTICS = new Set([
     'main',
@@ -30,10 +44,23 @@ const NAME_HEURISTICS = new Set([
 ]);
 export function inferEntryPoints(catalog, indexes) {
     const out = [];
+    const seen = new Set();
     for (const occ of indexes.byBodyHash.values()) {
         const reason = classify(occ, indexes);
-        if (reason !== null)
+        if (reason !== null) {
             out.push({ bodyHash: occ.bodyHash, reason });
+            seen.add(occ.bodyHash);
+        }
+    }
+    // Heuristic 6: exported symbols of any dynamically-imported module are
+    // entry points (the static call resolver cannot trace a binding through
+    // `import(...)`). Deduped against the heuristics above so a function is
+    // never emitted twice.
+    for (const hash of dynamicImportEntryHashes(indexes)) {
+        if (!seen.has(hash)) {
+            out.push({ bodyHash: hash, reason: 'dynamic-import' });
+            seen.add(hash);
+        }
     }
     // Honor caller-supplied override at the rule level via GraphConfig
     // (handled by the consuming rule). This module returns the inferred
@@ -78,4 +105,122 @@ function hasExternalCaller(occ, indexes) {
     }
     return false;
 }
+/**
+ * Matches a dynamic-import call expression and captures its specifier:
+ * `import('./x.js')`, `await import("./x")`, and the
+ * `const { y } = await import('./x.js')` destructure form all surface in
+ * the catalog as a call edge whose `text` begins with `import(` followed
+ * by the string-literal specifier. We capture the specifier verbatim.
+ */
+const DYNAMIC_IMPORT_RE = /\bimport\(\s*['"]([^'"]+)['"]\s*\)/;
+/**
+ * Body hashes of every EXPORTED occurrence that lives in a file targeted
+ * by a dynamic `import('<spec>')` anywhere in the project. Built by:
+ *  1. collecting every relative dynamic-import specifier (from call-edge
+ *     text), resolved to a project-relative target path against the
+ *     importing occurrence's directory;
+ *  2. mapping those target paths to the catalog's actual file paths
+ *     (tolerating the `.js → .ts/.tsx` ESM extension rewrite and
+ *     `index` directory imports);
+ *  3. emitting the exported occurrences declared in each matched file.
+ *
+ * Bare/workspace specifiers (`@scope/pkg`, `node:fs`) are ignored — they
+ * resolve outside the catalog and the exported-no-caller heuristic
+ * already covers cross-package surface.
+ */
+function dynamicImportEntryHashes(indexes) {
+    const targetFiles = collectDynamicImportTargetFiles(indexes);
+    if (targetFiles.size === 0)
+        return [];
+    const exportedByFile = buildExportedByFile(indexes);
+    const out = [];
+    for (const target of targetFiles) {
+        for (const candidate of candidateFilePaths(target)) {
+            const occs = exportedByFile.get(candidate);
+            if (occs) {
+                for (const o of occs)
+                    out.push(o.bodyHash);
+            }
+        }
+    }
+    return out;
+}
+/** Resolve every relative dynamic-import specifier to a project-relative
+ *  (extension-bearing) target path, keyed off the importing occurrence's
+ *  directory. */
+function collectDynamicImportTargetFiles(indexes) {
+    const targets = new Set();
+    for (const occ of indexes.byBodyHash.values()) {
+        for (const call of occ.calls) {
+            const match = DYNAMIC_IMPORT_RE.exec(call.text);
+            if (!match)
+                continue;
+            const specifier = match[1];
+            // Only relative specifiers resolve into the catalog.
+            if (!specifier.startsWith('.'))
+                continue;
+            targets.add(resolveRelative(dirOf(occ.filePath), specifier));
+        }
+    }
+    return targets;
+}
+/** filePath → exported function occurrences declared in that file. */
+function buildExportedByFile(indexes) {
+    const byFile = new Map();
+    for (const occ of indexes.byBodyHash.values()) {
+        if (occ.visibility !== 'exported')
+            continue;
+        if (!occ.filePath)
+            continue;
+        const bucket = byFile.get(occ.filePath);
+        if (bucket)
+            bucket.push(occ);
+        else
+            byFile.set(occ.filePath, [occ]);
+    }
+    return byFile;
+}
+/** Project-relative posix directory of a file ('' for a root-level file). */
+function dirOf(filePath) {
+    const slash = filePath.lastIndexOf('/');
+    return slash === -1 ? '' : filePath.slice(0, slash);
+}
+/** Resolve a relative specifier against a posix directory, collapsing
+ *  `.` / `..` segments. Returns a project-relative posix path. */
+function resolveRelative(dir, specifier) {
+    const segments = dir.length > 0 ? dir.split('/') : [];
+    for (const part of specifier.split('/')) {
+        if (part === '' || part === '.')
+            continue;
+        if (part === '..')
+            segments.pop();
+        else
+            segments.push(part);
+    }
+    return segments.join('/');
+}
+/** Candidate catalog file paths a resolved specifier may map to —
+ *  tolerating the ESM `.js → .ts/.tsx` rewrite and `index` imports.
+ *  Order is irrelevant; lookups are exact-match against real files. */
+function candidateFilePaths(target) {
+    const base = stripKnownExtension(target);
+    return [
+        target,
+        `${base}.ts`,
+        `${base}.tsx`,
+        `${base}.js`,
+        `${base}.jsx`,
+        `${base}.mts`,
+        `${base}.cts`,
+        `${base}/index.ts`,
+        `${base}/index.tsx`,
+        `${base}/index.js`,
+    ];
+}
+/** Drop a trailing JS/TS module extension so the `.js → .ts` ESM rewrite
+ *  can be re-applied as candidates. Leaves an extensionless path intact. */
+function stripKnownExtension(path) {
+    const match = /\.(?:js|jsx|mjs|cjs|ts|tsx|mts|cts)$/.exec(path);
+    return match ? path.slice(0, path.length - match[0].length) : path;
+}
 //# sourceMappingURL=_entry-points.js.map

package/dist/rules/_entry-points.js.map

@@ -1 +1 @@
-{"version":3,"file":"_entry-points.js","sourceRoot":"","sources":["../../src/rules/_entry-points.ts"],"names":[],"mappings":"AAAA,2HAA2H;AAC3H;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;IAC9B,MAAM;IACN,KAAK;IACL,OAAO;IACP,UAAU;IACV,YAAY;IACZ,MAAM;IACN,WAAW;CACZ,CAAC,CAAC;AAOH,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,OAAgB;IACjE,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IACpE,CAAC;IACD,mEAAmE;IACnE,oEAAoE;IACpE,oDAAoD;IACpD,KAAK,OAAO,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,GAAuB,EAAE,OAAgB;IACzD,kEAAkE;IAClE,4DAA4D;IAC5D,8DAA8D;IAC9D,iEAAiE;IACjE,gEAAgE;IAChE,gEAAgE;IAChE,8DAA8D;IAC9D,wBAAwB;IACxB,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,aAAa,CAAC;IACrD,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,YAAY,CAAC;IAC7D,IAAI,GAAG,CAAC,UAAU,KAAK,UAAU,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC;QACtE,oEAAoE;QACpE,mEAAmE;QACnE,iEAAiE;QACjE,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CAAC,GAAuB,EAAE,OAAgB;IAClE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACxC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,KAAK,GAAG,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;IAC3C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"_entry-points.js","sourceRoot":"","sources":["../../src/rules/_entry-points.ts"],"names":[],"mappings":"AAAA,2HAA2H;AAC3H;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAIH,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;IAC9B,MAAM;IACN,KAAK;IACL,OAAO;IACP,UAAU;IACV,YAAY;IACZ,MAAM;IACN,WAAW;CACZ,CAAC,CAAC;AAOH,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,OAAgB;IACjE,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;YAC7C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,uEAAuE;IACvE,wEAAwE;IACxE,wEAAwE;IACxE,uBAAuB;IACvB,KAAK,MAAM,IAAI,IAAI,wBAAwB,CAAC,OAAO,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;YACvD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IACD,mEAAmE;IACnE,oEAAoE;IACpE,oDAAoD;IACpD,KAAK,OAAO,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,GAAuB,EAAE,OAAgB;IACzD,kEAAkE;IAClE,4DAA4D;IAC5D,8DAA8D;IAC9D,iEAAiE;IACjE,gEAAgE;IAChE,gEAAgE;IAChE,8DAA8D;IAC9D,wBAAwB;IACxB,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,aAAa,CAAC;IACrD,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,YAAY,CAAC;IAC7D,IAAI,GAAG,CAAC,UAAU,KAAK,UAAU,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC;QACtE,oEAAoE;QACpE,mEAAmE;QACnE,iEAAiE;QACjE,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CAAC,GAAuB,EAAE,OAAgB;IAClE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACxC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,KAAK,GAAG,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;IAC3C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,iBAAiB,GAAG,oCAAoC,CAAC;AAE/D;;;;;;;;;;;;;;GAcG;AACH,SAAS,wBAAwB,CAAC,OAAgB;IAChD,MAAM,WAAW,GAAG,+BAA+B,CAAC,OAAO,CAAC,CAAC;IAC7D,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEtC,MAAM,cAAc,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;QACjC,KAAK,MAAM,SAAS,IAAI,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;YACnD,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC3C,IAAI,IAAI,EAAE,CAAC;gBACT,KAAK,MAAM,CAAC,IAAI,IAAI;oBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;iBAEiB;AACjB,SAAS,+BAA+B,CAAC,OAAgB;IACvD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,CAAC,KAAK;gBAAE,SAAS;YACrB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAC3B,qDAAqD;YACrD,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YACzC,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,sEAAsE;AACtE,SAAS,mBAAmB,CAAC,OAAgB;IAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,IAAI,GAAG,CAAC,UAAU,KAAK,UAAU;YAAE,SAAS;QAC5C,IAAI,CAAC,GAAG,CAAC,QAAQ;YAAE,SAAS;QAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;YACxB,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,6EAA6E;AAC7E,SAAS,KAAK,CAAC,QAAgB;IAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACxC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACtD,CAAC;AAED;kEACkE;AAClE,SAAS,eAAe,CAAC,GAAW,EAAE,SAAiB;IACrD,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACxC,IAAI,IAAI,KAAK,EAAE,IAAI,IAAI,KAAK,GAAG;YAAE,SAAS;QAC1C,IAAI,IAAI,KAAK,IAAI;YAAE,QAAQ,CAAC,GAAG,EAAE,CAAC;;YAC7B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC5B,CAAC;AAED;;uEAEuE;AACvE,SAAS,kBAAkB,CAAC,MAAc;IACxC,MAAM,IAAI,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACzC,OAAO;QACL,MAAM;QACN,GAAG,IAAI,KAAK;QACZ,GAAG,IAAI,MAAM;QACb,GAAG,IAAI,KAAK;QACZ,GAAG,IAAI,MAAM;QACb,GAAG,IAAI,MAAM;QACb,GAAG,IAAI,MAAM;QACb,GAAG,IAAI,WAAW;QAClB,GAAG,IAAI,YAAY;QACnB,GAAG,IAAI,WAAW;KACnB,CAAC;AACJ,CAAC;AAED;4EAC4E;AAC5E,SAAS,mBAAmB,CAAC,IAAY;IACvC,MAAM,KAAK,GAAG,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACrE,CAAC"}

package/dist/rules/always-throws-branch.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"always-throws-branch.d.ts","sourceRoot":"","sources":["../../src/rules/always-throws-branch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AASH,eAAO,MAAM,sBAAsB,4BAoCjC,CAAC"}
+{"version":3,"file":"always-throws-branch.d.ts","sourceRoot":"","sources":["../../src/rules/always-throws-branch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AA6FH,eAAO,MAAM,sBAAsB,4BAqDjC,CAAC"}

package/dist/rules/always-throws-branch.js

@@ -25,11 +25,88 @@
 import { createGraphSignal } from './create-graph-signal.js';
 import { defineRule } from './define-rule.js';
 const TYPESCRIPT_FALLBACK_THROW_REGEX = /^\s*throw\s+(?:new\s+)?[A-Z]\w*/;
+/**
+ * Prefix the adapters stamp onto a *creation* edge (`[creates] () => …`),
+ * mirroring `CREATION_EDGE_PREFIX` in `lang-adapter/edge-helpers.ts`. An
+ * occurrence that is the TARGET of such an edge is an inline callable
+ * (arrow / function-expression) that some enclosing scope merely *creates*
+ * and returns/passes — not a standalone helper the program calls for its
+ * always-throwing effect. Inlined here (rather than imported) to keep this
+ * rule module dependency-free of the edge-helper surface; the literal is the
+ * documented producer-side contract.
+ */
+const CREATION_EDGE_PREFIX = '[creates] ';
+/**
+ * A function "appears to always throw" only when a throw is reachable in its
+ * OWN control flow. A `throw` that lives inside a NESTED function expression /
+ * arrow / returned closure is NOT the outer function's control flow — the outer
+ * function merely RETURNS or PASSES the closure; the throw fires only when the
+ * inner callable is later invoked.
+ *
+ * Two boundaries enforce that, both conservative (genuine always-throw helpers
+ * keep firing):
+ *
+ *  1. **Nested-body boundary.** When an adapter attributes a throw-shaped edge
+ *     to an enclosing occurrence even though the throw textually lives inside a
+ *     nested function declared within that occurrence's source span, the edge is
+ *     not part of the enclosing function's own control flow. We drop any edge
+ *     whose source line falls inside a nested occurrence's `[line, endLine]`
+ *     span before testing "every remaining edge is a throw."
+ *
+ *  2. **Returned-closure boundary.** The flagged occurrence is itself an inline
+ *     callable that an enclosing scope created (the target of a `[creates] …`
+ *     edge). A Proxy `get` trap of the form `get() { return () => { throw … } }`
+ *     produces exactly this: the inner arrow's only edge is the throw, but the
+ *     arrow is a lazily-throwing closure the trap returns — invoking the trap
+ *     does NOT throw. We never flag an occurrence that is a created inline
+ *     callable.
+ */
+function collectCreatedInlineCallableHashes(catalog) {
+    const created = new Set();
+    for (const occurrences of Object.values(catalog.functions)) {
+        for (const occ of occurrences) {
+            for (const e of occ.calls) {
+                if (!e.text.startsWith(CREATION_EDGE_PREFIX))
+                    continue;
+                for (const targetHash of e.to)
+                    created.add(targetHash);
+            }
+        }
+    }
+    return created;
+}
+/**
+ * Nested occurrences declared *inside* `outer`'s source span (same file,
+ * strictly contained `[line, endLine]`, not `outer` itself). A throw edge whose
+ * source line falls within one of these spans belongs to the nested function's
+ * control flow, not `outer`'s.
+ */
+function nestedSpansWithin(outer, catalog) {
+    const spans = [];
+    for (const occurrences of Object.values(catalog.functions)) {
+        for (const occ of occurrences) {
+            if (occ.filePath !== outer.filePath)
+                continue;
+            if (occ.bodyHash === outer.bodyHash && occ.line === outer.line && occ.column === outer.column)
+                continue;
+            // Strictly contained within the outer's declaration span.
+            if (occ.line >= outer.line && occ.endLine <= outer.endLine && occ.line > outer.line) {
+                spans.push({ line: occ.line, endLine: occ.endLine });
+            }
+        }
+    }
+    return spans;
+}
+/** True when `edge`'s source line falls inside any nested-function span. */
+function edgeIsInsideNestedFunction(edge, nestedSpans) {
+    return nestedSpans.some((s) => edge.line >= s.line && edge.line <= s.endLine);
+}
 export const alwaysThrowsBranchRule = defineRule({
     slug: 'graph:always-throws-branch',
     defaultSeverity: 'warning',
-    evaluate({ indexes, hints, config }) {
+    evaluate({ catalog, indexes, hints, config }) {
         const throwRegex = hints?.throwSyntaxRegex ?? TYPESCRIPT_FALLBACK_THROW_REGEX;
+        const createdInlineCallables = collectCreatedInlineCallableHashes(catalog);
         const signals = [];
         for (const occ of indexes.byBodyHash.values()) {
             if (occ.kind === 'module-init')
@@ -41,11 +118,28 @@ export const alwaysThrowsBranchRule = defineRule({
             // rule applies.
             if (occ.inTestFile)
                 continue;
+            // Returned-closure boundary: this occurrence is an inline callable that
+            // an enclosing scope created and returns/passes. A throw in its body
+            // fires only when the closure is later invoked — it is NOT the creating
+            // function's control flow (the Proxy-`get`-trap false positive).
+            if (createdInlineCallables.has(occ.bodyHash))
+                continue;
             if (occ.calls.length === 0)
                 continue;
-            // All edges look like throw shapes — every documented call site
-            // is a throw / raise / panic per the adapter's regex.
-            const everyCallIsThrow = occ.calls.every((e) => throwRegex.test(e.text));
+            // Nested-body boundary: drop edges that textually live inside a nested
+            // function declared within this occurrence's span — they are the nested
+            // function's control flow, not this one's.
+            const nestedSpans = nestedSpansWithin(occ, catalog);
+            const ownControlFlowEdges = nestedSpans.length === 0
+                ? occ.calls
+                : occ.calls.filter((e) => !edgeIsInsideNestedFunction(e, nestedSpans));
+            // If every throw-shaped edge was inside a nested function, this
+            // function has no own-control-flow throw — do not flag.
+            if (ownControlFlowEdges.length === 0)
+                continue;
+            // All remaining (own-control-flow) edges look like throw shapes — every
+            // documented call site is a throw / raise / panic per the adapter's regex.
+            const everyCallIsThrow = ownControlFlowEdges.every((e) => throwRegex.test(e.text));
             if (!everyCallIsThrow)
                 continue;
             signals.push(createGraphSignal('graph:always-throws-branch', config, {
@@ -56,7 +150,7 @@ export const alwaysThrowsBranchRule = defineRule({
                 suggestion: 'Inline the throw at every caller, or document the precondition this function enforces.',
                 metadata: {
                     qualifiedName: occ.qualifiedName,
-                    edgeCount: occ.calls.length,
+                    edgeCount: ownControlFlowEdges.length,
                 },
             }));
         }

package/dist/rules/always-throws-branch.js.map

@@ -1 +1 @@
-{"version":3,"file":"always-throws-branch.js","sourceRoot":"","sources":["../../src/rules/always-throws-branch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAI9C,MAAM,+BAA+B,GAAG,iCAAiC,CAAC;AAE1E,MAAM,CAAC,MAAM,sBAAsB,GAAG,UAAU,CAAC;IAC/C,IAAI,EAAE,4BAA4B;IAClC,eAAe,EAAE,SAAS;IAC1B,QAAQ,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE;QACjC,MAAM,UAAU,GAAG,KAAK,EAAE,gBAAgB,IAAI,+BAA+B,CAAC;QAC9E,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YAC9C,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa;gBAAE,SAAS;YACzC,4DAA4D;YAC5D,kEAAkE;YAClE,oEAAoE;YACpE,qEAAqE;YACrE,gBAAgB;YAChB,IAAI,GAAG,CAAC,UAAU;gBAAE,SAAS;YAC7B,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACrC,gEAAgE;YAChE,sDAAsD;YACtD,MAAM,gBAAgB,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACzE,IAAI,CAAC,gBAAgB;gBAAE,SAAS;YAChC,OAAO,CAAC,IAAI,CACV,iBAAiB,CAAC,4BAA4B,EAAE,MAAM,EAAE;gBACtD,QAAQ,EAAE,KAAK;gBACf,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,GAAG,GAAG,CAAC,UAAU,2BAA2B;gBACrD,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;gBAChE,UAAU,EACR,wFAAwF;gBAC1F,QAAQ,EAAE;oBACR,aAAa,EAAE,GAAG,CAAC,aAAa;oBAChC,SAAS,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM;iBAC5B;aACF,CAAC,CACH,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC,CAAC"}
+{"version":3,"file":"always-throws-branch.js","sourceRoot":"","sources":["../../src/rules/always-throws-branch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAK9C,MAAM,+BAA+B,GAAG,iCAAiC,CAAC;AAE1E;;;;;;;;;GASG;AACH,MAAM,oBAAoB,GAAG,YAAY,CAAC;AAE1C;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,SAAS,kCAAkC,CAAC,OAAgB;IAC1D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3D,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC9B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;gBAC1B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,oBAAoB,CAAC;oBAAE,SAAS;gBACvD,KAAK,MAAM,UAAU,IAAI,CAAC,CAAC,EAAE;oBAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CACxB,KAAyB,EACzB,OAAgB;IAEhB,MAAM,KAAK,GAAwC,EAAE,CAAC;IACtD,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3D,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC9B,IAAI,GAAG,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;gBAAE,SAAS;YAC9C,IAAI,GAAG,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;gBAC3F,SAAS;YACX,0DAA0D;YAC1D,IAAI,GAAG,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,IAAI,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;gBACpF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAC5E,SAAS,0BAA0B,CACjC,IAAc,EACd,WAA2E;IAE3E,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC;AAChF,CAAC;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAG,UAAU,CAAC;IAC/C,IAAI,EAAE,4BAA4B;IAClC,eAAe,EAAE,SAAS;IAC1B,QAAQ,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE;QAC1C,MAAM,UAAU,GAAG,KAAK,EAAE,gBAAgB,IAAI,+BAA+B,CAAC;QAC9E,MAAM,sBAAsB,GAAG,kCAAkC,CAAC,OAAO,CAAC,CAAC;QAC3E,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YAC9C,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa;gBAAE,SAAS;YACzC,4DAA4D;YAC5D,kEAAkE;YAClE,oEAAoE;YACpE,qEAAqE;YACrE,gBAAgB;YAChB,IAAI,GAAG,CAAC,UAAU;gBAAE,SAAS;YAC7B,wEAAwE;YACxE,qEAAqE;YACrE,wEAAwE;YACxE,iEAAiE;YACjE,IAAI,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACvD,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACrC,uEAAuE;YACvE,wEAAwE;YACxE,2CAA2C;YAC3C,MAAM,WAAW,GAAG,iBAAiB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACpD,MAAM,mBAAmB,GACvB,WAAW,CAAC,MAAM,KAAK,CAAC;gBACtB,CAAC,CAAC,GAAG,CAAC,KAAK;gBACX,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,0BAA0B,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;YAC3E,gEAAgE;YAChE,wDAAwD;YACxD,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAC/C,wEAAwE;YACxE,2EAA2E;YAC3E,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACnF,IAAI,CAAC,gBAAgB;gBAAE,SAAS;YAChC,OAAO,CAAC,IAAI,CACV,iBAAiB,CAAC,4BAA4B,EAAE,MAAM,EAAE;gBACtD,QAAQ,EAAE,KAAK;gBACf,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,GAAG,GAAG,CAAC,UAAU,2BAA2B;gBACrD,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;gBAChE,UAAU,EACR,wFAAwF;gBAC1F,QAAQ,EAAE;oBACR,aAAa,EAAE,GAAG,CAAC,aAAa;oBAChC,SAAS,EAAE,mBAAmB,CAAC,MAAM;iBACtC;aACF,CAAC,CACH,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC,CAAC"}