@scriptc/compiler 0.2.4 → 0.2.6

package/dist/frontend/lowering/builtins/module-resolution.js

@@ -0,0 +1,344 @@
+import { nodeThrowExpr, boolLit, strLit, varRef } from "../../../ir/build.js";
+import { dirname, isAbsolute, resolve } from "node:path";
+import * as ts from "../../ts7/adapter.js";
+import { PoisonError } from "../lowerer.js";
+import { canonicalBuiltinModule, isNodeEsmFile, locOf } from "../../program.js";
+import { isRelativeSpecifier } from "../../workspace-registry.js";
+import { probeNodeRequireRefusal } from "../../npm.js";
+import { isNpmStaticPackage } from "../../npm-static.js";
+import { trackedReadFile } from "../../input-tracker.js";
+import { requireResolvePathsRuntime, resolveImportMetaRuntime, resolveRequireRuntime, } from "../../runtime-resolve.js";
+import { invalidJsonModuleDiag, nativeAddonDiag, requiresDynamicImportDiag, } from "../../../diagnostics/diagnostic.js";
+import { NODE_BUILTIN_MODULES_V24 } from "../surfaces.js";
+import { BOOL, DYN, JSVAL, NULL_T, STRING, UNDEFINED_T, arrayOf, } from "../../../ir/ir.js";
+import { lowerFfiMemoryModule } from "../native-ffi.js";
+import { createRequireSpecOf, createRequireProgramModuleOf, createRequireCalleeFileOf, } from "./module-bindings.js";
+import { stripTypeCasts } from "./arguments.js";
+/** node:module's two compiler-only calls. isBuiltin compares one evaluated
+ * string against the pinned Node 24 list (bare builtins also accept their
+ * node: spelling; prefix-only entries do not gain a bare alias).
+ * syncBuiltinESMExports is observably a no-op inside the static surface:
+ * builtin exports cannot be mutated, so its only supported behavior is
+ * evaluating no arguments and returning undefined. */
+export function lowerNodeModuleCall(lowerer, expr, bi, loc) {
+    if (bi.module !== "module")
+        return null;
+    if (bi.member === "syncBuiltinESMExports") {
+        if (expr.arguments.length !== 0 || expr.arguments.some(ts.isSpreadElement)) {
+            lowerer.noLowering(`module.syncBuiltinESMExports with ${expr.arguments.length} arguments`, expr, "syncBuiltinESMExports() takes no arguments");
+        }
+        if (!ts.isExpressionStatement(expr.parent)) {
+            lowerer.noLowering("module.syncBuiltinESMExports used as a value", expr, "call syncBuiltinESMExports() as its own statement; the supported static effect is a no-op");
+        }
+        return { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc };
+    }
+    if (bi.member !== "isBuiltin")
+        return null;
+    if (expr.arguments.length !== 1 || expr.arguments.some(ts.isSpreadElement)) {
+        lowerer.noLowering(`module.isBuiltin with ${expr.arguments.length} arguments`, expr, "isBuiltin(moduleName) takes one string");
+    }
+    const argumentNode = expr.arguments[0];
+    const argument = lowerer.lowerExpr(argumentNode);
+    if (argument.type.kind !== "string") {
+        if (argument.type.kind === "dyn" ||
+            argument.type.kind === "jsval" ||
+            argument.type.kind === "union") {
+            lowerer.noLowering("module.isBuiltin with a runtime-polymorphic argument", argumentNode, "narrow the module name to a string first; statically non-string values return false");
+        }
+        return {
+            kind: "seqExpr",
+            stmts: [{ kind: "exprStmt", expr: argument, loc: locOf(argumentNode) }],
+            result: boolLit(false, loc),
+            type: BOOL,
+            loc,
+        };
+    }
+    const slot = lowerer.declareHiddenLocal("%builtinName", STRING);
+    const ref = () => varRef(slot.id, STRING, loc);
+    const accepted = NODE_BUILTIN_MODULES_V24.flatMap((name) => name.startsWith("node:") ? [name] : [name, `node:${name}`]);
+    let staticArgument = argumentNode;
+    while (ts.isParenthesizedExpression(staticArgument) ||
+        ts.isAsExpression(staticArgument) ||
+        ts.isTypeAssertion(staticArgument) ||
+        ts.isNonNullExpression(staticArgument)) {
+        staticArgument = staticArgument.expression;
+    }
+    if (ts.isStringLiteralLike(staticArgument)) {
+        return boolLit(accepted.includes(staticArgument.text), loc);
+    }
+    let result = boolLit(false, loc);
+    for (let i = accepted.length - 1; i >= 0; i--) {
+        const equal = {
+            kind: "strEq",
+            negated: false,
+            left: ref(),
+            right: strLit(accepted[i], loc),
+            type: BOOL,
+            loc,
+        };
+        result = { kind: "logical", op: "||", left: equal, right: result, type: BOOL, loc };
+    }
+    return {
+        kind: "seqExpr",
+        stmts: [{ kind: "varDecl", localId: slot.id, init: argument, loc }],
+        result,
+        type: BOOL,
+        loc,
+    };
+}
+/** `require("spec")` through a createRequire binding — the erasure per
+ * target. Builtins are reached here only OUTSIDE the const-namespace-
+ * binding shape (that declaration erases; member uses resolve through
+ * the namespace tables) and fence toward it. A relative .json document
+ * bakes: the file's text validates as JSON at compile time and the
+ * call lowers to json.parse over the baked literal — JSON.parse's
+ * checked-dynamic `unknown` stance, and exactly Node's value (require
+ * of JSON IS JSON.parse of the file; the per-call re-parse forgoes
+ * Node's module-cache identity, unobservable without mutation). A bare
+ * specifier NOTHING installed resolves compiles to Node's catchable
+ * MODULE_NOT_FOUND throw (the optional-dependency try/require
+ * pattern); an installed package loads through the island's
+ * require-condition entry under --dynamic (collectCreateRequires
+ * embedded it) and reports the requires-dynamic diagnostic in a static
+ * build. Null when the callee is not a createRequire require. */
+export function lowerCreateRequireCall(lowerer, call, loc) {
+    const cr = createRequireSpecOf(lowerer, call);
+    if (cr === null)
+        return null;
+    if (cr.spec === null) {
+        lowerer.noLowering("createRequire's require with this argument shape", call, 'the compiled module graph is fixed at build time — the one lowered form is require("<static string literal>")');
+    }
+    const spec = cr.spec;
+    if (spec === "node:ffi") {
+        return lowerFfiMemoryModule(lowerer, loc);
+    }
+    if (canonicalBuiltinModule(spec) !== null) {
+        lowerer.unsupported("SC1090", call, `module namespace objects as values (bind it first: const m = require("${spec}"), then access members through the binding)`);
+    }
+    const programModule = createRequireProgramModuleOf(lowerer, call);
+    if (programModule !== null) {
+        lowerer.noLowering(`createRequire's module namespace value for '${spec}'`, call, `bind it once (const m = require(${JSON.stringify(spec)})) and access statically-known members through that binding`);
+    }
+    if (spec.startsWith("#")) {
+        lowerer.noLowering(`createRequire's require of the '${spec}' project import`, call, "imports-field specifiers have no require lowering yet — import the target statically");
+    }
+    if (isRelativeSpecifier(spec) || isAbsolute(spec)) {
+        if (!spec.endsWith(".json")) {
+            // Only refine the existing refusal path: Node resolution detects
+            // extensionless addons and directory entries without executing
+            // them, and avoids mistaking a .node-named JS directory for one.
+            // This probe marks frontend inputs unstable, but every branch
+            // here refuses compilation, so successful-build caches keep their
+            // existing dependency proofs.
+            const resolved = resolveRequireRuntime(cr.baseFile.fileName, spec, lowerer.targetPlatform, undefined, lowerer.frontendServices);
+            if (resolved.ok && resolved.value.endsWith(".node")) {
+                lowerer.pushDiag(nativeAddonDiag(spec, loc));
+                throw new PoisonError();
+            }
+            lowerer.noLowering(`createRequire's require of '${spec}'`, call, "relative program modules lower when they resolve into the compiled graph; relative .json documents bake at build time");
+        }
+        const abs = isAbsolute(spec) ? spec : resolve(dirname(cr.baseFile.fileName), spec);
+        const text = trackedReadFile(abs);
+        if (text === null) {
+            lowerer.noLowering(`createRequire's require of '${spec}' (no file at ${abs})`, call, "the required document resolves at build time — check the path against the requiring file");
+        }
+        try {
+            JSON.parse(text);
+        }
+        catch (e) {
+            lowerer.pushDiag(invalidJsonModuleDiag(abs, e instanceof Error ? e.message : String(e), loc));
+            throw new PoisonError();
+        }
+        return {
+            kind: "libCall",
+            fn: "json.parse",
+            args: [{ kind: "strLit", value: text, type: STRING, loc }],
+            type: DYN,
+            loc,
+        };
+    }
+    // Bare package specifiers. --npm-static opt-ins are program modules —
+    // their exports bind through static imports, not a require value.
+    const pkgName = spec.startsWith("@")
+        ? spec.split("/").slice(0, 2).join("/")
+        : spec.split("/")[0];
+    if (isNpmStaticPackage(pkgName)) {
+        lowerer.noLowering(`createRequire's require of the --npm-static package '${pkgName}'`, call, "the opted-in package compiles as program modules — import it statically");
+    }
+    const refusal = probeNodeRequireRefusal(cr.baseFile.fileName, spec);
+    if (refusal !== null) {
+        // Node's require-site MODULE_NOT_FOUND, catchable — the compiled
+        // expression IS that throw (the typed dummy is abandoned by the
+        // pending check's unwind).
+        return nodeThrowExpr(0, "MODULE_NOT_FOUND", refusal.message, DYN, loc);
+    }
+    if (!lowerer.dynamic) {
+        lowerer.pushDiag(requiresDynamicImportDiag(pkgName, loc));
+        throw new PoisonError();
+    }
+    const res = lowerer.createRequireImports.get(`${cr.baseFile.fileName}\u0000${spec}`);
+    if (res === undefined) {
+        // Collection never saw the site (a shape this walk and that walk
+        // disagree on) — fence rather than mis-embed.
+        lowerer.noLowering(`createRequire's require of '${spec}'`, call, undefined);
+    }
+    if (res === "")
+        throw new PoisonError(); // reported at collection
+    // A CJS facade's default IS module.exports (Node's require answer);
+    // an ESM-resolved entry answers its namespace (Node's require(esm)).
+    const exportName = res.format === "esm" ? "*" : "default";
+    return {
+        kind: "libCall",
+        fn: "island.import",
+        args: [
+            { kind: "strLit", value: res.entryKey, type: STRING, loc },
+            { kind: "strLit", value: exportName, type: STRING, loc },
+            { kind: "strLit", value: spec, type: STRING, loc },
+        ],
+        type: JSVAL,
+        loc,
+    };
+}
+function staticString(node) {
+    if (node === undefined)
+        return null;
+    const value = stripTypeCasts(node);
+    return ts.isStringLiteralLike(value) ? value.text : null;
+}
+function runtimeResolveThrow(error, type, loc) {
+    return nodeThrowExpr(error.name === "TypeError" ? 1 : 0, error.code, error.message, type, loc);
+}
+/** import.meta.resolve("literal") folds through the runtime-module
+ * resolver, never TypeScript's declaration-file resolver. Relative and
+ * URL-like names remain valid even when no file exists; bare packages use
+ * Node's import-condition exports path. */
+export function lowerImportMetaResolveCall(lowerer, call) {
+    const callee = call.expression;
+    if (!ts.isPropertyAccessExpression(callee) ||
+        callee.questionDotToken !== undefined ||
+        callee.name.text !== "resolve" ||
+        !ts.isMetaProperty(callee.expression) ||
+        callee.expression.keywordToken !== ts.SyntaxKind.ImportKeyword ||
+        callee.expression.name.text !== "meta") {
+        return null;
+    }
+    if (call.questionDotToken !== undefined || call.arguments.length !== 1) {
+        lowerer.noLowering("import.meta.resolve with this argument shape", call, 'the lowered form is import.meta.resolve("<static specifier>") using the containing module as its parent');
+    }
+    const specifier = staticString(call.arguments[0]);
+    if (specifier === null) {
+        lowerer.noLowering("import.meta.resolve with a runtime-computed specifier", call.arguments[0], "a compiled binary has a fixed module graph — pass a string literal");
+    }
+    const result = resolveImportMetaRuntime(call.getSourceFile().fileName, specifier, lowerer.targetPlatform, lowerer.frontendServices);
+    if (result === null) {
+        lowerer.noLowering(`import.meta.resolve of '${specifier}'`, call, "relative paths, URL-like names, builtins, and installed package names are supported; package-import aliases remain unsupported");
+    }
+    const loc = locOf(call);
+    return result.ok
+        ? { kind: "strLit", value: result.value, type: STRING, loc }
+        : runtimeResolveThrow(result.error, STRING, loc);
+}
+function requireResolverBaseFile(lowerer, receiver) {
+    const created = createRequireCalleeFileOf(lowerer, receiver);
+    if (created !== null)
+        return created;
+    return lowerer.isStdlibGlobal(receiver, "require") &&
+        !isNodeEsmFile(receiver.getSourceFile(), lowerer.program)
+        ? receiver.getSourceFile()
+        : null;
+}
+function staticResolveOptionPaths(node) {
+    if (node === undefined)
+        return undefined;
+    const value = stripTypeCasts(node);
+    if (ts.isIdentifier(value) && value.text === "undefined")
+        return undefined;
+    if (!ts.isObjectLiteralExpression(value))
+        return null;
+    let paths;
+    for (const prop of value.properties) {
+        if (!ts.isPropertyAssignment(prop))
+            return null;
+        const name = ts.isIdentifier(prop.name) || ts.isStringLiteralLike(prop.name) ? prop.name.text : null;
+        if (name !== "paths" || paths !== undefined)
+            return null;
+        const init = stripTypeCasts(prop.initializer);
+        if (!ts.isArrayLiteralExpression(init))
+            return null;
+        const entries = [];
+        for (const item of init.elements) {
+            if (!ts.isStringLiteralLike(item))
+                return null;
+            entries.push(item.text);
+        }
+        paths = entries;
+    }
+    return paths;
+}
+/** CommonJS require.resolve and require.resolve.paths for the ambient
+ * wrapper or a supported createRequire binding. Results are build-time
+ * constants; failures lower to Node's catchable error object. */
+export function lowerRequireResolveCall(lowerer, call) {
+    const callee = call.expression;
+    if (!ts.isPropertyAccessExpression(callee) || callee.questionDotToken !== undefined)
+        return null;
+    let receiver;
+    let pathsCall = false;
+    if (callee.name.text === "resolve") {
+        receiver = callee.expression;
+    }
+    else if (callee.name.text === "paths" &&
+        ts.isPropertyAccessExpression(callee.expression) &&
+        callee.expression.questionDotToken === undefined &&
+        callee.expression.name.text === "resolve") {
+        receiver = callee.expression.expression;
+        pathsCall = true;
+    }
+    else {
+        return null;
+    }
+    const baseFile = requireResolverBaseFile(lowerer, receiver);
+    if (baseFile === null)
+        return null;
+    if (call.questionDotToken !== undefined ||
+        call.arguments.length < 1 ||
+        call.arguments.length > (pathsCall ? 1 : 2)) {
+        lowerer.noLowering(pathsCall
+            ? "require.resolve.paths with this argument shape"
+            : "require.resolve with this argument shape", call);
+    }
+    const specifier = staticString(call.arguments[0]);
+    if (specifier === null) {
+        lowerer.noLowering(`${pathsCall ? "require.resolve.paths" : "require.resolve"} with a runtime-computed request`, call.arguments[0], "a compiled binary has a fixed module graph — pass a string literal");
+    }
+    const loc = locOf(call);
+    if (pathsCall) {
+        const result = requireResolvePathsRuntime(baseFile.fileName, specifier, lowerer.targetPlatform, lowerer.frontendServices);
+        if (result !== null && !Array.isArray(result)) {
+            return runtimeResolveThrow(result, lowerer.irTypeOf(call), loc);
+        }
+        const raw = result === null
+            ? { kind: "unitLit", unit: "null", type: NULL_T, loc }
+            : {
+                kind: "arrayLit",
+                elems: result.map((value) => ({
+                    kind: "strLit",
+                    value,
+                    type: STRING,
+                    loc,
+                })),
+                type: arrayOf(STRING),
+                loc,
+            };
+        return lowerer.coerceInto(call, raw, lowerer.irTypeOf(call));
+    }
+    const paths = staticResolveOptionPaths(call.arguments[1]);
+    if (paths === null) {
+        lowerer.noLowering("require.resolve with runtime-computed options", call.arguments[1], 'omit options or pass { paths: ["<static directory>", ...] }');
+    }
+    const result = resolveRequireRuntime(baseFile.fileName, specifier, lowerer.targetPlatform, paths, lowerer.frontendServices);
+    return result.ok
+        ? { kind: "strLit", value: result.value, type: STRING, loc }
+        : runtimeResolveThrow(result.error, STRING, loc);
+}
+//# sourceMappingURL=module-resolution.js.map

