pi-weave 0.3.8 → 0.3.10

package/src/pi/viewer/tui/surface/explore.ts

@@ -1,241 +0,0 @@
-/**
- * surface/explore.ts — the Explore surface as a Component (weave-view-tui-v2 §6).
- *
- * Wraps the v1 tree view-model (`treeRows` + `reduce`/`ExplorerState`) so each
- * Explore pane owns its own selection, expansion, filter, provenance cycle,
- * and search sub-mode — independent of other panes. Cross-pane navigation
- * (enter → open detail, f → open focus) is emitted as a `SurfaceEvent` that
- * the workspace root resolves (e.g. into the nearest Detail pane).
- */
-
-import { matchesKey, parseKey, truncateToWidth } from "@earendil-works/pi-tui";
-import {
-  formatTreeMeta,
-  graphRoots,
-  initialState,
-  reduce,
-  treeEmptyHint,
-  treeRows,
-  type Action,
-  type ExplorerState,
-} from "../model";
-import { chevron, kindStyle, provenanceStyle, SELECTION_MARKER, type ThemeSlot } from "../theme";
-import type { GraphModel } from "../../../../core/graph/model";
-import type { NoteSource } from "../../../../core/types";
-import { windowLines, type Surface, type SurfaceEvent, type SurfaceInit, type SurfaceRender } from "./base";
-
-/** Decode terminal input into the Explore surface's state-machine actions. */
-export function decodeAction(data: string, state: Pick<ExplorerState, "searching">): Action | null {
-  if (matchesKey(data, "up")) return { type: "up" };
-  if (matchesKey(data, "down")) return { type: "down" };
-  if (matchesKey(data, "left")) return { type: "left" };
-  if (matchesKey(data, "right")) return { type: "right" };
-  if (matchesKey(data, "enter")) return { type: "enter" };
-  if (matchesKey(data, "escape")) return { type: "esc" };
-  if (matchesKey(data, "pageUp")) return { type: "pageUp" };
-  if (matchesKey(data, "pageDown")) return { type: "pageDown" };
-  if (matchesKey(data, "home")) return { type: "home" };
-  if (matchesKey(data, "end")) return { type: "end" };
-  if (state.searching) {
-    if (matchesKey(data, "backspace")) return { type: "searchBackspace" };
-    const ch = parseKey(data);
-    if (ch === undefined) return null;
-    if (ch === "space") return { type: "searchChar", ch: " " };
-    if (ch.length === 1) return { type: "searchChar", ch };
-    return null;
-  }
-  if (data === "k") return { type: "up" };
-  if (data === "j") return { type: "down" };
-  if (data === "h") return { type: "left" };
-  if (data === "l") return { type: "right" };
-  if (data === "/") return { type: "searchStart" };
-  if (data === "p") return { type: "cycleProvenance" };
-  if (data === "i") return { type: "toggleInternals" };
-  if (data === "f") return { type: "focus" };
-  if (data === "g") return { type: "focusExit" };
-  if (data === "1") return { type: "surfaceTree" };
-  if (data === "2") return { type: "surfaceHealth" };
-  if (data === "r") return { type: "refresh" };
-  if (data === "?") return { type: "toggleHelp" };
-  if (data === "q") return { type: "quit" };
-  return null;
-}
-
-/** The Explore surface's own state (wraps the v1 ExplorerState for the tree). */
-export interface ExploreSurfaceState {
-  selectedId: string | null;
-  expanded: Set<string>;
-  showInternals: boolean;
-  provFilter: NoteSource | null;
-  query: string;
-  searching: boolean;
-  scrollOffset: number;
-}
-
-export function initialExploreState(model: GraphModel): ExploreSurfaceState {
-  const s = initialState(graphRoots(model));
-  return {
-    selectedId: s.selectedId,
-    expanded: s.expanded,
-    showInternals: s.showInternals,
-    provFilter: s.provFilter,
-    query: s.query,
-    searching: s.searching,
-    scrollOffset: 0,
-  };
-}
-
-export class ExploreSurface implements Surface {
-  readonly kind = "explore" as const;
-  private readonly ctx;
-  private readonly onEvent: ((e: SurfaceEvent) => void) | undefined;
-  state: ExploreSurfaceState;
-  private focused = false;
-  /** Pane viewport height (rows); set by the workspace root. */
-  paneRows = 24;
-  private renderCache = new Map<string, string[]>();
-
-  constructor(init: SurfaceInit) {
-    this.ctx = init.context;
-    this.onEvent = init.onEvent;
-    this.state = initialExploreState(this.ctx.model);
-  }
-
-  title(): string {
-    return "Explore";
-  }
-
-  setFocused(focused: boolean): void {
-    this.focused = focused;
-  }
-
-  invalidate(): void {
-    this.renderCache.clear();
-  }
-
-  /** Navigate the tree with a key sequence. */
-  handleInput(data: string): void {
-    // o opens the selected node in the external editor; the workspace root
-    // resolves the event into loaders.openNote/openFile.
-    if (data === "o" && !this.state.searching) {
-      if (this.state.selectedId) this.onEvent?.({ type: "openEditor", id: this.state.selectedId });
-      return;
-    }
-    const action = decodeAction(data, toExplorerState(this.state));
-    if (!action) return;
-    this.applyAction(action);
-  }
-
-  private applyAction(action: Action): void {
-    // Cross-pane navigation: enter → open detail; f → open focus.
-    if (action.type === "enter" && !this.state.searching) {
-      if (this.state.selectedId) this.onEvent?.({ type: "openDetail", id: this.state.selectedId });
-      return;
-    }
-    if (action.type === "focus" && !this.state.searching) {
-      if (this.state.selectedId) this.onEvent?.({ type: "focusNode", id: this.state.selectedId });
-      return;
-    }
-    const rows = this.renderRows(80);
-    const prev = toExplorerState(this.state);
-    const next = reduce(prev, action, { rows, window: Math.max(5, this.paneRows) });
-    this.state = fromExplorerState(next);
-  }
-
-  private renderRows(width: number): { id: string; target?: string }[] {
-    return this.renderSurface(width).rows;
-  }
-
-  render(width: number): string[] {
-    const key = `${width}:${this.state.scrollOffset}:${this.state.selectedId}:${this.state.query}:${this.state.provFilter ?? ""}:${this.state.showInternals}:${this.state.searching}`;
-    const cached = this.renderCache.get(key);
-    if (cached) return cached;
-    const out = this.renderSurface(width).lines.map((l) => truncateToWidth(l, width));
-    this.renderCache.set(key, out);
-    return out;
-  }
-
-  private renderSurface(width: number): SurfaceRender {
-    const t = this.ctx.theme;
-    const rows = treeRows(this.ctx.model, {
-      expanded: this.state.expanded,
-      showInternals: this.state.showInternals,
-      provFilter: this.state.provFilter,
-      query: this.state.query,
-    });
-    const now = this.ctx.now();
-    const hint = treeEmptyHint(this.ctx.model);
-    if (rows.length === 0 && hint) {
-      return { lines: [t.fg("dim", hint)], rows: [] };
-    }
-    const lines: { text: string; id: string }[] = rows.map((r) => {
-      const chev = chevron(r.expanded, r.hasKids);
-      const marker = this.rowMarker(r.kind, r.provenance);
-      const label = sanitize(r.label);
-      const metaText = formatTreeMeta(r.meta, now);
-      const meta = metaText ? t.fg("dim", `  ${sanitize(metaText)}`) : "";
-      const indent = "  ".repeat(r.depth);
-      const body = `${indent}${chev} ${marker}${label}`;
-      return { text: meta ? `${body}${meta}` : body, id: r.id };
-    });
-    const selId = this.state.selectedId;
-    const selLine = selId ? lines.findIndex((l) => l.id === selId) : -1;
-    const marker = (text: string) => `${SELECTION_MARKER} ${this.ctx.theme.bg("selectedBg", text)}`;
-    const out: string[] = windowLines(
-      lines.map((l) => l.text),
-      selLine,
-      this.state.scrollOffset,
-      Math.max(5, this.paneRows),
-      marker,
-    );
-    if (this.state.searching) {
-      const prompt = t.fg("accent", "/");
-      out.push(`${prompt}${sanitize(this.state.query)}`);
-    }
-    return { lines: out, rows: rows.map((r) => ({ id: r.id })) };
-  }
-
-  private rowMarker(kind: string, prov: NoteSource | null): string {
-    const ks = kindStyle(kind as never);
-    if (kind === "note") {
-      const ps = provenanceStyle(prov);
-      return ps.glyph ? `${ps.glyph} ` : "";
-    }
-    return `${this.ctx.theme.fg(ks.slot as ThemeSlot, `${ks.glyph} `)}`;
-  }
-}
-
-function sanitize(s: string): string {
-  // eslint-disable-next-line no-control-regex
-  return s.replace(/\x1b/g, "").replace(/\x9b/g, "").replace(/\x07/g, "").replace(/[\x00-\x08\x0b-\x1f\x7f]/g, "");
-}
-
-function toExplorerState(s: ExploreSurfaceState): ExplorerState {
-  return {
-    surface: "tree",
-    searching: s.searching,
-    selectedId: s.selectedId,
-    focusId: null,
-    detailId: null,
-    expanded: s.expanded,
-    showInternals: s.showInternals,
-    provFilter: s.provFilter,
-    query: s.query,
-    helpOpen: false,
-    refreshing: false,
-    version: 0,
-    scrollOffset: s.scrollOffset,
-  };
-}
-
-function fromExplorerState(s: ExplorerState): ExploreSurfaceState {
-  return {
-    selectedId: s.selectedId,
-    expanded: s.expanded,
-    showInternals: s.showInternals,
-    provFilter: s.provFilter,
-    query: s.query,
-    searching: s.searching,
-    scrollOffset: s.scrollOffset,
-  };
-}

