@scriptc/compiler 0.2.4 → 0.2.5

package/dist/frontend/lowering/builtins/async-context.js

@@ -0,0 +1,436 @@
+import { isBuiltinClassInstance } from "./receiver-types.js";
+import { dynUndefinedExpr } from "../../../ir/build.js";
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { BOOL, DYN, F64, STRING, VOID, canBoxFuncIntoDyn, canConvertToDyn, } from "../../../ir/ir.js";
+/** The channel-name argument of the diagnostics_channel surface: a
+ * string (dyn names ride the validated extraction — Node's non-string
+ * names would throw ERR_INVALID_ARG_TYPE where the dynCheck throws its
+ * annotated TypeError; symbol names have no lowering and fence through
+ * the coercion's own rejection). */
+export function diagnosticsChannelNameArgument(lowerer, node) {
+    return lowerer.lowerExprExpecting(node, STRING);
+}
+/** A diagnostics_channel subscriber as a dyn value: dyn callables pass
+ * through (test/common's mustCall wrapper — an untyped JS function
+ * value), boxable typed closures ride dynFrom. Identity is preserved
+ * either way, so unsubscribe(fn) finds the subscribe(fn) entry. */
+export function lowerDiagnosticsSubscriber(lowerer, node) {
+    // The stdlib GLOBAL setImmediate as a function value (the Node-suite
+    // traceCallback shape): a minted native dyn callable — the identifier
+    // has no other first-class story.
+    if (ts.isIdentifier(node) && node.text === "setImmediate") {
+        const sym = lowerer.checker.getSymbolAtLocation(node);
+        const decls = sym ? lowerer.checker.declarationsOf(sym) : [];
+        if (decls.length > 0 && decls.every((d) => lowerer.isStdlibFile(d.getSourceFile()))) {
+            return {
+                kind: "libCall",
+                fn: "timers.setImmediateFnValue",
+                args: [],
+                type: DYN,
+                loc: locOf(node),
+            };
+        }
+    }
+    const cb = lowerer.lowerExpr(node);
+    if (cb.type.kind === "dyn")
+        return cb;
+    if (cb.type.kind === "func" &&
+        canBoxFuncIntoDyn(cb.type, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id))) {
+        return { kind: "dynFrom", value: cb, type: DYN, loc: locOf(node) };
+    }
+    lowerer.unsupported("SC1090", node, `channel subscribers of type '${lowerer.fmt(cb.type)}' (subscribers cross as dyn functions — parameters must be dyn-representable)`);
+}
+/** A published message as a dyn value: dyn passes through, everything
+ * in the dynFrom domain (JSON-safe data, bytes, %Error, boxable
+ * functions, handle kinds) boxes; the rest fences with the domain named. */
+function lowerDiagnosticsMessage(lowerer, node) {
+    // An explicit `undefined` argument (tracePromise(fn, ctx, undefined,
+    // ...args) — Node's own no-this spelling) is the undefined dyn value,
+    // exactly what an omitted slot defaults to.
+    if (ts.isIdentifier(node) && node.text === "undefined") {
+        return dynUndefinedExpr(locOf(node));
+    }
+    const msg = lowerer.lowerExpr(node);
+    if (msg.type.kind === "dyn")
+        return msg;
+    if (canConvertToDyn(msg.type, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id))) {
+        return { kind: "dynFrom", value: msg, type: DYN, loc: locOf(node) };
+    }
+    lowerer.unsupported("SC1090", node, `publishing '${lowerer.fmt(msg.type)}' messages (messages cross as dyn values — JSON-safe data, Uint8Array, errors, and functions)`);
+}
+/** Method calls on diagnostics_channel Channel receivers:
+ * publish(message), subscribe(fn), unsubscribe(fn) — over the f64
+ * channel handle. The rest of the declared surface (bindStore,
+ * runStores) fences member-qualified. Null for non-Channel receivers. */
+export function lowerDiagnosticsChannelMethodCall(lowerer, call, access) {
+    if (call.questionDotToken || access.questionDotToken)
+        return null;
+    if (!isBuiltinClassInstance(lowerer, access.expression, "Channel"))
+        return null;
+    if (!lowerer.isStdlibMember(access))
+        return null;
+    const name = access.name.text;
+    const loc = locOf(call);
+    if (name === "publish" && call.arguments.length === 1) {
+        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+        const msg = lowerDiagnosticsMessage(lowerer, call.arguments[0]);
+        return { kind: "libCall", fn: "dc.publish", args: [receiver, msg], type: VOID, loc };
+    }
+    if ((name === "subscribe" || name === "unsubscribe") && call.arguments.length === 1) {
+        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+        const cb = lowerDiagnosticsSubscriber(lowerer, call.arguments[0]);
+        return name === "subscribe"
+            ? { kind: "libCall", fn: "dc.chanSubscribe", args: [receiver, cb], type: VOID, loc }
+            : { kind: "libCall", fn: "dc.chanUnsubscribe", args: [receiver, cb], type: BOOL, loc };
+    }
+    // bindStore(store[, transform]) / unbindStore(store) / runStores(data,
+    // fn[, thisArg[, ...args]]): the AsyncLocalStorage integration — the
+    // store argument is the ALS f64 handle; the transform crosses as a
+    // dyn function (absent = identity, the undefined dyn value); runStores
+    // enters the bound stores, publishes inside them, and forwards
+    // this/arguments to fn exactly like the trace calls.
+    if ((name === "bindStore" || name === "unbindStore") &&
+        call.arguments.length >= 1 &&
+        call.arguments.length <= (name === "bindStore" ? 2 : 1)) {
+        if (!isBuiltinClassInstance(lowerer, call.arguments[0], "AsyncLocalStorage")) {
+            lowerer.noLowering(`Channel.${name} with this store argument`, call.arguments[0], "an AsyncLocalStorage instance (node:async_hooks) is the supported store");
+        }
+        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+        const store = lowerer.lowerExprExpecting(call.arguments[0], F64);
+        if (name === "unbindStore") {
+            return {
+                kind: "libCall",
+                fn: "dc.chanUnbindStore",
+                args: [receiver, store],
+                type: BOOL,
+                loc,
+            };
+        }
+        const transform = call.arguments[1] !== undefined
+            ? lowerDiagnosticsSubscriber(lowerer, call.arguments[1])
+            : dynUndefinedExpr(loc);
+        return {
+            kind: "libCall",
+            fn: "dc.chanBindStore",
+            args: [receiver, store, transform],
+            type: VOID,
+            loc,
+        };
+    }
+    if (name === "runStores" && call.arguments.length >= 2) {
+        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+        const data = lowerDiagnosticsMessage(lowerer, call.arguments[0]);
+        const fn = lowerDiagnosticsSubscriber(lowerer, call.arguments[1]);
+        const thisArg = call.arguments[2] !== undefined
+            ? lowerDiagnosticsMessage(lowerer, call.arguments[2])
+            : dynUndefinedExpr(loc);
+        const rest = lowerTracingArguments(lowerer, call.arguments.slice(3), loc);
+        return {
+            kind: "libCall",
+            fn: "dc.chanRunStores",
+            args: [receiver, data, fn, thisArg, rest],
+            type: DYN,
+            loc,
+        };
+    }
+    lowerer.noLowering(`Channel.${name}`, call, "publish(message), subscribe(fn), unsubscribe(fn), bindStore/unbindStore/runStores, and the name/hasSubscribers reads are the supported Channel members", lowerer.checker.getSymbolAtLocation(access.name));
+}
+/** Method calls on AsyncLocalStorage receivers: run(store, fn, ...args),
+ * exit(fn, ...args), getStore(), enterWith(store), disable() — over the
+ * f64 store handle (als.* libCalls; values cross as dyn values). Null
+ * for non-ALS receivers. */
+export function lowerAsyncLocalStorageMethodCall(lowerer, call, access) {
+    if (call.questionDotToken || access.questionDotToken)
+        return null;
+    if (!isBuiltinClassInstance(lowerer, access.expression, "AsyncLocalStorage"))
+        return null;
+    if (!lowerer.isStdlibMember(access))
+        return null;
+    const name = access.name.text;
+    const loc = locOf(call);
+    if (name === "getStore" && call.arguments.length === 0) {
+        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+        return asyncLocalStorageResult(lowerer, call, {
+            kind: "libCall",
+            fn: "als.get",
+            args: [receiver],
+            type: DYN,
+            loc,
+        });
+    }
+    if (name === "run" && call.arguments.length >= 2) {
+        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+        const value = lowerDiagnosticsMessage(lowerer, call.arguments[0]);
+        const fn = lowerDiagnosticsSubscriber(lowerer, call.arguments[1]);
+        const rest = lowerTracingArguments(lowerer, call.arguments.slice(2), loc);
+        return asyncLocalStorageResult(lowerer, call, {
+            kind: "libCall",
+            fn: "als.run",
+            args: [receiver, value, fn, rest],
+            type: DYN,
+            loc,
+        });
+    }
+    if (name === "exit" && call.arguments.length >= 1) {
+        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+        const fn = lowerDiagnosticsSubscriber(lowerer, call.arguments[0]);
+        const rest = lowerTracingArguments(lowerer, call.arguments.slice(1), loc);
+        return asyncLocalStorageResult(lowerer, call, {
+            kind: "libCall",
+            fn: "als.exitRun",
+            args: [receiver, fn, rest],
+            type: DYN,
+            loc,
+        });
+    }
+    if (name === "enterWith" && call.arguments.length === 1) {
+        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+        const value = lowerDiagnosticsMessage(lowerer, call.arguments[0]);
+        return { kind: "libCall", fn: "als.enterWith", args: [receiver, value], type: VOID, loc };
+    }
+    if (name === "disable" && call.arguments.length === 0) {
+        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+        return { kind: "libCall", fn: "als.disable", args: [receiver], type: VOID, loc };
+    }
+    lowerer.noLowering(`AsyncLocalStorage.${name}`, call, "run(store, fn, ...args), exit(fn, ...args), getStore(), enterWith(store), and disable() are the supported AsyncLocalStorage members", lowerer.checker.getSymbolAtLocation(access.name));
+}
+/** The runtime carries a tagged value, while a typed ALS call promises
+ * its generic store/callback result. Convert at that boundary so inferred
+ * locals and immediate method calls share the same checked representation.
+ * Untyped JS and unknown stores keep the original dynamic value. */
+function asyncLocalStorageResult(lowerer, call, value) {
+    const expected = lowerer.mapTypeOf(lowerer.typeOf(call));
+    // Promises already use the runtime's dynamic async path; unlike class
+    // capsules, boxed typed promises do not have a checked extraction ABI.
+    if (!expected ||
+        expected.kind === "dyn" ||
+        expected.kind === "void" ||
+        expected.kind === "promise")
+        return value;
+    return lowerer.coerceInto(call, value, expected);
+}
+/** Property reads on Channel receivers: `.name` (the registration
+ * string) and `.hasSubscribers` (the publish guard). Null for
+ * non-Channel receivers and other members (the method fence owns them). */
+export function lowerDiagnosticsChannelProperty(lowerer, access) {
+    if (access.questionDotToken)
+        return null;
+    const name = access.name.text;
+    if (name !== "name" && name !== "hasSubscribers")
+        return null;
+    if (!isBuiltinClassInstance(lowerer, access.expression, "Channel"))
+        return null;
+    if (!lowerer.isStdlibMember(access))
+        return null;
+    const loc = locOf(access);
+    const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+    return name === "name"
+        ? { kind: "libCall", fn: "dc.chanName", args: [receiver], type: STRING, loc }
+        : { kind: "libCall", fn: "dc.chanHasSubscribers", args: [receiver], type: BOOL, loc };
+}
+export const DC_TRACE_EVENTS = ["start", "end", "asyncStart", "asyncEnd", "error"];
+/** A TracingChannel handlers object as a dyn value: dyn passes through;
+ * an INLINE object literal of plain event-name properties builds the checked-dynamic tree
+ * object member-by-member (each value through the message conversion —
+ * closures box by identity, so unsubscribe still matches), covering the
+ * `{ start: () => {} }` spelling whose record type (function members)
+ * has no whole-value conversion. Everything else rides lowerDiagnosticsMessage. */
+function lowerTracingHandlers(lowerer, node) {
+    let e = node;
+    while (ts.isParenthesizedExpression(e))
+        e = e.expression;
+    if (ts.isObjectLiteralExpression(e) &&
+        lowerer.mapTypeOf(lowerer.typeOf(e))?.kind === "record" &&
+        e.properties.length > 0 &&
+        e.properties.every((p) => ts.isPropertyAssignment(p) && ts.isIdentifier(p.name))) {
+        const loc = locOf(e);
+        return {
+            kind: "dynObjLit",
+            fields: e.properties.map((p) => {
+                const pa = p;
+                return {
+                    key: {
+                        kind: "strLit",
+                        value: pa.name.text,
+                        type: STRING,
+                        loc: locOf(pa),
+                    },
+                    value: lowerDiagnosticsMessage(lowerer, pa.initializer),
+                };
+            }),
+            type: DYN,
+            loc,
+        };
+    }
+    return lowerDiagnosticsMessage(lowerer, node);
+}
+/** A trace-call argument list's tail as ONE dyn array (dynArrLit over
+ * per-element conversions). Spread arguments fence — the built array
+ * must mirror the call site's argument vector exactly. */
+export function lowerTracingArguments(lowerer, args, loc) {
+    const elems = args.map((a) => {
+        if (ts.isSpreadElement(a)) {
+            lowerer.noLowering("trace calls with spread arguments", a, "write the traced arguments positionally");
+        }
+        return lowerDiagnosticsMessage(lowerer, a);
+    });
+    return { kind: "dynArrLit", elems, type: DYN, loc };
+}
+/** Method calls on TracingChannel receivers: subscribe/unsubscribe over
+ * a dyn handlers object, traceSync/traceCallback through the runtime's
+ * publish choreography (dc.tcTraceSync/dc.tcTraceCallback — fn, context,
+ * thisArg, and the argument vector all cross as dyn values; context
+ * defaults to a fresh `{}` and thisArg to undefined, Node's defaults),
+ * and tracePromise through the reaction-fiber choreography
+ * (dc.tcTracePromise — the result is the reaction promise, typed
+ * promise<dyn> so .then/.catch chains ride the promise lowerings).
+ * Null for non-TracingChannel receivers. */
+export function lowerTracingChannelMethodCall(lowerer, call, access) {
+    if (call.questionDotToken || access.questionDotToken)
+        return null;
+    if (!isBuiltinClassInstance(lowerer, access.expression, "TracingChannel"))
+        return null;
+    if (!lowerer.isStdlibMember(access))
+        return null;
+    const name = access.name.text;
+    const loc = locOf(call);
+    if ((name === "subscribe" || name === "unsubscribe") && call.arguments.length === 1) {
+        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+        const handlers = lowerTracingHandlers(lowerer, call.arguments[0]);
+        return name === "subscribe"
+            ? { kind: "libCall", fn: "dc.tcSubscribe", args: [receiver, handlers], type: VOID, loc }
+            : { kind: "libCall", fn: "dc.tcUnsubscribe", args: [receiver, handlers], type: BOOL, loc };
+    }
+    if ((name === "traceSync" || name === "traceCallback" || name === "tracePromise") &&
+        call.arguments.length >= 1) {
+        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+        const fn = lowerDiagnosticsSubscriber(lowerer, call.arguments[0]);
+        // traceSync(fn, context?, thisArg?, ...args) /
+        // tracePromise(fn, context?, thisArg?, ...args) /
+        // traceCallback(fn, position?, context?, thisArg?, ...args)
+        const shift = name === "traceCallback" ? 1 : 0;
+        const ctxNode = call.arguments[1 + shift];
+        const thisNode = call.arguments[2 + shift];
+        const ctx = ctxNode !== undefined
+            ? lowerDiagnosticsMessage(lowerer, ctxNode)
+            : { kind: "dynObjLit", fields: [], type: DYN, loc };
+        const thisArg = thisNode !== undefined ? lowerDiagnosticsMessage(lowerer, thisNode) : dynUndefinedExpr(loc);
+        const rest = lowerTracingArguments(lowerer, call.arguments.slice(3 + shift), loc);
+        if (name === "traceSync") {
+            return {
+                kind: "libCall",
+                fn: "dc.tcTraceSync",
+                args: [receiver, fn, ctx, thisArg, rest],
+                type: DYN,
+                loc,
+            };
+        }
+        if (name === "tracePromise") {
+            // The runtime returns the REACTION promise (dyn payload), so the
+            // call site's .then/.catch chains ride the promise<dyn> lowerings.
+            // A non-promise traced return wraps (PromiseResolve, Node) — on
+            // the no-subscriber early exit too, where Node returns it raw
+            // (SEMANTICS.md).
+            return {
+                kind: "libCall",
+                fn: "dc.tcTracePromise",
+                args: [receiver, fn, ctx, thisArg, rest],
+                type: { kind: "promise", inner: DYN },
+                loc,
+            };
+        }
+        const pos = call.arguments[1] !== undefined
+            ? lowerer.lowerExprExpecting(call.arguments[1], F64)
+            : { kind: "numLit", value: -1, type: F64, loc };
+        return {
+            kind: "libCall",
+            fn: "dc.tcTraceCallback",
+            args: [receiver, fn, pos, ctx, thisArg, rest],
+            type: DYN,
+            loc,
+        };
+    }
+    lowerer.noLowering(`TracingChannel.${name}`, call, "subscribe(handlers), unsubscribe(handlers), traceSync(fn, ...), traceCallback(fn, ...), tracePromise(fn, ...), and the per-event channel/hasSubscribers reads are the supported TracingChannel members", lowerer.checker.getSymbolAtLocation(access.name));
+}
+/** Property reads on TracingChannel receivers: the five event channels
+ * (`.start` … `.error` — Channel-typed f64 handles the Channel lowerings
+ * take over) and `.hasSubscribers` (the five-channel disjunction). Null
+ * for other members and non-TracingChannel receivers. */
+export function lowerTracingChannelProperty(lowerer, access) {
+    if (access.questionDotToken)
+        return null;
+    const name = access.name.text;
+    const idx = DC_TRACE_EVENTS.indexOf(name);
+    if (idx < 0 && name !== "hasSubscribers")
+        return null;
+    if (!isBuiltinClassInstance(lowerer, access.expression, "TracingChannel"))
+        return null;
+    if (!lowerer.isStdlibMember(access))
+        return null;
+    const loc = locOf(access);
+    const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+    return idx >= 0
+        ? {
+            kind: "libCall",
+            fn: "dc.tcChannel",
+            args: [receiver, { kind: "numLit", value: idx, type: F64, loc }],
+            type: F64,
+            loc,
+        }
+        : { kind: "libCall", fn: "dc.tcHasSubscribers", args: [receiver], type: BOOL, loc };
+}
+// node:diagnostics_channel — the module-level pub/sub surface. The
+// subscriber arguments box into the checked-dynamic tree (dyn) so JS harness wrappers
+// (test/common's mustCall — a rest-args function value) and typed
+// closures both cross; publish and the Channel methods lower in
+// lowerDiagnosticsChannelMethodCall over the f64 channel handle.
+export function lowerDiagnosticsChannelCall(lowerer, expr, bi, loc) {
+    if (bi.member === "channel" && expr.arguments.length === 1) {
+        const name = diagnosticsChannelNameArgument(lowerer, expr.arguments[0]);
+        return { kind: "libCall", fn: "dc.channel", args: [name], type: F64, loc };
+    }
+    if ((bi.member === "subscribe" || bi.member === "unsubscribe") && expr.arguments.length === 2) {
+        const name = diagnosticsChannelNameArgument(lowerer, expr.arguments[0]);
+        const cb = lowerDiagnosticsSubscriber(lowerer, expr.arguments[1]);
+        return bi.member === "subscribe"
+            ? { kind: "libCall", fn: "dc.subscribe", args: [name, cb], type: VOID, loc }
+            : { kind: "libCall", fn: "dc.unsubscribe", args: [name, cb], type: BOOL, loc };
+    }
+    if (bi.member === "hasSubscribers" && expr.arguments.length === 1) {
+        const name = diagnosticsChannelNameArgument(lowerer, expr.arguments[0]);
+        return { kind: "libCall", fn: "dc.hasSubscribers", args: [name], type: BOOL, loc };
+    }
+    // tracingChannel: the string form interns the five tracing:<name>:*
+    // channels; the collection form takes an object literal whose five
+    // event members are Channel-typed values (Node's TracingChannelCollection).
+    if (bi.member === "tracingChannel" && expr.arguments.length === 1) {
+        const a = expr.arguments[0];
+        if (ts.isObjectLiteralExpression(a)) {
+            const byEvent = new Map();
+            for (const p of a.properties) {
+                if (!ts.isPropertyAssignment(p) ||
+                    !ts.isIdentifier(p.name) ||
+                    !DC_TRACE_EVENTS.includes(p.name.text)) {
+                    lowerer.noLowering("tracingChannel with this collection shape", p, "the supported collection form assigns each of start/end/asyncStart/asyncEnd/error a Channel value inline");
+                }
+                byEvent.set(p.name.text, lowerer.lowerExprExpecting(p.initializer, F64));
+            }
+            if (byEvent.size !== 5) {
+                lowerer.noLowering("tracingChannel with a partial collection", a, "the supported collection form names all five event channels");
+            }
+            return {
+                kind: "libCall",
+                fn: "dc.tracingChannelOf",
+                args: DC_TRACE_EVENTS.map((ev) => byEvent.get(ev)),
+                type: F64,
+                loc,
+            };
+        }
+        const name = diagnosticsChannelNameArgument(lowerer, a);
+        return { kind: "libCall", fn: "dc.tracingChannel", args: [name], type: F64, loc };
+    }
+    return null;
+}
+//# sourceMappingURL=async-context.js.map

