dsh-code 0.7.0 → 0.9.0

package/src/render/animations.ts

@@ -115,19 +115,33 @@ export const DEEPSEEK_WAVE_BANDS: Readonly<Record<DeepseekWaveStyle, Readonly<Re
   },
 }
 
+/** Extra display time applied to every Codex ignition style. */
+export const DEEPSEEK_WAVE_DURATION_EXTENSION_MS = 200
+
+/** Original Codex duration used as the animation's sampling timeline. */
+function deepseekWaveBaseDuration(tier: DeepseekWaveTier, style: DeepseekWaveStyle): number {
+  switch (style) {
+    case 'aurora': return tier === 'flash' ? 1300 : 1600
+    case 'pulse': return tier === 'flash' ? 900 : 1250
+    case 'wave': return tier === 'flash' ? 1000 : 1300
+  }
+}
+
 /**
- * Total animation duration — Codex `IgnitionStyle::total_duration`: three
- * styles × two tiers.
+ * Total visible duration: the Codex ignition duration plus 200ms so its motion
+ * remains readable in a busy terminal.
  * @param tier - the active wave tier.
  * @param style - the active ignition style.
  * @returns the duration in milliseconds.
  */
 export function deepseekWaveDuration(tier: DeepseekWaveTier, style: DeepseekWaveStyle = 'wave'): number {
-  switch (style) {
-    case 'aurora': return tier === 'flash' ? 1300 : 1600
-    case 'pulse': return tier === 'flash' ? 900 : 1250
-    case 'wave': return tier === 'flash' ? 1000 : 1300
-  }
+  return deepseekWaveBaseDuration(tier, style) + DEEPSEEK_WAVE_DURATION_EXTENSION_MS
+}
+
+/** Map the extended display timeline back onto the original Codex samples. */
+function deepseekWaveSampleElapsedMs(tick: number, tier: DeepseekWaveTier, style: DeepseekWaveStyle): number {
+  const base = deepseekWaveBaseDuration(tier, style)
+  return tick * DEEPSEEK_WAVE_TICK_MS * base / deepseekWaveDuration(tier, style)
 }
 
 /**
@@ -282,8 +296,8 @@ export function deepseekWaveColumnBg(
   hues: readonly [RgbTriple, RgbTriple, RgbTriple],
   base: RgbTriple,
 ): RgbTriple | null {
-  const total = deepseekWaveDuration(tier, style) / 1000
-  const elapsed = (tick * DEEPSEEK_WAVE_TICK_MS) / 1000
+  const total = deepseekWaveBaseDuration(tier, style) / 1000
+  const elapsed = deepseekWaveSampleElapsedMs(tick, tier, style) / 1000
   const fade = style === 'aurora' ? envelope(elapsed, total, 0.25, 0.40) : 1
   const weights = [0, 0, 0]
   for (const band of DEEPSEEK_WAVE_BANDS[style][tier]) {
@@ -311,14 +325,14 @@ export function deepseekWaveColumnBg(
 }
 
 /**
- * The sparkle glyph for a tick — Codex `spark_frame`: from 900ms on, one
- * glyph every 100ms through `· ✦ ✧`, then silent. The deepseek (Ultra) tier
- * only; the Ink layer still must skip occupied cells.
+ * The sparkle glyph for a tick — Codex `spark_frame`, sampled on the same
+ * proportionally slowed DeepSeek Wave timeline as the composer background.
+ * The Ink layer still must skip occupied cells.
  * @param tick - wave frame at DEEPSEEK_WAVE_TICK_MS.
- * @returns the sparkle glyph, or null outside the 900..1200ms window.
+ * @returns the sparkle glyph, or null outside the stretched tail window.
  */
 export function deepseekWaveSpark(tick: number): string | null {
-  const elapsed = tick * DEEPSEEK_WAVE_TICK_MS
+  const elapsed = deepseekWaveSampleElapsedMs(tick, 'deepseek', 'wave')
   if (elapsed < SPARK_START_MS) return null
   const frame = Math.floor((elapsed - SPARK_START_MS) / SPARK_FRAME_MS)
   return SPARK_GLYPHS[frame] ?? null
@@ -342,8 +356,8 @@ export function deepseekWaveBorderColor(
   hues: readonly [RgbTriple, RgbTriple, RgbTriple],
   dim: RgbTriple,
 ): RgbTriple {
-  const total = deepseekWaveDuration(tier, style) / 1000
-  const elapsed = (tick * DEEPSEEK_WAVE_TICK_MS) / 1000
+  const total = deepseekWaveBaseDuration(tier, style) / 1000
+  const elapsed = deepseekWaveSampleElapsedMs(tick, tier, style) / 1000
   // The border stays visibly on the tier accent for the whole sweep (a
   // floor keeps it glowing, not just cresting mid-wave): it ramps in as the
   // first band launches and relaxes after the last crest passes.
@@ -361,8 +375,8 @@ export function deepseekWaveBorderColor(
  * @returns true while the wordmark should be visible.
  */
 export function deepseekWaveWordVisible(tick: number, tier: DeepseekWaveTier, style: DeepseekWaveStyle = 'wave'): boolean {
-  const total = deepseekWaveDuration(tier, style) / 1000
-  const elapsed = (tick * DEEPSEEK_WAVE_TICK_MS) / 1000
+  const total = deepseekWaveBaseDuration(tier, style) / 1000
+  const elapsed = deepseekWaveSampleElapsedMs(tick, tier, style) / 1000
   return envelope(elapsed, total, total * 0.2, total * 0.35) > 0.25
 }
 

package/src/render/lines.ts

@@ -1,218 +1,236 @@
-/** Width-safe styled physical rows for bounded terminal panels. */
-
-import type { TranscriptEntry } from './projection.ts'
-import type { ToolDetail } from './tool-detail.ts'
-import { renderMarkdown, visibleColumns, type MdStyle } from './markdown.ts'
-import { formatTokens } from './status.ts'
-import { displayText } from './text.ts'
-
-/** Presentation classes mapped to Ink colors by the app boundary. */
-export type LineStyle = MdStyle | 'brand' | 'success' | 'error' | 'warn' | 'dimItalic'
-
-/** One styled run within a physical terminal row. */
-export interface StyledSegment {
-  text: string
-  style: LineStyle
-}
-
-/** One row guaranteed not to exceed the requested terminal width. */
-export interface StyledLine {
-  segments: readonly StyledSegment[]
-}
-
-/** Construct one segment without leaking mutable objects into cached rows. */
-export function lineSegment(text: string, style: LineStyle = 'plain'): StyledSegment {
-  return { text, style }
-}
-
-/** Append a character while merging adjacent runs with the same style. */
-function appendSegment(target: StyledSegment[], text: string, style: LineStyle): void {
-  const previous = target[target.length - 1]
-  if (previous?.style === style) {
-    target[target.length - 1] = { text: previous.text + text, style }
-    return
-  }
-  target.push({ text, style })
-}
-
-/**
- * Sanitize and hard-wrap styled content into exact physical rows.
- * Tabs become two visible spaces because terminal tab stops are contextual
- * and therefore cannot participate in a deterministic row budget.
- */
-export function styledLines(segments: readonly StyledSegment[], columns: number): readonly StyledLine[] {
-  const width = Math.max(1, Math.floor(columns))
-  const lines: StyledLine[] = []
-  let current: StyledSegment[] = []
-  let used = 0
-  const flush = (): void => {
-    lines.push({ segments: current })
-    current = []
-    used = 0
-  }
-
-  for (const segment of segments) {
-    const safe = displayText(segment.text).replaceAll('\t', '  ').replaceAll('\r', '')
-    for (const char of safe) {
-      if (char === '\n') {
-        flush()
-        continue
-      }
-      const cells = visibleColumns(char)
-      if (used > 0 && used + cells > width) flush()
-      appendSegment(current, char, segment.style)
-      used += cells
-    }
-  }
-  if (current.length > 0 || lines.length === 0) flush()
-  return lines
-}
-
-/** Plain/dim text convenience over {@link styledLines}. */
-export function textLines(text: string, columns: number, style: LineStyle = 'plain'): readonly StyledLine[] {
-  return styledLines([lineSegment(text, style)], columns)
-}
-
-/** Markdown rows re-hardened so a single long word cannot escape the budget. */
-export function markdownLines(text: string, columns: number): readonly StyledLine[] {
-  const width = Math.max(1, Math.floor(columns))
-  const parsed = renderMarkdown(displayText(text), Math.max(10, width))
-  return parsed.flatMap(line => styledLines(
-    line.segments.map(segment => lineSegment(segment.text, segment.style)),
-    width,
-  ))
-}
-
-/** Expanded structured tool detail as scrollable, width-safe rows. */
-function toolDetailLines(detail: ToolDetail, columns: number): readonly StyledLine[] {
-  switch (detail.kind) {
-    case 'diff':
-      return detail.diffs.flatMap(diff => [
-        ...styledLines([
-          lineSegment('  ── ', 'dim'),
-          lineSegment(diff.path, 'dim'),
-          lineSegment(diff.truncated ? ' (diff truncated)' : '', 'dim'),
-        ], columns),
-        ...diff.lines.flatMap(line => styledLines([
-          lineSegment(`  ${line.mark}${line.text}`, line.mark === '+' ? 'success' : line.mark === '-' ? 'error' : 'dim'),
-        ], columns)),
-      ])
-    case 'read':
-      return [
-        ...textLines(
-          `  ── ${detail.path} · lines ${detail.offset}-${detail.lines.length > 0 ? detail.lines[detail.lines.length - 1]!.number : detail.offset - 1} of ${detail.totalLines}${detail.truncated ? ' (window truncated)' : ''}`,
-          columns,
-          'dim',
-        ),
-        ...detail.lines.flatMap(line => textLines(`  ${String(line.number).padStart(5, ' ')} | ${line.text}`, columns, 'dim')),
-      ]
-    case 'web-search':
-      return [
-        ...detail.sources.flatMap(source => [
-          ...styledLines([
-            lineSegment(`  ? ${source.title ?? source.url}`, 'brand'),
-            lineSegment(` - ${source.url}`, 'dim'),
-          ], columns),
-          ...(source.snippet === '' ? [] : textLines(`    ${source.snippet}`, columns, 'dim')),
-        ]),
-        ...textLines(`  ${detail.sources.length} sources${detail.truncated ? ' (capped)' : ''}`, columns, 'dim'),
-      ]
-    case 'web-fetch':
-      return textLines(`  ${detail.url} · HTTP ${detail.statusCode}`, columns, 'dim')
-    case 'raw':
-      return [
-        ...textLines(`  ${detail.text}`, columns, 'dim'),
-        ...textLines(detail.truncated ? '  … (output truncated)' : '  (end of output)', columns, 'dim'),
-      ]
-    default: {
-      const exhaustive: never = detail
-      return exhaustive
-    }
-  }
-}
-
-/**
- * Convert one durable transcript entry to its complete scrollable row model.
- * The source entry stays intact; only the caller's visible slice is rendered.
- */
-export function transcriptEntryLines(entry: TranscriptEntry, columns: number): readonly StyledLine[] {
-  const width = Math.max(1, Math.floor(columns))
-  switch (entry.kind) {
-    case 'user':
-      return styledLines([
-        lineSegment(entry.notice ? '⤷ ' : '❯ ', entry.notice ? 'dim' : 'brand'),
-        lineSegment(entry.text, entry.notice ? 'dim' : 'plain'),
-      ], width)
-    case 'pending':
-      // Codex PendingSteer: a queued prompt renders exactly like an ordinary
-      // user row, so the durable user/message retires it without any flicker.
-      return styledLines([
-        lineSegment('❯ ', 'brand'),
-        lineSegment(entry.text, 'plain'),
-      ], width)
-    case 'assistant': {
-      const reasoning = entry.reasoning === ''
-        ? []
-        : styledLines([
-          lineSegment('  ✻ ', 'dimItalic'),
-          lineSegment(entry.reasoning, 'dimItalic'),
-        ], width)
-      // Every reply row carries the composer's two-column gutter, so reply
-      // text aligns with the input cursor (Codex LIVE_PREFIX alignment); the
-      // wrap budget shrinks by the same amount so no line double-wraps.
-      const body = markdownLines(entry.text, Math.max(10, width - 2))
-        .map(line => ({ segments: [{ text: '  ', style: 'plain' as const }, ...line.segments] }))
-      return [...reasoning, ...body]
-    }
-    case 'tool': {
-      const mark = entry.state === 'running' ? '●' : entry.state === 'error' ? '⨯' : '⏺'
-      const markStyle: LineStyle = entry.state === 'running' ? 'brand' : entry.state === 'error' ? 'error' : 'success'
-      return [
-        ...styledLines([
-          lineSegment(`${mark} `, markStyle),
-          lineSegment(entry.name, 'brand'),
-          lineSegment(entry.preview === '' ? '' : ` ${entry.preview}`, 'dim'),
-        ], width),
-        ...(entry.summary === '' ? [] : textLines(`  ⎿ ${entry.summary}`, width, entry.state === 'error' ? 'error' : 'dim')),
-        ...(entry.detail === undefined ? [] : toolDetailLines(entry.detail, width)),
-      ]
-    }
-    case 'command': {
-      const mark = entry.state === 'running' ? '●' : entry.state === 'error' ? '⨯' : '⏺'
-      const markStyle: LineStyle = entry.state === 'running' ? 'brand' : entry.state === 'error' ? 'error' : 'success'
-      return [
-        ...styledLines([
-          lineSegment(`${mark} `, markStyle),
-          lineSegment(`/${entry.name}`, 'brand'),
-          lineSegment(entry.args === '' ? '' : ` ${entry.args}`, 'dim'),
-        ], width),
-        ...(entry.summary === '' ? [] : textLines(`  ⎿ ${entry.summary}`, width, entry.state === 'error' ? 'error' : 'dim')),
-      ]
-    }
-    case 'turn-marker':
-      return textLines(`  ⏹ ${entry.text}`, width, 'dim')
-    case 'compaction':
-      return textLines(entry.ok
-        ? `  ⧉ compacted ~${formatTokens(entry.tokens)} tokens`
-        : `  ⧉ compaction failed: ${entry.error}`, width, 'dim')
-    case 'retry':
-      return textLines(
-        `  ↻ retry ${entry.attempt}/${entry.max} · ${entry.code} · ${Math.round(entry.delayMs / 100) / 10}s`,
-        width,
-        entry.state === 'running' ? 'warn' : 'dim',
-      )
-    case 'files':
-      return entry.paths.length === 0
-        ? textLines('  ⎄ no changed files', width, 'dim')
-        : [
-          ...textLines(`  ⎄ ${entry.paths.length} changed file${entry.paths.length === 1 ? '' : 's'}`, width, 'dim'),
-          ...entry.paths.flatMap(path => textLines(`    ${path}`, width, 'dim')),
-        ]
-    case 'error':
-      return textLines(entry.text, width, 'error')
-    default: {
-      const exhaustive: never = entry
-      return exhaustive
-    }
-  }
-}
+/** Width-safe styled physical rows for bounded terminal panels. */
+
+import type { TranscriptEntry } from './projection.ts'
+import type { ToolDetail } from './tool-detail.ts'
+import { renderMarkdown, visibleColumns, type MdStyle } from './markdown.ts'
+import { formatTokens } from './status.ts'
+import { displayText } from './text.ts'
+
+/** Presentation classes mapped to Ink colors by the app boundary. */
+export type LineStyle = MdStyle | 'brand' | 'success' | 'error' | 'warn' | 'dimItalic'
+
+/** One styled run within a physical terminal row. */
+export interface StyledSegment {
+  text: string
+  style: LineStyle
+}
+
+/** One row guaranteed not to exceed the requested terminal width. */
+export interface StyledLine {
+  segments: readonly StyledSegment[]
+}
+
+/** Construct one segment without leaking mutable objects into cached rows. */
+export function lineSegment(text: string, style: LineStyle = 'plain'): StyledSegment {
+  return { text, style }
+}
+
+/** Append a character while merging adjacent runs with the same style. */
+function appendSegment(target: StyledSegment[], text: string, style: LineStyle): void {
+  const previous = target[target.length - 1]
+  if (previous?.style === style) {
+    target[target.length - 1] = { text: previous.text + text, style }
+    return
+  }
+  target.push({ text, style })
+}
+
+/**
+ * Sanitize and hard-wrap styled content into exact physical rows.
+ * Tabs become two visible spaces because terminal tab stops are contextual
+ * and therefore cannot participate in a deterministic row budget.
+ */
+export function styledLines(segments: readonly StyledSegment[], columns: number): readonly StyledLine[] {
+  const width = Math.max(1, Math.floor(columns))
+  const lines: StyledLine[] = []
+  let current: StyledSegment[] = []
+  let used = 0
+  const flush = (): void => {
+    lines.push({ segments: current })
+    current = []
+    used = 0
+  }
+
+  for (const segment of segments) {
+    const safe = displayText(segment.text).replaceAll('\t', '  ').replaceAll('\r', '')
+    for (const char of safe) {
+      if (char === '\n') {
+        flush()
+        continue
+      }
+      const cells = visibleColumns(char)
+      if (used > 0 && used + cells > width) flush()
+      appendSegment(current, char, segment.style)
+      used += cells
+    }
+  }
+  if (current.length > 0 || lines.length === 0) flush()
+  return lines
+}
+
+/** Plain/dim text convenience over {@link styledLines}. */
+export function textLines(text: string, columns: number, style: LineStyle = 'plain'): readonly StyledLine[] {
+  return styledLines([lineSegment(text, style)], columns)
+}
+
+/** Markdown rows re-hardened so a single long word cannot escape the budget. */
+export function markdownLines(text: string, columns: number): readonly StyledLine[] {
+  const width = Math.max(1, Math.floor(columns))
+  const parsed = renderMarkdown(displayText(text), Math.max(10, width))
+  return parsed.flatMap(line => styledLines(
+    line.segments.map(segment => lineSegment(segment.text, segment.style)),
+    width,
+  ))
+}
+
+/**
+ * Codex-style reasoning rows: the marker occupies the reply gutter and every
+ * wrapped or explicit continuation starts with the same two-column indent, so
+ * reasoning content and assistant Markdown share one left edge.
+ */
+export function reasoningLines(text: string, columns: number): readonly StyledLine[] {
+  const width = Math.max(1, Math.floor(columns))
+  if (width < 3) return textLines(text, width, 'dimItalic')
+  const contentWidth = width - 2
+  const content = displayText(text).replaceAll('\t', '  ').replaceAll('\r', '')
+    .split('\n')
+    .flatMap(line => styledLines([lineSegment(line, 'dimItalic')], contentWidth))
+  return content.map((line, index) => ({
+    segments: [
+      lineSegment(index === 0 ? '✻ ' : '  ', 'dimItalic'),
+      ...line.segments,
+    ],
+  }))
+}
+
+/** Expanded structured tool detail as scrollable, width-safe rows. */
+function toolDetailLines(detail: ToolDetail, columns: number): readonly StyledLine[] {
+  switch (detail.kind) {
+    case 'diff':
+      return detail.diffs.flatMap(diff => [
+        ...styledLines([
+          lineSegment('  ── ', 'dim'),
+          lineSegment(diff.path, 'dim'),
+          lineSegment(diff.truncated ? ' (diff truncated)' : '', 'dim'),
+        ], columns),
+        ...diff.lines.flatMap(line => styledLines([
+          lineSegment(`  ${line.mark}${line.text}`, line.mark === '+' ? 'success' : line.mark === '-' ? 'error' : 'dim'),
+        ], columns)),
+      ])
+    case 'read':
+      return [
+        ...textLines(
+          `  ── ${detail.path} · lines ${detail.offset}-${detail.lines.length > 0 ? detail.lines[detail.lines.length - 1]!.number : detail.offset - 1} of ${detail.totalLines}${detail.truncated ? ' (window truncated)' : ''}`,
+          columns,
+          'dim',
+        ),
+        ...detail.lines.flatMap(line => textLines(`  ${String(line.number).padStart(5, ' ')} | ${line.text}`, columns, 'dim')),
+      ]
+    case 'web-search':
+      return [
+        ...detail.sources.flatMap(source => [
+          ...styledLines([
+            lineSegment(`  ? ${source.title ?? source.url}`, 'brand'),
+            lineSegment(` - ${source.url}`, 'dim'),
+          ], columns),
+          ...(source.snippet === '' ? [] : textLines(`    ${source.snippet}`, columns, 'dim')),
+        ]),
+        ...textLines(`  ${detail.sources.length} sources${detail.truncated ? ' (capped)' : ''}`, columns, 'dim'),
+      ]
+    case 'web-fetch':
+      return textLines(`  ${detail.url} · HTTP ${detail.statusCode}`, columns, 'dim')
+    case 'raw':
+      return [
+        ...textLines(`  ${detail.text}`, columns, 'dim'),
+        ...textLines(detail.truncated ? '  … (output truncated)' : '  (end of output)', columns, 'dim'),
+      ]
+    default: {
+      const exhaustive: never = detail
+      return exhaustive
+    }
+  }
+}
+
+/**
+ * Convert one durable transcript entry to its complete scrollable row model.
+ * The source entry stays intact; only the caller's visible slice is rendered.
+ */
+export function transcriptEntryLines(entry: TranscriptEntry, columns: number): readonly StyledLine[] {
+  const width = Math.max(1, Math.floor(columns))
+  switch (entry.kind) {
+    case 'user':
+      return styledLines([
+        lineSegment(entry.notice ? '⤷ ' : '❯ ', entry.notice ? 'dim' : 'brand'),
+        lineSegment(entry.text, entry.notice ? 'dim' : 'plain'),
+      ], width)
+    case 'pending':
+      // Codex PendingSteer: a queued prompt renders exactly like an ordinary
+      // user row, so the durable user/message retires it without any flicker.
+      return styledLines([
+        lineSegment('❯ ', 'brand'),
+        lineSegment(entry.text, 'plain'),
+      ], width)
+    case 'assistant': {
+      const reasoning = entry.reasoning === '' ? [] : reasoningLines(entry.reasoning, width)
+      // Every reply row carries the composer's two-column gutter, so reply
+      // text aligns with the input cursor (Codex LIVE_PREFIX alignment); the
+      // wrap budget shrinks by the same amount so no line double-wraps.
+      const body = markdownLines(entry.text, Math.max(10, width - 2))
+        .map(line => ({ segments: [{ text: '  ', style: 'plain' as const }, ...line.segments] }))
+      return [...reasoning, ...body]
+    }
+    case 'tool': {
+      const mark = entry.state === 'running' ? '●' : entry.state === 'error' ? '⨯' : '⏺'
+      const markStyle: LineStyle = entry.state === 'running' ? 'brand' : entry.state === 'error' ? 'error' : 'success'
+      return [
+        ...styledLines([
+          lineSegment(`${mark} `, markStyle),
+          lineSegment(entry.name, 'brand'),
+          lineSegment(entry.preview === '' ? '' : ` ${entry.preview}`, 'dim'),
+        ], width),
+        // A delegation card carries what the child was asked (Codex's
+        // SpawnAgent prompt preview) while it runs, before any result.
+        ...(entry.prompt === '' ? [] : textLines(`  └ ${entry.prompt}`, width, 'dim')),
+        ...(entry.summary === '' ? [] : textLines(`  ⎿ ${entry.summary}`, width, entry.state === 'error' ? 'error' : 'dim')),
+        ...(entry.detail === undefined ? [] : toolDetailLines(entry.detail, width)),
+      ]
+    }
+    case 'command': {
+      const mark = entry.state === 'running' ? '●' : entry.state === 'error' ? '⨯' : '⏺'
+      const markStyle: LineStyle = entry.state === 'running' ? 'brand' : entry.state === 'error' ? 'error' : 'success'
+      return [
+        ...styledLines([
+          lineSegment(`${mark} `, markStyle),
+          lineSegment(`/${entry.name}`, 'brand'),
+          lineSegment(entry.args === '' ? '' : ` ${entry.args}`, 'dim'),
+        ], width),
+        ...(entry.summary === '' ? [] : textLines(`  ⎿ ${entry.summary}`, width, entry.state === 'error' ? 'error' : 'dim')),
+      ]
+    }
+    case 'turn-marker':
+      return textLines(`  ⏹ ${entry.text}`, width, 'dim')
+    case 'compaction':
+      return textLines(entry.ok
+        ? `  ⧉ compacted ~${formatTokens(entry.tokens)} tokens`
+        : `  ⧉ compaction failed: ${entry.error}`, width, 'dim')
+    case 'retry':
+      return textLines(
+        `  ↻ retry ${entry.attempt}/${entry.max} · ${entry.code} · ${Math.round(entry.delayMs / 100) / 10}s`,
+        width,
+        entry.state === 'running' ? 'warn' : 'dim',
+      )
+    case 'files':
+      return entry.paths.length === 0
+        ? textLines('  ⎄ no changed files', width, 'dim')
+        : [
+          ...textLines(`  ⎄ ${entry.paths.length} changed file${entry.paths.length === 1 ? '' : 's'}`, width, 'dim'),
+          ...entry.paths.flatMap(path => textLines(`    ${path}`, width, 'dim')),
+        ]
+    case 'error':
+      return textLines(entry.text, width, 'error')
+    default: {
+      const exhaustive: never = entry
+      return exhaustive
+    }
+  }
+}