@scriptc/compiler 0.1.3 → 0.1.5

package/dist/ir/ir.d.ts

@@ -4,11 +4,10 @@ export interface SrcLoc {
     start: number;
     end: number;
 }
-/** The typed-array element kinds with a runtime representation: exactly
- * the constructors real CLI code reaches (Uint8Array/Buffer, Uint32Array,
- * Int32Array — the Atomics.wait sleep idiom's array — Float32Array). The
- * other TypedArray flavors stay frontend-fenced. */
-export type IrBytesElem = "u8" | "u32" | "i32" | "f32";
+/** Typed-array element kinds with a runtime representation: Uint8Array/Buffer,
+ * Uint32Array, Int32Array, Float32Array, and Float64Array. Other flavors stay
+ * frontend-fenced. */
+export type IrBytesElem = "u8" | "u32" | "i32" | "f32" | "f64";
 export type IrType = {
     kind: "f64";
 }
@@ -69,14 +68,14 @@ export type IrType = {
  | {
     kind: "regex";
 }
-/** A typed array / Node Buffer (Uint8Array, Uint32Array, Float32Array;
+/** A typed array / Node Buffer (Uint8Array, Uint32Array, Float32Array,
+ * Float64Array;
  * Buffer IS a Uint8Array subclass and shares the u8 kind) — heap,
  * refcounted, MUTABLE, fixed-length, with ONE runtime representation
- * (ScrBytes) that OWNS its storage: no views exist — subarray()/slice()
- * both COPY (documented divergence for subarray), `.buffer`/
- * `.byteOffset`/DataView are frontend-fenced. Element reads widen to
- * f64; writes coerce JS-exactly (ToUint8/ToUint32 modular truncation,
- * double→float rounding). OOB element access traps like arrays. Allowed
+ * (ScrBytes) that owns storage or borrows it for subarray and DataView
+ * views. Typed-array slice copies. Element reads widen to f64; writes
+ * coerce JS-exactly (ToUint8/ToUint32 modular truncation and f32
+ * rounding). OOB element access traps like arrays. Allowed
  * as array elements and union arms (tag-based narrowing, like url);
  * fenced out of map keys/values, set elements, and JSON. Holds only raw
  * bytes — never part of a cycle, no trace. */
@@ -270,21 +269,24 @@ export type IrType = {
 } | {
     kind: "cryptoHmac";
 }
-/** Heap, refcounted closure. `rest` marks a VARIADIC JS function (a
- * `...args` rest parameter, or a zero-param function body reading
- * `arguments` — test/common's mustCall wrapper): the lifted function
- * takes one extra trailing `ScrDyn *` param — a dyn ARRAY carrying the
- * call's arguments from index params.length on — which the dyn call
- * thunk builds per call. `params` stays the DECLARED (non-rest) list
- * (fn.length semantics). Rest-marked values are only ever CALLED
- * through the dyn boundary (boxed thunks); direct static calls box
- * first (lower-calls). */
+/** Heap, refcounted closure. `rest` marks a variadic function value.
+ * `restAbi: "typed"` spells one trailing typed array in `params`; static
+ * call sites pack their surplus arguments into it before `callValue`.
+ * `restAbi: "jsval"` similarly spells one trailing engine array for an
+ * island host callback. An absent `restAbi` is the legacy checked-dynamic
+ * JS form: `params` stays the declared non-rest list and the lifted
+ * function has one hidden trailing ScrDyn array filled by its boxed call
+ * thunk. `argumentsAll` keeps that hidden ABI but fills it with every
+ * actual argument, including named positions. The backends therefore
+ * still see one fixed native closure ABI;
+ * only the frontend's call completion observes variadic source arity. */
  | {
     kind: "func";
     params: IrType[];
     ret: IrType;
     rest?: true;
-    restAbi?: "jsval";
+    restAbi?: "jsval" | "typed";
+    argumentsAll?: true;
 } | {
     kind: "object";
     className: string;
@@ -308,6 +310,15 @@ export type IrType = {
     kind: "classval";
     className: string;
 }
+/** An ECMAScript module namespace object for one statically-known module.
+ * `moduleId` is a canonical compiled source-file or builtin identity.
+ * Runtime representation is an interned immortal string token: identity
+ * is pointer identity, while member reads resolve to live module globals
+ * or builtin lowering tables rather than snapshotting export values. */
+ | {
+    kind: "moduleNs";
+    moduleId: string;
+}
 /** Structural record shape (object literal / interface / type alias over
  * data properties). `shapeId` indexes IrModule.records; the frontend
  * interns shapes structurally, so equal shapeId ⇔ equal shape and
@@ -417,9 +428,9 @@ declare const HANDLE_KIND_LIST: readonly ["stats", "fileHandle", "spawnRes", "ch
 export type HandleKind = typeof HANDLE_KIND_LIST[number];
 export declare const HANDLE_KINDS: IrKindSet<"child" | "childStream" | "childWriter" | "cryptoHash" | "cryptoHmac" | "dgramSocket" | "fileHandle" | "fsWatcher" | "http2Session" | "http2Stream" | "httpClientReq" | "httpReq" | "httpRes" | "netServer" | "netSocket" | "procStream" | "secureCtx" | "spawnRes" | "stats" | "testCtx">;
 /** The IR kinds represented as pointers in both native backends. */
-declare const POINTER_KIND_LIST: readonly ["string", "bigint", "array", "map", "set", "regex", "bytes", "url", "searchParams", "symbol", "stats", "fileHandle", "spawnRes", "child", "netServer", "netSocket", "http2Session", "http2Stream", "dgramSocket", "testCtx", "httpReq", "httpRes", "httpClientReq", "secureCtx", "cryptoHash", "cryptoHmac", "fsWatcher", "childStream", "childWriter", "func", "object", "classval", "record", "union", "dyn", "jsval", "caught", "promise", "generator"];
+declare const POINTER_KIND_LIST: readonly ["string", "bigint", "array", "map", "set", "regex", "bytes", "url", "searchParams", "symbol", "stats", "fileHandle", "spawnRes", "child", "netServer", "netSocket", "http2Session", "http2Stream", "dgramSocket", "testCtx", "httpReq", "httpRes", "httpClientReq", "secureCtx", "cryptoHash", "cryptoHmac", "fsWatcher", "childStream", "childWriter", "func", "object", "classval", "moduleNs", "record", "union", "dyn", "jsval", "caught", "promise", "generator"];
 export type PointerKind = typeof POINTER_KIND_LIST[number];
-export declare const POINTER_KINDS: IrKindSet<"array" | "bigint" | "bytes" | "caught" | "child" | "childStream" | "childWriter" | "classval" | "cryptoHash" | "cryptoHmac" | "dgramSocket" | "dyn" | "fileHandle" | "fsWatcher" | "func" | "generator" | "http2Session" | "http2Stream" | "httpClientReq" | "httpReq" | "httpRes" | "jsval" | "map" | "netServer" | "netSocket" | "object" | "promise" | "record" | "regex" | "searchParams" | "secureCtx" | "set" | "spawnRes" | "stats" | "string" | "symbol" | "testCtx" | "union" | "url">;
+export declare const POINTER_KINDS: IrKindSet<"array" | "bigint" | "bytes" | "caught" | "child" | "childStream" | "childWriter" | "classval" | "cryptoHash" | "cryptoHmac" | "dgramSocket" | "dyn" | "fileHandle" | "fsWatcher" | "func" | "generator" | "http2Session" | "http2Stream" | "httpClientReq" | "httpReq" | "httpRes" | "jsval" | "map" | "moduleNs" | "netServer" | "netSocket" | "object" | "promise" | "record" | "regex" | "searchParams" | "secureCtx" | "set" | "spawnRes" | "stats" | "string" | "symbol" | "testCtx" | "union" | "url">;
 /** Runtime RC symbol stem for each IR type kind. An empty stem means the
  * kind is scalar/unit or uses an emitted per-shape helper (object/record).
  * Keeping this exhaustive makes a new runtime handle kind a compile error
@@ -549,7 +560,7 @@ export declare function typeEquals(a: IrType, b: IrType): boolean;
 export declare function isRefCounted(t: IrType): boolean;
 export interface IrModule {
     /** Bumped on any breaking IR change; serialize.ts refuses mismatches. */
-    irVersion: 9;
+    irVersion: 11;
     sourceFile: string;
     functions: IrFunction[];
     /** Class shapes. Constructors and methods are ordinary module functions
@@ -1341,7 +1352,11 @@ export type IrStmt =
  * from the end, clamping; omitted args omitted from `args` — backends fill
  * 0 / +Infinity, the strIntrinsic convention); ref elements retain into
  * the fresh array. */
-export type IrArrIntrinsicMethod = "length" | "push" | "pushSpread" | "concatSpread" | "unshift" | "unshiftSpread" | "pop" | "indexOf" | "includes"
+export type IrArrIntrinsicMethod = "length"
+/** Internal ToNumber(a[index]) for f64-backed arrays: one numeric index,
+ * returning the stored number or NaN for a hole/undefined/missing key.
+ * Borrows the receiver and never traps on missing values. */
+ | "getNumber" | "push" | "pushSpread" | "concatSpread" | "unshift" | "unshiftSpread" | "pop" | "indexOf" | "includes"
 /** Internal sparse traversal: the first present index at/after start,
  * or length when the remaining positions are holes. */
  | "nextPresent" | "join" | "slice" | "shift" | "splice" | "reverse"
@@ -1667,7 +1682,7 @@ export type IrLibFn =
  * result, ±0 order by the JS comparison (max prefers +0, min prefers
  * -0), and the empty array yields -Infinity / +Infinity like the
  * zero-argument calls. Borrows the array; never throws. */
- | "math.maxArr" | "math.minArr"
+ | "math.maxArr" | "math.minArr" | "math.hypotArr"
 /** `fs.readdirSync(path, { withFileTypes: true })` — Dirent rows over
  * one readdir pass (scr_lib.c's scandir snapshot; DT_UNKNOWN falls back
  * to lstat, Node's getDirents rule). The result type is the call site's
@@ -1699,7 +1714,9 @@ export type IrLibFn =
  * round-toward-+Infinity exactly as ECMA says). Static like floor —
  * they are ask-4's wholeness-discharge operators, so the library
  * inference needs them compiled, not island-served. Never throw. */
- | "math.trunc" | "math.ceil"
+ | "math.trunc" | "math.ceil" | "math.sin" | "math.cos" | "math.tan" | "math.asin" | "math.acos" | "math.atan" | "math.cbrt"
+/** Return -1, +1, or the original NaN/zero. In particular, -0 remains -0. */
+ | "math.sign" | "math.exp" | "math.sqrt" | "math.log" | "math.log2" | "math.log10" | "math.atan2" | "math.pow"
 /** The static global parsers/tests (scr_string.c). num.parseInt is
  * ECMA-262 19.2.5 exactly — JS whitespace, sign, ToInt32 radix (the
  * frontend completes an omitted radix to 0 = the spec's "undefined":
@@ -1783,7 +1800,7 @@ export type IrLibFn =
  * value / string) — both THROW Node's TypeErrors on non-file schemes,
  * encoded slashes, and non-empty hosts. url.pathToFileURL resolves the
  * path (getcwd) and never throws. */
- | "url.new" | "url.protocol" | "url.host" | "url.hostname" | "url.pathname" | "url.href" | "url.fileURLToPathUrl" | "url.fileURLToPathStr" | "url.pathToFileURL"
+ | "url.new" | "url.protocol" | "url.origin" | "url.username" | "url.password" | "url.host" | "url.hostname" | "url.port" | "url.pathname" | "url.href" | "url.fileURLToPathUrl" | "url.fileURLToPathStr" | "url.pathToFileURL"
 /** pathToFileURL under a win32 TARGET: the same scr_url_from_path call
  * (the runtime selects the win32 arm by _WIN32), but a distinct IR name
  * because that arm THROWS for malformed UNC inputs — may-throw seeds on
@@ -1806,7 +1823,7 @@ export type IrLibFn =
  * bools; sp.size/sp.toString are pure reads. sp.keyAt/sp.valAt are
  * the for-of/forEach desugar's index reads (live — the loop re-reads
  * sp.size each pass). */
- | "sp.new" | "sp.parse" | "sp.copy" | "sp.fromPairs" | "sp.with" | "url.searchParams" | "url.search" | "sp.get" | "sp.getAll" | "sp.append" | "sp.set" | "sp.delete" | "sp.deleteValue" | "sp.has" | "sp.hasValue" | "sp.sort" | "sp.size" | "sp.toString" | "sp.keyAt" | "sp.valAt"
+ | "sp.new" | "sp.parse" | "sp.copy" | "sp.fromPairs" | "sp.with" | "url.searchParams" | "url.search" | "url.hash" | "sp.get" | "sp.getAll" | "sp.append" | "sp.set" | "sp.delete" | "sp.deleteValue" | "sp.has" | "sp.hasValue" | "sp.sort" | "sp.size" | "sp.toString" | "sp.keyAt" | "sp.valAt"
 /** node:querystring (scr_qs.c — link-gated by moduleUsesQs; NOT
  * URLSearchParams: the legacy codec's escaping and '+' rules differ).
  * qs.escape is Node's qsEscape, which encodes exactly the component
@@ -1848,10 +1865,10 @@ export type IrLibFn =
  * parse accepts the ECMAScript BigInt string grammar; fromF64 accepts
  * finite integral Numbers. Arithmetic returns fresh immutable values.
  * cmp returns -1/0/1 as f64; toString accepts a numeric radix. */
- | "bigint.parse" | "bigint.fromF64" | "bigint.neg" | "bigint.not" | "bigint.add" | "bigint.sub" | "bigint.mul" | "bigint.div" | "bigint.mod" | "bigint.pow" | "bigint.and" | "bigint.or" | "bigint.xor" | "bigint.shl" | "bigint.shr" | "bigint.eq" | "bigint.cmp" | "bigint.cmpNumber" | "bigint.truthy" | "bigint.toString" | "bigint.inspect" | "bigint.toF64" | "bigint.asUintN" | "bigint.asIntN" | "bigint.bufferRead" | "bigint.bufferWrite" | "bigint.dataViewGet" | "bigint.dataViewSet"
+ | "bigint.parse" | "bigint.fromF64" | "bigint.neg" | "bigint.not" | "bigint.add" | "bigint.sub" | "bigint.mul" | "bigint.div" | "bigint.mod" | "bigint.pow" | "bigint.and" | "bigint.or" | "bigint.xor" | "bigint.shl" | "bigint.shr" | "bigint.eq" | "bigint.eqString" | "bigint.cmp" | "bigint.cmpNumber" | "bigint.truthy" | "bigint.toString" | "bigint.inspect" | "bigint.toF64" | "bigint.asUintN" | "bigint.asIntN" | "bigint.bufferRead" | "bigint.bufferWrite" | "bigint.dataViewGet" | "bigint.dataViewSet"
 /** fs.statSync → a Stats value (may throw, like the other sync fs
  * calls); the stats.* getters are pure reads on it. */
- | "fs.statSync" | "stats.isFile" | "stats.isDirectory" | "stats.size"
+ | "fs.statSync" | "stats.isFile" | "stats.isDirectory" | "stats.size" | "stats.dev" | "stats.ino"
 /** child_process.spawnSync (scr_child.c): posix_spawn + waitpid + piped
  * utf8 capture — cmd borrowed, args one borrowed string[] (the frontend
  * completes an omitted list to an empty literal), result an owned (+1)
@@ -1879,7 +1896,9 @@ export type IrLibFn =
  * cmd/args borrowed; result an owned (+1) child handle. The loop will
  * not exhaust while any spawned child is unreaped — Node's keep-alive.
  *
- * child.onExit / child.onError — `child.on("exit"|"error", cb)`: the
+ * child.onExit / child.onClose / child.onError — terminal listener
+ * registration through child.on/once. Close uses the exit adapter shape
+ * but fires only after every piped stdio handle reaches EOF. The
  * receiver is borrowed, the CALLBACK MOVES into the child's listener
  * registry (released after the terminal event fires, or at reap for
  * the event that never fires). Both are void (chaining is fenced).
@@ -1891,7 +1910,16 @@ export type IrLibFn =
  * shape — scr_error_new needs no program types). "exit" fires once
  * with the code (f64 arm) or null (signal death); "error" fires only
  * for spawn failure, exactly Node's split. */
- | "cp.spawn" | "child.onExit" | "child.onError"
+ | "cp.spawn"
+/** Static-native fork startup and IPC. process.forkTarget initializes a
+ * re-executed child's inherited channel and returns its embedded target id
+ * (-1 in the parent). The remaining entries mirror Node's JSON channel. */
+ | "process.forkTarget" | "cp.fork" | "child.connected" | "child.send" | "child.sendCb" | "child.disconnect" | "child.onMessage" | "child.onDisconnect" | "process.connected" | "process.send" | "process.sendCb" | "process.disconnect" | "process.onMessage" | "process.onDisconnect"
+/** child_process.execFile's callback slice: starts an all-piped child,
+ * captures stdout/stderr, and moves the error-first callback into the
+ * child registry. The callback shape is program-dependent and checked
+ * by the validator/backends. */
+ | "cp.execFile" | "child.onExit" | "child.onClose" | "child.onError"
 /** The ChildProcess lifecycle members (scr_child.c), Node's shapes
  * exactly (SEMANTICS.md has the pinned matrix). child.pid is the
  * checker's `number | undefined` (undefined = spawn failure) and
@@ -1914,12 +1942,14 @@ export type IrLibFn =
  * arm). stream.onData/onEnd register 'data'/'end' listeners (receiver
  * borrowed, CALLBACK MOVES, trailing once-flag, void — chaining
  * fenced): 'data' fires one Buffer chunk per read (zero-param and
- * Buffer-param adapters are runtime-provided; a union-param listener —
+ * Buffer/string adapters are runtime-provided; setEncoding threads
+ * split multibyte sequences through the shared StringDecoder core. A
+ * union-param listener —
  * ngrok's `Buffer | string` — gets a compiler-emitted adapter wrapping
  * the chunk at its Buffer arm), 'end' fires once at EOF, always BEFORE
  * the child's 'exit' (the pinned ordering). A flowing stream keeps the
  * loop alive: usesTimers. */
- | "child.stdout" | "child.stderr" | "stream.onData" | "stream.onEnd"
+ | "child.stdout" | "child.stderr" | "stream.onData" | "stream.onDataStr" | "stream.onEnd" | "stream.childSetEncoding"
 /** The piped-input writer (stdio mode 3 on fd 0). child.stdin answers
  * `Writable | null`; writes copy borrowed data into the nonblocking
  * queue, end/destroy settle it, writable is a pure state read, and
@@ -1962,7 +1992,7 @@ export type IrLibFn =
  * those values in the callback form. The final BOOL is the requested
  * kernel connection-distribution option; old spellings remain
  * four/five-argument calls so serialized IR stays compatible. */
- | "net.listenOptsReusePort" | "net.listenOptsReusePortCb" | "net.serverPort"
+ | "net.listenOptsReusePort" | "net.listenOptsReusePortCb" | "net.serverPort" | "net.serverListening"
 /** server.address() as the full AddressInfo record (the dgram.address
  * materialization pattern: the emitter builds the record from the three
  * runtime reads; the frontend pinned the shape). Never throws — before
@@ -2071,18 +2101,16 @@ export type IrLibFn =
  * for end-before-head, chunked after an explicit writeHead/write). */
  | "http.createServer"
 /** http.createServer() / http.Server() with no handler — the
- * on("request") route; createServerOpts is the (options[, listener])
- * overload's twin carrying the two lowered parser flags
- * (requireHostHeader: false is already this parser's behavior;
- * joinDuplicateHeaders joins repeated request-header reads ", "). */
- | "http.createServerEmpty" | "http.serverJoinDupHeaders"
+ * on("request") route; option helpers set parser behavior on a fresh
+ * server before the constructor/factory result is returned. */
+ | "http.createServerEmpty" | "http.validateHeaderName" | "http.validateHeaderValue" | "http.serverJoinDupHeaders" | "http.serverAllowMissingHostHeader"
 /** The five writable numeric http.Server timeout fields use one
  * selector ABI: 0 timeout, 1 keepAliveTimeout, 2 headersTimeout,
  * 3 requestTimeout, 4 keepAliveTimeoutBuffer. These calls store/read
  * the property values; timer enforcement remains outside this surface.
  * The constructor-option setter takes dyn so explicit undefined remains
  * distinguishable from a numeric value until its Node validation ladder. */
- | "http.serverTimeoutGet" | "http.serverTimeoutSet" | "http.serverTimeoutOptionSet"
+ | "http.serverTimeoutGet" | "http.serverSetTimeout" | "http.serverSetTimeoutCb" | "http.serverOnTimeout" | "http.serverCloseAllConnections" | "http.serverCloseIdleConnections" | "http.serverTimeoutSet" | "http.serverTimeoutOptionSet"
 /** server.on("listening", cb) — the deferred listen-callback list. */
  | "net.serverOnListening"
 /** The ServerResponse member surface: statusCode/statusMessage reads
@@ -2092,9 +2120,12 @@ export type IrLibFn =
  * the callback fires deferred, Node's 'finish' emit). writeHead's
  * statusMessage forms compose in interned helpers: resStatusMsgSet
  * then the ordinary writeHead entry. */
- | "http.resStatusGet" | "http.resStatusSet" | "http.resStatusMsgGet" | "http.resStatusMsgSet" | "http.resGetHeader" | "http.resHasHeader" | "http.resRemoveHeader" | "http.resOnFinish" | "http.reqUrl" | "http.reqMethod" | "http.reqHeader" | "http.reqOnData" | "http.reqOnEnd" | "http.resSetHeader" | "http.resWriteHead" | "http.resWriteHeadN" | "http.resWrite" | "http.resWriteBytes" | "http.resEnd" | "http.resEndStr" | "http.resEndBytes"
+ | "http.resStatusGet" | "http.resStatusSet" | "http.resStatusMsgGet" | "http.resStatusMsgSet" | "http.resRequest" | "http.resSocket" | "http.resWritableFinished" | "http.resSendDateGet" | "http.resSendDateSet" | "http.resStrictContentLengthGet" | "http.resStrictContentLengthSet" | "http.resSetTimeout" | "http.resSetTimeoutCb" | "http.resGetHeader" | "http.resGetHeaderNames" | "http.resGetRawHeaderNames" | "http.resGetHeaders" | "http.resHasHeader" | "http.resRemoveHeader" | "http.resOnFinish" | "http.reqUrl" | "http.reqMethod" | "http.reqHeader" | "http.reqTrailer" | "http.reqHeaderValues" | "http.reqTrailerValues" | "http.reqOnData" | "http.reqOnEnd" | "http.resSetHeader" | "http.resWriteHead" | "http.resWriteHeadN"
+/** HTTP/1.1 informational heads; early hints takes flat string pairs,
+ * with a lowercase `link` key required to send anything. */
+ | "http.resWriteContinue" | "http.resWriteProcessing" | "http.resWriteEarlyHints" | "http.resWrite" | "http.resWriteBytes" | "http.resEnd" | "http.resEndStr" | "http.resEndBytes"
 /** The checked-dynamic chunk twins (the net.sockWriteDyn story). */
- | "http.resWriteDyn" | "http.resEndDyn" | "http.resHeadersSent"
+ | "http.resWriteDyn" | "http.resEndDyn" | "http.resHeadersSent" | "http.resWritableEnded" | "http.resFlushHeaders" | "http.resAddTrailers" | "http.resCork" | "http.resUncork" | "http.resWritableCorked"
 /** The server-surface member follow-ups: reqStatusCode answers the
  * interned `number | undefined` union (negative = the undefined arm —
  * a SERVER request, where Node's statusCode is undefined; every client
@@ -2117,11 +2148,11 @@ export type IrLibFn =
  * line carried none), the undefined arm on server requests (the
  * statusCode split). sockDestroyed is socket.destroyed — true once the
  * fd is gone (destroy() or full close). */
- | "http.reqRawHeaders" | "http.reqStatusMessage"
+ | "http.reqRawHeaders" | "http.reqRawTrailers" | "http.reqStatusMessage"
 /** The `{ ...req.headers }` snapshot feed: [lowercased name, value,
  * ...] pairs in arrival order — the interned %headers.snapshot helper
  * builds the record over it, exactly the process.envPairs pattern. */
- | "http.reqHeaderPairs" | "net.sockDestroyed"
+ | "http.reqHeaderPairs" | "http.reqTrailerPairs" | "net.sockDestroyed"
 /** socket.writable — the write half is open: no end() yet, no FIN sent,
  * fd alive (connecting sockets answer true; writes queue). Node's
  * stream flag. Borrows; never throws. */
@@ -2354,13 +2385,13 @@ export type IrLibFn =
  * socket carries a TLS transport (Node types `encrypted: true` on
  * TLSSocket; plain sockets answer undefined — the proxy.ts isEncrypted
  * idiom reads it through a cast). */
- | "net.sockEncrypted" | "http.clientWrite" | "http.clientWriteBytes" | "http.clientEnd" | "http.clientEndStr" | "http.clientEndBytes"
+ | "net.sockEncrypted" | "http.clientWrite" | "http.clientSetHeader" | "http.clientGetHeader" | "http.clientHasHeader" | "http.clientRemoveHeader" | "http.clientGetHeaderNames" | "http.clientGetRawHeaderNames" | "http.clientGetHeaders" | "http.clientWriteBytes" | "http.clientEnd" | "http.clientEndStr" | "http.clientEndBytes"
 /** The checked-dynamic chunk twins (the net.sockWriteDyn story). */
- | "http.clientWriteDyn" | "http.clientEndDyn"
+ | "http.clientWriteDyn" | "http.clientEndDyn" | "http.clientFlushHeaders" | "http.clientAddTrailers" | "http.clientCork" | "http.clientUncork" | "http.clientWritableCorked" | "http.clientMethod" | "http.clientPath" | "http.clientHost" | "http.clientProtocol" | "http.clientHeadersSent" | "http.clientWritableEnded" | "http.clientWritableFinished" | "http.clientSocket" | "http.clientReusedSocket" | "http.clientSetNoDelay" | "http.clientSetSocketKeepAlive" | "http.clientSetTimeout" | "http.clientSetTimeoutCb" | "http.statusCodes" | "http.methods" | "http.reqSetTimeout" | "http.reqSetTimeoutCb"
 /** request/get with a URL-STRING first argument: the runtime parses it
  * (WHATWG) and dials — throws catchably on an unparsable input or a
  * non-http scheme. */
- | "http.requestUrl" | "http.requestUrlCb" | "http.clientDestroy" | "http.clientDestroyed" | "http.clientOnResponse" | "http.clientOnError" | "http.clientOnTimeout" | "http.clientOnClose"
+ | "http.requestUrl" | "http.requestUrlCb" | "http.clientDestroy" | "http.clientAbort" | "http.clientAborted" | "http.clientDestroyed" | "http.clientOnResponse" | "http.clientOnSocket" | "http.clientOnFinish" | "http.clientOnError" | "http.clientOnTimeout" | "http.clientOnClose" | "http.clientOnAbort"
 /** fs/promises (scr_lib.c over scr_async.c's settled minting): the SAME
  * sync syscalls, wrapped in an ALREADY-SETTLED promise — failure
  * REJECTS (catchable at the await) instead of throwing, so none of
@@ -2452,11 +2483,15 @@ export type IrLibFn =
  * pair THROWS catchably on failure exactly like the utf8 forms. */
  | "fs.readFileSyncBytes" | "fs.writeFileSyncBytes" | "fsp.readFileBytes"
 /** node:zlib (scr_zlib.c — native-toolchain.ts compiles/links it ONLY when these
- * appear on the IR, the regex/libcurl gating precedent): deflateSync/
- * inflateSync over u8 bytes with Node's default options. deflate never
- * throws (OOM aborts); inflate of corrupt input THROWS Node's error
- * catchably. */
- | "zlib.deflateSync" | "zlib.inflateSync"
+ * appear on the IR, the regex/libcurl gating precedent): one-shot zlib,
+ * raw-DEFLATE, gzip, and auto-detect codecs over u8 bytes with Node's
+ * default options. Compression never throws (OOM aborts); decompression
+ * of corrupt input THROWS Node's error catchably. */
+ | "zlib.deflateSync" | "zlib.inflateSync" | "zlib.deflateRawSync" | "zlib.inflateRawSync" | "zlib.gzipSync" | "zlib.gunzipSync" | "zlib.unzipSync"
+/** The default-options callback twins run on the executable's shared
+ * native work pool and deliver (Error | null, Buffer) on a later loop
+ * turn. crc32 validates its optional uint32 seed synchronously. */
+ | "zlib.deflateCb" | "zlib.inflateCb" | "zlib.deflateRawCb" | "zlib.inflateRawCb" | "zlib.gzipCb" | "zlib.gunzipCb" | "zlib.unzipCb" | "zlib.crc32"
 /** The Buffer overloads of the raw stream writes — same promptly
  * submitted streams as process.stdoutWrite/stderrWrite, constantly true.
  * The encoding arg is evaluated but ignored for bytes, like Node. The Cb
@@ -2469,7 +2504,12 @@ export type IrLibFn =
  * literal { recursive?, mode? } options (the mkdirSync matrix behind
  * settled promises), unlink, chmod. Failures REJECT (catchable at the
  * await), like the rest of the fsp family. */
- | "fsp.mkdirMode" | "fsp.mkdirRecursive" | "fsp.mkdirRecursiveMode" | "fsp.unlink" | "fsp.chmod" | "fsp.rename" | "fsp.readdir" | "fsp.rm" | "fsp.stat"
+ | "fsp.mkdirMode" | "fsp.mkdirRecursive" | "fsp.mkdirRecursiveMode" | "fsp.unlink" | "fsp.chmod" | "fsp.rename" | "fsp.readdir"
+/** `fs.promises.readdir(path, { withFileTypes: true })` — the settled-
+ * promise twin of fs.readdirTypesSync. The backends assemble the same
+ * call-site-shaped Dirent rows, then move the array into a promise;
+ * scandir failure becomes its rejection. */
+ | "fsp.readdirTypes" | "fsp.rm" | "fsp.stat" | "fsp.realpath" | "fsp.lstat"
 /** fs/promises.open and the statically represented FileHandle surface.
  * Every operation returns an already-settled promise; syscall failures
  * become rejections rather than escaping synchronously. read/write
@@ -2490,7 +2530,11 @@ export type IrLibFn =
  * (the frontend's interned %env.snapshot helper keyed-writes the pairs
  * into a fresh `{ [k: string]: string | undefined }` record). Fresh +1
  * array; never throws. */
- | "process.envPairs" | "process.exit" | "process.cwd"
+ | "process.envPairs" | "process.exit"
+/** Numeric process.exitCode write (integer validation, implicit exit status). */
+ | "process.setExitCode"
+/** The code for process.exit() with no argument, or zero when unset. */
+ | "process.currentExitCode" | "process.cwd"
 /** getpid(2) / getuid(2): zero args → f64. POSIX-only target, so both
  * always answer (the checker's `getuid?` optionality covers Windows —
  * `process.getuid?.()` lowers as the plain call). Never throw. */
@@ -2694,6 +2738,11 @@ export type IrLibFn =
  * render "null"/"undefined") — the WHATWG USVString conversions
  * (URLSearchParams names/values). Borrowed dyn; +1 string. May-throw. */
  | "dyn.toStringCoerce"
