@scriptc/compiler 0.2.0 → 0.2.2

package/dist/ir/ir.d.ts

@@ -360,8 +360,8 @@ export type IrType = {
  | {
     kind: "jsval";
 }
-/** A catch binding — the type of `catch (e)`'s local, and NOTHING else
- * (never params, returns, fields, arms, elements, globals, captures).
+/** A catch binding or its closure capture (never parameters, returns,
+ * fields, arms, elements or globals).
  * Runtime representation is a refcounted snapshot box (ScrCaught) holding
  * the taken exception: a kind tag plus the payload. Even NARROWER than
  * dyn: the only expressions a caught value may appear in are `caughtTest`
@@ -789,6 +789,8 @@ export interface IrClassDef {
     localCaptures?: IrParam[];
     /** Capture holding the evaluated local base constructor, if any. */
     localBaseCapture?: number;
+    /** Evaluated module-scope heritage constructor for a factory-produced base. */
+    baseValueGlobal?: string;
     /** The JS-observable `.name` of the class (the runtime class object's
      * name string, and what `C.name` folds to). Differs from `name` because
      * IR names are program-qualified (`%m1.C`, `%cx…` for class
@@ -801,6 +803,17 @@ export interface IrClassDef {
     /** Zero-argument native helper returning the shared prototype data object.
      * Used when materializing an instance's own-property view. */
     prototypeDataHelper?: string;
+    /** Native instance to its actual prototype, including factory captures and subclasses. */
+    instancePrototypeHelper?: string;
+    /** Public JavaScript fields record their creation in the shared property
+     * bag. Its descriptors preserve presence and insertion order independently
+     * of native layout order; field values remain in their native slots. */
+    tracksOwnFields?: boolean;
+    /** Stable module symbol identities for public instance layout fields. */
+    symbolFields?: {
+        field: string;
+        globalId: string;
+    }[];
     /** RUNTIME-PROVIDED class (the builtin Error hierarchy): the struct, RC
      * helpers, and vtable live in the runtime (ScrError / scr_error_*), so
      * backends emit no definitions for it — only the preorder-interval
@@ -982,6 +995,9 @@ export interface IrFunction {
     /** Original TS name (mangling is a backend concern). Lifted lambdas get
      * synthetic '%'-prefixed names ('%' can't appear in a TS identifier). */
     name: string;
+    /** Generated reflection dispatch contains speculative source-member edges.
+     * Target-only host operations behind those edges retain runtime refusals. */
+    speculativeDispatch?: boolean;
     params: IrParam[];
     returnType: IrType;
     /** All locals including params, pre-collected and scope-flat: ids are
@@ -1446,7 +1462,7 @@ export type IrSetIntrinsicMethod = "add" | "has" | "delete" | "size" | "clear" |
  * halves become U+FFFD, divergence 2). `padStart`/`padEnd` take (target
  * length, fill) — the frontend completes an omitted fill to " ", Node's
  * default. `trimStart`/`trimEnd` are trim's one-sided halves. */
-export type IrStrIntrinsicMethod = "length" | "charCodeAt" | "charAt" | "indexOf" | "includes" | "startsWith" | "endsWith" | "slice" | "substring" | "repeat" | "trim" | "trimStart" | "trimEnd" | "split" | "padStart" | "padEnd" | "toLowerCase" | "toUpperCase" | "isWellFormed" | "toWellFormed" | "cpAt";
+export type IrStrIntrinsicMethod = "length" | "charCodeAt" | "charAt" | "indexOf" | "includes" | "startsWith" | "endsWith" | "slice" | "substring" | "repeat" | "trim" | "trimStart" | "trimEnd" | "split" | "padStart" | "padEnd" | "toLowerCase" | "toUpperCase" | "normalize" | "isWellFormed" | "toWellFormed" | "cpAt";
 /** The typed-array/Buffer method surface (bytesIntrinsic). Receiver/arg
  * conventions (validated): `length`/`byteLength` are property reads → f64;
  * `get` takes one f64 index → f64 (trap on any invalid index, like
@@ -1550,14 +1566,15 @@ export declare const MAY_THROW_BYTES_METHODS: ReadonlySet<IrBytesIntrinsicMethod
  * capture groups (JS would splice the captured values into the result) —
  * both catchable: backends' may-throw analyses must seed on these two
  * methods like a `throw`. */
-/** `match` takes a STRING receiver with args[0] the regex (non-g/y — the
- * frontend fences literal g/y flags; a g-flagged value reaching the
- * runtime aborts like test()) and produces the PROGRAM-DEPENDENT
- * `string[] | null` union: the matched slice [whole, ...captures] wrapped
- * into the array arm, or the interned null-arm instance for no match. A
+/** `match` takes a STRING receiver with args[0] the regex and produces
+ * the PROGRAM-DEPENDENT `string[] | null` union: all whole matches for a
+ * global regex, otherwise [whole, ...captures], or null for no match. A
  * NONPARTICIPATING capture holds "" where Node's slot is undefined
  * (SEMANTICS.md divergence). Never throws. */
 export type IrRegexIntrinsicMethod = "test" | "match"
+/** exec uses the same string-first operands but keeps the g/y
+ * lastIndex refusal, independently of global String.match iteration. */
+ | "exec" | "lastIndex"
 /** `s.matchAll(re)` — every match as its honest string[] slice (match's
  * rule), drained EAGERLY into a fresh string[][]: the lazy iterator is
  * unobservable across the lowered surface (strings are immutable; the
@@ -1587,12 +1604,12 @@ export type IrRegexIntrinsicMethod = "test" | "match"
  * --dynamic builds — the frontend rejects it otherwise, so backends may
  * assume the island runtime is linked when they see it; island exceptions
  * bridge into the exception cell as catchable strings (may-throw). */
-export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew" | "weakMap.is" | "weakSet.is" | "weakMap.new" | "weakSet.new" | "dyn.fromEntries" | "arrayBuffer.new" | "arrayBuffer.is" | "arrayBuffer.isView" | "arrayBuffer.byteLengthGetter" | "arrayBuffer.byteLengthDescriptor" | "arrayBuffer.viewU8C" | "arrayBuffer.viewI8" | "arrayBuffer.viewU16" | "arrayBuffer.viewI16" | "arrayBuffer.viewU8" | "arrayBuffer.viewU32" | "arrayBuffer.viewI32" | "arrayBuffer.viewF32" | "arrayBuffer.viewF64" | "arrayBuffer.viewDV"
+export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew" | "weakMap.is" | "weakSet.is" | "weakMap.new" | "weakSet.new" | "dyn.fromEntries" | "bytes.constructor" | "bytes.instanceOf" | "bytes.construct" | "arrayBuffer.constructor" | "arrayBuffer.new" | "arrayBuffer.is" | "arrayBuffer.isView" | "arrayBuffer.byteLengthGetter" | "arrayBuffer.byteLengthDescriptor" | "arrayBuffer.viewU8C" | "arrayBuffer.viewI8" | "arrayBuffer.viewU16" | "arrayBuffer.viewI16" | "arrayBuffer.viewU8" | "arrayBuffer.viewU32" | "arrayBuffer.viewI32" | "arrayBuffer.viewF32" | "arrayBuffer.viewF64" | "arrayBuffer.viewDV"
 /** Native static fetch and its Web-platform companions. fetch.start
  * answers once the response head arrives; the response body readers
  * consume the native body stream. AbortSignal and ReadableStream values
  * are opaque checked-dynamic handles. */
- | "fetch.start" | "fetch.responseNew" | "fetch.responseArrayBuffer" | "fetch.responseJson" | "fetch.responseText" | "fetch.responseBytes" | "fetch.abortControllerNew" | "fetch.abortTimeout" | "fetch.abortNow" | "fetch.abortAny" | "fetch.streamNew" | "fetch.streamFrom" | "fetch.readerRead" | "island.eval"
+ | "fetch.start" | "fetch.input" | "fetch.function" | "fetch.requestNew" | "fetch.headersNew" | "fetch.responseNew" | "fetch.responseArrayBuffer" | "fetch.responseJson" | "fetch.responseText" | "fetch.responseBytes" | "fetch.abortControllerNew" | "fetch.abortTimeout" | "fetch.abortNow" | "fetch.abortAny" | "abort.controllerNew" | "abort.timeout" | "abort.now" | "abort.any" | "fetch.webIs" | "fetch.streamIs" | "fetch.streamNew" | "fetch.streamFrom" | "fetch.readerRead" | "island.eval"
 /** Load an embedded npm package's runtime entry in the island (cached by
  * the engine's module registry) and take one export: args are the entry
  * KEY (an embedded module's key, from IrModule.embedded) and the export
@@ -1637,7 +1654,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
 /** Native own properties on globalThis keyed by symbol identity. */
  | "dyn.globalSymbolGet" | "dyn.globalSymbolSet" | "dyn.globalSymbolHas" | "dyn.globalSymbolDelete"
 /** Exact native class capsule identity, without materializing its fields. */
- | "dyn.typedRefIs"
+ | "dyn.typedRefIs" | "dyn.classIs"
 /** Destructuring pack over a dyn source — `const [a, b] = d`, a
  * destructured dyn callback param (args: the source and the STATIC
  * TypeError spelling, "" when the source has none — both borrowed;
@@ -1666,7 +1683,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * descriptors and non-object targets/descriptors throw catchably
  * (Node's TypeError texts; accessors the loud unsupported Error). In
  * the may-throw seed set. */
- | "dyn.defineProps" | "dyn.defineProperty" | "dyn.getOwnPropertyDescriptor" | "dyn.arrayProtoCall"
+ | "dyn.defineProps" | "dyn.defineProperty" | "dyn.getOwnPropertyDescriptor" | "dyn.arrayProtoCall" | "dyn.promiseAll"
 /** Bare `typeof v` on a dyn value AS A STRING (arg: the dyn value,
  * borrowed; result: an owned string) — the dyn kind's JS answer:
  * undefined→"undefined", null/object/array/bytes→"object" (JS's oldest
@@ -1797,7 +1814,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * forms, surrogate code points, and >U+10FFFF refused, per UTF8-decode
  * without replacement); bad hex or an invalid sequence THROWS the
  * spec's URIError ("URI malformed"), catchable. Borrow; results +1. */
- | "str.encodeUriComponent" | "str.decodeUriComponent"
+ | "str.encodeUriComponent" | "str.decodeUriComponent" | "str.decodeUri"
 /** RegExp.escape (ES2025): per-code-point EncodeForRegExpEscape —
  * leading ASCII alphanumeric hex-escapes, syntax characters and '/'
  * take a backslash, other punctuators/whitespace/line terminators
@@ -1826,12 +1843,14 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * toFixed() fast path; num.toFixed implements an explicit fractionDigits
  * with exact binary-value rounding and THROWS RangeError outside 0..100.
  * Successful results +1. */
- | "num.toExponential" | "num.toFixed0" | "num.toFixed"
+ | "num.toExponential" | "num.toFixed0" | "num.toFixed" | "num.toStringRadix"
 /** Object.is over two numbers — the spec's SameValue on doubles: NaN
  * equals NaN, +0 differs from -0, everything else is `===`. Plain bool
  * result; never throws. (Union-armed operands take unionEq's sameValue
  * flag instead — this is the both-f64 fast path.) */
  | "num.sameValue"
+/** SameValue over checked values, including NaN, signed zero and reference identity. */
+ | "dyn.sameValue"
 /** `new Intl.NumberFormat("en-US").format(x)` and
  * `x.toLocaleString("en-US")` with DEFAULT options — the one locale
  * whose data the runtime embeds (Node's default-build locale): decimal
@@ -1854,7 +1873,11 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * 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.newBase" | "url.protocol" | "url.origin" | "url.username" | "url.password" | "url.host" | "url.hostname" | "url.port" | "url.pathname" | "url.href" | "url.fileURLToPathUrl" | "url.fileURLToPathChecked" | "url.fileURLToPathStr" | "url.pathToFileURL"
+ | "url.new" | "url.newBase"
+/** Factories consume already-converted input/base strings. canParse
+ * answers a boolean; parse returns a checked native URL or null (+1).
+ * Parser failures are suppressed; conversion occurs before these calls. */
+ | "url.canParse" | "url.canParseBase" | "url.parse" | "url.parseBase" | "url.protocol" | "url.origin" | "url.username" | "url.password" | "url.host" | "url.hostname" | "url.port" | "url.pathname" | "url.href" | "url.fileURLToPathUrl" | "url.fileURLToPathChecked" | "url.fileURLToPathStr" | "url.pathToFileURL"
 /** Explicit path syntax from the options.windows argument, independent
  * of the executable's host platform. Windows UNC input can throw. */
  | "url.pathToFileURLPlatform"
@@ -1880,7 +1903,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * 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" | "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"
+ | "sp.new" | "sp.newChecked" | "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
@@ -1907,7 +1930,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * checked-dynamic ParsedResults tree out. Statically typed member reads
  * validate their values when leaving that tree. The native parser may
  * throw Node's coded validation/grammar TypeErrors. */
- | "util.parseArgs"
+ | "util.parseArgs" | "util.parseEnv"
 /** ES Symbol values (scr_symbol.c — link-gated by moduleUsesSymbol).
  * sym.new: `Symbol(desc)` — a fresh runtime-unique identity (+1) whose
  * one arg is the description string (borrowed); sym.newAnon is the
@@ -1971,7 +1994,9 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
 /** 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"
+ | "process.forkTarget" | "cp.fork" | "child.connected" | "child.send" | "child.sendCb" | "child.disconnect" | "child.onMessage" | "child.onDisconnect" | "child.onSpawn"
+/** Rest listeners use the checked function bridge to pack event arguments. */
+ | "child.onDyn" | "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
@@ -1991,7 +2016,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * child from the loop's keep-alive set — it is still reaped while the
  * loop runs for other reasons, and one the loop never reaps is left to
  * the OS at exit. All receivers borrowed. */
- | "child.pid" | "child.exitCode" | "child.killed" | "child.kill" | "child.killNum" | "child.unref"
+ | "child.pid" | "child.exitCode" | "child.killed" | "child.kill" | "child.killNum" | "child.unref" | "child.ref"
 /** The piped-output streams (stdio mode 3 — scr_child.c's stream
  * slice). child.stdout/child.stderr answer the checker's
  * `Readable | null` union (type-directed construction in the backend
@@ -2464,10 +2489,10 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * the entries below; all paths share the incremental runtime core. */
  | "crypto.hashDigestStr" | "crypto.hashDigestBytes"
 /** First-class static Hash/Hmac handles. Constructors validate the
- * runtime algorithm string (md5/sha1/sha256); update returns the same
+ * runtime algorithm string (MD5, SHA-1, or SHA-2); update returns the same
  * handle by retained identity, copy snapshots Hash state, and digest
  * finalizes the handle and returns either a Buffer or encoded string. */
- | "crypto.hashNew" | "crypto.hmacNewStr" | "crypto.hmacNewBytes" | "crypto.hashUpdateStr" | "crypto.hashUpdateBytes" | "crypto.hmacUpdateStr" | "crypto.hmacUpdateBytes" | "crypto.hashCopy" | "crypto.hashDigestString" | "crypto.hashDigestBuffer" | "crypto.hmacDigestString" | "crypto.hmacDigestBuffer" | "crypto.timingSafeEqual" | "crypto.randomFill" | "crypto.randomFillRest" | "crypto.randomInt" | "crypto.pbkdf2" | "crypto.randomBytesCb" | "crypto.pbkdf2Cb"
+ | "crypto.native" | "crypto.hashNew" | "crypto.hmacNewStr" | "crypto.hmacNewBytes" | "crypto.hashUpdateStr" | "crypto.hashUpdateBytes" | "crypto.hmacUpdateStr" | "crypto.hmacUpdateBytes" | "crypto.hashCopy" | "crypto.hashDigestString" | "crypto.hashDigestBuffer" | "crypto.hmacDigestString" | "crypto.hmacDigestBuffer" | "crypto.timingSafeEqual" | "crypto.randomFill" | "crypto.randomFillRest" | "crypto.randomInt" | "crypto.pbkdf2" | "crypto.randomBytesCb" | "crypto.pbkdf2Cb" | "crypto.hkdf" | "crypto.hkdfCb" | "crypto.scrypt" | "crypto.scryptCb"
 /** crypto.randomBytes(n) → a real u8 Buffer (+1). THROWS Node's
  * RangeError on out-of-range sizes, exactly like the composed
  * randomBytesToString (which keeps its one-libCall lowering — the two
@@ -2489,7 +2514,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
 /** Buffer.byteLength(string, enc) — enc a NORMALIZED literal like
  * fromStr's — and Buffer.isEncoding(name) over a runtime string
  * (case-insensitive against Node's alias set). Pure; never throw. */
- | "buffer.byteLenStr" | "buffer.isEncoding"
+ | "buffer.byteLenDyn" | "buffer.byteLenStr" | "buffer.isEncoding"
 /** Buffer.concat(list, totalLength): the concatenation truncated or
  * zero-padded to the total. THROWS Node's 'length' RangeError on a
  * negative/non-integer total (may-throw seed). */
@@ -2581,7 +2606,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * become rejections rather than escaping synchronously. read/write
  * results are call-site record shapes ({ bytesRead/bytesWritten,
  * buffer }) assembled by the backends around the fixed runtime ABI. */
- | "fsp.open" | "fileHandle.fd" | "fileHandle.close" | "fileHandle.read" | "fileHandle.writeBytes" | "fileHandle.writeStr" | "fileHandle.readFile" | "fileHandle.readFileBytes" | "fileHandle.writeFile" | "fileHandle.writeFileBytes" | "fileHandle.stat" | "process.argv" | "process.platform"
+ | "fsp.open" | "fileHandle.fd" | "fileHandle.close" | "fileHandle.sync" | "fileHandle.datasync" | "fileHandle.truncate" | "fileHandle.chmod" | "fileHandle.readv" | "fileHandle.writev" | "fileHandle.read" | "fileHandle.writeBytes" | "fileHandle.writeStr" | "fileHandle.readFile" | "fileHandle.readFileBytes" | "fileHandle.writeFile" | "fileHandle.writeFileBytes" | "fileHandle.stat" | "process.argv" | "process.platform"
 /** getenv(3): one string key arg → the interned `string | undefined`
  * union (present: +1 string wrapped into the string arm; absent: the
  * interned undefined-arm instance). BOTH source forms — `process.env.FOO`
@@ -2611,7 +2636,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * apply/call thisArg), or the undefined dyn singleton with none bound
  * (the strict-mode plain-call answer, the old constant). Zero args →
  * dyn (+1). Never throws. */
- | "dyn.this"
+ | "dyn.dataViewIs" | "dyn.construct" | "dyn.this" | "dyn.generatorThis"
 /** process.execPath: the compiled binary's own resolved absolute path
  * (one interned string, +1 per read) — the honest answer where Node's
  * is the node executable's (SEMANTICS.md divergence 12). Never throws. */
@@ -2622,7 +2647,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  | "process.arch"
 /** Stable native version dictionary. node/openssl identify compatibility
  * targets; components absent from the native runtime are omitted. */
- | "process.versions" | "process.builtinId" | "process.builtinModule" | "process.builtinUnsupported" | "process.hrtimeValue"
+ | "process.versions" | "process.builtinId" | "process.builtinModule" | "process.builtinUnsupported" | "fs.callbackValue" | "fs.callbackCall" | "process.hrtimeValue"
 /** process.versions.node: the runtime's Node COMPATIBILITY TARGET —
  * there is no Node under the binary, so this reports the version whose
  * semantics the runtime implements (SEMANTICS.md divergence 60, the
@@ -2634,7 +2659,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  | "process.umask"
 /** chdir(2) — throws Node's fs-shaped error (ENOENT/EACCES/ENOTDIR,
  * syscall "chdir") on failure. */
- | "process.chdir"
+ | "process.chdir" | "process.loadEnvFile"
 /** process._exiting: true once the exit sequence began (exit listeners
  * running) — the runtime flag scr_run_exit_listeners/process.exit set.
  * Never throws. */
@@ -2789,7 +2814,8 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * receiver (already allocated by the derived class's new) + borrowed
  * message, void; the receiver's type names the builtin class whose name
  * field to stamp. error.toString: borrowed `%Error`-typed receiver, +1
- * string in Node's "name: message" shape. None of the three throws. */
+ * string in Node's "name: message" shape. Formatting can invoke a user
+ * message accessor, which can throw. */
  | "error.new"
 /** ECMAScript constructors with raw checked-dynamic message/options.
  * Options retain cause presence; constructor calls borrow their args.
@@ -2799,7 +2825,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * when absent); hasCause distinguishes absence from present undefined. */
  | "error.cause" | "error.hasCause"
 /** Assignment borrows both operands and retains the new cause. */
- | "error.setCause" | "error.deleteCause"
+ | "error.setCause" | "error.defineCause" | "error.deleteCause"
 /** The compiler-resolved Node-parity throw for always-throwing lowered
  * arms (ERR_INVALID_THIS receivers, ERR_MISSING_ARGS arity ladders,
  * the symbol-to-string TypeError): args are [error-kind f64 (the
@@ -2818,7 +2844,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * 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.numberConstructor" | "dyn.toNumberCoerce" | "dyn.add" | "dyn.arithmetic" | "dyn.bitwise" | "dyn.proxyNew"
+ | "dyn.numberConstructor" | "dyn.bigintConstructor" | "dyn.toNumberCoerce" | "dyn.add" | "dyn.arithmetic" | "dyn.compare" | "dyn.bitwise" | "dyn.proxyNew"
 /** 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
@@ -2875,7 +2901,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * JS). Strings/arrays/bytes answer their index keys; other scalars an
  * empty array; null/undefined throw Node's catchable TypeError
  * ("Cannot convert undefined or null to object"). */
- | "dyn.objKeys" | "dyn.forInKeys" | "dyn.hasOwn" | "dyn.propertyIsEnumerable" | "dyn.assign" | "dyn.copyDataProperties"
+ | "dyn.objKeys" | "dyn.forInKeys" | "dyn.hasOwn" | "dyn.propertyIsEnumerable" | "dyn.assign" | "dyn.copyDataProperties" | "dyn.objectRest"
 /** Variadic Object.assign over CHECKED-DYNAMIC targets (`Object.assign(
  * {}, ...arr.map(f), tail)` — the option-table merge): the lowering
  * builds one fresh dyn pack of sources (packPush retains a plain source
@@ -2893,14 +2919,14 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * drives the real iterator protocol, whose failure describes the VALUE
  * ("object null is not iterable (cannot read property
  * Symbol(Symbol.iterator))"). The frontend picks by position. */
- | "dyn.packPushSpreadIter" | "dyn.assignAll"
+ | "dyn.packPushSpreadIter" | "dyn.assignAll" | "dyn.reflectApply" | "dyn.reflectGet" | "dyn.reflectSet" | "dyn.reflectDefine" | "dyn.abstractEq"
 /** `Object.create(null)` (scr_json.c): a fresh NULL-PROTOTYPE dyn
  * dictionary. The checked-dynamic tree's OBJ dispatch is already own-member-only —
  * Node's null-proto answer — so the flag's whole job is the observations
  * that SEE the prototype: inspect's "[Object: null prototype]" prefix
  * and deepStrictEqual's prototype gate. Never throws. Static builds
  * only; --dynamic routes Object.create through the engine instead. */
- | "dyn.objCreateNullProto" | "dyn.arrayPrototype" | "dyn.classPrototype" | "dyn.classBasePrototype" | "dyn.classSuper" | "dyn.assignPrototype" | "dyn.objCreate" | "dyn.objCreateWithProperties" | "dyn.getPrototype" | "dyn.setPrototype" | "dyn.getOwnPropertyNames" | "dyn.getOwnPropertySymbols" | "dyn.getOwnPropertyDescriptors" | "dyn.preventExtensions" | "dyn.isExtensible" | "dyn.seal" | "dyn.isSealed" | "dyn.objValues" | "dyn.objEntries"
+ | "dyn.objCreateNullProto" | "dyn.arrayPrototype" | "dyn.arrayConstructor" | "dyn.objectPrototype" | "dyn.functionApply" | "dyn.builtinMethod" | "dyn.classPrototype" | "dyn.classBasePrototype" | "dyn.classInherit" | "dyn.classSuper" | "dyn.assignPrototype" | "dyn.definePrototypeProps" | "dyn.bagGet" | "dyn.bagSet" | "dyn.objCreate" | "dyn.objCreateWithProperties" | "dyn.getPrototype" | "dyn.setPrototype" | "dyn.getOwnPropertyNames" | "dyn.ownKeys" | "dyn.getOwnPropertySymbols" | "dyn.getOwnPropertyDescriptors" | "dyn.preventExtensions" | "dyn.isExtensible" | "dyn.seal" | "dyn.isSealed" | "dyn.objValues" | "dyn.objEntries"
 /** structuredClone over the checked-dynamic tree (scr_json.c): the JSON-safe subset plus
  * bytes (a fresh copy — a Buffer clones as a plain Uint8Array, like
  * Node), deep. Functions and handle kinds throw the spec's catchable
@@ -2921,7 +2947,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * strings (the lowering completes an absent flags to ""); result +1.
  * The result TYPE is the regex kind, so the link switch pulls the
  * engine exactly like a literal. */
- | "regex.new" | "regex.newChecked"
+ | "regex.new" | "regex.resetLastIndex" | "regex.newChecked"
 /** structuredClone with a NON-EMPTY transfer array of static values:
  * nothing static is transferable, so the call always throws Node's
  * catchable DataCloneError ("Found invalid value in transferList.") —
@@ -3017,7 +3043,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * parsed dyn — malformed input rejects with the parse's SyntaxError,
  * sc.buffer: the concatenated bytes) or rejected with the stream's
  * error / ERR_STREAM_PREMATURE_CLOSE. */
- | "sc.text" | "sc.json" | "sc.buffer" | "readable.newDyn" | "writable.newDyn" | "duplex.newDyn" | "transform.newDyn" | "passthrough.newDyn" | "readable.initDyn" | "writable.initDyn" | "duplex.initDyn" | "transform.initDyn" | "passthrough.initDyn" | "readable.push" | "readable.pushStr" | "readable.pushNull" | "readable.pushU" | "readable.pushDyn" | "readable.unshift" | "readable.unshiftStr" | "readable.read" | "readable.pause" | "readable.resume" | "readable.setEncoding"
+ | "sc.text" | "sc.json" | "sc.buffer" | "readable.newDyn" | "writable.newDyn" | "duplex.newDyn" | "transform.newDyn" | "passthrough.newDyn" | "readable.initDyn" | "writable.initDyn" | "duplex.initDyn" | "transform.initDyn" | "passthrough.initDyn" | "readable.push" | "readable.pushStr" | "readable.pushNull" | "readable.pushU" | "readable.pushDyn" | "readable.unshift" | "readable.unshiftStr" | "readable.read" | "readable.readDyn" | "stream.onDyn" | "readable.pause" | "readable.resume" | "readable.setEncoding"
 /** push(chunk, enc) with a literal non-utf8 encoding, and the
  * defaultEncoding option's push side (how push(string) decodes —
  * Buffer.from(chunk, enc)); both carry the CANONICAL literal. */
@@ -3350,14 +3376,14 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * TextEncoder.encode needs no libFn: its matching forms
  * lower to buffer.fromStr(s, "utf8") (identical bytes — ScrStr storage
  * is well-formed UTF-8). Borrowed arg; owned (+1) string; never throws. */
- | "text.decode"
+ | "text.decode" | "bytes.bufferSource" | "text.decodeBufferSource" | "text.decodeOptions" | "text.decodeStream" | "text.decodeLegacyOptions"
 /** TextDecoder.decode for a compile-time non-UTF-8 WHATWG label. The
  * second f64 is the frontend-owned encoding id consumed by scr_bytes.c;
  * label aliases/case/ASCII whitespace are canonicalized before IR. The
  * mapping tables are generated from the pinned Node 24 oracle, keeping
  * output portable without an ICU/iconv dependency. Borrowed args; owned
  * (+1) string; never throws. */
- | "text.decodeLegacy"
+ | "text.decodeLegacy" | "text.decoderEncoding" | "text.decoderName" | "text.encodeInto" | "buffer.isAscii" | "buffer.isUtf8" | "buffer.transcode"
 /** The wider sync fs slice (scr_lib.c), all throwing catchably with
  * Node's errno message shapes and `.code` stamped like the rest of
  * sync fs. unlink/chmod/chown wrap the syscalls 1:1 (Node reports the
@@ -3379,7 +3405,7 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
 /** 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.fstatSync" | "fs.fchmodSync" | "fs.fsyncSync" | "fs.linkSync"
+ | "fs.renameSync" | "fs.renameCb" | "fs.lstatSync" | "fs.fstatSync" | "fs.fchmodSync" | "fs.fsyncSync" | "fs.fdatasyncSync" | "fs.ftruncateSync" | "fs.readvSync" | "fs.writevSync" | "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
@@ -3441,6 +3467,9 @@ export type IrLibFn = "ffi.argument" | "ffi.memoryModule" | "intl.segmenterNew"
  * pairs like cp.execSync's), cwd ""=inherit. Same event/loop story as
  * cp.spawn. */
  | "cp.spawnOpts"
+/** Runtime options normalized into the native spawn core; unsupported
+ * process features retain explicit refusals. (command, args, options). */
+ | "cp.spawnDynamic"
 /** Atomics.wait(int32Array, idx, expected, timeoutMs) → "not-equal"
  * when the element differs from `expected`, else a real nanosleep for
  * the timeout and "timed-out" (scr_lib.c). scriptc has no threads —
@@ -4418,6 +4447,7 @@ export type IrExpr =
     callee: IrExpr;
     receiver?: IrExpr;
     calleeName: string;
+    calleeNameValue?: IrExpr;
     args: IrExpr[];
     spreads?: {
         arg: number;
@@ -4444,6 +4474,7 @@ export type IrExpr =
     recv: IrExpr;
     method: string;
     calleeName: string;
+    calleeNameValue?: IrExpr;
     args: IrExpr[];
     type: IrType;
     loc: SrcLoc;
@@ -4620,6 +4651,7 @@ export type IrExpr =
     kind: "dynIterN";
     value: IrExpr;
     count: number;
+    notIterableMessage?: string;
     type: IrType;
     loc: SrcLoc;
 }
@@ -4882,6 +4914,7 @@ export type IrExpr =
     args: IrExpr[];
     type: IrType;
     loc: SrcLoc;
+    prototypeIdentityOnly?: true;
 }
 /** `JSON.stringify(v)` — type-DIRECTED serialization: `value`'s static IR
  * type must be JSON-safe (f64/string/bool/record/array/union of those,
@@ -5185,23 +5218,23 @@ export declare function classDynViewSupported(fields: readonly {
  * JSON-safe data, numeric typed arrays (retained views), identity-preserving class
  * references, undefined-armed unions of those arms, boxable function types,
  * and the runtime HANDLE kinds (boxed by reference — DYN_HANDLE_KINDS). */
-export declare function canConvertToDyn(t: IrType, getRecord: (shapeId: string) => IrRecordShape | undefined, getUnion: (unionId: string) => IrUnionDef | undefined): boolean;
+export declare function canConvertToDyn(t: IrType, getRecord: (shapeId: string) => IrRecordShape | undefined, getUnion: (unionId: string) => IrUnionDef | undefined, visiting?: Set<string>): boolean;
 /** A type a dyn value can be VALIDATED into — the dynCheck domain:
  * JSON-safe data, numeric typed arrays (retained views), the %Error extraction,
  * undefined-armed unions of JSON-safe arms, adaptable function types,
  * and the runtime HANDLE kinds (a tag-checked reference unwrap —
  * DYN_HANDLE_KINDS). */
-export declare function canDynCheckTo(t: IrType, getRecord: (shapeId: string) => IrRecordShape | undefined, getUnion: (unionId: string) => IrUnionDef | undefined): boolean;
+export declare function canDynCheckTo(t: IrType, getRecord: (shapeId: string) => IrRecordShape | undefined, getUnion: (unionId: string) => IrUnionDef | undefined, visiting?: Set<string>): boolean;
 /** A closure type that can BOX into the checked-dynamic tree's function kind (dynFrom):
  * every param dyn or dynCheckable (the thunk validates dyn arguments into
  * them), return void, dyn, or dyn-convertible (the thunk converts it
  * back). */
-export declare function canBoxFuncIntoDyn(t: IrType, getRecord: (shapeId: string) => IrRecordShape | undefined, getUnion: (unionId: string) => IrUnionDef | undefined): boolean;
+export declare function canBoxFuncIntoDyn(t: IrType, getRecord: (shapeId: string) => IrRecordShape | undefined, getUnion: (unionId: string) => IrUnionDef | undefined, visiting?: Set<string>): boolean;
 /** A closure type a dyn function value can ADAPT to (dynCheck): every
  * param dyn or dyn-convertible (the adapter converts typed arguments into
  * dyn), return void, dyn, or dynCheckable (the adapter validates the dyn
  * result). */
-export declare function canAdaptDynFuncTo(t: IrType, getRecord: (shapeId: string) => IrRecordShape | undefined, getUnion: (unionId: string) => IrUnionDef | undefined): boolean;
+export declare function canAdaptDynFuncTo(t: IrType, getRecord: (shapeId: string) => IrRecordShape | undefined, getUnion: (unionId: string) => IrUnionDef | undefined, visiting?: Set<string>): boolean;
 /** The MARSHAL-direction boundary (jsMarshal): everything that can cross
  * out and back (canCrossIslandBoundary) plus qualifying closures — those
  * enter as host functions but never EXIT (jsExit keeps the narrower