@scriptc/compiler 0.4.1 → 0.4.3

package/dist/frontend/lowering/builtins/fs-paths.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";
+/** Fences URL paths that cannot convert in Node's order: the check every
+ * fs and fs.promises call runs before lowering its arguments. */
+export declare function checkFsUrlPaths(lowerer: Lowerer, call: ts.CallExpression, bi: {
+    module: string;
+    member: string;
+}): void;
+/** An fs path argument as a string: a URL converts with fileURLToPath's
+ * conversion (url.fileURLToPathUrl), which throws Node's errors for other
+ * schemes, hosts and encoded separators. */
+export declare function lowerFsPath(lowerer: Lowerer, node: ts.Expression): IrExpr;
+/** Whether `index` is a path parameter of the fs function `member`. */
+export declare function isFsPathParam(member: string, index: number): boolean;

package/dist/frontend/lowering/builtins/fs-paths.js

@@ -0,0 +1,209 @@
+/* fs path arguments given as file: URLs. Node converts a URL path with
+ * fileURLToPath inside each function (getValidatedPath), after every
+ * argument has been evaluated, and validates some arguments before the
+ * path and others after it. A URL-typed path lowers to the same
+ * conversion (url.fileURLToPathUrl). The later arguments through the last
+ * one with side effects are evaluated into hidden locals before the
+ * conversion, in source order, so they run even when it throws and each
+ * reads what it reads in Node. The conversion keeps Node's error order when every
+ * earlier path is a URL too and each argument Node validates before the
+ * path is absent or a literal that passes that validation; other URL
+ * forms fence with SC2020, as do the fs.promises functions, whose
+ * conversion errors are rejections rather than throws, and existsSync,
+ * which answers false for a URL it cannot convert. */
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { sideEffectFreeOptionValue } from "../surfaces.js";
+import { stripTypeWrappers } from "../typed-arguments.js";
+import { STRING, URL_T } from "../../../ir/ir.js";
+/** The fs functions whose path parameters accept a URL: the path
+ * parameter indexes, and whether Node validates the paths before every
+ * other argument (otherwise the options come first). */
+const FS_URL_PATHS = {
+    accessSync: { paths: [0], pathsFirst: true },
+    appendFileSync: { paths: [0], pathsFirst: false },
+    chmodSync: { paths: [0], pathsFirst: true },
+    chownSync: { paths: [0], pathsFirst: true },
+    copyFileSync: { paths: [0, 1], pathsFirst: true },
+    lchownSync: { paths: [0], pathsFirst: true },
+    lstatSync: { paths: [0], pathsFirst: true },
+    mkdirSync: { paths: [0], pathsFirst: false },
+    mkdtempSync: { paths: [0], pathsFirst: false },
+    openSync: { paths: [0], pathsFirst: true },
+    opendirSync: { paths: [0], pathsFirst: true },
+    readFileSync: { paths: [0], pathsFirst: false },
+    readdirSync: { paths: [0], pathsFirst: false },
+    realpathSync: { paths: [0], pathsFirst: false },
+    "realpathSync.native": { paths: [0], pathsFirst: false },
+    renameSync: { paths: [0, 1], pathsFirst: true },
+    rmSync: { paths: [0], pathsFirst: false },
+    rmdirSync: { paths: [0], pathsFirst: true },
+    statSync: { paths: [0], pathsFirst: true },
+    truncateSync: { paths: [0], pathsFirst: true },
+    unlinkSync: { paths: [0], pathsFirst: true },
+    writeFileSync: { paths: [0], pathsFirst: false },
+};
+/** The fs.promises functions with path parameters, by path indexes. */
+const FSP_PATHS = {
+    access: [0],
+    appendFile: [0],
+    chmod: [0],
+    chown: [0],
+    copyFile: [0, 1],
+    lchown: [0],
+    lstat: [0],
+    mkdir: [0],
+    mkdtemp: [0],
+    open: [0],
+    opendir: [0],
+    readFile: [0],
+    readdir: [0],
+    realpath: [0],
+    rename: [0, 1],
+    rm: [0],
+    rmdir: [0],
+    stat: [0],
+    truncate: [0],
+    unlink: [0],
+    writeFile: [0],
+};
+function isUrlArgument(lowerer, node) {
+    return node !== undefined && lowerer.mapTypeOf(lowerer.typeOf(node))?.kind === "url";
+}
+/** A literal that Node's option validation accepts before it reads the
+ * path: a string (the checker admits only the declared encodings, flags
+ * and type names), a boolean, an integer in [0, 2^31 - 1] (every numeric
+ * option of these functions accepts that range), undefined or null, or an
+ * object literal of those. */
+function preValidatedLiteral(node) {
+    let e = node;
+    while (ts.isParenthesizedExpression(e))
+        e = e.expression;
+    if (ts.isStringLiteralLike(e))
+        return true;
+    if (e.kind === ts.SyntaxKind.TrueKeyword ||
+        e.kind === ts.SyntaxKind.FalseKeyword ||
+        e.kind === ts.SyntaxKind.NullKeyword)
+        return true;
+    if (ts.isIdentifier(e))
+        return e.text === "undefined";
+    if (ts.isNumericLiteral(e)) {
+        const value = Number(e.text);
+        return Number.isInteger(value) && value >= 0 && value <= 2147483647;
+    }
+    if (ts.isObjectLiteralExpression(e)) {
+        return e.properties.nodes.every((p) => ts.isPropertyAssignment(p) &&
+            !ts.isComputedPropertyName(p.name) &&
+            preValidatedLiteral(p.initializer));
+    }
+    return false;
+}
+/** SC2020 when the call passes a URL path in a form whose conversion
+ * order would differ from Node's (see the file comment). */
+function checkUrlPaths(lowerer, call, module, member) {
+    const args = call.arguments.nodes;
+    const name = module === "fs/promises" ? `fs.promises.${member}` : member;
+    const hint = "convert the URL first: fileURLToPath(url) from node:url";
+    if (module === "fs/promises") {
+        if ((FSP_PATHS[member] ?? []).some((i) => isUrlArgument(lowerer, args[i])))
+            lowerer.noLowering(`${name} with a URL path`, call, hint);
+        return;
+    }
+    if (member === "existsSync" && isUrlArgument(lowerer, args[0]))
+        lowerer.noLowering(`${name} with a URL path`, call, hint);
+    const row = FS_URL_PATHS[member];
+    if (!row)
+        return;
+    const first = row.paths.find((i) => isUrlArgument(lowerer, args[i]));
+    if (first === undefined)
+        return;
+    if (args.some(ts.isSpreadElement))
+        lowerer.noLowering(`${name} with spread arguments and a URL path`, call);
+    // The runtime checks a string path after the conversion, so a string
+    // path Node checks first cannot precede the URL.
+    if (row.paths.some((i) => i < first && args[i] !== undefined))
+        lowerer.noLowering(`${name} with a string path before a URL path`, call, hint);
+    // Every argument from the URL through the last one with effects is
+    // evaluated ahead of the conversion, in source order: a later argument's
+    // effect (an assignment, say) must not change what an earlier one read.
+    let last = first;
+    for (let i = first + 1; i < args.length; i++)
+        if (!sideEffectFreeOptionValue(args[i]))
+            last = i;
+    const staged = [];
+    for (let i = first + 1; i <= last; i++) {
+        // Keyed without type-only wrappers (`satisfies`, `as`, `!`), so a
+        // lowering that reads through them finds the saved value.
+        const e = stripTypeWrappers(args[i]);
+        // Literals are read by their members, so a whole-value slot cannot
+        // hold them.
+        if (ts.isObjectLiteralExpression(e) || ts.isArrayLiteralExpression(e)) {
+            lowerer.noLowering(sideEffectFreeOptionValue(e)
+                ? `${name} with a URL path and a literal before a later argument that has effects`
+                : `${name} with a URL path and a later literal that has effects`, e, hint);
+        }
+        staged.push(e);
+    }
+    if (staged.length > 0) {
+        lowerer.stagedAfterPath.set(args[first], staged);
+        for (const e of staged)
+            lowerer.stagedArguments.set(e, null);
+    }
+    if (row.pathsFirst)
+        return;
+    // writeFileSync/appendFileSync's data is checked after the path.
+    const data = member === "writeFileSync" || member === "appendFileSync" ? 1 : -1;
+    for (let i = 0; i < args.length; i++) {
+        if (row.paths.includes(i) || i === data || preValidatedLiteral(args[i]))
+            continue;
+        lowerer.noLowering(`${name} with a URL path and options that are not literals`, args[i], hint);
+    }
+}
+/** Fences URL paths that cannot convert in Node's order: the check every
+ * fs and fs.promises call runs before lowering its arguments. */
+export function checkFsUrlPaths(lowerer, call, bi) {
+    if (bi.module === "fs" || bi.module === "fs/promises")
+        checkUrlPaths(lowerer, call, bi.module, bi.member);
+}
+/** An fs path argument as a string: a URL converts with fileURLToPath's
+ * conversion (url.fileURLToPathUrl), which throws Node's errors for other
+ * schemes, hosts and encoded separators. */
+export function lowerFsPath(lowerer, node) {
+    if (!isUrlArgument(lowerer, node))
+        return lowerer.lowerExprExpecting(node, STRING);
+    const loc = locOf(node);
+    const url = lowerer.lowerExprExpecting(node, URL_T);
+    const staged = lowerer.stagedAfterPath.get(node);
+    if (staged === undefined)
+        return { kind: "libCall", fn: "url.fileURLToPathUrl", args: [url], type: STRING, loc };
+    // The URL and the later arguments with effects, in source order, then
+    // the conversion.
+    const saved = lowerer.declareHiddenLocal("%fsUrl", URL_T);
+    const stmts = [{ kind: "varDecl", localId: saved.id, init: url, loc }];
+    for (const arg of staged) {
+        lowerer.stagedArguments.delete(arg);
+        const value = lowerer.lowerExpr(arg);
+        const slot = lowerer.declareHiddenLocal("%fsArg", value.type);
+        stmts.push({ kind: "varDecl", localId: slot.id, init: value, loc: locOf(arg) });
+        lowerer.stagedArguments.set(arg, { localId: slot.id, type: value.type });
+    }
+    return {
+        kind: "seqExpr",
+        stmts,
+        result: {
+            kind: "libCall",
+            fn: "url.fileURLToPathUrl",
+            args: [{ kind: "varRef", localId: saved.id, type: URL_T, loc }],
+            type: STRING,
+            loc,
+        },
+        type: STRING,
+        loc,
+    };
+}
+/** Whether `index` is a path parameter of the fs function `member`. */
+export function isFsPathParam(member, index) {
+    return FS_URL_PATHS[member]?.paths.includes(index) === true;
+}
+//# sourceMappingURL=fs-paths.js.map

