@scriptc/compiler 0.1.7 → 0.2.1

package/dist/frontend/lowering/symbol-fields.js

@@ -0,0 +1,183 @@
+import * as ts from "../ts7/adapter.js";
+import { bindingEarlyUse7 } from "../program.js";
+const FIELD_PREFIX = "%symbol:";
+function constantSymbolDescription(lowerer, expression, seen = new Set()) {
+    while (ts.isParenthesizedExpression(expression))
+        expression = expression.expression;
+    if (ts.isStringLiteralLike(expression))
+        return expression.text;
+    if (!ts.isIdentifier(expression) && !ts.isPropertyAccessExpression(expression))
+        return null;
+    const name = ts.isPropertyAccessExpression(expression) ? expression.name : expression;
+    if (!ts.isIdentifier(name))
+        return null;
+    const symbol = lowerer.resolveValueSymbol(name);
+    if (!symbol || seen.has(symbol))
+        return null;
+    seen.add(symbol);
+    const declaration = lowerer.checker.valueDeclarationOf(symbol);
+    if (!declaration || !ts.isVariableDeclaration(declaration) || !declaration.initializer ||
+        !ts.isVariableDeclarationList(declaration.parent) || !(declaration.parent.flags & ts.NodeFlags.Const))
+        return null;
+    return constantSymbolDescription(lowerer, declaration.initializer, seen);
+}
+export function symbolFieldDisplayName(field) {
+    return field.slice(FIELD_PREFIX.length);
+}
+/** CopyDataProperties includes symbols, unlike the string-keyed view used
+ * by Object.keys/JSON. Refuse known symbol-bearing sources before boxing
+ * erases their class type. A spread call argument supplies sources from
+ * its array/tuple elements, rather than copying the container itself. */
+export function fenceSymbolFieldCopy(lowerer, node, type, spread = false) {
+    if (type.kind === "union") {
+        for (const arm of lowerer.unions.get(type.unionId)?.arms ?? [])
+            fenceSymbolFieldCopy(lowerer, node, arm, spread);
+    }
+    else if (spread) {
+        if (type.kind === "array")
+            fenceSymbolFieldCopy(lowerer, node, type.elem);
+        else if (type.kind === "record") {
+            const shape = lowerer.shapes.get(type.shapeId);
+            if (shape?.tuple)
+                for (const field of shape.fields)
+                    fenceSymbolFieldCopy(lowerer, node, field.type);
+        }
+    }
+    else if (type.kind === "object" && lowerer.classes.get(type.className)?.symbolFields?.size) {
+        lowerer.unsupported("SC1031", node, "copying class instances with symbol-keyed fields (the copied symbols have no record form)");
+    }
+}
+export function classSymbolKeyOf(lowerer, key) {
+    if (!ts.isIdentifier(key) && (!ts.isPropertyAccessExpression(key) || key.questionDotToken || !ts.isIdentifier(key.name)))
+        return null;
+    const type = lowerer.typeOf(key);
+    if (!(type.flags & (ts.TypeFlags.UniqueESSymbol | ts.TypeFlags.ESSymbol)))
+        return null;
+    const id = ts.isPropertyAccessExpression(key) ? key.name : key;
+    if (!ts.isIdentifier(id))
+        return null;
+    const sym = lowerer.resolveValueSymbol(id);
+    return sym ? classSymbolKeyOfSymbol(lowerer, sym) : null;
+}
+/** A literal Symbol()/Symbol.for() initialized once at module scope. The
+ * whole-file proof also covers var declarations emitted by bundlers. Keys
+ * cannot be used before initialization: a computed class field evaluates
+ * its key when the class is defined, even if no instance is constructed. */
+export function classSymbolKeyOfSymbol(lowerer, sym) {
+    const cache = lowerer.classSymbolKeys;
+    const cached = cache.get(sym);
+    if (cached !== undefined)
+        return cached;
+    cache.set(sym, null);
+    const decls = lowerer.checker.declarationsOf(sym);
+    const decl = lowerer.checker.valueDeclarationOf(sym);
+    if (decls.length !== 1 || !decl || !ts.isVariableDeclaration(decl) || !ts.isIdentifier(decl.name))
+        return null;
+    const list = decl.parent;
+    if (!ts.isVariableDeclarationList(list) || !ts.isVariableStatement(list.parent) || !ts.isSourceFile(list.parent.parent))
+        return null;
+    const init = decl.initializer;
+    if (init && (ts.isIdentifier(init) || ts.isPropertyAccessExpression(init))) {
+        const target = classSymbolKeyOf(lowerer, init);
+        if (!target || bindingWritten(lowerer, sym, decl.getSourceFile()))
+            return null;
+        const preceding = list.declarations.slice(0, list.declarations.indexOf(decl));
+        if (bindingEarlyUse7(lowerer.program, decl.getSourceFile(), decl.getSourceFile().statements.indexOf(list.parent), decl, preceding) !== null)
+            return null;
+        const alias = { ...target, sym };
+        cache.set(sym, alias);
+        return alias;
+    }
+    if (!init || !ts.isCallExpression(init) || init.questionDotToken)
+        return null;
+    const callee = init.expression;
+    const registered = ts.isPropertyAccessExpression(callee) && !callee.questionDotToken && callee.name.text === "for";
+    const root = registered ? callee.expression : callee;
+    if (!ts.isIdentifier(root) || !lowerer.isStdlibGlobal(root, "Symbol"))
+        return null;
+    const arg = init.arguments.length === 0 ? null : init.arguments.length === 1 ? init.arguments[0] : undefined;
+    if (arg === undefined || (registered && arg === null))
+        return null;
+    const description = arg === null ? "" : constantSymbolDescription(lowerer, arg);
+    if (description === null)
+        return null;
+    // Ordinary Symbol() is a fresh identity per evaluation, so only the
+    // module-scope declaration above can name one fixed layout slot.
+    const sf = decl.getSourceFile();
+    if (bindingWritten(lowerer, sym, sf))
+        return null;
+    const preceding = list.declarations.slice(0, list.declarations.indexOf(decl));
+    // Creating a function value does not execute its body. The general
+    // require-publication analysis conservatively enters those bodies, but a
+    // prefix containing only imports and function definitions cannot call
+    // them before this key initializes. Cyclic module reads are checked by
+    // preflight independently.
+    const inertInitializer = (declaration) => {
+        const init = declaration.initializer;
+        return ts.isIdentifier(declaration.name) && init !== undefined &&
+            (ts.isArrowFunction(init) || ts.isFunctionExpression(init) || ts.isStringLiteralLike(init) ||
+                ts.isNumericLiteral(init) || init.kind === ts.SyntaxKind.TrueKeyword ||
+                init.kind === ts.SyntaxKind.FalseKeyword || init.kind === ts.SyntaxKind.NullKeyword);
+    };
+    const prefixIsInert = sf.statements.slice(0, sf.statements.indexOf(list.parent)).every((statement) => ts.isImportDeclaration(statement) || ts.isFunctionDeclaration(statement) ||
+        ts.isVariableStatement(statement) && statement.declarationList.declarations.every(inertInitializer)) && preceding.every(inertInitializer);
+    if (!prefixIsInert && bindingEarlyUse7(lowerer.program, sf, sf.statements.indexOf(list.parent), decl, preceding) !== null)
+        return null;
+    // A registry name denotes one symbol even when several source bindings
+    // initialize it. Intern those names into a representative checker symbol;
+    // the layout table then has one identity-keyed domain for both forms.
+    let identity = sym;
+    if (registered) {
+        const existing = lowerer.registeredClassSymbols.get(description);
+        if (existing)
+            identity = existing;
+        else
+            lowerer.registeredClassSymbols.set(description, sym);
+    }
+    const key = {
+        sym,
+        identity,
+        // Symbol slots are not string properties. The reserved prefix keeps
+        // them out of the native class's string-keyed dynamic view, including
+        // Object.keys/JSON serialization and string-property writeback.
+        fieldName: `${FIELD_PREFIX}Symbol(${description})`,
+    };
+    cache.set(sym, key);
+    return key;
+}
+function bindingWritten(lowerer, sym, sf) {
+    let written = false;
+    const scanTarget = (target) => {
+        ts.walkPreorder(target, (node) => {
+            // Assignment to obj[key] changes the property, never the key's
+            // binding. The same applies to these leaves in destructuring.
+            if (ts.isPropertyAccessExpression(node) || ts.isElementAccessExpression(node))
+                return "skip";
+            if (!ts.isIdentifier(node) || node.text !== sym.name)
+                return;
+            const targetSym = ts.isShorthandPropertyAssignment(node.parent)
+                ? lowerer.checker.getShorthandAssignmentValueSymbol(node.parent)
+                : lowerer.checker.getSymbolAtLocation(node);
+            if (targetSym === sym) {
+                written = true;
+                return "stop";
+            }
+        });
+    };
+    ts.walkPreorder(sf, (node) => {
+        if (written)
+            return "stop";
+        if (ts.isBinaryExpression(node) && node.operatorToken.kind >= ts.SyntaxKind.FirstAssignment && node.operatorToken.kind <= ts.SyntaxKind.LastAssignment) {
+            scanTarget(node.left);
+        }
+        else if ((ts.isPrefixUnaryExpression(node) || ts.isPostfixUnaryExpression(node)) &&
+            (node.operator === ts.SyntaxKind.PlusPlusToken || node.operator === ts.SyntaxKind.MinusMinusToken)) {
+            scanTarget(node.operand);
+        }
+        else if ((ts.isForOfStatement(node) || ts.isForInStatement(node)) && !ts.isVariableDeclarationList(node.initializer)) {
+            scanTarget(node.initializer);
+        }
+    });
+    return written;
+}
+//# sourceMappingURL=symbol-fields.js.map

