@scriptc/compiler 0.4.7 → 0.4.8

package/dist/frontend/lowering/host-globals.js

@@ -0,0 +1,344 @@
+import * as ts from "../ts7/adapter.js";
+import { arrayOf, STRING, VOID } from "../../ir/ir.js";
+import { stdlibGlobalNameOf, withoutTypeCasts } from "./surfaces.js";
+/* Node 24 globals the native runtime does not implement. Reading one is NOT
+ * a feature probe for an absent capability: Node has the value, so answering
+ * `undefined` would silently diverge (pi's Codex transport stops running its
+ * WebSocket path). A read answers the constructor Node has
+ * (host-global-values.ts), so a module-init `instanceOf(globalThis.FormData,
+ * …)` keeps loading; constructing it, calling it, or reading a member the
+ * value does not carry refuses (SC2020, reason "host-global"), and a module
+ * that does one can run in a Node island.
+ *
+ * The set is derived, not typed by hand — see
+ * packages/compiler/test/host-globals.test.ts, which recomputes it from
+ * internal/compatibility/generated/node-v24-internal.json:
+ *
+ *   globals chapter, depth 1, not flag-gated (an "Enable this API with …"
+ *   stability note means Node 24 does not define it by default)
+ *   − names the compiler's bundled declarations know
+ *     (packages/compiler/ambient/*.d.ts: such a read is lowered or throws a
+ *     loud runtime SC2020, never answers undefined)
+ *   − the CommonJS wrapper bindings (require, module, exports, __dirname,
+ *     __filename)
+ *   − rows the ledger's implementation-owned static status does not call
+ *     "not-implemented".
+ *
+ * Performance is the one Node 24 global the docs chapter omits (Node
+ * documents the class under perf_hooks, which has no Performance row either);
+ * the runtime oracle in the design repro pins it as a global whose typeof is
+ * "function", and it is listed here explicitly.
+ *
+ * Node's enumerable global list for `for (key in globalThis)` is
+ * scr_global_for_in_object's node_names (package runtime): these names are
+ * non-enumerable in Node, so they do not belong there.
+ *
+ * Temporal is deliberately absent: Node 24 does not define it, so "undefined"
+ * is the exact answer. Bun, Deno, window, self and document are absent for the
+ * same reason.
+ */
+export const NODE_GLOBALS_WITHOUT_NATIVE = new Set([
+    "BroadcastChannel",
+    "CloseEvent",
+    "CompressionStream",
+    "DecompressionStream",
+    "FormData",
+    "Navigator",
+    "Performance",
+    "PerformanceEntry",
+    "PerformanceMark",
+    "PerformanceMeasure",
+    "PerformanceObserver",
+    "PerformanceObserverEntryList",
+    "PerformanceResourceTiming",
+    "ReadableByteStreamController",
+    "ReadableStreamBYOBReader",
+    "ReadableStreamBYOBRequest",
+    "URLPattern",
+    "WebSocket",
+]);
+/** Node 24's `length` for each listed global's constructor — the `Function`
+ * length of the class (`WebSocket.length` is 1, `FormData.length` 0). A read
+ * answers a constructor carrying it, so a program reading `name`, `length` or
+ * `typeof` off the value sees what Node shows. Values are pinned against the
+ * running Node in packages/compiler/test/host-globals.test.ts. */
+const HOST_GLOBAL_LENGTHS = new Map([
+    ["BroadcastChannel", 1],
+    ["CloseEvent", 1],
+    ["CompressionStream", 1],
+    ["DecompressionStream", 1],
+    ["FormData", 0],
+    ["Navigator", 0],
+    ["Performance", 0],
+    ["PerformanceEntry", 0],
+    ["PerformanceMark", 1],
+    ["PerformanceMeasure", 0],
+    ["PerformanceObserver", 1],
+    ["PerformanceObserverEntryList", 0],
+    ["PerformanceResourceTiming", 0],
+    ["ReadableByteStreamController", 0],
+    ["ReadableStreamBYOBReader", 1],
+    ["ReadableStreamBYOBRequest", 0],
+    ["URLPattern", 0],
+    ["WebSocket", 1],
+]);
+/** Node's `length` for the listed global `name`, or undefined when the table
+ * does not know it (the value is then built with the closure's own arity). */
+export function hostGlobalLength(name) {
+    return HOST_GLOBAL_LENGTHS.get(name);
+}
+/** Whether the read is the callee of a call or `new` — the one use a listed
+ * global's value refuses. A bare read answers the constructor (see
+ * host-global-values.ts); constructing or calling it can only produce an
+ * instance native code does not have, so the compile fence stays (and a
+ * JavaScript source defers it to the throw at that statement). */
+export function hostGlobalCallTarget(node) {
+    let current = node;
+    for (;;) {
+        const parent = current.parent;
+        if (parent === undefined)
+            return false;
+        if (ts.isParenthesizedExpression(parent) ||
+            ts.isAsExpression(parent) ||
+            ts.isTypeAssertion(parent) ||
+            ts.isNonNullExpression(parent)) {
+            if (parent.expression !== current)
+                return false;
+            current = parent;
+            continue;
+        }
+        return ((ts.isCallExpression(parent) || ts.isNewExpression(parent)) && parent.expression === current);
+    }
+}
+/** Whether `id` reads one of those globals. Own bindings — imports, locals
+ * with an initializer, program classes and functions — keep their ordinary
+ * lowering; a declaration-file binding (the bundled lib, @types/node) or a
+ * program's ambient `declare var` is the global, and an unresolvable name
+ * (JavaScript) is Node's. */
+export function hostGlobalNameOfIdentifier(lowerer, id) {
+    const name = id.text;
+    if (!NODE_GLOBALS_WITHOUT_NATIVE.has(name))
+        return null;
+    // `{ WebSocket }` reads the binding through the object literal's property:
+    // the name's own symbol is that property, and the value the shorthand
+    // copies is the checker's shorthand-value symbol. Read it here rather than
+    // through resolveValueSymbol, which also follows import aliases — this is
+    // a classification probe, and an alias of the name is the program's own
+    // binding, whatever it resolves to.
+    const own = lowerer.checker.getSymbolAtLocation(id);
+    const symbol = id.parent !== undefined && ts.isShorthandPropertyAssignment(id.parent) && id.parent.name === id
+        ? (lowerer.checker.getShorthandAssignmentValueSymbol(id.parent) ?? own)
+        : own;
+    if (symbol === undefined)
+        return name;
+    // An import (or require alias) of the same name is the program's binding
+    // of somebody else's value, never the global.
+    if ((symbol.flags & ts.SymbolFlags.Alias) !== 0)
+        return null;
+    const declarations = symbol.declarations ?? [];
+    if (declarations.length === 0)
+        return null;
+    // Type-world partners declare no value: lib.dom and @types/node write
+    // `interface WebSocket` beside `declare var WebSocket`, and that merged
+    // symbol is still the global. Only the value declarations decide — a
+    // symbol with none is a type (a read of it is a type error elsewhere).
+    const valueDeclarations = declarations.filter((decl) => !ts.isInterfaceDeclaration(decl) && !ts.isTypeAliasDeclaration(decl));
+    if (valueDeclarations.length === 0)
+        return null;
+    const ambient = (decl) => ts.getSourceFileOfNode(decl).isDeclarationFile ||
+        (ts.getCombinedModifierFlags(decl) & ts.ModifierFlags.Ambient) !== 0;
+    const declaresGlobal = valueDeclarations.every((decl) => {
+        if (ts.isVariableDeclaration(decl))
+            return decl.initializer === undefined && ambient(decl);
+        if (ts.isFunctionDeclaration(decl) || ts.isClassDeclaration(decl))
+            return ambient(decl);
+        return false;
+    });
+    return declaresGlobal ? name : null;
+}
+/** Whether `receiver` is the global object: `globalThis`, a cast of it
+ * (`(globalThis as T)`), or a `const` initialized with either (`const g =
+ * globalThis as Record<string, unknown>`). The last shape is how most
+ * programs spell the global object, and the runtime's dynamic global object
+ * answers undefined for these names. A `let` is not followed: it can be
+ * reassigned to another object. */
+export function isGlobalObjectRead(lowerer, receiver, seen = new Set(), name = stdlibGlobalNameOf(lowerer, receiver)) {
+    if (name === "globalThis")
+        return true;
+    const uncast = withoutTypeCasts(receiver);
+    if (uncast !== receiver)
+        return isGlobalObjectRead(lowerer, uncast, seen);
+    if (!ts.isIdentifier(uncast))
+        return false;
+    const symbol = lowerer.checker.getSymbolAtLocation(uncast);
+    if (symbol === undefined || seen.has(symbol))
+        return false;
+    seen.add(symbol);
+    const decl = symbol.valueDeclaration ?? symbol.declarations?.[0];
+    if (decl === undefined || !ts.isVariableDeclaration(decl) || decl.initializer === undefined)
+        return false;
+    if ((ts.getCombinedNodeFlags(decl) & ts.NodeFlags.Const) === 0)
+        return false;
+    return isGlobalObjectRead(lowerer, decl.initializer, seen);
+}
+/** Whether `access` reads one of those globals off the global object —
+ * `globalThis.X`, `(globalThis as T).X`, `alias.X` (`const alias =
+ * globalThis`), through parentheses and type casts. */
+export function hostGlobalNameOfMember(lowerer, access) {
+    const name = access.name.text;
+    if (!NODE_GLOBALS_WITHOUT_NATIVE.has(name))
+        return null;
+    return isGlobalObjectRead(lowerer, access.expression) ? name : null;
+}
+/** `globalThis["X"]` with a static string key: the same read as `globalThis.X`
+ * (the runtime's dynamic path cannot tell the name is Node's). */
+export function hostGlobalNameOfElement(lowerer, access) {
+    const key = access.argumentExpression;
+    if (!ts.isStringLiteralLike(key))
+        return null;
+    if (!NODE_GLOBALS_WITHOUT_NATIVE.has(key.text))
+        return null;
+    return isGlobalObjectRead(lowerer, access.expression) ? key.text : null;
+}
+/** The members a read of a listed global's value answers: the function
+ * intrinsics every constructor carries. Node also has the class's own
+ * static members (`WebSocket.OPEN`, `FormData.prototype.append`) and its
+ * instances' methods, which native code does not provide; reading one is a
+ * use of that surface and refuses (SC2020, host-global) rather than
+ * answering undefined. */
+export const HOST_GLOBAL_VALUE_MEMBERS = new Set([
+    "length",
+    "name",
+    "prototype",
+]);
+/** The members the value's `prototype` object answers: `constructor`, the
+ * link back to the value, which is the same in Node. Node's prototype also
+ * carries the class's instance methods (`FormData.prototype.append`), which
+ * native code does not have; reading one refuses (SC2020, host-global). */
+export const HOST_GLOBAL_PROTOTYPE_MEMBERS = new Set(["constructor"]);
+/** The listed global whose `prototype` object `node` reads — a member read's
+ * receiver (`FormData.prototype.append`), a `const` holding that object
+ * (`const proto = FormData.prototype; proto.append`), or the
+ * `Object.setPrototypeOf` target shape. Null for every other expression. */
+export function hostGlobalPrototypeOf(lowerer, node) {
+    return hostGlobalPrototypeOfSeen(lowerer, node, new Set());
+}
+function hostGlobalPrototypeOfSeen(lowerer, node, seen) {
+    const uncast = withoutTypeCasts(node);
+    // A constant holding the prototype object is the same object: member
+    // reads off it are as unsupported as off the read itself.
+    if (ts.isIdentifier(uncast)) {
+        const initializer = constAliasInitializer(lowerer, uncast, seen);
+        return initializer === null ? null : hostGlobalPrototypeOfSeen(lowerer, initializer, seen);
+    }
+    if (ts.isPropertyAccessExpression(uncast) && uncast.name.text === "prototype")
+        return hostGlobalNameOfReadSeen(lowerer, uncast.expression, seen);
+    if (ts.isElementAccessExpression(uncast) &&
+        ts.isStringLiteralLike(uncast.argumentExpression) &&
+        uncast.argumentExpression.text === "prototype")
+        return hostGlobalNameOfReadSeen(lowerer, uncast.expression, seen);
+    return null;
+}
+/** The listed global whose constructor value `node` holds through the
+ * prototype object (`FormData.prototype.constructor`), which is the same
+ * value the read answers. Null for every other expression. */
+export function hostGlobalConstructorOfPrototype(lowerer, node) {
+    const uncast = withoutTypeCasts(node);
+    if (ts.isPropertyAccessExpression(uncast))
+        return uncast.name.text === "constructor"
+            ? hostGlobalPrototypeOf(lowerer, uncast.expression)
+            : null;
+    if (ts.isElementAccessExpression(uncast) && ts.isStringLiteralLike(uncast.argumentExpression))
+        return uncast.argumentExpression.text === "constructor"
+            ? hostGlobalPrototypeOf(lowerer, uncast.expression)
+            : null;
+    return null;
+}
+/** The listed global whose prototype member a call reads —
+ * `FormData.prototype.append(...)`, `globalThis.WebSocket["send"](...)`.
+ * A call reaches lowering without the member-read hook seeing the callee,
+ * so the call site asks the same question. Null for `constructor` and for
+ * every other expression. */
+export function hostGlobalPrototypeMemberOf(lowerer, callee) {
+    const uncast = withoutTypeCasts(callee);
+    if (ts.isPropertyAccessExpression(uncast))
+        return HOST_GLOBAL_PROTOTYPE_MEMBERS.has(uncast.name.text)
+            ? null
+            : hostGlobalPrototypeOf(lowerer, uncast.expression);
+    if (ts.isElementAccessExpression(uncast) && ts.isStringLiteralLike(uncast.argumentExpression))
+        return HOST_GLOBAL_PROTOTYPE_MEMBERS.has(uncast.argumentExpression.text)
+            ? null
+            : hostGlobalPrototypeOf(lowerer, uncast.expression);
+    return null;
+}
+/** The listed global an operand reads, in any of the read forms — the
+ * expression itself (`typeof X`, a `new` callee, a call callee) — or the
+ * one a `const` holding the read answers (`const Ctor = WebSocket;
+ * Ctor.OPEN`). A `let` is not followed: it can be reassigned. */
+export function hostGlobalNameOfRead(lowerer, operand) {
+    return hostGlobalNameOfReadSeen(lowerer, operand, new Set());
+}
+function hostGlobalNameOfReadSeen(lowerer, operand, seen) {
+    const unwrapped = withoutTypeCasts(operand);
+    if (ts.isIdentifier(unwrapped)) {
+        const global = hostGlobalNameOfIdentifier(lowerer, unwrapped);
+        if (global !== null)
+            return global;
+        const initializer = constAliasInitializer(lowerer, unwrapped, seen);
+        return initializer === null ? null : hostGlobalNameOfReadSeen(lowerer, initializer, seen);
+    }
+    if (ts.isPropertyAccessExpression(unwrapped))
+        return hostGlobalNameOfMember(lowerer, unwrapped);
+    if (ts.isElementAccessExpression(unwrapped))
+        return hostGlobalNameOfElement(lowerer, unwrapped);
+    return null;
+}
+/** The initializer of the `const` `id` names, when that constant is the
+ * program's own binding in a source file. Records the symbol in `seen` so a
+ * cycle between two constants ends the walk. */
+function constAliasInitializer(lowerer, id, seen) {
+    const symbol = lowerer.checker.getSymbolAtLocation(id);
+    if (symbol === undefined || seen.has(symbol))
+        return null;
+    const declarations = symbol.declarations ?? [];
+    if (declarations.length !== 1)
+        return null;
+    const decl = declarations[0];
+    if (decl === undefined || !ts.isVariableDeclaration(decl) || decl.initializer === undefined)
+        return null;
+    if (decl.parent === undefined || (decl.parent.flags & ts.NodeFlags.Const) === 0)
+        return null;
+    if (ts.getSourceFileOfNode(decl).isDeclarationFile)
+        return null;
+    seen.add(symbol);
+    return decl.initializer;
+}
+/** The listed global a `typeof` operand reads, in any of the read forms. */
+export function hostGlobalNameOfTypeofOperand(lowerer, operand) {
+    return hostGlobalNameOfRead(lowerer, operand);
+}
+/** The compiler's derived name table as the runtime's immortal
+ * `templateStrings` array (one per program): the runtime never carries a
+ * hand-copied list of host globals. */
+export function hostAbsentNamesArg(loc) {
+    const names = [...NODE_GLOBALS_WITHOUT_NATIVE].sort();
+    return {
+        kind: "templateStrings",
+        key: `%hostAbsent.names:${names.join(",")}`,
+        cooked: names,
+        type: arrayOf(STRING),
+        loc,
+    };
+}
+/** Arms the runtime check at a dynamic site (idempotent): the runtime's
+ * global-object read and `in` answers throw for exactly these names. */
+export function hostAbsentInstall(loc) {
+    return {
+        kind: "libCall",
+        fn: "global.hostAbsent",
+        args: [hostAbsentNamesArg(loc)],
+        type: VOID,
+        loc,
+    };
+}
+//# sourceMappingURL=host-globals.js.map

