@pellux/goodvibes-agent 1.4.4 → 1.5.0

package/src/panels/session-maintenance.ts

@@ -1,125 +0,0 @@
-export type PanelGuidanceMode = 'off' | 'minimal' | 'guided';
-export type PanelSessionMaintenanceLevel = 'stable' | 'watch' | 'suggest-compact' | 'compacting' | 'needs-repair' | 'unknown';
-
-export interface PanelSessionMaintenanceLineageEntry {
-  readonly branchReason?: string;
-}
-
-export interface PanelSessionMaintenanceSession {
-  readonly lineage?: readonly PanelSessionMaintenanceLineageEntry[];
-  readonly lastCompactedAt?: number;
-  readonly compactionMessageCount?: number;
-}
-
-export interface PanelSessionMaintenanceInput {
-  readonly currentTokens: number;
-  readonly contextWindow: number;
-  readonly messageCount?: number;
-  readonly sessionMemoryCount?: number;
-  readonly session?: PanelSessionMaintenanceSession | null;
-}
-
-export interface PanelSessionMaintenanceStatus {
-  readonly level: PanelSessionMaintenanceLevel;
-  readonly summary: string;
-  readonly reasons: readonly string[];
-  readonly nextSteps: readonly string[];
-  readonly guidanceMode: PanelGuidanceMode;
-  readonly usagePct: number;
-  readonly remainingTokens: number;
-  readonly thresholdPct: number;
-  readonly autoCompactEnabled: boolean;
-  readonly sessionMemoryCount: number;
-  readonly compactionCount: number;
-  readonly lastCompactedAt?: number;
-  readonly compactRecommended: boolean;
-}
-
-export function evaluateSessionMaintenance(input: PanelSessionMaintenanceInput): PanelSessionMaintenanceStatus {
-  const guidanceMode: PanelGuidanceMode = 'minimal';
-  const thresholdPct = 80;
-  const autoCompactEnabled = false;
-  const usagePct = input.contextWindow > 0 ? Math.min(100, Math.round((Math.max(0, input.currentTokens) / input.contextWindow) * 100)) : 0;
-  const remainingTokens = Math.max(0, input.contextWindow - input.currentTokens);
-  const sessionMemoryCount = Math.max(0, input.sessionMemoryCount ?? 0);
-  const compactionCount = Math.max(0, input.session?.lineage?.filter((entry) => entry.branchReason === 'compaction').length ?? 0);
-  const lastCompactedAt = input.session?.lastCompactedAt;
-  const messageCount = Math.max(0, input.messageCount ?? 0);
-  const staleByMessageGrowth = compactionCount > 0
-    ? messageCount - (input.session?.compactionMessageCount ?? 0) >= 12
-    : messageCount >= 24;
-  if (input.contextWindow <= 0) {
-    return {
-      level: 'unknown',
-      summary: 'Context window unavailable.',
-      reasons: ['Current model does not expose a known context limit yet.'],
-      nextSteps: ['/provider', '/context'],
-      guidanceMode,
-      usagePct,
-      remainingTokens,
-      thresholdPct,
-      autoCompactEnabled,
-      sessionMemoryCount,
-      compactionCount,
-      lastCompactedAt,
-      compactRecommended: false,
-    };
-  }
-
-  const reasons: string[] = [];
-  const nextSteps: string[] = [];
-  let summary = 'Session maintenance is stable.';
-  let compactRecommended = false;
-  let level: PanelSessionMaintenanceLevel = 'stable';
-
-  if (usagePct >= 90) {
-    level = 'needs-repair';
-    summary = `Compact now to recover context headroom (${usagePct}% used).`;
-    reasons.push(`Context pressure is high at ${usagePct}% usage.`);
-    nextSteps.push('/compact', '/context');
-    compactRecommended = true;
-  } else if (usagePct >= thresholdPct || remainingTokens <= 15_000) {
-    level = 'suggest-compact';
-    summary = `Watch context growth (${usagePct}% used).`;
-    reasons.push(`Context pressure is climbing at ${usagePct}% usage.`);
-    nextSteps.push('/context');
-    compactRecommended = true;
-  } else if (usagePct >= 70 || staleByMessageGrowth) {
-    level = 'watch';
-    summary = staleByMessageGrowth
-      ? `Conversation has grown ${messageCount.toLocaleString()} messages since the last maintenance checkpoint.`
-      : `Watch context growth (${usagePct}% used, threshold ${thresholdPct}%).`;
-    reasons.push(staleByMessageGrowth
-      ? `Conversation has grown ${messageCount.toLocaleString()} messages since the last maintenance checkpoint.`
-      : `Context usage is climbing toward the ${thresholdPct}% maintenance threshold.`);
-    nextSteps.push('/context');
-  } else {
-    reasons.push('Context pressure is currently within the stable operating band.');
-  }
-
-  if (sessionMemoryCount > 0) {
-    reasons.push(`${sessionMemoryCount} pinned session memor${sessionMemoryCount === 1 ? 'y is' : 'ies are'} preserved during compaction.`);
-  }
-  if (compactionCount > 0) {
-    reasons.push(`Last compaction ran ${lastCompactedAt ? new Date(lastCompactedAt).toISOString() : 'recently'}.`);
-  }
-  if (!autoCompactEnabled) {
-    reasons.push('Auto-compact is currently disabled; use /compact when you need to recover headroom.');
-  }
-
-  return {
-    level,
-    summary,
-    reasons,
-    nextSteps,
-    guidanceMode,
-    usagePct,
-    remainingTokens,
-    thresholdPct,
-    autoCompactEnabled,
-    sessionMemoryCount,
-    compactionCount,
-    lastCompactedAt,
-    compactRecommended,
-  };
-}

