@scriptc/compiler 0.2.5 → 0.2.6

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

@@ -0,0 +1,65 @@
+import * as ts from "../../ts7/adapter.js";
+import { locOf } from "../../program.js";
+import { resolve } from "node:path";
+import { isWorkerConstructor, workerModulePath } from "../../worker-target.js";
+import { tsgoPath } from "../../dts-paths.js";
+import { BOOL, DYN, F64, STRING, UNDEFINED_T, isFfiCallbackParam, } from "../../../ir/ir.js";
+export function lowerWorkerMetadata(member, loc) {
+    switch (member) {
+        case "isMainThread":
+            return { kind: "libCall", fn: "worker.isMainThread", args: [], type: BOOL, loc };
+        case "threadId":
+            return { kind: "libCall", fn: "worker.threadId", args: [], type: F64, loc };
+        case "workerData":
+            return { kind: "libCall", fn: "worker.data", args: [], type: DYN, loc };
+        case "parentPort":
+            return { kind: "libCall", fn: "worker.parentPort", args: [], type: DYN, loc };
+        case "isInternalThread":
+            return { kind: "boolLit", value: false, type: BOOL, loc };
+        default:
+            return null;
+    }
+}
+export function lowerWorkerNew(lowerer, expression) {
+    const constructor = expression.expression;
+    if (!isWorkerConstructor(lowerer.program, constructor))
+        return null;
+    const args = expression.arguments ?? [];
+    if (args.length < 1 || args.length > 2 || args.some(ts.isSpreadElement)) {
+        lowerer.noLowering("Worker constructor arguments", expression, "use new Worker(filename, options?)");
+    }
+    const filename = args[0];
+    const path = workerModulePath(lowerer.program, filename);
+    const root = path === null ? undefined : lowerer.workerTargetIdByPath.get(tsgoPath(resolve(path)));
+    if (root === undefined) {
+        lowerer.noLowering("this Worker entry point", filename, "the worker entry must resolve to a statically compiled source file");
+    }
+    if (lowerer.dynamic || lowerer.targetPlatform === "wasi") {
+        lowerer.noLowering("Worker execution in this target", expression, "use a native static executable");
+    }
+    if (lowerer.ffiImports.some((entry) => entry.params.some((parameter) => isFfiCallbackParam(parameter) && parameter.callback.invoke === "foreign"))) {
+        lowerer.noLowering("workers with foreign-thread native callbacks", expression, "native callbacks in worker executables must run on their owning script thread");
+    }
+    lowerer.usesWorkers = true;
+    const loc = locOf(expression);
+    const options = args[1]
+        ? lowerer.lowerExprExpecting(args[1], DYN)
+        : {
+            kind: "dynFrom",
+            value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc },
+            type: DYN,
+            loc,
+        };
+    return {
+        kind: "libCall",
+        fn: "worker.new",
+        args: [
+            { kind: "numLit", value: root, type: F64, loc },
+            { kind: "strLit", value: path, type: STRING, loc },
+            options,
+        ],
+        type: DYN,
+        loc,
+    };
+}
+//# sourceMappingURL=workers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workers.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/workers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/E,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EACN,WAAW,EACX,kBAAkB,GAGnB,MAAM,mBAAmB,CAAC;AAG3B,MAAM,UAAU,mBAAmB,CAAC,MAAc,EAAE,GAAW;IAC7D,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,cAAc;YACjB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACnF,KAAK,UAAU;YACb,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC9E,KAAK,YAAY;YACf,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC1E,KAAK,YAAY;YACf,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAChF,KAAK,kBAAkB;YACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC5D;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAAgB,EAAE,UAA4B;IAC3E,MAAM,WAAW,GAAG,UAAU,CAAC,UAAU,CAAC;IAC1C,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,IAAI,EAAE,CAAC;IACxC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACxE,OAAO,CAAC,UAAU,CAChB,8BAA8B,EAC9B,UAAU,EACV,oCAAoC,CACrC,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzD,MAAM,IAAI,GACR,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,CAAC,UAAU,CAChB,yBAAyB,EACzB,QAAQ,EACR,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;QACzD,OAAO,CAAC,UAAU,CAChB,iCAAiC,EACjC,UAAU,EACV,gCAAgC,CACjC,CAAC;IACJ,CAAC;IACD,IACE,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAChC,KAAK,CAAC,MAAM,CAAC,IAAI,CACf,CAAC,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CACxF,CACF,EACD,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,8CAA8C,EAC9C,UAAU,EACV,+EAA+E,CAChF,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAW,IAAI,CAAC,CAAC,CAAC;QAC7B,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QAC1C,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;YACrE,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACN,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC/C,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YACnD,OAAO;SACR;QACD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/class-assertions.d.ts

