@scriptc/compiler 0.4.6 → 0.4.8

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

@@ -12,6 +12,61 @@ export declare function recordToEnvPairs(lowerer: Lowerer, node: ts.Expression):
 /** True iff `node` is THE ambient `process.env` object itself (the
  * receiver of an env read). */
 export declare function isProcessEnv(lowerer: Lowerer, node: ts.Expression): boolean;
+/** Whether `node` is a value HELD from `process.env` through a chain of
+ * bindings: `const env = process.env`, `const alias = env`, or the
+ * destructured `const { env } = process`. Node's held value IS the
+ * environment object. Here the binding holds a snapshot record of it:
+ * MEMBER accesses (`env.X`, `env[k]`, their writes, `delete env.X`) reroute
+ * to the live table (see heldEnvValueType), and every BARE use re-snapshots
+ * the environment at that use (see lowerIdentifierExpr), so both observe
+ * the environment as Node's single object would.
+ *
+ * The ambient `process.env` itself is NOT a hold (depth === 0): it keeps
+ * its own direct lowering (envGet/envSet intrinsics, its existing snapshot
+ * when it escapes as a value), which is what Node's reads and writes see. */
+export declare function holdsEnvSnapshot(lowerer: Lowerer, node: ts.Expression | undefined, depth?: number): boolean;
+/** `a === b`, `a == b` and their negations where an operand is the
+ * environment object (denotesEnvironment). Every use of a held value reads
+ * a snapshot, so the snapshots would never be identical, while Node
+ * compares the one environment object:
+ * - two operands that both denote it compare equal, folded (neither
+ *   operand has an effect: each is a binding read or `process.env`);
+ * - one compared with a primitive, `null` or `undefined` keeps the
+ *   ordinary lowering, whose answer (never equal) is Node's;
+ * - one compared with another object is refused (heldEnvIdentityDiag).
+ * Null when no operand denotes the environment. */
+export declare function lowerEnvironmentIdentity(lowerer: Lowerer, expr: ts.BinaryExpression, loc: SrcLoc): IrExpr | null;
+/** Whether a MEMBER access (`env.X`, `env[k]`, and their writes) through a
+ * value HELD from `process.env` can go to the live environment table: the
+ * held binding's type must be exactly the env snapshot record (a pure
+ * index-signature shape whose value slot is `string | undefined`, what
+ * `process.env` maps to). Returns that value type, or null — a hold whose
+ * type differs keeps the snapshot record for reads and refuses writes (see
+ * refuseHeldEnvWrite). Member accesses alias the live table the way Node's
+ * do. A BARE use of the held value (a spread source, Object.keys, an
+ * argument, a return) is not a member access and takes a fresh snapshot of
+ * the environment at that use site (lowerIdentifierExpr). */
+export declare function heldEnvValueType(lowerer: Lowerer, receiver: ts.Expression): IrType | null;
+/** Refuse a BINDING that holds `process.env` under a type which is not the
+ * env record — `const env: Record<string, string> = process.env as any`, a
+ * fixed-field annotation, `const e: any = process.env`. Node's hold IS the
+ * environment object, so member reads through it see the live table;
+ * here the hold is a snapshot record taken at the initializer, so reads
+ * would silently observe the environment as it was then (writes are
+ * already refused — refuseHeldEnvWrite). Refuse the hold where it is
+ * created instead of letting its later reads drift. `name` is the bound
+ * identifier, `blame` the declaration the diagnostic points at. */
+export declare function refuseHeldEnvCopyHold(lowerer: Lowerer, name: ts.Identifier, blame: ts.Node): void;
+/** Refuse a write through a value HELD from `process.env` that cannot take
+ * the live path: the compound and update forms (`env.X += v`, `env.X++`)
+ * reach this wrapper, and so does any write through a hold whose type is
+ * not the env record. The held value is a snapshot record, so such a write
+ * would land on the copy while the real environment kept its old value;
+ * Node writes setenv(3) through the very same object, so a program relying
+ * on it would silently diverge. Plain `=`, computed-key and `delete` writes
+ * through the env record alias the live table instead (lower-stmts.ts,
+ * element-access.ts); `target` is the write's or delete's access node. */
+export declare function refuseHeldEnvWrite(lowerer: Lowerer, target: ts.Node): void;
 /** The interned `string | undefined` union — the type every env read
  * produces (withUndefinedArm interns [string, undefined] in canonical
  * order, so the string arm's tag is 0 and the undefined arm's is 1,

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

@@ -1,9 +1,12 @@
 import { dynUndefinedExpr } from "../../../ir/build.js";
 import * as ts from "../../ts7/adapter.js";
-import {} from "../lowerer.js";
+import { PoisonError } from "../lowerer.js";
 import { locOf } from "../../program.js";
+import { heldEnvHoldDiag, heldEnvIdentityDiag, heldEnvReassignedDiag, heldEnvWriteDiag, } from "../../../diagnostics/diagnostic.js";
+import { bindingNeverReassigned } from "../binding-analysis.js";
+import { constituentTypes } from "../../ts7/checker.js";
 import { pairsSnapshotHelper } from "../pairs-snapshot.js";
-import { DYN, STRING, VOID, arrayOf, typeEquals, } from "../../../ir/ir.js";
+import { BOOL, DYN, STRING, VOID, arrayOf, typeEquals, } from "../../../ir/ir.js";
 /** An `env` option object → the [k, v, ...] pairs array cp.execSync
  * consumes. The value must be a record (an index-signature ProcessEnv
  * snapshot — `{ ...process.env, X: y }` — or a plain string-map): its
@@ -27,6 +30,214 @@ export function recordToEnvPairs(lowerer, node) {
 export function isProcessEnv(lowerer, node) {
     return (ts.isPropertyAccessExpression(node) && lowerer.stdlibGlobalMember(node, "process") === "env");
 }
+/** Whether `node` is a value HELD from `process.env` through a chain of
+ * bindings: `const env = process.env`, `const alias = env`, or the
+ * destructured `const { env } = process`. Node's held value IS the
+ * environment object. Here the binding holds a snapshot record of it:
+ * MEMBER accesses (`env.X`, `env[k]`, their writes, `delete env.X`) reroute
+ * to the live table (see heldEnvValueType), and every BARE use re-snapshots
+ * the environment at that use (see lowerIdentifierExpr), so both observe
+ * the environment as Node's single object would.
+ *
+ * The ambient `process.env` itself is NOT a hold (depth === 0): it keeps
+ * its own direct lowering (envGet/envSet intrinsics, its existing snapshot
+ * when it escapes as a value), which is what Node's reads and writes see. */
+export function holdsEnvSnapshot(lowerer, node, depth = 0) {
+    if (node === undefined)
+        return false;
+    let inner = node;
+    for (;;) {
+        if (ts.isParenthesizedExpression(inner) ||
+            ts.isAsExpression(inner) ||
+            ts.isNonNullExpression(inner) ||
+            ts.isSatisfiesExpression(inner)) {
+            inner = inner.expression;
+            continue;
+        }
+        break;
+    }
+    // At depth 0 this IS the ambient object, not a value held from it; as a
+    // binding's initializer (depth >= 1) it is the hold's source.
+    if (isProcessEnv(lowerer, inner))
+        return depth > 0;
+    if (!ts.isIdentifier(inner) || depth >= 4)
+        return false;
+    const symbol = lowerer.checker.getSymbolAtLocation(inner);
+    const decl = symbol?.valueDeclaration ?? symbol?.declarations[0];
+    if (decl === undefined)
+        return false;
+    // `const env = process.env` (or an identifier alias of one). The symbol's
+    // value declaration is the `const` itself; the written identifier here is
+    // a different node than the declared name, so no node identity check.
+    // A binding the program reassigns holds the environment only until the
+    // reassignment, so it is not a hold (refuseHeldEnvCopyHold refuses it).
+    if (ts.isVariableDeclaration(decl)) {
+        return (holdsEnvSnapshot(lowerer, decl.initializer, depth + 1) &&
+            !reassignedBinding(lowerer, symbol, decl));
+    }
+    // `const { env } = process` (also `{ env: held }`).
+    if (ts.isBindingElement(decl) && ts.isObjectBindingPattern(decl.parent)) {
+        const declaration = decl.parent.parent;
+        const named = decl.propertyName ?? decl.name;
+        if (ts.isVariableDeclaration(declaration) &&
+            ts.isIdentifier(named) &&
+            named.text === "env" &&
+            declaration.initializer !== undefined) {
+            return (lowerer.isStdlibGlobal(declaration.initializer, "process") &&
+                !reassignedBinding(lowerer, symbol, declaration));
+        }
+    }
+    return false;
+}
+/** Whether something writes the binding after its declaration: a `let` or
+ * `var` the file assigns (bindingNeverReassigned). A `const` never is. */
+function reassignedBinding(lowerer, symbol, declaration) {
+    const list = declaration.parent;
+    if (ts.isVariableDeclarationList(list) && (list.flags & ts.NodeFlags.Const) !== 0)
+        return false;
+    return !bindingNeverReassigned(lowerer, symbol, declaration);
+}
+/** Whether an expression is the environment object to Node: the ambient
+ * `process.env` or a value held from it (holdsEnvSnapshot). */
+function denotesEnvironment(lowerer, node) {
+    return isProcessEnv(lowerer, unwrapped(node)) || holdsEnvSnapshot(lowerer, node);
+}
+function unwrapped(node) {
+    let inner = node;
+    while (ts.isParenthesizedExpression(inner) ||
+        ts.isAsExpression(inner) ||
+        ts.isNonNullExpression(inner) ||
+        ts.isSatisfiesExpression(inner))
+        inner = inner.expression;
+    return inner;
+}
+/** `a === b`, `a == b` and their negations where an operand is the
+ * environment object (denotesEnvironment). Every use of a held value reads
+ * a snapshot, so the snapshots would never be identical, while Node
+ * compares the one environment object:
+ * - two operands that both denote it compare equal, folded (neither
+ *   operand has an effect: each is a binding read or `process.env`);
+ * - one compared with a primitive, `null` or `undefined` keeps the
+ *   ordinary lowering, whose answer (never equal) is Node's;
+ * - one compared with another object is refused (heldEnvIdentityDiag).
+ * Null when no operand denotes the environment. */
+export function lowerEnvironmentIdentity(lowerer, expr, loc) {
+    const op = expr.operatorToken.kind;
+    const negated = op === ts.SyntaxKind.ExclamationEqualsEqualsToken ||
+        op === ts.SyntaxKind.ExclamationEqualsToken;
+    if (!negated &&
+        op !== ts.SyntaxKind.EqualsEqualsEqualsToken &&
+        op !== ts.SyntaxKind.EqualsEqualsToken)
+        return null;
+    const left = denotesEnvironment(lowerer, expr.left);
+    const right = denotesEnvironment(lowerer, expr.right);
+    if (!left && !right)
+        return null;
+    if (left && right)
+        return { kind: "boolLit", value: !negated, type: BOOL, loc };
+    if (isPrimitiveOperand(lowerer.typeOf(left ? expr.right : expr.left)))
+        return null;
+    lowerer.pushDiag(heldEnvIdentityDiag(loc));
+    throw new PoisonError();
+}
+/** Whether a checker type has only primitive values (`null` and `undefined`
+ * included), which are never the environment object. */
+function isPrimitiveOperand(type) {
+    if ((type.flags & ts.TypeFlags.Union) !== 0)
+        return constituentTypes(type).every(isPrimitiveOperand);
+    return ((type.flags &
+        (ts.TypeFlags.Null |
+            ts.TypeFlags.Undefined |
+            ts.TypeFlags.Void |
+            ts.TypeFlags.StringLike |
+            ts.TypeFlags.NumberLike |
+            ts.TypeFlags.BooleanLike |
+            ts.TypeFlags.BigIntLike |
+            ts.TypeFlags.ESSymbolLike)) !==
+        0);
+}
+/** The receiver expression of a write target — the assignment's or delete's
+ * access (`env.X`, `env[k]`), through any compound/update wrapping. Null for
+ * targets that write no entry of a receiver. */
+function writeTargetReceiver(node) {
+    if (ts.isBinaryExpression(node))
+        return writeTargetReceiver(node.left);
+    if (ts.isPrefixUnaryExpression(node) || ts.isPostfixUnaryExpression(node)) {
+        return writeTargetReceiver(node.operand);
+    }
+    if (ts.isPropertyAccessExpression(node) || ts.isElementAccessExpression(node)) {
+        return node.expression;
+    }
+    return null;
+}
+/** Whether a MEMBER access (`env.X`, `env[k]`, and their writes) through a
+ * value HELD from `process.env` can go to the live environment table: the
+ * held binding's type must be exactly the env snapshot record (a pure
+ * index-signature shape whose value slot is `string | undefined`, what
+ * `process.env` maps to). Returns that value type, or null — a hold whose
+ * type differs keeps the snapshot record for reads and refuses writes (see
+ * refuseHeldEnvWrite). Member accesses alias the live table the way Node's
+ * do. A BARE use of the held value (a spread source, Object.keys, an
+ * argument, a return) is not a member access and takes a fresh snapshot of
+ * the environment at that use site (lowerIdentifierExpr). */
+export function heldEnvValueType(lowerer, receiver) {
+    if (!holdsEnvSnapshot(lowerer, receiver))
+        return null;
+    return envRecordValueType(lowerer, lowerer.mapTypeOf(lowerer.typeOf(receiver)));
+}
+/** The env-record value type a hold must have to alias the live table —
+ * a pure index-signature record (no fields, not a tuple) whose value slot
+ * is the `string | undefined` union, which is what `process.env` maps to.
+ * Null for every other type. */
+function envRecordValueType(lowerer, mapped) {
+    if (mapped?.kind !== "record")
+        return null;
+    const shape = lowerer.shapes.get(mapped.shapeId);
+    if (!shape || shape.tuple || shape.fields.length > 0 || shape.indexValue === undefined)
+        return null;
+    const value = lowerer.envValueType();
+    return typeEquals(shape.indexValue, value) ? value : null;
+}
+/** Refuse a BINDING that holds `process.env` under a type which is not the
+ * env record — `const env: Record<string, string> = process.env as any`, a
+ * fixed-field annotation, `const e: any = process.env`. Node's hold IS the
+ * environment object, so member reads through it see the live table;
+ * here the hold is a snapshot record taken at the initializer, so reads
+ * would silently observe the environment as it was then (writes are
+ * already refused — refuseHeldEnvWrite). Refuse the hold where it is
+ * created instead of letting its later reads drift. `name` is the bound
+ * identifier, `blame` the declaration the diagnostic points at. */
+export function refuseHeldEnvCopyHold(lowerer, name, blame) {
+    if (ts.isVariableDeclaration(blame) &&
+        holdsEnvSnapshot(lowerer, blame.initializer, 1) &&
+        !holdsEnvSnapshot(lowerer, name)) {
+        // Initialized from process.env but reassigned later (holdsEnvSnapshot).
+        lowerer.pushDiag(heldEnvReassignedDiag(locOf(blame)));
+        throw new PoisonError();
+    }
+    if (!holdsEnvSnapshot(lowerer, name))
+        return;
+    if (envRecordValueType(lowerer, lowerer.mapTypeOf(lowerer.typeOf(name))) !== null)
+        return;
+    lowerer.pushDiag(heldEnvHoldDiag(locOf(blame)));
+    throw new PoisonError();
+}
+/** Refuse a write through a value HELD from `process.env` that cannot take
+ * the live path: the compound and update forms (`env.X += v`, `env.X++`)
+ * reach this wrapper, and so does any write through a hold whose type is
+ * not the env record. The held value is a snapshot record, so such a write
+ * would land on the copy while the real environment kept its old value;
+ * Node writes setenv(3) through the very same object, so a program relying
+ * on it would silently diverge. Plain `=`, computed-key and `delete` writes
+ * through the env record alias the live table instead (lower-stmts.ts,
+ * element-access.ts); `target` is the write's or delete's access node. */
+export function refuseHeldEnvWrite(lowerer, target) {
+    const receiver = writeTargetReceiver(target);
+    if (receiver === null || !holdsEnvSnapshot(lowerer, receiver))
+        return;
+    lowerer.pushDiag(heldEnvWriteDiag(locOf(target)));
+    throw new PoisonError();
+}
 /** The interned `string | undefined` union — the type every env read
  * produces (withUndefinedArm interns [string, undefined] in canonical
  * order, so the string arm's tag is 0 and the undefined arm's is 1,

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

@@ -1 +1 @@
-{"version":3,"file":"environment.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/environment.ts"],"names":[],"mappings":"AAAA,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,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EACL,GAAG,EAGH,MAAM,EAEN,IAAI,EACJ,OAAO,EACP,UAAU,GACX,MAAM,mBAAmB,CAAC;AAE3B;;;;;;gBAMgB;AAChB,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,IAAmB;IACpE,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,CAAC,UAAU,CAChB,qBAAqB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAClD,IAAI,EACJ,mFAAmF,CACpF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,CAAC,UAAU,CAChB,qBAAqB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAClD,IAAI,EACJ,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AAC9F,CAAC;AAED;+BAC+B;AAC/B,MAAM,UAAU,YAAY,CAAC,OAAgB,EAAE,IAAmB;IAChE,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,KAAK,CAC7F,CAAC;AACJ,CAAC;AAED;;;oBAGoB;AACpB,MAAM,UAAU,YAAY,CAAC,OAAgB;IAC3C,OAAO,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;AAC1C,CAAC;AAED;;;yDAGyD;AACzD,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAiC;IAEjC,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAW;QAClB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACrB,IAAI,EAAE,MAAM;QACZ,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;KACtB,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,YAAY,EAAE,EAAE,GAAG,EAAE,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAuB;IAC/E,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACrF,OAAO,CAAC,UAAU,CAAC,oDAAoD,EAAE,IAAI,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QAC1D,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,CAAC,IAAI,CAAC;QACZ,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;IACF,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACvD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC9C,MAAM,EAAE,gBAAgB,CAAC,GAAG,CAAC;QAC7B,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;;;0EAO0E;AAC1E,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,OAAe,EAAE,GAAW;IAC9E,OAAO,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE;QAChD,SAAS,EAAE,KAAK;QAChB,OAAO,EAAE,kBAAkB;QAC3B,YAAY,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;KAC7E,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"environment.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/environment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,WAAW,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,qBAAqB,EACrB,gBAAgB,GACjB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EACL,IAAI,EACJ,GAAG,EAGH,MAAM,EAEN,IAAI,EACJ,OAAO,EACP,UAAU,GACX,MAAM,mBAAmB,CAAC;AAE3B;;;;;;gBAMgB;AAChB,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,IAAmB;IACpE,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,CAAC,UAAU,CAChB,qBAAqB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAClD,IAAI,EACJ,mFAAmF,CACpF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,CAAC,UAAU,CAChB,qBAAqB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAClD,IAAI,EACJ,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AAC9F,CAAC;AAED;+BAC+B;AAC/B,MAAM,UAAU,YAAY,CAAC,OAAgB,EAAE,IAAmB;IAChE,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,KAAK,CAC7F,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;6EAW6E;AAC7E,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,IAA+B,EAC/B,KAAK,GAAG,CAAC;IAET,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrC,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,SAAS,CAAC;QACR,IACE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;YACnC,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC;YACxB,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC;YAC7B,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAC/B,CAAC;YACD,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC;YACzB,SAAS;QACX,CAAC;QACD,MAAM;IACR,CAAC;IACD,wEAAwE;IACxE,8DAA8D;IAC9D,IAAI,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC;QAAE,OAAO,KAAK,GAAG,CAAC,CAAC;IACnD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACxD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAG,MAAM,EAAE,gBAAgB,IAAI,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IACjE,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrC,0EAA0E;IAC1E,0EAA0E;IAC1E,sEAAsE;IACtE,uEAAuE;IACvE,wEAAwE;IACxE,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,CACL,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE,KAAK,GAAG,CAAC,CAAC;YACtD,CAAC,iBAAiB,CAAC,OAAO,EAAE,MAAO,EAAE,IAAI,CAAC,CAC3C,CAAC;IACJ,CAAC;IACD,oDAAoD;IACpD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACxE,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QACvC,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC;QAC7C,IACE,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;YACrC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;YACtB,KAAK,CAAC,IAAI,KAAK,KAAK;YACpB,WAAW,CAAC,WAAW,KAAK,SAAS,EACrC,CAAC;YACD,OAAO,CACL,OAAO,CAAC,cAAc,CAAC,WAAW,CAAC,WAAW,EAAE,SAAS,CAAC;gBAC1D,CAAC,iBAAiB,CAAC,OAAO,EAAE,MAAO,EAAE,WAAW,CAAC,CAClD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;0EAC0E;AAC1E,SAAS,iBAAiB,CACxB,OAAgB,EAChB,MAAiB,EACjB,WAAmC;IAEnC,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC;IAChC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAChG,OAAO,CAAC,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;AAC/D,CAAC;AAED;+DAC+D;AAC/D,SAAS,kBAAkB,CAAC,OAAgB,EAAE,IAAmB;IAC/D,OAAO,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,SAAS,CAAC,IAAmB;IACpC,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,OACE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;QACnC,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC;QACxB,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC;QAC7B,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAE/B,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC;IAC3B,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;mDASmD;AACnD,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAyB,EACzB,GAAW;IAEX,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;IACnC,MAAM,OAAO,GACX,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;QACjD,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC;IAC9C,IACE,CAAC,OAAO;QACR,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;QAC5C,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;QAEtC,OAAO,IAAI,CAAC;IACd,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACjC,IAAI,IAAI,IAAI,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChF,IAAI,kBAAkB,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACnF,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3C,MAAM,IAAI,WAAW,EAAE,CAAC;AAC1B,CAAC;AAED;wDACwD;AACxD,SAAS,kBAAkB,CAAC,IAAa;IACvC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACzC,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAC1D,OAAO,CACL,CAAC,IAAI,CAAC,KAAK;QACT,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI;YAChB,EAAE,CAAC,SAAS,CAAC,SAAS;YACtB,EAAE,CAAC,SAAS,CAAC,IAAI;YACjB,EAAE,CAAC,SAAS,CAAC,UAAU;YACvB,EAAE,CAAC,SAAS,CAAC,UAAU;YACvB,EAAE,CAAC,SAAS,CAAC,WAAW;YACxB,EAAE,CAAC,SAAS,CAAC,UAAU;YACvB,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAC/B,CAAC,CACF,CAAC;AACJ,CAAC;AAED;;gDAEgD;AAChD,SAAS,mBAAmB,CAAC,IAAa;IACxC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1E,OAAO,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9E,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;6DAS6D;AAC7D,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,QAAuB;IACxE,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,OAAO,kBAAkB,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAClF,CAAC;AAED;;;gCAGgC;AAChC,SAAS,kBAAkB,CAAC,OAAgB,EAAE,MAAqB;IACjE,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS;QACpF,OAAO,IAAI,CAAC;IACd,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC;IACrC,OAAO,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC;AAED;;;;;;;;mEAQmE;AACnE,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,IAAmB,EAAE,KAAc;IACzF,IACE,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAC/B,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/C,CAAC,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,EAChC,CAAC;QACD,wEAAwE;QACxE,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,IAAI,WAAW,EAAE,CAAC;IAC1B,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC;QAAE,OAAO;IAC7C,IAAI,kBAAkB,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI;QAAE,OAAO;IAC1F,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,IAAI,WAAW,EAAE,CAAC;AAC1B,CAAC;AAED;;;;;;;;0EAQ0E;AAC1E,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,MAAe;IAClE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC;QAAE,OAAO;IACtE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,IAAI,WAAW,EAAE,CAAC;AAC1B,CAAC;AAED;;;oBAGoB;AACpB,MAAM,UAAU,YAAY,CAAC,OAAgB;IAC3C,OAAO,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;AAC1C,CAAC;AAED;;;yDAGyD;AACzD,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAiC;IAEjC,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAW;QAClB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACrB,IAAI,EAAE,MAAM;QACZ,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;KACtB,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,YAAY,EAAE,EAAE,GAAG,EAAE,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAuB;IAC/E,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACrF,OAAO,CAAC,UAAU,CAAC,oDAAoD,EAAE,IAAI,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QAC1D,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,CAAC,IAAI,CAAC;QACZ,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;IACF,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACvD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC9C,MAAM,EAAE,gBAAgB,CAAC,GAAG,CAAC;QAC7B,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;;;0EAO0E;AAC1E,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,OAAe,EAAE,GAAW;IAC9E,OAAO,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE;QAChD,SAAS,EAAE,KAAK;QAChB,OAAO,EAAE,kBAAkB;QAC3B,YAAY,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;KAC7E,CAAC,CAAC;AACL,CAAC"}

package/dist/frontend/lowering/builtins/filesystem-calls.d.ts

@@ -20,6 +20,7 @@ export declare function lowerFsVectorOrTruncateCall(lowerer: Lowerer, expr: ts.C
     member: string;
 }, fn: BuiltinModuleFn, loc: SrcLoc, name: string): IrExpr;
 export declare function lowerFsNumericOpenCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;
+export declare function lowerFsOpenCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;
 export declare function lowerFsPromisesOpenCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;
 export declare function lowerFsRenameCallbackCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;
 export declare function lowerFsReadSyncCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;

package/dist/frontend/lowering/builtins/filesystem-calls.js

@@ -158,9 +158,11 @@ export function lowerFsNumericOpenCall(lowerer, expr, loc) {
         lowerer.noLowering("openSync with computed numeric flags", expr.arguments.nodes[1], "use an inline bitwise OR of fs.constants.O_RDONLY/O_WRONLY/O_RDWR/O_CREAT/O_EXCL/O_NOFOLLOW/O_NONBLOCK/O_TRUNC/O_APPEND");
     }
     const path = lowerFsPath(lowerer, expr.arguments.nodes[0]);
+    const defaultMode = { kind: "numLit", value: 0o666, type: F64, loc };
+    // Node treats an undefined creation mode as an omitted one.
     const mode = expr.arguments.nodes[2]
-        ? lowerer.lowerExprExpecting(expr.arguments.nodes[2], F64)
-        : { kind: "numLit", value: 0o666, type: F64, loc };
+        ? lowerBuiltinOptionalDefault(lowerer, expr.arguments.nodes[2], F64, defaultMode)
+        : defaultMode;
     return {
         kind: "libCall",
         fn: "fs.openNumericSync",
@@ -169,6 +171,30 @@ export function lowerFsNumericOpenCall(lowerer, expr, loc) {
         loc,
     };
 }
+// fs.openSync(path, flags[, mode]) with Node's string flags: the runtime
+// selects the O_* bits from the flag text, and mode is the creation mode
+// open(2) applies when the file is created. An omitted mode passes Node's
+// 0o666 default, so every call reaches the runtime with three arguments.
+export function lowerFsOpenCall(lowerer, expr, loc) {
+    if (expr.arguments.nodes.length < 2 ||
+        expr.arguments.nodes.length > 3 ||
+        expr.arguments.nodes.some(ts.isSpreadElement))
+        lowerer.noLowering("openSync with this argument shape", expr);
+    const mode = expr.arguments.nodes[2];
+    const defaultMode = numLit(0o666, loc);
+    return {
+        kind: "libCall",
+        fn: "fs.openSync",
+        args: [
+            lowerFsPath(lowerer, expr.arguments.nodes[0]),
+            lowerer.lowerExprExpecting(expr.arguments.nodes[1], STRING),
+            // Node treats an undefined creation mode as an omitted one.
+            mode ? lowerBuiltinOptionalDefault(lowerer, mode, F64, defaultMode) : defaultMode,
+        ],
+        type: F64,
+        loc,
+    };
+}
 // fs/promises.open(path[, flags[, mode]]) — string flags and numeric
 // creation mode, with Node's "r"/0o666 defaults. The runtime wraps
 // the descriptor in a shared FileHandle and settles/rejects exactly
@@ -738,7 +764,13 @@ export function lowerFsWriteOptionsCall(lowerer, expr, loc, promiseWriteOptions)
     const operation = promiseWriteOptions ? "fs.promises.writeFile" : "writeFileSync";
     const plainFn = promiseWriteOptions ? "fsp.writeFile" : "fs.writeFileSync";
     const modeFn = promiseWriteOptions ? "fsp.writeFileMode" : "fs.writeFileModeSync";
+    const flagsFn = promiseWriteOptions ? "fsp.writeFileFlags" : "fs.writeFileFlagsSync";
     const resultType = promiseWriteOptions ? { kind: "promise", inner: VOID } : VOID;
+    /** `flag: "w"` is the plain truncate-or-create write; `flag: "wx"` is
+     * open(2)'s O_EXCL (EEXIST when the path exists). Both are literals, so
+     * the bit is known here and carries no evaluation of its own. */
+    let exclusive = false;
+    let sawFlag = false;
     // The runtime needs only `mode`, but every source option value is an
     // ordinary JS expression. Stage path/data and then evaluate the option
     // values in object-literal order before issuing the write; otherwise a
