@scriptc/compiler 0.1.7 → 0.2.1

package/dist/frontend/lowering/class-runtime-statics.js

@@ -0,0 +1,66 @@
+import * as ts from "../ts7/adapter.js";
+import { BOOL, DYN, STRING } from "../../ir/ir.js";
+import { varRef } from "../../ir/build.js";
+import { locOf } from "../program.js";
+import { dynUndefinedExpr } from "./lowerer.js";
+import { classPrototypeData } from "./class-prototypes.js";
+export function hasRuntimeStatics(info) {
+    for (let current = info; current; current = current.base) {
+        if (current.runtimeStatics !== undefined)
+            return true;
+    }
+    return false;
+}
+/** Factory evaluations own their static fields and closures. Defining them
+ * on the constructor preserves inherited getter receivers and independent
+ * state when one factory is called repeatedly. */
+export function initializeRuntimeStatics(lowerer, info, value) {
+    if (!info.runtimeStatics && !info.runtimePrototypeMembers)
+        return value;
+    const loc = value.loc;
+    const local = lowerer.declareHiddenLocal("%staticClass", value.type);
+    const receiver = varRef(local.id, value.type, loc);
+    const boxed = lowerer.coerceToExpected(receiver, DYN);
+    const statements = [
+        { kind: "varDecl", localId: local.id, init: value, loc },
+        { kind: "exprStmt", expr: { kind: "libCall", fn: "dyn.classInherit", args: [boxed, dynUndefinedExpr(loc)], type: DYN, loc }, loc },
+    ];
+    const previousThis = lowerer.ctx.thisLocal;
+    lowerer.ctx.thisLocal = local;
+    try {
+        for (const member of [...(info.runtimeStatics ?? []), ...(info.runtimePrototypeMembers ?? [])]) {
+            if (ts.isClassStaticBlockDeclaration(member)) {
+                statements.push(...lowerer.lowerStmts(member.body.statements));
+                continue;
+            }
+            if (!member.name)
+                continue;
+            const memberLoc = locOf(member);
+            const key = ts.isComputedPropertyName(member.name)
+                ? lowerer.lowerExprExpecting(member.name.expression, DYN)
+                : lowerer.coerceToExpected({ kind: "strLit", value: member.name.text, type: STRING, loc: memberLoc }, DYN);
+            const fields = [
+                { key: "configurable", value: lowerer.coerceToExpected({ kind: "boolLit", value: true, type: BOOL, loc: memberLoc }, DYN) },
+                { key: "enumerable", value: lowerer.coerceToExpected({ kind: "boolLit", value: ts.isPropertyDeclaration(member), type: BOOL, loc: memberLoc }, DYN) },
+            ];
+            if (ts.isGetAccessorDeclaration(member) || ts.isSetAccessorDeclaration(member)) {
+                fields.push({ key: ts.isGetAccessorDeclaration(member) ? "get" : "set", value: lowerer.coerceToExpected(lowerer.lowerLambda(member), DYN) });
+            }
+            else if (ts.isMethodDeclaration(member) || ts.isPropertyDeclaration(member)) {
+                fields.push({ key: "writable", value: lowerer.coerceToExpected({ kind: "boolLit", value: true, type: BOOL, loc: memberLoc }, DYN) });
+                fields.push({ key: "value", value: ts.isMethodDeclaration(member)
+                        ? lowerer.coerceToExpected(lowerer.lowerLambda(member), DYN)
+                        : member.initializer ? lowerer.lowerExprExpecting(member.initializer, DYN) : dynUndefinedExpr(memberLoc) });
+            }
+            const target = info.runtimePrototypeMembers?.includes(member) ? classPrototypeData(lowerer, info, memberLoc, receiver) : boxed;
+            statements.push({ kind: "exprStmt", expr: { kind: "libCall", fn: "dyn.defineProperty", args: [target, key,
+                        { kind: "dynObjLit", fields: fields.map((field) => ({ key: { kind: "strLit", value: field.key, type: STRING, loc: memberLoc }, value: field.value })), type: DYN, loc: memberLoc },
+                    ], type: DYN, loc: memberLoc }, loc: memberLoc });
+        }
+    }
+    finally {
+        lowerer.ctx.thisLocal = previousThis;
+    }
+    return { kind: "seqExpr", stmts: statements, result: receiver, type: receiver.type, loc };
+}
+//# sourceMappingURL=class-runtime-statics.js.map

