@bastani/atomic 0.9.11-alpha.7 → 0.9.11-alpha.9

package/dist/builtin/workflows/src/tui/widget.ts

@@ -22,20 +22,17 @@
  *  - src/tui/chat-surface.ts renderRoundedBoxLines
  */
 
-import type {
-  StoreSnapshot,
-  RunSnapshot,
-} from "../shared/store-types.js";
-import { elapsedRunMs } from "../shared/timing.js";
-import { topLevelWorkflowRuns } from "../shared/run-visibility.js";
 import { effectiveRunStatus } from "../shared/returned-run-status.js";
-import type { PiTheme } from "./store-widget-installer.js";
-import { renderRoundedBoxLines } from "./chat-surface.js";
+import { topLevelWorkflowRuns } from "../shared/run-visibility.js";
+import type { RunSnapshot, StoreSnapshot } from "../shared/store-types.js";
+import { elapsedRunMs } from "../shared/timing.js";
 import type { FlatBandBadge } from "./chat-surface.js";
-import { deriveGraphTheme } from "./graph-theme.js";
+import { renderRoundedBoxLines } from "./chat-surface.js";
+import { BOLD, hexToAnsi, RESET } from "./color-utils.js";
 import type { GraphTheme } from "./graph-theme.js";
-import { hexToAnsi, RESET, BOLD } from "./color-utils.js";
+import { deriveGraphTheme } from "./graph-theme.js";
 import { statusIcon } from "./status-helpers.js";
+import type { PiTheme } from "./store-widget-installer.js";
 
 // ---------------------------------------------------------------------------
 // Tunables
@@ -51,14 +48,14 @@ const COLLAPSED_BREAKPOINT_COLS = 80;
 // ---------------------------------------------------------------------------
 
 export function formatDuration(ms: number): string {
-  const totalSec = Math.floor(Math.max(0, ms) / 1000);
-  if (totalSec < 60) return `${totalSec}s`;
-  const minutes = Math.floor(totalSec / 60);
-  const secs = totalSec % 60;
-  if (minutes < 60) return `${minutes}m${secs > 0 ? ` ${secs}s` : ""}`;
-  const hours = Math.floor(minutes / 60);
-  const rmin = minutes % 60;
-  return `${hours}h${rmin > 0 ? ` ${rmin}m` : ""}`;
+	const totalSec = Math.floor(Math.max(0, ms) / 1000);
+	if (totalSec < 60) return `${totalSec}s`;
+	const minutes = Math.floor(totalSec / 60);
+	const secs = totalSec % 60;
+	if (minutes < 60) return `${minutes}m${secs > 0 ? ` ${secs}s` : ""}`;
+	const hours = Math.floor(minutes / 60);
+	const rmin = minutes % 60;
+	return `${hours}h${rmin > 0 ? ` ${rmin}m` : ""}`;
 }
 
 // ---------------------------------------------------------------------------
