@scriptc/compiler 0.1.7 → 0.2.0

package/dist/frontend/lowering/unregistered-class-types.test.js

@@ -0,0 +1,65 @@
+import { expect, test } from "vitest";
+import { F64, VOID } from "../../ir/ir.js";
+import { UnregisteredClassTypes } from "./unregistered-class-types.js";
+const record = (shapeId) => ({ kind: "record", shapeId });
+const union = (unionId) => ({ kind: "union", unionId });
+const missing = { kind: "object", className: "Missing" };
+test("cyclic references wait for sibling checks before caching safe types", () => {
+    const records = new Map([
+        ["a", { id: "a", fields: [{ name: "cycle", type: record("b") }, { name: "missing", type: missing }] }],
+        ["b", { id: "b", fields: [{ name: "back", type: union("u") }, { name: "safe", type: record("safe") }] }],
+        ["safe", { id: "safe", fields: [{ name: "value", type: F64 }] }],
+    ]);
+    const unions = new Map([["u", { id: "u", arms: [record("a")] }]]);
+    const index = new UnregisteredClassTypes((id) => records.get(id), (id) => unions.get(id), () => false);
+    expect(index.has(record("a"))).toBe(true);
+    expect(index.has(record("b"))).toBe(true);
+    expect(index.has(union("u"))).toBe(true);
+    expect(index.has(record("safe"))).toBe(false);
+});
+test("shared recursive graphs are traversed once across repeated local types", () => {
+    const records = new Map();
+    const count = 2048;
+    for (let i = 0; i < count; i++)
+        records.set(String(i), {
+            id: String(i), fields: [{ name: "next", type: record(String((i + 1) % count)) }],
+        });
+    let lookups = 0;
+    const index = new UnregisteredClassTypes((id) => { lookups++; return records.get(id); }, () => undefined, () => true);
+    for (let i = 0; i < count; i++) {
+        expect(index.has({ kind: "array", elem: record(String(i)) })).toBe(false);
+    }
+    expect(lookups).toBe(count);
+});
+test("nested containers, signatures and index values expose missing instances", () => {
+    const shape = { id: "r", fields: [], indexValue: missing };
+    const definition = { id: "u", arms: [record("r")] };
+    const index = new UnregisteredClassTypes(() => shape, () => definition, () => false);
+    const types = [
+        { kind: "array", elem: missing }, { kind: "set", elem: missing },
+        { kind: "map", key: missing, value: F64 }, { kind: "map", key: F64, value: missing },
+        { kind: "promise", inner: missing },
+        { kind: "func", params: [missing], ret: VOID }, { kind: "func", params: [], ret: missing },
+        record("r"), union("u"),
+    ];
+    for (const type of types)
+        expect(index.has(type)).toBe(true);
+    expect(index.has({ kind: "classval", className: "Missing" })).toBe(false);
+});
+test("record and union IDs have independent identities", () => {
+    const index = new UnregisteredClassTypes((id) => ({ id, fields: [] }), (id) => ({ id, arms: [missing] }), () => false);
+    expect(index.has(record("same"))).toBe(false);
+    expect(index.has(union("same"))).toBe(true);
+    expect(index.has(record("same"))).toBe(false);
+});
+test("fresh indexes observe later class registration and type-table completion", () => {
+    let shape;
+    const classes = new Set();
+    const fresh = () => new UnregisteredClassTypes(() => shape, () => undefined, (name) => classes.has(name));
+    expect(fresh().has(record("r"))).toBe(false);
+    shape = { id: "r", fields: [{ name: "value", type: missing }] };
+    expect(fresh().has(record("r"))).toBe(true);
+    classes.add("Missing");
+    expect(fresh().has(record("r"))).toBe(false);
+});
+//# sourceMappingURL=unregistered-class-types.test.js.map

