@earendil-works/chord 1.5.0 → 1.5.1

package/dist/manager.js

@@ -1,345 +0,0 @@
-// Host manager (Node only): runs a child host process and keeps at most one instance of it alive.
-import { fork } from "node:child_process";
-import { createHash } from "node:crypto";
-import { unlinkSync } from "node:fs";
-import { lstat, mkdir, rm } from "node:fs/promises";
-import { connect, createServer } from "node:net";
-import { tmpdir } from "node:os";
-import { join } from "node:path";
-import { ChordError } from "./errors.js";
-import { ipcLink } from "./link.js";
-/**
- * A process lock owned by the kernel for the holder's lifetime: an abstract socket (Linux, Android) or a named pipe
- * (Windows) vanishes with its process, so there is no stale state to take over and no race between two would-be
- * owners. Other platforms need a socket file, removed on exit; a leftover one nobody accepts on is taken over.
- * The child acquires it (before opening storage), so the lock follows the process that owns the data.
- */
-export async function processLock(name) {
-    const key = createHash("sha256").update(name).digest("hex").slice(0, 32);
-    const file = process.platform !== "win32" && process.platform !== "linux" && process.platform !== "android";
-    const address = process.platform === "win32"
-        ? `\\\\.\\pipe\\chord2-${key}`
-        : file
-            ? await lockSocketPath(`chord2-${key}.sock`)
-            : `\0chord2-${key}`;
-    const server = createServer((socket) => socket.end());
-    for (;;) {
-        try {
-            await new Promise((resolve, reject) => {
-                server.once("error", reject);
-                server.listen(address, () => {
-                    server.removeListener("error", reject);
-                    resolve();
-                });
-            });
-            break;
-        }
-        catch (error) {
-            if (error.code !== "EADDRINUSE")
-                throw error;
-            if (!file || (await accepting(address))) {
-                throw new ChordError("unavailable", `lock ${name} is held by another process`, { reason: "locked" });
-            }
-            await rm(address, { force: true });
-        }
-    }
-    const removeFile = () => {
-        try {
-            unlinkSync(address);
-        }
-        catch {
-            // Already gone.
-        }
-    };
-    if (file)
-        process.once("exit", removeFile);
-    return () => new Promise((resolve, reject) => {
-        if (file)
-            process.removeListener("exit", removeFile);
-        server.close((error) => (error ? reject(error) : resolve()));
-    });
-}
-/** sun_path references 104 bytes on macOS and the BSDs, including the terminating NUL. */
-const MAX_SOCKET_PATH_BYTES = 103;
-/**
- * The lock socket's path: in the temporary directory, or, when that path does not fit in sun_path (a deep TMPDIR,
- * such as a test runner's below macOS's per-user one), in a private per-user directory under /tmp. Other users must
- * not be able to create or remove sockets there, so the directory has to be ours and closed to everyone else.
- */
-async function lockSocketPath(file) {
-    const preferred = join(tmpdir(), file);
-    if (Buffer.byteLength(preferred) <= MAX_SOCKET_PATH_BYTES)
-        return preferred;
-    const uid = process.getuid?.() ?? 0;
-    const directory = `/tmp/chord2-${uid}`;
-    await mkdir(directory, { mode: 0o700, recursive: true });
-    const stats = await lstat(directory);
-    if (!stats.isDirectory() || stats.uid !== uid || (stats.mode & 0o077) !== 0) {
-        throw new ChordError("unavailable", `lock directory ${directory} must be a directory only its owner can access`);
-    }
-    return join(directory, file);
-}
-function accepting(address) {
-    return new Promise((resolve) => {
-        const socket = connect(address);
-        socket.once("connect", () => {
-            socket.destroy();
-            resolve(true);
-        });
-        socket.once("error", (error) => resolve(error.code !== "ECONNREFUSED" && error.code !== "ENOENT"));
-    });
-}
-const LOCK_ENV = "CHORD2_LOCK";
-/** A control message to a peer process that is gone: dropped (its exit or `disconnect` is reported separately). */
-const ignoreSendError = () => { };
-export function forkDriver(options) {
-    return {
-        spawn() {
-            // A lock this process inherited (e.g. as a child host itself) is not the child's: it gets only its own.
-            const env = { ...process.env };
-            delete env[LOCK_ENV];
-            Object.assign(env, options.env);
-            if (options.lock !== undefined)
-                env[LOCK_ENV] = options.lock;
-            // Detached: the child leads a process group, so the whole tree can be killed.
-            const child = fork(options.entry, [...(options.args ?? [])], {
-                env,
-                execArgv: [...(options.execArgv ?? [])],
-                detached: true,
-                stdio: ["ignore", options.onOutput ? "pipe" : "inherit", options.onOutput ? "pipe" : "inherit", "ipc"],
-            });
-            if (options.onOutput) {
-                for (const stream of ["stdout", "stderr"]) {
-                    child[stream]?.on("data", (chunk) => {
-                        options.onOutput(stream, chunk);
-                        process[stream].write(chunk);
-                    });
-                }
-            }
-            const pid = child.pid ?? -1;
-            const killGroup = () => {
-                try {
-                    process.kill(-pid, "SIGKILL");
-                }
-                catch {
-                    // No group left.
-                }
-            };
-            const exited = new Promise((resolve) => {
-                child.once("exit", (code, signal) => {
-                    // However the leader ended (graceful, crash, kill), nothing it spawned outlives it.
-                    killGroup();
-                    resolve({ code, signal });
-                });
-            });
-            const listeners = new Set();
-            child.on("message", (message) => {
-                options.onMessage?.(message);
-                const control = message?.chord2control;
-                if (control !== undefined)
-                    for (const listener of listeners)
-                        listener(control);
-            });
-            const send = (message) => {
-                // A child that exited before the channel reported it fails the write (EPIPE): its exit is what counts.
-                if (child.connected)
-                    child.send({ chord2control: message }, ignoreSendError);
-            };
-            if (options.init !== undefined)
-                send({ type: "init", value: options.init });
-            return {
-                pid,
-                link: ipcLink(child),
-                exited,
-                send,
-                killTree: () => {
-                    try {
-                        process.kill(-pid, "SIGKILL");
-                    }
-                    catch {
-                        child.kill("SIGKILL");
-                    }
-                },
-                onControl: (listener) => listeners.add(listener),
-            };
-        },
-    };
-}
-export function createHostManager(options) {
-    let status = "stopped";
-    let instance;
-    let queue = Promise.resolve();
-    let report = { activeCalls: 0, viewers: 0, durableTasks: 0 };
-    /** When the child last became idle; undefined while it reports work. */
-    let idleSince;
-    let booting = false;
-    let timer;
-    const serialized = (step) => {
-        const next = queue.then(step, step);
-        queue = next.catch(() => { });
-        return next;
-    };
-    const liveness = () => ({
-        booting,
-        ...report,
-        idleFor: idleSince === undefined ? 0 : Date.now() - idleSince,
-    });
-    const doStop = async () => {
-        const current = instance;
-        if (current === undefined) {
-            status = "stopped";
-            booting = false;
-            return;
-        }
-        status = "stopping";
-        if (timer !== undefined)
-            clearInterval(timer);
-        current.send({ type: "shutdown" });
-        let graceTimer;
-        const graceful = await Promise.race([
-            current.exited.then(() => true),
-            new Promise((resolve) => {
-                graceTimer = setTimeout(() => resolve(false), options.grace ?? 5000);
-            }),
-        ]);
-        clearTimeout(graceTimer);
-        if (!graceful)
-            current.killTree();
-        await current.exited;
-        if (instance === current)
-            instance = undefined;
-        status = "stopped";
-    };
-    const doStart = async () => {
-        if (instance !== undefined && status === "running")
-            return instance;
-        status = "starting";
-        booting = true;
-        report = { activeCalls: 0, viewers: 0, durableTasks: 0 };
-        let current;
-        try {
-            current = options.driver.spawn();
-        }
-        catch (error) {
-            status = "stopped";
-            booting = false;
-            throw error;
-        }
-        instance = current;
-        current.exited.then((exit) => {
-            if (instance === current) {
-                instance = undefined;
-                status = "stopped";
-                if (timer !== undefined)
-                    clearInterval(timer);
-            }
-            options.onExit?.(exit);
-        });
-        await new Promise((resolve, reject) => {
-            const timeout = setTimeout(() => reject(new ChordError("unavailable", "child not ready in time")), options.readyTimeout ?? 30_000);
-            const settle = (fn) => {
-                clearTimeout(timeout);
-                fn();
-            };
-            current.exited.then((exit) => settle(() => reject(new ChordError("unavailable", `child exited before ready (${exit.code ?? exit.signal})`))));
-            current.onControl((message) => {
-                if (message.type === "ready")
-                    settle(resolve);
-                else if (message.type === "fatal")
-                    settle(() => reject(new ChordError("unavailable", `child failed: ${message.message}`, { reason: message.reason })));
-                else if (message.type === "status") {
-                    report = {
-                        activeCalls: message.activeCalls ?? 0,
-                        viewers: message.viewers ?? 0,
-                        durableTasks: message.durableTasks ?? 0,
-                    };
-                    // The idle clock starts at the busy → idle transition, not at the last busy report.
-                    if (report.activeCalls + report.viewers + report.durableTasks > 0)
-                        idleSince = undefined;
-                    else
-                        idleSince ??= Date.now();
-                }
-            });
-        }).catch(async (error) => {
-            current.killTree();
-            await current.exited;
-            throw error;
-        });
-        booting = false;
-        if (report.activeCalls + report.viewers + report.durableTasks === 0)
-            idleSince ??= Date.now();
-        status = "running";
-        if (options.keepAlive !== undefined) {
-            const keepAlive = options.keepAlive;
-            timer = setInterval(() => {
-                if (status === "running" && !keepAlive(liveness()))
-                    void serialized(doStop);
-            }, options.checkInterval ?? 1000);
-            timer.unref?.();
-        }
-        return current;
-    };
-    return {
-        get status() {
-            return status;
-        },
-        get instance() {
-            return instance;
-        },
-        get liveness() {
-            return liveness();
-        },
-        start: () => serialized(doStart),
-        stop: () => serialized(doStop),
-        replace: () => serialized(async () => {
-            await doStop();
-            return doStart();
-        }),
-    };
-}
-/** The child side of the control channel (call in the child's entry). */
-export function childControl(channel = process) {
-    const send = (message) => {
-        // A parent that is gone fails the write (EPIPE); the `disconnect` that follows is how a child notices.
-        if (channel.connected)
-            channel.send?.({ chord2control: message }, undefined, undefined, ignoreSendError);
-    };
-    let resolveInit = () => { };
-    const init = new Promise((resolve) => {
-        resolveInit = resolve;
-    });
-    const shutdown = new Set();
-    channel.on("message", (message) => {
-        const control = message?.chord2control;
-        if (control?.type === "init")
-            resolveInit(control.value);
-        if (control?.type === "shutdown")
-            for (const handler of shutdown)
-                void handler();
-    });
-    const fatal = (error) => send({
-        type: "fatal",
-        message: error instanceof Error ? error.message : String(error),
-        ...(error instanceof ChordError && error.reason !== undefined ? { reason: error.reason } : {}),
-    });
-    return {
-        init,
-        lock: async () => {
-            const name = process.env[LOCK_ENV];
-            if (name === undefined)
-                return;
-            try {
-                await processLock(name);
-            }
-            catch (error) {
-                fatal(error);
-                throw error;
-            }
-        },
-        ready: () => send({ type: "ready" }),
-        fatal,
-        report: (status) => send({ type: "status", ...status }),
-        onShutdown: (handler) => shutdown.add(handler),
-    };
-}
-//# sourceMappingURL=manager.js.map