package/dist/frontend/lowering/builtins/fs-paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fs-paths.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/fs-paths.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;sDAYsD;AACtD,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAA4B,MAAM,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE5E;;wDAEwD;AACxD,MAAM,YAAY,GAEd;IACF,UAAU,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;IAC5C,cAAc,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;IACjD,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;IAC3C,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;IAC3C,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;IACjD,UAAU,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;IAC5C,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;IAC3C,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;IAC5C,WAAW,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;IAC9C,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;IAC1C,WAAW,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;IAC7C,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;IAC/C,WAAW,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;IAC9C,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;IAC/C,qBAAqB,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;IACxD,UAAU,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;IAC/C,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;IACzC,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;IAC3C,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;IAC1C,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;IAC9C,UAAU,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;IAC5C,aAAa,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;CACjD,CAAC;AAEF,uEAAuE;AACvE,MAAM,SAAS,GAAgD;IAC7D,MAAM,EAAE,CAAC,CAAC,CAAC;IACX,UAAU,EAAE,CAAC,CAAC,CAAC;IACf,KAAK,EAAE,CAAC,CAAC,CAAC;IACV,KAAK,EAAE,CAAC,CAAC,CAAC;IACV,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAChB,MAAM,EAAE,CAAC,CAAC,CAAC;IACX,KAAK,EAAE,CAAC,CAAC,CAAC;IACV,KAAK,EAAE,CAAC,CAAC,CAAC;IACV,OAAO,EAAE,CAAC,CAAC,CAAC;IACZ,IAAI,EAAE,CAAC,CAAC,CAAC;IACT,OAAO,EAAE,CAAC,CAAC,CAAC;IACZ,QAAQ,EAAE,CAAC,CAAC,CAAC;IACb,OAAO,EAAE,CAAC,CAAC,CAAC;IACZ,QAAQ,EAAE,CAAC,CAAC,CAAC;IACb,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACd,EAAE,EAAE,CAAC,CAAC,CAAC;IACP,KAAK,EAAE,CAAC,CAAC,CAAC;IACV,IAAI,EAAE,CAAC,CAAC,CAAC;IACT,QAAQ,EAAE,CAAC,CAAC,CAAC;IACb,MAAM,EAAE,CAAC,CAAC,CAAC;IACX,SAAS,EAAE,CAAC,CAAC,CAAC;CACf,CAAC;AAEF,SAAS,aAAa,CAAC,OAAgB,EAAE,IAA+B;IACtE,OAAO,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK,CAAC;AACvF,CAAC;AAED;;;;8BAI8B;AAC9B,SAAS,mBAAmB,CAAC,IAAmB;IAC9C,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,IACE,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACpC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QACrC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAEpC,OAAO,IAAI,CAAC;IACd,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;IACtD,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7B,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,UAAU,CAAC;IACtE,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,OAAO,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAC7B,CAAC,CAAC,EAAE,EAAE,CACJ,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;YAC1B,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC;YAClC,mBAAmB,CAAC,CAAC,CAAC,WAAW,CAAC,CACrC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;4DAC4D;AAC5D,SAAS,aAAa,CACpB,OAAgB,EAChB,IAAuB,EACvB,MAAc,EACd,MAAc;IAEd,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;IAClC,MAAM,IAAI,GAAG,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,eAAe,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IACzE,MAAM,IAAI,GAAG,yDAAyD,CAAC;IACvE,IAAI,MAAM,KAAK,aAAa,EAAE,CAAC;QAC7B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACxE,OAAO,CAAC,UAAU,CAAC,GAAG,IAAI,kBAAkB,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5D,OAAO;IACT,CAAC;IACD,IAAI,MAAM,KAAK,YAAY,IAAI,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5D,OAAO,CAAC,UAAU,CAAC,GAAG,IAAI,kBAAkB,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5D,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACjC,IAAI,CAAC,GAAG;QAAE,OAAO;IACjB,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAC/B,OAAO,CAAC,UAAU,CAAC,GAAG,IAAI,uCAAuC,EAAE,IAAI,CAAC,CAAC;IAC3E,qEAAqE;IACrE,iDAAiD;IACjD,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;QAC3D,OAAO,CAAC,UAAU,CAAC,GAAG,IAAI,uCAAuC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjF,mEAAmE;IACnE,yEAAyE;IACzE,wEAAwE;IACxE,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;YAAE,IAAI,GAAG,CAAC,CAAC;IACjG,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,kEAAkE;QAClE,0DAA0D;QAC1D,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;QACtC,mEAAmE;QACnE,aAAa;QACb,IAAI,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,OAAO,CAAC,UAAU,CAChB,yBAAyB,CAAC,CAAC,CAAC;gBAC1B,CAAC,CAAC,GAAG,IAAI,yEAAyE;gBAClF,CAAC,CAAC,GAAG,IAAI,uDAAuD,EAClE,CAAC,EACD,IAAI,CACL,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAE,EAAE,MAAM,CAAC,CAAC;QAClD,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,GAAG,CAAC,UAAU;QAAE,OAAO;IAC3B,iEAAiE;IACjE,MAAM,IAAI,GAAG,MAAM,KAAK,eAAe,IAAI,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;YAAE,SAAS;QACnF,OAAO,CAAC,UAAU,CAAC,GAAG,IAAI,oDAAoD,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC;IAClG,CAAC;AACH,CAAC;AAED;iEACiE;AACjE,MAAM,UAAU,eAAe,CAC7B,OAAgB,EAChB,IAAuB,EACvB,EAAsC;IAEtC,IAAI,EAAE,CAAC,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC,MAAM,KAAK,aAAa;QACnD,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;AACvD,CAAC;AAED;;4CAE4C;AAC5C,MAAM,UAAU,WAAW,CAAC,OAAgB,EAAE,IAAmB;IAC/D,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACnF,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,SAAS;QACtB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,sBAAsB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACzF,sEAAsE;IACtE,kBAAkB;IAClB,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAa,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACjF,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChF,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK;QACL,MAAM,EAAE;YACN,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,sBAAsB;YAC1B,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YAC/D,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ;QACD,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,KAAa;IACzD,OAAO,YAAY,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;AAC9D,CAAC"}

