@scriptc/compiler 0.0.35 → 0.1.1

package/dist/frontend/lowering/pairs-snapshot.d.ts

@@ -0,0 +1,11 @@
+import { type IrExpr, type IrLibFn, type IrParam, type IrType, type SrcLoc } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+/** Intern a helper that materializes a pure string-index record from a flat
+ * `[key, value, ...]` array returned by a runtime call. */
+export declare function pairsSnapshotHelper(lowerer: Lowerer, shapeId: string, loc: SrcLoc, options: {
+    keyPrefix: string;
+    libCall: IrLibFn;
+    params?: IrParam[];
+    callArgs?: IrExpr[];
+    indexValueOk?: (indexValue: IrType) => boolean;
+}): string | null;

package/dist/frontend/lowering/pairs-snapshot.js

@@ -0,0 +1,85 @@
+import { arrayOf, BOOL, F64, STRING } from "../../ir/ir.js";
+import { numLit, varRef } from "../../ir/build.js";
+/** Intern a helper that materializes a pure string-index record from a flat
+ * `[key, value, ...]` array returned by a runtime call. */
+export function pairsSnapshotHelper(lowerer, shapeId, loc, options) {
+    const shape = lowerer.shapes.get(shapeId);
+    if (!shape || shape.tuple || shape.fields.length > 0 || !shape.indexValue)
+        return null;
+    const indexValue = shape.indexValue;
+    if (options.indexValueOk && !options.indexValueOk(indexValue))
+        return null;
+    if (indexValue.kind !== "union")
+        return null;
+    const stringTag = lowerer.armTag(indexValue.unionId, STRING);
+    if (stringTag < 0)
+        return null;
+    const key = `${options.keyPrefix}.snapshot:${shapeId}`;
+    const existing = lowerer.widthHelpers.get(key);
+    if (existing)
+        return existing;
+    const name = `%${options.keyPrefix}.snapshot.${lowerer.widthHelpers.size}`;
+    lowerer.widthHelpers.set(key, name);
+    const recordType = { kind: "record", shapeId };
+    const pairsType = arrayOf(STRING);
+    const pairAt = (offset) => ({
+        kind: "arrayGet",
+        arr: varRef("ps.0", pairsType, loc),
+        index: offset === 0
+            ? varRef("i.0", F64, loc)
+            : { kind: "bin", op: "+", left: varRef("i.0", F64, loc), right: numLit(offset, loc), type: F64, loc },
+        type: STRING,
+        loc,
+    });
+    lowerer.liftedFns.push({
+        name,
+        params: options.params ?? [],
+        returnType: recordType,
+        locals: [
+            ...(options.params ?? []).map((param) => ({ id: param.localId, name: param.name, type: param.type, mutable: false })),
+            { id: "ps.0", name: "ps", type: pairsType, mutable: false },
+            { id: "out.0", name: "out", type: recordType, mutable: false },
+            { id: "i.0", name: "i", type: F64, mutable: true },
+        ],
+        body: [
+            {
+                kind: "varDecl",
+                localId: "ps.0",
+                init: { kind: "libCall", fn: options.libCall, args: options.callArgs ?? [], type: pairsType, loc },
+                loc,
+            },
+            { kind: "varDecl", localId: "out.0", init: { kind: "recordLit", fields: [], type: recordType, loc }, loc },
+            {
+                kind: "for",
+                init: { kind: "varDecl", localId: "i.0", init: numLit(0, loc), loc },
+                cond: {
+                    kind: "bin",
+                    op: "<",
+                    left: varRef("i.0", F64, loc),
+                    right: { kind: "arrIntrinsic", method: "length", receiver: varRef("ps.0", pairsType, loc), args: [], type: F64, loc },
+                    type: BOOL,
+                    loc,
+                },
+                update: {
+                    kind: "assign",
+                    localId: "i.0",
+                    value: { kind: "bin", op: "+", left: varRef("i.0", F64, loc), right: numLit(2, loc), type: F64, loc },
+                    loc,
+                },
+                body: [{
+                        kind: "recordKeySet",
+                        obj: varRef("out.0", recordType, loc),
+                        shapeId,
+                        key: pairAt(0),
+                        value: { kind: "unionWrap", unionId: indexValue.unionId, tag: stringTag, value: pairAt(1), type: indexValue, loc },
+                        loc,
+                    }],
+                loc,
+            },
+            { kind: "return", value: varRef("out.0", recordType, loc), loc },
+        ],
+        loc,
+    });
+    return name;
+}
+//# sourceMappingURL=pairs-snapshot.js.map