package/dist/frontend/lowering/builtins/async-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"async-context.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/async-context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EAEH,MAAM,EAEN,IAAI,EACJ,iBAAiB,EACjB,eAAe,GAChB,MAAM,mBAAmB,CAAC;AAE3B;;;;oCAIoC;AACpC,MAAM,UAAU,8BAA8B,CAAC,OAAgB,EAAE,IAAmB;IAClF,OAAO,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED;;;mEAGmE;AACnE,MAAM,UAAU,0BAA0B,CAAC,OAAgB,EAAE,IAAmB;IAC9E,qEAAqE;IACrE,sEAAsE;IACtE,kCAAkC;IAClC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC1D,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC;YACpF,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,4BAA4B;gBAChC,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,GAAG;gBACT,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;aACjB,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,EAAE,CAAC;IACtC,IACE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QACvB,iBAAiB,CACf,EAAE,CAAC,IAAI,EACP,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,EACD,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,gCAAgC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,+EAA+E,CACpI,CAAC;AACJ,CAAC;AAED;;4EAE4E;AAC5E,SAAS,uBAAuB,CAAC,OAAgB,EAAE,IAAmB;IACpE,qEAAqE;IACrE,sEAAsE;IACtE,4CAA4C;IAC5C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACvD,OAAO,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACvC,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,GAAG,CAAC;IACxC,IACE,eAAe,CACb,GAAG,CAAC,IAAI,EACR,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,EACD,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;IACtE,CAAC;IACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,eAAe,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,+FAA+F,CACpI,CAAC;AACJ,CAAC;AAED;;;yEAGyE;AACzE,MAAM,UAAU,iCAAiC,CAC/C,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAChF,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,GAAG,GAAG,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACjE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvF,CAAC;IACD,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,aAAa,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpF,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,EAAE,GAAG,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACnE,OAAO,IAAI,KAAK,WAAW;YACzB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACpF,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC3F,CAAC;IACD,uEAAuE;IACvE,qEAAqE;IACrE,mEAAmE;IACnE,uEAAuE;IACvE,+DAA+D;IAC/D,qDAAqD;IACrD,IACE,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,aAAa,CAAC;QAChD,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC;QAC1B,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACvD,CAAC;QACD,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,mBAAmB,CAAC,EAAE,CAAC;YAC9E,OAAO,CAAC,UAAU,CAChB,WAAW,IAAI,2BAA2B,EAC1C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,yEAAyE,CAC1E,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;QAClE,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;YAC3B,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,oBAAoB;gBACxB,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC;gBACvB,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,MAAM,SAAS,GACb,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS;YAC7B,CAAC,CAAC,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;YACzD,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;QAC5B,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC;YAClC,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QAClE,MAAM,EAAE,GAAG,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACnE,MAAM,OAAO,GACX,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS;YAC7B,CAAC,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;YACtD,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC1E,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC;YACzC,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,WAAW,IAAI,EAAE,EACjB,IAAI,EACJ,wJAAwJ,EACxJ,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CACjD,CAAC;AACJ,CAAC;AAED;;;4BAG4B;AAC5B,MAAM,UAAU,gCAAgC,CAC9C,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,mBAAmB,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1F,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,OAAO,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE;YAC5C,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,SAAS;YACb,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACnE,MAAM,EAAE,GAAG,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACnE,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC1E,OAAO,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE;YAC5C,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,SAAS;YACb,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC;YACjC,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,EAAE,GAAG,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACnE,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC1E,OAAO,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE;YAC5C,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC;YAC1B,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACnE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC5F,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACnF,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,qBAAqB,IAAI,EAAE,EAC3B,IAAI,EACJ,qIAAqI,EACrI,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CACjD,CAAC;AACJ,CAAC;AAED;;;oEAGoE;AACpE,SAAS,uBAAuB,CAAC,OAAgB,EAAE,IAAuB,EAAE,KAAa;IACvF,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,sEAAsE;IACtE,uEAAuE;IACvE,IACE,CAAC,QAAQ;QACT,QAAQ,CAAC,IAAI,KAAK,KAAK;QACvB,QAAQ,CAAC,IAAI,KAAK,MAAM;QACxB,QAAQ,CAAC,IAAI,KAAK,SAAS;QAE3B,OAAO,KAAK,CAAC;IACf,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC;AAED;;2EAE2E;AAC3E,MAAM,UAAU,+BAA+B,CAC7C,OAAgB,EAChB,MAAmC;IAEnC,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAChF,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACpE,OAAO,IAAI,KAAK,MAAM;QACpB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAC7E,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC1F,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,OAAO,CAAU,CAAC;AAE5F;;;;;mFAKmF;AACnF,SAAS,oBAAoB,CAAC,OAAgB,EAAE,IAAmB;IACjE,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IACE,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAC/B,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ;QACvD,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QACvB,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAChF,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACrB,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC7B,MAAM,EAAE,GAAG,CAA0B,CAAC;gBACtC,OAAO;oBACL,GAAG,EAAE;wBACH,IAAI,EAAE,QAAQ;wBACd,KAAK,EAAG,EAAE,CAAC,IAAsB,CAAC,IAAI;wBACtC,IAAI,EAAE,MAAM;wBACZ,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;qBACf;oBACD,KAAK,EAAE,uBAAuB,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;iBACxD,CAAC;YACJ,CAAC,CAAC;YACF,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAChD,CAAC;AAED;;0DAE0D;AAC1D,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAA8B,EAC9B,GAAW;IAEX,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3B,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1B,OAAO,CAAC,UAAU,CAChB,mCAAmC,EACnC,CAAC,EACD,yCAAyC,CAC1C,CAAC;QACJ,CAAC;QACD,OAAO,uBAAuB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACtD,CAAC;AAED;;;;;;;;4CAQ4C;AAC5C,MAAM,UAAU,6BAA6B,CAC3C,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAAC;QAAE,OAAO,IAAI,CAAC;IACvF,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,aAAa,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpF,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACnE,OAAO,IAAI,KAAK,WAAW;YACzB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACxF,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC/F,CAAC;IACD,IACE,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,eAAe,IAAI,IAAI,KAAK,cAAc,CAAC;QAC7E,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,EAC1B,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,EAAE,GAAG,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACnE,+CAA+C;QAC/C,kDAAkD;QAClD,4DAA4D;QAC5D,MAAM,KAAK,GAAG,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;QAC3C,MAAM,GAAG,GACP,OAAO,KAAK,SAAS;YACnB,CAAC,CAAC,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC;YAC3C,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACxD,MAAM,OAAO,GACX,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;QAC9F,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QAClF,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YACzB,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,gBAAgB;gBACpB,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC;gBACxC,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;YAC5B,iEAAiE;YACjE,mEAAmE;YACnE,gEAAgE;YAChE,8DAA8D;YAC9D,kBAAkB;YAClB,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,mBAAmB;gBACvB,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC;gBACxC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE;gBACrC,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GACP,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS;YAC7B,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;YACrD,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACpD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC;YAC7C,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,kBAAkB,IAAI,EAAE,EACxB,IAAI,EACJ,wMAAwM,EACxM,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CACjD,CAAC;AACJ,CAAC;AAED;;;yDAGyD;AACzD,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,MAAmC;IAEnC,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAI,eAAqC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjE,IAAI,GAAG,GAAG,CAAC,IAAI,IAAI,KAAK,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAAC;QAAE,OAAO,IAAI,CAAC;IACvF,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACpE,OAAO,GAAG,IAAI,CAAC;QACb,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,cAAc;YAClB,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YAChE,IAAI,EAAE,GAAG;YACT,GAAG;SACJ;QACH,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACxF,CAAC;AAED,mEAAmE;AACnE,sFAAsF;AACtF,kEAAkE;AAClE,gEAAgE;AAChE,iEAAiE;AACjE,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,IAAuB,EACvB,EAAsC,EACtC,GAAW;IAEX,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,GAAG,8BAA8B,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACzE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC7E,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,WAAW,IAAI,EAAE,CAAC,MAAM,KAAK,aAAa,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9F,MAAM,IAAI,GAAG,8BAA8B,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACzE,MAAM,EAAE,GAAG,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACnE,OAAO,EAAE,CAAC,MAAM,KAAK,WAAW;YAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC5E,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACnF,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,gBAAgB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,GAAG,8BAA8B,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACzE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACrF,CAAC;IACD,oEAAoE;IACpE,mEAAmE;IACnE,4EAA4E;IAC5E,IAAI,EAAE,CAAC,MAAM,KAAK,gBAAgB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QAC7B,IAAI,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;YACpC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC1C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;gBAC7B,IACE,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;oBAC3B,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;oBACxB,CAAE,eAAqC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAC7D,CAAC;oBACD,OAAO,CAAC,UAAU,CAChB,2CAA2C,EAC3C,CAAC,EACD,0GAA0G,CAC3G,CAAC;gBACJ,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3E,CAAC;YACD,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACvB,OAAO,CAAC,UAAU,CAChB,0CAA0C,EAC1C,CAAC,EACD,6DAA6D,CAC9D,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,qBAAqB;gBACzB,IAAI,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;gBACnD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,8BAA8B,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACxD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACpF,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/builtins/atomics.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";
+/** `Atomics.wait(int32Array, idx, expected, timeoutMs)` — the
+ * synchronous-sleep idiom (RouteStore's
+ * `Atomics.wait(sleepBuffer, 0, 0, ms)`): scriptc has no threads, so
+ * nothing can ever notify a waiter and the spec's behavior for every
+ * compilable program is exactly "compare, then sleep out the timeout"
+ * — "not-equal" when the element differs, a real nanosleep and
+ * "timed-out" otherwise ("ok" is unreachable). The timeout argument is
+ * REQUIRED: without it Node blocks until a notify that cannot exist
+ * here — a certain deadlock, fenced with that explanation. Every other
+ * Atomics member (notify has no one to wake; add/load/... — nothing
+ * races) fences member-qualified. Null for non-Atomics receivers. */
+export declare function lowerAtomicsCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;

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