package/dist/manager.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"manager.js","sourceRoot":"","sources":["../src/manager.ts"],"names":[],"mappings":"AAAA,kGAAkG;AAClG,OAAO,EAAqB,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAiC,OAAO,EAAE,MAAM,WAAW,CAAC;AAkEnE;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAY;IAC7C,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,KAAK,OAAO,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC;IAC5G,MAAM,OAAO,GACZ,OAAO,CAAC,QAAQ,KAAK,OAAO;QAC3B,CAAC,CAAC,uBAAuB,GAAG,EAAE;QAC9B,CAAC,CAAC,IAAI;YACL,CAAC,CAAC,MAAM,cAAc,CAAC,UAAU,GAAG,OAAO,CAAC;YAC5C,CAAC,CAAC,YAAY,GAAG,EAAE,CAAC;IACvB,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IACtD,SAAS,CAAC;QACT,IAAI,CAAC;YACJ,MAAM,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;gBAC3C,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;gBAC7B,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE;oBAC3B,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;oBACvC,OAAO,EAAE,CAAC;gBACX,CAAC,CAAC,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,MAAM;QACP,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,IAAK,KAA+B,CAAC,IAAI,KAAK,YAAY;gBAAE,MAAM,KAAK,CAAC;YACxE,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;gBACzC,MAAM,IAAI,UAAU,CAAC,aAAa,EAAE,QAAQ,IAAI,6BAA6B,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;YACtG,CAAC;YACD,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACpC,CAAC;IACF,CAAC;IACD,MAAM,UAAU,GAAG,GAAS,EAAE;QAC7B,IAAI,CAAC;YACJ,UAAU,CAAC,OAAO,CAAC,CAAC;QACrB,CAAC;QAAC,MAAM,CAAC;YACR,gBAAgB;QACjB,CAAC;IACF,CAAC,CAAC;IACF,IAAI,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC3C,OAAO,GAAG,EAAE,CACX,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,IAAI,IAAI;YAAE,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC;AAED,0FAA0F;AAC1F,MAAM,qBAAqB,GAAG,GAAG,CAAC;AAElC;;;;GAIG;AACH,KAAK,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,CAAC;IACvC,IAAI,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,qBAAqB;QAAE,OAAO,SAAS,CAAC;IAC5E,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,eAAe,GAAG,EAAE,CAAC;IACvC,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,SAAS,CAAC,CAAC;IACrC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,KAAK,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,UAAU,CAAC,aAAa,EAAE,kBAAkB,SAAS,gDAAgD,CAAC,CAAC;IAClH,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,SAAS,CAAC,OAAe;IACjC,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE;YAC3B,MAAM,CAAC,OAAO,EAAE,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,CAAC;QACf,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAA4B,EAAE,EAAE,CACrD,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CACjE,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,QAAQ,GAAG,aAAa,CAAC;AAE/B,mHAAmH;AACnH,MAAM,eAAe,GAAG,GAAS,EAAE,GAAE,CAAC,CAAC;AAEvC,MAAM,UAAU,UAAU,CAAC,OAA0B;IACpD,OAAO;QACN,KAAK;YACJ,wGAAwG;YACxG,MAAM,GAAG,GAAsB,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;YAClD,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC;YACrB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;gBAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;YAC7D,8EAA8E;YAC9E,MAAM,KAAK,GAAiB,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,EAAE;gBAC1E,GAAG;gBACH,QAAQ,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;gBACvC,QAAQ,EAAE,IAAI;gBACd,KAAK,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC;aACtG,CAAC,CAAC;YACH,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACtB,KAAK,MAAM,MAAM,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAU,EAAE,CAAC;oBACpD,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;wBAC3C,OAAO,CAAC,QAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;wBACjC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBAC9B,CAAC,CAAC,CAAC;gBACJ,CAAC;YACF,CAAC;YACD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;YAC5B,MAAM,SAAS,GAAG,GAAS,EAAE;gBAC5B,IAAI,CAAC;oBACJ,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;gBAC/B,CAAC;gBAAC,MAAM,CAAC;oBACR,iBAAiB;gBAClB,CAAC;YACF,CAAC,CAAC;YACF,MAAM,MAAM,GAAG,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;gBAC5C,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE;oBACnC,oFAAoF;oBACpF,SAAS,EAAE,CAAC;oBACZ,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC3B,CAAC,CAAC,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,IAAI,GAAG,EAAqC,CAAC;YAC/D,KAAK,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,OAAO,EAAE,EAAE;gBAC/B,OAAO,CAAC,SAAS,EAAE,CAAC,OAAO,CAAC,CAAC;gBAC7B,MAAM,OAAO,GAAI,OAAqD,EAAE,aAAa,CAAC;gBACtF,IAAI,OAAO,KAAK,SAAS;oBAAE,KAAK,MAAM,QAAQ,IAAI,SAAS;wBAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;YAChF,CAAC,CAAC,CAAC;YACH,MAAM,IAAI,GAAG,CAAC,OAAuB,EAAQ,EAAE;gBAC9C,uGAAuG;gBACvG,IAAI,KAAK,CAAC,SAAS;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,EAAE,eAAe,CAAC,CAAC;YAC9E,CAAC,CAAC;YACF,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;gBAAE,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5E,OAAO;gBACN,GAAG;gBACH,IAAI,EAAE,OAAO,CAAC,KAA8B,CAAC;gBAC7C,MAAM;gBACN,IAAI;gBACJ,QAAQ,EAAE,GAAG,EAAE;oBACd,IAAI,CAAC;wBACJ,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;oBAC/B,CAAC;oBAAC,MAAM,CAAC;wBACR,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBACvB,CAAC;gBACF,CAAC;gBACD,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC;aAChD,CAAC;QACH,CAAC;KACD,CAAC;AACH,CAAC;AA2BD,MAAM,UAAU,iBAAiB,CAAC,OAA2B;IAC5D,IAAI,MAAM,GAA0B,SAAS,CAAC;IAC9C,IAAI,QAA8B,CAAC;IACnC,IAAI,KAAK,GAAqB,OAAO,CAAC,OAAO,EAAE,CAAC;IAChD,IAAI,MAAM,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IAC7D,wEAAwE;IACxE,IAAI,SAA6B,CAAC;IAClC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,KAAiD,CAAC;IAEtD,MAAM,UAAU,GAAG,CAAI,IAAsB,EAAc,EAAE;QAC5D,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACpC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QAC7B,OAAO,IAAI,CAAC;IACb,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,GAAa,EAAE,CAAC,CAAC;QACjC,OAAO;QACP,GAAG,MAAM;QACT,OAAO,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;KAC7D,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,KAAK,IAAmB,EAAE;QACxC,MAAM,OAAO,GAAG,QAAQ,CAAC;QACzB,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,GAAG,SAAS,CAAC;YACnB,OAAO,GAAG,KAAK,CAAC;YAChB,OAAO;QACR,CAAC;QACD,MAAM,GAAG,UAAU,CAAC;QACpB,IAAI,KAAK,KAAK,SAAS;YAAE,aAAa,CAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QACnC,IAAI,UAAqD,CAAC;QAC1D,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC;YACnC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;YAC/B,IAAI,OAAO,CAAU,CAAC,OAAO,EAAE,EAAE;gBAChC,UAAU,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC;YACtE,CAAC,CAAC;SACF,CAAC,CAAC;QACH,YAAY,CAAC,UAAU,CAAC,CAAC;QACzB,IAAI,CAAC,QAAQ;YAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;QAClC,MAAM,OAAO,CAAC,MAAM,CAAC;QACrB,IAAI,QAAQ,KAAK,OAAO;YAAE,QAAQ,GAAG,SAAS,CAAC;QAC/C,MAAM,GAAG,SAAS,CAAC;IACpB,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,KAAK,IAAuB,EAAE;QAC7C,IAAI,QAAQ,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;QACpE,MAAM,GAAG,UAAU,CAAC;QACpB,OAAO,GAAG,IAAI,CAAC;QACf,MAAM,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;QACzD,IAAI,OAAiB,CAAC;QACtB,IAAI,CAAC;YACJ,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAClC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,MAAM,GAAG,SAAS,CAAC;YACnB,OAAO,GAAG,KAAK,CAAC;YAChB,MAAM,KAAK,CAAC;QACb,CAAC;QACD,QAAQ,GAAG,OAAO,CAAC;QACnB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;YAC5B,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;gBAC1B,QAAQ,GAAG,SAAS,CAAC;gBACrB,MAAM,GAAG,SAAS,CAAC;gBACnB,IAAI,KAAK,KAAK,SAAS;oBAAE,aAAa,CAAC,KAAK,CAAC,CAAC;YAC/C,CAAC;YACD,OAAO,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;QACH,MAAM,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;YAC3C,MAAM,OAAO,GAAG,UAAU,CACzB,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,aAAa,EAAE,yBAAyB,CAAC,CAAC,EACtE,OAAO,CAAC,YAAY,IAAI,MAAM,CAC9B,CAAC;YACF,MAAM,MAAM,GAAG,CAAC,EAAc,EAAQ,EAAE;gBACvC,YAAY,CAAC,OAAO,CAAC,CAAC;gBACtB,EAAE,EAAE,CAAC;YACN,CAAC,CAAC;YACF,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC5B,MAAM,CAAC,GAAG,EAAE,CACX,MAAM,CAAC,IAAI,UAAU,CAAC,aAAa,EAAE,8BAA8B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAChG,CACD,CAAC;YACF,OAAO,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC7B,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;oBAAE,MAAM,CAAC,OAAO,CAAC,CAAC;qBACzC,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;oBAChC,MAAM,CAAC,GAAG,EAAE,CACX,MAAM,CAAC,IAAI,UAAU,CAAC,aAAa,EAAE,iBAAiB,OAAO,CAAC,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CACrG,CAAC;qBACE,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACpC,MAAM,GAAG;wBACR,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,CAAC;wBACrC,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,CAAC;wBAC7B,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,CAAC;qBACvC,CAAC;oBACF,oFAAoF;oBACpF,IAAI,MAAM,CAAC,WAAW,GAAG,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,YAAY,GAAG,CAAC;wBAAE,SAAS,GAAG,SAAS,CAAC;;wBACpF,SAAS,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC/B,CAAC;YACF,CAAC,CAAC,CAAC;QACJ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAc,EAAE,EAAE;YACjC,OAAO,CAAC,QAAQ,EAAE,CAAC;YACnB,MAAM,OAAO,CAAC,MAAM,CAAC;YACrB,MAAM,KAAK,CAAC;QACb,CAAC,CAAC,CAAC;QACH,OAAO,GAAG,KAAK,CAAC;QAChB,IAAI,MAAM,CAAC,WAAW,GAAG,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,YAAY,KAAK,CAAC;YAAE,SAAS,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;QAC9F,MAAM,GAAG,SAAS,CAAC;QACnB,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;YACpC,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE;gBACxB,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;oBAAE,KAAK,UAAU,CAAC,MAAM,CAAC,CAAC;YAC7E,CAAC,EAAE,OAAO,CAAC,aAAa,IAAI,IAAI,CAAC,CAAC;YAClC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;QACjB,CAAC;QACD,OAAO,OAAO,CAAC;IAChB,CAAC,CAAC;IAEF,OAAO;QACN,IAAI,MAAM;YACT,OAAO,MAAM,CAAC;QACf,CAAC;QACD,IAAI,QAAQ;YACX,OAAO,QAAQ,CAAC;QACjB,CAAC;QACD,IAAI,QAAQ;YACX,OAAO,QAAQ,EAAE,CAAC;QACnB,CAAC;QACD,KAAK,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;QAChC,IAAI,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;QAC9B,OAAO,EAAE,GAAG,EAAE,CACb,UAAU,CAAC,KAAK,IAAI,EAAE;YACrB,MAAM,MAAM,EAAE,CAAC;YACf,OAAO,OAAO,EAAE,CAAC;QAClB,CAAC,CAAC;KACH,CAAC;AACH,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,YAAY,CAAC,OAAO,GAAmB,OAAO;IAY7D,MAAM,IAAI,GAAG,CAAC,OAAuB,EAAQ,EAAE;QAC9C,uGAAuG;QACvG,IAAI,OAAO,CAAC,SAAS;YAAE,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC;IAC1G,CAAC,CAAC;IACF,IAAI,WAAW,GAA6B,GAAG,EAAE,GAAE,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,IAAI,OAAO,CAAU,CAAC,OAAO,EAAE,EAAE;QAC7C,WAAW,GAAG,OAAO,CAAC;IACvB,CAAC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,OAAO,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,OAAgB,EAAE,EAAE;QAC1C,MAAM,OAAO,GAAI,OAAqD,EAAE,aAAa,CAAC;QACtF,IAAI,OAAO,EAAE,IAAI,KAAK,MAAM;YAAE,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,OAAO,EAAE,IAAI,KAAK,UAAU;YAAE,KAAK,MAAM,OAAO,IAAI,QAAQ;gBAAE,KAAK,OAAO,EAAE,CAAC;IAClF,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,KAAc,EAAQ,EAAE,CACtC,IAAI,CAAC;QACJ,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;QAC/D,GAAG,CAAC,KAAK,YAAY,UAAU,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9F,CAAC,CAAC;IACJ,OAAO;QACN,IAAI;QACJ,IAAI,EAAE,KAAK,IAAI,EAAE;YAChB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACnC,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO;YAC/B,IAAI,CAAC;gBACJ,MAAM,WAAW,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,KAAK,CAAC,KAAK,CAAC,CAAC;gBACb,MAAM,KAAK,CAAC;YACb,CAAC;QACF,CAAC;QACD,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QACpC,KAAK;QACL,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,MAAM,EAAE,CAAC;QACvD,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;KAC9C,CAAC;AACH,CAAC","sourcesContent":["// Host manager (Node only): runs a child host process and keeps at most one instance of it alive.\nimport { type ChildProcess, fork } from \"node:child_process\";\nimport { createHash } from \"node:crypto\";\nimport { unlinkSync } from \"node:fs\";\nimport { lstat, mkdir, rm } from \"node:fs/promises\";\nimport { connect, createServer } from \"node:net\";\nimport { tmpdir } from \"node:os\";\nimport { join } from \"node:path\";\nimport { ChordError } from \"./errors.ts\";\nimport { type IpcChannel, type IpcLink, ipcLink } from \"./link.ts\";\n\n/** Control messages share the IPC channel with chord frames: `{ chord2control: message }`. */\nexport type ControlMessage =\n\t| { readonly type: \"init\"; readonly value: unknown }\n\t| { readonly type: \"ready\" }\n\t| { readonly type: \"fatal\"; readonly message: string; readonly reason?: string }\n\t| { readonly type: \"shutdown\" }\n\t| {\n\t\t\treadonly type: \"status\";\n\t\t\treadonly activeCalls?: number;\n\t\t\treadonly viewers?: number;\n\t\t\treadonly durableTasks?: number;\n\t  };\n\nexport interface Liveness {\n\t/** Started but not ready yet. */\n\treadonly booting: boolean;\n\treadonly activeCalls: number;\n\t/** Viewers the child reports (it counts heartbeating subscribers). */\n\treadonly viewers: number;\n\treadonly durableTasks: number;\n\t/** Milliseconds since the child last reported work (calls, viewers or tasks), or since it became ready. */\n\treadonly idleFor: number;\n}\n\nexport interface Exit {\n\treadonly code: number | null;\n\treadonly signal: string | null;\n}\n\n/** A running child: its link (for `host.accept`) and its exit. */\nexport interface Instance {\n\treadonly pid: number;\n\treadonly link: IpcLink;\n\treadonly exited: Promise<Exit>;\n\tsend(message: ControlMessage): void;\n\t/** Kills the child and everything it spawned. */\n\tkillTree(): void;\n\tonControl(listener: (message: ControlMessage) => void): void;\n}\n\nexport interface Driver {\n\tspawn(): Instance;\n}\n\nexport interface ForkDriverOptions {\n\t/** The child's entry module. */\n\treadonly entry: string;\n\treadonly args?: readonly string[];\n\treadonly env?: Readonly<Record<string, string>>;\n\t/** Node flags for the child, e.g. `[\"--import\", sourceResolver]` (default: none). */\n\treadonly execArgv?: readonly string[];\n\t/** Sent to the child as its first control message (`childControl().init`). */\n\treadonly init?: unknown;\n\t/**\n\t * A lock name: one live process per name, across managers and processes. The child acquires it as a kernel lock\n\t * (`childControl().lock()`, before opening its storage); a second child fails to start with `unavailable/locked`.\n\t */\n\treadonly lock?: string;\n\t/** Optional stdout/stderr tap. Streams are still mirrored to the parent's standard output. */\n\treadonly onOutput?: (stream: \"stdout\" | \"stderr\", chunk: Uint8Array) => void;\n\t/** Optional application metadata tap; control messages and chord frames keep their normal handling. */\n\treadonly onMessage?: (message: unknown) => void;\n}\n\n/**\n * A process lock owned by the kernel for the holder's lifetime: an abstract socket (Linux, Android) or a named pipe\n * (Windows) vanishes with its process, so there is no stale state to take over and no race between two would-be\n * owners. Other platforms need a socket file, removed on exit; a leftover one nobody accepts on is taken over.\n * The child acquires it (before opening storage), so the lock follows the process that owns the data.\n */\nexport async function processLock(name: string): Promise<() => Promise<void>> {\n\tconst key = createHash(\"sha256\").update(name).digest(\"hex\").slice(0, 32);\n\tconst file = process.platform !== \"win32\" && process.platform !== \"linux\" && process.platform !== \"android\";\n\tconst address =\n\t\tprocess.platform === \"win32\"\n\t\t\t? `\\\\\\\\.\\\\pipe\\\\chord2-${key}`\n\t\t\t: file\n\t\t\t\t? await lockSocketPath(`chord2-${key}.sock`)\n\t\t\t\t: `\\0chord2-${key}`;\n\tconst server = createServer((socket) => socket.end());\n\tfor (;;) {\n\t\ttry {\n\t\t\tawait new Promise<void>((resolve, reject) => {\n\t\t\t\tserver.once(\"error\", reject);\n\t\t\t\tserver.listen(address, () => {\n\t\t\t\t\tserver.removeListener(\"error\", reject);\n\t\t\t\t\tresolve();\n\t\t\t\t});\n\t\t\t});\n\t\t\tbreak;\n\t\t} catch (error) {\n\t\t\tif ((error as NodeJS.ErrnoException).code !== \"EADDRINUSE\") throw error;\n\t\t\tif (!file || (await accepting(address))) {\n\t\t\t\tthrow new ChordError(\"unavailable\", `lock ${name} is held by another process`, { reason: \"locked\" });\n\t\t\t}\n\t\t\tawait rm(address, { force: true });\n\t\t}\n\t}\n\tconst removeFile = (): void => {\n\t\ttry {\n\t\t\tunlinkSync(address);\n\t\t} catch {\n\t\t\t// Already gone.\n\t\t}\n\t};\n\tif (file) process.once(\"exit\", removeFile);\n\treturn () =>\n\t\tnew Promise<void>((resolve, reject) => {\n\t\t\tif (file) process.removeListener(\"exit\", removeFile);\n\t\t\tserver.close((error) => (error ? reject(error) : resolve()));\n\t\t});\n}\n\n/** sun_path references 104 bytes on macOS and the BSDs, including the terminating NUL. */\nconst MAX_SOCKET_PATH_BYTES = 103;\n\n/**\n * The lock socket's path: in the temporary directory, or, when that path does not fit in sun_path (a deep TMPDIR,\n * such as a test runner's below macOS's per-user one), in a private per-user directory under /tmp. Other users must\n * not be able to create or remove sockets there, so the directory has to be ours and closed to everyone else.\n */\nasync function lockSocketPath(file: string): Promise<string> {\n\tconst preferred = join(tmpdir(), file);\n\tif (Buffer.byteLength(preferred) <= MAX_SOCKET_PATH_BYTES) return preferred;\n\tconst uid = process.getuid?.() ?? 0;\n\tconst directory = `/tmp/chord2-${uid}`;\n\tawait mkdir(directory, { mode: 0o700, recursive: true });\n\tconst stats = await lstat(directory);\n\tif (!stats.isDirectory() || stats.uid !== uid || (stats.mode & 0o077) !== 0) {\n\t\tthrow new ChordError(\"unavailable\", `lock directory ${directory} must be a directory only its owner can access`);\n\t}\n\treturn join(directory, file);\n}\n\nfunction accepting(address: string): Promise<boolean> {\n\treturn new Promise((resolve) => {\n\t\tconst socket = connect(address);\n\t\tsocket.once(\"connect\", () => {\n\t\t\tsocket.destroy();\n\t\t\tresolve(true);\n\t\t});\n\t\tsocket.once(\"error\", (error: NodeJS.ErrnoException) =>\n\t\t\tresolve(error.code !== \"ECONNREFUSED\" && error.code !== \"ENOENT\"),\n\t\t);\n\t});\n}\n\nconst LOCK_ENV = \"CHORD2_LOCK\";\n\n/** A control message to a peer process that is gone: dropped (its exit or `disconnect` is reported separately). */\nconst ignoreSendError = (): void => {};\n\nexport function forkDriver(options: ForkDriverOptions): Driver {\n\treturn {\n\t\tspawn() {\n\t\t\t// A lock this process inherited (e.g. as a child host itself) is not the child's: it gets only its own.\n\t\t\tconst env: NodeJS.ProcessEnv = { ...process.env };\n\t\t\tdelete env[LOCK_ENV];\n\t\t\tObject.assign(env, options.env);\n\t\t\tif (options.lock !== undefined) env[LOCK_ENV] = options.lock;\n\t\t\t// Detached: the child leads a process group, so the whole tree can be killed.\n\t\t\tconst child: ChildProcess = fork(options.entry, [...(options.args ?? [])], {\n\t\t\t\tenv,\n\t\t\t\texecArgv: [...(options.execArgv ?? [])],\n\t\t\t\tdetached: true,\n\t\t\t\tstdio: [\"ignore\", options.onOutput ? \"pipe\" : \"inherit\", options.onOutput ? \"pipe\" : \"inherit\", \"ipc\"],\n\t\t\t});\n\t\t\tif (options.onOutput) {\n\t\t\t\tfor (const stream of [\"stdout\", \"stderr\"] as const) {\n\t\t\t\t\tchild[stream]?.on(\"data\", (chunk: Buffer) => {\n\t\t\t\t\t\toptions.onOutput!(stream, chunk);\n\t\t\t\t\t\tprocess[stream].write(chunk);\n\t\t\t\t\t});\n\t\t\t\t}\n\t\t\t}\n\t\t\tconst pid = child.pid ?? -1;\n\t\t\tconst killGroup = (): void => {\n\t\t\t\ttry {\n\t\t\t\t\tprocess.kill(-pid, \"SIGKILL\");\n\t\t\t\t} catch {\n\t\t\t\t\t// No group left.\n\t\t\t\t}\n\t\t\t};\n\t\t\tconst exited = new Promise<Exit>((resolve) => {\n\t\t\t\tchild.once(\"exit\", (code, signal) => {\n\t\t\t\t\t// However the leader ended (graceful, crash, kill), nothing it spawned outlives it.\n\t\t\t\t\tkillGroup();\n\t\t\t\t\tresolve({ code, signal });\n\t\t\t\t});\n\t\t\t});\n\t\t\tconst listeners = new Set<(message: ControlMessage) => void>();\n\t\t\tchild.on(\"message\", (message) => {\n\t\t\t\toptions.onMessage?.(message);\n\t\t\t\tconst control = (message as { chord2control?: ControlMessage } | null)?.chord2control;\n\t\t\t\tif (control !== undefined) for (const listener of listeners) listener(control);\n\t\t\t});\n\t\t\tconst send = (message: ControlMessage): void => {\n\t\t\t\t// A child that exited before the channel reported it fails the write (EPIPE): its exit is what counts.\n\t\t\t\tif (child.connected) child.send({ chord2control: message }, ignoreSendError);\n\t\t\t};\n\t\t\tif (options.init !== undefined) send({ type: \"init\", value: options.init });\n\t\t\treturn {\n\t\t\t\tpid,\n\t\t\t\tlink: ipcLink(child as unknown as IpcChannel),\n\t\t\t\texited,\n\t\t\t\tsend,\n\t\t\t\tkillTree: () => {\n\t\t\t\t\ttry {\n\t\t\t\t\t\tprocess.kill(-pid, \"SIGKILL\");\n\t\t\t\t\t} catch {\n\t\t\t\t\t\tchild.kill(\"SIGKILL\");\n\t\t\t\t\t}\n\t\t\t\t},\n\t\t\t\tonControl: (listener) => listeners.add(listener),\n\t\t\t};\n\t\t},\n\t};\n}\n\nexport interface HostManagerOptions {\n\treadonly driver: Driver;\n\t/** Evaluated every `checkInterval` while running; `false` stops the child. */\n\treadonly keepAlive?: (liveness: Liveness) => boolean;\n\treadonly checkInterval?: number;\n\t/** Milliseconds a child may take to shut down before its process tree is killed (default 5000). */\n\treadonly grace?: number;\n\t/** Milliseconds to wait for `ready` (default 30000). */\n\treadonly readyTimeout?: number;\n\t/** The child exited on its own (crash, fatal) or after a stop. */\n\treadonly onExit?: (exit: Exit) => void;\n}\n\nexport interface HostManager {\n\treadonly status: \"stopped\" | \"starting\" | \"running\" | \"stopping\";\n\treadonly instance: Instance | undefined;\n\treadonly liveness: Liveness;\n\t/** Starts the child (or returns the running one) once it reported ready. Serialized with stop/replace. */\n\tstart(): Promise<Instance>;\n\t/** Asks the child to shut down, then kills its process tree after the grace period. */\n\tstop(): Promise<void>;\n\t/** Stop, wait for the exit, start. */\n\treplace(): Promise<Instance>;\n}\n\nexport function createHostManager(options: HostManagerOptions): HostManager {\n\tlet status: HostManager[\"status\"] = \"stopped\";\n\tlet instance: Instance | undefined;\n\tlet queue: Promise<unknown> = Promise.resolve();\n\tlet report = { activeCalls: 0, viewers: 0, durableTasks: 0 };\n\t/** When the child last became idle; undefined while it reports work. */\n\tlet idleSince: number | undefined;\n\tlet booting = false;\n\tlet timer: ReturnType<typeof setInterval> | undefined;\n\n\tconst serialized = <T>(step: () => Promise<T>): Promise<T> => {\n\t\tconst next = queue.then(step, step);\n\t\tqueue = next.catch(() => {});\n\t\treturn next;\n\t};\n\n\tconst liveness = (): Liveness => ({\n\t\tbooting,\n\t\t...report,\n\t\tidleFor: idleSince === undefined ? 0 : Date.now() - idleSince,\n\t});\n\n\tconst doStop = async (): Promise<void> => {\n\t\tconst current = instance;\n\t\tif (current === undefined) {\n\t\t\tstatus = \"stopped\";\n\t\t\tbooting = false;\n\t\t\treturn;\n\t\t}\n\t\tstatus = \"stopping\";\n\t\tif (timer !== undefined) clearInterval(timer);\n\t\tcurrent.send({ type: \"shutdown\" });\n\t\tlet graceTimer: ReturnType<typeof setTimeout> | undefined;\n\t\tconst graceful = await Promise.race([\n\t\t\tcurrent.exited.then(() => true),\n\t\t\tnew Promise<boolean>((resolve) => {\n\t\t\t\tgraceTimer = setTimeout(() => resolve(false), options.grace ?? 5000);\n\t\t\t}),\n\t\t]);\n\t\tclearTimeout(graceTimer);\n\t\tif (!graceful) current.killTree();\n\t\tawait current.exited;\n\t\tif (instance === current) instance = undefined;\n\t\tstatus = \"stopped\";\n\t};\n\n\tconst doStart = async (): Promise<Instance> => {\n\t\tif (instance !== undefined && status === \"running\") return instance;\n\t\tstatus = \"starting\";\n\t\tbooting = true;\n\t\treport = { activeCalls: 0, viewers: 0, durableTasks: 0 };\n\t\tlet current: Instance;\n\t\ttry {\n\t\t\tcurrent = options.driver.spawn();\n\t\t} catch (error) {\n\t\t\tstatus = \"stopped\";\n\t\t\tbooting = false;\n\t\t\tthrow error;\n\t\t}\n\t\tinstance = current;\n\t\tcurrent.exited.then((exit) => {\n\t\t\tif (instance === current) {\n\t\t\t\tinstance = undefined;\n\t\t\t\tstatus = \"stopped\";\n\t\t\t\tif (timer !== undefined) clearInterval(timer);\n\t\t\t}\n\t\t\toptions.onExit?.(exit);\n\t\t});\n\t\tawait new Promise<void>((resolve, reject) => {\n\t\t\tconst timeout = setTimeout(\n\t\t\t\t() => reject(new ChordError(\"unavailable\", \"child not ready in time\")),\n\t\t\t\toptions.readyTimeout ?? 30_000,\n\t\t\t);\n\t\t\tconst settle = (fn: () => void): void => {\n\t\t\t\tclearTimeout(timeout);\n\t\t\t\tfn();\n\t\t\t};\n\t\t\tcurrent.exited.then((exit) =>\n\t\t\t\tsettle(() =>\n\t\t\t\t\treject(new ChordError(\"unavailable\", `child exited before ready (${exit.code ?? exit.signal})`)),\n\t\t\t\t),\n\t\t\t);\n\t\t\tcurrent.onControl((message) => {\n\t\t\t\tif (message.type === \"ready\") settle(resolve);\n\t\t\t\telse if (message.type === \"fatal\")\n\t\t\t\t\tsettle(() =>\n\t\t\t\t\t\treject(new ChordError(\"unavailable\", `child failed: ${message.message}`, { reason: message.reason })),\n\t\t\t\t\t);\n\t\t\t\telse if (message.type === \"status\") {\n\t\t\t\t\treport = {\n\t\t\t\t\t\tactiveCalls: message.activeCalls ?? 0,\n\t\t\t\t\t\tviewers: message.viewers ?? 0,\n\t\t\t\t\t\tdurableTasks: message.durableTasks ?? 0,\n\t\t\t\t\t};\n\t\t\t\t\t// The idle clock starts at the busy → idle transition, not at the last busy report.\n\t\t\t\t\tif (report.activeCalls + report.viewers + report.durableTasks > 0) idleSince = undefined;\n\t\t\t\t\telse idleSince ??= Date.now();\n\t\t\t\t}\n\t\t\t});\n\t\t}).catch(async (error: unknown) => {\n\t\t\tcurrent.killTree();\n\t\t\tawait current.exited;\n\t\t\tthrow error;\n\t\t});\n\t\tbooting = false;\n\t\tif (report.activeCalls + report.viewers + report.durableTasks === 0) idleSince ??= Date.now();\n\t\tstatus = \"running\";\n\t\tif (options.keepAlive !== undefined) {\n\t\t\tconst keepAlive = options.keepAlive;\n\t\t\ttimer = setInterval(() => {\n\t\t\t\tif (status === \"running\" && !keepAlive(liveness())) void serialized(doStop);\n\t\t\t}, options.checkInterval ?? 1000);\n\t\t\ttimer.unref?.();\n\t\t}\n\t\treturn current;\n\t};\n\n\treturn {\n\t\tget status() {\n\t\t\treturn status;\n\t\t},\n\t\tget instance() {\n\t\t\treturn instance;\n\t\t},\n\t\tget liveness() {\n\t\t\treturn liveness();\n\t\t},\n\t\tstart: () => serialized(doStart),\n\t\tstop: () => serialized(doStop),\n\t\treplace: () =>\n\t\t\tserialized(async () => {\n\t\t\t\tawait doStop();\n\t\t\t\treturn doStart();\n\t\t\t}),\n\t};\n}\n\n/** The child side of the control channel (call in the child's entry). */\nexport function childControl(channel: NodeJS.Process = process): {\n\treadonly init: Promise<unknown>;\n\t/**\n\t * Acquires the manager's lock (if one was configured) as a kernel lock held for this process's lifetime. Call it\n\t * before opening storage. Fails with `unavailable/locked`, also reported to the manager as a fatal start error.\n\t */\n\tlock(): Promise<void>;\n\tready(): void;\n\tfatal(error: unknown): void;\n\treport(status: { activeCalls?: number; viewers?: number; durableTasks?: number }): void;\n\tonShutdown(handler: () => void | Promise<void>): void;\n} {\n\tconst send = (message: ControlMessage): void => {\n\t\t// A parent that is gone fails the write (EPIPE); the `disconnect` that follows is how a child notices.\n\t\tif (channel.connected) channel.send?.({ chord2control: message }, undefined, undefined, ignoreSendError);\n\t};\n\tlet resolveInit: (value: unknown) => void = () => {};\n\tconst init = new Promise<unknown>((resolve) => {\n\t\tresolveInit = resolve;\n\t});\n\tconst shutdown = new Set<() => void | Promise<void>>();\n\tchannel.on(\"message\", (message: unknown) => {\n\t\tconst control = (message as { chord2control?: ControlMessage } | null)?.chord2control;\n\t\tif (control?.type === \"init\") resolveInit(control.value);\n\t\tif (control?.type === \"shutdown\") for (const handler of shutdown) void handler();\n\t});\n\tconst fatal = (error: unknown): void =>\n\t\tsend({\n\t\t\ttype: \"fatal\",\n\t\t\tmessage: error instanceof Error ? error.message : String(error),\n\t\t\t...(error instanceof ChordError && error.reason !== undefined ? { reason: error.reason } : {}),\n\t\t});\n\treturn {\n\t\tinit,\n\t\tlock: async () => {\n\t\t\tconst name = process.env[LOCK_ENV];\n\t\t\tif (name === undefined) return;\n\t\t\ttry {\n\t\t\t\tawait processLock(name);\n\t\t\t} catch (error) {\n\t\t\t\tfatal(error);\n\t\t\t\tthrow error;\n\t\t\t}\n\t\t},\n\t\tready: () => send({ type: \"ready\" }),\n\t\tfatal,\n\t\treport: (status) => send({ type: \"status\", ...status }),\n\t\tonShutdown: (handler) => shutdown.add(handler),\n\t};\n}\n"]}