package/dist/frontend/lowering/class-runtime-statics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"class-runtime-statics.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-runtime-statics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAA4B,MAAM,gBAAgB,CAAC;AAC7E,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAgB,MAAM,cAAc,CAAC;AAE9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D,MAAM,UAAU,iBAAiB,CAAC,IAAe;IAC/C,KAAK,IAAI,OAAO,GAAqB,IAAI,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAC3E,IAAI,OAAO,CAAC,cAAc,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;kDAEkD;AAClD,MAAM,UAAU,wBAAwB,CAAC,OAAgB,EAAE,IAAe,EAAE,KAAa;IACvF,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,IAAI,CAAC,uBAAuB;QAAE,OAAO,KAAK,CAAC;IACxE,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,cAAc,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACtD,MAAM,UAAU,GAAa;QAC3B,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;QACxD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;KACnI,CAAC;IACF,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;IAC3C,OAAO,CAAC,GAAG,CAAC,SAAS,GAAG,KAAK,CAAC;IAC9B,IAAI,CAAC;QACH,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YAC/F,IAAI,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7C,UAAU,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;gBAC/D,SAAS;YACX,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,IAAI;gBAAE,SAAS;YAC3B,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,GAAG,GAAW,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC;gBACxD,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACzD,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,CAAC;YAC9G,MAAM,MAAM,GAAqC;gBAC/C,EAAE,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,EAAE;gBAC3H,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,EAAE;aACtJ,CAAC;YACF,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC/E,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YAC/I,CAAC;iBAAM,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9E,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;gBACrI,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;wBAC/D,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC;wBAC5D,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAChH,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,uBAAuB,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAE,CAAC,CAAC,CAAC,KAAK,CAAC;YAChI,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,GAAG;wBACvG,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE;qBACnL,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,GAAG,CAAC,SAAS,GAAG,YAAY,CAAC;IACvC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAC5F,CAAC"}

package/dist/frontend/lowering/class-static-data.d.ts

@@ -0,0 +1,6 @@
+import { type IrExpr, type SrcLoc } from "../../ir/ir.js";
+import { type ClassInfo } from "./lower-classes.js";
+import type { Lowerer } from "./lowerer.js";
+/** Expando data on an exact JS constructor. Declared statics and Function
+ * members retain their existing lowering; this bag cannot replace them. */
+export declare function classStaticDataFor(lowerer: Lowerer, info: ClassInfo, name: string, loc: SrcLoc): IrExpr | null;

package/dist/frontend/lowering/class-static-data.js

