@scriptc/compiler 0.4.6 → 0.4.7

package/dist/frontend/lowering/record-sources.js

@@ -1,4 +1,5 @@
 import { BOOL, DYN, recordTextCodecClass, shapeHasAccessorSlots } from "../../ir/ir.js";
+import { everyStmtList } from "../../ir/traverse.js";
 import { varRef } from "../../ir/build.js";
 import { isPerfEntryType } from "./builtins/performance.js";
 /** Closed declared-field layouts with an ordinary data surface: the targets
@@ -19,6 +20,65 @@ export function recordMayKeepSource(lowerer, t) {
 export function recordSourceTest(value, loc) {
     return { kind: "libCall", fn: "record.sourceHas", args: [value], type: BOOL, loc };
 }
+/** Whether a checked conversion into `target` can leave a record holding
+ * undeclared source keys. The conversion reads one record at a time, so the
+ * records nested in a union arm, a promise, an array, a record field or an
+ * index signature's values count too (`Record<string, { x: string }>` keeps
+ * the sources of its closed values). Unions and records are memoized by id;
+ * one revisited on the current path answers `cycled`. */
+function conversionKeepsSource(lowerer, target, scan) {
+    if (target.kind === "promise")
+        return conversionKeepsSource(lowerer, target.inner, scan);
+    if (target.kind === "array")
+        return conversionKeepsSource(lowerer, target.elem, scan);
+    if (target.kind === "record" && recordMayKeepSource(lowerer, target))
+        return { keeps: true, cycled: false };
+    let id;
+    let members;
+    if (target.kind === "union") {
+        id = target.unionId;
+        members = lowerer.unions.get(target.unionId)?.arms ?? [];
+    }
+    else if (target.kind === "record") {
+        id = target.shapeId;
+        const shape = lowerer.shapes.get(target.shapeId);
+        members = [
+            ...(shape?.fields.map((field) => field.type) ?? []),
+            ...(shape?.indexValue !== undefined ? [shape.indexValue] : []),
+        ];
+    }
+    else
+        return { keeps: false, cycled: false };
+    const known = scan.memo.get(id);
+    if (known !== undefined)
+        return { keeps: known, cycled: false };
+    if (scan.visiting.has(id))
+        return { keeps: false, cycled: true };
+    scan.visiting.add(id);
+    let keeps = false;
+    let cycled = false;
+    for (const member of members) {
+        const answer = conversionKeepsSource(lowerer, member, scan);
+        keeps = keeps || answer.keeps;
+        cycled = cycled || answer.cycled;
+        if (keeps)
+            break;
+    }
+    scan.visiting.delete(id);
+    if (!cycled || keeps)
+        scan.memo.set(id, keeps);
+    return { keeps, cycled: cycled && !keeps };
+}
+/** Whether `fn` holds a validated conversion that can note a record source:
+ * a `dynCheck` whose target accepts `recordMayKeepSource`. Only such a
+ * conversion creates the kept view `recordSourceTest` answers, so a program
+ * without one never needs a capture to consult the view. */
+export function functionKeepsRecordSources(lowerer, fn, scan) {
+    return !everyStmtList(fn.body, {
+        expr: (expr) => expr.kind !== "dynCheck" || !conversionKeepsSource(lowerer, expr.type, scan).keeps,
+        stmt: () => true,
+    });
+}
 /** A reflective answer over a record value that branches on its kept
  * source: `staticAnswer` walks the declared fields, `viewAnswer` answers
  * from the live checked view (typed `type`, the static answer's type). The

package/dist/frontend/lowering/record-sources.js.map

@@ -1 +1 @@
-{"version":3,"file":"record-sources.js","sourceRoot":"","sources":["../../../src/frontend/lowering/record-sources.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACxF,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D;mDACmD;AACnD,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,CAA8B;IAClF,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5C,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,CAAC,KAAK,CAAC,KAAK;QACZ,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QACvB,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAC7B,oBAAoB,CAAC,KAAK,CAAC,KAAK,IAAI;QACpC,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5B,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAC1B,CAAC;AACJ,CAAC;AAED;iBACiB;AACjB,MAAM,UAAU,gBAAgB,CAAC,KAAa,EAAE,GAAW;IACzD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrF,CAAC;AAED;;;8BAG8B;AAC9B,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,QAAgB,EAChB,GAAW,EACX,YAAwC,EACxC,UAAkD;IAElD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;IACrC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACzF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QACpE,MAAM,EAAE;YACN,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,gBAAgB,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC;YACrC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;YAClC,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,GAAG;SACJ;QACD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"record-sources.js","sourceRoot":"","sources":["../../../src/frontend/lowering/record-sources.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACxF,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D;mDACmD;AACnD,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,CAA8B;IAClF,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5C,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,CAAC,KAAK,CAAC,KAAK;QACZ,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QACvB,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAC7B,oBAAoB,CAAC,KAAK,CAAC,KAAK,IAAI;QACpC,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5B,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAC1B,CAAC;AACJ,CAAC;AAED;iBACiB;AACjB,MAAM,UAAU,gBAAgB,CAAC,KAAa,EAAE,GAAW;IACzD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrF,CAAC;AAmBD;;;;;yDAKyD;AACzD,SAAS,qBAAqB,CAC5B,OAAgB,EAChB,MAAc,EACd,IAAqB;IAErB,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACzF,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACtF,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC;QAClE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACxC,IAAI,EAAU,CAAC;IACf,IAAI,OAAiB,CAAC;IACtB,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC;QACpB,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;IAC3D,CAAC;SAAM,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACpC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC;QACpB,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACjD,OAAO,GAAG;YACR,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACnD,GAAG,CAAC,KAAK,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/D,CAAC;IACJ,CAAC;;QAAM,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAChE,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACjE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtB,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC5D,KAAK,GAAG,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;QAC9B,MAAM,GAAG,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC;QACjC,IAAI,KAAK;YAAE,MAAM;IACnB,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACzB,IAAI,CAAC,MAAM,IAAI,KAAK;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC/C,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;AAC7C,CAAC;AAED;;;4DAG4D;AAC5D,MAAM,UAAU,0BAA0B,CACxC,OAAgB,EAChB,EAAc,EACd,IAAqB;IAErB,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QAC7B,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CACb,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK;QACpF,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;KACjB,CAAC,CAAC;AACL,CAAC;AAED;;;8BAG8B;AAC9B,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,QAAgB,EAChB,GAAW,EACX,YAAwC,EACxC,UAAkD;IAElD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;IACrC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACzF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QACpE,MAAM,EAAE;YACN,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,gBAAgB,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC;YACrC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;YAClC,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,GAAG;SACJ;QACD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/strict-equality.d.ts

@@ -1,5 +1,9 @@
 import { type IrExpr, type IrType, type SrcLoc } from "../../ir/ir.js";
 import type { Lowerer } from "./lowerer.js";
+/** Whether two namespace references are the same module object: the bare
+ * node:path namespace IS its target platform's family (`path ===
+ * path.posix` on POSIX targets); other namespaces are their module. */
+export declare function sameNamespace(lowerer: Lowerer, a: string, b: string): boolean;
 /** Related class arms can store the same object under different tags, so
  * comparing a union's tags and payloads alone can miss an identity. */
 export declare function tagEqualityMayMissAlias(lowerer: Lowerer, type: IrType): boolean;