package/dist/frontend/lowering/builtins/global-namespace-keys.d.ts

@@ -0,0 +1,3 @@
+/** Whether Node answers `key in <name>` with true, or null when `name` is
+ * not a tabled global. */
+export declare function builtinGlobalHasKey(name: string, key: string): boolean | null;

package/dist/frontend/lowering/builtins/global-namespace-keys.js

@@ -0,0 +1,122 @@
+/* The string-keyed properties Node 24 exposes on its builtin constructor
+ * and namespace globals, own and inherited, so `"key" in Error` (a feature
+ * probe such as `"captureStackTrace" in Error`) answers statically. The
+ * global must be the unshadowed builtin; compiled programs cannot add
+ * properties to these objects, so the answer is fixed. */
+const FUNCTION_PROTOTYPE = [
+    "length",
+    "name",
+    "arguments",
+    "caller",
+    "constructor",
+    "apply",
+    "bind",
+    "call",
+    "toString",
+];
+const OBJECT_PROTOTYPE = [
+    "constructor",
+    "__defineGetter__",
+    "__defineSetter__",
+    "hasOwnProperty",
+    "__lookupGetter__",
+    "__lookupSetter__",
+    "isPrototypeOf",
+    "propertyIsEnumerable",
+    "toString",
+    "valueOf",
+    "__proto__",
+    "toLocaleString",
+];
+const CONSTRUCTOR_OWN = ["length", "name", "prototype"];
+const ERROR_OWN = [
+    ...CONSTRUCTOR_OWN,
+    "captureStackTrace",
+    "prepareStackTrace",
+    "isError",
+    "stackTraceLimit",
+];
+/** Own string keys per global, beyond what the prototype chain adds. */
+const CONSTRUCTORS = {
+    Error: ERROR_OWN,
+    // The native error constructors inherit from Error.
+    TypeError: ERROR_OWN,
+    RangeError: ERROR_OWN,
+    SyntaxError: ERROR_OWN,
+    ReferenceError: ERROR_OWN,
+    EvalError: ERROR_OWN,
+    URIError: ERROR_OWN,
+    Object: [
+        ...CONSTRUCTOR_OWN,
+        "assign",
+        "getOwnPropertyDescriptor",
+        "getOwnPropertyDescriptors",
+        "getOwnPropertyNames",
+        "getOwnPropertySymbols",
+        "hasOwn",
+        "is",
+        "preventExtensions",
+        "seal",
+        "create",
+        "defineProperties",
+        "defineProperty",
+        "freeze",
+        "getPrototypeOf",
+        "setPrototypeOf",
+        "isExtensible",
+        "isFrozen",
+        "isSealed",
+        "keys",
+        "entries",
+        "fromEntries",
+        "values",
+        "groupBy",
+    ],
+    Array: [...CONSTRUCTOR_OWN, "isArray", "from", "fromAsync", "of"],
+    Promise: [
+        ...CONSTRUCTOR_OWN,
+        "all",
+        "allSettled",
+        "any",
+        "race",
+        "resolve",
+        "reject",
+        "withResolvers",
+        "try",
+    ],
+    Number: [
+        ...CONSTRUCTOR_OWN,
+        "isFinite",
+        "isInteger",
+        "isNaN",
+        "isSafeInteger",
+        "parseFloat",
+        "parseInt",
+        "MAX_VALUE",
+        "MIN_VALUE",
+        "NaN",
+        "NEGATIVE_INFINITY",
+        "POSITIVE_INFINITY",
+        "MAX_SAFE_INTEGER",
+        "MIN_SAFE_INTEGER",
+        "EPSILON",
+    ],
+    String: [...CONSTRUCTOR_OWN, "fromCharCode", "fromCodePoint", "raw"],
+    Map: [...CONSTRUCTOR_OWN, "groupBy"],
+    Set: CONSTRUCTOR_OWN,
+    WeakMap: CONSTRUCTOR_OWN,
+    WeakSet: CONSTRUCTOR_OWN,
+    Boolean: CONSTRUCTOR_OWN,
+    Function: CONSTRUCTOR_OWN,
+    Date: [...CONSTRUCTOR_OWN, "now", "parse", "UTC"],
+    BigInt: [...CONSTRUCTOR_OWN, "asUintN", "asIntN"],
+};
+/** Whether Node answers `key in <name>` with true, or null when `name` is
+ * not a tabled global. */
+export function builtinGlobalHasKey(name, key) {
+    const own = CONSTRUCTORS[name];
+    if (own === undefined)
+        return null;
+    return own.includes(key) || FUNCTION_PROTOTYPE.includes(key) || OBJECT_PROTOTYPE.includes(key);
+}
+//# sourceMappingURL=global-namespace-keys.js.map