package/dist/frontend/lowering/builtins/module-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-resolution.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/module-resolution.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9E,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,WAAW,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EACL,0BAA0B,EAC1B,wBAAwB,EACxB,qBAAqB,GAGtB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,yBAAyB,GAC1B,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EACL,IAAI,EACJ,GAAG,EAGH,KAAK,EACL,MAAM,EACN,MAAM,EAEN,WAAW,EACX,OAAO,GACR,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EACL,mBAAmB,EACnB,4BAA4B,EAC5B,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAEhD;;;;;sDAKsD;AACtD,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAuB,EACvB,EAAsC,EACtC,GAAW;IAEX,IAAI,EAAE,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,EAAE,CAAC,MAAM,KAAK,uBAAuB,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;YAC3E,OAAO,CAAC,UAAU,CAChB,qCAAqC,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EACtE,IAAI,EACJ,4CAA4C,CAC7C,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,OAAO,CAAC,UAAU,CAChB,8CAA8C,EAC9C,IAAI,EACJ,2FAA2F,CAC5F,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;IACxE,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QAC3E,OAAO,CAAC,UAAU,CAChB,yBAAyB,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAC1D,IAAI,EACJ,wCAAwC,CACzC,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IACxC,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACjD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACpC,IACE,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAC5B,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YAC9B,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAC9B,CAAC;YACD,OAAO,CAAC,UAAU,CAChB,sDAAsD,EACtD,YAAY,EACZ,qFAAqF,CACtF,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YACvE,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;YAC3B,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAChE,MAAM,GAAG,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CACzD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,IAAI,EAAE,CAAC,CAC3D,CAAC;IACF,IAAI,cAAc,GAAkB,YAAY,CAAC;IACjD,OACE,EAAE,CAAC,yBAAyB,CAAC,cAAc,CAAC;QAC5C,EAAE,CAAC,cAAc,CAAC,cAAc,CAAC;QACjC,EAAE,CAAC,eAAe,CAAC,cAAc,CAAC;QAClC,EAAE,CAAC,mBAAmB,CAAC,cAAc,CAAC,EACtC,CAAC;QACD,cAAc,GAAG,cAAc,CAAC,UAAU,CAAC;IAC7C,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,cAAc,CAAC,EAAE,CAAC;QAC3C,OAAO,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,MAAM,GAAW,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,GAAG,EAAE;YACX,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;YAChC,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;QACF,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACtF,CAAC;IACD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QACnE,MAAM;QACN,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;iEAciE;AACjE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,GAAW;IAEX,MAAM,EAAE,GAAG,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC9C,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC7B,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,CAAC,UAAU,CAChB,kDAAkD,EAClD,IAAI,EACJ,+GAA+G,CAChH,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;IACrB,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACxB,OAAO,oBAAoB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QAC1C,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,yEAAyE,IAAI,8CAA8C,CAC5H,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,4BAA4B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAClE,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QAC3B,OAAO,CAAC,UAAU,CAChB,+CAA+C,IAAI,GAAG,EACtD,IAAI,EACJ,mCAAmC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,6DAA6D,CACrH,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,UAAU,CAChB,mCAAmC,IAAI,kBAAkB,EACzD,IAAI,EACJ,sFAAsF,CACvF,CAAC;IACJ,CAAC;IACD,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,iEAAiE;YACjE,+DAA+D;YAC/D,iEAAiE;YACjE,8DAA8D;YAC9D,kEAAkE;YAClE,8BAA8B;YAC9B,MAAM,QAAQ,GAAG,qBAAqB,CACpC,EAAE,CAAC,QAAQ,CAAC,QAAQ,EACpB,IAAI,EACJ,OAAO,CAAC,cAAc,EACtB,SAAS,EACT,OAAO,CAAC,gBAAgB,CACzB,CAAC;YACF,IAAI,QAAQ,CAAC,EAAE,IAAI,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpD,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;gBAC7C,MAAM,IAAI,WAAW,EAAE,CAAC;YAC1B,CAAC;YACD,OAAO,CAAC,UAAU,CAChB,+BAA+B,IAAI,GAAG,EACtC,IAAI,EACJ,uHAAuH,CACxH,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC;QACnF,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,OAAO,CAAC,UAAU,CAChB,+BAA+B,IAAI,iBAAiB,GAAG,GAAG,EAC1D,IAAI,EACJ,0FAA0F,CAC3F,CAAC;QACJ,CAAC;QACD,IAAI,CAAC;YACH,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAC,GAAG,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC9F,MAAM,IAAI,WAAW,EAAE,CAAC;QAC1B,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAC1D,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,sEAAsE;IACtE,kEAAkE;IAClE,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAClC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACvC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;IACxB,IAAI,kBAAkB,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,UAAU,CAChB,wDAAwD,OAAO,GAAG,EAClE,IAAI,EACJ,yEAAyE,CAC1E,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,uBAAuB,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACpE,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,iEAAiE;QACjE,gEAAgE;QAChE,2BAA2B;QAC3B,OAAO,aAAa,CAAC,CAAC,EAAE,kBAAkB,EAAE,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QACrB,OAAO,CAAC,QAAQ,CAAC,yBAAyB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1D,MAAM,IAAI,WAAW,EAAE,CAAC;IAC1B,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,SAAS,IAAI,EAAE,CAAC,CAAC;IACrF,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,iEAAiE;QACjE,8CAA8C;QAC9C,OAAO,CAAC,UAAU,CAAC,+BAA+B,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,GAAG,KAAK,EAAE;QAAE,MAAM,IAAI,WAAW,EAAE,CAAC,CAAC,yBAAyB;IAClE,oEAAoE;IACpE,qEAAqE;IACrE,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1D,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YAC1D,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YACxD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;SACnD;QACD,IAAI,EAAE,KAAK;QACX,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAA+B;IACnD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACnC,OAAO,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3D,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA0B,EAAE,IAAY,EAAE,GAAW;IAChF,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AACjG,CAAC;AAED;;;2CAG2C;AAC3C,MAAM,UAAU,0BAA0B,CACxC,OAAgB,EAChB,IAAuB;IAEvB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACtC,MAAM,CAAC,gBAAgB,KAAK,SAAS;QACrC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QAC9B,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC;QACrC,MAAM,CAAC,UAAU,CAAC,YAAY,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QAC9D,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EACtC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvE,OAAO,CAAC,UAAU,CAChB,8CAA8C,EAC9C,IAAI,EACJ,yGAAyG,CAC1G,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO,CAAC,UAAU,CAChB,uDAAuD,EACvD,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,wBAAwB,CACrC,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,EAC7B,SAAS,EACT,OAAO,CAAC,cAAc,EACtB,OAAO,CAAC,gBAAgB,CACzB,CAAC;IACF,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,CAAC,UAAU,CAChB,2BAA2B,SAAS,GAAG,EACvC,IAAI,EACJ,gIAAgI,CACjI,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,MAAM,CAAC,EAAE;QACd,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAC5D,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,uBAAuB,CAAC,OAAgB,EAAE,QAAuB;IACxE,MAAM,OAAO,GAAG,yBAAyB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC7D,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC;IACrC,OAAO,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC;QAChD,CAAC,aAAa,CAAC,QAAQ,CAAC,aAAa,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC;QACzD,CAAC,CAAC,QAAQ,CAAC,aAAa,EAAE;QAC1B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAA+B;IAE/B,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,SAAS,CAAC;IAC3E,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,KAAoC,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,MAAM,IAAI,GACR,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1F,IAAI,IAAI,KAAK,OAAO,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACzD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC9C,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACpD,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACjC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC/C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;QACD,KAAK,GAAG,OAAO,CAAC;IAClB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;iEAEiE;AACjE,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAuB;IAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACjG,IAAI,QAAuB,CAAC;IAC5B,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACnC,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC;IAC/B,CAAC;SAAM,IACL,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAC5B,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC;QAChD,MAAM,CAAC,UAAU,CAAC,gBAAgB,KAAK,SAAS;QAChD,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EACzC,CAAC;QACD,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC;QACxC,SAAS,GAAG,IAAI,CAAC;IACnB,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC5D,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnC,IACE,IAAI,CAAC,gBAAgB,KAAK,SAAS;QACnC,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAC3C,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,SAAS;YACP,CAAC,CAAC,gDAAgD;YAClD,CAAC,CAAC,0CAA0C,EAC9C,IAAI,CACL,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO,CAAC,UAAU,CAChB,GAAG,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,iBAAiB,kCAAkC,EAC5F,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,MAAM,GAAG,0BAA0B,CACvC,QAAQ,CAAC,QAAQ,EACjB,SAAS,EACT,OAAO,CAAC,cAAc,EACtB,OAAO,CAAC,gBAAgB,CACzB,CAAC;QACF,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9C,OAAO,mBAAmB,CAAC,MAA6B,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QACzF,CAAC;QACD,MAAM,GAAG,GACP,MAAM,KAAK,IAAI;YACb,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YACtD,CAAC,CAAC;gBACE,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAG,MAA4B,CAAC,GAAG,CAAC,CAAC,KAAK,EAAU,EAAE,CAAC,CAAC;oBAC3D,IAAI,EAAE,QAAQ;oBACd,KAAK;oBACL,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ,CAAC,CAAC;gBACH,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;gBACrB,GAAG;aACJ,CAAC;QACR,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,CAAC,UAAU,CAChB,+CAA+C,EAC/C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,6DAA6D,CAC9D,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAyB,qBAAqB,CACxD,QAAQ,CAAC,QAAQ,EACjB,SAAS,EACT,OAAO,CAAC,cAAc,EACtB,KAAK,EACL,OAAO,CAAC,gBAAgB,CACzB,CAAC;IACF,OAAO,MAAM,CAAC,EAAE;QACd,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAC5D,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;AACrD,CAAC"}