package/src/pi/viewer/tui/surface/focus.ts

@@ -1,139 +0,0 @@
-/**
- * surface/focus.ts — the Focus surface as a Component (weave-view-tui-v2 §6).
- *
- * The 1-hop graph neighborhood (`focusModel`). Enter re-centers the focus on
- * the selected neighbor, walking the graph. Each Focus pane owns its own
- * center node + selection/scroll.
- */
-
-import { matchesKey, truncateToWidth } from "@earendil-works/pi-tui";
-import { focusModel, sanitizeTerminalText } from "../model";
-import { kindStyle, provenanceStyle, type ThemeSlot } from "../theme";
-import { windowLines, type Surface, type SurfaceEvent, type SurfaceInit } from "./base";
-import type { NoteSource } from "../../../../core/types";
-import type { GraphModel } from "../../../../core/graph/model";
-
-export interface FocusSurfaceState {
-  focusId: string | null;
-  selectedId: string | null;
-  scrollOffset: number;
-}
-
-export class FocusSurface implements Surface {
-  readonly kind = "focus" as const;
-  private readonly ctx;
-  private readonly onEvent: ((e: SurfaceEvent) => void) | undefined;
-  state: FocusSurfaceState;
-  paneRows = 24;
-
-  constructor(init: SurfaceInit) {
-    this.ctx = init.context;
-    this.onEvent = init.onEvent;
-    this.state = { focusId: null, selectedId: null, scrollOffset: 0 };
-  }
-
-  /** Bind the focus center node (called when opening/`f`). */
-  setFocus(nodeId: string): void {
-    this.state = { focusId: nodeId, selectedId: nodeId, scrollOffset: 0 };
-  }
-
-  setFocused(_focused: boolean): void {}
-
-  title(): string {
-    return "Focus";
-  }
-
-  invalidate(): void {}
-
-  rebind(model: GraphModel): void {
-    // After a refresh, drop a focus node that no longer exists rather than
-    // rendering an empty "(no focus node)" pane.
-    if (this.state.focusId && !model.nodes.some((n) => n.id === this.state.focusId)) {
-      this.state = { focusId: null, selectedId: null, scrollOffset: 0 };
-    }
-  }
-
-  handleInput(data: string): void {
-    if (matchesKey(data, "up")) return this.move(-1);
-    if (matchesKey(data, "down")) return this.move(1);
-    if (matchesKey(data, "pageUp")) return this.movePage(-1);
-    if (matchesKey(data, "pageDown")) return this.movePage(1);
-    if (matchesKey(data, "home")) {
-      this.state = { ...this.state, selectedId: this.rows()[0]?.id ?? null, scrollOffset: 0 };
-      return;
-    }
-    if (matchesKey(data, "end")) {
-      const r = this.rows();
-      const last = r[r.length - 1];
-      this.state = { ...this.state, selectedId: last?.id ?? null, scrollOffset: Math.max(0, r.length - this.paneRows) };
-      return;
-    }
-    if (matchesKey(data, "enter")) {
-      const rows = this.rows();
-      const idx = rows.findIndex((r) => r.id === this.state.selectedId);
-      const row = idx >= 0 ? rows[idx] : undefined;
-      if (row && row.target && row.target !== this.state.focusId) {
-        this.state = { focusId: row.target, selectedId: row.target, scrollOffset: 0 };
-      }
-      return;
-    }
-    if (data === "g") {
-      this.onEvent?.({ type: "focusNode", id: this.state.focusId ?? "" });
-      return;
-    }
-  }
-
-  private move(delta: 1 | -1): void {
-    const rows = this.rows();
-    if (rows.length === 0) return;
-    const idx = rows.findIndex((r) => r.id === this.state.selectedId);
-    const nextIdx = Math.max(0, Math.min(rows.length - 1, (idx < 0 ? -1 : idx) + delta));
-    const row = rows[nextIdx]!;
-    this.state = { ...this.state, selectedId: row.id };
-  }
-
-  private movePage(dir: 1 | -1): void {
-    const rows = this.rows();
-    const idx = rows.findIndex((r) => r.id === this.state.selectedId);
-    const target = idx < 0 ? 0 : Math.max(0, Math.min(rows.length - 1, idx + dir * this.paneRows));
-    const row = rows[target];
-    if (row) this.state = { ...this.state, selectedId: row.id };
-  }
-
-  private rows(): { id: string; target?: string }[] {
-    if (!this.state.focusId) return [];
-    const f = focusModel(this.ctx.model, this.state.focusId);
-    const center: { id: string; target?: string } = f.center.target ? { id: f.center.id, target: f.center.target } : { id: f.center.id };
-    return [center, ...f.groups.flatMap((g) => g.rows.map((r): { id: string; target?: string } => ({ id: r.id, target: r.target! })))];
-  }
-
-  render(width: number): string[] {
-    const t = this.ctx.theme;
-    const id = this.state.focusId;
-    if (!id) return [t.fg("dim", "(no focus node)")];
-    const f = focusModel(this.ctx.model, id);
-    const lines: { text: string; id?: string }[] = [];
-    const cm = this.rowMarker(f.center.kind, f.center.provenance);
-    lines.push({ text: t.bold(`${cm}${sanitizeTerminalText(f.center.label)}`) + t.fg("dim", "  (focus — g/esc to exit)"), id: f.center.id });
-    for (const g of f.groups) {
-      lines.push({ text: t.fg("accent", g.heading) });
-      for (const r of g.rows) {
-        lines.push({ text: `  ${this.rowMarker(r.kind, r.provenance)}${sanitizeTerminalText(r.label)}`, id: r.id });
-      }
-    }
-    const selId = this.state.selectedId;
-    const selLine = selId ? lines.findIndex((l) => l.id === selId) : -1;
-    const marker = (text: string) => `› ${this.ctx.theme.bg("selectedBg", text)}`;
-    const windowed = windowLines(lines.map((l) => l.text), selLine, this.state.scrollOffset, Math.max(5, this.paneRows), marker);
-    return windowed.map((l) => truncateToWidth(l, width));
-  }
-
-  private rowMarker(kind: string, prov: NoteSource | null): string {
-    const ks = kindStyle(kind as never);
-    if (kind === "note") {
-      const ps = provenanceStyle(prov);
-      return ps.glyph ? `${ps.glyph} ` : "";
-    }
-    return `${this.ctx.theme.fg(ks.slot as ThemeSlot, `${ks.glyph} `)}`;
-  }
-}