+/** JS ToNumber over a dyn value WITH the object protocol (number-hint
+ * valueOf/toString ordering; user throws propagate). Borrowed dyn;
+ * f64 result, or a throw. Used by statically lowered numeric coercions
+ * whose checker type remained any. */
+ | "dyn.toNumberCoerce"
 /** A read of a `declare`d const NOTHING defines (the bundler-define
  * pattern — __VERSION__): always throws the catchable ReferenceError
  * Node raises at the access ("<name> is not defined"). args[0] is the
@@ -2820,7 +2869,7 @@ export type IrLibFn =
  * the had-listeners bool. emitter.emitError: emit('error', err) —
  * throws err when unhandled. count/countFn/names/listeners/getMax/
  * setMax/setDefaultMax/getDefaultMax are the introspection surface. */
- | "emitter.new" | "emitter.ctor" | "emitter.on" | "emitter.off" | "emitter.checkListener" | "emitter.onDyn" | "emitter.offDyn" | "emitter.removeAll" | "emitter.emit" | "emitter.emitError" | "emitter.count" | "emitter.countFn" | "emitter.names" | "emitter.listeners" | "emitter.setMax" | "emitter.getMax"
+ | "emitter.new" | "emitter.ctor" | "emitter.on" | "emitter.off" | "emitter.checkListener" | "emitter.onDyn" | "emitter.onFlex" | "emitter.offDyn" | "emitter.removeAll" | "emitter.emit" | "emitter.emitFlex" | "emitter.emitError" | "emitter.count" | "emitter.countFn" | "emitter.names" | "emitter.listeners" | "emitter.setMax" | "emitter.getMax"
 /** Stream-'data' registration twins of emitter.on/onDyn (same args):
  * chosen at registration sites whose receiver is stream-rooted, so the
  * backend emits DATA thunks — the runtime's 'data' emission carries
@@ -2980,7 +3029,7 @@ export type IrLibFn =
  * the value's inspection) — the frontend routes null/undefined to a
  * no-op and everything else here (Node throws for falsy values too).
  * All arguments are borrowed. */
