@scriptc/compiler 0.1.6 → 0.2.0

package/dist/frontend/lowering/sanitize-class-types.test.js

@@ -0,0 +1,60 @@
+import { expect, test } from "vitest";
+import { F64 } from "../../ir/ir.js";
+import { sanitizeUnregisteredClassTypes } from "./sanitize-class-types.js";
+test("fenced instance slots are erased throughout signatures, storage and nested expressions", () => {
+    const loc = { file: "classes.js", start: 0, end: 1 };
+    const missing = { kind: "object", className: "Fenced" };
+    const kept = { kind: "object", className: "Registered" };
+    const constructor = { kind: "classval", className: "Fenced" };
+    const composite = { kind: "func", rest: true, restAbi: "typed", argumentsAll: true,
+        params: [{ kind: "array", elem: missing }, { kind: "set", elem: missing },
+            { kind: "map", key: missing, value: { kind: "promise", inner: missing } }],
+        ret: { kind: "generator", async: true, yieldT: missing, retT: missing, nextT: missing } };
+    const ref = (type) => ({ kind: "varRef", localId: "x", type, loc });
+    const module = {
+        irVersion: 13, sourceFile: loc.file, entry: "main",
+        globals: [{ id: "g", name: "g", type: composite, mutable: false }],
+        classes: [{ name: "Registered", fields: [{ name: "value", type: missing }],
+                localCaptures: [{ localId: "x", name: "x", type: missing }], loc }],
+        records: [{ id: "r", fields: [{ name: "value", type: missing },
+                    { name: "next", type: { kind: "union", unionId: "u" } }], indexValue: missing }],
+        unions: [{ id: "u", arms: [missing, { kind: "record", shapeId: "r" }, kept, constructor] }],
+        functions: [{ name: "main", returnType: missing, loc,
+                params: [{ localId: "x", name: "x", type: missing }],
+                locals: [{ id: "x", name: "x", type: missing, mutable: false }],
+                captures: [{ localId: "y", name: "y", type: missing }],
+                classCaptures: [{ localId: "z", name: "z", type: missing, slot: 3 }],
+                generator: { yieldT: missing, nextT: missing, resultType: { kind: "record", shapeId: "r" } },
+                body: [{ kind: "if", cond: ref(kept), else_: null, loc, then: [{ kind: "exprStmt", loc,
+                                expr: { kind: "seqExpr", type: missing, loc,
+                                    stmts: [{ kind: "exprStmt", expr: ref(composite), loc }],
+                                    result: { kind: "new", className: "Fenced", args: [ref(missing)], type: missing, loc } } }] }],
+            }],
+    };
+    // An independent structural oracle checks every nested slot and leaves
+    // class-value types and node-level names intact, even on invalid nodes.
+    const expected = JSON.parse(JSON.stringify(module, (_key, value) => {
+        const type = value;
+        return type?.kind === "object" && type.className === "Fenced" ? F64 : value;
+    }));
+    sanitizeUnregisteredClassTypes(module, (name) => name === "Registered");
+    expect(module).toEqual(expected);
+    expect(module.functions[0].params[0].type).toBe(F64);
+    expect(module.unions[0].arms[2]).toBe(kept);
+    expect(module.unions[0].arms[3]).toBe(constructor);
+    expect(missing).toEqual({ kind: "object", className: "Fenced" });
+    sanitizeUnregisteredClassTypes(module, (name) => name === "Registered");
+    expect(module).toEqual(expected);
+});
+test("modules without optional tables and registered class types retain their structure", () => {
+    const loc = { file: "registered.ts", start: 0, end: 1 };
+    const type = { kind: "object", className: "Registered" };
+    const module = { irVersion: 13, sourceFile: loc.file, entry: "main", functions: [{
+                name: "main", returnType: type, params: [], locals: [], body: [], loc,
+            }] };
+    const before = structuredClone(module);
+    sanitizeUnregisteredClassTypes(module, () => true);
+    expect(module).toEqual(before);
+    expect(module.functions[0].returnType).toBe(type);
+});
+//# sourceMappingURL=sanitize-class-types.test.js.map