@@ -0,0 +1,7 @@
+import { type IrExpr, type IrType, type SrcLoc } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+/** Assertions cannot prove a subclass layout. Check the stored class before
+ * exposing descendant fields, preserving identity and one operand evaluation. */
+export declare function checkedClassAssertion(lowerer: Lowerer, value: IrExpr, target: IrType & {
+    kind: "object";
+}, loc: SrcLoc): IrExpr | null;

package/dist/frontend/lowering/class-assertions.js

@@ -0,0 +1,96 @@
+import { nodeThrowExpr, varRef } from "../../ir/build.js";
+import { BOOL, typeEquals, typeKey, } from "../../ir/ir.js";
+/** Assertions cannot prove a subclass layout. Check the stored class before
+ * exposing descendant fields, preserving identity and one operand evaluation. */
+export function checkedClassAssertion(lowerer, value, target, loc) {
+    const source = value;
+    const compatible = (type) => type.kind === "object" &&
+        (typeEquals(type, target) ||
+            lowerer.isSubclassOf(type.className, target.className) ||
+            lowerer.isSubclassOf(target.className, type.className));
+    const failure = () => nodeThrowExpr(1, "", `Value is not an instance of '${lowerer.fmt(target)}'`, target, loc);
+    const convert = (input) => {
+        if (input.type.kind !== "object")
+            return failure();
+        if (typeEquals(input.type, target))
+            return input;
+        if (lowerer.isSubclassOf(input.type.className, target.className))
+            return { kind: "upcast", value: input, type: target, loc };
+        return {
+            kind: "ternary",
+            cond: { kind: "instanceOf", value: input, className: target.className, type: BOOL, loc },
+            then: { kind: "downcast", value: input, type: target, loc },
+            else_: failure(),
+            type: target,
+            loc,
+        };
+    };
+    const union = source.type.kind === "union" ? lowerer.unions.get(source.type.unionId) : null;
+    if (union) {
+        if (!union.arms.some(compatible))
+            return null;
+    }
+    else {
+        if (!compatible(source.type))
+            return null;
+        if (typeEquals(source.type, target))
+            return source;
+        if (lowerer.isSubclassOf(source.type.className, target.className))
+            return convert(source);
+    }
+    const key = `classassert:${typeKey(source.type)}:${typeKey(target)}`;
+    let name = lowerer.coercions.retags.get(key);
+    if (!name) {
+        name = `%class.assert.${lowerer.coercions.retags.size}`;
+        lowerer.coercions.retags.set(key, name);
+        const input = varRef("value.0", source.type, loc);
+        const body = [];
+        const locals = [{ id: "value.0", name: "value", type: source.type, mutable: false }];
+        if (union) {
+            for (let tag = 0; tag < union.arms.length; tag++) {
+                const arm = union.arms[tag];
+                if (!compatible(arm))
+                    continue;
+                const localId = `arm.${tag}`;
+                locals.push({ id: localId, name: "arm", type: arm, mutable: false });
+                body.push({
+                    kind: "if",
+                    cond: {
+                        kind: "unionIsTag",
+                        unionId: union.id,
+                        tag,
+                        negated: false,
+                        value: input,
+                        type: BOOL,
+                        loc,
+                    },
+                    then: [
+                        {
+                            kind: "varDecl",
+                            localId,
+                            init: { kind: "unionNarrow", unionId: union.id, tag, value: input, type: arm, loc },
+                            loc,
+                        },
+                        { kind: "return", value: convert(varRef(localId, arm, loc)), loc },
+                    ],
+                    else_: null,
+                    loc,
+                });
+            }
+            body.push({ kind: "return", value: failure(), loc });
+        }
+        else {
+            body.push({ kind: "return", value: convert(input), loc });
+        }
+        lowerer.liftedFns.push({
+            name,
+            params: [{ localId: "value.0", name: "value", type: source.type }],
+            locals,
+            returnType: target,
+            body,
+            loc,
+        });
+    }
+    return { kind: "call", callee: name, args: [source], type: target, loc };
+}
+//# sourceMappingURL=class-assertions.js.map