package/src/pi/viewer/tui/surface/health.ts

@@ -1,102 +0,0 @@
-/**
- * surface/health.ts — the Health surface as a Component (weave-view-tui-v2 §6).
- *
- * Renders `healthModel` (staleness + link health). Enter on a health row with
- * a target opens that node in detail (emitted as a SurfaceEvent).
- */
-
-import { matchesKey, truncateToWidth } from "@earendil-works/pi-tui";
-import { healthModel, sanitizeTerminalText } from "../model";
-import { windowLines, type Surface, type SurfaceEvent, type SurfaceInit } from "./base";
-
-export interface HealthSurfaceState {
-  selectedId: string | null;
-  scrollOffset: number;
-}
-
-export class HealthSurface implements Surface {
-  readonly kind = "health" as const;
-  private readonly ctx;
-  private readonly onEvent: ((e: SurfaceEvent) => void) | undefined;
-  state: HealthSurfaceState;
-  paneRows = 24;
-
-  constructor(init: SurfaceInit) {
-    this.ctx = init.context;
-    this.onEvent = init.onEvent;
-    this.state = { selectedId: null, scrollOffset: 0 };
-  }
-
-  title(): string {
-    return "Health";
-  }
-
-  setFocused(_focused: boolean): void {}
-
-  invalidate(): void {}
-
-  handleInput(data: string): void {
-    if (matchesKey(data, "up")) return this.move(-1);
-    if (matchesKey(data, "down")) return this.move(1);
-    if (matchesKey(data, "pageUp")) return this.movePage(-1);
-    if (matchesKey(data, "pageDown")) return this.movePage(1);
-    if (matchesKey(data, "home")) {
-      this.state = { ...this.state, selectedId: this.rows()[0]?.id ?? null, scrollOffset: 0 };
-      return;
-    }
-    if (matchesKey(data, "end")) {
-      const r = this.rows();
-      const last = r[r.length - 1];
-      this.state = { ...this.state, selectedId: last?.id ?? null, scrollOffset: Math.max(0, r.length - this.paneRows) };
-      return;
-    }
-    if (matchesKey(data, "enter")) {
-      const rows = this.rows();
-      const idx = rows.findIndex((r) => r.id === this.state.selectedId);
-      const row = idx >= 0 ? rows[idx] : undefined;
-      if (row && row.target) this.onEvent?.({ type: "openDetail", id: row.target });
-      return;
-    }
-  }
-
-  private move(delta: 1 | -1): void {
-    const rows = this.rows();
-    if (rows.length === 0) return;
-    const idx = rows.findIndex((r) => r.id === this.state.selectedId);
-    const nextIdx = Math.max(0, Math.min(rows.length - 1, (idx < 0 ? -1 : idx) + delta));
-    const row = rows[nextIdx]!;
-    this.state = { ...this.state, selectedId: row.id };
-  }
-
-  private movePage(dir: 1 | -1): void {
-    const rows = this.rows();
-    const idx = rows.findIndex((r) => r.id === this.state.selectedId);
-    const target = idx < 0 ? 0 : Math.max(0, Math.min(rows.length - 1, idx + dir * this.paneRows));
-    const row = rows[target];
-    if (row) this.state = { ...this.state, selectedId: row.id };
-  }
-
-  private rows(): { id: string; target?: string }[] {
-    const h = healthModel(this.ctx.model);
-    return h.sections.flatMap((s) =>
-      s.rows.filter((r) => r.target).map((r): { id: string; target?: string } => ({ id: r.id, target: r.target! })),
-    );
-  }
-
-  render(width: number): string[] {
-    const t = this.ctx.theme;
-    const h = healthModel(this.ctx.model);
-    const lines: { text: string; id?: string }[] = [];
-    for (const s of h.sections) {
-      lines.push({ text: t.bold(s.heading) });
-      for (const r of s.rows) {
-        lines.push({ text: sanitizeTerminalText(r.text), id: r.id });
-      }
-    }
-    const selId = this.state.selectedId;
-    const selLine = selId ? lines.findIndex((l) => l.id === selId) : -1;
-    const marker = (text: string) => `› ${this.ctx.theme.bg("selectedBg", text)}`;
-    const windowed = windowLines(lines.map((l) => l.text), selLine, this.state.scrollOffset, Math.max(5, this.paneRows), marker);
-    return windowed.map((l) => truncateToWidth(l, width));
-  }
-}