package/dist/frontend/lowering/builtins/global-namespace-keys.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"global-namespace-keys.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/global-namespace-keys.ts"],"names":[],"mappings":"AAAA;;;;0DAI0D;AAE1D,MAAM,kBAAkB,GAAG;IACzB,QAAQ;IACR,MAAM;IACN,WAAW;IACX,QAAQ;IACR,aAAa;IACb,OAAO;IACP,MAAM;IACN,MAAM;IACN,UAAU;CACX,CAAC;AACF,MAAM,gBAAgB,GAAG;IACvB,aAAa;IACb,kBAAkB;IAClB,kBAAkB;IAClB,gBAAgB;IAChB,kBAAkB;IAClB,kBAAkB;IAClB,eAAe;IACf,sBAAsB;IACtB,UAAU;IACV,SAAS;IACT,WAAW;IACX,gBAAgB;CACjB,CAAC;AACF,MAAM,eAAe,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;AACxD,MAAM,SAAS,GAAG;IAChB,GAAG,eAAe;IAClB,mBAAmB;IACnB,mBAAmB;IACnB,SAAS;IACT,iBAAiB;CAClB,CAAC;AAEF,wEAAwE;AACxE,MAAM,YAAY,GAAgD;IAChE,KAAK,EAAE,SAAS;IAChB,oDAAoD;IACpD,SAAS,EAAE,SAAS;IACpB,UAAU,EAAE,SAAS;IACrB,WAAW,EAAE,SAAS;IACtB,cAAc,EAAE,SAAS;IACzB,SAAS,EAAE,SAAS;IACpB,QAAQ,EAAE,SAAS;IACnB,MAAM,EAAE;QACN,GAAG,eAAe;QAClB,QAAQ;QACR,0BAA0B;QAC1B,2BAA2B;QAC3B,qBAAqB;QACrB,uBAAuB;QACvB,QAAQ;QACR,IAAI;QACJ,mBAAmB;QACnB,MAAM;QACN,QAAQ;QACR,kBAAkB;QAClB,gBAAgB;QAChB,QAAQ;QACR,gBAAgB;QAChB,gBAAgB;QAChB,cAAc;QACd,UAAU;QACV,UAAU;QACV,MAAM;QACN,SAAS;QACT,aAAa;QACb,QAAQ;QACR,SAAS;KACV;IACD,KAAK,EAAE,CAAC,GAAG,eAAe,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC;IACjE,OAAO,EAAE;QACP,GAAG,eAAe;QAClB,KAAK;QACL,YAAY;QACZ,KAAK;QACL,MAAM;QACN,SAAS;QACT,QAAQ;QACR,eAAe;QACf,KAAK;KACN;IACD,MAAM,EAAE;QACN,GAAG,eAAe;QAClB,UAAU;QACV,WAAW;QACX,OAAO;QACP,eAAe;QACf,YAAY;QACZ,UAAU;QACV,WAAW;QACX,WAAW;QACX,KAAK;QACL,mBAAmB;QACnB,mBAAmB;QACnB,kBAAkB;QAClB,kBAAkB;QAClB,SAAS;KACV;IACD,MAAM,EAAE,CAAC,GAAG,eAAe,EAAE,cAAc,EAAE,eAAe,EAAE,KAAK,CAAC;IACpE,GAAG,EAAE,CAAC,GAAG,eAAe,EAAE,SAAS,CAAC;IACpC,GAAG,EAAE,eAAe;IACpB,OAAO,EAAE,eAAe;IACxB,OAAO,EAAE,eAAe;IACxB,OAAO,EAAE,eAAe;IACxB,QAAQ,EAAE,eAAe;IACzB,IAAI,EAAE,CAAC,GAAG,eAAe,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC;IACjD,MAAM,EAAE,CAAC,GAAG,eAAe,EAAE,SAAS,EAAE,QAAQ,CAAC;CAClD,CAAC;AAEF;0BAC0B;AAC1B,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,GAAW;IAC3D,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,kBAAkB,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AACjG,CAAC"}