package/dist/next/contracts/accepts.d.ts

@@ -1,81 +0,0 @@
-import type { Context } from "../../context/index.ts";
-import { type Contract, type ContractShape, type Kind, LOCAL, type ShapeOf } from "./contract.ts";
-import type { Change, ChangesAfter, CurrentStep, MemberNames, MethodAt, OlderVersions, StepAt, VariantShape, Variants, VariantsWith } from "./history.ts";
-import type { Method, Static } from "./schema.ts";
-/** Per accepted older version, exactly the mappings its later edits require (direct: old to current). */
-export type AcceptsTable<C extends Contract> = AcceptsOf<ShapeOf<C>>;
-type AcceptsOf<S extends ContractShape> = {
-    readonly [V in OlderVersions<S["history"]>]?: VersionMappings<S["kind"], StepAt<S["history"], V>["variants"], CurrentStep<S["history"]>["variants"], ChangesAfter<S["history"], V>>;
-};
-type VersionMappings<K extends Kind, Old extends Variants, Current extends Variants, C extends Change> = Section<"state", K extends "local" ? StateMappings<Old[Local], Current[Local], Local, C> : RemoteStateMappings<Old, Current, C>> & Section<"methods", MethodMappings<Old, Current, C>> & Section<"keyed", K extends "local" ? KeyedMappings<Old[Local], Current[Local], C> : Record<never, never>>;
-/**
- * A local contract's keyed members (slice 7b): a changed one maps each document of the current version back, or
- * refuses; a removed one refuses (no document maps from the whole state).
- */
-type KeyedMappings<Old extends VariantShape, Current extends VariantShape, C extends Change> = OmitNever<{
-    [S in keyof NonNullable<Old["keyed"]>]: S extends keyof NonNullable<Current["keyed"]> ? [Local, S, "keyed"] extends C ? ((current: Static<NonNullable<Current["keyed"]>[S]>) => Static<NonNullable<Old["keyed"]>[S]>) | "refuse" : never : "refuse";
-}>;
-type Local = typeof LOCAL;
-/** A section is required when it holds a required mapping; otherwise it may be absent or empty. */
-type Section<Key extends string, T> = [keyof T] extends [never] ? {
-    readonly [K in Key]?: {
-        readonly [member: string]: never;
-    };
-} : {
-    readonly [K in Key]: T;
-};
-/** `T` without its `never` properties: the members that need no mapping. */
-type OmitNever<T> = {
-    readonly [K in keyof T as [T[K]] extends [never] ? never : K]: T[K];
-};
-type RemoteStateMappings<Old extends Variants, Current extends Variants, C extends Change> = OmitNever<{
-    [X in keyof Old & keyof Current]: [keyof StateMappings<Old[X], Current[X], X, C>] extends [never] ? never : StateMappings<Old[X], Current[X], X, C>;
-}>;
-type StateMappings<Old extends VariantShape, Current extends VariantShape, X, C extends Change> = OmitNever<{
-    [S in keyof Old["state"]]: StateMapping<Old, Current, X, S, C>;
-}>;
-/** A changed member maps the current member back; a removed one maps the variant's whole current state, or refuses. */
-type StateMapping<Old extends VariantShape, Current extends VariantShape, X, S extends keyof Old["state"], C> = S extends keyof Current["state"] ? [X, S, "state"] extends C ? (current: Static<Current["state"][S]>) => Static<Old["state"][S]> : never : ((state: {
-    [M in keyof Current["state"]]: Static<Current["state"][M]>;
-}) => Static<Old["state"][S]>) | "refuse";
-type MethodMappings<Old extends Variants, Current extends Variants, C extends Change> = OmitNever<{
-    [M in MemberNames<Old, "methods">]: [RemovedFrom<Current, VariantsWith<Old, M>, M>] extends [never] ? ChangedMethod<Changed<C, VariantsWith<Old, M>, M, "args">, Changed<C, VariantsWith<Old, M>, M, "result">, MethodAt<Old, M>, MethodAt<Current, M>> : Replacement<MethodAt<Old, M>>;
-}>;
-/** The variants among `Xs` that no longer have method `M`. */
-type RemovedFrom<Current extends Variants, Xs extends keyof Current, M> = {
-    [X in Xs]: M extends keyof Current[X]["methods"] ? never : X;
-}[Xs];
-/** `true` when an edit changed `Side` of `M` in one of `Xs`. */
-type Changed<C, Xs, M, Side> = Xs extends unknown ? ([Xs, M, Side] extends C ? true : never) : never;
-/** Mappings for the changed sides of a method (`A`, `R` are `true` when changed), or a replacement. */
-type ChangedMethod<A, R, Old extends Method, Current extends Method> = [A | R] extends [never] ? never : ({
-    readonly call?: never;
-} & ([A] extends [never] ? {
-    readonly args?: never;
-} : {
-    readonly args: (old: Static<Old["args"]>) => Static<Current["args"]>;
-}) & ([R] extends [never] ? {
-    readonly result?: never;
-} : {
-    readonly result: (current: Static<Current["result"]>) => Static<Old["result"]>;
-})) | Replacement<Old>;
-/** A removed (or changed) method served by the provider's own function, or refused. */
-type Replacement<Old extends Method> = {
-    readonly call: (args: Static<Old["args"]>, context: Context) => Promise<Static<Old["result"]>>;
-    readonly args?: never;
-    readonly result?: never;
-} | "refuse";
-/** An accepted older version and its fingerprint. */
-export type AcceptedVersion = {
-    readonly version: number;
-    readonly fingerprint: string;
-};
-/**
- * Validates an accepts table without calling any mapping: known older versions only, exactly the required mappings
- * with the right shapes. Fails with an Error naming the path (`notes accepts[1].methods.add`).
- */
-export declare function checkAccepts<C extends Contract>(contract: C, accepts: AcceptsTable<C>): {
-    readonly versions: readonly AcceptedVersion[];
-};
-export {};
-//# sourceMappingURL=accepts.d.ts.map

