@scriptc/compiler 0.0.2 → 0.0.4

package/dist/frontend/lowering/lib-boundary.js

@@ -1,5 +1,5 @@
 import { PoisonError } from "./lowerer.js";
-import { canAdaptDynFuncTo, STRING, isUnitType, typeEquals } from "../../ir/nodes.js";
+import { canAdaptDynFuncTo, canMarshalTypedFuncIntoIsland, DYN, JSVAL, STRING, isUnitType, typeEquals } from "../../ir/nodes.js";
 import { LIB_FN_SIGS, REGEX_INTRINSIC_SIGS, STR_INTRINSIC_SIGS } from "../../ir/validate.js";
 import { unionMismatchDiag, unsupportedDiag } from "../../diagnostics/diagnostic.js";
 /** What a dynCheck can validate — coerceToExpected's dyn→typed domain,
@@ -29,6 +29,18 @@ function dynCheckable(L, want) {
 function coerceSlot(L, arg, want, what) {
     if (typeEquals(arg.type, want))
         return arg;
+    // An ISLAND value in a typed intrinsic slot (`/x/.test(anyText)`,
+    // `" ".repeat(anyN)` — checker-`any` arguments the surface signatures
+    // accept): the VALIDATED island exit, exactly the dynCheck stance one
+    // branch down — strict for primitives, JSON round-trip for composites,
+    // a lying handle throws the catchable TypeError. Targets outside the
+    // exit set keep the named fence.
+    if (arg.type.kind === "jsval" && want.kind !== "jsval") {
+        if (L.boundaryExitSafe(want)) {
+            return { kind: "jsExit", value: arg, type: want, loc: arg.loc };
+        }
+        fence(L, "SC1100", arg.loc, `passing 'any'-typed values where '${L.fmt(want)}' is expected (${what})`);
+    }
     if (arg.type.kind === "dyn" && want.kind !== "dyn") {
         if (dynCheckable(L, want)) {
             return { kind: "dynCheck", value: arg, type: want, loc: arg.loc };
@@ -112,18 +124,22 @@ export function enforceLibBoundary(L, node) {
     }
     if (kind === "arrIntrinsic") {
         const e = rec;
-        if (e.receiver.type.kind === "dyn" || isUnitType(e.receiver.type)) {
+        if (e.receiver.type.kind === "dyn" || e.receiver.type.kind === "jsval" || isUnitType(e.receiver.type)) {
             // No element type exists to validate a dyn receiver against — the
-            // honest answer is the operations-on-unknown fence. Other non-array
-            // receivers stay the validator's ICE (frontend breakage, not a
-            // checked-dynamic escape).
+            // honest answer is the operations-on-unknown fence. An island
+            // (jsval) receiver fences too: the exit would COPY the engine
+            // array, so a static intrinsic over it silently mutates the copy —
+            // the producing sites route jsval receivers through the engine's
+            // own methods instead. Other non-array receivers stay the
+            // validator's ICE (frontend breakage, not a checked-dynamic
+            // escape).
             fence(L, "SC1100", e.receiver.loc, `'.${e.method}()' on '${L.fmt(e.receiver.type)}' array receivers`);
         }
         return;
     }
     if (kind === "callValue") {
         const e = rec;
-        if (e.callee.type.kind === "dyn" || isUnitType(e.callee.type)) {
+        if (e.callee.type.kind === "dyn" || e.callee.type.kind === "jsval" || isUnitType(e.callee.type)) {
             fence(L, "SC1100", e.loc, `calling '${L.fmt(e.callee.type)}' values`);
         }
         if (e.callee.type.kind !== "func")
@@ -139,5 +155,59 @@ export function enforceLibBoundary(L, node) {
         });
         return;
     }
+    if (kind === "jsOp") {
+        // Engine-op arguments must be jsval. The producing sites marshal with
+        // jsvalIn, but a checker-`any` expression can LOWER to another world
+        // (dyn.this, the DOM WeakSet placeholder, JS rest-args) — re-apply
+        // jsvalIn's rules here: units become the engine's own units, typed
+        // values with an island representation marshal in, and dyn values (no
+        // DOM→engine bridge that preserves handles/functions) fence with
+        // jsvalIn's own message.
+        const e = rec;
+        e.args.forEach((a, i) => {
+            if (a.type.kind === "jsval")
+                return;
+            if (isUnitType(a.type)) {
+                e.args[i] = { kind: "jsOp", op: a.type.kind === "undefinedT" ? "undefLit" : "nullLit", args: [], type: JSVAL, loc: a.loc };
+                return;
+            }
+            if (a.type.kind === "dyn") {
+                fence(L, "SC1100", a.loc, "passing 'unknown' values into dynamically-executed ('any'-typed) code (validate with 'as <type>' first)");
+            }
+            if (L.boundarySafe(a.type) ||
+                (a.type.kind === "func" && canMarshalTypedFuncIntoIsland(a.type, (id) => L.shapes.get(id), (id) => L.unions.get(id)))) {
+                e.args[i] = { kind: "jsMarshal", value: a, type: JSVAL, loc: a.loc };
+                return;
+            }
+            fence(L, "SC1090", a.loc, `'${L.fmt(a.type)}' values crossing into dynamically-executed ('any'-typed) code`);
+        });
+        return;
+    }
+    if (kind === "dynCall" || kind === "dynInvoke") {
+        // Checked-dynamic call arguments must be dyn. Convertible typed values
+        // take the ordinary dynFrom crossing; island values have NO bridge
+        // into the DOM (a jsval handle cannot ride the deep-copy), so they
+        // fence — named, catchable at runtime in JS sources, never an ICE.
+        const e = rec;
+        if (kind === "dynInvoke") {
+            const inv = e;
+            if (inv.recv.type.kind !== "dyn") {
+                fence(L, "SC1100", inv.recv.loc, `'.${inv.method}()' calls through '${L.fmt(inv.recv.type)}' receivers in checked-dynamic positions`);
+            }
+        }
+        e.args.forEach((a, i) => {
+            if (a.type.kind === "dyn")
+                return;
+            if (a.type.kind === "jsval") {
+                fence(L, "SC1100", a.loc, "passing 'any'-typed values into calls through 'unknown' values (validate with 'as <type>' first)");
+            }
+            if (a.kind === "unitLit" || L.dynConvertible(a.type)) {
+                e.args[i] = { kind: "dynFrom", value: a, type: DYN, loc: a.loc };
+                return;
+            }
+            fence(L, "SC1100", a.loc, `passing '${L.fmt(a.type)}' values into calls through 'unknown' values`);
+        });
+        return;
+    }
 }
 //# sourceMappingURL=lib-boundary.js.map

package/dist/frontend/lowering/lib-boundary.js.map

@@ -1 +1 @@
-{"version":3,"file":"lib-boundary.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lib-boundary.ts"],"names":[],"mappings":"AAuCA,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAA0B,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC9G,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC7F,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAErF;;;;2BAI2B;AAC3B,SAAS,YAAY,CAAC,CAAU,EAAE,IAAY;IAC5C,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvE,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,OAAO,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;2DAE2D;AAC3D,SAAS,UAAU,CAAC,CAAU,EAAE,GAAW,EAAE,IAAY,EAAE,IAAY;IACrE,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IAC3C,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACnD,IAAI,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;YAC1B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;QACpE,CAAC;QACD,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,mCAAmC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,GAAG,CAAC,CAAC;IACvG,CAAC;IACD,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACvE,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,mBAAmB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,GAAG,CAAC,CAAC;IAChJ,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnF,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACrE,MAAM,IAAI,WAAW,EAAE,CAAC;IAC1B,CAAC;IACD,uEAAuE;IACvE,yEAAyE;IACzE,wDAAwD;IACxD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAS;IAClC,OAAO,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,KAAK,CAAC,CAAU,EAAE,IAAyB,EAAE,GAAW,EAAE,OAAe;IAChF,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;IAChD,MAAM,IAAI,WAAW,EAAE,CAAC;AAC1B,CAAC;AAED;;;wEAGwE;AACxE,MAAM,UAAU,kBAAkB,CAAC,CAAU,EAAE,IAAa;IAC1D,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,IAAI;YAAE,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACrD,OAAO;IACT,CAAC;IACD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,IAAI,GAAG,KAAK,KAAK;YAAE,kBAAkB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,GAAsD,CAAC;QACjE,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/E,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,GAA2D,CAAC;QACtE,CAAC,CAAC,QAAQ,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,oBAAoB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC/E,MAAM,GAAG,GAAG,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,GAA6D,CAAC;QACxE,MAAM,GAAG,GAAG,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,CAAC,CAAC,QAAQ,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACrF,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,GAA2D,CAAC;QACtE,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAClE,kEAAkE;YAClE,oEAAoE;YACpE,+DAA+D;YAC/D,2BAA2B;YAC3B,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACxG,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,GAAwD,CAAC;QACnE,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,CAAC,4BAA4B;QACvE,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;YACpC,KAAK,CACH,CAAC,EACD,QAAQ,EACR,CAAC,CAAC,GAAG,EACL,iCAAiC,CAAC,CAAC,IAAI,CAAC,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,sCAAsC,MAAM,CAAC,MAAM,EAAE,CAC9I,CAAC;QACJ,CAAC;QACD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;AACH,CAAC"}
+{"version":3,"file":"lib-boundary.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lib-boundary.ts"],"names":[],"mappings":"AAuCA,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,6BAA6B,EAAE,GAAG,EAAkB,KAAK,EAAU,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACzJ,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC7F,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAErF;;;;2BAI2B;AAC3B,SAAS,YAAY,CAAC,CAAU,EAAE,IAAY;IAC5C,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvE,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,OAAO,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;2DAE2D;AAC3D,SAAS,UAAU,CAAC,CAAU,EAAE,GAAW,EAAE,IAAY,EAAE,IAAY;IACrE,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IAC3C,kEAAkE;IAClE,sEAAsE;IACtE,sEAAsE;IACtE,uEAAuE;IACvE,qEAAqE;IACrE,iCAAiC;IACjC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACvD,IAAI,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;QAClE,CAAC;QACD,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,qCAAqC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,GAAG,CAAC,CAAC;IACzG,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACnD,IAAI,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;YAC1B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;QACpE,CAAC;QACD,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,mCAAmC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,GAAG,CAAC,CAAC;IACvG,CAAC;IACD,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACvE,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,mBAAmB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,GAAG,CAAC,CAAC;IAChJ,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnF,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACrE,MAAM,IAAI,WAAW,EAAE,CAAC;IAC1B,CAAC;IACD,uEAAuE;IACvE,yEAAyE;IACzE,wDAAwD;IACxD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAS;IAClC,OAAO,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,KAAK,CAAC,CAAU,EAAE,IAAyB,EAAE,GAAW,EAAE,OAAe;IAChF,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;IAChD,MAAM,IAAI,WAAW,EAAE,CAAC;AAC1B,CAAC;AAED;;;wEAGwE;AACxE,MAAM,UAAU,kBAAkB,CAAC,CAAU,EAAE,IAAa;IAC1D,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,IAAI;YAAE,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACrD,OAAO;IACT,CAAC;IACD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,IAAI,GAAG,KAAK,KAAK;YAAE,kBAAkB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,GAAsD,CAAC;QACjE,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/E,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,GAA2D,CAAC;QACtE,CAAC,CAAC,QAAQ,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,oBAAoB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC/E,MAAM,GAAG,GAAG,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,GAA6D,CAAC;QACxE,MAAM,GAAG,GAAG,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,CAAC,CAAC,QAAQ,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACrF,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,GAA2D,CAAC;QACtE,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACtG,kEAAkE;YAClE,8DAA8D;YAC9D,8DAA8D;YAC9D,mEAAmE;YACnE,iEAAiE;YACjE,0DAA0D;YAC1D,4DAA4D;YAC5D,WAAW;YACX,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACxG,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,GAAwD,CAAC;QACnE,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAChG,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,CAAC,4BAA4B;QACvE,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;YACpC,KAAK,CACH,CAAC,EACD,QAAQ,EACR,CAAC,CAAC,GAAG,EACL,iCAAiC,CAAC,CAAC,IAAI,CAAC,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,sCAAsC,MAAM,CAAC,MAAM,EAAE,CAC9I,CAAC;QACJ,CAAC;QACD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,sEAAsE;QACtE,qEAAqE;QACrE,mEAAmE;QACnE,mEAAmE;QACnE,sEAAsE;QACtE,iEAAiE;QACjE,yBAAyB;QACzB,MAAM,CAAC,GAAG,GAAmD,CAAC;QAC9D,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO;YACpC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;gBAC3H,OAAO;YACT,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC1B,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,yGAAyG,CAAC,CAAC;YACvI,CAAC;YACD,IACE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;gBACtB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,6BAA6B,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EACrH,CAAC;gBACD,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;gBACrE,OAAO;YACT,CAAC;YACD,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,gEAAgE,CAAC,CAAC;QAC/G,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QAC/C,uEAAuE;QACvE,mEAAmE;QACnE,mEAAmE;QACnE,mEAAmE;QACnE,MAAM,CAAC,GAAG,GAAoE,CAAC;QAC/E,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,CAA2C,CAAC;YACxD,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACjC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,MAAM,sBAAsB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;YACxI,CAAC;QACH,CAAC;QACD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO;YAClC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,kGAAkG,CAAC,CAAC;YAChI,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrD,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;gBACjE,OAAO;YACT,CAAC;YACD,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;QACrG,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;AACH,CAAC"}

package/dist/frontend/lowering/lower-builtins.d.ts

@@ -44,6 +44,22 @@ export declare function isHttp2ConstantsExpr(L: Lowerer, node: ts.Expression): b
    * literal; unknown members fence by name. Null when the receiver is not
    * the constants object (the property chain keeps trying). */
 export declare function lowerHttp2ConstantsProperty(L: Lowerer, expr: ts.PropertyAccessExpression): IrExpr | null;