package/dist/frontend/lowering/builtins/hash-stream.d.ts

@@ -1,12 +1,24 @@
 import * as ts from "../../ts7/adapter.js";
 import { type Lowerer } from "../lowerer.js";
-import { type IrExpr, type IrType } from "../../../ir/ir.js";
+import { type IrExpr, type IrStmt, type IrType } from "../../../ir/ir.js";
 export declare function isHashValueType(type: IrType | null | undefined): boolean;
+/** Whether `node` evaluates to a Hash, Hmac, Cipheriv or Decipheriv. */
+export declare function isValueStream(lowerer: Lowerer, node: ts.Expression): boolean;
 /** The Transform of a lowered Hash or Hmac value (+1). A pipe
  * destination or pipeline stage (`piped`) also keeps the value alive
  * until its stream flushes or is destroyed. */
 export declare function hashStreamOf(value: IrExpr, piped?: boolean): IrExpr;
-/** A stream member called on a Hash or Hmac (`hash.write(chunk)`,
- * `hash.on("data", cb)`, `hash.setEncoding("hex")`). Members that answer
- * the stream (`this`) answer the Hash itself. */
+/** The Transform of a lowered Hash, Hmac, Cipheriv or Decipheriv value
+ * (+1), with hashStreamOf's `piped` (a cipher's stream always holds its
+ * cipher). */
+export declare function valueStreamOf(value: IrExpr, piped?: boolean): IrExpr;
+/** A stream member called on a Hash, Hmac, Cipheriv or Decipheriv
+ * (`hash.write(chunk)`, `cipher.on("data", cb)`, `hash.setEncoding("hex")`).
+ * Members that answer the stream (`this`) answer the value itself. */
 export declare function lowerHashStreamCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** A stream property read on a Hash, Hmac, Cipheriv or Decipheriv