- | "assert.ok" | "assert.eqF64" | "assert.eqBigInt" | "assert.eqStr" | "assert.eqBool" | "assert.eqSym" | "assert.eqDyn" | "assert.deepResult" | "assert.sameValue" | "assert.deqEnter" | "assert.deqLeave" | "assert.match" | "assert.throwsNone" | "assert.throwsMismatch" | "assert.throwsRegex" | "assert.shapeBegin" | "assert.shapeStr" | "assert.shapeRe" | "assert.shapeEnd" | "assert.regexErrTest" | "assert.unwantedRejection"
+ | "assert.ok" | "assert.eqF64" | "assert.eqBigInt" | "assert.eqStr" | "assert.eqBool" | "assert.eqSym" | "assert.eqDyn" | "assert.looseResult" | "assert.deepResult" | "assert.sameValue" | "assert.deqEnter" | "assert.deqLeave" | "assert.match" | "assert.throwsNone" | "assert.throwsMismatch" | "assert.throwsRegex" | "assert.shapeBegin" | "assert.shapeStr" | "assert.shapeRe" | "assert.shapeEnd" | "assert.regexErrTest" | "assert.unwantedRejection"
 /** Node's expectsError over an error-INSTANCE expected (assert.throws/
  * rejects second argument): walk the expected dyn error's keys (name,
  * message, code — the %error marker skipped) and deep-compare each
@@ -3134,7 +3183,9 @@ export type IrLibFn =
  * ToInteger truncation of fractional ms) and THROWS Node's "Invalid
  * time value" RangeError on NaN / out-of-range input (may-throw seed).
  * Results: f64 / owned (+1) string. */
