@scriptc/compiler 0.4.7 → 0.4.8

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

@@ -0,0 +1,193 @@
+/** Builtin global functions JavaScript sources read as values (`const p =
+ * parseInt`, `globalThis[name]`) beyond the interned function and
+ * constructor values (builtinGlobalValue):
+ * - parseInt and parseFloat are the Number statics' function values, as in
+ *   Node (`parseInt === Number.parseInt`).
+ * - isNaN and isFinite convert their argument with ToNumber.
+ * - Symbol makes a symbol whose description is its argument's ToString, or
+ *   one without a description when the argument is undefined.
+ * - eval throws the EvalError a direct call throws (code-generation.ts).
+ * - escape, unescape, WeakRef and AsyncDisposableStack have no lowering:
+ *   their values have Node's name and length and throw SC2020 when called
+ *   or constructed, as their direct uses refuse. */
+import { BOOL, DYN, F64, STRING, SYMBOL_T, } from "../../ir/ir.js";
+import { dynUndefinedExpr, nodeThrowExpr, varRef } from "../../ir/build.js";
+import { noLoweringDiag } from "../../diagnostics/diagnostic.js";
+import { lowerNumberParserValue } from "./lower-builtin-values.js";
+import { CODE_GENERATION_DISALLOWED } from "./code-generation.js";
+/** The globals without a lowering, with Node's length for each. */
+const UNLOWERED = new Map([
+    ["escape", 1],
+    ["unescape", 1],
+    ["WeakRef", 1],
+    ["AsyncDisposableStack", 0],
+]);
+/** Whether `name` is a global without a lowering, whose value throws the
+ * fence. TypeScript sources keep the compile-time refusal for these. */
+export function isUnloweredGlobal(name) {
+    return UNLOWERED.has(name);
+}
+/** The globals function values are built for: the ones read below, and the
+ * ones without a lowering. */
+const GLOBAL_VALUE_NAMES = new Set([
+    "parseInt",
+    "parseFloat",
+    "isNaN",
+    "isFinite",
+    "Symbol",
+    "eval",
+    ...UNLOWERED.keys(),
+]);
+/** Whether a JavaScript source reads `name` as one of the function values
+ * this file builds (never as a class value). */
+export function hasGlobalFunctionValue(name) {
+    return GLOBAL_VALUE_NAMES.has(name);
+}
+/** The value a JavaScript source reads for the global function `name`, or
+ * null when it has none here. `reportFences` is false for the program's
+ * global lookup, which holds every declared global's value whether or not
+ * the program reads it: only a read reports the value's fence. */
+export function globalFunctionValue(lowerer, name, loc, reportFences = true) {
+    switch (name) {
+        case "parseInt":
+        case "parseFloat":
+            return lowerNumberParserValue(lowerer, name, loc);
+        case "isNaN":
+        case "isFinite":
+            return numberTestValue(lowerer, name, loc);
+        case "Symbol":
+            return symbolValue(lowerer, loc);
+        case "eval":
+            return evalValue(lowerer, loc);
+        default: {
+            const length = UNLOWERED.get(name);
+            return length === undefined ? null : unloweredValue(lowerer, name, length, loc, reportFences);
+        }
+    }
+}
+/** A lifted function `%builtin.global.<name>` of one checked-dynamic
+ * parameter, defined once, boxed under Node's name and, when it differs
+ * from 1, Node's length. */
+function oneArgumentValue(lowerer, name, ret, body, loc, length) {
+    const fnName = `%builtin.global.${name}`;
+    if (!lowerer.liftedFns.some((fn) => fn.name === fnName))
+        lowerer.liftedFns.push({
+            name: fnName,
+            params: [{ localId: "value.0", name: "value", type: DYN }],
+            locals: [{ id: "value.0", name: "value", type: DYN, mutable: false }],
+            returnType: ret,
+            body: body(varRef("value.0", DYN, loc)),
+            loc,
+        });
+    return {
+        kind: "dynFrom",
+        value: {
+            kind: "closure",
+            fnName,
+            captures: [],
+            type: { kind: "func", params: [DYN], ret },
+            loc,
+        },
+        fnName: name,
+        ...(length !== undefined ? { fnLength: length } : {}),
+        type: DYN,
+        loc,
+    };
+}
+/** isNaN and isFinite: ToNumber, then the test. */
+function numberTestValue(lowerer, name, loc) {
+    return oneArgumentValue(lowerer, name, BOOL, (argument) => [
+        {
+            kind: "return",
+            value: {
+                kind: "libCall",
+                fn: name === "isNaN" ? "num.isNaN" : "number.isFinite",
+                args: [{ kind: "libCall", fn: "dyn.toNumberCoerce", args: [argument], type: F64, loc }],
+                type: BOOL,
+                loc,
+            },
+            loc,
+        },
+    ], loc);
+}
+/** Symbol(description). */
+function symbolValue(lowerer, loc) {
+    return oneArgumentValue(lowerer, "Symbol", SYMBOL_T, (argument) => [
+        {
+            kind: "if",
+            cond: { kind: "dynTest", test: "undefined", value: argument, type: BOOL, loc },
+            then: [
+                {
+                    kind: "return",
+                    value: { kind: "libCall", fn: "sym.newAnon", args: [], type: SYMBOL_T, loc },
+                    loc,
+                },
+            ],
+            else_: null,
+            loc,
+        },
+        {
+            kind: "return",
+            value: {
+                kind: "libCall",
+                fn: "sym.new",
+                args: [
+                    { kind: "libCall", fn: "dyn.toStringCoerce", args: [argument], type: STRING, loc },
+                ],
+                type: SYMBOL_T,
+                loc,
+            },
+            loc,
+        },
+    ], loc, 
+    // Node's Symbol declares no parameters.
+    0);
+}
+/** eval: the EvalError every code-generation call throws. */
+function evalValue(lowerer, loc) {
+    return oneArgumentValue(lowerer, "eval", DYN, () => [
+        {
+            kind: "exprStmt",
+            expr: nodeThrowExpr(6, "", CODE_GENERATION_DISALLOWED, F64, loc),
+            loc,
+        },
+        { kind: "return", value: dynUndefinedExpr(loc), loc },
+    ], loc);
+}
+/** A global without a lowering: calling or constructing it throws the
+ * SC2020 fence its direct use reports. Each read that reaches the value
+ * reports the fence; the program's lookup holds the value without
+ * reporting one. */
+function unloweredValue(lowerer, name, length, loc, reportFences) {
+    const fnName = `%builtin.fence.global.${name}`;
+    const diag = noLoweringDiag(name, loc);
+    if (!lowerer.liftedFns.some((fn) => fn.name === fnName)) {
+        lowerer.liftedFns.push({
+            name: fnName,
+            params: [],
+            locals: [],
+            returnType: DYN,
+            body: [
+                { kind: "runtimeFence", code: diag.code, message: `${diag.message} [${diag.code}]`, loc },
+            ],
+            loc,
+        });
+    }
+    if (reportFences)
+        lowerer.runtimeFences.push(diag);
+    return {
+        kind: "dynFrom",
+        value: {
+            kind: "closure",
+            fnName,
+            captures: [],
+            type: { kind: "func", params: [], ret: DYN },
+            loc,
+        },
+        fnName: name,
+        fnLength: length,
+        type: DYN,
+        loc,
+    };
+}
+//# sourceMappingURL=global-function-values.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"global-function-values.js","sourceRoot":"","sources":["../../../src/frontend/lowering/global-function-values.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;oDAWoD;AACpD,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EACN,QAAQ,GAKT,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAEjE,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAElE,mEAAmE;AACnE,MAAM,SAAS,GAAgC,IAAI,GAAG,CAAC;IACrD,CAAC,QAAQ,EAAE,CAAC,CAAC;IACb,CAAC,UAAU,EAAE,CAAC,CAAC;IACf,CAAC,SAAS,EAAE,CAAC,CAAC;IACd,CAAC,sBAAsB,EAAE,CAAC,CAAC;CAC5B,CAAC,CAAC;AAEH;wEACwE;AACxE,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED;8BAC8B;AAC9B,MAAM,kBAAkB,GAAwB,IAAI,GAAG,CAAC;IACtD,UAAU;IACV,YAAY;IACZ,OAAO;IACP,UAAU;IACV,QAAQ;IACR,MAAM;IACN,GAAG,SAAS,CAAC,IAAI,EAAE;CACpB,CAAC,CAAC;AAEH;gDACgD;AAChD,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,OAAO,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC;AAED;;;kEAGkE;AAClE,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAY,EACZ,GAAW,EACX,YAAY,GAAG,IAAI;IAEnB,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU,CAAC;QAChB,KAAK,YAAY;YACf,OAAO,sBAAsB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACpD,KAAK,OAAO,CAAC;QACb,KAAK,UAAU;YACb,OAAO,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC7C,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACnC,KAAK,MAAM;YACT,OAAO,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACjC,SAAS,CAAC;YACR,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;AACH,CAAC;AAED;;4BAE4B;AAC5B,SAAS,gBAAgB,CACvB,OAAgB,EAChB,IAAY,EACZ,GAAW,EACX,IAAoC,EACpC,GAAW,EACX,MAAe;IAEf,MAAM,MAAM,GAAG,mBAAmB,IAAI,EAAE,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC;QACrD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC1D,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACrE,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,GAAG;SACJ,CAAC,CAAC;IACL,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,MAAM;YACN,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;YAC1C,GAAG;SACJ;QACD,MAAM,EAAE,IAAI;QACZ,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,mDAAmD;AACnD,SAAS,eAAe,CAAC,OAAgB,EAAE,IAA0B,EAAE,GAAW;IAChF,OAAO,gBAAgB,CACrB,OAAO,EACP,IAAI,EACJ,IAAI,EACJ,CAAC,QAAQ,EAAE,EAAE,CAAC;QACZ;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,iBAAiB;gBACtD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBACvF,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ;KACF,EACD,GAAG,CACJ,CAAC;AACJ,CAAC;AAED,2BAA2B;AAC3B,SAAS,WAAW,CAAC,OAAgB,EAAE,GAAW;IAChD,OAAO,gBAAgB,CACrB,OAAO,EACP,QAAQ,EACR,QAAQ,EACR,CAAC,QAAQ,EAAE,EAAE,CAAC;QACZ;YACE,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC9E,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;oBAC5E,GAAG;iBACJ;aACF;YACD,KAAK,EAAE,IAAI;YACX,GAAG;SACJ;QACD;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,SAAS;gBACb,IAAI,EAAE;oBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;iBACnF;gBACD,IAAI,EAAE,QAAQ;gBACd,GAAG;aACJ;YACD,GAAG;SACJ;KACF,EACD,GAAG;IACH,wCAAwC;IACxC,CAAC,CACF,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,SAAS,SAAS,CAAC,OAAgB,EAAE,GAAW;IAC9C,OAAO,gBAAgB,CACrB,OAAO,EACP,MAAM,EACN,GAAG,EACH,GAAG,EAAE,CAAC;QACJ;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,0BAA0B,EAAE,GAAG,EAAE,GAAG,CAAC;YAChE,GAAG;SACJ;QACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;KACtD,EACD,GAAG,CACJ,CAAC;AACJ,CAAC;AAED;;;oBAGoB;AACpB,SAAS,cAAc,CACrB,OAAgB,EAChB,IAAY,EACZ,MAAc,EACd,GAAW,EACX,YAAqB;IAErB,MAAM,MAAM,GAAG,yBAAyB,IAAI,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACvC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;QACxD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,GAAG;YACf,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,IAAI,GAAG,EAAE,GAAG,EAAE;aAC1F;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,IAAI,YAAY;QAAE,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,MAAM;YACN,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;YAC5C,GAAG;SACJ;QACD,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,MAAM;QAChB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/global-values.d.ts

