@a-t-h-i/bot-lobby 0.6.13 → 0.6.15

package/src/lobby/mini.ts

@@ -1,167 +0,0 @@
-/**
- * The one-line status shown under pi's editor while the lobby is hidden: a
- * small graphic of where the work stands — the task's plan steps (or its stage
- * before there is a plan), the planning rounds, the quick fix in hand — or a
- * quiet "idle". Pure: everything it shows arrives as input.
- */
-import { truncateToWidth } from "@earendil-works/pi-tui";
-import type { AgentRun } from "../schemas/findings.ts";
-import type { Task, TaskState } from "../schemas/task.ts";
-import { planChecklist } from "../pi/plan-checklist.ts";
-import { agentName } from "../pi/run-summary.ts";
-import { paint, type LobbyTheme } from "./layout.ts";
-
-export interface MiniPlanning {
-  /** A round is running. */
-  busy: boolean;
-  /** The round in hand, and the limit (0 = unlimited). */
-  round: number;
-  limit: number;
-  /** Questions waiting for the user. */
-  questions: number;
-  /** The oracle's draft is ready to save. */
-  ready: boolean;
-  /** The plan was saved as a pending task. */
-  saved: boolean;
-}
-
-export interface MiniQuickFix {
-  title: string;
-  running: boolean;
-  queued: number;
-}
-
-export interface MiniInput {
-  task?: Task;
-  runs: readonly AgentRun[];
-  planning?: MiniPlanning;
-  quickfix?: MiniQuickFix;
-  /** The loopback web UI's link, while its server runs. */
-  webLink?: string;
-  /** The key that opens the lobby, as shown. */
-  key: string;
-}
-
-/** A full-workflow task's stages, in order, for the strip shown before its plan has steps. */
-const STAGES: readonly TaskState[] = ["clarifying", "scouting", "synthesizing", "awaiting_approval", "planning", "implementing", "reviewing"];
-
-/** Widest step bar; longer plans share its cells. */
-const MAX_CELLS = 12;
-
-/** `■■◐□□`: the plan's steps done, current and to do, squeezed into at most `MAX_CELLS` cells. */
-export function stepBar(statuses: readonly ("done" | "current" | "pending")[]): string {
-  if (statuses.length === 0) return "";
-  const cells = Math.min(statuses.length, MAX_CELLS);
-  const out: string[] = [];
-  for (let cell = 0; cell < cells; cell += 1) {
-    const from = Math.floor((cell * statuses.length) / cells);
-    const to = Math.max(from + 1, Math.floor(((cell + 1) * statuses.length) / cells));
-    const slice = statuses.slice(from, to);
-    out.push(slice.every((status) => status === "done") ? "■" : slice.some((status) => status === "current") ? "◐" : slice.some((status) => status === "done") ? "◐" : "□");
-  }
-  return out.join("");
-}
-
-/** `●●◐○○○○`: how far along the workflow a task without a plan yet is. */
-export function stageBar(state: TaskState): string {
-  const at = STAGES.indexOf(state);
-  if (at < 0) return "";
-  return STAGES.map((_stage, index) => (index < at ? "●" : index === at ? "◐" : "○")).join("");
-}
-
-/** `■■□□□` for `round` of `limit`, or empty without a limit. */
-function roundBar(round: number, limit: number): string {
-  if (limit <= 0) return "";
-  const done = Math.min(limit, Math.max(0, round));
-  return "■".repeat(done) + "□".repeat(limit - done);
-}
-
-const STATE_WORDS: Partial<Record<TaskState, string>> = {
-  awaiting_approval: "awaiting your approval",
-};
-
-function taskSegment(input: MiniInput, theme?: LobbyTheme): string | undefined {
-  const task = input.task;
-  if (!task || task.state === "completed" || task.state === "abandoned") return undefined;
-  const steps = task.plan ? planChecklist(task.plan, input.runs) : [];
-  const done = steps.filter((step) => step.status === "done").length;
-  const bar = steps.length > 0 ? `${stepBar(steps.map((step) => step.status))} ${done}/${steps.length}` : stageBar(task.state);
-  const state = task.paused ? `${task.state} (paused)` : STATE_WORDS[task.state] ?? task.state;
-  const running = [...input.runs].reverse().find((run) => run.status === "running");
-  const doing = running ? ` · ${agentName(running)}${running.activity ? ` ${running.activity}` : ""}` : "";
-  const alert = task.state === "awaiting_approval" || task.paused;
-  return `${paint(theme, "accent", task.id)} ${paint(theme, "success", bar)} ${paint(theme, alert ? "warning" : "muted", state)}${paint(theme, "dim", doing)}`;
-}
-
-function planningSegment(planning: MiniPlanning | undefined, theme?: LobbyTheme): string | undefined {
-  if (!planning || planning.saved) return undefined;
-  const rounds = roundBar(planning.round, planning.limit);
-  const head = `${paint(theme, "accent", "planning")} ${paint(theme, "success", rounds || `round ${planning.round}`)}${rounds ? paint(theme, "muted", ` ${planning.round}/${planning.limit}`) : ""}`;
-  if (planning.questions > 0) return `${head} ${paint(theme, "warning", `● ${planning.questions} question${planning.questions === 1 ? "" : "s"} for you`)}`;
-  if (planning.busy) return `${head} ${paint(theme, "muted", "the panel is thinking")}`;
-  if (planning.ready) return `${head} ${paint(theme, "success", "plan ready to save")}`;
-  return head;
-}
-
-function quickFixSegment(quickfix: MiniQuickFix | undefined, theme?: LobbyTheme): string | undefined {
-  if (!quickfix) return undefined;
-  const queued = quickfix.queued > 0 ? ` +${quickfix.queued} queued` : "";
-  return `${paint(theme, "accent", "quick fix")} ${paint(theme, "success", quickfix.running ? "◐" : "○")} ${paint(theme, "muted", quickfix.title)}${paint(theme, "dim", queued)}`;
-}
-
-/** The web link, while the server runs; pure: the link arrives as input. */
-function webSegment(link: string | undefined, theme?: LobbyTheme): string | undefined {
-  if (!link) return undefined;
-  return paint(theme, "dim", link);
-}
-
-/** The status line, at most `width` columns. */
-export function miniLine(input: MiniInput, width: number, theme?: LobbyTheme): string {
-  if (width < 12) return "";
-  const segments = [taskSegment(input, theme), planningSegment(input.planning, theme), quickFixSegment(input.quickfix, theme), webSegment(input.webLink, theme)].filter((segment): segment is string => Boolean(segment));
-  const body = segments.length > 0 ? segments.join(paint(theme, "dim", "  │  ")) : paint(theme, "dim", "idle");
-  const hint = paint(theme, "dim", `  ${input.key} opens`);
-  const line = ` ${paint(theme, "accent", "◆ bot-lobby")}  ${body}`;
-  return truncateToWidth(`${line}${hint}`, width, "…");
-}
-
-/** An agent at work right now, for the lobby's bottom-line indicator. */
-export interface WorkingAgent {
-  name: string;
-  activity?: string;
-  /** Epoch ms it started, for its elapsed time. */
-  since?: number;
-}
-
-/** The subagents running now: task runs still going, and the quick fix in hand. */
-export function workingAgents(runs: readonly AgentRun[], quickFix?: { startedAt?: number }): WorkingAgent[] {
-  const agents: WorkingAgent[] = [];
-  for (const run of runs) {
-    if (run.status !== "running") continue;
-    const since = Date.parse(run.startedAt);
-    agents.push({ name: agentName(run), ...(run.activity ? { activity: run.activity } : {}), ...(Number.isFinite(since) ? { since } : {}) });
-  }
-  if (quickFix) agents.push({ name: "QUICK FIX", ...(quickFix.startedAt ? { since: quickFix.startedAt } : {}) });
-  return agents;
-}
-
-function elapsed(ms: number): string {
-  const seconds = Math.max(0, Math.floor(ms / 1000));
-  return seconds < 60 ? `${seconds}s` : `${Math.floor(seconds / 60)}m`;
-}
-
-/**
- * `◐ DESIGN editing 2m · DEV running 40s`, at most `width` columns: it gives up
- * the activity and time, then the names, then shows only a count, and nothing
- * when even that does not fit or nothing is working. `spin` is the spinner glyph.
- */
-export function agentsIndicator(agents: readonly WorkingAgent[], now: number, spin: string, width: number, theme?: LobbyTheme): string {
-  if (agents.length === 0) return "";
-  const full = agents.map((agent) => `${agent.name}${agent.activity ? ` ${agent.activity}` : ""}${agent.since ? ` ${elapsed(now - agent.since)}` : ""}`).join(" · ");
-  const names = [...new Set(agents.map((agent) => agent.name))].join(" · ");
-  const count = `${agents.length} agent${agents.length === 1 ? "" : "s"} working`;
-  for (const text of [full, names, count]) {
-    if (text.length + 2 <= width) return `${paint(theme, "accent", spin)} ${paint(theme, "muted", text)}`;
-  }
-  return "";
-}