package/dist/frontend/lowering/pairs-snapshot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pairs-snapshot.js","sourceRoot":"","sources":["../../../src/frontend/lowering/pairs-snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAwD,MAAM,EAAe,MAAM,gBAAgB,CAAC;AAC/H,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAGnD;2DAC2D;AAC3D,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,OAAe,EACf,GAAW,EACX,OAMC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IACvF,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;IACpC,IAAI,OAAO,CAAC,YAAY,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3E,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7D,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,SAAS,aAAa,OAAO,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,OAAO,CAAC,SAAS,aAAa,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IAC3E,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACvD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QAC1C,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC;QACnC,KAAK,EACH,MAAM,KAAK,CAAC;YACV,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;YACzB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACzG,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,EAAE;QAC5B,UAAU,EAAE,UAAU;QACtB,MAAM,EAAE;YACN,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YACrH,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YAC3D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE;YAC9D,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;SACnD;QACD,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,MAAM;gBACf,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE;gBAClG,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;YAC1G;gBACE,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;gBACpE,IAAI,EAAE;oBACJ,IAAI,EAAE,KAAK;oBACX,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;oBAC7B,KAAK,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACrH,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACrG,GAAG;iBACJ;gBACD,IAAI,EAAE,CAAC;wBACL,IAAI,EAAE,cAAc;wBACpB,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC;wBACrC,OAAO;wBACP,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;wBACd,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE;wBAClH,GAAG;qBACJ,CAAC;gBACF,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;SACjE;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/static-this.d.ts

@@ -0,0 +1,6 @@
+import * as ts from "../ts7/adapter.js";
+import type { Lowerer } from "./lowerer.js";
+/** Walk a static class context for `this`/`super`. Arrows inherit the
+ * surrounding receiver and remain transparent; declarations that bind
+ * their own receiver (and nested classes) are opaque. */
+export declare function rejectStaticThis(lowerer: Lowerer, root: ts.Node, message: (keyword: "this" | "super") => string, includeRoot?: boolean): void;

package/dist/frontend/lowering/static-this.js

@@ -0,0 +1,24 @@
+import * as ts from "../ts7/adapter.js";
+/** Walk a static class context for `this`/`super`. Arrows inherit the
+ * surrounding receiver and remain transparent; declarations that bind
+ * their own receiver (and nested classes) are opaque. */
+export function rejectStaticThis(lowerer, root, message, includeRoot = false) {
+    const visit = (node) => {
+        if (ts.isFunctionExpression(node) || ts.isFunctionDeclaration(node) ||
+            ts.isMethodDeclaration(node) || ts.isConstructorDeclaration(node) ||
+            ts.isGetAccessor(node) || ts.isSetAccessor(node) ||
+            ts.isClassDeclaration(node) || ts.isClassExpression(node)) {
+            return;
+        }
+        if (node.kind === ts.SyntaxKind.ThisKeyword || node.kind === ts.SyntaxKind.SuperKeyword) {
+            const keyword = node.kind === ts.SyntaxKind.ThisKeyword ? "this" : "super";
+            lowerer.unsupported("SC1090", node, message(keyword));
+        }
+        node.forEachChild(visit);
+    };
+    if (includeRoot)
+        visit(root);
+    else
+        root.forEachChild(visit);
+}
+//# sourceMappingURL=static-this.js.map

package/dist/frontend/lowering/static-this.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"static-this.js","sourceRoot":"","sources":["../../../src/frontend/lowering/static-this.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC;;yDAEyD;AACzD,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,IAAa,EACb,OAA8C,EAC9C,WAAW,GAAG,KAAK;IAEnB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC/D,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YACjE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC;YAChD,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EACzD,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;YACxF,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;YAC3E,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,IAAI,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,CAAC;;QACxB,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC"}

package/dist/frontend/lowering/surfaces.d.ts

@@ -1,7 +1,7 @@
 import * as ts from "../ts7/adapter.js";
 import type { Lowerer } from "./lowerer.js";
 import { UNSUPPORTED } from "../../diagnostics/diagnostic.js";