package/dist/next/contracts/accepts.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"accepts.d.ts","sourceRoot":"","sources":["../../../src/next/contracts/accepts.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EACN,KAAK,QAAQ,EAEb,KAAK,aAAa,EAElB,KAAK,IAAI,EACT,KAAK,EACL,KAAK,OAAO,EACZ,MAAM,eAAe,CAAC;AAEvB,OAAO,KAAK,EACX,MAAM,EACN,YAAY,EACZ,WAAW,EACX,WAAW,EACX,QAAQ,EACR,aAAa,EACb,MAAM,EACN,YAAY,EACZ,QAAQ,EACR,YAAY,EACZ,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAElD,yGAAyG;AACzG,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,QAAQ,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAErE,KAAK,SAAS,CAAC,CAAC,SAAS,aAAa,IAAI;IACzC,QAAQ,EAAE,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,CAC5D,CAAC,CAAC,MAAM,CAAC,EACT,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,EACnC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,EACrC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAC7B;CACD,CAAC;AAEF,KAAK,eAAe,CAAC,CAAC,SAAS,IAAI,EAAE,GAAG,SAAS,QAAQ,EAAE,OAAO,SAAS,QAAQ,EAAE,CAAC,SAAS,MAAM,IAAI,OAAO,CAC/G,OAAO,EACP,CAAC,SAAS,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,mBAAmB,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAC9G,GACA,OAAO,CAAC,SAAS,EAAE,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GACnD,OAAO,CAAC,OAAO,EAAE,CAAC,SAAS,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAE3G;;;GAGG;AACH,KAAK,aAAa,CAAC,GAAG,SAAS,YAAY,EAAE,OAAO,SAAS,YAAY,EAAE,CAAC,SAAS,MAAM,IAAI,SAAS,CAAC;KACvG,CAAC,IAAI,MAAM,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAClF,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,GAC5B,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,GACxG,KAAK,GACN,QAAQ;CACX,CAAC,CAAC;AAEH,KAAK,KAAK,GAAG,OAAO,KAAK,CAAC;AAE1B,mGAAmG;AACnG,KAAK,OAAO,CAAC,GAAG,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC5D;IAAE,QAAQ,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAAA;KAAE;CAAE,GAC9D;IAAE,QAAQ,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC;CAAE,CAAC;AAE9B,4EAA4E;AAC5E,KAAK,SAAS,CAAC,CAAC,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAE5F,KAAK,mBAAmB,CAAC,GAAG,SAAS,QAAQ,EAAE,OAAO,SAAS,QAAQ,EAAE,CAAC,SAAS,MAAM,IAAI,SAAS,CAAC;KACrG,CAAC,IAAI,MAAM,GAAG,GAAG,MAAM,OAAO,GAAG,CAAC,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC9F,KAAK,GACL,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;CAC1C,CAAC,CAAC;AAEH,KAAK,aAAa,CAAC,GAAG,SAAS,YAAY,EAAE,OAAO,SAAS,YAAY,EAAE,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,SAAS,CAAC;KAC1G,CAAC,IAAI,MAAM,GAAG,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;CAC9D,CAAC,CAAC;AAEH,uHAAuH;AACvH,KAAK,YAAY,CAChB,GAAG,SAAS,YAAY,EACxB,OAAO,SAAS,YAAY,EAC5B,CAAC,EACD,CAAC,SAAS,MAAM,GAAG,CAAC,OAAO,CAAC,EAC5B,CAAC,IACE,CAAC,SAAS,MAAM,OAAO,CAAC,OAAO,CAAC,GACjC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,GACxB,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GACjE,KAAK,GACN,CAAC,CAAC,KAAK,EAAE;KAAG,CAAC,IAAI,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC;AAEnH,KAAK,cAAc,CAAC,GAAG,SAAS,QAAQ,EAAE,OAAO,SAAS,QAAQ,EAAE,CAAC,SAAS,MAAM,IAAI,SAAS,CAAC;KAChG,CAAC,IAAI,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,EAAE,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAChG,aAAa,CACb,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,EAC3C,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAC7C,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAChB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CACpB,GACA,WAAW,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;CAChC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,KAAK,WAAW,CAAC,OAAO,SAAS,QAAQ,EAAE,EAAE,SAAS,MAAM,OAAO,EAAE,CAAC,IAAI;KACxE,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC;CAC5D,CAAC,EAAE,CAAC,CAAC;AAEN,gEAAgE;AAChE,KAAK,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,IAAI,EAAE,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAErG,uGAAuG;AACvG,KAAK,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3F,KAAK,GAEH,CAAC;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAA;CAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC/C;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;CAAE,CAAC,GAC3E,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAA;CAAE,CAAC,CAAC,GACvF,WAAW,CAAC,GAAG,CAAC,CAAC;AAEtB,uFAAuF;AACvF,KAAK,WAAW,CAAC,GAAG,SAAS,MAAM,IAChC;IACA,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC/F,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC;CACvB,GACD,QAAQ,CAAC;AAEZ,qDAAqD;AACrD,MAAM,MAAM,eAAe,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzF;;;GAGG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,QAAQ,EAC9C,QAAQ,EAAE,CAAC,EACX,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,GACtB;IAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,CAYnD"}

