@intent-engine/cli 0.1.28 → 0.1.31

package/dist/src/node-judge.js

@@ -0,0 +1,231 @@
+import { spawn } from "node:child_process";
+import { randomBytes } from "node:crypto";
+import { chmod, mkdir, mkdtemp, writeFile } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import { join, posix } from "node:path";
+import { removeCopy } from "./artifact.js";
+import { removeContainer } from "./check-process.js";
+import { nodeSeed, wireArgs } from "./host-judge.js";
+import { SIGNAL_EXIT } from "./judge-errors.js";
+import { NODE_CASE, NODE_LAUNCHER } from "./node-runner.js";
+import { containerName, dockerEnv, SANDBOX_PIDS, SANDBOX_USER, shareable } from "./sandbox.js";
+import { DIAGNOSTIC_BYTES, OUTPUT_BYTES, REPORTED_FAILURES, stoppedAll } from "./viper.js";
+export const NODE_ENGINE = "node-docker";
+export const NODE_ROOT = "/judge";
+export const NODE_RUNNER = "runner";
+export const NODE_CASE_MS = 5_000;
+const SEARCHABLE = 0o755;
+const LINE_BYTES = 2 * OUTPUT_BYTES;
+export const moduleName = (name) => (name.endsWith(".mjs") ? name : `${name.replace(/\.[^.]*$/, "") || "delivery"}.mjs`);
+export function nodeArgs(box, name, source, directory) {
+    return [
+        "run",
+        "-i",
+        "--name",
+        name,
+        "--network",
+        "none",
+        "--read-only",
+        "--cap-drop",
+        "ALL",
+        "--security-opt",
+        "no-new-privileges",
+        "--user",
+        SANDBOX_USER,
+        "--pids-limit",
+        String(SANDBOX_PIDS),
+        "--memory",
+        box.memory,
+        "--memory-swap",
+        box.memory,
+        "--cpus",
+        box.cpus,
+        "--ipc",
+        "none",
+        "--mount",
+        "type=tmpfs,target=/dev/mqueue,readonly",
+        "--mount",
+        `type=bind,source=${source},target=${NODE_ROOT},readonly`,
+        "--workdir",
+        directory,
+        "--entrypoint",
+        "node",
+        box.image,
+        posix.join(NODE_ROOT, NODE_RUNNER, "launch.mjs"),
+        posix.join(NODE_ROOT, NODE_RUNNER, "case.mjs"),
+    ];
+}
+const same = (a, b) => a === b || (typeof a === "number" && typeof b === "number" && Number.isNaN(a) && Number.isNaN(b));
+function valueOf(kind, value) {
+    if (kind === "string" && typeof value === "string")
+        return { ok: true, value };
+    if (kind === "number" && typeof value === "string")
+        return { ok: true, value: Number(value) };
+    if (kind === "boolean" && (value === "true" || value === "false"))
+        return { ok: true, value: value === "true" };
+    if (kind === "null" && value === null)
+        return { ok: true, value: null };
+    return { ok: false };
+}
+export function caseVerdict(answer, token, expected) {
+    if (answer.over)
+        return { verdict: "crashed", detail: `the case wrote more than ${OUTPUT_BYTES} bytes` };
+    if (answer.timedOut)
+        return { verdict: "stopped", detail: `the case gave no answer within ${NODE_CASE_MS} ms` };
+    const parts = Buffer.from(answer.out, "base64").toString("utf8").split(token);
+    if (parts.length !== 3) {
+        return { verdict: "crashed", detail: parts.length < 3 ? "the case wrote no answer framed by its token" : "the case wrote more than one answer framed by its token" };
+    }
+    let body;
+    try {
+        body = JSON.parse(parts[1] ?? "");
+    }
+    catch {
+        return { verdict: "crashed", detail: "the case wrote a framed answer that is not JSON" };
+    }
+    if (!Array.isArray(body) || body.length !== 3)
+        return { verdict: "crashed", detail: "the case wrote a framed answer of the wrong shape" };
+    const [verdict, kind, value] = body;
+    if (verdict === "not-primitive")
+        return { verdict: "not-primitive" };
+    if (verdict === "threw" || verdict === "no-module")
+        return { verdict, detail: String(value).slice(0, 256) };
+    const got = verdict === "answer" ? valueOf(kind, value) : { ok: false };
+    if (!got.ok)
+        return { verdict: "crashed", detail: "the case wrote a framed answer the judge does not know" };
+    return same(got.value, expected) ? { verdict: "pass" } : { verdict: "wrong", detail: got.value };
+}
+function summarized(results, image, path) {
+    const failures = results.flatMap((result, index) => (result.verdict === "pass" ? [] : [{ case: index, ...result }]));
+    return { engine: NODE_ENGINE, image, path, total: results.length, passed: results.length - failures.length, failures: failures.slice(0, REPORTED_FAILURES) };
+}
+async function stage(source, name) {
+    const root = await mkdtemp(join(tmpdir(), "judge-node-"));
+    const mount = join(root, "judge");
+    const random = randomBytes(16).toString("hex");
+    const file = moduleName(name);
+    try {
+        await mkdir(join(mount, NODE_RUNNER), { recursive: true });
+        await mkdir(join(mount, random));
+        await writeFile(join(mount, NODE_RUNNER, "launch.mjs"), NODE_LAUNCHER);
+        await writeFile(join(mount, NODE_RUNNER, "case.mjs"), NODE_CASE);
+        await writeFile(join(mount, random, file), source);
+        await chmod(mount, SEARCHABLE);
+        await shareable(mount);
+    }
+    catch (error) {
+        await removeCopy(root);
+        throw error;
+    }
+    return { root, mount, directory: posix.join(NODE_ROOT, random), path: posix.join(NODE_ROOT, random, file) };
+}
+function converse(args, name, staged, cases, seed, timeoutSeconds) {
+    return new Promise((done) => {
+        const env = dockerEnv(process.env);
+        const child = spawn("docker", args, { env, stdio: ["pipe", "pipe", "pipe"], windowsHide: true });
+        const results = [];
+        let buffered = "";
+        let diagnostic = "";
+        let token = "";
+        let ended;
+        let killing = Promise.resolve();
+        const kill = (why) => {
+            ended ??= why;
+            killing = removeContainer(name, env).then(() => {
+                if (child.exitCode === null)
+                    child.kill("SIGKILL");
+            });
+        };
+        const handlers = Object.keys(SIGNAL_EXIT).map((signal) => {
+            const handler = () => {
+                kill({ verdict: "stopped", detail: `${signal} stopped the judge` });
+            };
+            process.on(signal, handler);
+            return [signal, handler];
+        });
+        const timer = setTimeout(() => kill({ verdict: "stopped", detail: "the judgement's --timeout ran out before this case finished" }), timeoutSeconds * 1000);
+        const send = (message) => {
+            child.stdin.write(`${JSON.stringify(message)}\n`);
+        };
+        const next = () => {
+            if (results.length === cases.cases.length) {
+                child.stdin.end();
+                return;
+            }
+            token = randomBytes(32).toString("hex");
+            send({ token, ...wireArgs(cases.cases[results.length]?.args ?? []) });
+        };
+        const answered = (line) => {
+            let answer;
+            try {
+                answer = JSON.parse(line);
+            }
+            catch {
+                answer = undefined;
+            }
+            if (token === "" || answer === undefined || answer.token !== token) {
+                kill({ verdict: "crashed", detail: "the plain Node engine answered out of turn" });
+                return;
+            }
+            results.push(caseVerdict(answer, token, cases.cases[results.length]?.expected ?? null));
+            token = "";
+            next();
+        };
+        child.stdout.setEncoding("utf8");
+        child.stdout.on("data", (chunk) => {
+            buffered += chunk;
+            let at = buffered.indexOf("\n");
+            while (at >= 0 && ended === undefined) {
+                const line = buffered.slice(0, at);
+                buffered = buffered.slice(at + 1);
+                answered(line);
+                at = buffered.indexOf("\n");
+            }
+            if (buffered.length > LINE_BYTES)
+                kill({ verdict: "crashed", detail: "the plain Node engine wrote an answer too long to read" });
+        });
+        child.stderr.setEncoding("utf8");
+        child.stderr.on("data", (chunk) => {
+            if (diagnostic.length < DIAGNOSTIC_BYTES)
+                diagnostic += chunk.slice(0, DIAGNOSTIC_BYTES - diagnostic.length);
+        });
+        child.stdin.on("error", () => undefined);
+        const finish = (exitCode) => {
+            clearTimeout(timer);
+            void killing.finally(() => {
+                for (const [signal, handler] of handlers)
+                    process.removeListener(signal, handler);
+                const rest = ended ?? { verdict: "crashed", detail: `the plain Node engine ended with exit code ${exitCode}: ${diagnostic.trim().slice(0, 256)}` };
+                while (results.length < cases.cases.length)
+                    results.push(rest);
+                done(results);
+            });
+        };
+        child.once("error", (error) => {
+            diagnostic = error.message;
+            finish(null);
+        });
+        child.once("close", finish);
+        send({ seed: nodeSeed(seed), caseMs: NODE_CASE_MS, outputBytes: OUTPUT_BYTES, path: staged.path });
+        next();
+    });
+}
+export async function judgeNode(box, source, name, cases, seed, timeoutSeconds) {
+    if (timeoutSeconds <= 0) {
+        const stopped = stoppedAll(cases.cases.length, "the judgement's --timeout ran out before the plain Node engine started");
+        return { judged: { engine: NODE_ENGINE, image: box.image, path: "", ...stopped }, cleanup: undefined };
+    }
+    const staged = await stage(source, name);
+    const container = containerName();
+    let results = [];
+    let cleanup;
+    try {
+        results = await converse(nodeArgs(box, container, staged.mount, staged.directory), container, staged, cases, seed, timeoutSeconds);
+    }
+    finally {
+        await removeContainer(container, dockerEnv(process.env));
+        cleanup = await removeCopy(staged.root);
+    }
+    return { judged: summarized(results, box.image, staged.path), cleanup };
+}
+//# sourceMappingURL=node-judge.js.map

