@scriptc/compiler 0.4.6 → 0.4.7

package/dist/frontend/ts7/rpc-process.js

@@ -1,84 +1,84 @@
-import { spawn } from "node:child_process";
+import { spawn, spawnSync } from "node:child_process";
 import { randomUUID } from "node:crypto";
-import { closeSync, openSync, readSync, writeSync } from "node:fs";
+import { closeSync, constants, mkdtempSync, openSync, readSync, rmSync, writeSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
 import { Ts7Wire } from "./rpc-wire.js";
+// Node's public spawn API does not expose synchronous pipe descriptors, so
+// the server's end of the channel is a named pipe on Windows and a FIFO pair
+// elsewhere, both opened with openSync. Keep this host-specific boundary out
+// of the statically compiled protocol.
 const liveTransports = new Set();
 const sleepBuffer = new Int32Array(new SharedArrayBuffer(4));
 function closeLiveTransports() {
     for (const transport of liveTransports)
         transport.close();
 }
-/** Own the child and its descriptors together: every failure path closes
- * both, and the exit hook exists only while at least one host is alive. */
-class Ts7ProcessIo {
+function track(transport) {
+    if (liveTransports.size === 0)
+        process.on("exit", closeLiveTransports);
+    liveTransports.add(transport);
+}
+function untrack(transport) {
+    liveTransports.delete(transport);
+    if (liveTransports.size === 0)
+        process.removeListener("exit", closeLiveTransports);
+}
+/** A synchronous read or write that retries an interrupted call and waits
+ * out a full pipe. */
+function transfer(operation, fd, buffer, offset, length) {
+    for (;;) {
+        try {
+            return operation(fd, buffer, offset, length, null);
+        }
+        catch (error) {
+            const code = error.code;
+            if (code === "EINTR")
+                continue;
+            if (code !== "EAGAIN")
+                throw error;
+            Atomics.wait(sleepBuffer, 0, 0, 1);
+        }
+    }
+}
+/** Windows: the server is a child process that creates a named pipe
+ * (`--pipe`), which this process opens. Windows has no zombie processes; the
+ * child's handle closes with the process. */
+class Ts7NamedPipeIo {
     child;
-    readFd = -1;
-    writeFd = -1;
     pipeFd = -1;
     closed = false;
     spawnError;
     constructor(executable, args) {
-        const windows = process.platform === "win32";
         const pipe = `\\\\.\\pipe\\scriptc-ts7-${process.pid}-${randomUUID()}`;
-        this.child = spawn(executable, windows ? [...args, "--pipe", pipe] : args, {
-            stdio: windows ? ["ignore", "ignore", "inherit"] : ["pipe", "pipe", "inherit"],
+        this.child = spawn(executable, [...args, "--pipe", pipe], {
+            stdio: ["ignore", "ignore", "inherit"],
             windowsHide: true,
         });
-        // A failed spawn emits asynchronously even when descriptor validation
-        // below has already thrown. Always consume that event.
+        // A failed spawn emits asynchronously even when the connection below has
+        // already thrown. Always consume that event.
         this.child.on("error", (error) => {
             this.spawnError = error;
         });
         try {
             if (this.child.pid === undefined)
                 throw new Error(`Unable to start TypeScript server: ${executable}`);
-            if (windows) {
-                for (let attempt = 0; attempt < 500; attempt++) {
-                    try {
-                        this.pipeFd = openSync(pipe, "r+");
-                        break;
-                    }
-                    catch (error) {
-                        const code = error.code;
-                        if (code !== "ENOENT" && code !== "EBUSY")
-                            throw error;
-                        Atomics.wait(sleepBuffer, 0, 0, 10);
-                    }
+            for (let attempt = 0; attempt < 500; attempt++) {
+                try {
+                    this.pipeFd = openSync(pipe, "r+");
+                    break;
                 }
-                if (this.pipeFd === -1)
-                    throw new Error("TypeScript server: timed out connecting to named pipe");
-                this.readFd = this.pipeFd;
-                this.writeFd = this.pipeFd;
-            }
-            else {
-                const stdout = this.child.stdout;
-                const stdin = this.child.stdin;
-                const readHandle = stdout?._handle;
-                const writeHandle = stdin?._handle;
-                if (!stdout ||
-                    !stdin ||
-                    !readHandle ||
-                    !writeHandle ||
-                    !Number.isInteger(readHandle.fd) ||
-                    readHandle.fd < 0 ||
-                    !Number.isInteger(writeHandle.fd) ||
-                    writeHandle.fd < 0 ||
-                    typeof readHandle.setBlocking !== "function" ||
-                    typeof writeHandle.setBlocking !== "function") {
-                    throw new Error("TypeScript server: Node synchronous pipe handles are unavailable");
+                catch (error) {
+                    const code = error.code;
+                    if (code !== "ENOENT" && code !== "EBUSY")
+                        throw error;
+                    Atomics.wait(sleepBuffer, 0, 0, 10);
                 }
-                readHandle.setBlocking(true);
-                writeHandle.setBlocking(true);
-                this.child.stdout.pause();
-                stdout.unref();
-                stdin.unref();
-                this.readFd = readHandle.fd;
-                this.writeFd = writeHandle.fd;
             }
+            if (this.pipeFd === -1)
+                throw new Error("TypeScript server: timed out connecting to named pipe");
             this.child.unref();
-            if (liveTransports.size === 0)
-                process.on("exit", closeLiveTransports);
-            liveTransports.add(this);
+            track(this);
         }
         catch (error) {
             this.close();
@@ -90,61 +90,29 @@ class Ts7ProcessIo {
             throw this.spawnError;
         if (this.closed)
             throw new Error("TypeScript server transport is closed");
-        for (;;) {
-            try {
-                return readSync(this.readFd, buffer, offset, length, null);
-            }
-            catch (error) {
-                const code = error.code;
-                if (code === "EINTR")
-                    continue;
-                if (code !== "EAGAIN")
-                    throw error;
-                Atomics.wait(sleepBuffer, 0, 0, 1);
-            }
-        }
+        return transfer(readSync, this.pipeFd, buffer, offset, length);
     };
     write = (buffer, offset, length) => {
         if (this.spawnError)
             throw this.spawnError;
         if (this.closed)
             throw new Error("TypeScript server transport is closed");
-        for (;;) {
-            try {
-                return writeSync(this.writeFd, buffer, offset, length, null);
-            }
-            catch (error) {
-                const code = error.code;
-                if (code === "EINTR")
-                    continue;
-                if (code !== "EAGAIN")
-                    throw error;
-                Atomics.wait(sleepBuffer, 0, 0, 1);
-            }
-        }
+        return transfer(writeSync, this.pipeFd, buffer, offset, length);
     };
     close = () => {
         if (this.closed)
             return;
         this.closed = true;
-        liveTransports.delete(this);
-        if (liveTransports.size === 0)
-            process.removeListener("exit", closeLiveTransports);
+        untrack(this);
         if (this.pipeFd !== -1) {
             try {
                 closeSync(this.pipeFd);
             }
             catch {
-                /* still close the child */
+                /* still end the child */
             }
             this.pipeFd = -1;
         }
-        this.readFd = -1;
-        this.writeFd = -1;
-        this.child.stdout?.destroy();
-        this.child.stdin?.destroy();
-        // A failed spawn can leave libuv's process handle without a PID.
-        // Never signal it: PID zero has process-group semantics on POSIX.
         // The channel is closed and all its work is discarded. SIGTERM invokes
         // tsgo's cancellation handler, which can race EOF and print "context
         // canceled" into an otherwise successful compile's stderr.
@@ -152,7 +120,117 @@ class Ts7ProcessIo {
             this.child.kill("SIGKILL");
     };
 }
+/* POSIX: the server is not this process's child. A shell that spawnSync runs
+ * and reaps creates two FIFOs, starts the server in the background with its
+ * standard input and output on them, prints its PID and exits; the server's
+ * parent becomes init (or the nearest subreaper), which reaps it. A child of
+ * this process would stay a zombie after it exits: Node reaps children only
+ * from its event loop, which a synchronous compile never returns to. The
+ * subshell points its standard streams at /dev/null before it opens the
+ * FIFOs, so spawnSync's output pipe closes as soon as the shell exits. A
+ * missing or non-executable server fails here, before any FIFO exists: the
+ * background subshell would otherwise block opening its input and the failure
+ * would only surface as end of file on the first read. */
+const FIFO_LAUNCH = 'i=$1 o=$2; shift 2; command -v "$1" >/dev/null || exit 127; mkfifo -m 600 "$i" "$o" || exit 1; ' +
+    '( exec </dev/null >/dev/null; exec "$@" <"$i" >"$o" ) & echo $!';
+/** How long a starting server may take to open its input, in milliseconds. */
+const FIFO_OPEN_TIMEOUT = 10_000;
+function processAlive(pid) {
+    try {
+        process.kill(pid, 0);
+        return true;
+    }
+    catch (error) {
+        return error.code === "EPERM";
+    }
+}
+export class Ts7FifoIo {
+    readFd = -1;
+    writeFd = -1;
+    closed = false;
+    /** The server's process ID, for tests: it is never signaled. */
+    pid;
+    constructor(executable, args) {
+        const directory = mkdtempSync(join(tmpdir(), "scriptc-ts7-"));
+        const input = join(directory, "in");
+        const output = join(directory, "out");
+        try {
+            const shell = spawnSync("/bin/sh", ["-c", FIFO_LAUNCH, "sh", input, output, executable, ...args], { stdio: ["ignore", "pipe", "inherit"], encoding: "utf8" });
+            const pid = Number(shell.stdout?.trim());
+            if (shell.status !== 0 || !Number.isSafeInteger(pid) || pid <= 0)
+                throw new Error(`Unable to start TypeScript server: ${executable}`);
+            this.pid = pid;
+            // A non-blocking open fails with ENXIO until the server opens its end,
+            // so a server that exits as it starts cannot block this process.
+            let probe = -1;
+            for (let waited = 0; probe < 0; waited++) {
+                try {
+                    probe = openSync(input, constants.O_WRONLY | constants.O_NONBLOCK);
+                }
+                catch (error) {
+                    if (error.code !== "ENXIO")
+                        throw error;
+                    if (waited >= FIFO_OPEN_TIMEOUT || !processAlive(pid))
+                        throw new Error(`Unable to start TypeScript server: ${executable}`);
+                    Atomics.wait(sleepBuffer, 0, 0, 1);
+                }
+            }
+            try {
+                // The server reads now, so a blocking open returns at once.
+                this.writeFd = openSync(input, "w");
+            }
+            finally {
+                closeSync(probe);
+            }
+            // The server's shell opens its output right after its input.
+            this.readFd = openSync(output, "r");
+            track(this);
+        }
+        catch (error) {
+            this.close();
+            throw error;
+        }
+        finally {
+            // Both ends are open, or the start failed: the names are not needed.
+            rmSync(directory, { recursive: true, force: true });
+        }
+    }
+    read = (buffer, offset, length) => {
+        if (this.closed)
+            throw new Error("TypeScript server transport is closed");
+        return transfer(readSync, this.readFd, buffer, offset, length);
+    };
+    write = (buffer, offset, length) => {
+        if (this.closed)
+            throw new Error("TypeScript server transport is closed");
+        return transfer(writeSync, this.writeFd, buffer, offset, length);
+    };
+    /** Closing both FIFOs ends the session: the server reads end of file on
+     * its input and exits, and a write to its closed output ends it with
+     * SIGPIPE. It is never signaled, because once init has reaped it its PID
+     * can belong to another process. */
+    close = () => {
+        if (this.closed)
+            return;
+        this.closed = true;
+        untrack(this);
+        for (const fd of [this.writeFd, this.readFd]) {
+            if (fd === -1)
+                continue;
+            try {
+                closeSync(fd);
+            }
+            catch {
+                /* close the other end too */
+            }
+        }
+        this.writeFd = -1;
+        this.readFd = -1;
+    };
+}
 export function spawnTs7Wire(executable, args) {
-    return new Ts7Wire(new Ts7ProcessIo(executable, args));
+    return new Ts7Wire(process.platform === "win32"
+        ? new Ts7NamedPipeIo(executable, args)
+        : new Ts7FifoIo(executable, args));
 }
 //# sourceMappingURL=rpc-process.js.map

package/dist/frontend/ts7/rpc-process.js.map

@@ -1 +1 @@
-{"version":3,"file":"rpc-process.js","sourceRoot":"","sources":["../../../src/frontend/ts7/rpc-process.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAqB,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAEnE,OAAO,EAAE,OAAO,EAAkB,MAAM,eAAe,CAAC;AAcxD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAgB,CAAC;AAC/C,MAAM,WAAW,GAAG,IAAI,UAAU,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;AAE7D,SAAS,mBAAmB;IAC1B,KAAK,MAAM,SAAS,IAAI,cAAc;QAAE,SAAS,CAAC,KAAK,EAAE,CAAC;AAC5D,CAAC;AAED;2EAC2E;AAC3E,MAAM,YAAY;IACC,KAAK,CAAe;IAC7B,MAAM,GAAG,CAAC,CAAC,CAAC;IACZ,OAAO,GAAG,CAAC,CAAC,CAAC;IACb,MAAM,GAAG,CAAC,CAAC,CAAC;IACZ,MAAM,GAAG,KAAK,CAAC;IACf,UAAU,CAAoB;IAEtC,YAAY,UAAkB,EAAE,IAAc;QAC5C,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC;QAC7C,MAAM,IAAI,GAAG,4BAA4B,OAAO,CAAC,GAAG,IAAI,UAAU,EAAE,EAAE,CAAC;QACvE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;YACzE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC;YAC9E,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,sEAAsE;QACtE,uDAAuD;QACvD,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAY,EAAE,EAAE;YACtC,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC;QAC1B,CAAC,CAAC,CAAC;QACH,IAAI,CAAC;YACH,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,SAAS;gBAC9B,MAAM,IAAI,KAAK,CAAC,sCAAsC,UAAU,EAAE,CAAC,CAAC;YACtE,IAAI,OAAO,EAAE,CAAC;gBACZ,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC;oBAC/C,IAAI,CAAC;wBACH,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;wBACnC,MAAM;oBACR,CAAC;oBAAC,OAAO,KAAK,EAAE,CAAC;wBACf,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI,CAAC;wBACnD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO;4BAAE,MAAM,KAAK,CAAC;wBACvD,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;oBACtC,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;oBACpB,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;gBAC3E,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;gBAC1B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC;YAC7B,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAA2B,CAAC;gBACtD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAA0B,CAAC;gBACpD,MAAM,UAAU,GAAG,MAAM,EAAE,OAAO,CAAC;gBACnC,MAAM,WAAW,GAAG,KAAK,EAAE,OAAO,CAAC;gBACnC,IACE,CAAC,MAAM;oBACP,CAAC,KAAK;oBACN,CAAC,UAAU;oBACX,CAAC,WAAW;oBACZ,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;oBAChC,UAAU,CAAC,EAAE,GAAG,CAAC;oBACjB,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;oBACjC,WAAW,CAAC,EAAE,GAAG,CAAC;oBAClB,OAAO,UAAU,CAAC,WAAW,KAAK,UAAU;oBAC5C,OAAO,WAAW,CAAC,WAAW,KAAK,UAAU,EAC7C,CAAC;oBACD,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;gBACtF,CAAC;gBACD,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBAC7B,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBAC9B,IAAI,CAAC,KAAK,CAAC,MAAO,CAAC,KAAK,EAAE,CAAC;gBAC3B,MAAM,CAAC,KAAK,EAAE,CAAC;gBACf,KAAK,CAAC,KAAK,EAAE,CAAC;gBACd,IAAI,CAAC,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC;gBAC5B,IAAI,CAAC,OAAO,GAAG,WAAW,CAAC,EAAE,CAAC;YAChC,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YACnB,IAAI,cAAc,CAAC,IAAI,KAAK,CAAC;gBAAE,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;YACvE,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IAED,IAAI,GAAG,CAAC,MAAkB,EAAE,MAAc,EAAE,MAAc,EAAU,EAAE;QACpE,IAAI,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,CAAC,UAAU,CAAC;QAC3C,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC1E,SAAS,CAAC;YACR,IAAI,CAAC;gBACH,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC7D,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI,CAAC;gBACnD,IAAI,IAAI,KAAK,OAAO;oBAAE,SAAS;gBAC/B,IAAI,IAAI,KAAK,QAAQ;oBAAE,MAAM,KAAK,CAAC;gBACnC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,GAAG,CAAC,MAAkB,EAAE,MAAc,EAAE,MAAc,EAAU,EAAE;QACrE,IAAI,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,CAAC,UAAU,CAAC;QAC3C,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC1E,SAAS,CAAC;YACR,IAAI,CAAC;gBACH,OAAO,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC/D,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI,CAAC;gBACnD,IAAI,IAAI,KAAK,OAAO;oBAAE,SAAS;gBAC/B,IAAI,IAAI,KAAK,QAAQ;oBAAE,MAAM,KAAK,CAAC;gBACnC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,GAAG,GAAS,EAAE;QACjB,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,cAAc,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;QACnF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC;gBACH,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzB,CAAC;YAAC,MAAM,CAAC;gBACP,2BAA2B;YAC7B,CAAC;YACD,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjB,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC;QAC5B,iEAAiE;QACjE,kEAAkE;QAClE,uEAAuE;QACvE,qEAAqE;QACrE,2DAA2D;QAC3D,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC,CAAC;CACH;AAED,MAAM,UAAU,YAAY,CAAC,UAAkB,EAAE,IAAc;IAC7D,OAAO,IAAI,OAAO,CAAC,IAAI,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;AACzD,CAAC"}
+{"version":3,"file":"rpc-process.js","sourceRoot":"","sources":["../../../src/frontend/ts7/rpc-process.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,SAAS,EAAqB,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACnG,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,OAAO,EAAkB,MAAM,eAAe,CAAC;AAExD,2EAA2E;AAC3E,6EAA6E;AAC7E,6EAA6E;AAC7E,uCAAuC;AAEvC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAa,CAAC;AAC5C,MAAM,WAAW,GAAG,IAAI,UAAU,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;AAE7D,SAAS,mBAAmB;IAC1B,KAAK,MAAM,SAAS,IAAI,cAAc;QAAE,SAAS,CAAC,KAAK,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,KAAK,CAAC,SAAoB;IACjC,IAAI,cAAc,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IACvE,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,OAAO,CAAC,SAAoB;IACnC,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACjC,IAAI,cAAc,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;AACrF,CAAC;AAED;sBACsB;AACtB,SAAS,QAAQ,CACf,SAMW,EACX,EAAU,EACV,MAAkB,EAClB,MAAc,EACd,MAAc;IAEd,SAAS,CAAC;QACR,IAAI,CAAC;YACH,OAAO,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QACrD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI,CAAC;YACnD,IAAI,IAAI,KAAK,OAAO;gBAAE,SAAS;YAC/B,IAAI,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;YACnC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;AACH,CAAC;AAED;;6CAE6C;AAC7C,MAAM,cAAc;IACD,KAAK,CAAe;IAC7B,MAAM,GAAG,CAAC,CAAC,CAAC;IACZ,MAAM,GAAG,KAAK,CAAC;IACf,UAAU,CAAoB;IAEtC,YAAY,UAAkB,EAAE,IAAc;QAC5C,MAAM,IAAI,GAAG,4BAA4B,OAAO,CAAC,GAAG,IAAI,UAAU,EAAE,EAAE,CAAC;QACvE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE;YACxD,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC;YACtC,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,yEAAyE;QACzE,6CAA6C;QAC7C,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAY,EAAE,EAAE;YACtC,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC;QAC1B,CAAC,CAAC,CAAC;QACH,IAAI,CAAC;YACH,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,SAAS;gBAC9B,MAAM,IAAI,KAAK,CAAC,sCAAsC,UAAU,EAAE,CAAC,CAAC;YACtE,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC;gBAC/C,IAAI,CAAC;oBACH,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBACnC,MAAM;gBACR,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI,CAAC;oBACnD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO;wBAAE,MAAM,KAAK,CAAC;oBACvD,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;gBACpB,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;YAC3E,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YACnB,KAAK,CAAC,IAAI,CAAC,CAAC;QACd,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IAED,IAAI,GAAG,CAAC,MAAkB,EAAE,MAAc,EAAE,MAAc,EAAU,EAAE;QACpE,IAAI,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,CAAC,UAAU,CAAC;QAC3C,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC1E,OAAO,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACjE,CAAC,CAAC;IAEF,KAAK,GAAG,CAAC,MAAkB,EAAE,MAAc,EAAE,MAAc,EAAU,EAAE;QACrE,IAAI,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,CAAC,UAAU,CAAC;QAC3C,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC1E,OAAO,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC,CAAC;IAEF,KAAK,GAAG,GAAS,EAAE;QACjB,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,OAAO,CAAC,IAAI,CAAC,CAAC;QACd,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC;gBACH,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzB,CAAC;YAAC,MAAM,CAAC;gBACP,yBAAyB;YAC3B,CAAC;YACD,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnB,CAAC;QACD,uEAAuE;QACvE,qEAAqE;QACrE,2DAA2D;QAC3D,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC,CAAC;CACH;AAED;;;;;;;;;;0DAU0D;AAC1D,MAAM,WAAW,GACf,iGAAiG;IACjG,iEAAiE,CAAC;AAEpE,8EAA8E;AAC9E,MAAM,iBAAiB,GAAG,MAAM,CAAC;AAEjC,SAAS,YAAY,CAAC,GAAW;IAC/B,IAAI,CAAC;QACH,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAQ,KAA+B,CAAC,IAAI,KAAK,OAAO,CAAC;IAC3D,CAAC;AACH,CAAC;AAED,MAAM,OAAO,SAAS;IACZ,MAAM,GAAG,CAAC,CAAC,CAAC;IACZ,OAAO,GAAG,CAAC,CAAC,CAAC;IACb,MAAM,GAAG,KAAK,CAAC;IACvB,gEAAgE;IACvD,GAAG,CAAS;IAErB,YAAY,UAAkB,EAAE,IAAc;QAC5C,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,SAAS,CACrB,SAAS,EACT,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,EAC7D,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAC3D,CAAC;YACF,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACzC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC;gBAC9D,MAAM,IAAI,KAAK,CAAC,sCAAsC,UAAU,EAAE,CAAC,CAAC;YACtE,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;YACf,uEAAuE;YACvE,iEAAiE;YACjE,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;YACf,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;gBACzC,IAAI,CAAC;oBACH,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;gBACrE,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,IAAK,KAA+B,CAAC,IAAI,KAAK,OAAO;wBAAE,MAAM,KAAK,CAAC;oBACnE,IAAI,MAAM,IAAI,iBAAiB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;wBACnD,MAAM,IAAI,KAAK,CAAC,sCAAsC,UAAU,EAAE,CAAC,CAAC;oBACtE,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;YACD,IAAI,CAAC;gBACH,4DAA4D;gBAC5D,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACtC,CAAC;oBAAS,CAAC;gBACT,SAAS,CAAC,KAAK,CAAC,CAAC;YACnB,CAAC;YACD,6DAA6D;YAC7D,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,CAAC;QACd,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,MAAM,KAAK,CAAC;QACd,CAAC;gBAAS,CAAC;YACT,qEAAqE;YACrE,MAAM,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,IAAI,GAAG,CAAC,MAAkB,EAAE,MAAc,EAAE,MAAc,EAAU,EAAE;QACpE,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC1E,OAAO,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACjE,CAAC,CAAC;IAEF,KAAK,GAAG,CAAC,MAAkB,EAAE,MAAc,EAAE,MAAc,EAAU,EAAE;QACrE,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC1E,OAAO,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACnE,CAAC,CAAC;IAEF;;;wCAGoC;IACpC,KAAK,GAAG,GAAS,EAAE;QACjB,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,OAAO,CAAC,IAAI,CAAC,CAAC;QACd,KAAK,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7C,IAAI,EAAE,KAAK,CAAC,CAAC;gBAAE,SAAS;YACxB,IAAI,CAAC;gBACH,SAAS,CAAC,EAAE,CAAC,CAAC;YAChB,CAAC;YAAC,MAAM,CAAC;gBACP,6BAA6B;YAC/B,CAAC;QACH,CAAC;QACD,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnB,CAAC,CAAC;CACH;AAED,MAAM,UAAU,YAAY,CAAC,UAAkB,EAAE,IAAc;IAC7D,OAAO,IAAI,OAAO,CAChB,OAAO,CAAC,QAAQ,KAAK,OAAO;QAC1B,CAAC,CAAC,IAAI,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC;QACtC,CAAC,CAAC,IAAI,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CACpC,CAAC;AACJ,CAAC"}

package/dist/frontend/ts7/rpc-process.test.js

@@ -1,29 +1,57 @@
-import { execFile } from "node:child_process";
+import { execFile, execFileSync } from "node:child_process";
 import { promisify } from "node:util";
 import { expect, test } from "vitest";
+import { Ts7FifoIo } from "./rpc-process.js";
 const execFileAsync = promisify(execFile);
-test.skipIf(process.platform === "win32")("closing the owned server is quiet even when its cancellation handler writes stderr", async () => {
-    // A ready message ensures the signal handler is installed before close.
-    // Keep stdin idle, matching an API server waiting for its next request.
-    const server = `
-    process.on('SIGTERM', () => {
-      process.stderr.write('context canceled\\n');
-      process.exit(0);
-    });
-    process.stdout.write(Buffer.from([0x93, 4, 0xc4, 0, 0xc4, 0]));
-    setInterval(() => {}, 1000);
-  `;
-    const moduleUrl = new URL("./rpc-process.ts", import.meta.url).href;
+const posix = process.platform !== "win32";
+function alive(pid) {
+    try {
+        process.kill(pid, 0);
+        return true;
+    }
+    catch (error) {
+        return error.code === "EPERM";
+    }
+}
+test.skipIf(!posix)("a FIFO server echoes, and exits when its transport closes", () => {
+    const io = new Ts7FifoIo("/bin/cat", []);
+    const bytes = Buffer.from("ping\n");
+    expect(io.write(bytes, 0, bytes.length)).toBe(bytes.length);
+    const reply = Buffer.alloc(16);
+    expect(reply.subarray(0, io.read(reply, 0, reply.length)).toString()).toBe("ping\n");
+    io.close();
+    io.close();
+    expect(() => io.read(reply, 0, 1)).toThrow("closed");
+    // The server is not this process's child: init reaps it once it exits.
+    const deadline = Date.now() + 5000;
+    while (alive(io.pid) && Date.now() < deadline)
+        execFileSync("sleep", ["0.01"]);
+    expect(alive(io.pid)).toBe(false);
+});
+test.skipIf(!posix)("a missing FIFO server fails at construction and tracks nothing", () => {
+    const before = process.listenerCount("exit");
+    expect(() => new Ts7FifoIo("/nonexistent/scriptc-ts7-server", [])).toThrow("Unable to start TypeScript server");
+    expect(process.listenerCount("exit")).toBe(before);
+});
+test.skipIf(!posix)("replaced and closed checker servers leave no zombie children behind", async () => {
+    // Source budget 1: every parse after the first replaces the server.
+    const parserUrl = new URL("./source-parser.ts", import.meta.url).href;
+    const apiUrl = new URL("./rpc-api.ts", import.meta.url).href;
     const host = `
-    import { spawnTs7Wire } from ${JSON.stringify(moduleUrl)};
-    const wire = spawnTs7Wire(process.execPath, ['--eval', ${JSON.stringify(server)}]);
-    const ready = wire.read();
-    if (ready.kind !== 4) throw new Error('server was not ready');
-    wire.close();
-    wire.close();
+    import { execFileSync } from 'node:child_process';
+    import { Ts7SourceParser } from ${JSON.stringify(parserUrl)};
+    import { Ts7Api } from ${JSON.stringify(apiUrl)};
+    const parser = new Ts7SourceParser((options) => new Ts7Api(options), process.cwd(), 1);
+    for (let n = 0; n < 12; n++) parser.parse('f' + n + '.ts', 'export const v' + n + ' = ' + n + ';', 'ts');
+    parser.close();
+    const zombies = execFileSync('ps', ['-A', '-o', 'ppid=,stat='], { encoding: 'utf8' })
+      .split('\\n')
+      .map((line) => line.trim().split(/\\s+/))
+      .filter(([ppid, stat]) => Number(ppid) === process.pid && (stat ?? '').startsWith('Z'));
+    console.log(JSON.stringify({ zombies: zombies.length }));
   `;
-    const result = await execFileAsync(process.execPath, ["--import", "tsx", "--input-type=module", "--eval", host], { timeout: 10_000 });
-    expect(result.stdout).toBe("");
+    const result = await execFileAsync(process.execPath, ["--import", "tsx", "--input-type=module", "--eval", host], { timeout: 60_000 });
+    expect(JSON.parse(result.stdout)).toEqual({ zombies: 0 });
     expect(result.stderr).toBe("");
 });
 //# sourceMappingURL=rpc-process.test.js.map

package/dist/frontend/ts7/rpc-process.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"rpc-process.test.js","sourceRoot":"","sources":["../../../src/frontend/ts7/rpc-process.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAEtC,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAE1C,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CACvC,oFAAoF,EACpF,KAAK,IAAI,EAAE;IACT,wEAAwE;IACxE,wEAAwE;IACxE,MAAM,MAAM,GAAG;;;;;;;GAOhB,CAAC;IACA,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,kBAAkB,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;IACpE,MAAM,IAAI,GAAG;mCACkB,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;6DACC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;;;;;GAKhF,CAAC;IACA,MAAM,MAAM,GAAG,MAAM,aAAa,CAChC,OAAO,CAAC,QAAQ,EAChB,CAAC,UAAU,EAAE,KAAK,EAAE,qBAAqB,EAAE,QAAQ,EAAE,IAAI,CAAC,EAC1D,EAAE,OAAO,EAAE,MAAM,EAAE,CACpB,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjC,CAAC,CACF,CAAC"}
+{"version":3,"file":"rpc-process.test.js","sourceRoot":"","sources":["../../../src/frontend/ts7/rpc-process.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE7C,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC;AAE3C,SAAS,KAAK,CAAC,GAAW;IACxB,IAAI,CAAC;QACH,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAQ,KAA+B,CAAC,IAAI,KAAK,OAAO,CAAC;IAC3D,CAAC;AACH,CAAC;AAED,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACpF,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC/B,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrF,EAAE,CAAC,KAAK,EAAE,CAAC;IACX,EAAE,CAAC,KAAK,EAAE,CAAC;IACX,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACrD,uEAAuE;IACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;IACnC,OAAO,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,QAAQ;QAAE,YAAY,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/E,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,gEAAgE,EAAE,GAAG,EAAE;IACzF,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,SAAS,CAAC,iCAAiC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CACxE,mCAAmC,CACpC,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CACjB,qEAAqE,EACrE,KAAK,IAAI,EAAE;IACT,oEAAoE;IACpE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,oBAAoB,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;IACtE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,cAAc,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;IAC7D,MAAM,IAAI,GAAG;;sCAEqB,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;6BAClC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;;;;;;;;;GAShD,CAAC;IACA,MAAM,MAAM,GAAG,MAAM,aAAa,CAChC,OAAO,CAAC,QAAQ,EAChB,CAAC,UAAU,EAAE,KAAK,EAAE,qBAAqB,EAAE,QAAQ,EAAE,IAAI,CAAC,EAC1D,EAAE,OAAO,EAAE,MAAM,EAAE,CACpB,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IAC1D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjC,CAAC,CACF,CAAC"}

package/dist/frontend/tsc-codes.js

@@ -35,6 +35,20 @@ export const ADOPTED_OPTIONS = [
     "jsxImportSource",
     "reactNamespace",
 ];
+/* ── The early-error boundary (read this before relaxing a code) ────────
+ *
+ * Some of the codes below do double duty: TypeScript reports them for a
+ * JavaScript construct that ECMAScript ALSO makes a SyntaxError (a
+ * redeclared block binding, a declaration in a statement-only position).
+ * Relaxing such a code removes that construct's only rejection, so a
+ * parse-negative program would start compiling and running.
+ *
+ * frontend/early-errors.ts owns those rejections now, under their own
+ * preflight codes — SC0005 (duplicate lexical declaration in a block or
+ * switch statement list), SC0006 (lexical declaration colliding with a
+ * `var` in the same block), SC0007 (declaration in a single-statement
+ * position). A relaxation that needs one of those rules to keep firing must
+ * land with the matching rule in that pass, not rely on this table. */
 export const JS_RELAXED_TSC_CODES = new Set([
     // implicit any (params, variables, elements, this, returns, rest,
     // construct signatures, index reads over shapes with no index
@@ -108,11 +122,24 @@ export const JS_RELAXED_TSC_CODES = new Set([
     2488,
     2721,
     2722,
+    // the async-iterator protocol demand (2504: "must have a
+    // '[Symbol.asyncIterator]()' method that returns an async iterator").
+    // Whether a value is async-iterable is a runtime fact of untyped JS, exactly
+    // like the sync demand (2488) relaxed above: `for await` over a non-iterable
+    // value and `yield*` in an async generator both lower through the runtime
+    // protocol openers, which read the method, call it, and throw TypeError at
+    // the site when it is missing, uncallable, or returns a non-object — the
+    // same protocol failure Node reports. 2505 is the sync sibling on the typed
+    // lowering lanes and stays enforced.
+    2504,
     // an UNUSED @ts-expect-error: the directive annotated an error visible
     // under the project's OWN tsconfig world — scriptc's world deliberately
     // differs (adopted options, hidden declaration twins), and an unused
     // suppression changes nothing at runtime
     2578,
+    // a primitive on the left of instanceof (`"x" instanceof String`): Node
+    // answers false, which the lowering folds
+    2358,
     // a lib-floor demand (es2024+ members under the es2023 lib): the member
     // types as the error-any and its use fences per site with the honest
     // no-lowering story instead of gating the whole program
@@ -137,6 +164,16 @@ export const JS_RELAXED_TSC_CODES = new Set([
     // binding types as any and reached uses fence instead of passing unchecked
     2307,
     2792,
+    // a write to a property declarations mark readonly (2540): `readonly` is
+    // a type annotation that Node never sees (Next.js's types mark
+    // process.env.NODE_ENV readonly; its server.js assigns it); the write
+    // lowers like any other and keeps its runtime behavior
+    2540,
+    // a resolved JavaScript module without declarations (7016): Node loads
+    // it like any other module; deployment trees such as Next.js standalone
+    // output ship runtime files only, so the binding types as any and its
+    // uses take the dynamic paths, as for 2307
+    7016,
     // `delete` of a property the inference typed required (2790): JS deletes
     // any configurable property, and the lowering checks each delete's
     // receiver itself
@@ -149,6 +186,39 @@ export const JS_RELAXED_TSC_CODES = new Set([
     // ride the checked-dynamic tree; unsupported operations report a compile-time diagnostic).
     18046,
     2571,
+    // UNDECLARED NAMES in a JavaScript source: Node resolves them at run time,
+    // never at compile time — a READ throws the catchable
+    // `ReferenceError: <name> is not defined` at the access (`typeof` of one
+    // answers "undefined"), and a sloppy-mode WRITE creates a global. The
+    // lowerer turns the read into `scr_undef_global_read` (exact Node text and
+    // behavior) and refuses the write with SC1091, which names the Node-island
+    // route the sloppy semantics need (the plan's D-2/D-5). TypeScript input
+    // keeps the compile error: an undeclared name there is a bug, not a
+    // runtime path. 2552 is 2304's did-you-mean spelling, and 18004 is the
+    // same unresolved name in SHORTHAND position (`{ x }`), which the checker
+    // reports against the property instead of the reference.
+    2304,
+    2552,
+    18004,
+    // ---- The checker's OPINIONS about legal JavaScript ----
+    // Each diagnostic below reports that a construct is unusual for TypeScript,
+    // never that it is illegal JavaScript: Node gives it a defined runtime
+    // meaning and the lowerer already builds it. TypeScript input keeps all
+    // three.
+    //
+    // 2695, an unused comma-operand left side (`(0, fn)`, `(0, [[x]] = [])`):
+    // the operator evaluates the left operand for its effects and yields the
+    // right one; the lowerer emits a sequence expression for it.
+    2695,
+    // 18050, `null`/`undefined` in an arithmetic or bitwise position
+    // (`null + undefined`, `null * 3`): ToNumber gives them 0 and NaN, which
+    // the numeric coercion implements for a unit literal; the demand comes
+    // from strictNullChecks, not from JavaScript.
+    18050,
+    // 7057, a `yield` in a generator with no return-type annotation: the
+    // generator protocol is untyped in JavaScript and the sent value is
+    // whatever the caller passes. The generator lowering owns the channels.
+    7057,
 ]);
 /* Arithmetic on an `any` operand (TS2362/2363/2365 fire when the other
  * side is bigint-ish): plain JS — relaxed only when 'any' participates. */

package/dist/frontend/tsc-codes.js.map

@@ -1 +1 @@
-{"version":3,"file":"tsc-codes.js","sourceRoot":"","sources":["../../src/frontend/tsc-codes.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,QAAQ;IACR,eAAe;IACf,kBAAkB;IAClB,qBAAqB;IACrB,qBAAqB;IACrB,8BAA8B;IAC9B,6BAA6B;IAC7B,gBAAgB;IAChB,cAAc;IACd,4BAA4B;IAC5B,0BAA0B;IAC1B,4BAA4B;IAC5B,oBAAoB;IACpB,oCAAoC;IACpC,mBAAmB;IACnB,4BAA4B;IAC5B,gBAAgB;IAChB,oBAAoB;IACpB,mBAAmB;IACnB,sBAAsB;IACtB,cAAc;IACd,iEAAiE;IACjE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,iBAAiB;IACjB,8BAA8B;IAC9B,oEAAoE;IACpE,iEAAiE;IACjE,KAAK;IACL,YAAY;IACZ,oBAAoB;IACpB,iBAAiB;IACjB,gBAAgB;CACR,CAAC;AAEX,MAAM,CAAC,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC;IAC/D,kEAAkE;IAClE,8DAA8D;IAC9D,iCAAiC;IACjC,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,oEAAoE;IACpE,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,KAAK;IACL,KAAK;IACL,oEAAoE;IACpE,uEAAuE;IACvE,qEAAqE;IACrE,qEAAqE;IACrE,mCAAmC;IACnC,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI,EAAE,4DAA4D;IAClE,IAAI,EAAE,yEAAyE;IAC/E,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,wEAAwE;IACxE,4EAA4E;IAC5E,oEAAoE;IACpE,kBAAkB;IAClB,IAAI;IACJ,IAAI;IACJ,qEAAqE;IACrE,uEAAuE;IACvE,mEAAmE;IACnE,sEAAsE;IACtE,kEAAkE;IAClE,sEAAsE;IACtE,wDAAwD;IACxD,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,4DAA4D;IAC5D,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,wEAAwE;IACxE,qEAAqE;IACrE,yCAAyC;IACzC,IAAI;IACJ,wEAAwE;IACxE,qEAAqE;IACrE,wDAAwD;IACxD,IAAI;IACJ,wEAAwE;IACxE,sEAAsE;IACtE,6DAA6D;IAC7D,IAAI;IACJ,IAAI;IACJ,iEAAiE;IACjE,IAAI;IACJ,mEAAmE;IACnE,sEAAsE;IACtE,IAAI;IACJ,qEAAqE;IACrE,iEAAiE;IACjE,qEAAqE;IACrE,yCAAyC;IACzC,IAAI;IACJ,IAAI;IACJ,oEAAoE;IACpE,2EAA2E;IAC3E,IAAI;IACJ,IAAI;IACJ,yEAAyE;IACzE,mEAAmE;IACnE,kBAAkB;IAClB,IAAI;IACJ,iEAAiE;IACjE,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,2FAA2F;IAC3F,KAAK;IACL,IAAI;CACL,CAAC,CAAC;AAEH;2EAC2E;AAC3E,MAAM,CAAC,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAEtF;;gCAEgC;AAChC,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,sEAAsE;IACtE,+CAA+C;IAC/C,OAAO,CACL,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;QACxB,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzB,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzB,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAC1B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"tsc-codes.js","sourceRoot":"","sources":["../../src/frontend/tsc-codes.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,QAAQ;IACR,eAAe;IACf,kBAAkB;IAClB,qBAAqB;IACrB,qBAAqB;IACrB,8BAA8B;IAC9B,6BAA6B;IAC7B,gBAAgB;IAChB,cAAc;IACd,4BAA4B;IAC5B,0BAA0B;IAC1B,4BAA4B;IAC5B,oBAAoB;IACpB,oCAAoC;IACpC,mBAAmB;IACnB,4BAA4B;IAC5B,gBAAgB;IAChB,oBAAoB;IACpB,mBAAmB;IACnB,sBAAsB;IACtB,cAAc;IACd,iEAAiE;IACjE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,iBAAiB;IACjB,8BAA8B;IAC9B,oEAAoE;IACpE,iEAAiE;IACjE,KAAK;IACL,YAAY;IACZ,oBAAoB;IACpB,iBAAiB;IACjB,gBAAgB;CACR,CAAC;AAEX;;;;;;;;;;;;;uEAauE;AAEvE,MAAM,CAAC,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC;IAC/D,kEAAkE;IAClE,8DAA8D;IAC9D,iCAAiC;IACjC,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,oEAAoE;IACpE,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,KAAK;IACL,KAAK;IACL,oEAAoE;IACpE,uEAAuE;IACvE,qEAAqE;IACrE,qEAAqE;IACrE,mCAAmC;IACnC,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI,EAAE,4DAA4D;IAClE,IAAI,EAAE,yEAAyE;IAC/E,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,wEAAwE;IACxE,4EAA4E;IAC5E,oEAAoE;IACpE,kBAAkB;IAClB,IAAI;IACJ,IAAI;IACJ,qEAAqE;IACrE,uEAAuE;IACvE,mEAAmE;IACnE,sEAAsE;IACtE,kEAAkE;IAClE,sEAAsE;IACtE,wDAAwD;IACxD,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,4DAA4D;IAC5D,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,yDAAyD;IACzD,sEAAsE;IACtE,6EAA6E;IAC7E,6EAA6E;IAC7E,0EAA0E;IAC1E,2EAA2E;IAC3E,yEAAyE;IACzE,4EAA4E;IAC5E,qCAAqC;IACrC,IAAI;IACJ,uEAAuE;IACvE,wEAAwE;IACxE,qEAAqE;IACrE,yCAAyC;IACzC,IAAI;IACJ,wEAAwE;IACxE,0CAA0C;IAC1C,IAAI;IACJ,wEAAwE;IACxE,qEAAqE;IACrE,wDAAwD;IACxD,IAAI;IACJ,wEAAwE;IACxE,sEAAsE;IACtE,6DAA6D;IAC7D,IAAI;IACJ,IAAI;IACJ,iEAAiE;IACjE,IAAI;IACJ,mEAAmE;IACnE,sEAAsE;IACtE,IAAI;IACJ,qEAAqE;IACrE,iEAAiE;IACjE,qEAAqE;IACrE,yCAAyC;IACzC,IAAI;IACJ,IAAI;IACJ,oEAAoE;IACpE,2EAA2E;IAC3E,IAAI;IACJ,IAAI;IACJ,yEAAyE;IACzE,+DAA+D;IAC/D,sEAAsE;IACtE,uDAAuD;IACvD,IAAI;IACJ,uEAAuE;IACvE,wEAAwE;IACxE,sEAAsE;IACtE,2CAA2C;IAC3C,IAAI;IACJ,yEAAyE;IACzE,mEAAmE;IACnE,kBAAkB;IAClB,IAAI;IACJ,iEAAiE;IACjE,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,2FAA2F;IAC3F,KAAK;IACL,IAAI;IACJ,2EAA2E;IAC3E,sDAAsD;IACtD,yEAAyE;IACzE,sEAAsE;IACtE,2EAA2E;IAC3E,2EAA2E;IAC3E,yEAAyE;IACzE,oEAAoE;IACpE,uEAAuE;IACvE,0EAA0E;IAC1E,yDAAyD;IACzD,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,0DAA0D;IAC1D,4EAA4E;IAC5E,uEAAuE;IACvE,wEAAwE;IACxE,SAAS;IACT,EAAE;IACF,0EAA0E;IAC1E,yEAAyE;IACzE,6DAA6D;IAC7D,IAAI;IACJ,iEAAiE;IACjE,yEAAyE;IACzE,uEAAuE;IACvE,8CAA8C;IAC9C,KAAK;IACL,qEAAqE;IACrE,oEAAoE;IACpE,wEAAwE;IACxE,IAAI;CACL,CAAC,CAAC;AAEH;2EAC2E;AAC3E,MAAM,CAAC,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAEtF;;gCAEgC;AAChC,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,sEAAsE;IACtE,+CAA+C;IAC/C,OAAO,CACL,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;QACxB,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzB,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzB,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAC1B,CAAC;AACJ,CAAC"}

package/dist/frontend/type-mapper.d.ts

@@ -1,4 +1,4 @@
-import type { JournalTable } from "./lowering/unit-journal.js";
+import { type JournalTable } from "./lowering/unit-journal.js";
 import * as ts from "./ts7/adapter.js";
 import type { IrRecordShape, IrType, IrUnionDef, IrUnionDiscriminant } from "../ir/ir.js";
 import { typeKey } from "../ir/ir.js";
@@ -15,7 +15,7 @@ export declare const WEBCRYPTO_DYN_TYPES: ReadonlySet<string>;
  * X509Certificate checks take them as checked-dynamic arguments
  * (scr_lib.c, scr_pki.c, scr_x509.c). */
 export declare const CRYPTO_KEY_OPTION_DYN_TYPES: ReadonlySet<string>;
-export declare const FETCH_AMBIENT_TYPES: readonly ["Response", "Request", "ResponseInit", "RequestInit", "Event", "CustomEvent", "MessageEvent", "EventTarget", "AddEventListenerOptions", "EventListenerOptions", "EventInit", "CustomEventInit", "AbortController", "AbortSignal", "Headers", "ReadableStream", "ReadableStreamDefaultReader", "ReadableStreamDefaultController", "ReadableStreamReadResult", "ReadableStreamReadValueResult", "ReadableStreamReadDoneResult", "TransformStream", "WritableStream", "WritableStreamDefaultWriter", "Blob", "File", "BlobPropertyBag", "FilePropertyBag", "BlobOptions", "FileOptions"];
+export declare const FETCH_AMBIENT_TYPES: readonly ["Response", "Request", "ResponseInit", "RequestInit", "Event", "CustomEvent", "MessageEvent", "EventTarget", "AddEventListenerOptions", "EventListenerOptions", "EventInit", "CustomEventInit", "AbortController", "AbortSignal", "Headers", "ReadableStream", "ReadableStreamDefaultReader", "ReadableStreamDefaultController", "ReadableStreamReadResult", "ReadableStreamReadValueResult", "ReadableStreamReadDoneResult", "TransformStream", "TransformStreamDefaultController", "WritableStream", "WritableStreamDefaultWriter", "WritableStreamDefaultController", "Blob", "File", "BlobPropertyBag", "FilePropertyBag", "BlobOptions", "FileOptions"];
 /** node:crypto's Cipheriv and Decipheriv names in @types/node. */
 export declare const CIPHER_TYPE_NAMES: ReadonlySet<string>;
 /** True for the parseArgs type family that deliberately rides dyn. Exported
@@ -304,6 +304,11 @@ export type TypeParamTsResolver = (t: ts.Type) => ts.Type | null;
  * once per Lowerer and threaded through the recursion — adding a hook means
  * one new field here, not a new parameter at every call site. */
 export interface TypeMapperCtx {
+    /** Whether the program creates primitive wrapper objects
+     * (primitive-wrappers.ts): then the boxed interface types (`String`,
+     * `Number`, `Boolean`) map to the checked-dynamic value instead of the
+     * primitive. Absent or false: every mapping is unchanged. */
+    primitiveWrappers?: () => boolean;
     /** Node islands (scope-B NI-4): whether a type's values are island
      * handles, which map to the `foreign` type (a dyn value). Absent in
      * programs without islands. */