-import { IrExpr, IrLibFn, IrStrIntrinsicMethod, IrType } from "../../ir/nodes.js";
+import { IrExpr, IrLibFn, IrStrIntrinsicMethod, IrType } from "../../ir/ir.js";
 /** Statement-level constructs rejected wholesale, keyed by syntax kind. */
 export declare const UNSUPPORTED_STMT: Partial<Record<ts.SyntaxKind, {
     code: keyof typeof UNSUPPORTED;
@@ -27,7 +27,7 @@ export declare function sideEffectFreeOptionValue(node: ts.Expression): boolean;
  * supported-options hint otherwise); undocumented keys drop like Node
  * drops them when the value is side-effect-free, and fence when it is
  * not. `prop` is the property entry (assignment or shorthand) for spans. */
-export declare function fenceOrDropOptionKey(L: Lowerer, prop: ts.ObjectLiteralElementLike, key: string, api: string, documented: ReadonlySet<string>, supportedHint: string, pointedHints?: Record<string, string | undefined>): void;
+export declare function fenceOrDropOptionKey(lowerer: Lowerer, prop: ts.ObjectLiteralElementLike, key: string, api: string, documented: ReadonlySet<string>, supportedHint: string, pointedHints?: Record<string, string | undefined>): void;
 /** http.request/http.get's documented option keys (Node v24 — the
  * `http.request(options)` and `net.socket.connect` tables); everything
  * else on a client options literal is undocumented and drops. */
@@ -111,12 +111,11 @@ export interface IslandFnEntry {
     args: IrType[];
     ret: IrType;
 }