@@ -0,0 +1,56 @@
+import * as ts from "../ts7/adapter.js";
+import { BOOL, DYN } from "../../ir/ir.js";
+import { varRef } from "../../ir/build.js";
+import { isJsSourceFile } from "../program.js";
+import { findStaticOn, findGenericStaticOn } from "./lower-classes.js";
+const constructorMembers = new Set([
+    "name", "length", "prototype", "__proto__", "constructor", "call", "apply", "bind",
+    "arguments", "caller", "toString", "toLocaleString", "valueOf", "hasOwnProperty",
+    "isPrototypeOf", "propertyIsEnumerable", "__defineGetter__", "__defineSetter__",
+    "__lookupGetter__", "__lookupSetter__",
+]);
+/** Expando data on an exact JS constructor. Declared statics and Function
+ * members retain their existing lowering; this bag cannot replace them. */
+export function classStaticDataFor(lowerer, info, name, loc) {
+    if (!info.decl || !isJsSourceFile(info.decl.getSourceFile()) || name.startsWith("#") || constructorMembers.has(name))
+        return null;
+    if (findStaticOn(lowerer, info, name) || findGenericStaticOn(lowerer, info, name))
+        return null;
+    for (let c = info; c; c = c.base) {
+        if (c.decl?.members.some((m) => m.name &&
+            ts.canHaveModifiers(m) && ts.getModifiers(m)?.some((mod) => mod.kind === ts.SyntaxKind.StaticKeyword) &&
+            (ts.isComputedPropertyName(m.name) || ((ts.isIdentifier(m.name) || ts.isStringLiteral(m.name)) && m.name.text === name))))
+            return null;
+    }
+    return classStaticData(lowerer, info, loc);
+}
+function classStaticData(lowerer, info, loc) {
+    if (info.localClass || info.mixinInstance || info.generic || info.genericInstance || info.classDecorators || info.def.runtime || info.builtinEmitter || info.builtinStream || info.builtinError)
+        return null;
+    if (info.staticDataHelper === undefined) {
+        const base = info.base && !info.base.builtinError ? classStaticData(lowerer, info.base, loc) : null;
+        if (info.base && !info.base.builtinError && base === null)
+            return null;
+        const name = `%static.data.${info.def.name}`;
+        const globalId = `%g.${name}`;
+        const readyId = `${globalId}.ready`;
+        info.staticDataHelper = name;
+        lowerer.globalsList.push({ id: globalId, name: `${info.def.name}.staticData`, type: DYN, mutable: true });
+        lowerer.globalsList.push({ id: readyId, name: `${info.def.name}.staticDataReady`, type: BOOL, mutable: true });
+        const helper = {
+            name, params: [], returnType: DYN, locals: [], loc,
+            body: [
+                { kind: "if", cond: { kind: "unary", op: "!", operand: varRef(readyId, BOOL, loc), type: BOOL, loc }, then: [
+                        { kind: "assign", localId: globalId, value: base
+                                ? { kind: "libCall", fn: "dyn.objCreate", args: [base], type: DYN, loc }
+                                : { kind: "dynObjLit", fields: [], type: DYN, loc }, loc },
+                        { kind: "assign", localId: readyId, value: { kind: "boolLit", value: true, type: BOOL, loc }, loc },
+                    ], else_: null, loc },
+                { kind: "return", value: varRef(globalId, DYN, loc), loc },
+            ],
+        };
+        lowerer.liftedFns.push(helper);
+    }
+    return { kind: "call", callee: info.staticDataHelper, args: [], type: DYN, loc };
+}
+//# sourceMappingURL=class-static-data.js.map

package/dist/frontend/lowering/class-static-data.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"class-static-data.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-static-data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,GAAG,EAA6C,MAAM,gBAAgB,CAAC;AACtF,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,mBAAmB,EAAkB,MAAM,oBAAoB,CAAC;AAGvF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;IAClF,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,gBAAgB,EAAE,SAAS,EAAE,gBAAgB;IAChF,eAAe,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,kBAAkB;IAC/E,kBAAkB,EAAE,kBAAkB;CACvC,CAAC,CAAC;AAEH;2EAC2E;AAC3E,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAe,EAAE,IAAY,EAAE,GAAW;IAC7F,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClI,IAAI,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/F,KAAK,IAAI,CAAC,GAAqB,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACnD,IAAI,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI;YACpC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;YACrG,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAC3I,CAAC;IACD,OAAO,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,eAAe,CAAC,OAAgB,EAAE,IAAe,EAAE,GAAW;IACrE,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAC7M,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACpG,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACvE,MAAM,IAAI,GAAG,gBAAgB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAG,MAAM,IAAI,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,GAAG,QAAQ,QAAQ,CAAC;QACpC,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC;QAC7B,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,aAAa,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1G,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/G,MAAM,MAAM,GAAe;YACzB,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG;YAClD,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE;wBAC1G,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI;gCAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gCACxE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;wBAC5D,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;qBACpG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrB,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;aAC3D;SACF,CAAC;QACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACnF,CAAC"}

package/dist/frontend/lowering/containers/buffer-numeric-methods.d.ts

@@ -0,0 +1,4 @@
+/** The fixed-width Buffer numeric methods by source name → the readNum/
+ * writeNum kind token. Node declares BOTH capitalizations ("UInt" is the
+ * original, "Uint" the aliased spelling) — the tables carry both. */
+export declare const BUF_NUM_METHODS: Record<string, string | undefined>;

package/dist/frontend/lowering/containers/buffer-numeric-methods.js

