@scriptc/compiler 0.1.3 → 0.1.4

package/dist/frontend/fork-target.js

@@ -0,0 +1,256 @@
+import { resolve } from "node:path";
+import { fileURLToPath, pathToFileURL } from "node:url";
+import * as ts from "./ts7/adapter.js";
+import { canonicalBuiltinModule } from "./builtin-modules.js";
+function strip(expr) {
+    let current = expr;
+    while (ts.isParenthesizedExpression(current) ||
+        ts.isAsExpression(current) ||
+        ts.isTypeAssertion(current) ||
+        ts.isNonNullExpression(current)) {
+        current = current.expression;
+    }
+    return current;
+}
+/** True when an identifier is a named import of one Node builtin member.
+ * The declaration-file fallback preserves re-export facades in the same
+ * way as lowering's builtinImportOf helper. */
+export function isBuiltinMemberImport(program, ident, moduleName, memberName) {
+    const checker = program.getTypeChecker();
+    const symbol = checker.getSymbolAtLocation(ident);
+    const decl = symbol ? checker.declarationsOf(symbol)[0] : undefined;
+    if (decl !== undefined && ts.isImportSpecifier(decl)) {
+        const importDecl = decl.parent.parent.parent;
+        if (ts.isImportDeclaration(importDecl) && ts.isStringLiteral(importDecl.moduleSpecifier)) {
+            const member = decl.propertyName?.text ?? decl.name.text;
+            if (canonicalBuiltinModule(importDecl.moduleSpecifier.text) === moduleName && member === memberName) {
+                return true;
+            }
+        }
+    }
+    if (symbol !== undefined && (symbol.flags & ts.SymbolFlags.Alias) !== 0) {
+        const target = checker.getAliasedSymbol(symbol);
+        const targetDecl = checker.declarationsOf(target)[0];
+        if (targetDecl !== undefined && targetDecl.getSourceFile().isDeclarationFile) {
+            for (let parent = targetDecl.parent; parent !== undefined && !ts.isSourceFile(parent); parent = parent.parent) {
+                if (ts.isModuleDeclaration(parent) && ts.isStringLiteral(parent.name)) {
+                    return canonicalBuiltinModule(parent.name.text) === moduleName && target.name === memberName;
+                }
+            }
+        }
+    }
+    return false;
+}
+/** True when an identifier is the namespace/default binding for one Node
+ * builtin module. JavaScript default imports of CommonJS builtins expose the
+ * same module object as namespace imports, matching lowering's provenance. */
+function isBuiltinNamespaceImport(program, ident, moduleName) {
+    const checker = program.getTypeChecker();
+    const symbol = checker.getSymbolAtLocation(ident);
+    const decl = symbol ? checker.declarationsOf(symbol)[0] : undefined;
+    let importDecl;
+    if (decl !== undefined && ts.isNamespaceImport(decl)) {
+        const candidate = decl.parent.parent;
+        if (ts.isImportDeclaration(candidate))
+            importDecl = candidate;
+    }
+    else if (decl !== undefined && ts.isImportClause(decl) && decl.name !== undefined) {
+        if (ts.isImportDeclaration(decl.parent))
+            importDecl = decl.parent;
+    }
+    return importDecl !== undefined &&
+        ts.isStringLiteral(importDecl.moduleSpecifier) &&
+        canonicalBuiltinModule(importDecl.moduleSpecifier.text) === moduleName;
+}
+function constInitializer(program, expr) {
+    const current = strip(expr);
+    if (!ts.isIdentifier(current))
+        return null;
+    const symbol = program.getTypeChecker().getSymbolAtLocation(current);
+    const decl = symbol
+        ? program.getTypeChecker().declarationsOf(symbol).find((candidate) => ts.isVariableDeclaration(candidate))
+        : undefined;
+    if (decl === undefined ||
+        decl.initializer === undefined ||
+        !ts.isVariableDeclarationList(decl.parent) ||
+        (decl.parent.flags & ts.NodeFlags.Const) === 0) {
+        return null;
+    }
+    return decl.initializer;
+}
+function importMetaUrl(expr) {
+    const current = strip(expr);
+    return (ts.isPropertyAccessExpression(current) &&
+        !current.questionDotToken &&
+        current.name.text === "url" &&
+        ts.isMetaProperty(current.expression) &&
+        current.expression.keywordToken === ts.SyntaxKind.ImportKeyword &&
+        current.expression.name.text === "meta");
+}
+function staticBoolean(program, expr, seen) {
+    const current = strip(expr);
+    if (current.kind === ts.SyntaxKind.TrueKeyword)
+        return true;
+    if (current.kind === ts.SyntaxKind.FalseKeyword)
+        return false;
+    const init = constInitializer(program, current);
+    if (init !== null && ts.isIdentifier(current)) {
+        const symbol = program.getTypeChecker().getSymbolAtLocation(current);
+        if (symbol === undefined || seen.has(symbol))
+            return null;
+        seen.add(symbol);
+        const value = staticBoolean(program, init, seen);
+        seen.delete(symbol);
+        return value;
+    }
+    if (ts.isCallExpression(current) &&
+        !current.questionDotToken &&
+        current.arguments.length === 1 &&
+        ts.isPropertyAccessExpression(current.expression) &&
+        !current.expression.questionDotToken &&
+        (current.expression.name.text === "endsWith" || current.expression.name.text === "startsWith")) {
+        const receiver = staticString(program, current.expression.expression, seen);
+        const needle = staticString(program, current.arguments[0], seen);
+        if (receiver === null || needle === null)
+            return null;
+        return current.expression.name.text === "endsWith"
+            ? receiver.endsWith(needle)
+            : receiver.startsWith(needle);
+    }
+    return null;
+}
+/** A deliberately small compile-time string evaluator for fork target paths.
+ * It follows const aliases, import.meta.url, templates, conditionals, the
+ * relative URL constructor, and fileURLToPath. No user function executes. */
+export function staticForkString(program, expr, seen = new Set()) {
+    return staticString(program, expr, seen);
+}
+function staticString(program, expr, seen) {
+    const current = strip(expr);
+    if (ts.isStringLiteralLike(current))
+        return current.text;
+    if (importMetaUrl(current))
+        return pathToFileURL(current.getSourceFile().fileName).href;
+    if (ts.isTemplateExpression(current)) {
+        let value = current.head.text;
+        for (const span of current.templateSpans) {
+            const part = staticString(program, span.expression, seen);
+            if (part === null)
+                return null;
+            value += part + span.literal.text;
+        }
+        return value;
+    }
+    if (ts.isConditionalExpression(current)) {
+        const condition = staticBoolean(program, current.condition, seen);
+        return condition === null
+            ? null
+            : staticString(program, condition ? current.whenTrue : current.whenFalse, seen);
+    }
+    const init = constInitializer(program, current);
+    if (init !== null && ts.isIdentifier(current)) {
+        const symbol = program.getTypeChecker().getSymbolAtLocation(current);
+        if (symbol === undefined || seen.has(symbol))
+            return null;
+        seen.add(symbol);
+        const value = staticString(program, init, seen);
+        seen.delete(symbol);
+        return value;
+    }
+    if (ts.isCallExpression(current) &&
+        !current.questionDotToken &&
+        current.arguments.length === 1 &&
+        ts.isIdentifier(current.expression) &&
+        isBuiltinMemberImport(program, current.expression, "url", "fileURLToPath")) {
+        const href = staticString(program, current.arguments[0], seen);
+        if (href === null)
+            return null;
+        try {
+            return fileURLToPath(href);
+        }
+        catch {
+            return null;
+        }
+    }
+    if (ts.isNewExpression(current) && ts.isIdentifier(current.expression) && current.expression.text === "URL") {
+        const args = current.arguments ?? [];
+        if (args.length < 1 || args.length > 2)
+            return null;
+        const input = staticString(program, args[0], seen);
+        const base = args[1] === undefined ? null : staticString(program, args[1], seen);
+        if (input === null || (args.length === 2 && base === null))
+            return null;
+        try {
+            return base === null ? new URL(input).href : new URL(input, base).href;
+        }
+        catch {
+            return null;
+        }
+    }
+    return null;
+}
+/** Resolves the supported fork modulePath expression to an absolute source
+ * path. Plain runtime strings are intentionally excluded: worker selection
+ * is part of the compiled graph, not a runtime filesystem lookup. */
+export function staticForkModulePath(program, expr) {
+    const current = strip(expr);
+    const init = constInitializer(program, current);
+    if (init !== null && ts.isIdentifier(current))
+        return staticForkModulePath(program, init);
+    const supported = (ts.isCallExpression(current) &&
+        !current.questionDotToken &&
+        current.arguments.length === 1 &&
+        ts.isIdentifier(current.expression) &&
+        isBuiltinMemberImport(program, current.expression, "url", "fileURLToPath")) ||
+        (ts.isNewExpression(current) && ts.isIdentifier(current.expression) && current.expression.text === "URL");
+    if (!supported)
+        return null;
+    const value = staticString(program, current, new Set());
+    if (value === null)
+        return null;
+    try {
+        const path = value.startsWith("file:") ? fileURLToPath(value) : value;
+        return resolve(path);
+    }
+    catch {
+        return null;
+    }
+}
+export function forkCallModulePath(program, call) {
+    const callee = strip(call.expression);
+    const isFork = (ts.isIdentifier(callee) &&
+        isBuiltinMemberImport(program, callee, "child_process", "fork")) ||
+        (ts.isPropertyAccessExpression(callee) &&
+            !callee.questionDotToken &&
+            callee.name.text === "fork" &&
+            ts.isIdentifier(callee.expression) &&
+            isBuiltinNamespaceImport(program, callee.expression, "child_process"));
+    if (call.questionDotToken ||
+        call.arguments[0] === undefined ||
+        !isFork) {
+        return null;
+    }
+    return staticForkModulePath(program, call.arguments[0]);
+}
+/** Source-order static fork targets in the supplied files, deduplicated by
+ * resolved path. */
+export function forkTargetPaths(program, files) {
+    const targets = [];
+    const seen = new Set();
+    for (const sourceFile of files) {
+        if (sourceFile.isDeclarationFile || sourceFile.fileName.endsWith(".json"))
+            continue;
+        ts.walkPreorder(sourceFile, (node) => {
+            if (!ts.isCallExpression(node))
+                return undefined;
+            const target = forkCallModulePath(program, node);
+            if (target !== null && !seen.has(target)) {
+                seen.add(target);
+                targets.push(target);
+            }
+            return undefined;
+        });
+    }
+    return targets;
+}
+//# sourceMappingURL=fork-target.js.map