package/dist/frontend/lowering/strict-equality.js

@@ -2,6 +2,7 @@ import { keyedHelperName } from "./stable-names.js";
 import { boolLit, varRef } from "../../ir/build.js";
 import { BOOL, DYN_HANDLE_KINDS, isUnitType, typeEquals, typeKey, } from "../../ir/ir.js";
 import { unionComparison } from "./union-comparison.js";
+import { builtinModuleConstOf } from "./surfaces.js";
 const IDENTITY_KINDS = new Set([
     "array",
     "map",
@@ -17,12 +18,25 @@ const IDENTITY_KINDS = new Set([
     "classval",
     "moduleNs",
 ]);
+/** Whether two namespace references are the same module object: the bare
+ * node:path namespace IS its target platform's family (`path ===
+ * path.posix` on POSIX targets); other namespaces are their module. */
+export function sameNamespace(lowerer, a, b) {
+    const family = (id) => id !== "builtin:path"
+        ? id
+        : builtinModuleConstOf(lowerer, "path", "sep") === "\\"
+            ? "builtin:path/win32"
+            : "builtin:path/posix";
+    return family(a) === family(b);
+}
 function atomicEquality(lowerer, left, right, sameValue, loc) {
     const a = left.type, b = right.type;
     if ([a.kind, b.kind].some((kind) => kind === "dyn" || kind === "caught" || kind === "void"))
         return null;
     if (isUnitType(a) || isUnitType(b))
         return boolLit(a.kind === b.kind, loc);
+    if (left.kind === "moduleNsRef" && right.kind === "moduleNsRef")
+        return boolLit(sameNamespace(lowerer, left.moduleId, right.moduleId), loc);
     if (a.kind === "object" && b.kind === "object" && !typeEquals(a, b)) {
         if (lowerer.isSubclassOf(a.className, b.className))
             left = lowerer.upcastTo(left, b.className);

package/dist/frontend/lowering/strict-equality.js.map

@@ -1 +1 @@
-{"version":3,"file":"strict-equality.js","sourceRoot":"","sources":["../../../src/frontend/lowering/strict-equality.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EACL,IAAI,EACJ,gBAAgB,EAIhB,UAAU,EACV,UAAU,EACV,OAAO,GACR,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,MAAM,cAAc,GAAgC,IAAI,GAAG,CAAC;IAC1D,OAAO;IACP,KAAK;IACL,KAAK;IACL,OAAO;IACP,KAAK;IACL,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,SAAS;IACT,MAAM;IACN,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAEH,SAAS,cAAc,CACrB,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,SAAkB,EAClB,GAAW;IAEX,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EACjB,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;IACjB,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM,CAAC;QACzF,OAAO,IAAI,CAAC;IACd,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3E,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACpE,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;YAAE,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;aAC1F,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;YACrD,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;;YAC1C,OAAO,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACtB,qEAAqE;QACrE,qEAAqE;QACrE,IACE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC5C,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YAE5C,OAAO,IAAI,CAAC;QACd,OAAO,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChG,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACpF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,SAAS;QAC/B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACxF,IACE,CAAC,CAAC,IAAI,KAAK,KAAK;QAChB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,UAAU;QACrB,CAAC,CAAC,IAAI,KAAK,UAAU;QACrB,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3D,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAEpC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;uEACuE;AACvE,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAY;IACpE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACnF,OAAO,CACL,IAAI,EAAE,IAAI,CACR,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CACb,GAAG,CAAC,IAAI,KAAK,QAAQ;QACrB,IAAI;aACD,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;aAChB,IAAI,CACH,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,KAAK,QAAQ;YACvB,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;gBACnD,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAC1D,CACN,IAAI,KAAK,CACX,CAAC;AACJ,CAAC;AAED;;8EAE8E;AAC9E,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,OAAgB,EAChB,SAAkB,EAClB,GAAW;IAEX,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC3E,0EAA0E;IAC1E,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,+DAA+D;IAC/D,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC;QACnF,OAAO,IAAI,CAAC;IACd,4EAA4E;IAC5E,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IAClE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IAClE,IACE,KAAK,CAAC,IAAI,KAAK,OAAO;QACtB,KAAK,CAAC,IAAI,KAAK,OAAO;QACtB,CAAC,uBAAuB,CAAC,OAAO,EAAE,KAAK,CAAC;QACxC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC;QACxC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAE7E,OAAO,IAAI,CAAC;IACd,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;IACnG,IAAI,IAAI,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,EACxC,CAAC,GAAG,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,eAAe,CAC5B,OAAO,EACP,CAAC,EACD,CAAC,EACD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,EACvD,GAAG,CACJ,CAAC;QACF,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;QAClD,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACvC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE;gBACN,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;gBACpD,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;aACxD;YACD,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC/D,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;aACnE;YACD,UAAU,EAAE,IAAI;YAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAC9C,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC5F,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AACzF,CAAC"}
+{"version":3,"file":"strict-equality.js","sourceRoot":"","sources":["../../../src/frontend/lowering/strict-equality.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EACL,IAAI,EACJ,gBAAgB,EAIhB,UAAU,EACV,UAAU,EACV,OAAO,GACR,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAErD,MAAM,cAAc,GAAgC,IAAI,GAAG,CAAC;IAC1D,OAAO;IACP,KAAK;IACL,KAAK;IACL,OAAO;IACP,KAAK;IACL,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,SAAS;IACT,MAAM;IACN,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAEH;;uEAEuE;AACvE,MAAM,UAAU,aAAa,CAAC,OAAgB,EAAE,CAAS,EAAE,CAAS;IAClE,MAAM,MAAM,GAAG,CAAC,EAAU,EAAU,EAAE,CACpC,EAAE,KAAK,cAAc;QACnB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,IAAI;YACrD,CAAC,CAAC,oBAAoB;YACtB,CAAC,CAAC,oBAAoB,CAAC;IAC7B,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,cAAc,CACrB,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,SAAkB,EAClB,GAAW;IAEX,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EACjB,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;IACjB,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM,CAAC;QACzF,OAAO,IAAI,CAAC;IACd,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa;QAC7D,OAAO,OAAO,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC;IAC7E,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACpE,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;YAAE,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;aAC1F,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;YACrD,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;;YAC1C,OAAO,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACtB,qEAAqE;QACrE,qEAAqE;QACrE,IACE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC5C,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YAE5C,OAAO,IAAI,CAAC;QACd,OAAO,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChG,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACpF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,SAAS;QAC/B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACxF,IACE,CAAC,CAAC,IAAI,KAAK,KAAK;QAChB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,UAAU;QACrB,CAAC,CAAC,IAAI,KAAK,UAAU;QACrB,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3D,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAEpC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;uEACuE;AACvE,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAY;IACpE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACnF,OAAO,CACL,IAAI,EAAE,IAAI,CACR,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CACb,GAAG,CAAC,IAAI,KAAK,QAAQ;QACrB,IAAI;aACD,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;aAChB,IAAI,CACH,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,KAAK,QAAQ;YACvB,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;gBACnD,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAC1D,CACN,IAAI,KAAK,CACX,CAAC;AACJ,CAAC;AAED;;8EAE8E;AAC9E,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,OAAgB,EAChB,SAAkB,EAClB,GAAW;IAEX,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC3E,0EAA0E;IAC1E,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,+DAA+D;IAC/D,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC;QACnF,OAAO,IAAI,CAAC;IACd,4EAA4E;IAC5E,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IAClE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IAClE,IACE,KAAK,CAAC,IAAI,KAAK,OAAO;QACtB,KAAK,CAAC,IAAI,KAAK,OAAO;QACtB,CAAC,uBAAuB,CAAC,OAAO,EAAE,KAAK,CAAC;QACxC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC;QACxC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAE7E,OAAO,IAAI,CAAC;IACd,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;IACnG,IAAI,IAAI,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,EACxC,CAAC,GAAG,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,eAAe,CAC5B,OAAO,EACP,CAAC,EACD,CAAC,EACD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,EACvD,GAAG,CACJ,CAAC;QACF,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;QAClD,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACvC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE;gBACN,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;gBACpD,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;aACxD;YACD,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC/D,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;aACnE;YACD,UAAU,EAAE,IAAI;YAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAC9C,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC5F,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AACzF,CAAC"}

package/dist/frontend/lowering/surfaces.d.ts

@@ -59,6 +59,8 @@ export declare const TLS_SERVER_DOCUMENTED_OPTIONS: ReadonlySet<string>;
 export declare const HTTP2_SECURE_SERVER_DOCUMENTED_OPTIONS: ReadonlySet<string>;
 /** fs.watch's documented option keys. */
 export declare const FS_WATCH_DOCUMENTED_OPTIONS: ReadonlySet<string>;
+/** fs.watchFile's documented option keys. */
+export declare const FS_WATCH_FILE_DOCUMENTED_OPTIONS: ReadonlySet<string>;
 /** fs.readdirSync's documented option keys. */
 export declare const FS_READDIR_DOCUMENTED_OPTIONS: ReadonlySet<string>;
 /** fs.writeFileSync's documented option keys. */
@@ -175,20 +177,41 @@ export interface BuiltinModuleFn {
     /** The function value's `length` when it is not the count of its
      * required value parameters (`Math.max`'s 2 over its rest pack). */
     valueLength?: number;
+    /** The order Node validates named value parameters in, when it is not
+     * the parameter order (basename checks its suffix first). */
+    valueOrder?: readonly number[];
+    /** The runtime entry point an untyped caller's adapter calls with every
+     * argument as given, when it validates them itself (resolve's last-first
+     * walk) or the value has no typed form (`only`: parse's record result,
+     * format's untyped pathObject). `args` are constants passed after the
+     * arguments (the win32 flag of an entry both path families share). */
+    checked?: {
+        fn: IrLibFn;
+        args: readonly boolean[];
+        result?: IrType;
+        only?: true;
+    };
     /** The function value's `name` when it is not the member's
      * (`process.cwd` is Node's `wrappedCwd`). */
     valueName?: string;
 }
+/** `name` is the argument name Node's validator reports
+ * (ERR_INVALID_ARG_TYPE's 'The "path" argument ...'): the adapter accepts
+ * any value there and validates it, so a string parameter arrives checked
+ * and a dyn one reaches its valueFn as given. */
 export type BuiltinValueParam = {
     mode: "required";
     type: IrType;
+    name?: string;
 } | {
     mode: "optional";
     type: IrType;
     defaultValue: string | number | undefined;
+    name?: string;
 } | {
     mode: "rest";
     type: IrType;
+    name?: string;
 };
 /** Object helpers whose checked-native ABI is also their stored value ABI.
  * These adapters operate on the live checked object/property table. */
@@ -339,6 +362,10 @@ export declare function stdlibGlobalMember(lowerer: Lowerer, access: ts.Property
  * way; aliasing, say, `Math` would change nothing (its members lower
  * by receiver too). Returns true when recognized. */
 export declare function stdlibGlobalAliasNameOf(lowerer: Lowerer, init: ts.Expression | undefined): string | null;
+/** The globals a `const x = <global>` snapshot aliases (stdlibGlobalAliasNameOf).
+ * Node defines every one of them, so an optional step over one of them
+ * (`proc?.env`, `globalThis.process?.env`) is the plain member read. */
+export declare const SNAPSHOT_GLOBALS: ReadonlySet<string>;
 /** `buffer.Buffer` through a buffer-module namespace binding (`var buffer
  * = require('buffer')`): the module's Buffer IS the global constructor. */
 export declare function bufferNamespaceMember(lowerer: Lowerer, expr: ts.Expression): boolean;

package/dist/frontend/lowering/surfaces.js

@@ -373,6 +373,12 @@ export const FS_WATCH_DOCUMENTED_OPTIONS = new Set([
     "encoding",
     "signal",
 ]);
+/** fs.watchFile's documented option keys. */
+export const FS_WATCH_FILE_DOCUMENTED_OPTIONS = new Set([
+    "interval",
+    "persistent",
+    "bigint",
+]);
 /** fs.readdirSync's documented option keys. */
 export const FS_READDIR_DOCUMENTED_OPTIONS = new Set([
     "encoding",
@@ -786,26 +792,27 @@ const PATH_MODULE_FNS = {
         params: [STRING],
         result: STRING,
         variadicPack: true,
-        valueParams: [{ mode: "rest", type: STRING }],
+        valueParams: [{ mode: "rest", type: STRING, name: "path" }],
     },
     resolve: {
         fn: "path.resolve",
         params: [STRING],
         result: STRING,
         variadicPack: true,
-        valueParams: [{ mode: "rest", type: STRING }],
+        valueParams: [{ mode: "rest", type: STRING, name: "paths" }],
+        checked: { fn: "path.resolveValue", args: [false] },
     },
     normalize: {
         fn: "path.normalize",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     dirname: {
         fn: "path.dirname",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     basename: {
         fn: "path.basename",
@@ -813,48 +820,65 @@ const PATH_MODULE_FNS = {
         result: STRING,
         defaults: [""],
         valueParams: [
-            { mode: "required", type: STRING },
-            { mode: "optional", type: STRING, defaultValue: "" },
+            { mode: "required", type: STRING, name: "path" },
+            { mode: "optional", type: STRING, defaultValue: "", name: "suffix" },
         ],
+        valueOrder: [1, 0],
     },
     extname: {
         fn: "path.extname",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     isAbsolute: {
         fn: "path.isAbsolute",
         params: [STRING],
         result: BOOL,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     relative: {
         fn: "path.relative",
         params: [STRING, STRING],
         result: STRING,
         valueParams: [
-            { mode: "required", type: STRING },
-            { mode: "required", type: STRING },
+            { mode: "required", type: STRING, name: "from" },
+            { mode: "required", type: STRING, name: "to" },
         ],
     },
     toNamespacedPath: {
         fn: "path.toNamespacedPath",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
+        checked: { fn: "path.toNamespacedValue", args: [false], result: DYN },
     },
     matchesGlob: {
         fn: "path.matchesGlob",
         params: [STRING, STRING],
         result: BOOL,
-        valueParams: exactValueParams(STRING, STRING),
+        valueParams: [
+            { mode: "required", type: STRING, name: "path" },
+            { mode: "required", type: STRING, name: "pattern" },
+        ],
     },
     // Special-cased (lowerPathParseCall / lowerPathFormatCall): the
     // ParsedPath record and the pathObject argument follow the call site's
     // mapped shapes.
-    parse: { fn: "path.parse", params: [STRING], result: VOID },
-    format: { fn: "path.format", params: [], result: STRING },
+    parse: {
+        fn: "path.parse",
+        params: [STRING],
+        result: VOID,
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
+        checked: { fn: "path.parseValue", args: [false], result: DYN, only: true },
+    },
+    format: {
+        fn: "path.format",
+        params: [],
+        result: STRING,
+        valueParams: [{ mode: "required", type: DYN, name: "pathObject" }],
+        checked: { fn: "path.formatValue", args: [false], result: DYN, only: true },
+    },
 };
 /** The win32 twins (scr_path.c's exact port of Node-v24 path.win32):
  * "path/win32" everywhere, and the bare-module table when the build
@@ -865,26 +889,27 @@ const PATH_WIN32_MODULE_FNS = {
         params: [STRING],
         result: STRING,
         variadicPack: true,
-        valueParams: [{ mode: "rest", type: STRING }],
+        valueParams: [{ mode: "rest", type: STRING, name: "path" }],
     },
     resolve: {
         fn: "path.win32Resolve",
         params: [STRING],
         result: STRING,
         variadicPack: true,
-        valueParams: [{ mode: "rest", type: STRING }],
+        valueParams: [{ mode: "rest", type: STRING, name: "paths" }],
+        checked: { fn: "path.resolveValue", args: [true] },
     },
     normalize: {
         fn: "path.win32Normalize",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     dirname: {
         fn: "path.win32Dirname",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     basename: {
         fn: "path.win32Basename",
@@ -892,48 +917,65 @@ const PATH_WIN32_MODULE_FNS = {
         result: STRING,
         defaults: [""],
         valueParams: [
-            { mode: "required", type: STRING },
-            { mode: "optional", type: STRING, defaultValue: "" },
+            { mode: "required", type: STRING, name: "path" },
+            { mode: "optional", type: STRING, defaultValue: "", name: "suffix" },
         ],
+        valueOrder: [1, 0],
     },
     extname: {
         fn: "path.win32Extname",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     isAbsolute: {
         fn: "path.win32IsAbsolute",
         params: [STRING],
         result: BOOL,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
     },
     relative: {
         fn: "path.win32Relative",
         params: [STRING, STRING],
         result: STRING,
         valueParams: [
-            { mode: "required", type: STRING },
-            { mode: "required", type: STRING },
+            { mode: "required", type: STRING, name: "from" },
+            { mode: "required", type: STRING, name: "to" },
         ],
     },
     toNamespacedPath: {
         fn: "path.win32ToNamespacedPath",
         params: [STRING],
         result: STRING,
-        valueParams: [{ mode: "required", type: STRING }],
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
+        checked: { fn: "path.toNamespacedValue", args: [true], result: DYN },
     },
     matchesGlob: {
         fn: "path.win32MatchesGlob",
         params: [STRING, STRING],
         result: BOOL,
-        valueParams: exactValueParams(STRING, STRING),
+        valueParams: [
+            { mode: "required", type: STRING, name: "path" },
+            { mode: "required", type: STRING, name: "pattern" },
+        ],
     },
     // Special-cased (lowerPathParseCall / lowerPathFormatCall): the
     // ParsedPath record and the pathObject argument follow the call site's
     // mapped shapes.
-    parse: { fn: "path.win32Parse", params: [STRING], result: VOID },
-    format: { fn: "path.win32Format", params: [], result: STRING },
+    parse: {
+        fn: "path.win32Parse",
+        params: [STRING],
+        result: VOID,
+        valueParams: [{ mode: "required", type: STRING, name: "path" }],
+        checked: { fn: "path.parseValue", args: [true], result: DYN, only: true },
+    },
+    format: {
+        fn: "path.win32Format",
+        params: [],
+        result: STRING,
+        valueParams: [{ mode: "required", type: DYN, name: "pathObject" }],
+        checked: { fn: "path.formatValue", args: [true], result: DYN, only: true },
+    },
 };
 /** util.types's own keys in Node's order (Node 24.22.0). The table is the
  * key census for Object.keys over util.types and node:util/types, including
@@ -1051,9 +1093,9 @@ function buildBuiltinModuleFns() {
             // truncateSync's omitted len completes to 0 in lowerBuiltinModuleCall,
             // like accessSync's mode.
             truncateSync: { fn: "fs.truncateSync", params: [STRING, F64], result: VOID },
-            // The 2-argument form only: Node's mode flags (COPYFILE_EXCL, ...)
-            // land on the arity fence.
-            copyFileSync: { fn: "fs.copyFileSync", params: [STRING, STRING], result: VOID },
+            // The mode is libuv's copyfile flag bits (COPYFILE_EXCL, ...); the
+            // 2- and 3-argument forms lower in lowerBuiltinModuleCall.
+            copyFileSync: { fn: "fs.copyFileSync", params: [STRING, STRING, F64], result: VOID },
             // The callback form is special-cased in lowerBuiltinModuleCall: its
             // Error | null parameter is program-shaped and needs an emitted
             // adapter. The row still projects the static surface and routes the
@@ -1259,10 +1301,10 @@ function buildBuiltinModuleFns() {
                 params: [STRING, STRING],
                 result: { kind: "promise", inner: VOID },
             },
-            // The 2-argument form only, like copyFileSync.
+            // The 2- and 3-argument forms, like copyFileSync.
             copyFile: {
                 fn: "fsp.copyFile",
-                params: [STRING, STRING],
+                params: [STRING, STRING, F64],
                 result: { kind: "promise", inner: VOID },
             },
             mkdtemp: { fn: "fsp.mkdtemp", params: [STRING], result: { kind: "promise", inner: STRING } },
@@ -1859,6 +1901,7 @@ function buildBuiltinModuleFns() {
                 result: STRING,
                 valueParams: [{ mode: "required", type: STRING }],
             },
+            unescapeBuffer: { fn: "qs.unescapeBuffer", params: [STRING, BOOL], result: BYTES_U8 },
         },
         // node:punycode (deprecated): punycode.js 2.1.0's conversions over
         // strings (scr_url.c). ucs2.decode/encode are members of the module's
@@ -2051,15 +2094,20 @@ export const BUILTIN_MODULE_FN_ALIASES = {
         ],
         // The string source's check before a URL destination converts
         // (fs-paths.ts).
-        copyFileSync: ["fs.checkPath"],
+        copyFileSync: ["fs.checkPath", "fs.copyFileFlagsSync"],
         renameSync: ["fs.checkPath"],
-        copyFile: ["fs.checkPath"],
+        copyFile: ["fs.checkPath", "fsp.copyFileFlags"],
         rename: ["fs.checkPath"],
         readlinkSync: ["fs.readlinkSyncStr", "fs.readlinkSyncBuffer"],
         // The bytes-data form and the { mode } options form.
         // The bytes-data form, the { mode } options form, and the
         // file-descriptor data form.
-        writeFileSync: ["fs.writeFileSyncBytes", "fs.writeFileModeSync", "fs.writeFileSyncFd"],
+        writeFileSync: [
+            "fs.writeFileSyncBytes",
+            "fs.writeFileModeSync",
+            "fs.writeFileFlagsSync",
+            "fs.writeFileSyncFd",
+        ],
         appendFileSync: ["fs.appendFileSyncBytes"],
         // The fs stream members (bytesRead/bytesWritten, pending, path, close).
         createReadStream: [
@@ -2110,8 +2158,8 @@ export const BUILTIN_MODULE_FN_ALIASES = {
         // The Buffer form (no encoding) and the runtime-encoding forms.
         readFile: ["fsp.readFileBytes", "fsp.readFileEncoded"],
         readlink: ["fsp.readlinkStr", "fsp.readlinkBuffer"],
-        // The string-data { mode } options form.
-        writeFile: ["fsp.writeFileMode"],
+        // The string-data { mode, flag } options forms.
+        writeFile: ["fsp.writeFileMode", "fsp.writeFileFlags"],
         // The { withFileTypes: true } Dirent form.
         readdir: ["fsp.readdirTypes"],
         glob: ["fsp.globTypes"],
@@ -2154,7 +2202,7 @@ export const BUILTIN_MODULE_FN_ALIASES = {
     },
     os: {
         // lowerOsUserInfoCall assembles the record from scalar libCalls.
-        userInfo: ["os.userHomedir", "os.userShell"],
+        userInfo: ["os.userHomedir", "os.userShell", "os.userUid", "os.userGid"],
         // lowerOsCpusCall reads the cpusTake snapshot through its accessors.
         cpus: ["os.cpusModel", "os.cpusField"],
     },
@@ -2250,6 +2298,22 @@ function buildAmbientSurfaceFns() {
             fns: ["fs.callbackValue", "fs.callbackCall", "fs.callbackGlob"],
             note: "native filesystem callbacks, including stored platform adapter functions",
         },
+        // fs.watchFile/fs.unwatchFile lower in lowerFsWatchFileCall, ahead of
+        // the module table.
+        {
+            id: "node-builtin.fs.watchFile",
+            kind: "node-builtin",
+            name: "fs.watchFile",
+            fns: ["fs.watchFile"],
+            note: "stat polling of a resolved path with Stats listeners, in statement position; bigint: true is refused",
+        },
+        {
+            id: "node-builtin.fs.unwatchFile",
+            kind: "node-builtin",
+            name: "fs.unwatchFile",
+            fns: ["fs.unwatchFile"],
+            note: "removes one listener, or every listener, from a resolved path's poller",
+        },
         // ── the Date slice (lowerDateCall/lowerNew): statics, construction,
         // stored read-only values, calendar getters, and ISO formatting.
         {
@@ -2544,7 +2608,12 @@ function buildAmbientSurfaceFns() {
             id: "node-builtin.process.getBuiltinModule",
             kind: "node-builtin",
             name: "process.getBuiltinModule",
-            fns: ["process.builtinId", "process.builtinModule", "process.builtinUnsupported"],
+            fns: [
+                "process.builtinId",
+                "process.builtinModule",
+                "process.builtinObject",
+                "process.builtinUnsupported",
+            ],
             note: "native path and os export subsets plus current-thread worker_threads metadata; other modules and exports throw SC2020",
         },
         {
@@ -3213,11 +3282,13 @@ export function stdlibMemberFence(lowerer, access) {
         member === "toLocaleLowerCase" ||
         member === "toLocaleUpperCase") {
         hint =
-            "locale- and ICU-backed behavior lives outside the static runtime (the localeCompare " +
-                "stance: code-unit order, no collation/locale data) — what lowers: the composed " +
+            "collation and locale negotiation stay outside the static runtime (the localeCompare " +
+                "stance: code-unit order, no collation) — what lowers: the composed " +
                 'new Intl.NumberFormat("en-US").format(x) and x.toLocaleString("en-US") with default ' +
-                "options, plus default Unicode grapheme segmentation with Intl.Segmenter; locale " +
-                "negotiation, word/sentence segmentation, and resolvedOptions remain unsupported";
+                "options, their default-locale forms (x.toLocaleString(), d.toLocaleString(), " +
+                "d.toLocaleTimeString()), and Intl.Segmenter with grapheme or word granularity; " +
+                "sentence segmentation, resolvedOptions, and the remaining Intl constructors remain " +
+                "unsupported";
     }
     else if (container === "Object" && member === "assign") {
         hint =
@@ -3450,25 +3521,27 @@ export function stdlibGlobalAliasNameOf(lowerer, init) {
     // These globals have provenance-aware call or member lowering, so a
     // stable snapshot keeps the same dispatch as the original global.
     // Other callable globals still use their ordinary value paths.
-    return [
-        "process",
-        "console",
-        "globalThis",
-        "performance",
-        "Array",
-        "Buffer",
-        "BigInt",
-        "Number",
-        "String",
-        "Boolean",
-        // Code generation from strings throws Node's EvalError at every call
-        // (code-generation.ts); zod 4 probes `const F = Function; new F("")`.
-        "Function",
-        "eval",
-    ].includes(name)
-        ? name
-        : null;
+    return SNAPSHOT_GLOBALS.has(name) ? name : null;
 }
+/** The globals a `const x = <global>` snapshot aliases (stdlibGlobalAliasNameOf).
+ * Node defines every one of them, so an optional step over one of them
+ * (`proc?.env`, `globalThis.process?.env`) is the plain member read. */
+export const SNAPSHOT_GLOBALS = new Set([
+    "process",
+    "console",
+    "globalThis",
+    "performance",
+    "Array",
+    "Buffer",
+    "BigInt",
+    "Number",
+    "String",
+    "Boolean",
+    // Code generation from strings throws Node's EvalError at every call
+    // (code-generation.ts); zod 4 probes `const F = Function; new F("")`.
+    "Function",
+    "eval",
+]);
 /** `buffer.Buffer` through a buffer-module namespace binding (`var buffer
  * = require('buffer')`): the module's Buffer IS the global constructor. */
 export function bufferNamespaceMember(lowerer, expr) {