@scriptc/compiler 0.2.3 → 0.2.5

package/dist/frontend/lowering/builtins/operating-system.js

@@ -0,0 +1,148 @@
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { F64, STRING } from "../../../ir/ir.js";
+/** `os.userInfo()` — the passwd-entry snapshot, Node's uv_os_get_passwd
+ * behind the call site's own mapped record shape: username = pw_name,
+ * uid/gid = getuid/getgid, shell = pw_shell (as the `string | null`
+ * union @types/node declares — POSIX always answers the string arm;
+ * null is Node's Windows answer), homedir = pw_dir (the PASSWD home,
+ * NOT os.homedir's $HOME-first cascade — Node's own split). The record
+ * assembles field-by-field from scalar libCalls in the shape's
+ * declaration order; unknown fields and the options argument fence. */
+export function lowerOsUserInfoCall(lowerer, call, loc) {
+    if (call.arguments.length !== 0) {
+        lowerer.noLowering("userInfo with options", call, "the zero-argument call is the lowered form (Node's buffer encoding option has no lowering)");
+    }
+    const fence = () => lowerer.noLowering("userInfo() where the result is not the UserInfo record", call, "{ username, uid, gid, shell, homedir } is the supported result shape");
+    const result = lowerer.mapTypeOf(lowerer.typeOf(call));
+    if (result?.kind !== "record")
+        fence();
+    const shape = lowerer.shapes.get(result.shapeId);
+    if (!shape || shape.tuple || shape.indexValue || shape.fields.length === 0)
+        fence();
+    const fields = [];
+    for (const f of shape.fields) {
+        if (f.name === "username" && f.type.kind === "string") {
+            fields.push({
+                name: f.name,
+                value: { kind: "libCall", fn: "os.userName", args: [], type: STRING, loc },
+            });
+        }
+        else if (f.name === "uid" && f.type.kind === "f64") {
+            fields.push({
+                name: f.name,
+                value: { kind: "libCall", fn: "process.getuid", args: [], type: F64, loc },
+            });
+        }
+        else if (f.name === "gid" && f.type.kind === "f64") {
+            fields.push({
+                name: f.name,
+                value: { kind: "libCall", fn: "process.getgid", args: [], type: F64, loc },
+            });
+        }
+        else if (f.name === "homedir" && f.type.kind === "string") {
+            fields.push({
+                name: f.name,
+                value: { kind: "libCall", fn: "os.userHomedir", args: [], type: STRING, loc },
+            });
+        }
+        else if (f.name === "shell") {
+            // `string | null` (the @types/node shape) wraps the always-string
+            // POSIX answer into its arm; a plain-string mapping takes it raw.
+            const raw = { kind: "libCall", fn: "os.userShell", args: [], type: STRING, loc };
+            if (f.type.kind === "string") {
+                fields.push({ name: f.name, value: raw });
+            }
+            else if (f.type.kind === "union") {
+                const tag = lowerer.armTag(f.type.unionId, STRING);
+                if (tag < 0)
+                    fence();
+                fields.push({
+                    name: f.name,
+                    value: { kind: "unionWrap", unionId: f.type.unionId, tag, value: raw, type: f.type, loc },
+                });
+            }
+            else {
+                fence();
+            }
+        }
+        else {
+            fence();
+        }
+    }
+    return { kind: "recordLit", fields, type: result, loc };
+}
+export function lowerOsNetworkInterfacesCall(lowerer, call, loc) {
+    if (call.arguments.length !== 0) {
+        lowerer.noLowering(`networkInterfaces with ${call.arguments.length} arguments`, call, "networkInterfaces() takes no arguments");
+    }
+    // Annotated as a never-returning const so tsc's control flow narrows
+    // through the structural checks below.
+    const fence = () => lowerer.noLowering("networkInterfaces() where the result is not the NetworkInterfaceInfo dictionary", call, "@types/node's NodeJS.Dict<NetworkInterfaceInfo[]> shape is the supported result");
+    const result = lowerer.mapTypeOf(lowerer.typeOf(call));
+    if (result?.kind !== "record")
+        fence();
+    const dictShape = lowerer.shapes.get(result.shapeId);
+    if (!dictShape || dictShape.tuple || dictShape.fields.length > 0 || !dictShape.indexValue)
+        fence();
+    const iv = dictShape.indexValue;
+    if (iv.kind !== "union")
+        fence();
+    const ivDef = lowerer.unions.get(iv.unionId);
+    const arrArm = ivDef?.arms.find((a) => a.kind === "array");
+    if (!ivDef ||
+        ivDef.arms.length !== 2 ||
+        arrArm?.kind !== "array" ||
+        !ivDef.arms.some((a) => a.kind === "undefinedT"))
+        fence();
+    const info = arrArm.elem;
+    if (info.kind !== "union")
+        fence();
+    const infoDef = lowerer.unions.get(info.unionId);
+    if (!infoDef || infoDef.arms.length !== 2)
+        fence();
+    // One arm per family, distinguished by scopeid: plain number = IPv6,
+    // `number | undefined` = IPv4. Every other field is shared.
+    let saw4 = false;
+    let saw6 = false;
+    for (const arm of infoDef.arms) {
+        if (arm.kind !== "record")
+            fence();
+        const shape = lowerer.shapes.get(arm.shapeId);
+        if (!shape || shape.tuple || shape.indexValue || shape.fields.length !== 7)
+            fence();
+        const f = (name) => shape.fields.find((x) => x.name === name)?.type;
+        for (const s of ["address", "family", "mac", "netmask"]) {
+            if (f(s)?.kind !== "string")
+                fence();
+        }
+        if (f("internal")?.kind !== "bool")
+            fence();
+        const cidr = f("cidr");
+        const cidrDef = cidr?.kind === "union" ? lowerer.unions.get(cidr.unionId) : undefined;
+        if (!cidrDef ||
+            cidrDef.arms.length !== 2 ||
+            !cidrDef.arms.some((a) => a.kind === "string") ||
+            !cidrDef.arms.some((a) => a.kind === "nullT")) {
+            fence();
+        }
+        const scopeid = f("scopeid");
+        if (scopeid?.kind === "f64") {
+            saw6 = true;
+        }
+        else {
+            const sDef = scopeid?.kind === "union" ? lowerer.unions.get(scopeid.unionId) : undefined;
+            if (!sDef ||
+                sDef.arms.length !== 2 ||
+                !sDef.arms.some((a) => a.kind === "f64") ||
+                !sDef.arms.some((a) => a.kind === "undefinedT")) {
+                fence();
+            }
+            saw4 = true;
+        }
+    }
+    if (!saw4 || !saw6)
+        fence();
+    return { kind: "libCall", fn: "os.networkInterfaces", args: [], type: result, loc };
+}
+//# sourceMappingURL=operating-system.js.map