package/dist/frontend/lowering/class-assertions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"class-assertions.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-assertions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EACL,IAAI,EAKJ,UAAU,EACV,OAAO,GACR,MAAM,gBAAgB,CAAC;AAGxB;iFACiF;AACjF,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,KAAa,EACb,MAAmC,EACnC,GAAW;IAEX,MAAM,MAAM,GAAG,KAAK,CAAC;IACrB,MAAM,UAAU,GAAG,CAAC,IAAY,EAAuC,EAAE,CACvE,IAAI,CAAC,IAAI,KAAK,QAAQ;QACtB,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC;YACvB,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC;YACtD,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,GAAW,EAAE,CAC3B,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,gCAAgC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5F,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE;QACxC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,OAAO,EAAE,CAAC;QACnD,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QACjD,IAAI,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC;YAC9D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC7D,OAAO;YACL,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACxF,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YAC3D,KAAK,EAAE,OAAO,EAAE;YAChB,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5F,IAAI,KAAK,EAAE,CAAC;QACV,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;IAChD,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1C,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC;QACnD,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5F,CAAC;IACD,MAAM,GAAG,GAAG,eAAe,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;IACrE,IAAI,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,iBAAiB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACxD,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAClD,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACrF,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;gBACjD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;gBAC7B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC/B,MAAM,OAAO,GAAG,OAAO,GAAG,EAAE,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;gBACrE,IAAI,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,YAAY;wBAClB,OAAO,EAAE,KAAK,CAAC,EAAE;wBACjB,GAAG;wBACH,OAAO,EAAE,KAAK;wBACd,KAAK,EAAE,KAAK;wBACZ,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,SAAS;4BACf,OAAO;4BACP,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;4BACnF,GAAG;yBACJ;wBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE;qBACnE;oBACD,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ,CAAC,CAAC;YACL,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QACvD,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5D,CAAC;QACD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;YAClE,MAAM;YACN,UAAU,EAAE,MAAM;YAClB,IAAI;YACJ,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC3E,CAAC"}

package/dist/frontend/lowering/class-protocols.d.ts

@@ -0,0 +1,17 @@
+import * as ts from "../ts7/adapter.js";
+/** Index only program classes. Ambient declarations describe APIs, not
+ * compiled implementations, and must not change a protocol's storage. */
+export declare class ClassProtocols {
+    private readonly checker;
+    private readonly sources;
+    private implemented;
+    private readonly methods;
+    private readonly answers;
+    constructor(checker: ts.TypeChecker, sources: readonly ts.SourceFile[]);
+    private index;
+    /** Class-backed protocols require live receiver dispatch. Other interfaces,
+     * including factories backed by static methods and ordinary records of
+     * closures, retain their fixed native layouts. */
+    usesCheckedIdentity(type: ts.Type): boolean;
+    private protocol;
+}

package/dist/frontend/lowering/class-protocols.js

