opencode-context-tree 0.1.1 → 0.2.1

package/src/tui/route.tsx

@@ -4,18 +4,19 @@
  * OpenCode data through the adapters, actions through ./actions.
  */
 import type { TuiPluginApi } from "@opencode-ai/plugin/tui"
+import { PLUGIN_VERSION } from "../shared/version.js"
 import { For, Show, createEffect, createMemo, createSignal, on, onCleanup } from "solid-js"
 import { planJump } from "../core/actions.js"
 import { foldJournal, type TreeState } from "../core/journal.js"
-import { cycleFilter, moveSelection, nextBranchIndex, resolveSelection, toggleExpanded } from "../core/navigation.js"
+import { firstIndex, lastIndex, moveSelection, nextBranchIndex, resolveSelection, toggleExpanded } from "../core/navigation.js"
 import { bandFor, contextSizeOf, formatContext, formatK, type MinimalMessage } from "../core/tokens.js"
-import { buildSpineMap, buildTreeView, currentChainOf, type Filter, type Row } from "../core/tree.js"
+import { buildSpineMap, buildTreeView, currentChainOf, type Filter, type Row, type StepRow, type TurnRow } from "../core/tree.js"
 import type { Transcript } from "../core/transcript.js"
 import type { JournalStore } from "../shared/store.js"
-import { applyCrop, BRANCH_DIALOG, createNamedBranch, executeJump, executeUndo, mergeBranch, mergeDialogOptions, mergeDialogTitle, MERGE_TRUST, setLabel, type ActionContext, type MergeMode, type SummaryChoice } from "./actions.js"
-import { exportDecisions } from "../core/decision.js"
-import { buildLanes, columnFor, durationWeighted, fitColumns, sparkline, type LaneMode } from "../core/lanes.js"
-import { bar, consumers } from "../core/consumers.js"
+import { applyCrop, BRANCH_DIALOG, clip as clipTo, copyText, createNamedBranch, executeJump, executeUndo, mergeBranch, mergeDialogOptions, mergeDialogTitle, mergeTargetOf, MERGE_TRUST, ownTurnCount, setLabel, TRUNK_LABEL, UNDO_KEY, type ActionContext, type MergeMode, type SummaryChoice } from "./actions.js"
+import { decisionSummary, exportDecisions, renderDecision } from "../core/decision.js"
+import { buildEventStrip, stripIndexFor, type LaneMode, type StripCell } from "../core/lanes.js"
+import { bar, consumers, type Consumer, type ConsumerEntry } from "../core/consumers.js"
 import { hasEditor } from "./editor.js"
 import fs from "node:fs"
 import path from "node:path"
@@ -64,7 +65,7 @@ function fitRow(body: string, tokens: string, width: number): string {
 }
 
 /** Display glyph, from the row's semantic flags rather than the stored glyph. */