package/dist/frontend/lowering/sanitize-class-types.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sanitize-class-types.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/sanitize-class-types.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,GAAG,EAA2C,MAAM,gBAAgB,CAAC;AAC9E,OAAO,EAAE,8BAA8B,EAAE,MAAM,2BAA2B,CAAC;AAE3E,IAAI,CAAC,wFAAwF,EAAE,GAAG,EAAE;IAClG,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACrD,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IAChE,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC;IACjE,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtE,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI;QACxF,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE;YACvE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC;QAC5E,GAAG,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC;IAC5F,MAAM,GAAG,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IACpF,MAAM,MAAM,GAAa;QACvB,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM;QAClD,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAClE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;gBACxE,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;QACrE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE;oBAC5D,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;QAClF,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;QAC3F,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG;gBAClD,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;gBACpD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;gBAC/D,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;gBACtD,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;gBACpE,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE;gBAC5F,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG;gCACpF,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG;oCACzC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,CAAC;oCACxD,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;aACnG,CAAC;KACH,CAAC;IACF,uEAAuE;IACvE,wEAAwE;IACxE,MAAM,QAAQ,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,KAAc,EAAE,EAAE;QACnF,MAAM,IAAI,GAAG,KAAqD,CAAC;QACnE,OAAO,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;IAC9E,CAAC,CAAC,CAAC,CAAC;IACJ,8BAA8B,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACxE,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACjC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvD,MAAM,CAAC,MAAM,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,CAAC,MAAM,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC;IACjE,8BAA8B,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACxE,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;AACnC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mFAAmF,EAAE,GAAG,EAAE;IAC7F,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACxD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC;IACjE,MAAM,MAAM,GAAa,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;gBACzF,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;aACtE,CAAC,EAAE,CAAC;IACL,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACvC,8BAA8B,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC"}

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

@@ -3,4 +3,8 @@ 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;
+export declare function rejectStaticThis(lowerer: Lowerer, root: ts.Node, message: (keyword: "this" | "super") => string, includeRoot?: boolean, allowThis?: boolean): void;
+export declare function hasStaticThis(root: ts.Node): boolean;
+/** Private names belong to the lexical class, independently of any
+ * same-spelled member in a receiver's subclass. */
+export declare function hasLexicalPrivateReference(root: ts.Node): boolean;

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