package/dist/frontend/fork-target.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fork-target.js","sourceRoot":"","sources":["../../src/frontend/fork-target.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACxD,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACvC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAE9D,SAAS,KAAK,CAAC,IAAmB;IAChC,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OACE,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;QACrC,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC;QAC1B,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAC3B,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAC/B,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;+CAE+C;AAC/C,MAAM,UAAU,qBAAqB,CACnC,OAAmB,EACnB,KAAoB,EACpB,UAAkB,EAClB,UAAkB;IAElB,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QAC7C,IAAI,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;YACzF,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACzD,IAAI,sBAAsB,CAAC,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,UAAU,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;gBACpG,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,aAAa,EAAE,CAAC,iBAAiB,EAAE,CAAC;YAC7E,KAAK,IAAI,MAAM,GAAwB,UAAU,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;gBACnI,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtE,OAAO,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC;gBAC/F,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;8EAE8E;AAC9E,SAAS,wBAAwB,CAC/B,OAAmB,EACnB,KAAoB,EACpB,UAAkB;IAElB,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,IAAI,UAA4C,CAAC;IACjD,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QACrC,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YAAE,UAAU,GAAG,SAAS,CAAC;IAChE,CAAC;SAAM,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACpF,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;IACpE,CAAC;IACD,OAAO,UAAU,KAAK,SAAS;QAC7B,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,eAAe,CAAC;QAC9C,sBAAsB,CAAC,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC;AAC3E,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAmB,EAAE,IAAmB;IAChE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,MAAM;QACjB,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAuC,EAAE,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC;QAC/I,CAAC,CAAC,SAAS,CAAC;IACd,IACE,IAAI,KAAK,SAAS;QAClB,IAAI,CAAC,WAAW,KAAK,SAAS;QAC9B,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC;QAC1C,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAC9C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC,WAAW,CAAC;AAC1B,CAAC;AAED,SAAS,aAAa,CAAC,IAAmB;IACxC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC;QACtC,CAAC,OAAO,CAAC,gBAAgB;QACzB,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAC3B,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,UAAU,CAAC;QACrC,OAAO,CAAC,UAAU,CAAC,YAAY,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QAC/D,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CACxC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,OAAmB,EACnB,IAAmB,EACnB,IAAoB;IAEpB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC5D,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;QACrE,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1D,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjB,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACpB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAC5B,CAAC,OAAO,CAAC,gBAAgB;QACzB,OAAO,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC9B,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC;QACjD,CAAC,OAAO,CAAC,UAAU,CAAC,gBAAgB;QACpC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,EAC9F,CAAC;QACD,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAC5E,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC;QAClE,IAAI,QAAQ,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACtD,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;YAChD,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;YAC3B,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;6EAE6E;AAC7E,MAAM,UAAU,gBAAgB,CAC9B,OAAmB,EACnB,IAAmB,EACnB,IAAI,GAAmB,IAAI,GAAG,EAAE;IAEhC,OAAO,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,YAAY,CACnB,OAAmB,EACnB,IAAmB,EACnB,IAAoB;IAEpB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC,IAAI,CAAC;IACzD,IAAI,aAAa,CAAC,OAAO,CAAC;QAAE,OAAO,aAAa,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC;IACxF,IAAI,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QACrC,IAAI,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAC1D,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC/B,KAAK,IAAI,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QAClE,OAAO,SAAS,KAAK,IAAI;YACvB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;QACrE,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1D,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjB,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACpB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAC5B,CAAC,OAAO,CAAC,gBAAgB;QACzB,OAAO,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC9B,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC;QACnC,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,KAAK,EAAE,eAAe,CAAC,EAC1E,CAAC;QACD,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC;QAChE,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/B,IAAI,CAAC;YACH,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5G,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACpD,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACjF,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACxE,IAAI,CAAC;YACH,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC;QACzE,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;qEAEqE;AACrE,MAAM,UAAU,oBAAoB,CAAC,OAAmB,EAAE,IAAmB;IAC3E,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC1F,MAAM,SAAS,GACb,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAC3B,CAAC,OAAO,CAAC,gBAAgB;QACzB,OAAO,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC9B,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC;QACnC,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;QAC7E,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IAC5G,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACxD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACtE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAmB,EAAE,IAAuB;IAC7E,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtC,MAAM,MAAM,GACV,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QACtB,qBAAqB,CAAC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;QAClE,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;YACpC,CAAC,MAAM,CAAC,gBAAgB;YACxB,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAC3B,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;YAClC,wBAAwB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC;IAC3E,IACE,IAAI,CAAC,gBAAgB;QACrB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS;QAC/B,CAAC,MAAM,EACP,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;oBACoB;AACpB,MAAM,UAAU,eAAe,CAAC,OAAmB,EAAE,KAA+B;IAClF,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;QAC/B,IAAI,UAAU,CAAC,iBAAiB,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QACpF,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;YACnC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;gBAAE,OAAO,SAAS,CAAC;YACjD,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACjD,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACjB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/frontend/lowering/abstract-equality.d.ts