package/src/pi/viewer/tui/theme.ts

@@ -1,90 +0,0 @@
-/**
- * Provenance & kind → glyph + theme color-slot maps for the weave-view TUI
- * (weave-view-tui-design §7).
- *
- * Pure data: imports only core types. Theme slots are names only
- * (`theme.fg(slot, …)` applies the actual color), so pi themes restyle
- * everything — never hardcoded hex. Style-first per v2 P1: provenance is
- * glyph + dimness, color is the weak secondary channel.
- */
-
-import type { NodeKind } from "../../../core/graph/model";
-import type { NoteSource } from "../../../core/types";
-
-/** Theme foreground color-slot names understood by pi's `Theme`. */
-export type ThemeSlot =
-  | "accent"
-  | "success"
-  | "warning"
-  | "dim"
-  | "muted"
-  | "text";
-
-/** Provenance rendering: glyph prefix, whole-row dimness, and theme slot. */
-export interface ProvenanceStyle {
-  glyph: string;
-  /** When true, the whole row is rendered dim (generated knowledge). */
-  dim: boolean;
-  slot: ThemeSlot;
-  /** Word printed in the provenance cycle / header banner, e.g. "human". */
-  word: string;
-}
-
-/** The provenance cycle order for the `p` key: all → human → agent → generated → all. */
-export const PROVENANCE_CYCLE: readonly (NoteSource | null)[] = [null, "human", "agent", "generated"];
-
-export function provenanceStyle(prov: NoteSource | null): ProvenanceStyle {
-  switch (prov) {
-    case "human":
-      return { glyph: "●", dim: false, slot: "success", word: "human" };
-    case "agent":
-      return { glyph: "◐", dim: false, slot: "accent", word: "agent" };
-    case "generated":
-      return { glyph: "○", dim: true, slot: "dim", word: "generated" };
-    default:
-      // structural node — no provenance glyph; kind glyph leads.
-      return { glyph: "", dim: false, slot: "muted", word: "" };
-  }
-}
-
-export interface KindStyle {
-  glyph: string;
-  slot: ThemeSlot;
-}
-
-/** Kind → glyph + slot. Notes defer to their provenance glyph (trust-first). */
-export function kindStyle(kind: NodeKind): KindStyle {
-  switch (kind) {
-    case "vault":
-      return { glyph: "◆", slot: "accent" };
-    case "note":
-      // provenance glyph leads; kind slot unused for the marker.
-      return { glyph: "", slot: "text" };
-    case "repository":
-      return { glyph: "■", slot: "accent" };
-    case "module":
-      return { glyph: "▪", slot: "success" };
-    case "package":
-      return { glyph: "▲", slot: "success" };
-    case "entryPoint":
-      return { glyph: "▹", slot: "warning" };
-    case "gitState":
-      return { glyph: "⎇", slot: "warning" };
-    case "external":
-      return { glyph: "↗", slot: "warning" };
-    case "file":
-      return { glyph: "·", slot: "dim" };
-  }
-}
-
-/** Chevron shown for an expandable tree row. */
-export function chevron(expanded: boolean, hasKids: boolean): string {
-  if (!hasKids) return " ";
-  return expanded ? "▾" : "▸";
-}
-
-/** Selection gutter marker. */
-export const SELECTION_MARKER = "›";
-
-/** Maximum length of the inline search/filter string (design §9.4). */
-export const MAX_FILTER_LEN = 200;