package/dist/next/contracts/accepts.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"accepts.js","sourceRoot":"","sources":["../../../src/next/contracts/accepts.ts"],"names":[],"mappings":"AAAA,+GAA+G;AAG/G,OAAO,EAIN,YAAY,EAEZ,KAAK,GAEL,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AA0HpD;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC3B,QAAW,EACX,OAAwB;IAExB,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACpC,kEAAkE;IAClE,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,EAAE;QACnF,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,YAAY,GAAG,GAAG,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;QAChF,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,wBAAwB,CAAC,CAAC;QACzG,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7D,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAE,CAAC;QACvD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,EAAE,CAAC;AACrB,CAAC;AAiBD,SAAS,KAAK,CAAC,IAAkB,EAAE,KAAa;IAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAE,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7G,MAAM,OAAO,GAAG,CAAC,GAAG,MAAc,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkC,CAAC;IACxD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgE,CAAC;IACxF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC3C,KAAK,MAAM,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjG,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;QAC3C,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;iBACpD,IAAI,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAqB,CAAC;QAClD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;iBAC3D,IAAI,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC;gBAAE,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAC5D,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;YACnF,IAAI,CAAC,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;YAC/C,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;YACnD,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;IACF,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAC;IAClD,KAAK,MAAM,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;QAC3D,IAAI,OAAO;YAAE,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;aACrD,IAAI,IAAI,IAAI,MAAM;YAAE,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,SAAS,CAAC,MAAc;IAChC,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,aAAa,CAAC,QAAiB,EAAE,KAAY,EAAE,IAAU,EAAE,IAAY;IAC/E,SAAS,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;IACzD,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,QAIjC,CAAC;IACF,MAAM,YAAY,GAAG,CAAC,eAAwB,EAAE,YAA4C,EAAE,EAAU,EAAE,EAAE,CAC3G,YAAY,CAAC,eAAe,EAAE,YAAY,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC;IACpE,iEAAiE;IACjE,IAAI,IAAI,KAAK,OAAO;QAAE,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAE,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;;QAC3F,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,EAAE,YAAY,CAAC,CAAC;IACrE,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,EAAE,kBAAkB,CAAC,CAAC;IAC5E,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,EAAE,iBAAiB,CAAC,CAAC;AACtE,CAAC;AAED,0GAA0G;AAC1G,SAAS,YAAY,CACpB,OAAgB,EAChB,KAA6B,EAC7B,IAAY,EACZ,KAAwD;IAExD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;IAChF,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,IAAI,GAAG,uBAAuB,CAAC,CAAC;IAC/G,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,IAAI,GAAG,mBAAmB,CAAC,CAAC;QAC3E,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;IAClD,CAAC;AACF,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAgB,EAAE,IAAe,EAAE,IAAY;IACzE,IAAI,OAAO,OAAO,KAAK,UAAU,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,QAAQ,CAAC;QAAE,OAAO;IAC1F,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,cAAc,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAgB,EAAE,IAAe,EAAE,IAAY;IACzE,IAAI,OAAO,KAAK,QAAQ,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,OAAO,KAAK,UAAU,CAAC;QAAE,OAAO;IAC1F,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,cAAc,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAgB,EAAE,IAAgB,EAAE,IAAY;IAC3E,IAAI,OAAO,KAAK,QAAQ;QAAE,OAAO;IACjC,SAAS,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;IACrD,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,OAI9B,CAAC;IACF,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACnD,IAAI,OAAO,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9E,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,iCAAiC,CAAC,CAAC;QAC3D,CAAC;QACD,OAAO;IACR,CAAC;IACD,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;IAC3C,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,SAAS,CAAC,OAAgB,EAAE,MAAe,EAAE,IAAY;IACjE,IAAI,CAAC,MAAM,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,uBAAuB,CAAC,CAAC;IACtF,IAAI,MAAM,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,mBAAmB,CAAC,CAAC;IACjF,IAAI,MAAM,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,uBAAuB,CAAC,CAAC;AAC9F,CAAC","sourcesContent":["// Accepted versions: the older versions a provider still serves, with the direct mappings their edits require.\n\nimport type { Context } from \"../../context/index.ts\";\nimport {\n\ttype Contract,\n\ttype ContractData,\n\ttype ContractShape,\n\tcontractData,\n\ttype Kind,\n\tLOCAL,\n\ttype ShapeOf,\n} from \"./contract.ts\";\nimport { checkKeys, entriesOf } from \"./declare.ts\";\nimport type {\n\tChange,\n\tChangesAfter,\n\tCurrentStep,\n\tMemberNames,\n\tMethodAt,\n\tOlderVersions,\n\tStepAt,\n\tVariantShape,\n\tVariants,\n\tVariantsWith,\n} from \"./history.ts\";\nimport type { Method, Static } from \"./schema.ts\";\n\n/** Per accepted older version, exactly the mappings its later edits require (direct: old to current). */\nexport type AcceptsTable<C extends Contract> = AcceptsOf<ShapeOf<C>>;\n\ntype AcceptsOf<S extends ContractShape> = {\n\treadonly [V in OlderVersions<S[\"history\"]>]?: VersionMappings<\n\t\tS[\"kind\"],\n\t\tStepAt<S[\"history\"], V>[\"variants\"],\n\t\tCurrentStep<S[\"history\"]>[\"variants\"],\n\t\tChangesAfter<S[\"history\"], V>\n\t>;\n};\n\ntype VersionMappings<K extends Kind, Old extends Variants, Current extends Variants, C extends Change> = Section<\n\t\"state\",\n\tK extends \"local\" ? StateMappings<Old[Local], Current[Local], Local, C> : RemoteStateMappings<Old, Current, C>\n> &\n\tSection<\"methods\", MethodMappings<Old, Current, C>> &\n\tSection<\"keyed\", K extends \"local\" ? KeyedMappings<Old[Local], Current[Local], C> : Record<never, never>>;\n\n/**\n * A local contract's keyed members (slice 7b): a changed one maps each document of the current version back, or\n * refuses; a removed one refuses (no document maps from the whole state).\n */\ntype KeyedMappings<Old extends VariantShape, Current extends VariantShape, C extends Change> = OmitNever<{\n\t[S in keyof NonNullable<Old[\"keyed\"]>]: S extends keyof NonNullable<Current[\"keyed\"]>\n\t\t? [Local, S, \"keyed\"] extends C\n\t\t\t? ((current: Static<NonNullable<Current[\"keyed\"]>[S]>) => Static<NonNullable<Old[\"keyed\"]>[S]>) | \"refuse\"\n\t\t\t: never\n\t\t: \"refuse\";\n}>;\n\ntype Local = typeof LOCAL;\n\n/** A section is required when it holds a required mapping; otherwise it may be absent or empty. */\ntype Section<Key extends string, T> = [keyof T] extends [never]\n\t? { readonly [K in Key]?: { readonly [member: string]: never } }\n\t: { readonly [K in Key]: T };\n\n/** `T` without its `never` properties: the members that need no mapping. */\ntype OmitNever<T> = { readonly [K in keyof T as [T[K]] extends [never] ? never : K]: T[K] };\n\ntype RemoteStateMappings<Old extends Variants, Current extends Variants, C extends Change> = OmitNever<{\n\t[X in keyof Old & keyof Current]: [keyof StateMappings<Old[X], Current[X], X, C>] extends [never]\n\t\t? never\n\t\t: StateMappings<Old[X], Current[X], X, C>;\n}>;\n\ntype StateMappings<Old extends VariantShape, Current extends VariantShape, X, C extends Change> = OmitNever<{\n\t[S in keyof Old[\"state\"]]: StateMapping<Old, Current, X, S, C>;\n}>;\n\n/** A changed member maps the current member back; a removed one maps the variant's whole current state, or refuses. */\ntype StateMapping<\n\tOld extends VariantShape,\n\tCurrent extends VariantShape,\n\tX,\n\tS extends keyof Old[\"state\"],\n\tC,\n> = S extends keyof Current[\"state\"]\n\t? [X, S, \"state\"] extends C\n\t\t? (current: Static<Current[\"state\"][S]>) => Static<Old[\"state\"][S]>\n\t\t: never\n\t: ((state: { [M in keyof Current[\"state\"]]: Static<Current[\"state\"][M]> }) => Static<Old[\"state\"][S]>) | \"refuse\";\n\ntype MethodMappings<Old extends Variants, Current extends Variants, C extends Change> = OmitNever<{\n\t[M in MemberNames<Old, \"methods\">]: [RemovedFrom<Current, VariantsWith<Old, M>, M>] extends [never]\n\t\t? ChangedMethod<\n\t\t\t\tChanged<C, VariantsWith<Old, M>, M, \"args\">,\n\t\t\t\tChanged<C, VariantsWith<Old, M>, M, \"result\">,\n\t\t\t\tMethodAt<Old, M>,\n\t\t\t\tMethodAt<Current, M>\n\t\t\t>\n\t\t: Replacement<MethodAt<Old, M>>;\n}>;\n\n/** The variants among `Xs` that no longer have method `M`. */\ntype RemovedFrom<Current extends Variants, Xs extends keyof Current, M> = {\n\t[X in Xs]: M extends keyof Current[X][\"methods\"] ? never : X;\n}[Xs];\n\n/** `true` when an edit changed `Side` of `M` in one of `Xs`. */\ntype Changed<C, Xs, M, Side> = Xs extends unknown ? ([Xs, M, Side] extends C ? true : never) : never;\n\n/** Mappings for the changed sides of a method (`A`, `R` are `true` when changed), or a replacement. */\ntype ChangedMethod<A, R, Old extends Method, Current extends Method> = [A | R] extends [never]\n\t? never\n\t:\n\t\t\t| ({ readonly call?: never } & ([A] extends [never]\n\t\t\t\t\t? { readonly args?: never }\n\t\t\t\t\t: { readonly args: (old: Static<Old[\"args\"]>) => Static<Current[\"args\"]> }) &\n\t\t\t\t\t([R] extends [never]\n\t\t\t\t\t\t? { readonly result?: never }\n\t\t\t\t\t\t: { readonly result: (current: Static<Current[\"result\"]>) => Static<Old[\"result\"]> }))\n\t\t\t| Replacement<Old>;\n\n/** A removed (or changed) method served by the provider's own function, or refused. */\ntype Replacement<Old extends Method> =\n\t| {\n\t\t\treadonly call: (args: Static<Old[\"args\"]>, context: Context) => Promise<Static<Old[\"result\"]>>;\n\t\t\treadonly args?: never;\n\t\t\treadonly result?: never;\n\t  }\n\t| \"refuse\";\n\n/** An accepted older version and its fingerprint. */\nexport type AcceptedVersion = { readonly version: number; readonly fingerprint: string };\n\n/**\n * Validates an accepts table without calling any mapping: known older versions only, exactly the required mappings\n * with the right shapes. Fails with an Error naming the path (`notes accepts[1].methods.add`).\n */\nexport function checkAccepts<C extends Contract>(\n\tcontract: C,\n\taccepts: AcceptsTable<C>,\n): { readonly versions: readonly AcceptedVersion[] } {\n\tconst data = contractData(contract);\n\t// Declaration policy: JavaScript callers reach every check below.\n\tconst versions = entriesOf(accepts, `${data.name} accepts`).map(([key, mappings]) => {\n\t\tconst path = `${data.name} accepts[${key}]`;\n\t\tconst index = data.versions.findIndex(({ version }) => String(version) === key);\n\t\tif (index === -1 || index === data.versions.length - 1) throw new Error(`${path}: not an older version`);\n\t\tcheckMappings(mappings, needs(data, index), data.kind, path);\n\t\tconst { version, fingerprint } = data.versions[index]!;\n\t\treturn { version, fingerprint };\n\t});\n\treturn { versions };\n}\n\n/** What an accepted version needs, by edit and never by schema comparison. */\ntype Needs = {\n\t/** Per variant, per state member. */\n\treadonly state: ReadonlyMap<string, ReadonlyMap<string, StateNeed>>;\n\treadonly methods: ReadonlyMap<string, MethodNeed>;\n\t/** Per keyed member (local contracts). */\n\treadonly keyed: ReadonlyMap<string, StateNeed>;\n};\n\ntype StateNeed = \"changed\" | \"removed\";\n\ntype MethodNeed =\n\t| { readonly kind: \"removed\" }\n\t| { readonly kind: \"changed\"; readonly args: boolean; readonly result: boolean };\n\nfunction needs(data: ContractData, index: number): Needs {\n\tconst old = data.versions[index]!;\n\tconst current = data.versions.at(-1)!;\n\tconst changes = new Set(data.versions.slice(index + 1).flatMap((version) => version.changes.map(changeKey)));\n\tconst changed = (...change: Change) => changes.has(changeKey(change));\n\tconst state = new Map<string, Map<string, StateNeed>>();\n\tconst methods = new Map<string, { removed: boolean; args: boolean; result: boolean }>();\n\tconst keyed = new Map<string, StateNeed>();\n\tfor (const [variant, { state: oldState, methods: oldMethods, keyed: oldKeyed }] of old.variants) {\n\t\tconst now = current.variants.get(variant)!;\n\t\tfor (const member of oldKeyed.keys()) {\n\t\t\tif (!now.keyed.has(member)) keyed.set(member, \"removed\");\n\t\t\telse if (changed(variant, member, \"keyed\")) keyed.set(member, \"changed\");\n\t\t}\n\t\tconst variantNeeds = new Map<string, StateNeed>();\n\t\tfor (const member of oldState.keys()) {\n\t\t\tif (!now.state.has(member)) variantNeeds.set(member, \"removed\");\n\t\t\telse if (changed(variant, member, \"state\")) variantNeeds.set(member, \"changed\");\n\t\t}\n\t\tif (variantNeeds.size > 0) state.set(variant, variantNeeds);\n\t\tfor (const member of oldMethods.keys()) {\n\t\t\tconst need = methods.get(member) ?? { removed: false, args: false, result: false };\n\t\t\tneed.removed ||= !now.methods.has(member);\n\t\t\tneed.args ||= changed(variant, member, \"args\");\n\t\t\tneed.result ||= changed(variant, member, \"result\");\n\t\t\tmethods.set(member, need);\n\t\t}\n\t}\n\tconst methodNeeds = new Map<string, MethodNeed>();\n\tfor (const [member, { removed, args, result }] of methods) {\n\t\tif (removed) methodNeeds.set(member, { kind: \"removed\" });\n\t\telse if (args || result) methodNeeds.set(member, { kind: \"changed\", args, result });\n\t}\n\treturn { state, methods: methodNeeds, keyed };\n}\n\nfunction changeKey(change: Change): string {\n\treturn JSON.stringify(change);\n}\n\nfunction checkMappings(mappings: unknown, needs: Needs, kind: Kind, path: string): void {\n\tcheckKeys(mappings, [\"state\", \"methods\", \"keyed\"], path);\n\tconst { state, methods, keyed } = mappings as {\n\t\treadonly state?: unknown;\n\t\treadonly methods?: unknown;\n\t\treadonly keyed?: unknown;\n\t};\n\tconst checkVariant = (variantMappings: unknown, variantNeeds: ReadonlyMap<string, StateNeed>, at: string) =>\n\t\tcheckSection(variantMappings, variantNeeds, at, checkStateMapping);\n\t// A local table is flat: its state section is the one variant's.\n\tif (kind === \"local\") checkVariant(state, needs.state.get(LOCAL) ?? new Map(), `${path}.state`);\n\telse checkSection(state, needs.state, `${path}.state`, checkVariant);\n\tcheckSection(methods, needs.methods, `${path}.methods`, checkMethodMapping);\n\tcheckSection(keyed, needs.keyed, `${path}.keyed`, checkKeyedMapping);\n}\n\n/** Exactly the needed keys: no missing and no unnecessary mapping; absent only when nothing is needed. */\nfunction checkSection<N>(\n\tsection: unknown,\n\tneeds: ReadonlyMap<string, N>,\n\tpath: string,\n\tcheck: (mapping: unknown, need: N, path: string) => void,\n): void {\n\tconst mappings = new Map(section === undefined ? [] : entriesOf(section, path));\n\tfor (const key of mappings.keys()) if (!needs.has(key)) throw new Error(`${path}.${key}: unnecessary mapping`);\n\tfor (const [key, need] of needs) {\n\t\tif (!mappings.has(key)) throw new Error(`${path}.${key}: missing mapping`);\n\t\tcheck(mappings.get(key), need, `${path}.${key}`);\n\t}\n}\n\nfunction checkStateMapping(mapping: unknown, need: StateNeed, path: string): void {\n\tif (typeof mapping === \"function\" || (need === \"removed\" && mapping === \"refuse\")) return;\n\tthrow new Error(`${path}: expected ${need === \"removed\" ? 'a function or \"refuse\"' : \"a function\"}`);\n}\n\nfunction checkKeyedMapping(mapping: unknown, need: StateNeed, path: string): void {\n\tif (mapping === \"refuse\" || (need === \"changed\" && typeof mapping === \"function\")) return;\n\tthrow new Error(`${path}: expected ${need === \"changed\" ? 'a function or \"refuse\"' : '\"refuse\"'}`);\n}\n\nfunction checkMethodMapping(mapping: unknown, need: MethodNeed, path: string): void {\n\tif (mapping === \"refuse\") return;\n\tcheckKeys(mapping, [\"args\", \"result\", \"call\"], path);\n\tconst { args, result, call } = mapping as {\n\t\treadonly args?: unknown;\n\t\treadonly result?: unknown;\n\t\treadonly call?: unknown;\n\t};\n\tif (call !== undefined || need.kind === \"removed\") {\n\t\tif (typeof call !== \"function\" || args !== undefined || result !== undefined) {\n\t\t\tthrow new Error(`${path}: expected { call } or \"refuse\"`);\n\t\t}\n\t\treturn;\n\t}\n\tcheckSide(args, need.args, `${path}.args`);\n\tcheckSide(result, need.result, `${path}.result`);\n}\n\nfunction checkSide(mapping: unknown, needed: boolean, path: string): void {\n\tif (!needed && mapping !== undefined) throw new Error(`${path}: unnecessary mapping`);\n\tif (needed && mapping === undefined) throw new Error(`${path}: missing mapping`);\n\tif (needed && typeof mapping !== \"function\") throw new Error(`${path}: expected a function`);\n}\n"]}