@nemus-cli/nemus 0.2.1

package/dist/pi-extensions/workspace-input-status.ts.template

@@ -0,0 +1,919 @@
+/**
+ * Workspace input status — Claude-Code-style layout (auto-generated by workspace-manager)
+ *
+ * Layout (matching the Claude Code reference):
+ *
+ *   ──────────────────────────[ workspace-name ]──────       ← editor top border
+ *   │ > _                                            │       ← input box
+ *   ──────────────────────────────────────────────────       ← editor bottom border
+ *    ⠋  ✦ sonnet-4-6  ⚡ high  📂 ws:foo (3)  🧠 24k/200k 34%  💰 $0.42  ⏱ 2m 5s
+ *
+ *      REPO                            BRANCH                  PR             DIRTY
+ *      workspace-manager-fix-…         feat/oauth              #41 open  ✓
+ *    ▸ workspace-manager-security      security/x              #45 draft       *2
+ *
+ *   [pi's default footer renders below — untouched]
+ *
+ * Design choices:
+ * - Workspace name lives in the editor's top border (Claude-Code style "tag")
+ * - Status line + table sit BELOW the editor (user request)
+ * - Thinking level visible (`⚡ high`)
+ * - Column headers visible in `muted` (not `dim`) for legibility
+ * - Icons rendered uncolored (emojis show native colors), text rendered in
+ *   semantic theme colors — no inverse/bg surprises
+ * - Column widths computed on plain text; OSC 8 + colors applied AFTER pad
+ *
+ * Filter: only repos with PR AND not on default branch. /wsrepos toggles full.
+ *
+ * Commands: /wsrepos /wsrefresh /wsopen
+ */
+
+import type { AssistantMessage } from "@earendil-works/pi-ai";
+import { existsSync, readFileSync } from "node:fs";
+import { homedir } from "node:os";
+import { dirname, join } from "node:path";
+import {
+	CustomEditor,
+	type ExtensionAPI,
+	type ExtensionContext,
+	type KeybindingsManager,
+} from "@earendil-works/pi-coding-agent";
+import type { EditorTheme, TUI } from "@earendil-works/pi-tui";
+import { truncateToWidth, visibleWidth } from "@earendil-works/pi-tui";
+
+// ─── Glyphs ─────────────────────────────────────────────────────────────────
+// Status line uses universal emojis (work in all terminals & don't fight ANSI fg).
+const G = {
+	model: "✦",
+	thinking: "⚡",
+	workspace: "📂",
+	folder: "📁",
+	context: "🧠",
+	cost: "💰",
+	clock: "⏱",
+	branch: "🌿",
+	activeMark: "▸",
+	// Repo table uses gh-dash-style Nerd Font glyphs for crisp PR/CI states.
+	prOpen: "", //        nf-cod-git_pull_request
+	prClosed: "", //      nf-cod-git_pull_request_closed
+	prMerged: "", //      nf-oct-git_merge
+	prDraft: "", //       nf-oct-git_pull_request_draft
+	ciOk: "✓",
+	ciFail: "✗",
+	ciPending: "◌",
+	commentIcon: "",
+	dirty: "*",
+	ahead: "↑",
+	behind: "↓",
+};
+
+const DEFAULT_BRANCHES = new Set([
+	"main",
+	"master",
+	"develop",
+	"production",
+	"trunk",
+]);
+
+// ─── Workspace metadata ─────────────────────────────────────────────────────
+type WorkspaceRepoMeta = {
+	name: string;
+	directoryName: string;
+	owner: string;
+	cloneUrl?: string;
+};
+
+type Workspace = {
+	workspaceName: string;
+	root: string;
+	repositories: WorkspaceRepoMeta[];
+};
+
+function findWorkspace(cwd: string): Workspace | undefined {
+	let dir = cwd;
+	for (let i = 0; i < 12; i++) {
+		const meta = join(dir, ".workspace-meta.json");
+		if (existsSync(meta)) {
+			try {
+				const data = JSON.parse(readFileSync(meta, "utf8")) as {
+					workspaceName?: string;
+					repositories?: WorkspaceRepoMeta[];
+				};
+				if (data.workspaceName && Array.isArray(data.repositories)) {
+					return {
+						workspaceName: data.workspaceName,
+						root: dir,
+						repositories: data.repositories,
+					};
+				}
+			} catch {
+				/* ignore malformed file */
+			}
+		}
+		const parent = dirname(dir);
+		if (parent === dir) break;
+		dir = parent;
+	}
+	return undefined;
+}
+
+// ─── Helpers ────────────────────────────────────────────────────────────────
+function abbreviatePath(cwd: string): string {
+	const home = homedir();
+	let path = cwd;
+	if (path === home) return "~";
+	if (path.startsWith(`${home}/`)) path = `~${path.slice(home.length)}`;
+	const parts = path.split("/");
+	if (parts.length > 4) {
+		return [parts[0], "…", parts[parts.length - 2], parts[parts.length - 1]].join(
+			"/",
+		);
+	}
+	return path;
+}
+
+function shortModel(id: string | undefined): string {
+	if (!id) return "no model";
+	const tail = id.split(".").pop() ?? id;
+	return tail.replace(/^claude-/, "").replace(/-v\d+$/, "");
+}
+
+function osc8(url: string, text: string): string {
+	return `\x1b]8;;${url}\x1b\\${text}\x1b]8;;\x1b\\`;
+}
+
+function formatDuration(ms: number): string {
+	const s = Math.floor(ms / 1000);
+	const h = Math.floor(s / 3600);
+	const m = Math.floor((s % 3600) / 60);
+	if (h > 0) return `${h}h ${m}m`;
+	if (m > 0) return `${m}m`;
+	return `${s}s`;
+}
+
+function fmtTokens(n: number): string {
+	if (n >= 1000) return `${(n / 1000).toFixed(1)}k`;
+	return String(n);
+}
+
+type ThemeApi = {
+	fg: (color: string, text: string) => string;
+	bg: (color: string, text: string) => string;
+	bold: (text: string) => string;
+	getBgAnsi: (color: string) => string;
+};
+
+function sessionStats(ctx: ExtensionContext): {
+	input: number;
+	output: number;
+	cost: number;
+} {
+	let input = 0;
+	let output = 0;
+	let cost = 0;
+	for (const e of ctx.sessionManager.getBranch()) {
+		if (e.type === "message" && e.message.role === "assistant") {
+			const m = e.message as AssistantMessage;
+			input += m.usage.input ?? 0;
+			output += m.usage.output ?? 0;
+			cost += m.usage.cost?.total ?? 0;
+		}
+	}
+	return { input, output, cost };
+}
+
+/** Render a small "[ tag ]" pill on the editor's top border. */
+function topBorderTag(theme: ThemeApi, label: string): string {
+	const fgKey = "borderAccent"; // pink in dracula → matches CC tag color
+	const bgKey = "selectedBg"; // currentLine in dracula → subtle frame
+	const bgAnsi = theme.getBgAnsi(bgKey);
+	const edgeFg = bgAnsi.replace(/\x1b\[48;/, "\x1b[38;");
+	const fgReset = "\x1b[39m";
+	const body = theme.bg(bgKey, ` ${theme.bold(theme.fg(fgKey, label))} `);
+	return `${edgeFg}\uE0B6${fgReset}${body}${edgeFg}\uE0B4${fgReset}`;
+}
+
+/** Place left- and right-aligned content on a horizontal border line. */
+function fitBorder(
+	left: string,
+	right: string,
+	width: number,
+	border: (text: string) => string,
+): string {
+	if (width <= 0) return "";
+	if (width === 1) return border("─");
+	let leftText = left;
+	let rightText = right;
+	const fixed = 2;
+	const minGap = 1;
+	while (
+		fixed + visibleWidth(leftText) + visibleWidth(rightText) + minGap > width &&
+		visibleWidth(rightText) > 0
+	) {
+		rightText = truncateToWidth(rightText, Math.max(0, visibleWidth(rightText) - 1), "");
+	}
+	while (
+		fixed + visibleWidth(leftText) + visibleWidth(rightText) + minGap > width &&
+		visibleWidth(leftText) > 0
+	) {
+		leftText = truncateToWidth(leftText, Math.max(0, visibleWidth(leftText) - 1), "");
+	}
+	const gap = Math.max(
+		0,
+		width - fixed - visibleWidth(leftText) - visibleWidth(rightText),
+	);
+	return `${border("─")}${leftText}${border("─".repeat(gap))}${rightText}${border("─")}`;
+}
+
+// ─── Repo state ─────────────────────────────────────────────────────────────
+type CIStatus = "success" | "failure" | "pending" | "none";
+
+type PR = {
+	number: number;
+	url: string;
+	state: "OPEN" | "MERGED" | "CLOSED";
+	isDraft: boolean;
+	commentCount: number;
+	ci: CIStatus;
+};
+
+type RepoState = WorkspaceRepoMeta & {
+	branch?: string;
+	branchUrl?: string;
+	pr?: PR;
+	dirty: number;
+	ahead: number;
+	behind: number;
+	loading: boolean;
+};
+
+// ─── Extension ──────────────────────────────────────────────────────────────
+export default function (pi: ExtensionAPI) {
+	let isWorking = false;
+	let isShutdown = false; // set on session_shutdown to guard stale pi.exec() calls
+	let hasUiSession = false; // true only inside an interactive TUI session — gates ALL reactive work (agent_start/agent_end refreshes, timers)
+	let spinnerIdx = 0;
+	let spinnerTimer: ReturnType<typeof setInterval> | undefined;
+	let activeTui: TUI | undefined;
+	const spinnerFrames = ["⠋", "⠙", "⠹", "⠸", "⠼", "⠴", "⠦", "⠧", "⠇", "⠏"];
+
+	const stopSpinner = () => {
+		if (spinnerTimer) {
+			clearInterval(spinnerTimer);
+			spinnerTimer = undefined;
+		}
+	};
+
+	let workspace: Workspace | undefined;
+	let repoStates: RepoState[] = [];
+	let showOnlyInteresting = true;
+	let cwd = process.cwd();
+	let currentBranch: string | undefined;
+	let currentBranchDirty = 0;
+	let sessionStartedAt = Date.now();
+	let sessionTickTimer: ReturnType<typeof setInterval> | undefined;
+
+	async function getAheadBehind(
+		dir: string,
+	): Promise<{ ahead: number; behind: number }> {
+		for (const ref of ["origin/HEAD", "origin/main", "origin/master"]) {
+			const r = await pi
+				.exec(
+					"git",
+					["rev-list", "--left-right", "--count", `${ref}...HEAD`],
+					{ cwd: dir, timeout: 3000 },
+				)
+				.catch(() => undefined);
+			if (r?.code === 0) {
+				const [behindStr, aheadStr] = r.stdout.trim().split(/\s+/);
+				const behind = Number(behindStr ?? 0);
+				const ahead = Number(aheadStr ?? 0);
+				if (Number.isFinite(behind) && Number.isFinite(ahead))
+					return { ahead, behind };
+			}
+		}
+		return { ahead: 0, behind: 0 };
+	}
+
+	async function getRepoWebUrl(dir: string): Promise<string | undefined> {
+		const r = await pi
+			.exec("git", ["remote", "get-url", "origin"], { cwd: dir, timeout: 2000 })
+			.catch(() => undefined);
+		if (r?.code !== 0) return undefined;
+		let url = r.stdout.trim();
+		if (url.startsWith("git@")) {
+			const [host, path] = url.slice(4).split(":", 2);
+			url = `https://${host}/${path}`;
+		}
+		if (url.endsWith(".git")) url = url.slice(0, -4);
+		return url;
+	}
+
+	function rollupCi(rollup: unknown): CIStatus {
+		if (!Array.isArray(rollup) || rollup.length === 0) return "none";
+		let hasFail = false;
+		let hasPending = false;
+		for (const c of rollup as Array<Record<string, unknown>>) {
+			const state =
+				(c.state as string) ||
+				(c.conclusion as string) ||
+				(c.status as string) ||
+				"";
+			const s = state.toUpperCase();
+			if (s === "FAILURE" || s === "TIMED_OUT" || s === "CANCELLED" || s === "ERROR")
+				hasFail = true;
+			else if (
+				s === "PENDING" ||
+				s === "IN_PROGRESS" ||
+				s === "QUEUED" ||
+				s === "" ||
+				s === "EXPECTED"
+			)
+				hasPending = true;
+		}
+		if (hasFail) return "failure";
+		if (hasPending) return "pending";
+		return "success";
+	}
+
+	async function refreshRepo(state: RepoState): Promise<void> {
+		if (isShutdown || !workspace) return;
+		const dir = join(workspace.root, state.directoryName);
+		state.loading = true;
+		try {
+			const branchRes = await pi
+				.exec("git", ["branch", "--show-current"], { cwd: dir, timeout: 3000 })
+				.catch(() => undefined);
+			const branch = branchRes?.stdout.trim();
+			state.branch = branch && branch.length > 0 ? branch : undefined;
+			state.pr = undefined;
+
+			const [statusRes, ab, repoUrl, prRes] = await Promise.all([
+				pi
+					.exec("git", ["status", "--porcelain"], { cwd: dir, timeout: 3000 })
+					.catch(() => undefined),
+				getAheadBehind(dir),
+				getRepoWebUrl(dir),
+				state.branch
+					? pi
+							.exec(
+								"gh",
+								[
+									"pr",
+									"list",
+									"--head",
+									state.branch,
+									"--state",
+									"all",
+									"--json",
+									"number,url,state,isDraft,statusCheckRollup,comments",
+									"--limit",
+									"1",
+								],
+								{ cwd: dir, timeout: 8000 },
+							)
+							.catch(() => undefined)
+					: Promise.resolve(undefined),
+			]);
+
+			state.dirty = statusRes?.stdout
+				? statusRes.stdout
+						.split("\n")
+						.filter((l: string) => l.trim().length > 0).length
+				: 0;
+			state.ahead = ab.ahead;
+			state.behind = ab.behind;
+			state.branchUrl =
+				repoUrl && state.branch ? `${repoUrl}/tree/${state.branch}` : undefined;
+
+			if (prRes?.code === 0 && prRes.stdout.trim()) {
+				try {
+					const arr = JSON.parse(prRes.stdout) as Array<{
+						number: number;
+						url: string;
+						state: PR["state"];
+						isDraft: boolean;
+						statusCheckRollup?: unknown;
+						comments?: unknown;
+					}>;
+					if (arr.length > 0) {
+						const raw = arr[0];
+						state.pr = {
+							number: raw.number,
+							url: raw.url,
+							state: raw.state,
+							isDraft: raw.isDraft,
+							ci: rollupCi(raw.statusCheckRollup),
+							commentCount: Array.isArray(raw.comments)
+								? raw.comments.length
+								: 0,
+						};
+					}
+				} catch {
+					/* ignore */
+				}
+			}
+		} finally {
+			state.loading = false;
+			activeTui?.requestRender();
+		}
+	}
+
+	async function refreshAllRepos(): Promise<void> {
+		if (!workspace) return;
+		await Promise.all(repoStates.map(refreshRepo));
+	}
+
+	async function refreshCurrentBranchInfo(): Promise<void> {
+		if (isShutdown) return;
+		const r = await pi
+			.exec("git", ["branch", "--show-current"], { cwd, timeout: 3000 })
+			.catch(() => undefined);
+		const b = r?.stdout.trim();
+		currentBranch = b && b.length > 0 ? b : undefined;
+
+		const s = await pi
+			.exec("git", ["status", "--porcelain"], { cwd, timeout: 3000 })
+			.catch(() => undefined);
+		currentBranchDirty = s?.stdout
+			? s.stdout.split("\n").filter((l: string) => l.trim().length > 0).length
+			: 0;
+		activeTui?.requestRender();
+	}
+
+	pi.on("agent_start", () => {
+		if (!hasUiSession) return;
+		isWorking = true;
+		stopSpinner();
+		spinnerTimer = setInterval(() => {
+			spinnerIdx = (spinnerIdx + 1) % spinnerFrames.length;
+			activeTui?.requestRender();
+		}, 80);
+		activeTui?.requestRender();
+	});
+
+	pi.on("agent_end", () => {
+		if (!hasUiSession) return;
+		isWorking = false;
+		stopSpinner();
+		activeTui?.requestRender();
+		void refreshAllRepos();
+		void refreshCurrentBranchInfo();
+	});
+
+	pi.on("session_shutdown", () => {
+		isShutdown = true;
+		hasUiSession = false;
+		stopSpinner();
+		if (sessionTickTimer) {
+			clearInterval(sessionTickTimer);
+			sessionTickTimer = undefined;
+		}
+		activeTui = undefined;
+	});
+
+	pi.registerCommand("wsrepos", {
+		description: "Toggle workspace repo widget: filtered ↔ full",
+		handler: async (_args, ctx) => {
+			showOnlyInteresting = !showOnlyInteresting;
+			activeTui?.requestRender();
+			ctx.ui.notify(
+				`Workspace widget: ${showOnlyInteresting ? "filtered (PR + non-default)" : "full"}`,
+				"info",
+			);
+		},
+	});
+
+	pi.registerCommand("wsrefresh", {
+		description: "Refresh workspace repo branches/PRs",
+		handler: async (_args, ctx) => {
+			ctx.ui.notify("Refreshing…", "info");
+			await Promise.all([refreshAllRepos(), refreshCurrentBranchInfo()]);
+			ctx.ui.notify("Refreshed", "info");
+		},
+	});
+
+	pi.registerCommand("wsopen", {
+		description: "Open a repo's PR (or branch) in browser. Usage: /wsopen [repo]",
+		handler: async (args, ctx) => {
+			if (!workspace) {
+				ctx.ui.notify("Not in a workspace", "warning");
+				return;
+			}
+			const query = (args ?? "").trim();
+			let target: RepoState | undefined;
+			if (!query) {
+				target = repoStates.find((r) => {
+					const p = join(workspace!.root, r.directoryName);
+					return cwd === p || cwd.startsWith(`${p}/`);
+				});
+				if (!target) {
+					ctx.ui.notify(
+						"Not inside a specific repo. Try: /wsopen <name>",
+						"warning",
+					);
+					return;
+				}
+			} else {
+				const q = query.toLowerCase();
+				target =
+					repoStates.find((r) => r.directoryName.toLowerCase() === q) ||
+					repoStates.find((r) => r.directoryName.toLowerCase().startsWith(q)) ||
+					repoStates.find((r) => r.directoryName.toLowerCase().includes(q));
+			}
+			if (!target) {
+				ctx.ui.notify(`No matching repo for "${query}"`, "warning");
+				return;
+			}
+			let url: string;
+			let kind: string;
+			if (target.pr) {
+				url = target.pr.url;
+				kind = `PR #${target.pr.number}`;
+			} else if (target.branchUrl) {
+				url = target.branchUrl;
+				kind = `branch ${target.branch}`;
+			} else {
+				url = `https://github.com/${target.owner}/${target.name}`;
+				kind = "repo";
+			}
+			const opener =
+				process.platform === "darwin"
+					? "open"
+					: process.platform === "win32"
+						? "start"
+						: "xdg-open";
+			const r = await pi
+				.exec(opener, [url], { timeout: 3000 })
+				.catch(() => ({ code: -1, stdout: "", stderr: "", killed: false }));
+			if (r.code === 0)
+				ctx.ui.notify(`Opened ${target.directoryName}: ${kind}`, "info");
+			else ctx.ui.notify(`Could not open ${url}`, "error");
+		},
+	});
+
+	pi.on("session_start", (_event, ctx) => {
+		// Skip the entire widget setup in non-TUI modes (pi -p, JSON mode, RPC).
+		// Without this, async refreshes launched below (refreshCurrentBranchInfo,
+		// refreshAllRepos) would still be in flight when the print-mode runtime
+		// tears down, causing pi.exec() to throw "extension ctx is stale" and
+		// crash the whole pi -p process. There is also no UI to render to in
+		// these modes, so the work is wasted.
+		if (!ctx.hasUI) return;
+		hasUiSession = true;
+
+		cwd = ctx.cwd;
+		workspace = findWorkspace(cwd);
+		repoStates = workspace
+			? workspace.repositories.map((r) => ({
+					...r,
+					loading: true,
+					dirty: 0,
+					ahead: 0,
+					behind: 0,
+				}))
+			: [];
+
+		sessionStartedAt = Date.now();
+		if (sessionTickTimer) clearInterval(sessionTickTimer);
+		sessionTickTimer = setInterval(() => activeTui?.requestRender(), 30_000);
+
+		void refreshCurrentBranchInfo();
+		void refreshAllRepos();
+
+		// ─── Custom editor: workspace pill on top border ──────────────────────
+		class BorderEditor extends CustomEditor {
+			constructor(tui: TUI, theme: EditorTheme, keybindings: KeybindingsManager) {
+				super(tui, theme, keybindings, { paddingX: 0 });
+				activeTui = tui;
+			}
+
+			render(width: number): string[] {
+				const lines = super.render(width);
+				if (lines.length < 2 || !workspace) return lines;
+				const thm = ctx.ui.theme as unknown as ThemeApi;
+				const borderColor = (text: string) => this.borderColor(text);
+
+				const tag = topBorderTag(thm, workspace.workspaceName);
+				lines[0] = fitBorder("", tag, width, borderColor);
+
+				// Safety: PowerLine glyphs (\uE0B6/\uE0B4) may have uncertain
+				// rendered width. Truncate every line to terminal width so Pi
+				// never crashes on resize.
+				return lines.map((line) =>
+					visibleWidth(line) > width
+						? truncateToWidth(line, width, "")
+						: line
+				);
+			}
+		}
+
+		ctx.ui.setEditorComponent(
+			(tui, theme, keybindings) => new BorderEditor(tui, theme, keybindings),
+		);
+
+		// ─── BELOW-EDITOR widget: status line + table ─────────────────────────
+		ctx.ui.setWidget(
+			"workspace-input-status",
+			(tui) => {
+				activeTui = tui;
+				return {
+					render(width: number): string[] {
+						const thm = ctx.ui.theme as unknown as ThemeApi;
+						const raw: string[] = [];
+
+						raw.push(renderStatusLine(thm, ctx));
+
+						if (workspace && workspace.repositories.length > 0) {
+							raw.push("");
+							raw.push(...renderRepoTable(thm, width));
+						}
+
+						// Guarantee every line fits within the terminal width.
+						// Pi will crash with an uncaughtException if any line
+						// exceeds the available width.
+						return raw.map((line) =>
+							visibleWidth(line) > width
+								? truncateToWidth(line, width, "")
+								: line
+						);
+					},
+					invalidate(): void {},
+				};
+			},
+			{ placement: "belowEditor" },
+		);
+	});
+
+	// ─── Renderers ──────────────────────────────────────────────────────────
+	function renderStatusLine(thm: ThemeApi, ctx: ExtensionContext): string {
+		// Each segment: an emoji icon (rendered uncolored — emojis paint themselves)
+		// followed by the styled text.
+		const segs: string[] = [];
+
+		if (isWorking) {
+			segs.push(thm.fg("accent", spinnerFrames[spinnerIdx]));
+		}
+
+		// Model
+		segs.push(
+			`${G.model} ${thm.bold(thm.fg("borderAccent", shortModel(ctx.model?.id)))}`,
+		);
+
+		// Thinking
+		const thinking = pi.getThinkingLevel();
+		const thinkingLabel = thinking === "off" ? "off" : thinking;
+		const thinkColor =
+			thinking === "xhigh" || thinking === "high"
+				? "warning"
+				: thinking === "off"
+					? "dim"
+					: "muted";
+		segs.push(`${G.thinking} ${thm.fg(thinkColor, thinkingLabel)}`);
+
+		// Workspace OR path
+		if (workspace) {
+			const repoCount = workspace.repositories.length;
+			// Make the workspace name an OSC 8 hyperlink to its on-disk root, so
+			// clicking (cmd/ctrl-click in most terminals) opens the folder in Finder.
+			// encodeURI keeps the path separators but escapes spaces etc.; an empty
+			// host (file:///abs/path) is the portable form terminals open locally.
+			const wsLabel = thm.bold(
+				thm.fg("border", `ws:${workspace.workspaceName}`),
+			);
+			const wsLinked = osc8(`file://${encodeURI(workspace.root)}`, wsLabel);
+			segs.push(
+				`${G.workspace} ${wsLinked} ${thm.fg("dim", `(${repoCount})`)}`,
+			);
+		} else {
+			segs.push(`${G.folder} ${thm.fg("text", abbreviatePath(cwd))}`);
+		}
+
+		// Context
+		const usage = ctx.getContextUsage();
+		const pct = usage?.percent ?? null;
+		const window = usage?.contextWindow ?? ctx.model?.contextWindow ?? null;
+		if (pct !== null && window) {
+			const colorKey = pct < 50 ? "success" : pct < 80 ? "warning" : "error";
+			const used = fmtTokens(usage?.input ?? 0);
+			const max = fmtTokens(window);
+			segs.push(
+				`${G.context} ${thm.fg("muted", `${used}/${max}`)} ${thm.fg(colorKey, `${Math.round(pct)}%`)}`,
+			);
+		}
+
+		// Cost
+		const stats = sessionStats(ctx);
+		if (stats.cost > 0) {
+			segs.push(`${G.cost} ${thm.fg("success", `$${stats.cost.toFixed(2)}`)}`);
+		}
+
+		// Duration
+		segs.push(
+			`${G.clock} ${thm.fg("muted", formatDuration(Date.now() - sessionStartedAt))}`,
+		);
+
+		// Outside a workspace, surface current branch + dirty inline
+		if (!workspace && currentBranch) {
+			let s = `${G.branch} ${thm.fg("borderAccent", currentBranch)}`;
+			if (currentBranchDirty > 0)
+				s += ` ${thm.fg("error", `*${currentBranchDirty}`)}`;
+			segs.push(s);
+		}
+
+		return ` ${segs.join("  ")}`;
+	}
+
+	function renderRepoTable(thm: ThemeApi, maxWidth = 0): string[] {
+		if (!workspace) return [];
+
+		// Visibility filter: PR + non-default branch (toggle with /wsrepos)
+		const interesting = repoStates.filter((r) => {
+			if (r.loading && !r.branch) return true;
+			if (!r.branch) return false;
+			if (DEFAULT_BRANCHES.has(r.branch)) return false;
+			return !!r.pr;
+		});
+		const visible = showOnlyInteresting ? interesting : repoStates;
+
+		// Plain text builders for column width measurement
+		const trackingPlain = (r: RepoState): string => {
+			const parts: string[] = [];
+			if (r.behind > 0) parts.push(`${G.behind}${r.behind}`);
+			if (r.ahead > 0) parts.push(`${G.ahead}${r.ahead}`);
+			return parts.length > 0 ? `  ${parts.join(" ")}` : "";
+		};
+		const branchPlain = (r: RepoState): string =>
+			!r.branch ? "—" : `${r.branch}${trackingPlain(r)}`;
+		const prPlain = (r: RepoState): string => {
+			if (r.loading && !r.pr) return "…";
+			if (!r.pr) return r.branch ? "—" : "";
+			const stateLabel = r.pr.isDraft
+				? "draft"
+				: r.pr.state === "OPEN"
+					? "open"
+					: r.pr.state.toLowerCase();
+			const stateIcon = r.pr.isDraft
+				? G.prDraft
+				: r.pr.state === "MERGED"
+					? G.prMerged
+					: r.pr.state === "CLOSED"
+						? G.prClosed
+						: G.prOpen;
+			const ci =
+				r.pr.ci === "success"
+					? `  ${G.ciOk}`
+					: r.pr.ci === "failure"
+						? `  ${G.ciFail}`
+						: r.pr.ci === "pending"
+							? `  ${G.ciPending}`
+							: "";
+			const comments =
+				r.pr.commentCount > 0 ? `  ${G.commentIcon} ${r.pr.commentCount}` : "";
+			return `${stateIcon} #${r.pr.number} ${stateLabel}${ci}${comments}`;
+		};
+		const dirtyPlain = (r: RepoState): string =>
+			r.dirty > 0 ? `${G.dirty}${r.dirty}` : "";
+
+		// Headers (same width logic, treated as plain text)
+		const headers = { repo: "REPO", branch: "BRANCH", pr: "PR", dirty: "DIRTY" };
+
+		const repoW = Math.max(
+			headers.repo.length,
+			...visible.map((r) => r.directoryName.length),
+			14,
+		);
+		const branchW = Math.max(
+			headers.branch.length,
+			...visible.map((r) => visibleWidth(branchPlain(r))),
+			8,
+		);
+		const prW = Math.max(
+			headers.pr.length,
+			...visible.map((r) => visibleWidth(prPlain(r))),
+			8,
+		);
+		const dirtyW = Math.max(
+			headers.dirty.length,
+			...visible.map((r) => dirtyPlain(r).length),
+			0,
+		);
+
+		// Header line — using `muted` (not `dim`) so it's actually visible
+		const headerLine =
+			"  " +
+			[
+				thm.fg("muted", padRightPlain(headers.repo, repoW)),
+				thm.fg("muted", padRightPlain(headers.branch, branchW)),
+				thm.fg("muted", padRightPlain(headers.pr, prW)),
+				thm.fg("muted", padRightPlain(headers.dirty, dirtyW)),
+			].join("  ");
+
+		if (visible.length === 0) {
+			return [
+				headerLine,
+				`  ${thm.fg("dim", "no repos with open PRs (use /wsrepos to show all)")}`,
+			];
+		}
+
+		const rows = visible.map((r) => {
+			const repoFullPath = join(workspace!.root, r.directoryName);
+			const isCurrent =
+				cwd === repoFullPath || cwd.startsWith(`${repoFullPath}/`);
+
+			// 2-cell active marker
+			const marker = isCurrent ? `${thm.fg("accent", G.activeMark)} ` : "  ";
+
+			// REPO column — pad based on plain length, style after
+			const repoPlain = truncatePlain(r.directoryName, repoW);
+			const repoStyled = isCurrent
+				? thm.bold(thm.fg("accent", repoPlain))
+				: thm.fg("mdLink", repoPlain);
+			const repoCell = repoStyled + " ".repeat(Math.max(0, repoW - repoPlain.length));
+
+			// BRANCH column
+			const branchPlainText = branchPlain(r);
+			let branchStyled: string;
+			if (!r.branch) {
+				branchStyled = thm.fg("dim", "—");
+			} else {
+				const onDefault = DEFAULT_BRANCHES.has(r.branch);
+				const nameStyled = onDefault
+					? thm.fg("muted", r.branch)
+					: thm.fg("borderAccent", r.branch);
+				const linked = r.branchUrl ? osc8(r.branchUrl, nameStyled) : nameStyled;
+				const tracking = trackingPlain(r);
+				const trackingStyled = tracking ? thm.fg("dim", tracking) : "";
+				branchStyled = `${linked}${trackingStyled}`;
+			}
+			const branchPad = " ".repeat(
+				Math.max(0, branchW - visibleWidth(branchPlainText)),
+			);
+			const branchCell = `${branchStyled}${branchPad}`;
+
+			// PR column
+			const prPlainText = prPlain(r);
+			let prStyled: string;
+			if (r.loading && !r.pr) {
+				prStyled = thm.fg("dim", "…");
+			} else if (!r.pr) {
+				prStyled = r.branch ? thm.fg("dim", "—") : "";
+			} else {
+				const { state, isDraft, number, url, ci, commentCount } = r.pr;
+				const stateIcon = isDraft
+					? G.prDraft
+					: state === "MERGED"
+						? G.prMerged
+						: state === "CLOSED"
+							? G.prClosed
+							: G.prOpen;
+				const stateColor = isDraft
+					? "muted"
+					: state === "MERGED"
+						? "accent"
+						: state === "CLOSED"
+							? "error"
+							: "success";
+				const stateLabel = isDraft ? "draft" : state.toLowerCase();
+				const head = `${stateIcon} ${thm.fg(stateColor, `#${number} ${stateLabel}`)}`;
+				const ciStyled =
+					ci === "success"
+						? `  ${thm.fg("success", G.ciOk)}`
+						: ci === "failure"
+							? `  ${thm.fg("error", G.ciFail)}`
+							: ci === "pending"
+								? `  ${thm.fg("warning", G.ciPending)}`
+								: "";
+				const commentBadge =
+					commentCount > 0
+						? `  ${thm.fg("muted", `${G.commentIcon} ${commentCount}`)}`
+						: "";
+				const inner = `${head}${ciStyled}${commentBadge}`;
+				prStyled = osc8(url, inner);
+			}
+			const prPad = " ".repeat(Math.max(0, prW - visibleWidth(prPlainText)));
+			const prCell = `${prStyled}${prPad}`;
+
+			// DIRTY column
+			const dirtyText = dirtyPlain(r);
+			const dirtyStyled = r.dirty > 0 ? thm.fg("error", dirtyText) : "";
+			const dirtyPad = " ".repeat(Math.max(0, dirtyW - dirtyText.length));
+			const dirtyCell = `${dirtyStyled}${dirtyPad}`;
+
+			return `${marker}${repoCell}  ${branchCell}  ${prCell}  ${dirtyCell}`.trimEnd();
+		});
+
+		return [headerLine, ...rows];
+		// Per-row truncation is handled by the widget's render() guard above.
+	}
+}
+
+function padRightPlain(text: string, width: number): string {
+	if (text.length >= width) return text;
+	return text + " ".repeat(width - text.length);
+}
+
+function truncatePlain(text: string, width: number): string {
+	if (text.length <= width) return text;
+	return `${text.slice(0, width - 1)}…`;
+}