proofpath 0.2.0__tar.gz → 0.2.1__tar.gz

{proofpath-0.2.0 → proofpath-0.2.1}/CHANGELOG.md

@@ -6,6 +6,47 @@ All notable changes to this project are documented here. The format follows
 
 ## [Unreleased]
 
+## [0.2.1] - 2026-09-15
+
+The TUI's second look. No behaviour change: every state word, every honesty sentence,
+the exit codes, the scheduler and the one-shot CLI are exactly v0.2.0's. Design in
+`docs/superpowers/specs/2026-09-15-tui-v2-design.md`; the by-hand session in both
+themes, with SVG screenshots, in `docs/eval/2026-09-15-tui-v2-live.md`.
+
+### Changed
+- **Two themes, one truth** (`tui/theme.py`). `rich` draws box borders, Unicode glyphs
+  and truecolor tones when the terminal gives evidence of them (`COLORTERM`, Windows
+  Terminal, iTerm2, kitty, WezTerm, Ghostty, VS Code, Terminal.app); `plain` is a pure-ASCII, ANSI-16 look
+  (v0.2.0's `⏺ ✗ ⚠ › ⧉` become `* x ! > [copy]`, and findings now print their `= note:`
+  lines as the CLI does), chosen under `NO_COLOR`, `--no-color`, `-q`,
+  `TERM=dumb`, legacy conhost, a CJK locale, or any session without truecolor evidence (an SSH
+  or tmux session that strips `COLORTERM` gets `plain`). `PROOFPATH_THEME=rich|plain` overrides
+  detection. The meaning colours stay `ui.py`'s tables; a theme changes how a meaning
+  looks, never what a word means. Spec §13.1's "pure ASCII" rule for the pet now binds
+  `plain` only.
+- **The pet** (`tui/pet.py`): `rich` draws a seven-line ferret with a real tail running
+  to the `[PROOF]` stamp; `plain` keeps the three-line one unchanged. Same eyes, same
+  blink, same reactions; the tail wags in `rich` while a run works.
+- **Run panels** (`tui/widgets/run_block.py`): in `rich` each run is a rounded panel in
+  its accent, the command and the state word on the top border, the coverage on the
+  bottom one; the stages are a fixed-column table (symbol, name, summary with `·`
+  separators, attribution, elapsed) and the active stage carries a real `▰▱` progress
+  bar with `done/total`. A finished stage that left something unverified keeps the
+  `⏺` mark instead of a tick. Below 60 columns the borders go and the flat rows
+  return; a run that crossed the floor either way says its coverage exactly once.
+- **Findings** (`tui/widgets/finding.py`): the state word is a badge, the location a
+  fixed cell, the tier right-aligned; the finding's notes and the claim (`you`) and
+  the passage (`source`) it was checked against are printed under it. A tier-less
+  badge keeps its row at 60–79 columns. `plain` prints the notes as the CLI's own
+  `= note:` rows and keeps `[copy]`.
+- **Footer** (`tui/widgets/footer.py`): `rich` draws the coverage as a proportional
+  `█▓░` bar in the three meaning colours over the counts line; `plain` keeps the
+  `kv` lines. The prompt wears a one-line rounded border in the run's accent.
+- **Structure** (OPEN-ITEMS 12.4): `tui/app.py` is split — `theme.py`, `pet.py`,
+  `verbs.py` and `tui/widgets/` (`run_block`, `finding`, `footer`, `prompt`,
+  `banner`, `_shared`) — and is now 681 lines of composition, scheduler wiring and
+  slash commands, no rendering.
+
 ## [0.2.0] - 2026-09-15
 
 The interactive front-end, author-year citations, SARIF output and a cache for the

