@scriptc/compiler 0.4.6 → 0.4.8

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.d.ts

@@ -1,8 +1,62 @@
+import * as ts from "./ts7/adapter.js";
 /** Compiler options adopted from the project during preflight. */
 export declare const ADOPTED_OPTIONS: readonly ["strict", "noImplicitAny", "strictNullChecks", "strictFunctionTypes", "strictBindCallApply", "strictPropertyInitialization", "strictBuiltinIteratorReturn", "noImplicitThis", "alwaysStrict", "useUnknownInCatchVariables", "noUncheckedIndexedAccess", "exactOptionalPropertyTypes", "noImplicitOverride", "noPropertyAccessFromIndexSignature", "noImplicitReturns", "noFallthroughCasesInSwitch", "noUnusedLocals", "noUnusedParameters", "allowUnusedLabels", "allowUnreachableCode", "skipLibCheck", "esModuleInterop", "allowSyntheticDefaultImports", "jsx", "jsxFactory", "jsxFragmentFactory", "jsxImportSource", "reactNamespace"];
-export declare const JS_RELAXED_TSC_CODES: ReadonlySet<number>;
-export declare const JS_ANY_OPERATOR_CODES: ReadonlySet<number>;
+export type OpinionView = "checker" | "widen" | "throw" | "island";
+export interface Opinion {
+    readonly view: OpinionView;
+    /** The row admits only the constructs this guard accepts at the
+     * diagnostic's node. */
+    readonly site?: (node: ts.Node, diagnostic: ts.Diagnostic) => boolean;
+    /** Keep the diagnostic in checked JavaScript: the project asked tsc for
+     * this opinion. */
+    readonly checkedJs?: "enforce";
+    /** Differential corpus programs that pin the admitted construct against
+     * Node. */
+    readonly corpus: readonly string[];
+    readonly why: string;
+}
+/** One admitted site: a JavaScript checker diagnostic preflight dropped
+ * under an opinion row. A view's lowering path is reached only through such
+ * a record (lowerer.opinionAt), never by a syntactic pattern, so a program
+ * that compiles today without one keeps its IR byte for byte. */
+export interface AdmittedOpinion {
+    readonly file: string;
+    readonly pos: number;
+    readonly end: number;
+    readonly code: number;
+    readonly view: OpinionView;
+}
+/** Every JavaScript checker opinion, by TypeScript code. */
+export declare const JS_OPINIONS: ReadonlyMap<number, Opinion>;
+/** The opinion admitting `code` in a JavaScript source, or null for a code
+ * with none (the triage table's not-yet-admitted states, and codes no
+ * journal has observed). */
+export declare function jsOpinion(code: number): Opinion | null;
+export type JsTscCodeAction = "refuse" | "rewrite" | "keep";
+export type JsTscCodeTriage = 
+/** Kept as SC0001: Node rejects this program too. */
+{
+    action: "keep";
+    why: string;
+}
+/** SC1090 names an unlowered construct. */
+ | {
+    action: "refuse";
+    feature: string;
+    hint: string;
+}
+/** SC1090 names a construct whose lowering is still missing. */
+ | {
+    action: "rewrite";
+    feature: string;
+    hint: string;
+};
+/** The triage of one TypeScript code that reaches SC0001 in a JavaScript
+ * source, or null for a code this table does not cover (a code JS_OPINIONS
+ * admits everywhere, and a code no journal has observed). */
+export declare const JS_TSC_CODE_TRIAGE: ReadonlyMap<number, JsTscCodeTriage>;
+export declare function jsTscCodeTriage(code: number): JsTscCodeTriage | null;
 /** True for JavaScript source file NAMES (.js/.mjs/.cjs/.jsx) — the files
  * whose types come entirely from inference (checkJs + JSDoc) and whose JS
- * relaxation stance applies. */
+ * opinion stance (JS_OPINIONS) applies. */
 export declare function isJsSourceFileName(fileName: string): boolean;