package/dist/frontend/lowering/symbol-fields.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-fields.js","sourceRoot":"","sources":["../../../src/frontend/lowering/symbol-fields.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAYjD,MAAM,YAAY,GAAG,UAAU,CAAC;AAEhC,SAAS,yBAAyB,CAAC,OAAgB,EAAE,UAAyB,EAAE,IAAI,GAAG,IAAI,GAAG,EAAa;IACzG,OAAO,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAAE,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;IACpF,IAAI,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC;IAC/D,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5F,MAAM,IAAI,GAAG,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC;IACtF,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACjB,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC/D,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW;QAClF,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACvH,OAAO,yBAAyB,CAAC,OAAO,EAAE,WAAW,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAa;IAClD,OAAO,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;AAC1C,CAAC;AAED;;;yEAGyE;AACzE,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,IAAa,EAAE,IAAY,EAAE,MAAM,GAAG,KAAK;IAChG,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE;YAAE,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IACnH,CAAC;SAAM,IAAI,MAAM,EAAE,CAAC;QAClB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;aACrE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC/C,IAAI,KAAK,EAAE,KAAK;gBAAE,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM;oBAAE,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACtG,CAAC;IACH,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QAC7F,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,2FAA2F,CAAC,CAAC;IACnI,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,GAAkB;IACnE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,gBAAgB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACtI,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,cAAc,GAAG,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACvF,MAAM,EAAE,GAAG,EAAE,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IAC/D,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;IAC3C,OAAO,GAAG,CAAC,CAAC,CAAC,sBAAsB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3D,CAAC;AAED;;;4EAG4E;AAC5E,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,GAAc;IACrE,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC;IACtC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/G,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACzB,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACrI,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;IAC9B,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC3E,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC/C,IAAI,CAAC,MAAM,IAAI,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/E,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9E,IAAI,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACzJ,MAAM,KAAK,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,EAAE,CAAC;QACjC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAC9E,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,MAAM,UAAU,GAAG,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;IACnH,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;IACrD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACnF,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9G,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,UAAU,IAAI,GAAG,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnE,MAAM,WAAW,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,yBAAyB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAChF,IAAI,WAAW,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACtC,oEAAoE;IACpE,iEAAiE;IACjE,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IAChC,IAAI,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9E,mEAAmE;IACnE,yEAAyE;IACzE,sEAAsE;IACtE,uEAAuE;IACvE,2BAA2B;IAC3B,MAAM,gBAAgB,GAAG,CAAC,WAAmC,EAAW,EAAE;QACxE,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC;QACrC,OAAO,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,SAAS;YAC5D,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;gBACxF,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;gBACpE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IAC3F,CAAC,CAAC;IACF,MAAM,aAAa,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CACnG,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;QACxE,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC,KAAK,CAAC,gBAAgB,CAAC,CACpG,IAAI,SAAS,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACvC,IAAI,CAAC,aAAa,IAAI,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACvI,uEAAuE;IACvE,0EAA0E;IAC1E,sEAAsE;IACtE,IAAI,QAAQ,GAAG,GAAG,CAAC;IACnB,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,QAAQ,GAAG,OAAO,CAAC,sBAAsB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACjE,IAAI,QAAQ;YAAE,QAAQ,GAAG,QAAQ,CAAC;;YAC7B,OAAO,CAAC,sBAAsB,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,GAAG,GAAmB;QAC1B,GAAG;QACH,QAAQ;QACR,oEAAoE;QACpE,sEAAsE;QACtE,gEAAgE;QAChE,SAAS,EAAE,GAAG,YAAY,UAAU,WAAW,GAAG;KACnD,CAAC;IACF,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACpB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,cAAc,CAAC,OAAgB,EAAE,GAAc,EAAE,EAAiB;IACzE,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,UAAU,GAAG,CAAC,MAAe,EAAQ,EAAE;QAC3C,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;YAC/B,+DAA+D;YAC/D,8DAA8D;YAC9D,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;gBAAE,OAAO,MAAM,CAAC;YAC7F,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;gBAAE,OAAO;YAC7D,MAAM,SAAS,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,MAAM,CAAC;gBAC7D,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,iCAAiC,CAAC,IAAI,CAAC,MAAM,CAAC;gBAChE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;gBACtB,OAAO,GAAG,IAAI,CAAC;gBACf,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3B,IAAI,OAAO;YAAE,OAAO,MAAM,CAAC;QAC3B,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,eAAe,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,EAAE,CAAC;YACvJ,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;aAAM,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;YAChF,CAAC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;YACrG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3B,CAAC;aAAM,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YACvH,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/frontend/lowering/symbol-methods.d.ts

