@scriptc/compiler 0.1.7 → 0.2.0

package/dist/frontend/lowering/text-decoder-encoding.js

@@ -0,0 +1,77 @@
+/* WHATWG label registry → native decoder id. The first 27 ids stay in the
+ * same order as scripts/gen-text-decoder-tables.mjs; the remaining ids match
+ * scr_bytes.c's compact enum. ISO-8859-8-I shares ISO-8859-8's byte table,
+ * and GBK/gb18030 share one decoder (their decoders are identical). */
+const TEXT_DECODER_SINGLE_BYTE_NAMES = [
+    "ibm866", "iso-8859-2", "iso-8859-3", "iso-8859-4", "iso-8859-5",
+    "iso-8859-6", "iso-8859-7", "iso-8859-8", "iso-8859-10", "iso-8859-13",
+    "iso-8859-14", "iso-8859-15", "iso-8859-16", "koi8-r", "koi8-u",
+    "macintosh", "windows-874", "windows-1250", "windows-1251", "windows-1252",
+    "windows-1253", "windows-1254", "windows-1255", "windows-1256", "windows-1257",
+    "windows-1258", "x-mac-cyrillic",
+];
+const TEXT_DECODER_UTF8_LABELS = new Set([
+    "unicode-1-1-utf-8", "unicode11utf8", "unicode20utf8", "utf-8", "utf8", "x-unicode20utf8",
+]);
+const TEXT_DECODER_LEGACY_LABELS = (() => {
+    const labels = Object.create(null);
+    const add = (encoding, names) => {
+        for (const name of names)
+            labels[name] = encoding;
+    };
+    const single = (name, aliases) => {
+        add(TEXT_DECODER_SINGLE_BYTE_NAMES.indexOf(name), aliases);
+    };
+    single("ibm866", ["866", "cp866", "csibm866", "ibm866"]);
+    single("iso-8859-2", ["csisolatin2", "iso-8859-2", "iso-ir-101", "iso8859-2", "iso88592", "iso_8859-2", "iso_8859-2:1987", "l2", "latin2"]);
+    single("iso-8859-3", ["csisolatin3", "iso-8859-3", "iso-ir-109", "iso8859-3", "iso88593", "iso_8859-3", "iso_8859-3:1988", "l3", "latin3"]);
+    single("iso-8859-4", ["csisolatin4", "iso-8859-4", "iso-ir-110", "iso8859-4", "iso88594", "iso_8859-4", "iso_8859-4:1988", "l4", "latin4"]);
+    single("iso-8859-5", ["csisolatincyrillic", "cyrillic", "iso-8859-5", "iso-ir-144", "iso8859-5", "iso88595", "iso_8859-5", "iso_8859-5:1988"]);
+    single("iso-8859-6", ["arabic", "asmo-708", "csiso88596e", "csiso88596i", "csisolatinarabic", "ecma-114", "iso-8859-6", "iso-8859-6-e", "iso-8859-6-i", "iso-ir-127", "iso8859-6", "iso88596", "iso_8859-6", "iso_8859-6:1987"]);
+    single("iso-8859-7", ["csisolatingreek", "ecma-118", "elot_928", "greek", "greek8", "iso-8859-7", "iso-ir-126", "iso8859-7", "iso88597", "iso_8859-7", "iso_8859-7:1987", "sun_eu_greek"]);
+    single("iso-8859-8", ["csiso88598e", "csiso88598i", "csisolatinhebrew", "hebrew", "iso-8859-8", "iso-8859-8-e", "iso-8859-8-i", "iso-ir-138", "iso8859-8", "iso88598", "iso_8859-8", "iso_8859-8:1988", "logical", "visual"]);
+    single("iso-8859-10", ["csisolatin6", "iso-8859-10", "iso-ir-157", "iso8859-10", "iso885910", "l6", "latin6"]);
+    single("iso-8859-13", ["iso-8859-13", "iso8859-13", "iso885913"]);
+    single("iso-8859-14", ["iso-8859-14", "iso8859-14", "iso885914"]);
+    single("iso-8859-15", ["csisolatin9", "iso-8859-15", "iso8859-15", "iso885915", "iso_8859-15", "l9"]);
+    single("iso-8859-16", ["iso-8859-16"]);
+    single("koi8-r", ["cskoi8r", "koi", "koi8", "koi8-r", "koi8_r"]);
+    single("koi8-u", ["koi8-ru", "koi8-u"]);
+    single("macintosh", ["csmacintosh", "mac", "macintosh", "x-mac-roman"]);
+    single("windows-874", ["dos-874", "iso-8859-11", "iso8859-11", "iso885911", "tis-620", "windows-874"]);
+    single("windows-1250", ["cp1250", "windows-1250", "x-cp1250"]);
+    single("windows-1251", ["cp1251", "windows-1251", "x-cp1251"]);
+    single("windows-1252", ["ansi_x3.4-1968", "ascii", "cp1252", "cp819", "csisolatin1", "ibm819", "iso-8859-1", "iso-ir-100", "iso8859-1", "iso88591", "iso_8859-1", "iso_8859-1:1987", "l1", "latin1", "us-ascii", "windows-1252", "x-cp1252"]);
+    single("windows-1253", ["cp1253", "windows-1253", "x-cp1253"]);
+    single("windows-1254", ["cp1254", "csisolatin5", "iso-8859-9", "iso-ir-148", "iso8859-9", "iso88599", "iso_8859-9", "iso_8859-9:1989", "l5", "latin5", "windows-1254", "x-cp1254"]);
+    single("windows-1255", ["cp1255", "windows-1255", "x-cp1255"]);
+    single("windows-1256", ["cp1256", "windows-1256", "x-cp1256"]);
+    single("windows-1257", ["cp1257", "windows-1257", "x-cp1257"]);
+    single("windows-1258", ["cp1258", "windows-1258", "x-cp1258"]);
+    single("x-mac-cyrillic", ["x-mac-cyrillic", "x-mac-ukrainian"]);
+    add(27, ["x-user-defined"]);
+    add(28, ["csunicode", "iso-10646-ucs-2", "ucs-2", "unicode", "unicodefeff", "utf-16", "utf-16le"]);
+    add(29, ["unicodefffe", "utf-16be"]);
+    add(30, ["chinese", "csgb2312", "csiso58gb231280", "gb18030", "gb2312", "gb_2312", "gb_2312-80", "gbk", "iso-ir-58", "x-gbk"]);
+    add(31, ["big5", "big5-hkscs", "cn-big5", "csbig5", "x-x-big5"]);
+    add(32, ["cseucpkdfmtjapanese", "euc-jp", "x-euc-jp"]);
+    add(33, ["csiso2022jp", "iso-2022-jp"]);
+    add(34, ["csshiftjis", "ms932", "ms_kanji", "shift-jis", "shift_jis", "sjis", "windows-31j", "x-sjis"]);
+    add(35, ["cseuckr", "csksc56011987", "euc-kr", "iso-ir-149", "korean", "ks_c_5601-1987", "ks_c_5601-1989", "ksc5601", "ksc_5601", "windows-949"]);
+    return labels;
+})();
+/** TextDecoder's get-an-encoding normalization: trim ASCII whitespace and
+ * fold ASCII case only (Unicode case folding must not manufacture a label). */
+export function staticTextDecoderEncoding(label) {
+    const trimmed = label.replace(/^[\u0009\u000a\u000c\u000d\u0020]+|[\u0009\u000a\u000c\u000d\u0020]+$/g, "");
+    let normalized = "";
+    for (let index = 0; index < trimmed.length; index++) {
+        const code = trimmed.charCodeAt(index);
+        normalized += code >= 65 && code <= 90 ? String.fromCharCode(code + 32) : trimmed[index];
+    }
+    if (TEXT_DECODER_UTF8_LABELS.has(normalized))
+        return { kind: "utf8" };
+    const id = TEXT_DECODER_LEGACY_LABELS[normalized];
+    return id === undefined ? null : { kind: "legacy", id };
+}
+//# sourceMappingURL=text-decoder-encoding.js.map