@@ -767,19 +799,36 @@ export function lowerFsWriteOptionsCall(lowerer, expr, loc, promiseWriteOptions)
             });
             mode = varRef(modeLocal.id, modeLocal.type, loc);
         }
-        const result = {
-            kind: "libCall",
-            fn: mode ? modeFn : plainFn,
-            args: mode
-                ? [
+        const result = sawFlag
+            ? {
+                kind: "libCall",
+                fn: flagsFn,
+                args: [
                     varRef(pathLocal.id, pathLocal.type, loc),
                     varRef(dataLocal.id, dataLocal.type, loc),
-                    mode,
-                ]
-                : [varRef(pathLocal.id, pathLocal.type, loc), varRef(dataLocal.id, dataLocal.type, loc)],
-            type: resultType,
-            loc,
-        };
+                    // Node's default creation mode when only the flag is given.
+                    mode ?? { kind: "numLit", value: 0o666, type: F64, loc },
+                    { kind: "numLit", value: exclusive ? 1 : 0, type: F64, loc },
+                ],
+                type: resultType,
+                loc,
+            }
+            : {
+                kind: "libCall",
+                fn: mode ? modeFn : plainFn,
+                args: mode
+                    ? [
+                        varRef(pathLocal.id, pathLocal.type, loc),
+                        varRef(dataLocal.id, dataLocal.type, loc),
+                        mode,
+                    ]
+                    : [
+                        varRef(pathLocal.id, pathLocal.type, loc),
+                        varRef(dataLocal.id, dataLocal.type, loc),
+                    ],
+                type: resultType,
+                loc,
+            };
         return { kind: "seqExpr", stmts, result, type: resultType, loc };
     };
     // The bare-encoding spelling — writeFileSync(p, data, "utf-8") — is