package/dist/frontend/lowering/unregistered-class-types.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unregistered-class-types.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/unregistered-class-types.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAoD,MAAM,gBAAgB,CAAC;AAC7F,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAEvE,MAAM,MAAM,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAC1E,MAAM,KAAK,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;AACxE,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;AAEjE,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;IAC/E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAwB;QAC7C,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACtG,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QACxG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;KACjE,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAqB,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,KAAK,GAAG,IAAI,sBAAsB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IACvG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;QAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;YACrD,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;SACjF,CAAC,CAAC;IACH,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,MAAM,KAAK,GAAG,IAAI,sBAAsB,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,OAAO,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACtH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,MAAM,KAAK,GAAkB,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;IAC1E,MAAM,UAAU,GAAe,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;IAChE,MAAM,KAAK,GAAG,IAAI,sBAAsB,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IACrF,MAAM,KAAK,GAAa;QACtB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE;QAChE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE;QACpF,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE;QACnC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE;QAC1F,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC;KACxB,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAC5D,MAAM,KAAK,GAAG,IAAI,sBAAsB,CACtC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,CAC7E,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,IAAI,KAAgC,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC,IAAI,sBAAsB,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1G,MAAM,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,KAAK,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAChE,MAAM,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACvB,MAAM,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/width-lift.d.ts

@@ -0,0 +1,40 @@
+import type { IrType } from "../../ir/ir.js";
+/** One step of the copy-reshape width relation (widthLiftPlan): how a
+ * source-typed value enters a destination slot. Pure data — the plan half;
+ * applyWidthLift is the build half. */
+export type WidthLift = {
+    how: "copy";
+} | {
+    how: "wrap";
+    tag: number;
+} | {
+    how: "discriminantWrap";
+} | {
+    how: "retag";
+} | {
+    how: "liftWrap";
+    tag: number;
+    arm: IrType;
+} | {
+    how: "width";
+} | {
+    how: "unionWidth";
+} | {
+    how: "arr";
+} | {
+    how: "tupleArr";
+} | {
+    how: "emptyArr";
+} | {
+    how: "objWidth";
+} | {
+    how: "clsWidth";
+} | {
+    how: "narrow";
+} | {
+    how: "dynIn";
+} | {
+    how: "upcast";
+} | {
+    how: "funcAdapt";
+};

package/dist/frontend/lowering/width-lift.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=width-lift.js.map

package/dist/frontend/lowering/width-lift.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"width-lift.js","sourceRoot":"","sources":["../../../src/frontend/lowering/width-lift.ts"],"names":[],"mappings":""}

package/dist/frontend/module-syntax.d.ts

@@ -0,0 +1,58 @@
+import * as ts from "./ts7/syntax.js";
+/** One specifier's call-site kinds within a module — the edge-kind record
+ * the walk's per-kind semantics act on. A specifier can appear under
+ * several forms in one file; any STATIC occurrence makes the edge eager
+ * (Node refuses the whole static graph at link time regardless of what the
+ * lazy sites would have done). */
+export interface SpecifierUse {
+    specifier: string;
+    /** import/export declaration — eager, link-time. */
+    static: boolean;
+    /** require("x") — or an esbuild bundle's `__require("x")` helper call,
+     * the shape published dists route external requires through — call-time.
+     * The union of the two attribution flags below. */
+    require: boolean;
+    /** require sites whose require function lives in THIS file's scope: a
+     * direct `require(…)` call (the chunk banner's createRequire), or a
+     * `__require(…)` call when the helper is defined locally. */
+    requireLocal: boolean;
+    /** `__require(…)` sites whose helper is an IMPORTED binding — esbuild
+     * splits it into a shared chunk, so the closed-over require was created
+     * with THAT chunk's import.meta.url and Node resolves from there. The
+     * edge must attribute to the defining chunk or the runtime lookup
+     * misses. */
+    requireViaHelper: boolean;
+    /** import("x") — evaluation-time. */
+    dynamicImport: boolean;
+    /** import.meta.resolve("x") — resolves synchronously without loading.
+     * It still needs an emitted edge for bare package names so the island can
+     * answer from its fixed graph; relative and URL-like names need no edge. */
+    importMetaResolve: boolean;
+}
+/** moduleSpecifiersOf's full answer: the per-specifier call-site kinds
+ * plus where the file's `__require` binding comes from, when it is not
+ * its own. */
+export interface ModuleSpecifiers {
+    uses: SpecifierUse[];
+    /** The specifier `__require` is IMPORTED from (`import { __require }
+     * from "./chunk-X.js"` — esbuild's shared-helper chunk shape), else
+     * null (locally defined or absent). */
+    requireHelperImport: string | null;
+    /** The specifier `__require` is re-EXPORTED from (`export { __require }
+     * from "./x"`) — the chain hop for bundles routing the helper through
+     * an intermediate chunk. */
+    requireHelperReexport: string | null;
+}
+/** Every module specifier `source` can load at runtime, in encounter
+ * order with its call-site kinds merged per specifier: import/export
+ * declarations (INCLUDING `export * as ns from "x"`, which
+ * ts.preProcessFile silently drops — zod v4 re-exports its util namespace
+ * that way), dynamic import("literal"), and require("literal") /
+ * __require("literal") (esbuild's external-require helper — collecting its
+ * literal call sites gives bundled dists an honest build-time inventory).
+ * A real parse, never a regex. */
+export declare function moduleSpecifiersOfFile(sf: ts.SourceFile): ModuleSpecifiers;
+export declare function sourceImportsOfFile(sf: ts.SourceFile): {
+    spec: string;
+    typeOnly: boolean;
+}[];