package/dist/src/node-judge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-judge.js","sourceRoot":"","sources":["../../src/node-judge.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAwB,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACtE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAY,aAAa,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzG,OAAO,EAA+B,gBAAgB,EAAgB,YAAY,EAAkB,iBAAiB,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAEtJ,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,CAAC;AACzC,MAAM,CAAC,MAAM,SAAS,GAAG,QAAQ,CAAC;AAClC,MAAM,CAAC,MAAM,WAAW,GAAG,QAAQ,CAAC;AACpC,MAAM,CAAC,MAAM,YAAY,GAAG,KAAK,CAAC;AAKlC,MAAM,UAAU,GAAG,KAAK,CAAC;AACzB,MAAM,UAAU,GAAG,CAAC,GAAG,YAAY,CAAC;AAEpC,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,UAAU,MAAM,CAAC,CAAC;AAEzI,MAAM,UAAU,QAAQ,CAAC,GAAQ,EAAE,IAAY,EAAE,MAAc,EAAE,SAAiB;IAChF,OAAO;QACL,KAAK;QACL,IAAI;QACJ,QAAQ;QACR,IAAI;QACJ,WAAW;QACX,MAAM;QACN,aAAa;QACb,YAAY;QACZ,KAAK;QACL,gBAAgB;QAChB,mBAAmB;QACnB,QAAQ;QACR,YAAY;QACZ,cAAc;QACd,MAAM,CAAC,YAAY,CAAC;QACpB,UAAU;QACV,GAAG,CAAC,MAAM;QACV,eAAe;QACf,GAAG,CAAC,MAAM;QACV,QAAQ;QACR,GAAG,CAAC,IAAI;QACR,OAAO;QACP,MAAM;QACN,SAAS;QACT,wCAAwC;QACxC,SAAS;QACT,oBAAoB,MAAM,WAAW,SAAS,WAAW;QACzD,WAAW;QACX,SAAS;QACT,cAAc;QACd,MAAM;QACN,GAAG,CAAC,KAAK;QACT,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,YAAY,CAAC;QAChD,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,UAAU,CAAC;KAC/C,CAAC;AACJ,CAAC;AAID,MAAM,IAAI,GAAG,CAAC,CAAY,EAAE,CAAY,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAE/I,SAAS,OAAO,CAAC,IAAa,EAAE,KAAc;IAC5C,IAAI,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAC/E,IAAI,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC9F,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,OAAO,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,KAAK,MAAM,EAAE,CAAC;IAChH,IAAI,IAAI,KAAK,MAAM,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACxE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,KAAa,EAAE,QAAmB;IAC5E,IAAI,MAAM,CAAC,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,4BAA4B,YAAY,QAAQ,EAAE,CAAC;IACzG,IAAI,MAAM,CAAC,QAAQ;QAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,kCAAkC,YAAY,KAAK,EAAE,CAAC;IAChH,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC,yDAAyD,EAAE,CAAC;IACvK,CAAC;IACD,IAAI,IAAa,CAAC;IAClB,IAAI,CAAC;QACH,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,iDAAiD,EAAE,CAAC;IAC3F,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,mDAAmD,EAAE,CAAC;IAC1I,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,IAAmC,CAAC;IACnE,IAAI,OAAO,KAAK,eAAe;QAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;IACrE,IAAI,OAAO,KAAK,OAAO,IAAI,OAAO,KAAK,WAAW;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;IAC5G,MAAM,GAAG,GAAG,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAc,EAAE,CAAC;IACjF,IAAI,CAAC,GAAG,CAAC,EAAE;QAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,wDAAwD,EAAE,CAAC;IAC7G,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;AACnG,CAAC;AAED,SAAS,UAAU,CAAC,OAAqB,EAAE,KAAa,EAAE,IAAY;IACpE,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACrH,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,iBAAiB,CAAC,EAAE,CAAC;AAC/J,CAAC;AAID,KAAK,UAAU,KAAK,CAAC,MAAkB,EAAE,IAAY;IACnD,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,CAAC;QACH,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QACjC,MAAM,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,YAAY,CAAC,EAAE,aAAa,CAAC,CAAC;QACvE,MAAM,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC;QACjE,MAAM,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC/B,MAAM,SAAS,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,KAAK,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;AAC9G,CAAC;AAED,SAAS,QAAQ,CAAC,IAAuB,EAAE,IAAY,EAAE,MAAc,EAAE,KAAY,EAAE,IAAY,EAAE,cAAsB;IACzH,OAAO,IAAI,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC1B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QACjG,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,IAAI,QAAQ,GAAG,EAAE,CAAC;QAClB,IAAI,UAAU,GAAG,EAAE,CAAC;QACpB,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,IAAI,KAA6B,CAAC;QAClC,IAAI,OAAO,GAAkB,OAAO,CAAC,OAAO,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,CAAC,GAAe,EAAE,EAAE;YAC/B,KAAK,KAAK,GAAG,CAAC;YACd,OAAO,GAAG,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE;gBAC7C,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI;oBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACrD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC;QACF,MAAM,QAAQ,GAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAuB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;YAC9E,MAAM,OAAO,GAAG,GAAG,EAAE;gBACnB,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,MAAM,oBAAoB,EAAE,CAAC,CAAC;YACtE,CAAC,CAAC;YACF,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAC5B,OAAO,CAAC,MAAM,EAAE,OAAO,CAAU,CAAC;QACpC,CAAC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,6DAA6D,EAAE,CAAC,EAAE,cAAc,GAAG,IAAI,CAAC,CAAC;QAC3J,MAAM,IAAI,GAAG,CAAC,OAAgB,EAAE,EAAE;YAChC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACpD,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,GAAG,EAAE;YAChB,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;gBAC1C,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;gBAClB,OAAO;YACT,CAAC;YACD,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACxC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QACxE,CAAC,CAAC;QACF,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAE;YAChC,IAAI,MAA0B,CAAC;YAC/B,IAAI,CAAC;gBACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAW,CAAC;YACtC,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM,GAAG,SAAS,CAAC;YACrB,CAAC;YACD,IAAI,KAAK,KAAK,EAAE,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;gBACnE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,4CAA4C,EAAE,CAAC,CAAC;gBACnF,OAAO;YACT,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC;YACxF,KAAK,GAAG,EAAE,CAAC;YACX,IAAI,EAAE,CAAC;QACT,CAAC,CAAC;QACF,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QACjC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;YACxC,QAAQ,IAAI,KAAK,CAAC;YAClB,IAAI,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAChC,OAAO,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACnC,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;gBAClC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACf,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC9B,CAAC;YACD,IAAI,QAAQ,CAAC,MAAM,GAAG,UAAU;gBAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,wDAAwD,EAAE,CAAC,CAAC;QACnI,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QACjC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;YACxC,IAAI,UAAU,CAAC,MAAM,GAAG,gBAAgB;gBAAE,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAC/G,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,CAAC,QAAuB,EAAE,EAAE;YACzC,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,KAAK,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;gBACxB,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,QAAQ;oBAAE,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBAClF,MAAM,IAAI,GAAG,KAAK,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,8CAA8C,QAAQ,KAAK,UAAU,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;gBACnJ,OAAO,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM;oBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/D,IAAI,CAAC,OAAO,CAAC,CAAC;YAChB,CAAC,CAAC,CAAC;QACL,CAAC,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;YAC5B,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC,CAAC;QACf,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC5B,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACnG,IAAI,EAAE,CAAC;IACT,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,GAAQ,EAAE,MAAkB,EAAE,IAAY,EAAE,KAAY,EAAE,IAAY,EAAE,cAAsB;IAC5H,IAAI,cAAc,IAAI,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,wEAAwE,CAAC,CAAC;QACzH,OAAO,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,OAAO,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACzG,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,aAAa,EAAE,CAAC;IAClC,IAAI,OAAO,GAAiB,EAAE,CAAC;IAC/B,IAAI,OAA2B,CAAC;IAChC,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;IACrI,CAAC;YAAS,CAAC;QACT,MAAM,eAAe,CAAC,SAAS,EAAE,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QACzD,OAAO,GAAG,MAAM,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;AAC1E,CAAC"}