-function glyphOf(row: Exclude<Row, { kind: "branch" }>): string {
+function glyphOf(row: TurnRow | StepRow): string {
   if (row.kind === "turn") return row.isDecision ? "◆" : row.isSummary ? "≣" : "●"
   if (row.glyph === "⚙") return "⚙"
   if (row.glyph === "◇") return "≣" // OpenCode-native compaction summary
@@ -74,7 +75,7 @@ function glyphOf(row: Exclude<Row, { kind: "branch" }>): string {
 /** Content-forward row text — Pi's outline × DSH's trajectory: `user:` / `assistant:` inline,
  *  tool steps as `[bash $ …]` / `[tool: arg] → out` (from partPreview), decisions/summaries
  *  labelled. The gutter (drawn separately) carries the tree structure, not fixed columns. */
-function textOf(row: Exclude<Row, { kind: "branch" }>): string {
+function textOf(row: TurnRow | StepRow): string {
   if (row.kind === "turn") {
     if (row.isDecision) return plain(row.preview).replace(/^◆\s*/, "").replace(/^#+\s*/, "")
     if (row.isSummary) return plain(row.preview)
@@ -84,7 +85,16 @@ function textOf(row: Exclude<Row, { kind: "branch" }>): string {
   return `assistant: ${plain(row.preview)}`
 }
 
+/** The reasoning time folded onto this step by core (thinking parts have no row of their own
+ *  outside the `all` filter); drawn dim by the caller. */
+function thoughtOf(row: Row): string {
+  if (row.kind !== "step" || row.thinkingMs === undefined) return ""
+  return ` · ${(row.thinkingMs / 1000).toFixed(row.thinkingMs < 10_000 ? 1 : 0)}s thought`
+}
+
 function rowLine(row: Row, width: number, here: boolean): string {
+  // decoration, not content: no glyph, no token column
+  if (row.kind === "separator") return `${row.gutter}${row.text}`
   const tokens = `${row.kind !== "branch" && row.estimated ? "~" : ""}${formatK(row.tokens)}`
   const marker = here ? "  ← here" : ""
   let body: string
@@ -103,33 +113,63 @@ function rowLine(row: Row, width: number, here: boolean): string {
           ? ` [${row.label}]`
           : ""
     const dur = row.kind === "step" && row.durationMs !== undefined ? ` ${(row.durationMs / 1000).toFixed(row.durationMs < 10_000 ? 1 : 0)}s` : ""
-    body = `${row.gutter}${glyphOf(row)} ${textOf(row)}${flags}${dur}${marker}`
+    body = `${row.gutter}${glyphOf(row)} ${textOf(row)}${flags}${dur}${thoughtOf(row)}${marker}`
   }
   return fitRow(body, tokens, width)
 }
 
+/** A rendered row split for colour: the live search hit and the dim `…s thought` tail.
+ *  One segment means "draw it as one plain string" (the common case). */
+type Segment = { text: string; kind: "plain" | "match" | "dim" }
+function segmentsOf(line: string, query: string, thought: string): Segment[] {
+  const ranges: { at: number; len: number; kind: "match" | "dim" }[] = []
+  if (query) {
+    const at = line.toLowerCase().indexOf(query.toLowerCase())
+    if (at >= 0) ranges.push({ at, len: query.length, kind: "match" })
+  }
+  if (thought) {
+    const at = line.lastIndexOf(thought)
+    if (at >= 0) ranges.push({ at, len: thought.length, kind: "dim" })
+  }
+  if (ranges.length === 0) return [{ text: line, kind: "plain" }]
+  const out: Segment[] = []
+  let cursor = 0
+  for (const r of ranges.sort((a, b) => a.at - b.at)) {
+    if (r.at < cursor) continue // the query matched inside the tail: the first range wins
+    if (r.at > cursor) out.push({ text: line.slice(cursor, r.at), kind: "plain" })
+    out.push({ text: line.slice(r.at, r.at + r.len), kind: r.kind })
+    cursor = r.at + r.len
+  }
+  if (cursor < line.length) out.push({ text: line.slice(cursor), kind: "plain" })
+  return out
+}
+
+/** Vim-aligned defaults; every name is rebindable through the `keybinds` option. */
 const DEFAULT_KEYS: Record<string, string[]> = {
   up: ["up", "k"],
   down: ["down", "j"],
   jump_up: ["shift+up", "shift+k"],
   jump_down: ["shift+down", "shift+j"],
-  first: ["g"],
+  half_up: ["ctrl+u"],
+  half_down: ["ctrl+d"],
+  // a sequence, so bare `g` is free (and never fires on its own)
+  first: ["gg"],
   last: ["shift+g"],
   prev_branch: ["["],
   next_branch: ["]"],
   fold: ["left", "h"],
   unfold: ["right", "l"],
-  toggle: ["e"],
+  toggle: ["tab", "e"],
   go: ["return"],
   branch: ["b"],
   crop: ["c"],
   crop_toggle_mode: ["t"],
   mark: ["space"],
   auto: ["a"],
-  undo: ["x"],
+  undo: ["u", "x"],
   merge: ["m"],
   inspector: ["i"],
-  consumers: ["u"],
+  consumers: ["s"],
   copy: ["y"],
   mode_duration: ["1"],
   mode_turns: ["2"],
@@ -138,31 +178,50 @@ const DEFAULT_KEYS: Record<string, string[]> = {
   decisions: ["shift+d"],
   export: ["shift+e"],
   label: ["shift+l"],
-  filter: ["f"],
+  filter_pick: ["f"],
+  filter_prev: ["shift+f"],
   search: ["/"],
+  search_next: ["n"],
+  search_prev: ["shift+n"],
   // terminals disagree on whether "?" carries the shift flag, so bind both spellings
   help: ["?", "shift+/"],
   back: ["q", "escape"],
 }
 
+/** Placeholder for the strip while no session is loaded. */
+const EMPTY_TRANSCRIPT: Transcript = { sessionID: "", title: "", status: "available", messages: [] }
+
 const NO_BRANCHES = "No branches yet · b forks here into a real OpenCode session; nothing is copied or deleted."
 
-/** The `?` overlay: unindented lines are headings, indented ones body (see the render). */
+/** The `?` pane: unindented lines are headings, indented ones body (see the render).
+ *  It sits under the rows, so the tree stays on screen while you read it. */
 const HELP = [
-  "? help · ? or esc closes",
-  "Reading the screen — a whole-tree outline (Pi) fused with a trajectory (DSH)",
-  "  the entire tree, oldest first: trunk at the left, branches nested at their fork point",
-  "  ● user: … · ○ assistant: … · ⚙ [bash $ …] / [tool: arg] → out · ◆ decision · ≣ summary",
-  "  ⎇ = a branch: a real, separate OpenCode session, hung off the message it forked from",
-  "  │ ├ ╰ connectors draw the branch topology; ← here marks the session you are in",
-  "  ▾ open / ▸ folded — the path to where you are is open by default; → ← (or e) toggle a branch",
-  "  right column is tokens; ~ means estimated · ⚠ ≥10k · ✂ cropped · ✗ tool error",
-  "Keys",
-  "  move   ↑↓ j k · J K by 20 · g G first/last · [ ] branch rows · → ← e fold",
-  "  act    ⏎ go/switch · b branch · m merge · c crop · x undo · L label · y copy",
-  "         in crop mode: space mark · a auto · t result⇄turn · ⏎ apply · esc leave",
-  "  DSH    i inspector (Status/Payload/Result/Timing) · 1 2 3 lanes (Duration/Turns/Calls) · 0 off",
-  "  views  u consumers · D decisions · E export · f filter · / search · q back",
+  `? help · ? or esc closes · opencode-context-tree ${PLUGIN_VERSION}`,
+  "Move",
+  "  ↑↓ j k · J K by 20 · ctrl+d ctrl+u half page · gg top · G bottom · [ ] branch rows",
+  "  h l ← → fold/unfold a branch · Tab (or e) toggle · / live search · n N next/prev match",
+  "Act",
+  "  ⏎ go — a ⎇ header switches to it · a user turn forks & prefills it · a step forks after it",
+  "  b branch · m merge · c crop mode (space mark · a auto · t result⇄turn · ⏎ apply · esc leave)",
+  "  u undo (alias x) · L label · y copy · E export decisions",
+  "Views",
+  "  i inspector · 1 2 3 lanes (duration/turns/calls) · 0 off · s consumers · D decisions · f F filter",
+  "Legend",
+  "  ● user · ○ assistant · ⚙ tool step · ◆ decision · ≣ summary · ⎇ branch (a real OpenCode session)",
+  "  │ ├ ╰ draw the topology · ▾ open ▸ folded · ← here is the session you are in",
+  "  dim rows are not sent to the model; ── not in this branch's context ── is where your path forked",
+  "  right column is tokens; ~ estimated · ⚠ ≥10k · ✂ cropped · ✗ tool error",
+  "  ⎇ colours: open green · squashed blue · rejected/discarded red · abandoned grey",
+  "  lanes: Input green you / grey context · Model purple answer / grey thinking · Tools orange call / red failed",
+]
+
+/** `f` opens this as a picker; `F` steps back through it (DESIGN.md §7.5). */
+const FILTERS: { title: string; value: Filter; description: string }[] = [
+  { title: "default", value: "default", description: "user turns, assistant text, tool steps" },
+  { title: "no-tools", value: "no-tools", description: "hide ⚙ tool steps" },
+  { title: "user-only", value: "user-only", description: "● user turns only" },
+  { title: "labeled", value: "labeled", description: "labelled rows only" },
+  { title: "all", value: "all", description: "everything, thinking parts included" },
 ]
 
 /** Plugin option `keybinds: { <command>: "k,up" | [..] | "none" }` overrides DEFAULT_KEYS. */
@@ -184,6 +243,9 @@ export function TreeRoute(props: TreeRouteProps) {
   const [expanded, setExpanded] = createSignal<Set<string>>(new Set(api.kv.get<string[]>(`ctree.expanded.${sessionID}`, [])))
   const [filter, setFilter] = createSignal<Filter>(api.kv.get<Filter>("ctree.filter", "default"))
   const [search, setSearch] = createSignal("")
+  // `/` types straight into the row list; esc restores the query it started from
+  const [searchMode, setSearchMode] = createSignal(false)
+  let searchBefore = ""
   const [selected, setSelected] = createSignal(0)
   const [others, setOthers] = createSignal<Record<string, Transcript>>({})
   const [busy, setBusy] = createSignal<string | undefined>()
@@ -195,7 +257,9 @@ export function TreeRoute(props: TreeRouteProps) {
   const [lanesOn, setLanesOn] = createSignal<boolean>(api.kv.get<boolean>("ctree.lanesOn", false))
   const [inspector, setInspector] = createSignal<boolean>(api.kv.get<boolean>("ctree.inspector", false))
   const [consumerIndex, setConsumerIndex] = createSignal(0)
+  const [consumerOpen, setConsumerOpen] = createSignal<Set<string>>(new Set())
   const [decisionIndex, setDecisionIndex] = createSignal(0)
+  const [decisionScroll, setDecisionScroll] = createSignal(0)
   const [marked, setMarked] = createSignal<Set<string>>(new Set())
 
   const state = createMemo<TreeState>(() => {
@@ -293,17 +357,23 @@ export function TreeRoute(props: TreeRouteProps) {
   api.renderer.on("resize", onResize)
   onCleanup(() => void api.renderer.off("resize", onResize))
   const cols = () => size().cols
+  // the `?` pane sits under the rows so the tree stays visible: it takes its space from them
+  const helpHeight = () => (panel() === "help" ? Math.min(HELP.length, Math.max(0, size().rows - 12)) : 0)
   // chrome above/below the rows: padding, header, status, footer (+3 lane lines when lanes are on)
-  const height = () => Math.max(8, size().rows - 8 - (lanesOn() && size().rows >= 12 ? 3 : 0))
+  const height = () => Math.max(4, size().rows - 8 - (lanesOn() && size().rows >= 12 ? 3 : 0) - helpHeight())
   const width = () => Math.max(60, cols() - 4)
+  /** Two lines go to the `↑ n more` / `… n more ↓` cues as soon as the list does not fit. */
+  const overflow = () => view().rows.length > height() - 2
+  const rowsHeight = () => (overflow() ? height() - 2 : height())
   const windowStart = createMemo(() => {
-    const h = height()
+    const h = rowsHeight()
     const s = selected()
     const n = view().rows.length
-    const start = Math.max(0, Math.min(s - Math.floor(h / 2), n - h))
-    return start
+    return Math.max(0, Math.min(s - Math.floor(h / 2), n - h))
   })
-  const visible = createMemo(() => view().rows.slice(windowStart(), windowStart() + height()))
+  const visible = createMemo(() => view().rows.slice(windowStart(), windowStart() + rowsHeight()))
+  const hiddenAbove = () => windowStart()
+  const hiddenBelow = () => Math.max(0, view().rows.length - windowStart() - rowsHeight())
 
   // ---- crop mode -----------------------------------------------------------
   // Crops act on the *current* session's context. Spine rows above the fork point carry
@@ -311,7 +381,7 @@ export function TreeRoute(props: TreeRouteProps) {
   // prefix; the spine map (built from unfiltered transcripts) translates both ways.
   const live = () => (sessionID ? liveTranscript(api, sessionID) : undefined)
   const currentMessageOf = (row: Row): string | undefined => {
-    if (row.kind === "branch") return undefined
+    if (row.kind === "branch" || row.kind === "separator") return undefined
     if (row.sessionID === sessionID) return row.messageID
     return spine().toCurrent(row.sessionID, row.messageID)
   }
@@ -345,9 +415,33 @@ export function TreeRoute(props: TreeRouteProps) {
     return list.filter((c) => m.has(markKey(c)))
   })
 
+  /** The crop mode a row can be marked in, so `space` alone can enter crop mode on it. */
+  function modeForRow(row: Row): "result" | "turn" | undefined {
+    if (row.kind === "step" && resultCands().some((c) => c.partID === (currentPartOf(row) ?? row.partID))) return "result"
+    if (row.kind !== "branch" && row.kind !== "separator" && turnCands().some((c) => c.anchorMessageID === currentMessageOf(row))) return "turn"
+    return undefined
+  }
+
+  /** True when one more `space` on the selected row would override its protection. */
+  const armed = () => {
+    const row = current()
+    const c = row ? candidateOf(row) : undefined
+    if (!c) return false
+    const key = markKey(c)
+    return marked().has(`${key}:warned`) && !marked().has(key)
+  }
+
   function toggleMark() {
     const row = current()
     if (!row) return
+    if (!cropMode()) {
+      const mode = modeForRow(row)
+      if (!mode) {
+        api.ui.toast({ message: "nothing croppable on this row — c opens crop mode" })
+        return
+      }
+      setCropMode(mode)
+    }
     const c = candidateOf(row)
     debug("crop.mark", { row: row.id, candidate: c ? { kind: c.kind, protections: c.protections } : undefined, marked: [...marked()] })
     if (!c) {
@@ -367,6 +461,14 @@ export function TreeRoute(props: TreeRouteProps) {
     setMarked(next)
   }
 
+  /** Leaving crop mode throws marks away, so say how many before it happens. */
+  async function leaveCropMode() {
+    const n = selectedCandidates().length
+    if (n > 0 && !(await confirm(`Drop ${n} mark${n === 1 ? "" : "s"}?`, "Nothing has been cropped yet — the marks are lost, the transcript is untouched."))) return
+    setCropMode(undefined)
+    setMarked(new Set<string>())
+  }
+
   function autoMarkAll() {
     if (cropMode() !== "result") return
     const picks = autoMark(resultCands())
@@ -420,57 +522,63 @@ export function TreeRoute(props: TreeRouteProps) {
 
   // the same figure the prompt gauge shows: context of the session, not of the drawn rows
   const contextSize = createMemo(() => contextSizeOf((live()?.messages ?? []).map((m): MinimalMessage => ({ info: m.role === "assistant" ? { role: "assistant", tokens: m.tokens } : { role: "user" }, parts: m.parts }))))
-  const band = () => bandFor(contextSize().tokens)
+  const band = () => bandFor(contextSize().tokens, contextLimit())
   const branchOfCurrent = () => (sessionID ? state().sessions[sessionID] : undefined)
   const userTurns = () => (live()?.messages ?? []).filter((m) => m.role === "user").length
 
-  // ---- lanes (minimap) -----------------------------------------------------
-  const lanes = createMemo(() => (live() ? buildLanes(live()!, laneMode() === "duration" ? "turns" : laneMode()) : { mode: laneMode(), columns: [] }))
+  // ---- lanes (DSH event strip) ---------------------------------------------
+  // One pill per event on a shared time axis — categorical colour, nothing scaled by tokens.
   const laneWidth = () => Math.max(10, Math.min(width() - 46, 80))
-  const laneSeries = createMemo(() => {
-    const l = lanes()
-    if (laneMode() === "duration") {
-      const w = durationWeighted(l, laneWidth())
-      return { input: w.input, output: w.output, tool: w.tool, toolError: w.toolError, cellFor: (col: number) => w.input.findIndex((_, i) => w.columnAt(i) === col) }
-    }
-    const n = l.columns.length
-    const cellFor = (col: number) => (n === 0 ? -1 : Math.floor((col * laneWidth()) / Math.max(n, laneWidth())) + (n < laneWidth() ? Math.floor(laneWidth() / n / 2) : 0))
-    return { input: l.columns.map((c) => c.input), output: l.columns.map((c) => c.output), tool: l.columns.map((c) => c.tool), toolError: l.columns.map((c) => c.toolError), cellFor }
-  })
-  const cursorCell = createMemo(() => {
+  const strip = createMemo(() => buildEventStrip(live() ?? EMPTY_TRANSCRIPT, laneMode(), laneWidth()))
+  /** The strip events the cursor sits on; their cells draw inverted, so there is no cursor block.
+   *  A step row also owns the thinking pills folded into it (the list shows them as `· Ns thought`),
+   *  otherwise the grey reasoning pills would never light up. */
+  const cursorEvents = createMemo<Set<number>>(() => {
     const row = current()
-    if (!row || row.kind === "branch") return -1
-    // spine rows above the fork carry ancestor ids; map to the current session first
+    const hit = new Set<number>()
+    if (!row || row.kind === "branch" || row.kind === "separator") return hit
     const mid = currentMessageOf(row) ?? row.messageID
     const pid = row.kind === "step" ? (currentPartOf(row) ?? row.partID) : undefined
-    const col = columnFor(lanes(), mid, pid)
-    return col < 0 ? -1 : laneSeries().cellFor(col)
+    const own = stripIndexFor(strip(), mid, pid)
+    if (own >= 0) hit.add(own)
+    strip().events.forEach((e, i) => {
+      if (e.messageID !== mid) return
+      if (row.kind === "turn" ? e.lane === "input" : e.kind === "reasoning") hit.add(i)
+    })
+    return hit
   })
-  const laneLine = (values: number[], scale?: number) => {
-    const line = sparkline(fitColumns(values, laneWidth()), laneWidth(), scale)
-    const cur = cursorCell()
-    if (cur < 0 || cur >= line.length) return line
-    return `${line.slice(0, cur)}▮${line.slice(cur + 1)}`
+  const cellColor = (cell: StripCell): unknown => {
+    if (cell.error) return t.error
+    const e = strip().events[cell.eventIndex]
+    if (!e) return t.textMuted
+    if (e.lane === "tools") return t.warning
+    if (e.lane === "input") return e.kind === "user" ? t.success : t.textMuted
+    return e.kind === "reasoning" ? t.textMuted : t.accent
   }
-  /** Tool cells split into same-colour runs so errored calls draw red (DESIGN.md §7.1). */
-  const toolRuns = createMemo(() => {
-    const line = laneLine(laneSeries().tool)
-    const mask = fitColumns(laneSeries().toolError.map((e) => (e ? 1 : 0)), laneWidth())
-    const runs: { text: string; error: boolean }[] = []
-    for (let i = 0; i < line.length; i++) {
-      const error = (mask[i] ?? 0) > 0
+  /** Adjacent cells of the same colour collapse into one <text>, so a lane is a few nodes. */
+  const laneRuns = (lane: "input" | "model" | "tools") => {
+    const cur = cursorEvents()
+    const runs: { text: string; fg: unknown; bg: unknown }[] = []
+    for (const cell of strip().lanes[lane]) {
+      const sel = cell !== null && cur.has(cell.eventIndex)
+      const color = cell === null ? t.textMuted : cellColor(cell)
+      const fg = sel ? t.background : color
+      const bg = sel ? color : undefined
       const last = runs[runs.length - 1]
-      if (last && last.error === error) last.text += line[i]
-      else runs.push({ text: line[i]!, error })
+      if (last && last.fg === fg && last.bg === bg) last.text += cell?.glyph ?? " "
+      else runs.push({ text: cell?.glyph ?? " ", fg, bg })
     }
     return runs
-  })
-  // the Input lane is scaled against the context window, so a two-message session stays small
+  }
+  const inputRuns = createMemo(() => laneRuns("input"))
+  const modelRuns = createMemo(() => laneRuns("model"))
+  const toolRuns = createMemo(() => laneRuns("tools"))
+  // the context window no longer scales anything, but the Input lane still needs its limit
   const contextLimit = createMemo(() => (sessionID ? modelContextLimit(api, sessionID) : undefined))
-  // under three turns every bar is either full or empty, which reads as "context full"
+  // under three turns every lane is one or two pills, which reads as a glitch rather than a strip
   const laneRoom = () => height() >= 12 && panel() === "tree"
   const showLanes = () => laneRoom() && lanesOn() && userTurns() >= 3
-  /** DESIGN.md §7.6: below 80 columns the minimap is the Input sparkline alone. */
+  /** DESIGN.md §7.6: below 80 columns the strip is the Input lane alone. */
   const showAllLanes = () => cols() >= 80
   /** `1/2/3` turn the DSH lanes on and pick the x-axis; the active one again (or `0`) hides them. */
   function setLane(mode: LaneMode) {
@@ -493,7 +601,7 @@ export function TreeRoute(props: TreeRouteProps) {
   const noBranchesLines = () => (NO_BRANCHES.length + 2 <= rowWidth() ? [NO_BRANCHES] : NO_BRANCHES.split(/(?<=;) /))
   const inspectorLines = createMemo((): { fg: unknown; text: string }[] => {
     const row = current()
-    if (!row) return []
+    if (!row || row.kind === "separator") return []
     const w = inspectorWidth() - 3
     const clip = (x: string) => (x.length > w ? `${x.slice(0, w - 1)}…` : x)
     const out: { fg: unknown; text: string }[] = []
@@ -522,17 +630,29 @@ export function TreeRoute(props: TreeRouteProps) {
     const msg = tr?.messages.find((m) => m.id === row.messageID)
     const turn = view().rows.slice(0, view().indexById[row.id]! + 1).filter((r) => r.kind === "turn").at(-1)
     if (row.kind === "turn") {
-      head(`${row.isDecision ? "◆ decision" : row.isSummary ? "◇ summary" : "● user"} · T${row.turn}`)
+      const text = msg?.parts.map((p) => p.text ?? "").join("\n") ?? row.preview
+      if (row.isDecision) {
+        // a record is prose, not a payload: markdown off, wrapped to the pane
+        head(`◆ ${decisionSummary(text).title}`)
+        kv("Tokens", `~${formatK(row.tokens)}`)
+        const lines = renderDecision(text, w)
+        for (const l of lines.slice(0, 16)) out.push({ fg: t.text, text: l })
+        if (lines.length > 16) muted(`… ${lines.length - 16} more lines (y to copy)`)
+        return out
+      }
+      head(`${row.isSummary ? "◇ summary" : "● user"} · T${row.turn}`)
       if (row.label) kv("Label", row.label)
       kv("Tokens", `~${formatK(row.tokens)}`)
       kv("At", msg ? new Date(msg.time.created).toISOString().slice(11, 19) : "?")
-      block("Text", msg?.parts.map((p) => p.text ?? "").join("\n") ?? row.preview, 14)
+      if (!row.inContext) muted("not in this branch's context")
+      block("Text", text, 14)
       return out
     }
     const part = msg?.parts.find((p) => p.id === row.partID)
     const stepNo = msg ? msg.parts.filter((p) => p.type === "tool" || p.type === "text").findIndex((p) => p.id === row.partID) + 1 : 0
     head(`${row.glyph} ${part?.type === "tool" ? part.tool : row.glyph === "◇" ? "compaction" : "assistant"} · T${turn?.kind === "turn" ? turn.turn : "?"} · step ${stepNo}`)
     kv("Hierarchy", `T${turn?.kind === "turn" ? turn.turn : "?"} › assistant › step ${stepNo}`)
+    if (!row.inContext) muted("not in this branch's context")
     if (part?.type === "tool") {
       const st = part.state
       const dur = st?.time?.start !== undefined && st?.time?.end !== undefined ? `${st.time.end - st.time.start} ms` : "?"
@@ -542,26 +662,62 @@ export function TreeRoute(props: TreeRouteProps) {
       block("Result", String(st?.output ?? ""), 10)
       kv("Timing", st?.time?.start ? `started ${new Date(st.time.start).toISOString().slice(11, 23)} · ${dur} · session ts` : "n/a")
       const cand = resultCands().find((c) => c.partID === (currentPartOf(row) ?? row.partID))
-      kv("Crop", row.isCropped ? "✂ cropped (x to restore)" : cand ? (cand.protections.length ? `protected: ${cand.protections.join(", ")}` : "c then space to stub this result") : "n/a")
+      kv("Crop", row.isCropped ? `✂ cropped (${UNDO_KEY} to restore)` : cand ? (cand.protections.length ? `protected: ${cand.protections.join(", ")}` : "c then space to stub this result") : "n/a")
     } else {
       kv("Tokens", `~${formatK(row.tokens)}`)
       if (row.durationMs !== undefined) kv("Duration", `${(row.durationMs / 1000).toFixed(1)} s`)
+      if (row.thinkingMs !== undefined) kv("Thought", `${(row.thinkingMs / 1000).toFixed(1)} s`)
       block("Text", part?.text ?? row.preview, 14)
     }
     return out
   })
 
   // ---- consumers -------------------------------------------------------------
-  const consumerRows = createMemo(() => (live() ? consumers(live()!, { cropped: alreadyCropped() }) : []))
+  const consumerRows = createMemo(() => (live() ? consumers(live()!, { cropped: alreadyCropped(), limit: contextLimit() }) : []))
+  /** Buckets plus the entries of every expanded one, flattened so ↑↓ walks both. */
+  type ConsumerLine = { bucket: Consumer; entry?: ConsumerEntry }
+  const consumerLines = createMemo((): ConsumerLine[] =>
+    consumerRows().flatMap((c) => [{ bucket: c } as ConsumerLine, ...(consumerOpen().has(c.source) ? c.entries.map((e) => ({ bucket: c, entry: e })) : [])]),
+  )
+  const consumerLine = () => consumerLines()[Math.min(consumerIndex(), consumerLines().length - 1)]
+  /** Bars are scaled to the biggest bucket, not to the window: the shape is the point. */
+  const consumerMax = () => Math.max(1, ...consumerRows().map((c) => c.tokens))
+
+  function toggleConsumer(open: boolean) {
+    const line = consumerLine()
+    if (!line) return
+    const next = new Set(consumerOpen())
+    if (open) next.add(line.bucket.source)
+    else next.delete(line.bucket.source)
+    setConsumerOpen(next)
+  }
+
+  /** `space` in the consumers panel marks one part for crop where it stands — entering crop
+   *  mode is implied. Entries that cannot be stubbed carry their reason on the row itself. */
+  function markConsumerEntry() {
+    const line = consumerLine()
+    if (!line) return
+    if (!line.entry) {
+      toggleConsumer(true)
+      return
+    }
+    const cand = line.entry.croppable ? resultCands().find((r) => r.partID === line.entry?.partID) : undefined
+    if (!cand) return
+    setCropMode("result")
+    const next = new Set(marked())
+    if (next.has(cand.partID)) next.delete(cand.partID)
+    else next.add(cand.partID)
+    setMarked(next)
+  }
 
   /** From the consumers panel: back to the tree in crop mode with that source's
    *  unprotected results pre-marked (DESIGN.md §7.4). */
   function cropConsumer() {
-    const c = consumerRows()[consumerIndex()]
+    const c = consumerLine()?.bucket
     setPanel("tree")
     if (!c || c.kind !== "tool") {
       setCropMode("result")
-      api.ui.toast({ message: c ? `${c.source} is not a tool result; mark rows by hand` : "nothing to crop" })
+      api.ui.toast({ message: c ? (c.note ?? `${c.source} is not a tool result; mark rows by hand`) : "nothing to crop" })
       return
     }
     setCropMode("result")
@@ -572,15 +728,13 @@ export function TreeRoute(props: TreeRouteProps) {
 
   function copySelected() {
     const row = current()
-    if (!row || row.kind === "branch") return
+    if (!row || row.kind === "branch" || row.kind === "separator") return
     const tr = row.sessionID === sessionID ? live() : others()[row.sessionID]
     const msg = tr?.messages.find((m) => m.id === row.messageID)
     const text = row.kind === "step" ? String(msg?.parts.find((p) => p.id === row.partID)?.state?.output ?? msg?.parts.find((p) => p.id === row.partID)?.text ?? "") : (msg?.parts.map((p) => p.text ?? "").join("\n") ?? "")
-    const file = path.join(directory, ".opencode", "context-tree", "last-copy.txt")
     try {
-      fs.mkdirSync(path.dirname(file), { recursive: true })
-      fs.writeFileSync(file, text)
-      api.ui.toast({ message: `saved ${text.length} chars → .opencode/context-tree/last-copy.txt` })
+      const { hint } = copyText(api, text, directory)
+      api.ui.toast({ message: `copied ${text.length} chars → ${hint}` })
     } catch (e) {
       api.ui.toast({ variant: "error", message: String(e) })
     }
@@ -691,6 +845,12 @@ export function TreeRoute(props: TreeRouteProps) {
     }
   }
 
+  /** How a session reads in a dialog: its branch name if it has one, else its title. */
+  const sessionLabel = (id: string) => {
+    const name = state().sessions[id]?.name
+    return name ? `⎇ ${name}` : (others()[id]?.title ?? api.state.session.get(id)?.title ?? id)
+  }
+
   async function jump() {
     const row = current()
     if (!row || !sessionID) return
@@ -701,12 +861,15 @@ export function TreeRoute(props: TreeRouteProps) {
         api.ui.toast({ message: plan.reason })
         return
       }
-      if (plan.kind === "fork" && plan.mode === "redo") {
-        const ok = await confirm("Redo this turn on a new branch?", "The message is copied into the prompt; nothing is deleted.")
-        if (!ok) return
-      }
+      const from = sessionLabel(plan.sessionID)
+      const ok = await confirm(
+        plan.kind === "switch" ? `Switch to ${from}?` : plan.mode === "redo" ? "Fork & prefill this turn?" : "Fork after this step?",
+        plan.kind === "switch" ? `The session you are on now stays exactly as it is. ${UNDO_KEY} undoes this.` : `A new OpenCode session forks from ${from} at this point; nothing is deleted. ${UNDO_KEY} undoes this.`,
+      )
+      if (!ok) return
       const summary = await askSummary()
-      await executeJump(ctx, plan, { currentSessionID: sessionID, summary })
+      const target = await executeJump(ctx, plan, { currentSessionID: sessionID, summary })
+      if (target) api.ui.toast({ message: `moved to ${sessionLabel(target)} · ${UNDO_KEY} undoes it` })
     })
   }
 
@@ -757,7 +920,7 @@ export function TreeRoute(props: TreeRouteProps) {
 
   async function label() {
     const row = current()
-    if (!row || row.kind === "branch") return
+    if (!row || row.kind === "branch" || row.kind === "separator") return
     const st = state()
     const existing = st.labels[row.messageID]?.label
     const value = await prompt("Label (empty to remove)", "checkpoint", existing)
@@ -769,7 +932,7 @@ export function TreeRoute(props: TreeRouteProps) {
   function foldOrUnfold(open: boolean) {
     const row = current()
     if (!row) return
-    const target = row.kind === "branch" ? row.sessionID : row.depth > 0 ? row.sessionID : undefined
+    const target = row.kind === "separator" ? undefined : row.kind === "branch" || row.depth > 0 ? row.sessionID : undefined
     if (!target) return
     // the row's resolved state, not raw set membership: on-path branches start open, so
     // `expanded` membership inverts there (see tree.ts shownExpanded). A visible nested row
@@ -811,18 +974,20 @@ export function TreeRoute(props: TreeRouteProps) {
       return
     }
     const siblings = Object.values(state().sessions).filter((x) => x.parentSessionID === b.parentSessionID && x.sessionID !== sessionID && x.status === "open").length
-    const mode = await select<MergeMode>(mergeDialogTitle(b.name ?? "branch", others()[b.parentSessionID]?.title), mergeDialogOptions({ siblings }))
+    const parent = others()[b.parentSessionID]
+    const target = mergeTargetOf(b.parentSessionID === state().root ? TRUNK_LABEL : (state().sessions[b.parentSessionID]?.name ?? TRUNK_LABEL), parent?.messages ?? [])
+    const turns = ownTurnCount(live()?.messages ?? [], { messageID: b.anchorMessageID, parentMessageIDs: parent?.messages.map((m) => m.id) ?? [] })
+    const mode = await select<MergeMode>(mergeDialogTitle(b.name ?? "branch", target), mergeDialogOptions({ siblings, turns }))
     if (!mode) return
-    let note: string | undefined
-    if (mode === "discard") note = (await prompt("Why? (optional note on the close marker)", "dead end")) ?? undefined
     const inApp = !hasEditor()
       ? async (draft: string) => {
           const ok = await confirm("Accept the drafted record as-is?", `${draft.slice(0, 400)}${draft.length > 400 ? "…" : ""}\n\n${MERGE_TRUST}\n\n(set $EDITOR to review it in your editor)`)
           return ok ? draft : undefined
         }
       : undefined
+    // mergeBranch owns the discard gate (its confirm + "Why?" note prompt), so there is none here
     await guarded("merge", async () => {
-      await mergeBranch(ctx, { sessionID, mode, note, confirm: inApp })
+      await mergeBranch(ctx, { sessionID, mode, confirm: inApp })
     })
   }
 
@@ -840,84 +1005,190 @@ export function TreeRoute(props: TreeRouteProps) {
   function jumpToDecision() {
     const d = decisions()[decisionIndex()]
     if (!d) return
-    const idx = view().rows.findIndex((r) => r.kind !== "branch" && r.messageID === d.messageID)
+    const idx = view().rows.findIndex((r) => (r.kind === "turn" || r.kind === "step") && r.messageID === d.messageID)
     setPanel("tree")
     if (idx >= 0) setSelected(idx)
     else api.ui.toast({ message: "that record lives in another session" })
   }
 
+  // ---- keys ------------------------------------------------------------------
+  const treePanel = () => panel() === "tree"
+  const inCrop = () => cropMode() !== undefined
+  /** Crop mode is exclusive: it owns space/⏎/esc, so the other verbs step aside. */
+  const treeIdle = () => treePanel() && !inCrop()
+  const listPanel = () => treePanel() || panel() === "consumers"
+
+  function setFilterTo(next: Filter) {
+    setFilter(next)
+    api.kv.set("ctree.filter", next)
+  }
+
+  async function pickFilter() {
+    const next = await select<Filter>(
+      "Filter rows",
+      FILTERS.map((f) => ({ title: `${f.value === filter() ? "●" : " "} ${f.title}`, value: f.value, description: f.description })),
+    )
+    if (next) setFilterTo(next)
+  }
+
+  /** ↑↓ walk whichever list is on screen. */
+  function moveIndex(delta: number) {
+    if (panel() === "decisions") {
+      setDecisionIndex((i) => Math.min(Math.max(0, decisions().length - 1), Math.max(0, i + delta)))
+      setDecisionScroll(0)
+      return
+    }
+    if (panel() === "consumers") {
+      setConsumerIndex((i) => Math.min(Math.max(0, consumerLines().length - 1), Math.max(0, i + delta)))
+      return
+    }
+    setSelected((i) => moveSelection(view().rows, i, delta))
+  }
+
+  function halfPage(dir: 1 | -1) {
+    const half = Math.max(1, Math.floor(height() / 2))
+    // in the decisions panel a half page scrolls the open record, not the record list
+    if (panel() === "decisions") setDecisionScroll((s) => Math.max(0, s + dir * half))
+    else moveIndex(dir * half)
+  }
+
+  function gotoEdge(dir: 1 | -1) {
+    if (panel() === "decisions") {
+      setDecisionIndex(dir === -1 ? 0 : Math.max(0, decisions().length - 1))
+      setDecisionScroll(0)
+      return
+    }
+    if (panel() === "consumers") {
+      setConsumerIndex(dir === -1 ? 0 : Math.max(0, consumerLines().length - 1))
+      return
+    }
+    const i = dir === -1 ? firstIndex(view().rows) : lastIndex(view().rows)
+    if (i >= 0) setSelected(i)
+  }
+
+  /** Where the live query sits in a rendered row (-1 when the row only survived the filter
+   *  because one of the rows it owns matched). */
+  const matchIn = (line: string): number => {
+    const q = search().trim().toLowerCase()
+    return q ? line.toLowerCase().indexOf(q) : -1
+  }
+
+  function moveMatch(dir: 1 | -1) {
+    const rows = view().rows
+    const q = search().trim()
+    if (rows.length === 0 || !q) return
+    for (let step = 1; step <= rows.length; step++) {
+      const i = (((selected() + dir * step) % rows.length) + rows.length) % rows.length
+      if (rows[i]!.kind !== "separator" && matchIn(rowLine(rows[i]!, rowWidth(), false)) >= 0) {
+        setSelected(i)
+        return
+      }
+    }
+    api.ui.toast({ message: `no other row matches "${q}"` })
+  }
+
+  function enterSearch() {
+    searchBefore = search()
+    setSearchMode(true)
+  }
+
+  /** `esc` puts the view back the way it was; `⏎` keeps the filter and leaves the mode. */
+  function exitSearch(commit: boolean) {
+    if (!commit) setSearch(searchBefore)
+    setSearchMode(false)
+  }
+
+  // Search types straight into the row list, and the layer below would fire j/k/b as commands:
+  // while the mode is on we take the key before any binding sees it.
+  const stopTyping = api.keymap.intercept("key", (input) => {
+    if (!searchMode()) return
+    const ev = input.event
+    if (ev.eventType === "release" || ev.ctrl || ev.meta) return
+    const take = () => input.consume({ preventDefault: true, stopPropagation: true })
+    if (ev.name === "escape") return void (exitSearch(false), take())
+    if (ev.name === "return" || ev.name === "enter") return void (exitSearch(true), take())
+    if (ev.name === "backspace") return void (setSearch((q) => q.slice(0, -1)), take())
+    const char = ev.sequence?.length === 1 && ev.sequence >= " " && ev.sequence !== "\x7f" ? ev.sequence : ev.name.length === 1 ? ev.name : undefined
+    if (char === undefined) return
+    setSearch((q) => q + char)
+    take()
+  })
+  onCleanup(() => stopTyping())
+
   const off = api.keymap.registerLayer({
     // OpenCode's own bare-letter layers do the same: dialogs push "modal", so without this
     // typing "bash" into a prompt would fire b/a/s/h as route commands
     mode: "base",
     commands: [
-      { name: "ctree.up", hidden: true, run: () => (panel() === "decisions" ? setDecisionIndex((i) => Math.max(0, i - 1)) : panel() === "consumers" ? setConsumerIndex((i) => Math.max(0, i - 1)) : setSelected((i) => moveSelection(view().rows, i, -1))) },
-      { name: "ctree.down", hidden: true, run: () => (panel() === "decisions" ? setDecisionIndex((i) => Math.min(Math.max(0, decisions().length - 1), i + 1)) : panel() === "consumers" ? setConsumerIndex((i) => Math.min(Math.max(0, consumerRows().length - 1), i + 1)) : setSelected((i) => moveSelection(view().rows, i, 1))) },
-      { name: "ctree.jump_up", hidden: true, run: () => setSelected((i) => moveSelection(view().rows, i, -20)) },
-      { name: "ctree.jump_down", hidden: true, run: () => setSelected((i) => moveSelection(view().rows, i, 20)) },
-      { name: "ctree.first", hidden: true, run: () => setSelected(0) },
-      { name: "ctree.last", hidden: true, run: () => setSelected(Math.max(0, view().rows.length - 1)) },
-      { name: "ctree.prev_branch", hidden: true, run: () => setSelected((i) => nextBranchIndex(view().rows, i, -1)) },
-      { name: "ctree.next_branch", hidden: true, run: () => setSelected((i) => nextBranchIndex(view().rows, i, 1)) },
-      { name: "ctree.fold", hidden: true, run: () => foldOrUnfold(false) },
-      { name: "ctree.unfold", hidden: true, run: () => foldOrUnfold(true) },
-      { name: "ctree.toggle", hidden: true, run: () => foldOrUnfold(!(current()?.kind === "branch" && (current() as Row & { kind: "branch" }).expanded)) },
-      { name: "ctree.go", hidden: true, run: () => void (panel() === "decisions" ? jumpToDecision() : panel() === "consumers" ? cropConsumer() : cropMode() ? applyMarked() : jump()) },
-      { name: "ctree.branch", hidden: true, run: () => void branch() },
-      { name: "ctree.label", hidden: true, run: () => void label() },
+      { name: "ctree.up", hidden: true, run: () => moveIndex(-1) },
+      { name: "ctree.down", hidden: true, run: () => moveIndex(1) },
+      { name: "ctree.jump_up", hidden: true, enabled: treePanel, run: () => moveIndex(-20) },
+      { name: "ctree.jump_down", hidden: true, enabled: treePanel, run: () => moveIndex(20) },
+      { name: "ctree.half_up", hidden: true, run: () => halfPage(-1) },
+      { name: "ctree.half_down", hidden: true, run: () => halfPage(1) },
+      { name: "ctree.first", hidden: true, run: () => gotoEdge(-1) },
+      { name: "ctree.last", hidden: true, run: () => gotoEdge(1) },
+      { name: "ctree.prev_branch", hidden: true, enabled: treePanel, run: () => setSelected((i) => nextBranchIndex(view().rows, i, -1)) },
+      { name: "ctree.next_branch", hidden: true, enabled: treePanel, run: () => setSelected((i) => nextBranchIndex(view().rows, i, 1)) },
+      { name: "ctree.fold", hidden: true, enabled: listPanel, run: () => (panel() === "consumers" ? toggleConsumer(false) : foldOrUnfold(false)) },
+      { name: "ctree.unfold", hidden: true, enabled: listPanel, run: () => (panel() === "consumers" ? toggleConsumer(true) : foldOrUnfold(true)) },
+      { name: "ctree.toggle", hidden: true, enabled: treePanel, run: () => foldOrUnfold(!(current()?.kind === "branch" && (current() as Row & { kind: "branch" }).expanded)) },
       {
-        name: "ctree.filter",
+        name: "ctree.go",
         hidden: true,
-        run: () => {
-          const next = cycleFilter(filter())
-          setFilter(next)
-          api.kv.set("ctree.filter", next)
-        },
+        run: () =>
+          void (panel() === "decisions"
+            ? jumpToDecision()
+            : panel() === "consumers"
+              ? toggleConsumer(!consumerOpen().has(consumerLine()?.bucket.source ?? ""))
+              : cropMode()
+                ? applyMarked()
+                : jump()),
       },
+      { name: "ctree.branch", hidden: true, enabled: treeIdle, run: () => void branch() },
+      { name: "ctree.label", hidden: true, enabled: treeIdle, run: () => void label() },
+      { name: "ctree.filter_pick", hidden: true, enabled: () => !inCrop(), run: () => void pickFilter() },
       {
-        name: "ctree.search",
+        name: "ctree.filter_prev",
         hidden: true,
-        run: () =>
-          void prompt("Search rows (empty to clear)", "bash, redis, label…", search()).then((v) => {
-            if (v !== undefined) setSearch(v.trim())
-          }),
+        enabled: () => !inCrop(),
+        run: () => setFilterTo(FILTERS[(FILTERS.findIndex((f) => f.value === filter()) - 1 + FILTERS.length) % FILTERS.length]!.value),
       },
+      { name: "ctree.search", hidden: true, enabled: treeIdle, run: () => enterSearch() },
+      { name: "ctree.search_next", hidden: true, enabled: treePanel, run: () => moveMatch(1) },
+      { name: "ctree.search_prev", hidden: true, enabled: treePanel, run: () => moveMatch(-1) },
       {
         name: "ctree.crop",
         hidden: true,
+        enabled: listPanel,
         run: () => {
           if (panel() === "consumers") {
             cropConsumer()
             return
           }
-          if (panel() !== "tree") return
-          if (cropMode()) {
-            setCropMode(undefined)
-            setMarked(new Set<string>())
-          } else setCropMode("result")
+          if (cropMode()) void leaveCropMode()
+          else setCropMode("result")
         },
       },
       {
         name: "ctree.crop_toggle_mode",
         hidden: true,
-        run: () => {
-          if (!cropMode()) return
-          setCropMode(cropMode() === "result" ? "turn" : "result")
-          setMarked(new Set<string>())
-        },
+        enabled: inCrop,
+        // marks are keyed per mode, so switching the lens keeps both sets alive
+        run: () => setCropMode(cropMode() === "result" ? "turn" : "result"),
       },
-      { name: "ctree.mark", hidden: true, enabled: () => Boolean(cropMode()), run: () => toggleMark() },
-      { name: "ctree.auto", hidden: true, enabled: () => Boolean(cropMode()), run: () => autoMarkAll() },
-      { name: "ctree.undo", hidden: true, run: () => void undo() },
-      { name: "ctree.merge", hidden: true, run: () => void merge() },
-      { name: "ctree.inspector", hidden: true, run: () => { setInspector(!inspector()); api.kv.set("ctree.inspector", inspector()) } },
-      { name: "ctree.consumers", hidden: true, run: () => setPanel(panel() === "consumers" ? "tree" : "consumers") },
-      { name: "ctree.copy", hidden: true, run: () => copySelected() },
-      { name: "ctree.mode_duration", hidden: true, run: () => setLane("duration") },
-      { name: "ctree.mode_turns", hidden: true, run: () => setLane("turns") },
-      { name: "ctree.mode_calls", hidden: true, run: () => setLane("calls") },
-      { name: "ctree.lanes_off", hidden: true, run: () => { setLanesOn(false); api.kv.set("ctree.lanesOn", false) } },
-      { name: "ctree.decisions", hidden: true, run: () => setPanel(panel() === "decisions" ? "tree" : "decisions") },
+      { name: "ctree.mark", hidden: true, enabled: listPanel, run: () => (panel() === "consumers" ? markConsumerEntry() : toggleMark()) },
+      { name: "ctree.auto", hidden: true, enabled: inCrop, run: () => autoMarkAll() },
+      { name: "ctree.undo", hidden: true, enabled: treeIdle, run: () => void undo() },
+      { name: "ctree.merge", hidden: true, enabled: treeIdle, run: () => void merge() },
+      { name: "ctree.inspector", hidden: true, enabled: () => !inCrop(), run: () => { setInspector(!inspector()); api.kv.set("ctree.inspector", inspector()) } },
+      { name: "ctree.consumers", hidden: true, enabled: () => !inCrop(), run: () => setPanel(panel() === "consumers" ? "tree" : "consumers") },
+      { name: "ctree.copy", hidden: true, enabled: treeIdle, run: () => copySelected() },
+      { name: "ctree.mode_duration", hidden: true, enabled: treePanel, run: () => setLane("duration") },
+      { name: "ctree.mode_turns", hidden: true, enabled: treePanel, run: () => setLane("turns") },
+      { name: "ctree.mode_calls", hidden: true, enabled: treePanel, run: () => setLane("calls") },
+      { name: "ctree.lanes_off", hidden: true, enabled: treePanel, run: () => { setLanesOn(false); api.kv.set("ctree.lanesOn", false) } },
+      { name: "ctree.decisions", hidden: true, enabled: () => !inCrop(), run: () => setPanel(panel() === "decisions" ? "tree" : "decisions") },
       { name: "ctree.export", hidden: true, enabled: () => panel() === "decisions", run: () => exportDecisionsFile() },
       { name: "ctree.help", hidden: true, run: () => setPanel(panel() === "help" ? "tree" : "help") },
       {
@@ -929,8 +1200,12 @@ export function TreeRoute(props: TreeRouteProps) {
             return
           }
           if (cropMode()) {
-            setCropMode(undefined)
-            setMarked(new Set<string>())
+            void leaveCropMode()
+            return
+          }
+          // a live filter is invisible chrome once search mode is off: clear it before leaving
+          if (search()) {
+            setSearch("")
             return
           }
           back()
@@ -947,83 +1222,162 @@ export function TreeRoute(props: TreeRouteProps) {
     const root = state().root
     return (root && root !== sessionID ? others()[root]?.title : undefined) ?? sessionTitle()
   }
-  const where = () => {
+  const modeTag = () => (cropMode() ? " · crop mode" : searchMode() ? " · search" : "")
+  /** `┌ Context tree · ⎇ fix-flaky ← Fix flaky test`: from a branch the trunk title is a
+   *  suffix, not a repeat. Both titles are cut so the `ctx …` string never clips. */
+  const headLine = () => {
     const b = branchOfCurrent()
-    if (!b) return "trunk"
-    return `⎇ ${b.name ?? sessionTitle()} (${b.status}${b.model ? ` · ${b.model.split("/").pop()}` : ""})`
+    const lead = "┌ Context tree · "
+    const where = b ? `⎇ ${clipTo(b.name ?? sessionTitle(), 28)}${b.status === "open" ? "" : ` (${b.status})`} ← ` : ""
+    const tail = b ? "" : " · trunk"
+    const room = cols() - 4 - formatContext(contextSize(), contextLimit()).length - modeTag().length - lead.length - where.length - tail.length - 3
+    return `${lead}${where}${clipTo(title(), Math.max(8, room))}${tail}${modeTag()}   `
+  }
+
+  const statusLine = () => {
+    const n = view().rows.length
+    const pos = `${n ? Math.min(selected() + 1, n) : 0}/${n}`
+    if (cropMode()) {
+      const a = armed()
+      return `✂ crop mode (${cropMode()}) · space mark · a auto · t result⇄turn · ⏎ apply · esc leave · marked ${selectedCandidates().length} ~${formatK(reclaimed(selectedCandidates()))}${a ? " · armed — space again to override" : ""}`
+    }
+    if (searchMode()) return `search: ${search()}▏ · ${pos} rows · ⏎ keeps it · esc clears`
+    return `filter: ${filter()}${search() ? `   search: "${search()}"` : ""}${busy() ? `   … ${busy()}` : ""}   ${pos} rows`
+  }
+
+  /** `⏎` does four different things; the footer says which one for the row under the cursor. */
+  const goVerb = () => {
+    const row = current()
+    if (!row) return "⏎ go"
+    if (row.kind === "branch") return row.isCurrent ? "⏎ you are here" : `⏎ switch to ⎇ ${clipTo(row.name, 20)}`
+    if (row.kind === "separator") return "⏎ go"
+    if (row.id === view().currentRowId) return "⏎ you are here"
+    return row.kind === "turn" ? "⏎ fork & prefill this turn" : "⏎ fork after this step"
+  }
+
+  const footer = () => {
+    if (cropMode()) return "space mark  a auto  t result⇄turn  ⏎ apply  esc leave"
+    if (panel() === "decisions") return "⏎ jump to record  E export  q back"
+    if (panel() === "consumers") return "⏎ expand  space mark  c crop  q back"
+    if (panel() === "help") return "esc/q back"
+    return `${goVerb()}  b branch  m merge  c crop  ${UNDO_KEY} undo  s consumers  ? help  q back`
+  }
+
+  const showsTree = () => panel() === "tree" || panel() === "help"
+  /** Never "no messages yet" when a filter or a search is what emptied the list. */
+  const emptyText = () => {
+    const q = search().trim()
+    if (q) return `no rows match "${q}" · esc clears`
+    if (filter() !== "default") return `no rows match filter: ${filter()} · f changes it`
+    return "(no messages yet — chat first, then open the tree)"
   }
 
   return (
     <box flexDirection="column" padding={1} backgroundColor={t.background} width="100%" height="100%">
       <box flexDirection="row">
         {/* one expression: JSX would trim the gap before the context string */}
-        <text fg={t.primary}>{`┌ Context tree · ${title()} · ${where()}   `}</text>
+        <text fg={t.primary}>{headLine()}</text>
         <text fg={t[BAND_KEY[band()]]}>{formatContext(contextSize(), contextLimit())}</text>
       </box>
       <Show when={showLanes()}>
-        <text fg={t.info}>│ Input  {laneLine(laneSeries().input, contextLimit())}   {laneMode() === "duration" ? "[1] Duration" : " 1  duration"} · {laneMode() === "turns" ? "[2] Turns" : " 2  turns"} · {laneMode() === "calls" ? "[3] Calls" : " 3  calls"}</text>
+        <box flexDirection="row">
+          {/* one expression per label: JSX trims the gap between a text node and an expression */}
+          <text fg={t.textMuted}>{`│ Input  ${strip().truncatedLeft > 0 ? `…${strip().truncatedLeft}` : ""}`}</text>
+          <Show when={!strip().empty.input} fallback={<text fg={t.textMuted}>{"no input".padEnd(laneWidth())}</text>}>
+            <For each={inputRuns()}>{(r) => <text fg={r.fg as never} bg={r.bg as never}>{r.text}</text>}</For>
+          </Show>
+          <text fg={t.textMuted}>{`   ${laneMode() === "duration" ? "[1] Duration" : " 1  duration"} · ${laneMode() === "turns" ? "[2] Turns" : " 2  turns"} · ${laneMode() === "calls" ? "[3] Calls" : " 3  calls"} · 0 off`}</text>
+        </box>
         <Show when={showAllLanes()}>
-          <text fg={t.accent}>│ Model  {laneLine(laneSeries().output)}</text>
           <box flexDirection="row">
-            <text fg={t.warning}>│ Tools  </text>
-            <For each={toolRuns()}>{(run) => <text fg={run.error ? t.error : t.warning}>{run.text}</text>}</For>
-            <text fg={t.warning}>   i inspector · u consumers</text>
+            <text fg={t.textMuted}>{"│ Model  "}</text>
+            <Show when={!strip().empty.model} fallback={<text fg={t.textMuted}>{"no model steps".padEnd(laneWidth())}</text>}>
+              <For each={modelRuns()}>{(r) => <text fg={r.fg as never} bg={r.bg as never}>{r.text}</text>}</For>
+            </Show>
+          </box>
+          <box flexDirection="row">
+            <text fg={t.textMuted}>{"│ Tools  "}</text>
+            <Show when={!strip().empty.tools} fallback={<text fg={t.textMuted}>{"no tool calls".padEnd(laneWidth())}</text>}>
+              <For each={toolRuns()}>{(r) => <text fg={r.fg as never} bg={r.bg as never}>{r.text}</text>}</For>
+            </Show>
+            <text fg={t.textMuted}>{"   i inspector · s consumers"}</text>
           </box>
         </Show>
       </Show>
       <Show when={laneRoom() && lanesOn() && !showLanes()}>
         <text fg={t.textMuted}>│ lanes appear after 3 turns</text>
       </Show>
-      <text fg={cropMode() ? t.warning : t.textMuted}>
-        │ {cropMode() ? `✂ crop mode (${cropMode()}) · space mark · a auto · t result⇄turn · ⏎ apply · esc leave · marked ${selectedCandidates().length} ~${formatK(reclaimed(selectedCandidates()))}` : `filter: ${filter()}`}
-        {search() ? `   search: "${search()}"` : ""}
-        {busy() ? `   … ${busy()}` : ""}   {view().rows.length} rows
-      </text>
+      <text fg={cropMode() ? t.warning : searchMode() ? t.accent : t.textMuted}>│ {statusLine()}</text>
       <Show when={panel() === "decisions"}>
-        <text fg={t.accent}>│ ◆ decisions on this tree ({decisions().length}) · ⏎ jump to record · E export markdown · D back</text>
+        <text fg={t.accent}>│ ◆ decisions on this tree ({decisions().length}) · ⏎ jump to record · E export markdown · q back</text>
         <Show when={decisions().length === 0}>
           <text fg={t.textMuted}>│ (none yet — /merge a branch to write one)</text>
         </Show>
         <For each={decisions()}>
           {(d, i) => {
             const sel = () => i() === decisionIndex()
-            const lines = () => (d.text ?? "").split("\n").slice(0, sel() ? 12 : 1)
+            const body = () => renderDecision(d.text ?? "", width() - 6)
+            const room = () => Math.max(3, height() - decisions().length)
+            const start = () => Math.min(decisionScroll(), Math.max(0, body().length - room()))
+            const more = () => Math.max(0, body().length - start() - room())
             return (
               <box flexDirection="column">
                 <text fg={sel() ? t.background : t.accent} bg={sel() ? t.primary : undefined}>
-                  {sel() ? "›" : "│"} {d.hidden ? "◇ (hidden from model) " : "◆ "}{d.branchName}  · {new Date(d.recordedAt).toISOString().slice(0, 16).replace("T", " ")}{d.siblings.length ? ` · ✗ ${d.siblings.map((x) => x.name).join(", ")}` : ""}
+                  {sel() ? "›" : "│"} {d.hidden ? "◇ (hidden from model) " : "◆ "}{clipTo(decisionSummary(d.text ?? "").title || d.branchName, 48)}  · {new Date(d.recordedAt).toISOString().slice(0, 16).replace("T", " ")}{d.siblings.length ? ` · ✗ ${d.siblings.map((x) => x.name).join(", ")}` : ""}
                 </text>
-                <For each={sel() ? lines().slice(1) : []}>{(l) => <text fg={t.text}>│    {l.slice(0, width() - 6)}</text>}</For>
+                <For each={sel() ? body().slice(start(), start() + room()) : []}>{(l) => <text fg={t.text}>{`│    ${l}`}</text>}</For>
+                <Show when={sel() && more() > 0}>
+                  <text fg={t.textMuted}>{`│    … ${more()} more lines ↓ (ctrl+d)`}</text>
+                </Show>
               </box>
             )
           }}
         </For>
       </Show>
       <Show when={panel() === "consumers"}>
-        <text fg={t.accent}>│ what's filling the context · {formatK(view().totalTokens)} total · c crop · u/esc back</text>
-        <For each={consumerRows()}>
-          {(c, i) => {
+        <text fg={t.accent}>│ what's filling the context · {formatK(view().totalTokens)} total · source · %tree · %window · tokens · entries</text>
+        <For each={consumerLines()}>
+          {(line, i) => {
             const sel = () => i() === consumerIndex()
+            const c = line.bucket
+            const fg = () => (sel() ? t.background : line.entry ? t.textMuted : c.kind === "tool" ? t.warning : t.text)
+            const window = () => (c.shareOfWindow === undefined ? "–" : `${(c.shareOfWindow * 100).toFixed(0)}%`)
+            const entry = line.entry
             return (
-              <text fg={sel() ? t.background : c.kind === "tool" ? t.warning : t.text} bg={sel() ? t.primary : undefined}>
-                {sel() ? "›" : "│"} {c.source.padEnd(22).slice(0, 22)} {`${(c.share * 100).toFixed(0)}%`.padStart(4)} {bar(c.share, 24)} {formatK(c.tokens).padStart(6)} · {c.count} entr{c.count === 1 ? "y" : "ies"}
+              <text fg={fg()} bg={sel() ? t.primary : undefined}>
+                {sel() ? "›" : "│"} {entry
+                  ? fitRow(`    ${entry.croppable ? (marked().has(entry.partID ?? "") ? "[x]" : "[ ]") : "   "} ${plain(entry.preview)}${entry.croppable ? "" : ` · ${c.note ?? "not a completed tool result"}`}`, formatK(entry.tokens), width() - 4)
+                  : `${consumerOpen().has(c.source) ? "▾" : "▸"} ${c.source.padEnd(20).slice(0, 20)} ${`${(c.share * 100).toFixed(0)}%`.padStart(4)} ${window().padStart(5)} ${bar(c.tokens / consumerMax(), 18)} ${formatK(c.tokens).padStart(6)} · ${c.count} entr${c.count === 1 ? "y" : "ies"}${c.note ? ` · ${c.note}` : ""}`}
               </text>
             )
           }}
         </For>
       </Show>
-      {/* clipped to the terminal so a short window keeps its footer */}
-      <For each={panel() === "help" ? HELP.slice(0, Math.max(6, size().rows - 5)) : []}>{(l) => <text fg={l.startsWith(" ") ? t.textMuted : t.accent}>│ {l}</text>}</For>
-      <Show when={panel() === "tree" && view().rows.length === 0}>
-        <text fg={t.textMuted}>│ (no messages yet — chat first, then open the tree)</text>
+      <Show when={showsTree() && view().rows.length === 0}>
+        <text fg={t.textMuted}>│ {emptyText()}</text>
       </Show>
       <box flexDirection="row" flexGrow={1}>
       <box flexDirection="column" flexGrow={1}>
-      <For each={panel() === "tree" ? visible() : []}>
+      <Show when={showsTree() && overflow()}>
+        <text fg={t.textMuted}>│ {hiddenAbove() > 0 ? `↑ ${hiddenAbove()} more` : ""}</text>
+      </Show>
+      <For each={showsTree() ? visible() : []}>
         {(row, i) => {
           const isSel = () => windowStart() + i() === selected()
           const color = () =>
-            row.kind === "branch" ? statusColor(t, row) : row.kind === "turn" ? (row.isDecision ? t.accent : t.text) : row.isError ? t.error : row.warn ? t.warning : t.textMuted
+            row.kind === "separator"
+              ? t.textMuted
+              : row.kind === "branch"
+                ? statusColor(t, row)
+                : !row.inContext
+                  ? t.textMuted // the model is never shown these: an ancestor's rows past our fork point
+                  : row.kind === "turn"
+                    ? (row.isDecision ? t.accent : t.text)
+                    : row.isError
+                      ? t.error
+                      : row.warn
+                        ? t.warning
+                        : t.textMuted
           const mark = () => {
             if (!cropMode()) return ""
             const c = candidateOf(row)
@@ -1032,17 +1386,40 @@ export function TreeRoute(props: TreeRouteProps) {
             const prot = c.protections.filter((p) => p !== "too-small")
             return `${on ? "[x]" : "[ ]"}${prot.length ? "!" : " "}`
           }
+          const prefix = () => `${isSel() ? "›" : "│"} ${mark()}`
+          const segs = () => segmentsOf(rowLine(row, rowWidth(), row.id === view().currentRowId), search().trim(), thoughtOf(row))
           return (
-            <text fg={isSel() ? t.background : (color() as never)} bg={isSel() ? t.primary : undefined}>
-              {isSel() ? "›" : "│"} {mark()}
-              {rowLine(row, rowWidth(), row.id === view().currentRowId)}
-            </text>
+            <Show
+              when={segs().length > 1}
+              fallback={
+                <text fg={isSel() ? t.background : (color() as never)} bg={isSel() ? t.primary : undefined}>
+                  {prefix()}
+                  {segs()[0]?.text}
+                </text>
+              }
+            >
+              <box flexDirection="row">
+                <text fg={isSel() ? t.background : (color() as never)} bg={isSel() ? t.primary : undefined}>{prefix()}</text>
+                <For each={segs()}>
+                  {(s) => (
+                    <text fg={(s.kind === "match" ? t.background : s.kind === "dim" ? t.textMuted : isSel() ? t.background : color()) as never} bg={s.kind === "match" ? t.accent : isSel() ? t.primary : undefined}>
+                      {s.text}
+                    </text>
+                  )}
+                </For>
+              </box>
+            </Show>
           )
         }}
       </For>
-      <For each={panel() === "tree" && view().rows.length > 0 && !view().rows.some((r) => r.kind === "branch") ? noBranchesLines() : []}>
+      <Show when={showsTree() && overflow()}>
+        <text fg={t.textMuted}>│ {hiddenBelow() > 0 ? `… ${hiddenBelow()} more ↓` : ""}</text>
+      </Show>
+      <For each={showsTree() && view().rows.length > 0 && !view().rows.some((r) => r.kind === "branch") ? noBranchesLines() : []}>
         {(l) => <text fg={t.textMuted}>│ {l}</text>}
       </For>
+      {/* the help pane sits under the rows, so the tree it explains stays on screen */}
+      <For each={panel() === "help" ? HELP.slice(0, helpHeight()) : []}>{(l) => <text fg={l.startsWith(" ") ? t.textMuted : t.accent}>│ {l}</text>}</For>
       </box>
       <Show when={showInspector()}>
         <box flexDirection="column" width={inspectorWidth()} paddingLeft={1}>
@@ -1050,9 +1427,7 @@ export function TreeRoute(props: TreeRouteProps) {
         </box>
       </Show>
       </box>
-      <text fg={cropMode() ? t.warning : t.textMuted}>
-        └ {cropMode() ? "space mark  a auto  t result⇄turn  ⏎ apply  esc leave" : "⏎ go  b branch  m merge  c crop  i inspector  1·2·3 lanes  x undo  ? help  q back"}
-      </text>
+      <text fg={cropMode() ? t.warning : t.textMuted}>└ {footer()}</text>
     </box>
   )
 }