package/dist/frontend/module-syntax.js

@@ -0,0 +1,123 @@
+import * as ts from "./ts7/syntax.js";
+/** Every module specifier `source` can load at runtime, in encounter
+ * order with its call-site kinds merged per specifier: import/export
+ * declarations (INCLUDING `export * as ns from "x"`, which
+ * ts.preProcessFile silently drops — zod v4 re-exports its util namespace
+ * that way), dynamic import("literal"), and require("literal") /
+ * __require("literal") (esbuild's external-require helper — collecting its
+ * literal call sites gives bundled dists an honest build-time inventory).
+ * A real parse, never a regex. */
+export function moduleSpecifiersOfFile(sf) {
+    const uses = [];
+    const bySpec = new Map();
+    let requireHelperImport = null;
+    let requireHelperReexport = null;
+    /** Uses with `__require(…)` sites — attributed local vs helper AFTER the
+     * walk, once the (hoisted) import declarations have all been seen. */
+    const viaHelperIdent = new Set();
+    const push = (spec, kind) => {
+        let use = bySpec.get(spec);
+        if (!use) {
+            use = {
+                specifier: spec,
+                static: false,
+                require: false,
+                requireLocal: false,
+                requireViaHelper: false,
+                dynamicImport: false,
+                importMetaResolve: false,
+            };
+            bySpec.set(spec, use);
+            uses.push(use);
+        }
+        if (kind === "static")
+            use.static = true;
+        else if (kind === "requireLocal")
+            use.requireLocal = true;
+        else if (kind === "dynamicImport")
+            use.dynamicImport = true;
+        return use;
+    };
+    const visit = (n) => {
+        if ((ts.isImportDeclaration(n) || ts.isExportDeclaration(n)) &&
+            n.moduleSpecifier !== undefined &&
+            ts.isStringLiteral(n.moduleSpecifier)) {
+            push(n.moduleSpecifier.text, "static");
+            if (ts.isImportDeclaration(n) &&
+                n.importClause?.namedBindings !== undefined &&
+                ts.isNamedImports(n.importClause.namedBindings) &&
+                n.importClause.namedBindings.elements.some((el) => el.name.text === "__require")) {
+                requireHelperImport = n.moduleSpecifier.text;
+            }
+            if (ts.isExportDeclaration(n) &&
+                n.exportClause !== undefined &&
+                ts.isNamedExports(n.exportClause) &&
+                n.exportClause.elements.some((el) => (el.propertyName ?? el.name).text === "__require")) {
+                requireHelperReexport = n.moduleSpecifier.text;
+            }
+        }
+        else if (ts.isCallExpression(n)) {
+            const arg = n.arguments[0];
+            if (n.expression.kind === ts.SyntaxKind.ImportKeyword &&
+                arg !== undefined &&
+                ts.isStringLiteralLike(arg)) {
+                push(arg.text, "dynamicImport");
+            }
+            else if (ts.isPropertyAccessExpression(n.expression) &&
+                n.expression.name.text === "resolve" &&
+                ts.isMetaProperty(n.expression.expression) &&
+                n.expression.expression.keywordToken === ts.SyntaxKind.ImportKeyword &&
+                n.arguments.length >= 1 && arg !== undefined && ts.isStringLiteralLike(arg)) {
+                push(arg.text, null).importMetaResolve = true;
+            }
+            else if (ts.isIdentifier(n.expression) &&
+                (n.expression.text === "require" || n.expression.text === "__require") &&
+                n.arguments.length === 1 &&
+                arg !== undefined &&
+                ts.isStringLiteralLike(arg)) {
+                if (n.expression.text === "__require") {
+                    // local vs imported-helper attribution is decided after the walk
+                    viaHelperIdent.add(push(arg.text, null));
+                }
+                else {
+                    push(arg.text, "requireLocal");
+                }
+            }
+        }
+    };
+    ts.walkPreorder(sf, (node) => { visit(node); });
+    for (const use of viaHelperIdent) {
+        if (requireHelperImport !== null)
+            use.requireViaHelper = true;
+        else
+            use.requireLocal = true;
+    }
+    for (const use of uses)
+        use.require = use.requireLocal || use.requireViaHelper;
+    return { uses, requireHelperImport, requireHelperReexport };
+}
+export function sourceImportsOfFile(sf) {
+    const out = [];
+    const visit = (n) => {
+        if ((ts.isImportDeclaration(n) || ts.isExportDeclaration(n)) &&
+            n.moduleSpecifier !== undefined &&
+            ts.isStringLiteral(n.moduleSpecifier)) {
+            const typeOnly = ts.isImportDeclaration(n)
+                ? (n.importClause?.isTypeOnly ?? false)
+                : n.isTypeOnly;
+            out.push({ spec: n.moduleSpecifier.text, typeOnly });
+        }
+        else if (ts.isCallExpression(n)) {
+            const arg = n.arguments[0];
+            if (arg !== undefined &&
+                ts.isStringLiteralLike(arg) &&
+                (n.expression.kind === ts.SyntaxKind.ImportKeyword ||
+                    (ts.isIdentifier(n.expression) && n.expression.text === "require" && n.arguments.length === 1))) {
+                out.push({ spec: arg.text, typeOnly: false });
+            }
+        }
+    };
+    ts.walkPreorder(sf, (node) => { visit(node); });
+    return out;
+}
+//# sourceMappingURL=module-syntax.js.map