@@ -822,19 +871,27 @@ export function lowerFsWriteOptionsCall(lowerer, expr, loc, promiseWriteOptions)
                 optionValues.push({ kind: "effect", value: lowerer.lowerExprExpecting(m.value, STRING) });
             }
             else if (m.name === "flag") {
-                // Documented, behavior-changing (open(2)'s disposition — 'a'
-                // IS appendFileSync), no lowering: fence by name.
-                lowerer.noLowering(`${operation} with the flag option`, p, "the write truncates-or-creates (Node's default 'w'); other flags have no lowering");
+                // Node's disposition flag changes whether an existing file is
+                // truncated: "w" is the default write, "wx" the exclusive create.
+                // Every other flag (append "a"/"as", synchronous "ws", ...) writes
+                // different bytes and keeps the fence by name.
+                const t = lowerer.typeOf(m.value);
+                if (!t.isStringLiteralType() || (t.value !== "w" && t.value !== "wx")) {
+                    lowerer.noLowering(`${operation} with the flag option`, p, 'the lowered flags are "w" (the default truncate-or-create) and "wx" (O_EXCL: EEXIST when the path exists); other flags write different bytes');
+                }
+                exclusive = t.value === "wx";
+                sawFlag = true;
+                optionValues.push({ kind: "effect", value: lowerer.lowerExprExpecting(m.value, STRING) });
             }
             else {
                 // The options-record stance: documented keys with no lowering
                 // fence by name; undocumented keys drop like Node.
-                fenceOrDropOptionKey(lowerer, p, m.name, operation, FS_WRITE_FILE_DOCUMENTED_OPTIONS, 'the supported options are { mode: <number>, encoding: "utf8" }');
+                fenceOrDropOptionKey(lowerer, p, m.name, operation, FS_WRITE_FILE_DOCUMENTED_OPTIONS, 'the supported options are { mode: <number>, encoding: "utf8", flag: "w" | "wx" }');
             }
         }
     }
     if (!ok || lowerer.mapTypeOf(lowerer.typeOf(expr.arguments.nodes[1]))?.kind !== "string") {
-        lowerer.noLowering(`${operation} with 3 arguments`, optsNode, 'the supported options are { mode: <number>, encoding: "utf8" } over string data');
+        lowerer.noLowering(`${operation} with 3 arguments`, optsNode, 'the supported options are { mode: <number>, encoding: "utf8", flag: "w" | "wx" } over string data');
     }
     return finishWrite(optionValues);
 }