@scriptc/compiler 0.1.7 → 0.2.1

package/dist/frontend/lowering/runtime-optional-locals.test.js

@@ -0,0 +1,85 @@
+import { expect, test } from "vitest";
+import { F64 } from "../../ir/ir.js";
+import { RuntimeOptionalLocals } from "./runtime-optional-locals.js";
+const local = (id) => ({ id, name: id, type: F64, mutable: true });
+test("scope exit restores entry facts and keeps surviving assignments", () => {
+    const facts = new RuntimeOptionalLocals();
+    const outer = local("outer"), added = local("added"), temporary = local("temporary");
+    facts.add(outer);
+    facts.beginScope();
+    expect(facts.delete(outer)).toBe(true);
+    expect(facts.delete(outer)).toBe(false);
+    facts.add(added);
+    facts.add(temporary);
+    facts.delete(temporary);
+    facts.endScope();
+    expect(facts.has(outer)).toBe(true);
+    expect(facts.has(added)).toBe(true);
+    expect(facts.has(temporary)).toBe(false);
+});
+test("nested restores preserve the original entry generation", () => {
+    const facts = new RuntimeOptionalLocals();
+    const value = local("value");
+    facts.add(value);
+    facts.beginScope();
+    facts.beginScope();
+    facts.delete(value);
+    facts.add(value);
+    facts.endScope();
+    facts.delete(value);
+    facts.endScope();
+    expect(facts.has(value)).toBe(true);
+});
+test("an absent outer member added and removed inside a child stays absent until the outer exit", () => {
+    const facts = new RuntimeOptionalLocals();
+    const value = local("value");
+    facts.add(value);
+    facts.beginScope();
+    facts.delete(value);
+    facts.beginScope();
+    facts.add(value);
+    facts.delete(value);
+    facts.endScope();
+    expect(facts.has(value)).toBe(false);
+    facts.endScope();
+    expect(facts.has(value)).toBe(true);
+    expect(() => facts.endScope()).toThrow("not open");
+});
+test("nested operations agree with snapshot-and-union restoration", () => {
+    const values = Array.from({ length: 12 }, (_, index) => local(String(index)));
+    const facts = new RuntimeOptionalLocals();
+    const reference = new Set();
+    const snapshots = [];
+    let random = 0xabc123;
+    for (let step = 0; step < 12000; step++) {
+        random = (Math.imul(random, 1664525) + 1013904223) >>> 0;
+        const value = values[(random >>> 8) % values.length];
+        const action = random % 6;
+        if (action === 0 && snapshots.length < 12) {
+            snapshots.push([...reference]);
+            facts.beginScope();
+        }
+        else if (action === 1 && snapshots.length > 0) {
+            for (const entry of snapshots.pop())
+                reference.add(entry);
+            facts.endScope();
+        }
+        else if (action < 4) {
+            reference.add(value);
+            facts.add(value);
+        }
+        else {
+            expect(facts.delete(value)).toBe(reference.delete(value));
+        }
+        for (const entry of values)
+            expect(facts.has(entry), `step ${step}, local ${entry.id}`).toBe(reference.has(entry));
+    }
+    while (snapshots.length > 0) {
+        for (const entry of snapshots.pop())
+            reference.add(entry);
+        facts.endScope();
+    }
+    for (const entry of values)
+        expect(facts.has(entry)).toBe(reference.has(entry));
+});
+//# sourceMappingURL=runtime-optional-locals.test.js.map

package/dist/frontend/lowering/runtime-optional-locals.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-optional-locals.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/runtime-optional-locals.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,GAAG,EAAgB,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAErE,MAAM,KAAK,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;AAEpF,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,KAAK,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IACrF,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjB,KAAK,CAAC,UAAU,EAAE,CAAC;IACnB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjB,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACrB,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACxB,KAAK,CAAC,QAAQ,EAAE,CAAC;IACjB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,KAAK,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjB,KAAK,CAAC,UAAU,EAAE,CAAC;IACnB,KAAK,CAAC,UAAU,EAAE,CAAC;IACnB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjB,KAAK,CAAC,QAAQ,EAAE,CAAC;IACjB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpB,KAAK,CAAC,QAAQ,EAAE,CAAC;IACjB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2FAA2F,EAAE,GAAG,EAAE;IACrG,MAAM,KAAK,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjB,KAAK,CAAC,UAAU,EAAE,CAAC;IACnB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpB,KAAK,CAAC,UAAU,EAAE,CAAC;IACnB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpB,KAAK,CAAC,QAAQ,EAAE,CAAC;IACjB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,KAAK,CAAC,QAAQ,EAAE,CAAC;IACjB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAC1C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAW,CAAC;IACrC,MAAM,SAAS,GAAgB,EAAE,CAAC;IAClC,IAAI,MAAM,GAAG,QAAQ,CAAC;IACtB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAE,CAAC;QACtD,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,CAAC;QAC1B,IAAI,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YAC1C,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC;YAC/B,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,CAAC;aAAM,IAAI,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChD,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,GAAG,EAAG;gBAAE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC3D,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,CAAC;aAAM,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACrB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5D,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM;YAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,QAAQ,IAAI,WAAW,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACrH,CAAC;IACD,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,GAAG,EAAG;YAAE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3D,KAAK,CAAC,QAAQ,EAAE,CAAC;IACnB,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AAClF,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/sanitize-class-types.d.ts

@@ -0,0 +1,8 @@
+import { type IrModule } from "../../ir/ir.js";
+/** Replace inert instance slots left by runtime-fenced class declarations.
+ * Construction of an unregistered class already traps, but its remaining
+ * storage types must agree across declarations, signatures and expressions.
+ * Keep class values and node-level class names for the validator to check.
+ * Traverse typed IR directly: boxing a whole module into unknown recursively
+ * copies its records and makes this pass costly in the native compiler. */
+export declare function sanitizeUnregisteredClassTypes(module: IrModule, hasClass: (name: string) => boolean): void;

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

