@scriptc/compiler 0.2.4 → 0.2.6

package/dist/frontend/program.js

@@ -42,12 +42,12 @@ import { builtinModules } from "node:module";
 import { dirname, isAbsolute, resolve } from "node:path";
 import * as ts from "./ts7/adapter.js";
 import { commonJsModuleSyntaxDiag, invalidPackageConfigDiag, strictNullChecksFloorDiag, tscPassthroughDiag, unsupportedDiag, } from "../diagnostics/diagnostic.js";
-import { isNodeModulesPath, nearestInvalidPackageJsonPath, nearestPackageType, nearestPkgJsonPath, projectDtsRuntimeSibling, resolveBareModule, resolveProjectModule, resolveTypeDirective, setProjectPathMappings, setProjectRealm } from "./resolve.js";
+import { isNodeModulesPath, nearestInvalidPackageJsonPath, nearestPackageType, nearestPkgJsonPath, projectDtsRuntimeSibling, resolveBareModule, resolveProjectModule, resolveTypeDirective, setProjectPathMappings, setProjectRealm, } from "./resolve.js";
 import { probeNodeImportRefusal, probeNodeRequireRefusal } from "./npm.js";
-import { isNpmStaticPackage, npmStaticActive, npmStaticFsShadow, npmStaticPackageOfPath, reportNpmStaticOffender, setNpmStaticDeclarationOverloads, setNpmStaticPackages } from "./npm-static.js";
+import { isNpmStaticPackage, npmStaticActive, npmStaticFsShadow, npmStaticPackageOfPath, reportNpmStaticOffender, setNpmStaticDeclarationOverloads, setNpmStaticPackages, } from "./npm-static.js";
 import { isPrunedNpmReexport, planNpmStaticReexports } from "./npm-static-prune.js";
 import { isNpmStaticSubclassArgument } from "./npm-static-subtyping.js";
-import { npmStaticDeclarationReexports, npmStaticRuntimeClassTargets, parseNpmStaticDeclarationOverloads, parseNpmStaticDeclarationProperties } from "./npm-static-declaration-syntax.js";
+import { npmStaticDeclarationReexports, npmStaticRuntimeClassTargets, parseNpmStaticDeclarationOverloads, parseNpmStaticDeclarationProperties, } from "./npm-static-declaration-syntax.js";
 import { provenanceEntryFor, provenancePaths } from "./provenance-registry.js";
 import { cjsLexedExportsOfFile, cjsVisibleNames } from "./cjs-syntax.js";
 import { ambientDtsPath, fallbackDtsPath, isNodeTypesPath, overridesDtsPath, tsgoPath, } from "./dts-paths.js";