package/dist/frontend/lowering/builtins/operating-system.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operating-system.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/operating-system.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,GAAG,EAA4B,MAAM,EAAe,MAAM,mBAAmB,CAAC;AAEvF;;;;;;;uEAOuE;AACvE,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAuB,EACvB,GAAW;IAEX,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,UAAU,CAChB,uBAAuB,EACvB,IAAI,EACJ,4FAA4F,CAC7F,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAgB,GAAG,EAAE,CAC9B,OAAO,CAAC,UAAU,CAChB,wDAAwD,EACxD,IAAI,EACJ,sEAAsE,CACvE,CAAC;IACJ,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACvD,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ;QAAE,KAAK,EAAE,CAAC;IACvC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,KAAK,EAAE,CAAC;IACpF,MAAM,MAAM,GAAsC,EAAE,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;aAC3E,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;aAC3E,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;aAC3E,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5D,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;aAC9E,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9B,kEAAkE;YAClE,kEAAkE;YAClE,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YACzF,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YAC5C,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACnC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;gBACnD,IAAI,GAAG,GAAG,CAAC;oBAAE,KAAK,EAAE,CAAC;gBACrB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE;iBAC1F,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,KAAK,EAAE,CAAC;YACV,CAAC;QACH,CAAC;aAAM,CAAC;YACN,KAAK,EAAE,CAAC;QACV,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,OAAgB,EAChB,IAAuB,EACvB,GAAW;IAEX,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,UAAU,CAChB,0BAA0B,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAC3D,IAAI,EACJ,wCAAwC,CACzC,CAAC;IACJ,CAAC;IACD,qEAAqE;IACrE,uCAAuC;IACvC,MAAM,KAAK,GAAgB,GAAG,EAAE,CAC9B,OAAO,CAAC,UAAU,CAChB,iFAAiF,EACjF,IAAI,EACJ,iFAAiF,CAClF,CAAC;IACJ,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACvD,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ;QAAE,KAAK,EAAE,CAAC;IACvC,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACrD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,KAAK,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU;QACvF,KAAK,EAAE,CAAC;IACV,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC;IAChC,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;QAAE,KAAK,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC3D,IACE,CAAC,KAAK;QACN,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QACvB,MAAM,EAAE,IAAI,KAAK,OAAO;QACxB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;QAEhD,KAAK,EAAE,CAAC;IACV,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,KAAK,EAAE,CAAC;IACnC,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,KAAK,EAAE,CAAC;IACnD,qEAAqE;IACrE,4DAA4D;IAC5D,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,KAAK,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,KAAK,EAAE,CAAC;QACpF,MAAM,CAAC,GAAG,CAAC,IAAY,EAAsB,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,IAAI,CAAC;QAChG,KAAK,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ;gBAAE,KAAK,EAAE,CAAC;QACvC,CAAC;QACD,IAAI,CAAC,CAAC,UAAU,CAAC,EAAE,IAAI,KAAK,MAAM;YAAE,KAAK,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,IAAI,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtF,IACE,CAAC,OAAO;YACR,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YACzB,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC9C,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,EAC7C,CAAC;YACD,KAAK,EAAE,CAAC;QACV,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QAC7B,IAAI,OAAO,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC;YAC5B,IAAI,GAAG,IAAI,CAAC;QACd,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACzF,IACE,CAAC,IAAI;gBACL,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBACtB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC;gBACxC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,EAC/C,CAAC;gBACD,KAAK,EAAE,CAAC;YACV,CAAC;YACD,IAAI,GAAG,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;QAAE,KAAK,EAAE,CAAC;IAC5B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,sBAAsB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AACtF,CAAC"}