package/dist/frontend/module-syntax.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-syntax.js","sourceRoot":"","sources":["../../src/frontend/module-syntax.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAgDtC;;;;;;;kCAOkC;AAClC,MAAM,UAAU,sBAAsB,CAAC,EAAiB;IACtD,MAAM,IAAI,GAAmB,EAAE,CAAC;IAChC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/C,IAAI,mBAAmB,GAAkB,IAAI,CAAC;IAC9C,IAAI,qBAAqB,GAAkB,IAAI,CAAC;IAChD;0EACsE;IACtE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAgB,CAAC;IAC/C,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,IAAwD,EAAgB,EAAE;QACpG,IAAI,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,GAAG,GAAG;gBACJ,SAAS,EAAE,IAAI;gBACf,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,KAAK;gBACd,YAAY,EAAE,KAAK;gBACnB,gBAAgB,EAAE,KAAK;gBACvB,aAAa,EAAE,KAAK;gBACpB,iBAAiB,EAAE,KAAK;aACzB,CAAC;YACF,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACtB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;QACD,IAAI,IAAI,KAAK,QAAQ;YAAE,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC;aACpC,IAAI,IAAI,KAAK,cAAc;YAAE,GAAG,CAAC,YAAY,GAAG,IAAI,CAAC;aACrD,IAAI,IAAI,KAAK,eAAe;YAAE,GAAG,CAAC,aAAa,GAAG,IAAI,CAAC;QAC5D,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;YACxD,CAAC,CAAC,eAAe,KAAK,SAAS;YAC/B,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,EACrC,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACvC,IACE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;gBACzB,CAAC,CAAC,YAAY,EAAE,aAAa,KAAK,SAAS;gBAC3C,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC;gBAC/C,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,EAChF,CAAC;gBACD,mBAAmB,GAAG,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC;YAC/C,CAAC;YACD,IACE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;gBACzB,CAAC,CAAC,YAAY,KAAK,SAAS;gBAC5B,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,YAAY,CAAC;gBACjC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EACvF,CAAC;gBACD,qBAAqB,GAAG,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC;YACjD,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC3B,IACE,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;gBACjD,GAAG,KAAK,SAAS;gBACjB,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAC3B,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YAClC,CAAC;iBAAM,IACL,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC;gBAC3C,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;gBACpC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;gBAC1C,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,YAAY,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;gBACpE,CAAC,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAC3E,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,iBAAiB,GAAG,IAAI,CAAC;YAChD,CAAC;iBAAM,IACL,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;gBAC7B,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,WAAW,CAAC;gBACtE,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;gBACxB,GAAG,KAAK,SAAS;gBACjB,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAC3B,CAAC;gBACD,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBACtC,iEAAiE;oBACjE,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC3C,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBACjC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QACjC,IAAI,mBAAmB,KAAK,IAAI;YAAE,GAAG,CAAC,gBAAgB,GAAG,IAAI,CAAC;;YACzD,GAAG,CAAC,YAAY,GAAG,IAAI,CAAC;IAC/B,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,gBAAgB,CAAC;IAC/E,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,EAAiB;IACnD,MAAM,GAAG,GAA0C,EAAE,CAAC;IACtD,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;YACxD,CAAC,CAAC,eAAe,KAAK,SAAS;YAC/B,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,EACrC,CAAC;YACD,MAAM,QAAQ,GAAG,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;gBACxC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,UAAU,IAAI,KAAK,CAAC;gBACvC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;YACjB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACvD,CAAC;aAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC3B,IACE,GAAG,KAAK,SAAS;gBACjB,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC;gBAC3B,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;oBAChD,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,EACjG,CAAC;gBACD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/frontend/module-syntax.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/frontend/module-syntax.test.js