@@ -0,0 +1,46 @@
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { F64, STRING } from "../../../ir/ir.js";
+/** `Atomics.wait(int32Array, idx, expected, timeoutMs)` — the
+ * synchronous-sleep idiom (RouteStore's
+ * `Atomics.wait(sleepBuffer, 0, 0, ms)`): scriptc has no threads, so
+ * nothing can ever notify a waiter and the spec's behavior for every
+ * compilable program is exactly "compare, then sleep out the timeout"
+ * — "not-equal" when the element differs, a real nanosleep and
+ * "timed-out" otherwise ("ok" is unreachable). The timeout argument is
+ * REQUIRED: without it Node blocks until a notify that cannot exist
+ * here — a certain deadlock, fenced with that explanation. Every other
+ * Atomics member (notify has no one to wake; add/load/... — nothing
+ * races) fences member-qualified. Null for non-Atomics receivers. */
+export function lowerAtomicsCall(lowerer, call, access) {
+    const member = lowerer.stdlibGlobalMember(access, "Atomics");
+    if (member === null)
+        return null;
+    const loc = locOf(call);
+    if (member !== "wait") {
+        lowerer.noLowering(`Atomics.${member}`, call, "Atomics.wait(int32Array, idx, expected, timeoutMs) is the supported Atomics surface " +
+            "(scriptc has no threads — wait is the synchronous-sleep idiom, and nothing else has anyone to race)", lowerer.checker.getSymbolAtLocation(access.name));
+    }
+    if (call.arguments.length !== 4 || call.arguments.some(ts.isSpreadElement)) {
+        lowerer.noLowering(`Atomics.wait with ${call.arguments.length} arguments`, call, "the timeout is required: without it the wait blocks forever — scriptc has no threads, " +
+            "so no notify can ever arrive (Atomics.wait(arr, idx, expected, timeoutMs))");
+    }
+    const arrNode = call.arguments[0];
+    const arrIr = lowerer.mapTypeOf(lowerer.typeOf(arrNode));
+    if (!(arrIr?.kind === "bytes" && arrIr.elem === "i32")) {
+        lowerer.noLowering(`Atomics.wait over '${lowerer.checker.typeToString(lowerer.typeOf(arrNode))}' values`, arrNode, "an Int32Array is the supported waitable array");
+    }
+    const arr = lowerer.lowerExpr(arrNode);
+    const idx = lowerer.lowerExprExpecting(call.arguments[1], F64);
+    const expected = lowerer.lowerExprExpecting(call.arguments[2], F64);
+    const timeout = lowerer.lowerExprExpecting(call.arguments[3], F64);
+    return {
+        kind: "libCall",
+        fn: "atomics.wait",
+        args: [arr, idx, expected, timeout],
+        type: STRING,
+        loc,
+    };
+}
+//# sourceMappingURL=atomics.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"atomics.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/atomics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,GAAG,EAAe,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE7D;;;;;;;;;;qEAUqE;AACrE,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC7D,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,OAAO,CAAC,UAAU,CAChB,WAAW,MAAM,EAAE,EACnB,IAAI,EACJ,sFAAsF;YACpF,qGAAqG,EACvG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CACjD,CAAC;IACJ,CAAC;IACD,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,qBAAqB,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EACtD,IAAI,EACJ,wFAAwF;YACtF,4EAA4E,CAC/E,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IACnC,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACzD,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QACvD,OAAO,CAAC,UAAU,CAChB,sBAAsB,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,UAAU,EACrF,OAAO,EACP,+CAA+C,CAChD,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;IACpE,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC;QACnC,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/builtins/callable-aliases.d.ts