@@ -0,0 +1,7 @@
+import * as ts from "../ts7/adapter.js";
+import type { IrExpr } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+/** A stable symbol method uses the same completed arguments and virtual
+ * dispatch as a string-named class method. Runtime-selected keys stay on
+ * the checked-property path. */
+export declare function lowerClassSymbolMethodCall(lowerer: Lowerer, call: ts.CallExpression): IrExpr | null;

package/dist/frontend/lowering/symbol-methods.js

@@ -0,0 +1,30 @@
+import * as ts from "../ts7/adapter.js";
+import { locOf } from "../program.js";
+import { accessorCall } from "./lower-classes.js";
+import { classSymbolKeyOf } from "./symbol-fields.js";
+/** A stable symbol method uses the same completed arguments and virtual
+ * dispatch as a string-named class method. Runtime-selected keys stay on
+ * the checked-property path. */
+export function lowerClassSymbolMethodCall(lowerer, call) {
+    const access = call.expression;
+    if (!ts.isElementAccessExpression(access) || access.questionDotToken || call.questionDotToken)
+        return null;
+    const key = classSymbolKeyOf(lowerer, access.argumentExpression);
+    if (!key)
+        return null;
+    const type = lowerer.mapTypeOf(lowerer.typeOf(access.expression));
+    if (type?.kind !== "object")
+        return null;
+    const info = lowerer.classes.get(type.className);
+    const name = info?.symbolMethods?.get(key.identity);
+    if (!name)
+        return null;
+    const method = lowerer.findMethodOn(info ?? null, name);
+    if (!method)
+        return null;
+    const loc = locOf(call);
+    const receiver = lowerer.lowerExpr(access.expression);
+    const args = lowerer.completeArgs(call.arguments, method.sig.params, loc, call);
+    return accessorCall(lowerer, type.className, name, receiver, args, method.sig.ret, loc);
+}
+//# sourceMappingURL=symbol-methods.js.map

