patchwarden 0.6.1 → 1.1.0

package/src/watcherStatus.ts

@@ -191,9 +191,105 @@ export function derivePendingReason(
     if (watcher.status === "unreadable") return "queued_but_watcher_unreadable";
     return "queued_waiting_for_watcher";
   }
-  if (task.status !== "running") return null;
+  if (task.status !== "running" && task.status !== "collecting_artifacts") return null;
   if (task.phase === "executing_agent") return "agent_running";
   if (task.phase === "running_tests") return "verification_running";
   if (task.phase === "collecting_artifacts") return "collecting_artifacts";
   return "preparing";
 }
+
+// ── v0.7.0: Watcher ownership helpers ─────────────────────────────
+
+/**
+ * Read the current watcher's instance_id from the heartbeat file.
+ * Returns null when the heartbeat is missing or unreadable.
+ *
+ * This is the source of truth for "which watcher is currently alive".
+ * Tasks whose runtime.watcher_instance_id differs from this value are
+ * considered orphaned by the diagnosis layer.
+ */
+export function readWatcherInstanceId(
+  config: PatchWardenConfig = getConfig()
+): string | null {
+  const heartbeatPath = getWatcherHeartbeatPath(config);
+  if (!existsSync(heartbeatPath)) return null;
+  try {
+    const raw = readFileSync(heartbeatPath, "utf-8");
+    const data = JSON.parse(raw.charCodeAt(0) === 0xfeff ? raw.slice(1) : raw);
+    return typeof data.instance_id === "string" ? data.instance_id : null;
+  } catch {
+    return null;
+  }
+}
+
+/**
+ * v0.7.0: Determine whether the current watcher still owns a task.
+ *
+ * Ownership is established by comparing the watcher_instance_id recorded in
+ * the task's runtime.json with the instance_id of the currently alive
+ * watcher. A task is considered "owned" only when:
+ *   - the current watcher heartbeat is healthy, AND
+ *   - the task runtime recorded a watcher_instance_id, AND
+ *   - both instance IDs match.
+ *
+ * If the task has no recorded watcher_instance_id (legacy tasks created
+ * before v0.7.0), ownership cannot be confirmed and this returns false.
+ * The diagnosis layer treats "no owner" as a stale signal, not as active.
+ */
+export function isWatcherOwningTask(
+  taskDir: string,
+  config: PatchWardenConfig = getConfig()
+): { owned: boolean; reason: "owned" | "no_runtime_record" | "watcher_missing" | "instance_mismatch" | "watcher_unhealthy"; task_watcher_instance_id: string | null; current_watcher_instance_id: string | null } {
+  const runtimePath = join(taskDir, "runtime.json");
+  let taskWatcherInstanceId: string | null = null;
+  if (existsSync(runtimePath)) {
+    try {
+      const runtime = JSON.parse(readFileSync(runtimePath, "utf-8"));
+      if (typeof runtime.watcher_instance_id === "string") {
+        taskWatcherInstanceId = runtime.watcher_instance_id;
+      }
+    } catch {
+      // corrupted runtime — treat as no record
+    }
+  }
+  if (!taskWatcherInstanceId) {
+    return {
+      owned: false,
+      reason: "no_runtime_record",
+      task_watcher_instance_id: null,
+      current_watcher_instance_id: null,
+    };
+  }
+  const watcher = readWatcherStatus(config);
+  if (watcher.status !== "healthy") {
+    return {
+      owned: false,
+      reason: watcher.status === "missing" ? "watcher_missing" : "watcher_unhealthy",
+      task_watcher_instance_id: taskWatcherInstanceId,
+      current_watcher_instance_id: watcher.instance_id,
+    };
+  }
+  const currentInstanceId = watcher.instance_id;
+  if (!currentInstanceId) {
+    return {
+      owned: false,
+      reason: "watcher_missing",
+      task_watcher_instance_id: taskWatcherInstanceId,
+      current_watcher_instance_id: null,
+    };
+  }
+  if (currentInstanceId !== taskWatcherInstanceId) {
+    return {
+      owned: false,
+      reason: "instance_mismatch",
+      task_watcher_instance_id: taskWatcherInstanceId,
+      current_watcher_instance_id: currentInstanceId,
+    };
+  }
+  return {
+    owned: true,
+    reason: "owned",
+    task_watcher_instance_id: taskWatcherInstanceId,
+    current_watcher_instance_id: currentInstanceId,
+  };
+}

package/ui/colors_and_type.css