@@ -56,6 +56,8 @@ import { clearWorkspacePackages, isRelativeSpecifier, isWorkspacePackageName, np
 import { ADOPTED_OPTIONS, isJsSourceFileName, JS_ANY_OPERATOR_CODES, JS_RELAXED_TSC_CODES, } from "./tsc-codes.js";
 import { trackedFileExists, trackedReadFile, trackedRealpath } from "./input-tracker.js";
 import { forkTargetPaths } from "./fork-target.js";
+import { workerTargetPaths } from "./worker-target.js";
+import { moduleSourceCandidates } from "./module-source-candidates.js";
 import { inferredJsDiagnosticSuppressed } from "./inferred-js-diagnostics.js";
 const BASE_OPTIONS = {
     strict: true,
@@ -146,7 +148,9 @@ function projectAllowsSyntheticDefaultImports(options) {
             moduleKind === ts.ModuleKind.Node20 ||
             moduleKind === ts.ModuleKind.NodeNext ||
             moduleKind === ts.ModuleKind.Preserve;
-    return esModuleInterop || moduleKind === ts.ModuleKind.System || options["moduleResolution"] === ts.ModuleResolutionKind.Bundler;
+    return (esModuleInterop ||
+        moduleKind === ts.ModuleKind.System ||
+        options["moduleResolution"] === ts.ModuleResolutionKind.Bundler);
 }
 /** The project's tsconfig adoption in the 7 world: tsgo's own config parser
  * (extends chains resolved server-side), the ADOPTED_OPTIONS subset taken,
@@ -182,7 +186,9 @@ function adoptProjectConfig7(host, entryPath) {
         const configDir = dirname(configFile);
         const rawBaseUrl = parsed.options["baseUrl"];
         const base = typeof rawBaseUrl === "string"
-            ? (isAbsolute(rawBaseUrl) ? rawBaseUrl : resolve(configDir, rawBaseUrl))
+            ? isAbsolute(rawBaseUrl)
+                ? rawBaseUrl
+                : resolve(configDir, rawBaseUrl)
             : configDir;
         const paths = {};
         for (const [key, targets] of Object.entries(rawPaths)) {
@@ -190,7 +196,7 @@ function adoptProjectConfig7(host, entryPath) {
                 continue;
             paths[key] = targets
                 .filter((target) => typeof target === "string")
-                .map((target) => isAbsolute(target) ? target : resolve(base, target));
+                .map((target) => (isAbsolute(target) ? target : resolve(base, target)));
         }
         adopted["paths"] = paths;
     }
@@ -247,7 +253,9 @@ function runtimeReexportTarget(fromFile, specifier) {
 function visitNpmStaticDeclarationClosure(services, entryPath, onSource) {
     const seen = new Set();
     const packageJson = nearestPkgJsonPath(entryPath);
-    const packageRoot = (packageJson === null ? dirname(entryPath) : dirname(packageJson)).split("\\").join("/");
+    const packageRoot = (packageJson === null ? dirname(entryPath) : dirname(packageJson))
+        .split("\\")
+        .join("/");
     const visit = (path) => {
         path = resolve(path);
         const normalized = path.split("\\").join("/");
@@ -377,20 +385,21 @@ function externalTypeFileClosure7(program, externalTypes) {
  * an explicit root, to a fixpoint, so the same TS 7 AST/checker world owns
  * their exports and transitive graph. */
 function createRequireProgramRoots7(program) {
-    const known = new Set(program.getSourceFiles().map((sf) => tsgoPath(resolve(sf.fileName))));
+    const known = new Set(program.getSourceFileNames().map((name) => tsgoPath(resolve(name))));
     const roots = new Set();
-    for (const sf of program.getSourceFiles()) {
+    for (const sf of program.getImplementationSourceFiles()) {
         if (sf.isDeclarationFile || sf.fileName.endsWith(".json"))
             continue;
         const calls = [];
-        ts.walkPreorder(sf, (node) => {
-            if (!ts.isCallExpression(node) || node.questionDotToken !== undefined ||
-                node.arguments.length !== 1 || !ts.isStringLiteralLike(node.arguments[0]) ||
+        for (const node of moduleSourceCandidates(program, sf).calls) {
+            if (node.questionDotToken !== undefined ||
+                node.arguments.length !== 1 ||
+                !ts.isStringLiteralLike(node.arguments[0]) ||
                 !ts.isIdentifier(node.expression)) {
-                return undefined;
+                continue;
             }
             calls.push({ callee: node.expression, spec: node.arguments[0].text });
-        });
+        }
         // Root discovery only needs the callee's binding. A first-miss lookup
         // otherwise fetches symbols and types for every identifier in the file,
         // including all unreachable bodies in large published packages.
@@ -403,7 +412,9 @@ function createRequireProgramRoots7(program) {
             let target = resolveProjectModule(sf.fileName, spec);
             if (target === null && !spec.startsWith("#")) {
                 const npm = resolveNpmImport7(sf.fileName, spec, "require");
-                if (npm !== null && isNpmStaticPackage(npm.packageName) && isJsSourceFileName(npm.typesFile)) {
+                if (npm !== null &&
+                    isNpmStaticPackage(npm.packageName) &&
+                    isJsSourceFileName(npm.typesFile)) {
                     target = npm.typesFile;
                 }
             }
@@ -428,8 +439,10 @@ export function entryPackageFilePredicate(entryPath) {
         : entryFile.slice(0, installedAt) + "/node_modules/" + npmPackageNameOf(entryFile) + "/";
     return (file) => {
         const normalized = tsgoPath(file);
-        return normalized === entryFile || (prefix !== null && normalized.startsWith(prefix) &&
-            !normalized.slice(prefix.length).split("/").includes("node_modules"));
+        return (normalized === entryFile ||
+            (prefix !== null &&
+                normalized.startsWith(prefix) &&
+                !normalized.slice(prefix.length).split("/").includes("node_modules")));
     };
 }
 /** maxNodeModuleJsDepth can omit relative imports within an admitted
@@ -438,14 +451,17 @@ export function entryPackageFilePredicate(entryPath) {
 function entryPackageProgramRoots7(program, entryPath) {
     const belongsToEntry = entryPackageFilePredicate(entryPath);
     const roots = new Set();
-    for (const sf of program.getSourceFiles()) {
-        if (sf.isDeclarationFile || (!belongsToEntry(sf.fileName) && npmStaticPackageOfPath(sf.fileName) === null))
+    for (const sf of program.getImplementationSourceFiles()) {
+        if (sf.isDeclarationFile ||
+            (!belongsToEntry(sf.fileName) && npmStaticPackageOfPath(sf.fileName) === null))
             continue;
         for (const specifier of sf.imports) {
             if (!ts.isStringLiteralLike(specifier))
                 continue;
             const target = resolveProjectModule(sf.fileName, specifier.text);
-            if (target !== null && (belongsToEntry(target) || npmStaticPackageOfPath(target) !== null) && isJsSourceFileName(target) &&
+            if (target !== null &&
+                (belongsToEntry(target) || npmStaticPackageOfPath(target) !== null) &&
+                isJsSourceFileName(target) &&
                 program.getSourceFile(target) === undefined)
                 roots.add(target);
         }
@@ -464,7 +480,9 @@ function loadProgram7(host, entryPath, externalTypes = new Map()) {
     // not scriptc's fence and drowns real diagnostics in hundreds of
     // .d.ts-internal errors. Fence discipline never depended on it: the
     // lowerer checks provenance and forms at every use site.
-    let options = nodeTypes ? { ...config.options, skipLibCheck: true } : { ...config.options };
+    let options = nodeTypes
+        ? { ...config.options, skipLibCheck: true }
+        : { ...config.options };
     // --npm-static: opted-in packages' shipped JS must be TYPE-INCLUDED (not
     // just resolved) — without maxNodeModuleJsDepth, node_modules JS types as
     // an implicit-any module (TS7016) and nothing infers. Only flagged
@@ -481,6 +499,8 @@ function loadProgram7(host, entryPath, externalTypes = new Map()) {
     if (provenance !== null || externalTypes.size > 0) {
         const paths = {
             ...configuredPaths,
+            // Keep an index-signature source for native lowering when provenance is absent.
+            // oxlint-disable-next-line unicorn/no-useless-fallback-in-spread
             ...(provenance ?? {}),
         };
         for (const [specifier, declarationPath] of externalTypes) {
@@ -496,7 +516,8 @@ function loadProgram7(host, entryPath, externalTypes = new Map()) {
             const candidates = [
                 ...entryPackageProgramRoots7(program, entryPath),
                 ...createRequireProgramRoots7(program),
-                ...forkTargetPaths(program, program.getSourceFiles()),
+                ...forkTargetPaths(program, program.getImplementationSourceFiles()),
+                ...workerTargetPaths(program, program.getImplementationSourceFiles()),
             ];
             const extraRoots = candidates.filter((root, index) => !programRoots.includes(root) && candidates.indexOf(root) === index);
             if (extraRoots.length === 0)
@@ -584,7 +605,9 @@ export function loadProgram(entryPath, services, opts) {
             const fields = properties.get(className);
             if (methods === undefined && fields === undefined)
                 continue;
-            const target = specifier === null ? runtime.typesFile : runtimeReexportTarget(runtime.typesFile, specifier);
+            const target = specifier === null
+                ? runtime.typesFile
+                : runtimeReexportTarget(runtime.typesFile, specifier);
             if (target === null)
                 continue;
             const targetPackage = npmPackageNameOf(target);
@@ -610,17 +633,23 @@ export function loadProgram(entryPath, services, opts) {
             projectionOwners.set(projectionKey, className);
             // The safe declaration grammar can name only its own class. Bind
             // that type to the actual runtime class after a named ESM alias.
-            const renameSelf = (type) => type.split(/([\s[\]<>()|,]+)/).map((name) => name === className ? localName : name).join("");
+            const renameSelf = (type) => type
+                .split(/([\s[\]<>()|,]+)/)
+                .map((name) => (name === className ? localName : name))
+                .join("");
             if (methods !== undefined) {
                 const byClass = new Map(declarationOverloads.get(targetNorm) ?? []);
-                byClass.set(localName, new Map([...methods].map(([name, signatures]) => [name, signatures.map((signature) => ({
+                byClass.set(localName, new Map([...methods].map(([name, signatures]) => [
+                    name,
+                    signatures.map((signature) => ({
                         parameters: signature.parameters.map((parameter) => ({
                             name: parameter.name,
                             type: renameSelf(parameter.type),
                             optional: parameter.optional,
                         })),
                         returnType: renameSelf(signature.returnType),
-                    }))])));
+                    })),
+                ])));
                 declarationOverloads.set(targetNorm, byClass);
             }
             if (fields !== undefined) {
@@ -668,16 +697,18 @@ export function loadProgram(entryPath, services, opts) {
         return {
             ...load,
             services,
-            projectWorld: npmStaticPackages.length === 0 ? load.projectWorld : () => {
-                // Check authored code against the package's published declarations.
-                // Runtime bodies still lower from JavaScript in the original world;
-                // inference there must not manufacture errors in valid user code.
-                if (!authoredLoad) {
-                    authoredHost = services.createProgramHost({ cwd: dirname(entryPath) });
-                    authoredLoad = loadProgram7(authoredHost, entryPath, externalTypes);
-                }
-                return authoredLoad.projectWorld();
-            },
+            projectWorld: npmStaticPackages.length === 0
+                ? load.projectWorld
+                : () => {
+                    // Check authored code against the package's published declarations.
+                    // Runtime bodies still lower from JavaScript in the original world;
+                    // inference there must not manufacture errors in valid user code.
+                    if (!authoredLoad) {
+                        authoredHost = services.createProgramHost({ cwd: dirname(entryPath) });
+                        authoredLoad = loadProgram7(authoredHost, entryPath, externalTypes);
+                    }
+                    return authoredLoad.projectWorld();
+                },
             dispose: () => {
                 try {
                     authoredLoad?.disposeAll();
@@ -750,8 +781,10 @@ function suppressedJsStrictness7(d) {
  * extra arguments) is not a module edge and fences at its use site. */
 function requireSpecOf7(node) {
     let value = node;
-    while (ts.isParenthesizedExpression(value) || ts.isAsExpression(value) ||
-        ts.isTypeAssertion(value) || ts.isNonNullExpression(value)) {
+    while (ts.isParenthesizedExpression(value) ||
+        ts.isAsExpression(value) ||
+        ts.isTypeAssertion(value) ||
+        ts.isNonNullExpression(value)) {
         value = value.expression;
     }
     if (!ts.isCallExpression(value))
@@ -774,7 +807,8 @@ function isRequireStatement7(stmt) {
     if (!ts.isVariableStatement(stmt))
         return false;
     const decls = stmt.declarationList.declarations;
-    return decls.length > 0 && decls.every((d) => d.initializer !== undefined && requireSpecOf7(d.initializer) !== null);
+    return (decls.length > 0 &&
+        decls.every((d) => d.initializer !== undefined && requireSpecOf7(d.initializer) !== null));
 }
 /** The require() occurrences of one top-level statement: the declaration
  * forms and the bare side-effect call. Empty for everything else. */
@@ -850,7 +884,7 @@ function pureCjsExport7(program, stmt) {
             receiver = receiver.expression;
             return ts.isIdentifier(receiver) && !sourceBinding7(program, receiver);
         }
-        return ts.isIdentifier(receiver) && receiver.text === "exports" && !sourceBinding7(program, receiver);
+        return (ts.isIdentifier(receiver) && receiver.text === "exports" && !sourceBinding7(program, receiver));
     };
     if (cjs.kind === "member") {
         if (!plainMember(cjs.expr.left))
@@ -870,8 +904,10 @@ function pureCjsExport7(program, stmt) {
     }
     if (ts.isVoidExpression(value) && ts.isNumericLiteral(value.expression))
         return true;
-    if (ts.isStringLiteralLike(value) || ts.isNumericLiteral(value) ||
-        value.kind === ts.SyntaxKind.TrueKeyword || value.kind === ts.SyntaxKind.FalseKeyword ||
+    if (ts.isStringLiteralLike(value) ||
+        ts.isNumericLiteral(value) ||
+        value.kind === ts.SyntaxKind.TrueKeyword ||
+        value.kind === ts.SyntaxKind.FalseKeyword ||
         value.kind === ts.SyntaxKind.NullKeyword)
         return true;
     if (!ts.isIdentifier(value))
@@ -880,19 +916,28 @@ function pureCjsExport7(program, stmt) {
         return true;
     const checker = program.getTypeChecker();
     const symbol = checker.getSymbolAtLocation(value);
-    return symbol !== undefined && checker.declarationsOf(symbol).some((decl) => ts.isFunctionDeclaration(decl) && decl.parent === stmt.parent);
+    return (symbol !== undefined &&
+        checker
+            .declarationsOf(symbol)
+            .some((decl) => ts.isFunctionDeclaration(decl) && decl.parent === stmt.parent));
 }
 function sourceBinding7(program, ident) {
     const checker = program.getTypeChecker();
     const symbol = checker.getSymbolAtLocation(ident);
-    return symbol !== undefined && checker.declarationsOf(symbol).some((decl) => !decl.getSourceFile().isDeclarationFile && !ts.isSourceFile(decl));
+    return (symbol !== undefined &&
+        checker
+            .declarationsOf(symbol)
+            .some((decl) => !decl.getSourceFile().isDeclarationFile && !ts.isSourceFile(decl)));
 }
 function purePrefixDecl7(decl) {
     const init = decl.initializer;
-    return init === undefined || requireSpecOf7(init) !== null ||
-        ts.isStringLiteralLike(init) || ts.isNumericLiteral(init) ||
-        init.kind === ts.SyntaxKind.TrueKeyword || init.kind === ts.SyntaxKind.FalseKeyword ||
-        init.kind === ts.SyntaxKind.NullKeyword;
+    return (init === undefined ||
+        requireSpecOf7(init) !== null ||
+        ts.isStringLiteralLike(init) ||
+        ts.isNumericLiteral(init) ||
+        init.kind === ts.SyntaxKind.TrueKeyword ||
+        init.kind === ts.SyntaxKind.FalseKeyword ||
+        init.kind === ts.SyntaxKind.NullKeyword);
 }
 /** True for top-level statements that cannot run user code: directives,
  * empty statements, hoisted declarations, require statements themselves,
@@ -913,7 +958,9 @@ function purePrefixStmt7(program, s) {
             let receiver = call.arguments[0];
             if (ts.isPropertyAccessExpression(receiver))
                 receiver = receiver.expression;
-            if (!sourceBinding7(program, object) && ts.isIdentifier(receiver) && !sourceBinding7(program, receiver))
+            if (!sourceBinding7(program, object) &&
+                ts.isIdentifier(receiver) &&
+                !sourceBinding7(program, receiver))
                 return true;
         }
         if (pureCjsExport7(program, s))
@@ -1065,7 +1112,7 @@ function isCreateRequireImport7(program, ident) {
         if (targetDecl !== undefined && targetDecl.getSourceFile().isDeclarationFile) {
             for (let p = targetDecl.parent; p !== undefined && !ts.isSourceFile(p); p = p.parent) {
                 if (ts.isModuleDeclaration(p) && ts.isStringLiteral(p.name)) {
-                    return canonicalBuiltinModule(p.name.text) === "module" && target.name === "createRequire";
+                    return (canonicalBuiltinModule(p.name.text) === "module" && target.name === "createRequire");
                 }
             }
         }
@@ -1079,15 +1126,18 @@ export function isCreateRequireBinding7(program, callee) {
     const checker = program.getTypeChecker();
     const symbol = checker.getSymbolAtLocation(callee);
     const decl = symbol
-        ? checker.declarationsOf(symbol).find((d) => ts.isVariableDeclaration(d))
+        ? checker
+            .declarationsOf(symbol)
+            .find((d) => ts.isVariableDeclaration(d))
         : undefined;
     if (decl === undefined ||
         decl.initializer === undefined ||
         !ts.isVariableDeclarationList(decl.parent)) {
         return false;
     }
-    return isCreateRequireBaseCall7(program, decl.initializer) && ((decl.parent.flags & ts.NodeFlags.Const) !== 0 ||
-        stableCreateRequireBindingReason7(program, decl) === null);
+    return (isCreateRequireBaseCall7(program, decl.initializer) &&
+        ((decl.parent.flags & ts.NodeFlags.Const) !== 0 ||
+            stableCreateRequireBindingReason7(program, decl) === null));
 }
 /** Only literal calls and literal resolution queries can erase the loader
  * value. In particular, assignments, exported aliases, shorthand properties,
@@ -1096,14 +1146,23 @@ function staticCreateRequireUse7(expr) {
     let use = expr;
     while (ts.isParenthesizedExpression(use.parent))
         use = use.parent;
-    if (ts.isPropertyAccessExpression(use.parent) && use.parent.expression === use && use.parent.name.text === "resolve" && !use.parent.questionDotToken) {
+    if (ts.isPropertyAccessExpression(use.parent) &&
+        use.parent.expression === use &&
+        use.parent.name.text === "resolve" &&
+        !use.parent.questionDotToken) {
         use = use.parent;
-        if (ts.isPropertyAccessExpression(use.parent) && use.parent.expression === use && use.parent.name.text === "paths" && !use.parent.questionDotToken)
+        if (ts.isPropertyAccessExpression(use.parent) &&
+            use.parent.expression === use &&
+            use.parent.name.text === "paths" &&
+            !use.parent.questionDotToken)
             use = use.parent;
     }
     const call = use.parent;
-    return ts.isCallExpression(call) && call.expression === use && !call.questionDotToken &&
-        call.arguments.length === 1 && ts.isStringLiteralLike(call.arguments[0]);
+    return (ts.isCallExpression(call) &&
+        call.expression === use &&
+        !call.questionDotToken &&
+        call.arguments.length === 1 &&
+        ts.isStringLiteralLike(call.arguments[0]));
 }
 function stableCreateRequireBindingReason7(program, decl) {
     const cache = program.analysis.createRequireReasons;
@@ -1111,7 +1170,9 @@ function stableCreateRequireBindingReason7(program, decl) {
         return cache.get(decl);
     const check = () => {
         const stmt = decl.parent?.parent;
-        if (!ts.isIdentifier(decl.name) || !ts.isVariableStatement(stmt) || !ts.isSourceFile(stmt.parent)) {
+        if (!ts.isIdentifier(decl.name) ||
+            !ts.isVariableStatement(stmt) ||
+            !ts.isSourceFile(stmt.parent)) {
             return "its mutable createRequire binding is outside the module's top level";
         }
         const checker = program.getTypeChecker();
@@ -1189,19 +1250,29 @@ function npmStaticModuleImportReason7(program, stmt) {
         let reason = null;
         const checkUse = (expr) => {
             if (!staticCreateRequireUse7(expr)) {
-                reason = "its createRequire result escapes or is used with a computed specifier (static requires need literal specifiers)";
+                reason =
+                    "its createRequire result escapes or is used with a computed specifier (static requires need literal specifiers)";
             }
         };
         ts.walkPreorder(sf, (node) => {
-            if (reason || !ts.isIdentifier(node) || node.text !== specifier.name.text || node === specifier.name || checker.getSymbolAtLocation(node) !== imported)
+            if (reason ||
+                !ts.isIdentifier(node) ||
+                node.text !== specifier.name.text ||
+                node === specifier.name ||
+                checker.getSymbolAtLocation(node) !== imported)
                 return;
             const call = node.parent;
-            if (!ts.isCallExpression(call) || call.expression !== node || !isCreateRequireBaseCall7(program, call)) {
-                reason = "its createRequire import is used outside a supported call based on the current file";
+            if (!ts.isCallExpression(call) ||
+                call.expression !== node ||
+                !isCreateRequireBaseCall7(program, call)) {
+                reason =
+                    "its createRequire import is used outside a supported call based on the current file";
                 return;
             }
             const decl = call.parent;
-            if (ts.isVariableDeclaration(decl) && decl.initializer === call && ts.isIdentifier(decl.name)) {
+            if (ts.isVariableDeclaration(decl) &&
+                decl.initializer === call &&
+                ts.isIdentifier(decl.name)) {
                 if ((ts.getCombinedModifierFlags(decl) & ts.ModifierFlags.Export) !== 0) {
                     reason = "its createRequire result escapes through an exported binding";
                     return;
@@ -1214,7 +1285,10 @@ function npmStaticModuleImportReason7(program, stmt) {
                 const name = decl.name.text;
                 checker.prefetchSymbolNodesExact(identifierOccurrences7(sf, name));
                 ts.walkPreorder(sf, (ref) => {
-                    if (ts.isIdentifier(ref) && ref.text === name && ref !== decl.name && checker.getSymbolAtLocation(ref) === sym)
+                    if (ts.isIdentifier(ref) &&
+                        ref.text === name &&
+                        ref !== decl.name &&
+                        checker.getSymbolAtLocation(ref) === sym)
                         checkUse(ref);
                 });
             }
@@ -1242,7 +1316,7 @@ function requireCallBindingKind7(program, node) {
     if (symbol === undefined)
         return "ambient";
     const decls = checker.declarationsOf(symbol);
-    if (decls.length === 0 || decls.every((d) => d.getSourceFile().isDeclarationFile))
+    if (decls.every((d) => d.getSourceFile().isDeclarationFile))
         return "ambient";
     return isCreateRequireBinding7(program, call.expression) ? "createRequire" : "source";
 }
@@ -1281,9 +1355,7 @@ function nodeEsmSyntaxMarker7(sf) {
     for (const stmt of sf.statements) {
         if (ts.isImportDeclaration(stmt) && !erasedTypeOnlyImport(stmt))
             return stmt;
-        if (ts.isExportDeclaration(stmt) &&
-            !stmt.isTypeOnly &&
-            !erasedTypeOnlyReexport(stmt)) {
+        if (ts.isExportDeclaration(stmt) && !stmt.isTypeOnly && !erasedTypeOnlyReexport(stmt)) {
             return stmt;
         }
         if (ts.isExportAssignment(stmt))
@@ -1300,14 +1372,15 @@ function nodeEsmSyntaxMarker7(sf) {
                     return hit;
             }
         }
-        if (ts.isClassDeclaration(stmt) && stmt.name !== undefined && CJS_WRAPPER_NAMES.has(stmt.name.text)) {
+        if (ts.isClassDeclaration(stmt) &&
+            stmt.name !== undefined &&
+            CJS_WRAPPER_NAMES.has(stmt.name.text)) {
             return stmt.name;
         }
     }
     let found = null;
     ts.walkPreorder(sf, (node) => {
-        if (ts.isMetaProperty(node) &&
-            node.keywordToken === ts.SyntaxKind.ImportKeyword) {
+        if (ts.isMetaProperty(node) && node.keywordToken === ts.SyntaxKind.ImportKeyword) {
             found = node;
             return "stop";
         }
@@ -1341,11 +1414,12 @@ function isNodeEsmFile7(sf, program) {
     }
     else {
         const packageType = nearestPackageType(sf.fileName);
-        result = packageType === "module"
-            ? true
-            : packageType === "commonjs"
-                ? false
-                : nodeEsmSyntaxMarker7(sf) !== null;
+        result =
+            packageType === "module"
+                ? true
+                : packageType === "commonjs"
+                    ? false
+                    : nodeEsmSyntaxMarker7(sf) !== null;
     }
     program?.analysis.nodeEsmFiles.set(sf, result);
     return result;
@@ -1468,7 +1542,9 @@ function nsBindingUsesAreBareStatements7(program, sf, nsName) {
             node !== nsName &&
             node.text === nsName.text &&
             checker.getSymbolAtLocation(node) === bindingSym) {
-            if (!(node.parent !== undefined && ts.isExpressionStatement(node.parent) && node.parent.expression === node)) {
+            if (!(node.parent !== undefined &&
+                ts.isExpressionStatement(node.parent) &&
+                node.parent.expression === node)) {
                 bareOnly = false;
                 return;
             }
@@ -1641,7 +1717,10 @@ function nonInertTopLevel7(program, sf) {
         }
         if (ts.isClassExpression(e))
             return inertClass(e) === null;
-        if (ts.isParenthesizedExpression(e) || ts.isAsExpression(e) || ts.isSatisfiesExpression(e) || ts.isNonNullExpression(e)) {
+        if (ts.isParenthesizedExpression(e) ||
+            ts.isAsExpression(e) ||
+            ts.isSatisfiesExpression(e) ||
+            ts.isNonNullExpression(e)) {
             return inert(e.expression);
         }
         if (ts.isPropertyAccessExpression(e))
@@ -1708,7 +1787,9 @@ function nonInertTopLevel7(program, sf) {
             ts.isInterfaceDeclaration(stmt) ||
             ts.isTypeAliasDeclaration(stmt) ||
             ts.isEmptyStatement(stmt) ||
-            (ts.getCombinedModifierFlags(stmt) & ts.ModifierFlags.Ambient) !== 0) {
+            (ts.getCombinedModifierFlags(stmt) &
+                ts.ModifierFlags.Ambient) !==
+                0) {
             continue;
         }
         if (ts.isEnumDeclaration(stmt)) {
@@ -1952,7 +2033,8 @@ function resolveImport7(program, from, specifier, resolutionKind = "import") {
         return program.getSourceFile(resolved) ?? null;
     const npm = resolveNpmImport7(from.fileName, specifier, resolutionKind);
     return npm && isNpmStaticPackage(npm.packageName)
-        ? npmStaticProgramDep(program, npm.packageName, npm.typesFile) : null;
+        ? npmStaticProgramDep(program, npm.packageName, npm.typesFile)
+        : null;
 }
 /** An import that resolves into node_modules: the package's shipped .d.ts
  * is the type surface, and the package's shipped JS runs in the dynamic
@@ -2095,26 +2177,11 @@ function preflight7(load) {
             if (r !== null && r.workspaceDir !== undefined)
                 registerWorkspacePackage(r.packageName, r.workspaceDir);
         };
-        for (const sf of program.getSourceFiles()) {
+        for (const sf of program.getImplementationSourceFiles()) {
             if (sf.isDeclarationFile || sf.fileName.endsWith(".json"))
                 continue;
-            ts.walkPreorder(sf, (n) => {
-                if ((ts.isImportDeclaration(n) || ts.isExportDeclaration(n)) &&
-                    n.moduleSpecifier !== undefined &&
-                    ts.isStringLiteral(n.moduleSpecifier)) {
-                    probe(sf.fileName, n.moduleSpecifier.text);
-                    return "skip";
-                }
-                if (ts.isCallExpression(n)) {
-                    const arg = n.arguments[0];
-                    const isImportCall = n.expression.kind === ts.SyntaxKind.ImportKeyword;
-                    const isRequireCall = ts.isIdentifier(n.expression) && n.expression.text === "require";
-                    if ((isImportCall || isRequireCall) && arg !== undefined && ts.isStringLiteralLike(arg)) {
-                        probe(sf.fileName, arg.text);
-                    }
-                }
-                return undefined;
-            });
+            for (const specifier of moduleSourceCandidates(program, sf).specifiers)
+                probe(sf.fileName, specifier);
         }
     }
     const toPassthrough = (d) => {
@@ -2244,7 +2311,9 @@ function preflight7(load) {
         if (!sf)
             return false;
         const spec = sf.text.slice(d.pos, d.end).replace(/^['"]|['"]$/g, "");
-        const prefix = spec.startsWith("@") ? spec.split("/").slice(0, 2).join("/") : spec.split("/")[0];
+        const prefix = spec.startsWith("@")
+            ? spec.split("/").slice(0, 2).join("/")
+            : spec.split("/")[0];
         return isWorkspacePackageName(prefix);
     };
     const errorsOf = (p) => {
@@ -2296,14 +2365,21 @@ function preflight7(load) {
     // reachable bodies are added by lowering's worklists.
     const ambient = ambientDtsPath();
     const programFiles = program
-        .getSourceFiles()
+        .getImplementationSourceFiles()
         .filter((sf) => sf.fileName !== ambient &&
         !sf.isDeclarationFile &&
         !sf.fileName.endsWith(".json") &&
-        (!isNodeModulesPath(sf.fileName) || entryPackageFile(sf.fileName) || npmStaticPackageOfPath(sf.fileName) !== null) &&
+        (!isNodeModulesPath(sf.fileName) ||
+            entryPackageFile(sf.fileName) ||
+            npmStaticPackageOfPath(sf.fileName) !== null) &&
         !islandJsFile(sf.fileName));
     const userFiles = npmStaticActive()
-        ? planNpmStaticReexports(program, entry, programFiles, [...createRequireProgramRoots7(program), ...forkTargetPaths(program, program.getSourceFiles())], (sf, spec, resolutionKind) => resolveImport7(program, sf, spec, resolutionKind) ?? npmStaticDepSf7(program, sf, spec, resolutionKind))
+        ? planNpmStaticReexports(program, entry, programFiles, [
+            ...createRequireProgramRoots7(program),
+            ...forkTargetPaths(program, program.getImplementationSourceFiles()),
+            ...workerTargetPaths(program, program.getImplementationSourceFiles()),
+        ], (sf, spec, resolutionKind) => resolveImport7(program, sf, spec, resolutionKind) ??
+            npmStaticDepSf7(program, sf, spec, resolutionKind))
         : programFiles;
     program.getTypeChecker().prefetchSourceFileStructures(userFiles);
     // node_modules JS that no --npm-static opt-in claims is NOT program
@@ -2398,7 +2474,9 @@ function preflight7(load) {
                 // lowers to nothing.
                 if (ts.isExternalModuleReference(stmt.moduleReference) && !stmt.isTypeOnly) {
                     const spec = stmt.moduleReference.expression;
-                    if (spec !== undefined && ts.isStringLiteralLike(spec) && load.externalTypes.has(spec.text)) {
+                    if (spec !== undefined &&
+                        ts.isStringLiteralLike(spec) &&
+                        load.externalTypes.has(spec.text)) {
                         diags.push(externalHostModuleDiag7(spec.text, stmt));
                     }
                     else {
@@ -2634,10 +2712,13 @@ function preflight7(load) {
                 // SC1012 fence. The callable module objects (assert, events, test)
                 // stay allowed everywhere. The process default is the global process
                 // alias, including when combined with named builtin imports.
-                const syntheticDefaultsOn = program.getCompilerOptions().allowSyntheticDefaultImports === true;
-                const defaultOk = spec === "process" || spec === "node:process" ||
+                const syntheticDefaultsOn = program.getCompilerOptions()
+                    .allowSyntheticDefaultImports === true;
+                const defaultOk = spec === "process" ||
+                    spec === "node:process" ||
                     builtinDefaultImportModule(spec) !== null ||
-                    ((isJsSourceFileName(sf.fileName) || syntheticDefaultsOn) && canonicalBuiltinModule(spec) !== null);
+                    ((isJsSourceFileName(sf.fileName) || syntheticDefaultsOn) &&
+                        canonicalBuiltinModule(spec) !== null);
                 if (clause.name && !isJson && dep === null && !defaultOk) {
                     diags.push(unsupportedDiag("SC1012", locOf7(clause.name)));
                 }
@@ -2714,7 +2795,10 @@ function preflight7(load) {
                         continue;
                     }
                     if (req.decl && ts.isObjectBindingPattern(req.decl.name)) {
-                        const bad = req.decl.name.elements.find((e) => e.name === undefined || !ts.isIdentifier(e.name) || e.initializer !== undefined || e.dotDotDotToken !== undefined);
+                        const bad = req.decl.name.elements.find((e) => e.name === undefined ||
+                            !ts.isIdentifier(e.name) ||
+                            e.initializer !== undefined ||
+                            e.dotDotDotToken !== undefined);
                         if (bad) {
                             diags.push(unsupportedDiag("SC1012", loc, "require() destructuring with defaults, rest, or nested patterns"));
                             continue;
@@ -2728,7 +2812,9 @@ function preflight7(load) {
                         // form above (bundle dists require their workspace siblings —
                         // the same resolution, the same offender discipline on a
                         // miss).
-                        const npmReq = !req.spec.startsWith("#") ? resolveNpmImport7(sf.fileName, req.spec, "require") : null;
+                        const npmReq = !req.spec.startsWith("#")
+                            ? resolveNpmImport7(sf.fileName, req.spec, "require")
+                            : null;
                         if (npmReq !== null && isNpmStaticPackage(npmReq.packageName)) {
                             dep = npmStaticProgramDep(program, npmReq.packageName, npmReq.typesFile);
                             if (dep === null)
@@ -2783,7 +2869,9 @@ function preflight7(load) {
                 }
             }
             const nestedBareRequires = nestedBareRequiresOf7(sf);
-            program.getTypeChecker().prefetchSymbolNodesExact(nestedBareRequires.flatMap((call) => ts.isIdentifier(call.expression) ? [call.expression] : []));
+            program
+                .getTypeChecker()
+                .prefetchSymbolNodesExact(nestedBareRequires.flatMap((call) => ts.isIdentifier(call.expression) ? [call.expression] : []));
             for (const call of nestedBareRequires) {
                 const spec = requireSpecOf7(call);
                 const loc = { file: sf.fileName, start: call.getStart(sf), end: call.getEnd() };
@@ -2813,7 +2901,9 @@ function preflight7(load) {
                 if (!isRelativeSpecifier(spec)) {
                     // --npm-static: opted-in packages ride the program-module edge
                     // (the statement-level require branch above).
-                    const npmReq = !spec.startsWith("#") ? resolveNpmImport7(sf.fileName, spec, "require") : null;
+                    const npmReq = !spec.startsWith("#")
+                        ? resolveNpmImport7(sf.fileName, spec, "require")
+                        : null;
                     if (npmReq !== null && isNpmStaticPackage(npmReq.packageName)) {
                         const nDep = npmStaticProgramDep(program, npmReq.packageName, npmReq.typesFile);
                         if (nDep !== null)
@@ -2962,14 +3052,16 @@ function cjsNamedImportLinkCheck(program, entry, moduleOrder, diags) {
     // Reexport targets union in only when they resolve to CommonJS program
     // files (Node's cjsPreparseModuleExports rule).
     const resolveCjsDep = (from, spec) => {
-        const dep = resolveImport7(program, from, spec, "require") ?? npmStaticDepSf7(program, from, spec, "require");
+        const dep = resolveImport7(program, from, spec, "require") ??
+            npmStaticDepSf7(program, from, spec, "require");
         return dep !== null && isCjsJsFile7(dep, program) ? dep : null;
     };
     const visible = (dep, name) => 
     // `default` is the module.exports binding itself — always provided.
     // The program already owns native source ASTs; reuse them without
     // starting another syntax session or reparsing their source text.
-    name === "default" || cjsVisibleNames(dep, cjsLexedExportsOfFile, resolveCjsDep, lexMemo).has(name);
+    name === "default" ||
+        cjsVisibleNames(dep, cjsLexedExportsOfFile, resolveCjsDep, lexMemo).has(name);
     /** The statement's resolved LOCAL CommonJS dependency, when it is an
      * import/re-export from one. */
     const cjsDepOf = (sf, spec) => {
@@ -2982,7 +3074,9 @@ function cjsNamedImportLinkCheck(program, entry, moduleOrder, diags) {
     const firstInvisibleOf = (sf) => {
         const entries = [];
         for (const stmt of sf.statements) {
-            if (!ts.isImportDeclaration(stmt) || stmt.moduleSpecifier === undefined || !ts.isStringLiteral(stmt.moduleSpecifier))
+            if (!ts.isImportDeclaration(stmt) ||
+                stmt.moduleSpecifier === undefined ||
+                !ts.isStringLiteral(stmt.moduleSpecifier))
                 continue;
             const clause = stmt.importClause;
             if (!clause || clause.phaseModifier === ts.SyntaxKind.TypeKeyword)
@@ -3040,7 +3134,8 @@ function cjsNamedImportLinkCheck(program, entry, moduleOrder, diags) {
                 continue;
             if (ts.isExportDeclaration(stmt) && isPrunedNpmReexport(program, stmt))
                 continue;
-            if (ts.isImportDeclaration(stmt) && stmt.importClause?.phaseModifier === ts.SyntaxKind.TypeKeyword)
+            if (ts.isImportDeclaration(stmt) &&
+                stmt.importClause?.phaseModifier === ts.SyntaxKind.TypeKeyword)
                 continue;
             const specNode = stmt.moduleSpecifier;
             if (specNode === undefined || !ts.isStringLiteral(specNode))
@@ -3078,7 +3173,8 @@ function cjsNamedImportLinkCheck(program, entry, moduleOrder, diags) {
     for (const stmt of entry.statements) {
         if (!ts.isImportDeclaration(stmt) && !(ts.isExportDeclaration(stmt) && !stmt.isTypeOnly))
             continue;
-        if (ts.isImportDeclaration(stmt) && stmt.importClause?.phaseModifier === ts.SyntaxKind.TypeKeyword)
+        if (ts.isImportDeclaration(stmt) &&
+            stmt.importClause?.phaseModifier === ts.SyntaxKind.TypeKeyword)
             continue;
         const specNode = stmt.moduleSpecifier;
         if (specNode === undefined || !ts.isStringLiteral(specNode) || specNode.text !== bad.spec)
@@ -3090,7 +3186,11 @@ function cjsNamedImportLinkCheck(program, entry, moduleOrder, diags) {
     }
     const loc = locOf7(bad.nameNode);
     if (!flavored) {
-        return { message: `The requested module '${bad.spec}' does not provide an export named '${bad.exportName}'`, className: "%SyntaxError", loc };
+        return {
+            message: `The requested module '${bad.spec}' does not provide an export named '${bad.exportName}'`,
+            className: "%SyntaxError",
+            loc,
+        };
     }
     // The destructuring hint: Node regexes the failing name's SOURCE LINE
     // for its brace group (greedy, first `{` to last `}` on the line) and
@@ -3155,9 +3255,15 @@ function analyzeEsmNamedImportLinks(program, entry) {
             // type-only, but the native ESM linker sees the runtime placeholder.
             if (name === "default" &&
                 hasNodeTsDefaultInterfacePlaceholder7(dep) &&
-                checker.declarationsOf(resolved).some((declaration) => ts.isInterfaceDeclaration(declaration) &&
-                    ts.getModifiers(declaration)?.some((modifier) => modifier.kind === ts.SyntaxKind.DefaultKeyword) === true &&
-                    ts.getModifiers(declaration)?.some((modifier) => modifier.kind === ts.SyntaxKind.ExportKeyword) === true)) {
+                checker
+                    .declarationsOf(resolved)
+                    .some((declaration) => ts.isInterfaceDeclaration(declaration) &&
+                    ts
+                        .getModifiers(declaration)
+                        ?.some((modifier) => modifier.kind === ts.SyntaxKind.DefaultKeyword) === true &&
+                    ts
+                        .getModifiers(declaration)
+                        ?.some((modifier) => modifier.kind === ts.SyntaxKind.ExportKeyword) === true)) {
                 return resolved;
             }
             return undefined;
@@ -3200,7 +3306,13 @@ function analyzeEsmNamedImportLinks(program, entry) {
             if (dep === null || dep.fileName.endsWith(".json") || !isNodeEsmFile7(dep, program))
                 continue;
             if (clause.name !== undefined) {
-                imports.push({ local: clause.name.text, exportName: "default", spec, nameNode: clause.name, dep });
+                imports.push({
+                    local: clause.name.text,
+                    exportName: "default",
+                    spec,
+                    nameNode: clause.name,
+                    dep,
+                });
             }
             if (clause.namedBindings === undefined || !ts.isNamedImports(clause.namedBindings))
                 continue;
@@ -3268,7 +3380,8 @@ function analyzeEsmNamedImportLinks(program, entry) {
                 continue;
             if (ts.isExportDeclaration(stmt) && isPrunedNpmReexport(program, stmt))
                 continue;
-            if (ts.isImportDeclaration(stmt) && stmt.importClause?.phaseModifier === ts.SyntaxKind.TypeKeyword)
+            if (ts.isImportDeclaration(stmt) &&
+                stmt.importClause?.phaseModifier === ts.SyntaxKind.TypeKeyword)
                 continue;
             const moduleSpecifier = stmt.moduleSpecifier;
             if (moduleSpecifier === undefined || !ts.isStringLiteral(moduleSpecifier))
@@ -3369,10 +3482,14 @@ function earlierLinkCrash(moduleOrder, first, second) {
             let reexport = 0;
             for (const stmt of sf.statements) {
                 const exportClause = ts.isExportDeclaration(stmt) ? stmt.exportClause : undefined;
-                if (!ts.isExportDeclaration(stmt) || stmt.isTypeOnly || exportClause === undefined || !ts.isNamedExports(exportClause))
+                if (!ts.isExportDeclaration(stmt) ||
+                    stmt.isTypeOnly ||
+                    exportClause === undefined ||
+                    !ts.isNamedExports(exportClause))
                     continue;
                 for (const element of exportClause.elements) {
-                    if (!element.isTypeOnly && (element.propertyName ?? element.name).getStart(sf) === crash.loc.start) {
+                    if (!element.isTypeOnly &&
+                        (element.propertyName ?? element.name).getStart(sf) === crash.loc.start) {
                         return [1, reexport];
                     }
                     if (!element.isTypeOnly)
@@ -3399,9 +3516,9 @@ const nodeBuiltinNames = new Set(builtinModules);
  * resolution, locations), exported under the names the 5.9.3 program.ts
  * established (the phase-2 port kept every spelling); the world-neutral
  * helpers re-export from their focused modules. */
-export { ambientDtsPath, fallbackDtsPath, isNodeTypesPath, overridesDtsPath, } from "./dts-paths.js";
+export { ambientDtsPath, fallbackDtsPath, isNodeTypesPath, overridesDtsPath } from "./dts-paths.js";
 export { builtinDefaultImportModule, canonicalBuiltinModule, SUPPORTED_BUILTIN_MODULES, } from "./builtin-modules.js";
-export { npmPackageNameOf, workspacePackageOfPath, } from "./workspace-registry.js";
+export { npmPackageNameOf, workspacePackageOfPath } from "./workspace-registry.js";
 export { requireSpecOf7 as requireSpecOf, isRequireStatement7 as isRequireStatement, requiresOf7 as requiresOf, isNodeEsmFile7 as isNodeEsmFile, resolveImport7 as resolveImport, resolveNpmImport7 as resolveNpmImport, locOf7 as locOf, };
 /** True for JavaScript source files (.js/.mjs/.cjs) — the files whose
  * types come entirely from inference (checkJs + JSDoc) and whose classes
@@ -3456,7 +3573,8 @@ export function orderedImportsOf(program, sf) {
     for (const stmt of sf.statements) {
         if (ts.isExportDeclaration(stmt) && isPrunedNpmReexport(program, stmt))
             continue;
-        if (ts.isExportDeclaration(stmt) && (stmt.isTypeOnly || erasedTypeOnlyReexport(stmt) || !stmt.moduleSpecifier))
+        if (ts.isExportDeclaration(stmt) &&
+            (stmt.isTypeOnly || erasedTypeOnlyReexport(stmt) || !stmt.moduleSpecifier))
             continue;
         if (!ts.isImportDeclaration(stmt) && !ts.isExportDeclaration(stmt))
             continue;
@@ -3587,7 +3705,10 @@ export function cjsExportTargetLiteral(e, sf) {
             if ((stmt.declarationList.flags & ts.NodeFlags.Const) === 0)
                 continue;
             for (const d of stmt.declarationList.declarations) {
-                if (d.name !== undefined && ts.isIdentifier(d.name) && d.name.text === e.text && d.initializer) {
+                if (d.name !== undefined &&
+                    ts.isIdentifier(d.name) &&
+                    d.name.text === e.text &&
+                    d.initializer) {
                     let init = d.initializer;
                     while (ts.isParenthesizedExpression(init))
                         init = init.expression;