package/dist/src/node-runner.d.ts

@@ -0,0 +1,2 @@
+export declare const NODE_LAUNCHER = "\nimport { spawn } from \"node:child_process\";\nimport { createInterface } from \"node:readline\";\nconst caseFile = process.argv[2];\nconst lines = createInterface({ input: process.stdin, crlfDelay: Infinity });\nlet config;\nconst sweep = () => {\n  try {\n    process.kill(-1, \"SIGKILL\");\n  } catch {}\n};\nconst runCase = (token, json, zeros) =>\n  new Promise((done) => {\n    const child = spawn(process.execPath, [\"--random-seed=\" + config.seed, caseFile], { stdio: [\"pipe\", \"pipe\", \"ignore\"] });\n    const out = [];\n    let bytes = 0;\n    let over = false;\n    let timedOut = false;\n    let code = null;\n    const timer = setTimeout(() => {\n      timedOut = true;\n      child.kill(\"SIGKILL\");\n    }, config.caseMs);\n    child.stdout.on(\"data\", (chunk) => {\n      bytes += chunk.length;\n      if (bytes > config.outputBytes) {\n        over = true;\n        child.kill(\"SIGKILL\");\n        return;\n      }\n      if (!over) out.push(chunk);\n    });\n    child.stdin.on(\"error\", () => undefined);\n    child.stdin.end(JSON.stringify({ token, json, zeros, path: config.path }));\n    child.once(\"exit\", (exitCode) => {\n      clearTimeout(timer);\n      code = exitCode;\n      sweep();\n    });\n    child.once(\"error\", () => {\n      clearTimeout(timer);\n      sweep();\n      done({ token, out: \"\", code: null, timedOut, over });\n    });\n    child.once(\"close\", () => {\n      done({ token, out: over ? \"\" : Buffer.concat(out).toString(\"base64\"), code, timedOut, over });\n    });\n  });\nfor await (const line of lines) {\n  const message = JSON.parse(line);\n  if (config === undefined) {\n    config = message;\n    continue;\n  }\n  const result = await runCase(message.token, message.json, message.zeros);\n  sweep();\n  process.stdout.write(JSON.stringify(result) + \"\\n\");\n}\n";
+export declare const NODE_CASE = "\nimport { readFileSync, writeSync } from \"node:fs\";\nimport { pathToFileURL } from \"node:url\";\nconst write = writeSync;\nconst from = Buffer.from;\nconst stringify = JSON.stringify;\nconst apply = Reflect.apply;\nconst exit = process.exit.bind(process);\nconst input = JSON.parse(readFileSync(0, \"utf8\"));\nconst token = \"\" + input.token;\nconst args = JSON.parse(\"\" + input.json);\nconst zeros = input.zeros;\nfor (let at = 0; at < zeros.length; at += 1) args[zeros[at]] = -0;\nconst url = pathToFileURL(\"\" + input.path).href;\nconst put = (text) => {\n  const bytes = from(text, \"utf8\");\n  let at = 0;\n  while (at < bytes.length) {\n    try {\n      at += write(1, bytes, at, bytes.length - at);\n    } catch (error) {\n      if (error === null || typeof error !== \"object\" || error.code !== \"EAGAIN\") exit(70);\n    }\n  }\n};\nconst say = (verdict, kind, value) => {\n  put(\"\\n\" + token + \"[\" + stringify(verdict) + \",\" + stringify(kind) + \",\" + stringify(value) + \"]\" + token + \"\\n\");\n  exit(0);\n};\nconst describe = (error) => {\n  try {\n    const message = error !== null && typeof error === \"object\" ? error.message : error;\n    return typeof message === \"string\" ? message : \"a value that is not an Error\";\n  } catch {\n    return \"a value that is not an Error\";\n  }\n};\nlet fn;\ntry {\n  fn = (await import(url)).default;\n} catch (error) {\n  say(\"no-module\", \"string\", describe(error));\n}\nif (typeof fn !== \"function\") say(\"no-module\", \"string\", \"the delivery has no default export function\");\nlet got;\nlet threw = false;\nlet reason = \"\";\ntry {\n  got = apply(fn, undefined, args);\n} catch (error) {\n  threw = true;\n  reason = describe(error);\n}\nif (threw) say(\"threw\", \"string\", reason);\nconst kind = got === null ? \"null\" : typeof got;\nif (kind === \"string\") say(\"answer\", kind, got);\nif (kind === \"number\" || kind === \"boolean\") say(\"answer\", kind, \"\" + got);\nif (kind === \"null\") say(\"answer\", kind, null);\nsay(\"not-primitive\", kind, null);\n";