@@ -0,0 +1,13 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+/** Compile-time util.promisify projections. The immutable result binding
+ * owns no runtime slot: calls rewrite to the target's promise lowering,
+ * while value uses remain explicit fences. Unsupported targets report at
+ * the declaration, where their identity is still visible. */
+export declare function isPromisifyCall(lowerer: Lowerer, init: ts.Expression): ts.CallExpression | null;
+/** Immutable aliases of table-backed builtin functions. The alias is a
+ * compile-time call target, so direct calls keep the builtin's validated
+ * lowering without materializing a JavaScript function object. Value
+ * uses remain fenced until an escaping closure adapter exists. */
+export declare function registerBuiltinCallableAlias(lowerer: Lowerer, nameNode: ts.Node, init: ts.Expression | undefined): boolean;
+export declare function registerPromisifiedBuiltinDecl(lowerer: Lowerer, nameNode: ts.Node, init: ts.Expression | undefined): boolean;

package/dist/frontend/lowering/builtins/callable-aliases.js

@@ -0,0 +1,87 @@
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { isJsSourceFile } from "../../program.js";
+import { builtinModuleFnOf } from "../surfaces.js";
+import { registerHttpClientFnBinding } from "../lower-server.js";
+/** Compile-time util.promisify projections. The immutable result binding
+ * owns no runtime slot: calls rewrite to the target's promise lowering,
+ * while value uses remain explicit fences. Unsupported targets report at
+ * the declaration, where their identity is still visible. */
+export function isPromisifyCall(lowerer, init) {
+    let e = init;
+    while (ts.isParenthesizedExpression(e))
+        e = e.expression;
+    if (!ts.isCallExpression(e) || e.questionDotToken)
+        return null;
+    if (!ts.isIdentifier(e.expression))
+        return null;
+    const bi = lowerer.builtinImportOf(e.expression);
+    if (!bi || bi.module !== "util" || bi.member !== "promisify")
+        return null;
+    return e;
+}
+/** Immutable aliases of table-backed builtin functions. The alias is a
+ * compile-time call target, so direct calls keep the builtin's validated
+ * lowering without materializing a JavaScript function object. Value
+ * uses remain fenced until an escaping closure adapter exists. */
+export function registerBuiltinCallableAlias(lowerer, nameNode, init) {
+    if (!ts.isIdentifier(nameNode) || !init)
+        return false;
+    let targetExpr = init;
+    while (ts.isParenthesizedExpression(targetExpr))
+        targetExpr = targetExpr.expression;
+    if (!ts.isIdentifier(targetExpr))
+        return false;
+    const sourceSymbol = lowerer.resolveValueSymbol(targetExpr);
+    const existing = sourceSymbol ? lowerer.staticCallables.get(sourceSymbol) : undefined;
+    const target = existing?.kind === "builtin-function"
+        ? { module: existing.module, member: existing.member }
+        : lowerer.builtinImportOf(targetExpr);
+    if (!target || !builtinModuleFnOf(lowerer, target.module, target.member))
+        return false;
+    // These checked native functions retain a runtime slot in JavaScript so
+    // aliases can escape without narrowing their arguments to string.
+    if (isJsSourceFile(nameNode.getSourceFile()) &&
+        target.module === "util" &&
+        ["stripVTControlCharacters", "toUSVString", "isDeepStrictEqual", "styleText"].includes(target.member))
+        return false;
+    if (lowerer.checker.getCallSignatures(lowerer.typeOf(nameNode)).length === 0)
+        return false;
+    const symbol = lowerer.checker.getSymbolAtLocation(nameNode);
+    if (!symbol)
+        return false;
+    lowerer.staticCallables.set(symbol, {
+        kind: "builtin-function",
+        module: target.module,
+        member: target.member,
+    });
+    return true;
+}
+export function registerPromisifiedBuiltinDecl(lowerer, nameNode, init) {
+    if (!init)
+        return false;
+    // The OTHER special const-binding form this decl hook serves: the
+    // `const requestFn = tls ? https.request : http.request` client
+    // ternary (lower-server.ts's registry) — calls through it lower as
+    // the runtime-secure http client.
+    if (registerHttpClientFnBinding(lowerer, nameNode, init))
+        return true;
+    const e = isPromisifyCall(lowerer, init);
+    if (!e)
+        return false;
+    const argNode = e.arguments.length === 1 ? e.arguments[0] : null;
+    const target = argNode && ts.isIdentifier(argNode) ? lowerer.builtinImportOf(argNode) : null;
+    const projection = target?.module === "child_process" && target.member === "execFile"
+        ? { kind: "promisified-exec-file" }
+        : target?.module === "fs" && target.member === "readFile"
+            ? { kind: "promisified-builtin", module: "fs/promises", member: "readFile" }
+            : null;
+    if (!projection) {
+        lowerer.noLowering("util.promisify of this target", argNode ?? e, "child_process.execFile and fs.readFile are the supported targets");
+    }
+    const symbol = lowerer.checker.getSymbolAtLocation(nameNode);
+    if (symbol)
+        lowerer.staticCallables.set(symbol, projection);
+    return true;
+}
+//# sourceMappingURL=callable-aliases.js.map