@@ -0,0 +1,126 @@
+import * as ts from "../ts7/adapter.js";
+import { isGenericCallableMemberType } from "../type-mapper.js";
+/** Index only program classes. Ambient declarations describe APIs, not
+ * compiled implementations, and must not change a protocol's storage. */
+export class ClassProtocols {
+    checker;
+    sources;
+    implemented = null;
+    methods = new Map();
+    answers = new Map();
+    constructor(checker, sources) {
+        this.checker = checker;
+        this.sources = sources;
+    }
+    index() {
+        if (this.implemented !== null)
+            return this.implemented;
+        const protocols = new Set();
+        this.implemented = protocols;
+        const add = (type) => {
+            const symbol = type.getSymbol();
+            if (!symbol || protocols.has(symbol))
+                return;
+            protocols.add(symbol);
+            const target = type.isTypeReference() ? type.getTarget() : type;
+            if (target?.isClassOrInterface())
+                this.checker.getBaseTypes(target).forEach(add);
+        };
+        const usesReceiver = (node) => node.kind === ts.SyntaxKind.ThisKeyword || ts.forEachChild(node, usesReceiver) === true;
+        const visit = (node) => {
+            if (ts.isClassDeclaration(node) || ts.isClassExpression(node)) {
+                for (const clause of node.heritageClauses ?? [])
+                    if (clause.token === ts.SyntaxKind.ImplementsKeyword)
+                        for (const protocol of clause.types)
+                            add(this.checker.getTypeAtLocation(protocol));
+                const symbol = node.name ? this.checker.getSymbolAtLocation(node.name) : undefined;
+                const instance = symbol ? this.checker.getDeclaredTypeOfSymbol(symbol) : undefined;
+                for (const property of instance ? this.checker.getPropertiesOfType(instance) : []) {
+                    if (!this.checker
+                        .declarationsOf(property)
+                        .some((member) => ts.isMethodDeclaration(member) &&
+                        !member.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.StaticKeyword)))
+                        continue;
+                    const entries = this.methods.get(property.name) ?? [];
+                    entries.push(node);
+                    this.methods.set(property.name, entries);
+                }
+            }
+            if (ts.isObjectLiteralExpression(node) &&
+                node.properties.some((property) => (ts.isMethodDeclaration(property) ||
+                    ts.isGetAccessorDeclaration(property) ||
+                    ts.isSetAccessorDeclaration(property)) &&
+                    property.body !== undefined &&
+                    usesReceiver(property.body))) {
+                // Receiver-dependent methods and accessors need a live object even
+                // without a class implementation. Receiver-free methods keep their
+                // native callable fields, including async callbacks crossing islands.
+                add(this.checker.getTypeAtLocation(node));
+                const contextual = this.checker.getContextualType(node);
+                if (contextual)
+                    add(contextual);
+            }
+            ts.forEachChild(node, visit);
+        };
+        for (const source of this.sources)
+            if (!source.isDeclarationFile)
+                visit(source);
+        return protocols;
+    }
+    /** Class-backed protocols require live receiver dispatch. Other interfaces,
+     * including factories backed by static methods and ordinary records of
+     * closures, retain their fixed native layouts. */
+    usesCheckedIdentity(type) {
+        if (type.isUnionType()) {
+            const present = ts
+                .constituentTypes(type)
+                .filter((part) => (part.flags & (ts.TypeFlags.Undefined | ts.TypeFlags.Null)) === 0);
+            return present.length > 0 && present.every((part) => this.usesCheckedIdentity(part));
+        }
+        if (type.isIntersectionType())
+            return ts.constituentTypes(type).some((part) => this.usesCheckedIdentity(part));
+        if ((type.flags & ts.TypeFlags.Object) === 0)
+            return false;
+        const previous = this.answers.get(type);
+        if (previous !== undefined)
+            return previous;
+        const answer = this.protocol(type);
+        this.answers.set(type, answer);
+        return answer;
+    }
+    protocol(type) {
+        const protocols = this.index();
+        const symbol = type.getSymbol();
+        const properties = this.checker.getPropertiesOfType(type);
+        // Generic-only members have no single runtime callable signature. Keep
+        // their existing declaration-based specialization and refusal boundary.
+        if (properties.length > 0 &&
+            properties.every((property) => isGenericCallableMemberType(this.checker.getTypeOfSymbol(property), this.checker)))
+            return false;
+        if (symbol && protocols.has(symbol))
+            return true;
+        if (!symbol ||
+            !this.checker
+                .declarationsOf(symbol)
+                .some((declaration) => ts.isInterfaceDeclaration(declaration) &&
+                !declaration.getSourceFile().isDeclarationFile))
+            return false;
+        for (const property of properties) {
+            const memberType = this.checker.getTypeOfSymbol(property);
+            if (isGenericCallableMemberType(memberType, this.checker))
+                continue;
+            if (this.checker.getCallSignatures(memberType).length === 0)
+                continue;
+            for (const declaration of this.methods.get(property.name) ?? []) {
+                const classSymbol = declaration.name
+                    ? this.checker.getSymbolAtLocation(declaration.name)
+                    : undefined;
+                if (classSymbol &&
+                    this.checker.isTypeAssignableTo(this.checker.getDeclaredTypeOfSymbol(classSymbol), type))
+                    return true;
+            }
+        }
+        return false;
+    }
+}
+//# sourceMappingURL=class-protocols.js.map