package/dist/frontend/lowering/host-globals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"host-globals.js","sourceRoot":"","sources":["../../../src/frontend/lowering/host-globals.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,OAAO,EAAe,MAAM,EAAe,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAEjF,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAwB,IAAI,GAAG,CAAC;IACtE,kBAAkB;IAClB,YAAY;IACZ,mBAAmB;IACnB,qBAAqB;IACrB,UAAU;IACV,WAAW;IACX,aAAa;IACb,kBAAkB;IAClB,iBAAiB;IACjB,oBAAoB;IACpB,qBAAqB;IACrB,8BAA8B;IAC9B,2BAA2B;IAC3B,8BAA8B;IAC9B,0BAA0B;IAC1B,2BAA2B;IAC3B,YAAY;IACZ,WAAW;CACZ,CAAC,CAAC;AAEH;;;;kEAIkE;AAClE,MAAM,mBAAmB,GAAgC,IAAI,GAAG,CAAC;IAC/D,CAAC,kBAAkB,EAAE,CAAC,CAAC;IACvB,CAAC,YAAY,EAAE,CAAC,CAAC;IACjB,CAAC,mBAAmB,EAAE,CAAC,CAAC;IACxB,CAAC,qBAAqB,EAAE,CAAC,CAAC;IAC1B,CAAC,UAAU,EAAE,CAAC,CAAC;IACf,CAAC,WAAW,EAAE,CAAC,CAAC;IAChB,CAAC,aAAa,EAAE,CAAC,CAAC;IAClB,CAAC,kBAAkB,EAAE,CAAC,CAAC;IACvB,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtB,CAAC,oBAAoB,EAAE,CAAC,CAAC;IACzB,CAAC,qBAAqB,EAAE,CAAC,CAAC;IAC1B,CAAC,8BAA8B,EAAE,CAAC,CAAC;IACnC,CAAC,2BAA2B,EAAE,CAAC,CAAC;IAChC,CAAC,8BAA8B,EAAE,CAAC,CAAC;IACnC,CAAC,0BAA0B,EAAE,CAAC,CAAC;IAC/B,CAAC,2BAA2B,EAAE,CAAC,CAAC;IAChC,CAAC,YAAY,EAAE,CAAC,CAAC;IACjB,CAAC,WAAW,EAAE,CAAC,CAAC;CACjB,CAAC,CAAC;AAEH;8EAC8E;AAC9E,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,OAAO,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACvC,CAAC;AAED;;;;kEAIkE;AAClE,MAAM,UAAU,oBAAoB,CAAC,IAAmB;IACtD,IAAI,OAAO,GAAY,IAAI,CAAC;IAC5B,SAAS,CAAC;QACR,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACvC,IACE,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;YACpC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC;YACzB,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;YAC1B,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAC9B,CAAC;YACD,IAAI,MAAM,CAAC,UAAU,KAAK,OAAO;gBAAE,OAAO,KAAK,CAAC;YAChD,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,OAAO,CACL,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,OAAO,CAC7F,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;6BAI6B;AAC7B,MAAM,UAAU,0BAA0B,CAAC,OAAgB,EAAE,EAAiB;IAC5E,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;IACrB,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,2EAA2E;IAC3E,sEAAsE;IACtE,2EAA2E;IAC3E,0EAA0E;IAC1E,wEAAwE;IACxE,oCAAoC;IACpC,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACpD,MAAM,MAAM,GACV,EAAE,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,6BAA6B,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,EAAE;QAC7F,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,iCAAiC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC;QACvE,CAAC,CAAC,GAAG,CAAC;IACV,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtC,yEAAyE;IACzE,8CAA8C;IAC9C,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC;IAC/C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,sEAAsE;IACtE,wEAAwE;IACxE,qEAAqE;IACrE,uEAAuE;IACvE,MAAM,iBAAiB,GAAG,YAAY,CAAC,MAAM,CAC3C,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAC/E,CAAC;IACF,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,OAAO,GAAG,CAAC,IAAa,EAAW,EAAE,CACzC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,iBAAiB;QAC9C,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACvE,MAAM,cAAc,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE;QACtD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;QAC3F,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAAE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC;QACxF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;IACH,OAAO,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACtC,CAAC;AAED;;;;;mCAKmC;AACnC,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,QAAuB,EACvB,IAAI,GAAmB,IAAI,GAAG,EAAE,EAChC,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC;IAE5C,IAAI,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,MAAM,KAAK,QAAQ;QAAE,OAAO,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC1E,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3D,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;IACjE,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;QACzF,OAAO,KAAK,CAAC;IACf,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7E,OAAO,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;AAC7D,CAAC;AAED;;uDAEuD;AACvD,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,MAAmC;IAEnC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,OAAO,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACtE,CAAC;AAED;kEACkE;AAClE,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,MAAkC;IAElC,MAAM,GAAG,GAAG,MAAM,CAAC,kBAAkB,CAAC;IACtC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,OAAO,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1E,CAAC;AAED;;;;;0BAK0B;AAC1B,MAAM,CAAC,MAAM,yBAAyB,GAAwB,IAAI,GAAG,CAAC;IACpE,QAAQ;IACR,MAAM;IACN,WAAW;CACZ,CAAC,CAAC;AAEH;;;2EAG2E;AAC3E,MAAM,CAAC,MAAM,6BAA6B,GAAwB,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;AAE3F;;;4EAG4E;AAC5E,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,IAAmB;IACzE,OAAO,yBAAyB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,yBAAyB,CAChC,OAAgB,EAChB,IAAmB,EACnB,IAAoB;IAEpB,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,qEAAqE;IACrE,0DAA0D;IAC1D,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,WAAW,GAAG,qBAAqB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QACjE,OAAO,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;QAC3E,OAAO,wBAAwB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACpE,IACE,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QACpC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,kBAAkB,CAAC;QACjD,MAAM,CAAC,kBAAkB,CAAC,IAAI,KAAK,WAAW;QAE9C,OAAO,wBAAwB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACpE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;8DAE8D;AAC9D,MAAM,UAAU,gCAAgC,CAC9C,OAAgB,EAChB,IAAmB;IAEnB,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACvC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;YACvC,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC;YACnD,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,kBAAkB,CAAC;QAC3F,OAAO,MAAM,CAAC,kBAAkB,CAAC,IAAI,KAAK,aAAa;YACrD,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC;YACnD,CAAC,CAAC,IAAI,CAAC;IACX,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;6BAI6B;AAC7B,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,MAAqB;IAErB,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACvC,OAAO,6BAA6B,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YACxD,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IACxD,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,kBAAkB,CAAC;QAC3F,OAAO,6BAA6B,CAAC,GAAG,CAAC,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC;YACtE,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IACxD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;iEAGiE;AACjE,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,OAAsB;IAC3E,OAAO,wBAAwB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,wBAAwB,CAC/B,OAAgB,EAChB,OAAsB,EACtB,IAAoB;IAEpB,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,0BAA0B,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC9D,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC;QACnC,MAAM,WAAW,GAAG,qBAAqB,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QACpE,OAAO,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC;QAAE,OAAO,sBAAsB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAChG,IAAI,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC;QAAE,OAAO,uBAAuB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAChG,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;gDAEgD;AAChD,SAAS,qBAAqB,CAC5B,OAAgB,EAChB,EAAiB,EACjB,IAAoB;IAEpB,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACvD,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC;IAC/C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;QACzF,OAAO,IAAI,CAAC;IACd,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7F,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,iBAAiB;QAAE,OAAO,IAAI,CAAC;IAChE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACjB,OAAO,IAAI,CAAC,WAAW,CAAC;AAC1B,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,6BAA6B,CAC3C,OAAgB,EAChB,OAAsB;IAEtB,OAAO,oBAAoB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAChD,CAAC;AAED;;uCAEuC;AACvC,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,MAAM,KAAK,GAAG,CAAC,GAAG,2BAA2B,CAAC,CAAC,IAAI,EAAE,CAAC;IACtD,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,GAAG,EAAE,qBAAqB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QAC3C,MAAM,EAAE,KAAK;QACb,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;QACrB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;wEACwE;AACxE,MAAM,UAAU,iBAAiB,CAAC,GAAW;IAC3C,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/http2-constants.js

@@ -1,4 +1,4 @@
-/* node:http2 constants — the full table Node v24.22.0 exposes as
+/* node:http2 constants — the full table Node v24.22.1 exposes as
  * http2.constants (240 members: NGHTTP2_* protocol codes, NGHTTP2_ERR_*
  * library codes, HTTP2_HEADER_* names, HTTP2_METHOD_* verbs, and the
  * HTTP_STATUS_* table), generated with

package/dist/frontend/lowering/iterator-adapters.js

@@ -752,7 +752,19 @@ export function lowerStringIteratorValue(lowerer, receiver, type, loc) {
  * conversion. */
 function generatorRetypeAdapter(lowerer, expr, expected) {
     const from = expr.type;
-    if (from.kind !== "generator" || from.async || expected.async)
+    if (from.kind !== "generator")
+        return null;
+    // The adapter is the same kind of generator as its source: an async source
+    // resumes through promises, whose record the adapter awaits, and a sync one
+    // through records. Converting between the two protocols (sync iterator to
+    // async) is not this adapter's job.
+    const isAsync = from.async === true;
+    if (isAsync !== (expected.async === true))
+        return null;
+    // The adapter opens the source with a valueless `.next()` (as a consumer's
+    // first step does), so a source whose yields require a value has no
+    // adapter: there is no value to send.
+    if (from.nextT.kind !== "undefinedT" && from.nextT.kind !== "dyn")
         return null;
     if (from.yieldT.kind === "void" || expected.yieldT.kind === "void")
         return null;
@@ -798,14 +810,17 @@ function generatorRetypeAdapter(lowerer, expr, expected) {
             return null;
         if (!forwards && from.nextT.kind !== "undefinedT" && from.nextT.kind !== "dyn")
             return null;
-        const resume = (arg) => ({
+        const resume = (mode, arg) => ({
             kind: "genResume",
-            mode: "next",
+            mode,
             gen: source,
             arg,
-            type: fromResult,
+            type: isAsync ? { kind: "promise", inner: fromResult } : fromResult,
             loc,
         });
+        // An async source answers a promise of the record; the adapter awaits it
+        // before it can read `done` and `value`. A sync one answers the record.
+        const settled = (e) => isAsync ? { kind: "awaitExpr", value: e, type: fromResult, loc } : e;
         const resumed = {
             kind: "yieldExpr",
             value: yielded,
@@ -818,6 +833,7 @@ function generatorRetypeAdapter(lowerer, expr, expected) {
             name,
             params: [{ localId: "source.0", name: "source", type: from }],
             returnType: expected.retT,
+            ...(isAsync && { async: true }),
             locals: [
                 { id: "source.0", name: "source", type: from, mutable: false },
                 { id: "step.0", name: "step", type: fromResult, mutable: true },
@@ -825,7 +841,7 @@ function generatorRetypeAdapter(lowerer, expr, expected) {
                 { id: "resumed.0", name: "resumed", type: BOOL, mutable: true },
             ],
             body: [
-                { kind: "varDecl", localId: "step.0", init: resume(null), loc },
+                { kind: "varDecl", localId: "step.0", init: settled(resume("next", null)), loc },
                 ...(forwards ? [{ kind: "varDecl", localId: "sent.0", init: null, loc }] : []),
                 {
                     kind: "varDecl",
@@ -855,7 +871,12 @@ function generatorRetypeAdapter(lowerer, expr, expected) {
                             ],
                             catchBody: null,
                             catchLocalId: null,
-                            // Closing the adapter early closes the source generator too.
+                            // A close the adapter already runs on the way out of a throw
+                            // must not replace that error, as in the for-await form.
+                            ...(isAsync && { dropFinallyErrors: true }),
+                            // Closing the adapter early closes the source generator too: a
+                            // sync source through `close`, an async one by awaiting its
+                            // `return()`.
                             finallyBody: [
                                 {
                                     kind: "if",
@@ -867,18 +888,24 @@ function generatorRetypeAdapter(lowerer, expr, expected) {
                                         loc,
                                     },
                                     then: [
-                                        {
-                                            kind: "exprStmt",
-                                            expr: {
-                                                kind: "genResume",
-                                                mode: "close",
-                                                gen: source,
-                                                arg: null,
-                                                type: VOID,
+                                        isAsync
+                                            ? {
+                                                kind: "exprStmt",
+                                                expr: settled(resume("return", null)),
+                                                loc,
+                                            }
+                                            : {
+                                                kind: "exprStmt",
+                                                expr: {
+                                                    kind: "genResume",
+                                                    mode: "close",
+                                                    gen: source,
+                                                    arg: null,
+                                                    type: VOID,
+                                                    loc,
+                                                },
                                                 loc,
                                             },
-                                            loc,
-                                        },
                                     ],
                                     else_: null,
                                     loc,
@@ -886,11 +913,13 @@ function generatorRetypeAdapter(lowerer, expr, expected) {
                             ],
                             loc,
                         },
-                        { kind: "assign", localId: "step.0", value: resume(sent), loc },
+                        { kind: "assign", localId: "step.0", value: settled(resume("next", sent)), loc },
                     ],
                     loc,
                 },
             ],
+            // `async` on the lifted fn above is what makes this an async
+            // generator; the descriptor stays the same record for both kinds.
             generator: {
                 yieldT: expected.yieldT,
                 nextT: expected.nextT,