@@ -0,0 +1,6 @@
+import { IrExpr, IrType, SrcLoc } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+export declare function abstractEqualitySupported(lowerer: Lowerer, left: IrType, right: IrType): boolean;
+export declare function abstractEqualityExpr(lowerer: Lowerer, left: IrExpr, right: IrExpr, loc: SrcLoc, nanEqualsNan?: boolean): IrExpr;
+/** Evaluate both operands once, left-to-right, then compare their stable values. */
+export declare function lowerAbstractEquality(lowerer: Lowerer, left: IrExpr, right: IrExpr, negated: boolean, loc: SrcLoc): IrExpr | null;

package/dist/frontend/lowering/abstract-equality.js

@@ -0,0 +1,250 @@
+import { InternalCompilerError } from "../../errors.js";
+import { BOOL, DYN_HANDLE_KINDS, F64, isUnitType, typeEquals } from "../../ir/ir.js";
+import { boolLit, numLit, varRef } from "../../ir/build.js";
+/**
+ * The engine-free part of ECMAScript Abstract Equality Comparison.
+ *
+ * Every primitive pair is exact, including StringToNumber,
+ * StringToBigInt, Boolean-to-number recursion, and BigInt/Number's
+ * mathematical comparison. Object-to-primitive coercion stays outside
+ * this helper: user-defined valueOf/toString methods can execute arbitrary
+ * JavaScript, so a static build must keep that form fenced. Object pairs
+ * with one exact representation compare by identity, as == and === agree
+ * there.
+ */
+const IDENTITY_KINDS = new Set([
+    "array",
+    "bytes",
+    "map",
+    "set",
+    "object",
+    "record",
+    "promise",
+    "symbol",
+    "classval",
+    "moduleNs",
+]);
+const PRIMITIVE_KINDS = new Set([
+    "f64",
+    "string",
+    "bool",
+    "bigint",
+    "symbol",
+]);
+function supportsPair(lowerer, left, right) {
+    if (left.kind === "union") {
+        const def = lowerer.unions.get(left.unionId);
+        return def !== undefined && def.arms.every((arm) => supportsPair(lowerer, arm, right));
+    }
+    if (right.kind === "union") {
+        const def = lowerer.unions.get(right.unionId);
+        return def !== undefined && def.arms.every((arm) => supportsPair(lowerer, left, arm));
+    }
+    if (isUnitType(left) || isUnitType(right)) {
+        const other = isUnitType(left) ? right : left;
+        return other.kind !== "dyn" && other.kind !== "jsval" && other.kind !== "caught" && other.kind !== "void";
+    }
+    if (PRIMITIVE_KINDS.has(left.kind) && PRIMITIVE_KINDS.has(right.kind))
+        return true;
+    if (left.kind === "func" && right.kind === "func")
+        return true;
+    if (IDENTITY_KINDS.has(left.kind) && typeEquals(left, right))
+        return true;
+    if (DYN_HANDLE_KINDS.has(left.kind) && typeEquals(left, right))
+        return true;
+    if (left.kind === "object" && right.kind === "object") {
+        return lowerer.isSubclassOf(left.className, right.className) || lowerer.isSubclassOf(right.className, left.className);
+    }
+    return false;
+}
+function boolAsNumber(value, loc) {
+    return {
+        kind: "ternary",
+        cond: value,
+        then: numLit(1, loc),
+        else_: numLit(0, loc),
+        type: F64,
+        loc,
+    };
+}
+function numericEq(left, right, nanEqualsNan, loc) {
+    const ordinary = { kind: "bin", op: "===", left, right, type: BOOL, loc };
+    if (!nanEqualsNan)
+        return ordinary;
+    return {
+        kind: "logical",
+        op: "||",
+        left: ordinary,
+        right: {
+            kind: "logical",
+            op: "&&",
+            left: { kind: "libCall", fn: "num.isNaN", args: [left], type: BOOL, loc },
+            right: { kind: "libCall", fn: "num.isNaN", args: [right], type: BOOL, loc },
+            type: BOOL,
+            loc,
+        },
+        type: BOOL,
+        loc,
+    };
+}
+function primitivePair(lowerer, left, right, nanEqualsNan, loc) {
+    if (isUnitType(left.type) || isUnitType(right.type)) {
+        return boolLit(isUnitType(left.type) && isUnitType(right.type), loc);
+    }
+    if (left.type.kind === "object" && right.type.kind === "object") {
+        if (typeEquals(left.type, right.type)) {
+            return { kind: "bin", op: "===", left, right, type: BOOL, loc };
+        }
+        if (lowerer.isSubclassOf(left.type.className, right.type.className)) {
+            return { kind: "bin", op: "===", left: lowerer.upcastTo(left, right.type.className), right, type: BOOL, loc };
+        }
+        if (lowerer.isSubclassOf(right.type.className, left.type.className)) {
+            return { kind: "bin", op: "===", left, right: lowerer.upcastTo(right, left.type.className), type: BOOL, loc };
+        }
+    }
+    if (left.type.kind === right.type.kind) {
+        switch (left.type.kind) {
+            case "f64":
+                return numericEq(left, right, nanEqualsNan, loc);
+            case "string":
+                return { kind: "strEq", negated: false, left, right, type: BOOL, loc };
+            case "bool":
+                return { kind: "bin", op: "===", left, right, type: BOOL, loc };
+            case "bigint":
+                return { kind: "libCall", fn: "bigint.eq", args: [left, right], type: BOOL, loc };
+            case "symbol":
+            case "array":
+            case "bytes":
+            case "map":
+            case "set":
+            case "record":
+            case "promise":
+            case "classval":
+            case "moduleNs":
+                return { kind: "bin", op: "===", left, right, type: BOOL, loc };
+            default:
+                break;
+        }
+    }
+    if (left.type.kind === "func" && right.type.kind === "func") {
+        return { kind: "bin", op: "===", left, right, type: BOOL, loc };
+    }
+    if (DYN_HANDLE_KINDS.has(left.type.kind) && typeEquals(left.type, right.type)) {
+        return { kind: "bin", op: "===", left, right, type: BOOL, loc };
+    }
+    // Boolean first recurses as ToNumber(boolean), per ECMA-262 7.2.13.
+    if (left.type.kind === "bool")
+        return primitivePair(lowerer, boolAsNumber(left, loc), right, nanEqualsNan, loc);
+    if (right.type.kind === "bool")
+        return primitivePair(lowerer, left, boolAsNumber(right, loc), nanEqualsNan, loc);
+    // Symbols never equal a different primitive type. Object/symbol would
+    // require ToPrimitive and was rejected by supportsPair.
+    if (left.type.kind === "symbol" || right.type.kind === "symbol")
+        return boolLit(false, loc);
+    if (left.type.kind === "f64" && right.type.kind === "string") {
+        const parsed = { kind: "libCall", fn: "num.fromString", args: [right], type: F64, loc };
+        return numericEq(left, parsed, false, loc);
+    }
+    if (left.type.kind === "string" && right.type.kind === "f64") {
+        const parsed = { kind: "libCall", fn: "num.fromString", args: [left], type: F64, loc };
+        return numericEq(parsed, right, false, loc);
+    }
+    if (left.type.kind === "bigint" && right.type.kind === "string") {
+        return { kind: "libCall", fn: "bigint.eqString", args: [left, right], type: BOOL, loc };
+    }
+    if (left.type.kind === "string" && right.type.kind === "bigint") {
+        return { kind: "libCall", fn: "bigint.eqString", args: [right, left], type: BOOL, loc };
+    }
+    if (left.type.kind === "bigint" && right.type.kind === "f64") {
+        const cmp = { kind: "libCall", fn: "bigint.cmpNumber", args: [left, right], type: F64, loc };
+        return { kind: "bin", op: "===", left: cmp, right: numLit(0, loc), type: BOOL, loc };
+    }
+    if (left.type.kind === "f64" && right.type.kind === "bigint") {
+        const cmp = { kind: "libCall", fn: "bigint.cmpNumber", args: [right, left], type: F64, loc };
+        return { kind: "bin", op: "===", left: cmp, right: numLit(0, loc), type: BOOL, loc };
+    }
+    throw new InternalCompilerError(`abstract equality reached an unplanned pair ${left.type.kind}/${right.type.kind}`);
+}
+function pairExpr(lowerer, left, right, nanEqualsNan, loc) {
+    if (left.type.kind === "union") {
+        const unionId = left.type.unionId;
+        const def = lowerer.unions.get(unionId);
+        if (!def || def.arms.length === 0)
+            throw new InternalCompilerError(`abstract equality over unknown union ${unionId}`);
+        const branch = (tag) => {
+            const arm = def.arms[tag];
+            if (!arm)
+                throw new InternalCompilerError(`abstract equality union ${unionId} lacks tag ${tag}`);
+            return pairExpr(lowerer, { kind: "unionNarrow", unionId, tag, value: left, type: arm, loc }, right, nanEqualsNan, loc);
+        };
+        let out = branch(def.arms.length - 1);
+        for (let tag = def.arms.length - 2; tag >= 0; tag--) {
+            out = {
+                kind: "ternary",
+                cond: { kind: "unionIsTag", unionId, tag, negated: false, value: left, type: BOOL, loc },
+                then: branch(tag),
+                else_: out,
+                type: BOOL,
+                loc,
+            };
+        }
+        return out;
+    }
+    if (right.type.kind === "union") {
+        const unionId = right.type.unionId;
+        const def = lowerer.unions.get(unionId);
+        if (!def || def.arms.length === 0)
+            throw new InternalCompilerError(`abstract equality over unknown union ${unionId}`);
+        const branch = (tag) => {
+            const arm = def.arms[tag];
+            if (!arm)
+                throw new InternalCompilerError(`abstract equality union ${unionId} lacks tag ${tag}`);
+            return pairExpr(lowerer, left, { kind: "unionNarrow", unionId, tag, value: right, type: arm, loc }, nanEqualsNan, loc);
+        };
+        let out = branch(def.arms.length - 1);
+        for (let tag = def.arms.length - 2; tag >= 0; tag--) {
+            out = {
+                kind: "ternary",
+                cond: { kind: "unionIsTag", unionId, tag, negated: false, value: right, type: BOOL, loc },
+                then: branch(tag),
+                else_: out,
+                type: BOOL,
+                loc,
+            };
+        }
+        return out;
+    }
+    return primitivePair(lowerer, left, right, nanEqualsNan, loc);
+}
+export function abstractEqualitySupported(lowerer, left, right) {
+    return supportsPair(lowerer, left, right);
+}
+export function abstractEqualityExpr(lowerer, left, right, loc, nanEqualsNan = false) {
+    if (!supportsPair(lowerer, left.type, right.type)) {
+        throw new InternalCompilerError(`abstract equality expression built for unsupported ${left.type.kind}/${right.type.kind} pair`);
+    }
+    return pairExpr(lowerer, left, right, nanEqualsNan, loc);
+}
+/** Evaluate both operands once, left-to-right, then compare their stable values. */
+export function lowerAbstractEquality(lowerer, left, right, negated, loc) {
+    if (!supportsPair(lowerer, left.type, right.type))
+        return null;
+    const stmts = [];
+    const stable = (value, name) => {
+        if (isUnitType(value.type)) {
+            if (value.kind !== "unitLit")
+                stmts.push({ kind: "exprStmt", expr: value, loc });
+            return { kind: "unitLit", unit: value.type.kind === "nullT" ? "null" : "undefined", type: value.type, loc };
+        }
+        const local = lowerer.declareHiddenLocal(name, value.type);
+        stmts.push({ kind: "varDecl", localId: local.id, init: value, loc });
+        return varRef(local.id, value.type, loc);
+    };
+    const a = stable(left, "%looseA");
+    const b = stable(right, "%looseB");
+    let result = pairExpr(lowerer, a, b, false, loc);
+    if (negated)
+        result = { kind: "unary", op: "!", operand: result, type: BOOL, loc };
+    return stmts.length === 0 ? result : { kind: "seqExpr", stmts, result, type: BOOL, loc };
+}
+//# sourceMappingURL=abstract-equality.js.map