package/src/pi/viewer/tui/workspace.ts

@@ -1,53 +0,0 @@
-import type { GraphModel } from "../../../core/graph/model";
-import { graphRoots } from "./model";
-
-export type SurfaceKind = "explore" | "detail" | "focus" | "health";
-
-export interface PaneNode {
-  id: string;
-  surface: SurfaceKind;
-  nodeId: string | null;
-}
-
-export interface Workspace {
-  name: string;
-  panes: PaneNode[];
-  activePaneId: string;
-}
-
-function pane(surface: SurfaceKind, nodeId: string | null = null): PaneNode {
-  return { id: surface, surface, nodeId };
-}
-
-export function workspacePanes(ws: Workspace): PaneNode[] {
-  return ws.panes;
-}
-
-export function findPane(panes: PaneNode[], id: string): PaneNode | null {
-  return panes.find((item) => item.id === id) ?? null;
-}
-
-export function focusNext(ws: Workspace, dir: 1 | -1): Workspace {
-  if (ws.panes.length <= 1) return ws;
-  const index = ws.panes.findIndex((item) => item.id === ws.activePaneId);
-  const next = ws.panes[(index + dir + ws.panes.length) % ws.panes.length];
-  return next ? { ...ws, activePaneId: next.id } : ws;
-}
-
-/** The only layout: four equal-width read-only surfaces. */
-export function defaultWorkspace(model: GraphModel): Workspace {
-  const panes = [
-    pane("explore", graphRoots(model)[0] ?? null),
-    pane("detail"),
-    pane("focus"),
-    pane("health"),
-  ];
-  return { name: "Explore", panes, activePaneId: panes[0]!.id };
-}
-
-/** Hide inactive panes in a narrow terminal. */
-export function collapseForWidth(ws: Workspace, width: number): Workspace {
-  if (width >= 80) return ws;
-  const active = findPane(ws.panes, ws.activePaneId);
-  return active ? { ...ws, panes: [active] } : ws;
-}