package/dist/frontend/lowering/text-decoder-encoding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"text-decoder-encoding.js","sourceRoot":"","sources":["../../../src/frontend/lowering/text-decoder-encoding.ts"],"names":[],"mappings":"AAAA;;;uEAGuE;AACvE,MAAM,8BAA8B,GAAG;IACrC,QAAQ,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY;IAChE,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,aAAa;IACtE,aAAa,EAAE,aAAa,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ;IAC/D,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc;IAC1E,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc;IAC9E,cAAc,EAAE,gBAAgB;CACxB,CAAC;AAEX,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC;IACvC,mBAAmB,EAAE,eAAe,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,EAAE,iBAAiB;CAC1F,CAAC,CAAC;AAEH,MAAM,0BAA0B,GAAuC,CAAC,GAAG,EAAE;IAC3E,MAAM,MAAM,GAA2B,MAAM,CAAC,MAAM,CAAC,IAAI,CAA2B,CAAC;IACrF,MAAM,GAAG,GAAG,CAAC,QAAgB,EAAE,KAAwB,EAAQ,EAAE;QAC/D,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC;IACpD,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAAmD,EAAE,OAA0B,EAAQ,EAAE;QACvG,GAAG,CAAC,8BAA8B,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC,CAAC;IACF,MAAM,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;IACzD,MAAM,CAAC,YAAY,EAAE,CAAC,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,iBAAiB,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC5I,MAAM,CAAC,YAAY,EAAE,CAAC,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,iBAAiB,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC5I,MAAM,CAAC,YAAY,EAAE,CAAC,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,iBAAiB,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC5I,MAAM,CAAC,YAAY,EAAE,CAAC,oBAAoB,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAC/I,MAAM,CAAC,YAAY,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,aAAa,EAAE,kBAAkB,EAAE,UAAU,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC,CAAC;IACjO,MAAM,CAAC,YAAY,EAAE,CAAC,iBAAiB,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,iBAAiB,EAAE,cAAc,CAAC,CAAC,CAAC;IAC3L,MAAM,CAAC,YAAY,EAAE,CAAC,aAAa,EAAE,aAAa,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,iBAAiB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9N,MAAM,CAAC,aAAa,EAAE,CAAC,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC/G,MAAM,CAAC,aAAa,EAAE,CAAC,aAAa,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC;IAClE,MAAM,CAAC,aAAa,EAAE,CAAC,aAAa,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC;IAClE,MAAM,CAAC,aAAa,EAAE,CAAC,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC;IACtG,MAAM,CAAC,aAAa,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;IACvC,MAAM,CAAC,QAAQ,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IACjE,MAAM,CAAC,QAAQ,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxC,MAAM,CAAC,WAAW,EAAE,CAAC,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC;IACxE,MAAM,CAAC,aAAa,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;IACvG,MAAM,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/D,MAAM,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/D,MAAM,CAAC,cAAc,EAAE,CAAC,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,iBAAiB,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;IAC9O,MAAM,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/D,MAAM,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,iBAAiB,EAAE,IAAI,EAAE,QAAQ,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;IACpL,MAAM,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/D,MAAM,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/D,MAAM,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/D,MAAM,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/D,MAAM,CAAC,gBAAgB,EAAE,CAAC,gBAAgB,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAEhE,GAAG,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC5B,GAAG,CAAC,EAAE,EAAE,CAAC,WAAW,EAAE,iBAAiB,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IACnG,GAAG,CAAC,EAAE,EAAE,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC,CAAC;IACrC,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,iBAAiB,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/H,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IACjE,GAAG,CAAC,EAAE,EAAE,CAAC,qBAAqB,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IACvD,GAAG,CAAC,EAAE,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC,CAAC;IACxC,GAAG,CAAC,EAAE,EAAE,CAAC,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxG,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC;IAClJ,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC,EAAE,CAAC;AAIL;+EAC+E;AAC/E,MAAM,UAAU,yBAAyB,CAAC,KAAa;IACrD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,wEAAwE,EAAE,EAAE,CAAC,CAAC;IAC5G,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACvC,UAAU,IAAI,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,wBAAwB,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACtE,MAAM,EAAE,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;IAClD,OAAO,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;AAC1D,CAAC"}

