@scriptc/compiler 0.0.11 → 0.0.13

package/dist/backend/emission/emit-exprs.js

@@ -1,4 +1,4 @@
-import { arrayOf, BOOL, BYTES_U8, bytesOf, canMarshalFuncIntoIsland, CHILDSTREAM_T, DYN, F64, isRefCounted, isUnitType, MAY_THROW_LIB_FNS, RUNTIME_ERROR_CLASSES, STRING, typeEquals } from "../../ir/nodes.js";
+import { arrayOf, BOOL, BYTES_U8, bytesOf, canMarshalFuncIntoIsland, CHILDSTREAM_T, DYN, F64, islandPromisePayloadTag, isRefCounted, isUnitType, MAY_THROW_LIB_FNS, RUNTIME_ERROR_CLASSES, STRING, typeEquals } from "../../ir/nodes.js";
 import { boxAccess, BYTES_NUM_KIND_C, BYTES_NUM_VAR_C, bytesElemKindC, cDecl, cFnPtrCast, cNumberLiteral, cStringLiteral, cType, DV_GET_KIND_C, DV_SET_KIND_C, elemAccess, mapKeyAccess, mapKeyKindC, mapValKindC, retainCallC, vAdapters } from "./emit-types.js";
 import { mangleClassNew, mangleClassRetain, mangleClassStruct, mangleField, mangleFnClosure, mangleFunction, mangleGlobal, mangleLocal, mangleRecordNew, mangleRecordStruct, mangleVtStruct } from "../mangle.js";
 import { OVERFLOW_MEMBER } from "./emit-shapes.js";