-export declare const ISL_N1: IslandFnEntry;
-export declare const ISL_N2: IslandFnEntry;
 export declare const boundaryIntoIslandMsg: (typeName: string) => string;
 export declare const boundaryOutOfIslandMsg: (typeName: string) => string;
 /** The island-backed surface — standard-library APIs with no static
- * runtime implementation (Math.*, number/string methods beyond the
+ * runtime implementation (Math methods/properties beyond the compile-time
+ * constants, number/string methods beyond the
  * intrinsic set, parseFloat, ...). ONE table drives both sides of the
  * gate: under --dynamic each entry lowers to marshal → engine execution →
  * validated exit to the declared return type; without the flag each use
@@ -131,7 +130,8 @@ export declare const boundaryOutOfIslandMsg: (typeName: string) => string;
  * user. */
 export declare const ISLAND_SURFACE: {
     /** `Math.<fn>(...)` lowers to callMethod(globalGet("Math"), fn, args);
-     * the readonly number props (`Math.PI`) to getProp(globalGet("Math")).
+     * Math.PI and Math.E are compile-time numeric literals in STATIC_MATH_PROPS;
+     * remaining Math properties retain island/fence behavior.
      * min/max/atan2/hypot/pow are declared with exactly two parameters
      * (rest/optional parameters aren't representable). */
     math: {
@@ -158,6 +158,12 @@ export declare const ISLAND_SURFACE: {
      * coercions stay engine territory. */
     globals: Record<string, IslandFnEntry | undefined>;
 };
+/** Math properties with a STATIC lowering: each read becomes the exact
+ * JavaScript numeric constant in the typed IR. No runtime Math object read or
+ * dynamic-engine dependency is involved. Remaining Math properties retain
+ * their island/fence behavior through ISLAND_SURFACE.math.props and the
+ * generic standard-library member fence. */
+export declare const STATIC_MATH_PROPS: Record<string, number | undefined>;
 /** Math members with a STATIC lowering — each is one C call that IS the
  * JS operation, at the tabled arity (floor: libm's floor; min/max: the
  * NaN-poisoning ±0-ordered scalar folds; random: arc4random-backed
@@ -215,7 +221,7 @@ export declare const BUILTIN_MODULE_FN_ALIASES: Record<string, Record<string, re
 /** Ambient surfaces lowered through DEDICATED code paths (no lowering-table
  * row): the Date compositions, perf_hooks' performance.now, and the process
  * global's ambient reads and authority calls. These are the determinism
- * attestation's ground (ir/nodes.ts's LIB_NONDETERMINISTIC_PREFIXES), so
+ * attestation's ground (ir/ir.ts's LIB_NONDETERMINISTIC_PREFIXES), so
  * each row projects one surface-manifest entry — a permanent, fenceable id
  * — and carries the libCall spellings that witness the surface's reach in
  * a compiled graph (the fence detector and the attestation must agree; the
@@ -231,20 +237,15 @@ export interface AmbientSurfaceRow {
     note?: string;
 }
 export declare const AMBIENT_SURFACE_FNS: readonly AmbientSurfaceRow[];
-/** BUILTIN_MODULE_FNS with the platform-conditional modules bound per
- * TARGET: a win32 triple compiles Node-on-Windows semantics — `path` is
- * path.win32 and url's bridge takes the win32 flavors. Fence wording is
- * unaffected — callers keep naming the module the source spelled. */
-export declare function builtinModuleFnsOf(L: Lowerer, module: string): Record<string, BuiltinModuleFn | undefined> | undefined;
 /** One MEMBER's table entry, own-property-safe (`path.toString` must not
  * answer Object.prototype.toString as a BuiltinModuleFn). */
-export declare function builtinModuleFnOf(L: Lowerer, module: string, member: string): BuiltinModuleFn | undefined;
+export declare function builtinModuleFnOf(lowerer: Lowerer, module: string, member: string): BuiltinModuleFn | undefined;
 /** One member's fence hint, own-property-safe (a collision would print an
  * inherited function into the diagnostic text). */
 export declare function builtinFenceHintOf(module: string, member: string): string | undefined;
 /** BUILTIN_MODULE_CONSTS with the win32-target overrides applied — the
  * constants twin of builtinModuleFnsOf. */
-export declare function builtinModuleConstOf(L: Lowerer, module: string, member: string): string | number | boolean | undefined;
+export declare function builtinModuleConstOf(lowerer: Lowerer, module: string, member: string): string | number | boolean | undefined;
 /** The IR literal of a builtin-module constant — one place so both value
  * paths (named-import bindings and namespace member reads) emit the same
  * kinds. */
@@ -253,14 +254,6 @@ export declare function builtinConstLit(value: string | number | boolean, loc: {
     start: number;
     end: number;
 }): IrExpr;
-/** node:module's builtinModules, BAKED — Node v24's exact list (verbatim
- * order: the bare names, then the node:-prefix-only tails), pinned to
- * the compat target rather than read from the COMPILING host's Node so
- * emitted programs are host-independent (the cache-identity contract).
- * Node ships one frozen singleton; each read here mints a fresh string
- * array — a divergence only mutation could observe, and mutating Node's
- * frozen array throws anyway. */
-export declare const NODE_BUILTIN_MODULES_V24: readonly string[];
 /** The array-literal read of module.builtinModules — both value paths
  * (the named-import binding and the namespace member read) mint the
  * same fresh string[]. */
@@ -269,10 +262,6 @@ export declare function builtinModulesArrayLit(loc: {
     start: number;
     end: number;
 }): IrExpr;
-/** Member-specific hints for RECOGNIZED builtin modules whose member has
- * no lowering. deflateSync/inflateSync lower now (Buffers are real);
- * the rest of the zlib surface points at the lowered pair. */
-export declare const ZLIB_HINT = "deflateSync and inflateSync are the lowered zlib surface";
 export declare const BUILTIN_MODULE_FENCE_HINTS: Record<string, Record<string, string | undefined> | undefined>;
 /** The MEMBER chokepoint of the lib fence: called from the property-read
    * and method-call fallbacks after every lowering has passed. When the
@@ -281,23 +270,23 @@ export declare const BUILTIN_MODULE_FENCE_HINTS: Record<string, Record<string, s
    * receiver's global name when it IS a stdlib global like Math or Promise,
    * its widened type text otherwise). Returns silently for non-stdlib
    * members so the caller's generic rejection applies. */
-export declare function stdlibMemberFence(L: Lowerer, access: ts.PropertyAccessExpression): void;
+export declare function stdlibMemberFence(lowerer: Lowerer, access: ts.PropertyAccessExpression): void;
 /** True iff the accessed member is declared by the standard library —
    * the same technique as isConsoleLog: trust declarations, not names. */
-export declare function isStdlibMember(L: Lowerer, access: ts.PropertyAccessExpression): boolean;
+export declare function isStdlibMember(lowerer: Lowerer, access: ts.PropertyAccessExpression): boolean;
 /** The provenance check the CHILD receiver lowerings use: a stdlib
    * member, OR a member the user's own child-shaped interface declares
    * (the NgrokChildProcess idiom — mapType's duck rule admits an
    * interface only when EVERY member names the lowered ChildProcess
    * surface, so accepting its members here cannot widen the surface;
    * the receiver-kind gate already proved the type maps to child). */
-export declare function isChildSurfaceMember(L: Lowerer, access: ts.PropertyAccessExpression): boolean;
+export declare function isChildSurfaceMember(lowerer: Lowerer, access: ts.PropertyAccessExpression): boolean;
 /** True iff some declaration of the symbol lives in the standard library
    * (shipped ambient or default lib — the provenance half of every
    * supported-surface check). `some`, not `[0]`: divergence overrides merge
    * with lib interfaces, so a member can carry declarations from both. A
    * user's own declaration is in neither, so shadowing never matches. */
-export declare function isStdlibSymbol(L: Lowerer, symbol: ts.Symbol | undefined): boolean;
+export declare function isStdlibSymbol(lowerer: Lowerer, symbol: ts.Symbol | undefined): boolean;
 /** The canonical stdlib-global name `expr` denotes, or null. Three
    * spellings reach the same global (Node's own aliasing):
    *   - the bare identifier (`process`), name + provenance checked;
@@ -308,19 +297,19 @@ export declare function isStdlibSymbol(L: Lowerer, symbol: ts.Symbol | undefined
    *     `typeof globalThis`, same symbol either way;
    *   - a local alias binding (`const process = globalThis.process`, the
    *     tamper-guard prologue) registered in stdlibGlobalAliases. */
-export declare function stdlibGlobalNameOf(L: Lowerer, expr: ts.Expression): string | null;
+export declare function stdlibGlobalNameOf(lowerer: Lowerer, expr: ts.Expression): string | null;
 /** True iff `expr` denotes THE standard-library global `name` — name AND
    * provenance, because neither alone suffices: several globals share
    * member names (Math.log must never lower as console.log), and a user
    * binding shadowing a global's name has a different, non-stdlib symbol.
    * All of stdlibGlobalNameOf's spellings answer (globalThis.process is
    * process; `const process = globalThis.process` aliases through). */
-export declare function isStdlibGlobal(L: Lowerer, expr: ts.Expression, name: string): boolean;
+export declare function isStdlibGlobal(lowerer: Lowerer, expr: ts.Expression, name: string): boolean;
 /** The member name of a `<global>.<member>` access whose receiver is THE
    * standard-library global `name` (console, JSON, process, Math). Null for
    * anything else, so property-lowering chains keep trying other
    * receivers. */
-export declare function stdlibGlobalMember(L: Lowerer, access: ts.PropertyAccessExpression, name: string): string | null;
+export declare function stdlibGlobalMember(lowerer: Lowerer, access: ts.PropertyAccessExpression, name: string): string | null;
 /** `const process = globalThis.process` (and any `const x = <stdlib
    * global>` snapshot — the suite harness's tamper-guard prologue): the
    * binding is pure alias plumbing. Nothing in a compiled program can
@@ -330,9 +319,9 @@ export declare function stdlibGlobalMember(L: Lowerer, access: ts.PropertyAccess
    * nothing. Only the globals with lowered member surfaces alias this
    * way; aliasing, say, `Math` would change nothing (its members lower
    * by receiver too). Returns true when recognized. */
-export declare function stdlibGlobalAliasDecl(L: Lowerer, nameNode: ts.Node, init: ts.Expression | undefined): boolean;
+export declare function stdlibGlobalAliasDecl(lowerer: Lowerer, nameNode: ts.Node, init: ts.Expression | undefined): boolean;
 /** True iff the symbol is declared ONLY by the adopted @types/node
    * surface (no es-lib or shipped-ambient declaration merges in) — chooses
    * the SC2020 fence's wording: "typed by @types/node", not "standard
    * library". */
-export declare function nodeTypesOnlySymbol(L: Lowerer, sym: ts.Symbol | null | undefined): boolean;
+export declare function nodeTypesOnlySymbol(lowerer: Lowerer, sym: ts.Symbol | null | undefined): boolean;