package/src/lobby/tabs/excalidraw.ts

@@ -1,95 +0,0 @@
-/**
- * The Excalidraw tab: the shared sessions the user has added (five at most),
- * on the left, and the picked one on the right — its link, whether agents may
- * draw in it, the last check of it, and every agent it can be assigned to as a
- * checklist. Assigned agents get the Excalidraw tools and join the room under
- * their own name.
- */
-import { AGENT_LABELS, EXCALIDRAW_AGENTS, MAX_SESSIONS, type ExcalidrawSession } from "../../excalidraw/sessions.ts";
-import { bold, columns, fill, paint, rule, selectRow, spinner, split, spread, windowStart, wrap, type LobbyTheme } from "../layout.ts";
-
-/** What the last check of a session found. */
-export interface SessionCheck {
-  ok: boolean;
-  text: string;
-}
-
-export interface ExcalidrawTabInput {
-  sessions: readonly ExcalidrawSession[];
-  selected: number;
-  focus: "list" | "detail";
-  /** The agent under the cursor in the checklist. */
-  agent: number;
-  checks: ReadonlyMap<string, SessionCheck>;
-  /** Ids of the sessions being checked now. */
-  checking: ReadonlySet<string>;
-  tick: number;
-}
-
-export const EXCALIDRAW_COLUMNS_MIN = 90;
-
-function agentCount(session: ExcalidrawSession): string {
-  const count = session.agents.length;
-  return count === 0 ? "no agents" : `${count} agent${count === 1 ? "" : "s"}`;
-}
-
-/** The sessions, the selected one in view. */
-export function sessionRows(input: ExcalidrawTabInput, width: number, height: number, theme?: LobbyTheme): string[] {
-  const rows = input.sessions.map((session, index) => {
-    const selected = index === input.selected;
-    const mark = input.checking.has(session.id) ? paint(theme, "accent", spinner(input.tick)) : input.checks.get(session.id)?.ok === false ? paint(theme, "warning", "!") : input.checks.has(session.id) ? paint(theme, "success", "✓") : " ";
-    const facts = paint(theme, session.agents.length > 0 ? "accent" : "dim", agentCount(session));
-    return selectRow(theme, spread(`${mark} ${selected ? bold(theme, session.name) : session.name}`, facts, width - 2), width, selected, input.focus === "list");
-  });
-  return rows.slice(windowStart(input.selected, rows.length, height), windowStart(input.selected, rows.length, height) + height);
-}
-
-function emptyLines(width: number, theme?: LobbyTheme): string[] {
-  return [
-    ...wrap(paint(theme, "dim", "No sessions yet. A session is a live Excalidraw room that you and your agents draw in together."), width),
-    "",
-    ...wrap(`${paint(theme, "accent", "a")}  add one: in Excalidraw, Share → Live collaboration → Start session, then paste the link`, width),
-    ...wrap(`${paint(theme, "accent", "n")}  or make a new room here and open its link in Excalidraw`, width),
-    "",
-    ...wrap(paint(theme, "dim", `Up to ${MAX_SESSIONS} sessions; each can be assigned to one agent or several.`), width),
-  ];
-}
-
-/** The picked session: its link and state, then the agents it can be assigned to. */
-export function detailLines(input: ExcalidrawTabInput, width: number, theme?: LobbyTheme): string[] {
-  const session = input.sessions[input.selected];
-  if (!session) return [];
-  const lines: string[] = [];
-  lines.push(...wrap(paint(theme, "muted", session.link), width));
-  lines.push(paint(theme, session.contribute ? "success" : "warning", session.contribute ? "agents may draw here (w: look only)" : "agents may only look (w: let them draw)"));
-  const check = input.checks.get(session.id);
-  if (input.checking.has(session.id)) lines.push(paint(theme, "accent", `${spinner(input.tick)} checking the room…`));
-  else if (check) lines.push(...wrap(paint(theme, check.ok ? "success" : "warning", `${check.ok ? "✓" : "!"} ${check.text}`), width));
-  else lines.push(paint(theme, "dim", "t checks that the room can be reached"));
-  lines.push("", rule(width, "Assigned to", theme, agentCount(session)));
-  EXCALIDRAW_AGENTS.forEach((agent, index) => {
-    const on = session.agents.includes(agent);
-    const picked = input.focus === "detail" && index === input.agent;
-    const box = on ? paint(theme, "success", "[x]") : paint(theme, "dim", "[ ]");
-    const cursor = picked ? paint(theme, "accent", "▸") : " ";
-    const label = on ? AGENT_LABELS[agent] : paint(theme, "muted", AGENT_LABELS[agent]);
-    lines.push(selectRow(theme, `${cursor} ${box} ${picked ? bold(theme, label) : label}`, width, picked, true));
-  });
-  lines.push("", ...wrap(paint(theme, "dim", "Assigned agents read the board and draw on it with excalidraw_read and excalidraw_draw, and appear in the room under their own name."), width));
-  return lines;
-}
-
-export function renderExcalidraw(input: ExcalidrawTabInput, width: number, height: number, theme?: LobbyTheme): string[] {
-  if (height <= 0) return [];
-  const count = `${input.sessions.length}/${MAX_SESSIONS}`;
-  if (input.sessions.length === 0) return fill([rule(width, "Excalidraw", theme, count), ...emptyLines(width, theme)], height, width);
-  const selected = Math.min(Math.max(0, input.selected), input.sessions.length - 1);
-  const view = { ...input, selected };
-  const wide = width >= EXCALIDRAW_COLUMNS_MIN;
-  const [listWidth, detailWidth] = wide ? split(width, 0.34, 3, 44) : [width, width];
-  const listPane = fill([rule(listWidth, "Sessions", theme, count), ...sessionRows(view, listWidth, height - 1, theme)], height);
-  const session = input.sessions[selected]!;
-  const detailPane = fill([rule(detailWidth, `${session.name}${input.focus === "detail" ? " ◂" : ""}`, theme), ...detailLines(view, detailWidth, theme)], height);
-  if (!wide) return fill(input.focus === "detail" ? detailPane : listPane, height, width);
-  return fill(columns(listPane, detailPane, listWidth, detailWidth, " │ ", theme), height, width);
-}