- | "date.now" | "date.newNow" | "date.newMs" | "date.newString" | "date.getTime" | "date.valueOf" | "date.toISOString" | "date.toISOStringValue" | "date.getFullYear" | "date.getUTCFullYear" | "date.getMonth" | "date.getUTCMonth" | "date.getDate" | "date.getUTCDate" | "date.getDay" | "date.getUTCDay" | "date.getHours" | "date.getUTCHours" | "date.getMinutes" | "date.getUTCMinutes" | "date.getSeconds" | "date.getUTCSeconds" | "date.getMilliseconds" | "date.getUTCMilliseconds" | "date.getTimezoneOffset"
+ | "date.now" | "date.newNow" | "date.newMs" | "date.newString"
+/** Date.parse(dateString), with its own reach witness for exact fences. */
+ | "date.parse" | "date.getTime" | "date.valueOf" | "date.toISOString" | "date.toISOStringValue" | "date.getFullYear" | "date.getUTCFullYear" | "date.getMonth" | "date.getUTCMonth" | "date.getDate" | "date.getUTCDate" | "date.getDay" | "date.getUTCDay" | "date.getHours" | "date.getUTCHours" | "date.getMinutes" | "date.getUTCMinutes" | "date.getSeconds" | "date.getUTCSeconds" | "date.getMilliseconds" | "date.getUTCMilliseconds" | "date.getTimezoneOffset"
 /** The composed `new Date(dateString).getTime()` read: one borrowed
  * string, f64 milliseconds since epoch. The parsed grammar is BOUNDED
  * (documented divergence — V8's parser accepts far more): the ASN.1
@@ -3192,17 +3243,14 @@ export type IrLibFn =
  * yields the undefined arm, exactly Node's missing `.columns`. Never
  * throws. */
  | "process.columns"