package/dist/frontend/lowering/symbol-methods.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-methods.js","sourceRoot":"","sources":["../../../src/frontend/lowering/symbol-methods.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAGtC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD;;gCAEgC;AAChC,MAAM,UAAU,0BAA0B,CAAC,OAAgB,EAAE,IAAuB;IAClF,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAC3G,MAAM,GAAG,GAAG,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACjE,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAClE,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,IAAI,EAAE,aAAa,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,IAAI,IAAI,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAChF,OAAO,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAC1F,CAAC"}

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

@@ -0,0 +1,12 @@
+type StaticTextDecoderEncoding = {
+    kind: "utf8";
+} | {
+    kind: "legacy";
+    id: number;
+};
+/** Shared input for the native constructor's generated label registry. */
+export declare const textDecoderLabels: readonly (readonly [string, number])[];
+/** TextDecoder's get-an-encoding normalization: trim ASCII whitespace and
+ * fold ASCII case only (Unicode case folding must not manufacture a label). */
+export declare function staticTextDecoderEncoding(label: string): StaticTextDecoderEncoding | null;
+export {};

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

@@ -0,0 +1,82 @@
+/* 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;
+})();
+/** Shared input for the native constructor's generated label registry. */
+export const textDecoderLabels = [
+    ...[...TEXT_DECODER_UTF8_LABELS].map((label) => [label, -1]),
+    ...Object.entries(TEXT_DECODER_LEGACY_LABELS).map(([label, id]) => [label, id]),
+];
+/** 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,0EAA0E;AAC1E,MAAM,CAAC,MAAM,iBAAiB,GAA2C;IACvE,GAAG,CAAC,GAAG,wBAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAU,CAAC;IACrE,GAAG,MAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,EAAG,CAAU,CAAC;CAC1F,CAAC;AAEF;+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 {};