package/dist/frontend/lowering/text-decoder-encoding.test.d.ts

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

package/dist/frontend/lowering/text-decoder-encoding.test.js

@@ -0,0 +1,38 @@
+import { expect, test } from "vitest";
+import { staticTextDecoderEncoding } from "./text-decoder-encoding.js";
+const encodings = [
+    "ibm866", "iso-8859-2", "iso-8859-3", "iso-8859-4", "iso-8859-5",
+    "iso-8859-6", "iso-8859-7", "iso-8859-8", "iso-8859-10", "iso-8859-13",
+    "iso-8859-14", "iso-8859-15", "iso-8859-16", "koi8-r", "koi8-u",
+    "macintosh", "windows-874", "windows-1250", "windows-1251", "windows-1252",
+    "windows-1253", "windows-1254", "windows-1255", "windows-1256", "windows-1257",
+    "windows-1258", "x-mac-cyrillic", "x-user-defined", "utf-16le", "utf-16be",
+    "gb18030", "big5", "euc-jp", "iso-2022-jp", "shift_jis", "euc-kr",
+];
+test("static encoding IDs retain the native decoder table order", () => {
+    for (const [id, name] of encodings.entries()) {
+        expect(staticTextDecoderEncoding(name), name).toEqual({ kind: "legacy", id });
+        expect(staticTextDecoderEncoding(` \t${name.toUpperCase()}\r\n\f`), name).toEqual({ kind: "legacy", id });
+    }
+    for (const label of ["utf-8", "unicode-1-1-utf-8", "unicode11utf8", "unicode20utf8", "utf8", "x-unicode20utf8"]) {
+        expect(staticTextDecoderEncoding(`\t${label.toUpperCase()} `), label).toEqual({ kind: "utf8" });
+    }
+});
+test("Node aliases select the same encoding families", () => {
+    for (const label of ["latin1", "ascii", "cp1252", "csisolatin2", "ISO_8859-6:1987", "koi8", "cp866", "windows-31j", "ms932", "ks_c_5601-1987", "utf-16", "unicodefffe", "big5-hkscs", "cseucpkdfmtjapanese"]) {
+        const parsed = staticTextDecoderEncoding(label);
+        expect(parsed?.kind, label).toBe("legacy");
+        if (parsed?.kind === "legacy")
+            expect(encodings[parsed.id], label).toBe(new TextDecoder(label).encoding);
+    }
+});
+test("label normalization does not admit Unicode whitespace or prototype keys", () => {
+    for (const label of ["constructor", "toString", "__proto__", "hasOwnProperty", "", "utf-32", "utf-7", "replacement", "\u00a0utf-8", "utf-8\u00a0", "\vutf-8", "utf-8\0"]) {
+        expect(staticTextDecoderEncoding(label), JSON.stringify(label)).toBeNull();
+        expect(() => new TextDecoder(label), JSON.stringify(label)).toThrow();
+    }
+    // This compiler slice deliberately recognizes ASCII aliases only.
+    for (const label of ["Koi8-r", "ſhift_jis"])
+        expect(staticTextDecoderEncoding(label)).toBeNull();
+});
+//# sourceMappingURL=text-decoder-encoding.test.js.map

package/dist/frontend/lowering/text-decoder-encoding.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"text-decoder-encoding.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/text-decoder-encoding.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAEvE,MAAM,SAAS,GAAG;IAChB,QAAQ,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY;IAChE,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,aAAa;IACtE,aAAa,EAAE,aAAa,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ;IAC/D,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc;IAC1E,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc;IAC9E,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE,UAAU;IAC1E,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,QAAQ;CAClE,CAAC;AAEF,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACrE,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;QAC7C,MAAM,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QAC9E,MAAM,CAAC,yBAAyB,CAAC,MAAM,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5G,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,EAAE,iBAAiB,CAAC,EAAE,CAAC;QAChH,MAAM,CAAC,yBAAyB,CAAC,KAAK,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAClG,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC1D,KAAK,MAAM,KAAK,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,qBAAqB,CAAC,EAAE,CAAC;QAC7M,MAAM,MAAM,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;QAChD,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ;YAAE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC3G,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,KAAK,MAAM,KAAK,IAAI,CAAC,aAAa,EAAE,UAAU,EAAE,WAAW,EAAE,gBAAgB,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC;QACzK,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3E,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACxE,CAAC;IACD,kEAAkE;IAClE,KAAK,MAAM,KAAK,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC;QAAE,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACnG,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/union-narrow.d.ts