package/dist/src/node-runner.js

@@ -0,0 +1,120 @@
+export const NODE_LAUNCHER = `
+import { spawn } from "node:child_process";
+import { createInterface } from "node:readline";
+const caseFile = process.argv[2];
+const lines = createInterface({ input: process.stdin, crlfDelay: Infinity });
+let config;
+const sweep = () => {
+  try {
+    process.kill(-1, "SIGKILL");
+  } catch {}
+};
+const runCase = (token, json, zeros) =>
+  new Promise((done) => {
+    const child = spawn(process.execPath, ["--random-seed=" + config.seed, caseFile], { stdio: ["pipe", "pipe", "ignore"] });
+    const out = [];
+    let bytes = 0;
+    let over = false;
+    let timedOut = false;
+    let code = null;
+    const timer = setTimeout(() => {
+      timedOut = true;
+      child.kill("SIGKILL");
+    }, config.caseMs);
+    child.stdout.on("data", (chunk) => {
+      bytes += chunk.length;
+      if (bytes > config.outputBytes) {
+        over = true;
+        child.kill("SIGKILL");
+        return;
+      }
+      if (!over) out.push(chunk);
+    });
+    child.stdin.on("error", () => undefined);
+    child.stdin.end(JSON.stringify({ token, json, zeros, path: config.path }));
+    child.once("exit", (exitCode) => {
+      clearTimeout(timer);
+      code = exitCode;
+      sweep();
+    });
+    child.once("error", () => {
+      clearTimeout(timer);
+      sweep();
+      done({ token, out: "", code: null, timedOut, over });
+    });
+    child.once("close", () => {
+      done({ token, out: over ? "" : Buffer.concat(out).toString("base64"), code, timedOut, over });
+    });
+  });
+for await (const line of lines) {
+  const message = JSON.parse(line);
+  if (config === undefined) {
+    config = message;
+    continue;
+  }
+  const result = await runCase(message.token, message.json, message.zeros);
+  sweep();
+  process.stdout.write(JSON.stringify(result) + "\\n");
+}
+`;
+export const NODE_CASE = `
+import { readFileSync, writeSync } from "node:fs";
+import { pathToFileURL } from "node:url";
+const write = writeSync;
+const from = Buffer.from;
+const stringify = JSON.stringify;
+const apply = Reflect.apply;
+const exit = process.exit.bind(process);
+const input = JSON.parse(readFileSync(0, "utf8"));
+const token = "" + input.token;
+const args = JSON.parse("" + input.json);
+const zeros = input.zeros;
+for (let at = 0; at < zeros.length; at += 1) args[zeros[at]] = -0;
+const url = pathToFileURL("" + input.path).href;
+const put = (text) => {
+  const bytes = from(text, "utf8");
+  let at = 0;
+  while (at < bytes.length) {
+    try {
+      at += write(1, bytes, at, bytes.length - at);
+    } catch (error) {
+      if (error === null || typeof error !== "object" || error.code !== "EAGAIN") exit(70);
+    }
+  }
+};
+const say = (verdict, kind, value) => {
+  put("\\n" + token + "[" + stringify(verdict) + "," + stringify(kind) + "," + stringify(value) + "]" + token + "\\n");
+  exit(0);
+};
+const describe = (error) => {
+  try {
+    const message = error !== null && typeof error === "object" ? error.message : error;
+    return typeof message === "string" ? message : "a value that is not an Error";
+  } catch {
+    return "a value that is not an Error";
+  }
+};
+let fn;
+try {
+  fn = (await import(url)).default;
+} catch (error) {
+  say("no-module", "string", describe(error));
+}
+if (typeof fn !== "function") say("no-module", "string", "the delivery has no default export function");
+let got;
+let threw = false;
+let reason = "";
+try {
+  got = apply(fn, undefined, args);
+} catch (error) {
+  threw = true;
+  reason = describe(error);
+}
+if (threw) say("threw", "string", reason);
+const kind = got === null ? "null" : typeof got;
+if (kind === "string") say("answer", kind, got);
+if (kind === "number" || kind === "boolean") say("answer", kind, "" + got);
+if (kind === "null") say("answer", kind, null);
+say("not-primitive", kind, null);
+`;
+//# sourceMappingURL=node-runner.js.map