+ * (`cipher.destroyed`, `hash.readableEnded`). */
+export declare function lowerValueStreamProperty(lowerer: Lowerer, expr: ts.PropertyAccessExpression): IrExpr | null;
+/** `for await (const chunk of value)` over a Hash, Hmac, Cipheriv or
+ * Decipheriv: the loop iterates the value's Transform. */
+export declare function lowerForAwaitValueStream(lowerer: Lowerer, stmt: ts.ForOfStatement, lowerLoop: () => IrStmt | null): IrStmt | null;

package/dist/frontend/lowering/builtins/hash-stream.js

@@ -3,19 +3,28 @@ import {} from "../lowerer.js";
 import { locOf } from "../../program.js";
 import { varRef } from "../../../ir/build.js";
 import {} from "../../../ir/ir.js";
+import { withStreamReceiver } from "../dyn-streams.js";
 import { EMITTER_API_MEMBERS } from "../lower-classes.js";
 import { lowerEmitterMethodCall } from "../lower-event-emitter.js";
-import { STREAM_API_MEMBERS, STREAM_OPERATORS, lowerStreamMethodCall } from "../lower-stream.js";
-/* node:crypto's Hash and Hmac are Transforms: a value written, read,
- * listened to, or piped as a stream reads and writes through its own
- * native Transform (scr_stream.c), created on first use. update() and
- * digest() keep the value's static lowering; the stream members lower
- * through the stream and emitter spokes over that Transform. */
+import { STREAM_API_MEMBERS, STREAM_OPERATORS, lowerStreamMethodCall, lowerStreamProperty, } from "../lower-stream.js";
+import { isCipherType } from "./crypto.js";
+/* node:crypto's Hash, Hmac, Cipheriv and Decipheriv are Transforms: a
+ * value written, read, listened to, or piped as a stream reads and writes
+ * through its own native Transform, which scr_stream.c creates on first
+ * use. update(), digest() and final() keep the value's own lowering; the
+ * stream members lower through the stream and emitter spokes over that
+ * Transform. A Hash or Hmac is known by its IR type; a cipher is a
+ * checked-dynamic handle and is known by its checker type. */
 const TRANSFORM_CLASS = "%Transform";
 const TRANSFORM = { kind: "object", className: TRANSFORM_CLASS };
 export function isHashValueType(type) {
     return type?.kind === "cryptoHash" || type?.kind === "cryptoHmac";
 }
+/** Whether `node` evaluates to a Hash, Hmac, Cipheriv or Decipheriv. */
+export function isValueStream(lowerer, node) {
+    const type = lowerer.typeOf(node);
+    return isHashValueType(lowerer.mapTypeOf(type)) || isCipherType(lowerer, type);
+}
 /** The Transform of a lowered Hash or Hmac value (+1). A pipe
  * destination or pipeline stage (`piped`) also keeps the value alive
  * until its stream flushes or is destroyed. */
@@ -28,9 +37,28 @@ export function hashStreamOf(value, piped = false) {
         loc: value.loc,
     };
 }