@@ -0,0 +1,9 @@
+import type { IrExpr, IrFunction, IrType, IrUnionDef, SrcLoc } from "../../ir/ir.js";
+/** Build checked extraction from a union's actual storage. Successful reads
+ * retain reference payloads through unionNarrow; every other valid tag
+ * throws before the payload can be interpreted as the target type.
+ *
+ * Deferred scalar fields can supply the established undefined default:
+ * false for booleans or NaN for numbers. No other tag receives that default,
+ * and reference-bearing targets always use checked extraction. */
+export declare function buildUnionNarrow(name: string, from: IrUnionDef, target: IrType, loc: SrcLoc, formatType: (type: IrType) => string, undefinedDefault?: IrExpr | null): IrFunction | null;

package/dist/frontend/lowering/union-narrow.js

@@ -0,0 +1,59 @@
+import { BOOL, STRING, isUnitType, typeEquals } from "../../ir/ir.js";
+/** Build checked extraction from a union's actual storage. Successful reads
+ * retain reference payloads through unionNarrow; every other valid tag
+ * throws before the payload can be interpreted as the target type.
+ *
+ * Deferred scalar fields can supply the established undefined default:
+ * false for booleans or NaN for numbers. No other tag receives that default,
+ * and reference-bearing targets always use checked extraction. */
+export function buildUnionNarrow(name, from, target, loc, formatType, undefinedDefault = null) {
+    if (isUnitType(target) || target.kind === "void")
+        return null;
+    const targetTag = from.arms.findIndex((arm) => typeEquals(arm, target));
+    if (targetTag < 0)
+        return null;
+    if (undefinedDefault !== null) {
+        if (target.kind !== "bool" && target.kind !== "f64")
+            return null;
+        if (!typeEquals(undefinedDefault.type, target) || !from.arms.some((arm) => arm.kind === "undefinedT"))
+            return null;
+    }
+    const inputType = { kind: "union", unionId: from.id };
+    const input = { kind: "varRef", localId: "u.0", type: inputType, loc };
+    const body = [];
+    for (let tag = 0; tag < from.arms.length; tag++) {
+        const arm = from.arms[tag];
+        let branch;
+        if (tag === targetTag) {
+            branch = [{
+                    kind: "return", value: { kind: "unionNarrow", unionId: from.id, tag, value: input, type: target, loc }, loc,
+                }];
+        }
+        else if (arm.kind === "undefinedT" && undefinedDefault !== null) {
+            branch = [{ kind: "return", value: undefinedDefault, loc }];
+        }
+        else {
+            const what = isUnitType(arm) ? (arm.kind === "undefinedT" ? "undefined" : "null") : `a '${formatType(arm)}' value`;
+            branch = [{
+                    kind: "throw",
+                    value: {
+                        kind: "libCall", fn: "error.new",
+                        args: [{ kind: "strLit", value: `${what} is not representable in the target union (a value narrowed or asserted past it still held it)`, type: STRING, loc }],
+                        type: { kind: "object", className: "%TypeError" }, loc,
+                    }, loc,
+                }];
+        }
+        body.push({
+            kind: "if", cond: { kind: "unionIsTag", unionId: from.id, tag, negated: false, value: input, type: BOOL, loc },
+            then: branch, else_: null, loc,
+        });
+    }
+    body.push({
+        kind: "throw", value: { kind: "strLit", value: "scriptc: internal error: invalid union tag", type: STRING, loc }, loc,
+    });
+    return {
+        name, params: [{ localId: "u.0", name: "u", type: inputType }], returnType: target,
+        locals: [{ id: "u.0", name: "u", type: inputType, mutable: false }], body, loc,
+    };
+}
+//# sourceMappingURL=union-narrow.js.map

package/dist/frontend/lowering/union-narrow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-narrow.js","sourceRoot":"","sources":["../../../src/frontend/lowering/union-narrow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAGtE;;;;;;kEAMkE;AAClE,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,IAAgB,EAChB,MAAc,EACd,GAAW,EACX,UAAoC,EACpC,gBAAgB,GAAkB,IAAI;IAEtC,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IACxE,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACjE,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC;YAAE,OAAO,IAAI,CAAC;IACrH,CAAC;IACD,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;IAC9D,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IAC/E,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;QAC5B,IAAI,MAAgB,CAAC;QACrB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,GAAG,CAAC;oBACR,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG;iBAC5G,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;YAClE,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9D,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC;YACnH,MAAM,GAAG,CAAC;oBACR,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW;wBAChC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,IAAI,gGAAgG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;wBAC7J,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,EAAE,GAAG;qBACvD,EAAE,GAAG;iBACP,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC9G,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG;SAC/B,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,IAAI,CAAC;QACR,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,4CAA4C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG;KACtH,CAAC,CAAC;IACH,OAAO;QACL,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,MAAM;QAClF,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG;KAC/E,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/union-narrow.test.d.ts

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

package/dist/frontend/lowering/union-narrow.test.js