package/dist/src/node-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-runner.js","sourceRoot":"","sources":["../../src/node-runner.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,aAAa,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0D5B,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2DxB,CAAC"}

package/dist/src/sandbox.d.ts

@@ -9,16 +9,19 @@ export declare const SANDBOX_ROOT = "/judge";
 export declare const SANDBOX_HOME = "/tmp";
 export declare const SANDBOX_KINDS: readonly ["docker", "viper", "none"];
 export type SandboxKind = (typeof SANDBOX_KINDS)[number];
+export type Box = {
+    image: string;
+    memory: string;
+    cpus: string;
+};
 export type Sandbox = {
     kind: "none";
 } | {
     kind: "viper";
-} | {
+    node?: Box;
+} | ({
     kind: "docker";
-    image: string;
-    memory: string;
-    cpus: string;
-};
+} & Box);
 export declare const SANDBOX_NEEDED = "--sandbox must be docker, viper or none";
 export declare const VIPER_TAKES_NO_RUN = "--sandbox viper judges the cases in the spec's judge-cases block, so it takes no --run and no --check";
 export declare const IMAGE_NEEDS_DIGEST = "--sandbox-image must name an image by its digest, as <name>@sha256:<64 hex>; a reference without a digest is refused";
@@ -26,11 +29,13 @@ export declare const MEMORY_FORMAT = "--sandbox-memory must be a whole number of
 export declare const CPUS_FORMAT = "--sandbox-cpus must be a number of CPUs above 0, such as 1 or 1.5";
 export declare const DOCKER_ENV: readonly ["DOCKER_HOST", "DOCKER_CONTEXT", "DOCKER_CONFIG", "DOCKER_CERT_PATH", "DOCKER_TLS_VERIFY", "XDG_RUNTIME_DIR"];
 export declare const sandboxOnly: (option: string) => string;
+export declare const PLAIN_NODE_ONLY = "--plain-node applies only with --sandbox viper";
 export declare function sandboxOf(values: Values): Sandbox;
 export declare function dockerEnv(base: NodeJS.ProcessEnv): NodeJS.ProcessEnv;
 export declare const dockerMissing: (reason: string) => string;
 export declare const imageMissing: (image: string, reason: string) => string;
 export declare const NO_SANDBOX = "warning: --sandbox none ran the check with your own rights: it could read your files and keys and use your network";