package/src/panels/subscription-panel.ts

@@ -1,263 +0,0 @@
-import type { Line } from '../types/grid.ts';
-import { createEmptyLine } from '../types/grid.ts';
-import { ScrollableListPanel } from './scrollable-list-panel.ts';
-import type { ProviderSubscription, PendingSubscriptionLogin } from '@pellux/goodvibes-sdk/platform/config';
-import { listBuiltinSubscriptionProviders } from '@pellux/goodvibes-sdk/platform/config';
-import type { ServiceInspectionQuery, SubscriptionAccessQuery } from '../runtime/ui-service-queries.ts';
-import {
-  buildEmptyState,
-  buildGuidanceLine,
-  buildKeyValueLine,
-  buildPanelListRow,
-  buildPanelLine,
-  buildSummaryBlock,
-  buildPanelWorkspace,
-  DEFAULT_PANEL_PALETTE,
-} from './polish.ts';
-
-const C = {
-  ...DEFAULT_PANEL_PALETTE,
-  header: '#e2e8f0',
-  headerBg: '#1e293b',
-  dim: '#64748b',
-  info: '#38bdf8',
-  good: '#22c55e',
-  warn: '#f59e0b',
-  bad: '#ef4444',
-  selectedBg: '#0f172a',
-} as const;
-
-interface SubscriptionRow {
-  readonly provider: string;
-  readonly hasOAuthConfig: boolean;
-  readonly subscription: ProviderSubscription | null;
-  readonly pending: PendingSubscriptionLogin | null;
-}
-
-function statusOf(row: SubscriptionRow): 'active' | 'pending' | 'available' | 'unconfigured' {
-  if (row.subscription) return 'active';
-  if (row.pending) return 'pending';
-  return row.hasOAuthConfig ? 'available' : 'unconfigured';
-}
-
-function statusColor(status: ReturnType<typeof statusOf>): string {
-  switch (status) {
-    case 'active':
-      return C.good;
-    case 'pending':
-      return C.warn;
-    case 'available':
-      return C.info;
-    case 'unconfigured':
-      return C.dim;
-  }
-}
-
-export class SubscriptionPanel extends ScrollableListPanel<SubscriptionRow> {
-  private readonly serviceRegistry: Pick<ServiceInspectionQuery, 'getAll'>;
-  private readonly subscriptionManager: SubscriptionAccessQuery;
-  private rows: SubscriptionRow[] = [];
-  private logoutConfirmationTarget: string | null = null;
-
-  public constructor(
-    serviceRegistry: Pick<ServiceInspectionQuery, 'getAll'>,
-    subscriptionManager: SubscriptionAccessQuery,
-  ) {
-    super('subscription', 'Subscriptions', 'B', 'monitoring');
-    this.showSelectionGutter = true; // I5: non-color selection affordance
-    this.serviceRegistry = serviceRegistry;
-    this.subscriptionManager = subscriptionManager;
-  }
-
-  public override onActivate(): void {
-    super.onActivate();
-    this.refresh();
-  }
-
-  protected override getPalette() { return C; }
-  protected override getEmptyStateMessage() { return ' No provider subscriptions are active yet.'; }
-  protected override getEmptyStateActions() {
-    return [
-      { command: '/subscription login openai start --yes', summary: 'start the first-class OpenAI subscription flow' },
-      { command: '/subscription login <provider> finish <code> --yes', summary: 'finish a pending provider subscription login' },
-      { command: '/auth review', summary: 'inspect connected-host auth posture without exposing token values' },
-    ];
-  }
-
-  protected getItems(): readonly SubscriptionRow[] {
-    return this.rows;
-  }
-
-  protected renderItem(row: SubscriptionRow, index: number, selected: boolean, width: number): Line {
-    const status = statusOf(row);
-    return buildPanelListRow(width, [
-      { text: row.provider.padEnd(16).slice(0, 16), fg: C.value },
-      { text: ` ${status.toUpperCase().padEnd(12)}`, fg: statusColor(status) },
-      { text: ` oauth=${row.hasOAuthConfig ? 'yes' : 'no'} `, fg: row.hasOAuthConfig ? C.info : C.dim },
-      { text: ` override=${row.subscription ? 'active' : 'off'}`, fg: row.subscription ? C.good : C.dim },
-    ], C, { selected, selectedBg: C.selectedBg });
-  }
-
-  public handleInput(key: string): boolean {
-    if (this.rows.length === 0) return false;
-    const selected = this.rows[this.selectedIndex] ?? null;
-    if (key === 'ArrowUp' || key === 'k') {
-      this.selectedIndex = Math.max(0, this.selectedIndex - 1);
-      this.logoutConfirmationTarget = null;
-      this.markDirty();
-      return true;
-    }
-    if (key === 'ArrowDown' || key === 'j') {
-      this.selectedIndex = Math.min(this.rows.length - 1, this.selectedIndex + 1);
-      this.logoutConfirmationTarget = null;
-      this.markDirty();
-      return true;
-    }
-    if (key === 'enter' || key === 'x') {
-      if (!selected?.subscription) return false;
-      if (this.logoutConfirmationTarget === null || this.logoutConfirmationTarget !== selected.provider) {
-        this.logoutConfirmationTarget = selected.provider;
-        this.markDirty();
-        return true;
-      }
-      this.subscriptionManager.logout(selected.provider);
-      this.logoutConfirmationTarget = null;
-      this.refresh();
-      this.markDirty();
-      return true;
-    }
-    if ((key === 'n' || key === 'escape') && this.logoutConfirmationTarget) {
-      this.logoutConfirmationTarget = null;
-      this.markDirty();
-      return true;
-    }
-    if (key === 'r') {
-      this.refresh();
-      this.logoutConfirmationTarget = null;
-      this.markDirty();
-      return true;
-    }
-    return false;
-  }
-
-  private refresh(): void {
-    const manager = this.subscriptionManager;
-    const services = this.serviceRegistry.getAll();
-    const builtinProviders = listBuiltinSubscriptionProviders();
-    const providers = new Set<string>([
-      ...builtinProviders.map((provider) => provider.provider),
-      ...Object.values(services)
-        .filter((service) => service.authType === 'oauth' && service.oauth)
-        .map((service) => service.providerId ?? service.name),
-      ...manager.list().map((entry) => entry.provider),
-      ...manager.listPending().map((entry) => entry.provider),
-    ]);
-    this.rows = [...providers]
-      .sort((a, b) => a.localeCompare(b))
-      .map((provider) => {
-        const service = Object.values(services).find((entry) => (
-          (entry.providerId ?? entry.name) === provider && entry.authType === 'oauth' && entry.oauth
-        ));
-        const builtin = builtinProviders.find((entry) => entry.provider === provider);
-        return {
-          provider,
-          hasOAuthConfig: Boolean(service?.oauth) || Boolean(builtin),
-          subscription: manager.get(provider),
-          pending: manager.getPending(provider),
-        } satisfies SubscriptionRow;
-      });
-    this.selectedIndex = Math.min(this.selectedIndex, Math.max(0, this.rows.length - 1));
-  }
-
-  public render(width: number, height: number): Line[] {
-    this.refresh();
-    this.clampSelection();
-    const intro = 'Review provider login state, subscription-backed routing, and pending browser sign-ins.';
-
-    const activeCount = this.rows.filter((row) => row.subscription).length;
-    const pendingCount = this.rows.filter((row) => row.pending).length;
-    const postureLines = [
-      buildKeyValueLine(width, [
-        { label: 'configured', value: String(this.rows.filter((row) => row.hasOAuthConfig).length), valueColor: C.info },
-        { label: 'active', value: String(activeCount), valueColor: activeCount > 0 ? C.good : C.dim },
-        { label: 'pending', value: String(pendingCount), valueColor: pendingCount > 0 ? C.warn : C.dim },
-        { label: 'providers', value: String(this.rows.length), valueColor: C.value },
-      ], C),
-      buildKeyValueLine(width, [
-        { label: 'selected', value: (this.rows[this.selectedIndex]?.provider ?? 'none'), valueColor: this.rows[this.selectedIndex] ? C.value : C.dim },
-        { label: 'status', value: this.rows[this.selectedIndex] ? statusOf(this.rows[this.selectedIndex]!) : 'n/a', valueColor: this.rows[this.selectedIndex] ? statusColor(statusOf(this.rows[this.selectedIndex]!)) : C.dim },
-      ], C),
-      buildGuidanceLine(width, '/subscription login <provider> start --yes', 'start browser login, then finish manually with the callback code or URL', C),
-    ];
-
-    // Empty state: render posture + base empty state
-    if (this.rows.length === 0) {
-      const summaryLines = buildSummaryBlock(width, 'Subscription posture', postureLines, C);
-      const emptyLines = buildEmptyState(
-        width,
-        this.getEmptyStateMessage(),
-        'Built-in OAuth-capable providers and configured provider routes will appear here once available for browser login or session import.',
-        this.getEmptyStateActions(),
-        C,
-      );
-      const workspace = buildPanelWorkspace(width, height, {
-        title: 'Provider Subscriptions',
-        intro,
-        sections: [{ lines: [...summaryLines, ...emptyLines] }],
-        footerLines: [
-          buildGuidanceLine(width, '/subscription login <provider> start --yes', 'start browser login, then finish explicitly from the Agent command or workspace form', C),
-          buildPanelLine(width, [['  Up/Down move  Enter/X sign out selected provider  r refresh', C.dim]]),
-        ],
-        palette: C,
-      });
-      while (workspace.length < height) workspace.push(createEmptyLine(width));
-      return workspace.slice(0, height);
-    }
-
-    const selectedRow = this.rows[this.selectedIndex];
-    const detailRows: Line[] = [];
-    if (selectedRow) {
-      detailRows.push(buildKeyValueLine(width, [
-        { label: 'provider', value: selectedRow.provider, valueColor: C.value },
-        { label: 'status', value: statusOf(selectedRow), valueColor: statusColor(statusOf(selectedRow)) },
-        { label: 'oauth config', value: selectedRow.hasOAuthConfig ? 'present' : 'missing', valueColor: selectedRow.hasOAuthConfig ? C.good : C.bad },
-      ], C));
-      if (selectedRow.subscription) {
-        const expires = selectedRow.subscription.expiresAt
-          ? new Date(selectedRow.subscription.expiresAt).toISOString()
-          : 'n/a';
-        detailRows.push(buildKeyValueLine(width, [
-          { label: 'token type', value: selectedRow.subscription.tokenType, valueColor: C.info },
-          { label: 'expires', value: expires, valueColor: C.dim },
-        ], C));
-        detailRows.push(buildPanelLine(width, [[
-          ` ${selectedRow.subscription.overrideAmbientApiKeys
-            ? 'Provider subscription overrides ambient API-key resolution for this provider.'
-            : 'Stored for subscription-backed flows. Ambient API-key resolution remains unchanged.'}`,
-          C.dim,
-        ]]));
-        if (this.logoutConfirmationTarget === selectedRow.provider) {
-          detailRows.push(buildPanelLine(width, [[` Press Enter or X again to sign out ${selectedRow.provider}.`, C.warn]]));
-        }
-      } else if (selectedRow.pending) {
-        detailRows.push(buildPanelLine(width, [[' Login is pending. Finish with /subscription login <provider> finish <code> --yes.', C.warn]]));
-      } else if (selectedRow.hasOAuthConfig) {
-        detailRows.push(buildPanelLine(width, [[' Ready for login. Start with /subscription login <provider> start --yes.', C.dim]]));
-      } else {
-        detailRows.push(buildPanelLine(width, [[' Add a provider-specific OAuth config or enable a built-in subscription provider to use subscription login.', C.bad]]));
-      }
-    }
-
-    const headerLines: Line[] = buildSummaryBlock(width, 'Subscription posture', postureLines, C);
-
-    return this.renderList(width, height, {
-      title: 'Provider Subscriptions',
-      header: headerLines,
-      footer: [
-        ...detailRows,
-        buildGuidanceLine(width, '/subscription login <provider> start --yes', 'start browser-based provider login from the packaged subscription flow', C),
-        buildPanelLine(width, [['  Up/Down move  Enter/X sign out selected provider  r refresh', C.dim]]),
-      ],
-    });
-  }
-}