@@ -0,0 +1,72 @@
+import { expect, test } from "vitest";
+import { BOOL, F64, NULL_T, STRING, UNDEFINED_T, VOID } from "../../ir/ir.js";
+import { buildUnionNarrow } from "./union-narrow.js";
+const loc = { file: "narrow.ts", start: 0, end: 1 };
+const union = { id: "u", arms: [BOOL, F64, NULL_T, STRING, UNDEFINED_T] };
+function branches(fn) {
+    return fn.body.flatMap((statement) => statement.kind === "if" ? [statement] : []);
+}
+for (const [target, tag] of [[BOOL, 0], [F64, 1], [STRING, 3]]) {
+    test(`extracts only the matching ${target.kind} payload`, () => {
+        const fn = buildUnionNarrow("read", union, target, loc, (type) => type.kind);
+        const cases = branches(fn);
+        expect(cases).toHaveLength(5);
+        for (let i = 0; i < cases.length; i++) {
+            expect(cases[i].cond).toMatchObject({ kind: "unionIsTag", unionId: "u", tag: i });
+            expect(cases[i].then[0].kind).toBe(i === tag ? "return" : "throw");
+        }
+        expect(cases[tag].then[0]).toMatchObject({ kind: "return", value: { kind: "unionNarrow", tag, type: target } });
+        expect(fn.returnType).toEqual(target);
+        expect(fn.body.at(-1)).toMatchObject({ kind: "throw", value: { value: "scriptc: internal error: invalid union tag" } });
+    });
+}
+for (const target of [NULL_T, UNDEFINED_T, VOID, { kind: "array", elem: STRING }]) {
+    test(`declines unrepresentable extraction to ${target.kind}`, () => {
+        expect(buildUnionNarrow("read", union, target, loc, () => "")).toBeNull();
+    });
+}
+test("reference extraction keeps the source payload instead of rebuilding it", () => {
+    const target = { kind: "record", shapeId: "r0" };
+    const from = { id: "records", arms: [target, UNDEFINED_T] };
+    const fn = buildUnionNarrow("record", from, target, loc, () => "record");
+    expect(branches(fn)[0].then[0]).toMatchObject({
+        kind: "return", value: { kind: "unionNarrow", unionId: "records", tag: 0, type: target },
+    });
+    expect(fn.locals).toHaveLength(1);
+});
+test("unit and data traps retain the established error wording", () => {
+    const fn = buildUnionNarrow("read", union, STRING, loc, (type) => type.kind);
+    for (const [tag, name] of [[0, "a 'bool' value"], [2, "null"], [4, "undefined"]]) {
+        const thrown = branches(fn)[tag].then[0];
+        if (thrown.kind !== "throw" || thrown.value.kind !== "libCall")
+            throw new Error("expected error allocation");
+        expect(thrown.value.type).toEqual({ kind: "object", className: "%TypeError" });
+        expect(thrown.value.args[0]).toMatchObject({ value: `${name} is not representable in the target union (a value narrowed or asserted past it still held it)` });
+    }
+});
+for (const target of [BOOL, F64]) {
+    test(`deferred ${target.kind} defaults only undefined`, () => {
+        const value = target.kind === "bool"
+            ? { kind: "boolLit", value: false, type: BOOL, loc }
+            : { kind: "numLit", value: Number.NaN, type: F64, loc };
+        const fn = buildUnionNarrow("deferred", union, target, loc, () => "payload", value);
+        const cases = branches(fn);
+        expect(cases[4].then).toEqual([{ kind: "return", value, loc }]);
+        expect(cases[2].then[0].kind).toBe("throw");
+        expect(cases[3].then[0].kind).toBe("throw");
+    });
+}
+test("rejects default expressions with the wrong representation", () => {
+    const boolean = { kind: "boolLit", value: false, type: BOOL, loc };
+    expect(buildUnionNarrow("bad", union, F64, loc, () => "", boolean)).toBeNull();
+});
+test("defaults never bypass reference extraction checks", () => {
+    const text = { kind: "strLit", value: "", type: STRING, loc };
+    expect(buildUnionNarrow("bad", union, STRING, loc, () => "", text)).toBeNull();
+});
+test("a deferred read requires a real undefined tag", () => {
+    const from = { id: "u", arms: [BOOL, NULL_T] };
+    const value = { kind: "boolLit", value: false, type: BOOL, loc };
+    expect(buildUnionNarrow("bad", from, BOOL, loc, () => "", value)).toBeNull();
+});
+//# sourceMappingURL=union-narrow.test.js.map

