@leftoff/cli 0.9.18-beta.12 → 0.9.18-beta.14

package/mod/.claude-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "leftoff",
-  "version": "0.9.18-beta.12",
+  "version": "0.9.18-beta.14",
   "description": "Leftoff (formerly Checkpoints): WTF was I working on? Tracks every Claude Code session on this machine, writes a 3-line checkpoint when one goes quiet, and adds /cp (checkpoint now), /cp-name and a /leftoff pane. Talks to the local Leftoff daemon on 127.0.0.1:7429 and falls back to writing markdown in ~/checkpoints.",
   "author": {
     "name": "One Silly App"

package/mod/hooks/core.js

@@ -508,6 +508,10 @@ export function renderCheckpointMd(cp) {
   const bullet = (x) => '- ' + oneLine(x).replace(/^\*+/, '')
   // 2026-11-03 decision memory: the decisions this checkpoint saw, first of the
   // sections, so an older reader (no section open yet) skips the heading and its lines.
+  // 2026-11-06: what the session's commands show got done (workFacts), first of all, so the
+  // digest can say what shipped in past tense; an older reader skips the heading and its lines
+  const work = (Array.isArray(cp.work) ? cp.work : []).map(renderWorkLine).filter(Boolean)
+  if (work.length) { lines.push('', '### ' + WORK_TITLE); for (const w of work) lines.push('- ' + w) }
   const decided = cleanDecided(cp.decided)
   if (decided.length) { lines.push('', '### ' + DECIDED_TITLE); for (const d of decided) lines.push(renderDecidedLine(d)) }
   for (const k of SECTION_ORDER) {
@@ -566,7 +570,15 @@ export function parseCheckpointMd(text) {
   if (cp.format === 'markdown') for (const f of ['doing', 'stoppedAt', 'next']) cp[f] = cp[f].replace(/\n{3,}/g, '\n\n').trim()
   const sec = []
   for (; k < lines.length; k++) { if (/^Resume: `/.test(lines[k])) break; sec.push(lines[k]) }
+  // 2026-11-06: "### Got done" lines are facts in a fixed shape (renderWorkLine); read them here, not as model prose
+  const work = []
+  let inWork = false
+  for (const l of sec) {
+    if (/^###\s/.test(l)) { inWork = l.replace(/^###\s+/, '').trim() === WORK_TITLE; continue }
+    if (inWork) { const f = parseWorkLine(l); if (f) work.push(f) }
+  }
   Object.assign(cp, parseSections(sec))
+  if (work.length) cp.work = work
   return cp
 }
 
@@ -904,10 +916,11 @@ export function computeStatus(s, now, cfg = DEFAULT_CONFIG) {
     // fire), so a turn that has been silent for twice the dormancy window is
     // treated as over. The mod sees turn.complete for aborted turns too.
     // 0.8.0: a Codex rollout shows no end for a turn Codex was killed in, either.
-    if ((s.capture === 'hooks' || s.capture === 'codex') && idle >= 2 * dormantAfter) return 'dormant'
+    // 2026-11-06: a subagent working is the turn going on, however quiet the session's own hooks are
+    if ((s.capture === 'hooks' || s.capture === 'codex') && idle >= 2 * dormantAfter && !(s.subagents && s.subagents.n > 0)) return 'dormant'
     return 'active'
   }
-  if (s.backgroundTasks > 0) return 'background'
+  if (s.backgroundTasks > 0 || (s.subagents && s.subagents.n > 0)) return 'background' // 2026-11-06: subagents working (the daemon reads them, src/subagents.js), a turn's end missed or not
   return idle >= dormantAfter ? 'dormant' : 'waiting'
 }
 
@@ -1335,6 +1348,189 @@ export function transcriptSlice(messages, { maxInputChars = 24000, cwd } = {}) {
   return blocks.reverse().join('\n')
 }
 
+// ---------------------------------------------------------------- work facts (2026-11-06)
+//
+// What a session got done, read from the commands it ran and what they printed,
+// never from a model: commits ("[branch abc1234] subject"), PRs opened (gh pr
+// create's URL) and merged (gh pr merge, or GitHub's MCP merge tool), branches
+// pushed, and the last test run with its counts. A checkpoint keeps them under
+// "### Got done", one line each, so the digest can say "Merged PR #53: …" in
+// past tense instead of the last status line ("PR 53 was ready to merge").
+export const WORK_TITLE = 'Got done'
+export const WORK_MAX = { prs: 6, commits: 10, pushes: 3 }
+
+const quoted = (s) => s == null ? '' : String(s)
+function argOf(cmd, names) {
+  for (const n of names) {
+    const re = new RegExp('(?:^|\\s)' + n.replace(/-/g, '\\-') + '(?:=|\\s+)(?:"((?:[^"\\\\]|\\\\.)*)"|\'([^\']*)\'|(\\S+))')
+    const m = String(cmd).match(re)
+    if (m) return quoted(m[1] != null ? m[1].replace(/\\(.)/g, '$1') : m[2] != null ? m[2] : m[3])
+  }
+  return ''
+}
+const firstLineOf = (t) => String(t || '').split('\n').map((x) => x.trim()).find(Boolean) || ''
+const TEST_CMD = /(?:^|[\s;&|(])((?:(?:env\s+(?:-u\s+\S+\s+)*)?(?:timeout\s+(?:-k\s+\S+\s+)?\S+\s+)?)?(?:(?:pnpm|npm|yarn|bun)\s+(?:run\s+)?test(?::[\w:.-]+)?|node\s+(?:--?[\w-]+(?:[= ]\S+)?\s+)*--test\b|npx\s+(?:vitest|jest|mocha)|vitest|jest|pytest|python3?\s+-m\s+pytest|go\s+test|cargo\s+test|mocha|rspec|swift\s+test|make\s+test|deno\s+test))/
+function testCounts(text) {
+  const t = String(text || '')
+  let m, passed = null, failed = null
+  if ((m = t.match(/test result: (?:ok|FAILED)\. (\d+) passed; (\d+) failed/))) return { passed: +m[1], failed: +m[2] }
+  const np = [...t.matchAll(/^\s*(?:#|ℹ)\s*pass\s+(\d+)\s*$/gm)].pop(), nf = [...t.matchAll(/^\s*(?:#|ℹ)\s*fail\s+(\d+)\s*$/gm)].pop()
+  if (np || nf) return { passed: np ? +np[1] : 0, failed: nf ? +nf[1] : 0 }
+  if ((m = t.match(/^\s*Tests:?\s+(.*)$/m)) && /\d+ (?:passed|failed)/.test(m[1])) {
+    const p = m[1].match(/(\d+) passed/), f = m[1].match(/(\d+) failed/)
+    return { passed: p ? +p[1] : 0, failed: f ? +f[1] : 0 }
+  }
+  const lines = t.split('\n').filter((l) => /\d+ (?:passed|failed)\b/.test(l))
+  if (lines.length) {
+    const l = lines[lines.length - 1], p = l.match(/(\d+) passed/), f = l.match(/(\d+) failed/)
+    passed = p ? +p[1] : 0; failed = f ? +f[1] : 0
+    return { passed, failed }
+  }
+  return null
+}
+const PR_URL = /https:\/\/github\.com\/([\w.-]+\/[\w.-]+)\/pull\/(\d+)/
+
+export function workFacts(messages) {
+  const prs = new Map() // number -> { kind: 'pr', number, title, state, repo }
+  const commits = [], pushes = []
+  let tests = null
+  const results = new Map()
+  for (const m of messages || []) for (const r of m.toolResults || []) if (r && r.tool_use_id) results.set(r.tool_use_id, r)
+  const pr = (number, patch) => {
+    const n = Number(number)
+    if (!n) return
+    const cur = prs.get(n) || { kind: 'pr', number: n, title: '', state: 'opened', repo: null }
+    // merged is final: a later "opened" (a re-run of create) doesn't take it back
+    const state = cur.state === 'merged' ? 'merged' : (patch.state || cur.state)
+    prs.delete(n) // newest last
+    prs.set(n, { ...cur, ...Object.fromEntries(Object.entries(patch).filter(([, v]) => v)), state })
+  }
+  for (const m of messages || []) {
+    if (m.role !== 'assistant') continue
+    for (const t of m.toolUses || []) {
+      const name = String(t.tool || t.name || '')
+      const res = (t.tool_use_id && results.get(t.tool_use_id)) || null
+      const text = String(t.text != null ? t.text : (res && res.text) || '')
+      const isError = !!(t.isError || (res && res.isError))
+      const input = t.input || {}
+      // GitHub's MCP tools (mcp__github__create_pull_request / merge_pull_request)
+      if (/(?:^|__)create_pull_request$/.test(name)) {
+        if (isError) continue
+        const u = text.match(PR_URL), n = (u && u[2]) || ((text.match(/"number"\s*:\s*(\d+)/) || [])[1])
+        pr(n, { title: clip(String(input.title || ''), 120), state: 'opened', repo: u ? u[1] : (input.owner && input.repo ? input.owner + '/' + input.repo : null) })
+        continue
+      }
+      if (/(?:^|__)merge_pull_request$/.test(name)) {
+        if (isError || /not mergeable|failed|error/i.test(firstLineOf(text))) continue
+        pr(input.pull_number || input.pullNumber || input.number, { state: 'merged', title: clip(String(input.commit_title || ''), 120).replace(/\s*\(#\d+\)$/, ''), repo: input.owner && input.repo ? input.owner + '/' + input.repo : null })
+        continue
+      }
+      if (name !== 'Bash' || !input.command) continue
+      const cmd = String(input.command)
+      if (/\bgit\b[^\n|;&]*\bcommit\b/.test(cmd) && !/--dry-run/.test(cmd)) {
+        for (const c of text.matchAll(/^\[([^\]\s]+)(?: \([^)]*\))? ([0-9a-f]{7,40})\] (.+)$/gm)) {
+          const subject = clip(c[3].trim(), 120)
+          const i = commits.findIndex((x) => x.subject === subject) // an --amend: the new sha, one line
+          if (i >= 0) commits.splice(i, 1)
+          commits.push({ kind: 'commit', sha: c[2].slice(0, 7), subject, branch: c[1] })
+        }
+      }
+      if (/\bgh\s+pr\s+create\b/.test(cmd) && !isError) {
+        const u = text.match(PR_URL)
+        if (u) pr(u[2], { title: clip(argOf(cmd, ['--title', '-t']), 120), state: 'opened', repo: u[1], branch: argOf(cmd, ['--head', '-H']).replace(/^[\w.-]+:/, '') || pushes[pushes.length - 1] || (commits.length ? commits[commits.length - 1].branch : '') })
+      }
+      if (/\bgh\s+pr\s+merge\b/.test(cmd) && !isError) {
+        const n = (cmd.match(/\bgh\s+pr\s+merge\s+(?:[^\s-]\S*\/pull\/)?#?(\d+)\b/) || [])[1] || (text.match(/pull request (?:[\w.-]+\/[\w.-]+)?#(\d+)/i) || [])[1] || ((text.match(PR_URL) || [])[2])
+        const title = (text.match(/pull request (?:[\w.-]+\/[\w.-]+)?#\d+ \((.+)\)\s*$/im) || [])[1] || ''
+        if (/automatically merged|auto-?merge|merge queue|will be merged/i.test(text) || /--auto\b/.test(cmd)) pr(n, { state: 'auto', title: clip(title, 120) })
+        else if (!/not mergeable|failed|error:/i.test(text)) pr(n, { state: 'merged', title: clip(title, 120) })
+      }
+      if (/\bgit\s+push\b/.test(cmd) && !isError) {
+        const b = [...text.matchAll(/(?:\[new branch\]|\.\.|\+)\s*\S*\s+(\S+)\s+->\s+(\S+)/g)].map((x) => x[2]).pop() || [...text.matchAll(/\s(\S+)\s+->\s+(\S+)/g)].map((x) => x[2]).pop()
+        if (b) { const i = pushes.indexOf(b); if (i >= 0) pushes.splice(i, 1); pushes.push(b) }
+      }
+      const tc = cmd.match(TEST_CMD)
+      if (tc) {
+        const counts = testCounts(text)
+        if (counts || isError) tests = { kind: 'tests', ok: !isError && (!counts || counts.failed === 0), passed: counts ? counts.passed : null, failed: counts ? counts.failed : null, cmd: clip(tc[1].replace(/^env\s+(?:-u\s+\S+\s+)*/, '').replace(/^timeout\s+(?:-k\s+\S+\s+)?\S+\s+/, '').replace(/\s--?(?:import|require|loader|r)[= ]\S+/g, '').trim(), 60) }
+      }
+    }
+  }
+  const out = []
+  const prList = [...prs.values()].slice(-WORK_MAX.prs)
+  out.push(...prList.filter((p) => p.state === 'merged'), ...prList.filter((p) => p.state !== 'merged'))
+  out.push(...commits.slice(-WORK_MAX.commits))
+  out.push(...pushes.slice(-WORK_MAX.pushes).map((branch) => ({ kind: 'push', branch })))
+  if (tests) out.push(tests)
+  return out
+}
+
+const oneL = (s) => String(s == null ? '' : s).replace(/\s*\n\s*/g, ' ').trim()
+// One fact, one line; parseWorkLine reads it back.
+export function renderWorkLine(f) {
+  if (!f) return ''
+  if (f.kind === 'pr') {
+    const head = (f.state === 'merged' ? 'Merged' : f.state === 'auto' ? 'Set to merge' : 'Opened') + ' PR #' + f.number + (f.repo ? ' (' + f.repo + ')' : '') + (f.branch ? ' from ' + f.branch : '')
+    return head + (f.title ? ': ' + oneL(f.title) : '')
+  }
+  if (f.kind === 'commit') return 'Committed ' + f.sha + (f.branch ? ' on ' + f.branch : '') + ': ' + oneL(f.subject)
+  if (f.kind === 'push') return 'Pushed ' + f.branch
+  if (f.kind === 'tests') {
+    const n = f.passed != null ? f.passed + ' passed' + (f.failed ? ', ' + f.failed + ' failed' : '') : ''
+    return 'Tests ' + (f.ok ? 'passed' : 'failed') + (n ? ': ' + n : '') + (f.cmd ? ' (' + oneL(f.cmd).replace(/[()]/g, '') + ')' : '')
+  }
+  return ''
+}
+export function parseWorkLine(line) {
+  const t = String(line || '').replace(/^\s*[-*•]\s*/, '').trim()
+  let m
+  if ((m = t.match(/^(Merged|Opened|Set to merge) PR #(\d+)(?: \(([\w.-]+\/[\w.-]+)\))?(?: from (\S+?))?(?::\s*(.*))?$/))) return { kind: 'pr', number: +m[2], state: m[1] === 'Merged' ? 'merged' : m[1] === 'Opened' ? 'opened' : 'auto', repo: m[3] || null, ...(m[4] ? { branch: m[4] } : {}), title: (m[5] || '').trim() }
+  if ((m = t.match(/^Committed ([0-9a-f]{7,40})(?: on (\S+))?:\s*(.*)$/))) return { kind: 'commit', sha: m[1], branch: m[2] || null, subject: m[3].trim() }
+  if ((m = t.match(/^Pushed (\S+)$/))) return { kind: 'push', branch: m[1] }
+  if ((m = t.match(/^Tests (passed|failed)(?::\s*(\d+) passed(?:, (\d+) failed)?)?(?: \((.*)\))?$/))) return { kind: 'tests', ok: m[1] === 'passed', passed: m[2] != null ? +m[2] : null, failed: m[2] != null ? +(m[3] || 0) : null, cmd: m[4] || '' }
+  return null
+}
+// "PR 53 is ready to merge" / "Merge PR 53" about a PR that has merged: a status line gone stale.
+export const STATUSY_PR = /\bPR\s*#?(\d+)\b[^.;]{0,60}?\b(?:ready to merge|ready for review|ready to land|awaiting (?:review|merge|approval)|waiting (?:on|for) (?:review|merge|approval|checks|CI)|open(?:ed)?(?: and)? (?:for|awaiting)|in review|pending (?:review|merge))/i
+export const STALE_NEXT_PR = /\b(?:merge|land|ship|review|approve|squash)\b[^.;]{0,40}?\bPR\s*#?(\d+)/i
+// A checkpoint whose Stopped at / Next calls a PR its own facts show merged ready or next to merge:
+// Stopped at becomes what the facts say, Next is dropped (the digest's next step comes from elsewhere).
+// -> { stoppedAt, next, corrected: [fields] }; nothing changed when nothing is contradicted.
+export function reconcileWithWork(cp, work) {
+  const merged = new Map((work || []).filter((f) => f && f.kind === 'pr' && f.state === 'merged').map((f) => [f.number, f]))
+  const out = { stoppedAt: cp.stoppedAt, next: cp.next, corrected: [] }
+  if (!merged.size) return out
+  const one = (t) => String(t || '').replace(/\s+/g, ' ')
+  const m = one(cp.stoppedAt).match(STATUSY_PR)
+  if (m && merged.has(Number(m[1]))) {
+    const pr = merged.get(Number(m[1]))
+    const tests = (work || []).filter((f) => f.kind === 'tests').pop()
+    out.stoppedAt = 'PR #' + pr.number + (pr.title ? ' (' + clip(pr.title, 80) + ')' : '') + ' is merged' + (tests ? '; tests ' + (tests.ok ? 'pass' : 'fail') + (tests.passed != null ? ' (' + (tests.ok ? tests.passed + ' passed' : tests.failed + ' failed') + ')' : '') : '') + '.'
+    out.corrected.push('stoppedAt')
+  }
+  const n = one(cp.next).match(STALE_NEXT_PR)
+  if (n && merged.has(Number(n[1]))) { out.next = ''; out.corrected.push('next') }
+  return out
+}
+// A work list from anywhere (the mod's POST, a file) made safe: only what renders and reads back.
+export function cleanWork(list) {
+  const out = []
+  for (const f of Array.isArray(list) ? list : []) {
+    const w = typeof f === 'string' ? parseWorkLine(f) : parseWorkLine(renderWorkLine(f))
+    if (w) out.push(w)
+  }
+  return out.slice(0, WORK_MAX.prs + WORK_MAX.commits + WORK_MAX.pushes + 1)
+}
+// The same fact in two checkpoints is one fact (a commit by its subject, since an amend changes the sha).
+export function workKey(f) {
+  if (!f) return ''
+  if (f.kind === 'pr') return 'pr:#' + f.number
+  if (f.kind === 'commit') return 'commit:' + String(f.subject || '').toLowerCase()
+  if (f.kind === 'push') return 'push:' + f.branch
+  if (f.kind === 'tests') return 'tests'
+  return ''
+}
+
 // ---------------------------------------------------------------- checkpoint length (v0.4.6)
 //
 // config summary.length picks how much a checkpoint says. Every length keeps the
@@ -1387,10 +1583,11 @@ const CHECKPOINT_BASE = [
   'You write checkpoints for a developer juggling many coding-agent sessions, read when they come back after half an hour, a day or a weekend. Given the recent transcript of ONE session, start with exactly these five lines:',
   'Goal: <the outcome the developer is after, from what they asked for, in a few plain words; not the latest step. Keep the previous goal unless they changed course or it is done and they moved on>',
   'Progress: <one of Just started, Underway, Mostly done, Done, Stuck> - <what is left between here and the goal, a few words>',
-  'Doing: <what the session was working on, one sentence, concrete nouns: files, features, errors>',
-  'Stopped at: <the exact state when it went quiet: what passed, what failed, what is half-done; say what was actually run or checked, and what is only assumed>',
+  'Doing: <what the session got done or was working on, one sentence, concrete nouns: files, features, errors; past tense for what is finished, e.g. "Merged PR #53, which keeps the reply box above the keyboard">',
+  'Stopped at: <the exact state when it went quiet, as outcomes: what passed, what failed, what is half-done, what is merged and what is not; say what was actually run or checked, and what is only assumed>',
   'Next: <the single next action a human or the agent should take>',
   'If the session is blocked on the human (a question, a permission, a decision), start Next with "YOU:".',
+  'Say outcomes, not statuses: "Merged PR #53" or "Opened PR #53, not merged yet", never "PR 53 was ready to merge". The "Verified from the commands\' output" line is the record of commits, PRs, pushes and tests: never contradict it, and never claim a merge, commit or passing test it does not show.',
   'Describe only what the transcript shows; the lines above it (repo, branch, title, what was asked, previous checkpoint) are background and may be out of date.',
 ]
 // 2026-11-03 decision memory: only when the transcript shows one, quoted, never invented.
@@ -1477,12 +1674,15 @@ export function buildCheckpointPrompt({ session, previous, messages, cfg = DEFAU
   const red = (t) => redact(String(t || ''), (cfg.redact && cfg.redact.patterns) || [])
   const found = decisionsFromMessages(messages).map((d) => ({ ...d, text: red(d.text), why: red(d.why), alternatives: d.alternatives.map(red) }))
   if (found.length) head.push('Decisions already recorded from the session\'s questions and plans (don\'t repeat them): ' + found.map((d) => '“' + clip(d.text, 120) + '”').join('; '))
+  // 2026-11-06: what the commands' own output shows got done, so the model says "Merged PR #53" and not "PR 53 was ready to merge"
+  const work = workFacts(messages).map((f) => (f.kind === 'pr' || f.kind === 'commit' ? { ...f, title: f.title && red(f.title), subject: f.subject && red(f.subject) } : f)).map((f) => Object.fromEntries(Object.entries(f).filter(([, v]) => v !== undefined)))
+  head.push('Verified from the commands\' output (git, gh, the test runner) this session: ' + (work.length ? work.map(renderWorkLine).join('; ') : 'no commit, PR, push or test run'))
   if (session.needsInput) head.push('State: the session is waiting on the developer (' + (session.lastNotification || 'a prompt') + ').')
   if (wantTitle) head.push('Also write the line: Title: <max 6 words>.')
   const slice = transcriptSlice(messages, { maxInputChars, cwd })
   const patterns = (cfg.redact && cfg.redact.patterns) || []
   const prompt = redact(head.join('\n') + '\nTranscript (oldest→newest, trimmed):\n' + (slice || '(empty)'), patterns)
-  return { system: CHECKPOINT_SYSTEMS[len], prompt, filesTouched: files, inputChars: prompt.length, length: len, maxTokens: SUMMARY_LENGTHS[len].maxTokens, found }
+  return { system: CHECKPOINT_SYSTEMS[len], prompt, filesTouched: files, inputChars: prompt.length, length: len, maxTokens: SUMMARY_LENGTHS[len].maxTokens, found, work }
 }
 
 // ---------------------------------------------------------------- decisions (2026-11-03)
@@ -1671,6 +1871,9 @@ const SECTION_KEYS = {
   'didn\'t work': 'didntWork', 'didnt work': 'didntWork', 'did not work': 'didntWork', 'what didn\'t work': 'didntWork', 'what didnt work': 'didntWork', 'tried': 'didntWork',
   'recap': 'recap',
   'next steps': 'nextSteps', 'next 3 steps': 'nextSteps',
+  // 2026-11-06: "Got done" is written in code from the commands' output (workFacts); a model
+  // that writes the heading itself is not a source for it, so its lines are dropped
+  'got done': 'gotDone',
   'decided': 'decided', // 2026-11-03 decision memory
 }
 export const SECTION_TITLES = { decisions: 'Approach notes', questions: 'Open questions', files: 'Files touched', didntWork: 'What didn\'t work', recap: 'Recap', nextSteps: 'Next steps' }
@@ -1700,6 +1903,7 @@ function parseSections(lines) {
   const push = (k, v) => {
     v = String(v || '').replace(/\*\*/g, '').trim()
     if (!v || NONE_RE.test(v)) return
+    if (k === 'gotDone') return
     if (k === 'recap') { ex.recap = ex.recap ? ex.recap + ' ' + v : v; return }
     if (k === 'files') { const f = parseFileNote(v); if (f.path || f.why) ex.files.push(f); return }
     if (k === 'decided') { const d = parseDecidedLine(v); if (d) ex.decided.push(d); return }

package/mod/hooks/register.js

@@ -19,7 +19,7 @@ import {
   shortId, formatTabTitle, parseTabTitle, tabRenameWaits, detectTerminal, parseProcLine, trailingQuestion,
   parseCheckpointArgs, SUMMARY_LENGTHS, parseBulletList, parseCatchupArgs,
   listHintFrom, backgroundListFrom, extractChecklists, parseTodoArgs, parseDoneArgs, detectBackend, parseParkArgs,
-  boardLinkLines, isNonInteractive, isLeftoffHeadless, lockForPark, parkLockHeld, unlockParkLocks, parkWorktreeText,
+  boardLinkLines, isNonInteractive, isLeftoffHeadless, lockForPark, parkLockHeld, unlockParkLocks, parkWorktreeText, reconcileWithWork,
 } from './core.js'
 
 const PANE_ID = 'checkpoints'
@@ -32,7 +32,7 @@ const START_SKIP_GRACE_MS = 15000 // the same for SessionStart (a cold start can
 const PERM_GRACE_MS = 1500 // how long a permission prompt tool.check saw waits for classic.PermissionRequest before the mod reports it
 
 // Module state. $.state is not used: the pane redraws with $.ui.invalidate.
-const MOD_VERSION = '0.9.18-beta.12' // keep in step with .claude-plugin/plugin.json
+const MOD_VERSION = '0.9.18-beta.14' // keep in step with .claude-plugin/plugin.json
 
 const st = {
   internal: false,
@@ -866,6 +866,11 @@ async function makeCheckpoint($, trigger, userNote, length, opts = {}) {
     }
     // 0.9.2: nothing to go on (no prompt, no reply): don't save a placeholder over the last real one
     if (isEmptyCheckpoint(parsed)) { if (trigger === 'manual') $.ui.toast(NOTHING_TO_CHECKPOINT, { timeoutMs: 6000 }); return null }
+    // 2026-11-06: a Stopped at / Next that calls a PR this session merged "ready to merge": the facts win
+    if (parsed.format !== 'markdown') {
+      const fix = reconcileWithWork(parsed, ctx.work)
+      if (fix.corrected.length) { parsed = { ...parsed, stoppedAt: fix.stoppedAt, next: fix.next }; generator = { ...(generator || {}), corrected: fix.corrected.join(' ') } }
+    }
     if (opts.next) parsed = { ...parsed, next: opts.next }
     const cp = {
       sessionId: st.sessionId, createdAt: nowIso(), trigger, machine: st.machine,
@@ -874,6 +879,7 @@ async function makeCheckpoint($, trigger, userNote, length, opts = {}) {
       doing: parsed.doing, stoppedAt: parsed.stoppedAt, next: parsed.next, openQuestion: parsed.openQuestion || null,
       userNote: userNote || null, filesTouched: ctx.filesTouched, turnsSinceLast: record.turnsSinceCheckpoint || 0,
       parseOk: parsed.parseOk, ...(parsed.format === 'markdown' ? { format: 'markdown' } : {}), generator, length: ctx.length,
+      work: ctx.work || [], // 2026-11-06: what the commands' output shows got done
       decided: mergeDecided(ctx.found, generator && generator.by === 'heuristic' ? [] : parsed.decided, { earlier: st.lastCheckpoint && st.lastCheckpoint.decided }), // 2026-11-03 decision memory
       decisions: parsed.decisions || [], questions: parsed.questions || [], files: parsed.files || [],
       didntWork: parsed.didntWork || [], recap: parsed.recap || '', nextSteps: parsed.nextSteps || [],

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@leftoff/cli",
-  "version": "0.9.18-beta.12",
+  "version": "0.9.18-beta.14",
   "description": "Leftoff: WTF was I working on? Tracks every Claude Code session, writes a 3-line checkpoint when one goes quiet, and gives you a daily digest and a board, on your Mac and (optionally) your phone.",
   "keywords": [
     "claude",

package/ui/app.css

@@ -435,6 +435,29 @@ h2 .count { color: var(--faint); font-weight: 500; }
   .pagehead .actions { flex-wrap: wrap; }
 }
 .digest-meta { color: var(--faint); font-size: 12.5px; margin: -2px 0 12px; }
+/* 2026-11-06: the digest's versions (ui/digest-versions.js): quiet, one line, a list on tap */
+.dv-line { margin: -10px 0 8px; }
+.dv { position: relative; display: inline-block; }
+.dv-btn { min-height: 44px; padding: 0 10px; margin: 0 0 0 -10px; border: 0; background: transparent; color: var(--muted); font: inherit; font-size: 12.5px; cursor: pointer; border-radius: 8px; -webkit-tap-highlight-color: transparent; }
+.dv-btn:hover, .dv-btn[aria-expanded="true"] { color: var(--text2); background: var(--bg2); }
+.dv-btn:focus-visible { outline: 2px solid var(--accent, currentColor); outline-offset: 1px; }
+.dv-list { position: absolute; z-index: 20; top: calc(100% + 4px); left: 0; min-width: 190px; margin: 0; padding: 4px; list-style: none; background: var(--card); border: 1px solid var(--line); border-radius: 10px; box-shadow: var(--card-shadow); }
+.dv-list[hidden] { display: none; }
+.dv-list a { display: flex; align-items: center; min-height: 44px; padding: 0 10px; border-radius: 7px; color: var(--text2); text-decoration: none; font-size: 13px; white-space: nowrap; }
+.dv-list a:hover { background: var(--bg2); }
+.dv-list a[aria-current="page"] { color: var(--text); font-weight: 600; }
+.dv-old .btn { min-height: 44px; }
+/* Settings → Digest → Let Claude search your notes (ui/mcp-setup.js) */
+.form .full.mcp-box { display: grid; grid-template-columns: minmax(0, 1fr); gap: 8px; justify-content: stretch; min-width: 0; }
+.mcp-row { position: relative; display: flex; align-items: center; gap: 6px; padding: 6px 4px 6px 12px; border: 1px solid var(--line); border-radius: 10px; background: var(--bg2); }
+.mcp-row code { flex: 1; min-width: 0; white-space: normal; overflow-wrap: anywhere; font-size: 12.5px; border: 0; background: transparent; padding: 0; }
+.mcp-row .copy-float { flex: none; width: 44px; height: 44px; display: grid; place-items: center; padding: 0; border: 0; border-radius: 8px; background: transparent; color: var(--muted); cursor: pointer; }
+.mcp-row .copy-float:hover, .mcp-row .copy-float.copied { color: var(--text); background: var(--card); }
+.mcp-row .copy-float svg { width: 16px; height: 16px; }
+.mcp-codex summary { min-height: 44px; display: flex; align-items: center; cursor: pointer; color: var(--text2); font-size: 13px; }
+.mcp-codex pre { margin: 6px 0 0; padding: 8px 12px; border: 1px solid var(--line); border-radius: 10px; background: var(--bg2); font-size: 12px; overflow-x: auto; }
+.mcp-states { display: flex; flex-wrap: wrap; gap: 6px 14px; font-size: 12.5px; color: var(--text2); }
+.mcp-state.ok { color: var(--text); }
 @media (max-width: 640px) {
   /* the five status counts as one compact row that scrolls, not a 3-row grid */
   .stats { display: flex; overflow-x: auto; scrollbar-width: none; gap: 8px; margin: 14px -14px 0; padding: 2px 14px; }
@@ -1755,6 +1778,33 @@ html.dv-open, html.dv-open body { overflow: hidden; }
   .dv-sub { padding: 6px 14px 0; }
   .dv-dl .dl-word { display: none; }
 }
+/* 2026-11-06 An HTML file: Preview · Code (ui/html-preview.js). Preview fills the sheet with the
+   sandboxed page on white (a page with no background of its own is drawn on white, as in a browser);
+   a line under the switch says what remote resources were blocked, with Show and Allow. */
+.hp-bar { flex: none; display: flex; flex-wrap: wrap; align-items: center; gap: 8px 10px; padding-bottom: 10px; }
+.hp-remote { display: flex; align-items: center; gap: 8px; flex: 1 1 320px; min-width: 0; font-size: 12.5px; color: var(--text2); }
+.hp-ric { flex: none; width: 15px; height: 15px; color: var(--muted); }
+.hp-remote.on .hp-ric { color: var(--accent); }
+.hp-rw { flex: 1; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+.hp-rw b { font-weight: 600; color: var(--text); }
+.hp-remote .btn { flex: none; }
+.hp-list { flex-basis: 100%; margin: 0; padding: 8px 10px; list-style: none; border: 1px solid var(--line); border-radius: 10px; background: var(--bg2); max-height: 160px; overflow: auto; display: grid; gap: 4px; }
+.hp-list li { display: flex; gap: 8px; align-items: baseline; min-width: 0; font-size: 12px; }
+.hp-list code { font: 12px/1.4 var(--mono); color: var(--text); overflow-wrap: anywhere; }
+.hp-kind { flex: none; min-width: 42px; font-size: 11px; color: var(--muted); }
+.hp-note { flex-basis: 100%; margin: 0; font-size: 12px; }
+.dv-body.dv-hpv { display: flex; flex-direction: column; overflow: hidden; }
+.dv-hpv .hp-main { flex: 1; min-height: 0; display: flex; }
+.dv-hpv .hp-stopped { flex: 1; justify-content: center; }
+.hp-stopped .btn { margin-top: 10px; }
+.hp-frame { flex: 1; width: 100%; min-height: 0; border: 1px solid var(--line); border-radius: 10px; background: #fff; color-scheme: light; }
+@media (max-width: 599.98px) {
+  .hp-seg { flex: 1 1 100%; display: flex; }
+  .hp-seg button { flex: 1 1 0; height: 44px; }
+  .hp-remote { flex-basis: 100%; }
+  .hp-remote .btn { min-height: 44px; }
+  .hp-hosts { display: none; }
+}
 html.dv-open .lo-backdrop { z-index: 61; }
 html.dv-open .lo-menu { z-index: 62; }
 
@@ -3104,6 +3154,26 @@ html.pv-open, html.pv-open body { overflow: hidden; }
 .md .bi-title:hover { text-decoration: underline; text-underline-offset: 2px; }
 .md .bi-tag { color: var(--faint); font-size: 12px; }
 .md section.start-sec + .digest-hint, .md p.lede + .digest-hint { margin-top: 14px; }
+/* 2026-11-06: What you got done: per project, one fact a line, each led by a shape and its word (never colour alone) */
+.md section.done-sec { margin: 16px 0 4px; padding: 10px 14px 6px; border: 1px solid var(--line); border-radius: var(--radius); background: var(--bg2); }
+.md section.done-sec h2 { margin: 2px 0 2px; font-size: 13px; text-transform: uppercase; letter-spacing: .04em; color: var(--muted); }
+.md section.done-sec h3 { margin: 12px 0 4px; font-size: 14px; color: var(--text); }
+.md ul.done, .cp ul:has(> li.dn) { list-style: none; margin: 0; padding: 0; }
+.md li.dn, .cp li.dn { position: relative; padding: 3px 0 3px 22px; line-height: 1.45; color: var(--text2); overflow-wrap: anywhere; }
+.md li.dn b { color: var(--text); font-weight: 600; }
+.md li.dn a { color: var(--text); text-decoration: underline; text-decoration-color: var(--line); text-underline-offset: 2px; }
+.md li.dn::before, .cp li.dn::before { position: absolute; left: 2px; top: 3px; width: 16px; text-align: center; font-weight: 700; color: var(--muted); }
+li.dn-merged::before { content: '✓'; }
+li.dn-opened::before { content: '○'; }
+li.dn-commit::before, li.dn-push::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: '+'; }
+.cp dd.cp-done { margin-bottom: 6px; }
+@media (max-width: 600px) { .md section.done-sec { padding: 8px 12px 4px; margin-left: -4px; margin-right: -4px; } }
 .md section.start-sec ~ #digestSpaces { margin-top: 16px; }
 .md .bi-say { display: block; color: var(--text2); line-height: 1.45; margin-top: 1px; }
 .md details.fin { margin: 10px 0 4px; }
@@ -3602,7 +3672,7 @@ del.gd-x { background: var(--gd-del-word); }
 
 html.live-full, html.live-full body { overflow: hidden; overscroll-behavior: none; }
 .live-box.full { --lf-pl: max(12px, env(safe-area-inset-left)); --lf-pr: max(12px, env(safe-area-inset-right)); position: fixed; z-index: 32; left: 0; right: 0; top: var(--lf-top, 0); height: var(--lf-h, 100vh); height: var(--lf-h, 100dvh); margin: 0; border: 0; border-radius: 0; padding: 0 var(--lf-pr) max(10px, env(safe-area-inset-bottom)) var(--lf-pl); display: flex; flex-direction: column; background: var(--bg); box-sizing: border-box; }
-html.lf-kb .live-box.full { padding-bottom: 8px; }
+html.lf-kb .live-box.full { padding-bottom: calc(8px + var(--lf-acc, 0px)); } /* --lf-acc: iOS 26's keyboard bar floats over the page (app.js KB_ACCESSORY) */
 .live-box.full > * { flex: none; width: 100%; max-width: 860px; margin-left: auto; margin-right: auto; box-sizing: border-box; }
 .live-fbar { display: flex; align-items: center; gap: 6px; min-height: 52px; padding-top: env(safe-area-inset-top); border-bottom: 1px solid var(--line); }
 .live-box.full > .live-fbar { max-width: none; margin: 0 calc(-1 * var(--lf-pr)) 0 calc(-1 * var(--lf-pl)); width: auto; padding-left: max(4px, env(safe-area-inset-left)); padding-right: max(8px, env(safe-area-inset-right)); background: var(--bg); }
@@ -4546,7 +4616,7 @@ html:not(.live-full) .fs-side { display: none; }
   .fs-side.collapsed .fs-rail { display: none; }
   html.live-full.fs-on .live-box.full { height: calc(var(--lf-h, 100vh) - var(--fs-peek, 56px)); height: calc(var(--lf-h, 100dvh) - 56px - env(safe-area-inset-bottom)); padding-bottom: 6px; }
   html.live-full.lf-kb .fs-side { display: none; }
-  html.live-full.lf-kb.fs-on .live-box.full { height: var(--lf-h, 100dvh); }
+  html.live-full.lf-kb.fs-on .live-box.full { height: var(--lf-h, 100dvh); padding-bottom: calc(6px + var(--lf-acc, 0px)); }
   /* 2026-11-06 typing outside the sheet: it steps aside whether or not a keyboard's height was measured (app.js fitSheetAside) */
   html.live-full.lf-typing .fs-side { display: none; }
   html.live-full.lf-typing.fs-on .live-box.full { height: var(--lf-h, 100dvh); }
@@ -4809,6 +4879,13 @@ details[open] > summary .wt-g-chev { transform: rotate(90deg); }
 .wt-ask:has(.wt-ask-in:focus-visible) { border-color: var(--text2); }
 .wt-ask-b { flex: none; width: 40px; height: 40px; display: grid; place-items: center; border: 0; border-radius: 10px; background: var(--card2); color: var(--text2); cursor: pointer; }
 .wt-pnav { display: none; }
+/* 2026-11-06 the long page has a bar too when there's a spot to jump to (Next spot stays on screen) */
+.wt-pnav:has(.wt-spot) { flex: none; display: flex; align-items: center; justify-content: space-between; gap: 8px; padding: 6px 14px; border-top: 1px solid var(--line); background: var(--bg); }
+.wt-pnav:has(.wt-spot) .btn { min-height: 32px; padding: 0 12px; display: inline-flex; align-items: center; gap: 4px; }
+/* the finish: every step reviewed, said on the overview */
+.wt-alldone { display: flex; align-items: center; gap: 8px; margin: 14px 0 0; padding: 10px 12px; border: 1px solid var(--line); border-radius: 10px; background: var(--card); color: var(--text); font-size: 13.5px; font-weight: 600; }
+.wt-alldone[hidden] { display: none; }
+.wt-alldone .ic { width: 16px; height: 16px; color: var(--green); }
 .wt :is(button, a, summary):focus-visible, .fs-wt:focus-visible, .wt-since:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }
 @media (prefers-reduced-motion: no-preference) { .wt-st { transition: border-color .15s, box-shadow .15s; } details[open] > summary .wt-g-chev { transition: transform .12s; } }
 @media (max-width: 1100px) { .wt.wt-big .wt-hw { grid-template-columns: minmax(0, 1fr); } .wt.wt-big .wt-fm { display: none; } .wt-big .wt-in { padding-left: 28px; } }
@@ -5405,8 +5482,23 @@ code .file-ref-off { font-size: inherit; }
 .wt-spot .ic { width: 15px; height: 15px; }
 .wt-spot-n { color: var(--muted); font-size: 12px; font-variant-numeric: tabular-nums; white-space: nowrap; }
 .wt-gd .wt-spot-on { position: relative; box-shadow: inset 4px 0 0 var(--text), inset 0 0 0 1px var(--line-strong); }
-.wt-spot-tag { position: absolute; right: 6px; top: 50%; transform: translateY(-50%); z-index: 1; display: inline-flex; align-items: center; gap: 4px; height: 20px; padding: 1px 7px 0; box-sizing: border-box; border: 1px solid var(--line-strong); border-radius: 10px; background: var(--card); color: var(--text); font-family: var(--sans, inherit); font-size: 11px; font-weight: 600; line-height: 1; white-space: nowrap; pointer-events: none; }
-.wt-spot-tag .ic { width: 11px; height: 11px; }
+/* 2026-11-06 every spot's chip at its line, all the time; the one Next spot is on is solid. The chip
+   is a .tip-btn (ui/tips.js): hover, focus or a tap explains why it's a spot. A 20px pill in a hit
+   area as tall as the row (44px on touch, by its padding) */
+.wt-spot-tag { position: absolute; right: 6px; top: 0; bottom: 0; z-index: 1; display: flex; align-items: center; pointer-events: none; }
+.wt-gd [data-ri]:has(> .wt-spot-tag) { position: relative; }
+.wt-spot-tag .tip-btn.wt-spot-chip { position: static; width: auto; height: 20px; display: inline-flex; align-items: center; gap: 4px; padding: 1px 7px 0; box-sizing: border-box; border: 1px dashed var(--line-strong); border-radius: 10px; background: var(--card); color: var(--muted); font-family: var(--sans, inherit); font-size: 11px; font-weight: 600; line-height: 1; white-space: nowrap; cursor: help; pointer-events: auto; }
+.wt-spot-tag.cur .tip-btn.wt-spot-chip { border-style: solid; color: var(--text); }
+.wt-spot-tag .tip-btn.wt-spot-chip:hover, .wt-spot-tag .tip-btn.wt-spot-chip[aria-expanded="true"] { color: var(--text); background: var(--card2); }
+.wt-spot-tag .tip-btn.wt-spot-chip .ic { width: 11px; height: 11px; }
+.wt-spot-tag .tip { font-family: var(--sans, system-ui, sans-serif); font-weight: 400; white-space: normal; pointer-events: auto; }
+@media (pointer: coarse) { .wt-spot-tag .tip-btn.wt-spot-chip { height: 28px; padding: 1px 9px 0; border-radius: 14px; } .wt-spot-tag .tip-btn.wt-spot-chip::after { content: ''; position: absolute; inset: -8px -4px; } .wt-spot-tag .tip-btn.wt-spot-chip { position: relative; } }
+/* Next spot in the bar under the reading (slides, and the long page) */
+.wt-dnav .btn.wt-spot { height: 44px; }
+@media (pointer: fine) { .wt-dnav .btn.wt-spot { height: 30px; min-height: 30px; } }
+@media (max-width: 699.98px) { .wt-dnav .btn.wt-spot { width: auto; padding: 0 10px; gap: 4px; } .wt-dnav .wt-spot-l { display: none; } }
+.wt-pnav .wt-spot { margin-left: auto; }
+.wt-pnav .wt-spot + .btn { margin-left: 0; }
 /* the file list: folds to a slim rail, its edge drags */
 .wt-railt { flex: none; display: grid; place-items: center; width: 32px; height: 32px; margin-left: auto; border: 0; border-radius: 8px; background: none; color: var(--muted); cursor: pointer; }
 .wt-railt .ic { width: 16px; height: 16px; }
@@ -5645,3 +5737,30 @@ a.tp-cite::after { content: ''; position: absolute; inset: -10px -4px; }
 .prs-picks { display: flex; flex-wrap: wrap; align-items: center; gap: 8px 12px; padding: 8px 12px; margin: 0 0 10px; border: 1px solid var(--line); border-radius: 10px; background: var(--bg); }
 .prs-picks .btn, .prs-picks .linkish { min-height: 44px; }
 .wt-dec .wt-dec-id { white-space: nowrap; flex: none; }
+
+/* 2026-11-06 the quiet "Updated" after the board catches up on return (ui/app.js caughtUpCue): a check
+   and a word, out of the way under the top row, no spinner; no slide under reduced motion */
+.caught-up { position: fixed; top: calc(var(--lf-top, 0px) + env(safe-area-inset-top, 0px) + 56px); left: 50%; transform: translate(-50%, -4px); z-index: 60; display: inline-flex; align-items: center; gap: 6px; padding: 4px 10px; border-radius: 999px; border: 1px solid var(--line, rgba(127,127,127,.3)); background: var(--card, var(--bg, #fff)); color: var(--muted, inherit); font-size: 12.5px; pointer-events: none; opacity: 0; transition: opacity .2s ease, transform .2s ease; }
+.caught-up[hidden] { display: none; }
+.caught-up .ic { width: 14px; height: 14px; }
+.caught-up.in { opacity: 1; transform: translate(-50%, 0); }
+.caught-up.out { opacity: 0; }
+@media (prefers-reduced-motion: reduce) { .caught-up { transition: none; transform: translate(-50%, 0); } }
+
+/* 2026-11-06 subagents working (ui/subagents-view.js): a spinner shape and words, in the status pill
+   and as Live's line under the thread; the spinner stands still under reduced motion */
+.sub-spin { display: inline-block; width: 10px; height: 10px; border-radius: 50%; border: 2px solid currentColor; border-right-color: transparent; margin-right: 5px; vertical-align: -1px; animation: sub-spin 1s linear infinite; flex: none; }
+@keyframes sub-spin { to { transform: rotate(360deg); } }
+.lv-subs { display: flex; align-items: center; gap: 8px; min-height: 44px; margin: 6px 0 2px; padding: 6px 10px; border: 1px dashed var(--line-strong, var(--line)); border-radius: 10px; color: var(--text); font-size: 13px; }
+.lv-subs-what { display: flex; flex-direction: column; min-width: 0; flex: 1; }
+.lv-subs-step { color: var(--muted); font-family: var(--mono); font-size: 12px; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
+.lv-subs-when { font-size: 12px; flex: none; }
+@media (prefers-reduced-motion: reduce) { .sub-spin { animation: none; border-right-color: currentColor; border-style: dotted; } }
+
+/* 2026-11-06 Save as HTML (digest, decision log; the walkthrough's is in its header): a quiet button,
+   44px to a finger. The file is one self-contained .html (ui/render-export.js). */
+.digest-save { display: flex; justify-content: flex-end; margin: -8px 0 8px; }
+.btn.save-html { background: none; box-shadow: none; color: var(--muted); }
+.btn.save-html:hover { color: var(--text); }
+@media (pointer: coarse) { .btn.save-html { min-height: 44px; padding: 0 12px; } }
+@media (max-width: 600px) { .digest-save { justify-content: flex-start; margin: -6px 0 10px; } .btn.save-html { min-height: 44px; } }