package/dist/frontend/lowering/builtins/performance.d.ts

@@ -0,0 +1,13 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr } from "../../../ir/ir.js";
+/** Presence probes do not extract an unbound Performance method value. */
+export declare function lowerPerfHooksTypeof(lowerer: Lowerer, expression: ts.Expression): IrExpr | null;
+/** The node:perf_hooks spoke: `performance.now()` reads the runtime's
+ * monotonic clock anchored at process start — Node's timeOrigin for a
+ * compiled program, fractional milliseconds — and
+ * `performance.now.bind(performance)` (the mockable-clock idiom's
+ * getTimestamp) is the same clock as a plain () => number function
+ * value. Other members on the performance object fence by name; null
+ * for non-perf_hooks callees (the call chain keeps trying). */
+export declare function lowerPerfHooksCall(lowerer: Lowerer, expr: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;

package/dist/frontend/lowering/builtins/performance.js

@@ -0,0 +1,100 @@
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { F64, STRING, funcOf } from "../../../ir/ir.js";
+import { builtinImportOf } from "./module-bindings.js";
+/** True for any spelling of node:perf_hooks' `performance` object — the
+ * named import binding, a namespace/default-import member, the require
+ * twins (all through the shared builtin tables), or the GLOBAL Node
+ * exposes without any import (the module export and the global are one
+ * value; provenance-checked like console/process, so the bare
+ * identifier and the globalThis.performance member both land here and
+ * a user's own `performance` binding never does). */
+function isPerfHooksPerformanceExpr(lowerer, node) {
+    if (lowerer.isStdlibGlobal(node, "performance"))
+        return true;
+    if (ts.isIdentifier(node)) {
+        const bi = builtinImportOf(lowerer, node);
+        return bi !== null && bi.module === "perf_hooks" && bi.member === "performance";
+    }
+    if (ts.isPropertyAccessExpression(node) && !node.questionDotToken) {
+        const bi = lowerer.builtinMemberOf(node);
+        return bi !== null && bi.module === "perf_hooks" && bi.member === "performance";
+    }
+    return false;
+}
+/** Presence probes do not extract an unbound Performance method value. */
+export function lowerPerfHooksTypeof(lowerer, expression) {
+    const value = isPerfHooksPerformanceExpr(lowerer, expression)
+        ? "object"
+        : ts.isPropertyAccessExpression(expression) &&
+            !expression.questionDotToken &&
+            expression.name.text === "now" &&
+            isPerfHooksPerformanceExpr(lowerer, expression.expression)
+            ? "function"
+            : null;
+    return value === null ? null : { kind: "strLit", value, type: STRING, loc: locOf(expression) };
+}
+/** The node:perf_hooks spoke: `performance.now()` reads the runtime's
+ * monotonic clock anchored at process start — Node's timeOrigin for a
+ * compiled program, fractional milliseconds — and
+ * `performance.now.bind(performance)` (the mockable-clock idiom's
+ * getTimestamp) is the same clock as a plain () => number function
+ * value. Other members on the performance object fence by name; null
+ * for non-perf_hooks callees (the call chain keeps trying). */
+export function lowerPerfHooksCall(lowerer, expr, access) {
+    if (access.questionDotToken)
+        return null;
+    const loc = locOf(expr);
+    if (access.name.text === "now" && isPerfHooksPerformanceExpr(lowerer, access.expression)) {
+        if (expr.arguments.length !== 0) {
+            lowerer.noLowering("performance.now with arguments", expr, "Node's performance.now takes none");
+        }
+        return { kind: "libCall", fn: "perf.now", args: [], type: F64, loc };
+    }
+    if (access.name.text === "bind" &&
+        ts.isPropertyAccessExpression(access.expression) &&
+        !access.expression.questionDotToken &&
+        access.expression.name.text === "now" &&
+        isPerfHooksPerformanceExpr(lowerer, access.expression.expression)) {
+        if (expr.arguments.length !== 1 || !isPerfHooksPerformanceExpr(lowerer, expr.arguments[0])) {
+            lowerer.noLowering("this performance.now.bind form", expr, "performance.now.bind(performance) is the lowered function-value spelling");
+        }
+        return {
+            kind: "closure",
+            fnName: perfNowFnValueOf(lowerer),
+            captures: [],
+            type: funcOf([], F64),
+            loc,
+        };
+    }
+    if (isPerfHooksPerformanceExpr(lowerer, access.expression)) {
+        lowerer.noLowering(`perf_hooks performance.${access.name.text}`, expr, "performance.now() — and its .bind(performance) function value — is the lowered surface");
+    }
+    return null;
+}
+/** The memoized () => number lifted wrapper behind
+ * performance.now.bind(performance): a plain function value over the
+ * same perf.now libCall. */
+function perfNowFnValueOf(lowerer) {
+    const name = "%perf.now.value";
+    if (!lowerer.liftedFns.some((f) => f.name === name)) {
+        const loc = { file: "<builtin>", start: 0, end: 0 };
+        lowerer.liftedFns.push({
+            name,
+            params: [],
+            returnType: F64,
+            locals: [],
+            body: [
+                {
+                    kind: "return",
+                    value: { kind: "libCall", fn: "perf.now", args: [], type: F64, loc },
+                    loc,
+                },
+            ],
+            loc,
+        });
+    }
+    return name;
+}
+//# sourceMappingURL=performance.js.map

package/dist/frontend/lowering/builtins/performance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"performance.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/performance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,GAAG,EAAe,MAAM,EAAe,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD;;;;;;qDAMqD;AACrD,SAAS,0BAA0B,CAAC,OAAgB,EAAE,IAAmB;IACvE,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,aAAa,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC1C,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAC,MAAM,KAAK,YAAY,IAAI,EAAE,CAAC,MAAM,KAAK,aAAa,CAAC;IAClF,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAClE,MAAM,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QACzC,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAC,MAAM,KAAK,YAAY,IAAI,EAAE,CAAC,MAAM,KAAK,aAAa,CAAC;IAClF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,UAAyB;IAC9E,MAAM,KAAK,GAAG,0BAA0B,CAAC,OAAO,EAAE,UAAU,CAAC;QAC3D,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC;YACvC,CAAC,UAAU,CAAC,gBAAgB;YAC5B,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAC9B,0BAA0B,CAAC,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC;YAC5D,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,IAAI,CAAC;IACX,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;AACjG,CAAC;AAED;;;;;;+DAM+D;AAC/D,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,0BAA0B,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACzF,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,OAAO,CAAC,UAAU,CAChB,gCAAgC,EAChC,IAAI,EACJ,mCAAmC,CACpC,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACvE,CAAC;IACD,IACE,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAC3B,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC;QAChD,CAAC,MAAM,CAAC,UAAU,CAAC,gBAAgB;QACnC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACrC,0BAA0B,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,EACjE,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;YAC5F,OAAO,CAAC,UAAU,CAChB,gCAAgC,EAChC,IAAI,EACJ,0EAA0E,CAC3E,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,gBAAgB,CAAC,OAAO,CAAC;YACjC,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC;YACrB,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,0BAA0B,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3D,OAAO,CAAC,UAAU,CAChB,0BAA0B,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAC5C,IAAI,EACJ,wFAAwF,CACzF,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;4BAE4B;AAC5B,SAAS,gBAAgB,CAAC,OAAgB;IACxC,MAAM,IAAI,GAAG,iBAAiB,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QAC5D,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,EAAE;YACV,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACpE,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/builtins/process.d.ts

@@ -0,0 +1,50 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr } from "../../../ir/ir.js";
+/** Method calls on first-class process-stream receivers (procStream —
+ * a WritableStream-typed value like prefixStream's `output` param):
+ * write(data) with one string, dispatched at runtime onto the exact
+ * stdout/stderr write paths (the fd IS the value). Everything else
+ * @types/node declares on WritableStream fences member-qualified.
+ * Null for non-procStream receivers. */
+export declare function lowerProcStreamMethodCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** `process.stdin/stdout/stderr.isTTY` → isatty(3) on the stream's fd
+ * (a REAL boolean: Node's non-TTY streams expose `undefined` here — the
+ * documented divergence; truthiness tests, the actual usage, agree), and
+ * `process.stdout/stderr.columns/rows` → ioctl(TIOCGWINSZ) on the fd, with
+ * Node's non-TTY answer intact: the read is `number | undefined` and a
+ * non-TTY (or ioctl-refusing) stream yields the undefined arm. The
+ * receiver match sees through parens and as-casts to the SYMBOL —
+ * `(process.stderr as typeof process.stderr & { columns?: number })
+ * .columns` is the wild widening pattern (@types/node declares a plain
+ * `number`, so honest code casts the undefined possibility back in), and
+ * the cast changes the expression's TYPE, never the value. columns sites
+ * whose checker type does NOT admit undefined are fenced with that exact
+ * fix instead of lowering to a lie. Null for anything else, so the
+ * property chain keeps trying. */
+export declare function lowerProcessStreamProperty(lowerer: Lowerer, expr: ts.PropertyAccessExpression): IrExpr | null;
+/** `process.argv` / `process.platform` / `process.pid` property READS
+ * lower to zero-arg libCalls (argv returns +1 on one interned array —
+ * identity and mutation semantics match Node's stable process.argv).
+ * `process.env` as a WHOLE value lowers to a fresh SNAPSHOT record —
+ * `{ [k: string]: string | undefined }` built over environ by the
+ * interned %env.snapshot helper: `{ ...process.env }`, Object.keys, and
+ * spawn-env flows all snapshot at the read, exactly what Node's own
+ * spread does (and nothing in a compiled program mutates environ between
+ * a snapshot and its use except process.env writes, which precede the
+ * read in source order). Method members referenced without a call are
+ * rejected specifically. Null for non-process receivers (the chain keeps
+ * trying other property lowerings). */
+export declare function lowerProcessProperty(lowerer: Lowerer, expr: ts.PropertyAccessExpression): IrExpr | null;
+/** `process.exit(code)` / `process.cwd()` → libCall. The fallback
+ * declaration makes exit's code required; @types/node declares it
+ * optional. A bare `process.exit()` uses the current exitCode, or zero
+ * when unset. */
+export declare function lowerProcessMethodCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** `process.getuid?.()` — the optional call of an optional process
+ * method. On a POSIX target the member always exists, so the `?.` IS the
+ * call (the checker's undefined arm covers Windows, which scriptc does
+ * not target) and the honest result is the plain number. Intercepted
+ * BEFORE the optional-chain machinery: `process.getuid` has no value
+ * lowering for the chain to guard. Null when this isn't that shape. */
+export declare function lowerProcessOptionalMethodCall(lowerer: Lowerer, expr: ts.CallExpression): IrExpr | null;