@scriptc/compiler 0.1.2 → 0.1.4

package/dist/frontend/npm.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"npm.test.js","sourceRoot":"","sources":["../../src/frontend/npm.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAE3C,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,MAAM,GAAG,kBAAkB,CAC/B,8DAA8D;QAC5D,qEAAqE,EACvE,oBAAoB,CACrB,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC;QAC1B;YACE,SAAS,EAAE,YAAY;YACvB,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,KAAK;YACnB,gBAAgB,EAAE,KAAK;YACvB,aAAa,EAAE,KAAK;YACpB,iBAAiB,EAAE,IAAI;SACxB;QACD;YACE,SAAS,EAAE,iBAAiB;YAC5B,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,KAAK;YACnB,gBAAgB,EAAE,KAAK;YACvB,aAAa,EAAE,KAAK;YACpB,iBAAiB,EAAE,IAAI;SACxB;KACF,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,iCAAiC,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;IAClF,MAAM,KAAK,GAAG,GAAG,IAAI,0BAA0B,CAAC;IAChD,MAAM,OAAO,GAAG,IAAI,eAAe,EAAE,CAAC;IACtC,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC;IACpF,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IAC3B,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC;QACjC,IAAI,EAAE,IAAK,CAAC,GAAG;QACf,SAAS,EAAE,QAAQ;QACnB,EAAE,EAAE,MAAM,CAAC,cAAc,CAAC,sBAAsB,CAAC;QACjD,IAAI,EAAE,QAAQ;KACf,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,iCAAiC,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;IAClF,MAAM,KAAK,GAAG,GAAG,IAAI,0BAA0B,CAAC;IAChD,MAAM,OAAO,GAAG,IAAI,eAAe,EAAE,CAAC;IACtC,MAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAChG,MAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;AACnG,CAAC,CAAC,CAAC"}
+{"version":3,"file":"npm.test.js","sourceRoot":"","sources":["../../src/frontend/npm.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAE3C,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,iCAAiC,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAChG,MAAM,OAAO,GAAG,CAAC,GAAG,KAAe,EAAU,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,KAAK,CAAC,CAAC;AAC7E,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAEtE,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,MAAM,GAAG,kBAAkB,CAC/B,8DAA8D;QAC5D,qEAAqE,EACvE,oBAAoB,CACrB,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC;QAC1B;YACE,SAAS,EAAE,YAAY;YACvB,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,KAAK;YACnB,gBAAgB,EAAE,KAAK;YACvB,aAAa,EAAE,KAAK;YACpB,iBAAiB,EAAE,IAAI;SACxB;QACD;YACE,SAAS,EAAE,iBAAiB;YAC5B,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,KAAK;YACnB,gBAAgB,EAAE,KAAK;YACvB,aAAa,EAAE,KAAK;YACpB,iBAAiB,EAAE,IAAI;SACxB;KACF,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,IAAI,eAAe,EAAE,CAAC;IACtC,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC9F,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IAC3B,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO;IAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACzG,MAAM,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC;QAC3B,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC;QACxB,SAAS,EAAE,QAAQ;QACnB,EAAE,EAAE,MAAM,CAAC,cAAc,CAAC,sBAAsB,CAAC;QACjD,IAAI,EAAE,QAAQ;KACf,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,IAAI,eAAe,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,OAAO,CAAC,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IAC3E,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAChC,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAChC,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO;IACnD,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAC1D,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;AAC5D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,iBAAiB,EAAE,SAAS,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,IAAI,eAAe,EAAE,CAAC;IACtC,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAC/B,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,CAAC;IAC7G,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACzG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjC,MAAM,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;IACnC,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO;IACvC,MAAM,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC;QAC3B,IAAI,EAAE,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC;QAChC,SAAS,EAAE,QAAQ;QACnB,EAAE,EAAE,MAAM,CAAC,cAAc,CAAC,sCAAsC,CAAC;QACjE,IAAI,EAAE,QAAQ;KACf,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC;QAC3B,IAAI,EAAE,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC;QAChC,SAAS,EAAE,gBAAgB;QAC3B,EAAE,EAAE,MAAM,CAAC,cAAc,CAAC,sCAAsC,CAAC;QACjE,IAAI,EAAE,QAAQ;KACf,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC;QAC3B,IAAI,EAAE,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC;QAChC,SAAS,EAAE,WAAW;QACtB,EAAE,EAAE,MAAM,CAAC,cAAc,CAAC,qBAAqB,CAAC;QAChD,IAAI,EAAE,QAAQ;KACf,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC;QAC3B,IAAI,EAAE,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC;QAChC,SAAS,EAAE,OAAO;QAClB,EAAE,EAAE,MAAM,CAAC,cAAc,CAAC,8CAA8C,CAAC;QACzE,IAAI,EAAE,SAAS;KAChB,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC;QAC3B,IAAI,EAAE,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC;QAChC,SAAS,EAAE,OAAO;QAClB,EAAE,EAAE,MAAM,CAAC,cAAc,CAAC,4CAA4C,CAAC;QACvE,IAAI,EAAE,QAAQ;KACf,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,iBAAiB,EAAE,SAAS,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,IAAI,eAAe,EAAE,CAAC;IACtC,OAAO,CAAC,aAAa,CAAC,KAAK,EAAE,4CAA4C,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAC/B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;IAC5B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,SAAS,CAC7B,4DAA4D,OAAO,CAAC,cAAc,EAAE,cAAc,EAAE,cAAc,CAAC,EAAE,CACtH,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;AAC7D,CAAC,CAAC,CAAC"}

package/dist/frontend/program.js

@@ -53,6 +53,7 @@ import { builtinDefaultImportModule, canonicalBuiltinModule, SUPPORTED_NODE_MODU
 import { clearWorkspacePackages, isRelativeSpecifier, isWorkspacePackageName, npmPackageNameOf, registerWorkspacePackage, workspacePackageOfPath, } from "./workspace-registry.js";
 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";
 const BASE_OPTIONS = {
     strict: true,
 };
@@ -344,6 +345,44 @@ function externalTypeFileClosure7(program, externalTypes) {
     }
     return new Map([...ownersByFile].map(([file, owners]) => [file, [...owners]]));
 }
+/** Program roots hidden behind canonical createRequire bindings. tsgo
+ * discovers ordinary import/require edges itself, but a source binding
+ * returned by createRequire is intentionally just a function to the type
+ * checker. Rebuild the native program with each literal project target as
+ * 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 roots = new Set();
+    for (const sf of program.getSourceFiles()) {
+        if (sf.isDeclarationFile || sf.fileName.endsWith(".json"))
+            continue;
+        ts.walkPreorder(sf, (node) => {
+            if (!ts.isCallExpression(node) || node.questionDotToken !== undefined ||
+                node.arguments.length !== 1 || !ts.isStringLiteralLike(node.arguments[0]) ||
+                !ts.isIdentifier(node.expression) || !isCreateRequireBinding7(program, node.expression)) {
+                return undefined;
+            }
+            const spec = node.arguments[0].text;
+            if (canonicalBuiltinModule(spec) !== null)
+                return "skip";
+            let target = resolveProjectModule(sf.fileName, spec);
+            if (target === null && !spec.startsWith("#")) {
+                const npm = resolveNpmImport7(sf.fileName, spec);
+                if (npm !== null && isNpmStaticPackage(npm.packageName) && isJsSourceFileName(npm.typesFile)) {
+                    target = npm.typesFile;
+                }
+            }
+            if (target === null || target.endsWith(".json"))
+                return "skip";
+            const normalized = tsgoPath(resolve(target));
+            if (!known.has(normalized))
+                roots.add(normalized);
+            return "skip";
+        });
+    }
+    return [...roots].sort();
+}
 function loadProgram7(host, entryPath, externalTypes = new Map()) {
     const config = adoptProjectConfig7(host, entryPath);
     const configuredPaths = config.options["paths"];
@@ -379,7 +418,22 @@ function loadProgram7(host, entryPath, externalTypes = new Map()) {
         options = { ...options, paths };
     }
     const coreRoots = [entryPath, ambientDtsPath(), nodeTypes ?? fallbackDtsPath()];
-    const program = ts.createProgram([...coreRoots, overridesDtsPath()], options, host);
+    const programRoots = [...coreRoots];
+    let program = ts.createProgram([...programRoots, overridesDtsPath()], options, host);
+    for (let pass = 0; pass < 32; pass++) {
+        const candidates = [
+            ...createRequireProgramRoots7(program),
+            ...forkTargetPaths(program, program.getSourceFiles()),
+        ];
+        const extraRoots = candidates.filter((root, index) => !programRoots.includes(root) && candidates.indexOf(root) === index);
+        if (extraRoots.length === 0)
+            break;
+        program.dispose();
+        programRoots.push(...extraRoots);
+        program = ts.createProgram([...programRoots, overridesDtsPath()], options, host);
+        if (pass === 31)
+            throw new Error("static program-root discovery did not converge");
+    }
     const entry = program.getSourceFile(entryPath);
     if (!entry)
         throw new Error(`could not load ${entryPath}`);
@@ -392,7 +446,7 @@ function loadProgram7(host, entryPath, externalTypes = new Map()) {
         configDiags: config.diags,
         externalTypes,
         externalTypeSpecifiersByFile,
-        projectWorld: () => (projectWorld ??= ts.createProgram(coreRoots, options, host)),
+        projectWorld: () => (projectWorld ??= ts.createProgram(programRoots, options, host)),
         disposeAll: () => {
             projectWorld?.dispose();
             program.dispose();
@@ -562,13 +616,18 @@ function suppressedJsStrictness7(d) {
  * share — anything require-shaped it does NOT match (computed specifiers,
  * extra arguments) is not a module edge and fences at its use site. */
 function requireSpecOf7(node) {
-    if (!ts.isCallExpression(node))
+    let value = node;
+    while (ts.isParenthesizedExpression(value) || ts.isAsExpression(value) ||
+        ts.isTypeAssertion(value) || ts.isNonNullExpression(value)) {
+        value = value.expression;
+    }
+    if (!ts.isCallExpression(value))
         return null;
-    if (!ts.isIdentifier(node.expression) || node.expression.text !== "require")
+    if (!ts.isIdentifier(value.expression) || value.expression.text !== "require")
         return null;
-    if (node.arguments.length !== 1)
+    if (value.arguments.length !== 1)
         return null;
-    const arg = node.arguments[0];
+    const arg = value.arguments[0];
     return ts.isStringLiteral(arg) ? arg.text : null;
 }
 /** True for statements that are CommonJS require IMPORTS at a module's top
@@ -806,7 +865,8 @@ function isCreateRequireBinding7(program, callee) {
  * module edges; other source bindings get a pointed fence before lowering
  * can mistake them for module syntax. */
 function requireCallBindingKind7(program, node) {
-    const call = ts.isVariableDeclaration(node) ? node.initializer : node;
+    const raw = ts.isVariableDeclaration(node) ? node.initializer : node;
+    const call = raw && ts.isExpression(raw) ? stripRequireCasts7(raw) : raw;
     if (!call || !ts.isCallExpression(call) || !ts.isIdentifier(call.expression))
         return "ambient";
     const checker = program.getTypeChecker();
@@ -1584,6 +1644,16 @@ function processModuleAliasRequire7(spec, decl) {
         return false;
     return decl === null || ts.isIdentifier(decl.name);
 }
+/** `import process from 'node:process'`: the ESM spelling of the same
+ * global-object alias as processModuleAliasRequire7. Keep this exemption
+ * deliberately narrow: named and namespace imports need a represented
+ * module namespace, while the default binding is exactly globalThis.process. */
+function processModuleAliasImport7(spec, stmt) {
+    if (spec !== "process" && spec !== "node:process")
+        return false;
+    const clause = stmt.importClause;
+    return clause !== undefined && clause.name !== undefined && clause.namedBindings === undefined;
+}
 /** The whole TS7-lane lifecycle for one entry: spawn (or share) a tsgo
  * host, build the lowering-world program, run the ported preflight, and
  * dispose EVERYTHING before returning — the CLI process must exit promptly,
@@ -1962,7 +2032,8 @@ function preflight7(load) {
                     diags.push(externalHostModuleDiag7(fromSpec, stmt));
                     continue;
                 }
-                if (!isRelativeSpecifier(fromSpec)) {
+                const projectReexport = resolveImport7(program, sf, fromSpec);
+                if (!isRelativeSpecifier(fromSpec) && projectReexport === null) {
                     // NAMED re-exports from a SUPPORTED builtin pass (`export { ok }
                     // from "node:assert"` — a universal re-export facade facade): the
                     // statement binds nothing locally and evaluates nothing (builtins
@@ -1995,7 +2066,7 @@ function preflight7(load) {
                     diags.push(unsupportedDiag("SC1014", locOf7(stmt), "re-exports from packages or builtin modules"));
                     continue;
                 }
-                const reDep = resolveImport7(program, sf, fromSpec);
+                const reDep = projectReexport;
                 // `export * as ns from "./m"` re-exports the module NAMESPACE
                 // object under a name: importers' `x.ns.member` reads resolve
                 // statically through the same alias machinery as `import * as ns`
@@ -2114,6 +2185,11 @@ function preflight7(load) {
                     continue;
                 }
                 if (projDep === null) {
+                    // node:process's default export is the global process object. It
+                    // contributes no module-order edge; the imported binding lowers
+                    // through stdlibGlobalNameOf exactly like the bare global.
+                    if (processModuleAliasImport7(spec, stmt))
+                        continue;
                     const nodeBuiltin = spec.startsWith("node:") || nodeBuiltinNames.has(spec);
                     if (nodeBuiltin) {
                         diags.push(unsupportedDiag("SC1010", locOf7(stmt), unsupportedModuleFeatureOf(spec)));
@@ -2218,7 +2294,8 @@ function preflight7(load) {
                 depPositions.get(sf).push({ dep, pos: stmt.getStart(sf) });
             }
         }
-        if (isJsSourceFileName(sf.fileName)) {
+        {
+            const jsRequireFile = isJsSourceFileName(sf.fileName);
             const stmts = sf.statements;
             let firstRunnable = -1;
             stmts.forEach((s, i) => {
@@ -2229,8 +2306,14 @@ function preflight7(load) {
                 const stmt = stmts[k];
                 for (const req of requiresOf7(stmt)) {
                     const loc = { file: sf.fileName, start: req.node.getStart(sf), end: req.node.getEnd() };
+                    const bindingKind = requireCallBindingKind7(program, req.node);
+                    // TypeScript source files join this scan only through the
+                    // canonical createRequire bridge. Their ordinary require-shaped
+                    // calls retain the existing checker/lowering diagnostics; JS
+                    // files keep the full CommonJS scan.
+                    if (!jsRequireFile && bindingKind !== "createRequire")
+                        continue;
                     if (isNodeEsmFile7(sf)) {
-                        const bindingKind = requireCallBindingKind7(program, req.node);
                         if (bindingKind !== "createRequire") {
                             diags.push(unsupportedDiag("SC1013", loc, esmRequireFeature7(bindingKind)));
                             continue;
@@ -2265,6 +2348,13 @@ function preflight7(load) {
                                 continue; // offender recorded — the fallback loop reloads
                         }
                         else {
+                            // createRequire's non-program targets belong to its own
+                            // lowering: installed packages select static-vs-island
+                            // there, and missing packages become catchable
+                            // MODULE_NOT_FOUND throws. Only resolved program targets are
+                            // module-order edges in this preflight walk.
+                            if (bindingKind === "createRequire")
+                                continue;
                             if (canonicalBuiltinModule(req.spec) === null &&
                                 !processModuleAliasRequire7(req.spec, req.decl)) {
                                 // A binding-less require of a package NOTHING resolves:
@@ -2281,6 +2371,8 @@ function preflight7(load) {
                         }
                     }
                     if (dep && dep.fileName.endsWith(".json")) {
+                        if (bindingKind === "createRequire")
+                            continue;
                         diags.push(unsupportedDiag("SC1012", loc, "require() of JSON modules"));
                         continue;
                     }
@@ -2300,8 +2392,10 @@ function preflight7(load) {
             for (const call of nestedBareRequires) {
                 const spec = requireSpecOf7(call);
                 const loc = { file: sf.fileName, start: call.getStart(sf), end: call.getEnd() };
+                const bindingKind = requireCallBindingKind7(program, call);
+                if (!jsRequireFile && bindingKind !== "createRequire")
+                    continue;
                 if (isNodeEsmFile7(sf)) {
-                    const bindingKind = requireCallBindingKind7(program, call);
                     if (bindingKind !== "createRequire") {
                         diags.push(unsupportedDiag("SC1013", loc, esmRequireFeature7(bindingKind)));
                         continue;
@@ -2313,6 +2407,8 @@ function preflight7(load) {
                 const projectDep = resolveImport7(program, sf, spec);
                 if (projectDep !== null) {
                     if (projectDep.fileName.endsWith(".json")) {
+                        if (bindingKind === "createRequire")
+                            continue;
                         diags.push(unsupportedDiag("SC1012", loc, "require() of JSON modules"));
                         continue;
                     }
@@ -2329,6 +2425,8 @@ function preflight7(load) {
                             deps.push({ dep: nDep });
                         continue;
                     }
+                    if (bindingKind === "createRequire")
+                        continue;
                     if (canonicalBuiltinModule(spec) === null && !processModuleAliasRequire7(spec, null)) {
                         // Binding-less by construction — same require-site throw
                         // channel as the statement-level form above.