@scriptc/compiler 0.2.3 → 0.2.5

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

@@ -0,0 +1,43 @@
+import { type IrExpr, type IrLibFn, type IrType, type SrcLoc } from "../../../ir/ir.js";
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+export declare function optionalStringTags(lowerer: Lowerer, type: IrType): {
+    stringTag: number;
+    undefinedTag: number;
+} | null;
+export declare function lowerBuiltinValuePreservingUndefined(lowerer: Lowerer, node: ts.Expression): IrExpr;
+export declare function checkedOptionalBuiltinArm(lowerer: Lowerer, value: IrExpr, target: IrType): IrExpr | null;
+export declare function lowerOptionalNumberPredicate(lowerer: Lowerer, value: IrExpr, fn: IrLibFn, loc: SrcLoc): IrExpr | null;
+/** Complete an optional builtin argument. Statically undefined spellings
+ * preserve their effects and select the default; a runtime unit-armed union
+ * uses nullish selection when every non-unit arm is the expected type. */
+export declare function lowerBuiltinOptionalDefault(lowerer: Lowerer, node: ts.Expression, expected: IrType, dflt: IrExpr, nullIsDefault?: boolean): IrExpr;
+/** Strips the type-only wrappers the require pattern rides in typed
+ * code (`require("node:os") as typeof import("node:os")` — the
+ * fallback declarations answer `unknown`, so the cast IS the idiom),
+ * plus parens, legacy assertions, and non-null suffixes. */
+export declare function stripTypeCasts(e: ts.Expression): ts.Expression;
+/** The literal `{ flag: true/false }` options shape: every property a
+ * plain assignment with an identifier name from `allowed` and a boolean
+ * LITERAL value (nothing to evaluate, so folding it away preserves JS
+ * semantics exactly). Null for anything else — spreads, computed keys,
+ * non-literal values, unknown flags. */
+/** An options object literal split into literal-boolean flags (`allowed` —
+ * these change WHICH lowering fires, so they must be spelled true/false)
+ * and expression-valued members (`exprKeys` — number options like
+ * maxRetries, lowered by the caller as ordinary expressions). Null when
+ * any other member appears. */
+export declare function literalBoolOptions(node: ts.Expression, allowed: string[], exprKeys?: string[]): {
+    bools: Record<string, boolean>;
+    exprs: Record<string, ts.Expression>;
+} | null;
+/** One member of an options object literal: a plain `name: value`
+ * assignment, or the shorthand `{ cwd }` — whose value IS the named
+ * binding (the identifier lowers like any other read). Null for spreads,
+ * computed keys, and accessors, which the callers fence. */
+export declare function optionMember(p: ts.ObjectLiteralElementLike): {
+    name: string;
+    value: ts.Expression;
+} | null;
+export declare function errorFirstBytesCallback(lowerer: Lowerer, node: ts.Expression, api: string, arrayBuffer?: boolean): IrExpr;
+export declare function lowerBuiltinByteInput(lowerer: Lowerer, node: ts.Expression, loc: SrcLoc, module: "crypto" | "zlib"): IrExpr;

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