-/** String surface with scr_lib.c implementations. fromCharCode takes
- * ONE f64[] arg (the frontend packs plain arguments into an array
- * literal, or forwards a whole-array spread — the path.join
- * convention) and builds the string from UTF-16 code units: each code
- * goes through ToUint16, adjacent surrogate pairs combine into one
- * code point, and LONE surrogates become U+FFFD (divergence 1's
- * storage policy — printed output still matches Node byte-for-byte).
- * lastIndexOf is the one-argument form: the LAST occurrence as a
- * UTF-16 index (-1 when absent; the empty needle finds the length,
- * per spec). Borrowed args; +1 string / plain f64; neither throws. */
- | "string.fromCharCode" | "string.lastIndexOf"
+/** fromCharCode takes one packed f64[] or bytes arg and builds a string
+ * from UTF-16 code units. Adjacent surrogate pairs combine; lone
+ * surrogates follow the runtime's replacement policy. */
+ | "string.fromCharCode"
+/** lastIndexOf returns the last UTF-16 start index, or -1. The two-arg
+ * form searches at or before its numeric position; NaN starts at the end.
+ * String arguments are borrowed and neither form throws. */
+ | "string.lastIndexOf" | "string.lastIndexOfFrom"
 /** String.raw(template, ...subs): the raw literals array (a string[]
  * read off the template record) interleaved with the PRE-STRINGIFIED
  * substitutions (the frontend applies the static ToString and packs
@@ -3235,7 +3283,7 @@ export type IrLibFn =
  * uv_fs_copyfile behavior); its errors carry BOTH paths — Node's
  * "copyfile 'src' -> 'dest'". lstatSync is statSync without following
  * a trailing symlink (Node reports lstat); stats.isSymbolicLink /
- * stats.blocks / nlink / atimeMs / mtimeMs are pure reads on the widened
+ * stats.dev / ino / blocks / nlink / atimeMs / mtimeMs / ctimeMs are pure reads on the widened
  * snapshot (blocks is allocated 512-byte units; the times are milliseconds
  * with their sub-second fractions, Node's arithmetic).
  * writeFileModeSync is writeFileSync(path, data, { mode }): the mode
@@ -3248,7 +3296,7 @@ export type IrLibFn =
 /** renameSync is the direct two-path syscall wrapper. renameCb defers
  * the operation to the loop and fires a program-shaped Error | null
  * callback through a backend-emitted adapter. */
