@scriptc/compiler 0.4.6 → 0.4.8

package/dist/frontend/lowering/host-global-values.js

@@ -0,0 +1,121 @@
+/** The value a read of a Node 24 global native code does not provide
+ * answers (host-globals.ts). Node has the constructor, so a read must answer
+ * a constructor: the eager read at module init (`export const FormData =
+ * instanceOf(globalThis.FormData, …)` in effect's Schema) is a value read,
+ * not a use, and refusing it rejects the module before its capability probe
+ * ever runs.
+ *
+ * The value is what Node's class is to native code: `typeof` answers
+ * "function", `name` and `length` are Node's, `instanceof` answers false for
+ * every value native code can produce (the constructor's `prototype` is an
+ * object no value's prototype chain reaches), and constructing or calling it
+ * throws the SC2020 fence its direct use reports — native code can never
+ * produce an instance. Reads that ARE a use (`new WebSocket(url)`,
+ * `FormData()`) keep the compile fence, which a JavaScript source defers to
+ * exactly that throw.
+ *
+ * The constructor is a zero-parameter closure whose function is marked
+ * `ownsPrototype`: the runtime gives every such function its own
+ * `prototype` object with `constructor` on it (scr_dyn_fn_table), the same
+ * shape a program's function declaration has, so `FormData.prototype`,
+ * `FormData.prototype.constructor === FormData` and `x instanceof FormData`
+ * all answer what Node answers without any property definition here. */
+import * as ts from "../ts7/adapter.js";
+import { BOOL, DYN } from "../../ir/ir.js";
+import { boolLit, varRef } from "../../ir/build.js";
+import { hostGlobalDiag } from "../../diagnostics/diagnostic.js";
+import { hostGlobalLength } from "./host-globals.js";
+import { locOf } from "../program.js";
+/** The constructor value the global `name` reads as. Built once per program
+ * (the helper answers the same value every time, as the global object does).
+ * A read reports no fence: it does not throw. The value throws the SC2020
+ * fence when it is constructed or called, and the call and `new` sites that
+ * can see the global report it there (lowerer.hostGlobalFence). */
+export function hostGlobalValue(lowerer, name, node) {
+    const loc = locOf(node);
+    const helper = `%builtin.hostGlobal.${name}`;
+    if (!lowerer.liftedFns.some((fn) => fn.name === helper))
+        defineHostGlobalBuilder(lowerer, name, helper, node);
+    lowerer.noteEdge(helper);
+    return { kind: "call", callee: helper, args: [], type: DYN, loc };
+}
+/** The lifted function that builds the constructor once and answers the same
+ * value afterwards. */
+function defineHostGlobalBuilder(lowerer, name, helper, node) {
+    const loc = locOf(node);
+    const fence = `%builtin.fence.global.${name}`;
+    if (!lowerer.liftedFns.some((fn) => fn.name === fence)) {
+        const diag = hostGlobalDiag(name, loc);
+        lowerer.liftedFns.push({
+            name: fence,
+            ownsPrototype: true,
+            params: [],
+            locals: [],
+            returnType: DYN,
+            body: [{ kind: "runtimeFence", code: diag.code, message: fenceMessage(diag, node), loc }],
+            loc,
+        });
+    }
+    const storage = `%g.${helper}`;
+    const ready = `${storage}%ready`;
+    lowerer.globalsList.push({ id: storage, name: `${name} global value`, type: DYN, mutable: true }, { id: ready, name: "%ready", type: BOOL, mutable: true });
+    const length = hostGlobalLength(name);
+    const body = [
+        {
+            kind: "if",
+            cond: varRef(ready, BOOL, loc),
+            then: [{ kind: "return", value: varRef(storage, DYN, loc), loc }],
+            else_: null,
+            loc,
+        },
+        {
+            kind: "assign",
+            localId: storage,
+            value: {
+                kind: "dynFrom",
+                value: {
+                    kind: "closure",
+                    fnName: fence,
+                    captures: [],
+                    type: { kind: "func", params: [], ret: DYN },
+                    loc,
+                },
+                fnName: name,
+                ...(length !== undefined ? { fnLength: length } : {}),
+                type: DYN,
+                loc,
+            },
+            loc,
+        },
+        // The constructor's own [[Prototype]]: a plain object, so the `instanceof`
+        // prototype walk over a FUNCTION value ends at null instead of throwing
+        // the runtime's unsupported-getPrototypeOf refusal (the walk starts at the
+        // value's [[Prototype]]). Nothing native code produces reaches it, so
+        // `x instanceof FormData` answers false for every value native code can
+        // produce, functions included.
+        {
+            kind: "exprStmt",
+            expr: {
+                kind: "libCall",
+                fn: "dyn.setPrototype",
+                args: [varRef(storage, DYN, loc), { kind: "dynObjLit", fields: [], type: DYN, loc }],
+                type: DYN,
+                loc,
+            },
+            loc,
+        },
+        { kind: "assign", localId: ready, value: boolLit(true, loc), loc },
+        { kind: "return", value: varRef(storage, DYN, loc), loc },
+    ];
+    const locals = [];
+    lowerer.liftedFns.push({ name: helper, params: [], locals, returnType: DYN, body, loc });
+    lowerer.shareHelper(helper);
+}
+/** The thrown message, in the shape every deferred fence throws: the
+ * diagnostic's message at the site that first read the value. */
+function fenceMessage(diag, node) {
+    const source = ts.getSourceFileOfNode(node);
+    const pos = ts.getLineAndCharacterOfPosition(source, diag.loc.start);
+    return `${diag.message} [${diag.code} at ${diag.loc.file}:${pos.line + 1}]`;
+}
+//# sourceMappingURL=host-global-values.js.map