+export declare const boxIn: (sandbox: Sandbox) => Box | undefined;
 export declare function sandboxReady(sandbox: Sandbox, env: NodeJS.ProcessEnv): Promise<void>;
 export declare const containerName: () => string;
 export type Mounted = {

package/dist/src/sandbox.js

@@ -25,12 +25,37 @@ const CPUS = /^\d{1,3}(\.\d{1,2})?$/;
 const SANDBOX_ONLY = ["sandbox-image", "sandbox-memory", "sandbox-cpus"];
 const READABLE = 0o444;
 const SEARCHABLE = 0o755;
-export const sandboxOnly = (option) => `--${option} applies only with --sandbox docker`;
+export const sandboxOnly = (option) => `--${option} applies only with --sandbox docker, or with --sandbox viper and --plain-node`;
+export const PLAIN_NODE_ONLY = "--plain-node applies only with --sandbox viper";
+function boxOf(values) {
+    const image = values["sandbox-image"] ?? SANDBOX_IMAGE;
+    if (!DIGESTED.test(image)) {
+        throw new UsageError(IMAGE_NEEDS_DIGEST);
+    }
+    const memory = values["sandbox-memory"] ?? SANDBOX_MEMORY;
+    if (!MEMORY.test(memory)) {
+        throw new UsageError(MEMORY_FORMAT);
+    }
+    const cpus = values["sandbox-cpus"] ?? SANDBOX_CPUS;
+    if (!CPUS.test(cpus) || Number(cpus) <= 0) {
+        throw new UsageError(CPUS_FORMAT);
+    }
+    return { image, memory, cpus };
+}
 export function sandboxOf(values) {
     const kind = values.sandbox ?? "docker";
     if (!SANDBOX_KINDS.includes(kind)) {
         throw new UsageError(SANDBOX_NEEDED);
     }
+    if (values["plain-node"] === true && kind !== "viper") {
+        throw new UsageError(PLAIN_NODE_ONLY);
+    }
+    if (kind === "viper" && values["plain-node"] === true) {
+        if (values.run !== undefined || values.check !== undefined) {
+            throw new UsageError(VIPER_TAKES_NO_RUN);
+        }
+        return { kind, node: boxOf(values) };
+    }
     if (kind === "none" || kind === "viper") {
         const given = SANDBOX_ONLY.find((option) => values[option] !== undefined);
         if (given !== undefined) {
@@ -41,19 +66,7 @@ export function sandboxOf(values) {
         }
         return { kind };
     }
-    const image = values["sandbox-image"] ?? SANDBOX_IMAGE;
-    if (!DIGESTED.test(image)) {
-        throw new UsageError(IMAGE_NEEDS_DIGEST);
-    }
-    const memory = values["sandbox-memory"] ?? SANDBOX_MEMORY;
-    if (!MEMORY.test(memory)) {
-        throw new UsageError(MEMORY_FORMAT);
-    }
-    const cpus = values["sandbox-cpus"] ?? SANDBOX_CPUS;
-    if (!CPUS.test(cpus) || Number(cpus) <= 0) {
-        throw new UsageError(CPUS_FORMAT);
-    }
-    return { kind: "docker", image, memory, cpus };
+    return { kind: "docker", ...boxOf(values) };
 }
 export function dockerEnv(base) {
     const env = {};
@@ -69,20 +82,22 @@ const DOCKER_INSTALL = ["https:", "", "docs.docker.com", "engine", "install", ""
 export const dockerMissing = (reason) => `docker is not available (${reason || "no answer"}), so the check cannot run in its sandbox and nothing was run or paid; install Docker from ${DOCKER_INSTALL} and start it, or pass --sandbox none to run the check with your own rights, files, keys and network`;
 export const imageMissing = (image, reason) => `docker could not pull ${image} (${reason || "no answer"}); nothing was run or paid`;
 export const NO_SANDBOX = "warning: --sandbox none ran the check with your own rights: it could read your files and keys and use your network";
+export const boxIn = (sandbox) => (sandbox.kind === "docker" ? sandbox : sandbox.kind === "viper" ? sandbox.node : undefined);
 export async function sandboxReady(sandbox, env) {
-    if (sandbox.kind !== "docker") {
+    const box = boxIn(sandbox);
+    if (box === undefined) {
         return;
     }
     const server = await docker(["version", "--format", "{{.Server.Version}}"], env);
     if (server.status !== 0) {
         throw new JudgeRefused(dockerMissing(server.out));
     }
-    if ((await docker(["image", "inspect", "--format", "{{.Id}}", sandbox.image], env)).status === 0) {
+    if ((await docker(["image", "inspect", "--format", "{{.Id}}", box.image], env)).status === 0) {
         return;
     }
-    const pulled = await docker(["pull", sandbox.image], env, true);
+    const pulled = await docker(["pull", box.image], env, true);
     if (pulled.status !== 0) {
-        throw new JudgeRefused(imageMissing(sandbox.image, pulled.out));
+        throw new JudgeRefused(imageMissing(box.image, pulled.out));
     }
 }
 export const containerName = () => `judge-${randomBytes(8).toString("hex")}`;

package/dist/src/sandbox.js.map

@@ -1 +1 @@
-{"version":3,"file":"sandbox.js","sourceRoot":"","sources":["../../src/sandbox.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAC9G,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEjD,MAAM,CAAC,MAAM,aAAa,GAAG,+FAA+F,CAAC;AAC7H,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC;AACnC,MAAM,CAAC,MAAM,YAAY,GAAG,GAAG,CAAC;AAChC,MAAM,CAAC,MAAM,YAAY,GAAG,GAAG,CAAC;AAChC,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC;AAClC,MAAM,CAAC,MAAM,YAAY,GAAG,aAAa,CAAC;AAC1C,MAAM,CAAC,MAAM,YAAY,GAAG,QAAQ,CAAC;AACrC,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC;AAEnC,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAU,CAAC;AAIlE,MAAM,CAAC,MAAM,cAAc,GAAG,yCAAyC,CAAC;AACxE,MAAM,CAAC,MAAM,kBAAkB,GAAG,uGAAuG,CAAC;AAC1I,MAAM,CAAC,MAAM,kBAAkB,GAAG,sHAAsH,CAAC;AACzJ,MAAM,CAAC,MAAM,aAAa,GAAG,uFAAuF,CAAC;AACrH,MAAM,CAAC,MAAM,WAAW,GAAG,mEAAmE,CAAC;AAE/F,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,iBAAiB,CAAU,CAAC;AAElJ,MAAM,QAAQ,GAAG,8CAA8C,CAAC;AAChE,MAAM,MAAM,GAAG,oBAAoB,CAAC;AACpC,MAAM,IAAI,GAAG,uBAAuB,CAAC;AACrC,MAAM,YAAY,GAAG,CAAC,eAAe,EAAE,gBAAgB,EAAE,cAAc,CAAU,CAAC;AAClF,MAAM,QAAQ,GAAG,KAAK,CAAC;AACvB,MAAM,UAAU,GAAG,KAAK,CAAC;AAEzB,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,KAAK,MAAM,qCAAqC,CAAC;AAExG,MAAM,UAAU,SAAS,CAAC,MAAc;IACtC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,IAAI,QAAQ,CAAC;IACxC,IAAI,CAAE,aAAmC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,UAAU,CAAC,cAAc,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC;QAC1E,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,UAAU,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3C,CAAC;QACD,IAAI,IAAI,KAAK,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;YACjF,MAAM,IAAI,UAAU,CAAC,kBAAkB,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,CAAC;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,aAAa,CAAC;IACvD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,UAAU,CAAC,kBAAkB,CAAC,CAAC;IAC3C,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,gBAAgB,CAAC,IAAI,cAAc,CAAC;IAC1D,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,UAAU,CAAC,aAAa,CAAC,CAAC;IACtC,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,YAAY,CAAC;IACpD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,UAAU,CAAC,WAAW,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAuB;IAC/C,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,SAAS,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,QAAQ,EAAE,EAAE,EAAE,iBAAiB,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAE5F,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAc,EAAU,EAAE,CACtD,4BAA4B,MAAM,IAAI,WAAW,8FAA8F,cAAc,sGAAsG,CAAC;AAEtQ,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAa,EAAE,MAAc,EAAU,EAAE,CAAC,yBAAyB,KAAK,KAAK,MAAM,IAAI,WAAW,4BAA4B,CAAC;AAE5J,MAAM,CAAC,MAAM,UAAU,GAAG,oHAAoH,CAAC;AAE/I,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,OAAgB,EAAE,GAAsB;IACzE,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO;IACT,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,qBAAqB,CAAC,EAAE,GAAG,CAAC,CAAC;IACjF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,CAAC,MAAM,MAAM,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjG,OAAO;IACT,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAChE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,YAAY,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IAClE,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,GAAW,EAAE,CAAC,SAAS,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;AAIrF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,IAAY,EAAU,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AAE7H,MAAM,UAAU,aAAa,CAAC,OAA6C,EAAE,IAAa,EAAE,MAAc,EAAE,GAAW;IACrH,MAAM,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAChF,OAAO;QACL,WAAW;QACX,MAAM;QACN,aAAa;QACb,YAAY;QACZ,KAAK;QACL,gBAAgB;QAChB,mBAAmB;QACnB,QAAQ;QACR,YAAY;QACZ,cAAc;QACd,MAAM,CAAC,YAAY,CAAC;QACpB,UAAU;QACV,OAAO,CAAC,MAAM;QACd,eAAe;QACf,OAAO,CAAC,MAAM;QACd,QAAQ;QACR,OAAO,CAAC,IAAI;QACZ,SAAS;QACT,kCAAkC,WAAW,EAAE;QAC/C,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,SAAS,EAAE,oBAAoB,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,WAAW,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;QACpI,WAAW;QACX,YAAY;QACZ,OAAO;QACP,QAAQ,YAAY,EAAE;QACtB,OAAO;QACP,GAAG,aAAa,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE;QACpD,OAAO;QACP,GAAG,iBAAiB,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE;QACxD,OAAO;QACP,GAAG,mBAAmB,IAAI,MAAM,EAAE;QAClC,cAAc;QACd,SAAS;QACT,OAAO,CAAC,KAAK;QACb,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAY;IAC1C,KAAK,MAAM,KAAK,IAAI,MAAM,OAAO,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxB,MAAM,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAC9B,MAAM,SAAS,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,GAAG,QAAQ,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;AACH,CAAC"}
+{"version":3,"file":"sandbox.js","sourceRoot":"","sources":["../../src/sandbox.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAC9G,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEjD,MAAM,CAAC,MAAM,aAAa,GAAG,+FAA+F,CAAC;AAC7H,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC;AACnC,MAAM,CAAC,MAAM,YAAY,GAAG,GAAG,CAAC;AAChC,MAAM,CAAC,MAAM,YAAY,GAAG,GAAG,CAAC;AAChC,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC;AAClC,MAAM,CAAC,MAAM,YAAY,GAAG,aAAa,CAAC;AAC1C,MAAM,CAAC,MAAM,YAAY,GAAG,QAAQ,CAAC;AACrC,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC;AAEnC,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAU,CAAC;AAKlE,MAAM,CAAC,MAAM,cAAc,GAAG,yCAAyC,CAAC;AACxE,MAAM,CAAC,MAAM,kBAAkB,GAAG,uGAAuG,CAAC;AAC1I,MAAM,CAAC,MAAM,kBAAkB,GAAG,sHAAsH,CAAC;AACzJ,MAAM,CAAC,MAAM,aAAa,GAAG,uFAAuF,CAAC;AACrH,MAAM,CAAC,MAAM,WAAW,GAAG,mEAAmE,CAAC;AAE/F,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,iBAAiB,CAAU,CAAC;AAElJ,MAAM,QAAQ,GAAG,8CAA8C,CAAC;AAChE,MAAM,MAAM,GAAG,oBAAoB,CAAC;AACpC,MAAM,IAAI,GAAG,uBAAuB,CAAC;AACrC,MAAM,YAAY,GAAG,CAAC,eAAe,EAAE,gBAAgB,EAAE,cAAc,CAAU,CAAC;AAClF,MAAM,QAAQ,GAAG,KAAK,CAAC;AACvB,MAAM,UAAU,GAAG,KAAK,CAAC;AAEzB,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,KAAK,MAAM,+EAA+E,CAAC;AAElJ,MAAM,CAAC,MAAM,eAAe,GAAG,gDAAgD,CAAC;AAEhF,SAAS,KAAK,CAAC,MAAc;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,aAAa,CAAC;IACvD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,UAAU,CAAC,kBAAkB,CAAC,CAAC;IAC3C,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,gBAAgB,CAAC,IAAI,cAAc,CAAC;IAC1D,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,UAAU,CAAC,aAAa,CAAC,CAAC;IACtC,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,YAAY,CAAC;IACpD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,UAAU,CAAC,WAAW,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,MAAc;IACtC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,IAAI,QAAQ,CAAC;IACxC,IAAI,CAAE,aAAmC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,UAAU,CAAC,cAAc,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,MAAM,CAAC,YAAY,CAAC,KAAK,IAAI,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACtD,MAAM,IAAI,UAAU,CAAC,eAAe,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,YAAY,CAAC,KAAK,IAAI,EAAE,CAAC;QACtD,IAAI,MAAM,CAAC,GAAG,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC3D,MAAM,IAAI,UAAU,CAAC,kBAAkB,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;IACvC,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC;QAC1E,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,UAAU,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3C,CAAC;QACD,IAAI,IAAI,KAAK,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;YACjF,MAAM,IAAI,UAAU,CAAC,kBAAkB,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,CAAC;IAClB,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAuB;IAC/C,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,SAAS,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,QAAQ,EAAE,EAAE,EAAE,iBAAiB,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAE5F,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAc,EAAU,EAAE,CACtD,4BAA4B,MAAM,IAAI,WAAW,8FAA8F,cAAc,sGAAsG,CAAC;AAEtQ,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAa,EAAE,MAAc,EAAU,EAAE,CAAC,yBAAyB,KAAK,KAAK,MAAM,IAAI,WAAW,4BAA4B,CAAC;AAE5J,MAAM,CAAC,MAAM,UAAU,GAAG,oHAAoH,CAAC;AAE/I,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,OAAgB,EAAmB,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAExJ,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,OAAgB,EAAE,GAAsB;IACzE,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO;IACT,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,qBAAqB,CAAC,EAAE,GAAG,CAAC,CAAC;IACjF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,CAAC,MAAM,MAAM,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7F,OAAO;IACT,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC5D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,YAAY,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,GAAW,EAAE,CAAC,SAAS,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;AAIrF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,IAAY,EAAU,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AAE7H,MAAM,UAAU,aAAa,CAAC,OAA6C,EAAE,IAAa,EAAE,MAAc,EAAE,GAAW;IACrH,MAAM,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAChF,OAAO;QACL,WAAW;QACX,MAAM;QACN,aAAa;QACb,YAAY;QACZ,KAAK;QACL,gBAAgB;QAChB,mBAAmB;QACnB,QAAQ;QACR,YAAY;QACZ,cAAc;QACd,MAAM,CAAC,YAAY,CAAC;QACpB,UAAU;QACV,OAAO,CAAC,MAAM;QACd,eAAe;QACf,OAAO,CAAC,MAAM;QACd,QAAQ;QACR,OAAO,CAAC,IAAI;QACZ,SAAS;QACT,kCAAkC,WAAW,EAAE;QAC/C,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,SAAS,EAAE,oBAAoB,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,WAAW,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;QACpI,WAAW;QACX,YAAY;QACZ,OAAO;QACP,QAAQ,YAAY,EAAE;QACtB,OAAO;QACP,GAAG,aAAa,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE;QACpD,OAAO;QACP,GAAG,iBAAiB,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE;QACxD,OAAO;QACP,GAAG,mBAAmB,IAAI,MAAM,EAAE;QAClC,cAAc;QACd,SAAS;QACT,OAAO,CAAC,KAAK;QACb,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAY;IAC1C,KAAK,MAAM,KAAK,IAAI,MAAM,OAAO,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxB,MAAM,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAC9B,MAAM,SAAS,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,GAAG,QAAQ,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/src/version.d.ts

@@ -1 +1 @@
-export declare const VERSION = "0.1.28";
+export declare const VERSION = "0.1.31";

package/dist/src/version.js

@@ -1,2 +1,2 @@
-export const VERSION = "0.1.28";
+export const VERSION = "0.1.31";
 //# sourceMappingURL=version.js.map

package/dist/src/viper.d.ts

@@ -51,6 +51,12 @@ export declare function casesOf(spec: Uint8Array): Cases;
 export declare const runOf: (cases: Cases) => Run;
 export declare function encodeInput(source: string, cases: Cases, run: Run): Buffer;
 export declare function decodeOutput(bytes: Buffer, expected: number): CaseResult[];
+export declare function stoppedAll(total: number, detail: string): {
+    total: number;
+    passed: number;
+    failures: Failure[];
+};
+export declare const deadlineMissed: (engine: string, timeoutSeconds: number) => string;
 export declare function summarize(results: CaseResult[], run: Run): Judged;
 export declare function wasmPath(): string;
 export declare function pinnedWasm(path?: string): Promise<Buffer>;
@@ -63,4 +69,4 @@ export type Ran = {
     diagnostic: string;
 };
 export declare function runViper(wasm: Buffer, input: Buffer, timeoutSeconds: number): Promise<Ran>;
-export declare function judgeViper(wasm: Buffer, source: Uint8Array, cases: Cases, timeoutSeconds: number): Promise<Judged>;
+export declare function judgeViper(wasm: Buffer, source: Uint8Array, cases: Cases, timeoutSeconds: number, run?: Run): Promise<Judged>;

package/dist/src/viper.js

@@ -185,6 +185,11 @@ export function decodeOutput(bytes, expected) {
     }
     return results;
 }
+export function stoppedAll(total, detail) {
+    const failures = Array.from({ length: Math.min(total, REPORTED_FAILURES) }, (_, index) => (index === 0 ? { case: index, verdict: "stopped", detail } : { case: index, verdict: "stopped" }));
+    return { total, passed: 0, failures };
+}
+export const deadlineMissed = (engine, timeoutSeconds) => `${engine} did not finish within the ${Math.round(timeoutSeconds * 1000)} ms left of the judgement's --timeout`;
 export function summarize(results, run) {
     const failures = results.flatMap((result, index) => (result.verdict === "pass" ? [] : [{ case: index, ...result }]));
     return { total: results.length, passed: results.length - failures.length, failures: failures.slice(0, REPORTED_FAILURES), ...run };
@@ -261,7 +266,7 @@ export function runViper(wasm, input, timeoutSeconds) {
         });
     });
 }
-export async function judgeViper(wasm, source, cases, timeoutSeconds) {
+export async function judgeViper(wasm, source, cases, timeoutSeconds, run = runOf(cases)) {
     let text;
     try {
         text = new TextDecoder("utf-8", { fatal: true }).decode(source);
@@ -269,10 +274,12 @@ export async function judgeViper(wasm, source, cases, timeoutSeconds) {
     catch {
         throw new JudgeRefused("--artifact is not UTF-8 text, so it is not a module the viper judge can run; nothing was paid");
     }
-    const run = runOf(cases);
+    if (timeoutSeconds <= 0) {
+        return { ...stoppedAll(cases.cases.length, deadlineMissed("the viper judge", timeoutSeconds)), ...run };
+    }
     const ran = await runViper(wasm, encodeInput(text, cases, run), timeoutSeconds);
     if (ran.timedOut) {
-        return { total: cases.cases.length, passed: 0, failures: [{ case: 0, verdict: "stopped", detail: `the judge did not finish within ${timeoutSeconds} s` }], ...run };
+        return { ...stoppedAll(cases.cases.length, deadlineMissed("the viper judge", timeoutSeconds)), ...run };
     }
     if (ran.exitCode !== 0) {
         return { total: cases.cases.length, passed: 0, failures: [{ case: 0, verdict: "crashed", detail: `the judge process ended with exit code ${ran.exitCode}: ${ran.diagnostic.trim().slice(0, 256)}` }], ...run };