+/** True for any spelling of node:perf_hooks' `performance` object — the
+   * named import binding, a namespace/default-import member, the require
+   * twins (all through the shared builtin tables), or the GLOBAL Node
+   * exposes without any import (the module export and the global are one
+   * value; provenance-checked like console/process, so the bare
+   * identifier and the globalThis.performance member both land here and
+   * a user's own `performance` binding never does). */
+export declare function isPerfHooksPerformanceExpr(L: Lowerer, node: ts.Expression): boolean;
+/** The node:perf_hooks spoke: `performance.now()` reads the runtime's
+   * monotonic clock anchored at process start — Node's timeOrigin for a
+   * compiled program, fractional milliseconds — and
+   * `performance.now.bind(performance)` (the mockable-clock idiom's
+   * getTimestamp) is the same clock as a plain () => number function
+   * value. Other members on the performance object fence by name; null
+   * for non-perf_hooks callees (the call chain keeps trying). */
+export declare function lowerPerfHooksCall(L: Lowerer, expr: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
 /** True for `const { NGHTTP2_CANCEL, ... } = http2.constants` — a plain
    * object destructure (identifier elements, renames allowed, no rest/
    * defaults/nesting) over the constants object whose every name is in
@@ -414,6 +430,22 @@ export declare function lowerFsReaddirTypesCall(L: Lowerer, call: ts.CallExpress
    * %dtype field compared against libuv's UV_DIRENT code. Node's other
    * type probes (isBlockDevice, ...) fence with the supported list. */
 export declare function lowerDirentMethodCall(L: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** querystring.parse / querystring.decode: the scan runs in the runtime
+ * (scr_qs_parse_into fills the result dictionary's overflow map), so the
+ * frontend completes sep/eq/maxKeys to Node's defaults and verifies the
+ * call site's mapped result IS the ParsedUrlQuery dictionary — a pure
+ * index-signature record over `string | string[]` (an undefined arm
+ * tolerated: @types/node's Dict) — the networkInterfaces verification
+ * stance. The default decoder is the one lowered decoder; a custom
+ * decodeURIComponent option fences by name. */
+export declare function lowerQuerystringParseCall(L: Lowerer, call: ts.CallExpression, loc: SrcLoc): IrExpr;
+/** querystring.stringify / querystring.encode: the object crosses as a
+ * DOM value (dynFrom — JSON-safe records and, in JS sources, dyn values
+ * directly) and Node's encodeStringified rules run in the runtime
+ * (scr_qs_stringify), so arrays expand to repeated keys and
+ * null/undefined values are empty. The default encoder is the one
+ * lowered encoder; a custom encodeURIComponent option fences by name. */
+export declare function lowerQuerystringStringifyCall(L: Lowerer, call: ts.CallExpression, loc: SrcLoc): IrExpr;
 export declare function lowerOsNetworkInterfacesCall(L: Lowerer, call: ts.CallExpression, loc: SrcLoc): IrExpr;
 /** `process.env.NAME` → the process.envGet intrinsic with a literal key
    * (the element form lands in lowerElementAccess). getenv(3) at runtime:
@@ -504,8 +536,9 @@ export declare function lowerProcessOptionalMethodCall(L: Lowerer, expr: ts.Call
 export declare function envSnapshotHelper(L: Lowerer, shapeId: string, loc: SrcLoc): string | null;
 export declare function isConsoleLog(L: Lowerer, call: ts.CallExpression): boolean;
 /** The console member of a `console.<member>(...)` call, for the lowered
-   * trio: "log" (stdout), and "error"/"warn" (both stderr — Node's warn IS
+   * set: "log"/"info"/"debug" (stdout — Node's info and debug ARE log
+   * under other names), and "error"/"warn" (both stderr — Node's warn IS
    * error under another name; the output is identical). Provenance-checked
-   * like every stdlib global. Null for anything else (console.info,
-   * console.table, a user's own console binding, ...). */
-export declare function consoleCallMember(L: Lowerer, call: ts.CallExpression): "log" | "error" | "warn" | null;
+   * like every stdlib global. Null for anything else (console.table, a
+   * user's own console binding, ...). */
+export declare function consoleCallMember(L: Lowerer, call: ts.CallExpression): "log" | "info" | "debug" | "error" | "warn" | null;

package/dist/frontend/lowering/lower-builtins.js

@@ -6,7 +6,7 @@ import { builtinModules } from "node:module";
 import * as ts from "../ts7/adapter.js";
 import { dynUndefinedExpr, own } from "./lowerer.js";
 import { canonicalBuiltinModule, isJsSourceFile, locOf, requireSpecOf } from "../program.js";
-import { builtinModuleFnOf, FS_READDIR_DOCUMENTED_OPTIONS, FS_WATCH_DOCUMENTED_OPTIONS, FS_WRITE_FILE_DOCUMENTED_OPTIONS, READLINE_DOCUMENTED_OPTIONS, builtinConstLit, fenceOrDropOptionKey, isChildSurfaceMember, } from "./surfaces.js";
+import { builtinModuleFnOf, FS_READDIR_DOCUMENTED_OPTIONS, FS_WATCH_DOCUMENTED_OPTIONS, FS_WRITE_FILE_DOCUMENTED_OPTIONS, QS_PARSE_DOCUMENTED_OPTIONS, QS_STRINGIFY_DOCUMENTED_OPTIONS, READLINE_DOCUMENTED_OPTIONS, builtinConstLit, fenceOrDropOptionKey, isChildSurfaceMember, } from "./surfaces.js";
 import { conditionalSpreadOf } from "./lower-exprs.js";
 import { HTTP2_CONSTANTS } from "./http2-constants.js";
 import { timerStyleCallback } from "./lower-calls.js";
@@ -81,7 +81,7 @@ export function builtinImportOf(L, ident) {
     }
     // The RE-EXPORT FACADE hop: a binding acquired through a user module
     // that re-exports a builtin (`import { ok } from "./assert-facade.js"`
-    // over `export { ok } from "node:assert"` — prettier's
+    // over `export { ok } from "node:assert"` — the formatter idiom's
     // universal/assert idiom; the namespace-member spelling resolves to
     // the facade's ExportSpecifier the same way). The specifier here is a
     // user module, so provenance comes from the ALIAS CHAIN instead: the
@@ -180,6 +180,82 @@ export function lowerHttp2ConstantsProperty(L, expr) {
     }
     return builtinConstLit(value, locOf(expr));
 }
+/** True for any spelling of node:perf_hooks' `performance` object — the
+   * named import binding, a namespace/default-import member, the require
+   * twins (all through the shared builtin tables), or the GLOBAL Node
+   * exposes without any import (the module export and the global are one
+   * value; provenance-checked like console/process, so the bare
+   * identifier and the globalThis.performance member both land here and
+   * a user's own `performance` binding never does). */
+export function isPerfHooksPerformanceExpr(L, node) {
+    if (L.isStdlibGlobal(node, "performance"))
+        return true;
+    if (ts.isIdentifier(node)) {
+        const bi = builtinImportOf(L, node);
+        return bi !== null && bi.module === "perf_hooks" && bi.member === "performance";
+    }
+    if (ts.isPropertyAccessExpression(node) && !node.questionDotToken) {
+        const bi = L.builtinMemberOf(node);
+        return bi !== null && bi.module === "perf_hooks" && bi.member === "performance";
+    }
+    return false;
+}
+/** The node:perf_hooks spoke: `performance.now()` reads the runtime's
+   * monotonic clock anchored at process start — Node's timeOrigin for a
+   * compiled program, fractional milliseconds — and
+   * `performance.now.bind(performance)` (the mockable-clock idiom's
+   * getTimestamp) is the same clock as a plain () => number function
+   * value. Other members on the performance object fence by name; null
+   * for non-perf_hooks callees (the call chain keeps trying). */
+export function lowerPerfHooksCall(L, expr, access) {
+    if (access.questionDotToken)
+        return null;
+    const loc = locOf(expr);
+    if (access.name.text === "now" && isPerfHooksPerformanceExpr(L, access.expression)) {
+        if (expr.arguments.length !== 0) {
+            L.noLowering("performance.now with arguments", expr, "Node's performance.now takes none");
+        }
+        return { kind: "libCall", fn: "perf.now", args: [], type: F64, loc };
+    }
+    if (access.name.text === "bind" &&
+        ts.isPropertyAccessExpression(access.expression) &&
+        !access.expression.questionDotToken &&
+        access.expression.name.text === "now" &&
+        isPerfHooksPerformanceExpr(L, access.expression.expression)) {
+        if (expr.arguments.length !== 1 || !isPerfHooksPerformanceExpr(L, expr.arguments[0])) {
+            L.noLowering("this performance.now.bind form", expr, "performance.now.bind(performance) is the lowered function-value spelling");
+        }
+        return {
+            kind: "closure",
+            fnName: perfNowFnValueOf(L),
+            captures: [],
+            type: funcOf([], F64),
+            loc,
+        };
+    }
+    if (isPerfHooksPerformanceExpr(L, access.expression)) {
+        L.noLowering(`perf_hooks performance.${access.name.text}`, expr, "performance.now() — and its .bind(performance) function value — is the lowered surface");
+    }
+    return null;
+}
+/** The memoized () => number lifted wrapper behind
+   * performance.now.bind(performance): a plain function value over the
+   * same perf.now libCall. */
+function perfNowFnValueOf(L) {
+    const name = "%perf.now.value";
+    if (!L.liftedFns.some((f) => f.name === name)) {
+        const loc = { file: "<builtin>", start: 0, end: 0 };
+        L.liftedFns.push({
+            name,
+            params: [],
+            returnType: F64,
+            locals: [],
+            body: [{ kind: "return", value: { kind: "libCall", fn: "perf.now", args: [], type: F64, loc }, loc }],
+            loc,
+        });
+    }
+    return name;
+}
 /** True for `const { NGHTTP2_CANCEL, ... } = http2.constants` — a plain
    * object destructure (identifier elements, renames allowed, no rest/
    * defaults/nesting) over the constants object whose every name is in
@@ -306,6 +382,20 @@ export function lowerBuiltinModuleCall(L, expr, bi, fn, loc) {
     if (bi.module === "os" && bi.member === "userInfo") {
         return lowerOsUserInfoCall(L, expr, loc);
     }
+    // node:querystring — parse/stringify are entirely special-cased (the
+    // sep/eq/options completions, parse's call-site-shaped dictionary
+    // result, stringify's DOM-crossing object argument); decode/encode
+    // are Node's own aliases of the pair (`const decode = parse` in the
+    // module source) and take the same lowerings. escape/unescape ride
+    // the generic table tail below.
+    if (bi.module === "querystring") {
+        if (bi.member === "parse" || bi.member === "decode") {
+            return lowerQuerystringParseCall(L, expr, loc);
+        }
+        if (bi.member === "stringify" || bi.member === "encode") {
+            return lowerQuerystringStringifyCall(L, expr, loc);
+        }
+    }
     // node:timers/promises — setTimeout([delay]) and setImmediate(): void
     // promises the shared timer heap settles. The omitted delay completes
     // to Node's 1ms floor (scr_timer_coerce_ms clamps anyway; the literal
@@ -3881,6 +3971,149 @@ function lowerOsUserInfoCall(L, call, loc) {
     }
     return { kind: "recordLit", fields, type: result, loc };
 }
+/** querystring's sep/eq arguments: an omitted argument, the literal
+ * null, and the literal undefined all mean the default (Node's falsy
+ * rule — parse(s, null, null, opts) is the canonical maxKeys spelling);
+ * a string expression passes through (the runtime applies the same
+ * falsy rule to '' at runtime). Everything else fences. */
+function qsSepEqArg(L, node, dflt, what, loc) {
+    if (!node ||
+        node.kind === ts.SyntaxKind.NullKeyword ||
+        (ts.isIdentifier(node) && node.text === "undefined")) {
+        return { kind: "strLit", value: dflt, type: STRING, loc };
+    }
+    const v = L.lowerExpr(node);
+    if (v.type.kind !== "string") {
+        L.noLowering(`${what} with a '${L.fmt(v.type)}' separator`, node, "pass a string, or null/undefined for the default (narrow unions first)");
+    }
+    return v;
+}
+/** querystring.parse / querystring.decode: the scan runs in the runtime
+ * (scr_qs_parse_into fills the result dictionary's overflow map), so the
+ * frontend completes sep/eq/maxKeys to Node's defaults and verifies the
+ * call site's mapped result IS the ParsedUrlQuery dictionary — a pure
+ * index-signature record over `string | string[]` (an undefined arm
+ * tolerated: @types/node's Dict) — the networkInterfaces verification
+ * stance. The default decoder is the one lowered decoder; a custom
+ * decodeURIComponent option fences by name. */
+export function lowerQuerystringParseCall(L, call, loc) {
+    if (call.arguments.length > 4 || call.arguments.some(ts.isSpreadElement)) {
+        L.noLowering(`querystring.parse with ${call.arguments.length} arguments`, call);
+    }
+    const fence = () => L.noLowering("querystring.parse where the result is not the ParsedUrlQuery dictionary", call, "the `{ [key: string]: string | string[] }` shape is the supported result");
+    const result = L.mapTypeOf(L.typeOf(call));
+    if (result?.kind !== "record")
+        fence();
+    const dictShape = L.shapes.get(result.shapeId);
+    if (!dictShape || dictShape.tuple || dictShape.fields.length > 0 || !dictShape.indexValue)
+        fence();
+    const iv = dictShape.indexValue;
+    if (iv.kind !== "union")
+        fence();
+    const ivDef = L.unions.get(iv.unionId);
+    if (!ivDef)
+        fence();
+    let sawStr = false;
+    let sawArr = false;
+    for (const arm of ivDef.arms) {
+        if (arm.kind === "string")
+            sawStr = true;
+        else if (arm.kind === "array" && arm.elem.kind === "string")
+            sawArr = true;
+        // undefined rides @types/node's Dict; the f64 arm is the
+        // header-family canonicalization (types.ts interns every
+        // `string | string[]`-slotted dictionary as the one canonical
+        // header shape, whose slot adds number type-level only — parse
+        // never stores one).
+        else if (arm.kind !== "undefinedT" && arm.kind !== "f64")
+            fence();
+    }
+    if (!sawStr || !sawArr)
+        fence();
+    const str = call.arguments[0]
+        ? L.lowerExprExpecting(call.arguments[0], STRING)
+        : L.noLowering("querystring.parse without a query string", call);
+    const sep = qsSepEqArg(L, call.arguments[1], "&", "querystring.parse", loc);
+    const eq = qsSepEqArg(L, call.arguments[2], "=", "querystring.parse", loc);
+    // The options walk: maxKeys lowers (Node's rule — > 0 caps the pair
+    // count, 0 and negatives mean unlimited — lives in the runtime, so
+    // any number expression works); a custom decodeURIComponent changes
+    // every decoded byte and fences by name.
+    let maxKeys = { kind: "numLit", value: 1000, type: F64, loc };
+    const optsNode = call.arguments[3];
+    if (optsNode) {
+        if (!ts.isObjectLiteralExpression(optsNode)) {
+            L.noLowering("querystring.parse with a non-literal options argument", optsNode, "the supported form spells the options inline: parse(s, sep, eq, { maxKeys: n })");
+        }
+        for (const p of optsNode.properties) {
+            const m = optionMember(p);
+            if (!m) {
+                L.noLowering("querystring.parse with this options shape", p, "spreads and computed keys have no lowering — write each member inline");
+            }
+            if (m.name === "maxKeys") {
+                maxKeys = L.lowerExprExpecting(m.value, F64);
+            }
+            else if (m.name === "decodeURIComponent") {
+                L.noLowering("querystring.parse with a custom decodeURIComponent", p, "the default decoder is the lowered surface (strict decodeURIComponent with Node's lenient fallback)");
+            }
+            else {
+                fenceOrDropOptionKey(L, p, m.name, "querystring.parse", QS_PARSE_DOCUMENTED_OPTIONS, "maxKeys is the supported option");
+            }
+        }
+    }
+    return { kind: "libCall", fn: "qs.parse", args: [str, sep, eq, maxKeys], type: result, loc };
+}
+/** querystring.stringify / querystring.encode: the object crosses as a
+ * DOM value (dynFrom — JSON-safe records and, in JS sources, dyn values
+ * directly) and Node's encodeStringified rules run in the runtime
+ * (scr_qs_stringify), so arrays expand to repeated keys and
+ * null/undefined values are empty. The default encoder is the one
+ * lowered encoder; a custom encodeURIComponent option fences by name. */
+export function lowerQuerystringStringifyCall(L, call, loc) {
+    if (call.arguments.length > 4 || call.arguments.some(ts.isSpreadElement)) {
+        L.noLowering(`querystring.stringify with ${call.arguments.length} arguments`, call);
+    }
+    const objNode = call.arguments[0];
+    // stringify() / stringify(undefined) / stringify(null): Node answers
+    // '' for every non-object — the constant folds.
+    if (!objNode ||
+        objNode.kind === ts.SyntaxKind.NullKeyword ||
+        (ts.isIdentifier(objNode) && objNode.text === "undefined")) {
+        return { kind: "strLit", value: "", type: STRING, loc };
+    }
+    const objV = L.lowerExpr(objNode);
+    let obj;
+    if (objV.type.kind === "dyn") {
+        obj = objV;
+    }
+    else if (objV.type.kind === "record" && L.dynConvertible(objV.type)) {
+        obj = { kind: "dynFrom", value: objV, type: DYN, loc };
+    }
+    else {
+        L.noLowering(`querystring.stringify of '${L.fmt(objV.type)}' values`, objNode, "pass a record of string/number/boolean values (arrays of those expand to repeated keys; null/undefined values serialize empty)");
+    }
+    const sep = qsSepEqArg(L, call.arguments[1], "&", "querystring.stringify", loc);
+    const eq = qsSepEqArg(L, call.arguments[2], "=", "querystring.stringify", loc);
+    const optsNode = call.arguments[3];
+    if (optsNode) {
+        if (!ts.isObjectLiteralExpression(optsNode)) {
+            L.noLowering("querystring.stringify with a non-literal options argument", optsNode, "the supported form spells the options inline (and the only documented option, encodeURIComponent, has no lowering)");
+        }
+        for (const p of optsNode.properties) {
+            const m = optionMember(p);
+            if (!m) {
+                L.noLowering("querystring.stringify with this options shape", p, "spreads and computed keys have no lowering — write each member inline");
+            }
+            if (m.name === "encodeURIComponent") {
+                L.noLowering("querystring.stringify with a custom encodeURIComponent", p, "the default encoder (querystring.escape's component set) is the lowered surface");
+            }
+            else {
+                fenceOrDropOptionKey(L, p, m.name, "querystring.stringify", QS_STRINGIFY_DOCUMENTED_OPTIONS, "no stringify options have a lowering");
+            }
+        }
+    }
+    return { kind: "libCall", fn: "qs.stringify", args: [obj, sep, eq], type: STRING, loc };
+}
 export function lowerOsNetworkInterfacesCall(L, call, loc) {
     if (call.arguments.length !== 0) {
         L.noLowering(`networkInterfaces with ${call.arguments.length} arguments`, call, "networkInterfaces() takes no arguments");
@@ -5231,10 +5464,11 @@ export function isConsoleLog(L, call) {
     return consoleCallMember(L, call) === "log";
 }
 /** The console member of a `console.<member>(...)` call, for the lowered
-   * trio: "log" (stdout), and "error"/"warn" (both stderr — Node's warn IS
+   * set: "log"/"info"/"debug" (stdout — Node's info and debug ARE log
+   * under other names), and "error"/"warn" (both stderr — Node's warn IS
    * error under another name; the output is identical). Provenance-checked
-   * like every stdlib global. Null for anything else (console.info,
-   * console.table, a user's own console binding, ...). */
+   * like every stdlib global. Null for anything else (console.table, a
+   * user's own console binding, ...). */
 export function consoleCallMember(L, call) {
     if (!ts.isPropertyAccessExpression(call.expression))
         return null;
@@ -5242,7 +5476,7 @@ export function consoleCallMember(L, call) {
     if (access.questionDotToken || call.questionDotToken)
         return null;
     const name = access.name.text;
-    if (name !== "log" && name !== "error" && name !== "warn")
+    if (name !== "log" && name !== "info" && name !== "debug" && name !== "error" && name !== "warn")
         return null;
     return L.isStdlibGlobal(access.expression, "console") ? name : null;
 }