@@ -0,0 +1,78 @@
+import { afterAll, expect, test } from "vitest";
+import { moduleSpecifiersOfFile, sourceImportsOfFile } from "./module-syntax.js";
+import { closeSourceParser, parseSourceFile } from "./ts7/source-parser-node.js";
+afterAll(closeSourceParser);
+function scan(source) {
+    return moduleSpecifiersOfFile(parseSourceFile("scan.ts", source, "ts"));
+}
+function edge(specifier, flags = {}) {
+    return { specifier, static: false, require: false, requireLocal: false,
+        requireViaHelper: false, dynamicImport: false, importMetaResolve: false, ...flags };
+}
+test("module edges preserve encounter order and merge all literal call forms", () => {
+    const result = scan(`import "first";
+    export * as namespace from "namespace";
+    require("mixed"); import("mixed"); export { name } from "mixed";
+    import.meta.resolve("mixed");
+    import(\`template\`, { with: { type: "json" } });
+    import.meta.resolve(\`resolve-only\`);
+    function nested() { return require("nested"); }
+    require("ignored", extra); require(variable); import(variable);
+    import.meta.other("ignored"); object.require("ignored");`);
+    expect(result).toEqual({
+        uses: [edge("first", { static: true }), edge("namespace", { static: true }),
+            edge("mixed", { static: true, require: true, requireLocal: true, dynamicImport: true, importMetaResolve: true }),
+            edge("template", { dynamicImport: true }), edge("resolve-only", { importMetaResolve: true }),
+            edge("nested", { require: true, requireLocal: true })],
+        requireHelperImport: null, requireHelperReexport: null,
+    });
+});
+test("helper calls attribute to imported bindings even when the import follows the call", () => {
+    const result = scan(`__require("shared"); require("shared");
+    import { helper as __require } from "./helper.js";
+    export { __require as routed } from "./hop.js";`);
+    expect(result.requireHelperImport).toBe("./helper.js");
+    expect(result.requireHelperReexport).toBe("./hop.js");
+    expect(result.uses[0]).toEqual(edge("shared", { require: true, requireLocal: true, requireViaHelper: true }));
+    expect(scan('const __require = require; __require("local");').uses)
+        .toEqual([edge("local", { require: true, requireLocal: true })]);
+    expect(scan('import { __require as renamed } from "./helper.js"; __require("local");').requireHelperImport).toBeNull();
+});
+test("comments, strings, regexes and substituted template literals cannot invent edges", () => {
+    const source = `
+    // require("comment")
+    /* export * from "comment" */
+    const text = 'import("text")';
+    const regex = /require\\("regex"\\)/;
+    require(\`prefix-\${value}\`);
+    import(\`prefix-\${value}\`);
+    import.meta.resolve(\`prefix-\${value}\`);
+    import("real");
+  `;
+    expect(scan(source).uses).toEqual([edge("real", { dynamicImport: true })]);
+});
+test("source prescan preserves declaration type-only flags and repeated edges", () => {
+    const file = parseSourceFile("types.ts", `import type { Shape } from "types";
+    export type { Other } from "other-types";
+    import { type Inline, value } from "mixed";
+    import "side-effect";
+    export * from "runtime";
+    require("runtime"); import("runtime", { with: { type: "json" } });
+    __require("helper-only"); import.meta.resolve("resolve-only");`, "ts");
+    expect(sourceImportsOfFile(file)).toEqual([
+        { spec: "types", typeOnly: true }, { spec: "other-types", typeOnly: true },
+        { spec: "mixed", typeOnly: false }, { spec: "side-effect", typeOnly: false },
+        { spec: "runtime", typeOnly: false }, { spec: "runtime", typeOnly: false },
+        { spec: "runtime", typeOnly: false },
+    ]);
+});
+test("deep expression traversal finds nested imports without recursive JavaScript walking", () => {
+    const source = "const value = " + "x + ".repeat(4000) + 'require("deep");';
+    expect(scan(source).uses).toEqual([edge("deep", { require: true, requireLocal: true })]);
+});
+test("scanning successive versions never reuses stale edges", () => {
+    expect(scan('import "before";').uses.map((use) => use.specifier)).toEqual(["before"]);
+    expect(scan("").uses).toEqual([]);
+    expect(scan('export * from "after";').uses.map((use) => use.specifier)).toEqual(["after"]);
+});
+//# sourceMappingURL=module-syntax.test.js.map