package/src/panels/system-messages-panel.ts

@@ -1,230 +0,0 @@
-/**
- * SystemMessagesPanel — displays operational system messages routed away
- * from the main conversation.
- *
- * Migrated (Wave B2): extends ScrollableListPanel<SystemMessageEntry>.
- * Navigation (up/down/j/k/pageup/pagedown/g/G) is handled by the base class.
- */
-
-import { ScrollableListPanel } from './scrollable-list-panel.ts';
-import type { Line } from '../types/grid.ts';
-import type { ComponentHealthMonitor } from '../runtime/perf/panel-health-monitor.ts';
-import {
-  buildBodyText,
-  buildEmptyState,
-  buildGuidanceLine,
-  buildKeyValueLine,
-  buildPanelListRow,
-  buildPanelLine,
-  buildSummaryBlock,
-  buildPanelWorkspace,
-  resolvePrimaryScrollableSection,
-  DEFAULT_PANEL_PALETTE,
-  extendPalette,
-  type PanelPalette,
-  type PanelWorkspaceSection,
-} from './polish.ts';
-import { ConfigManager } from '@pellux/goodvibes-sdk/platform/config';
-
-const MAX_MESSAGES = 500;
-
-const C = extendPalette(DEFAULT_PANEL_PALETTE, {
-  header: '#00ffff',
-  headerBg: '#0f172a',
-  high: '#fbbf24',
-  low: '#9ca3af',
-  ts: '#6b7280',
-} as const);
-
-export type SystemMessagePriority = 'high' | 'low';
-
-export interface SystemMessageEntry {
-  ts: number;
-  text: string;
-  priority: SystemMessagePriority;
-}
-
-function fmtTime(ts: number): string {
-  const d = new Date(ts);
-  const hh = String(d.getHours()).padStart(2, '0');
-  const mm = String(d.getMinutes()).padStart(2, '0');
-  const ss = String(d.getSeconds()).padStart(2, '0');
-  return `${hh}:${mm}:${ss}`;
-}
-
-export class SystemMessagesPanel extends ScrollableListPanel<SystemMessageEntry> {
-  private _messages: SystemMessageEntry[] = [];
-  private readonly configManager: ConfigManager;
-
-  constructor(configManager: ConfigManager, componentHealthMonitor?: ComponentHealthMonitor) {
-    super('system-messages', 'System Messages', 'J', 'monitoring', componentHealthMonitor);
-    this.configManager = configManager;
-  }
-
-  // ---------------------------------------------------------------------------
-  // ScrollableListPanel contract
-  // ---------------------------------------------------------------------------
-
-  protected getItems(): readonly SystemMessageEntry[] {
-    return this._messages;
-  }
-
-  protected renderItem(
-    entry: SystemMessageEntry,
-    index: number,
-    selected: boolean,
-    width: number,
-  ): Line {
-    const preview = entry.text.replace(/\s+/g, ' ').trim();
-    return buildPanelListRow(width, [
-      { text: `${fmtTime(entry.ts)}  `, fg: C.ts },
-      {
-        text: `${entry.priority === 'high' ? 'HIGH' : 'LOW '.padEnd(4)}  `,
-        fg: entry.priority === 'high' ? C.high : C.low,
-        bold: entry.priority === 'high',
-      },
-      { text: preview, fg: C.value },
-    ], C, {
-      selected,
-      marker: entry.priority === 'high' ? '!' : '\u00b7',
-    });
-  }
-
-  protected override getPalette(): PanelPalette {
-    return C;
-  }
-
-  protected override getEmptyStateMessage(): string {
-    return ' No system messages yet.';
-  }
-
-  // ---------------------------------------------------------------------------
-  // Public API
-  // ---------------------------------------------------------------------------
-
-  push(text: string, priority: SystemMessagePriority): void {
-    this._messages.push({ ts: Date.now(), text, priority });
-    if (this._messages.length > MAX_MESSAGES) {
-      this._messages.shift();
-      if (this.selectedIndex > 0) this.selectedIndex--;
-    }
-    // Auto-follow: jump to latest message
-    this.selectedIndex = Math.max(0, this._messages.length - 1);
-    this.markDirty();
-  }
-
-  get count(): number {
-    return this._messages.length;
-  }
-
-  getMessages(): readonly SystemMessageEntry[] {
-    return this._messages;
-  }
-
-  // ---------------------------------------------------------------------------
-  // Input — base class handles all navigation; nothing custom here
-  // ---------------------------------------------------------------------------
-
-  // ---------------------------------------------------------------------------
-  // Render — multi-section layout (posture + list + detail)
-  // ---------------------------------------------------------------------------
-
-  override render(width: number, height: number): Line[] {
-    return this.trackedRender(() => {
-      const intro = 'Operational system traffic routed out of the main conversation to reduce noise and keep runtime status reviewable.';
-
-      if (this._messages.length === 0) {
-        this.needsRender = false;
-        const lines = buildPanelWorkspace(width, height, {
-          title: 'System Messages',
-          intro,
-          sections: [{
-            lines: buildEmptyState(
-              width,
-              this.getEmptyStateMessage(),
-              'Model switches, scan notices, provider/system state, and other operational updates will appear here once the runtime starts emitting them.',
-              [
-                { command: '/help', summary: 'review commands and operator workflows' },
-                { command: '/agent', summary: 'open the Agent operator workspace' },
-              ],
-              C,
-            ),
-          }],
-          footerLines: [
-            buildPanelLine(width, [['  j/k or Up/Down scroll  g/G jump  low-priority system traffic lands here by default', C.dim]]),
-          ],
-          palette: C,
-        });
-        return lines;
-      }
-
-      const highCount = this._messages.filter((entry) => entry.priority === 'high').length;
-      const lowCount = this._messages.length - highCount;
-      this.selectedIndex = Math.min(this.selectedIndex, this._messages.length - 1);
-      const ui = this.configManager.getRaw().ui;
-      const postureLines = [
-        buildKeyValueLine(width, [
-          { label: 'messages', value: String(this._messages.length), valueColor: C.value },
-          { label: 'high', value: String(highCount), valueColor: highCount > 0 ? C.high : C.dim },
-          { label: 'low', value: String(lowCount), valueColor: lowCount > 0 ? C.low : C.dim },
-        ], C),
-        buildKeyValueLine(width, [
-          { label: 'system route', value: ui.systemMessages, valueColor: C.info },
-          { label: 'ops route', value: ui.operationalMessages, valueColor: C.info },
-          { label: 'review route', value: ui.wrfcMessages, valueColor: C.info },
-        ], C),
-        buildGuidanceLine(width, '/settings', 'adjust where operational and delegated review/build messages render across panels and conversation', C),
-      ];
-
-      const selected = this._messages[this.selectedIndex]!;
-      const messageRows: Line[] = this._messages.map((entry, index) =>
-        this.renderItem(entry, index, index === this.selectedIndex, width),
-      );
-
-      const postureSection: PanelWorkspaceSection = { lines: buildSummaryBlock(width, 'System posture', postureLines, C) };
-      const detailSection: PanelWorkspaceSection = {
-        title: 'Selected Message',
-        lines: [
-          buildPanelLine(width, [
-            [' Time ', C.label],
-            [fmtTime(selected.ts), C.value],
-            ['   Priority ', C.label],
-            [selected.priority, selected.priority === 'high' ? C.high : C.low],
-          ]),
-          ...buildBodyText(width, selected.text, C, C.value),
-        ],
-      };
-      const messagesSection = resolvePrimaryScrollableSection(width, height, {
-        intro,
-        palette: C,
-        beforeSections: [postureSection],
-        section: {
-          title: 'Timeline',
-          scrollableLines: messageRows,
-          selectedIndex: this.selectedIndex,
-          scrollOffset: this.scrollStart,
-          minRows: 4,
-          appendWindowSummary: { dimColor: C.ts },
-        },
-        afterSections: [detailSection],
-      });
-      this.scrollStart = messagesSection.scrollOffset;
-      const sections: PanelWorkspaceSection[] = [
-        postureSection,
-        messagesSection.section,
-        detailSection,
-      ];
-      this.needsRender = false;
-      const lines = buildPanelWorkspace(width, height, {
-        title: 'System Messages',
-        intro,
-        sections,
-        footerLines: [
-          buildPanelLine(width, [['  j/k or Up/Down scroll  PgUp/PgDn page  g/G jump', C.dim]]),
-        ],
-        palette: C,
-      });
-      return lines;
-    });
-  }
-}