-/** A stream member called on a Hash or Hmac (`hash.write(chunk)`,
- * `hash.on("data", cb)`, `hash.setEncoding("hex")`). Members that answer
- * the stream (`this`) answer the Hash itself. */
+/** The Transform of a lowered Hash, Hmac, Cipheriv or Decipheriv value
+ * (+1), with hashStreamOf's `piped` (a cipher's stream always holds its
+ * cipher). */
+export function valueStreamOf(value, piped = false) {
+    if (isHashValueType(value.type))
+        return hashStreamOf(value, piped);
+    // A value already lowered as its stream (addAbortSignal answers the
+    // Transform it was given, which its generic signature types as the
+    // cipher).
+    if (value.type.kind === "object")
+        return value;
+    return {
+        kind: "libCall",
+        fn: "stream.handleStream",
+        args: [value],
+        type: TRANSFORM,
+        loc: value.loc,
+    };
+}
+/** A stream member called on a Hash, Hmac, Cipheriv or Decipheriv
+ * (`hash.write(chunk)`, `cipher.on("data", cb)`, `hash.setEncoding("hex")`).
+ * Members that answer the stream (`this`) answer the value itself. */
 export function lowerHashStreamCall(lowerer, call, access) {
     if (call.questionDotToken || access.questionDotToken)
         return null;
@@ -38,43 +66,78 @@ export function lowerHashStreamCall(lowerer, call, access) {
     const streamMember = STREAM_API_MEMBERS.has(name) || STREAM_OPERATORS.has(name);
     if (!streamMember && !EMITTER_API_MEMBERS.has(name))
         return null;
-    if (!isHashValueType(lowerer.mapTypeOf(lowerer.typeOf(access.expression))))
+    if (!isValueStream(lowerer, access.expression))
         return null;
     const info = lowerer.classes.get(TRANSFORM_CLASS);
     if (!info)
         return null;
-    const loc = locOf(call);
-    const hash = lowerer.lowerExpr(access.expression);
-    const local = lowerer.declareHiddenLocal("%hash", hash.type);
-    // The spokes lower the receiver to the value's Transform.
-    lowerer.hashStreamReceivers.set(access.expression, { localId: local.id, type: hash.type });
+    // pipe(dest) answers its destination, which may be a Transform too;
+    // the other members typed as the Transform answer `this`
+    const answersThis = name !== "pipe";
+    return withValueStreamReceiver(lowerer, access.expression, locOf(call), answersThis, () => streamMember
+        ? lowerStreamMethodCall(lowerer, call, access, info)
+        : lowerEmitterMethodCall(lowerer, call, access, info));
+}
+/** A stream property read on a Hash, Hmac, Cipheriv or Decipheriv
+ * (`cipher.destroyed`, `hash.readableEnded`). */
+export function lowerValueStreamProperty(lowerer, expr) {
+    if (expr.questionDotToken || !isValueStream(lowerer, expr.expression))
+        return null;
+    const info = lowerer.classes.get(TRANSFORM_CLASS);
+    if (!info)
+        return null;
+    return withValueStreamReceiver(lowerer, expr.expression, locOf(expr), true, () => lowerStreamProperty(lowerer, expr, info));
+}
+/** Evaluates the value `receiver` names once into a hidden local and runs
+ * `lower` with the receiver lowering to that value's Transform. When
+ * `answersThis`, a result typed as the Transform (the member answered
+ * `this`) answers the value itself. */
+function withValueStreamReceiver(lowerer, receiver, loc, answersThis, lower) {
+    const value = lowerer.lowerExpr(receiver);
+    const local = lowerer.declareHiddenLocal("%streamValue", value.type);
+    lowerer.valueStreamReceivers.set(receiver, { localId: local.id, type: value.type });
     let lowered;
     try {
-        lowered = streamMember
-            ? lowerStreamMethodCall(lowerer, call, access, info)
-            : lowerEmitterMethodCall(lowerer, call, access, info);
+        lowered = lower();
     }
     finally {
-        lowerer.hashStreamReceivers.delete(access.expression);
+        lowerer.valueStreamReceivers.delete(receiver);
     }
     if (!lowered)
         return null;
-    const answersStream = lowered.type.kind === "object" && lowered.type.className === TRANSFORM_CLASS;
+    const answersStream = answersThis && lowered.type.kind === "object" && lowered.type.className === TRANSFORM_CLASS;
     const result = answersStream
         ? {
             kind: "seqExpr",
             stmts: [{ kind: "exprStmt", expr: lowered, loc }],
-            result: varRef(local.id, hash.type, loc),
-            type: hash.type,
+            result: varRef(local.id, value.type, loc),
+            type: value.type,
             loc,
         }
         : lowered;
     return {
         kind: "seqExpr",
-        stmts: [{ kind: "varDecl", localId: local.id, init: hash, loc }],
+        stmts: [{ kind: "varDecl", localId: local.id, init: value, loc }],
         result,
         type: result.type,
         loc,
     };
 }
+/** `for await (const chunk of value)` over a Hash, Hmac, Cipheriv or
+ * Decipheriv: the loop iterates the value's Transform. */
+export function lowerForAwaitValueStream(lowerer, stmt, lowerLoop) {
+    if (!isValueStream(lowerer, stmt.expression))
+        return null;
+    const loc = locOf(stmt.expression);
+    const local = lowerer.declareHiddenLocal("%streamIterated", TRANSFORM);
+    const init = valueStreamOf(lowerer.lowerExpr(stmt.expression));
+    const loop = withStreamReceiver(lowerer, stmt.expression, varRef(local.id, TRANSFORM, loc), TRANSFORM, lowerLoop);
+    if (loop === null)
+        return null;
+    return {
+        kind: "block",
+        body: [{ kind: "varDecl", localId: local.id, init, loc }, loop],
+        loc: locOf(stmt),
+    };
+}
 //# sourceMappingURL=hash-stream.js.map

package/dist/frontend/lowering/builtins/hash-stream.js.map

@@ -1 +1 @@
-{"version":3,"file":"hash-stream.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/hash-stream.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,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAA4B,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAEjG;;;;gEAIgE;AAEhE,MAAM,eAAe,GAAG,YAAY,CAAC;AACrC,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC;AAEzE,MAAM,UAAU,eAAe,CAAC,IAA+B;IAC7D,OAAO,IAAI,EAAE,IAAI,KAAK,YAAY,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC;AACpE,CAAC;AAED;;+CAE+C;AAC/C,MAAM,UAAU,YAAY,CAAC,KAAa,EAAE,KAAK,GAAG,KAAK;IACvD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,mBAAmB;QAC1D,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,IAAI,EAAE,SAAS;QACf,GAAG,EAAE,KAAK,CAAC,GAAG;KACf,CAAC;AACJ,CAAC;AAED;;iDAEiD;AACjD,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChF,IAAI,CAAC,YAAY,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACxF,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAClD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,0DAA0D;IAC1D,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3F,IAAI,OAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,OAAO,GAAG,YAAY;YACpB,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC;YACpD,CAAC,CAAC,sBAAsB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC1D,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,aAAa,GACjB,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,SAAS,KAAK,eAAe,CAAC;IAC/E,MAAM,MAAM,GAAW,aAAa;QAClC,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YACjD,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;YACxC,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,GAAG;SACJ;QACH,CAAC,CAAC,OAAO,CAAC;IACZ,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAChE,MAAM;QACN,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"hash-stream.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/hash-stream.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEzC,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAyC,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C;;;;;;8DAM8D;AAE9D,MAAM,eAAe,GAAG,YAAY,CAAC;AACrC,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC;AAEzE,MAAM,UAAU,eAAe,CAAC,IAA+B;IAC7D,OAAO,IAAI,EAAE,IAAI,KAAK,YAAY,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC;AACpE,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,aAAa,CAAC,OAAgB,EAAE,IAAmB;IACjE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClC,OAAO,eAAe,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AACjF,CAAC;AAED;;+CAE+C;AAC/C,MAAM,UAAU,YAAY,CAAC,KAAa,EAAE,KAAK,GAAG,KAAK;IACvD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,mBAAmB;QAC1D,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,IAAI,EAAE,SAAS;QACf,GAAG,EAAE,KAAK,CAAC,GAAG;KACf,CAAC;AACJ,CAAC;AAED;;cAEc;AACd,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,KAAK,GAAG,KAAK;IACxD,IAAI,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACnE,oEAAoE;IACpE,mEAAmE;IACnE,WAAW;IACX,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC/C,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,IAAI,EAAE,SAAS;QACf,GAAG,EAAE,KAAK,CAAC,GAAG;KACf,CAAC;AACJ,CAAC;AAED;;sEAEsE;AACtE,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChF,IAAI,CAAC,YAAY,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAClD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,oEAAoE;IACpE,yDAAyD;IACzD,MAAM,WAAW,GAAG,IAAI,KAAK,MAAM,CAAC;IACpC,OAAO,uBAAuB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,CACxF,YAAY;QACV,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC;QACpD,CAAC,CAAC,sBAAsB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CACxD,CAAC;AACJ,CAAC;AAED;iDACiD;AACjD,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAiC;IAEjC,IAAI,IAAI,CAAC,gBAAgB,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACnF,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAClD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAC/E,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CACzC,CAAC;AACJ,CAAC;AAED;;;uCAGuC;AACvC,SAAS,uBAAuB,CAC9B,OAAgB,EAChB,QAAuB,EACvB,GAAW,EACX,WAAoB,EACpB,KAA0B;IAE1B,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,cAAc,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACrE,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACpF,IAAI,OAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,OAAO,GAAG,KAAK,EAAE,CAAC;IACpB,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,aAAa,GACjB,WAAW,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,SAAS,KAAK,eAAe,CAAC;IAC9F,MAAM,MAAM,GAAW,aAAa;QAClC,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YACjD,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;YACzC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,GAAG;SACJ;QACH,CAAC,CAAC,OAAO,CAAC;IACZ,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACjE,MAAM;QACN,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;0DAC0D;AAC1D,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAuB,EACvB,SAA8B;IAE9B,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,kBAAkB,CAC7B,OAAO,EACP,IAAI,CAAC,UAAU,EACf,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,EAChC,SAAS,EACT,SAAS,CACV,CAAC;IACF,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,OAAO;QACL,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC;QAC/D,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;KACjB,CAAC;AACJ,CAAC"}

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

@@ -1,3 +1,4 @@
+import { keyedHelperName } from "../stable-names.js";
 import { isDateJsonSource } from "./dates.js";
 import { dynUndefinedExpr, varRef } from "../../../ir/build.js";
 import { InternalCompilerError } from "../../../errors.js";
@@ -198,7 +199,7 @@ function lowerOptionalStringifyRoot(lowerer, value, indent, loc) {
     const key = `json.optionalString:${value.type.unionId}:${JSON.stringify(indent)}`;
     let helper = lowerer.valueHelpers.get(key);
     if (!helper) {
-        helper = `%json.optionalString.${lowerer.valueHelpers.size}`;
+        helper = keyedHelperName(lowerer, "%json.optionalString", key);
         lowerer.valueHelpers.set(key, helper);
         const input = varRef("value.0", value.type, loc);
         const serialized = {