package/dist/frontend/lowering/host-global-values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"host-global-values.js","sourceRoot":"","sources":["../../../src/frontend/lowering/host-global-values.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;wEAqBwE;AACxE,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,GAAG,EAA0C,MAAM,gBAAgB,CAAC;AACnF,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAEjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC;;;;mEAImE;AACnE,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,IAAY,EAAE,IAAa;IAC3E,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,MAAM,GAAG,uBAAuB,IAAI,EAAE,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC;QACrD,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACvD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACzB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACpE,CAAC;AAED;uBACuB;AACvB,SAAS,uBAAuB,CAC9B,OAAgB,EAChB,IAAY,EACZ,MAAc,EACd,IAAa;IAEb,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,yBAAyB,IAAI,EAAE,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACvC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,KAAK;YACX,aAAa,EAAE,IAAI;YACnB,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;YACzF,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,MAAM,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,GAAG,OAAO,QAAQ,CAAC;IACjC,OAAO,CAAC,WAAW,CAAC,IAAI,CACtB,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,IAAI,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EACvE,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CACzD,CAAC;IACF,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,IAAI,GAAa;QACrB;YACE,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC;YAC9B,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;YACjE,KAAK,EAAE,IAAI;YACX,GAAG;SACJ;QACD;YACE,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE;gBACL,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE;oBACL,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,KAAK;oBACb,QAAQ,EAAE,EAAE;oBACZ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;oBAC5C,GAAG;iBACJ;gBACD,MAAM,EAAE,IAAI;gBACZ,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;YACD,GAAG;SACJ;QACD,2EAA2E;QAC3E,wEAAwE;QACxE,2EAA2E;QAC3E,sEAAsE;QACtE,wEAAwE;QACxE,+BAA+B;QAC/B;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,kBAAkB;gBACtB,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBACpF,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;YACD,GAAG;SACJ;QACD,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;QAClE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;KAC1D,CAAC;IACF,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IACzF,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;AAC9B,CAAC;AAED;iEACiE;AACjE,SAAS,YAAY,CACnB,IAA6E,EAC7E,IAAa;IAEb,MAAM,MAAM,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,EAAE,CAAC,6BAA6B,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACrE,OAAO,GAAG,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC;AAC9E,CAAC"}

package/dist/frontend/lowering/host-globals.d.ts

@@ -0,0 +1,74 @@
+import * as ts from "../ts7/adapter.js";
+import { type IrExpr, type SrcLoc } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+export declare const NODE_GLOBALS_WITHOUT_NATIVE: ReadonlySet<string>;
+/** 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 declare function hostGlobalLength(name: string): number | undefined;
+/** 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 declare function hostGlobalCallTarget(node: ts.Expression): boolean;
+/** 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 declare function hostGlobalNameOfIdentifier(lowerer: Lowerer, id: ts.Identifier): string | 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 declare function isGlobalObjectRead(lowerer: Lowerer, receiver: ts.Expression, seen?: Set<ts.Symbol>, name?: string | null): boolean;
+/** 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 declare function hostGlobalNameOfMember(lowerer: Lowerer, access: ts.PropertyAccessExpression): string | 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 declare function hostGlobalNameOfElement(lowerer: Lowerer, access: ts.ElementAccessExpression): string | 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 declare const HOST_GLOBAL_VALUE_MEMBERS: ReadonlySet<string>;
+/** 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 declare const HOST_GLOBAL_PROTOTYPE_MEMBERS: ReadonlySet<string>;
+/** 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 declare function hostGlobalPrototypeOf(lowerer: Lowerer, node: ts.Expression): string | 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 declare function hostGlobalConstructorOfPrototype(lowerer: Lowerer, node: ts.Expression): string | 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 declare function hostGlobalPrototypeMemberOf(lowerer: Lowerer, callee: ts.Expression): string | 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 declare function hostGlobalNameOfRead(lowerer: Lowerer, operand: ts.Expression): string | null;
+/** The listed global a `typeof` operand reads, in any of the read forms. */
+export declare function hostGlobalNameOfTypeofOperand(lowerer: Lowerer, operand: ts.Expression): string | null;
+/** 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 declare function hostAbsentNamesArg(loc: SrcLoc): IrExpr;
+/** Arms the runtime check at a dynamic site (idempotent): the runtime's
+ * global-object read and `in` answers throw for exactly these names. */
+export declare function hostAbsentInstall(loc: SrcLoc): IrExpr;

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