- | "fs.renameSync" | "fs.renameCb" | "fs.lstatSync"
+ | "fs.renameSync" | "fs.renameCb" | "fs.lstatSync" | "fs.fstatSync" | "fs.fchmodSync" | "fs.fsyncSync" | "fs.linkSync"
 /** fs.openSync(path, flags) → the raw fd as f64; fs.readSync/fs.writeSync
  * over Buffer windows perform sequential I/O when position is -1 and
  * offset-preserving positioned I/O otherwise; fs.writeStrSync is the
@@ -3259,7 +3307,7 @@ export type IrLibFn =
  * Node's ERR_INVALID_ARG_VALUE TypeError text). All throw Node-shaped
  * fs errors (openSync ENOENT/EACCES..., readSync EBADF/range errors,
  * closeSync EBADF). */
- | "fs.openSync" | "fs.readSync" | "fs.writeSync" | "fs.writeStrSync" | "fs.closeSync"
+ | "fs.openSync" | "fs.openNumericSync" | "fs.readSync" | "fs.writeSync" | "fs.writeStrSync" | "fs.closeSync"
 /** fs.watch(path, listener?) → an FSWatcher handle (scr_watch.c —
  * linked, and scr_watch_install() emitted, only when these appear on
  * the IR; moduleUsesFsWatch is the switch). The path opens NOW —
@@ -3282,7 +3330,7 @@ export type IrLibFn =
  * ASN1_TIME_print shape ("Jul  1 00:00:00 2026 GMT" — %2d space-padded
  * day). Same input contract and PEM error as the fingerprint pair
  * (may-throw). */