@@ -0,0 +1,141 @@
+/* PatchWarden Brand CSS — Dark Security Theme (default) + Light Mode */
+/* Prefix: pw */
+
+:root {
+  /* ── Primary Palette (Dark — default) ── */
+  --pw-bg: #0a0e14;
+  --pw-bg-elevated: #111820;
+  --pw-bg-surface: #161d27;
+  --pw-bg-hover: #1c2533;
+  --pw-bg-active: #222d3d;
+  --pw-border: #1e2a3a;
+  --pw-border-subtle: #172030;
+  --pw-border-focus: #2dd4a8;
+
+  /* ── Text ── */
+  --pw-text-primary: #e8edf4;
+  --pw-text-secondary: #8b99ad;
+  --pw-text-tertiary: #5a6a80;
+  --pw-text-inverse: #0a0e14;
+  --pw-text-accent: #2dd4a8;
+
+  /* ── Brand Accent — Security Green ── */
+  --pw-accent: #2dd4a8;
+  --pw-accent-hover: #34eabc;
+  --pw-accent-muted: rgba(45, 212, 168, 0.12);
+  --pw-accent-subtle: rgba(45, 212, 168, 0.06);
+
+  /* ── State Colors ── */
+  --pw-state-success: #22c55e;
+  --pw-state-success-bg: rgba(34, 197, 94, 0.1);
+  --pw-state-warning: #f59e0b;
+  --pw-state-warning-bg: rgba(245, 158, 11, 0.1);
+  --pw-state-error: #ef4444;
+  --pw-state-error-bg: rgba(239, 68, 68, 0.1);
+  --pw-state-info: #3b82f6;
+  --pw-state-info-bg: rgba(59, 130, 246, 0.1);
+
+  /* ── Radius ── */
+  --pw-radius-sm: 4px;
+  --pw-radius-md: 8px;
+  --pw-radius-lg: 12px;
+  --pw-radius-full: 9999px;
+
+  /* ── Shadows — static surfaces use border only; floating layers use subtle shadow ── */
+  --pw-shadow-float: 0 8px 32px rgba(0, 0, 0, 0.4);
+  --pw-shadow-modal: 0 16px 48px rgba(0, 0, 0, 0.5);
+
+  /* ── Typography ── */
+  --pw-font-sans: 'Inter', 'Segoe UI', system-ui, -apple-system, sans-serif;
+  --pw-font-mono: 'JetBrains Mono', 'Cascadia Code', 'Consolas', monospace;
+
+  --pw-text-xs: 0.75rem;
+  --pw-text-sm: 0.8125rem;
+  --pw-text-base: 0.875rem;
+  --pw-text-lg: 1rem;
+  --pw-text-xl: 1.25rem;
+  --pw-text-2xl: 1.5rem;
+  --pw-text-3xl: 2rem;
+
+  --pw-leading-tight: 1.25;
+  --pw-leading-normal: 1.5;
+  --pw-leading-relaxed: 1.625;
+
+  --pw-weight-normal: 400;
+  --pw-weight-medium: 500;
+  --pw-weight-semibold: 600;
+  --pw-weight-bold: 700;
+
+  /* ── Spacing ── */
+  --pw-space-1: 4px;
+  --pw-space-2: 8px;
+  --pw-space-3: 12px;
+  --pw-space-4: 16px;
+  --pw-space-5: 20px;
+  --pw-space-6: 24px;
+  --pw-space-8: 32px;
+  --pw-space-10: 40px;
+  --pw-space-12: 48px;
+
+  /* ── Transitions ── */
+  --pw-transition-fast: 150ms ease;
+  --pw-transition-base: 200ms ease;
+  --pw-transition-slow: 300ms ease;
+
+  /* ── Code block backgrounds ── */
+  --pw-code-bg: #0d1117;
+  --pw-code-add-bg: rgba(34, 197, 94, 0.1);
+  --pw-code-add-text: #3fb950;
+  --pw-code-remove-bg: rgba(239, 68, 68, 0.1);
+  --pw-code-remove-text: #f85149;
+  --pw-code-line-num: #5a6a80;
+}
+
+/* ── Dark mode (explicit, same as :root defaults) ── */
+html.dark {
+  --pw-bg: #0a0e14;
+  --pw-bg-elevated: #111820;
+  --pw-bg-surface: #161d27;
+  --pw-bg-hover: #1c2533;
+  --pw-bg-active: #222d3d;
+  --pw-border: #1e2a3a;
+  --pw-border-subtle: #172030;
+  --pw-text-primary: #e8edf4;
+  --pw-text-secondary: #8b99ad;
+  --pw-text-tertiary: #5a6a80;
+  --pw-code-bg: #0d1117;
+  --pw-code-add-bg: rgba(34, 197, 94, 0.1);
+  --pw-code-add-text: #3fb950;
+  --pw-code-remove-bg: rgba(239, 68, 68, 0.1);
+  --pw-code-remove-text: #f85149;
+  --pw-code-line-num: #5a6a80;
+}
+
+/* ── Light mode ── */
+html.light {
+  --pw-bg: #f8fafb;
+  --pw-bg-elevated: #ffffff;
+  --pw-bg-surface: #f1f5f7;
+  --pw-bg-hover: #e8eef2;
+  --pw-bg-active: #dde5eb;
+  --pw-border: #d1d9e0;
+  --pw-border-subtle: #e2e8ee;
+  --pw-border-focus: #1a9e7a;
+  --pw-text-primary: #1a2332;
+  --pw-text-secondary: #5a6a80;
+  --pw-text-tertiary: #8b99ad;
+  --pw-text-inverse: #ffffff;
+  --pw-text-accent: #1a9e7a;
+  --pw-accent: #1a9e7a;
+  --pw-accent-hover: #158c6c;
+  --pw-accent-muted: rgba(26, 158, 122, 0.1);
+  --pw-accent-subtle: rgba(26, 158, 122, 0.05);
+  --pw-shadow-float: 0 8px 32px rgba(0, 0, 0, 0.08);
+  --pw-shadow-modal: 0 16px 48px rgba(0, 0, 0, 0.12);
+  --pw-code-bg: #f6f8fa;
+  --pw-code-add-bg: rgba(34, 197, 94, 0.08);
+  --pw-code-add-text: #1a7f37;
+  --pw-code-remove-bg: rgba(239, 68, 68, 0.08);
+  --pw-code-remove-text: #cf222e;
+  --pw-code-line-num: #8b99ad;
+}