@@ -0,0 +1,26 @@
+/** The fixed-width Buffer numeric methods by source name → the readNum/
+ * writeNum kind token. Node declares BOTH capitalizations ("UInt" is the
+ * original, "Uint" the aliased spelling) — the tables carry both. */
+export const BUF_NUM_METHODS = (() => {
+    const out = {};
+    for (const rw of ["read", "write"]) {
+        for (const u of ["UInt", "Uint"]) {
+            out[`${rw}${u}8`] = "u8";
+            out[`${rw}${u}16BE`] = "u16be";
+            out[`${rw}${u}16LE`] = "u16le";
+            out[`${rw}${u}32BE`] = "u32be";
+            out[`${rw}${u}32LE`] = "u32le";
+        }
+        out[`${rw}Int8`] = "i8";
+        out[`${rw}Int16BE`] = "i16be";
+        out[`${rw}Int16LE`] = "i16le";
+        out[`${rw}Int32BE`] = "i32be";
+        out[`${rw}Int32LE`] = "i32le";
+        out[`${rw}FloatBE`] = "f32be";
+        out[`${rw}FloatLE`] = "f32le";
+        out[`${rw}DoubleBE`] = "f64be";
+        out[`${rw}DoubleLE`] = "f64le";
+    }
+    return out;
+})();
+//# sourceMappingURL=buffer-numeric-methods.js.map

package/dist/frontend/lowering/containers/buffer-numeric-methods.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"buffer-numeric-methods.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/containers/buffer-numeric-methods.ts"],"names":[],"mappings":"AAAA;;qEAEqE;AACrE,MAAM,CAAC,MAAM,eAAe,GAAuC,CAAC,GAAG,EAAE;IACvE,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QACnC,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;YACjC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;YACzB,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC;YAC/B,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC;YAC/B,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC;YAC/B,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC;QACjC,CAAC;QACD,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC;QACxB,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,OAAO,CAAC;QAC9B,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,OAAO,CAAC;QAC9B,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,OAAO,CAAC;QAC9B,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,OAAO,CAAC;QAC9B,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,OAAO,CAAC;QAC9B,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,OAAO,CAAC;QAC9B,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,OAAO,CAAC;QAC/B,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,OAAO,CAAC;IACjC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC,EAAE,CAAC"}

package/dist/frontend/lowering/containers/bytes.d.ts

@@ -1,20 +1,24 @@
 import * as ts from "../../ts7/adapter.js";
-import { IrExpr } from "../../../ir/ir.js";
+import { type IrExpr } from "../../../ir/ir.js";
 import type { Lowerer } from "../lowerer.js";
-/** `new Uint8Array(...)` / `new Uint32Array(...)` / `new Float32Array(...)` / `new Float64Array(...)`
+/** Numeric typed-array constructors
    * (stdlib provenance — a user's own class with the name resolves through
    * classBySymbol). Lowered argument shapes: none (empty), a length
    * (zero-filled; ToIndex at runtime — invalid lengths throw Node's
-   * RangeError), a same-kind typed array or Buffer (an independent COPY —
+   * RangeError), a numeric typed array or Buffer (an independent COPY —
    * the readFile chain's `new Uint8Array(await readFile(p))`), a number[]
    * literal (element-coerced; its contextual type is the lib's
    * ArrayLike/Iterable union, which cannot map — the Set-seed pattern), or
-   * a number[]-typed value. ArrayBuffer/view forms are fenced: scriptc
-   * typed arrays own their storage. Null when this isn't a stdlib
+   * a number[]-typed value, or checked native input with runtime length /
+   * array-like dispatch. ArrayBuffer inputs create shared views.
+   * Null when this isn't a stdlib
    * typed-array construction. */
 export declare function lowerBytesNew(lowerer: Lowerer, expr: ts.NewExpression, symbol: ts.Symbol | null | undefined): IrExpr | null;
-/** Method calls on typed-array/Buffer receivers: slice and subarray (BOTH
-   * copy — subarray's sharing is the documented divergence), set(src,
+/** TypedArray.from without a mapping callback. Preserve its iterable /
+ * array-like semantics separately from constructor length coercion. */
+export declare function lowerBytesStaticCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** Method calls on typed-array/Buffer receivers: slice (copy), subarray
+   * (shared view), copyWithin, set(src,
    * offset?), and the u8-only Buffer surface: toString(enc?) plus the
    * whole numeric read/write family (fixed widths BE/LE and the
    * variable-width read/writeUIntLE quartet — BUF_NUM_METHODS). Everything