@leftoff/cli 0.9.17 → 0.9.18-beta.10

package/ui/session-title.js

@@ -0,0 +1,88 @@
+// 2026-11-05 session titles: one helper for the name a session goes by
+// everywhere (session header, full screen's bar, cards, tabs, pickers).
+// Line one says what the session is doing; where it runs (folder@branch) is a
+// muted second line, never glued to the front of the name. Pure and
+// deterministic (no model call): a prompt used as a name is tidied the way a
+// person would write it as a title.
+
+export const TITLE_MAX = 60
+
+// "cube_cloud@me/some-branch · Please check…": where it runs, glued to the front
+// of a name by whatever named it. The folder and branch have a line of their own.
+const WHERE_GLUED = /^\s*[\w.~-]+@[\w./~+-]+\s*(?:·|•|\||—|–|:|-)\s+/
+// Words in front of a request that a title doesn't need.
+const FILLER = /^(?:(?:please|pls|plz|hey|hi|hello|yo|ok(?:ay)?|so|alright|now)\b[\s,!.:;-]*|(?:can|could|would|will) (?:you|u)(?: please| pls)?\s+|(?:i(?:'d| would) like you to|i (?:want|need) you to)\s+)/i
+// A title doesn't end on a word that leads into the next one.
+const DANGLING = /[\s,;:–—-]+(?:and|or|but|nor|the|a|an|to|of|for|with|without|in|on|at|from|by|into|onto|about|then|so|that|this|these|those|is|are|was|be|as|if|when|while|because|my|your|our|its|&|\+)$/i
+const URL_RE = /\bhttps?:\/\/[^\s<>()]+/gi
+const LONG_PATH = /(^|\s)(?:~|\.{1,2})?(?:\/[\w.@+-]+){3,}\/?/g
+
+const repoOf = (s) => (s && (s.repoLabel || s.repoName || (s.repo && s.repo.name))) || ''
+const branchOf = (s) => (s && (s.branch || (s.repo && s.repo.branch))) || ''
+
+// Where a session runs, as one short line: "folder@branch" (the folder alone
+// when the branch says the same or there is none). '' when unknown.
+export function whereLine(s, repo = repoOf(s)) {
+  const b = branchOf(s)
+  if (!repo) return b || ''
+  return b && b !== repo ? repo + '@' + b : repo
+}
+
+// A pasted link, as the few words it stands for: a GitHub pull request or issue
+// is "PR 408" / "issue 12", anything else its host.
+function urlWords(u) {
+  const m = u.match(/^https?:\/\/(?:www\.)?github\.com\/[^/\s]+\/[^/\s]+\/(pull|issues)\/(\d+)/i)
+  if (m) return (m[1].toLowerCase() === 'pull' ? 'PR ' : 'issue ') + m[2]
+  try { return new URL(u).host.replace(/^www\./, '') } catch { return '' }
+}
+
+// Cut at a word boundary: never mid-word, never on a dangling "and"/"the"/"to".
+// Text with no spaces to cut at (CJK, one long token) is cut by character.
+export function cutTitle(text, max = TITLE_MAX) {
+  let t = String(text == null ? '' : text).replace(/\s+/g, ' ').trim()
+  let cut = false
+  if (t.length > max) {
+    const room = t.slice(0, max)
+    const sp = room.lastIndexOf(' ')
+    t = /\s/.test(t[max]) ? room : sp > 0 ? room.slice(0, sp) : t.slice(0, max - 1)
+    cut = true
+  }
+  for (let i = 0; i < 4; i++) {
+    const before = t
+    t = t.replace(DANGLING, '').replace(/[\s,;:(\[{–—-]+$/, '')
+    if (t === before) break
+    cut = true
+  }
+  if (!t) return ''
+  return cut ? t.replace(/[.…]+$/, '') + '…' : t
+}
+
+// A first prompt as a title: its first real line, no greeting or "please",
+// links as what they point at, a capital first letter, cut cleanly.
+//   "Please checkout the PR 408 and then…" -> "Check out the PR 408…"
+export function promptTitleText(text, max = TITLE_MAX) {
+  let t = String(text == null ? '' : text).split('\n').map((l) => l.trim()).find(Boolean) || ''
+  t = t.replace(URL_RE, (u) => ' ' + urlWords(u) + ' ').replace(LONG_PATH, (m, pre) => pre + m.trim().split('/').filter(Boolean).pop())
+  t = t.replace(/\s+/g, ' ').trim()
+  for (let i = 0; i < 4; i++) { const n = t.replace(FILLER, ''); if (n === t || !n.trim()) break; t = n.trim() }
+  t = t.replace(/^checkout\s+(?=the\b|pr\b|#|branch\b)/i, 'Check out ')
+  t = t.replace(/^[\s,.:;!?–—-]+/, '')
+  t = cutTitle(t, max)
+  return t && !/^\S+\.\S/.test(t) ? t.charAt(0).toUpperCase() + t.slice(1) : t // a bare host stays as written
+}
+
+// A stored name, tidied for showing: where it runs comes off the front (it has
+// its own line). A name that came from a prompt (or carried a where prefix,
+// which only automatic names do) is tidied like a prompt; a name you or Claude
+// gave it is kept as written, only cut at a word if it is very long.
+export function displayTitle(title, { source = null, max = TITLE_MAX } = {}) {
+  let t = String(title == null ? '' : title).replace(/\s+/g, ' ').trim()
+  const glued = WHERE_GLUED.test(t) && t.replace(WHERE_GLUED, '').trim()
+  if (glued) t = glued
+  if (glued || source === 'prompt' || source === 'fallback') return promptTitleText(t, max) || t
+  return t.length > 2 * max ? cutTitle(t, 2 * max) : t
+}
+
+// Is this stored name only an automatic stand-in (where it runs + the first
+// prompt's words)? Then a generated name may replace it, as for a prompt name.
+export function isPlaceholderTitle(title) { return WHERE_GLUED.test(String(title || '')) }

package/ui/start.js

@@ -51,8 +51,36 @@ export function startPick(data, ui = {}) {
   const where = ui.where === 'worktree' && !(repo && repo.git === false) ? 'worktree' : 'repo'
   // Permissions: what you picked, else what this board last used for that Mac (kept on the Mac you're connected to), else Ask me
   const mode = START_MODES.some((x) => x.v === ui.mode) ? ui.mode : m && START_MODES.some((x) => x.v === m.lastMode) ? m.lastMode : 'default'
-  return { m, repo, where, mode, project, also, dropped, missing }
-}
+  // 0.9.17 Claude Code or Codex: what you picked (when that Mac has both), else what it used last, else the one it has
+  const ag = m && m.agents ? m.agents : null
+  const agent = !ag ? 'claude' : ag.choice && (ui.agent === 'claude' || ui.agent === 'codex') ? ui.agent : ag.last || (ag.claude ? 'claude' : ag.codex ? 'codex' : 'claude')
+  // 1.0 Mode: what you picked (when it's possible for that agent there), else what that Mac used last for the agent, else how Start ran it before
+  const rs = m && m.runs ? m.runs : null
+  const okRun = (r) => !!(rs && rs.options && rs.options[agent] && rs.options[agent][r] && rs.options[agent][r].ok)
+  const dflt = agent === 'codex' ? 'board' : 'headless'
+  const lastRun = rs && rs.last ? rs.last[agent] : null
+  const run = !rs ? dflt : START_RUNS.some((x) => x.v === ui.run) && okRun(ui.run) ? ui.run : okRun(lastRun) ? lastRun : okRun(dflt) ? dflt : (START_RUNS.find((x) => okRun(x.v)) || { v: dflt }).v
+  return { m, repo, where, mode, project, also, dropped, missing, agent, agents: ag, run, runs: rs }
+}
+// 1.0 where the agent runs (src/start-run.js)
+export const START_RUNS = Object.freeze([
+  { v: 'headless', label: 'Headless', sub: 'chat in Live, from any device', glyph: '◇' },
+  { v: 'board', label: 'Board terminal', sub: 'a terminal here and on your phone', glyph: '▭' },
+  { v: 'app', label: 'My terminal app', sub: 'Ghostty, iTerm or Terminal', glyph: '▣' },
+])
+export function startRunIntro(agent, run) {
+  const AG = agent === 'codex' ? 'Codex' : 'Claude Code'
+  if (run === 'board') return 'Leftoff starts ' + AG + ' in a terminal it keeps on the Mac you pick. It shows in the board and on your phone, and it keeps running when you close the tab.'
+  if (run === 'app') return 'Leftoff starts ' + AG + ' in a terminal it keeps on the Mac you pick, and opens it in your terminal app. Closing that window doesn’t stop it: Open in Terminal (or leftoff attach) brings it back.'
+  return 'Leftoff starts ' + AG + ' on the Mac you pick, with no terminal. It shows on every board right away: talk to it in Live, and approve its edits and commands in Needs you, from any device.'
+}
+export const AGENT_NAMES = Object.freeze({ claude: 'Claude Code', codex: 'Codex' })
+// 0.9.17 the Permissions cards in Codex's words (src/codex-start.js CODEX_MODES_TEXT)
+export const CODEX_MODE_SUBS = Object.freeze({
+  default: { sub: 'Codex’s own settings', text: 'Codex runs with your own Codex settings: it asks before anything its sandbox doesn’t allow. You answer in its terminal.' },
+  acceptEdits: { sub: 'edits in the folder, asks for the rest', text: 'Codex may edit files and run commands inside the folder (its workspace-write sandbox); anything outside it asks first, in its terminal.' },
+  auto: { sub: 'no asks, sandboxed to the folder', text: 'Codex never stops to ask: commands run inside the folder’s sandbox, and anything the sandbox blocks fails back to Codex instead of asking you.' },
+})
 export const ADD_DIRS_MAX = 8 // src/claude-headless.js
 
 // The body New session posts (src/session-start.js): a project start carries
@@ -60,6 +88,8 @@ export const ADD_DIRS_MAX = 8 // src/claude-headless.js
 // added (0.9.16) carries just those folders.
 export function startBody(pick, prompt, { draft = null, atts = [] } = {}) {
   const b = { machine: pick.m.machine, cwd: pick.repo.path, prompt, where: pick.where, mode: pick.mode }
+  if (pick.agents) b.agent = pick.agent // 0.9.17 (a Mac that didn't say which it has gets none: Claude Code, as before)
+  if (pick.runs) b.run = pick.run // 1.0 (an older Mac gets none: the way it always started)
   if (pick.project) Object.assign(b, { project: pick.project.id, addDirs: pick.also.map((r) => r.path) })
   else if (pick.also && pick.also.length) b.addDirs = pick.also.map((r) => r.path) // 0.9.16 + Add another repo
   const ids = (atts || []).filter((a) => a && a.id && a.status === 'done').map((a) => a.id) // 0.9.13
@@ -127,6 +157,17 @@ export function modePillHtml(s, { esc, seen = null }) {
   return ' <span class="mode-pill m-' + esc(m) + '" data-tip="' + esc('Permissions: ' + modeLabel(m) + (h.state === 'running' ? '' : ' (when it runs again)')) + '">' + esc(modeLabel(m)) + '</span>'
 }
 
+// 1.0 A session in one of Leftoff's terminals: where it runs, by shape and
+// words. ▣ a terminal app is attached; ◌ running · detached (nobody looking;
+// it keeps running, Go or Open in Terminal brings it back); nothing otherwise.
+export function termPillHtml(s, { esc }) {
+  const t = s && s.terminal
+  if (!t || t.kind !== 'leftoff' || !t.termId || s.endedAt) return ''
+  if (t.apps > 0) return ' <span class="term-pill t-app" data-tip="' + esc('Open in a terminal app (leftoff attach). Closing that window leaves it running.') + '"><span aria-hidden="true">▣</span> in a terminal app</span>'
+  if (t.detached) return ' <span class="term-pill t-detached" data-tip="' + esc('Its terminal is running with no window on it. Go shows it here; Open in Terminal attaches a window. Only Stop or Exit ends it.') + '"><span aria-hidden="true">◌</span> running · detached</span>'
+  return ''
+}
+
 // Is a path inside one of a Mac's approved folders (its real paths)?
 export function underApproved(p, approved) {
   const x = String(p || '')
@@ -160,8 +201,8 @@ const ago = (iso, now) => {
   return Math.round(s / 86400) + 'd ago'
 }
 
-function opt({ k, v, label, sub = '', on = false, disabled = false, esc }) {
-  return '<button type="button" class="start-opt" role="radio" aria-checked="' + on + '" data-action="start-pick" data-k="' + esc(k) + '" data-v="' + esc(v) + '"' + (disabled ? ' disabled' : '') + '>' +
+function opt({ k, v, label, sub = '', on = false, disabled = false, tip = '', esc }) {
+  return '<button type="button" class="start-opt" role="radio" aria-checked="' + on + '" data-action="start-pick" data-k="' + esc(k) + '" data-v="' + esc(v) + '"' + (disabled ? ' disabled' : '') + (tip ? ' data-tip="' + esc(tip) + '"' : '') + '>' +
     '<span class="start-opt-main">' + label + '</span>' + (sub ? '<span class="start-opt-sub">' + sub + '</span>' : '') + '</button>'
 }
 
@@ -169,6 +210,7 @@ function opt({ k, v, label, sub = '', on = false, disabled = false, esc }) {
 export function startAskLine(ask, { clock = (x) => x } = {}) {
   if (!ask) return null
   if (ask.state === 'pending') return { tone: 'wait', text: 'Waiting for a yes on ' + ask.machine + ' (until ' + clock(ask.expiresAt) + '). It shows on that Mac’s board and as a notification.' + (ask.firstTime ? ' A first time in a folder asks there, unless it’s inside a folder approved there.' : '') }
+  if (ask.state === 'starting' && ask.agent === 'codex') return { tone: 'wait', text: 'Codex is running in a terminal on ' + ask.machine + '. Its session opens here as soon as Codex writes it (after its first message).' }
   if (ask.state === 'starting') return { tone: 'wait', text: 'Starting on ' + ask.machine + '…' }
   if (ask.state === 'declined') return { tone: 'bad', text: 'Declined on ' + ask.machine + '.' }
   if (ask.state === 'expired') return { tone: 'bad', text: 'Nobody confirmed it on ' + ask.machine + ' in time.' }
@@ -179,8 +221,10 @@ export function startAskLine(ask, { clock = (x) => x } = {}) {
 export function startPageHtml(data, ui = {}, { esc, icon, emoji = () => '', local = true, now = Date.now(), clock = (x) => x, draft = '', busy = false, atts = null, chipHtml = null, mayProject = true } = {}) {
   const pick = startPick(data, ui)
   const rule = startRule(data, pick, { local })
+  const codex = pick.agent === 'codex'
+  const AG = AGENT_NAMES[pick.agent] || 'Claude Code'
   let h = '<a class="back" href="#/">← All sessions</a>' +
-    '<div class="pagehead"><div><h1>New session</h1><div class="sub">Leftoff starts Claude Code on the Mac you pick. It shows on every board right away: talk to it in Live, approve its edits and commands in Needs you.</div></div></div>'
+    '<div class="pagehead"><div><h1>New session</h1><div class="sub">' + esc(startRunIntro(pick.agent, pick.run)) + '</div></div></div>'
   h += '<div class="start" data-start>'
   // Mac
   const ms = (data && data.machines) || []
@@ -188,6 +232,20 @@ export function startPageHtml(data, ui = {}, { esc, icon, emoji = () => '', loca
     ms.map((x) => opt({ k: 'machine', v: x.machine, on: !!pick.m && x.machine === pick.m.machine, disabled: !x.online, esc,
       label: esc((emoji(x.machine) ? emoji(x.machine) + ' ' : '') + x.machine), sub: esc(x.here ? (local ? 'this Mac' : 'the Mac you’re connected to') : x.online ? 'online' : 'offline') })).join('') +
     '</div></section>'
+  // Agent (0.9.17): only when that Mac has both
+  if (pick.agents && pick.agents.choice) {
+    h += '<section class="start-sec start-agent"><h2 class="start-h">Agent</h2><div class="start-opts" role="radiogroup" aria-label="Agent">' +
+      opt({ k: 'agent', v: 'claude', on: !codex, esc, label: 'Claude Code', sub: 'Anthropic' }) +
+      opt({ k: 'agent', v: 'codex', on: codex, esc, label: 'Codex', sub: 'OpenAI' }) +
+      '</div></section>'
+  }
+  // Mode (1.0): headless, the board's terminal, or your terminal app; the ones that Mac can't do say why
+  if (pick.runs && pick.runs.options) {
+    const o = pick.runs.options[pick.agent] || {}
+    h += '<section class="start-sec start-run"><h2 class="start-h">Mode</h2><div class="start-opts" role="radiogroup" aria-label="Mode">' +
+      START_RUNS.map((x) => { const can = o[x.v] || { ok: true }; return opt({ k: 'run', v: x.v, on: x.v === pick.run, disabled: !can.ok, tip: can.ok ? '' : can.why || '', esc, label: '<span class="run-glyph" aria-hidden="true">' + x.glyph + '</span> ' + esc(x.label), sub: esc(can.ok ? x.sub : 'not on this Mac') }) }).join('') +
+      '</div></section>'
+  }
   // Project (0.9.12): only when there are projects
   const projects = (pick.m && pick.m.projects) || []
   if (projects.length) {
@@ -228,17 +286,17 @@ export function startPageHtml(data, ui = {}, { esc, icon, emoji = () => '', loca
   // Where
   h += '<section class="start-sec"><h2 class="start-h">Where</h2><div class="start-opts start-where" role="radiogroup" aria-label="Where">' +
     opt({ k: 'where', v: 'repo', on: pick.where === 'repo', esc, label: 'In the repo', sub: 'on its current branch' }) +
-    opt({ k: 'where', v: 'worktree', on: pick.where === 'worktree', esc, label: 'New worktree', sub: pick.repo && pick.repo.git === false ? 'needs a git repo' : 'its own branch and folder', disabled: !!(pick.repo && pick.repo.git === false) }) +
+    opt({ k: 'where', v: 'worktree', on: pick.where === 'worktree', esc, label: 'New worktree', sub: pick.repo && pick.repo.git === false ? 'needs a git repo' : codex ? 'Codex’s own worktree' : 'its own branch and folder', disabled: !!(pick.repo && pick.repo.git === false) }) +
     '</div></section>'
   // Permissions (0.9.9)
   const mo = START_MODES.find((x) => x.v === pick.mode) || START_MODES[0]
-  const moreText = mo.text + ' ' + TERMINAL_MODE_HINT // behind the (?): the cards' own lines say enough
+  const moreText = codex ? (CODEX_MODE_SUBS[mo.v] || CODEX_MODE_SUBS.default).text : mo.text + ' ' + TERMINAL_MODE_HINT // behind the (?): the cards' own lines say enough
   h += '<section class="start-sec"><h2 class="start-h start-h-help">Permissions' + helpQHtml({ id: 'start-mode-help', label: 'About Permissions', text: moreText, open: !!ui.helpOpen }, { esc }) + '</h2><div class="start-opts start-mode" role="radiogroup" aria-label="Permissions">' +
-    START_MODES.map((x) => opt({ k: 'mode', v: x.v, on: x.v === mo.v, esc, label: esc(x.label), sub: esc(x.sub) })).join('') +
+    START_MODES.map((x) => opt({ k: 'mode', v: x.v, on: x.v === mo.v, esc, label: esc(x.label), sub: esc(codex ? CODEX_MODE_SUBS[x.v].sub : x.sub) })).join('') +
     '</div>' + helpMoreHtml({ id: 'start-mode-help', text: moreText, open: !!ui.helpOpen, cls: 'start-hint start-mode-hint' }, { esc }) + '</section>'
   // First message
   h += '<section class="start-sec"><h2 class="start-h" id="start-msg-h">First message</h2><div class="start-box">' +
-    composerBoxHtml({ submit: 'start', sendAction: 'start-send', draftKey: 'start', draft, ...(Array.isArray(atts) ? { attach: true, atts, chipHtml, sid: START_SID } : {}), may: rule.ok && !ui.ask, busy, placeholder: 'What should Claude do?', label: 'First message', inputClass: 'start-text', keys: 'Enter Meta+Enter Control+Enter' }) +
+    composerBoxHtml({ submit: 'start', sendAction: 'start-send', draftKey: 'start', draft, ...(Array.isArray(atts) && !codex ? { attach: true, atts, chipHtml, sid: START_SID } : {}), may: rule.ok && !(ui.ask && ui.ask.state !== 'starting'), busy, placeholder: codex ? 'What should Codex do? (or leave it empty)' : 'What should Claude do?', label: 'First message', inputClass: 'start-text', keys: 'Enter Meta+Enter Control+Enter' }) +
     '</div><p class="start-rule' + (rule.ok ? '' : ' bad') + '" role="status">' + esc(rule.text) + '</p>'
   const line = startAskLine(ui.ask, { clock })
   if (line) h += '<div class="start-ask ' + line.tone + '" role="status">' + esc(line.text) + (ui.ask && ['declined', 'expired', 'failed'].includes(ui.ask.state) ? ' <button type="button" class="btn" data-action="start-again">Try again</button>' : '') + '</div>'
@@ -458,20 +516,37 @@ export function headlessBarHtml(s, { esc, icon, may = true, busy = null, local =
   if (!h) return ''
   const from = s.startedFrom && s.startedFrom.device ? ' from ' + s.startedFrom.device : ''
   const where = s.machine ? ' on ' + s.machine : ''
+  const agent = h.agent === 'codex' || s.codingAgent === 'codex' ? 'Codex' : 'Claude Code'
+  // 1.0 the same conversation in a terminal: Leftoff's own (a terminal app attaches to it on the Mac itself)
+  const cont = may && h.state !== 'stopping' && h.state !== 'resuming' ? continueButtonHtml(s, 'board', { esc }) : ''
   let text, btn = ''
-  if (h.state === 'running') { text = 'Running' + where + ', started' + from + ' by Leftoff' + (h.awake ? ' · keeping it awake' : ''); if (may) btn = '<button type="button" class="btn" data-action="headless-stop" data-id="' + esc(s.id) + '">' + icon('square') + 'Stop</button>' }
+  if (h.state === 'running') { text = 'Running' + where + ', started' + from + ' by Leftoff' + (h.awake ? ' · keeping it awake' : ''); if (may) btn = cont + '<button type="button" class="btn" data-action="headless-stop" data-id="' + esc(s.id) + '">' + icon('square') + 'Stop</button>' }
   else if (h.state === 'stopping') text = 'Stopping' + where + '…'
-  else if (h.state === 'resuming') text = 'Starting Claude Code' + where + '…' // 0.9.9: Resume on its way
+  else if (h.state === 'resuming') text = 'Starting ' + agent + where + '…' // 0.9.9: Resume on its way
   else {
     // 0.9.13: Paused (its process went: a restart, an exit) is still open; a message resumes it, as does Stopped
     text = (h.error ? 'Claude Code stopped' + where : h.state === 'paused' ? 'Paused' + where + (h.pausedWhy && h.pausedWhy !== 'restart' ? '' : ' (Leftoff restarted)') : 'Stopped' + where) + (from ? ', started' + from : '') + ' · a message picks it up'
-    if (may) btn = '<button type="button" class="btn primary" data-action="headless-run" data-id="' + esc(s.id) + '">' + icon('play') + 'Resume here</button>'
+    if (may) btn = cont + '<button type="button" class="btn primary" data-action="headless-run" data-id="' + esc(s.id) + '">' + icon('play') + 'Resume here</button>'
   }
   return '<div class="headless-bar ' + esc(h.state) + '" data-sid="' + esc(s.id) + '"><span class="grow">' + icon('play') + esc(text) + '</span>' + btn + '</div>' +
     (h.error && h.state !== 'running' ? '<pre class="headless-err" data-headless-err="' + esc(s.id) + '"></pre>' : '') +
     (h.state !== 'stopping' && h.state !== 'resuming' ? headlessModeHtml(s, { esc, may, busy, local, helpOpen }) : '')
 }
 
+// 1.0 Continue in terminal / Continue headless: one button, the same conversation the other way
+export function continueButtonHtml(s, run, { esc }) {
+  const label = run === 'headless' ? 'Continue headless' : 'Continue in terminal'
+  const tip = run === 'headless' ? 'Ends it in the terminal, then picks the same conversation up headless (Live). Only when it’s idle.' : 'Ends the headless process, then picks the same conversation up in a terminal of Leftoff’s. Only when it’s idle.'
+  return '<button type="button" class="btn run-continue" data-action="run-continue" data-run="' + esc(run) + '" data-id="' + esc(s.id) + '" data-tip="' + esc(tip) + '"><span class="run-glyph" aria-hidden="true">' + (run === 'headless' ? '◇' : '▭') + '</span>' + esc(label) + '</button>'
+}
+// The same for a session in Leftoff's own terminal (not headless): where it runs, and the way to headless
+export function termBarHtml(s, { esc, may = true } = {}) {
+  const t = s && s.terminal
+  if (!s || s.headless || s.endedAt || !t || t.kind !== 'leftoff' || !t.termId) return ''
+  const where = t.apps > 0 ? 'In a terminal app' : t.detached ? 'Running · detached' : 'In Leftoff’s terminal'
+  return '<div class="headless-bar term-bar" data-sid="' + esc(s.id) + '"><span class="grow"><span class="run-glyph" aria-hidden="true">' + (t.apps > 0 ? '▣' : t.detached ? '◌' : '▭') + '</span>' + esc(where + (s.machine ? ' on ' + s.machine : '')) + '</span>' + (may ? continueButtonHtml(s, 'headless', { esc }) : '') + '</div>'
+}
+
 // The session page's Permissions switch for a session Leftoff runs: the same
 // three as New session. Running, it switches Claude Code mid-session; stopped,
 // it's the mode Resume starts it in.

package/ui/summary-examples.js

@@ -40,7 +40,7 @@ export const SUMMARY_EXAMPLES = {
 }
 export const LENGTH_CHOICES = [
   { key: 'short', label: 'Short', approx: '~300 tokens', blurb: 'Doing, Stopped at, Next. Three lines.' },
-  { key: 'informative', label: 'Informative', approx: '~700 tokens', blurb: 'Adds key decisions, open questions, files touched and why, and what didn’t work.', recommended: true },
+  { key: 'informative', label: 'Informative', approx: '~700 tokens', blurb: 'Adds approach notes, open questions, files touched and why, and what didn’t work.', recommended: true },
   { key: 'long', label: 'Long', approx: '~1500 tokens', blurb: 'Adds a narrative recap and the next 3 steps.' },
 ]
 
@@ -56,7 +56,7 @@ export function formatCheckpointText(cp, { indent = '' } = {}) {
     line(title + ':')
     items.forEach((x, i) => line((title === 'Next steps' ? '  ' + (i + 1) + '. ' : '  - ') + fmt(x)))
   }
-  list('Key decisions', cp.decisions)
+  list('Approach notes', cp.decisions)
   list('Open questions', cp.questions)
   list('Files touched', cp.files, (f) => (f.path || '') + (f.path && f.why ? ' — ' : '') + (f.why || ''))
   list('What didn’t work', cp.didntWork)

package/ui/term.js

@@ -171,7 +171,7 @@ async function loadLib() {
 }
 
 export function mountTerminal({ api, icon = () => '', toast = () => {}, context = () => null, openMenu = null, relayApi = () => (typeof window !== 'undefined' && window.leftoffRelay) || null } = {}) {
-  const st = { max: ls.get(MAX_KEY) === '1', open: false, info: null, tabs: [], active: ls.get(ACTIVE_KEY), views: new Map(), ghostty: undefined, ctrl: false, loading: false, listTimer: 0, sid: null }
+  const st = { max: ls.get(MAX_KEY) === '1', open: false, info: null, tabs: [], active: ls.get(ACTIVE_KEY), views: new Map(), ghostty: undefined, ghosttyPeek: undefined, ctrl: false, loading: false, listTimer: 0, sid: null }
   // 0.9.15 each session's own terminal tab (term-sess.js); st.sid: the session in view, if any
   let sess = null
   try { sess = createTermSessStore({ storage: window.localStorage }) } catch { sess = createTermSessStore({ storage: null }) }
@@ -694,6 +694,14 @@ export function mountTerminal({ api, icon = () => '', toast = () => {}, context
     try { st.ghostty = await api('GET', '/v1/term/theme/ghostty') } catch { st.ghostty = null }
     return st.ghostty
   }
+  // 1.0: the ⋯ menu only asks whether there is a Ghostty to match; Ghostty's own
+  // files (its app data on a Mac) are read when you pick it, not when the menu opens
+  async function peekGhostty() {
+    if (st.ghostty !== undefined) return st.ghostty
+    if (st.ghosttyPeek !== undefined) return st.ghosttyPeek
+    try { st.ghosttyPeek = await api('GET', '/v1/term/theme/ghostty?peek=1') } catch { st.ghosttyPeek = null }
+    return st.ghosttyPeek
+  }
   applyLook()
   if ((ls.get(THEME_KEY) || '') === 'ghostty') loadGhostty().then(applyLook)
   new MutationObserver(() => applyLook()).observe(document.documentElement, { attributes: true, attributeFilter: ['data-theme'] })
@@ -701,7 +709,7 @@ export function mountTerminal({ api, icon = () => '', toast = () => {}, context
 
   // ---------- menu
   async function menuItems() {
-    const g = await loadGhostty()
+    const g = await peekGhostty()
     const cur = ls.get(THEME_KEY) || 'auto'
     const ctx = context() || null
     const items = []
@@ -713,7 +721,7 @@ export function mountTerminal({ api, icon = () => '', toast = () => {}, context
     items.push({ label: 'Run claude here', sub: ctx && ctx.sessionId ? 'in ' + (ctx.folder || 'this session’s folder') : 'in ~', icon: icon('terminal'), cls: 'one-line', attrs: { 'data-term-act': 'claude', 'data-tip': 'Runs claude in ' + where } })
     if (ctx && ctx.sessionId && ctx.resumable) items.push({ label: 'Resume this session', sub: ctx.resumeCmd || 'claude --resume', icon: icon('play'), cls: 'one-line', attrs: { 'data-term-act': 'resume', 'data-tip': (ctx.resumeCmd || 'claude --resume') + ' in ' + where } })
     items.push({ sep: true })
-    const choices = THEME_CHOICES.filter((k) => k !== 'ghostty' || (g && g.found && (g.theme || g.light || g.dark)))
+    const choices = THEME_CHOICES.filter((k) => k !== 'ghostty' || (g && g.found && (g.theme || g.light || g.dark || g.deferred)))
     items.push({ label: 'Theme', sub: themeLabel(cur, g), icon: icon('palette'), cls: 'one-line', whole: true, more: { title: 'Theme', items: choices.map((k) => ({ label: themeLabel(k, g), on: k === cur, cls: 'one-line', after: k === cur ? '<span class="lo-act-cur">current</span>' : '', attrs: { 'data-term-theme': k } })) } })
     return items
   }

package/ui/testplan.js

@@ -0,0 +1,162 @@
+// Test plan from merged PRs (testplan Part 3, docs/test-plan.md): the board's page, its Markdown
+// checklist and its downloadable .html (the walkthrough export's look). Pure builders; app.js wires
+// them; unit-tested in test/unit/testplan-*.test.mjs. Words are escaped first; links only to https,
+// the board's own #/ routes, and nothing else.
+import { EXPORT_CSS } from './semdiff.js'
+
+const escT = (s) => String(s == null ? '' : s).replace(/&/g, '&amp;').replace(/</g, '&lt;').replace(/>/g, '&gt;').replace(/"/g, '&quot;').replace(/'/g, '&#39;')
+export const BUDGETS = [15, 30, 60]
+export const RISK_SHAPE = { high: '▲', medium: '◆', low: '▽' }
+export const RISK_WORD = { high: 'High risk', medium: 'Medium risk', low: 'Low risk' }
+export const TP_TRUST_TIP = 'Writing a test plan from another device is off. On a Mac, turn on Settings → Privacy & security → Trust my paired devices.'
+const off = (trusted, esc) => (trusted === false ? ' disabled aria-disabled="true" data-tip="' + esc(TP_TRUST_TIP) + '"' : '')
+const httpsUrl = (u) => (/^https:\/\/[^\s"'<>]+$/.test(String(u || '')) ? String(u) : null)
+const day = (iso) => String(iso || '').slice(0, 10)
+
+export const testplanHref = (id, machine = null) => '#/testplan/' + encodeURIComponent(id) + (machine ? '?machine=' + encodeURIComponent(machine) : '')
+export function testplanNewHref({ scope = '', prs = null, since = null } = {}) {
+  const q = []
+  if (scope) q.push('scope=' + encodeURIComponent(scope))
+  if (prs && prs.length) q.push('prs=' + prs.map(encodeURIComponent).join(','))
+  if (since) q.push('since=' + encodeURIComponent(since))
+  return '#/testplan/new' + (q.length ? '?' + q.join('&') : '')
+}
+
+export function progressLine(plan) {
+  const cs = (plan && plan.plan && plan.plan.checks) || []
+  const t = (plan && plan.ticks) || {}
+  return cs.filter((c) => t[c.id] && t[c.id].state).length + ' of ' + cs.length + ' checked'
+}
+
+// A citation as a small chip: a PR opens on GitHub, a decision in its log; a step or checkpoint is its words.
+export function citeChipHtml(tag, tags, { esc = escT } = {}) {
+  const x = (tags && tags[tag]) || null
+  const [kind] = String(tag).split(':')
+  const label = kind === 'pr' ? '#' + tag.slice(3) : kind === 'dec' ? tag.slice(4) : kind === 'st' ? 'step' : 'checkpoint'
+  const tip = x && x.label ? x.label : tag
+  if (kind === 'pr' && x && httpsUrl(x.url)) return '<a class="tp-cite" href="' + esc(x.url) + '" target="_blank" rel="noopener noreferrer" data-tip="' + esc(tip) + '">' + esc(label) + '</a>'
+  if (kind === 'dec' && x && x.repo) return '<a class="tp-cite" href="#/decisions/' + esc(x.repo) + '?d=' + esc(encodeURIComponent(tag.slice(4))) + '" data-tip="' + esc(tip) + '">' + esc(label) + '</a>'
+  return '<span class="tp-cite" data-tip="' + esc(tip) + '">' + esc(label + (x && x.label ? ': ' + x.label : '')) + '</span>'
+}
+
+const riskHtml = (r, esc) => '<span class="tp-risk tp-risk-' + esc(r) + '"><span aria-hidden="true">' + (RISK_SHAPE[r] || '◆') + '</span> ' + esc(RISK_WORD[r] || r) + '</span>'
+
+// One check. ticks[c.id]: { state: 'done' | 'failed' | null, note }. proposed: decision id made from it.
+export function checkHtml(c, plan, { esc = escT, trusted = true, noting = null, proposing = null } = {}) {
+  const t = (plan.ticks || {})[c.id] || {}
+  const st = t.state || null
+  const tags = (plan.plan && plan.plan.tags) || {}
+  const prop = plan.proposed && plan.proposed[c.id]
+  const prRepo = (((plan.prs || []).find((x) => (c.prs || []).includes(x.number)) || (plan.prs || [])[0] || {}).decisionRepo) || ''
+  const tick = (v, word, shape) => '<button type="button" class="btn tp-tick tp-tick-' + v + '" data-action="tp-tick" data-id="' + esc(plan.id) + '" data-check="' + esc(c.id) + '" data-state="' + v + '" aria-pressed="' + (st === v) + '"><span aria-hidden="true">' + shape + '</span> ' + word + '</button>'
+  const note = st === 'failed' || noting === c.id
+    ? '<form class="tp-note" data-action="tp-note" data-id="' + esc(plan.id) + '" data-check="' + esc(c.id) + '"><label class="tp-note-l">What went wrong<input class="dec-in tp-note-in" name="note" maxlength="280" autocomplete="off" value="' + esc(t.note || '') + '" placeholder="One line, for the export"></label><div class="dec-acts"><button type="submit" class="btn">Save note</button>' +
+      (prop ? '<a class="linkish tp-prop" href="#/decisions/' + esc(prRepo) + '?d=' + esc(encodeURIComponent(prop)) + '"><span aria-hidden="true">◌</span> Proposed ' + esc(prop) + ' →</a>'
+        : '<button type="button" class="btn" data-action="tp-propose" data-id="' + esc(plan.id) + '" data-check="' + esc(c.id) + '"' + off(trusted, esc) + '>Propose a decision</button>') + '</div></form>' +
+      (proposing === c.id && !prop ? '<form class="tp-propf dec-edit" data-action="tp-propose-save" data-id="' + esc(plan.id) + '" data-check="' + esc(c.id) + '"><label>The decision (proposed to the repo’s log; you accept it there or not)<input class="dec-in" name="text" maxlength="240" autocomplete="off" value="' + esc(t.note ? 'Correct: ' + t.note : '') + '"></label><div class="dec-acts"><button type="submit" class="btn primary">Propose</button><button type="button" class="btn" data-action="tp-propose-cancel">Cancel</button></div></form>' : '')
+    : ''
+  return '<li class="tp-check' + (st ? ' tp-' + st : '') + '" id="tp-' + esc(c.id) + '">' +
+    '<div class="tp-ch"><span class="tp-n">' + esc(c.id.slice(1)) + '</span><h3 class="tp-title">' + esc(c.title) + '</h3>' + riskHtml(c.risk, esc) + '<span class="tp-min">' + esc(c.minutes) + ' min</span></div>' +
+    (c.where ? '<p class="tp-where"><span class="tp-k">Where</span> ' + esc(c.where) + '</p>' : '') +
+    (c.steps && c.steps.length ? '<ol class="tp-steps">' + c.steps.map((x) => '<li>' + esc(x) + '</li>').join('') + '</ol>' : '') +
+    (c.expect ? '<p class="tp-expect"><span class="tp-k">You should see</span> ' + esc(c.expect) + '</p>' : '') +
+    '<p class="tp-why"><span class="tp-k">Why</span> ' + esc(c.why) + '</p>' +
+    '<div class="tp-cites" aria-label="Where this comes from">' + c.cites.map((tg) => citeChipHtml(tg, tags, { esc })).join('') + '</div>' +
+    '<div class="tp-acts">' + tick('done', 'Checked', '✓') + tick('failed', 'Failed', '✕') + (st ? '<button type="button" class="linkish tp-clear" data-action="tp-tick" data-id="' + esc(plan.id) + '" data-check="' + esc(c.id) + '" data-state="">Clear</button>' : '') + '</div>' + note + '</li>'
+}
+
+// The plan's page. ui: { trusted, noting, machine (another Mac's plan), here }
+export function testplanPageHtml(plan, ui = {}, { esc = escT } = {}) {
+  if (!plan) return '<div class="proj tp-page"><p class="faint">Loading the test plan…</p></div>'
+  const sc = plan.scope || {}
+  const back = sc.kind === 'project' ? '<a class="back" href="#/project/' + esc(encodeURIComponent(sc.id || sc.token || '')) + '">← ' + esc(sc.label || 'Project') + '</a>' : '<a class="back" href="#/prs">← Pull requests</a>'
+  const sub = [plan.window && plan.window.label, plan.minutes + '-minute budget', (plan.prs || []).length + ' merged PR' + ((plan.prs || []).length === 1 ? '' : 's'), plan.machine && ui.here && plan.machine !== ui.here ? 'on ' + plan.machine : null].filter(Boolean).join(' · ')
+  let h = back + '<header class="tp-head"><h1>Test plan <span class="faint">· ' + esc(sc.label || '') + '</span></h1><p class="sub">' + esc(sub) + '</p></header>'
+  if (plan.status === 'running') return '<div class="proj tp-page">' + h + '<div class="tp-wait" role="status" aria-live="polite"><span class="tp-spin" aria-hidden="true"></span> Writing the test plan from ' + esc((plan.prs || []).length) + ' PRs… this takes up to a couple of minutes.</div></div>'
+  if (plan.status === 'error') return '<div class="proj tp-page">' + h + '<div class="banner warn" role="alert"><span>Couldn’t write it: ' + esc(plan.error || 'unknown error') + '</span></div></div>'
+  const p = plan.plan || { checks: [], notCovered: [], coverage: {} }
+  const by = plan.by || {}
+  const byWords = by.engine === 'claude' ? 'Written by Claude Code (read-only)' : by.engine === 'summary' ? 'Written by your summary model (' + (by.model || by.provider || '') + ')' : by.engine === 'rules' ? 'Made from Leftoff’s notes without a model' : by.engine === 'empty' ? '' : ''
+  h += '<div class="tp-bar"><span class="tp-prog" role="status"><span aria-hidden="true">☐</span> ' + esc(progressLine(plan)) + '</span><span class="tp-cov">' + esc(p.coverage && p.coverage.line || '') + '</span>' +
+    '<span class="tp-exp"><button type="button" class="btn" data-action="tp-copy" data-id="' + esc(plan.id) + '">Copy as Markdown</button><button type="button" class="btn" data-action="tp-download" data-id="' + esc(plan.id) + '">Download .html</button></span></div>'
+  if (byWords) h += '<p class="faint tp-by">' + esc(byWords) + (by.why && by.engine !== 'claude' ? ' · ' + esc(by.why) : '') + '</p>'
+  if (!p.checks.length) h += '<p class="faint">' + esc((p.coverage && p.coverage.line) || 'Nothing to check.') + '</p>'
+  else h += '<ol class="tp-list">' + p.checks.map((c) => checkHtml(c, plan, { esc, trusted: ui.trusted, noting: ui.noting, proposing: ui.proposing })).join('') + '</ol>'
+  if (p.notCovered && p.notCovered.length) h += '<section class="proj-sec tp-nc"><h2>Not covered <span class="count">' + p.notCovered.length + '</span></h2><ul class="tp-ncl">' + p.notCovered.map((n) => '<li><span class="tp-nc-w">' + esc(n.what) + '</span> <span class="faint">· ' + esc(n.why) + '</span>' + ((n.cites || []).length ? ' <span class="tp-cites">' + n.cites.map((tg) => citeChipHtml(tg, p.tags || {}, { esc })).join('') + '</span>' : '') + '</li>').join('') + '</ul></section>'
+  const nw = (plan.prs || []).filter((x) => x.noWalkthrough)
+  h += '<section class="proj-sec tp-prs"><h2>Merged PRs <span class="count">' + (plan.prs || []).length + '</span></h2><ul class="tp-prl">' + (plan.prs || []).map((x) => '<li>' + (httpsUrl(x.url) ? '<a href="' + esc(x.url) + '" target="_blank" rel="noopener noreferrer">#' + esc(x.number) + '</a>' : '#' + esc(x.number)) + ' ' + esc(x.title) + (x.noWalkthrough ? ' <span class="tp-nowt"><span aria-hidden="true">◌</span> no walkthrough</span>' : '') + '</li>').join('') + '</ul>' +
+    (nw.length ? '<p class="faint">' + nw.length + ' had no walkthrough, so only their files, checkpoints and decisions were read.</p>' : '') + '</section>'
+  if (p.notes && p.notes.length) h += '<details class="tp-notes"><summary>What was checked in the answer (' + p.notes.length + ')</summary><ul>' + p.notes.map((n) => '<li>' + esc(n) + '</li>').join('') + '</ul></details>'
+  h += '<p class="tp-del"><button type="button" class="linkish" data-action="tp-delete" data-id="' + esc(plan.id) + '">Delete this test plan</button></p>'
+  return '<div class="proj tp-page">' + h + '</div>'
+}
+
+// Before a run: the PRs in the window, the budget (15 / 30 / 60, a choice in the request, not a setting),
+// "Walk through the N without one first", and the plans made before.
+export function testplanNewHtml(pv, ui = {}, { esc = escT } = {}) {
+  const sc = (pv && pv.scope) || {}
+  const back = sc.kind === 'project' ? '<a class="back" href="#/project/' + esc(encodeURIComponent(sc.id || sc.token || '')) + '">← ' + esc(sc.label || 'Project') + '</a>' : '<a class="back" href="#/prs">← Pull requests</a>'
+  let h = back + '<header class="tp-head"><h1>Test plan <span class="faint">· ' + esc(sc.label || '') + '</span></h1><p class="sub">A short manual script for the PRs merged ' + esc(pv && pv.window ? pv.window.label.toLowerCase() : 'lately') + ': what to click, what you should see, why it’s on the list.</p></header>'
+  if (!pv) return '<div class="proj tp-page">' + h + '<p class="faint">Reading the merged PRs…</p></div>'
+  const prs = pv.prs || []
+  const mins = BUDGETS.includes(ui.minutes) ? ui.minutes : 30
+  h += '<div class="tp-budget" role="group" aria-label="Time budget">' + BUDGETS.map((m) => '<button type="button" class="sask-opt" data-action="tp-minutes" data-m="' + m + '" aria-pressed="' + (m === mins) + '">' + m + ' min</button>').join('') + '</div>'
+  if ((pv.notes || []).length) h += pv.notes.map((n) => '<p class="faint">' + esc(n) + '</p>').join('')
+  if (!prs.length) h += '<p class="faint">No merged PRs ' + esc(pv.window ? pv.window.label.toLowerCase() : '') + '. They show here once the PRs page has read them.</p>'
+  else {
+    h += '<ul class="tp-prl">' + prs.map((x) => '<li>' + (httpsUrl(x.url) ? '<a href="' + esc(x.url) + '" target="_blank" rel="noopener noreferrer">#' + esc(x.number) + '</a>' : '#' + esc(x.number)) + ' ' + esc(x.title) + ' <span class="faint">· ' + esc(day(x.mergedAt)) + '</span>' + (x.walkthrough ? ' <span class="tp-wt"><span aria-hidden="true">●</span> walkthrough</span>' : ' <span class="tp-nowt"><span aria-hidden="true">◌</span> no walkthrough</span>') + '</li>').join('') + '</ul>'
+    const w = pv.walking
+    const n = pv.withoutWalkthrough || 0
+    h += '<div class="dec-acts tp-go">' + (n ? '<button type="button" class="btn" data-action="tp-walk"' + off(ui.trusted, esc) + (w && w.running ? ' disabled' : '') + '>' + (w && w.running ? 'Walking through ' + (w.done + 1) + ' of ' + w.total + '…' : 'Walk through the ' + n + ' without one first') + '</button>' : '') +
+      '<button type="button" class="btn primary" data-action="tp-run"' + off(ui.trusted, esc) + (ui.starting ? ' disabled' : '') + '>' + (ui.starting ? 'Starting…' : 'Make the test plan') + '</button></div>'
+    if (ui.trusted === false) h += '<p class="faint dec-trust"><span aria-hidden="true">◌</span> ' + esc(TP_TRUST_TIP) + '</p>'
+  }
+  const recent = (ui.recent && ui.recent.items) || []
+  if (recent.length) h += '<section class="proj-sec"><h2>Earlier test plans</h2><ul class="tp-recent">' + recent.map((r) => '<li><a href="' + esc(testplanHref(r.id, r.machine && r.machine !== ui.here ? r.machine : null)) + '">' + esc((r.scope && r.scope.label) || 'Test plan') + ' · ' + esc(day(r.createdAt)) + '</a> <span class="faint">· ' + esc(r.ticked + ' of ' + r.checks + ' checked') + (r.machine && r.machine !== ui.here ? ' · on ' + esc(r.machine) : '') + '</span></li>').join('') + '</ul></section>'
+  return '<div class="proj tp-page">' + h + '</div>'
+}
+
+// ------------------------------------------------------------ export
+
+const mdEsc = (s) => String(s == null ? '' : s).replace(/\s+/g, ' ').trim()
+// A checklist with checkboxes: ticked ones [x]; a failed one says so, with its note.
+export function planMarkdown(plan) {
+  const p = (plan && plan.plan) || { checks: [], notCovered: [] }
+  const t = plan.ticks || {}
+  const L = ['# Test plan: ' + mdEsc((plan.scope && plan.scope.label) || ''), '', mdEsc([plan.window && plan.window.label, plan.minutes + '-minute budget', (plan.prs || []).length + ' merged PRs', progressLine(plan)].filter(Boolean).join(' · ')), '']
+  if (p.coverage && p.coverage.line) L.push(mdEsc(p.coverage.line), '')
+  for (const c of p.checks) {
+    const st = t[c.id] && t[c.id].state
+    L.push('- [' + (st ? 'x' : ' ') + '] **' + mdEsc(c.title) + '** (' + (RISK_WORD[c.risk] || c.risk) + ', ' + c.minutes + ' min)' + (st === 'failed' ? ' ✕ failed' + (t[c.id].note ? ': ' + mdEsc(t[c.id].note) : '') : ''))
+    if (c.where) L.push('  - Where: ' + mdEsc(c.where))
+    c.steps.forEach((x, i) => L.push('  ' + (i + 1) + '. ' + mdEsc(x)))
+    if (c.expect) L.push('  - You should see: ' + mdEsc(c.expect))
+    L.push('  - Why: ' + mdEsc(c.why) + (c.cites.length ? ' (' + c.cites.map((x) => '`' + x + '`').join(' ') + ')' : ''))
+  }
+  if (p.notCovered && p.notCovered.length) { L.push('', '## Not covered', ''); for (const n of p.notCovered) L.push('- ' + mdEsc(n.what) + ': ' + mdEsc(n.why)) }
+  L.push('', '## Merged PRs', '')
+  for (const x of plan.prs || []) L.push('- #' + x.number + ' ' + mdEsc(x.title) + (x.noWalkthrough ? ' (no walkthrough)' : ''))
+  return L.join('\n') + '\n'
+}
+
+// ONE self-contained file in the walkthrough export's look: inline CSS, no scripts, no links out
+// (a link is its words and its address).
+export function planHtmlDoc(plan) {
+  const e = escT
+  const p = (plan && plan.plan) || { checks: [], notCovered: [] }
+  const t = plan.ticks || {}
+  let b = '<main><h1>Test plan: ' + e((plan.scope && plan.scope.label) || '') + '</h1><p class="f">' + e([plan.window && plan.window.label, plan.minutes + '-minute budget', (plan.prs || []).length + ' merged PRs', progressLine(plan)].filter(Boolean).join(' · ')) + '</p>'
+  if (p.coverage && p.coverage.line) b += '<p class="sum">' + e(p.coverage.line) + '</p>'
+  for (const c of p.checks) {
+    const st = t[c.id] && t[c.id].state
+    b += '<h2>' + (st === 'done' ? '☑' : st === 'failed' ? '☒' : '☐') + ' ' + e(c.title) + '<span class="tag' + (c.risk === 'high' ? ' core' : '') + '">' + (RISK_SHAPE[c.risk] || '') + ' ' + e(RISK_WORD[c.risk] || c.risk) + '</span><span class="tag">' + e(c.minutes) + ' min</span></h2>'
+    if (st === 'failed') b += '<div class="co"><b>Failed</b> ' + e((t[c.id] && t[c.id].note) || '') + '</div>'
+    if (c.where) b += '<p class="f">Where: ' + e(c.where) + '</p>'
+    if (c.steps.length) b += '<ol>' + c.steps.map((x) => '<li>' + e(x) + '</li>').join('') + '</ol>'
+    if (c.expect) b += '<p>You should see: ' + e(c.expect) + '</p>'
+    b += '<p class="f">Why: ' + e(c.why) + (c.cites.length ? ' · ' + c.cites.map((x) => '<code>' + e(x) + '</code>').join(' ') : '') + '</p>'
+  }
+  if (p.notCovered && p.notCovered.length) b += '<h2>Not covered</h2><ul>' + p.notCovered.map((n) => '<li>' + e(n.what) + ' <span class="f">(' + e(n.why) + ')</span></li>').join('') + '</ul>'
+  b += '<h2>Merged PRs</h2><ul>' + (plan.prs || []).map((x) => '<li>#' + e(x.number) + ' ' + e(x.title) + (x.url ? ' <span class="u f">' + e(x.url) + '</span>' : '') + (x.noWalkthrough ? ' <span class="f">(no walkthrough)</span>' : '') + '</li>').join('') + '</ul></main>'
+  return '<!doctype html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1"><meta http-equiv="Content-Security-Policy" content="default-src \'none\'; style-src \'unsafe-inline\'"><title>' + e('Test plan: ' + ((plan.scope && plan.scope.label) || '')) + '</title><style>' + EXPORT_CSS + '</style></head><body>' + b + '</body></html>\n'
+}

package/ui/viewport-fit.js

@@ -0,0 +1,59 @@
+// Full screen on a phone, sized to the window you can see (ui/app.js fitFullViewport).
+// 2026-11-03 (Joel: "weird top padding after sending a message"): iOS pans the
+// visual viewport up when the keyboard opens over the composer, and full screen
+// follows that pan (top = visualViewport.offsetTop) so the composer stays above
+// the keyboard. After a send the keyboard closes, but iOS's last report can
+// still carry the old pan (or no report comes), and full screen stayed ~300px
+// down the screen with the board showing through above it. So the pan only
+// counts while the keyboard is really up (a text box has focus and the window
+// lost a keyboard's worth of height), and never more than the room the
+// keyboard took (a visual viewport as tall as the window can't be panned).
+
+// A focused field the on-screen keyboard is up for.
+const NO_KB_INPUT = /^(button|checkbox|color|file|hidden|image|radio|range|reset|submit)$/i
+export function isTypingTarget(el) {
+  if (!el || !el.tagName) return false
+  const tag = String(el.tagName).toUpperCase()
+  if (tag === 'TEXTAREA') return !el.readOnly && !el.disabled
+  if (tag === 'INPUT') return !NO_KB_INPUT.test(el.type || 'text') && !el.readOnly && !el.disabled
+  return !!el.isContentEditable
+}
+
+export const KEYBOARD_MIN_PX = 120 // less than this is the browser's own bars, not a keyboard
+
+// innerHeight: the layout viewport's height; vv: { height, offsetTop, scale }; typing: a text box has focus.
+// -> { h, top, kb } in CSS px (null without a visualViewport: the CSS falls back to 100dvh).
+// 2026-11-04 (switching keyboards mid-typing hid the composer): while a text box has focus, full
+// screen is exactly the visual viewport as iOS reports it right now, whatever the keyboard's height
+// (a keyboard swap reports a passing full-height or tiny keyboard on the way; following each report
+// means the next one puts it right). Nothing is remembered from when the box took focus. `kb` (the
+// keyboard's own look: no home-indicator gap) still needs a keyboard's worth of height.
+export function fullViewportFit({ innerHeight, vv, typing = false } = {}) {
+  if (!vv || !(Number(innerHeight) > 0)) return null
+  const ih = Number(innerHeight)
+  const vh = Number(vv.height) > 0 ? Number(vv.height) : ih
+  const zoomed = Number(vv.scale) > 1.01 // pinch-zoomed: follow the visual viewport as before
+  const kb = !!typing && ih - vh > KEYBOARD_MIN_PX
+  if (!typing && !zoomed) return { h: Math.round(ih), top: 0, kb: false } // no keyboard: the whole window, from its top
+  const room = Math.max(0, ih - vh) // a visual viewport as tall as the window can't be panned (a stale pan)
+  const top = Math.min(Math.max(0, Number(vv.offsetTop) || 0), room)
+  return { h: Math.round(Math.min(vh, ih)), top: Math.round(top), kb }
+}
+
+// How far full screen's composer sits outside what you can see (the visual viewport, in the same
+// page coordinates as getBoundingClientRect): > 0 means move it up by that much, < 0 down, 0 it's in view.
+// rect: the composer's { top, bottom }; vv: { height, offsetTop }.
+export function outOfView(rect, vv, slack = 1) {
+  if (!rect || !vv || !(Number(vv.height) > 0)) return 0
+  const top = Number(vv.offsetTop) || 0, bottom = top + Number(vv.height)
+  if (rect.bottom > bottom + slack) return Math.round(Math.min(rect.bottom - bottom, rect.top - top)) // below the keyboard's edge (never past its own top)
+  if (rect.top < top - slack) return -Math.round(top - rect.top) // above the top of what you can see
+  return 0
+}
+
+// When to look again after a text box lets go (the keyboard takes ~0.3–0.5 s to
+// close, and iOS's reports during it can be stale or missing), in ms.
+export const SETTLE_AFTER_BLUR_MS = [0, 120, 350, 700, 1100]
+// The same beats after every report while a text box has focus: a keyboard swap's last change can
+// come with no event of its own, so the board looks again a few times after each one.
+export const SETTLE_WHILE_TYPING_MS = SETTLE_AFTER_BLUR_MS

package/ui/walk-pop.js

@@ -67,6 +67,9 @@ export function popContent(kind, { size = null, away = false } = {}) {
       ? { icon: 'circle-dashed', text: label + ' · no changes yet, so nothing to walk through', dim: true }
       : { icon: 'git-compare', text: label + ' · ' + plural(size.files, 'file') })
   }
+  // 2026-11-03 what was already changed when the session started isn't counted: said quietly
+  if (w && size.excluded > 0) lines.push({ icon: 'circle-dashed', text: plural(size.excluded, 'file') + ' changed before this session, left out', dim: true })
+  else if (w && size.fallback) lines.push({ icon: 'circle-dashed', text: 'Only the files this session edited', dim: true })
   if (size && size.writer) lines.push({ icon: 'bot', text: 'Written by ' + size.writer })
   return {
     title: 'Walk me through the changes',