@scriptc/compiler 0.4.6 → 0.4.8

package/dist/frontend/lowering/surfaces.js

@@ -8,7 +8,7 @@ function unparenthesized(e) {
 }
 /** `e` without parentheses and type-only wrappers (as, satisfies, type
  * assertions, non-null assertions), which change no runtime value. */
-function withoutTypeCasts(e) {
+export function withoutTypeCasts(e) {
     while (ts.isParenthesizedExpression(e) ||
         ts.isAsExpression(e) ||
         ts.isSatisfiesExpression(e) ||
@@ -373,6 +373,12 @@ export const FS_WATCH_DOCUMENTED_OPTIONS = new Set([
     "encoding",
     "signal",
 ]);
+/** fs.watchFile's documented option keys. */
+export const FS_WATCH_FILE_DOCUMENTED_OPTIONS = new Set([
+    "interval",
+    "persistent",
+    "bigint",
+]);
 /** fs.readdirSync's documented option keys. */
 export const FS_READDIR_DOCUMENTED_OPTIONS = new Set([
     "encoding",
@@ -786,26 +792,27 @@ const PATH_MODULE_FNS = {
         params: [STRING],
         result: STRING,
         variadicPack: true,
-        valueParams: [{ mode: "rest", type: STRING }],
+        valueParams: [{ mode: "rest", type: STRING, name: "path" }],
     },
     resolve: {
         fn: "path.resolve",
         params: [STRING],
         result: STRING,
         variadicPack: true,
-        valueParams: [{ mode: "rest", type: STRING }],
+        valueParams: [{ mode: "rest", type: STRING, name: "paths" }],
+        checked: { fn: "path.resolveValue", args: [false] },
     },
     normalize: {
         fn: "path.normalize",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     dirname: {
         fn: "path.dirname",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     basename: {
         fn: "path.basename",
@@ -813,48 +820,73 @@ const PATH_MODULE_FNS = {
         result: STRING,
         defaults: [""],
         valueParams: [
-            { mode: "required", type: STRING },
-            { mode: "optional", type: STRING, defaultValue: "" },
+            { mode: "required", type: STRING, name: "path" },
+            { mode: "optional", type: STRING, defaultValue: "", name: "suffix" },
         ],
+        valueOrder: [1, 0],
     },
     extname: {
         fn: "path.extname",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     isAbsolute: {
         fn: "path.isAbsolute",
         params: [STRING],
         result: BOOL,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     relative: {
         fn: "path.relative",
         params: [STRING, STRING],
         result: STRING,
         valueParams: [
-            { mode: "required", type: STRING },
-            { mode: "required", type: STRING },
+            { mode: "required", type: STRING, name: "from" },
+            { mode: "required", type: STRING, name: "to" },
         ],
     },
     toNamespacedPath: {
         fn: "path.toNamespacedPath",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
+        checked: { fn: "path.toNamespacedValue", args: [false], result: DYN },
+    },
+    // Node's deprecated alias of toNamespacedPath (the same function object).
+    _makeLong: {
+        fn: "path.toNamespacedPath",
+        params: [STRING],
+        result: STRING,
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
+        checked: { fn: "path.toNamespacedValue", args: [false], result: DYN },
     },
     matchesGlob: {
         fn: "path.matchesGlob",
         params: [STRING, STRING],
         result: BOOL,
-        valueParams: exactValueParams(STRING, STRING),
+        valueParams: [
+            { mode: "required", type: STRING, name: "path" },
+            { mode: "required", type: STRING, name: "pattern" },
+        ],
     },
     // Special-cased (lowerPathParseCall / lowerPathFormatCall): the
     // ParsedPath record and the pathObject argument follow the call site's
     // mapped shapes.
-    parse: { fn: "path.parse", params: [STRING], result: VOID },
-    format: { fn: "path.format", params: [], result: STRING },
+    parse: {
+        fn: "path.parse",
+        params: [STRING],
+        result: VOID,
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
+        checked: { fn: "path.parseValue", args: [false], result: DYN, only: true },
+    },
+    format: {
+        fn: "path.format",
+        params: [],
+        result: STRING,
+        valueParams: [{ mode: "required", type: DYN, name: "pathObject" }],
+        checked: { fn: "path.formatValue", args: [false], result: DYN, only: true },
+    },
 };
 /** The win32 twins (scr_path.c's exact port of Node-v24 path.win32):
  * "path/win32" everywhere, and the bare-module table when the build
@@ -865,26 +897,27 @@ const PATH_WIN32_MODULE_FNS = {
         params: [STRING],
         result: STRING,
         variadicPack: true,
-        valueParams: [{ mode: "rest", type: STRING }],
+        valueParams: [{ mode: "rest", type: STRING, name: "path" }],
     },
     resolve: {
         fn: "path.win32Resolve",
         params: [STRING],
         result: STRING,
         variadicPack: true,
-        valueParams: [{ mode: "rest", type: STRING }],
+        valueParams: [{ mode: "rest", type: STRING, name: "paths" }],
+        checked: { fn: "path.resolveValue", args: [true] },
     },
     normalize: {
         fn: "path.win32Normalize",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     dirname: {
         fn: "path.win32Dirname",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     basename: {
         fn: "path.win32Basename",
@@ -892,50 +925,75 @@ const PATH_WIN32_MODULE_FNS = {
         result: STRING,
         defaults: [""],
         valueParams: [
-            { mode: "required", type: STRING },
-            { mode: "optional", type: STRING, defaultValue: "" },
+            { mode: "required", type: STRING, name: "path" },
+            { mode: "optional", type: STRING, defaultValue: "", name: "suffix" },
         ],
+        valueOrder: [1, 0],
     },
     extname: {
         fn: "path.win32Extname",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     isAbsolute: {
         fn: "path.win32IsAbsolute",
         params: [STRING],
         result: BOOL,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     relative: {
         fn: "path.win32Relative",
         params: [STRING, STRING],
         result: STRING,
         valueParams: [
-            { mode: "required", type: STRING },
-            { mode: "required", type: STRING },
+            { mode: "required", type: STRING, name: "from" },
+            { mode: "required", type: STRING, name: "to" },
         ],
     },
     toNamespacedPath: {
         fn: "path.win32ToNamespacedPath",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
+        checked: { fn: "path.toNamespacedValue", args: [true], result: DYN },
+    },
+    // Node's deprecated alias of toNamespacedPath (the same function object).
+    _makeLong: {
+        fn: "path.win32ToNamespacedPath",
+        params: [STRING],
+        result: STRING,
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
+        checked: { fn: "path.toNamespacedValue", args: [true], result: DYN },
     },
     matchesGlob: {
         fn: "path.win32MatchesGlob",
         params: [STRING, STRING],
         result: BOOL,
-        valueParams: exactValueParams(STRING, STRING),
+        valueParams: [
+            { mode: "required", type: STRING, name: "path" },
+            { mode: "required", type: STRING, name: "pattern" },
+        ],
     },
     // Special-cased (lowerPathParseCall / lowerPathFormatCall): the
     // ParsedPath record and the pathObject argument follow the call site's
     // mapped shapes.
-    parse: { fn: "path.win32Parse", params: [STRING], result: VOID },
-    format: { fn: "path.win32Format", params: [], result: STRING },
+    parse: {
+        fn: "path.win32Parse",
+        params: [STRING],
+        result: VOID,
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
+        checked: { fn: "path.parseValue", args: [true], result: DYN, only: true },
+    },
+    format: {
+        fn: "path.win32Format",
+        params: [],
+        result: STRING,
+        valueParams: [{ mode: "required", type: DYN, name: "pathObject" }],
+        checked: { fn: "path.formatValue", args: [true], result: DYN, only: true },
+    },
 };
-/** util.types's own keys in Node's order (Node 24.22.0). The table is the
+/** util.types's own keys in Node's order (Node 24.22.1). The table is the
  * key census for Object.keys over util.types and node:util/types, including
  * the members that do not compile yet; the corpus checks it against Node. */
 export const UTIL_TYPES_KEYS = [
@@ -1051,9 +1109,9 @@ function buildBuiltinModuleFns() {
             // truncateSync's omitted len completes to 0 in lowerBuiltinModuleCall,
             // like accessSync's mode.
             truncateSync: { fn: "fs.truncateSync", params: [STRING, F64], result: VOID },
-            // The 2-argument form only: Node's mode flags (COPYFILE_EXCL, ...)
-            // land on the arity fence.
-            copyFileSync: { fn: "fs.copyFileSync", params: [STRING, STRING], result: VOID },
+            // The mode is libuv's copyfile flag bits (COPYFILE_EXCL, ...); the
+            // 2- and 3-argument forms lower in lowerBuiltinModuleCall.
+            copyFileSync: { fn: "fs.copyFileSync", params: [STRING, STRING, F64], result: VOID },
             // The callback form is special-cased in lowerBuiltinModuleCall: its
             // Error | null parameter is program-shaped and needs an emitted
             // adapter. The row still projects the static surface and routes the
@@ -1162,10 +1220,10 @@ function buildBuiltinModuleFns() {
             "realpathSync.native": { fn: "fs.realpathNativeSync", params: [STRING], result: STRING },
             // The fd pair behind spawn's fd-stdio form (the daemon-log idiom:
             // openSync(logPath, "a") → spawn stdio ["ignore", fd, fd] →
-            // closeSync). String flags use the established two-argument path;
-            // inline numeric O_* expressions route through openNumericSync, with
-            // an optional creation mode as the third argument.
-            openSync: { fn: "fs.openSync", params: [STRING, STRING], result: F64 },
+            // closeSync). Both forms take an optional creation mode as the third
+            // argument; inline numeric O_* expressions route through
+            // openNumericSync.
+            openSync: { fn: "fs.openSync", params: [STRING, STRING, F64], result: F64 },
             // The buffer forms (fd, buffer, offset, length[, position]). The
             // lowering completes an omitted or literal-null position to -1 (the
             // runtime's current-offset sentinel); numeric positions read without
@@ -1259,10 +1317,10 @@ function buildBuiltinModuleFns() {
                 params: [STRING, STRING],
                 result: { kind: "promise", inner: VOID },
             },
-            // The 2-argument form only, like copyFileSync.
+            // The 2- and 3-argument forms, like copyFileSync.
             copyFile: {
                 fn: "fsp.copyFile",
-                params: [STRING, STRING],
+                params: [STRING, STRING, F64],
                 result: { kind: "promise", inner: VOID },
             },
             mkdtemp: { fn: "fsp.mkdtemp", params: [STRING], result: { kind: "promise", inner: STRING } },
@@ -1518,6 +1576,12 @@ function buildBuiltinModuleFns() {
             brotliCompressSync: { fn: "zlib.syncOpts", params: [], result: BYTES_U8 },
             brotliDecompress: { fn: "zlib.cbOpts", params: [], result: VOID },
             brotliDecompressSync: { fn: "zlib.syncOpts", params: [], result: BYTES_U8 },
+            // zstd, the same shape with Node's ZSTD_COMPRESS or ZSTD_DECOMPRESS
+            // mode (special-cased in lowerZlibModuleCall).
+            zstdCompress: { fn: "zlib.cbOpts", params: [], result: VOID },
+            zstdCompressSync: { fn: "zlib.syncOpts", params: [], result: BYTES_U8 },
+            zstdDecompress: { fn: "zlib.cbOpts", params: [], result: VOID },
+            zstdDecompressSync: { fn: "zlib.syncOpts", params: [], result: BYTES_U8 },
             // The stream factories (special-cased in lowerZlibModuleCall): each
             // answers a runtime Transform stream over the zlib engine.
             createDeflate: { fn: "zlib.streamNew", params: [], result: ZLIB_STREAM },
@@ -1529,6 +1593,8 @@ function buildBuiltinModuleFns() {
             createUnzip: { fn: "zlib.streamNew", params: [], result: ZLIB_STREAM },
             createBrotliCompress: { fn: "zlib.streamNew", params: [], result: ZLIB_STREAM },
             createBrotliDecompress: { fn: "zlib.streamNew", params: [], result: ZLIB_STREAM },
+            createZstdCompress: { fn: "zlib.streamNew", params: [], result: ZLIB_STREAM },
+            createZstdDecompress: { fn: "zlib.streamNew", params: [], result: ZLIB_STREAM },
         },
         url: {
             fileURLToPath: {
@@ -1800,6 +1866,16 @@ function buildBuiltinModuleFns() {
             isExternal: { fn: "util.typeIs", params: [DYN], result: BOOL },
         },
         buffer: {
+            // Node 24's deprecate(SlowBuffer): DEP0030 on the first call, then
+            // allocUnsafeSlow's validation and an unpooled Buffer.
+            SlowBuffer: {
+                fn: "buffer.slowBuffer",
+                params: [DYN],
+                result: BYTES_U8,
+                valueParams: [{ mode: "optional", type: DYN, defaultValue: undefined }],
+                valueLength: 1,
+                valueName: "deprecated",
+            },
             isAscii: { fn: "buffer.isAscii", params: [DYN], result: BOOL },
             isUtf8: { fn: "buffer.isUtf8", params: [DYN], result: BOOL },
             transcode: { fn: "buffer.transcode", params: [DYN, DYN, DYN], result: BYTES_U8 },
@@ -1820,13 +1896,16 @@ function buildBuiltinModuleFns() {
         process: {
             loadEnvFile: { fn: "process.loadEnvFile", params: [DYN], result: VOID },
             // Every spelling of process.cwd as a value is this one function, which
-            // reads the directory when it is called.
+            // reads the directory when it is called. Node's main thread wraps it
+            // under the name "wrappedCwd"; a worker sees the unwrapped function,
+            // whose name is "".
             cwd: {
                 fn: "process.cwd",
                 params: [],
                 result: STRING,
                 valueParams: [],
                 valueName: "wrappedCwd",
+                valueNameMainThreadOnly: true,
             },
         },
         // node:string_decoder's surface is the StringDecoder CLASS — new/write/
@@ -1859,6 +1938,7 @@ function buildBuiltinModuleFns() {
                 result: STRING,
                 valueParams: [{ mode: "required", type: STRING }],
             },
+            unescapeBuffer: { fn: "qs.unescapeBuffer", params: [STRING, BOOL], result: BYTES_U8 },
         },
         // node:punycode (deprecated): punycode.js 2.1.0's conversions over
         // strings (scr_url.c). ucs2.decode/encode are members of the module's
@@ -2015,6 +2095,8 @@ export const BUILTIN_MODULE_CONSTS = {
     worker_threads: { isMainThread: true, threadId: 0 },
     cluster: { isPrimary: true, isMaster: true, isWorker: false },
     punycode: { version: "2.1.0" },
+    // The largest Buffer length, the bound the allocation checks use.
+    buffer: { kMaxLength: 9007199254740991 },
     // zlib's module-level copies of its constants (every member outside
     // BROTLI_*, Node's own loop over zlib.constants).
     zlib: Object.fromEntries(Object.entries(ZLIB_CONSTANTS).filter(([name]) => !name.startsWith("BROTLI"))),
@@ -2051,15 +2133,20 @@ export const BUILTIN_MODULE_FN_ALIASES = {
         ],
         // The string source's check before a URL destination converts
         // (fs-paths.ts).
-        copyFileSync: ["fs.checkPath"],
+        copyFileSync: ["fs.checkPath", "fs.copyFileFlagsSync"],
         renameSync: ["fs.checkPath"],
-        copyFile: ["fs.checkPath"],
+        copyFile: ["fs.checkPath", "fsp.copyFileFlags"],
         rename: ["fs.checkPath"],
         readlinkSync: ["fs.readlinkSyncStr", "fs.readlinkSyncBuffer"],
         // The bytes-data form and the { mode } options form.
         // The bytes-data form, the { mode } options form, and the
         // file-descriptor data form.
-        writeFileSync: ["fs.writeFileSyncBytes", "fs.writeFileModeSync", "fs.writeFileSyncFd"],
+        writeFileSync: [
+            "fs.writeFileSyncBytes",
+            "fs.writeFileModeSync",
+            "fs.writeFileFlagsSync",
+            "fs.writeFileSyncFd",
+        ],
         appendFileSync: ["fs.appendFileSyncBytes"],
         // The fs stream members (bytesRead/bytesWritten, pending, path, close).
         createReadStream: [
@@ -2110,8 +2197,8 @@ export const BUILTIN_MODULE_FN_ALIASES = {
         // The Buffer form (no encoding) and the runtime-encoding forms.
         readFile: ["fsp.readFileBytes", "fsp.readFileEncoded"],
         readlink: ["fsp.readlinkStr", "fsp.readlinkBuffer"],
-        // The string-data { mode } options form.
-        writeFile: ["fsp.writeFileMode"],
+        // The string-data { mode, flag } options forms.
+        writeFile: ["fsp.writeFileMode", "fsp.writeFileFlags"],
         // The { withFileTypes: true } Dirent form.
         readdir: ["fsp.readdirTypes"],
         glob: ["fsp.globTypes"],
@@ -2153,8 +2240,18 @@ export const BUILTIN_MODULE_FN_ALIASES = {
         isatty: ["process.isTTYValue"],
     },
     os: {
-        // lowerOsUserInfoCall assembles the record from scalar libCalls.
-        userInfo: ["os.userHomedir", "os.userShell"],
+        // lowerOsUserInfoCall assembles the record from scalar libCalls: one
+        // snapshot call and the passwd fields, as text and as Buffers.
+        userInfo: [
+            "os.userInfoBegin",
+            "os.userHomedir",
+            "os.userHomedirBuf",
+            "os.userShell",
+            "os.userShellBuf",
+            "os.userNameBuf",
+            "os.userUid",
+            "os.userGid",
+        ],
         // lowerOsCpusCall reads the cpusTake snapshot through its accessors.
         cpus: ["os.cpusModel", "os.cpusField"],
     },
@@ -2250,6 +2347,22 @@ function buildAmbientSurfaceFns() {
             fns: ["fs.callbackValue", "fs.callbackCall", "fs.callbackGlob"],
             note: "native filesystem callbacks, including stored platform adapter functions",
         },
+        // fs.watchFile/fs.unwatchFile lower in lowerFsWatchFileCall, ahead of
+        // the module table.
+        {
+            id: "node-builtin.fs.watchFile",
+            kind: "node-builtin",
+            name: "fs.watchFile",
+            fns: ["fs.watchFile"],
+            note: "stat polling of a resolved path with Stats listeners, in statement position; bigint: true is refused",
+        },
+        {
+            id: "node-builtin.fs.unwatchFile",
+            kind: "node-builtin",
+            name: "fs.unwatchFile",
+            fns: ["fs.unwatchFile"],
+            note: "removes one listener, or every listener, from a resolved path's poller",
+        },
         // ── the Date slice (lowerDateCall/lowerNew): statics, construction,
         // stored read-only values, calendar getters, and ISO formatting.
         {
@@ -2544,7 +2657,12 @@ function buildAmbientSurfaceFns() {
             id: "node-builtin.process.getBuiltinModule",
             kind: "node-builtin",
             name: "process.getBuiltinModule",
-            fns: ["process.builtinId", "process.builtinModule", "process.builtinUnsupported"],
+            fns: [
+                "process.builtinId",
+                "process.builtinModule",
+                "process.builtinObject",
+                "process.builtinUnsupported",
+            ],
             note: "native path and os export subsets plus current-thread worker_threads metadata; other modules and exports throw SC2020",
         },
         {
@@ -3138,7 +3256,8 @@ export function stdlibMemberFence(lowerer, access) {
     }
     else if (container === "process.stdin" || (container === "process" && member === "stdin")) {
         hint =
-            "isTTY, destroy(), on/once of the data/end/error events, and " +
+            "isTTY, destroy(), on/once of the data/end/error/readable events, " +
+                "pause/resume/isPaused/read/readableLength, and " +
                 "`for await (const chunk of process.stdin)` are the supported stdin surface " +
                 '(or read everything at once: readFileSync(0, "utf8") from node:fs)';
     }
@@ -3213,11 +3332,13 @@ export function stdlibMemberFence(lowerer, access) {
         member === "toLocaleLowerCase" ||
         member === "toLocaleUpperCase") {
         hint =
-            "locale- and ICU-backed behavior lives outside the static runtime (the localeCompare " +
-                "stance: code-unit order, no collation/locale data) — what lowers: the composed " +
+            "collation and locale negotiation stay outside the static runtime (the localeCompare " +
+                "stance: code-unit order, no collation) — what lowers: the composed " +
                 'new Intl.NumberFormat("en-US").format(x) and x.toLocaleString("en-US") with default ' +
-                "options, plus default Unicode grapheme segmentation with Intl.Segmenter; locale " +
-                "negotiation, word/sentence segmentation, and resolvedOptions remain unsupported";
+                "options, their default-locale forms (x.toLocaleString(), d.toLocaleString(), " +
+                "d.toLocaleTimeString()), and Intl.Segmenter with grapheme or word granularity; " +
+                "sentence segmentation, resolvedOptions, and the remaining Intl constructors remain " +
+                "unsupported";
     }
     else if (container === "Object" && member === "assign") {
         hint =
@@ -3266,6 +3387,24 @@ export function isChildSurfaceMember(lowerer, access) {
         return false;
     return lowerer.mapTypeOf(lowerer.checker.getTypeAtLocation(iface.name))?.kind === "child";
 }
+/** The writer half of isChildSurfaceMember: a stdlib member, OR a member
+ * the user's own writable-pipe interface declares (the hand-written
+ * `Pipe { write; end }` idiom naming child.stdin — mapType's writer duck
+ * rule admits an interface only when every member names the child writer
+ * surface and `write` takes a written chunk and answers the backpressure
+ * boolean, so accepting its members here cannot widen the surface). */
+export function isChildWriterSurfaceMember(lowerer, access) {
+    if (isStdlibMember(lowerer, access))
+        return true;
+    const sym = lowerer.checker.getSymbolAtLocation(access.name);
+    const decl = sym ? sym.declarations[0] : undefined;
+    const iface = decl?.parent;
+    if (!decl || !iface || !ts.isInterfaceDeclaration(iface))
+        return false;
+    if (lowerer.isStdlibFile(ts.getSourceFileOfNode(decl)))
+        return false;
+    return lowerer.mapTypeOf(lowerer.checker.getTypeAtLocation(iface.name))?.kind === "childWriter";
+}
 /** True iff some declaration of the symbol lives in the standard library
  * (shipped ambient or default lib — the provenance half of every
  * supported-surface check). `some`, not `[0]`: divergence overrides merge
@@ -3450,25 +3589,27 @@ export function stdlibGlobalAliasNameOf(lowerer, init) {
     // These globals have provenance-aware call or member lowering, so a
     // stable snapshot keeps the same dispatch as the original global.
     // Other callable globals still use their ordinary value paths.
-    return [
-        "process",
-        "console",
-        "globalThis",
-        "performance",
-        "Array",
-        "Buffer",
-        "BigInt",
-        "Number",
-        "String",
-        "Boolean",
-        // Code generation from strings throws Node's EvalError at every call
-        // (code-generation.ts); zod 4 probes `const F = Function; new F("")`.
-        "Function",
-        "eval",
-    ].includes(name)
-        ? name
-        : null;
+    return SNAPSHOT_GLOBALS.has(name) ? name : null;
 }
+/** The globals a `const x = <global>` snapshot aliases (stdlibGlobalAliasNameOf).
+ * Node defines every one of them, so an optional step over one of them
+ * (`proc?.env`, `globalThis.process?.env`) is the plain member read. */
+export const SNAPSHOT_GLOBALS = new Set([
+    "process",
+    "console",
+    "globalThis",
+    "performance",
+    "Array",
+    "Buffer",
+    "BigInt",
+    "Number",
+    "String",
+    "Boolean",
+    // Code generation from strings throws Node's EvalError at every call
+    // (code-generation.ts); zod 4 probes `const F = Function; new F("")`.
+    "Function",
+    "eval",
+]);
 /** `buffer.Buffer` through a buffer-module namespace binding (`var buffer
  * = require('buffer')`): the module's Buffer IS the global constructor. */
 export function bufferNamespaceMember(lowerer, expr) {