package/dist/frontend/lowering/abstract-equality.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"abstract-equality.js","sourceRoot":"","sources":["../../../src/frontend/lowering/abstract-equality.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAkC,UAAU,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACrH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAG5D;;;;;;;;;;GAUG;AAEH,MAAM,cAAc,GAAgC,IAAI,GAAG,CAAC;IAC1D,OAAO;IACP,OAAO;IACP,KAAK;IACL,KAAK;IACL,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,eAAe,GAAgC,IAAI,GAAG,CAAC;IAC3D,KAAK;IACL,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,QAAQ;CACT,CAAC,CAAC;AAEH,SAAS,YAAY,CAAC,OAAgB,EAAE,IAAY,EAAE,KAAa;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7C,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9C,OAAO,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;IAC5G,CAAC;IAED,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnF,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1E,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE5E,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtD,OAAO,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACxH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,KAAa,EAAE,GAAW;IAC9C,OAAO;QACL,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC;QACpB,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC;QACrB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,KAAa,EAAE,YAAqB,EAAE,GAAW;IAChF,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClF,IAAI,CAAC,YAAY;QAAE,OAAO,QAAQ,CAAC;IACnC,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACzE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC3E,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,YAAqB,EACrB,GAAW;IAEX,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChE,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAClE,CAAC;QACD,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YACpE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAChH,CAAC;QACD,IAAI,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YACpE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAChH,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACvC,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,KAAK;gBACR,OAAO,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;YACnD,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACzE,KAAK,MAAM;gBACT,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAClE,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACpF,KAAK,QAAQ,CAAC;YACd,KAAK,OAAO,CAAC;YACb,KAAK,OAAO,CAAC;YACb,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,QAAQ,CAAC;YACd,KAAK,SAAS,CAAC;YACf,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU;gBACb,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAClE;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClE,CAAC;IACD,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9E,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClE,CAAC;IACD,oEAAoE;IACpE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,aAAa,CAAC,OAAO,EAAE,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;IAChH,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;IAEjH,sEAAsE;IACtE,wDAAwD;IACxD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAE5F,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAChG,OAAO,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC7D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC/F,OAAO,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC1F,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC1F,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACrG,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvF,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACrG,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvF,CAAC;IAED,MAAM,IAAI,qBAAqB,CAC7B,+CAA+C,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CACnF,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CACf,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,YAAqB,EACrB,GAAW;IAEX,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;QAClC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,qBAAqB,CAAC,wCAAwC,OAAO,EAAE,CAAC,CAAC;QACtH,MAAM,MAAM,GAAG,CAAC,GAAW,EAAU,EAAE;YACrC,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,CAAC,GAAG;gBAAE,MAAM,IAAI,qBAAqB,CAAC,2BAA2B,OAAO,cAAc,GAAG,EAAE,CAAC,CAAC;YACjG,OAAO,QAAQ,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;QACzH,CAAC,CAAC;QACF,IAAI,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACtC,KAAK,IAAI,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;YACpD,GAAG,GAAG;gBACJ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACxF,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC;gBACjB,KAAK,EAAE,GAAG;gBACV,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;QACnC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,qBAAqB,CAAC,wCAAwC,OAAO,EAAE,CAAC,CAAC;QACtH,MAAM,MAAM,GAAG,CAAC,GAAW,EAAU,EAAE;YACrC,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,CAAC,GAAG;gBAAE,MAAM,IAAI,qBAAqB,CAAC,2BAA2B,OAAO,cAAc,GAAG,EAAE,CAAC,CAAC;YACjG,OAAO,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;QACzH,CAAC,CAAC;QACF,IAAI,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACtC,KAAK,IAAI,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;YACpD,GAAG,GAAG;gBACJ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACzF,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC;gBACjB,KAAK,EAAE,GAAG;gBACV,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,OAAgB,EAAE,IAAY,EAAE,KAAa;IACrF,OAAO,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,GAAW,EACX,YAAY,GAAG,KAAK;IAEpB,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,qBAAqB,CAAC,sDAAsD,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC;IAClI,CAAC;IACD,OAAO,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;AAC3D,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,OAAgB,EAChB,GAAW;IAEX,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,IAAY,EAAU,EAAE;QACrD,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YACjF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;QAC9G,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACrE,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC;IACF,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAClC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACnC,IAAI,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IACjD,IAAI,OAAO;QAAE,MAAM,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACnF,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC3F,CAAC"}