package/dist/frontend/lowering/union-narrow.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-narrow.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/union-narrow.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAE9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAErD,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC5D,MAAM,KAAK,GAAe,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;AACtF,SAAS,QAAQ,CAAC,EAAc;IAC9B,OAAO,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACpF,CAAC;AAED,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAuB,EAAE,CAAC;IACrF,IAAI,CAAC,8BAA8B,MAAM,CAAC,IAAI,UAAU,EAAE,GAAG,EAAE;QAC7D,MAAM,EAAE,GAAG,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC;QAC9E,MAAM,KAAK,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC3B,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YACnF,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QACjH,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,4CAA4C,EAAE,EAAE,CAAC,CAAC;IAC1H,CAAC,CAAC,CAAC;AACL,CAAC;AAED,KAAK,MAAM,MAAM,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAY,CAAC,EAAE,CAAC;IAC5F,IAAI,CAAC,0CAA0C,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5E,CAAC,CAAC,CAAC;AACL,CAAC;AAED,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACzD,MAAM,IAAI,GAAe,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;IACxE,MAAM,EAAE,GAAG,gBAAgB,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAE,CAAC;IAC1E,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QAC7C,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;KACzF,CAAC,CAAC;IACH,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACpE,MAAM,EAAE,GAAG,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC;IAC9E,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,CAAuB,EAAE,CAAC;QACvG,MAAM,MAAM,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QAC3C,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC7G,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC;QAC/E,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,GAAG,IAAI,gGAAgG,EAAE,CAAC,CAAC;IACjK,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,KAAK,MAAM,MAAM,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;IACjC,IAAI,CAAC,YAAY,MAAM,CAAC,IAAI,0BAA0B,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAW,MAAM,CAAC,IAAI,KAAK,MAAM;YAC1C,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACpD,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC1D,MAAM,EAAE,GAAG,gBAAgB,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,KAAK,CAAE,CAAC;QACrF,MAAM,KAAK,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC3B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACrE,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC3E,MAAM,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACjF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;IAC7D,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACtE,MAAM,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACjF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+CAA+C,EAAE,GAAG,EAAE;IACzD,MAAM,IAAI,GAAe,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;IAC3D,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACzE,MAAM,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC/E,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/union-retag.d.ts

@@ -0,0 +1,43 @@
+import type { IrExpr, IrFunction, IrRecordShape, IrType, IrUnionDef, SrcLoc } from "../../ir/ir.js";
+import type { WidthLift } from "./width-lift.js";
+type Literal = string | number | boolean;
+export interface UnionRetagRoute {
+    tag: number;
+    lift: WidthLift;
+    values: Literal[];
+}
+export type UnionRetagArm = {
+    kind: "trap";
+} | {
+    kind: "direct";
+    route: UnionRetagRoute;
+} | {
+    kind: "discriminant";
+    field: string;
+    fieldType: IrType;
+    routes: UnionRetagRoute[];
+};
+export interface RecordUnionWrapPlan {
+    field: string;
+    fieldType: IrType;
+    routes: UnionRetagRoute[];
+}
+/** Recursive variants can retain distinct ids for the same field layout.
+ * An independently inferred record may intern to either id, so that id
+ * alone cannot select its semantic destination when wrapping into a union. */
+export declare function planRecordUnionWrap(source: IrRecordShape, to: IrUnionDef, shapeOf: (id: string) => IrRecordShape | undefined): RecordUnionWrapPlan | null;
+/** Pure conversion planning. A source storage tag need not denote just
+ * one semantic variant: refinements can coalesce recursive record layouts.
+ * When both unions name the same discriminant, its values select target
+ * tags, and every selected payload conversion must independently validate.
+ * Planning never interns a helper or caches a recursive assumption. */
+export declare function planUnionRetag(from: IrUnionDef, to: IrUnionDef, shapeOf: (id: string) => IrRecordShape | undefined, widthLift: (src: IrType, dst: IrType) => WidthLift | null, trappable?: ReadonlySet<number>): UnionRetagArm[] | null;
+export declare function buildRecordUnionWrap(name: string, source: IrType & {
+    kind: "record";
+}, to: IrUnionDef, plan: RecordUnionWrapPlan, loc: SrcLoc, applyLift: (lift: WidthLift, value: IrExpr, dst: IrType) => IrExpr): IrFunction;
+/** Emit the already validated routes using ordinary typed IR. Each field
+ * read uses the source shape; each result uses its own destination shape.
+ * Identity routes retain the original payload and width routes copy it.
+ * The caller interns the helper before invoking this build phase. */
+export declare function buildUnionRetag(name: string, from: IrUnionDef, to: IrUnionDef, plan: UnionRetagArm[], loc: SrcLoc, applyLift: (lift: WidthLift, value: IrExpr, dst: IrType) => IrExpr, formatType: (type: IrType) => string): IrFunction;
+export {};

package/dist/frontend/lowering/union-retag.js