@@ -66,34 +63,34 @@ export function formatDuration(ms: number): string {
 // ---------------------------------------------------------------------------
 
 function isActive(run: RunSnapshot): boolean {
-  return run.endedAt === undefined;
+	return run.endedAt === undefined;
 }
 
 function recentlyEnded(run: RunSnapshot, now: number): boolean {
-  return run.endedAt !== undefined && now - run.endedAt <= RECENT_ENDED_WINDOW_MS;
+	return run.endedAt !== undefined && now - run.endedAt <= RECENT_ENDED_WINDOW_MS;
 }
 
 function isQuitRun(run: RunSnapshot): boolean {
-  return run.endedAt === undefined && run.status === "paused" && run.exitReason === "quit";
+	return run.endedAt === undefined && run.status === "paused" && run.exitReason === "quit";
 }
 
 interface RunCounts {
-  active: number;
-  paused: number;
-  quit: number;
-  done: number;
-  blocked: number;
-  failed: number;
-  /** Runs with a pending HIL prompt — surfaced as a separate badge so the
-   *  user knows to attach via F2 before more progress is possible. */
-  awaiting: number;
+	active: number;
+	paused: number;
+	quit: number;
+	done: number;
+	blocked: number;
+	failed: number;
+	/** Runs with a pending HIL prompt — surfaced as a separate badge so the
+	 *  user knows to attach via F2 before more progress is possible. */
+	awaiting: number;
 }
 
 function runAwaitsInput(run: RunSnapshot): boolean {
-  return (
-    run.endedAt === undefined &&
-    (run.pendingPrompt !== undefined || run.stages.some((s) => s.status === "awaiting_input"))
-  );
+	return (
+		run.endedAt === undefined &&
+		(run.pendingPrompt !== undefined || run.stages.some((s) => s.status === "awaiting_input"))
+	);
 }
 
 /**
@@ -104,26 +101,23 @@ function runAwaitsInput(run: RunSnapshot): boolean {
  * visible ancestor instead of vanishing with it.
  */
 function subtreeAwaitsInput(root: RunSnapshot, allRuns: readonly RunSnapshot[]): boolean {
-  if (runAwaitsInput(root)) return true;
-  return allRuns.some((run) => run.rootRunId === root.id && runAwaitsInput(run));
+	if (runAwaitsInput(root)) return true;
+	return allRuns.some((run) => run.rootRunId === root.id && runAwaitsInput(run));
 }
 
-function countRuns(
-  runs: readonly RunSnapshot[],
-  allRuns: readonly RunSnapshot[] = runs,
-): RunCounts {
-  const counts: RunCounts = { active: 0, paused: 0, quit: 0, done: 0, blocked: 0, failed: 0, awaiting: 0 };
-  for (const r of runs) {
-    const status = effectiveRunStatus(r);
-    if (isQuitRun(r)) counts.quit++;
-    else if (status === "blocked") counts.blocked++;
-    else if (r.endedAt === undefined && status === "paused") counts.paused++;
-    else if (r.endedAt === undefined) counts.active++;
-    else if (status === "completed" || status === "skipped" || status === "cancelled") counts.done++;
-    else if (status === "failed" || status === "killed") counts.failed++;
-    if (r.endedAt === undefined && subtreeAwaitsInput(r, allRuns)) counts.awaiting++;
-  }
-  return counts;
+function countRuns(runs: readonly RunSnapshot[], allRuns: readonly RunSnapshot[] = runs): RunCounts {
+	const counts: RunCounts = { active: 0, paused: 0, quit: 0, done: 0, blocked: 0, failed: 0, awaiting: 0 };
+	for (const r of runs) {
+		const status = effectiveRunStatus(r);
+		if (isQuitRun(r)) counts.quit++;
+		else if (status === "blocked") counts.blocked++;
+		else if (r.endedAt === undefined && status === "paused") counts.paused++;
+		else if (r.endedAt === undefined) counts.active++;
+		else if (status === "completed" || status === "skipped" || status === "cancelled") counts.done++;
+		else if (status === "failed" || status === "killed") counts.failed++;
+		if (r.endedAt === undefined && subtreeAwaitsInput(r, allRuns)) counts.awaiting++;
+	}
+	return counts;
 }
 
 /**
@@ -133,38 +127,34 @@ function countRuns(
  * Reactive-widget updates the existing mounted component in place, so these
  * ticks repaint the visible panel without disposing or remounting it.
  */
-export function nextWidgetRefreshDelayMs(
-  snap: StoreSnapshot,
-  now = Date.now(),
-): number | undefined {
-  const display = selectDisplayRuns(snap, now);
-  if (display.length === 0) return undefined;
-
-  const delays: number[] = display
-    .filter((run) => run.endedAt !== undefined)
-    .map((run) => Math.max(1, run.endedAt! + RECENT_ENDED_WINDOW_MS - now + 1));
-  for (const run of display) {
-    if (run.endedAt !== undefined || effectiveRunStatus(run) !== "running" || run.pausedAt !== undefined) continue;
-    const remainder = elapsedRunMs(run, now) % 1_000;
-    delays.push(remainder === 0 ? 1_000 : 1_000 - remainder);
-  }
-  return delays.length === 0 ? undefined : Math.min(...delays);
+export function nextWidgetRefreshDelayMs(snap: StoreSnapshot, now = Date.now()): number | undefined {
+	const display = selectDisplayRuns(snap, now);
+	if (display.length === 0) return undefined;
+
+	const delays: number[] = display
+		.filter((run) => run.endedAt !== undefined)
+		.map((run) => Math.max(1, run.endedAt! + RECENT_ENDED_WINDOW_MS - now + 1));
+	for (const run of display) {
+		if (run.endedAt !== undefined || effectiveRunStatus(run) !== "running" || run.pausedAt !== undefined) continue;
+		const remainder = elapsedRunMs(run, now) % 1_000;
+		delays.push(remainder === 0 ? 1_000 : 1_000 - remainder);
+	}
+	return delays.length === 0 ? undefined : Math.min(...delays);
 }
 
 function selectDisplayRuns(snap: StoreSnapshot, now: number): RunSnapshot[] {
-  // Only surface top-level workflows. Nested `ctx.workflow()` child runs carry
-  // a `parentRunId`, and they are already represented inline as flattened
-  // stages of their parent's graph, so listing them here would show the same
-  // composition three times (root + parent + child). Matches the visibility
-  // rule `statusRuns`/the `status` action already apply.
-  const all = topLevelWorkflowRuns(snap.runs);
-  const active = all.filter((r) => isActive(r));
-  const recent = all.filter((r) => recentlyEnded(r, now));
-  // Most recently started first within each bucket; active runs precede recent.
-  const sort = (xs: RunSnapshot[]) =>
-    [...xs].sort((a, b) => (b.startedAt ?? 0) - (a.startedAt ?? 0));
-  const ordered = [...sort(active), ...sort(recent)];
-  return ordered.slice(0, MAX_VISIBLE_RUNS);
+	// Only surface top-level workflows. Nested `ctx.workflow()` child runs carry
+	// a `parentRunId`, and they are already represented inline as flattened
+	// stages of their parent's graph, so listing them here would show the same
+	// composition three times (root + parent + child). Matches the visibility
+	// rule `statusRuns`/the `status` action already apply.
+	const all = topLevelWorkflowRuns(snap.runs);
+	const active = all.filter((r) => isActive(r));
+	const recent = all.filter((r) => recentlyEnded(r, now));
+	// Most recently started first within each bucket; active runs precede recent.
+	const sort = (xs: RunSnapshot[]) => [...xs].sort((a, b) => (b.startedAt ?? 0) - (a.startedAt ?? 0));
+	const ordered = [...sort(active), ...sort(recent)];
+	return ordered.slice(0, MAX_VISIBLE_RUNS);
 }
 
 // ---------------------------------------------------------------------------
@@ -172,93 +162,91 @@ function selectDisplayRuns(snap: StoreSnapshot, now: number): RunSnapshot[] {
 // ---------------------------------------------------------------------------
 
 function shortId(run: RunSnapshot): string {
-  return run.id.length > SHORT_ID_LEN ? run.id.slice(0, SHORT_ID_LEN) : run.id;
+	return run.id.length > SHORT_ID_LEN ? run.id.slice(0, SHORT_ID_LEN) : run.id;
 }
 
 function statusGlyph(run: RunSnapshot): string {
-  if (isQuitRun(run)) return "○";
-  switch (effectiveRunStatus(run)) {
-    case "running":
-      return "●";
-    case "paused":
-      return "❚❚";
-    case "completed":
-      return "✓";
-    case "skipped":
-    case "cancelled":
-      return "⊘";
-    case "blocked":
-      return "↑";
-    case "failed":
-      return "✗";
-    case "killed":
-      return "⊘";
-    case "pending":
-    default:
-      return "○";
-  }
+	if (isQuitRun(run)) return "○";
+	switch (effectiveRunStatus(run)) {
+		case "running":
+			return "●";
+		case "paused":
+			return "❚❚";
+		case "completed":
+			return "✓";
+		case "skipped":
+		case "cancelled":
+			return "⊘";
+		case "blocked":
+			return "↑";
+		case "failed":
+			return "✗";
+		case "killed":
+			return "⊘";
+		default:
+			return "○";
+	}
 }
 
 function statusFg(run: RunSnapshot, theme: GraphTheme): string {
-  if (isQuitRun(run)) return theme.warning;
-  switch (effectiveRunStatus(run)) {
-    case "running":
-    case "paused":
-      return theme.warning;
-    case "completed":
-      return theme.success;
-    case "skipped":
-    case "cancelled":
-    case "blocked":
-      return theme.dim;
-    case "failed":
-      return theme.error;
-    case "killed":
-      return theme.warning;
-    case "pending":
-    default:
-      return theme.dim;
-  }
+	if (isQuitRun(run)) return theme.warning;
+	switch (effectiveRunStatus(run)) {
+		case "running":
+		case "paused":
+			return theme.warning;
+		case "completed":
+			return theme.success;
+		case "skipped":
+		case "cancelled":
+		case "blocked":
+			return theme.dim;
+		case "failed":
+			return theme.error;
+		case "killed":
+			return theme.warning;
+		default:
+			return theme.dim;
+	}
 }
 
 function modeLabel(run: RunSnapshot): string {
-  return run.stages.length > 1 ? "chain" : "single";
+	return run.stages.length > 1 ? "chain" : "single";
 }
 
 function progressLabel(run: RunSnapshot): string | undefined {
-  const total = run.stages.length;
-  if (total === 0) return undefined;
-  const done = run.stages.filter(
-    (s) => s.status === "completed" || s.status === "failed" || s.status === "skipped",
-  ).length;
-  return `${done}/${total}`;
+	const total = run.stages.length;
+	if (total === 0) return undefined;
+	const done = run.stages.filter(
+		(s) => s.status === "completed" || s.status === "failed" || s.status === "skipped",
+	).length;
+	return `${done}/${total}`;
 }
 
 function elapsedLabel(run: RunSnapshot, now: number): string {
-  if (run.endedAt !== undefined) {
-    const elapsed = formatDuration(elapsedRunMs(run, run.endedAt));
-    const status = effectiveRunStatus(run);
-    if (status === "completed") return `complete · ${elapsed}`;
-    if (status === "failed") return `failed · ${elapsed}`;
-    if (status === "killed") return `killed · ${elapsed}`;
-    return `${status} · ${elapsed}`;
-  }
-  if (run.startedAt != null) return formatDuration(elapsedRunMs(run, now));
-  return "";
+	if (run.endedAt !== undefined) {
+		const elapsed = formatDuration(elapsedRunMs(run, run.endedAt));
+		const status = effectiveRunStatus(run);
+		if (status === "completed") return `complete · ${elapsed}`;
+		if (status === "failed") return `failed · ${elapsed}`;
+		if (status === "killed") return `killed · ${elapsed}`;
+		return `${status} · ${elapsed}`;
+	}
+	if (run.startedAt != null) return formatDuration(elapsedRunMs(run, now));
+	return "";
 }
 
 function metaLine(run: RunSnapshot, now: number): string {
-  if (run.endedAt !== undefined) {
-    return elapsedLabel(run, now);
-  }
-  if (isQuitRun(run)) return "quit · resumable via /workflow resume";
-  if (effectiveRunStatus(run) === "blocked") return "blocked · resumable via /workflow resume";
-  const parts: string[] = [modeLabel(run)];
-  const prog = progressLabel(run);
-  if (prog) parts.push(prog);
-  const elapsed = elapsedLabel(run, now);
-  if (elapsed) parts.push(elapsed);
-  return parts.join(" · ");
+	if (run.endedAt !== undefined) {
+		return elapsedLabel(run, now);
+	}
+	if (isQuitRun(run)) return "quit · resumable via /workflow resume";
+	if (effectiveRunStatus(run) === "blocked") return "blocked · resumable via /workflow resume";
+	const parts: string[] = [modeLabel(run)];
+	const prog = progressLabel(run);
+	if (prog) parts.push(prog);
+	const elapsed = elapsedLabel(run, now);
+	if (elapsed) parts.push(elapsed);
+	return parts.join(" · ");
 }
 
 // ---------------------------------------------------------------------------
@@ -266,108 +254,98 @@ function metaLine(run: RunSnapshot, now: number): string {
 // ---------------------------------------------------------------------------
 
 function countBadges(counts: RunCounts, theme: GraphTheme): FlatBandBadge[] {
-  const badges: FlatBandBadge[] = [];
-  if (counts.active > 0) {
-    badges.push({ text: `● ${counts.active} running`, fg: theme.warning });
-  }
-  if (counts.paused > 0) {
-    badges.push({ text: `❚❚ ${counts.paused} paused`, fg: theme.warning });
-  }
-  if (counts.quit > 0) {
-    badges.push({ text: `${counts.quit} quit`, fg: theme.warning });
-  }
-  // Awaiting input is shown in Sky per DESIGN.md status semantics: a live
-  // human-in-the-loop request that requires attention. Mirror the graph node's
-  // question-mark status glyph, then keep ↵ as the attach/respond action hint.
-  if (counts.awaiting > 0) {
-    badges.push({ text: `${statusIcon("awaiting_input")} ↵ ${counts.awaiting} needs attention (attach to workflow with \`/workflow connect\`)`, fg: theme.info });
-  }
-  if (counts.blocked > 0) {
-    badges.push({ text: `↑ ${counts.blocked} blocked`, fg: theme.warning });
-  }
-  if (counts.done > 0) {
-    badges.push({ text: `✓ ${counts.done} complete`, fg: theme.success });
-  }
-  if (counts.failed > 0) {
-    badges.push({ text: `✗ ${counts.failed} failed`, fg: theme.error });
-  }
-  return badges;
+	const badges: FlatBandBadge[] = [];
+	if (counts.active > 0) {
+		badges.push({ text: `● ${counts.active} running`, fg: theme.warning });
+	}
+	if (counts.paused > 0) {
+		badges.push({ text: `❚❚ ${counts.paused} paused`, fg: theme.warning });
+	}
+	if (counts.quit > 0) {
+		badges.push({ text: `${counts.quit} quit`, fg: theme.warning });
+	}
+	// Awaiting input is shown in Sky per DESIGN.md status semantics: a live
+	// human-in-the-loop request that requires attention. Mirror the graph node's
+	// question-mark status glyph, then keep ↵ as the attach/respond action hint.
+	if (counts.awaiting > 0) {
+		badges.push({
+			text: `${statusIcon("awaiting_input")} ↵ ${counts.awaiting} needs attention (attach to workflow with \`/workflow connect\`)`,
+			fg: theme.info,
+		});
+	}
+	if (counts.blocked > 0) {
+		badges.push({ text: `↑ ${counts.blocked} blocked`, fg: theme.warning });
+	}
+	if (counts.done > 0) {
+		badges.push({ text: `✓ ${counts.done} complete`, fg: theme.success });
+	}
+	if (counts.failed > 0) {
+		badges.push({ text: `✗ ${counts.failed} failed`, fg: theme.error });
+	}
+	return badges;
 }
 
-function formatTitleBadges(
-  badges: readonly FlatBandBadge[],
-  theme: GraphTheme,
-  themed: boolean,
-): string {
-  if (badges.length === 0) return "";
-  if (!themed) return badges.map((b) => b.text).join("  ");
-
-  const fallbackFg = hexToAnsi(theme.border);
-  return badges
-    .map((b) => `${b.fg ? hexToAnsi(b.fg) : fallbackFg}${b.text}${RESET}${fallbackFg}`)
-    .join("  ");
+function formatTitleBadges(badges: readonly FlatBandBadge[], theme: GraphTheme, themed: boolean): string {
+	if (badges.length === 0) return "";
+	if (!themed) return badges.map((b) => b.text).join("  ");
+
+	const fallbackFg = hexToAnsi(theme.border);
+	return badges.map((b) => `${b.fg ? hexToAnsi(b.fg) : fallbackFg}${b.text}${RESET}${fallbackFg}`).join("  ");
 }
 
 // ---------------------------------------------------------------------------
 // Themed rendering (ANSI + Catppuccin)
 // ---------------------------------------------------------------------------
 
-function themedRunLines(
-  run: RunSnapshot,
-  now: number,
-  theme: GraphTheme,
-): string[] {
-  const dim = hexToAnsi(theme.dim);
-  const text = hexToAnsi(theme.text);
-  const accent = hexToAnsi(theme.accent);
-  const muted = hexToAnsi(theme.textMuted);
-  const glyphFg = hexToAnsi(statusFg(run, theme));
-
-  const glyph = statusGlyph(run);
-  const sid = shortId(run);
-  const name = run.name;
-
-  const line1 = `   ${glyphFg}${glyph}${RESET}  ${accent}${sid}${RESET}  ${text}${BOLD}${name}${RESET}`;
-  const meta = metaLine(run, now);
-  // Render the meta line in muted while running so the elapsed-time
-  // gradient stays readable; dim it once the run has terminated.
-  const metaFg = effectiveRunStatus(run) === "running" ? muted : dim;
-  const line2 = `     ${metaFg}${meta}${RESET}`;
-  return [line1, line2];
+function themedRunLines(run: RunSnapshot, now: number, theme: GraphTheme): string[] {
+	const dim = hexToAnsi(theme.dim);
+	const text = hexToAnsi(theme.text);
+	const accent = hexToAnsi(theme.accent);
+	const muted = hexToAnsi(theme.textMuted);
+	const glyphFg = hexToAnsi(statusFg(run, theme));
+
+	const glyph = statusGlyph(run);
+	const sid = shortId(run);
+	const name = run.name;
+
+	const line1 = `   ${glyphFg}${glyph}${RESET}  ${accent}${sid}${RESET}  ${text}${BOLD}${name}${RESET}`;
+	const meta = metaLine(run, now);
+	// Render the meta line in muted while running so the elapsed-time
+	// gradient stays readable; dim it once the run has terminated.
+	const metaFg = effectiveRunStatus(run) === "running" ? muted : dim;
+	const line2 = `     ${metaFg}${meta}${RESET}`;
+	return [line1, line2];
 }
 
 function plainRunLines(run: RunSnapshot, now: number): string[] {
-  const line1 = `   ${statusGlyph(run)}  ${shortId(run)}  ${run.name}`;
-  const line2 = `     ${metaLine(run, now)}`;
-  return [line1, line2];
+	const line1 = `   ${statusGlyph(run)}  ${shortId(run)}  ${run.name}`;
+	const line2 = `     ${metaLine(run, now)}`;
+	return [line1, line2];
 }
 
 // ---------------------------------------------------------------------------
 // Collapsed (< 80 cell) form
 // ---------------------------------------------------------------------------
 
-function themedCollapsed(
-  counts: RunCounts,
-  theme: GraphTheme,
-): string {
-  const mauve = hexToAnsi(theme.mauve);
-  const dim = hexToAnsi(theme.dim);
-  const muted = hexToAnsi(theme.textMuted);
-  const warning = hexToAnsi(theme.warning);
-  const total = counts.active + counts.paused + counts.quit + counts.done + counts.blocked + counts.failed;
-  const active = counts.active;
-  const paused = counts.paused > 0 ? `${dim} · ${RESET}${warning}${counts.paused} ❚❚${RESET}` : "";
-  const quit = counts.quit > 0 ? `${dim} · ${RESET}${warning}${counts.quit} quit${RESET}` : "";
-  const blocked = counts.blocked > 0 ? `${dim} · ${RESET}${warning}${counts.blocked} ↑${RESET}` : "";
-  return ` ${mauve}▾${RESET}  ${muted}${total} background${RESET}${dim} · ${RESET}${warning}${active} ●${RESET}${paused}${quit}${blocked}`;
+function themedCollapsed(counts: RunCounts, theme: GraphTheme): string {
+	const mauve = hexToAnsi(theme.mauve);
+	const dim = hexToAnsi(theme.dim);
+	const muted = hexToAnsi(theme.textMuted);
+	const warning = hexToAnsi(theme.warning);
+	const total = counts.active + counts.paused + counts.quit + counts.done + counts.blocked + counts.failed;
+	const active = counts.active;
+	const paused = counts.paused > 0 ? `${dim} · ${RESET}${warning}${counts.paused} ❚❚${RESET}` : "";
+	const quit = counts.quit > 0 ? `${dim} · ${RESET}${warning}${counts.quit} quit${RESET}` : "";
+	const blocked = counts.blocked > 0 ? `${dim} · ${RESET}${warning}${counts.blocked} ↑${RESET}` : "";
+	return ` ${mauve}▾${RESET}  ${muted}${total} background${RESET}${dim} · ${RESET}${warning}${active} ●${RESET}${paused}${quit}${blocked}`;
 }
 
 function plainCollapsed(counts: RunCounts): string {
-  const total = counts.active + counts.paused + counts.quit + counts.done + counts.blocked + counts.failed;
-  const paused = counts.paused > 0 ? ` · ${counts.paused} ❚❚` : "";
-  const quit = counts.quit > 0 ? ` · ${counts.quit} quit` : "";
-  const blocked = counts.blocked > 0 ? ` · ${counts.blocked} ↑` : "";
-  return ` ▾  ${total} background · ${counts.active} ●${paused}${quit}${blocked}`;
+	const total = counts.active + counts.paused + counts.quit + counts.done + counts.blocked + counts.failed;
+	const paused = counts.paused > 0 ? ` · ${counts.paused} ❚❚` : "";
+	const quit = counts.quit > 0 ? ` · ${counts.quit} quit` : "";
+	const blocked = counts.blocked > 0 ? ` · ${counts.blocked} ↑` : "";
+	return ` ▾  ${total} background · ${counts.active} ●${paused}${quit}${blocked}`;
 }
 
 // ---------------------------------------------------------------------------
@@ -385,59 +363,61 @@ function plainCollapsed(counts: RunCounts): string {
  * consumers.
  */
 export function buildThemedWidgetLines(
-  snap: StoreSnapshot,
-  piTheme: PiTheme | undefined,
-  width = 120,
-  now = Date.now(),
+	snap: StoreSnapshot,
+	piTheme: PiTheme | undefined,
+	width = 120,
+	now = Date.now(),
 ): string[] {
-  const display = selectDisplayRuns(snap, now);
-  if (display.length === 0) return [];
-
-  const counts = countRuns(topLevelWorkflowRuns(snap.runs), snap.runs);
-  // Active + recently-ended dominate the badge counts so a finished run
-  // visually persists for a beat before dropping off.
-  const visibleCounts: RunCounts = {
-    active: display.filter((r) => r.endedAt === undefined && effectiveRunStatus(r) === "running").length,
-    paused: display.filter((r) => r.endedAt === undefined && effectiveRunStatus(r) === "paused" && !isQuitRun(r)).length,
-    quit: display.filter(isQuitRun).length,
-    done: display.filter((r) => r.endedAt !== undefined && ["completed", "skipped", "cancelled"].includes(effectiveRunStatus(r))).length,
-    blocked: display.filter((r) => effectiveRunStatus(r) === "blocked").length,
-    failed: display.filter((r) => r.endedAt !== undefined && ["failed", "killed"].includes(effectiveRunStatus(r))).length,
-    awaiting: counts.awaiting,
-  };
-
-  const themed = piTheme !== undefined;
-  const graphTheme = deriveGraphTheme({});
-
-  // Collapsed single-line form for narrow terminals.
-  if (width < COLLAPSED_BREAKPOINT_COLS) {
-    return [themed ? themedCollapsed(visibleCounts, graphTheme) : plainCollapsed(visibleCounts)];
-  }
-
-  const total = counts.active + counts.paused + counts.quit + counts.done + counts.blocked + counts.failed;
-  const subtitle = `${total} run${total === 1 ? "" : "s"}`;
-
-  const badgeList = countBadges(visibleCounts, graphTheme);
-  const badges = formatTitleBadges(badgeList, graphTheme, themed);
-  const title = `BACKGROUND  ${subtitle}${badges ? `  ${badges}` : ""}`;
-  const body: string[] = [];
-
-  for (let i = 0; i < display.length; i++) {
-    const run = display[i]!;
-    const runLines = themed
-      ? themedRunLines(run, now, graphTheme)
-      : plainRunLines(run, now);
-    body.push(...runLines);
-    if (i < display.length - 1) body.push("");
-  }
-
-  return renderRoundedBoxLines({
-    title,
-    bodyLines: body,
-    accent: themed ? graphTheme.border : undefined,
-    theme: themed ? graphTheme : undefined,
-    width,
-  });
+	const display = selectDisplayRuns(snap, now);
+	if (display.length === 0) return [];
+
+	const counts = countRuns(topLevelWorkflowRuns(snap.runs), snap.runs);
+	// Active + recently-ended dominate the badge counts so a finished run
+	// visually persists for a beat before dropping off.
+	const visibleCounts: RunCounts = {
+		active: display.filter((r) => r.endedAt === undefined && effectiveRunStatus(r) === "running").length,
+		paused: display.filter((r) => r.endedAt === undefined && effectiveRunStatus(r) === "paused" && !isQuitRun(r))
+			.length,
+		quit: display.filter(isQuitRun).length,
+		done: display.filter(
+			(r) => r.endedAt !== undefined && ["completed", "skipped", "cancelled"].includes(effectiveRunStatus(r)),
+		).length,
+		blocked: display.filter((r) => effectiveRunStatus(r) === "blocked").length,
+		failed: display.filter((r) => r.endedAt !== undefined && ["failed", "killed"].includes(effectiveRunStatus(r)))
+			.length,
+		awaiting: counts.awaiting,
+	};
+
+	const themed = piTheme !== undefined;
+	const graphTheme = deriveGraphTheme({});
+
+	// Collapsed single-line form for narrow terminals.
+	if (width < COLLAPSED_BREAKPOINT_COLS) {
+		return [themed ? themedCollapsed(visibleCounts, graphTheme) : plainCollapsed(visibleCounts)];
+	}
+
+	const total = counts.active + counts.paused + counts.quit + counts.done + counts.blocked + counts.failed;
+	const subtitle = `${total} run${total === 1 ? "" : "s"}`;
+
+	const badgeList = countBadges(visibleCounts, graphTheme);
+	const badges = formatTitleBadges(badgeList, graphTheme, themed);
+	const title = `BACKGROUND  ${subtitle}${badges ? `  ${badges}` : ""}`;
+	const body: string[] = [];
+
+	for (let i = 0; i < display.length; i++) {
+		const run = display[i]!;
+		const runLines = themed ? themedRunLines(run, now, graphTheme) : plainRunLines(run, now);
+		body.push(...runLines);
+		if (i < display.length - 1) body.push("");
+	}
+
+	return renderRoundedBoxLines({
+		title,
+		bodyLines: body,
+		accent: themed ? graphTheme.border : undefined,
+		theme: themed ? graphTheme : undefined,
+		width,
+	});
 }
 
 /**
@@ -445,5 +425,5 @@ export function buildThemedWidgetLines(
  * Equivalent to `buildThemedWidgetLines(snap, undefined, width)`.
  */
 export function renderWidgetLines(snap: StoreSnapshot, width = 120): string[] {
-  return buildThemedWidgetLines(snap, undefined, width);
+	return buildThemedWidgetLines(snap, undefined, width);
 }