@@ -0,0 +1,247 @@
+import { BYTES_U8, BOOL, DYN, F64, STRING, UNDEFINED_T, VOID, funcOf, isUnitType, typeEquals, typeKey, } from "../../../ir/ir.js";
+import { boolLit, varRef } from "../../../ir/build.js";
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { lowerAbsenceProbe } from "../lower-exprs.js";
+import { defaultAfterUndefined, lowerStaticallyUndefinedArgument } from "../optional-arguments.js";
+import { voidizedCallback } from "../lower-server.js";
+export function optionalStringTags(lowerer, type) {
+    if (type.kind !== "union")
+        return null;
+    const def = lowerer.unions.get(type.unionId);
+    if (!def || def.arms.length !== 2)
+        return null;
+    const stringTag = lowerer.armTag(type.unionId, STRING);
+    const undefinedTag = lowerer.armTag(type.unionId, UNDEFINED_T);
+    return stringTag >= 0 && undefinedTag >= 0 ? { stringTag, undefinedTag } : null;
+}
+export function lowerBuiltinValuePreservingUndefined(lowerer, node) {
+    return (lowerer.runtimeOptionalIdentifierValue(node)?.value ??
+        lowerAbsenceProbe(lowerer, node) ??
+        lowerer.lowerExpr(node));
+}
+export function checkedOptionalBuiltinArm(lowerer, value, target) {
+    const widened = lowerer.runtimeOptionalWidening(value.type, target);
+    if (!widened || widened.kind !== "union")
+        return null;
+    const helper = lowerer.narrowedArmHelper(widened.unionId, target, value.loc);
+    return helper
+        ? { kind: "call", callee: helper, args: [value], type: target, loc: value.loc }
+        : null;
+}
+export function lowerOptionalNumberPredicate(lowerer, value, fn, loc) {
+    // Number predicates do not coerce. In a mixed union only the numeric
+    // arm runs the predicate; every other arm answers false after evaluating
+    // the argument once. This includes the undefined added by array reads.
+    const widened = value.type;
+    if (widened.kind !== "union" && widened.kind !== "dyn")
+        return null;
+    const numberTag = widened.kind === "union" ? lowerer.armTag(widened.unionId, F64) : -1;
+    if (widened.kind === "union" && numberTag < 0)
+        return null;
+    const key = `number.optionalPredicate:${fn}:${typeKey(widened)}`;
+    let helper = lowerer.valueHelpers.get(key);
+    if (!helper) {
+        helper = `%number.optionalPredicate.${lowerer.valueHelpers.size}`;
+        lowerer.valueHelpers.set(key, helper);
+        const input = varRef("value.0", widened, loc);
+        lowerer.liftedFns.push({
+            name: helper,
+            params: [{ localId: "value.0", name: "value", type: widened }],
+            returnType: BOOL,
+            locals: [{ id: "value.0", name: "value", type: widened, mutable: false }],
+            body: [
+                {
+                    kind: "if",
+                    cond: widened.kind === "dyn"
+                        ? { kind: "dynTest", test: "number", negated: true, value: input, type: BOOL, loc }
+                        : {
+                            kind: "unionIsTag",
+                            unionId: widened.unionId,
+                            tag: numberTag,
+                            negated: true,
+                            value: input,
+                            type: BOOL,
+                            loc,
+                        },
+                    then: [{ kind: "return", value: boolLit(false, loc), loc }],
+                    else_: null,
+                    loc,
+                },
+                {
+                    kind: "return",
+                    value: {
+                        kind: "libCall",
+                        fn,
+                        args: [
+                            widened.kind === "dyn"
+                                ? { kind: "dynCheck", value: input, type: F64, loc }
+                                : {
+                                    kind: "unionNarrow",
+                                    unionId: widened.unionId,
+                                    tag: numberTag,
+                                    value: input,
+                                    type: F64,
+                                    loc,
+                                },
+                        ],
+                        type: BOOL,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
+        });
+    }
+    return { kind: "call", callee: helper, args: [value], type: BOOL, loc };
+}
+/** Complete an optional builtin argument. Statically undefined spellings
+ * preserve their effects and select the default; a runtime unit-armed union
+ * uses nullish selection when every non-unit arm is the expected type. */
+export function lowerBuiltinOptionalDefault(lowerer, node, expected, dflt, nullIsDefault = false) {
+    const undefinedArg = lowerStaticallyUndefinedArgument(lowerer, node);
+    if (undefinedArg)
+        return defaultAfterUndefined(undefinedArg, dflt);
+    if (nullIsDefault && (lowerer.typeOf(node).flags & ts.TypeFlags.Null) !== 0) {
+        return defaultAfterUndefined(lowerer.lowerExpr(node), dflt);
+    }
+    const value = lowerer.lowerExpr(node);
+    if (value.type.kind === "union") {
+        const def = lowerer.unions.get(value.type.unionId);
+        const allowed = def?.arms.every((arm) => typeEquals(arm, expected) ||
+            arm.kind === "undefinedT" ||
+            (nullIsDefault && arm.kind === "nullT"));
+        if (allowed && def.arms.some((arm) => isUnitType(arm))) {
+            return { kind: "nullish", left: value, right: dflt, type: expected, loc: value.loc };
+        }
+    }
+    return lowerer.coerceInto(node, value, expected);
+}
+/* ── node:module — createRequire's static erasure ─────────────────────
+ * The config/version-reading pattern real CLIs ship:
+ *   import { createRequire } from "node:module";
+
+ *   const require = createRequire(import.meta.url);
+ *   const pkg = require("../package.json");
+ * A compiled program's module graph is fixed at build time, so the
+ * indirection ERASES where the required specifier is a static string
+ * literal naming something the compiler already handles: a builtin (the
+ * binding is a namespace import in const clothing), a relative .json
+ * document (the file bakes and parses like JSON.parse of its text), or
+ * an installed npm package (the island's require-condition entry under
+ * --dynamic). Dynamic specifiers and other targets fence by name. */
+/** Strips the type-only wrappers the require pattern rides in typed
+ * code (`require("node:os") as typeof import("node:os")` — the
+ * fallback declarations answer `unknown`, so the cast IS the idiom),
+ * plus parens, legacy assertions, and non-null suffixes. */
+export function stripTypeCasts(e) {
+    let cur = e;
+    while (ts.isParenthesizedExpression(cur) ||
+        ts.isAsExpression(cur) ||
+        ts.isTypeAssertion(cur) ||
+        ts.isNonNullExpression(cur)) {
+        cur = cur.expression;
+    }
+    return cur;
+}
+/** The literal `{ flag: true/false }` options shape: every property a
+ * plain assignment with an identifier name from `allowed` and a boolean
+ * LITERAL value (nothing to evaluate, so folding it away preserves JS
+ * semantics exactly). Null for anything else — spreads, computed keys,
+ * non-literal values, unknown flags. */
+/** An options object literal split into literal-boolean flags (`allowed` —
+ * these change WHICH lowering fires, so they must be spelled true/false)
+ * and expression-valued members (`exprKeys` — number options like
+ * maxRetries, lowered by the caller as ordinary expressions). Null when
+ * any other member appears. */
+export function literalBoolOptions(node, allowed, exprKeys = []) {
+    if (!ts.isObjectLiteralExpression(node))
+        return null;
+    const bools = {};
+    const exprs = {};
+    for (const p of node.properties) {
+        if (!ts.isPropertyAssignment(p) || !ts.isIdentifier(p.name))
+            return null;
+        if (exprKeys.includes(p.name.text)) {
+            exprs[p.name.text] = p.initializer;
+            continue;
+        }
+        if (!allowed.includes(p.name.text))
+            return null;
+        if (p.initializer.kind === ts.SyntaxKind.TrueKeyword)
+            bools[p.name.text] = true;
+        else if (p.initializer.kind === ts.SyntaxKind.FalseKeyword)
+            bools[p.name.text] = false;
+        else
+            return null;
+    }
+    return { bools, exprs };
+}
+/** One member of an options object literal: a plain `name: value`
+ * assignment, or the shorthand `{ cwd }` — whose value IS the named
+ * binding (the identifier lowers like any other read). Null for spreads,
+ * computed keys, and accessors, which the callers fence. */
+export function optionMember(p) {
+    if (ts.isPropertyAssignment(p) && ts.isIdentifier(p.name)) {
+        return { name: p.name.text, value: p.initializer };
+    }
+    if (ts.isShorthandPropertyAssignment(p)) {
+        const shName = p.name; // shorthand names are identifiers
+        return { name: shName.text, value: shName };
+    }
+    return null;
+}
+export function errorFirstBytesCallback(lowerer, node, api, arrayBuffer = false) {
+    let callback = lowerer.lowerExpr(node);
+    if (callback.type.kind === "dyn") {
+        callback = {
+            kind: "dynCheck",
+            value: callback,
+            type: funcOf([DYN, DYN], VOID),
+            loc: locOf(node),
+        };
+    }
+    if (callback.type.kind !== "func" || callback.type.params.length > 2) {
+        lowerer.unsupported("SC1090", node, `${api} callbacks must accept at most (error, buffer)`);
+    }
+    const error = callback.type.params[0];
+    if (error !== undefined && error.kind !== "dyn") {
+        if (error.kind !== "union") {
+            lowerer.unsupported("SC1090", node, `${api} callback error parameters must be Error | null`);
+        }
+        const def = lowerer.unions.get(error.unionId);
+        const valid = !!def &&
+            def.arms.some((arm) => arm.kind === "nullT") &&
+            def.arms.some((arm) => arm.kind === "object" && arm.className === "%Error") &&
+            def.arms.every((arm) => arm.kind === "nullT" ||
+                arm.kind === "undefinedT" ||
+                (arm.kind === "object" && arm.className === "%Error"));
+        if (!valid)
+            lowerer.unsupported("SC1090", node, `${api} callback error parameters must be Error | null`);
+    }
+    const value = callback.type.params[1];
+    if (value !== undefined &&
+        value.kind !== "dyn" &&
+        (arrayBuffer || !(value.kind === "bytes" && value.elem === "u8"))) {
+        lowerer.unsupported("SC1090", node, `${api} callback result parameters must be ${arrayBuffer ? "ArrayBuffer" : "Buffer/Uint8Array"} values`);
+    }
+    return voidizedCallback(lowerer, callback, locOf(node));
+}
+export function lowerBuiltinByteInput(lowerer, node, loc, module) {
+    const value = lowerer.lowerExpr(node);
+    if (value.type.kind === "bytes" && value.type.elem === "u8")
+        return value;
+    if (value.type.kind === "string") {
+        return {
+            kind: "libCall",
+            fn: "buffer.fromStr",
+            args: [value, { kind: "strLit", value: "utf8", type: STRING, loc }],
+            type: BYTES_U8,
+            loc,
+        };
+    }
+    lowerer.noLowering(`${module} byte input of '${lowerer.fmt(value.type)}' values`, node, "string and Buffer/Uint8Array values are supported");
+}
+//# sourceMappingURL=arguments.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,IAAI,EACJ,GAAG,EACH,GAAG,EAIH,MAAM,EAEN,WAAW,EACX,IAAI,EACJ,MAAM,EACN,UAAU,EACV,UAAU,EACV,OAAO,GACR,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,gCAAgC,EAAE,MAAM,0BAA0B,CAAC;AACnG,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAY;IAEZ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC/D,OAAO,SAAS,IAAI,CAAC,IAAI,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAClF,CAAC;AACD,MAAM,UAAU,oCAAoC,CAClD,OAAgB,EAChB,IAAmB;IAEnB,OAAO,CACL,OAAO,CAAC,8BAA8B,CAAC,IAAI,CAAC,EAAE,KAAK;QACnD,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC;QAChC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CACxB,CAAC;AACJ,CAAC;AACD,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,KAAa,EACb,MAAc;IAEd,MAAM,OAAO,GAAG,OAAO,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpE,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7E,OAAO,MAAM;QACX,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE;QAC/E,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AACD,MAAM,UAAU,4BAA4B,CAC1C,OAAgB,EAChB,KAAa,EACb,EAAW,EACX,GAAW;IAEX,qEAAqE;IACrE,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;IAC3B,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,GAAG,GAAG,4BAA4B,EAAE,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;IACjE,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,6BAA6B,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAClE,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAC9C,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC9D,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACzE,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EACF,OAAO,CAAC,IAAI,KAAK,KAAK;wBACpB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBACnF,CAAC,CAAC;4BACE,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE,OAAO,CAAC,OAAO;4BACxB,GAAG,EAAE,SAAS;4BACd,OAAO,EAAE,IAAI;4BACb,KAAK,EAAE,KAAK;4BACZ,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;oBACP,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;oBAC3D,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE;wBACF,IAAI,EAAE;4BACJ,OAAO,CAAC,IAAI,KAAK,KAAK;gCACpB,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gCACpD,CAAC,CAAC;oCACE,IAAI,EAAE,aAAa;oCACnB,OAAO,EAAE,OAAO,CAAC,OAAO;oCACxB,GAAG,EAAE,SAAS;oCACd,KAAK,EAAE,KAAK;oCACZ,IAAI,EAAE,GAAG;oCACT,GAAG;iCACJ;yBACN;wBACD,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC1E,CAAC;AACD;;0EAE0E;AAC1E,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,IAAmB,EACnB,QAAgB,EAChB,IAAY,EACZ,aAAa,GAAG,KAAK;IAErB,MAAM,YAAY,GAAG,gCAAgC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACrE,IAAI,YAAY;QAAE,OAAO,qBAAqB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IACnE,IAAI,aAAa,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5E,OAAO,qBAAqB,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,GAAG,EAAE,IAAI,CAAC,KAAK,CAC7B,CAAC,GAAG,EAAE,EAAE,CACN,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC;YACzB,GAAG,CAAC,IAAI,KAAK,YAAY;YACzB,CAAC,aAAa,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAC1C,CAAC;QACF,IAAI,OAAO,IAAI,GAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACxD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;QACvF,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC;AACD;;;;;;;;;;;;qEAYqE;AAErE;;;4DAG4D;AAC5D,MAAM,UAAU,cAAc,CAAC,CAAgB;IAC7C,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,OACE,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QACjC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC;QACtB,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QACvB,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAC3B,CAAC;QACD,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IACvB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;wCAIwC;AACxC;;;;+BAI+B;AAC/B,MAAM,UAAU,kBAAkB,CAChC,IAAmB,EACnB,OAAiB,EACjB,QAAQ,GAAa,EAAE;IAEvB,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAkC,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACzE,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC;YACnC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;aAC3E,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;;YAClF,OAAO,IAAI,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED;;;4DAG4D;AAC5D,MAAM,UAAU,YAAY,CAC1B,CAA8B;IAE9B,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACrD,CAAC;IACD,IAAI,EAAE,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAqB,CAAC,CAAC,kCAAkC;QAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAmB,EACnB,GAAW,EACX,WAAW,GAAG,KAAK;IAEnB,IAAI,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACjC,QAAQ,GAAG;YACT,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,QAAQ;YACf,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC;YAC9B,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;SACjB,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrE,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,gDAAgD,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAChD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,iDAAiD,CAAC,CAAC;QAC/F,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,KAAK,GACT,CAAC,CAAC,GAAG;YACL,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC;YAC5C,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC;YAC3E,GAAG,CAAC,IAAI,CAAC,KAAK,CACZ,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,IAAI,KAAK,OAAO;gBACpB,GAAG,CAAC,IAAI,KAAK,YAAY;gBACzB,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC,CACxD,CAAC;QACJ,IAAI,CAAC,KAAK;YACR,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,iDAAiD,CAAC,CAAC;IACjG,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtC,IACE,KAAK,KAAK,SAAS;QACnB,KAAK,CAAC,IAAI,KAAK,KAAK;QACpB,CAAC,WAAW,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,EACjE,CAAC;QACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,GAAG,GAAG,uCAAuC,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,mBAAmB,SAAS,CACxG,CAAC;IACJ,CAAC;IACD,OAAO,gBAAgB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAmB,EACnB,GAAW,EACX,MAAyB;IAEzB,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC1E,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,gBAAgB;YACpB,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YACnE,IAAI,EAAE,QAAQ;YACd,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,GAAG,MAAM,mBAAmB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAC7D,IAAI,EACJ,mDAAmD,CACpD,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/builtins/async-context.d.ts

@@ -0,0 +1,52 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr, type SrcLoc } 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 declare function diagnosticsChannelNameArgument(lowerer: Lowerer, node: ts.Expression): IrExpr;
+/** 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 declare function lowerDiagnosticsSubscriber(lowerer: Lowerer, node: ts.Expression): IrExpr;
+/** 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 declare function lowerDiagnosticsChannelMethodCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** 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 declare function lowerAsyncLocalStorageMethodCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** 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 declare function lowerDiagnosticsChannelProperty(lowerer: Lowerer, access: ts.PropertyAccessExpression): IrExpr | null;
+export declare const DC_TRACE_EVENTS: readonly ["start", "end", "asyncStart", "asyncEnd", "error"];
+/** 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 declare function lowerTracingArguments(lowerer: Lowerer, args: readonly ts.Expression[], loc: SrcLoc): IrExpr;
+/** 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 declare function lowerTracingChannelMethodCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** 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 declare function lowerTracingChannelProperty(lowerer: Lowerer, access: ts.PropertyAccessExpression): IrExpr | null;
+export declare function lowerDiagnosticsChannelCall(lowerer: Lowerer, expr: ts.CallExpression, bi: {
+    module: string;
+    member: string;
+}, loc: SrcLoc): IrExpr | null;