@@ -2,7 +2,7 @@ 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) {
+export function rejectStaticThis(lowerer, root, message, includeRoot = false, allowThis = false) {
     const visit = (node) => {
         if (ts.isFunctionExpression(node) || ts.isFunctionDeclaration(node) ||
             ts.isMethodDeclaration(node) || ts.isConstructorDeclaration(node) ||
@@ -10,7 +10,7 @@ export function rejectStaticThis(lowerer, root, message, includeRoot = false) {
             ts.isClassDeclaration(node) || ts.isClassExpression(node)) {
             return;
         }
-        if (node.kind === ts.SyntaxKind.ThisKeyword || node.kind === ts.SyntaxKind.SuperKeyword) {
+        if ((node.kind === ts.SyntaxKind.ThisKeyword && !allowThis) || node.kind === ts.SyntaxKind.SuperKeyword) {
             const keyword = node.kind === ts.SyntaxKind.ThisKeyword ? "this" : "super";
             lowerer.unsupported("SC1090", node, message(keyword));
         }
@@ -21,4 +21,30 @@ export function rejectStaticThis(lowerer, root, message, includeRoot = false) {
     else
         root.forEachChild(visit);
 }
+export function hasStaticThis(root) {
+    let found = false;
+    const visit = (node) => {
+        if (node.kind === ts.SyntaxKind.ThisKeyword)
+            found = true;
+        if ((ts.isFunctionLike(node) && !ts.isArrowFunction(node)) || ts.isClassDeclaration(node) || ts.isClassExpression(node))
+            return;
+        node.forEachChild(visit);
+    };
+    root.forEachChild(visit);
+    return found;
+}
+/** Private names belong to the lexical class, independently of any
+ * same-spelled member in a receiver's subclass. */
+export function hasLexicalPrivateReference(root) {
+    let found = false;
+    const visit = (node) => {
+        if (ts.isClassDeclaration(node) || ts.isClassExpression(node))
+            return;
+        if (ts.isPrivateIdentifier(node))
+            found = true;
+        node.forEachChild(visit);
+    };
+    root.forEachChild(visit);
+    return found;
+}
 //# sourceMappingURL=static-this.js.map

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

@@ -1 +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"}
+{"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,EACnB,SAAS,GAAG,KAAK;IAEjB,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,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;YACxG,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;AAED,MAAM,UAAU,aAAa,CAAC,IAAa;IACzC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,KAAK,GAAG,IAAI,CAAC;QAC1D,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAAE,OAAO;QAChI,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;mDACmD;AACnD,MAAM,UAAU,0BAA0B,CAAC,IAAa;IACtD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAAE,OAAO;QACtE,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;QAC/C,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/frontend/lowering/string-index.d.ts

@@ -0,0 +1,7 @@
+import { type IrExpr, type IrType, type SrcLoc } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+/** A number-keyed string property read whose declared result includes
+ * undefined. Unlike charAt, property lookup does not truncate fractions or
+ * convert NaN to zero. Capture both operands before testing the index: even
+ * a plain receiver variable can be reassigned while evaluating the key. */
+export declare function lowerOptionalStringIndex(lowerer: Lowerer, receiver: IrExpr, index: IrExpr, type: IrType, loc: SrcLoc): IrExpr;

package/dist/frontend/lowering/string-index.js

@@ -0,0 +1,39 @@
+import { BOOL, F64, STRING } from "../../ir/ir.js";
+import { numLit, varRef } from "../../ir/build.js";
+/** A number-keyed string property read whose declared result includes
+ * undefined. Unlike charAt, property lookup does not truncate fractions or
+ * convert NaN to zero. Capture both operands before testing the index: even
+ * a plain receiver variable can be reassigned while evaluating the key. */
+export function lowerOptionalStringIndex(lowerer, receiver, index, type, loc) {
+    const textLocal = lowerer.declareHiddenLocal("%indexedString", STRING);
+    const indexLocal = lowerer.declareHiddenLocal("%stringIndex", F64);
+    const text = varRef(textLocal.id, STRING, loc);
+    const key = varRef(indexLocal.id, F64, loc);
+    const inBounds = {
+        kind: "logical", op: "&&",
+        left: { kind: "bin", op: ">=", left: key, right: numLit(0, loc), type: BOOL, loc },
+        right: { kind: "bin", op: "<", left: key,
+            right: { kind: "strIntrinsic", method: "length", receiver: text, args: [], type: F64, loc }, type: BOOL, loc },
+        type: BOOL, loc,
+    };
+    const integral = {
+        kind: "bin", op: "===", left: key,
+        right: { kind: "libCall", fn: "math.floor", args: [key], type: F64, loc },
+        type: BOOL, loc,
+    };
+    const read = { kind: "strIntrinsic", method: "charAt", receiver: text, args: [key], type: STRING, loc };
+    return {
+        kind: "seqExpr",
+        stmts: [
+            { kind: "varDecl", localId: textLocal.id, init: receiver, loc },
+            { kind: "varDecl", localId: indexLocal.id, init: index, loc },
+        ],
+        result: {
+            kind: "ternary", cond: { kind: "logical", op: "&&", left: inBounds, right: integral, type: BOOL, loc },
+            then: lowerer.coerceToExpected(read, type),
+            else_: lowerer.wrappedUndefined(type, loc), type, loc,
+        },
+        type, loc,
+    };
+}
+//# sourceMappingURL=string-index.js.map

package/dist/frontend/lowering/string-index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-index.js","sourceRoot":"","sources":["../../../src/frontend/lowering/string-index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAyC,MAAM,gBAAgB,CAAC;AAC1F,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAGnD;;;2EAG2E;AAC3E,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,QAAgB,EAChB,KAAa,EACb,IAAY,EACZ,GAAW;IAEX,MAAM,SAAS,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,OAAO,CAAC,kBAAkB,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAW;QACvB,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI;QACzB,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAClF,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG;YACtC,KAAK,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAChH,IAAI,EAAE,IAAI,EAAE,GAAG;KAChB,CAAC;IACF,MAAM,QAAQ,GAAW;QACvB,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG;QACjC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACzE,IAAI,EAAE,IAAI,EAAE,GAAG;KAChB,CAAC;IACF,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAChH,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;YAC/D,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;SAC9D;QACD,MAAM,EAAE;YACN,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACtG,IAAI,EAAE,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC;YAC1C,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAE,EAAE,IAAI,EAAE,GAAG;SACvD;QACD,IAAI,EAAE,GAAG;KACV,CAAC;AACJ,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/ir.js";
+import { type IrExpr, type IrLibFn, type IrStrIntrinsicMethod, type 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;
@@ -105,6 +105,8 @@ export declare const STR_METHODS: Record<string, {
 }>;
 /** String index reads return an undefined arm and compose the existing UTF-16 intrinsics. */
 export declare const STRING_INDEX_METHODS: Set<string>;
+/** String-pattern replacement composes native search, slice, and callback operations. */
+export declare const STRING_REPLACE_METHODS: Set<string>;
 /** One member of the island-backed ambient surface: declared argument
  * types (tsc enforces them at call sites; the arity double-checks the
  * table against the ambient file) and the validated island-exit target the
@@ -132,7 +134,7 @@ export declare const boundaryOutOfIslandMsg: (typeName: string) => string;
  * user. */
 export declare const ISLAND_SURFACE: {
     /** `Math.<fn>(...)` lowers to callMethod(globalGet("Math"), fn, args);
-     * Math.PI and Math.E are compile-time numeric literals in STATIC_MATH_PROPS;
+     * Math constants are compile-time numeric literals in STATIC_MATH_PROPS;
      * remaining Math properties retain island/fence behavior.
      * The entries here handle untabled scalar call shapes where --dynamic is
      * available; STATIC_MATH_FNS handles the ordinary typed calls first. */
@@ -196,7 +198,7 @@ export interface BuiltinModuleFn {
     defaults?: string[];
     /** The source-level function-value signature. Each admitted entry
      * materializes as an interned zero-capture adapter over the fixed runtime
-     * libCall ABI. Optional parameters name the string default selected for
+     * libCall ABI. Optional parameters name the scalar default selected for
      * omission or explicit undefined; rest parameters pack into one typed
      * array slot. Entries with call-site-specific validation remain absent. */
     valueParams?: BuiltinValueParam[];
@@ -207,11 +209,14 @@ export type BuiltinValueParam = {
 } | {
     mode: "optional";
     type: IrType;
-    defaultValue: string;
+    defaultValue: string | number;
 } | {
     mode: "rest";
     type: IrType;
 };
+/** Object helpers whose checked-native ABI is also their stored value ABI.
+ * These adapters operate on the live checked object/property table. */
+export declare const OBJECT_CALLABLE_VALUES: Record<string, BuiltinModuleFn | undefined>;
 export declare const BUILTIN_MODULE_FNS: Record<string, Record<string, BuiltinModuleFn | undefined> | undefined>;
 /** Builtin-module CONSTANTS (value reads of named imports): each lowers to
  * a literal of its value's kind. The bare-module values are the TARGET

package/dist/frontend/lowering/surfaces.js

@@ -5,13 +5,11 @@
  * diagnostic tables, and the "which world declared this symbol" predicates
  * (ambient scriptc.d.ts / standard lib / @types/node provenance). */
 import * as ts from "../ts7/adapter.js";
-import { BOOL, BYTES_U8, CHILD_T, CRYPTOHASH_T, CRYPTOHMAC_T, DYN, F64, FILEHANDLE_T, RUNTIME_ERROR_CLASSES, SPAWNRES_T, STATS_T, STRING, URL_T, VOID, arrayOf } from "../../ir/ir.js";
-import { isNodeTypesPath, requireSpecOf } from "../program.js";
+import { UNSUPPORTED } from "../../diagnostics/diagnostic.js";
+import { BOOL, BYTES_U8, CHILD_T, CRYPTOHASH_T, CRYPTOHMAC_T, DYN, F64, FILEHANDLE_T, SPAWNRES_T, STATS_T, STRING, URL_T, VOID, arrayOf } from "../../ir/ir.js";
+import { isJsSourceFile, isNodeTypesPath, requireSpecOf } from "../program.js";
 /** Statement-level constructs rejected wholesale, keyed by syntax kind. */
 export const UNSUPPORTED_STMT = {
-    // Top-level ClassDeclarations are supported (collected in run()); one
-    // reaching lowerStmt is nested inside a function.
-    [ts.SyntaxKind.ClassDeclaration]: { code: "SC1090", feature: "class declarations inside functions" },
     // DoStatement / SwitchStatement are supported; handled in lowerStmt.
     // ForOfStatement is supported (arrays); handled in lowerStmt.
     // ThrowStatement / TryStatement are supported (exceptions); handled in
@@ -379,6 +377,8 @@ export const STR_METHODS = {
 };
 /** String index reads return an undefined arm and compose the existing UTF-16 intrinsics. */
 export const STRING_INDEX_METHODS = new Set(["at", "codePointAt"]);
+/** String-pattern replacement composes native search, slice, and callback operations. */
+export const STRING_REPLACE_METHODS = new Set(["replace", "replaceAll"]);
 const ISL_N1 = { args: [F64], ret: F64 };
 const ISL_N2 = { args: [F64, F64], ret: F64 };
 export const boundaryIntoIslandMsg = (typeName) => `passing a value of type '${typeName}' into dynamically-executed ('any'-typed) code ` +
@@ -404,7 +404,7 @@ export const boundaryOutOfIslandMsg = (typeName) => `using an 'any' value where
  * user. */
 export const ISLAND_SURFACE = {
     /** `Math.<fn>(...)` lowers to callMethod(globalGet("Math"), fn, args);
-     * Math.PI and Math.E are compile-time numeric literals in STATIC_MATH_PROPS;
+     * Math constants are compile-time numeric literals in STATIC_MATH_PROPS;
      * remaining Math properties retain island/fence behavior.
      * The entries here handle untabled scalar call shapes where --dynamic is
      * available; STATIC_MATH_FNS handles the ordinary typed calls first. */
@@ -412,10 +412,12 @@ export const ISLAND_SURFACE = {
         // The static table below handles these methods at its admitted arities.
         fns: {
             abs: ISL_N1, acos: ISL_N1, asin: ISL_N1, atan: ISL_N1, atan2: ISL_N2,
-            cbrt: ISL_N1, ceil: ISL_N1, cos: ISL_N1, exp: ISL_N1,
-            hypot: ISL_N2, log: ISL_N1, log2: ISL_N1, log10: ISL_N1, pow: ISL_N2,
+            acosh: ISL_N1, asinh: ISL_N1, atanh: ISL_N1,
+            cbrt: ISL_N1, ceil: ISL_N1, clz32: ISL_N1, cos: ISL_N1, cosh: ISL_N1,
+            exp: ISL_N1, expm1: ISL_N1, fround: ISL_N1,
+            hypot: ISL_N2, imul: ISL_N2, log: ISL_N1, log1p: ISL_N1, log2: ISL_N1, log10: ISL_N1, pow: ISL_N2,
             round: ISL_N1,
-            sign: ISL_N1, sin: ISL_N1, sqrt: ISL_N1, tan: ISL_N1, trunc: ISL_N1,
+            sign: ISL_N1, sin: ISL_N1, sinh: ISL_N1, sqrt: ISL_N1, tan: ISL_N1, tanh: ISL_N1, trunc: ISL_N1,
         },
         // Math constants are compile-time literals, not island properties.
         props: {},
@@ -457,8 +459,14 @@ export const ISLAND_SURFACE = {
  * their island/fence behavior through ISLAND_SURFACE.math.props and the
  * generic standard-library member fence. */
 export const STATIC_MATH_PROPS = {
-    PI: 3.141592653589793,
     E: 2.718281828459045,
+    LN10: 2.302585092994046,
+    LN2: 0.6931471805599453,
+    LOG10E: 0.4342944819032518,
+    LOG2E: 1.4426950408889634,
+    PI: 3.141592653589793,
+    SQRT1_2: 0.7071067811865476,
+    SQRT2: 1.4142135623730951,
 };
 /** Math members with a STATIC lowering. Most use the tabled arity; min/max
  * accept any plain arity, and hypot accepts any arity including number[]
@@ -477,20 +485,31 @@ export const STATIC_MATH_FNS = {
     max: { fn: "math.max", arity: 2 },
     random: { fn: "math.random", arity: 0 },
     sin: { fn: "math.sin", arity: 1 },
+    sinh: { fn: "math.sinh", arity: 1 },
     cos: { fn: "math.cos", arity: 1 },
+    cosh: { fn: "math.cosh", arity: 1 },
     tan: { fn: "math.tan", arity: 1 },
+    tanh: { fn: "math.tanh", arity: 1 },
     asin: { fn: "math.asin", arity: 1 },
+    asinh: { fn: "math.asinh", arity: 1 },
     acos: { fn: "math.acos", arity: 1 },
+    acosh: { fn: "math.acosh", arity: 1 },
     atan: { fn: "math.atan", arity: 1 },
+    atanh: { fn: "math.atanh", arity: 1 },
     cbrt: { fn: "math.cbrt", arity: 1 },
+    clz32: { fn: "math.clz32", arity: 1 },
     sign: { fn: "math.sign", arity: 1 },
     exp: { fn: "math.exp", arity: 1 },
+    expm1: { fn: "math.expm1", arity: 1 },
+    fround: { fn: "math.fround", arity: 1 },
     sqrt: { fn: "math.sqrt", arity: 1 },
     log: { fn: "math.log", arity: 1 },
+    log1p: { fn: "math.log1p", arity: 1 },
     log2: { fn: "math.log2", arity: 1 },
     log10: { fn: "math.log10", arity: 1 },
     atan2: { fn: "math.atan2", arity: 2 },
     pow: { fn: "math.pow", arity: 2 },
+    imul: { fn: "math.imul", arity: 2 },
     hypot: { fn: "math.hypotArr", arity: 2 },
 };
 /** Number prototype methods with dedicated STATIC lowering paths. The
@@ -506,6 +525,19 @@ export const STATIC_NUMBER_METHODS = {
 function exactValueParams(...types) {
     return types.map((type) => ({ mode: "required", type }));
 }
+/** Object helpers whose checked-native ABI is also their stored value ABI.
+ * These adapters operate on the live checked object/property table. */
+export const OBJECT_CALLABLE_VALUES = {
+    defineProperty: { fn: "dyn.defineProperty", params: [DYN, DYN, DYN], result: DYN, valueParams: exactValueParams(DYN, DYN, DYN) },
+    getOwnPropertyDescriptor: { fn: "dyn.getOwnPropertyDescriptor", params: [DYN, DYN], result: DYN, valueParams: exactValueParams(DYN, DYN) },
+    getOwnPropertyDescriptors: { fn: "dyn.getOwnPropertyDescriptors", params: [DYN], result: DYN, valueParams: exactValueParams(DYN) },
+    defineProperties: { fn: "dyn.defineProps", params: [DYN, DYN], result: DYN, valueParams: exactValueParams(DYN, DYN) },
+    keys: { fn: "dyn.objKeys", params: [DYN], result: DYN, valueParams: exactValueParams(DYN) },
+    values: { fn: "dyn.objValues", params: [DYN], result: DYN, valueParams: exactValueParams(DYN) },
+    entries: { fn: "dyn.objEntries", params: [DYN], result: DYN, valueParams: exactValueParams(DYN) },
+    fromEntries: { fn: "dyn.fromEntries", params: [DYN], result: DYN, valueParams: exactValueParams(DYN) },
+    getOwnPropertySymbols: { fn: "dyn.getOwnPropertySymbols", params: [DYN], result: DYN, valueParams: exactValueParams(DYN) },
+};
 /** The lowerable surface of the supported node builtin modules, keyed by
  * CANONICAL module name (both "fs" and "node:fs" land on "fs" — see
  * canonicalBuiltinModule). Like STR_METHODS, membership is only half the
@@ -584,6 +616,7 @@ export const BUILTIN_MODULE_FNS = {
         // realpath(3) — Node's realpathSync (failures spell syscall "lstat",
         // Node's own message shape).
         realpathSync: { fn: "fs.realpathSync", params: [STRING], result: STRING },
+        "realpathSync.native": { fn: "fs.realpathNativeSync", params: [STRING], result: STRING },
         // The fd pair behind spawn's fd-stdio form (the daemon-log idiom:
         // openSync(logPath, "a") → spawn stdio ["ignore", fd, fd] →
         // closeSync). String flags use the established two-argument path;
@@ -622,7 +655,11 @@ export const BUILTIN_MODULE_FNS = {
         // open's optional flags/mode completion is special-cased in
         // lowerBuiltinModuleCall; this row routes all import spellings and
         // gives coverage the static member.
-        open: { fn: "fsp.open", params: [STRING, STRING, F64], result: { kind: "promise", inner: FILEHANDLE_T } },
+        open: { fn: "fsp.open", params: [STRING, STRING, F64], result: { kind: "promise", inner: FILEHANDLE_T }, valueParams: [
+                { mode: "required", type: STRING },
+                { mode: "optional", type: STRING, defaultValue: "r" },
+                { mode: "optional", type: F64, defaultValue: 0o666 },
+            ] },
     },
     // The bare module's POSIX-target binding; a win32 target rebinds it to
     // the win32 table (builtinModuleFnsOf — Node on Windows IS path.win32).
@@ -859,6 +896,9 @@ export const BUILTIN_MODULE_CONSTS = {
  * BUILTIN_MODULE_FNS; consumed by the fence taxonomy
  * (library/fence-eval.ts) and the attestation-parity test. */
 export const BUILTIN_MODULE_FN_ALIASES = {
+    url: {
+        pathToFileURL: ["url.pathToFileURLPlatform"],
+    },
     fs: {
         // Inline numeric O_* flags use a target-neutral runtime entry point.
         openSync: ["fs.openNumericSync"],
@@ -867,6 +907,7 @@ export const BUILTIN_MODULE_FN_ALIASES = {
         readFileSync: ["fs.readFileSyncBuf", "fs.readFileSyncBytes", "fs.readFileSyncDyn", "fs.readFdSync", "fs.readFdSyncBytes"],
         // The bytes-data form and the { mode } options form.
         writeFileSync: ["fs.writeFileSyncBytes", "fs.writeFileModeSync"],
+        appendFileSync: ["fs.appendFileSyncBytes"],
         // The utf8 string overload; the table row is the Buffer-window form.
         writeSync: ["fs.writeStrSync"],
         // The { recursive, mode } option lowerings.
@@ -929,7 +970,7 @@ export const AMBIENT_SURFACE_FNS = [
         id: "stdlib.date.constructor",
         kind: "stdlib",
         name: "Date constructor",
-        fns: ["date.newNow", "date.newMs", "date.newString"],
+        fns: ["date.newNow", "date.newMs", "date.newString", "date.nativeNew"],
         note: "zero arguments, or one milliseconds/date-string argument; values are the read-only TimeClip scalar slice",
     },
     {
@@ -996,6 +1037,17 @@ export const AMBIENT_SURFACE_FNS = [
         note: "reads, writes, deletes, and enumeration of the process environment (the process global)",
     },
     { id: "node-builtin.process.argv", kind: "node-builtin", name: "process.argv", fns: ["process.argv"] },
+    { id: "node-builtin.process.hrtime", kind: "node-builtin", name: "process.hrtime", fns: ["process.hrtimeValue"], note: "native monotonic tuple clock and bigint member; direct calls and stored JavaScript callable values" },
+    {
+        id: "node-builtin.process.getBuiltinModule", kind: "node-builtin", name: "process.getBuiltinModule",
+        fns: ["process.builtinId", "process.builtinModule", "process.builtinUnsupported"],
+        note: "native path and os export subsets plus main-thread worker_threads metadata; other modules and exports throw SC2020",
+    },
+    {
+        id: "node-builtin.process.versions", kind: "node-builtin", name: "process.versions",
+        fns: ["process.versions"],
+        note: "shared version dictionary containing node and openssl; other components are absent unless defined by the program",
+    },
     { id: "node-builtin.process.cwd", kind: "node-builtin", name: "process.cwd", fns: ["process.cwd"] },
     { id: "node-builtin.process.chdir", kind: "node-builtin", name: "process.chdir", fns: ["process.chdir"] },
     { id: "node-builtin.process.pid", kind: "node-builtin", name: "process.pid", fns: ["process.pid"] },
@@ -1234,6 +1286,9 @@ const ASSERT_MODULE_HINTS = {
         '"AssertionError" or err.code === "ERR_ASSERTION"',
 };
 export const BUILTIN_MODULE_FENCE_HINTS = {
+    console: {
+        Console: "custom Console instances are not supported yet; direct node:console log/info/debug/error/warn calls use the process output streams",
+    },
     assert: ASSERT_MODULE_HINTS,
     // The strict module's equal/notEqual/deepEqual/notDeepEqual ARE the
     // strict comparisons (aliased in the spoke) — only the members with no
@@ -1249,13 +1304,13 @@ export const BUILTIN_MODULE_FENCE_HINTS = {
         promisify: "the lowered shapes are const bindings over child_process.execFile and fs.readFile; call the bound function directly",
     },
     "stream/consumers": {
-        arrayBuffer: "no free-standing ArrayBuffer value exists here (typed arrays own their storage) — " +
+        arrayBuffer: "collecting a stream directly into an ArrayBuffer has no native lowering yet; " +
             "buffer(stream) collects the same bytes as a Buffer",
         blob: "Blob values have no representation in a compiled binary — " +
             "buffer(stream) collects the same bytes as a Buffer, text(stream) the decoded text",
     },
     module: {
-        createRequire: "the lowered shape is a const binding over createRequire(import.meta.url) (or __filename) " +
+        createRequire: "the lowered shape is a const binding (or a proven stable top-level let/var) over createRequire(import.meta.url) (or __filename) " +
             "whose require calls take STATIC string literals — builtins, project modules (including #imports), " +
             "relative .json documents, --npm-static packages, and installed npm packages under --dynamic resolve at build time; " +
             "dynamic specifiers cannot exist in a compiled binary's fixed module graph",
@@ -1389,13 +1444,6 @@ export function stdlibMemberFence(lowerer, access) {
             "flat has no lowering (flatMap does) — flatten into an accumulator instead: " +
                 "for (const x of xs) for (const y of x) out.push(y)";
     }
-    else if (recvIr?.kind === "object" &&
-        RUNTIME_ERROR_CLASSES.has(recvIr.className) &&
-        member === "stack") {
-        hint =
-            "stack traces are not captured (frames would need runtime bookkeeping); " +
-                "name, message, and toString() are available";
-    }
     else if (container === "process.stdin" || (container === "process" && member === "stdin")) {
         hint =
             "isTTY, destroy(), on/once of the data/end/error events, and " +
@@ -1420,15 +1468,13 @@ export function stdlibMemberFence(lowerer, access) {
     }
     else if (container === "TextEncoder") {
         hint =
-            "the inline new TextEncoder().encode(s) form and same-scope const store-then-call " +
-                "(const encoder = new TextEncoder(); encoder.encode(s)) compile; captured/imported " +
-                "instances and other members need a runtime object representation";
+            "TextEncoder instances can be stored, passed, and captured; encode(string) and encode() compile, " +
+                "while encodeInto and other members have no static lowering";
     }
     else if (container === "TextDecoder") {
         hint =
-            "the inline new TextDecoder(<literal label>).decode(bytes) form and same-scope const store-then-call " +
-                "(const decoder = new TextDecoder(<literal label>); decoder.decode(bytes)) compile; captured/imported " +
-                "instances, streaming state, and other members need a runtime object representation";
+            "TextDecoder instances with recognized literal WHATWG labels and default options can be stored, passed, and captured; " +
+                "decode(Uint8Array/Buffer) and decode() compile; streaming, constructor options, and other members have no static lowering";
     }
     else if (member === "prototype") {
         hint =
@@ -1448,9 +1494,8 @@ export function stdlibMemberFence(lowerer, access) {
     }
     else if (container === "ArrayBuffer" || container.startsWith("ArrayBuffer<")) {
         hint =
-            "resize/transfer/maxByteLength need the buffer to exist as a runtime value, and no " +
-                "free-standing ArrayBuffer value does — typed arrays own fixed-length storage " +
-                "(new Uint8Array(n)); allocate a new view and copy instead";
+            "native ArrayBuffer storage is fixed-length; resize and transfer are unsupported — " +
+                "allocate a new buffer and copy through typed-array views instead";
     }
     else if (container === "SharedArrayBuffer" || container.startsWith("SharedArrayBuffer<")) {
         hint =
@@ -1467,7 +1512,8 @@ export function stdlibMemberFence(lowerer, access) {
             "locale- and ICU-backed behavior lives outside the static runtime (the localeCompare " +
                 "stance: code-unit order, no collation/locale data) — what lowers: the composed " +
                 'new Intl.NumberFormat("en-US").format(x) and x.toLocaleString("en-US") with default ' +
-                "options; format with template literals, toFixed, and toString otherwise";
+                "options, plus default Unicode grapheme segmentation with Intl.Segmenter; locale " +
+                "negotiation, word/sentence segmentation, and resolvedOptions remain unsupported";
     }
     else if (container === "Object" && member === "assign") {
         hint =
@@ -1540,12 +1586,12 @@ export function stdlibGlobalNameOf(lowerer, expr) {
     if (ts.isParenthesizedExpression(expr))
         return stdlibGlobalNameOf(lowerer, expr.expression);
     if (ts.isIdentifier(expr)) {
+        const symbol = lowerer.checker.getSymbolAtLocation(expr);
         // `globalThis` itself: a reserved intrinsic — tsc rejects user
-        // bindings of the name, and its special symbol carries no ordinary
-        // declarations for the provenance check to see.
-        if (expr.text === "globalThis")
+        // global bindings, but local parameters can shadow it. Its special
+        // symbol has no ordinary declarations for the provenance check.
+        if (expr.text === "globalThis" && (!symbol || lowerer.checker.declarationsOf(symbol).length === 0 || lowerer.isStdlibSymbol(symbol)))
             return "globalThis";
-        const symbol = lowerer.checker.getSymbolAtLocation(expr);
         if (!symbol)
             return null;
         const alias = lowerer.stdlibGlobalAliases.get(symbol);
@@ -1638,6 +1684,18 @@ export function stdlibGlobalAliasNameOf(lowerer, init) {
         : stdlibGlobalNameOf(lowerer, aliasExpr);
     if (name === null)
         return null;
+    // An explicitly any-typed globalThis binding in dynamic TypeScript
+    // holds the engine's global object. Keep the static alias for JS files
+    // (their bare-global value path uses identity tokens) and for the
+    // `globalThis || global` guard that the static alias path folds.
+    let directInit = init;
+    while (ts.isParenthesizedExpression(directInit))
+        directInit = directInit.expression;
+    if (name === "globalThis" && lowerer.dynamic && !isJsSourceFile(init.getSourceFile()) &&
+        ts.isIdentifier(directInit) && directInit.text === "globalThis" &&
+        ts.isVariableDeclaration(init.parent) &&
+        (lowerer.typeOf(init.parent.name).flags & ts.TypeFlags.Any) !== 0)
+        return null;
     // Only alias OBJECT-shaped globals whose members lower by receiver
     // identity (process, console, globalThis itself, and perf_hooks'
     // performance — the mockable-clock idiom snapshots it). Function-valued
@@ -1653,6 +1711,11 @@ export function stdlibGlobalAliasDecl(lowerer, nameNode, init) {
     const name = stdlibGlobalAliasNameOf(lowerer, init);
     if (name === null)
         return false;
+    // Mutable global-object bindings keep real storage, even when never
+    // reassigned: var can be observed before initialization and let has TDZ.
+    if (name === "globalThis" && ts.isVariableDeclaration(nameNode.parent) &&
+        (ts.getCombinedNodeFlags(nameNode.parent) & ts.NodeFlags.Const) === 0)
+        return false;
     const symbol = lowerer.checker.getSymbolAtLocation(nameNode);
     if (!symbol)
         return false;