package/dist/frontend/lowering/lower-assert.js

@@ -1,7 +1,8 @@
 import { InternalCompilerError } from "../../errors.js";
 /* The node:assert lowering (a spoke module like lower-dgram.ts): the
  * callable module form (`assert(x)` through a default import or a CJS
- * require binding), ok, the strict/deep equality quartet, fail, throws,
+ * require binding), ok, legacy equal/notEqual, the strict/deep equality
+ * quartet, fail, throws,
  * and match/doesNotMatch — for BOTH the "assert" and "assert/strict"
  * modules ("assert/strict" additionally binds the loose NAMES to the
  * strict comparisons: equal IS strictEqual, exactly Node's aliasing).
@@ -26,7 +27,8 @@ import * as ts from "../ts7/adapter.js";
 import { resultIsDiscarded } from "./call-position.js";
 import { jsFuncNameOf, own } from "./lowerer.js";
 import { NARROW_FIRST } from "./surfaces.js";
-import { typeReachesItself } from "./lower-inspect.js";
+import { inspectExpr, typeReachesItself } from "./lower-inspect.js";
+import { abstractEqualityExpr, abstractEqualitySupported } from "./abstract-equality.js";
 import { BOOL, CAUGHT, DYN, DYN_HANDLE_KINDS, F64, REGEX, RUNTIME_ERROR_CLASSES, STRING, VOID, isUnitType, typeEquals, typeKey } from "../../ir/ir.js";
 import { boolLit, countedFor, numLit, strLit, varRef } from "../../ir/build.js";
 /** node:assert/strict binds the loose NAMES to the strict comparisons —
@@ -76,6 +78,10 @@ export function lowerAssertModuleCall(lowerer, expr, bi, loc) {
     switch (canonicalAssertMember(bi.module, bi.member)) {
         case "ok":
             return lowerAssertOk(lowerer, expr, loc);
+        case "equal":
+            return lowerAssertLooseEqual(lowerer, expr, loc, false);
+        case "notEqual":
+            return lowerAssertLooseEqual(lowerer, expr, loc, true);
         case "strictEqual":
             return lowerAssertEqual(lowerer, expr, loc, false, false);
         case "notStrictEqual":
@@ -102,6 +108,69 @@ export function lowerAssertModuleCall(lowerer, expr, bi, loc) {
             return null;
     }
 }
+function looseAssertTypeSupported(lowerer, type) {
+    if (type.kind === "f64" || type.kind === "bigint" || type.kind === "string" ||
+        type.kind === "bool" || type.kind === "symbol" || isUnitType(type)) {
+        return true;
+    }
+    if (type.kind !== "union")
+        return false;
+    const def = lowerer.unions.get(type.unionId);
+    return def !== undefined && def.arms.every((arm) => looseAssertTypeSupported(lowerer, arm));
+}
+/** assert.equal / assert.notEqual over statically represented primitives.
+ * The shared Abstract Equality kernel owns coercion; this wrapper adds
+ * Node v24's legacy NaN-equals-NaN exception and the exact one-line
+ * generated message. Both values stabilize first so comparison and
+ * inspection never re-evaluate user expressions. */
+function lowerAssertLooseEqual(lowerer, expr, loc, negated) {
+    const surface = negated ? "assert.notEqual" : "assert.equal";
+    requireStatementPosition(lowerer, expr, surface);
+    if (expr.arguments.length < 2 || expr.arguments.length > 3) {
+        lowerer.noLowering(`${surface} with ${expr.arguments.length} arguments`, expr);
+    }
+    const aNode = expr.arguments[0];
+    const bNode = expr.arguments[1];
+    if (!aNode || !bNode)
+        throw new InternalCompilerError(`${surface} arity fence returned unexpectedly`);
+    const left = lowerer.lowerExpr(aNode);
+    const right = lowerer.lowerExpr(bNode);
+    if (!looseAssertTypeSupported(lowerer, left.type) ||
+        !looseAssertTypeSupported(lowerer, right.type) ||
+        !abstractEqualitySupported(lowerer, left.type, right.type)) {
+        lowerer.noLowering(`${surface} of '${lowerer.fmt(left.type)}' and '${lowerer.fmt(right.type)}' values`, expr, "legacy equality lowers for primitive and primitive-union operands; object-to-primitive coercion can execute user-defined valueOf/toString methods");
+    }
+    const stmts = [];
+    const stable = (value, name) => {
+        if (isUnitType(value.type)) {
+            if (value.kind !== "unitLit")
+                stmts.push({ kind: "exprStmt", expr: value, loc });
+            return {
+                kind: "unitLit",
+                unit: value.type.kind === "nullT" ? "null" : "undefined",
+                type: value.type,
+                loc,
+            };
+        }
+        const local = lowerer.declareHiddenLocal(name, value.type);
+        stmts.push({ kind: "varDecl", localId: local.id, init: value, loc });
+        return varRef(local.id, value.type, loc);
+    };
+    const a = stable(left, "%assertLooseA");
+    const b = stable(right, "%assertLooseB");
+    const equal = abstractEqualityExpr(lowerer, a, b, loc, true);
+    const actual = inspectExpr(lowerer, a.type, a, numLit(0, loc), numLit(2, loc), loc);
+    const expected = inspectExpr(lowerer, b.type, b, numLit(0, loc), numLit(2, loc), loc);
+    const { msg, hasMsg } = lowerMessageArg(lowerer, expr.arguments[2], loc);
+    const result = {
+        kind: "libCall",
+        fn: "assert.looseResult",
+        args: [equal, boolLit(negated, loc), actual, expected, msg, hasMsg],
+        type: VOID,
+        loc,
+    };
+    return { kind: "seqExpr", stmts, result, type: VOID, loc };
+}
 /** The callable-module form: `assert(x)` where the callee identifier IS
  * the assert module binding — a default import (`import assert from
  * "node:assert"`) or the CJS `const assert = require("assert")`. Node's