@@ -190,7 +190,7 @@ export function emitExpr(E, e) {
             return E.emitExpr(e.result);
         }
         case "dynDestrCheck": {
-            // RequireObjectCoercible with V8's destructuring TypeError. DOM
+            // RequireObjectCoercible with V8's destructuring TypeError. dyn
             // values check in the runtime helper and pass through unchanged
             // (same temp, same ownership); island values check in the engine
             // (a fresh +1 cell for the same value comes back).
@@ -207,7 +207,7 @@ export function emitExpr(E, e) {
         }
         case "dynIterN": {
             // GetIterator + first-N steps as a fresh array (V8's exact
-            // not-iterable TypeError on non-iterables): the DOM helper for
+            // not-iterable TypeError on non-iterables): the dyn helper for
             // dyn operands, the engine's real iterator protocol for island
             // ones.
             const v = E.emitExpr(e.value);
@@ -301,11 +301,11 @@ export function emitExpr(E, e) {
                 E.currentFrame().push({ name, type: e.type });
                 return { name, type: e.type };
             }
-            // A dyn (DOM) receiver — the `rawName?.match(re)` step: the nullish
+            // A dyn (dyn) receiver — the `rawName?.match(re)` step: the nullish
             // test reads the node's kind tag; the unit path is the undefined
-            // DOM singleton (dyn results) or nothing (void bodies), the body
+            // dyn singleton (dyn results) or nothing (void bodies), the body
             // runs over the bound receiver otherwise (the validated dynamic
-            // dispatch, its result converted back into the DOM by the
+            // dispatch, its result converted back into the checked-dynamic tree by the
             // frontend's dynFrom wrap).
             if (e.receiver.type.kind === "dyn") {
                 const r = E.emitExpr(e.receiver);
@@ -381,7 +381,7 @@ export function emitExpr(E, e) {
                 return { name: "", type: e.type };
             }
             // A dyn-typed chain (`pricing?.[key]` over an unknown-valued index
-            // signature): the unit path is the undefined DOM value — dyn
+            // signature): the unit path is the undefined dyn value — dyn
             // represents undefined directly, no union wrapper exists.
             if (e.type.kind === "dyn") {
                 const name = `sc_t${E.tempCounter++}`;
@@ -441,14 +441,25 @@ export function emitExpr(E, e) {
             E.line(`${cDecl(e.type, name)};`);
             E.line(`if (${E.unionTruthyHelper(e.left.type.unionId)}(${l.name})) {`);
             E.indent++;
-            const arm = e.type;
-            const read = arm.kind === "f64"
-                ? `scr_union_get_f64(${l.name})`
-                : arm.kind === "bool"
-                    ? `scr_union_get_bool(${l.name})`
-                    : retainCallC(arm, `(${cType(arm).trim()})scr_union_peek(${l.name})`);
-            E.line(`${name} = ${read};`);
-            E.releaseValue(l.name, e.left.type);
+            if (e.retag !== undefined) {
+                // The helper CONSUMES the left box (callees own their params), so
+                // no release on this side — the falsy side still owns and frees it.
+                // An unwind here produces the NULL dummy and never reaches the
+                // frame push below, so the slot needs no early registration.
+                E.line(`${name} = ${E.callTargetC(e.retag)}(${l.name});`);
+                if (E.mayThrow.has(e.retag))
+                    E.emitPendingCheck();
+            }
+            else {
+                const arm = e.type;
+                const read = arm.kind === "f64"
+                    ? `scr_union_get_f64(${l.name})`
+                    : arm.kind === "bool"
+                        ? `scr_union_get_bool(${l.name})`
+                        : retainCallC(arm, `(${cType(arm).trim()})scr_union_peek(${l.name})`);
+                E.line(`${name} = ${read};`);
+                E.releaseValue(l.name, e.left.type);
+            }
             E.indent--;
             E.line(`} else {`);
             E.indent++;
@@ -578,7 +589,7 @@ export function emitExpr(E, e) {
                 return E.newTemp(e.type, `scr_caught_to_string(${v.name})`);
             }
             if (v.type.kind === "dyn") {
-                // String(unknown): dispatch over the DOM kind (dynToStrHelper —
+                // String(unknown): dispatch over the dyn kind (dynToStrHelper —
                 // Node's String() incl. arrays-join and "[object Object]").
                 return E.newTemp(e.type, `${E.dynToStrHelper()}(${v.name})`);
             }
@@ -1597,10 +1608,10 @@ export function emitExpr(E, e) {
             return E.newTemp(e.type, `scr_map_keys_js_order(${obj.name}->${OVERFLOW_MEMBER})`);
         }
         case "dynFrom": {
-            // Static value → fresh DOM tree (+1) through the interned per-type
+            // Static value → fresh dyn tree (+1) through the interned per-type
             // converter; the operand stays borrowed (frame-released as usual).
             // Bare unit literals (an `undefined`/`null` stored under an
-            // `unknown` index signature) are the DOM unit values directly.
+            // `unknown` index signature) are the dyn unit values directly.
             if (e.value.kind === "unitLit") {
                 return E.newTemp(e.type, e.value.unit === "undefined"
                     ? "scr_dyn_retain(scr_dyn_undefined())"
@@ -1608,7 +1619,7 @@ export function emitExpr(E, e) {
             }
             const v = E.emitExpr(e.value);
             if (v.type.kind === "func") {
-                // A closure boxes as the DOM's function kind: retained closure +
+                // A closure boxes as the checked-dynamic tree's function kind: retained closure +
                 // the per-signature call thunk + the interned signature key. The
                 // best-effort name rides along for inspect/error rendering (NULL
                 // when the lowering had none).
@@ -1620,8 +1631,8 @@ export function emitExpr(E, e) {
             return E.newTemp(e.type, `${E.toDynHelper(v.type)}(${v.name})`);
         }
         case "dynFromJsval": {
-            // Island value → DOM: the by-reference wrap (scr_dyn_from_jsval
-            // retains the cell in; engine scalars normalize to native DOM
+            // Island value → dyn: the by-reference wrap (scr_dyn_from_jsval
+            // retains the cell in; engine scalars normalize to native dyn
             // kinds at wrap time). Operand borrowed, result +1, never throws.
             const v = E.emitExpr(e.value);
             return E.newTemp(e.type, `scr_dyn_from_jsval(${v.name})`);
@@ -1635,11 +1646,11 @@ export function emitExpr(E, e) {
             const callee = E.emitExpr(e.callee);
             const what = cStringLiteral(Buffer.from(e.calleeName, "utf8"));
             if (e.spreads !== undefined && e.spreads.length > 0) {
-                // The RUNTIME-ARITY form (`f(...args)`): one fresh DOM array
+                // The RUNTIME-ARITY form (`f(...args)`): one fresh dyn array
                 // collects the arguments left-to-right — plain args move in
                 // (push takes ownership), spread args FLATTEN (push_spread
                 // retains elements in and throws V8's spread-call TypeError for
-                // non-iterable DOM kinds, checked per spread — JS's
+                // non-iterable dyn kinds, checked per spread — JS's
                 // ArgumentListEvaluation order) — then apply calls through the
                 // array's elements (borrowed, exactly scr_dyn_call).
                 const spreadAt = new Map(e.spreads.map((s) => [s.arg, s.what]));
@@ -1685,7 +1696,7 @@ export function emitExpr(E, e) {
             return E.fallibleTemp(e.type, `scr_dyn_invoke(${recv.name}, ${method}, ${argsExpr}, ${args.length}, ${what})`);
         }
         case "dynArrLit": {
-            // A DOM array built element-by-element: ownership of each dyn
+            // A dyn array built element-by-element: ownership of each dyn
             // element MOVES into the array (scr_dyn_arr_push's contract).
             const arr = E.newTemp(e.type, "scr_dyn_new_arr()");
             for (const el of e.elems) {
@@ -1696,7 +1707,7 @@ export function emitExpr(E, e) {
             return arr;
         }
         case "dynObjLit": {
-            // A DOM object built member-by-member: key then value, source
+            // A dyn object built member-by-member: key then value, source
             // order (JS's literal evaluation). scr_dyn_key_set BORROWS all
             // three (the member retains the value in), so key/value temps
             // release with the frame as usual; the receiver is a fresh OBJ,
@@ -1890,7 +1901,7 @@ export function emitExpr(E, e) {
             return E.newTemp(e.type, `${u.name}->tag ${e.negated ? "!=" : "=="} ${e.tag}`);
         }
         case "dynKeyGet": {
-            // Keyed read on the DOM through the one interned helper — the
+            // Keyed read on the checked-dynamic tree through the one interned helper — the
             // non-optional form throws JS's TypeError on an undefined/null
             // receiver, and HANDLE receivers can throw the loud unmodeled-
             // property ladder on EITHER form, so both ride a fallible temp;
@@ -1927,7 +1938,7 @@ export function emitExpr(E, e) {
             const r = E.emitExpr(e.right);
             const [d, s, st] = e.left.type.kind === "dyn" ? [l, r, e.right.type] : [r, l, e.left.type];
             const test = st.kind === "dyn"
-                ? // dyn vs dyn: whole-DOM strict equality (scalars by value,
+                ? // dyn vs dyn: whole-dyn strict equality (scalars by value,
                     // units by kind, reference kinds by node identity).
                     `scr_dyn_strict_eq(${l.name}, ${r.name})`
                 : st.kind === "string"
@@ -1938,7 +1949,7 @@ export function emitExpr(E, e) {
             return E.newTemp(e.type, e.negated ? `!${test}` : test);
         }
         case "dynTest": {
-            // A pure kind compare on the DOM node — borrowed; only the truthy
+            // A pure kind compare on the dyn node — borrowed; only the truthy
             // form also reads a scalar payload. ISLAND-held nodes (the jsval
             // kind — engine objects/arrays/functions only, scalars normalize
             // at wrap time) route the tests that depend on the engine's
@@ -1954,20 +1965,20 @@ export function emitExpr(E, e) {
                         // engine's own typeof.
                         `(${d.name}->kind == SCR_DYN_OBJ || ${d.name}->kind == SCR_DYN_ARR || ${d.name}->kind == SCR_DYN_BYTES || ${d.name}->kind == SCR_DYN_HANDLE || ${d.name}->kind == SCR_DYN_PROMISE || ${d.name}->kind == SCR_DYN_NULL || scr_dyn_isl_typeof_is(${d.name}, "object"))`
                     : e.test === "truthy"
-                        ? // ToBoolean over the DOM: bool by value; number falsy for
+                        ? // ToBoolean over the checked-dynamic tree: bool by value; number falsy for
                             // 0, -0 (== 0 in C), and NaN (self-inequality); string
                             // falsy when empty; obj/arr/bytes/func/handle always true;
                             // JSVAL through the runtime's routed arm (the bigint 0n
                             // edge); the remaining kinds (undefined, null) always false.
                             `(${d.name}->kind == SCR_DYN_BOOL ? ${d.name}->v.b : ${d.name}->kind == SCR_DYN_NUM ? (${d.name}->v.num == ${d.name}->v.num && ${d.name}->v.num != 0) : ${d.name}->kind == SCR_DYN_STR ? ${d.name}->v.str->len != 0 : ${d.name}->kind == SCR_DYN_JSVAL ? scr_dyn_truthy(${d.name}) : (${d.name}->kind == SCR_DYN_OBJ || ${d.name}->kind == SCR_DYN_ARR || ${d.name}->kind == SCR_DYN_BYTES || ${d.name}->kind == SCR_DYN_FUNC || ${d.name}->kind == SCR_DYN_HANDLE || ${d.name}->kind == SCR_DYN_PROMISE))`
                         : e.test === "error"
-                            ? // `u instanceof Error`: the DOM's error encoding — an
+                            ? // `u instanceof Error`: the checked-dynamic tree's error encoding — an
                                 // object carrying the reserved "%error" marker key
                                 // (built by caughtToDyn for Error payloads) — or a real
                                 // engine Error held by reference.
                                 `((${d.name}->kind == SCR_DYN_OBJ && scr_dyn_obj_get(${d.name}, "%error", 6) != NULL) || scr_dyn_isl_is_error(${d.name}))`
                             : e.test === "array"
-                                ? // Array.isArray: the DOM's array kind, or the engine's
+                                ? // Array.isArray: the checked-dynamic tree's array kind, or the engine's
                                     // own answer for an engine-held value.
                                     `(${d.name}->kind == SCR_DYN_ARR || scr_dyn_isl_is_array(${d.name}))`
                                 : e.test === "function"
@@ -2030,7 +2041,7 @@ export function emitExpr(E, e) {
             throw new Error(`emitter bug: caughtNarrow to ${e.type.kind}`);
         }
         case "caughtToDyn": {
-            // The caught snapshot converting to a dyn DOM value (an unknown
+            // The caught snapshot converting to a dyn value (an unknown
             // slot) — the interned runtime-kind dispatch. Box borrowed; the
             // result is a fresh tree (+1). Never throws.
             const c = E.emitExpr(e.value);
@@ -2091,7 +2102,7 @@ export function emitExpr(E, e) {
                 const rc = vAdapters(t);
                 if (t.kind === "dyn") {
                     // The thrown-dyn representation (REF + dyn adapters): catch
-                    // bindings and the unhandled dispatch see the DOM value
+                    // bindings and the unhandled dispatch see the dyn value
                     // itself — identity preserved.
                     E.line(`scr_throw_ref(${reason.name}, &${rc.retain}, &${rc.release}, NULL);${E.srcComment(e.loc)}`);
                 }
@@ -2230,25 +2241,37 @@ export function emitExpr(E, e) {
                     // abandons (releases are NULL-tolerant).
                     return finish(`(scr_jsval_cast_fail(${arg(0)}, ${arg(1)}), NULL)`);
                 case "json.parse":
-                    // Borrows the text; returns +1 on a fresh DOM, or throws a
+                    // Borrows the text; returns +1 on a fresh dyn, or throws a
                     // catchable SyntaxError-shaped string (may-throw seed set).
                     return finish(`scr_json_parse(${arg(0)})`);
                 case "dyn.defineProps":
-                    // Object.defineProperties over DOM values: both borrowed,
+                    // Object.defineProperties over dyn values: both borrowed,
                     // result the target (+1); throws catchably (may-throw seed).
                     return finish(`scr_dyn_define_props(${arg(0)}, ${arg(1)})`);
+                case "dyn.hasKey":
+                    // `k in v` with a runtime key: the dyn presence answer (both
+                    // borrowed, no allocation, never throws).
+                    return finish(`scr_dyn_has_key(${arg(0)}, ${arg(1)})`);
                 case "dyn.keySet":
                     // Keyed write on a dyn receiver: all three borrowed (the
                     // member retains the value in); throws Node's TypeErrors on
                     // non-object receivers (may-throw seed set).
                     return finish(`scr_dyn_key_set(${arg(0)}, ${arg(1)}, ${arg(2)})`);
                 case "dyn.iterPack":
-                    // Destructuring pack over a dyn source: both borrowed, fresh
-                    // array +1; throws V8's destructuring TypeError on
-                    // non-iterable DOM kinds (may-throw seed set).
+                    // Destructuring/for-of pack over a dyn source: both borrowed,
+                    // fresh array +1; throws V8's not-iterable TypeError on
+                    // non-iterable dyn kinds and drains wrapped engine values
+                    // through the engine's protocol (may-throw seed set).
                     return finish(`scr_dyn_iter_pack(${arg(0)}, ${arg(1)})`);
+                case "dyn.arrLen":
+                    // The for-of pack's length (borrowed; never throws).
+                    return finish(`scr_dyn_arr_len(${arg(0)})`);
+                case "dyn.arrAt":
+                    // The for-of pack's element at index (+1; never throws — the
+                    // undefined singleton past the end).
+                    return finish(`scr_dyn_arr_at(${arg(0)}, ${arg(1)})`);
                 case "dyn.typeof":
-                    // Bare typeof on a dyn value: the DOM kind's JS answer (+1).
+                    // Bare typeof on a dyn value: the dyn kind's JS answer (+1).
                     return finish(`scr_dyn_typeof(${arg(0)})`);
                 case "dyn.toString":
                     // Receiver-kind-dispatched toString (+1); throws Node's
@@ -2531,7 +2554,7 @@ export function emitExpr(E, e) {
                 // borrows, +1 result, never throws.
                 case "regexp.escape":
                     return finish(`scr_regexp_escape(${arg(0)})`);
-                // The WHATWG base64 globals (scr_string.c): DOM arg borrowed
+                // The WHATWG base64 globals (scr_string.c): dyn arg borrowed
                 // (WebIDL ToString in the runtime), +1 string result; malformed
                 // input throws the catchable DOMException InvalidCharacterError
                 // (may-throw seed set). The zero-argument form always throws
@@ -3161,6 +3184,25 @@ export function emitExpr(E, e) {
                 case "net.sockDestroy":
                     E.line(`scr_net_sock_destroy(${arg(0)});${E.srcComment(e.loc)}`);
                     return { name: "", type: e.type };
+                case "net.sockPause":
+                    return finish(`scr_net_sock_pause(${arg(0)})`);
+                case "net.sockResume":
+                    return finish(`scr_net_sock_resume(${arg(0)})`);
+                case "net.sockSetNoDelay":
+                    return finish(`scr_net_sock_set_nodelay(${arg(0)}, ${arg(1)})`);
+                case "net.sockDestroySoon":
+                    E.line(`scr_net_sock_destroy_soon(${arg(0)});${E.srcComment(e.loc)}`);
+                    return { name: "", type: e.type };
+                case "net.sockBytesWritten":
+                    return finish(`scr_net_sock_bytes_written(${arg(0)})`);
+                case "net.sockReadable":
+                    return finish(`scr_net_sock_readable(${arg(0)})`);
+                case "net.sockOnFinish": {
+                    const cb = args[1];
+                    E.moveTemp(cb);
+                    E.line(`scr_net_sock_on_finish(${arg(0)}, ${cb.name});${E.srcComment(e.loc)}`);
+                    return { name: "", type: e.type };
+                }
                 case "net.sockPipe":
                     E.line(`scr_net_sock_pipe(${arg(0)}, ${arg(1)});${E.srcComment(e.loc)}`);
                     return { name: "", type: e.type };
@@ -3172,7 +3214,8 @@ export function emitExpr(E, e) {
                     E.moveTemp(cb);
                     const adapter = cbT.params.length === 0 ? "scr_net_data_thunk0"
                         : cbT.params[0].kind === "dyn" ? "scr_net_data_thunk_dyn"
-                            : "scr_net_data_thunk_bytes";
+                            : cbT.params[0].kind === "string" ? "scr_net_data_thunk_str"
+                                : "scr_net_data_thunk_bytes";
                     E.line(`scr_net_sock_on_data(${arg(0)}, ${cb.name}, &${adapter}, ${arg(2)});${E.srcComment(e.loc)}`);
                     return { name: "", type: e.type };
                 }
@@ -3398,7 +3441,8 @@ export function emitExpr(E, e) {
                     E.moveTemp(cb);
                     const adapter = cbT.params.length === 0 ? "scr_net_data_thunk0"
                         : cbT.params[0].kind === "dyn" ? "scr_net_data_thunk_dyn"
-                            : "scr_net_data_thunk_bytes";
+                            : cbT.params[0].kind === "string" ? "scr_net_data_thunk_str"
+                                : "scr_net_data_thunk_bytes";
                     E.line(`scr_http_req_on_data(${arg(0)}, ${cb.name}, &${adapter}, ${arg(2)});${E.srcComment(e.loc)}`);
                     return { name: "", type: e.type };
                 }
@@ -3718,6 +3762,25 @@ export function emitExpr(E, e) {
                     }
                     return finish(`scr_http_request(${arg(0)}, ${arg(1)}, ${arg(2)}, ${arg(3)}, ${arg(4)}, ${arg(5)}, ${arg(6)}, ${cbExpr}, ${adapter})`);
                 }
+                case "http.agentNew":
+                    E.usesTimers = true; // queued dials hold the loop open
+                    return finish(`scr_http_agent_new(${arg(0)}, ${arg(1)}, ${arg(2)}, ${arg(3)}, ${arg(4)}, ${arg(5)}, ${arg(6)})`);
+                case "http.requestAgent":
+                case "http.requestAgentCb": {
+                    E.usesTimers = true;
+                    let cbExpr = "NULL";
+                    let adapter = "NULL";
+                    if (e.fn === "http.requestAgentCb") {
+                        const cbT = e.args[8].type;
+                        if (cbT.kind !== "func")
+                            throw new Error("emitter bug: http.requestAgentCb callback not a func");
+                        const cb = args[8];
+                        E.moveTemp(cb);
+                        cbExpr = cb.name;
+                        adapter = cbT.params.length === 0 ? "&scr_http_resp_thunk0" : "&scr_http_resp_thunk_res";
+                    }
+                    return finish(`scr_http_request_agent(${arg(0)}, ${arg(1)}, ${arg(2)}, ${arg(3)}, ${arg(4)}, ${arg(5)}, ${arg(6)}, ${arg(7)}, ${cbExpr}, ${adapter})`);
+                }
                 case "http.requestUrl":
                 case "http.requestUrlCb": {
                     E.usesTimers = true; // an in-flight request holds the loop open
@@ -3884,6 +3947,42 @@ export function emitExpr(E, e) {
                     // 'stream'/'session' listeners, exactly the h2c surface.
                     E.usesTimers = true;
                     return finish(`scr_http2_create_secure_server((const char *)${arg(0)}->data, ${arg(0)}->len, (const char *)${arg(1)}->data, ${arg(1)}->len)`);
+                case "http2.createSecureServerReq":
+                case "http2.createSecureServerH2Req": {
+                    // createSecureServer(options, handler): the eager COMPAT
+                    // handler is the first 'request' listener on either flavor
+                    // (the createServerReq adapter family).
+                    E.usesTimers = true;
+                    const cbT = e.args[2].type;
+                    if (cbT.kind !== "func")
+                        throw new Error(`emitter bug: ${e.fn} handler not a func`);
+                    const cb = args[2];
+                    E.moveTemp(cb);
+                    const adapter = cbT.params.length === 2 ? "scr_http_handler_thunk2"
+                        : cbT.params.length === 1 ? "scr_http_handler_thunk1"
+                            : "scr_http_handler_thunk0";
+                    const certKey = `(const char *)${arg(0)}->data, ${arg(0)}->len, (const char *)${arg(1)}->data, ${arg(1)}->len`;
+                    return finish(fn === "http2.createSecureServerReq"
+                        ? `scr_https_create_server(${certKey}, ${cb.name}, &${adapter})`
+                        : `scr_http2_create_secure_server_req(${certKey}, ${cb.name}, &${adapter})`);
+                }
+                case "http2.createSecureServerDyn":
+                    // The runtime options record: allowHTTP1/cert/key read at
+                    // runtime (may-throw — the divergence-66 walk).
+                    E.usesTimers = true;
+                    return finish(`scr_http2_create_secure_server_dyn(${arg(0)}, NULL, NULL)`);
+                case "http2.createSecureServerDynCb": {
+                    E.usesTimers = true;
+                    const cbT = e.args[1].type;
+                    if (cbT.kind !== "func")
+                        throw new Error("emitter bug: createSecureServerDynCb handler not a func");
+                    const cb = args[1];
+                    E.moveTemp(cb);
+                    const adapter = cbT.params.length === 2 ? "scr_http_handler_thunk2"
+                        : cbT.params.length === 1 ? "scr_http_handler_thunk1"
+                            : "scr_http_handler_thunk0";
+                    return finish(`scr_http2_create_secure_server_dyn(${arg(0)}, ${cb.name}, &${adapter})`);
+                }
                 case "http2.createSecureServerSni": {
                     // The SNI form: the runtime parses each connection's
                     // ClientHello for server_name BEFORE the handshake, calls the
@@ -3934,6 +4033,15 @@ export function emitExpr(E, e) {
                 case "tls.caCertsChk":
                     // Always throws (validation error or the trailing fence).
                     return finish(`(scr_tls_ca_certs_chk(${arg(0)}, ${arg(1)}), ${isRefCounted(e.type) ? `(${cType(e.type).trim()})NULL` : "0"})`);
+                // The CA-store introspection unit (scr_tls_ca.c): cached
+                // per-type PEM string arrays (+1 retained answers), and the
+                // default-set replacement. get/set are may-throw seeds.
+                case "tlsca.get":
+                    return finish(`scr_tls_ca_get(${arg(0)})`);
+                case "tlsca.root":
+                    return finish(`scr_tls_ca_root()`);
+                case "tlsca.set":
+                    return finish(`scr_tls_ca_set_default(${arg(0)})`);
                 case "http.serverOnRequest": {
                     const cbT = e.args[1].type;
                     if (cbT.kind !== "func")
@@ -4166,7 +4274,8 @@ export function emitExpr(E, e) {
                     E.moveTemp(cb);
                     const adapter = cbT.params.length === 0 ? "scr_net_data_thunk0"
                         : cbT.params[0].kind === "dyn" ? "scr_net_data_thunk_dyn"
-                            : "scr_net_data_thunk_bytes";
+                            : cbT.params[0].kind === "string" ? "scr_net_data_thunk_str"
+                                : "scr_net_data_thunk_bytes";
                     E.line(`scr_http2_stream_on_data(${arg(0)}, ${cb.name}, &${adapter}, ${arg(2)});${E.srcComment(e.loc)}`);
                     return { name: "", type: e.type };
                 }
@@ -4232,6 +4341,22 @@ export function emitExpr(E, e) {
                     }
                     return finish(`scr_https_request(${arg(0)}, ${arg(1)}, ${arg(2)}, ${arg(3)}, ${arg(4)}, ${arg(5)}, ${arg(6)}, ${arg(7)}, (const char *)${arg(8)}->data, ${arg(8)}->len, ${cbExpr}, ${adapter})`);
                 }
+                case "https.requestAgent":
+                case "https.requestAgentCb": {
+                    E.usesTimers = true; // an in-flight request holds the loop open
+                    let cbExpr = "NULL";
+                    let adapter = "NULL";
+                    if (e.fn === "https.requestAgentCb") {
+                        const cbT = e.args[10].type;
+                        if (cbT.kind !== "func")
+                            throw new Error("emitter bug: https.requestAgentCb callback not a func");
+                        const cb = args[10];
+                        E.moveTemp(cb);
+                        cbExpr = cb.name;
+                        adapter = cbT.params.length === 0 ? "&scr_http_resp_thunk0" : "&scr_http_resp_thunk_res";
+                    }
+                    return finish(`scr_https_request_agent(${arg(0)}, ${arg(1)}, ${arg(2)}, ${arg(3)}, ${arg(4)}, ${arg(5)}, ${arg(6)}, ${arg(7)}, (const char *)${arg(8)}->data, ${arg(8)}->len, ${arg(9)}, ${cbExpr}, ${adapter})`);
+                }
                 case "https.requestFn":
                 case "https.requestFnCb": {
                     // The requestFn binding's runtime dial: arg 0 picks the client
@@ -4501,7 +4626,16 @@ export function emitExpr(E, e) {
                 case "process.onUnhandledRejection":
                     // The report at loop end dispatches the listeners.
                     E.usesTimers = true;
-                    return finish(`scr_process_on_unhandled_rejection(${arg(0)})`);
+                    return finish(`scr_process_on_unhandled_rejection(${arg(0)}, ${arg(1)})`);
+                case "process.offUnhandledRejection":
+                    return finish(`scr_process_off_unhandled_rejection(${arg(0)})`);
+                case "process.onRejectionHandled":
+                    // Fires (if ever) during the loop-end report's listener
+                    // dispatch — the loop must be live for the report to run.
+                    E.usesTimers = true;
+                    return finish(`scr_process_on_rejection_handled(${arg(0)}, ${arg(1)})`);
+                case "process.offRejectionHandled":
+                    return finish(`scr_process_off_rejection_handled(${arg(0)})`);
                 case "fsp.readFile":
                     return finish(`scr_fsp_read_file(${arg(0)})`);
                 case "fsp.writeFile":
@@ -4797,7 +4931,7 @@ export function emitExpr(E, e) {
                     // Borrowed receiver; +1 "name: message" (Node's toString rules).
                     return finish(`scr_error_to_string(${arg(0)})`);
                 case "error.newDom":
-                    // new DOMException(message?, nameOrOptions?) — both DOM args
+                    // new DOMException(message?, nameOrOptions?) — both dyn args
                     // borrowed (WebIDL resolution runs in the runtime); +1
                     // %DOMException. Never throws.
                     return finish(`scr_domex_new(${arg(0)}, ${arg(1)})`);
@@ -4808,7 +4942,7 @@ export function emitExpr(E, e) {
                     // `'cause' in e` — the options form's own-property record.
                     return finish(`scr_domex_has_cause(${arg(0)})`);
                 case "error.domCause":
-                    // +1 cause DOM value (the DOM undefined when absent).
+                    // +1 cause dyn value (the dyn undefined when absent).
                     return finish(`scr_domex_cause(${arg(0)})`);
                 case "error.domClone":
                     // WebIDL serialization: name/message copy, code re-derives.
@@ -4818,7 +4952,7 @@ export function emitExpr(E, e) {
                 case "dyn.objKeys":
                     return finish(`scr_dyn_obj_keys(${arg(0)})`);
                 case "dyn.assign":
-                    // Object.assign over DOM values: own members copy, the target
+                    // Object.assign over dyn values: own members copy, the target
                     // returns (+1); non-object receivers throw like Node.
                     return finish(`scr_dyn_assign(${arg(0)}, ${arg(1)})`);
                 case "dyn.packPush":
@@ -4843,7 +4977,7 @@ export function emitExpr(E, e) {
                     // (+1). Never throws.
                     return finish(`scr_dyn_new_obj_null_proto()`);
                 case "dyn.hasOwn":
-                    // Object.hasOwn over a DOM receiver (throws on nullish, like
+                    // Object.hasOwn over a dyn receiver (throws on nullish, like
                     // Node's ToObject).
                     return finish(`scr_dyn_has_own(${arg(0)}, ${arg(1)})`);
                 case "dyn.objValues":
@@ -4851,11 +4985,11 @@ export function emitExpr(E, e) {
                 case "dyn.objEntries":
                     return finish(`scr_dyn_obj_entries(${arg(0)})`);
                 case "dyn.errInstanceof":
-                    // The from_error cache resolves the DOM value to its runtime
+                    // The from_error cache resolves the dyn value to its runtime
                     // error; the class's stamped interval answers. Never throws.
                     return finish(`scr_dyn_err_instanceof(${arg(0)}, ${arg(1)})`);
                 case "dyn.structuredClone":
-                    // Deep DOM clone (+1); option/DataClone/cycle errors throw
+                    // Deep dyn clone (+1); option/DataClone/cycle errors throw
                     // (may-throw seed set). Both args borrowed.
                     return finish(`scr_structured_clone(${arg(0)}, ${arg(1)})`);
                 case "dyn.cloneMissing":
@@ -5410,7 +5544,7 @@ export function emitExpr(E, e) {
                     return finish(`scr_assert_eq_sym(${arg(0)}, ${arg(1)}, ${arg(2)}, ${arg(3)}, ${arg(4)}, ${arg(5)})`);
                 case "assert.eqDyn":
                     // The quartet over checked-dynamic operands: SameValue /
-                    // DOM-walk deep equality, assertion_error.js messages.
+                    // dyn-walk deep equality, assertion_error.js messages.
                     return finish(`scr_assert_eq_dyn(${arg(0)}, ${arg(1)}, ${arg(2)}, ${arg(3)}, ${arg(4)}, ${arg(5)})`);
                 case "assert.deepResult":
                     return finish(`scr_assert_deep_result(${arg(0)}, ${arg(1)}, ${arg(2)}, ${arg(3)})`);
@@ -5675,14 +5809,14 @@ export function emitExpr(E, e) {
         }
         case "jsonStringify": {
             // Type-directed serialization: the STATIC type picks an emitted
-            // serializer (interned per type) — no DOM, no runtime dispatch. The
+            // serializer (interned per type) — no dyn, no runtime dispatch. The
             // value temp is BORROWED (released with this statement's frame);
             // the result string is owned (+1). Throws only over CYCLE-CAPABLE
             // types (recursive records — the circular-structure TypeError) and
             // dyn roots; everything else keeps the throw-free path.
             const v = E.emitExpr(e.value);
-            // A dyn root: the runtime's DOM walker (scr_dyn_format_j — the %j
-            // serializer IS JSON.stringify over the DOM: number/string/bool/
+            // A dyn root: the runtime's dyn walker (scr_dyn_format_j — the %j
+            // serializer IS JSON.stringify over the checked-dynamic tree: number/string/bool/
             // null/array/object exact, dropped members omitted, a dropped ROOT
             // becomes the text "undefined", a runtime handle inside the tree
             // throws) — fallible, so the pending-exception check runs.
@@ -5714,7 +5848,7 @@ export function emitExpr(E, e) {
             return E.newTemp(e.type, `${E.jsonIndentHelper()}(${compact.name}, ${cStringLiteral(bytes)}, ${bytes.length})`);
         }
         case "dynCheck": {
-            // The dynamic boundary: validate the DOM against the target type
+            // The dynamic boundary: validate the checked-dynamic tree against the target type
             // and BUILD the typed value (+1) — or throw a catchable
             // TypeError-shaped, path-annotated string. The dyn temp is BORROWED;
             // the result joins the frame BEFORE the pending check so an unwind
@@ -5866,7 +6000,7 @@ export function emitExpr(E, e) {
                     return { name: "", type: e.type };
                 }
                 case "dyn":
-                    // The DOM-crossing await: void fulfillments (a boxed
+                    // The checked-dynamic tree-crossing await: void fulfillments (a boxed
                     // promise<void> that skipped its adapter) answer the
                     // undefined VALUE, never NULL.
                     read = `scr_await_dyn(${pr.name})`;
@@ -6071,7 +6205,7 @@ export function emitExpr(E, e) {
                 case "string":
                     return E.newTemp(e.type, `scr_jsval_from_str(${v.name})`);
                 case "dyn":
-                    // A CHECKED-DYNAMIC (DOM) value entering the island: deep
+                    // A CHECKED-DYNAMIC (dyn) value entering the island: deep
                     // copy, data kinds only — boxed functions/handles/promises
                     // throw the catchable TypeError in the runtime.
                     return E.fallibleTemp(e.type, `scr_jsval_from_dyn(${v.name})`);
@@ -6082,6 +6216,20 @@ export function emitExpr(E, e) {
                 case "url":
                     // A URL crossing IN: an engine URL instance built from href.
                     return E.fallibleTemp(e.type, `scr_jsval_from_url(${v.name})`);
+                case "promise": {
+                    // A STATIC promise crossing IN: a real engine thenable
+                    // settled when the scriptc promise settles (the async-
+                    // callback return bridge). from_promise takes ownership of a
+                    // +1 — retain past the borrowed frame temp.
+                    const tag = islandPromisePayloadTag(e.value.type.inner);
+                    if (!tag)
+                        throw new Error("emitter bug: jsMarshal of a promise outside the bridge payload domain");
+                    const tagC = {
+                        void: "SCR_ISLP_VOID", f64: "SCR_ISLP_F64", bool: "SCR_ISLP_BOOL",
+                        string: "SCR_ISLP_STR", jsval: "SCR_ISLP_JSVAL", jsvalArr: "SCR_ISLP_JSVAL_ARR",
+                    }[tag];
+                    return E.fallibleTemp(e.type, `scr_jsval_from_promise(scr_promise_retain(${v.name}), ${tagC})`);
+                }
                 case "func": {
                     // A closure entering the island as a host function (the
                     // package-callback pattern). from_closure retains the closure;
@@ -6258,10 +6406,19 @@ export function emitExpr(E, e) {
                     // emits u8 targets (canExitIslandToType).
                     return E.fallibleTemp(e.type, `scr_jsval_exit_bytes(${v.name})`);
                 default: {
+                    // `any[]`-declared slot: the engine array exits Array.isArray-
+                    // gated, elements BY REFERENCE (identity crosses; the spine is
+                    // a snapshot copy). JSON-safe element types keep the round
+                    // trip below.
+                    if (e.type.kind === "array" && e.type.elem.kind === "jsval") {
+                        return E.fallibleTemp(e.type, `scr_jsval_exit_jsval_arr(${v.name})`);
+                    }
                     // An undefined-armed union target: the engine's undefined takes
                     // the undefined arm FIRST — JSON cannot spell it (to_json would
                     // refuse the exit) — then null and data ride the round trip
-                    // into the union's dynCheck like any composite.
+                    // into the union's dynCheck like any composite (or, for the
+                    // `any[] | undefined` defaulted-parameter spelling, the
+                    // jsval-element array exit wrapped into the data arm).
                     const undefTag = e.type.kind === "union" ? E.undefinedArmTag(e.type) : -1;
                     if (e.type.kind === "union" && undefTag >= 0) {
                         const name = `sc_t${E.tempCounter++}`;
@@ -6273,11 +6430,23 @@ export function emitExpr(E, e) {
                         E.line(`} else {`);
                         E.indent++;
                         E.frames.push([]);
-                        const json = E.fallibleTemp(STRING, `scr_jsval_to_json(${v.name})`);
-                        const dom = E.fallibleTemp(DYN, `scr_json_parse(${json.name})`);
-                        const out = E.fallibleTemp(e.type, `${E.dynCheckHelper(e.type)}(${dom.name}, NULL)`);
-                        E.moveTemp(out);
-                        E.line(`${name} = ${out.name};`);
+                        const unionDef = E.unionsById.get(e.type.unionId);
+                        const dataArms = unionDef ? unionDef.arms.flatMap((a, i) => (isUnitType(a) ? [] : [{ a, i }])) : [];
+                        const jsvalArr = dataArms.length === 1 && dataArms[0].a.kind === "array" && dataArms[0].a.elem.kind === "jsval" ? dataArms[0] : null;
+                        if (jsvalArr) {
+                            // The `any[] | undefined` defaulted-parameter spelling:
+                            // the engine array exits BY REFERENCE into the data arm.
+                            const arr = E.fallibleTemp(jsvalArr.a, `scr_jsval_exit_jsval_arr(${v.name})`);
+                            E.moveTemp(arr);
+                            E.line(`${name} = scr_union_new_ref(${jsvalArr.i}, ${arr.name}, &scr_arr_retain_v, &scr_arr_release_v, NULL);`);
+                        }
+                        else {
+                            const json = E.fallibleTemp(STRING, `scr_jsval_to_json(${v.name})`);
+                            const dom = E.fallibleTemp(DYN, `scr_json_parse(${json.name})`);
+                            const out = E.fallibleTemp(e.type, `${E.dynCheckHelper(e.type)}(${dom.name}, NULL)`);
+                            E.moveTemp(out);
+                            E.line(`${name} = ${out.name};`);
+                        }
                         E.releaseFrame(E.frames.pop());
                         E.indent--;
                         E.line(`}`);
@@ -6299,7 +6468,9 @@ export function emitExpr(E, e) {
             const v = E.emitExpr(e.value);
             const payload = e.type.kind === "promise" && e.type.inner.kind === "void"
                 ? "SCR_ISLP_VOID"
-                : "SCR_ISLP_JSVAL";
+                : e.type.kind === "promise" && e.type.inner.kind === "array" && e.type.inner.elem.kind === "jsval"
+                    ? "SCR_ISLP_JSVAL_ARR" // `any[]` fulfillment: the Array.isArray-gated by-reference exit at settle
+                    : "SCR_ISLP_JSVAL";
             return E.fallibleTemp(e.type, `scr_jsval_bridge_promise(${v.name}, ${payload})`);
         }
         default: {