package/src/lobby/tabs/git.ts

@@ -1,162 +0,0 @@
-/**
- * The Git tab: the repository's open pull requests through `gh`, the selected
- * one with its checks, files, description and discussion, and — the point of
- * the tab — a review of it by a read-only agent (v, or f with a focus), or a
- * quick read by Jev (t), shown right under its facts.
- */
-import { textWidth } from "../../width.ts";
-import type { PullDetail, PullSummary } from "../pulls.ts";
-import { isStale, type PullReadState, type PullReview, type Verdict } from "../pr-review.ts";
-import { BRANCH_GLYPH, bold, columns, fill, markdownLines, paint, rule, selectRow, since, spinner, split, spread, windowStart, wrap, wrapHanging, type LobbyTheme } from "../layout.ts";
-
-export interface GitTabInput {
-  pulls: readonly PullSummary[];
-  selected: number;
-  detail?: PullDetail;
-  /** The agent's review of the selected pull request, and Jev's read of it. */
-  review?: PullReview;
-  read?: PullReadState;
-  focus: "list" | "detail";
-  detailOffset: number;
-  loading: boolean;
-  loaded: boolean;
-  error?: string;
-  tick: number;
-  now: number;
-}
-
-export const GIT_COLUMNS_MIN = 90;
-
-const VERDICTS: Record<Verdict, { words: string; color: "success" | "error" | "warning" }> = {
-  approve: { words: "approve", color: "success" },
-  changes: { words: "request changes", color: "error" },
-  comment: { words: "comment", color: "warning" },
-};
-
-/** `✓` passing, `✗` failing, `●` still running, blank without checks. */
-function checkMark(pull: PullSummary, theme?: LobbyTheme): string {
-  if (pull.checks === "passing") return paint(theme, "success", "✓");
-  if (pull.checks === "failing") return paint(theme, "error", "✗");
-  if (pull.checks === "pending") return paint(theme, "warning", "●");
-  return " ";
-}
-
-/** The size of a change, `+12 −3`, added lines green and removed ones red. */
-export function changeSize(additions: number, deletions: number, theme?: LobbyTheme): string {
-  return `${paint(theme, "success", `+${additions}`)} ${paint(theme, "error", `−${deletions}`)}`;
-}
-
-function decisionWords(decision: string | undefined): { words: string; color: "success" | "error" | "warning" } | undefined {
-  if (decision === "APPROVED") return { words: "approved", color: "success" };
-  if (decision === "CHANGES_REQUESTED") return { words: "changes requested", color: "error" };
-  if (decision === "REVIEW_REQUIRED") return { words: "review required", color: "warning" };
-  return undefined;
-}
-
-/** How long a review took, `2m 05s`. */
-function took(review: PullReview, now: number): string {
-  const ms = Math.max(0, (review.finishedAt ?? now) - review.startedAt);
-  const seconds = Math.round(ms / 1000);
-  return seconds < 60 ? `${seconds}s` : `${Math.floor(seconds / 60)}m ${String(seconds % 60).padStart(2, "0")}s`;
-}
-
-/** The review of the selected pull request: running steps, or the finished review, or why it failed. */
-export function reviewLines(review: PullReview, detail: PullDetail | undefined, width: number, tick: number, now: number, theme?: LobbyTheme): string[] {
-  const lines: string[] = [];
-  const verdict = review.verdict ? VERDICTS[review.verdict] : undefined;
-  // Short enough to fit beside the title in a narrow pane; the model goes on a line of its own.
-  const right = review.status === "running"
-    ? `${spinner(tick)} ${took(review, now)}`
-    : [verdict ? paint(theme, verdict.color, verdict.words) : "", review.status === "done" ? took(review, now) : review.status].filter(Boolean).join(paint(theme, "dim", " · "));
-  lines.push(rule(width, "Review", theme, right));
-  if (review.model) lines.push(paint(theme, "dim", [review.model, review.thinking].filter(Boolean).join(" · ")));
-  if (review.focus) lines.push(...wrapHanging(paint(theme, "dim", "focus: "), review.focus, width));
-  if (review.saved) lines.push(paint(theme, "dim", `kept from ${since(now - review.startedAt)}`));
-  if (isStale(review, detail)) lines.push(paint(theme, "warning", "the pull request has new commits since this review — v reviews it again"));
-  if (review.status === "running") {
-    for (const step of review.steps.slice(-6)) lines.push(...wrapHanging(paint(theme, "dim", "· "), paint(theme, "muted", step), width));
-    lines.push(paint(theme, "dim", "x stops it"));
-    return lines;
-  }
-  if (review.status === "cancelled") lines.push(paint(theme, "warning", "stopped"));
-  if (review.status === "failed" || review.status === "timeout") lines.push(...wrap(paint(theme, "error", `✗ ${review.error ?? review.status}`), width));
-  if (review.text) lines.push(...markdownLines(review.text, width, theme));
-  return lines;
-}
-
-/** Jev's read: one line, or the reason there is none. */
-export function readLines(read: PullReadState, width: number, tick: number, theme?: LobbyTheme): string[] {
-  if (read.status === "running") return [rule(width, "Jev's read", theme, spinner(tick)), paint(theme, "dim", "reading the diff…")];
-  if (read.status === "failed") return [rule(width, "Jev's read", theme), ...wrap(paint(theme, "warning", read.error ?? "Jev could not read it"), width)];
-  return [rule(width, "Jev's read", theme, read.read ? `${read.read.model} · ${read.read.ms} ms` : ""), ...wrap(read.line ?? "", width)];
-}
-
-export function pullDetailLines(pull: PullDetail, review: PullReview | undefined, read: PullReadState | undefined, width: number, tick: number, now: number, theme?: LobbyTheme): string[] {
-  const dot = paint(theme, "dim", " · ");
-  const decision = decisionWords(pull.decision);
-  const facts = [
-    pull.state ? paint(theme, pull.state === "OPEN" ? "success" : "dim", pull.draft ? "draft" : pull.state.toLowerCase()) : pull.draft ? paint(theme, "dim", "draft") : "",
-    pull.author ? `by ${pull.author}` : "",
-    pull.updatedAt ? `updated ${since(now - Date.parse(pull.updatedAt))}` : "",
-  ].filter(Boolean);
-  const checks = pull.checks ? `checks ${paint(theme, pull.checks === "passing" ? "success" : pull.checks === "failing" ? "error" : "warning", pull.checks)} (${pull.checkCount})` : "";
-  const merge = pull.mergeable ? (pull.mergeable === "CONFLICTING" ? paint(theme, "error", "conflicts") : pull.mergeable === "MERGEABLE" ? "mergeable" : "") : "";
-  const lines = [
-    ...wrap(bold(theme, `#${pull.number} ${pull.title}`), width),
-    facts.join(dot),
-    `${paint(theme, "accent", `${BRANCH_GLYPH} ${pull.headRef || "?"}`)} → ${pull.baseRef || "?"}${dot}${changeSize(pull.additions, pull.deletions, theme)}${dot}${pull.changedFiles} file${pull.changedFiles === 1 ? "" : "s"}`,
-    [checks, decision ? paint(theme, decision.color, decision.words) : "", merge, pull.labels.length > 0 ? paint(theme, "warning", pull.labels.join(", ")) : ""].filter(Boolean).join(dot),
-  ].filter((line) => line.length > 0);
-  if (pull.url) lines.push(paint(theme, "dim", pull.url));
-  lines.push("", ...wrap(paint(theme, "dim", "v reviews it with an agent · f with a focus you type · t is Jev's quick read"), width));
-  if (read) lines.push("", ...readLines(read, width, tick, theme));
-  if (review) lines.push("", ...reviewLines(review, pull, width, tick, now, theme));
-  if (pull.files.length > 0) {
-    lines.push("", rule(width, "Files", theme, String(pull.files.length)));
-    const numbers = pull.files.map((file) => textWidth(changeSize(file.additions, file.deletions)));
-    const room = Math.max(...numbers);
-    for (const file of pull.files) lines.push(spread(file.path, `${" ".repeat(room - textWidth(changeSize(file.additions, file.deletions)))}${changeSize(file.additions, file.deletions, theme)}`, width));
-  }
-  lines.push("", rule(width, "Description", theme), ...(pull.body.trim() ? markdownLines(pull.body.trim(), width, theme) : [paint(theme, "dim", "(no description)")]));
-  for (const note of pull.notes) {
-    const verdict = note.state && note.state !== "COMMENTED" ? paint(theme, note.state === "APPROVED" ? "success" : note.state === "CHANGES_REQUESTED" ? "error" : "warning", note.state.toLowerCase().replace(/_/g, " ")) : "";
-    lines.push("", rule(width, note.author ?? "comment", theme, [verdict, note.at ? since(now - Date.parse(note.at)) : ""].filter(Boolean).join(" · ")), ...(note.body.trim() ? markdownLines(note.body.trim(), width, theme) : []));
-  }
-  return lines;
-}
-
-function empty(input: GitTabInput, width: number, theme?: LobbyTheme): string[] {
-  if (input.loading) return [`${paint(theme, "accent", spinner(input.tick))} loading pull requests from GitHub…`];
-  if (input.error) return [];
-  if (!input.loaded) return wrap(paint(theme, "dim", "Press r to load open pull requests with the GitHub CLI (gh)."), width);
-  return wrap(paint(theme, "dim", "No open pull requests."), width);
-}
-
-/** One row of the list: number, checks, title, and the review's outcome when there is one. */
-function row(pull: PullSummary, width: number, selected: boolean, focused: boolean, review: PullReview | undefined, theme?: LobbyTheme): string {
-  const verdict = review?.status === "done" && review.verdict ? paint(theme, VERDICTS[review.verdict].color, review.verdict === "approve" ? "✓ reviewed" : review.verdict === "changes" ? "✗ reviewed" : "◆ reviewed") : review?.status === "running" ? paint(theme, "accent", "reviewing") : "";
-  const title = selected ? bold(theme, pull.title) : pull.title;
-  const draft = pull.draft ? `${paint(theme, "dim", "draft")} ` : "";
-  const head = `${paint(theme, "dim", `#${pull.number}`)} ${checkMark(pull, theme)} ${draft}${title}`;
-  return selectRow(theme, spread(head, [verdict, changeSize(pull.additions, pull.deletions, theme)].filter(Boolean).join(" "), width), width, selected, focused);
-}
-
-export function renderGit(input: GitTabInput, width: number, height: number, theme?: LobbyTheme): string[] {
-  if (height <= 0) return [];
-  const banner = input.error ? wrap(paint(theme, "error", `✗ ${input.error}`), width) : [];
-  const bodyHeight = Math.max(0, height - banner.length);
-  if (input.pulls.length === 0) return fill([...banner, rule(width, "Pull requests", theme), ...empty(input, width, theme)], height, width);
-  const selected = Math.min(Math.max(0, input.selected), input.pulls.length - 1);
-  const wide = width >= GIT_COLUMNS_MIN;
-  const [listWidth, detailWidth] = wide ? split(width, 0.4, 3, 40) : [width, width];
-  const rows = input.pulls.map((pull, index) => row(pull, listWidth, index === selected, input.focus === "list", pull.number === input.review?.number ? input.review : undefined, theme));
-  const right = input.loading ? `${spinner(input.tick)} refreshing` : `${input.pulls.length} open`;
-  const listPane = fill([rule(listWidth, "Pull requests", theme, right), ...rows.slice(windowStart(selected, rows.length, bodyHeight - 1))], bodyHeight);
-  const current = input.pulls[selected]!;
-  const detail = input.detail && input.detail.number === current.number
-    ? pullDetailLines(input.detail, input.review, input.read, detailWidth, input.tick, input.now, theme)
-    : [`${paint(theme, "accent", spinner(input.tick))} loading #${current.number}…`];
-  const detailPane = fill([rule(detailWidth, input.focus === "detail" ? "Pull request ◂" : "Pull request", theme), ...detail.slice(Math.max(0, Math.min(input.detailOffset, detail.length - 1)))], bodyHeight);
-  if (!wide) return fill([...banner, ...(input.focus === "detail" ? detailPane : listPane)], height, width);
-  return fill([...banner, ...columns(listPane, detailPane, listWidth, detailWidth, " │ ", theme)], height, width);
-}