package/dist/frontend/lowering/class-protocols.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"class-protocols.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-protocols.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAEhE;yEACyE;AACzE,MAAM,OAAO,cAAc;IAMN,OAAO;IACP,OAAO;IANlB,WAAW,GAA0B,IAAI,CAAC;IACjC,OAAO,GAAG,IAAI,GAAG,EAAqC,CAAC;IACvD,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAEvD,YACmB,OAAuB,EACvB,OAAiC;uBADjC,OAAO;uBACP,OAAO;IACvB,CAAC;IAEI,KAAK;QACX,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC;QACvD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAa,CAAC;QACvC,IAAI,CAAC,WAAW,GAAG,SAAS,CAAC;QAC7B,MAAM,GAAG,GAAG,CAAC,IAAa,EAAQ,EAAE;YAClC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAChC,IAAI,CAAC,MAAM,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,OAAO;YAC7C,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACtB,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YAChE,IAAI,MAAM,EAAE,kBAAkB,EAAE;gBAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACnF,CAAC,CAAC;QACF,MAAM,YAAY,GAAG,CAAC,IAAa,EAAW,EAAE,CAC9C,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,KAAK,IAAI,CAAC;QAC1F,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YACpC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9D,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,eAAe,IAAI,EAAE;oBAC7C,IAAI,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;wBAClD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,KAAK;4BAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACvF,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACnF,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACnF,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;oBAClF,IACE,CAAC,IAAI,CAAC,OAAO;yBACV,cAAc,CAAC,QAAQ,CAAC;yBACxB,IAAI,CACH,CAAC,MAAM,EAAE,EAAE,CACT,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;wBAC9B,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CACrB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAC5D,CACJ;wBAEH,SAAS;oBACX,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;oBACtD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACnB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC3C,CAAC;YACH,CAAC;YACD,IACE,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;gBAClC,IAAI,CAAC,UAAU,CAAC,IAAI,CAClB,CAAC,QAAQ,EAAE,EAAE,CACX,CAAC,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC;oBAC/B,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC;oBACrC,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC;oBACxC,QAAQ,CAAC,IAAI,KAAK,SAAS;oBAC3B,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAC9B,EACD,CAAC;gBACD,mEAAmE;gBACnE,mEAAmE;gBACnE,sEAAsE;gBACtE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;gBACxD,IAAI,UAAU;oBAAE,GAAG,CAAC,UAAU,CAAC,CAAC;YAClC,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,MAAM,CAAC,iBAAiB;gBAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAChF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;sDAEkD;IAClD,mBAAmB,CAAC,IAAa;QAC/B,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,EAAE;iBACf,gBAAgB,CAAC,IAAI,CAAC;iBACtB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YACvF,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,IAAI,CAAC,kBAAkB,EAAE;YAC3B,OAAO,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;QAClF,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/B,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,QAAQ,CAAC,IAAa;QAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC1D,uEAAuE;QACvE,wEAAwE;QACxE,IACE,UAAU,CAAC,MAAM,GAAG,CAAC;YACrB,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC5B,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAClF;YAED,OAAO,KAAK,CAAC;QACf,IAAI,MAAM,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QACjD,IACE,CAAC,MAAM;YACP,CAAC,IAAI,CAAC,OAAO;iBACV,cAAc,CAAC,MAAM,CAAC;iBACtB,IAAI,CACH,CAAC,WAAW,EAAE,EAAE,CACd,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC;gBACtC,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC,iBAAiB,CACjD;YAEH,OAAO,KAAK,CAAC;QACf,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;YAC1D,IAAI,2BAA2B,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC;gBAAE,SAAS;YACpE,IAAI,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACtE,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBAChE,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI;oBAClC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,WAAW,CAAC,IAAI,CAAC;oBACpD,CAAC,CAAC,SAAS,CAAC;gBACd,IACE,WAAW;oBACX,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC;oBAExF,OAAO,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;CACF"}