package/dist/frontend/module-syntax.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-syntax.test.js","sourceRoot":"","sources":["../../src/frontend/module-syntax.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAqB,MAAM,oBAAoB,CAAC;AACpG,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAEjF,QAAQ,CAAC,iBAAiB,CAAC,CAAC;AAE5B,SAAS,IAAI,CAAC,MAAc;IAC1B,OAAO,sBAAsB,CAAC,eAAe,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,IAAI,CAAC,SAAiB,EAAE,KAAK,GAA0B,EAAE;IAChE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK;QACpE,gBAAgB,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC;AACxF,CAAC;AAED,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,MAAM,MAAM,GAAG,IAAI,CAAC;;;;;;;;6DAQuC,CAAC,CAAC;IAC7D,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;QACrB,IAAI,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;YACzE,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;YAChH,IAAI,CAAC,UAAU,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,cAAc,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;YAC5F,IAAI,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,mBAAmB,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI;KACvD,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mFAAmF,EAAE,GAAG,EAAE;IAC7F,MAAM,MAAM,GAAG,IAAI,CAAC;;oDAE8B,CAAC,CAAC;IACpD,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACvD,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9G,MAAM,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC,IAAI,CAAC;SAChE,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACnE,MAAM,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAC,mBAAmB,CAAC,CAAC,QAAQ,EAAE,CAAC;AACzH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,MAAM,GAAG;;;;;;;;;GASd,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAC7E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,MAAM,IAAI,GAAG,eAAe,CAAC,UAAU,EAAE;;;;;;mEAMwB,EAAE,IAAI,CAAC,CAAC;IACzE,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;QACxC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE;QAC1E,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,EAAE;QAC5E,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE;QAC1E,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE;KACrC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qFAAqF,EAAE,GAAG,EAAE;IAC/F,MAAM,MAAM,GAAG,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC;IAC3E,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAC3F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACjE,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACtF,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClC,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AAC7F,CAAC,CAAC,CAAC"}