@@ -0,0 +1,79 @@
+import { F64 } from "../../ir/ir.js";
+import { everyStmtList } from "../../ir/traverse.js";
+/** Replace inert instance slots left by runtime-fenced class declarations.
+ * Construction of an unregistered class already traps, but its remaining
+ * storage types must agree across declarations, signatures and expressions.
+ * Keep class values and node-level class names for the validator to check.
+ * Traverse typed IR directly: boxing a whole module into unknown recursively
+ * copies its records and makes this pass costly in the native compiler. */
+export function sanitizeUnregisteredClassTypes(module, hasClass) {
+    const rewrite = (type) => {
+        switch (type.kind) {
+            case "object":
+                return hasClass(type.className) ? type : F64;
+            case "array":
+            case "set":
+                type.elem = rewrite(type.elem);
+                break;
+            case "map":
+                type.key = rewrite(type.key);
+                type.value = rewrite(type.value);
+                break;
+            case "func":
+                for (let i = 0; i < type.params.length; i++)
+                    type.params[i] = rewrite(type.params[i]);
+                type.ret = rewrite(type.ret);
+                break;
+            case "promise":
+                type.inner = rewrite(type.inner);
+                break;
+            case "generator":
+                type.yieldT = rewrite(type.yieldT);
+                type.retT = rewrite(type.retT);
+                type.nextT = rewrite(type.nextT);
+                break;
+        }
+        // Record and union references use IDs. Visit each definition below,
+        // without following those edges through recursive type graphs.
+        return type;
+    };
+    for (const global of module.globals ?? [])
+        global.type = rewrite(global.type);
+    for (const cls of module.classes ?? []) {
+        for (const field of cls.fields)
+            field.type = rewrite(field.type);
+        for (const capture of cls.localCaptures ?? [])
+            capture.type = rewrite(capture.type);
+    }
+    for (const record of module.records ?? []) {
+        for (const field of record.fields)
+            field.type = rewrite(field.type);
+        if (record.indexValue)
+            record.indexValue = rewrite(record.indexValue);
+    }
+    for (const union of module.unions ?? []) {
+        for (let i = 0; i < union.arms.length; i++)
+            union.arms[i] = rewrite(union.arms[i]);
+    }
+    for (const fn of module.functions) {
+        fn.returnType = rewrite(fn.returnType);
+        for (const param of fn.params)
+            param.type = rewrite(param.type);
+        for (const local of fn.locals)
+            local.type = rewrite(local.type);
+        for (const capture of fn.captures ?? [])
+            capture.type = rewrite(capture.type);
+        for (const capture of fn.classCaptures ?? [])
+            capture.type = rewrite(capture.type);
+        if (fn.generator) {
+            fn.generator.yieldT = rewrite(fn.generator.yieldT);
+            fn.generator.nextT = rewrite(fn.generator.nextT);
+            // resultType is a record reference; its fields are visited above.
+        }
+        everyStmtList(fn.body, {
+            expr: (expr) => { expr.type = rewrite(expr.type); return true; },
+            stmt: () => true,
+        });
+    }
+}
+//# sourceMappingURL=sanitize-class-types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"sanitize-class-types.js","sourceRoot":"","sources":["../../../src/frontend/lowering/sanitize-class-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAA8B,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAErD;;;;;2EAK2E;AAC3E,MAAM,UAAU,8BAA8B,CAAC,MAAgB,EAAE,QAAmC;IAClG,MAAM,OAAO,GAAG,CAAC,IAAY,EAAU,EAAE;QACvC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;YAC/C,KAAK,OAAO,CAAC;YACb,KAAK,KAAK;gBACR,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/B,MAAM;YACR,KAAK,KAAK;gBACR,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC7B,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACjC,MAAM;YACR,KAAK,MAAM;gBACT,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;oBAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;gBACvF,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC7B,MAAM;YACR,KAAK,SAAS;gBACZ,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACjC,MAAM;YACR,KAAK,WAAW;gBACd,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACnC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/B,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACjC,MAAM;QACV,CAAC;QACD,oEAAoE;QACpE,+DAA+D;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,IAAI,EAAE;QAAE,MAAM,CAAC,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9E,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACvC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjE,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,aAAa,IAAI,EAAE;YAAE,OAAO,CAAC,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACtF,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QAC1C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,MAAM,CAAC,UAAU;YAAE,MAAM,CAAC,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACxE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IACtF,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QAClC,EAAE,CAAC,UAAU,GAAG,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;QACvC,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChE,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChE,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE;YAAE,OAAO,CAAC,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9E,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,aAAa,IAAI,EAAE;YAAE,OAAO,CAAC,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACnF,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;YACjB,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YACnD,EAAE,CAAC,SAAS,CAAC,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACjD,kEAAkE;QACpE,CAAC;QACD,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;YAChE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;SACjB,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

package/dist/frontend/lowering/sanitize-class-types.test.d.ts

@@ -0,0 +1 @@
+export {};

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
@@ -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
@@ -253,6 +258,8 @@ export declare const AMBIENT_SURFACE_FNS: readonly AmbientSurfaceRow[];
 /** One MEMBER's table entry, own-property-safe (`path.toString` must not
  * answer Object.prototype.toString as a BuiltinModuleFn). */
 export declare function builtinModuleFnOf(lowerer: Lowerer, module: string, member: string): BuiltinModuleFn | undefined;
+/** Native error-first function values used by platform service adapters. */
+export declare const FS_CALLBACK_MEMBERS: Set<string>;
 /** 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;