- | "crypto.x509ValidFrom" | "crypto.x509ValidFromStr" | "crypto.x509ValidTo" | "crypto.x509ValidToStr" | "stats.isSymbolicLink" | "stats.blocks" | "stats.nlink" | "stats.atimeMs" | "stats.mtimeMs" | "fs.writeFileModeSync" | "fs.mkdirModeSync" | "fs.mkdirRecursiveModeSync"
+ | "crypto.x509ValidFrom" | "crypto.x509ValidFromStr" | "crypto.x509ValidTo" | "crypto.x509ValidToStr" | "stats.isSymbolicLink" | "stats.blocks" | "stats.nlink" | "stats.atimeMs" | "stats.mtimeMs" | "stats.ctimeMs" | "fs.writeFileModeSync" | "fs.mkdirModeSync" | "fs.mkdirRecursiveModeSync"
 /** spawnSync with options (scr_child.c): the cp.spawnSync core plus the
  * option slice portless-class CLIs pass — timeout (killSignal fires at
  * the deadline and the result carries error: ETIMEDOUT + the signal,
@@ -3348,6 +3396,13 @@ export type IrExpr =
     value: string;
     type: IrType;
     loc: SrcLoc;
+}
+/** The singleton namespace token for one compiled or builtin module. */
+ | {
+    kind: "moduleNsRef";
+    moduleId: string;
+    type: IrType;
+    loc: SrcLoc;
 } | {
     kind: "boolLit";
     value: boolean;
@@ -5258,8 +5313,7 @@ export declare function moduleLibNondeterministicSurface(mod: IrModule): string
 /** The may-throw seed: libCall members that can raise. Every fs.* member
  * EXCEPT existsSync (which, like Node's, swallows errors and returns false)
  * throws a catchable error on failure; json.parse throws a catchable
- * SyntaxError-shaped string on malformed input; process.* members never
- * throw. Backends' may-throw analyses must treat a function containing one
+ * SyntaxError-shaped string on malformed input. Backends' may-throw analyses must treat a function containing one
  * of these as throwing, exactly like a `throw` statement (and must ALSO
  * seed on `dynCheck` and `awaitExpr` nodes, which throw on validation
  * failure / promise rejection). */