package/dist/frontend/lowering/builtins/numbers.d.ts

@@ -0,0 +1,15 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr } from "../../../ir/ir.js";
+/** Method calls on THE `Number` global: the predicate statics lower to
+ * plain C over f64 arguments; `Number.parseFloat`/`Number.parseInt` ARE
+ * the global parsers (the spec aliases them), so they get the same
+ * island lowering — engine execution under --dynamic, per-site SC2012
+ * without it (parseInt takes an explicit radix, like the global). Null
+ * for non-Number receivers. */
+export declare function lowerNumberStaticCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** Property READS on THE `Number` global: the finite constants bake as
+ * number literals. NaN/POSITIVE_INFINITY/NEGATIVE_INFINITY and method
+ * members as values fall through to the member fence. Null for
+ * non-Number receivers. */
+export declare function lowerNumberStaticProperty(lowerer: Lowerer, expr: ts.PropertyAccessExpression): IrExpr | null;

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

@@ -0,0 +1,124 @@
+import * as ts from "../../ts7/adapter.js";
+import { own } from "../lowerer.js";
+import { lowerCheckedPredicateValue } from "../lower-builtin-values.js";
+import { locOf } from "../../program.js";
+import { BOOL, F64, JSVAL } from "../../../ir/ir.js";
+import { lowerBuiltinValuePreservingUndefined, lowerOptionalNumberPredicate } from "./arguments.js";
+/** The lowered Number statics, by member name. The predicate quartet has
+ * static C implementations (JS-exact: the ES2015 statics never coerce, so
+ * only f64-typed arguments route through — anything else fences honestly
+ * instead of folding to false past possible side effects). */
+const NUMBER_STATIC_PREDICATES = {
+    isFinite: "number.isFinite",
+    isNaN: "number.isNaN",
+    isInteger: "number.isInteger",
+    isSafeInteger: "number.isSafeInteger",
+};
+/** The Number constants, baked as literals — non-finite ones included
+ * (numLits carry NaN and the infinities; the backend preserves them). */
+const NUMBER_CONSTANTS = {
+    MAX_SAFE_INTEGER: 9007199254740991,
+    MIN_SAFE_INTEGER: -9007199254740991,
+    EPSILON: 2.220446049250313e-16,
+    MAX_VALUE: 1.7976931348623157e308,
+    MIN_VALUE: 5e-324,
+    NaN: NaN,
+    POSITIVE_INFINITY: Infinity,
+    NEGATIVE_INFINITY: -Infinity,
+};
+/** Method calls on THE `Number` global: the predicate statics lower to
+ * plain C over f64 arguments; `Number.parseFloat`/`Number.parseInt` ARE
+ * the global parsers (the spec aliases them), so they get the same
+ * island lowering — engine execution under --dynamic, per-site SC2012
+ * without it (parseInt takes an explicit radix, like the global). Null
+ * for non-Number receivers. */
+export function lowerNumberStaticCall(lowerer, call, access) {
+    if (call.questionDotToken)
+        return null;
+    const member = lowerer.stdlibGlobalMember(access, "Number");
+    if (member === null)
+        return null;
+    const loc = locOf(call);
+    const fn = own(NUMBER_STATIC_PREDICATES, member);
+    if (fn !== undefined) {
+        if (call.arguments.length !== 1) {
+            lowerer.noLowering(`Number.${member} with ${call.arguments.length} arguments`, call);
+        }
+        const argNode = call.arguments[0];
+        const arg = lowerBuiltinValuePreservingUndefined(lowerer, argNode);
+        // An ISLAND ('any'-typed) argument evaluates the predicate in the
+        // engine — the statics never coerce, so the engine's answer over the
+        // real value is JS-exact where a static fence would refuse the
+        // editorconfig `(value) => Number.isSafeInteger(value)` shape; the
+        // boolean exits validated like every island boolean.
+        if (arg.type.kind === "jsval") {
+            lowerer.requireDynamicApi(`'Number.${member}'`, call);
+            const numberGlobal = {
+                kind: "jsOp",
+                op: "globalGet",
+                name: "Number",
+                args: [],
+                type: JSVAL,
+                loc,
+            };
+            const raw = {
+                kind: "jsOp",
+                op: "callMethod",
+                name: member,
+                args: [numberGlobal, arg],
+                type: JSVAL,
+                loc,
+            };
+            return { kind: "jsExit", value: raw, type: BOOL, loc };
+        }
+        const optional = lowerOptionalNumberPredicate(lowerer, arg, fn, loc);
+        if (optional)
+            return optional;
+        if (arg.type.kind !== "f64") {
+            lowerer.noLowering(`Number.${member} of '${lowerer.fmt(arg.type)}' values`, argNode, "the Number statics never coerce — a statically non-number argument is constantly false in JS (narrow unions first, or write the constant)");
+        }
+        return { kind: "libCall", fn, args: [arg], type: BOOL, loc };
+    }
+    if (member === "parseFloat" || member === "parseInt") {
+        const want = member === "parseFloat" ? 1 : 2;
+        if (call.arguments.length !== want) {
+            lowerer.noLowering(`Number.${member} with ${call.arguments.length} argument${call.arguments.length === 1 ? "" : "s"}`, call, member === "parseInt" ? "pass an explicit radix: Number.parseInt(s, 10)" : undefined);
+        }
+        lowerer.requireDynamicApi(`'Number.${member}'`, call);
+        const callee = {
+            kind: "jsOp",
+            op: "globalGet",
+            name: member,
+            args: [],
+            type: JSVAL,
+            loc,
+        };
+        const args = call.arguments.map((a) => lowerer.jsvalIn(lowerer.lowerExpr(a), a));
+        const result = {
+            kind: "jsOp",
+            op: "callFn",
+            args: [callee, ...args],
+            type: JSVAL,
+            loc,
+        };
+        return { kind: "jsExit", value: result, type: F64, loc };
+    }
+    return null; // other Number statics land on the member fence
+}
+/** Property READS on THE `Number` global: the finite constants bake as
+ * number literals. NaN/POSITIVE_INFINITY/NEGATIVE_INFINITY and method
+ * members as values fall through to the member fence. Null for
+ * non-Number receivers. */
+export function lowerNumberStaticProperty(lowerer, expr) {
+    const member = lowerer.stdlibGlobalMember(expr, "Number");
+    if (member === null)
+        return null;
+    const predicate = own(NUMBER_STATIC_PREDICATES, member);
+    if (predicate)
+        return lowerCheckedPredicateValue(lowerer, `Number.${member}`, "number", locOf(expr), predicate);
+    const value = own(NUMBER_CONSTANTS, member);
+    if (value === undefined)
+        return null;
+    return { kind: "numLit", value, type: F64, loc: locOf(expr) };
+}
+//# sourceMappingURL=numbers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"numbers.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/numbers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,GAAG,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,GAAG,EAA6B,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAChF,OAAO,EAAE,oCAAoC,EAAE,4BAA4B,EAAE,MAAM,gBAAgB,CAAC;AAEpG;;;8DAG8D;AAC9D,MAAM,wBAAwB,GAAwC;IACpE,QAAQ,EAAE,iBAAiB;IAC3B,KAAK,EAAE,cAAc;IACrB,SAAS,EAAE,kBAAkB;IAC7B,aAAa,EAAE,sBAAsB;CACtC,CAAC;AAEF;yEACyE;AACzE,MAAM,gBAAgB,GAAuC;IAC3D,gBAAgB,EAAE,gBAAgB;IAClC,gBAAgB,EAAE,CAAC,gBAAgB;IACnC,OAAO,EAAE,qBAAqB;IAC9B,SAAS,EAAE,sBAAsB;IACjC,SAAS,EAAE,MAAM;IACjB,GAAG,EAAE,GAAG;IACR,iBAAiB,EAAE,QAAQ;IAC3B,iBAAiB,EAAE,CAAC,QAAQ;CAC7B,CAAC;AAEF;;;;;+BAK+B;AAC/B,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC5D,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,EAAE,GAAG,GAAG,CAAC,wBAAwB,EAAE,MAAM,CAAC,CAAC;IACjD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,OAAO,CAAC,UAAU,CAAC,UAAU,MAAM,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QACnC,MAAM,GAAG,GAAG,oCAAoC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACnE,kEAAkE;QAClE,qEAAqE;QACrE,+DAA+D;QAC/D,mEAAmE;QACnE,qDAAqD;QACrD,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9B,OAAO,CAAC,iBAAiB,CAAC,WAAW,MAAM,GAAG,EAAE,IAAI,CAAC,CAAC;YACtD,MAAM,YAAY,GAAW;gBAC3B,IAAI,EAAE,MAAM;gBACZ,EAAE,EAAE,WAAW;gBACf,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,KAAK;gBACX,GAAG;aACJ,CAAC;YACF,MAAM,GAAG,GAAW;gBAClB,IAAI,EAAE,MAAM;gBACZ,EAAE,EAAE,YAAY;gBAChB,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,CAAC,YAAY,EAAE,GAAG,CAAC;gBACzB,IAAI,EAAE,KAAK;gBACX,GAAG;aACJ,CAAC;YACF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACzD,CAAC;QACD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QACrE,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC9B,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC5B,OAAO,CAAC,UAAU,CAChB,UAAU,MAAM,QAAQ,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EACvD,OAAO,EACP,2IAA2I,CAC5I,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC/D,CAAC;IACD,IAAI,MAAM,KAAK,YAAY,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,MAAM,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACnC,OAAO,CAAC,UAAU,CAChB,UAAU,MAAM,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAClG,IAAI,EACJ,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,gDAAgD,CAAC,CAAC,CAAC,SAAS,CACrF,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,iBAAiB,CAAC,WAAW,MAAM,GAAG,EAAE,IAAI,CAAC,CAAC;QACtD,MAAM,MAAM,GAAW;YACrB,IAAI,EAAE,MAAM;YACZ,EAAE,EAAE,WAAW;YACf,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,KAAK;YACX,GAAG;SACJ,CAAC;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjF,MAAM,MAAM,GAAW;YACrB,IAAI,EAAE,MAAM;YACZ,EAAE,EAAE,QAAQ;YACZ,IAAI,EAAE,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC;YACvB,IAAI,EAAE,KAAK;YACX,GAAG;SACJ,CAAC;QACF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC3D,CAAC;IACD,OAAO,IAAI,CAAC,CAAC,gDAAgD;AAC/D,CAAC;AAED;;;2BAG2B;AAC3B,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,IAAiC;IAEjC,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC1D,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,SAAS,GAAG,GAAG,CAAC,wBAAwB,EAAE,MAAM,CAAC,CAAC;IACxD,IAAI,SAAS;QACX,OAAO,0BAA0B,CAC/B,OAAO,EACP,UAAU,MAAM,EAAE,EAClB,QAAQ,EACR,KAAK,CAAC,IAAI,CAAC,EACX,SAAS,CACV,CAAC;IACJ,MAAM,KAAK,GAAG,GAAG,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AAChE,CAAC"}

package/dist/frontend/lowering/builtins/operating-system.d.ts

@@ -0,0 +1,13 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr, type SrcLoc } from "../../../ir/ir.js";
+/** `os.userInfo()` — the passwd-entry snapshot, Node's uv_os_get_passwd
+ * behind the call site's own mapped record shape: username = pw_name,
+ * uid/gid = getuid/getgid, shell = pw_shell (as the `string | null`
+ * union @types/node declares — POSIX always answers the string arm;
+ * null is Node's Windows answer), homedir = pw_dir (the PASSWD home,
+ * NOT os.homedir's $HOME-first cascade — Node's own split). The record
+ * assembles field-by-field from scalar libCalls in the shape's
+ * declaration order; unknown fields and the options argument fence. */
+export declare function lowerOsUserInfoCall(lowerer: Lowerer, call: ts.CallExpression, loc: SrcLoc): IrExpr;
+export declare function lowerOsNetworkInterfacesCall(lowerer: Lowerer, call: ts.CallExpression, loc: SrcLoc): IrExpr;