@leftoff/cli 0.9.18-beta.9 → 0.9.18

package/ui/live-view.js

@@ -7,6 +7,7 @@ import { statusView, elapsedText, ranWithoutAsking, isQueued } from './live-stat
 import { parseAttachedLines } from './attach.js'
 import { stripChannel } from './cp-text.js' // 0.9.9: the one Live-wrapper helper
 import { repoDisplay } from './repos.js' // one repo name everywhere
+import { displayTitle, promptTitleText, whereLine } from './session-title.js' // 2026-11-05 one title helper
 import { copyButtonHtml } from './copy-msg.js' // 0.9.11: Copy on Claude's messages
 
 const clip = (s, n) => { const t = String(s == null ? '' : s).replace(/\s+/g, ' ').trim(); return t.length > n ? t.slice(0, n - 1) + '…' : t }
@@ -51,10 +52,13 @@ export function pastEmptyText(s, v, { mac = 'this Mac' } = {}) {
 export function sessionTitle(s, { untitled = 'Untitled session' } = {}) {
   if (!s) return untitled
   const wrapped = isWrapped(s.title)
-  if (s.title && !wrapped) return s.title
+  // 2026-11-05: what the session is doing, tidied (ui/session-title.js); where
+  // it runs is sessionWhere's line, never glued to the front of the name
+  if (s.title && !wrapped) return displayTitle(s.title, { source: s.titleSource }) || s.title
   // No name yet (or a raw <channel …> one an earlier beta kept): the first
   // prompt's words, which another Mac's older Leftoff may have sent without a title.
-  const first = promptLine(s.firstPrompt) || (wrapped ? promptLine(s.title) : '')
+  const raw = promptRaw(s.firstPrompt) || (wrapped ? promptRaw(s.title) : '')
+  const first = raw ? promptTitleText(raw) || promptLine(raw) : ''
   if (first && (isLiveSession(s) || wrapped)) return first
   if (isLiveSession(s)) {
     const repo = repoShown(s) || null
@@ -66,6 +70,13 @@ export function sessionTitle(s, { untitled = 'Untitled session' } = {}) {
   return untitled
 }
 
+// The muted second line under a session's name: where it runs, "folder@branch"
+// ('' when the name already is just that, or nothing is known).
+export function sessionWhere(s) {
+  if (!s || titleIsWhere(s)) return ''
+  return whereLine(s, repoShown(s))
+}
+
 // Is the card's name just where it runs ("repo · branch")? Then the repo chip
 // under it would say the same thing twice.
 export function titleIsWhere(s) {
@@ -82,6 +93,11 @@ const isWrapped = (t) => /^\s*<channel\b/.test(String(t || ''))
 const NOISE_LINE = /^\s*<\/?(local-command-\w+|command-\w+|system-reminder|pasted_content)\b/
 // The first line of a prompt in its own words: no channel wrapper (even one
 // cut short), no system reminders; 60 characters at most.
+function promptRaw(text) {
+  let t = stripChannel(text).replace(/<system-reminder>[\s\S]*?(<\/system-reminder>|$)/g, '')
+  t = t.split('\n').map((l) => l.trim()).find((l) => l && !NOISE_LINE.test(l)) || ''
+  return t.replace(/\s+/g, ' ')
+}
 export function promptLine(text) {
   let t = stripChannel(text).replace(/<system-reminder>[\s\S]*?(<\/system-reminder>|$)/g, '')
   t = t.split('\n').map((l) => l.trim()).find((l) => l && !NOISE_LINE.test(l)) || ''
@@ -246,7 +262,8 @@ export function fullBarHtml(id, { esc, icon, pills = '', stop = '', retitle = ''
     // 0.9.18 phones: the nav as a drawer (ui/navrail.js); from 700px the rail is beside full screen and this hides
     '<button type="button" class="btn lf-menu" data-nav-drawer aria-label="Menu" aria-expanded="false" aria-controls="navDrawer" data-tip="Menu">' + icon('menu') + '</button>' +
     '<button type="button" class="btn live-fs-x" data-action="live-full-exit" data-id="' + esc(id) + '" aria-label="Back to the board" data-tip="Board">' + icon('chevron-left') + '</button>' + // 0.9.16 one layout: back is the board
-    glyph + '<h2 class="lf-title"></h2>' + retitle + '<div class="lf-pills">' + pills + '</div>' + stop +
+    // 2026-11-05: what it's doing, then folder@branch muted under it
+    glyph + '<div class="lf-tt"><h2 class="lf-title"></h2><span class="lf-where"></span></div>' + retitle + '<div class="lf-pills">' + pills + '</div>' + stop +
     // 0.9.15 the embedded terminal (ui/term.js): docked under full screen, which gets shorter
     '<button type="button" class="btn lf-term" data-term-toggle aria-label="Terminal" data-tip="Terminal (⌃`)">' + icon('terminal') + '</button></div>'
 }
@@ -309,7 +326,9 @@ export function entryHtml(m, { esc, ago, md, now = Date.now(), status = null, at
   const who = senderLabel(m)
   const title = m.from === 'you' ? senderTitle(m) : ''
   let body
+  const cmd = isCommandEntry(m)
   if (m.from === 'claude') body = '<div class="lv-text lv-md">' + (md ? md(m.text || '') : esc(m.text || '')) + '</div>'
+  else if (cmd) body = commandHtml(m, { esc })
   else if (m.from === 'you') {
     const a = messageAttachments(m)
     // 0.9.9 Queued: a long one folds to two lines; a tap opens it in place
@@ -335,6 +354,8 @@ export function entryHtml(m, { esc, ago, md, now = Date.now(), status = null, at
     // 0.9.11: Copy, once the reply is whole (none while it streams)
     const cp = m.done ? copyButtonHtml(m.text) : ''
     if (cp) foot += '<div class="msg-foot">' + cp + '</div>'
+  } else if (cmd && m.status && m.status.phase === 'replied') {
+    // ran: what it printed is the body's; nothing to add
   } else if (m.status && m.from === 'you' && isQueued(m.status)) {
     foot = queuedHtml(m, { esc, may })
   } else if (m.status) {
@@ -352,6 +373,16 @@ export function entryHtml(m, { esc, ago, md, now = Date.now(), status = null, at
   return '<li class="lv lv-' + esc(m.from) + (m.history ? ' lv-history' : '') + (queued ? ' lv-queued' : '') + '" data-key="' + esc(entryKey(m)) + '" data-sig="' + esc(sigHash(sig)) + '">' + head + body + foot + '</li>'
 }
 
+// A slash command sent from the board (ui/slash-commands.js; src/live-link.js sendCommand): the command
+// in mono, then what Claude Code printed, once the transcript shows it ran (settleCommands).
+export function isCommandEntry(m) { return !!m && m.from === 'you' && m.command === true }
+export function commandHtml(m, { esc }) {
+  const ran = !!(m.status && m.status.phase === 'replied')
+  const out = typeof m.out === 'string' ? m.out.trim() : ''
+  return '<div class="lv-text lv-cmd"><code>' + esc(m.text || '') + '</code></div>' +
+    (out ? '<pre class="lv-cmd-out">' + esc(out) + '</pre>' : ran ? '<div class="lv-cmd-out lv-cmd-done">Done</div>' : '')
+}
+
 // 0.9.15: an answer that is still the Stop hook's words, clipped by the mod (280 characters ending in "…")
 export function partialAnswer(m) { return !!(m && m.from === 'claude' && m.via === 'turn' && typeof m.text === 'string' && /…\s*$/.test(m.text)) }
 
@@ -548,7 +579,7 @@ export function threadHtml(msgs, opts) {
     // 0.9.14: Edit on the message; Retry on Claude's "stopped" card (or on the message, when it didn't arrive)
     const acts = m === tgt ? { retry: m.status.phase === 'failed', edit: true, busy } : null
     html += entryHtml(m, acts ? { ...opts, lvActs: acts } : opts)
-    if (m.status && !m.status.folded && !answered.has(m.id) && m.status.phase !== 'failed' && m.status.phase !== 'sent') {
+    if (m.status && !m.status.folded && !answered.has(m.id) && m.status.phase !== 'failed' && m.status.phase !== 'sent' && !isCommandEntry(m)) { // a command has no turn: what it printed is in its own bubble
       // the asks of this turn go before Claude's Working bubble: the answer that replaces it in place then lands after them, as on a fresh page
       html += upTo(next == null ? Infinity : next)
       html += pendingClaudeHtml(m, m === tgt ? { ...opts, lvActs: { retry: true, busy } } : opts)
@@ -647,7 +678,7 @@ export { ranWithoutAsking }
 // A content signature, to replace only the entries that changed (the time-ago
 // text is left out so a minute ticking over doesn't redraw a reply).
 function sigHash(s) { let h = 5381; for (let i = 0; i < s.length; i++) h = ((h << 5) + h + s.charCodeAt(i)) | 0; return (h >>> 0).toString(36) }
-export function entrySig(m) { return JSON.stringify([m.text, (m.attachments || []).map((a) => a.id), m.state, m.status && [m.status.phase, m.status.tool, m.status.waiting, (m.status.ran || []).length, m.status.endedAt, m.status.folded || null, !!m.status.queued, !!m.status.cancellable, !!m.status.sendNow], m.done, m.ranWithoutAsking, m.ranWhy || null, m.errorText, m.via === 'turn' ? 1 : 0]) }
+export function entrySig(m) { return JSON.stringify([m.text, m.out == null ? null : m.out, (m.attachments || []).map((a) => a.id), m.state, m.status && [m.status.phase, m.status.tool, m.status.waiting, (m.status.ran || []).length, m.status.endedAt, m.status.folded || null, !!m.status.queued, !!m.status.cancellable, !!m.status.sendNow], m.done, m.ranWithoutAsking, m.ranWhy || null, m.errorText, m.via === 'turn' ? 1 : 0]) }
 
 // ------------------------------------------------------------ the DOM keeper
 

package/ui/live-wake.js

@@ -94,3 +94,50 @@ export function createWatchdog({ now = () => Date.now(), limit = STREAM_DEAD_MS
     get attempt() { return attempt },
   }
 }
+
+// 2026-11-06 the board catches up when you come back ("opening Leftoff on my phone, if it's been
+// opened and not closed, doesn't always pick up the latest data"). iOS freezes a Home Screen app in
+// the background: its timers stop, its event stream's socket is cut without an error, and on the way
+// back it doesn't always fire visibilitychange, focus or pageshow. Coming back after a few seconds
+// the old stream still looked alive (its last ping was under STREAM_DEAD_MS ago), a refetch already
+// in flight when the page froze held every new one back, and a redraw skipped while you had a draft
+// was never made. So:
+// - the board's one-second timer notices it was frozen (it missed RESUME_GAP_MS) and treats that as
+//   coming back, whether or not the page said so
+// - coming back after RECONNECT_AWAY_MS (or the network returning, a restore, a frozen page) always
+//   opens a new stream, whatever the old one's last ping said
+// - a relay poll that answers "reset" (the Mac restarted, or another Mac took over) or "gap" (more
+//   happened than the daemon keeps) refetches the view, since the events in between are gone
+export const RESUME_GAP_MS = 5000
+export const RECONNECT_AWAY_MS = 10000
+export const FRESH_MS = 30000
+
+// How long the page was frozen, by a timer that should have ticked every second: 0 when it ticked.
+export function resumedAfter(prevTick, now = Date.now(), gap = RESUME_GAP_MS) {
+  const d = now - (Number(prevTick) || 0)
+  return prevTick && d > gap ? d : 0
+}
+
+// What a wake-up does: open a new stream (reconnect) and read the view again (refetch).
+//   why: wakeReason's word, or 'resume' (the timer saw a freeze); away: ms in the background;
+//   dead: the stream missed its pings; freshAt: when the view's data was last known current
+//   (a fetch that answered, or the stream's last ping)
+export function catchUp({ why, away = 0, dead = false, freshAt = 0, now = Date.now() } = {}) {
+  if (!why) return { reconnect: false, refetch: false }
+  const hard = why === 'pageshow-bfcache' || why === 'online' || why === 'resume'
+  const reconnect = !!(dead || hard || away >= RECONNECT_AWAY_MS)
+  const stale = !freshAt || now - freshAt > FRESH_MS
+  const refetch = !!(reconnect || away >= AWAY_MS || stale)
+  return { reconnect, refetch }
+}
+
+// A relay poll's answer: were events lost between `after` and this answer?
+export function pollLost(after, j) {
+  if (!j || after == null || after < 0) return false
+  return !!(j.reset || j.gap)
+}
+
+// What the view's data looks like, to tell a refetch that changed something (the quiet "Updated").
+export function viewSignature(sessions, liveSig = '') {
+  return (sessions || []).map((s) => [s && s.id, s && s.status, s && s.title, s && s.lastActivityAt, s && s.subagents ? s.subagents.n + ':' + (s.subagents.latest ? s.subagents.latest.at : '') : ''].join(',')).sort().join('|') + '#' + (liveSig || '')
+}

package/ui/mcp-setup.js

@@ -0,0 +1,26 @@
+// `leftoff mcp` setup (2026-11-06): the commands you run yourself to let Claude Code or Codex search
+// Leftoff's digests, decisions and checkpoints. Leftoff never writes ~/.claude or ~/.codex; the board
+// shows these with a Copy button, `leftoff doctor` says whether it looks added. Shared by the board and the CLI.
+export const MCP_CLAUDE_LINE = 'claude mcp add --scope user leftoff -- leftoff mcp'
+export const MCP_CODEX_LINE = 'codex mcp add leftoff -- leftoff mcp'
+export const MCP_CODEX_TOML = '[mcp_servers.leftoff]\ncommand = "leftoff"\nargs = ["mcp"]'
+
+const row = (cmd, label, esc, icon) => '<div class="mcp-row"><code class="mono">' + esc(cmd) + '</code>' +
+  '<button type="button" class="copy-float" data-action="copy-cmd" data-cmd="' + esc(cmd) + '" aria-label="' + esc(label) + '" data-tip="Copy">' + icon('copy') + '</button></div>'
+
+// One registration's state, by shape and words: ✓ added, ○ not added, ? couldn't tell.
+export function mcpStateHtml(r, esc) {
+  if (!r) return ''
+  const one = (who, x) => !x ? '' : x.registered ? '<span class="mcp-state ok">✓ Added to ' + who + (x.scope ? ' (' + esc(x.scope) + ')' : '') + '</span>' : x.error ? '<span class="mcp-state unk">? ' + esc(who) + ': ' + esc(x.error) + '</span>' : '<span class="mcp-state no">○ Not added to ' + who + ' yet</span>'
+  return '<div class="mcp-states">' + one('Claude Code', r.claude) + one('Codex', r.codex) + '</div>'
+}
+
+// The Settings → Digest part: "Let Claude search your notes".
+export function mcpSetupHtml(reg, { esc, icon }) {
+  return '<div class="section" id="mcp">Let Claude search your notes</div>' +
+    '<div class="full hint">Claude Code can search your digests, decisions and checkpoints (“what did we decide about the relay?”) through <code>leftoff mcp</code>. It only reads, on this machine; nothing leaves it. Run this once in a terminal:</div>' +
+    '<div class="full mcp-box">' + row(MCP_CLAUDE_LINE, 'Copy the Claude Code command', esc, icon) +
+    '<details class="mcp-codex"><summary>Using Codex? Show its command</summary>' + row(MCP_CODEX_LINE, 'Copy the Codex command', esc, icon) +
+    '<div class="hint">Or add to <code>~/.codex/config.toml</code> yourself:</div><pre class="mono">' + esc(MCP_CODEX_TOML) + '</pre></details>' +
+    '<div id="mcpState">' + mcpStateHtml(reg, esc) + '</div></div>'
+}

package/ui/prs.js

@@ -5,7 +5,7 @@ const esc = (s) => String(s == null ? '' : s).replace(/[&<>"']/g, (c) => ({ '&':
 import { repoChips, labelRepos, repoMatches, chipSelected, orderSelectedFirst, PROJECT_KEY } from './repos.js'
 import { renderDoc } from './handoffs.js'
 import { COPY_IC, DONE_IC, COPIED_TIP, COPIED_MS, copyIconClick } from './copy-icon.js'
-const safeUrl = (u) => (/^https:\/\/github\.com\//.test(String(u || '')) ? String(u) : '')
+export const safeUrl = (u) => (/^https:\/\/github\.com\//.test(String(u || '')) ? String(u) : '')
 
 export function shortAgo(iso, now = Date.now()) {
   const t = Date.parse(iso || '')
@@ -93,24 +93,38 @@ export async function prCopyClick(btn, env = {}) {
 export function prMoreHtml(p, open = false) {
   return ' · <button type="button" class="pr-more pr-toggle" data-action="pr-expand" data-url="' + esc(p.url) + '" aria-expanded="' + !!open + '">' + (open ? 'Less' : 'More…') + '</button>'
 }
+// 2026-11-06 Walk me through this PR: the session's walkthrough opened on this PR's own range (src/walk-pr.js)
+export const WALK_IC = '<svg class="ic" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" aria-hidden="true" focusable="false"><circle cx="18" cy="18" r="3"/><circle cx="6" cy="6" r="3"/><path d="M13 6h3a2 2 0 0 1 2 2v7"/><path d="M11 18H8a2 2 0 0 1-2-2V9"/></svg>'
+export { GH_MARK }
+const OPEN_IC = '<svg class="ic" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" aria-hidden="true" focusable="false"><path d="M15 3h6v6"/><path d="M10 14 21 3"/><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"/></svg>'
+export const prWalkScope = (p) => (p && p.repo && p.number ? 'pr:' + p.repo + '#' + p.number : null)
+// One Open button: a menu asking where (Walk me through it in Leftoff, or GitHub) when the PR has a walkthrough;
+// else the plain GitHub link. (Joel, 2026-11-06: four glyphs took the title's room.)
+export function prOpenHtml(p, walkId) {
+  const url = safeUrl(p.url), sc = walkId && prWalkScope(p), n = '#' + (p.number || '')
+  if (sc) return '<button type="button" class="pr-ic pr-open" data-action="pr-open" data-id="' + esc(walkId) + '" data-scope="' + esc(sc) + '" data-url="' + esc(url || '') + '" data-repo="' + esc(p.repo || '') + '" data-num="' + esc(p.number) + '" aria-haspopup="menu" data-tip="Open in Leftoff or on GitHub" aria-label="' + esc('Open ' + n + '…') + '">' + OPEN_IC + '</button>'
+  return url ? '<a class="pr-ic pr-gh" href="' + esc(url) + '" target="_blank" rel="noopener noreferrer" data-tip="Open on GitHub" aria-label="Open ' + esc(n) + ' on GitHub">' + GH_MARK + '</a>' : ''
+}
 // 2026-10-29 a compact row (closed): GitHub only; Copy link and Unlink come with the details
-export function prGhOnlyHtml(p) {
-  const url = safeUrl(p.url)
-  return url ? '<div class="pr-actions"><a class="pr-ic pr-gh" href="' + esc(url) + '" target="_blank" rel="noopener noreferrer" data-tip="Open on GitHub" aria-label="Open ' + esc('#' + (p.number || '')) + ' on GitHub">' + GH_MARK + '</a></div>' : ''
+// (2026-11-06 Open asks Leftoff or GitHub, when the row is a session's)
+export function prGhOnlyHtml(p, { walkId = null } = {}) {
+  const open = prOpenHtml(p, walkId)
+  return open ? '<div class="pr-actions">' + open + '</div>' : ''
 }
-export function prActionsHtml(p, { unlinkId = null } = {}) {
+export function prActionsHtml(p, { unlinkId = null, walkId = null } = {}) {
   const url = safeUrl(p.url), n = '#' + (p.number || '')
   if (!url && !unlinkId) return ''
   const copyLabel = 'Copy link to ' + n
   return '<div class="pr-actions">' +
     (url ? '<button type="button" class="pr-ic pr-copy" data-action="pr-copy" data-copy="' + esc(url) + '" data-tip="' + PR_COPY_TIP + '" data-label="' + esc(copyLabel) + '" aria-label="' + esc(copyLabel) + '">' + COPY_IC + DONE_IC + '</button>' : '') +
-    (url ? '<a class="pr-ic pr-gh" href="' + esc(url) + '" target="_blank" rel="noopener noreferrer" data-tip="Open on GitHub" aria-label="Open ' + esc(n) + ' on GitHub">' + GH_MARK + '</a>' : '') +
+    prOpenHtml(p, walkId) +
     (unlinkId ? '<button type="button" class="pr-ic pr-unlink" data-action="pr-unlink" data-id="' + esc(unlinkId) + '" data-url="' + esc(p.url) + '" data-tip="Unlink from this session" aria-label="Unlink ' + esc(n) + ' from this session">' + UNLINK + '</button>' : '') +
     '</div>'
 }
 
 // The session page: its PRs with Unlink, and "Link a PR" (a text box: a URL or #number).
 export function sessionPrsSection(s, { mayEdit = true, open = null, details = {} } = {}) {
+  const walkId = s && !s.agent ? s.id : null
   // 2026-10-29 + prsMore: closed PRs (a card leaves them out) and refs that couldn't be checked
   const more = (s.prsMore || []).filter((p) => p && p.number)
   const list = (s.prs || []).filter((p) => p && p.number).concat(more.filter((p) => !p.unchecked && p.url && !(s.prs || []).some((x) => x && x.url === p.url)))
@@ -122,11 +136,13 @@ export function sessionPrsSection(s, { mayEdit = true, open = null, details = {}
     // the repo, branch, checks and the details in place. Copy, GitHub and Unlink stay one tap away.
     h += '<div class="prlist pr-compact">' + list.map((p) => {
       const isOpen = !!(open && open.has && open.has(p.url))
-      return '<article class="prrow slim' + (isOpen ? ' open' : '') + '" data-pr="' + esc(p.url) + '"><div class="pr-main">' +
+      // how many glyphs sit at the right (the title line leaves them room when open)
+      const acts = isOpen ? (safeUrl(p.url) ? 1 : 0) + (safeUrl(p.url) || (prWalkScope(p) && walkId) ? 1 : 0) + (mayEdit ? 1 : 0) : 0
+      return '<article class="prrow slim' + (isOpen ? ' open pr-acts-' + acts : '') + '" data-pr="' + esc(p.url) + '"><div class="pr-main">' +
         '<div class="pr-c1">' + stateHtml(p.state) + '<span class="pr-num">#' + esc(p.number) + '</span>' +
         '<span class="pr-title"><button type="button" class="linkish pr-title-btn" data-tip="' + esc(p.title || 'Pull request #' + p.number) + '" data-action="pr-expand" data-url="' + esc(p.url) + '" aria-expanded="' + isOpen + '">' + esc(p.title || 'Pull request #' + p.number) + '</button></span></div>' +
-        (isOpen ? '<div class="pr-meta">' + esc(p.repo || '') + (p.branch ? ' · <span class="mono">' + esc(p.branch) + '</span>' : '') + (whyText(p) ? ' · <span class="pr-why">' + esc(whyText(p)) + '</span>' : '') + checksHtml(p.checks) + prMoreHtml(p, isOpen) + '</div>' + prDetailHtml(p, details && details[p.url], {}) : '') + '</div>' +
-        (isOpen ? prActionsHtml(p, { unlinkId: mayEdit ? s.id : null }) : prGhOnlyHtml(p)) + '</article>'
+        (isOpen ? '<div class="pr-meta">' + esc(p.repo || '') + (p.branch ? ' · <span class="mono">' + esc(p.branch) + '</span>' : '') + (whyText(p) ? ' · <span class="pr-why">' + esc(whyText(p)) + '</span>' : '') + (checksHtml(p.checks) ? ' · ' + checksHtml(p.checks) : '') + prMoreHtml(p, isOpen) + '</div>' + prDetailHtml(p, details && details[p.url], {}) : '') + '</div>' +
+        (isOpen ? prActionsHtml(p, { unlinkId: mayEdit ? s.id : null, walkId }) : prGhOnlyHtml(p, { walkId })) + '</article>'
     }).join('') + '</div>'
   }
   // several refs that couldn't be checked fold into one "+4 not checked" row
@@ -198,12 +214,14 @@ export function prRowHtml(r, { team = false, now = Date.now(), mayEdit = true, s
     : [p.repo, p.branch, when].filter(Boolean)
   const why = whyText(r)
   const unlinkTo = !team && mayEdit && (r.sessions || []).length === 1 ? r.sessions[0] : null
+  // 2026-11-06 Walk me through this PR: in its newest session's walkthrough (never a scripted run's)
+  const walkTo = !team ? (r.sessions || []).find((x) => x && x.id && !x.nonInteractive && x.archivedReason !== 'non_interactive' && !x.agent) : null
   return '<article class="prrow' + (open ? ' open' : '') + (pick ? ' pickable' : '') + (picked ? ' picked' : '') + '" data-pr="' + esc(p.url) + '">' + pick + '<div class="pr-main">' +
     '<div class="pr-line1">' + line1 + '</div>' +
     '<div class="pr-title">' + (url ? '<a href="' + esc(url) + '" target="_blank" rel="noopener noreferrer">' + esc(p.title || '') + '</a>' : esc(p.title || '')) + '</div>' +
     '<div class="pr-meta">' + meta.map(esc).join(' · ') + (why ? ' · <span class="pr-why">' + esc(why) + '</span>' : '') + prMoreHtml(p, open) + '</div>' +
     sessionLinks(r, { sessionAction, showMachine }) + (open ? prDetailHtml(p, detail, { now }) : '') + '</div>' +
-    prActionsHtml(p, { unlinkId: unlinkTo ? unlinkTo.id : null }) + '</article>'
+    prActionsHtml(p, { unlinkId: unlinkTo ? unlinkTo.id : null, walkId: walkTo ? walkTo.id : null }) + '</article>'
 }
 
 // ---------------------------------------------------------------- 0.8.5: details on tap

package/ui/pull.js

@@ -7,17 +7,44 @@ export const PULL_MAX = 110 // how far the spinner travels at most
 
 // Where a pull never starts: text fields, the Live box, menus and sheets,
 // sideways scrollers, and anything open on top of the page.
-export const PULL_SKIP = 'input, textarea, [contenteditable=""], [contenteditable="true"], .live-box, lo-select, lo-combo, .lo-menu, .lo-backdrop, .cmdk, .quicklook, .moremenu, .statuspop, .doc-viewer, .emoji-sheet-wrap, .relay-screen, .tabs, pre, .scroll-x, [data-no-pull]'
+export const PULL_SKIP = 'input, textarea, [contenteditable=""], [contenteditable="true"], .live-box, lo-select, lo-combo, .lo-menu, .lo-backdrop, .cmdk, .quicklook, .moremenu, .statuspop, .doc-viewer, .emoji-sheet-wrap, .relay-screen, .tabs, pre, .scroll-x, .fs-side, [data-no-pull]'
 
-// The phone layout on a touch screen, at the very top of the page, from a
-// place that isn't a field or an overlay, and with no overlay open.
+// 2026-11-06 ("it's really hard to do that when you're at the bottom of a long message chain, because
+// you have to scroll all the way to the top"): the bars at the top of the screen are a handle of their
+// own. A pull that starts on the top row, a session's head or the Live box's head refreshes wherever
+// the page or the chat is scrolled to. Fields, menus, sideways scrollers and the sheets still never
+// start one (PULL_HEAD_SKIP: PULL_SKIP without the Live box, whose head is one of the bars).
+export const PULL_HEAD = 'header.top, .s-head, .fs-head, .live-head, .live-fbar' // .live-fbar: full-screen Live's slim bar
+export const PULL_HEAD_SKIP = PULL_SKIP.split(', ').filter((x) => x !== '.live-box' && x !== 'pre').join(', ') + ', button.chip-x, [role="slider"]'
+export function onPullHead(target) {
+  if (!target || typeof target.closest !== 'function') return false
+  return !!target.closest(PULL_HEAD) && !target.closest(PULL_HEAD_SKIP)
+}
+
+// The phone layout on a touch screen, at the very top of the page (or on one of
+// the bars at the top, onPullHead), from a place that isn't a field or an
+// overlay, and with no overlay open.
 export function canStartPull({ coarse, narrow, scrollY, target, overlayOpen } = {}) {
   if (!coarse || !narrow || overlayOpen) return false
+  if (onPullHead(target)) return true
   if (scrollY > 0) return false
   if (target && typeof target.closest === 'function' && target.closest(PULL_SKIP)) return false
+  if (scrolledAbove(target)) return false
   return true
 }
 
+// 2026-11-06 (the phone's session sheet "scrolls down okay, but I cannot scroll back up. It's very
+// jumpy"): in full screen the page itself never scrolls (scrollY is 0), so a finger moving down
+// inside the sheet's own scroller was taken as a pull to refresh: the board cancelled the scroll and
+// showed the spinner instead. A pull only starts where nothing between the finger and the page is
+// itself scrolled down: a scroller with room above means the finger is scrolling it back up.
+export function scrolledAbove(el) {
+  for (let n = el; n && n.nodeType === 1; n = n.parentElement) {
+    if ((Number(n.scrollTop) || 0) > 0) return true
+  }
+  return false
+}
+
 // One finger movement: how far the spinner sits (with some resistance), how
 // far round it is, and whether letting go now refreshes. Sideways first means
 // it isn't a pull.

package/ui/relay-client.js

@@ -364,7 +364,9 @@ class RelayEventSource extends EventTarget {
         if (this.readyState === 0) { this.readyState = 1; if (this.onopen) this.onopen(new Event('open')) }
         this.dispatchEvent(new MessageEvent('ping', { data: '{}' })) // a poll that answered is the stream's heartbeat
         const first = this.seq == null
+        const lost = !first && (j.reset || j.gap) // 2026-11-06: events this browser never got (the Mac restarted, another took over, or more happened than it keeps)
         this.seq = j.seq
+        if (lost) this.dispatchEvent(new MessageEvent('resync', { data: JSON.stringify({ reset: !!j.reset, gap: !!j.gap }) }))
         if (!first) for (const e of j.events || []) {
           const ev = new MessageEvent(e.event, { data: JSON.stringify(e.data) })
           this.dispatchEvent(ev)

package/ui/render-digest.js

@@ -0,0 +1,98 @@
+// The digest's markdown as HTML: one renderer for the board (ui/app.js) and for
+// `leftoff export digest --html` (ui/render-export.js, through node), so both say
+// the same thing. 2026-11-06 moved here from ui/app.js's renderMd, unchanged for the
+// board: its Go / Resume buttons, session links and Copy for standup come in as hooks
+// (action, href, standup); an exported file passes none of them and gets plain words.
+// No DOM, no imports: runs in a browser and in node alike.
+
+export const escR = (s) => String(s == null ? '' : s).replace(/[&<>"']/g, (c) => ({ '&': '&amp;', '<': '&lt;', '>': '&gt;', '"': '&quot;', "'": '&#39;' })[c])
+export const boardHref = (id) => '#/s/' + encodeURIComponent(id)
+
+// 0.9.8: a digest line may end in "<!-- s:<id> -->", its session: the title
+// links there and Start here gets that session's Go / Resume.
+export const MD_SID = /\s*<!-- s:(\S+?) -->\s*$/
+
+export function digestBodyHtml(md, { spaces = [], esc = escR, href = boardHref, action = null, standup = null, decLinks = true } = {}) {
+  const body = md.replace(/^---\n[\s\S]*?\n---\n/, '')
+  // testplan Part 2: the Decisions part links into the log: [D-7f3a](#/decisions/…) only, nothing else becomes a link
+  const inline = (t) => esc(t).replace(/\[([^\]]{1,80})\]\((#\/decisions\/[^)\s"<>]{1,200})\)/g, decLinks ? '<a class="dg-dec" href="$2">$1</a>' : '<span class="dg-dec">$1</span>').replace(/\*\*(.+?)\*\*/g, '<strong>$1</strong>').replace(/`([^`]+)`/g, '<code>$1</code>').replace(/(^|[^\w*])_([^_\s][^_]*?)_(?!\w)/g, '$1<em>$2</em>')  // not inside snake_case names (clutch_hockey)
+  const out = []
+  let inList = false, inSec = false, inFin = false, seenH2 = false, inUnf = false, inDone = false
+  const closeList = () => { if (inList) { out.push(inList === 'ol' ? '</ol>' : '</ul>'); inList = false } if (inFin) { out.push('</details>'); inFin = false } }
+  const openList = (kind, cls) => { if (inList !== kind) { if (inList) out.push(inList === 'ol' ? '</ol>' : '</ul>'); out.push('<' + kind + (cls ? ' class="' + cls + '"' : '') + '>'); inList = kind } }
+  // a session's link: the board's #/s/<id>; an exported file has none (href returns null)
+  const link = (id, html, cls = '') => { const u = id && href ? href(id) : null; return u ? '<a' + (cls ? ' class="' + cls + '"' : '') + ' href="' + esc(u) + '">' + html + '</a>' : (cls ? '<span class="' + cls + '">' + html + '</span>' : html) }
+  const act = (id) => (id && action ? action(id) : '')
+  // v0.5.8: each "## <space>" opens a section with its own Copy for standup;
+  // other "## " headings (Lists, Top of mind) are whole-folder sections.
+  // 0.9.8: "## Start here" is the brief's own section, never hidden by a space.
+  const openSec = (h) => {
+    if (inSec) out.push('</section>')
+    inSec = true
+    if (h === 'Start here') out.push('<section class="start-sec"><h2>' + inline(h) + '</h2>')
+    else if (h === 'What you got done') out.push('<section class="done-sec"><h2>' + inline(h) + '</h2>') // 2026-11-06
+    else if (spaces.includes(h)) {
+      out.push('<section class="space-sec" data-space="' + esc(h) + '"><div class="space-head"><h2>' + esc(h) + '</h2>' +
+        (standup ? standup(h) : '') + '</div>')
+    } else out.push('<section class="other-sec"><h2>' + inline(h) + '</h2>')
+  }
+  for (const raw of body.split('\n')) {
+    const mid = raw.match(MD_SID)
+    const id = mid ? mid[1] : null
+    const line = mid ? raw.slice(0, mid.index) : raw
+    // 0.9.8: Start here: "1. <step> — **Title** (repo)"
+    const st = /^\d+\. /.test(line) && line.match(/^\d+\. (.*?) — \*\*(.+?)\*\*(?: \(([^)]*)\))?$/)
+    if (st) {
+      openList('ol', 'start')
+      const t = id ? link(id, inline(st[2])) : inline(st[2])
+      out.push('<li' + (id ? ' data-sid="' + esc(id) + '"' : '') + '><div class="sh-main"><span class="sh-step">' + inline(st[1]) + '</span><span class="sh-sess">' + t + (st[3] ? ' <span class="sh-repo">' + esc(st[3]) + '</span>' : '') + '</span></div>' +
+        (id && action ? '<div class="sh-act">' + act(id) + '</div>' : '') + '</li>')
+      continue
+    }
+    // 2026-11-06: What you got done: "- Merged PR #53: …", "- Still open: **Title**, next: …" (its session linked)
+    const dn = inDone && /^- /.test(line) && line.match(/^- (Merged|Opened|Set to merge when checks pass|Also committed|Committed|Tests passed|Tests failing|Decided|Waiting on you|Still open|\+\d+ more decisions)\b(.*)$/)
+    if (dn) {
+      openList('ul', 'done')
+      const kind = { 'Merged': 'merged', 'Opened': 'opened', 'Set to merge when checks pass': 'opened', 'Also committed': 'commit', 'Committed': 'commit', 'Tests passed': 'pass', 'Tests failing': 'fail', 'Decided': 'decided', 'Waiting on you': 'you', 'Still open': 'open' }[dn[1]] || 'decided'
+      const so = id && dn[2].match(/^: \*\*(.+?)\*\*(.*)$/)
+      const rest = so ? ': ' + link(id, inline(so[1])) + inline(so[2]) : inline(dn[2])
+      out.push('<li class="dn dn-' + kind + '"' + (id ? ' data-sid="' + esc(id) + '"' : '') + '><b>' + esc(dn[1]) + '</b>' + rest + '</li>')
+      continue
+    }
+    if (/^- /.test(line)) {
+      openList('ul')
+      // Digest items read "- **Title** (repo · branch) — state": tag the repo so the view can filter.
+      const m = line.match(/^- \*\*.*?\*\* \(([^)·]+?)(?: · [^)]*)?\) — /)
+      const attrs = (m ? ' data-repo="' + esc(m[1].trim()) + '"' : '') + (id ? ' data-sid="' + esc(id) + '"' : '')
+      // 0.9.8: "- **Title** (repo · state) — You were …; left off …." with its
+      // session: the title links to it, the sentence under it, the tags quiet.
+      const bi = id && line.match(/^- \*\*(.+?)\*\* \(([^)]*)\) — (.*)$/)
+      // 0.9.8: an Unfinished one is closed, so it has its Resume beside it
+      if (bi && inUnf) { out.push('<li class="bi unf"' + attrs + '><div class="bi-body"><div class="bi-head">' + link(id, inline(bi[1]), 'bi-title') + '<span class="bi-tag">' + esc(bi[2]) + '</span></div><span class="bi-say">' + inline(bi[3]) + '</span></div>' + (action ? '<div class="sh-act">' + act(id) + '</div>' : '')); continue }
+      if (bi) { out.push('<li class="bi"' + attrs + '><div class="bi-head">' + link(id, inline(bi[1]), 'bi-title') + '<span class="bi-tag">' + esc(bi[2]) + '</span></div><span class="bi-say">' + inline(bi[3]) + '</span>'); continue }
+      // v0.5.7: the "(repo · branch · machine)" part is set small so the title leads on a phone.
+      const li = inline(line.slice(2)).replace(/^(<strong>.*?<\/strong>) (\([^)]*\))( — )/, '$1 <span class="where">$2</span>$3')
+      out.push('<li' + attrs + '>' + li); continue
+    }
+    if (/^\s{2,}\S/.test(line) && inList) {
+      // "Stopped at: … Next: …" is two lines, each with its label.
+      const t = line.trim(), sm = t.match(/^(Stopped at|Next|Last reply|Doing|Latest|Needs you|Merged|Commits): ([\s\S]*?)(?: (Next): ([\s\S]*))?$/)
+      if (sm) out.push('<span class="sub"><span class="k">' + sm[1] + '</span> ' + inline(sm[2]) + '</span>' + (sm[3] ? '<span class="sub"><span class="k">' + sm[3] + '</span> ' + inline(sm[4]) + '</span>' : ''))
+      else out.push('<span class="sub">' + inline(t) + '</span>')
+      continue
+    }
+    closeList()
+    if (/^#{1,3} /.test(line)) inUnf = /^### Unfinished \(\d+\)\s*$/.test(line)
+    if (/^## /.test(line)) inDone = line.slice(3).trim() === 'What you got done'
+    if (/^# /.test(line)) out.push('<h1>' + inline(line.slice(2)) + '</h1>')
+    else if (/^## /.test(line)) { seenH2 = true; const h = line.slice(3).trim(); if (spaces.length || h === 'Start here' || h === 'What you got done') openSec(h); else { if (inSec) { out.push('</section>'); inSec = false } out.push('<h2>' + inline(h) + '</h2>') } }
+    // 0.9.8: Finished folds away (older digests' "Finished or closed" too)
+    else if (/^### Finished(?: or closed)? \(\d+\)\s*$/.test(line)) { out.push('<details class="fin"><summary>' + inline(line.slice(4).replace(/ or closed/, '')) + '</summary>'); inFin = true }
+    else if (/^### /.test(line)) out.push('<h3>' + inline(line.slice(4)) + '</h3>')
+    // 0.9.8: the Yesterday / Today opener, above the first section
+    else if (line.trim()) out.push(seenH2 ? '<p>' + inline(line) + '</p>' : '<p class="lede">' + inline(line).replace(/^(Yesterday|Today):/, '<b>$1:</b>') + '</p>')
+  }
+  closeList()
+  if (inSec) out.push('</section>')
+  return out.join('\n')
+}

package/ui/render-export.js

@@ -0,0 +1,128 @@
+// One self-contained .html file for a digest, a decision log or a walkthrough
+// (2026-11-06, phase 2b). The board's "Save as HTML" and `leftoff export … --html`
+// both call these, so the file is the same from either. The file carries its CSS
+// inline and nothing else: no scripts, fonts, images or links out (a Content
+// Security Policy says so too), light and dark from the reader's own setting,
+// readable on a phone, and it prints. No DOM and no node-only imports: runs in a
+// browser and in node.
+import { digestBodyHtml, escR as esc } from './render-digest.js'
+import { EXPORT_CSS, toHtmlDoc, exportName as wtExportName } from './semdiff.js'
+import { STATUS_SHAPE, STATUS_WORD, SOURCE_WORDS, timelineRows } from './decisions.js'
+
+export const EXPORT_CSP = "default-src 'none'; style-src 'unsafe-inline'"
+
+// A time as words, the same on the board and the CLI (en-US, the reader's own zone unless one is given)
+export function exportWhen(iso, { timeZone } = {}) {
+  const t = Date.parse(iso || '')
+  if (!Number.isFinite(t)) return ''
+  return new Date(t).toLocaleString('en-US', { month: 'short', day: 'numeric', year: 'numeric', hour: 'numeric', minute: '2-digit', ...(timeZone ? { timeZone } : {}) })
+}
+
+// A file name for the download / the CLI's default: "leftoff-digest-2026-11-06.html"
+export function exportFileName(kind, label = '') {
+  const slug = String(label || '').toLowerCase().replace(/[^a-z0-9]+/g, '-').replace(/^-+|-+$/g, '').slice(0, 48)
+  if (kind === 'walkthrough') return wtExportName(label)
+  return 'leftoff-' + kind + (slug ? '-' + slug : '') + '.html'
+}
+
+// The page around a body: the same head for every export.
+export function exportDoc({ title, css = '', body }) {
+  return '<!doctype html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1">' +
+    '<meta name="color-scheme" content="light dark"><meta http-equiv="Content-Security-Policy" content="' + esc(EXPORT_CSP) + '">' +
+    '<title>' + esc(title) + '</title><style>' + EXPORT_CSS + PAGE_CSS + css + '</style></head><body><main>' + body + '</main></body></html>\n'
+}
+
+// Shared by the digest and the decision log: phone width, print, reduced motion (nothing moves anyway)
+const PAGE_CSS = 'html{-webkit-text-size-adjust:100%;text-size-adjust:100%}main{padding:24px 16px 48px}h3{font-size:15px;margin:18px 0 4px}p{margin:0 0 10px;overflow-wrap:anywhere}li{overflow-wrap:anywhere}' +
+  '.foot{margin-top:40px;padding-top:10px;border-top:1px solid #d1d9e0;color:#59636e;font-size:12px}' +
+  '@media (min-width:600px){main{padding:32px 24px 64px}}' +
+  '@media print{body{background:#fff;color:#000;font-size:12pt}main{max-width:none;padding:0}section,li{break-inside:avoid}a{color:inherit;text-decoration:none}.foot{color:#555}}' +
+  '@media (prefers-color-scheme:dark){.foot{border-color:#3d444d;color:#9198a1}}'
+
+// ---------------------------------------------------------------- the digest
+
+const DIGEST_CSS = '.lede{font-size:16px;margin:0 0 10px}.meta{color:#59636e;font-size:13px;margin:0 0 18px}' +
+  'section{margin:22px 0 0}section.done-sec{margin:16px 0 4px;padding:10px 14px 6px;border:1px solid #d1d9e0;border-radius:10px;background:#f6f8fa}' +
+  'section.done-sec h2{margin:2px 0;font-size:12px;text-transform:uppercase;letter-spacing:.04em;color:#59636e}section.done-sec h3{margin:12px 0 4px;font-size:14px}' +
+  'ul.done{list-style:none;margin:0;padding:0}li.dn{position:relative;padding:3px 0 3px 22px;line-height:1.45}li.dn b{font-weight:600}' +
+  'li.dn::before{position:absolute;left:2px;top:3px;width:16px;text-align:center;font-weight:700;color:#59636e}' +
+  "li.dn-merged::before{content:'✓'}li.dn-opened::before{content:'○'}li.dn-commit::before{content:'•'}li.dn-pass::before{content:'✓'}li.dn-fail::before{content:'✗'}li.dn-decided::before{content:'◆';font-size:11px}li.dn-you::before{content:'!'}li.dn-open::before{content:'→'}li.dn-more::before{content:'+'}" +
+  'ol.start{padding-left:22px}ol.start li{margin:6px 0}.sh-main{display:flex;flex-direction:column;gap:2px}.sh-step{font-weight:600}.sh-sess{color:#59636e;font-size:14px}.sh-repo,.where,.bi-tag{color:#59636e;font-size:13px}' +
+  'ul{padding-left:20px}ul li{margin:6px 0}.bi-head{display:flex;flex-wrap:wrap;gap:4px 8px;align-items:baseline}.bi-title{font-weight:600}.bi-say{display:block}.sub{display:block;color:#59636e;font-size:14px}.sub .k{font-weight:600;margin-right:4px}' +
+  '.space-head h2{margin:0}details.fin summary{min-height:44px;display:flex;align-items:center}' +
+  '@media print{details.fin>*{display:block}section.done-sec{background:none}}' +
+  '@media (prefers-color-scheme:dark){section.done-sec{background:#161b22;border-color:#3d444d}.meta,.sh-sess,.sh-repo,.where,.bi-tag,.sub,section.done-sec h2,li.dn::before{color:#9198a1}}'
+
+const frontmatter = (md) => {
+  const m = String(md || '').match(/^---\n([\s\S]*?)\n---\n/)
+  const out = {}
+  if (m) for (const l of m[1].split('\n')) { const kv = l.match(/^([a-z_]+):\s*(.*)$/); if (kv) out[kv[1]] = kv[2].trim() }
+  return out
+}
+const listOf = (v) => (/^\[.*\]$/.test(v || '') ? v.slice(1, -1).split(',').map((x) => x.trim()).filter(Boolean) : [])
+
+// md: the digest file as it is on disk (front matter and all). The session
+// buttons, links into the board and Copy for standup are the board's; the file
+// has the words only.
+export function digestExportHtml(md, { date = null, timeZone } = {}) {
+  const fm = frontmatter(md)
+  const day = date || fm.date || ''
+  const made = exportWhen(fm.generated_at, { timeZone })
+  const meta = '<p class="meta">' + esc(['Daily digest', day, made ? 'made ' + made : ''].filter(Boolean).join(' · ')) + '</p>'
+  let body = digestBodyHtml(String(md || ''), { spaces: listOf(fm.spaces), href: null, action: null, standup: null, decLinks: false })
+    .replace(/<details class="fin">/g, '<details class="fin" open>') // a file is read whole (and printed): Finished starts open
+  body = /<h1>[\s\S]*?<\/h1>/.test(body) ? body.replace(/(<h1>[\s\S]*?<\/h1>)/, (h) => h + meta) : '<h1>Daily digest</h1>' + meta + body
+  return exportDoc({ title: 'Digest · ' + day, css: DIGEST_CSS, body: body + foot() })
+}
+
+// ---------------------------------------------------------------- the decision log
+
+const DEC_CSS = '.dl{list-style:none;margin:0;padding:0}.dl>li{padding:12px 0;border-top:1px solid #d1d9e0}.dl>li:first-child{border-top:0}' +
+  '.dh{display:flex;flex-wrap:wrap;gap:4px 10px;align-items:baseline;font-size:13px;color:#59636e}.dh .id{font:12px ui-monospace,SFMono-Regular,Menlo,monospace}.st{color:#1f2328;font-weight:600}' +
+  '.dt{font-size:15px;margin:4px 0 2px}.dw,.da,.dc,.dm{font-size:14px;color:#59636e;margin:2px 0}.count{color:#59636e;font-weight:400}' +
+  '.dl>li.superseded .dt,.dl>li.rejected .dt{text-decoration:line-through;text-decoration-thickness:1px}' +
+  '@media (prefers-color-scheme:dark){.dl>li{border-color:#3d444d}.dh,.dw,.da,.dc,.dm,.count{color:#9198a1}.st{color:#e6edf3}}'
+
+const dday = (iso) => String(iso || '').slice(0, 10)
+function decisionItem(d, byId) {
+  const st = STATUS_SHAPE[d.status] ? '<span class="st"><span aria-hidden="true">' + STATUS_SHAPE[d.status] + '</span> ' + esc(STATUS_WORD[d.status]) + '</span>' : ''
+  const chain = []
+  for (const id of d.supersedes || []) { const o = byId.get(id); chain.push('Replaces ' + esc(id) + (o ? ' (' + esc(dday(o.createdAt)) + ': ' + esc(o.text) + ')' : '')) }
+  if (d.supersededBy) chain.push('Superseded by ' + esc(d.supersededBy) + (d.supersededAt ? ' on ' + esc(dday(d.supersededAt)) : ''))
+  const tp = /^testplan:(tp_[0-9a-f]{16})#c(\d+)$/.exec(String(d.checkpointId || ''))
+  const from = tp ? 'From a test plan (check ' + esc(tp[2]) + ')' : d.session && d.session.title ? 'From ' + esc(d.session.title) + (d.session.pr && d.session.pr.number ? ' · PR #' + esc(d.session.pr.number) : '') : ''
+  const meta = [esc(SOURCE_WORDS[d.source] || SOURCE_WORDS.agent), from].filter(Boolean).join(' · ')
+  return '<li class="' + esc(d.status) + '"><div class="dh"><span>' + esc(dday(d.createdAt)) + '</span><span class="id">' + esc(d.id) + '</span>' + (d.repoLabel && d.multi ? '<span>' + esc(d.repoLabel) + '</span>' : '') + st + '</div>' +
+    '<div class="dt">' + esc(d.text) + (d.edited ? ' <span class="dm">(edited)</span>' : '') + '</div>' +
+    (d.why ? '<div class="dw">' + esc(d.why) + '</div>' : '') +
+    (d.alternatives && d.alternatives.length ? '<div class="da">Over: ' + d.alternatives.map(esc).join(' · ') + '</div>' : '') +
+    (chain.length ? '<div class="dc">' + chain.join(' · ') + '</div>' : '') +
+    '<div class="dm">' + meta + '</div></li>'
+}
+
+// v: GET /v1/decisions (engine.decisionsView). all: superseded and rejected too.
+export function decisionsExportHtml(v, { all = false } = {}) {
+  const list = (v && v.decisions) || []
+  const byId = new Map(list.map((d) => [d.id, d]))
+  const multi = ((v && v.repos) || []).length > 1
+  const sc = (v && v.scope) || {}
+  const name = (sc.kind === 'project' ? sc.name : sc.label) || sc.id || ''
+  const { review, rows } = timelineRows(list, { all })
+  const item = (d) => decisionItem({ ...d, multi }, byId)
+  let b = '<h1>Decisions' + (name ? ' · ' + esc(name) : '') + '</h1>'
+  b += '<p class="meta f">' + esc([multi ? v.repos.map((r) => r.label).join(' · ') : '', all ? 'Accepted, superseded and rejected' : 'Accepted decisions'].filter(Boolean).join(' · ')) + '</p>'
+  if (review.length) b += '<section><h2>To review <span class="count">' + review.length + '</span></h2><ol class="dl">' + review.map(item).join('') + '</ol></section>'
+  b += '<section><h2>' + (all ? 'Timeline' : 'Decided') + ' <span class="count">' + rows.length + '</span></h2>' + (rows.length ? '<ol class="dl">' + rows.map(item).join('') + '</ol>' : '<p class="f">Nothing accepted yet.</p>') + '</section>'
+  return exportDoc({ title: 'Decisions' + (name ? ' · ' + name : ''), css: DEC_CSS, body: b + foot() })
+}
+
+// ---------------------------------------------------------------- a walkthrough
+
+// data: the walkthrough (POST /v1/sessions/<id>/walkthrough); s: its session ({ title, repoLabel, repoName, repo: { branch } })
+export function walkthroughExportHtml(data, s = {}, { timeZone } = {}) {
+  const title = (s && s.title) || 'Session'
+  const repo = [s.repoLabel || s.repoName || '', s.repo && s.repo.branch].filter(Boolean).join(' · ')
+  return toHtmlDoc(data, { title, repo, when: data && data.generatedAt ? exportWhen(data.generatedAt, { timeZone }) : '' })
+}
+
+const foot = () => '<p class="foot">Saved from Leftoff. One file: it opens offline and asks nothing of the network.</p>'