@@ -8,8 +8,9 @@ export declare function computedGlobalReadOf(lowerer: Lowerer, sf: ts.SourceFile
 /** The value a JavaScript source reads for the declared global `name`
  * taken as a value, whatever its spelling (`name`, `globalThis.name`,
  * `const { name } = globalThis`, `globalThis[name]`), or null when it
- * reads the opaque identity token. `reportFences` (builtinNamespaceValue)
- * is false for the program's lookup. */
+ * reads the opaque identity token. `reportFences` is false for the
+ * program's lookup, which holds every declared global's value whether or
+ * not the program reads it. */
 export declare function jsGlobalValueByName(lowerer: Lowerer, name: string, loc: SrcLoc, reportFences?: boolean): IrExpr | null;
 /** The value a TypeScript source reads for the declared global `name` at
  * `node` when the checker types the slot it flows into as any or unknown
@@ -21,8 +22,9 @@ export declare function jsGlobalValueByName(lowerer: Lowerer, name: string, loc:
  * signature (lowerIdentifierExpr), and `{ String }` must equal it. */
 export declare function tsUntypedGlobalValue(lowerer: Lowerer, node: ts.Expression, name: string, loc: SrcLoc): IrExpr | null;
 /** jsGlobalValueByName for the globals other than the interned builtin
- * functions and constructors (builtinGlobalValue). */
-export declare function jsSpecialGlobalValue(lowerer: Lowerer, name: string, loc: SrcLoc): IrExpr | null;
+ * functions and constructors (builtinGlobalValue). `reportFences` is false
+ * for the program's lookup (jsGlobalValueByName). */
+export declare function jsSpecialGlobalValue(lowerer: Lowerer, name: string, loc: SrcLoc, reportFences?: boolean): IrExpr | null;
 /** The builtin globals that sloppy-mode functions of the JavaScript source
  * `sf` read through their `this` (`this.Array`, `this["Array"]`) or through
  * a variable it initializes (`var root = this; root.Array`); every declared

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

@@ -16,13 +16,14 @@ import * as ts from "../ts7/adapter.js";
 import { BYTES_ELEMENT_NAME, DYN, F64, STRING, UNDEFINED_T, } from "../../ir/ir.js";
 import { isJsSourceFile } from "../program.js";
 import { isStrictCode } from "./strict-mode.js";
-import { TEMPORAL_GLOBAL } from "../builtin-modules.js";
+import { COMMONJS_MODULE_BINDINGS, TEMPORAL_GLOBAL } from "../builtin-modules.js";
 import { stdlibGlobalNameOf } from "./surfaces.js";
 import { builtinGlobalValue } from "./expressions/property-access.js";
 import { builtinNamespaceValue } from "./builtin-namespaces.js";
 import { uriFunctionValue } from "./expressions/identifiers.js";
 import { navigatorValue } from "./builtins/navigator.js";
 import { primitiveCtorClosure } from "./lower-exprs.js";
+import { globalFunctionValue, isUnloweredGlobal } from "./global-function-values.js";
 import { WEB_STREAM_CLASSES, programNamesWebStreamClass, webStreamClassValue, } from "./builtins/web-streams-dyn.js";
 const LOOKUP_FN = "%global.builtinValue";
 /** Names the runtime answers before the lookup runs. */
@@ -103,10 +104,11 @@ function readsBuiltinByName(lowerer, node) {
 /** The value a JavaScript source reads for the declared global `name`
  * taken as a value, whatever its spelling (`name`, `globalThis.name`,
  * `const { name } = globalThis`, `globalThis[name]`), or null when it
- * reads the opaque identity token. `reportFences` (builtinNamespaceValue)
- * is false for the program's lookup. */
+ * reads the opaque identity token. `reportFences` is false for the
+ * program's lookup, which holds every declared global's value whether or
+ * not the program reads it. */
 export function jsGlobalValueByName(lowerer, name, loc, reportFences = true) {
-    return (jsSpecialGlobalValue(lowerer, name, loc) ??
+    return (jsSpecialGlobalValue(lowerer, name, loc, reportFences) ??
         builtinNamespaceValue(lowerer, name, loc, reportFences) ??
         builtinGlobalValue(name, loc, true));
 }
@@ -124,7 +126,9 @@ const UNTYPED_UNMODELED = new Set(["Array", "setTimeout", "setImmediate"]);
  * String, Number, Boolean or BigInt is the closure with the typed
  * signature (lowerIdentifierExpr), and `{ String }` must equal it. */
 export function tsUntypedGlobalValue(lowerer, node, name, loc) {
-    if (isJsSourceFile(ts.getSourceFileOfNode(node)) || UNTYPED_UNMODELED.has(name))
+    if (isJsSourceFile(ts.getSourceFileOfNode(node)) ||
+        UNTYPED_UNMODELED.has(name) ||
+        isUnloweredGlobal(name))
         return null;
     if (name === "String" || name === "Number" || name === "Boolean" || name === "BigInt")
         return null;
@@ -155,8 +159,9 @@ function flowsIntoUntypedSlot(lowerer, node) {
     }
 }
 /** jsGlobalValueByName for the globals other than the interned builtin
- * functions and constructors (builtinGlobalValue). */
-export function jsSpecialGlobalValue(lowerer, name, loc) {
+ * functions and constructors (builtinGlobalValue). `reportFences` is false
+ * for the program's lookup (jsGlobalValueByName). */
+export function jsSpecialGlobalValue(lowerer, name, loc, reportFences = true) {
     if (name === "NaN" || name === "Infinity")
         return { kind: "numLit", value: name === "NaN" ? NaN : Infinity, type: F64, loc };
     if (name === "String" || name === "Number" || name === "Boolean" || name === "BigInt")
@@ -185,7 +190,7 @@ export function jsSpecialGlobalValue(lowerer, name, loc) {
         return { kind: "libCall", fn: "fetch.function", args: [], type: DYN, loc };
     if (name === "console")
         return { kind: "libCall", fn: "console.native", args: [], type: DYN, loc };
-    return null;
+    return globalFunctionValue(lowerer, name, loc, reportFences);
 }
 const URI_FUNCTIONS = new Set([
     "encodeURIComponent",
@@ -298,7 +303,9 @@ function declaredGlobalNames(lowerer, at) {
     return lowerer.checker
         .getPropertiesOfType(lowerer.checker.getTypeOfSymbol(symbol))
         .map((property) => ts.symbolName(property))
-        .filter((name) => name !== TEMPORAL_GLOBAL && !RUNTIME_ANSWERED.has(name));
+        .filter((name) => name !== TEMPORAL_GLOBAL &&
+        !RUNTIME_ANSWERED.has(name) &&
+        !COMMONJS_MODULE_BINDINGS.has(name));
 }
 /** The names the program's lookup answers: every declared global when a
  * module reads the global object by computed names, else the ones its
@@ -337,6 +344,13 @@ export function globalValuesInstall(lowerer, loc) {
                     : jsGlobalValueByName(lowerer, global, loc, false);
             if (value === null)
                 continue;
+            // A function boxed here has no source spelling to take its name from
+            // (the identifier read's rule): it takes the global's name, as
+            // `globalThis.String.name` is "String".
+            const boxed = lowerer.coerceToExpected(value, DYN);
+            const named = boxed.kind === "dynFrom" && boxed.value.type.kind === "func" && boxed.fnName === undefined
+                ? { ...boxed, fnName: global }
+                : boxed;
             body.push({
                 kind: "if",
                 cond: {
@@ -347,7 +361,7 @@ export function globalValuesInstall(lowerer, loc) {
                     type: { kind: "bool" },
                     loc,
                 },
-                then: [{ kind: "return", value: lowerer.coerceToExpected(value, DYN), loc }],
+                then: [{ kind: "return", value: named, loc }],
                 else_: null,
                 loc,
             });

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

@@ -1 +1 @@
-{"version":3,"file":"global-values.js","sourceRoot":"","sources":["../../../src/frontend/lowering/global-values.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;8DAa8D;AAC9D,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EACL,kBAAkB,EAClB,GAAG,EACH,GAAG,EACH,MAAM,EACN,WAAW,GAKZ,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAEhD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EACL,kBAAkB,EAClB,0BAA0B,EAC1B,mBAAmB,GACpB,MAAM,+BAA+B,CAAC;AAEvC,MAAM,SAAS,GAAG,sBAAsB,CAAC;AAEzC,wDAAwD;AACxD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAC/B,YAAY;IACZ,QAAQ;IACR,SAAS;IACT,OAAO;IACP,WAAW;IACX,KAAK;IACL,UAAU;CACX,CAAC,CAAC;AAEH;;kCAEkC;AAClC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;AAEzC;;+DAE+D;AAC/D,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,EAAiB;IACtE,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACnD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,IAAI,KAAK,GAAyB,IAAI,CAAC;IACvC,kEAAkE;IAClE,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3B,IACE,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;YACjE,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC;YAC5C,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,EAChE,CAAC;YACD,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;YACxB,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC3C,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;4DAG4D;AAC5D,SAAS,kBAAkB,CAAC,OAAgB,EAAE,IAAmB;IAC/D,IAAI,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,OAAO,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;QAAE,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC;IACrE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,YAAY,IAAI,EAAE,CAAC;IACpF,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IACpC,OAAO,CACL,YAAY,CAAC,MAAM,KAAK,CAAC;QACzB,WAAW,KAAK,SAAS;QACzB,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACrC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QACjC,WAAW,CAAC,WAAW,KAAK,SAAS;QACrC,kBAAkB,CAAC,OAAO,EAAE,WAAW,CAAC,WAAW,CAAC,KAAK,YAAY,CACtE,CAAC;AACJ,CAAC;AAED;;;sEAGsE;AACtE,SAAS,kBAAkB,CAAC,OAAgB,EAAE,IAAgC;IAC5E,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAC5F,IAAI,KAAK,GAAY,IAAI,CAAC;IAC1B,OAAO,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IACxE,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,OAAO,CAAC,CACN,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAC7B,MAAM,CAAC,IAAI,KAAK,KAAK;QACrB,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CACxD,CAAC;AACJ,CAAC;AAED;;;;wCAIwC;AACxC,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAY,EACZ,GAAW,EACX,YAAY,GAAG,IAAI;IAEnB,OAAO,CACL,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC;QACxC,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC;QACvD,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CACpC,CAAC;AACJ,CAAC;AAED;;;6DAG6D;AAC7D,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;AAEhG;;;;;;;sEAOsE;AACtE,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAAmB,EACnB,IAAY,EACZ,GAAW;IAEX,IAAI,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7F,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ;QACnF,OAAO,IAAI,CAAC;IACd,IAAI,CAAC,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,OAAO,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AACjD,CAAC;AAED;;qDAEqD;AACrD,SAAS,oBAAoB,CAAC,OAAgB,EAAE,IAAmB;IACjE,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,SAAS,CAAC;QACR,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACtD,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9F,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAC5B,IACE,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,KAAK,KAAK,CAAC;YACjE,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC,EACxC,CAAC;YACD,KAAK,GAAG,MAAM,CAAC,MAAoC,CAAC;QACtD,CAAC;aAAM,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;YACvF,KAAK,GAAG,MAAM,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;AACH,CAAC;AAED;sDACsD;AACtD,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,IAAY,EAAE,GAAW;IAC9E,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,UAAU;QACvC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACpF,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ;QACnF,OAAO,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,IAAI,KAAK,aAAa;QACxB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,yBAAyB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACtF,IAAI,IAAI,KAAK,OAAO;QAClB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,sBAAsB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnF,IAAK,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAc,CAAC,QAAQ,CAAC,IAAI,CAAC;QAChE,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,mBAAmB;YACvB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAC1D,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,gBAAgB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACzE,IAAI,IAAI,KAAK,QAAQ;QACnB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC/E,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,IAAI,KAAK,QAAQ;QACnB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACjF,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACjG,IAAI,IAAI,KAAK,SAAS;QACpB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC7E,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,oBAAoB;IACpB,WAAW;IACX,WAAW;IACX,oBAAoB;CACrB,CAAC,CAAC;AAEH;;;;;8DAK8D;AAC9D,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,EAAiB;IACzE,MAAM,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACrD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3D,iEAAiE;QACjE,mEAAmE;QACnE,kDAAkD;QAClD,MAAM,YAAY,GAAiC,EAAE,CAAC;QACtD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;YAC3B,IACE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBACnC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC5B,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC;gBAEzC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBACvB,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5C,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACnD,IAAI,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;oBACtE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5B,CAAC;iBAAM,IACL,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1B,IAAI,CAAC,WAAW,KAAK,SAAS;gBAC9B,kBAAkB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;gBAEvE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACnD,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YACvE,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC;gBAClF,SAAS;YACX,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACxD,IAAI,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClD,CAAC;iBAAM,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrC,KAAK,MAAM,IAAI,IAAI,QAAQ;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC7C,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC7C,OAAO,KAAK,CAAC;AACf,CAAC;AAED;6DAC6D;AAC7D,SAAS,eAAe,CAAC,OAAgB,EAAE,IAAmB;IAC5D,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC7E,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,YAAY,IAAI,EAAE,CAAC;IACpF,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IACpC,IACE,YAAY,CAAC,MAAM,KAAK,CAAC;QACzB,WAAW,KAAK,SAAS;QACzB,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QAEtC,OAAO,KAAK,CAAC;IACf,MAAM,IAAI,GACR,WAAW,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IAClG,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAmB;IAC7C,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,OAAO,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;QAAE,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC;IACrE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;8EAC8E;AAC9E,SAAS,gBAAgB,CAAC,IAAa;IACrC,KAAK,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC5E,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;YAAE,SAAS;QACzC,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9F,IACE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YACvB,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;YAC7B,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;YAC5B,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC;YAExC,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;aACa;AACb,SAAS,mBAAmB,CAAC,OAAgB,EAAE,EAAW;IACxD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,CACxC,YAAY,EACZ,EAAE,CAAC,WAAW,CAAC,KAAK,EACpB,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAC1B,KAAK,CACN,CAAC;IACF,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACpC,OAAO,OAAO,CAAC,OAAO;SACnB,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;SAC5D,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;SAC1C,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED;;gDAEgD;AAChD,SAAS,WAAW,CAAC,OAAgB;IACnC,IAAI,OAAO,CAAC,iBAAiB,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,iBAAiB,CAAC;IAC9E,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACvF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,oBAAoB,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC;QAC5E,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC;QAC7C,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,uBAAuB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACvE,OAAO,CAAC,iBAAiB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvD,OAAO,OAAO,CAAC,iBAAiB,CAAC;AACnC,CAAC;AAED;;iEAEiE;AACjE,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,EAAiB;IACtE,OAAO,CACL,oBAAoB,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,uBAAuB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAC5F,CAAC;AACJ,CAAC;AAED;8CAC8C;AAC9C,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,GAAW;IAC/D,MAAM,MAAM,GAA8B,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACvF,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC9E,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1C,MAAM,SAAS,GAAI,kBAAwC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC5E,MAAM,KAAK,GAAkB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE;gBACjE,CAAC,CAAC,SAAS,IAAI,CAAC;oBACd,CAAC,CAAC,0BAA0B,CAAC,OAAO,CAAC;wBACnC,CAAC,CAAC,mBAAmB,CAAC,SAAS,EAAE,GAAG,CAAC;wBACrC,CAAC,CAAC,IAAI;oBACR,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YACvD,IAAI,KAAK,KAAK,IAAI;gBAAE,SAAS;YAC7B,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,KAAK;oBACd,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;oBAC3D,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;oBACtB,GAAG;iBACJ;gBACD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;gBAC5E,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAC7B,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,EAC9D,GAAG,CACJ;YACD,GAAG;SACJ,CAAC,CAAC;QACH,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC3D,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACtE,IAAI;YACJ,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CACrC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EACvE,GAAG,CACJ,CAAC;IACF,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,sBAAsB;YAC1B,IAAI,EAAE,CAAC,MAAM,CAAC;YACd,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;YACtB,GAAG;SACJ;QACD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;6DAC6D;AAC7D,MAAM,cAAc,GAAkD;IACpE,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC3D,MAAM,EAAE,IAAI,GAAG,CAAC;QACd,YAAY;QACZ,aAAa;QACb,cAAc;QACd,cAAc;QACd,eAAe;QACf,gBAAgB;KACjB,CAAC;IACF,UAAU,EAAE,IAAI,GAAG,CAAC;QAClB,aAAa;QACb,kBAAkB;QAClB,iBAAiB;QACjB,oBAAoB;QACpB,qBAAqB;QACrB,8BAA8B;QAC9B,2BAA2B;KAC5B,CAAC;IACF,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAC7C,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;IACxC,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,kBAAkB,EAAE,gBAAgB,EAAE,aAAa,CAAC,CAAC;IAC9E,YAAY,EAAE,IAAI,GAAG,CAAC;QACpB,gBAAgB;QAChB,6BAA6B;QAC7B,0BAA0B;QAC1B,2BAA2B;QAC3B,8BAA8B;QAC9B,iCAAiC;QACjC,iBAAiB;QACjB,kCAAkC;QAClC,gBAAgB;QAChB,6BAA6B;QAC7B,iCAAiC;QACjC,2BAA2B;QAC3B,sBAAsB;QACtB,mBAAmB;QACnB,mBAAmB;QACnB,mBAAmB;QACnB,qBAAqB;KACtB,CAAC;CACH,CAAC;AAEF;;qEAEqE;AACrE,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,EAAsC,EACtC,GAAW;IAEX,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,OAAO,CACL,mBAAmB,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI;QAC9C,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,YAAY,EAAE,CAAC,MAAM,GAAG;QAC/B,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"global-values.js","sourceRoot":"","sources":["../../../src/frontend/lowering/global-values.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;8DAa8D;AAC9D,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EACL,kBAAkB,EAClB,GAAG,EACH,GAAG,EACH,MAAM,EACN,WAAW,GAKZ,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAEhD,OAAO,EAAE,wBAAwB,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AACrF,OAAO,EACL,kBAAkB,EAClB,0BAA0B,EAC1B,mBAAmB,GACpB,MAAM,+BAA+B,CAAC;AAEvC,MAAM,SAAS,GAAG,sBAAsB,CAAC;AAEzC,wDAAwD;AACxD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAC/B,YAAY;IACZ,QAAQ;IACR,SAAS;IACT,OAAO;IACP,WAAW;IACX,KAAK;IACL,UAAU;CACX,CAAC,CAAC;AAEH;;kCAEkC;AAClC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;AAEzC;;+DAE+D;AAC/D,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,EAAiB;IACtE,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACnD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,IAAI,KAAK,GAAyB,IAAI,CAAC;IACvC,kEAAkE;IAClE,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3B,IACE,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;YACjE,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC;YAC5C,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,EAChE,CAAC;YACD,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;YACxB,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC3C,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;4DAG4D;AAC5D,SAAS,kBAAkB,CAAC,OAAgB,EAAE,IAAmB;IAC/D,IAAI,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,OAAO,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;QAAE,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC;IACrE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,YAAY,IAAI,EAAE,CAAC;IACpF,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IACpC,OAAO,CACL,YAAY,CAAC,MAAM,KAAK,CAAC;QACzB,WAAW,KAAK,SAAS;QACzB,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACrC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QACjC,WAAW,CAAC,WAAW,KAAK,SAAS;QACrC,kBAAkB,CAAC,OAAO,EAAE,WAAW,CAAC,WAAW,CAAC,KAAK,YAAY,CACtE,CAAC;AACJ,CAAC;AAED;;;sEAGsE;AACtE,SAAS,kBAAkB,CAAC,OAAgB,EAAE,IAAgC;IAC5E,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAC5F,IAAI,KAAK,GAAY,IAAI,CAAC;IAC1B,OAAO,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IACxE,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,OAAO,CAAC,CACN,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAC7B,MAAM,CAAC,IAAI,KAAK,KAAK;QACrB,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CACxD,CAAC;AACJ,CAAC;AAED;;;;;+BAK+B;AAC/B,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAY,EACZ,GAAW,EACX,YAAY,GAAG,IAAI;IAEnB,OAAO,CACL,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC;QACtD,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC;QACvD,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CACpC,CAAC;AACJ,CAAC;AAED;;;6DAG6D;AAC7D,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;AAEhG;;;;;;;sEAOsE;AACtE,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAAmB,EACnB,IAAY,EACZ,GAAW;IAEX,IACE,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC5C,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC;QAC3B,iBAAiB,CAAC,IAAI,CAAC;QAEvB,OAAO,IAAI,CAAC;IACd,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ;QACnF,OAAO,IAAI,CAAC;IACd,IAAI,CAAC,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,OAAO,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AACjD,CAAC;AAED;;qDAEqD;AACrD,SAAS,oBAAoB,CAAC,OAAgB,EAAE,IAAmB;IACjE,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,SAAS,CAAC;QACR,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACtD,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9F,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAC5B,IACE,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,KAAK,KAAK,CAAC;YACjE,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC,EACxC,CAAC;YACD,KAAK,GAAG,MAAM,CAAC,MAAoC,CAAC;QACtD,CAAC;aAAM,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;YACvF,KAAK,GAAG,MAAM,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;AACH,CAAC;AAED;;qDAEqD;AACrD,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAAY,EACZ,GAAW,EACX,YAAY,GAAG,IAAI;IAEnB,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,UAAU;QACvC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACpF,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ;QACnF,OAAO,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,IAAI,KAAK,aAAa;QACxB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,yBAAyB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACtF,IAAI,IAAI,KAAK,OAAO;QAClB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,sBAAsB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnF,IAAK,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAc,CAAC,QAAQ,CAAC,IAAI,CAAC;QAChE,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,mBAAmB;YACvB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAC1D,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,gBAAgB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACzE,IAAI,IAAI,KAAK,QAAQ;QACnB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC/E,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,IAAI,KAAK,QAAQ;QACnB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACjF,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACjG,IAAI,IAAI,KAAK,SAAS;QACpB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC7E,OAAO,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;AAC/D,CAAC;AAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,oBAAoB;IACpB,WAAW;IACX,WAAW;IACX,oBAAoB;CACrB,CAAC,CAAC;AAEH;;;;;8DAK8D;AAC9D,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,EAAiB;IACzE,MAAM,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACrD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3D,iEAAiE;QACjE,mEAAmE;QACnE,kDAAkD;QAClD,MAAM,YAAY,GAAiC,EAAE,CAAC;QACtD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;YAC3B,IACE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBACnC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC5B,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC;gBAEzC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBACvB,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5C,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACnD,IAAI,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;oBACtE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5B,CAAC;iBAAM,IACL,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1B,IAAI,CAAC,WAAW,KAAK,SAAS;gBAC9B,kBAAkB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;gBAEvE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACnD,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YACvE,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC;gBAClF,SAAS;YACX,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACxD,IAAI,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClD,CAAC;iBAAM,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrC,KAAK,MAAM,IAAI,IAAI,QAAQ;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC7C,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC7C,OAAO,KAAK,CAAC;AACf,CAAC;AAED;6DAC6D;AAC7D,SAAS,eAAe,CAAC,OAAgB,EAAE,IAAmB;IAC5D,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC7E,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,YAAY,IAAI,EAAE,CAAC;IACpF,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IACpC,IACE,YAAY,CAAC,MAAM,KAAK,CAAC;QACzB,WAAW,KAAK,SAAS;QACzB,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QAEtC,OAAO,KAAK,CAAC;IACf,MAAM,IAAI,GACR,WAAW,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IAClG,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAmB;IAC7C,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,OAAO,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;QAAE,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC;IACrE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;8EAC8E;AAC9E,SAAS,gBAAgB,CAAC,IAAa;IACrC,KAAK,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC5E,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;YAAE,SAAS;QACzC,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9F,IACE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YACvB,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;YAC7B,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;YAC5B,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC;YAExC,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;aACa;AACb,SAAS,mBAAmB,CAAC,OAAgB,EAAE,EAAW;IACxD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,CACxC,YAAY,EACZ,EAAE,CAAC,WAAW,CAAC,KAAK,EACpB,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAC1B,KAAK,CACN,CAAC;IACF,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACpC,OAAO,OAAO,CAAC,OAAO;SACnB,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;SAC5D,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;SAC1C,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,KAAK,eAAe;QACxB,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;QAC3B,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CACtC,CAAC;AACN,CAAC;AAED;;gDAEgD;AAChD,SAAS,WAAW,CAAC,OAAgB;IACnC,IAAI,OAAO,CAAC,iBAAiB,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,iBAAiB,CAAC;IAC9E,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACvF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,oBAAoB,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC;QAC5E,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC;QAC7C,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,uBAAuB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACvE,OAAO,CAAC,iBAAiB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvD,OAAO,OAAO,CAAC,iBAAiB,CAAC;AACnC,CAAC;AAED;;iEAEiE;AACjE,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,EAAiB;IACtE,OAAO,CACL,oBAAoB,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,uBAAuB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAC5F,CAAC;AACJ,CAAC;AAED;8CAC8C;AAC9C,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,GAAW;IAC/D,MAAM,MAAM,GAA8B,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACvF,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC9E,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1C,MAAM,SAAS,GAAI,kBAAwC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC5E,MAAM,KAAK,GAAkB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE;gBACjE,CAAC,CAAC,SAAS,IAAI,CAAC;oBACd,CAAC,CAAC,0BAA0B,CAAC,OAAO,CAAC;wBACnC,CAAC,CAAC,mBAAmB,CAAC,SAAS,EAAE,GAAG,CAAC;wBACrC,CAAC,CAAC,IAAI;oBACR,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YACvD,IAAI,KAAK,KAAK,IAAI;gBAAE,SAAS;YAC7B,qEAAqE;YACrE,+DAA+D;YAC/D,wCAAwC;YACxC,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACnD,MAAM,KAAK,GACT,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;gBACxF,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE;gBAC9B,CAAC,CAAC,KAAK,CAAC;YACZ,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,KAAK;oBACd,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;oBAC3D,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;oBACtB,GAAG;iBACJ;gBACD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;gBAC7C,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAC7B,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,EAC9D,GAAG,CACJ;YACD,GAAG;SACJ,CAAC,CAAC;QACH,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC3D,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACtE,IAAI;YACJ,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CACrC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EACvE,GAAG,CACJ,CAAC;IACF,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,sBAAsB;YAC1B,IAAI,EAAE,CAAC,MAAM,CAAC;YACd,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;YACtB,GAAG;SACJ;QACD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;6DAC6D;AAC7D,MAAM,cAAc,GAAkD;IACpE,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC3D,MAAM,EAAE,IAAI,GAAG,CAAC;QACd,YAAY;QACZ,aAAa;QACb,cAAc;QACd,cAAc;QACd,eAAe;QACf,gBAAgB;KACjB,CAAC;IACF,UAAU,EAAE,IAAI,GAAG,CAAC;QAClB,aAAa;QACb,kBAAkB;QAClB,iBAAiB;QACjB,oBAAoB;QACpB,qBAAqB;QACrB,8BAA8B;QAC9B,2BAA2B;KAC5B,CAAC;IACF,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAC7C,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;IACxC,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,kBAAkB,EAAE,gBAAgB,EAAE,aAAa,CAAC,CAAC;IAC9E,YAAY,EAAE,IAAI,GAAG,CAAC;QACpB,gBAAgB;QAChB,6BAA6B;QAC7B,0BAA0B;QAC1B,2BAA2B;QAC3B,8BAA8B;QAC9B,iCAAiC;QACjC,iBAAiB;QACjB,kCAAkC;QAClC,gBAAgB;QAChB,6BAA6B;QAC7B,iCAAiC;QACjC,2BAA2B;QAC3B,sBAAsB;QACtB,mBAAmB;QACnB,mBAAmB;QACnB,mBAAmB;QACnB,qBAAqB;KACtB,CAAC;CACH,CAAC;AAEF;;qEAEqE;AACrE,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,EAAsC,EACtC,GAAW;IAEX,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,OAAO,CACL,mBAAmB,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI;QAC9C,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,YAAY,EAAE,CAAC,MAAM,GAAG;QAC/B,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CACF,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/host-global-values.d.ts

@@ -0,0 +1,31 @@
+/** 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 { type IrExpr } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.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 declare function hostGlobalValue(lowerer: Lowerer, name: string, node: ts.Node): IrExpr;

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;