package/dist/frontend/npm-fetch-analysis.d.ts

@@ -0,0 +1,17 @@
+import type { Ts7SourceApiFactory } from "./ts7/source-parser.js";
+export interface FetchAnalysisModule {
+    key: string;
+    source: string;
+    format: "esm" | "cjs" | "json";
+}
+/** A closed semantic project over the source strings already owned by an
+ * embedded module graph. Every call binds a fresh graph: no AST, symbol or
+ * filesystem overlay survives disposal, including after a failed query. */
+export declare class NpmFetchAnalyzer {
+    private readonly createApi;
+    private readonly cwd;
+    private closed;
+    constructor(createApi: Ts7SourceApiFactory, cwd?: string);
+    analyze(modules: readonly FetchAnalysisModule[]): ReadonlySet<string>;
+    close(): void;
+}

package/dist/frontend/npm-fetch-analysis.js

@@ -0,0 +1,100 @@
+import { resolve } from "node:path";
+import { Ts7Api } from "./ts7/api.js";
+import { Ts7Paths, tsgoPath } from "./ts7/session-path.js";
+import { sourceFilesUsingGlobalFetch } from "./npm-fetch-syntax.js";
+/** A closed semantic project over the source strings already owned by an
+ * embedded module graph. Every call binds a fresh graph: no AST, symbol or
+ * filesystem overlay survives disposal, including after a failed query. */
+export class NpmFetchAnalyzer {
+    createApi;
+    cwd;
+    closed = false;
+    constructor(createApi, cwd = process.cwd()) {
+        this.createApi = createApi;
+        this.cwd = cwd;
+    }
+    analyze(modules) {
+        if (this.closed)
+            throw new Error("npm fetch analyzer is closed");
+        const paths = new Ts7Paths(tsgoPath(resolve(this.cwd)), process.platform !== "win32");
+        const files = new Map();
+        const keys = new Map();
+        for (const mod of modules) {
+            if (mod.format === "json")
+                continue;
+            // Embedded modules may have virtual loader keys without a JS suffix.
+            // Their source is JavaScript regardless of the loader's key spelling.
+            const path = paths.canonical(/\.[cm]?js$/.test(mod.key) ? mod.key : mod.key + ".js");
+            const existing = keys.get(path);
+            if (existing !== undefined && existing !== mod.key)
+                throw new Error(`npm module keys share a TypeScript path: ${existing}, ${mod.key}`);
+            files.set(path, mod.source);
+            keys.set(path, mod.key);
+        }
+        if (files.size === 0)
+            return new Set();
+        const roots = [...files.keys()];
+        let config = paths.canonical("__scriptc-fetch.tsconfig.json");
+        while (files.has(config))
+            config += ".json";
+        files.set(config, JSON.stringify({
+            compilerOptions: {
+                allowJs: true, checkJs: false, noLib: true, types: [], noEmit: true,
+                target: "esnext", module: "esnext", moduleDetection: "force",
+            },
+            files: roots, include: [],
+        }));
+        let api;
+        try {
+            api = this.createApi({
+                cwd: resolve(this.cwd),
+                fs: {
+                    readFile: (path) => files.get(paths.canonical(path)) ?? null,
+                    fileExists: (path) => files.has(paths.canonical(path)),
+                    directoryExists: (path) => {
+                        const dir = paths.canonical(path);
+                        const prefix = dir.endsWith("/") ? dir : dir + "/";
+                        for (const file of files.keys())
+                            if (file.startsWith(prefix))
+                                return true;
+                        return false;
+                    },
+                    realpath: (path) => path,
+                    getAccessibleEntries: () => ({ files: [], directories: [] }),
+                },
+            });
+            const snapshot = api.updateSnapshot({ openProjects: [config] });
+            try {
+                const project = snapshot.getProject(config);
+                if (project === undefined)
+                    throw new Error("could not bind embedded npm module graph");
+                const sources = roots.map((path) => {
+                    const file = project.program.getSourceFile(path);
+                    if (file === undefined)
+                        throw new Error(`could not bind npm module ${keys.get(path)}`);
+                    return file;
+                });
+                const found = new Set();
+                for (const file of sourceFilesUsingGlobalFetch(sources, project.checker)) {
+                    const key = keys.get(paths.canonical(file));
+                    if (key !== undefined)
+                        found.add(key);
+                }
+                return found;
+            }
+            finally {
+                snapshot.dispose();
+            }
+        }
+        finally {
+            try {
+                api?.close();
+            }
+            finally {
+                files.clear();
+            }
+        }
+    }
+    close() { this.closed = true; }
+}
+//# sourceMappingURL=npm-fetch-analysis.js.map

