taskchef 8.7.0 → 9.0.0

package/src/dashboard/styles.css

@@ -1,261 +0,0 @@
-:root {
-  color-scheme: light;
-  --background: #f5f4f0;
-  --surface: #ffffff;
-  --surface-muted: #eeece6;
-  --text: #1d211f;
-  --muted: #626964;
-  --border: #d8d7d1;
-  --accent: #215f4a;
-  --accent-soft: #dcebe4;
-  --danger: #8b3a35;
-  --warning: #8a5c17;
-  --shadow: 0 12px 30px rgb(24 33 29 / 10%);
-  --control-height: 38px;
-  --control-padding-inline: 11px;
-  --control-radius: 7px;
-  --control-font-size: 0.86rem;
-  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
-}
-
-* { box-sizing: border-box; }
-
-body {
-  margin: 0;
-  background: var(--background);
-  color: var(--text);
-  line-height: 1.45;
-}
-
-button, select { font: inherit; }
-button { color: inherit; }
-
-.site-header, main {
-  width: min(1080px, calc(100% - 40px));
-  margin-inline: auto;
-}
-
-.site-header {
-  display: flex;
-  align-items: flex-end;
-  justify-content: space-between;
-  gap: 20px;
-  padding-block: 40px 24px;
-  border-bottom: 1px solid var(--border);
-}
-
-h1, h2, h3, p { margin-top: 0; }
-h1 { margin-bottom: 5px; font-size: clamp(1.9rem, 4.5vw, 3.1rem); line-height: 1; letter-spacing: -0.04em; }
-h2 { line-height: 1.2; }
-h3 { margin-bottom: 8px; font-size: 0.84rem; letter-spacing: 0.08em; text-transform: uppercase; color: var(--muted); }
-
-.title-row { display: flex; align-items: center; gap: clamp(9px, 1.8vw, 14px); margin-bottom: 5px; }
-.title-row h1 { margin-bottom: 0; }
-.dashboard-icon { display: block; flex: none; width: clamp(36px, 5.5vw, 44px); aspect-ratio: 1; }
-.dashboard-icon img { display: block; width: 100%; height: 100%; object-fit: contain; }
-
-.eyebrow { margin-bottom: 8px; color: var(--accent); font-size: 0.76rem; font-weight: 750; letter-spacing: 0.15em; text-transform: uppercase; }
-.dashboard-version { margin-inline-start: 0.45em; color: var(--muted); font-size: 0.72rem; letter-spacing: 0.04em; text-transform: none; }
-.subtitle, .task-project, time, .timestamp-missing { color: var(--muted); }
-.subtitle { margin-bottom: 0; font-size: 0.9rem; }
-
-.connection { display: flex; align-items: center; gap: 7px; color: var(--muted); font-size: 0.82rem; }
-.connection-dot { width: 9px; height: 9px; border-radius: 50%; background: var(--warning); }
-.connection-dot.connected { background: var(--accent); box-shadow: 0 0 0 4px var(--accent-soft); }
-
-main { padding-block: 24px 72px; }
-
-.toolbar {
-  display: grid;
-  gap: 10px;
-  margin-bottom: 18px;
-}
-
-.toolbar-primary {
-  display: grid;
-  grid-template-columns: repeat(2, minmax(180px, 240px));
-  align-items: end;
-  gap: 14px;
-}
-
-label { display: grid; gap: 5px; color: var(--muted); font-size: 0.76rem; font-weight: 700; letter-spacing: 0.04em; text-transform: uppercase; }
-select { min-width: 180px; min-height: 36px; padding: 7px 32px 7px 10px; border: 1px solid var(--border); border-radius: 7px; background: var(--surface); color: var(--text); }
-.toolbar-primary select { width: 100%; }
-.status-filter-fieldset { width: 100%; min-width: 0; margin: 0; padding: 0; border: 0; }
-.status-filter-fieldset legend { margin-bottom: 5px; padding: 0; color: var(--muted); font-size: 0.76rem; font-weight: 700; letter-spacing: 0.04em; text-transform: uppercase; }
-.status-filter-options { display: flex; flex-wrap: wrap; gap: 5px; }
-.status-filter-option { position: relative; display: block; color: var(--text); font-size: 0.78rem; letter-spacing: 0; text-transform: none; cursor: pointer; }
-.status-filter-option input { position: absolute; width: 1px; height: 1px; opacity: 0; }
-.status-filter-option span { display: flex; align-items: center; min-height: 34px; padding: 5px 10px; border: 1px solid var(--border); border-radius: 999px; background: var(--surface); white-space: nowrap; }
-.status-filter-option:hover span { border-color: var(--accent); }
-.status-filter-option:has(input:checked) span { border-color: var(--accent); background: var(--accent); color: white; box-shadow: 0 1px 2px rgb(24 33 29 / 16%); }
-.status-filter-option:has(input:focus-visible) span { outline: 3px solid var(--accent); outline-offset: 3px; }
-.task-count { justify-self: end; margin: 0; color: var(--muted); font-size: 0.82rem; }
-
-.task-list { display: grid; grid-template-columns: minmax(0, 1fr); gap: 10px; }
-.task-card { padding: 16px 18px; border: 1px solid var(--border); border-radius: 9px; background: var(--surface); box-shadow: 0 1px 0 rgb(0 0 0 / 2%); }
-.task-heading { display: flex; align-items: flex-start; justify-content: space-between; gap: 14px; }
-.task-title { padding: 0; border: 0; background: none; font-size: 1rem; font-weight: 720; line-height: 1.35; text-align: left; cursor: pointer; }
-.task-title:hover { color: var(--accent); text-decoration: underline; text-underline-offset: 3px; }
-.task-project { margin: 2px 0 10px; font-size: 0.8rem; }
-.task-title, .task-summary { overflow-wrap: anywhere; }
-.task-summary { display: grid; max-width: 82ch; margin-bottom: 12px; gap: 2px; font-size: 0.9rem; line-height: 1.45; }
-.task-summary strong { margin-top: 4px; color: var(--muted); font-size: 0.68rem; letter-spacing: 0.04em; text-transform: uppercase; }
-.github-links { display: grid; gap: 7px; margin: 0 0 18px; }
-.github-links[hidden] { display: none; }
-.github-links-compact { margin: -2px 0 12px; gap: 5px; }
-.github-links-group { display: flex; min-width: 0; flex-wrap: wrap; gap: inherit; }
-.github-link { color: var(--accent); font-weight: 700; text-decoration-thickness: 1px; text-underline-offset: 3px; overflow-wrap: anywhere; }
-.github-link-compact { padding: 2px 7px; border: 1px solid var(--border); border-radius: 999px; background: var(--surface-muted); font-size: 0.72rem; line-height: 1.35; text-decoration: none; }
-.github-link:hover { text-decoration-thickness: 2px; }
-.github-link-compact:hover { border-color: var(--accent); background: var(--accent-soft); }
-.github-links-more { align-self: center; color: var(--muted); font-size: 0.75rem; font-weight: 700; }
-.github-reference-ambiguous { border-bottom: 2px dotted var(--warning); background: color-mix(in srgb, var(--warning) 12%, transparent); cursor: help; }
-time, .timestamp-missing { font-size: 0.75rem; }
-.timestamp-toggle { padding: 2px 0; border: 0; background: none; cursor: pointer; text-align: left; }
-.timestamp-toggle:hover time { color: var(--text); text-decoration: underline; text-underline-offset: 3px; }
-.task-footer { display: flex; align-items: center; justify-content: space-between; gap: 14px; }
-.task-open { flex: none; }
-.primary-button.task-action, .secondary-button.task-action { display: inline-flex; align-items: center; justify-content: center; gap: 6px; min-height: var(--control-height); padding: 0 var(--control-padding-inline); font-size: var(--control-font-size); line-height: 1; white-space: nowrap; }
-.codex-icon { display: block; flex: none; width: 18px; height: 18px; }
-.codex-icon img { display: block; width: 100%; height: 100%; object-fit: contain; }
-
-.status { flex: none; padding: 3px 8px; border-radius: 999px; background: var(--surface-muted); color: var(--muted); font-size: 0.68rem; font-weight: 750; line-height: 1.4; text-transform: capitalize; }
-.status-completed { background: var(--accent-soft); color: var(--accent); }
-.status-failed { background: #f3dfdd; color: var(--danger); }
-.status-needs_input { background: #f4e9ce; color: var(--warning); }
-.status-interrupted { background: #e8e5df; color: #625d54; }
-
-.empty-state { padding: 60px 20px; border: 1px dashed var(--border); border-radius: 10px; text-align: center; color: var(--muted); }
-.empty-state h2 { margin-bottom: 6px; color: var(--text); }
-
-.dashboard-message { display: flex; align-items: center; gap: 12px; margin-bottom: 18px; padding: 8px 8px 8px 14px; border: 1px solid #d8c58e; border-radius: 7px; background: #fff7de; color: #604613; }
-.dashboard-message[hidden] { display: none; }
-.dashboard-message span { flex: 1; }
-.dashboard-message .icon-button { flex: none; padding: 4px 7px; color: inherit; }
-
-.notifications { position: fixed; inset: auto 20px 20px auto; width: min(380px, calc(100vw - 40px)); margin: 0; padding: 14px; border: 1px solid var(--border); border-radius: 10px; background: var(--surface); color: var(--text); box-shadow: var(--shadow); }
-.notifications-heading { display: flex; justify-content: space-between; align-items: center; margin-bottom: 8px; }
-.toast-list { display: grid; gap: 7px; max-height: 50vh; overflow: auto; }
-.toast { display: flex; align-items: flex-start; gap: 8px; padding: 10px; border-radius: 7px; background: var(--surface-muted); }
-.toast-content { display: grid; flex: 1; gap: 2px; padding: 0; border: 0; background: none; text-align: left; cursor: pointer; }
-.toast-content span { color: var(--muted); font-size: 0.85rem; }
-.toast-content .toast-summary { color: var(--text); }
-.toast-content .toast-metadata { font-size: 0.75rem; }
-.toast-missing { border: 1px dashed var(--border); }
-
-.text-button, .icon-button { border: 0; background: none; cursor: pointer; }
-.text-button { color: var(--accent); font-size: 0.82rem; font-weight: 700; }
-.icon-button { padding: 0 4px; color: var(--muted); font-size: 1.4rem; line-height: 1; }
-
-dialog { width: min(760px, calc(100vw - 32px)); max-height: min(82vh, 900px); padding: 28px; border: 1px solid var(--border); border-radius: 12px; background: var(--surface); color: var(--text); box-shadow: var(--shadow); }
-dialog::backdrop { background: rgb(18 23 21 / 50%); backdrop-filter: blur(2px); }
-.dialog-header { display: flex; align-items: flex-start; justify-content: space-between; gap: 20px; }
-.dialog-header h2 { margin-bottom: 12px; font-size: 1.6rem; }
-.dialog-actions { display: flex; align-items: flex-start; flex-wrap: wrap; gap: 8px; margin-bottom: 26px; }
-.more-task-actions { width: var(--control-height); min-width: var(--control-height); padding-inline: 0; font-size: 1.2rem; line-height: 1; }
-.manual-transition-panel, .manual-transition-controls { display: contents; }
-.manual-transition-panel[hidden] { display: none; }
-.manual-transition-error, .manual-transition-pending { flex-basis: 100%; margin: 0; }
-.manual-transition-controls > button[hidden] { display: none; }
-.manual-transition-error { color: var(--danger); font-size: 0.86rem; }
-.manual-transition-pending { color: var(--muted); font-size: 0.86rem; }
-.primary-button, .secondary-button, .danger-button { display: inline-flex; align-items: center; justify-content: center; min-height: var(--control-height); padding: 0 var(--control-padding-inline); border-radius: var(--control-radius); font-size: var(--control-font-size); font-weight: 700; line-height: 1; cursor: pointer; }
-.primary-button { border: 1px solid var(--accent); background: var(--accent); color: white; }
-.secondary-button { border: 1px solid var(--border); background: var(--surface); }
-.danger-button { border: 1px solid var(--danger); background: var(--surface); color: var(--danger); }
-.primary-button:disabled, .secondary-button:disabled, .danger-button:disabled { opacity: 0.5; cursor: not-allowed; }
-dialog section + section { margin-top: 24px; }
-.preserve-lines { white-space: pre-wrap; }
-.result-history { display: grid; gap: 10px; }
-.result-history-item { padding: 13px 14px; border: 1px solid var(--border); border-radius: 8px; background: var(--surface-muted); }
-.result-history-latest { border-color: var(--accent); background: var(--accent-soft); box-shadow: inset 3px 0 var(--accent); }
-.result-history-notified { outline: 3px solid color-mix(in srgb, var(--accent) 35%, transparent); outline-offset: 2px; }
-.result-history-header { display: flex; align-items: center; justify-content: space-between; gap: 12px; margin-bottom: 9px; }
-.result-history-header .timestamp-toggle { margin-left: auto; }
-.result-history-source { color: var(--muted); font-size: 0.72rem; font-weight: 700; }
-.result-history-item p { margin-bottom: 7px; }
-.result-history-item p:last-child { margin-bottom: 0; }
-.result-history-item h4 { margin: 10px 0 3px; color: var(--muted); font-size: 0.72rem; letter-spacing: 0.04em; text-transform: uppercase; }
-.result-history-turn, .result-history-empty { color: var(--muted); font-size: 0.78rem; overflow-wrap: anywhere; }
-.result-history-empty { margin: 0; }
-.usage-panel { margin-top: 8px; }
-.usage-summary { display: grid; gap: 3px; margin: 10px 0 4px; color: var(--muted); font-size: 0.8rem; }
-.usage-summary strong { color: var(--text); font-size: 0.9rem; }
-.usage-pending, .usage-calculating { display: flex; align-items: center; }
-.text-shimmer {
-  color: var(--muted);
-  display: inline-block;
-  width: fit-content;
-  max-width: 100%;
-  justify-self: start;
-  vertical-align: top;
-  background: linear-gradient(100deg, var(--muted) 48%, var(--text) 50%, var(--muted) 52%);
-  background-size: 250% 100%;
-  background-position: 100% 0;
-  background-clip: text;
-  -webkit-background-clip: text;
-  -webkit-text-fill-color: transparent;
-  animation: text-shimmer-sweep 6.4s linear infinite;
-}
-@keyframes text-shimmer-sweep {
-  0% { background-position: 100% 0; }
-  72%, 100% { background-position: -100% 0; }
-}
-@media (prefers-reduced-motion: reduce) {
-  .text-shimmer { background: none; animation: none; -webkit-text-fill-color: currentcolor; }
-}
-pre { max-height: 280px; margin: 0; padding: 14px; overflow: auto; border-radius: 7px; background: var(--surface-muted); white-space: pre-wrap; overflow-wrap: anywhere; font: 0.86rem/1.55 ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; }
-.metadata { display: grid; grid-template-columns: minmax(100px, 150px) 1fr; margin: 0; font-size: 0.88rem; }
-.metadata dt, .metadata dd { padding: 7px 0; border-bottom: 1px solid var(--border); overflow-wrap: anywhere; }
-.metadata dt { color: var(--muted); }
-.metadata dd { margin: 0; }
-
-.visually-hidden { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0, 0, 0, 0); white-space: nowrap; border: 0; }
-:focus-visible { outline: 3px solid rgb(33 95 74 / 35%); outline-offset: 3px; }
-
-@media (max-width: 650px) {
-  :root { --control-height: 40px; }
-  .site-header { align-items: flex-start; gap: 14px; padding-top: 28px; }
-  .title-row { align-items: flex-start; }
-  .toolbar-primary { grid-template-columns: repeat(2, minmax(0, 1fr)); }
-  .toolbar-primary label, .toolbar-primary select { width: 100%; min-width: 0; }
-  .toolbar .status-filter-option { width: auto; }
-  .task-count { justify-self: start; }
-  .task-heading { align-items: flex-start; }
-  .task-title, .timestamp-toggle { display: flex; align-items: center; min-height: 36px; }
-  .task-footer { align-items: flex-start; flex-direction: column; }
-  .github-links { max-width: 100%; }
-  .github-link-compact { padding-block: 5px; }
-  .task-open { align-self: flex-start; }
-  select { min-height: 40px; }
-  .status-filter-option span { min-height: 38px; }
-  .dialog-actions { align-items: center; flex-flow: row wrap; }
-  .metadata { grid-template-columns: 1fr; }
-  .metadata dt { padding-bottom: 0; border-bottom: 0; }
-}
-
-@media (max-width: 480px) {
-  .toolbar-primary { grid-template-columns: minmax(0, 1fr); }
-}
-
-@media (prefers-color-scheme: dark) {
-  :root {
-    color-scheme: dark;
-    --background: #181b19;
-    --surface: #222624;
-    --surface-muted: #2d322f;
-    --text: #edf1ee;
-    --muted: #aeb7b1;
-    --border: #3d4440;
-    --accent: #7dc1a4;
-    --accent-soft: #244436;
-    --danger: #ef9991;
-    --warning: #e4bd77;
-  }
-  .dashboard-message { border-color: #66592e; background: #38321d; color: #f1d98c; }
-  .status-filter-option:has(input:checked) span { color: var(--background); }
-  .status-failed { background: #4e2927; }
-  .status-needs_input { background: #4c3b20; }
-  .status-interrupted { background: #37332f; color: #d6d0c7; }
-}

package/src/dashboard-control.js

@@ -1,34 +0,0 @@
-export const DASHBOARD_CONTROL_SHUTDOWN_PATH = "/api/control/shutdown";
-export const DASHBOARD_CONTROL_SESSION_PATH = "/api/control/session";
-export const DASHBOARD_CONTROL_HEADER = "x-taskchef-control";
-
-const DASHBOARD_IDENTITY_KEYS = Object.freeze([
-  "launcher",
-  "schemaVersion",
-  "serverVersion",
-  "service",
-  "taskchefVersion",
-  "workspace",
-]);
-
-export function exactDashboardIdentity(value, expected) {
-  if (!value || typeof value !== "object" || Array.isArray(value)
-      || !expected || typeof expected !== "object" || Array.isArray(expected)) return false;
-  const valueKeys = Object.keys(value).sort();
-  const expectedKeys = Object.keys(expected).sort();
-  return valueKeys.length === DASHBOARD_IDENTITY_KEYS.length
-    && expectedKeys.length === DASHBOARD_IDENTITY_KEYS.length
-    && DASHBOARD_IDENTITY_KEYS.every((key, index) => valueKeys[index] === key
-      && expectedKeys[index] === key && value[key] === expected[key]);
-}
-
-export function validDashboardControlRequest(request, {
-  authority,
-  origin,
-  action,
-} = {}) {
-  return request.headers.host === authority
-    && request.headers.origin === origin
-    && request.headers[DASHBOARD_CONTROL_HEADER] === action
-    && request.headers["content-type"] === "application/json";
-}

package/src/dashboard-manager.js

@@ -1,339 +0,0 @@
-import http from "node:http";
-import { spawn } from "node:child_process";
-import { realpath } from "node:fs/promises";
-import path from "node:path";
-import { fileURLToPath } from "node:url";
-
-import { DASHBOARD_HEALTH_MAX_BYTES, DASHBOARD_HEALTH_PATH, dashboardAuthority } from "./dashboard.js";
-import { DASHBOARD_CONTROL_HEADER, DASHBOARD_CONTROL_SESSION_PATH,
-  DASHBOARD_CONTROL_SHUTDOWN_PATH, exactDashboardIdentity } from "./dashboard-control.js";
-import { DASHBOARD_SERVER_VERSION, TASKCHEF_VERSION } from "./version.js";
-
-const DEFAULT_HOST = "127.0.0.1";
-const DEFAULT_PORT = 3210;
-const HEALTH_TIMEOUT_MS = 750;
-const SESSION_START_ATTEMPTS = 80;
-const SESSION_START_INTERVAL_MS = 25;
-const SESSION_READY_TIMEOUT_MS = 15_000;
-const SHUTDOWN_TIMEOUT_MS = 2_000;
-const MAX_VERSION_REPLACEMENT_ATTEMPTS = 8;
-const SESSION_PROCESS_PATH = fileURLToPath(new URL("../mcp/dashboard-session.js", import.meta.url));
-
-export function launchDashboardSession({ workspace, host, port, sessionPid,
-  processPath = process.execPath, spawnProcess = spawn,
-  readyTimeoutMs = SESSION_READY_TIMEOUT_MS } = {}) {
-  return new Promise((resolve, reject) => {
-    const childEnvironment = {
-      ...process.env,
-      TASKCHEF_DASHBOARD_WORKSPACE: workspace,
-      TASKCHEF_DASHBOARD_HOST: host,
-      TASKCHEF_DASHBOARD_PORT: String(port),
-      TASKCHEF_DASHBOARD_SESSION_PID: String(sessionPid),
-    };
-    delete childEnvironment.TASKCHEF_DASHBOARD_SECRET;
-    delete childEnvironment.TASKCHEF_DASHBOARD_SESSION_PIDS;
-    const child = spawnProcess(processPath, [SESSION_PROCESS_PATH], {
-      detached: true,
-      stdio: ["ignore", "ignore", "ignore", "ipc"],
-      env: childEnvironment,
-    });
-    let settled = false;
-    const finish = (callback, value, { disconnect = true } = {}) => {
-      if (settled) return;
-      settled = true;
-      clearTimeout(timer);
-      child.off("error", onError);
-      child.off("exit", onExit);
-      child.off("message", onMessage);
-      child.on("error", () => {});
-      if (disconnect && child.connected) child.disconnect();
-      child.unref();
-      callback(value);
-    };
-    const onError = (error) => finish(reject, error);
-    const onExit = (code) => {
-      const error = new Error("TaskChef dashboard session exited before becoming ready");
-      error.code = code === 0 ? "TASKCHEF_DASHBOARD_START_EXIT" : "TASKCHEF_DASHBOARD_START_FAILED";
-      finish(reject, error);
-    };
-    const onMessage = (message) => {
-      if (message?.type === "ready" && message.port === port) {
-        finish(resolve, { pid: child.pid, port: message.port });
-      } else if (message?.type === "error") {
-        const error = new Error("TaskChef dashboard session failed before becoming ready");
-        error.code = typeof message.code === "string" ? message.code : "TASKCHEF_DASHBOARD_START_FAILED";
-        finish(reject, error);
-      }
-    };
-    const timer = setTimeout(() => {
-      const error = new Error("TaskChef dashboard session readiness timed out");
-      error.code = "TASKCHEF_DASHBOARD_START_TIMEOUT";
-      finish(reject, error, { disconnect: false });
-      if (child.connected) {
-        try { child.send({ type: "cancel" }, () => { if (child.connected) child.disconnect(); }); }
-        catch { if (child.connected) child.disconnect(); }
-      }
-    }, readyTimeoutMs);
-    child.once("error", onError);
-    child.once("exit", onExit);
-    child.on("message", onMessage);
-  });
-}
-
-function expectedIdentity(workspace, taskchefVersion, serverVersion, launcher) {
-  return { schemaVersion: 1, service: "taskchef-dashboard", taskchefVersion,
-    serverVersion, workspace, launcher };
-}
-
-function isRecognizedDashboardIdentity(value, workspace) {
-  return value?.schemaVersion === 1 && value?.service === "taskchef-dashboard"
-    && typeof value?.taskchefVersion === "string" && typeof value?.serverVersion === "string"
-    && value?.workspace === workspace && new Set(["mcp", "session", "standalone"]).has(value?.launcher)
-    && exactDashboardIdentity(value, expectedIdentity(workspace, value.taskchefVersion,
-      value.serverVersion, value.launcher));
-}
-
-function listenerConflict(url, detail, { staleTaskchefVersion } = {}) {
-  const error = new Error(`TaskChef dashboard port conflict at ${url} ${detail} `
-    + "Stop that listener or choose another port for the foreground dashboard CLI; TaskChef will not terminate it.");
-  error.code = "TASKCHEF_DASHBOARD_CONFLICT";
-  if (staleTaskchefVersion) error.staleTaskchefVersion = staleTaskchefVersion;
-  return error;
-}
-
-export function priorCompatibleVersion(candidate, current) {
-  const parse = (value) => {
-    const match = /^(0|[1-9]\d*)\.(0|[1-9]\d*)\.(0|[1-9]\d*)(?:-([0-9A-Za-z-]+(?:\.[0-9A-Za-z-]+)*))?(?:\+[0-9A-Za-z-]+(?:\.[0-9A-Za-z-]+)*)?$/.exec(value);
-    if (!match) return null;
-    const prerelease = match[4]?.split(".") ?? null;
-    if (prerelease?.some((part) => /^\d+$/.test(part) && part.length > 1 && part.startsWith("0"))) return null;
-    return { core: match.slice(1, 4).map(BigInt), prerelease };
-  };
-  const left = parse(candidate); const right = parse(current);
-  if (!left || !right) return false;
-  for (let index = 0; index < left.core.length; index += 1) {
-    if (left.core[index] !== right.core[index]) return left.core[index] < right.core[index];
-  }
-  if (left.prerelease === null || right.prerelease === null) return left.prerelease !== null && right.prerelease === null;
-  for (let index = 0; index < Math.max(left.prerelease.length, right.prerelease.length); index += 1) {
-    const l = left.prerelease[index]; const r = right.prerelease[index];
-    if (l === undefined || r === undefined) return l === undefined;
-    if (l === r) continue;
-    const ln = /^\d+$/.test(l); const rn = /^\d+$/.test(r);
-    if (ln && rn) return BigInt(l) < BigInt(r);
-    if (ln !== rn) return ln;
-    return l < r;
-  }
-  return false;
-}
-
-export function requestDashboardJson({ host, port, path: requestPath, action, body, timeoutMs }) {
-  return new Promise((resolve, reject) => {
-    let settled = false;
-    let deadline;
-    const finish = (error, value) => {
-      if (settled) return;
-      settled = true;
-      clearTimeout(deadline);
-      if (error) reject(error); else resolve(value);
-    };
-    const encoded = Buffer.from(`${JSON.stringify(body ?? {})}\n`);
-    const authority = dashboardAuthority(host, port);
-    const request = http.request({ host, port, path: requestPath, method: "POST", headers: {
-      Accept: "application/json", Host: authority, Origin: `http://${authority}`,
-      "Content-Type": "application/json", "Content-Length": encoded.length,
-      [DASHBOARD_CONTROL_HEADER]: action,
-    } }, (response) => {
-      const chunks = []; let total = 0;
-      response.on("data", (chunk) => {
-        total += chunk.length;
-        if (total > DASHBOARD_HEALTH_MAX_BYTES) {
-          const error = new Error("dashboard control response exceeds the identity limit");
-          finish(error); request.destroy(error);
-        }
-        else chunks.push(chunk);
-      });
-      response.on("end", () => {
-        try { finish(null, { statusCode: response.statusCode,
-          value: JSON.parse(Buffer.concat(chunks, total).toString("utf8")) }); }
-        catch { finish(new Error("dashboard control returned invalid JSON")); }
-      });
-      const interrupted = () => finish(new Error("dashboard control response was interrupted"));
-      response.on("aborted", interrupted);
-      response.on("error", interrupted);
-      response.on("close", () => { if (!response.complete) interrupted(); });
-    });
-    deadline = setTimeout(() => {
-      const error = new Error("dashboard control request timed out");
-      finish(error); request.destroy(error);
-    }, timeoutMs);
-    request.on("error", (error) => finish(error));
-    request.end(encoded);
-  });
-}
-
-export function readDashboardIdentity({ host = DEFAULT_HOST, port = DEFAULT_PORT,
-  maximumBytes = DASHBOARD_HEALTH_MAX_BYTES, timeoutMs = HEALTH_TIMEOUT_MS,
-  deadlineAt = Date.now() + timeoutMs } = {}) {
-  return new Promise((resolve, reject) => {
-    let settled = false;
-    const finish = (error, value) => { if (settled) return; settled = true; clearTimeout(deadline);
-      if (error) reject(error); else resolve(value); };
-    const request = http.get({ host, port, path: DASHBOARD_HEALTH_PATH,
-      headers: { Accept: "application/json", Host: dashboardAuthority(host, port) } }, (response) => {
-      const chunks = []; let total = 0;
-      response.on("data", (chunk) => { total += chunk.length;
-        if (total > maximumBytes) { const error = new Error("dashboard health response exceeds the identity limit");
-          finish(error); request.destroy(error); } else chunks.push(chunk); });
-      response.on("end", () => {
-        if (response.statusCode === 503 && deadlineAt - Date.now() > 10) {
-          settled = true; clearTimeout(deadline); const remaining = deadlineAt - Date.now();
-          setTimeout(() => readDashboardIdentity({ host, port, maximumBytes,
-            timeoutMs: Math.max(1, remaining), deadlineAt }).then(resolve, reject), 10); return;
-        }
-        if (response.statusCode !== 200) { finish(new Error(`dashboard health returned HTTP ${response.statusCode}`)); return; }
-        try { finish(null, JSON.parse(Buffer.concat(chunks, total).toString("utf8"))); }
-        catch { finish(new Error("dashboard health returned invalid JSON")); }
-      });
-    });
-    const deadline = setTimeout(() => { const error = new Error("dashboard health request timed out");
-      finish(error); request.destroy(error); }, timeoutMs);
-    request.on("error", (error) => finish(error));
-  });
-}
-
-function listenerAbsent(error) { return error?.code === "ECONNREFUSED" || error?.code === "EHOSTUNREACH"; }
-
-export function createDashboardManager({ workspace, host = DEFAULT_HOST, port = DEFAULT_PORT,
-  taskchefVersion = TASKCHEF_VERSION, serverVersion = DASHBOARD_SERVER_VERSION,
-  launcher = "session", sessionPid = process.ppid, launchSession = launchDashboardSession,
-  readIdentity = readDashboardIdentity, requestJson = requestDashboardJson,
-  shutdownTimeoutMs = SHUTDOWN_TIMEOUT_MS } = {}) {
-  if (!Number.isInteger(port) || port < 1 || port > 65_535) throw new Error("dashboard manager port must be an integer from 1 to 65535");
-  if (!Number.isFinite(shutdownTimeoutMs) || shutdownTimeoutMs <= 0) throw new Error("dashboard shutdown timeout must be positive");
-  let canonicalWorkspace; let ensurePromise = null; let closePromise = null;
-  const url = `http://${dashboardAuthority(host, port)}/`;
-  const expected = () => expectedIdentity(canonicalWorkspace, taskchefVersion, serverVersion, launcher);
-  const publicResult = (action, observedLauncher = launcher) => ({
-    action,
-    launcher: observedLauncher,
-    url,
-    workspace: canonicalWorkspace,
-    taskchefVersion,
-    serverVersion,
-  });
-
-  const registerAndVerify = async (identity) => {
-    const registration = await requestJson({ host, port, path: DASHBOARD_CONTROL_SESSION_PATH,
-      action: "session", body: { pid: sessionPid, expectedIdentity: identity },
-      timeoutMs: HEALTH_TIMEOUT_MS }).catch(() => null);
-    if (registration?.statusCode !== 200 || registration.value?.accepted !== true) return false;
-    const verified = await readIdentity({ host, port, timeoutMs: HEALTH_TIMEOUT_MS }).catch(() => null);
-    return exactDashboardIdentity(verified, identity);
-  };
-  const stopOlder = async (identity) => {
-    const shutdown = await requestJson({ host, port, path: DASHBOARD_CONTROL_SHUTDOWN_PATH,
-      action: "shutdown", body: { reason: "version-replacement", expectedIdentity: identity },
-      timeoutMs: HEALTH_TIMEOUT_MS }).catch(() => null);
-    if (shutdown?.statusCode !== 202 || shutdown.value?.accepted !== true) {
-      const live = await readIdentity({ host, port, timeoutMs: HEALTH_TIMEOUT_MS }).catch((error) => {
-        if (listenerAbsent(error) || error?.code === "ECONNRESET") return null;
-        throw listenerConflict(url, "changed to an unexpected listener before graceful restart.");
-      });
-      if (live === null) return;
-      if (!exactDashboardIdentity(live, identity)) {
-        return probe();
-      }
-      throw listenerConflict(url, `is a recognized older TaskChef ${identity.taskchefVersion} listener that refused graceful shutdown.`,
-        { staleTaskchefVersion: identity.taskchefVersion });
-    }
-    const deadline = Date.now() + shutdownTimeoutMs;
-    do {
-      try {
-        const live = await readIdentity({ host, port, timeoutMs: Math.min(100, shutdownTimeoutMs) });
-        if (!exactDashboardIdentity(live, identity)) {
-          return probe();
-        }
-      } catch (error) {
-        if (listenerAbsent(error) || error?.code === "ECONNRESET") return;
-        if (error?.code === "TASKCHEF_DASHBOARD_CONFLICT") throw error;
-      }
-      await new Promise((resolve) => setTimeout(resolve, SESSION_START_INTERVAL_MS));
-    } while (Date.now() < deadline);
-    throw listenerConflict(url, `accepted graceful shutdown but did not release the port within ${shutdownTimeoutMs}ms.`,
-      { staleTaskchefVersion: identity.taskchefVersion });
-  };
-  const probe = async () => {
-    let identity;
-    try { identity = await readIdentity({ host, port }); }
-    catch (error) {
-      if (listenerAbsent(error) || error?.code === "ECONNRESET") return false;
-      throw listenerConflict(url, `is occupied but did not return a compatible identity (${error.message}).`);
-    }
-    const exactCurrent = isRecognizedDashboardIdentity(identity, canonicalWorkspace)
-      && identity.taskchefVersion === taskchefVersion
-      && identity.serverVersion === serverVersion;
-    if (exactCurrent) {
-      if (identity.launcher === "session") {
-        if (await registerAndVerify(identity)) return identity;
-        return null;
-      }
-      const verified = await readIdentity({ host, port, timeoutMs: HEALTH_TIMEOUT_MS }).catch(() => null);
-      return exactDashboardIdentity(verified, identity) ? identity : null;
-    }
-    if (isRecognizedDashboardIdentity(identity, canonicalWorkspace)) {
-      if (priorCompatibleVersion(taskchefVersion, identity.taskchefVersion))
-        throw listenerConflict(url, `belongs to newer TaskChef ${identity.taskchefVersion}; refusing to downgrade it.`);
-      if (priorCompatibleVersion(identity.taskchefVersion, taskchefVersion)) return stopOlder(identity);
-    }
-    throw listenerConflict(url, "belongs to an unknown, malformed, different-workspace, standalone, or incompatible service.");
-  };
-  const ensureOnce = async () => {
-    canonicalWorkspace ??= await realpath(path.resolve(workspace));
-    const existing = await probe();
-    if (existing) return publicResult("reused", existing.launcher);
-    for (let replacementAttempt = 0; replacementAttempt < MAX_VERSION_REPLACEMENT_ATTEMPTS; replacementAttempt += 1) {
-      try { await launchSession({ workspace: canonicalWorkspace, host, port, sessionPid,
-        taskchefVersion, serverVersion }); }
-      catch (error) {
-        if (error?.code !== "EADDRINUSE") throw error;
-        const winner = await probe();
-        if (winner) return publicResult("reused", winner.launcher);
-        continue;
-      }
-      for (let attempt = 0; attempt < SESSION_START_ATTEMPTS; attempt += 1) {
-        try {
-          const identity = await readIdentity({ host, port, timeoutMs: 100 });
-          if (exactDashboardIdentity(identity, expected())) {
-            if (await registerAndVerify(identity)) return publicResult("started");
-          } else if (isRecognizedDashboardIdentity(identity, canonicalWorkspace)
-              && priorCompatibleVersion(identity.taskchefVersion, taskchefVersion)) {
-            const replacement = await stopOlder(identity);
-            if (replacement) return publicResult("reused", replacement.launcher);
-            break;
-          } else if (isRecognizedDashboardIdentity(identity, canonicalWorkspace)
-              && priorCompatibleVersion(taskchefVersion, identity.taskchefVersion)) {
-            throw listenerConflict(url, `belongs to newer TaskChef ${identity.taskchefVersion}; refusing to downgrade it.`);
-          } else throw listenerConflict(url, "changed to an unexpected listener while the dashboard session was starting.");
-        } catch (error) { if (!listenerAbsent(error) && error?.code !== "ECONNRESET") throw error; }
-        await new Promise((resolve) => setTimeout(resolve, SESSION_START_INTERVAL_MS));
-      }
-    }
-    const error = new Error(`TaskChef dashboard session did not become available at ${url}`);
-    error.code = "TASKCHEF_DASHBOARD_START_TIMEOUT"; throw error;
-  };
-  return {
-    async ensure() {
-      if (closePromise) throw new Error("TaskChef dashboard manager is shutting down");
-      if (ensurePromise) {
-        await ensurePromise;
-        const existing = await probe();
-        if (existing) return publicResult("reused", existing.launcher);
-      }
-      ensurePromise = ensureOnce().finally(() => { ensurePromise = null; });
-      return ensurePromise;
-    },
-    async close() { closePromise ??= (async () => { await ensurePromise?.catch(() => {}); })(); return closePromise; },
-    get owned() { return false; },
-  };
-}