@@ -0,0 +1,259 @@
+import { InternalCompilerError } from "../../errors.js";
+import { BOOL, F64, STRING, isUnitType, shapeHasAccessorSlots, typeEquals, typeKey } from "../../ir/ir.js";
+import { discriminantField, discriminantOwners } from "../union-discriminants.js";
+/** Recursive variants can retain distinct ids for the same field layout.
+ * An independently inferred record may intern to either id, so that id
+ * alone cannot select its semantic destination when wrapping into a union. */
+export function planRecordUnionWrap(source, to, shapeOf) {
+    const discriminant = to.discriminant;
+    if (!discriminant || source.tuple || source.indexValue || shapeHasAccessorSlots(source))
+        return null;
+    const fieldType = discriminantField(source, discriminant.field);
+    if (!fieldType)
+        return null;
+    const routes = [];
+    for (let tag = 0; tag < to.arms.length; tag++) {
+        const arm = to.arms[tag];
+        if (arm.kind !== "record")
+            continue;
+        const target = shapeOf(arm.shapeId);
+        if (!target || target.tuple || target.indexValue || target.fields.length !== source.fields.length)
+            continue;
+        let same = true;
+        for (let i = 0; i < source.fields.length; i++) {
+            const a = source.fields[i], b = target.fields[i];
+            if (a.name !== b.name || !typeEquals(a.type, b.type)) {
+                same = false;
+                break;
+            }
+        }
+        if (!same)
+            continue;
+        const entry = discriminant.cases.find((candidate) => candidate.tag === tag);
+        if (!entry)
+            return null;
+        routes.push({ tag, lift: { how: arm.shapeId === source.id ? "copy" : "width" }, values: entry.values });
+    }
+    if (routes.length < 2 || discriminantOwners(to, shapeOf) === null)
+        return null;
+    return { field: discriminant.field, fieldType, routes };
+}
+/** Pure conversion planning. A source storage tag need not denote just
+ * one semantic variant: refinements can coalesce recursive record layouts.
+ * When both unions name the same discriminant, its values select target
+ * tags, and every selected payload conversion must independently validate.
+ * Planning never interns a helper or caches a recursive assumption. */
+export function planUnionRetag(from, to, shapeOf, widthLift, trappable) {
+    const result = [];
+    const target = { kind: "union", unionId: to.id };
+    const discriminant = from.discriminant;
+    const useDiscriminant = discriminant !== undefined && discriminant.field === to.discriminant?.field;
+    const owners = useDiscriminant ? discriminantOwners(to, shapeOf) : null;
+    if (useDiscriminant && (owners === null || discriminantOwners(from, shapeOf) === null))
+        return null;
+    // Large unions otherwise compare every source arm with every destination.
+    // Keys narrow the search; exact ABI equality still resolves collisions.
+    // Keep small conversions allocation-light and rebuild for each registry view.
+    const indexed = from.arms.length >= 4 && to.arms.length >= 8;
+    const identities = new Map();
+    if (indexed)
+        to.arms.forEach((arm, tag) => {
+            const key = typeKey(arm);
+            const tags = identities.get(key);
+            if (tags)
+                tags.push(tag);
+            else
+                identities.set(key, [tag]);
+        });
+    for (let tag = 0; tag < from.arms.length; tag++) {
+        const source = from.arms[tag];
+        const identity = indexed
+            ? identities.get(typeKey(source))?.find((candidate) => typeEquals(to.arms[candidate], source)) ?? -1
+            : to.arms.findIndex((arm) => typeEquals(arm, source));
+        if (isUnitType(source)) {
+            result.push(identity < 0 ? { kind: "trap" } : {
+                kind: "direct", route: { tag: identity, lift: { how: "copy" }, values: [] },
+            });
+            continue;
+        }
+        // A checker-proven absent arm retains any exact representation, as
+        // before. Otherwise the narrowing path needs no structural conversion.
+        if (identity < 0 && trappable?.has(tag)) {
+            result.push({ kind: "trap" });
+            continue;
+        }
+        if (useDiscriminant && discriminant && owners && source.kind === "record") {
+            const entry = discriminant.cases.find((candidate) => candidate.tag === tag);
+            const fieldType = discriminantField(shapeOf(source.shapeId), discriminant.field);
+            if (!entry || !fieldType)
+                return null;
+            const routes = [];
+            for (const value of entry.values) {
+                // Narrowing can remove semantic cases without changing a storage
+                // arm. Retain that exact representation for omitted literals, while
+                // explicit owners still select their own payload layouts.
+                const destination = owners.get(JSON.stringify(value)) ?? (identity >= 0 ? identity : undefined);
+                if (destination === undefined)
+                    return null;
+                const existing = routes.find((route) => route.tag === destination);
+                if (existing) {
+                    if (!existing.values.includes(value))
+                        existing.values.push(value);
+                    continue;
+                }
+                const lift = widthLift(source, to.arms[destination]);
+                if (lift === null)
+                    return null;
+                routes.push({ tag: destination, lift, values: [value] });
+            }
+            if (routes.length === 1)
+                result.push({ kind: "direct", route: routes[0] });
+            else
+                result.push({ kind: "discriminant", field: discriminant.field, fieldType, routes });
+            continue;
+        }
+        if (identity >= 0) {
+            result.push({ kind: "direct", route: { tag: identity, lift: { how: "copy" }, values: [] } });
+            continue;
+        }
+        // Unannotated unions retain the unique-width-arm rule. A discriminant
+        // present on just one side cannot establish correspondence.
+        const lift = widthLift(source, target);
+        if (!lift || lift.how !== "liftWrap")
+            return null;
+        const inner = widthLift(source, lift.arm);
+        if (!inner)
+            return null;
+        result.push({ kind: "direct", route: { tag: lift.tag, lift: inner, values: [] } });
+    }
+    return result;
+}
+function typeError(message, loc) {
+    return {
+        kind: "throw",
+        value: {
+            kind: "libCall", fn: "error.new",
+            args: [{ kind: "strLit", value: message, type: STRING, loc }],
+            type: { kind: "object", className: "%TypeError" }, loc,
+        },
+        loc,
+    };
+}
+function literalTest(field, literal, loc) {
+    if (typeof literal === "string") {
+        return {
+            kind: "strEq", negated: false, left: field,
+            right: { kind: "strLit", value: literal, type: STRING, loc }, type: BOOL, loc,
+        };
+    }
+    const right = typeof literal === "number"
+        ? { kind: "numLit", value: literal, type: F64, loc }
+        : { kind: "boolLit", value: literal, type: BOOL, loc };
+    return { kind: "bin", op: "===", left: field, right, type: BOOL, loc };
+}
+export function buildRecordUnionWrap(name, source, to, plan, loc, applyLift) {
+    const input = { kind: "varRef", localId: "v.0", type: source, loc };
+    const field = { kind: "varRef", localId: "kind.0", type: plan.fieldType, loc };
+    const result = { kind: "union", unionId: to.id };
+    const body = [{ kind: "varDecl", localId: "kind.0", init: {
+                kind: "recordGet", obj: input, shapeId: source.shapeId, field: plan.field, type: plan.fieldType, loc,
+            }, loc }];
+    for (const route of plan.routes) {
+        let cond = null;
+        for (const literal of route.values) {
+            const test = literalTest(field, literal, loc);
+            cond = cond === null ? test : { kind: "logical", op: "||", left: cond, right: test, type: BOOL, loc };
+        }
+        if (cond === null)
+            throw new InternalCompilerError("lowerer bug: empty record discriminator route");
+        body.push({ kind: "if", cond, then: [{ kind: "return", value: {
+                        kind: "unionWrap", unionId: to.id, tag: route.tag,
+                        value: applyLift(route.lift, input, to.arms[route.tag]), type: result, loc,
+                    }, loc }], else_: null, loc });
+    }
+    body.push(typeError(`invalid '${plan.field}' discriminant in record conversion`, loc));
+    return {
+        name, params: [{ localId: "v.0", name: "value", type: source }], returnType: result,
+        locals: [
+            { id: "v.0", name: "value", type: source, mutable: false },
+            { id: "kind.0", name: "kind", type: plan.fieldType, mutable: false },
+        ], body, loc,
+    };
+}
+/** Emit the already validated routes using ordinary typed IR. Each field
+ * read uses the source shape; each result uses its own destination shape.
+ * Identity routes retain the original payload and width routes copy it.
+ * The caller interns the helper before invoking this build phase. */
+export function buildUnionRetag(name, from, to, plan, loc, applyLift, formatType) {
+    if (plan.length !== from.arms.length)
+        throw new InternalCompilerError("lowerer bug: incomplete union retag plan");
+    const fromType = { kind: "union", unionId: from.id };
+    const toType = { kind: "union", unionId: to.id };
+    const input = { kind: "varRef", localId: "u.0", type: fromType, loc };
+    const fn = {
+        name, params: [{ localId: "u.0", name: "u", type: fromType }], returnType: toType,
+        locals: [{ id: "u.0", name: "u", type: fromType, mutable: false }], body: [], loc,
+    };
+    for (let tag = 0; tag < from.arms.length; tag++) {
+        const arm = from.arms[tag];
+        const armPlan = plan[tag];
+        const statements = [];
+        if (armPlan.kind === "trap") {
+            const what = isUnitType(arm) ? (arm.kind === "undefinedT" ? "undefined" : "null") : `a '${formatType(arm)}' value`;
+            statements.push(typeError(`${what} is not representable in the target union (a value narrowed or asserted past it still held it)`, loc));
+        }
+        else {
+            const payload = isUnitType(arm)
+                ? { kind: "unitLit", unit: arm.kind === "undefinedT" ? "undefined" : "null", type: arm, loc }
+                : { kind: "unionNarrow", unionId: from.id, tag, value: input, type: arm, loc };
+            if (armPlan.kind === "direct") {
+                const route = armPlan.route;
+                statements.push({
+                    kind: "return", value: {
+                        kind: "unionWrap", unionId: to.id, tag: route.tag,
+                        value: applyLift(route.lift, payload, to.arms[route.tag]), type: toType, loc,
+                    }, loc,
+                });
+            }
+            else {
+                if (arm.kind !== "record")
+                    throw new InternalCompilerError("lowerer bug: discriminant on non-record arm");
+                // Capture once after testing the source tag. Reusing a field read
+                // would repeatedly retain the payload and would obscure ownership.
+                const localId = `kind.${tag}`;
+                fn.locals.push({ id: localId, name: "kind", type: armPlan.fieldType, mutable: false });
+                statements.push({
+                    kind: "varDecl", localId,
+                    init: { kind: "recordGet", obj: payload, shapeId: arm.shapeId, field: armPlan.field, type: armPlan.fieldType, loc }, loc,
+                });
+                const field = { kind: "varRef", localId, type: armPlan.fieldType, loc };
+                for (const route of armPlan.routes) {
+                    let cond = null;
+                    for (const literal of route.values) {
+                        const test = literalTest(field, literal, loc);
+                        cond = cond === null ? test : { kind: "logical", op: "||", left: cond, right: test, type: BOOL, loc };
+                    }
+                    if (cond === null)
+                        throw new InternalCompilerError("lowerer bug: empty discriminant route");
+                    statements.push({
+                        kind: "if", cond,
+                        then: [{ kind: "return", value: {
+                                    kind: "unionWrap", unionId: to.id, tag: route.tag,
+                                    value: applyLift(route.lift, payload, to.arms[route.tag]), type: toType, loc,
+                                }, loc }], else_: null, loc,
+                    });
+                }
+                statements.push(typeError(`invalid '${armPlan.field}' discriminant in union conversion`, loc));
+            }
+        }
+        fn.body.push({
+            kind: "if", cond: { kind: "unionIsTag", unionId: from.id, tag, negated: false, value: input, type: BOOL, loc },
+            then: statements, else_: null, loc,
+        });
+    }
+    fn.body.push({
+        kind: "throw", value: { kind: "strLit", value: "scriptc: internal error: invalid union tag", type: STRING, loc }, loc,
+    });
+    return fn;
+}
+//# sourceMappingURL=union-retag.js.map