package/dist/frontend/npm-fetch-analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"npm-fetch-analysis.js","sourceRoot":"","sources":["../../src/frontend/npm-fetch-analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAQpE;;2EAE2E;AAC3E,MAAM,OAAO,gBAAgB;IAGE,SAAS;IAAwC,GAAG;IAFzE,MAAM,GAAG,KAAK,CAAC;IAEvB,YAA6B,SAA8B,EAAmB,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE;yBAApE,SAAS;mBAAwC,GAAG;IAAmB,CAAC;IAErG,OAAO,CAAC,OAAuC;QAC7C,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QACtF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;QACvC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM;gBAAE,SAAS;YACpC,qEAAqE;YACrE,sEAAsE;YACtE,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,KAAK,CAAC,CAAC;YACrF,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,GAAG,CAAC,GAAG;gBAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,QAAQ,KAAK,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;YACxI,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5B,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,IAAI,GAAG,EAAU,CAAC;QAC/C,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAChC,IAAI,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,+BAA+B,CAAC,CAAC;QAC9D,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,OAAO,CAAC;QAC5C,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC;YAC/B,eAAe,EAAE;gBACf,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI;gBACnE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe,EAAE,OAAO;aAC7D;YACD,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;SAC1B,CAAC,CAAC,CAAC;QACJ,IAAI,GAAuB,CAAC;QAC5B,IAAI,CAAC;YACH,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;gBACnB,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC;gBACtB,EAAE,EAAE;oBACF,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI;oBAC5D,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;oBACtD,eAAe,EAAE,CAAC,IAAI,EAAE,EAAE;wBACxB,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;wBAClC,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC;wBACnD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE;4BAAE,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;gCAAE,OAAO,IAAI,CAAC;wBAC1E,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;oBACxB,oBAAoB,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;iBAC7D;aACF,CAAC,CAAC;YACH,MAAM,QAAQ,GAAG,GAAG,CAAC,cAAc,CAAC,EAAE,YAAY,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAChE,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;gBAC5C,IAAI,OAAO,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;gBACvF,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;oBACjC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;oBACjD,IAAI,IAAI,KAAK,SAAS;wBAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACvF,OAAO,IAAI,CAAC;gBACd,CAAC,CAAC,CAAC;gBACH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;gBAChC,KAAK,MAAM,IAAI,IAAI,2BAA2B,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;oBACzE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC5C,IAAI,GAAG,KAAK,SAAS;wBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACxC,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;oBAAS,CAAC;gBAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;YAAC,CAAC;QACnC,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC;gBAAC,GAAG,EAAE,KAAK,EAAE,CAAC;YAAC,CAAC;oBACb,CAAC;gBAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,KAAK,KAAW,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;CACtC"}

package/dist/frontend/npm-fetch-analysis.test.d.ts

@@ -0,0 +1 @@
+export {};