package/dist/frontend/lowering/containers/array-callbacks.d.ts

@@ -50,21 +50,17 @@ export declare function lowerArrayReduceCall(lowerer: Lowerer, call: ts.CallExpr
  * function like the other array HOFs. sort mutates and returns the receiver;
  * toSorted takes its shallow snapshot INSIDE the helper, after the receiver
  * and comparator expressions have both been evaluated, then sorts and
- * returns that copy without touching the receiver. The helper uses a stable
- * bottom-up merge sort with an ordered-boundary check: ordered inputs use a
- * linear number of comparator calls, but buffer movement remains O(n log n)
- * even when every boundary is already ordered. During a merge, an element
+ * returns that copy without touching the receiver. The helper merges stable
+ * natural runs, reversing only strict descending runs and extending short
+ * runs with insertion sort. Ordered boundaries skip merging. During a merge, an element
  * moves right only while cmp(left, right) > 0, so a NaN or 0 result keeps
  * the left element first. Undefined values sink without reaching the user
  * comparator. The callback sequence differs from V8's TimSort, so exact
  * order and count parity are not claimed; results agree for consistent
- * comparators. The comparator-less form lowers for STRING elements only —
- * JS's default converts every element to string and compares UTF-16 units,
- * so the interned synthesized comparator selects the runtime's code-unit
- * ordering rather than scriptc's documented code-point relational
- * operators. For numbers that default is the notorious string sort
- * ([10, 9, 1] → [1, 10, 9]), deliberately fenced toward an explicit
- * comparator. */
+ * comparators. Without a comparator, string, number and boolean arrays use
+ * native stable ordering: their String conversions cannot call user code.
+ * Strings compare UTF-16 units; numbers compare their decimal spellings
+ * ([10, 9, 1] → [1, 10, 9]). Other element types still need a comparator. */
 export declare function lowerArraySortCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression, elem: IrType, arrT: IrType & {
     kind: "array";
 }): IrExpr;

package/dist/frontend/lowering/containers/array-callbacks.js

@@ -9,6 +9,7 @@ import { typeKey } from "../../type-mapper.js";
 import { lowerArrayCallback, requireProducedArrayElement, callbackArrayElement, } from "./callback-arguments.js";
 import { reverseArrayLoop, arrayLengthDeclaration, arrayCallbackParams, arrayCallbackLocals, callArrayCallback, } from "./array-iteration.js";
 import { dynamicReceiverThrows } from "./dynamic-receivers.js";