{proofpath-0.2.0 → proofpath-0.2.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: proofpath
-Version: 0.2.0
+Version: 0.2.1
 Summary: Check whether the sources behind a claim actually say what the claim says.
 Project-URL: Homepage, https://github.com/Yigtwxx/proofpath
 Project-URL: Repository, https://github.com/Yigtwxx/proofpath
@@ -77,20 +77,47 @@ proofpath
 ```
 
 ```
-   ,_,
-  (o.o)~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~[PROOF]
-   " "    proofpath v0.2.0                                              academic . online . coreml
-          paste a file path, a URL, or a claim.            /help  /config  /quit
+    ╭╮ ╭╮
+   ╭╯╰─╯╰────────────────────────────────────────────────────────────────────╮
+  ╸┤ o o                                                                     ╰~~~~~~~~~~~~~[PROOF]
+   ╰─┬─┬────────────────────────────────────────────────────────────────┬─┬──╯
+     ˘ ˘                                                                ˘ ˘
+      proofpath v0.2.1                                                  academic . online . coreml
+      paste a file path, a URL, or a claim.                                  /help  /config  /quit
 ```
 
-Bare `proofpath` opens the terminal UI ([a recorded session](docs/eval/2026-09-15-v0.2-live.md)).
+Bare `proofpath` opens the terminal UI ([a recorded session in both themes](docs/eval/2026-09-15-tui-v2-live.md),
+with [SVG screenshots](docs/eval/tui-v2-rich.svg)). Each run is one panel in its own
+accent: the command on the top border and the run's state at its right, a fixed-column
+stage table underneath (`✓` finished, `⏺` still running or finished with something
+unverified, a real progress bar on the active stage, the provider that produced each
+number at the right), a rule, then the findings — location, reference, the state word
+as a badge, the tier — with the finding's notes and the claim (`you`) and the passage
+(`source`) it was checked against under it. The bottom border carries the run's
+coverage; the docked footer draws it as a bar and never scrolls away.
+
 Paste a path and it runs; every one-shot verb is a slash command (`/check`, `/resolve`,
 `/fetch`, `/config`, `/cache`), runs can be started while others are in flight and
-stopped with `/cancel #n` — a stopped run keeps what it had decided — and the
-coverage footer never scrolls away. Click (or press `enter` on) a finding to read the
-whole quoted passage; `⧉` copies it; a finding's reference is a link to its source.
-When a publisher blocks the plain fetch, the permission question is asked **inline,
-under the stage that hit the wall**, with `[allow once] [always] [no] [never]`.
+stopped with `/cancel #n` — a stopped run keeps what it had decided. Click (or press
+`enter` on) a finding to read the whole quoted passage; `⧉` copies it; a finding's
+reference is a link to its source. When a publisher blocks the plain fetch, the
+permission question is asked **inline, under the stage that hit the wall**, with
+`[allow once] [always] [no] [never]`.
+
+**Windows / `NO_COLOR`.** The look above is the `rich` theme, chosen when the terminal
+gives evidence of truecolor (`COLORTERM`, Windows Terminal, iTerm2, kitty, WezTerm,
+Ghostty, VS Code, Terminal.app). Under `NO_COLOR`, `--no-color`, `-q`, `TERM=dumb`,
+legacy conhost or a CJK locale the `plain` theme draws the same runs as flat ASCII rows
+in the terminal's own 16 colours — the state words, the coverage and every honesty
+sentence are identical, only the drawing changes. `PROOFPATH_THEME=rich|plain` forces
+either, for screenshots and bug reports.
+
+```
+   ,_,
+  (o.o)~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~[PROOF]
+   " "    proofpath v0.2.1                                              academic . online . coreml
+          paste a file path, a URL, or a claim.            /help  /config  /quit
+```
 
 The same engine behind a pipe or in CI:
 

{proofpath-0.2.0 → proofpath-0.2.1}/README.md

@@ -21,20 +21,47 @@ proofpath
 ```
 
 ```
-   ,_,
-  (o.o)~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~[PROOF]
-   " "    proofpath v0.2.0                                              academic . online . coreml
-          paste a file path, a URL, or a claim.            /help  /config  /quit
+    ╭╮ ╭╮
+   ╭╯╰─╯╰────────────────────────────────────────────────────────────────────╮
+  ╸┤ o o                                                                     ╰~~~~~~~~~~~~~[PROOF]
+   ╰─┬─┬────────────────────────────────────────────────────────────────┬─┬──╯
+     ˘ ˘                                                                ˘ ˘
+      proofpath v0.2.1                                                  academic . online . coreml
+      paste a file path, a URL, or a claim.                                  /help  /config  /quit
 ```
 
-Bare `proofpath` opens the terminal UI ([a recorded session](docs/eval/2026-09-15-v0.2-live.md)).
+Bare `proofpath` opens the terminal UI ([a recorded session in both themes](docs/eval/2026-09-15-tui-v2-live.md),
+with [SVG screenshots](docs/eval/tui-v2-rich.svg)). Each run is one panel in its own
+accent: the command on the top border and the run's state at its right, a fixed-column
+stage table underneath (`✓` finished, `⏺` still running or finished with something
+unverified, a real progress bar on the active stage, the provider that produced each
+number at the right), a rule, then the findings — location, reference, the state word
+as a badge, the tier — with the finding's notes and the claim (`you`) and the passage
+(`source`) it was checked against under it. The bottom border carries the run's
+coverage; the docked footer draws it as a bar and never scrolls away.
+
 Paste a path and it runs; every one-shot verb is a slash command (`/check`, `/resolve`,
 `/fetch`, `/config`, `/cache`), runs can be started while others are in flight and
-stopped with `/cancel #n` — a stopped run keeps what it had decided — and the
-coverage footer never scrolls away. Click (or press `enter` on) a finding to read the
-whole quoted passage; `⧉` copies it; a finding's reference is a link to its source.
-When a publisher blocks the plain fetch, the permission question is asked **inline,
-under the stage that hit the wall**, with `[allow once] [always] [no] [never]`.
+stopped with `/cancel #n` — a stopped run keeps what it had decided. Click (or press
+`enter` on) a finding to read the whole quoted passage; `⧉` copies it; a finding's
+reference is a link to its source. When a publisher blocks the plain fetch, the
+permission question is asked **inline, under the stage that hit the wall**, with
+`[allow once] [always] [no] [never]`.
+
+**Windows / `NO_COLOR`.** The look above is the `rich` theme, chosen when the terminal
+gives evidence of truecolor (`COLORTERM`, Windows Terminal, iTerm2, kitty, WezTerm,
+Ghostty, VS Code, Terminal.app). Under `NO_COLOR`, `--no-color`, `-q`, `TERM=dumb`,
+legacy conhost or a CJK locale the `plain` theme draws the same runs as flat ASCII rows
+in the terminal's own 16 colours — the state words, the coverage and every honesty
+sentence are identical, only the drawing changes. `PROOFPATH_THEME=rich|plain` forces
+either, for screenshots and bug reports.
+
+```
+   ,_,
+  (o.o)~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~[PROOF]
+   " "    proofpath v0.2.1                                              academic . online . coreml
+          paste a file path, a URL, or a claim.            /help  /config  /quit
+```
 
 The same engine behind a pipe or in CI:
 

proofpath-0.2.1/docs/eval/2026-09-15-tui-v2-live.md

@@ -0,0 +1,267 @@
+# TUI v2 live session — 2026-09-15
+
+The by-hand session the v2 design's §7 asks for: the real `uv run proofpath` in both
+themes, `PROOFPATH_THEME` forced, driven in a pseudo-terminal and read back as text.
+Nothing here is a fixture — this is the real `App.run()`, the real `Scheduler`, the
+real engine and the warm cache. Release evidence for v0.2.1, beside
+`2026-09-15-v0.2-live.md` (the v0.2.0 session of the same draft).
+
+- machine: Darwin arm64 (Apple Silicon), `CoreMLExecutionProvider` for NLI; the
+  session was driven from VS Code's terminal (`TERM_PROGRAM=vscode`, `COLORTERM=truecolor`)
+- pty: Python `pty.fork`, **100 × 60**, `TERM=xterm-256color`, `COLORTERM=truecolor`,
+  `PROOFPATH_THEME=rich` then `=plain`; the screen rendered by the `pyte` terminal
+  emulator (`uv run --with pyte`, not added to the project). 60 rows rather than the
+  40 of the v0.2.0 session so that the whole run block — title border, stage table,
+  every finding, coverage border — is on one screen; a 100 × 40 `rich` run was made
+  first and behaved the same, with the top of the panel scrolled away
+- cache: warm — the same `tests/data/draft-live.md` as the v0.2.0 session, so every
+  network stage is attributed to `cache` and the footer says `0 API calls`
+- version: `0.2.1` (the bump was made before the recordings)
+- the sequence, both themes: `/check tests/data/draft-live.md` → wait for `7 refs` →
+  `/help` → `/check` alone → `Esc` → `/quit`. Exit status **0** both times.
+
+The SVG screenshots `tui-v2-rich.svg` and `tui-v2-plain.svg` are a separate pair of
+runs: `ProofpathApp(load_config(), ui.build(force_terminal=True), theme=…)` under
+`app.run_test(size=(100, 54))` with the **real `Scheduler`** (no fake), the same
+`/check`, polled until the run was `done`, then `app.save_screenshot()` (Textual's
+`export_screenshot`). The same draft, the same cache, the same rows.
+
+---
+
+## 1. `PROOFPATH_THEME=rich`
+
+The banner on start (seven lines: the ferret, its tail to the stamp, the two text
+lines) and, below the empty log, the footer before any run and the bordered prompt:
+
+```
+    ╭╮ ╭╮
+   ╭╯╰─╯╰────────────────────────────────────────────────────────────────────╮
+  ╸┤ o o                                                                     ╰~~~~~~~~~~~~~[PROOF]
+   ╰─┬─┬────────────────────────────────────────────────────────────────┬─┬──╯
+     ˘ ˘                                                                ˘ ˘
+      proofpath v0.2.1                                                  academic . online . coreml
+      paste a file path, a URL, or a claim.                                  /help  /config  /quit
+
+   …
+   no run yet · coverage is reported per run
+
+   …
+ ╭────────────────────────────────────────────────────────────────────────────────────────────────╮
+ │ › paste a file path, a URL, or a claim                                                         │
+ ╰────────────────────────────────────────────────────────────────────────────────────────────────╯
+```
+
+The screen once the run was `done` — the whole panel, the docked footer with the
+coverage bar, the prompt back in the run's accent:
+
+```
+    ╭╮ ╭╮
+   ╭╯╰─╯╰────────────────────────────────────────────────────────────────────╮
+  ╸┤ O O                                                                     ╰~~~~~~~~~~~~~[PROOF]
+   ╰─┬─┬────────────────────────────────────────────────────────────────┬─┬──╯
+     ˘ ˘                                                                ˘ ˘
+      proofpath v0.2.1                                                  academic . online . coreml
+      paste a file path, a URL, or a claim.                                  /help  /config  /quit
+ ╭─ #1  /check tests/data/draft-live.md ─────────────────────────────────────────────────── done ─╮
+ │ ✓ Parsing       1 pages · 7 refs                                                  text    0.0s │
+ │ ✓ Claims        7 citations · 0 unresolved                                       rules    0.0s │
+ │ ⏺ Resolving     6 ok · 0 amb · 1 ghost                                           cache    0.0s │
+ │ ✓ Retractions   none                                                             cache    0.0s │
+ │ ✓ Fetching      5 full text · 1 abstract · 0 unverified                          cache    0.0s │
+ │ ✓ Verifying     10 claims: 1 supported · 2 not supported · 7 NEI · 10 cached    coreml    0.8s │
+ │   loading models …                                                                             │
+ │ ────────────────────────────────────────────────────────────────────────────────────────────── │
+ │ ✗ L41           [7] Marchetti, L. R., Osei, K. & Lind…                GHOST REFERENCE          │
+ │        arxiv and openlibrary consulted before the ghost call                                   │
+ │        openalex unavailable (HTTP 429, retry after 65567s); best-effort, not required          │
+ │ · L40           [6] Pearl, J. & Mackenzie, D. The B…   LOW CONFIDENCE (abstract only)          │
+ │        cache: hit                                                                              │
+ │ ✗ L6            [1] Vaswani, A., Shazeer, N., Parmar,…                  NOT SUPPORTED   high   │
+ │        numeric mismatch: claim says 21 days, source says 3.5 days                              │
+ │        you     "On the WMT 2014 English-to-French translation task the Transformer reached…"   │
+ │        source  "On the WMT 2014 English-to-French translation task, our model establishes …" ⧉ │
+ │ · L11           [2] Jumper, J., Evans, R., Pritzel, A…                            NEI   low    │
+ │ · L11           [2] Jumper, J., Evans, R., Pritzel, A…                            NEI   low    │
+ │ · L17           [3] Harris, C. R., Millman, K. J., va…                            NEI   low    │
+ │ · L16           [4] Virtanen, P., Gommers, R., Olipha…                            NEI   low    │
+ │ · L17           [4] Virtanen, P., Gommers, R., Olipha…                            NEI   low    │
+ │ ✗ L18           [4] Virtanen, P., Gommers, R., Olipha…                  NOT SUPPORTED   low    │
+ │        you     "SciPy builds on it with the fundamental algorithms for scientific computin…"   │
+ │        source  "Architecture and implementation choices Project scope SciPy provides funda…" ⧉ │
+ │ · L23           [6] Pearl, J. & Mackenzie, D. The Boo…                            NEI   low    │
+ │ · L24           [6] Pearl, J. & Mackenzie, D. The Boo…                            NEI   low    │
+ │ · L11           citation supports a paragraph, no…                   PARAGRAPH-SCOPED          │
+ │        2 sentences: 2 NEI                                                                      │
+ │ · L16           citation supports a paragraph, no…                   PARAGRAPH-SCOPED          │
+ │        3 sentences: 2 NEI, 1 not supported                                                     │
+ │ · L23           citation supports a paragraph, no…                   PARAGRAPH-SCOPED          │
+ │        2 sentences: 2 NEI                                                                      │
+ ╰─────────────────────────────────────────────────────────────────────────── coverage 72/14/14% ─╯
+
+   …
+   ██████████████████████▓▓▓▓░░░░  █ 72% full text · ▓ 14% abstract · ░ 14% unverified
+   7 refs: 1 ghost, 2 unsupported, 4 ok
+   no report written · 0 API calls · 0.8s
+
+ ╭────────────────────────────────────────────────────────────────────────────────────────────────╮
+ │ › paste a file path, a URL, or a claim                                                         │
+ ╰────────────────────────────────────────────────────────────────────────────────────────────────╯
+```
+
+Then, in order:
+
+- `/help`: eleven note rows under the panel, one per verb with what it wants, then
+  `a line that is not a command is checked as a target`:
+
+  ```
+     /check paste a file path or URL
+     /resolve paste a reference
+     /fetch paste a URL, DOI or arXiv id
+     /config
+     /cache
+     /allow once | always | no | never
+     /summarize
+     /cancel #n
+     /help
+     /quit
+     a line that is not a command is checked as a target
+     ██████████████████████▓▓▓▓░░░░  █ 72% full text · ▓ 14% abstract · ░ 14% unverified
+     7 refs: 1 ghost, 2 unsupported, 4 ok
+     no report written · 0 API calls · 0.8s
+
+   ╭────────────────────────────────────────────────────────────────────────────────────────────────╮
+   │ › paste a file path, a URL, or a claim                                                         │
+   ╰────────────────────────────────────────────────────────────────────────────────────────────────╯
+  ```
+
+- `/check` alone: the bar entered the awaiting mode; its placeholder changed to
+  **`paste a file path or URL`** inside the bordered prompt:
+
+  ```
+   ╭────────────────────────────────────────────────────────────────────────────────────────────────╮
+   │ › paste a file path or URL                                                                     │
+   ╰────────────────────────────────────────────────────────────────────────────────────────────────╯
+  ```
+
+- `Esc`: the placeholder went back to `paste a file path, a URL, or a claim` — the
+  mode was left, nothing was run.
+- `/quit`: the app left the alternate screen and the process exited **0**.
+
+## 2. `PROOFPATH_THEME=plain`
+
+The banner (the v0.2.0 three-line ferret, unchanged) and the flat rows:
+
+```
+   ,_,
+  (o.o)~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~[PROOF]
+   " "    proofpath v0.2.1                                              academic . online . coreml
+          paste a file path, a URL, or a claim.            /help  /config  /quit
+
+   …
+   no run yet · coverage is reported per run
+
+   …
+ > paste a file path, a URL, or a claim
+```
+
+```
+   ,_,
+  (O.O)~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~[PROOF]
+   " "    proofpath v0.2.1                                              academic . online . coreml
+          paste a file path, a URL, or a claim.            /help  /config  /quit
+ #1  /check tests/data/draft-live.md            done                             coverage 72/14/14%
+ + Parsing                                                                                     0.0s
+   1 pages, 7 refs                                                                             text
+ + Claims                                                                                      0.0s
+   7 citations, 0 unresolved                                                                  rules
+ * Resolving                                                                                   0.0s
+   6 ok, 0 amb, 1 ghost                                                                       cache
+ + Retractions                                                                                 0.0s
+   none                                                                                       cache
+ + Fetching                                                                                    0.0s
+   5 full text, 1 abstract, 0 unverified                                                      cache
+ + Verifying                                                                                   0.8s
+   10 claims: 1 supported, 2 not supported, 7 NEI, 10 cached                                 coreml
+   loading models …
+ --------------------------------------------------------------------------------------------------
+ x  L41         [7] Marchetti, L. R., Osei, K. & Lind…                              GHOST REFERENCE
+        = note: arxiv and openlibrary consulted before the ghost call
+        = note: openalex unavailable (HTTP 429, retry after 65567s); best-effort, not required
+ -  L40         [6] Pearl, J. & Mackenzie, D. The Boo…               LOW CONFIDENCE (abstract only)
+        = note: cache: hit
+ x  L6          [1] Vaswani, A., Shazeer, N., Parmar,…                          NOT SUPPORTED  high
+        "On the WMT 2014 English-to-French translation task, our model establishes a new s…" [copy]
+        = note: numeric mismatch: claim says 21 days, source says 3.5 days
+ -  L11         [2] Jumper, J., Evans, R., Pritzel, A…                                     NEI  low
+ -  L11         [2] Jumper, J., Evans, R., Pritzel, A…                                     NEI  low
+ -  L17         [3] Harris, C. R., Millman, K. J., va…                                     NEI  low
+ -  L16         [4] Virtanen, P., Gommers, R., Olipha…                                     NEI  low
+ -  L17         [4] Virtanen, P., Gommers, R., Olipha…                                     NEI  low
+ x  L18         [4] Virtanen, P., Gommers, R., Olipha…                           NOT SUPPORTED  low
+        "Architecture and implementation choices Project scope SciPy provides fundamental …" [copy]
+ -  L23         [6] Pearl, J. & Mackenzie, D. The Boo…                                     NEI  low
+ -  L24         [6] Pearl, J. & Mackenzie, D. The Boo…                                     NEI  low
+ -  L11         citation supports a paragraph, no…                                 PARAGRAPH-SCOPED
+        = note: 2 sentences: 2 NEI
+ -  L16         citation supports a paragraph, no…                                 PARAGRAPH-SCOPED
+        = note: 3 sentences: 2 NEI, 1 not supported
+ -  L23         citation supports a paragraph, no…                                 PARAGRAPH-SCOPED
+        = note: 2 sentences: 2 NEI
+   coverage 72/14/14%
+
+   …
+   7 refs: 1 ghost, 2 unsupported, 4 ok      coverage 72/14/14%
+   no report written · 0 API calls · 0.8s
+
+ > paste a file path, a URL, or a claim
+```
+
+Then `/help` (the same eleven rows), `/check` alone (the prompt row became
+`> paste a file path or URL`), `Esc` (back to the default), `/quit` (exit **0**).
+
+## 3. What was observed
+
+- **Same truth in both themes.** The stage summaries, the fourteen findings, their
+  states and tiers, the two ghost notes, the `numeric mismatch` note, the passages and
+  `coverage 72/14/14%` are the v0.2.0 session's, word for word; only the drawing
+  differs. `RICH` writes the summaries with `·` where `PLAIN` keeps the engine's
+  commas (`6 ok · 0 amb · 1 ghost` / `6 ok, 0 amb, 1 ghost`).
+- **The honesty flag.** `Resolving` ended with `1 ghost`, so its row keeps the active
+  mark — `⏺` in `RICH`, `*` in `PLAIN` — while the other five stages get `✓` / `+`.
+  A glance down the table finds the stage that left something unverified.
+- **OPEN-ITEMS 12.6 is closed on screen**: the finding rows print the marker once
+  (`[7] Marchetti, L. R., …`), in both themes.
+- **OPEN-ITEMS 12.7 still shows**: `loading models …` is drawn under the `Verifying`
+  row in both themes. True event order; unchanged by design in v2.
+- **Badges and elision.** `LOW CONFIDENCE (abstract only)` is the longest badge; its
+  label elided to `[6] Pearl, J. & Mackenzie, D. The B…` so the badge and the empty
+  tier cell keep their columns. Every badge ends on one column at 100 columns.
+- **`you` / `source`.** The two `NOT SUPPORTED` findings print the claim and the
+  passage it was checked against, both elided to the row, the copy glyph `⧉` after the
+  passage; `PLAIN` prints the passage with `[copy]` and the notes as `= note:` rows.
+- **Coverage said once.** In `RICH` the coverage is on the panel's bottom border and
+  in the footer's bar; there is no `coverage …` row inside the panel (the T5 fix keeps
+  the row mounted but hidden while the block is a panel). In `PLAIN` the header's tail
+  and the block's own row both say it, as v0.2.0 did.
+- **The eyes.** `o o` idle, `O O` after a run that ended with findings — the flash
+  was still up when the `done` screen was read (`(O.O)` in `PLAIN`).
+- **Warm cache.** Every network stage `cache`, `0 API calls`, `0.8s` in Verifying.
+
+### How `⏺` renders
+
+`pyte` lays cells out with `wcwidth`, so the captures above cannot show how a font
+draws a glyph; they only show that every width table agrees `⏺` (U+23FA) is one cell
+(`unicodedata` East Asian Width `N`, `wcwidth` 1, Rich `cell_len` 1 — and the suite's
+`test_a_rich_render_uses_only_single_cell_glyphs` pins Rich's answer). What a real
+terminal does was measured instead in Chromium's font fallback on this Mac, which is
+what VS Code's terminal (xterm.js) draws with: a `Menlo, monospace` span at 28 px
+gives `a` 18.9 px, `⏺` **19.6 px** (1.04 cells, a text glyph in the foreground
+colour, not the colour emoji), `●` 18.9 px, `✓ ✗ ⚠` 18.9 px, and `⧉` **24.3 px**
+(1.29 cells). So on this machine `⏺` is not drawn as a wide emoji, and the switch to
+`●` that the T5 brief conditions on that was **not made**. The glyph is `Emoji=Yes`
+(text-default presentation), and terminals that apply emoji presentation to such
+characters — Apple Terminal with some fonts, Windows Terminal — may draw it two cells
+wide in the emoji's own red; if a report says so, `Glyphs.stage_active` and
+`stage_flag` in `tui/theme.py` become `●` (OPEN-ITEMS 13.2). `⧉` overflows its cell
+by a third in the same fallback; it is followed by a space and the border, so nothing
+is covered.