+import { defaultAfterUndefined, lowerStaticallyUndefinedArgument } from "../optional-arguments.js";
 /** `a.map(fn)` / `a.filter(fn)` / `a.forEach(fn)` desugar to a direct
  * call of a synthetic module function — one per method + element/result
  * type + callback-arity combination, interned — whose body is a plain
@@ -1107,46 +1108,70 @@ function reduceHelper(lowerer, method, elem, accT, fnRet, arity, hasInit, loc) {
  * function like the other array HOFs. sort mutates and returns the receiver;
  * toSorted takes its shallow snapshot INSIDE the helper, after the receiver
  * and comparator expressions have both been evaluated, then sorts and
- * returns that copy without touching the receiver. The helper uses a stable
- * bottom-up merge sort with an ordered-boundary check: ordered inputs use a
- * linear number of comparator calls, but buffer movement remains O(n log n)
- * even when every boundary is already ordered. During a merge, an element
+ * returns that copy without touching the receiver. The helper merges stable
+ * natural runs, reversing only strict descending runs and extending short
+ * runs with insertion sort. Ordered boundaries skip merging. During a merge, an element
  * moves right only while cmp(left, right) > 0, so a NaN or 0 result keeps
  * the left element first. Undefined values sink without reaching the user
  * comparator. The callback sequence differs from V8's TimSort, so exact
  * order and count parity are not claimed; results agree for consistent
- * comparators. The comparator-less form lowers for STRING elements only —
- * JS's default converts every element to string and compares UTF-16 units,
- * so the interned synthesized comparator selects the runtime's code-unit
- * ordering rather than scriptc's documented code-point relational
- * operators. For numbers that default is the notorious string sort
- * ([10, 9, 1] → [1, 10, 9]), deliberately fenced toward an explicit
- * comparator. */
+ * comparators. Without a comparator, string, number and boolean arrays use
+ * native stable ordering: their String conversions cannot call user code.
+ * Strings compare UTF-16 units; numbers compare their decimal spellings
+ * ([10, 9, 1] → [1, 10, 9]). Other element types still need a comparator. */
 export function lowerArraySortCall(lowerer, call, access, elem, arrT) {
     const loc = locOf(call);
     const method = access.name.text === "toSorted" ? "toSorted" : "sort";
     const copyFirst = method === "toSorted";
-    if (call.arguments.length === 0 && elem.kind === "string") {
-        const receiver = lowerer.lowerExpr(access.expression);
-        const cmp = defaultStringCmpHelper(lowerer, loc);
-        const fnT = funcOf([STRING, STRING], F64);
-        const key = `${method}:${typeKey(STRING)}:2`;
-        let helper = lowerer.arrHofHelpers.get(key);
-        if (!helper) {
-            helper = `%arr.${method}.${lowerer.arrHofHelpers.size}`;
-            lowerer.arrHofHelpers.set(key, helper);
-            lowerer.liftedFns.push(buildArraySortFn(helper, STRING, 2, copyFirst, null, loc));
-        }
-        const fnArg = { kind: "closure", fnName: cmp, captures: [], type: fnT, loc };
-        return { kind: "call", callee: helper, args: [receiver, fnArg], type: arrT, loc };
+    if (call.arguments.length === 0 &&
+        (elem.kind === "string" || elem.kind === "f64" || elem.kind === "bool")) {
+        return {
+            kind: "arrIntrinsic",
+            method: copyFirst ? "toSortedPrimitive" : "sortPrimitive",
+            receiver: lowerer.lowerExpr(access.expression),
+            args: [],
+            type: arrT,
+            loc,
+        };
     }
     if (call.arguments.length !== 1) {
-        lowerer.noLowering(`.${method} with ${call.arguments.length} arguments`, call, "the default string-conversion ordering lowers only for string[] — pass a comparator: " +
-            `${method}((a, b) => a - b) for numbers`);
+        lowerer.noLowering(`.${method} with ${call.arguments.length} arguments`, call, "default ordering supports string[], number[] and boolean[]; other element types need a comparator");
     }
     const receiver = lowerer.lowerExpr(access.expression);
     const argNode = call.arguments[0];
-    let fnArg = lowerer.lowerExpr(argNode);
+    const undefinedArg = lowerStaticallyUndefinedArgument(lowerer, argNode);
+    let unwrappedArg = argNode;
+    while (ts.isParenthesizedExpression(unwrappedArg) ||
+        ts.isAsExpression(unwrappedArg) ||
+        ts.isTypeAssertion(unwrappedArg) ||
+        ts.isSatisfiesExpression(unwrappedArg))
+        unwrappedArg = unwrappedArg.expression;
+    if (undefinedArg?.type.kind === "void" && !ts.isVoidExpression(unwrappedArg)) {
+        lowerer.noLowering(`.${method} with an erased comparator result`, argNode, "pass the comparator directly, or use void expression to explicitly select default ordering");
+    }
+    if (undefinedArg !== null &&
+        (undefinedArg.type.kind === "undefinedT" || ts.isVoidExpression(unwrappedArg)) &&
+        (elem.kind === "string" || elem.kind === "f64" || elem.kind === "bool")) {
+        // A type assertion alone cannot turn a function value into undefined.
+        // The explicit undefined expression can mutate or replace the receiver.
+        // Keep its original value alive and run the argument before sorting.
+        const saved = lowerer.declareHiddenLocal("%sortReceiver", arrT);
+        return {
+            kind: "seqExpr",
+            stmts: [{ kind: "varDecl", localId: saved.id, init: receiver, loc }],
+            result: defaultAfterUndefined(undefinedArg, {
+                kind: "arrIntrinsic",
+                method: copyFirst ? "toSortedPrimitive" : "sortPrimitive",
+                receiver: varRef(saved.id, arrT, loc),
+                args: [],
+                type: arrT,
+                loc,
+            }),
+            type: arrT,
+            loc,
+        };
+    }
+    let fnArg = undefinedArg ?? lowerer.lowerExpr(argNode);
     // Reusable JS comparators often accept checked values. Adapt the array's
     // element ABI just as other array callbacks do before sorting.
     if (fnArg.type.kind === "func" &&
@@ -1181,66 +1206,6 @@ export function lowerArraySortCall(lowerer, call, access, elem, arrT) {
     }
     return { kind: "call", callee: helper, args: [receiver, fnArg], type: arrT, loc };
 }
-/** JS's default sort comparator for STRING elements, interned once:
- *
- *   (a, b) => a < b ? -1 : a > b ? 1 : 0
- *
- * The dedicated UTF-16 comparison flag keeps this exact across
- * supplementary-plane code points and U+E000..U+FFFF, where the runtime's
- * ordinary code-point relational order deliberately differs. */
-function defaultStringCmpHelper(lowerer, loc) {
-    const key = "sortCmpStr";
-    const existing = lowerer.arrHofHelpers.get(key);
-    if (existing)
-        return existing;
-    const name = `%arr.sortCmpStr`;
-    lowerer.arrHofHelpers.set(key, name);
-    const cmp = (op) => ({
-        kind: "strCmp",
-        op,
-        left: varRef("a.0", STRING, loc),
-        right: varRef("b.0", STRING, loc),
-        utf16: true,
-        type: BOOL,
-        loc,
-    });
-    const body = [
-        {
-            kind: "return",
-            value: {
-                kind: "ternary",
-                cond: cmp("<"),
-                then: numLit(-1, loc),
-                else_: {
-                    kind: "ternary",
-                    cond: cmp(">"),
-                    then: numLit(1, loc),
-                    else_: numLit(0, loc),
-                    type: F64,
-                    loc,
-                },
-                type: F64,
-                loc,
-            },
-            loc,
-        },
-    ];
-    lowerer.liftedFns.push({
-        name,
-        params: [
-            { localId: "a.0", name: "a", type: STRING },
-            { localId: "b.0", name: "b", type: STRING },
-        ],
-        returnType: F64,
-        locals: [
-            { id: "a.0", name: "a", type: STRING, mutable: true },
-            { id: "b.0", name: "b", type: STRING, mutable: true },
-        ],
-        body,
-        loc,
-    });
-    return name;
-}
 /** `d.filter(pred)` on a dyn receiver: the receiver must BE a dyn array
  * (else the Node-shaped TypeError above); the predicate runs per element
  * over the dyn value, and each SURVIVOR is validated-extracted into the