diff --git a/ROADMAP.md b/ROADMAP.md
index 95612af684..5d3be77a19 100644
--- a/ROADMAP.md
+++ b/ROADMAP.md
@@ -4,7 +4,7 @@
 
 **Stage: alpha** · next: beta, ~15 points (60% → 75% ready for real work) and ~150–230 h away
 
-> **Last reviewed:** 2026-10-10 · **Last updated:** 2026-10-26 · **Change:** minor (Word-observed spelling and grammar task pane); previously trivial (progress log: Custom document properties dialog, #2982; previously trivial: progress log: View › New Window; previously trivial: progress log: interface translations come from storytold/craft-i18n through the `craft-i18n` crate; previously trivial: progress log: disabled-control reasons translated in every interface language, #2678; previously trivial: progress log: mail merge record navigation and record ranges for printing, #3028; previously trivial: selection bar for right-to-left paragraphs and table rows; previously trivial: group connector rerouting preserves rotated and flipped free or unresolved endpoints under nonuniform group scaling; readiness estimates unchanged; previously trivial: progress log: a word with no break opportunity in it no longer makes the layout quadratic, #3412; previously trivial: progress log: a relationship the markup names without the prefix is read as it wrote, and an ordinary `id` names no part; previously trivial: progress log: a document with many relationships opens in the time its part takes, and an id the text only mentions is not a reference, #3411; previously trivial: progress log: read only and comments-only protection grey out edits; previously trivial: progress log: an empty paragraph with a hidden mark shows nothing, not even its list number, #3982; previously trivial: progress log: "NaN" in the Font dialog's Size box no longer closes the app, #3663; previously trivial: progress log: a table cell span from a `.json` file no longer overflows, #3637; previously trivial: progress log: a click in the footer while editing the header moves there; previously trivial: explicit documents keep the editor when recovery discovery finishes; readable recovery controls; previously trivial: Slovenian interface catalog, 2,614 entries; previously trivial: Insert Table of Figures dialog for any caption label, #3013; previously trivial: progress log: Home › Underline drop-down, #2738; previously trivial: personal templates in File › New and Save as Word Template, #2852; previously trivial: progress log: the scrollbar page tip stays on one line, #3341; previously trivial: progress log: forms protection greys out the control buttons; previously trivial: progress log: a document with many content controls saves in the time the controls take, #13; previously trivial: progress log: Word signature lines kept on save; previously trivial: a Thai run with Latin finds one installed font covering it all on Linux too, #1549; previously trivial: progress log: closing the header returns to the body selection, #3331; previously trivial: progress log: saving to a NAS share mounted by GVFS, #3003; previously trivial: progress log: a picture dragged near the bottom of a page lands there, #3169; previously trivial: centred list labels after leading page breaks, #2964; previously trivial: progress log: inline pictures drag to an insertion cursor and stay inline, #2233, #2234; previously trivial: progress log: a text file saved over itself closes without asking, #2376; previously trivial: progress log: a text frame in the paragraph defaults frames nothing, #2360; previously trivial: fixed font inputs in four layout controls; previously trivial: typing no longer starts render threads on every repaint, #3027; previously trivial: a right, centre or decimal tab whose text doesn't fit, or a left tab past the right indent, goes to the next line with its text, #1840; previously trivial: progress log: banded rows shade as in Word, #3415; previously trivial: progress log: the table handles show while the caret is in the table, #2428; previously trivial: progress log: a click below a floating table reaches the text after it, #2038; previously trivial: progress log: Delete on selected table cells leaves one empty paragraph in each, #2802; previously trivial: progress log: lam-alef in exported PDFs extracts whole with fonts that draw it as two glyphs, #2310; previously trivial: Bullets and Numbering toggle off style-inherited lists at their effective level, including basedOn chains and numbered ListParagraph styles; other paragraphs and list definitions stay unchanged (related to #3459); previously trivial: Russian sorting keeps ё with е and recognises decomposed ё/й; previously trivial: progress log: a text box that keeps the keyboard no longer resets the input method every frame, #2986; previously trivial: progress log: recovery copies and .json files store pictures as base64, #586 follow-up; previously trivial: progress log: legacy menu keys, #1697; previously trivial: progress log: shape gradients and transparency, #1500; previously trivial: progress log: Focus fills the screen, and Full Screen View shows the pages alone, #1678; previously trivial: progress log: text above a float's anchor wraps around it, #2048; previously trivial: progress log: File › Recover follows the app theme, #3243; previously trivial: progress log: formatting toolbar with the text context menu, #2959; previously trivial: progress log: caret inside ligatures, #1974; previously trivial: text typed into a content control takes the control's formatting; localized placeholder styles recognised; previously trivial: forms protection keeps its content controls: no inserting, Properties or Remove Content Control; previously trivial: long navigation headings wrap onto further lines within the pane, #3015; previously trivial: clearing a no-match font query keeps the recent heading visible, #2068; previously trivial: a word after a slash wraps whole, like Word, #2963; previously trivial: progress log: a header-cell picture watermark sits behind the text, #1775; previously trivial: symbols keep their font when the text font changes, #2036; previously trivial: opening a DOCX no longer copies its pictures; previously trivial: Add Font imports every selected font file, #1789); previously trivial (RTF export writes sections (gap 19); previously trivial: ODT export writes sections (gap 19); previously trivial: Read Aloud speaks each sentence in its own language, #1843; previously trivial: hint-reliant CJK outlines; previously trivial: Ctrl+wheel zoom no longer scrolls the document, #1743; previously trivial: progress log: Turkish case mapping in AutoCorrect, #1923; previously trivial: a mouse drag on a table leaves the view where it is, #1738; previously trivial: progress log: Hebrew field results and smart quotes, #1670; previously trivial: Backspace removes a selected table, rows or columns, #1844; previously trivial: progress log: mixed Hebrew/Latin text keeps its order in Word, #1543; previously trivial: progress log: web typing in non-Latin text no longer repeats, #1480; previously trivial: progress log: font family caches bounded and math font lookups follow font changes, #1354; previously trivial: `-->` AutoCorrect replacement, #2223; previously trivial: numbered headings, #1793; previously trivial: Navigation Find exposes Results, #2096; previously trivial: progress log: Columns on selected text, #2024; previously trivial: progress log: legacy outline, shadow, emboss and imprint text effects drawn, #2534; previously trivial: progress log: Indonesian proofing, #498; previously trivial: progress log: DOCX glossary documents (building blocks); previously trivial: progress log: Read Mode keeps the keyboard and shows whole, unobscured columns, #1772); previously trivial: progress log: font list entries of tall-ascent fonts no longer cut off, #2570); previously trivial: progress log: Split Cells and Convert Text to Table dialogs follow the Word check, #2592; previously trivial: a new source's Tag is made like Word's, three letters of the author and two digits of the year with a number added when taken, and an edit keeps the Tag, #2094; previously trivial: Web Layout fills the window width, #1876; previously trivial: progress log: Different First Page headers reachable from page 1, #2826; previously trivial: Language dialog keeps inherited proofing language and no-proof choices (#2717); previously trivial: progress log: web preferences kept between visits, #2132; previously trivial: progress log: undrawable private-use list bullets show the level's default bullet, #1683; previously trivial: progress log: `w:eastAsianLayout` kept on save; previously trivial: table style editor formats every part, #714); previously trivial: VML freeforms read and kept on save; previously trivial: progress log: consistent preferred cell widths; previously trivial: multi-paragraph field instructions no longer add blank lines; previously trivial: page-break-only list paragraphs hide their labels; previously trivial: progress log: grouped `flowChartOr` shapes draw their circle and crossing spokes; previously trivial: progress log: copies keep their formatting in other programs, #1523; previously trivial: progress log: privacy options on save, #1062; previously trivial: progress log: equation pictures in theme colours on Windows, #1002; previously trivial: symbol fonts, #776; previously trivial: the save prompt answers from the keyboard, #861; previously trivial: table column and row markers on the rulers, #700; previously trivial: table borders and the resize handle drag on the page, #217; previously trivial: formatting revisions landed, #41; previously trivial: Draw tab ink, #307, and Draw Table and Eraser, #303, landed: catalog 402/434; previously minor: readiness table with hours per audience; full number back to the additive weighted sum, 60%; mainstream and essentials numbers added; alpha gate checked; previously major: full re-measure against Word for Mac 16.113.4; restructured to the craftrules progress-docs standard) · **Target:** Microsoft Word (Microsoft 365) for Mac 16.113.4
+> **Last reviewed:** 2026-10-10 · **Last updated:** 2026-10-26 · **Change:** minor (Word-observed spelling and grammar task pane; rendered comparison adjusts context width and suggestion scrolling); previously trivial (progress log: Custom document properties dialog, #2982; previously trivial: progress log: View › New Window; previously trivial: progress log: interface translations come from storytold/craft-i18n through the `craft-i18n` crate; previously trivial: progress log: disabled-control reasons translated in every interface language, #2678; previously trivial: progress log: mail merge record navigation and record ranges for printing, #3028; previously trivial: selection bar for right-to-left paragraphs and table rows; previously trivial: group connector rerouting preserves rotated and flipped free or unresolved endpoints under nonuniform group scaling; readiness estimates unchanged; previously trivial: progress log: a word with no break opportunity in it no longer makes the layout quadratic, #3412; previously trivial: progress log: a relationship the markup names without the prefix is read as it wrote, and an ordinary `id` names no part; previously trivial: progress log: a document with many relationships opens in the time its part takes, and an id the text only mentions is not a reference, #3411; previously trivial: progress log: read only and comments-only protection grey out edits; previously trivial: progress log: an empty paragraph with a hidden mark shows nothing, not even its list number, #3982; previously trivial: progress log: "NaN" in the Font dialog's Size box no longer closes the app, #3663; previously trivial: progress log: a table cell span from a `.json` file no longer overflows, #3637; previously trivial: progress log: a click in the footer while editing the header moves there; previously trivial: explicit documents keep the editor when recovery discovery finishes; readable recovery controls; previously trivial: Slovenian interface catalog, 2,614 entries; previously trivial: Insert Table of Figures dialog for any caption label, #3013; previously trivial: progress log: Home › Underline drop-down, #2738; previously trivial: personal templates in File › New and Save as Word Template, #2852; previously trivial: progress log: the scrollbar page tip stays on one line, #3341; previously trivial: progress log: forms protection greys out the control buttons; previously trivial: progress log: a document with many content controls saves in the time the controls take, #13; previously trivial: progress log: Word signature lines kept on save; previously trivial: a Thai run with Latin finds one installed font covering it all on Linux too, #1549; previously trivial: progress log: closing the header returns to the body selection, #3331; previously trivial: progress log: saving to a NAS share mounted by GVFS, #3003; previously trivial: progress log: a picture dragged near the bottom of a page lands there, #3169; previously trivial: centred list labels after leading page breaks, #2964; previously trivial: progress log: inline pictures drag to an insertion cursor and stay inline, #2233, #2234; previously trivial: progress log: a text file saved over itself closes without asking, #2376; previously trivial: progress log: a text frame in the paragraph defaults frames nothing, #2360; previously trivial: fixed font inputs in four layout controls; previously trivial: typing no longer starts render threads on every repaint, #3027; previously trivial: a right, centre or decimal tab whose text doesn't fit, or a left tab past the right indent, goes to the next line with its text, #1840; previously trivial: progress log: banded rows shade as in Word, #3415; previously trivial: progress log: the table handles show while the caret is in the table, #2428; previously trivial: progress log: a click below a floating table reaches the text after it, #2038; previously trivial: progress log: Delete on selected table cells leaves one empty paragraph in each, #2802; previously trivial: progress log: lam-alef in exported PDFs extracts whole with fonts that draw it as two glyphs, #2310; previously trivial: Bullets and Numbering toggle off style-inherited lists at their effective level, including basedOn chains and numbered ListParagraph styles; other paragraphs and list definitions stay unchanged (related to #3459); previously trivial: Russian sorting keeps ё with е and recognises decomposed ё/й; previously trivial: progress log: a text box that keeps the keyboard no longer resets the input method every frame, #2986; previously trivial: progress log: recovery copies and .json files store pictures as base64, #586 follow-up; previously trivial: progress log: legacy menu keys, #1697; previously trivial: progress log: shape gradients and transparency, #1500; previously trivial: progress log: Focus fills the screen, and Full Screen View shows the pages alone, #1678; previously trivial: progress log: text above a float's anchor wraps around it, #2048; previously trivial: progress log: File › Recover follows the app theme, #3243; previously trivial: progress log: formatting toolbar with the text context menu, #2959; previously trivial: progress log: caret inside ligatures, #1974; previously trivial: text typed into a content control takes the control's formatting; localized placeholder styles recognised; previously trivial: forms protection keeps its content controls: no inserting, Properties or Remove Content Control; previously trivial: long navigation headings wrap onto further lines within the pane, #3015; previously trivial: clearing a no-match font query keeps the recent heading visible, #2068; previously trivial: a word after a slash wraps whole, like Word, #2963; previously trivial: progress log: a header-cell picture watermark sits behind the text, #1775; previously trivial: symbols keep their font when the text font changes, #2036; previously trivial: opening a DOCX no longer copies its pictures; previously trivial: Add Font imports every selected font file, #1789); previously trivial (RTF export writes sections (gap 19); previously trivial: ODT export writes sections (gap 19); previously trivial: Read Aloud speaks each sentence in its own language, #1843; previously trivial: hint-reliant CJK outlines; previously trivial: Ctrl+wheel zoom no longer scrolls the document, #1743; previously trivial: progress log: Turkish case mapping in AutoCorrect, #1923; previously trivial: a mouse drag on a table leaves the view where it is, #1738; previously trivial: progress log: Hebrew field results and smart quotes, #1670; previously trivial: Backspace removes a selected table, rows or columns, #1844; previously trivial: progress log: mixed Hebrew/Latin text keeps its order in Word, #1543; previously trivial: progress log: web typing in non-Latin text no longer repeats, #1480; previously trivial: progress log: font family caches bounded and math font lookups follow font changes, #1354; previously trivial: `-->` AutoCorrect replacement, #2223; previously trivial: numbered headings, #1793; previously trivial: Navigation Find exposes Results, #2096; previously trivial: progress log: Columns on selected text, #2024; previously trivial: progress log: legacy outline, shadow, emboss and imprint text effects drawn, #2534; previously trivial: progress log: Indonesian proofing, #498; previously trivial: progress log: DOCX glossary documents (building blocks); previously trivial: progress log: Read Mode keeps the keyboard and shows whole, unobscured columns, #1772); previously trivial: progress log: font list entries of tall-ascent fonts no longer cut off, #2570); previously trivial: progress log: Split Cells and Convert Text to Table dialogs follow the Word check, #2592; previously trivial: a new source's Tag is made like Word's, three letters of the author and two digits of the year with a number added when taken, and an edit keeps the Tag, #2094; previously trivial: Web Layout fills the window width, #1876; previously trivial: progress log: Different First Page headers reachable from page 1, #2826; previously trivial: Language dialog keeps inherited proofing language and no-proof choices (#2717); previously trivial: progress log: web preferences kept between visits, #2132; previously trivial: progress log: undrawable private-use list bullets show the level's default bullet, #1683; previously trivial: progress log: `w:eastAsianLayout` kept on save; previously trivial: table style editor formats every part, #714); previously trivial: VML freeforms read and kept on save; previously trivial: progress log: consistent preferred cell widths; previously trivial: multi-paragraph field instructions no longer add blank lines; previously trivial: page-break-only list paragraphs hide their labels; previously trivial: progress log: grouped `flowChartOr` shapes draw their circle and crossing spokes; previously trivial: progress log: copies keep their formatting in other programs, #1523; previously trivial: progress log: privacy options on save, #1062; previously trivial: progress log: equation pictures in theme colours on Windows, #1002; previously trivial: symbol fonts, #776; previously trivial: the save prompt answers from the keyboard, #861; previously trivial: table column and row markers on the rulers, #700; previously trivial: table borders and the resize handle drag on the page, #217; previously trivial: formatting revisions landed, #41; previously trivial: Draw tab ink, #307, and Draw Table and Eraser, #303, landed: catalog 402/434; previously minor: readiness table with hours per audience; full number back to the additive weighted sum, 60%; mainstream and essentials numbers added; alpha gate checked; previously major: full re-measure against Word for Mac 16.113.4; restructured to the craftrules progress-docs standard) · **Target:** Microsoft Word (Microsoft 365) for Mac 16.113.4
 > **Last reviewed:** 2026-10-10 · **Last updated:** 2026-10-18 · **Change:** trivial (English dialects in proofing, #1281; previously trivial: triple borders draw three lines, #1740; previously trivial: progress log: double-clicking a later page's footer no longer scrolls up, #2103; previously trivial: long navigation headings wrap onto further lines within the pane, #3015; previously trivial: clearing a no-match font query keeps the recent heading visible, #2068; previously trivial: a word after a slash wraps whole, like Word, #2963; previously trivial: RTF export writes sections (gap 19); previously trivial: ODT export writes sections (gap 19); previously trivial: progress log: pasted blockquotes are indented paragraphs, #1270; previously trivial: progress log: print-area strings translated in every catalog; previously trivial: progress log: comments readable in the dark theme, #2045; previously trivial: progress log: ODT sections, #1379; previously trivial: progress log: table deletes, Change Case and Unlink Fields respect Track Changes and locked content controls, #1329; previously trivial: progress log: rounded rectangle corners, #1476; previously trivial: progress log: Save As type list, #1399; previously trivial: progress log: privacy options on save, #1062; previously trivial: progress log: equation pictures in theme colours on Windows, #1002; previously trivial: symbol fonts, #776; previously trivial: the save prompt answers from the keyboard, #861; previously trivial: table column and row markers on the rulers, #700; previously trivial: table borders and the resize handle drag on the page, #217; previously trivial: formatting revisions landed, #41; previously trivial: Draw tab ink, #307, and Draw Table and Eraser, #303, landed: catalog 402/434; previously minor: readiness table with hours per audience; full number back to the additive weighted sum, 60%; mainstream and essentials numbers added; alpha gate checked; previously major: full re-measure against Word for Mac 16.113.4; restructured to the craftrules progress-docs standard) · **Target:** Microsoft Word (Microsoft 365) for Mac 16.113.4
 > **Printing update:** 2026-10-12 · direct desktop printing through craft-print; details below.
 
@@ -644,7 +644,7 @@ Footer page-table height and body wrapping are corrected. Other pagination gaps
 
 | Date | Change | Summary |
 |---|---|---|
-| 2026-10-26 | minor | Word-observed Proofing task pane uses shared review commands; clicking a suggestion corrects and advances; context, suggestion cards and ignore/dictionary links follow the Windows reference; readiness estimates unchanged |
+| 2026-10-26 | minor | Word-observed Proofing task pane uses shared review commands; clicking a suggestion corrects and advances; context, suggestion cards and ignore/dictionary links follow the Windows reference; inspected previews prompted a full-width context and scrollable three-card list; readiness estimates unchanged |
 | 2026-10-22 | trivial | Progress log: one native window per open document |
 | 2026-10-22 | trivial | Progress log: every open document keeps its own recovery copy |
 | 2026-10-22 | trivial | Progress log: several open documents in the desktop window |
diff --git a/crates/layout/src/tests_linear.rs b/crates/layout/src/tests_linear.rs
index 92c87c98d8..f5b9f78098 100644
--- a/crates/layout/src/tests_linear.rs
+++ b/crates/layout/src/tests_linear.rs
@@ -1,494 +1,494 @@
-//! Lookups that once rescanned the page, the paragraph or the document for every item they
-//! looked up (#3692, #3706): an input 8x the size must cost about 8x as much, not 64x.
-//!
-//! The cost is the steps the lookups' walks count ([`crate::work`]), not a timing, so a busy
-//! machine can't make a linear lookup look quadratic or the other way round. Only proofing text,
-//! whose walk is the document model's, is timed.
-
-use super::tests::{SCALE, cost_ratio};
-use super::{
-    Block, CharProps, DocLayout, Document, HeaderSet, HeightRule, InlineObject, LayoutCache, LayoutOptions, Page, ParaLayout, Paragraph, Path,
-    Placed, Rgb, SectionProps, SectionStart, StoryRef, display, layout, para, work,
-};
-use wordcraft_doc::para::Run;
-use wordcraft_doc::{Pos, Table};
-
-fn lay(d: &Document, opts: &LayoutOptions) -> DocLayout {
-    layout(d, &mut LayoutCache::new(), opts)
-}
-
-/// The most steps 8x the input may take, against the steps of the input: linear walks take
-/// about 8x (a little more where a fixed cost is shared out), quadratic ones about 64x.
-const MAX_STEP_RATIO: f64 = 1.5 * SCALE as f64;
-
-/// Asserts `f` takes about [`SCALE`] times the steps ([`crate::work`]) on `make(SCALE * n)` as on
-/// `make(n)`, not [`SCALE`]² times. Making the inputs isn't counted.
-pub(crate) fn assert_linear_steps<T>(what: &str, n: usize, make: impl Fn(usize) -> T, f: impl Fn(&T)) {
-    let (small, big) = (make(n), make(SCALE * n));
-    let (s, b) = (work::count(|| f(&small)), work::count(|| f(&big)));
-    let ratio = b as f64 / s.max(1) as f64;
-    eprintln!("{what}: {s} steps for n, {b} for {SCALE}n, ratio {ratio:.1}");
-    assert!(s > 0, "{what}: no steps counted, so the walk this test watches no longer counts them (crate::work)");
-    assert!(ratio <= MAX_STEP_RATIO, "{what}: {SCALE}x the input took {ratio:.1}x the steps ({s} → {b}): not linear");
-}
-
-/// [`assert_linear_steps`] for laying out `doc(n)`.
-fn assert_layout_linear(what: &str, n: usize, doc: impl Fn(usize) -> Document, opts: &LayoutOptions) {
-    assert_linear_steps(what, n, doc, |d| drop(std::hint::black_box(lay(d, opts))));
-}
-
-/// The first laid-out body paragraph on page 0.
-fn first_para(l: &DocLayout) -> Option<&ParaLayout> {
-    l.pages.first()?.items.iter().find_map(|it| match it {
-        Placed::Lines { para, story: StoryRef::Body, .. } => Some(para.as_ref()),
-        _ => None,
-    })
-}
-
-/// Finding 29: proofing text found each character's run from the paragraph's first run.
-#[test]
-fn proof_text_walks_the_runs_once() {
-    // One run per character, every other one deleted.
-    let para = |n: usize| {
-        let mut p = Paragraph::with_text(&"a".repeat(n), CharProps::default());
-        p.runs = (0..n).map(|i| Run { len: 1, props: CharProps { del: (i % 2 == 1).then_some(0), ..Default::default() } }).collect();
-        p
-    };
-    assert_eq!(para::proof_text(&para(5)), "a\u{1}a\u{1}a");
-    // The runs are the document model's, whose walk counts no steps, so this one is timed: the
-    // CPU time this thread ran (`cost_ratio`). At 50,000 runs the old walk took 64x as long for
-    // 8x the runs, and the new one about 8x; a limit of 24x stays far from both, and a ratio over
-    // it is measured again, twice, before the test fails, so a busy spell can't fail it alone.
-    let (small, big) = (para(50_000), para(SCALE * 50_000));
-    let proof_8 = |p: &Paragraph| (0..8).for_each(|_| drop(std::hint::black_box(para::proof_text(p))));
-    let mut ratios = Vec::new();
-    for _ in 0..3 {
-        let (t1, tk, ratio) = cost_ratio(SCALE, || proof_8(&small), || proof_8(&big));
-        eprintln!("proof_text: t(n) {t1:.4} s, t(8n) {tk:.4} s, ratio {ratio:.1}");
-        if ratio < 24.0 {
-            return;
-        }
-        ratios.push(ratio);
-    }
-    panic!("proof_text: 8x the runs took {ratios:.1?}x the time, three times over: not linear");
-}
-
-/// A right-to-left paragraph whose one line holds `n` hidden letters: caret offsets with no width.
-fn bidi_hidden(n: usize) -> Document {
-    let head = "سلام ";
-    let mut d = Document::from_text(&format!("{head}{} world", "x".repeat(n)));
-    let at = Pos::body(0, 0);
-    d.format_paragraphs(&at, &at, &|p| p.bidi = Some(true)).unwrap();
-    d.format_range(&Pos::body(0, head.len()), &Pos::body(0, head.len() + n), &|c| c.hidden = Some(true)).unwrap();
-    d
-}
-
-/// Finding 5: a click on a bidirectional line and a visual caret step measured every caret
-/// offset from the line's first cluster.
-#[test]
-fn bidi_clicks_and_caret_steps_take_linear_time() {
-    let opts = LayoutOptions { show_hidden: false, ..Default::default() };
-    let laid = |n: usize| lay(&bidi_hidden(n), &opts);
-    let Some(pb) = first_para(&laid(SCALE * 5000)).map(|p| p.lines.len()) else { panic!("no paragraph") };
-    assert_eq!(pb, 1, "the hidden letters stay on one line");
-    assert_linear_steps("bidi hit test", 5000, laid, |l| {
-        let Some(p) = first_para(l) else { panic!("no paragraph") };
-        std::hint::black_box(p.off_at_x(0, 1.0));
-        std::hint::black_box(l.visual_step(&Pos::body(0, 0), true, 0));
-    });
-}
-
-/// The carets of a line walked in one pass are where `x_of` puts each of them, on bidirectional
-/// and left-to-right lines alike.
-#[test]
-fn line_carets_match_x_of() {
-    let docs = [bidi_hidden(20), Document::from_text("Plain left-to-right text, long enough to wrap. ".repeat(6).as_str()), {
-        let mut d = Document::from_text("سلام world 123 دنیا (مرحبا) end");
-        let at = Pos::body(0, 0);
-        d.format_paragraphs(&at, &at, &|p| p.bidi = Some(true)).unwrap();
-        d
-    }];
-    for d in &docs {
-        for show_hidden in [false, true] {
-            let l = lay(d, &LayoutOptions { show_hidden, ..Default::default() });
-            let Some(p) = first_para(&l) else { panic!("no paragraph") };
-            for li in 0..p.lines.len() {
-                let want: Vec<_> = p.line_offsets(li).into_iter().map(|off| (off, p.x_of(li, off))).collect();
-                assert!(!want.is_empty());
-                assert_eq!(p.line_carets(li), want, "line {li}");
-            }
-        }
-    }
-}
-
-/// Finding 3: autofitting a table counted its grid's columns again for every spanning cell.
-#[test]
-fn autofit_tables_with_a_spanning_cell_in_every_row_lay_out_in_linear_time() {
-    // Rows with no cells, only a column skipped before and after them with a width: two
-    // spanning entries a row for next to no layout, so counting the grid per entry dominates.
-    let doc = |n: usize| {
-        let mut t = Table::new(n, 1, 468.0);
-        for row in t.rows.iter_mut().skip(1) {
-            row.cells.clear();
-            row.props.grid_before = 1;
-            row.props.w_before = Some(10.0);
-            row.props.grid_after = 1;
-            row.props.w_after = Some(10.0);
-        }
-        let mut d = Document::from_text("x");
-        d.insert_block(StoryRef::Body, &Path::top(0), Block::Table(t)).unwrap();
-        d
-    };
-    assert_layout_linear("spanning cells", 2000, doc, &LayoutOptions::default());
-}
-
-/// `n` continuous sections of an empty paragraph each, each with a different first page. The
-/// first section names every header and footer; the others name them too, or (`inherit`) name
-/// none and link to the previous section's.
-fn sections(n: usize, inherit: bool) -> Document {
-    use wordcraft_doc::PartKind::{Footer, Header};
-    let mut d = Document::from_text(&"\n".repeat(n.saturating_sub(1)));
-    let mut part = |k| d.add_part(k, vec![wordcraft_doc::para_block(Paragraph::with_text("Head", CharProps::default()))]);
-    let ids = [part(Header), part(Header), part(Header), part(Footer), part(Footer), part(Footer)];
-    let named = SectionProps {
-        start: SectionStart::Continuous,
-        title_page: true,
-        headers: HeaderSet { default: Some(ids[0]), first: Some(ids[1]), even: Some(ids[2]) },
-        footers: HeaderSet { default: Some(ids[3]), first: Some(ids[4]), even: Some(ids[5]) },
-        ..Default::default()
-    };
-    let linked = SectionProps { headers: HeaderSet::default(), footers: HeaderSet::default(), ..named.clone() };
-    for i in 0..n.saturating_sub(1) {
-        let s = if i == 0 || !inherit { named.clone() } else { linked.clone() };
-        d.para_mut(StoryRef::Body, &Path::top(i)).unwrap().section = Some(Box::new(s));
-    }
-    d.last_section = if inherit { linked } else { named };
-    d
-}
-
-/// Finding 13: each section's headers and footers were found by walking back through the
-/// sections before it, for every section and again for every page. Linked to the previous
-/// section's, they must cost no more to lay out than named in each section.
-#[test]
-fn headers_inherited_through_many_sections_lay_out_in_linear_time() {
-    let l = lay(&sections(200, true), &LayoutOptions::default());
-    assert!(l.pages.iter().all(|p| !p.header.is_empty() && !p.footer.is_empty()), "the header and footer are inherited");
-    let opts = LayoutOptions::default();
-    assert_layout_linear("inherited headers", 1000, |n| sections(n, true), &opts);
-    let steps = |inherit: bool| work::count(|| drop(std::hint::black_box(lay(&sections(1000, inherit), &opts))));
-    let (named, inherited) = (steps(false), steps(true));
-    assert!(inherited <= 2 * named, "1000 inheriting sections took {inherited} steps, named ones {named}");
-}
-
-/// A header of `n` short paragraphs.
-fn tall_header(n: usize) -> (Document, u32) {
-    let mut d = Document::from_text("Body");
-    let paras = (0..n).map(|i| wordcraft_doc::para_block(Paragraph::with_text(&format!("h{i}"), CharProps::default()))).collect();
-    let id = d.add_part(wordcraft_doc::PartKind::Header, paras);
-    d.last_section.headers.default = Some(id);
-    (d, id)
-}
-
-/// Finding 28: selecting across a header looked through the whole page for each paragraph.
-#[test]
-fn selecting_a_long_header_takes_linear_time() {
-    // The header laid out, and the selection from its first paragraph to its last.
-    let laid = |n: usize| {
-        let (d, id) = tall_header(n);
-        let l = lay(&d, &LayoutOptions::default());
-        let ends = (Pos::new(StoryRef::Part(id), Path::top(0), 0), Pos::new(StoryRef::Part(id), Path::top(n - 1), 2));
-        (d, l, ends)
-    };
-    let (d, l, (a, b)) = laid(SCALE * 300);
-    assert!(l.selection_rects(&d, &a, &b, 0).len() >= SCALE * 300, "a rectangle per paragraph");
-    assert_linear_steps("header selection", 300, laid, |(d, l, (a, b))| drop(std::hint::black_box(l.selection_rects(d, a, b, 0))));
-}
-
-/// An endnote of `n` paragraphs, a few lines each, continued over many pages.
-fn long_endnote(n: usize) -> (Document, u32) {
-    let mut d = Document::from_text("Body");
-    // One huge letter to a paragraph, one line high enough for a page, so the pages are as many as
-    // the paragraphs and each paragraph costs next to nothing.
-    let huge = CharProps { size: Some(400.0), ..Default::default() };
-    let paras = (0..n).map(|_| wordcraft_doc::para_block(Paragraph::with_text("n", huge.clone()))).collect();
-    let id = d.add_part(wordcraft_doc::PartKind::Endnote, paras);
-    let r = InlineObject::NoteRef { kind: wordcraft_doc::para::NoteKind::Endnote, id, custom: String::new() };
-    d.insert_object(&Pos::body(0, 4), r, &Default::default()).unwrap();
-    (d, id)
-}
-
-/// #3866: selecting across an endnote over many pages probed the pages from the first for each
-/// paragraph (paragraphs x pages).
-#[test]
-fn selecting_a_long_endnote_takes_linear_time() {
-    let laid = |n: usize| {
-        let (d, id) = long_endnote(n);
-        let l = lay(&d, &LayoutOptions::default());
-        let ends = (Pos::new(StoryRef::Part(id), Path::top(0), 0), Pos::new(StoryRef::Part(id), Path::top(n - 1), 2));
-        (d, l, ends)
-    };
-    let (d, l, (a, b)) = laid(SCALE * 20);
-    assert!(l.pages.len() >= SCALE * 20 / 2, "the endnote runs over many pages: {}", l.pages.len());
-    assert!(l.selection_rects(&d, &a, &b, 0).len() >= SCALE * 20, "a rectangle per paragraph");
-    assert_linear_steps("endnote selection", 20, laid, |(d, l, (a, b))| drop(std::hint::black_box(l.selection_rects(d, a, b, 0))));
-}
-
-/// A table of `n` rows of 60 cells, each row exactly half a point high, so every cell clips its
-/// (empty) paragraph and the whole table fits on the first page.
-fn clipped_table(n: usize) -> Document {
-    let mut t = Table::new(n, 60, 468.0);
-    for row in &mut t.rows {
-        row.props.height = Some(0.5);
-        row.props.height_rule = HeightRule::Exact;
-    }
-    let mut d = Document::from_text("x");
-    d.insert_block(StoryRef::Body, &Path::top(0), Block::Table(t)).unwrap();
-    d
-}
-
-/// Finding 1: drawing a line in a clipped cell looked through every clipped cell on the page.
-#[test]
-fn drawing_many_clipped_cells_takes_linear_time() {
-    let laid = |n: usize| {
-        let d = clipped_table(n);
-        let l = lay(&d, &LayoutOptions::default());
-        (d, l)
-    };
-    let opts = display::DisplayOptions::default();
-    let draw = |(d, l): &(Document, DocLayout)| l.pages.first().map(|p| display::page_display(d, p, &opts)).unwrap_or_default();
-    let clips = draw(&laid(SCALE * 16)).iter().filter(|i| matches!(i, display::Draw::Clip { .. })).count();
-    assert_eq!(clips, SCALE * 16 * 60, "every cell's line is clipped, all on the first page");
-    assert_linear_steps("clipped cells", 16, laid, |dl| drop(std::hint::black_box(draw(dl))));
-}
-
-/// `n` words, each inserted by its own author, at a size that fits them all on the first page.
-fn tracked_words(n: usize) -> Document {
-    let mut d = Document::from_text("x");
-    let p = Paragraph {
-        text: "word ".repeat(n),
-        runs: (0..n).map(|i| Run { len: 5, props: CharProps { ins: u32::try_from(i).ok(), size: Some(1.0), ..Default::default() } }).collect(),
-        ..Paragraph::with_text("", CharProps::default())
-    };
-    d.body = vec![wordcraft_doc::para_block(p)];
-    d.revisions = (0..n).map(|i| wordcraft_doc::Revision::new(wordcraft_doc::RevisionKind::Insert, format!("Author {i}"), "")).collect();
-    d
-}
-
-/// Finding 30 (#3706): every tracked run ranked its author among all the document's revisions.
-#[test]
-fn drawing_tracked_changes_by_many_authors_takes_linear_time() {
-    let laid = |n: usize| {
-        let d = tracked_words(n);
-        let l = lay(&d, &LayoutOptions::default());
-        (d, l)
-    };
-    assert_eq!(laid(SCALE * 1000).1.pages.len(), 1);
-    let opts = display::DisplayOptions { markup: true, ..Default::default() };
-    let draw = |(d, l): &(Document, DocLayout)| l.pages.first().map(|p| display::page_display(d, p, &opts)).unwrap_or_default();
-    // Every run is drawn in its author's colour, so the authors are ranked at least once.
-    assert_linear_steps("tracked runs", 1000, laid, |dl| drop(std::hint::black_box(draw(dl))));
-}
-
-/// Each author keeps the colour of their first revision's place among the authors.
-#[test]
-fn tracked_changes_colour_by_author_in_order_of_appearance() {
-    let mut d = tracked_words(3);
-    // Words 0 and 2 by Ana, word 1 by Ben: Ana first, Ben second.
-    for (r, a) in d.revisions.iter_mut().zip(["Ana", "Ben", "Ana"]) {
-        r.author = a.into();
-    }
-    let l = lay(&d, &LayoutOptions::default());
-    let opts = display::DisplayOptions { markup: true, ..Default::default() };
-    let colours: Vec<_> = display::page_display(&d, &l.pages[0], &opts)
-        .into_iter()
-        .filter_map(|i| if let display::Draw::Glyphs { color, .. } = i { Some(color) } else { None })
-        .collect();
-    let (ana, ben) = (display::revision_color(0), display::revision_color(1));
-    assert_ne!(ana, ben);
-    assert_eq!(colours, [ana, ben, ana]);
-}
-
-/// Finding 30 (#3706): every comment balloon ranked its author among all the comments.
-#[test]
-fn balloons_for_many_authors_lay_out_in_linear_time() {
-    let doc = |n: usize| {
-        let mut d = Document::from_text(&"word ".repeat(n));
-        for i in (0..n).rev() {
-            let part = d.add_part(wordcraft_doc::PartKind::Comment, vec![wordcraft_doc::para_block(Paragraph::with_text("c", CharProps::default()))]);
-            let id = u32::try_from(i).unwrap();
-            d.comments.insert(id, wordcraft_doc::Comment { author: format!("Author {i}"), part, ..Default::default() });
-            let p = CharProps::default();
-            d.insert_object(&Pos::body(0, 5 * i + 4), InlineObject::CommentEnd { id }, &p).unwrap();
-            d.insert_object(&Pos::body(0, 5 * i), InlineObject::CommentStart { id }, &p).unwrap();
-        }
-        d
-    };
-    let opts = LayoutOptions { comment_balloons: true, ..Default::default() };
-    assert_layout_linear("comment balloons", 120, doc, &opts);
-}
-
-/// `n` one-word paragraphs, each inserted by its own author, small enough for one page.
-fn tracked_paras(n: usize) -> Document {
-    let mut d = Document::from_text("x");
-    d.body = (0..n)
-        .map(|i| {
-            let run = Run { len: 1, props: CharProps { ins: u32::try_from(i).ok(), size: Some(1.0), ..Default::default() } };
-            let mut p = Paragraph { runs: vec![run], ..Paragraph::with_text("w", CharProps::default()) };
-            p.mark.size = Some(1.0);
-            p.props.space_before = Some(0.0);
-            p.props.space_after = Some(0.0);
-            wordcraft_doc::para_block(p)
-        })
-        .collect();
-    d.revisions = (0..n).map(|i| wordcraft_doc::Revision::new(wordcraft_doc::RevisionKind::Insert, format!("Author {i}"), "")).collect();
-    d
-}
-
-/// Draws every item of the first page on its own, as the PDF export does.
-fn draw_items((d, l): &(Document, DocLayout), opts: &display::DisplayOptions) {
-    let Some(p) = l.pages.first() else { return };
-    let shown = display::ItemDisplay::new(d, p);
-    for it in p.header.iter().chain(&p.footer).chain(&p.items) {
-        std::hint::black_box(shown.draws(it, opts));
-    }
-}
-
-/// #3866: the PDF export drew each item with a `page_display` of its own, which ranked the revision
-/// authors again for every item with a tracked change (lines x revisions).
-#[test]
-fn drawing_items_one_by_one_ranks_the_authors_once() {
-    let laid = |n: usize| {
-        let d = tracked_paras(n);
-        let l = lay(&d, &LayoutOptions::default());
-        (d, l)
-    };
-    assert_eq!(laid(SCALE * 40).1.pages.len(), 1);
-    let opts = display::DisplayOptions { markup: true, ..Default::default() };
-    assert_linear_steps("items drawn one by one", 40, laid, |dl| draw_items(dl, &opts));
-}
-
-/// #3866: the same for the clipped cells, which each item's `page_display` collected again
-/// (lines x clipped cells).
-#[test]
-fn drawing_items_one_by_one_collects_the_clipped_cells_once() {
-    let laid = |n: usize| {
-        let d = clipped_table(n);
-        let l = lay(&d, &LayoutOptions::default());
-        (d, l)
-    };
-    let opts = display::DisplayOptions::default();
-    assert_linear_steps("clipped cells, items one by one", 16, laid, |dl| draw_items(dl, &opts));
-}
-
-/// #3866: a comment's balloon is in its author's colour, authors numbered in order of appearance.
-#[test]
-fn balloons_are_in_their_authors_colours() {
-    let mut d = Document::from_text("one two three");
-    for (i, a) in ["Ana", "Ben", "Ana"].into_iter().enumerate() {
-        let part = d.add_part(wordcraft_doc::PartKind::Comment, vec![wordcraft_doc::para_block(Paragraph::with_text("c", CharProps::default()))]);
-        let id = u32::try_from(i).unwrap();
-        d.comments.insert(id, wordcraft_doc::Comment { author: a.into(), part, ..Default::default() });
-        let p = CharProps::default();
-        d.insert_object(&Pos::body(0, 0), InlineObject::CommentEnd { id }, &p).unwrap();
-        d.insert_object(&Pos::body(0, 0), InlineObject::CommentStart { id }, &p).unwrap();
-    }
-    let l = lay(&d, &LayoutOptions { comment_balloons: true, ..Default::default() });
-    // Each card's stripe is a 3 pt wide fill in the author's colour; the cards run down the page.
-    let mut stripes: Vec<_> = l.pages[0]
-        .items
-        .iter()
-        .filter_map(|it| match it {
-            Placed::Fill { rect, color } if rect.w == 3.0 => Some((rect.y, *color)),
-            _ => None,
-        })
-        .collect();
-    stripes.sort_by(|a, b| a.0.total_cmp(&b.0));
-    let (ana, ben) = (display::revision_color(0), display::revision_color(1));
-    assert_ne!(ana, ben);
-    assert_eq!(stripes.iter().map(|s| s.1).collect::<Vec<_>>(), [ana, ben, ana]);
-}
-
-/// A page with tracked changes by several authors in its body and header, and exact-height
-/// tables, one nested in a cell of another, whose cells clip their lines.
-fn mixed_page() -> (Document, DocLayout) {
-    let mut d = tracked_paras(6);
-    let mut hp = Paragraph::with_text("head", CharProps::default());
-    hp.runs = vec![Run { len: 4, props: CharProps { ins: Some(2), ..Default::default() } }];
-    let id = d.add_part(wordcraft_doc::PartKind::Header, vec![wordcraft_doc::para_block(hp)]);
-    d.last_section.headers.default = Some(id);
-    let exact = |rows, cols| {
-        let mut t = Table::new(rows, cols, 200.0);
-        for row in &mut t.rows {
-            row.props.height = Some(0.5);
-            row.props.height_rule = HeightRule::Exact;
-        }
-        t
-    };
-    // A cell with text in it holds a nested table.
-    let mut outer = exact(2, 2);
-    outer.rows[0].cells[0].blocks.push(std::sync::Arc::new(Block::Table(exact(2, 2))));
-    d.insert_block(StoryRef::Body, &Path::top(1), Block::Table(outer)).unwrap();
-    d.insert_block(StoryRef::Body, &Path::top(0), Block::Table(exact(2, 3))).unwrap();
-    let l = lay(&d, &LayoutOptions::default());
-    (d, l)
-}
-
-/// What drawing `it` on a page of just it (and every clipped cell, for a line) gave before the
-/// page's authors and clipped cells were shared: a `page_display` of its own.
-fn drawn_alone(d: &Document, page: &Page, it: &Placed, opts: &display::DisplayOptions) -> Vec<display::Draw> {
-    let mut items = vec![it.clone()];
-    if matches!(it, Placed::Lines { .. }) {
-        let cells = page.header.iter().chain(&page.footer).chain(&page.items).filter(|c| matches!(c, Placed::Cell { clip: true, .. }));
-        items.extend(cells.cloned());
-    }
-    let one = Page { w: page.w, h: page.h, section: page.section, number: page.number, items, body: page.body, ..Default::default() };
-    display::page_display(d, &one, opts)
-}
-
-/// #3866: drawing the items of a page one by one with the page's shared authors and clipped
-/// cells gives what a `page_display` of each alone gave.
-#[test]
-fn drawing_items_one_by_one_matches_a_page_display_of_each() {
-    let (d, l) = mixed_page();
-    let page = &l.pages[0];
-    let clipped = page.items.iter().filter(|c| matches!(c, Placed::Cell { clip: true, .. })).count();
-    assert!(clipped >= 8, "clipped cells, nested ones among them: {clipped}");
-    assert!(!page.header.is_empty(), "a header on the page");
-    for markup in [true, false] {
-        let opts = display::DisplayOptions { markup, ..Default::default() };
-        let shown = display::ItemDisplay::new(&d, page);
-        let (mut clips, mut coloured) = (0, 0);
-        for it in page.header.iter().chain(&page.footer).chain(&page.items) {
-            let (got, want) = (shown.draws(it, &opts), drawn_alone(&d, page, it, &opts));
-            assert_eq!(format!("{got:?}"), format!("{want:?}"), "markup {markup}: {it:?}");
-            clips += got.iter().filter(|x| matches!(x, display::Draw::Clip { .. })).count();
-            coloured += got.iter().filter(|x| matches!(x, display::Draw::Glyphs { color, .. } if *color != Rgb(0, 0, 0))).count();
-        }
-        assert!(clips > 0, "some lines are clipped");
-        assert!(!markup || coloured > 0, "some tracked text is in an author's colour");
-    }
-}
-
-/// #3866: a header paragraph on the hinted page is found there, without a walk of every page of a
-/// long document to find the first page that shows it.
-#[test]
-fn selecting_a_header_on_the_hinted_page_does_not_walk_every_page() {
-    let laid = |n: usize| {
-        let mut d = Document::from_text("n");
-        let huge = CharProps { size: Some(400.0), ..Default::default() };
-        d.body = (0..n).map(|_| wordcraft_doc::para_block(Paragraph::with_text("n", huge.clone()))).collect();
-        let id = d.add_part(wordcraft_doc::PartKind::Header, vec![wordcraft_doc::para_block(Paragraph::with_text("head", CharProps::default()))]);
-        d.last_section.headers.default = Some(id);
-        let l = lay(&d, &LayoutOptions::default());
-        let ends = (Pos::new(StoryRef::Part(id), Path::top(0), 0), Pos::new(StoryRef::Part(id), Path::top(0), 2));
-        (d, l, ends)
-    };
-    let steps = |n: usize| {
-        let (d, l, (a, b)) = laid(n);
-        assert!(l.pages.len() >= n, "a page to each paragraph: {}", l.pages.len());
-        work::count(|| drop(std::hint::black_box(l.selection_rects(&d, &a, &b, 0))))
-    };
-    let (small, big) = (steps(20), steps(160));
-    eprintln!("hinted header: {small} steps for 20 pages, {big} for 160");
-    assert!(small > 0 && big <= small + 8, "the pages aren't walked: {small} → {big}");
-}
+//! Lookups that once rescanned the page, the paragraph or the document for every item they
+//! looked up (#3692, #3706): an input 8x the size must cost about 8x as much, not 64x.
+//!
+//! The cost is the steps the lookups' walks count ([`crate::work`]), not a timing, so a busy
+//! machine can't make a linear lookup look quadratic or the other way round. Only proofing text,
+//! whose walk is the document model's, is timed.
+
+use super::tests::{SCALE, cost_ratio};
+use super::{
+    Block, CharProps, DocLayout, Document, HeaderSet, HeightRule, InlineObject, LayoutCache, LayoutOptions, Page, ParaLayout, Paragraph, Path,
+    Placed, Rgb, SectionProps, SectionStart, StoryRef, display, layout, para, work,
+};
+use wordcraft_doc::para::Run;
+use wordcraft_doc::{Pos, Table};
+
+fn lay(d: &Document, opts: &LayoutOptions) -> DocLayout {
+    layout(d, &mut LayoutCache::new(), opts)
+}
+
+/// The most steps 8x the input may take, against the steps of the input: linear walks take
+/// about 8x (a little more where a fixed cost is shared out), quadratic ones about 64x.
+const MAX_STEP_RATIO: f64 = 1.5 * SCALE as f64;
+
+/// Asserts `f` takes about [`SCALE`] times the steps ([`crate::work`]) on `make(SCALE * n)` as on
+/// `make(n)`, not [`SCALE`]² times. Making the inputs isn't counted.
+pub(crate) fn assert_linear_steps<T>(what: &str, n: usize, make: impl Fn(usize) -> T, f: impl Fn(&T)) {
+    let (small, big) = (make(n), make(SCALE * n));
+    let (s, b) = (work::count(|| f(&small)), work::count(|| f(&big)));
+    let ratio = b as f64 / s.max(1) as f64;
+    eprintln!("{what}: {s} steps for n, {b} for {SCALE}n, ratio {ratio:.1}");
+    assert!(s > 0, "{what}: no steps counted, so the walk this test watches no longer counts them (crate::work)");
+    assert!(ratio <= MAX_STEP_RATIO, "{what}: {SCALE}x the input took {ratio:.1}x the steps ({s} → {b}): not linear");
+}
+
+/// [`assert_linear_steps`] for laying out `doc(n)`.
+fn assert_layout_linear(what: &str, n: usize, doc: impl Fn(usize) -> Document, opts: &LayoutOptions) {
+    assert_linear_steps(what, n, doc, |d| drop(std::hint::black_box(lay(d, opts))));
+}
+
+/// The first laid-out body paragraph on page 0.
+fn first_para(l: &DocLayout) -> Option<&ParaLayout> {
+    l.pages.first()?.items.iter().find_map(|it| match it {
+        Placed::Lines { para, story: StoryRef::Body, .. } => Some(para.as_ref()),
+        _ => None,
+    })
+}
+
+/// Finding 29: proofing text found each character's run from the paragraph's first run.
+#[test]
+fn proof_text_walks_the_runs_once() {
+    // One run per character, every other one deleted.
+    let para = |n: usize| {
+        let mut p = Paragraph::with_text(&"a".repeat(n), CharProps::default());
+        p.runs = (0..n).map(|i| Run { len: 1, props: CharProps { del: (i % 2 == 1).then_some(0), ..Default::default() } }).collect();
+        p
+    };
+    assert_eq!(para::proof_text(&para(5)), "a\u{1}a\u{1}a");
+    // The runs are the document model's, whose walk counts no steps, so this one is timed: the
+    // CPU time this thread ran (`cost_ratio`). At 50,000 runs the old walk took 64x as long for
+    // 8x the runs, and the new one about 8x; a limit of 24x stays far from both, and a ratio over
+    // it is measured again, twice, before the test fails, so a busy spell can't fail it alone.
+    let (small, big) = (para(50_000), para(SCALE * 50_000));
+    let proof_8 = |p: &Paragraph| (0..8).for_each(|_| drop(std::hint::black_box(para::proof_text(p))));
+    let mut ratios = Vec::new();
+    for _ in 0..3 {
+        let (t1, tk, ratio) = cost_ratio(SCALE, || proof_8(&small), || proof_8(&big));
+        eprintln!("proof_text: t(n) {t1:.4} s, t(8n) {tk:.4} s, ratio {ratio:.1}");
+        if ratio < 24.0 {
+            return;
+        }
+        ratios.push(ratio);
+    }
+    panic!("proof_text: 8x the runs took {ratios:.1?}x the time, three times over: not linear");
+}
+
+/// A right-to-left paragraph whose one line holds `n` hidden letters: caret offsets with no width.
+fn bidi_hidden(n: usize) -> Document {
+    let head = "سلام ";
+    let mut d = Document::from_text(&format!("{head}{} world", "x".repeat(n)));
+    let at = Pos::body(0, 0);
+    d.format_paragraphs(&at, &at, &|p| p.bidi = Some(true)).unwrap();
+    d.format_range(&Pos::body(0, head.len()), &Pos::body(0, head.len() + n), &|c| c.hidden = Some(true)).unwrap();
+    d
+}
+
+/// Finding 5: a click on a bidirectional line and a visual caret step measured every caret
+/// offset from the line's first cluster.
+#[test]
+fn bidi_clicks_and_caret_steps_take_linear_time() {
+    let opts = LayoutOptions { show_hidden: false, ..Default::default() };
+    let laid = |n: usize| lay(&bidi_hidden(n), &opts);
+    let Some(pb) = first_para(&laid(SCALE * 5000)).map(|p| p.lines.len()) else { panic!("no paragraph") };
+    assert_eq!(pb, 1, "the hidden letters stay on one line");
+    assert_linear_steps("bidi hit test", 5000, laid, |l| {
+        let Some(p) = first_para(l) else { panic!("no paragraph") };
+        std::hint::black_box(p.off_at_x(0, 1.0));
+        std::hint::black_box(l.visual_step(&Pos::body(0, 0), true, 0));
+    });
+}
+
+/// The carets of a line walked in one pass are where `x_of` puts each of them, on bidirectional
+/// and left-to-right lines alike.
+#[test]
+fn line_carets_match_x_of() {
+    let docs = [bidi_hidden(20), Document::from_text("Plain left-to-right text, long enough to wrap. ".repeat(6).as_str()), {
+        let mut d = Document::from_text("سلام world 123 دنیا (مرحبا) end");
+        let at = Pos::body(0, 0);
+        d.format_paragraphs(&at, &at, &|p| p.bidi = Some(true)).unwrap();
+        d
+    }];
+    for d in &docs {
+        for show_hidden in [false, true] {
+            let l = lay(d, &LayoutOptions { show_hidden, ..Default::default() });
+            let Some(p) = first_para(&l) else { panic!("no paragraph") };
+            for li in 0..p.lines.len() {
+                let want: Vec<_> = p.line_offsets(li).into_iter().map(|off| (off, p.x_of(li, off))).collect();
+                assert!(!want.is_empty());
+                assert_eq!(p.line_carets(li), want, "line {li}");
+            }
+        }
+    }
+}
+
+/// Finding 3: autofitting a table counted its grid's columns again for every spanning cell.
+#[test]
+fn autofit_tables_with_a_spanning_cell_in_every_row_lay_out_in_linear_time() {
+    // Rows with no cells, only a column skipped before and after them with a width: two
+    // spanning entries a row for next to no layout, so counting the grid per entry dominates.
+    let doc = |n: usize| {
+        let mut t = Table::new(n, 1, 468.0);
+        for row in t.rows.iter_mut().skip(1) {
+            row.cells.clear();
+            row.props.grid_before = 1;
+            row.props.w_before = Some(10.0);
+            row.props.grid_after = 1;
+            row.props.w_after = Some(10.0);
+        }
+        let mut d = Document::from_text("x");
+        d.insert_block(StoryRef::Body, &Path::top(0), Block::Table(t)).unwrap();
+        d
+    };
+    assert_layout_linear("spanning cells", 2000, doc, &LayoutOptions::default());
+}
+
+/// `n` continuous sections of an empty paragraph each, each with a different first page. The
+/// first section names every header and footer; the others name them too, or (`inherit`) name
+/// none and link to the previous section's.
+fn sections(n: usize, inherit: bool) -> Document {
+    use wordcraft_doc::PartKind::{Footer, Header};
+    let mut d = Document::from_text(&"\n".repeat(n.saturating_sub(1)));
+    let mut part = |k| d.add_part(k, vec![wordcraft_doc::para_block(Paragraph::with_text("Head", CharProps::default()))]);
+    let ids = [part(Header), part(Header), part(Header), part(Footer), part(Footer), part(Footer)];
+    let named = SectionProps {
+        start: SectionStart::Continuous,
+        title_page: true,
+        headers: HeaderSet { default: Some(ids[0]), first: Some(ids[1]), even: Some(ids[2]) },
+        footers: HeaderSet { default: Some(ids[3]), first: Some(ids[4]), even: Some(ids[5]) },
+        ..Default::default()
+    };
+    let linked = SectionProps { headers: HeaderSet::default(), footers: HeaderSet::default(), ..named.clone() };
+    for i in 0..n.saturating_sub(1) {
+        let s = if i == 0 || !inherit { named.clone() } else { linked.clone() };
+        d.para_mut(StoryRef::Body, &Path::top(i)).unwrap().section = Some(Box::new(s));
+    }
+    d.last_section = if inherit { linked } else { named };
+    d
+}
+
+/// Finding 13: each section's headers and footers were found by walking back through the
+/// sections before it, for every section and again for every page. Linked to the previous
+/// section's, they must cost no more to lay out than named in each section.
+#[test]
+fn headers_inherited_through_many_sections_lay_out_in_linear_time() {
+    let l = lay(&sections(200, true), &LayoutOptions::default());
+    assert!(l.pages.iter().all(|p| !p.header.is_empty() && !p.footer.is_empty()), "the header and footer are inherited");
+    let opts = LayoutOptions::default();
+    assert_layout_linear("inherited headers", 1000, |n| sections(n, true), &opts);
+    let steps = |inherit: bool| work::count(|| drop(std::hint::black_box(lay(&sections(1000, inherit), &opts))));
+    let (named, inherited) = (steps(false), steps(true));
+    assert!(inherited <= 2 * named, "1000 inheriting sections took {inherited} steps, named ones {named}");
+}
+
+/// A header of `n` short paragraphs.
+fn tall_header(n: usize) -> (Document, u32) {
+    let mut d = Document::from_text("Body");
+    let paras = (0..n).map(|i| wordcraft_doc::para_block(Paragraph::with_text(&format!("h{i}"), CharProps::default()))).collect();
+    let id = d.add_part(wordcraft_doc::PartKind::Header, paras);
+    d.last_section.headers.default = Some(id);
+    (d, id)
+}
+
+/// Finding 28: selecting across a header looked through the whole page for each paragraph.
+#[test]
+fn selecting_a_long_header_takes_linear_time() {
+    // The header laid out, and the selection from its first paragraph to its last.
+    let laid = |n: usize| {
+        let (d, id) = tall_header(n);
+        let l = lay(&d, &LayoutOptions::default());
+        let ends = (Pos::new(StoryRef::Part(id), Path::top(0), 0), Pos::new(StoryRef::Part(id), Path::top(n - 1), 2));
+        (d, l, ends)
+    };
+    let (d, l, (a, b)) = laid(SCALE * 300);
+    assert!(l.selection_rects(&d, &a, &b, 0).len() >= SCALE * 300, "a rectangle per paragraph");
+    assert_linear_steps("header selection", 300, laid, |(d, l, (a, b))| drop(std::hint::black_box(l.selection_rects(d, a, b, 0))));
+}
+
+/// An endnote of `n` paragraphs, a few lines each, continued over many pages.
+fn long_endnote(n: usize) -> (Document, u32) {
+    let mut d = Document::from_text("Body");
+    // One huge letter to a paragraph, one line high enough for a page, so the pages are as many as
+    // the paragraphs and each paragraph costs next to nothing.
+    let huge = CharProps { size: Some(400.0), ..Default::default() };
+    let paras = (0..n).map(|_| wordcraft_doc::para_block(Paragraph::with_text("n", huge.clone()))).collect();
+    let id = d.add_part(wordcraft_doc::PartKind::Endnote, paras);
+    let r = InlineObject::NoteRef { kind: wordcraft_doc::para::NoteKind::Endnote, id, custom: String::new() };
+    d.insert_object(&Pos::body(0, 4), r, &Default::default()).unwrap();
+    (d, id)
+}
+
+/// #3866: selecting across an endnote over many pages probed the pages from the first for each
+/// paragraph (paragraphs x pages).
+#[test]
+fn selecting_a_long_endnote_takes_linear_time() {
+    let laid = |n: usize| {
+        let (d, id) = long_endnote(n);
+        let l = lay(&d, &LayoutOptions::default());
+        let ends = (Pos::new(StoryRef::Part(id), Path::top(0), 0), Pos::new(StoryRef::Part(id), Path::top(n - 1), 2));
+        (d, l, ends)
+    };
+    let (d, l, (a, b)) = laid(SCALE * 20);
+    assert!(l.pages.len() >= SCALE * 20 / 2, "the endnote runs over many pages: {}", l.pages.len());
+    assert!(l.selection_rects(&d, &a, &b, 0).len() >= SCALE * 20, "a rectangle per paragraph");
+    assert_linear_steps("endnote selection", 20, laid, |(d, l, (a, b))| drop(std::hint::black_box(l.selection_rects(d, a, b, 0))));
+}
+
+/// A table of `n` rows of 60 cells, each row exactly half a point high, so every cell clips its
+/// (empty) paragraph and the whole table fits on the first page.
+fn clipped_table(n: usize) -> Document {
+    let mut t = Table::new(n, 60, 468.0);
+    for row in &mut t.rows {
+        row.props.height = Some(0.5);
+        row.props.height_rule = HeightRule::Exact;
+    }
+    let mut d = Document::from_text("x");
+    d.insert_block(StoryRef::Body, &Path::top(0), Block::Table(t)).unwrap();
+    d
+}
+
+/// Finding 1: drawing a line in a clipped cell looked through every clipped cell on the page.
+#[test]
+fn drawing_many_clipped_cells_takes_linear_time() {
+    let laid = |n: usize| {
+        let d = clipped_table(n);
+        let l = lay(&d, &LayoutOptions::default());
+        (d, l)
+    };
+    let opts = display::DisplayOptions::default();
+    let draw = |(d, l): &(Document, DocLayout)| l.pages.first().map(|p| display::page_display(d, p, &opts)).unwrap_or_default();
+    let clips = draw(&laid(SCALE * 16)).iter().filter(|i| matches!(i, display::Draw::Clip { .. })).count();
+    assert_eq!(clips, SCALE * 16 * 60, "every cell's line is clipped, all on the first page");
+    assert_linear_steps("clipped cells", 16, laid, |dl| drop(std::hint::black_box(draw(dl))));
+}
+
+/// `n` words, each inserted by its own author, at a size that fits them all on the first page.
+fn tracked_words(n: usize) -> Document {
+    let mut d = Document::from_text("x");
+    let p = Paragraph {
+        text: "word ".repeat(n),
+        runs: (0..n).map(|i| Run { len: 5, props: CharProps { ins: u32::try_from(i).ok(), size: Some(1.0), ..Default::default() } }).collect(),
+        ..Paragraph::with_text("", CharProps::default())
+    };
+    d.body = vec![wordcraft_doc::para_block(p)];
+    d.revisions = (0..n).map(|i| wordcraft_doc::Revision::new(wordcraft_doc::RevisionKind::Insert, format!("Author {i}"), "")).collect();
+    d
+}
+
+/// Finding 30 (#3706): every tracked run ranked its author among all the document's revisions.
+#[test]
+fn drawing_tracked_changes_by_many_authors_takes_linear_time() {
+    let laid = |n: usize| {
+        let d = tracked_words(n);
+        let l = lay(&d, &LayoutOptions::default());
+        (d, l)
+    };
+    assert_eq!(laid(SCALE * 1000).1.pages.len(), 1);
+    let opts = display::DisplayOptions { markup: true, ..Default::default() };
+    let draw = |(d, l): &(Document, DocLayout)| l.pages.first().map(|p| display::page_display(d, p, &opts)).unwrap_or_default();
+    // Every run is drawn in its author's colour, so the authors are ranked at least once.
+    assert_linear_steps("tracked runs", 1000, laid, |dl| drop(std::hint::black_box(draw(dl))));
+}
+
+/// Each author keeps the colour of their first revision's place among the authors.
+#[test]
+fn tracked_changes_colour_by_author_in_order_of_appearance() {
+    let mut d = tracked_words(3);
+    // Words 0 and 2 by Ana, word 1 by Ben: Ana first, Ben second.
+    for (r, a) in d.revisions.iter_mut().zip(["Ana", "Ben", "Ana"]) {
+        r.author = a.into();
+    }
+    let l = lay(&d, &LayoutOptions::default());
+    let opts = display::DisplayOptions { markup: true, ..Default::default() };
+    let colours: Vec<_> = display::page_display(&d, &l.pages[0], &opts)
+        .into_iter()
+        .filter_map(|i| if let display::Draw::Glyphs { color, .. } = i { Some(color) } else { None })
+        .collect();
+    let (ana, ben) = (display::revision_color(0), display::revision_color(1));
+    assert_ne!(ana, ben);
+    assert_eq!(colours, [ana, ben, ana]);
+}
+
+/// Finding 30 (#3706): every comment balloon ranked its author among all the comments.
+#[test]
+fn balloons_for_many_authors_lay_out_in_linear_time() {
+    let doc = |n: usize| {
+        let mut d = Document::from_text(&"word ".repeat(n));
+        for i in (0..n).rev() {
+            let part = d.add_part(wordcraft_doc::PartKind::Comment, vec![wordcraft_doc::para_block(Paragraph::with_text("c", CharProps::default()))]);
+            let id = u32::try_from(i).unwrap();
+            d.comments.insert(id, wordcraft_doc::Comment { author: format!("Author {i}"), part, ..Default::default() });
+            let p = CharProps::default();
+            d.insert_object(&Pos::body(0, 5 * i + 4), InlineObject::CommentEnd { id }, &p).unwrap();
+            d.insert_object(&Pos::body(0, 5 * i), InlineObject::CommentStart { id }, &p).unwrap();
+        }
+        d
+    };
+    let opts = LayoutOptions { comment_balloons: true, ..Default::default() };
+    assert_layout_linear("comment balloons", 120, doc, &opts);
+}
+
+/// `n` one-word paragraphs, each inserted by its own author, small enough for one page.
+fn tracked_paras(n: usize) -> Document {
+    let mut d = Document::from_text("x");
+    d.body = (0..n)
+        .map(|i| {
+            let run = Run { len: 1, props: CharProps { ins: u32::try_from(i).ok(), size: Some(1.0), ..Default::default() } };
+            let mut p = Paragraph { runs: vec![run], ..Paragraph::with_text("w", CharProps::default()) };
+            p.mark.size = Some(1.0);
+            p.props.space_before = Some(0.0);
+            p.props.space_after = Some(0.0);
+            wordcraft_doc::para_block(p)
+        })
+        .collect();
+    d.revisions = (0..n).map(|i| wordcraft_doc::Revision::new(wordcraft_doc::RevisionKind::Insert, format!("Author {i}"), "")).collect();
+    d
+}
+
+/// Draws every item of the first page on its own, as the PDF export does.
+fn draw_items((d, l): &(Document, DocLayout), opts: &display::DisplayOptions) {
+    let Some(p) = l.pages.first() else { return };
+    let shown = display::ItemDisplay::new(d, p);
+    for it in p.header.iter().chain(&p.footer).chain(&p.items) {
+        std::hint::black_box(shown.draws(it, opts));
+    }
+}
+
+/// #3866: the PDF export drew each item with a `page_display` of its own, which ranked the revision
+/// authors again for every item with a tracked change (lines x revisions).
+#[test]
+fn drawing_items_one_by_one_ranks_the_authors_once() {
+    let laid = |n: usize| {
+        let d = tracked_paras(n);
+        let l = lay(&d, &LayoutOptions::default());
+        (d, l)
+    };
+    assert_eq!(laid(SCALE * 40).1.pages.len(), 1);
+    let opts = display::DisplayOptions { markup: true, ..Default::default() };
+    assert_linear_steps("items drawn one by one", 40, laid, |dl| draw_items(dl, &opts));
+}
+
+/// #3866: the same for the clipped cells, which each item's `page_display` collected again
+/// (lines x clipped cells).
+#[test]
+fn drawing_items_one_by_one_collects_the_clipped_cells_once() {
+    let laid = |n: usize| {
+        let d = clipped_table(n);
+        let l = lay(&d, &LayoutOptions::default());
+        (d, l)
+    };
+    let opts = display::DisplayOptions::default();
+    assert_linear_steps("clipped cells, items one by one", 16, laid, |dl| draw_items(dl, &opts));
+}
+
+/// #3866: a comment's balloon is in its author's colour, authors numbered in order of appearance.
+#[test]
+fn balloons_are_in_their_authors_colours() {
+    let mut d = Document::from_text("one two three");
+    for (i, a) in ["Ana", "Ben", "Ana"].into_iter().enumerate() {
+        let part = d.add_part(wordcraft_doc::PartKind::Comment, vec![wordcraft_doc::para_block(Paragraph::with_text("c", CharProps::default()))]);
+        let id = u32::try_from(i).unwrap();
+        d.comments.insert(id, wordcraft_doc::Comment { author: a.into(), part, ..Default::default() });
+        let p = CharProps::default();
+        d.insert_object(&Pos::body(0, 0), InlineObject::CommentEnd { id }, &p).unwrap();
+        d.insert_object(&Pos::body(0, 0), InlineObject::CommentStart { id }, &p).unwrap();
+    }
+    let l = lay(&d, &LayoutOptions { comment_balloons: true, ..Default::default() });
+    // Each card's stripe is a 3 pt wide fill in the author's colour; the cards run down the page.
+    let mut stripes: Vec<_> = l.pages[0]
+        .items
+        .iter()
+        .filter_map(|it| match it {
+            Placed::Fill { rect, color } if rect.w == 3.0 => Some((rect.y, *color)),
+            _ => None,
+        })
+        .collect();
+    stripes.sort_by(|a, b| a.0.total_cmp(&b.0));
+    let (ana, ben) = (display::revision_color(0), display::revision_color(1));
+    assert_ne!(ana, ben);
+    assert_eq!(stripes.iter().map(|s| s.1).collect::<Vec<_>>(), [ana, ben, ana]);
+}
+
+/// A page with tracked changes by several authors in its body and header, and exact-height
+/// tables, one nested in a cell of another, whose cells clip their lines.
+fn mixed_page() -> (Document, DocLayout) {
+    let mut d = tracked_paras(6);
+    let mut hp = Paragraph::with_text("head", CharProps::default());
+    hp.runs = vec![Run { len: 4, props: CharProps { ins: Some(2), ..Default::default() } }];
+    let id = d.add_part(wordcraft_doc::PartKind::Header, vec![wordcraft_doc::para_block(hp)]);
+    d.last_section.headers.default = Some(id);
+    let exact = |rows, cols| {
+        let mut t = Table::new(rows, cols, 200.0);
+        for row in &mut t.rows {
+            row.props.height = Some(0.5);
+            row.props.height_rule = HeightRule::Exact;
+        }
+        t
+    };
+    // A cell with text in it holds a nested table.
+    let mut outer = exact(2, 2);
+    outer.rows[0].cells[0].blocks.push(std::sync::Arc::new(Block::Table(exact(2, 2))));
+    d.insert_block(StoryRef::Body, &Path::top(1), Block::Table(outer)).unwrap();
+    d.insert_block(StoryRef::Body, &Path::top(0), Block::Table(exact(2, 3))).unwrap();
+    let l = lay(&d, &LayoutOptions::default());
+    (d, l)
+}
+
+/// What drawing `it` on a page of just it (and every clipped cell, for a line) gave before the
+/// page's authors and clipped cells were shared: a `page_display` of its own.
+fn drawn_alone(d: &Document, page: &Page, it: &Placed, opts: &display::DisplayOptions) -> Vec<display::Draw> {
+    let mut items = vec![it.clone()];
+    if matches!(it, Placed::Lines { .. }) {
+        let cells = page.header.iter().chain(&page.footer).chain(&page.items).filter(|c| matches!(c, Placed::Cell { clip: true, .. }));
+        items.extend(cells.cloned());
+    }
+    let one = Page { w: page.w, h: page.h, section: page.section, number: page.number, items, body: page.body, ..Default::default() };
+    display::page_display(d, &one, opts)
+}
+
+/// #3866: drawing the items of a page one by one with the page's shared authors and clipped
+/// cells gives what a `page_display` of each alone gave.
+#[test]
+fn drawing_items_one_by_one_matches_a_page_display_of_each() {
+    let (d, l) = mixed_page();
+    let page = &l.pages[0];
+    let clipped = page.items.iter().filter(|c| matches!(c, Placed::Cell { clip: true, .. })).count();
+    assert!(clipped >= 8, "clipped cells, nested ones among them: {clipped}");
+    assert!(!page.header.is_empty(), "a header on the page");
+    for markup in [true, false] {
+        let opts = display::DisplayOptions { markup, ..Default::default() };
+        let shown = display::ItemDisplay::new(&d, page);
+        let (mut clips, mut coloured) = (0, 0);
+        for it in page.header.iter().chain(&page.footer).chain(&page.items) {
+            let (got, want) = (shown.draws(it, &opts), drawn_alone(&d, page, it, &opts));
+            assert_eq!(format!("{got:?}"), format!("{want:?}"), "markup {markup}: {it:?}");
+            clips += got.iter().filter(|x| matches!(x, display::Draw::Clip { .. })).count();
+            coloured += got.iter().filter(|x| matches!(x, display::Draw::Glyphs { color, .. } if *color != Rgb(0, 0, 0))).count();
+        }
+        assert!(clips > 0, "some lines are clipped");
+        assert!(!markup || coloured > 0, "some tracked text is in an author's colour");
+    }
+}
+
+/// #3866: a header paragraph on the hinted page is found there, without a walk of every page of a
+/// long document to find the first page that shows it.
+#[test]
+fn selecting_a_header_on_the_hinted_page_does_not_walk_every_page() {
+    let laid = |n: usize| {
+        let mut d = Document::from_text("n");
+        let huge = CharProps { size: Some(400.0), ..Default::default() };
+        d.body = (0..n).map(|_| wordcraft_doc::para_block(Paragraph::with_text("n", huge.clone()))).collect();
+        let id = d.add_part(wordcraft_doc::PartKind::Header, vec![wordcraft_doc::para_block(Paragraph::with_text("head", CharProps::default()))]);
+        d.last_section.headers.default = Some(id);
+        let l = lay(&d, &LayoutOptions::default());
+        let ends = (Pos::new(StoryRef::Part(id), Path::top(0), 0), Pos::new(StoryRef::Part(id), Path::top(0), 2));
+        (d, l, ends)
+    };
+    let steps = |n: usize| {
+        let (d, l, (a, b)) = laid(n);
+        assert!(l.pages.len() >= n, "a page to each paragraph: {}", l.pages.len());
+        work::count(|| drop(std::hint::black_box(l.selection_rects(&d, &a, &b, 0))))
+    };
+    let (small, big) = (steps(20), steps(160));
+    eprintln!("hinted header: {small} steps for 20 pages, {big} for 160");
+    assert!(small > 0 && big <= small + 8, "the pages aren't walked: {small} → {big}");
+}
diff --git a/crates/ui-egui/src/proofing_pane.rs b/crates/ui-egui/src/proofing_pane.rs
index 2e82349ffb..8eb37ef32e 100644
--- a/crates/ui-egui/src/proofing_pane.rs
+++ b/crates/ui-egui/src/proofing_pane.rs
@@ -103,7 +103,9 @@ fn action_link(ui: &mut Ui, text: &str) -> bool {
 
 fn context(ui: &mut Ui, app: &mut WordApp, form: &mut SpellingForm, spelling: bool) {
     let t = Tokens::get(ui.ctx());
+    let width = ui.available_width();
     egui::Frame::NONE.fill(t.input).stroke(Stroke::new(1.0, t.input_border)).corner_radius(2.0).inner_margin(8).show(ui, |ui| {
+        ui.set_min_width((width - 18.0).max(0.0));
         ui.horizontal(|ui| {
             let mut job = egui::text::LayoutJob::default();
             let format = egui::TextFormat { font_id: regular(12.0), color: t.text, ..Default::default() };
@@ -157,56 +159,58 @@ fn body(app: &mut WordApp, ui: &mut Ui, form: &mut SpellingForm) {
     } else {
         egui::Frame::NONE.fill(t.input).stroke(Stroke::new(1.0, t.input_border)).corner_radius(2.0).show(ui, |ui| {
             ui.spacing_mut().item_spacing.y = 0.0;
-            for (index, suggestion) in suggestions.iter().enumerate() {
-                ui.push_id(index, |ui| {
-                    if index > 0 {
-                        ui.separator();
-                    }
-                    ui.horizontal(|ui| {
-                        let width = (ui.available_width() - 34.0).max(20.0);
-                        let (rect, response) = ui.allocate_exact_size(vec2(width, 64.0), Sense::click());
-                        response.widget_info(|| egui::WidgetInfo::labeled(egui::Role::Button, true, suggestion));
-                        if response.hovered() {
-                            ui.painter().rect_filled(rect, 0.0, t.hover);
+            egui::ScrollArea::vertical().id_salt("proofing_suggestions").max_height(210.0).show(ui, |ui| {
+                for (index, suggestion) in suggestions.iter().enumerate() {
+                    ui.push_id(index, |ui| {
+                        if index > 0 {
+                            ui.separator();
                         }
-                        ui.painter().with_clip_rect(rect.shrink2(vec2(10.0, 0.0))).text(
-                            rect.left_center() + vec2(12.0, 0.0),
-                            Align2::LEFT_CENTER,
-                            suggestion,
-                            semibold(12.5),
-                            t.text,
-                        );
-                        if response.clicked() {
-                            change = Some(suggestion.clone());
-                        }
-                        ui.menu_button("⌄", |ui| {
-                            if ui.button(tl!("Change…")).clicked() {
-                                form.replacement.clone_from(suggestion);
-                                form.manual = true;
-                                ui.close();
+                        ui.horizontal(|ui| {
+                            let width = (ui.available_width() - 34.0).max(20.0);
+                            let (rect, response) = ui.allocate_exact_size(vec2(width, 64.0), Sense::click());
+                            response.widget_info(|| egui::WidgetInfo::labeled(egui::Role::Button, true, suggestion));
+                            if response.hovered() {
+                                ui.painter().rect_filled(rect, 0.0, t.hover);
                             }
-                            if spelling && ui.button(tl!("Add to AutoCorrect")).clicked() {
-                                let word = form.issue.get("text").and_then(Value::as_str).unwrap_or("");
-                                let params = json!({"add": {"from": word, "to": suggestion}});
-                                if form.current(app) {
-                                    if let Err(e) = app.run("tools.autocorrect", params) {
-                                        form.message = e;
-                                    }
-                                } else {
-                                    form.message = tl!("The document or selection changed. Check again to continue.").into();
+                            ui.painter().with_clip_rect(rect.shrink2(vec2(10.0, 0.0))).text(
+                                rect.left_center() + vec2(12.0, 0.0),
+                                Align2::LEFT_CENTER,
+                                suggestion,
+                                semibold(12.5),
+                                t.text,
+                            );
+                            if response.clicked() {
+                                change = Some(suggestion.clone());
+                            }
+                            ui.menu_button("⌄", |ui| {
+                                if ui.button(tl!("Change…")).clicked() {
+                                    form.replacement.clone_from(suggestion);
+                                    form.manual = true;
+                                    ui.close();
                                 }
-                                ui.close();
-                            }
-                            if ui.button(tl!("AutoCorrect Options…")).clicked() {
-                                let _ = app.run("tools.autocorrect", json!({}));
-                                ui.close();
-                            }
-                        })
-                        .response
-                        .on_hover_text(tl!("More options"));
+                                if spelling && ui.button(tl!("Add to AutoCorrect")).clicked() {
+                                    let word = form.issue.get("text").and_then(Value::as_str).unwrap_or("");
+                                    let params = json!({"add": {"from": word, "to": suggestion}});
+                                    if form.current(app) {
+                                        if let Err(e) = app.run("tools.autocorrect", params) {
+                                            form.message = e;
+                                        }
+                                    } else {
+                                        form.message = tl!("The document or selection changed. Check again to continue.").into();
+                                    }
+                                    ui.close();
+                                }
+                                if ui.button(tl!("AutoCorrect Options…")).clicked() {
+                                    let _ = app.run("tools.autocorrect", json!({}));
+                                    ui.close();
+                                }
+                            })
+                            .response
+                            .on_hover_text(tl!("More options"));
+                        });
                     });
-                });
-            }
+                }
+            });
         });
     }
     if let Some(replacement) = change {
@@ -276,9 +280,10 @@ mod tests {
     fn spelling_review_dialog_changes_a_suggestion_and_undo_restores_the_word() {
         let mut h = harness("The quick brwn fox.");
         assert!(!h.state().canvas.context_menu_open);
-        h.get_by_label("brown").click();
+        let replacement = form(h.state()).issue["suggestions"][0].as_str().unwrap().to_string();
+        h.get_by_label(&replacement).click();
         h.run_steps(3);
-        assert_eq!(h.state().session.doc.plain_text(StoryRef::Body), "The quick brown fox.");
+        assert_eq!(h.state().session.doc.plain_text(StoryRef::Body), format!("The quick {replacement} fox."));
         assert!(form(h.state()).done());
         h.get_by_label("Close").click();
         h.run_steps(2);
diff --git a/docs/gaps.md b/docs/gaps.md
index 3fe0a67e25..1e1616b0be 100644
--- a/docs/gaps.md
+++ b/docs/gaps.md
@@ -1,6 +1,6 @@
 # Where WordCraft falls short of Word
 
-> **Last reviewed:** 2026-10-10 · **Last updated:** 2026-10-26 · **Change:** minor (Word-observed spelling and grammar task pane); previously trivial (View windows: several open documents and Switch Windows in the engine; previously trivial: explicit documents keep the editor when recovery discovery finishes; readable recovery controls; previously trivial: text mini toolbar available with the right-click menu, #2959; previously trivial: personal templates in File › New and Save as Word Template, #2852; previously trivial: tracked table/row/cell/section property changes record in WordCraft, narrowing gap 5; previously trivial: a document with many content controls saves in the time the controls take, #13; previously trivial: Format Page Numbers dialog carries Word's number formats and Continue from previous section / Start at, #1113; previously trivial: centred list labels after leading page breaks, #2964; previously trivial: fixed font inputs in four layout controls; previously trivial: a right, centre or decimal tab whose text doesn't fit, or a left tab past the right indent, goes to the next line with its text, #1840; previously trivial: Bullets and Numbering toggle off style-inherited lists at their effective level, including basedOn chains and numbered ListParagraph styles; other paragraphs and list definitions stay unchanged (related to #3459); previously trivial: Russian sorting keeps ё with е and recognises decomposed ё/й; previously trivial: #8: English dialects — en-GB, en-CA, en-AU… flag each other's spellings, #1281; previously trivial: #1: shape gradients and transparency, #1500; previously trivial: text typed into a content control takes the control's formatting; localized placeholder styles recognised; previously trivial: forms protection keeps its content controls: no inserting, Properties or Remove Content Control; previously trivial: clearing a no-match font query keeps the recent heading visible, #2068; previously trivial: line breaking: a slash opening a word travels whole to the next line, #2963; previously trivial: recipient list search and merged-only view, #1576; previously trivial: #2 impact restated: only ink rendering and OLE editing remain; previously trivial: #2 narrowed: native ink nested in groups and drawing canvases kept on save; previously trivial: opening a DOCX no longer copies its pictures; previously trivial: RTF export writes sections (gap 19); previously trivial: ODT export writes sections (gap 19); previously trivial: automatic Asian/Latin and Asian/number spacing laid out, #2358; previously trivial: hint-reliant CJK outlines; previously trivial: numbered headings, #1793; previously trivial: legacy outline, shadow, emboss and imprint text effects drawn, #2534; previously trivial: #8 narrowed: Indonesian proofing from the installed Hunspell dictionary, #498; previously trivial: glossary/building blocks closed; previously trivial: Split Cells and Convert Text to Table follow the Word check, #2592; previously trivial: Language dialog keeps inherited proofing language and no-proof choices (#2717); previously trivial: #29: a copied equation also goes in the MathML clipboard formats, #1297; previously trivial: #24: the Spike, Ctrl+F3 and Ctrl+Shift+F3; previously trivial: VML freeforms read and kept on save; previously trivial: consistent preferred cell widths; previously trivial: multi-paragraph field instructions no longer add blank lines; previously trivial: page-break-only list paragraphs hide their labels; previously trivial: floating-table overlap ignores empty line-break lines; previously trivial: copies keep their formatting on the clipboard as HTML, #1523; previously trivial: sample-text formulas on Enter, #1067; previously trivial: #29: copied equations as MathML, OMML open as #1297, #816; previously trivial: the Font list no longer keeps every previewed font in memory, #848; previously trivial: table column and row markers on the rulers, #700; previously trivial: table borders and the resize handle drag on the page, #217; previously trivial: formatting revisions landed, #41; previously trivial: Draw Table and Eraser landed, #303; previously minor: beta distance restated: ~15 points, ~150–230 h; previously: first version; every known shortfall from the 2026-10-10 re-measure, ranked) · **Target:** Microsoft Word (Microsoft 365) for Mac 16.113.4
+> **Last reviewed:** 2026-10-10 · **Last updated:** 2026-10-26 · **Change:** minor (Word-observed spelling and grammar task pane; rendered comparison adjusts context width and suggestion scrolling); previously trivial (View windows: several open documents and Switch Windows in the engine; previously trivial: explicit documents keep the editor when recovery discovery finishes; readable recovery controls; previously trivial: text mini toolbar available with the right-click menu, #2959; previously trivial: personal templates in File › New and Save as Word Template, #2852; previously trivial: tracked table/row/cell/section property changes record in WordCraft, narrowing gap 5; previously trivial: a document with many content controls saves in the time the controls take, #13; previously trivial: Format Page Numbers dialog carries Word's number formats and Continue from previous section / Start at, #1113; previously trivial: centred list labels after leading page breaks, #2964; previously trivial: fixed font inputs in four layout controls; previously trivial: a right, centre or decimal tab whose text doesn't fit, or a left tab past the right indent, goes to the next line with its text, #1840; previously trivial: Bullets and Numbering toggle off style-inherited lists at their effective level, including basedOn chains and numbered ListParagraph styles; other paragraphs and list definitions stay unchanged (related to #3459); previously trivial: Russian sorting keeps ё with е and recognises decomposed ё/й; previously trivial: #8: English dialects — en-GB, en-CA, en-AU… flag each other's spellings, #1281; previously trivial: #1: shape gradients and transparency, #1500; previously trivial: text typed into a content control takes the control's formatting; localized placeholder styles recognised; previously trivial: forms protection keeps its content controls: no inserting, Properties or Remove Content Control; previously trivial: clearing a no-match font query keeps the recent heading visible, #2068; previously trivial: line breaking: a slash opening a word travels whole to the next line, #2963; previously trivial: recipient list search and merged-only view, #1576; previously trivial: #2 impact restated: only ink rendering and OLE editing remain; previously trivial: #2 narrowed: native ink nested in groups and drawing canvases kept on save; previously trivial: opening a DOCX no longer copies its pictures; previously trivial: RTF export writes sections (gap 19); previously trivial: ODT export writes sections (gap 19); previously trivial: automatic Asian/Latin and Asian/number spacing laid out, #2358; previously trivial: hint-reliant CJK outlines; previously trivial: numbered headings, #1793; previously trivial: legacy outline, shadow, emboss and imprint text effects drawn, #2534; previously trivial: #8 narrowed: Indonesian proofing from the installed Hunspell dictionary, #498; previously trivial: glossary/building blocks closed; previously trivial: Split Cells and Convert Text to Table follow the Word check, #2592; previously trivial: Language dialog keeps inherited proofing language and no-proof choices (#2717); previously trivial: #29: a copied equation also goes in the MathML clipboard formats, #1297; previously trivial: #24: the Spike, Ctrl+F3 and Ctrl+Shift+F3; previously trivial: VML freeforms read and kept on save; previously trivial: consistent preferred cell widths; previously trivial: multi-paragraph field instructions no longer add blank lines; previously trivial: page-break-only list paragraphs hide their labels; previously trivial: floating-table overlap ignores empty line-break lines; previously trivial: copies keep their formatting on the clipboard as HTML, #1523; previously trivial: sample-text formulas on Enter, #1067; previously trivial: #29: copied equations as MathML, OMML open as #1297, #816; previously trivial: the Font list no longer keeps every previewed font in memory, #848; previously trivial: table column and row markers on the rulers, #700; previously trivial: table borders and the resize handle drag on the page, #217; previously trivial: formatting revisions landed, #41; previously trivial: Draw Table and Eraser landed, #303; previously minor: beta distance restated: ~15 points, ~150–230 h; previously: first version; every known shortfall from the 2026-10-10 re-measure, ranked) · **Target:** Microsoft Word (Microsoft 365) for Mac 16.113.4
 > **Highlight update:** 2026-10-25 · Highlight shortcut toggles the last chosen colour off when the whole selection has it; explicit colour commands remain setters (#4085). Readiness estimates unchanged.
 > **Last reviewed:** 2026-10-10 · **Last updated:** 2026-10-25 · **Change:** trivial (#7: Custom Document Properties dialog, #2982; previously trivial: egui 0.37 migration: the interface catalogs stay shared and pinned by `craft-i18n.rev` at `9205108cfdced5177706264038848b68b2422d2b` (27 languages, English fallback); input-method handling has new regressions but managed CI passed, and native IME acceptance plus native-speaker catalog review remain open; previously trivial: Markdown code spans keep line-broken text literal, #3738; previously trivial: small follow-ups from the field, table and AutoFormat batch, #4232; previously trivial: highlight target includes selected paragraph marks, #4085; previously trivial: full-target highlight check beyond 10,000 runs, #4085; previously trivial: Exact-spacing table contact uses the specified line height rather than paragraph-mark metrics (#3977); previously trivial: cu20we: restrict pre-spacing float origins to paragraph anchors; document cap helpers and regressions; previously trivial: a command that changes nothing is not an edit: no undo step, no unsaved changes, no relayout, and the redo stack survives it; previously minor: #8 narrowed: Spanish proofing (Spain, Mexico, Latin America, Uruguay) from the installed Hunspell dictionaries, #3360, #3553; previously trivial: gap 10: group connector rerouting preserves transformed free and unresolved endpoints under nonuniform scaling; obstacle routing still missing; readiness estimates unchanged; previously trivial: a word with no break opportunity in it no longer makes the layout quadratic, #3412; previously trivial: the ranked gap list held two rows each for #19, #20 and #21; each gap appears once now; a document with many relationships opens in the time its part takes, #3411; previously trivial: the file commands that change the document are checked on a protected document, the protection of a protected document needs an explicit stop, the session author can't change through `file.setAuthor` under protection (the CLI's `--author` uses the same protection check), and the post-check compares the settings and the metadata; previously trivial: explicit documents keep the editor when recovery discovery finishes; readable recovery controls; previously trivial: text mini toolbar available with the right-click menu, #2959; previously trivial: personal templates in File › New and Save as Word Template, #2852; previously trivial: tracked table/row/cell/section property changes record in WordCraft, narrowing gap 5; previously trivial: a document with many content controls saves in the time the controls take, #13; previously trivial: Format Page Numbers dialog carries Word's number formats and Continue from previous section / Start at, #1113; previously trivial: centred list labels after leading page breaks, #2964; previously trivial: fixed font inputs in four layout controls; previously trivial: a right, centre or decimal tab whose text doesn't fit, or a left tab past the right indent, goes to the next line with its text, #1840; previously trivial: Bullets and Numbering toggle off style-inherited lists at their effective level, including basedOn chains and numbered ListParagraph styles; other paragraphs and list definitions stay unchanged (related to #3459); previously trivial: Russian sorting keeps ё with е and recognises decomposed ё/й; previously trivial: #8: English dialects — en-GB, en-CA, en-AU… flag each other's spellings, #1281; previously trivial: #1: shape gradients and transparency, #1500; previously trivial: text typed into a content control takes the control's formatting; localized placeholder styles recognised; previously trivial: forms protection keeps its content controls: no inserting, Properties or Remove Content Control; previously trivial: clearing a no-match font query keeps the recent heading visible, #2068; previously trivial: line breaking: a slash opening a word travels whole to the next line, #2963; previously trivial: recipient list search and merged-only view, #1576; previously trivial: #2 impact restated: only ink rendering and OLE editing remain; previously trivial: #2 narrowed: native ink nested in groups and drawing canvases kept on save; previously trivial: opening a DOCX no longer copies its pictures; previously trivial: RTF export writes sections (gap 19); previously trivial: ODT export writes sections (gap 19); previously trivial: automatic Asian/Latin and Asian/number spacing laid out, #2358; previously trivial: hint-reliant CJK outlines; previously trivial: numbered headings, #1793; previously trivial: legacy outline, shadow, emboss and imprint text effects drawn, #2534; previously trivial: #8 narrowed: Indonesian proofing from the installed Hunspell dictionary, #498; previously trivial: glossary/building blocks closed; previously trivial: Split Cells and Convert Text to Table follow the Word check, #2592; previously trivial: Language dialog keeps inherited proofing language and no-proof choices (#2717); previously trivial: #29: a copied equation also goes in the MathML clipboard formats, #1297; previously trivial: #24: the Spike, Ctrl+F3 and Ctrl+Shift+F3; previously trivial: VML freeforms read and kept on save; previously trivial: consistent preferred cell widths; previously trivial: multi-paragraph field instructions no longer add blank lines; previously trivial: page-break-only list paragraphs hide their labels; previously trivial: floating-table overlap ignores empty line-break lines; previously trivial: copies keep their formatting on the clipboard as HTML, #1523; previously trivial: sample-text formulas on Enter, #1067; previously trivial: #29: copied equations as MathML, OMML open as #1297, #816; previously trivial: the Font list no longer keeps every previewed font in memory, #848; previously trivial: table column and row markers on the rulers, #700; previously trivial: table borders and the resize handle drag on the page, #217; previously trivial: formatting revisions landed, #41; previously trivial: Draw Table and Eraser landed, #303; previously minor: beta distance restated: ~15 points, ~150–230 h; previously: first version; every known shortfall from the 2026-10-10 re-measure, ranked) · **Target:** Microsoft Word (Microsoft 365) for Mac 16.113.4
 
@@ -150,7 +150,7 @@ Small follow-ups from the 2026-10-25 field, table and AutoFormat batch (#4232):
 
 | Date | Change | Summary |
 |---|---|---|
-| 2026-10-26 | minor | Word-observed Proofing task pane uses shared review commands; clicking a suggestion corrects and advances; context, suggestion cards and ignore/dictionary links follow the Windows reference; readiness estimates unchanged |
+| 2026-10-26 | minor | Word-observed Proofing task pane uses shared review commands; clicking a suggestion corrects and advances; context, suggestion cards and ignore/dictionary links follow the Windows reference; inspected previews prompted a full-width context and scrollable three-card list; readiness estimates unchanged |
 | 2026-10-22 | trivial | View windows: several open documents and Switch Windows in the engine |
 | 2026-10-25 | trivial | egui 0.37 migration: interface catalogs remain pinned by `craft-i18n.rev` (`9205108…`; 27 languages, English fallback); IME surrounding deletions and composition resets are implemented with regressions, but managed CI passed; native IME acceptance and native-speaker catalog review remain open; no gap or readiness change |
 | 2026-10-17 | trivial | Gap 9 narrowed: Standard (Word 2007, AES-ECB) encrypted packages open with a password under any Word extension; AES headers in Word 97-2003 files are outside the public spec and refused with a clear message; estimate 3–5 → 0 h, since the remaining AES-in-`.doc` case is refused by design |
diff --git a/docs/spelling-review.md b/docs/spelling-review.md
index 5c5668f65e..c9ed3fe1e9 100644
--- a/docs/spelling-review.md
+++ b/docs/spelling-review.md
@@ -1,6 +1,6 @@
 # Spelling and grammar task pane
 
-> **Last updated:** 2026-10-26 · **Status:** implementation proposed; hosted checks and rendered comparison remain required before integration.
+> **Last updated:** 2026-10-26 · **Status:** first hosted gate and three-platform UI checks passed; rendered comparison found layout gaps now being corrected and revalidated.
 
 ## Word reference
 
@@ -25,9 +25,12 @@ This work is independent of French contribution #3185. It consumes language-awar
 - Offscreen: the ignored spelling_review_dialog_preview test writes light/dark PNGs for comparison with the recorded Word arrangement.
 - Required gate: cargo xtask ci. Cargo is unavailable on the preparation PC; hosted validation is required, and test definitions alone do not establish success.
 
+The first light/dark artifacts at `20205a5` were inspected: the sentence frame shrank to its text and the unbounded suggestion list pushed actions below the viewport. The revised layout fills the pane width and scrolls the suggestion list after approximately three cards, keeping the actions below it visible. A new preview and hosted gate must validate this revision; exact pixel parity is not claimed.
+
 ## Revision history
 
 | Date | Change | Summary |
 |---|---|---|
+| 2026-10-26 | minor | Inspect first successful light/dark artifacts; fill the sentence frame and bound suggestion-list height, retaining all suggestions through scrolling |
 | 2026-10-26 | minor | Actual Word for Windows observation replaces the modal proposal with a right-side Proofing pane, sentence context and directly clickable suggestion cards |
 | 2026-10-26 | minor | Separate language-independent correction-form proposal and verification scope |
diff --git a/docs/ui-parity.md b/docs/ui-parity.md
index 7c7a29fa89..1ff1cb2820 100644
--- a/docs/ui-parity.md
+++ b/docs/ui-parity.md
@@ -1,6 +1,6 @@
 # UI parity with Microsoft Word
 
-> **Last reviewed:** 2026-10-10 · **Last updated:** 2026-10-26 · **Change:** minor (Word-observed spelling and grammar task pane); previously trivial (Custom Document Properties dialog from File › Info › Properties › Advanced Properties…, #2982; previously trivial: View › Window › New Window opens another window on the document, each with its own caret and view; previously trivial: mail merge: First Record, Last Record and a record number box in Preview Results; Finish & Merge asks which records to merge or print, #3028; previously trivial: selection bar for right-to-left paragraphs and table rows; previously trivial: read only and comments-only protection grey out edits; previously trivial: the Font dialog previews "NaN" or "inf" in the Size box at 12 pt, #3663; previously trivial: File › Options disables the User name field while Restrict Editing is active; previously trivial: while editing a header or footer, a click in the other one edits it there without scrolling; previously trivial: explicit documents keep the editor when recovery discovery finishes; readable recovery controls; previously trivial: Insert Table of Figures dialog: any caption label, #3013; previously trivial: Home › Underline drop-down shows its lines, #2738; previously trivial: the text context menu includes the formatting mini toolbar, #2959; previously trivial: personal templates in File › New and Save as Word Template, #2852; previously trivial: the scrollbar page tip stays on one line as the page number grows, #3341; previously trivial: File › Home and New: templates and recent documents are buttons named for screen readers, #3176; previously trivial: forms protection greys out the Developer tab's control buttons and Properties; previously trivial: AltGr doesn't open KeyTips, #2388; previously trivial: closing the header or footer puts the caret back where it was in the body, #3331; previously trivial: Format Page Numbers dialog: number format and Continue from previous section / Start at, #1113; previously trivial: inline pictures drag to a dashed insertion cursor and stay inline, #2233, #2234; previously trivial: Save Changes prompt: a text file saved over itself closes, #2376; previously trivial: the equation being edited is framed as in Word: an outline as tall as its line, a grip, an options strip that opens its menu, and its current argument shaded; previously trivial: the table handles show while the caret is in the table, #2428; previously trivial: legacy menu keys, #1697; previously trivial: Shape Fill › Gradient and the Format Shape pane, #1500; previously trivial: Focus fills the screen, and Full Screen View shows the pages alone, #1678; previously trivial: the text pointer over the page is drawn black or white on Windows, #1746; previously trivial: a click in the header/footer band from the body no longer scrolls to the body text, #2103; previously trivial: File › Recover follows the app theme, #3243; previously trivial: long navigation headings wrap onto further lines within the pane, #3015; previously trivial: clearing a no-match font query keeps the recent heading visible, #2068; previously trivial: dragging the vertical scrollbar names the page at the top of the window, #2551; previously trivial: Add Font imports every selected font file, #1789); previously trivial (File › Close keeps the window, #1712; previously trivial: the Spike: Ctrl+F3 and Ctrl+Shift+F3; previously trivial: Ctrl+wheel zoom no longer scrolls the document, #1743; previously trivial: a mouse drag on a table leaves the view where it is, #1738; previously trivial: numbered headings, #1793; previously trivial: Navigation Find exposes Results, #2096; previously trivial: the tab strip never draws tabs over Comments / Editing / Share, #2026; previously trivial: Columns on selected text, #2024; previously trivial: Different First Page headers reachable from page 1, #2826; previously trivial: a copied equation also goes in the clipboard's MathML formats, #1297; previously trivial: Read Mode keeps the keyboard, shows whole columns and keeps text clear of the page-turn bar, #1772); previously trivial: font list entries of tall-ascent fonts sit in their row, not cut off, #2570); previously trivial: Split Cells and Convert Text to Table dialogs follow Word's merged-cell limits and Initial column width, #2592; previously trivial: a new source's Tag is made like Word's, three letters of the author and two digits of the year with a number added when taken, and an edit keeps the Tag, #2094; previously trivial: Web Layout text fills the window width, #1876; previously trivial: Language dialog keeps inherited proofing language and no-proof choices (#2717)); previously trivial: comment balloons readable in the dark theme, #2045; previously trivial: Recently Used Fonts section at the top of the font list, #2068; previously trivial: web preferences kept between visits, #2132; previously trivial: dialog close control: a Windows-style box at the title bar's right end, the whole box clickable, red on hover, #1885); previously trivial (Modify Table Style formats every table style part, #714); previously trivial: a click on the ribbon chrome hands the keyboard to the page in the same frame, #1093 follow-up; previously trivial: Page Setup vertical alignment, #1320; previously trivial: the app opens on the Home tab every launch, as in Word; previously trivial: no document behind the Start screen, #1129; previously trivial: equation pictures share a few textures, #1002; previously trivial: selection bar in the left margin, #856; previously trivial: table column and row markers on the rulers, #700; previously trivial: table borders and the resize handle drag on the page, #217; previously major: first version; ribbon, dialogs, shortcuts and on-canvas interaction measured from `crates/ui-egui` and the command registry) · **Target:** Microsoft Word (Microsoft 365) for Mac 16.113.4
+> **Last reviewed:** 2026-10-10 · **Last updated:** 2026-10-26 · **Change:** minor (Word-observed spelling and grammar task pane; rendered comparison adjusts context width and suggestion scrolling); previously trivial (Custom Document Properties dialog from File › Info › Properties › Advanced Properties…, #2982; previously trivial: View › Window › New Window opens another window on the document, each with its own caret and view; previously trivial: mail merge: First Record, Last Record and a record number box in Preview Results; Finish & Merge asks which records to merge or print, #3028; previously trivial: selection bar for right-to-left paragraphs and table rows; previously trivial: read only and comments-only protection grey out edits; previously trivial: the Font dialog previews "NaN" or "inf" in the Size box at 12 pt, #3663; previously trivial: File › Options disables the User name field while Restrict Editing is active; previously trivial: while editing a header or footer, a click in the other one edits it there without scrolling; previously trivial: explicit documents keep the editor when recovery discovery finishes; readable recovery controls; previously trivial: Insert Table of Figures dialog: any caption label, #3013; previously trivial: Home › Underline drop-down shows its lines, #2738; previously trivial: the text context menu includes the formatting mini toolbar, #2959; previously trivial: personal templates in File › New and Save as Word Template, #2852; previously trivial: the scrollbar page tip stays on one line as the page number grows, #3341; previously trivial: File › Home and New: templates and recent documents are buttons named for screen readers, #3176; previously trivial: forms protection greys out the Developer tab's control buttons and Properties; previously trivial: AltGr doesn't open KeyTips, #2388; previously trivial: closing the header or footer puts the caret back where it was in the body, #3331; previously trivial: Format Page Numbers dialog: number format and Continue from previous section / Start at, #1113; previously trivial: inline pictures drag to a dashed insertion cursor and stay inline, #2233, #2234; previously trivial: Save Changes prompt: a text file saved over itself closes, #2376; previously trivial: the equation being edited is framed as in Word: an outline as tall as its line, a grip, an options strip that opens its menu, and its current argument shaded; previously trivial: the table handles show while the caret is in the table, #2428; previously trivial: legacy menu keys, #1697; previously trivial: Shape Fill › Gradient and the Format Shape pane, #1500; previously trivial: Focus fills the screen, and Full Screen View shows the pages alone, #1678; previously trivial: the text pointer over the page is drawn black or white on Windows, #1746; previously trivial: a click in the header/footer band from the body no longer scrolls to the body text, #2103; previously trivial: File › Recover follows the app theme, #3243; previously trivial: long navigation headings wrap onto further lines within the pane, #3015; previously trivial: clearing a no-match font query keeps the recent heading visible, #2068; previously trivial: dragging the vertical scrollbar names the page at the top of the window, #2551; previously trivial: Add Font imports every selected font file, #1789); previously trivial (File › Close keeps the window, #1712; previously trivial: the Spike: Ctrl+F3 and Ctrl+Shift+F3; previously trivial: Ctrl+wheel zoom no longer scrolls the document, #1743; previously trivial: a mouse drag on a table leaves the view where it is, #1738; previously trivial: numbered headings, #1793; previously trivial: Navigation Find exposes Results, #2096; previously trivial: the tab strip never draws tabs over Comments / Editing / Share, #2026; previously trivial: Columns on selected text, #2024; previously trivial: Different First Page headers reachable from page 1, #2826; previously trivial: a copied equation also goes in the clipboard's MathML formats, #1297; previously trivial: Read Mode keeps the keyboard, shows whole columns and keeps text clear of the page-turn bar, #1772); previously trivial: font list entries of tall-ascent fonts sit in their row, not cut off, #2570); previously trivial: Split Cells and Convert Text to Table dialogs follow Word's merged-cell limits and Initial column width, #2592; previously trivial: a new source's Tag is made like Word's, three letters of the author and two digits of the year with a number added when taken, and an edit keeps the Tag, #2094; previously trivial: Web Layout text fills the window width, #1876; previously trivial: Language dialog keeps inherited proofing language and no-proof choices (#2717)); previously trivial: comment balloons readable in the dark theme, #2045; previously trivial: Recently Used Fonts section at the top of the font list, #2068; previously trivial: web preferences kept between visits, #2132; previously trivial: dialog close control: a Windows-style box at the title bar's right end, the whole box clickable, red on hover, #1885); previously trivial (Modify Table Style formats every table style part, #714); previously trivial: a click on the ribbon chrome hands the keyboard to the page in the same frame, #1093 follow-up; previously trivial: Page Setup vertical alignment, #1320; previously trivial: the app opens on the Home tab every launch, as in Word; previously trivial: no document behind the Start screen, #1129; previously trivial: equation pictures share a few textures, #1002; previously trivial: selection bar in the left margin, #856; previously trivial: table column and row markers on the rulers, #700; previously trivial: table borders and the resize handle drag on the page, #217; previously major: first version; ribbon, dialogs, shortcuts and on-canvas interaction measured from `crates/ui-egui` and the command registry) · **Target:** Microsoft Word (Microsoft 365) for Mac 16.113.4
 
 Recovery discovery no longer interrupts an explicitly created or opened document. Older copies remain in File › Recover, whose buttons use the interface palette. See [local recovery](recovery.md).
 
@@ -88,7 +88,7 @@ Right-click and Shift+F10 keep the compact suggestions menu. The pane is shared
 
 | Date | Change | Summary |
 |---|---|---|
-| 2026-10-26 | minor | Word-observed Proofing task pane uses shared review commands; clicking a suggestion corrects and advances; context, suggestion cards and ignore/dictionary links follow the Windows reference; readiness estimates unchanged |
+| 2026-10-26 | minor | Word-observed Proofing task pane uses shared review commands; clicking a suggestion corrects and advances; context, suggestion cards and ignore/dictionary links follow the Windows reference; inspected previews prompted a full-width context and scrollable three-card list; readiness estimates unchanged |
 | 2026-10-22 | trivial | View › Window › New Window opens another window on the document, focused and cascaded; two windows on one document are titled `Name:1` and `Name:2` (one window: the plain name). Each window keeps its own selection, scroll position, zoom, view mode, ruler and panes; the text, undo history, unsaved state and file are the document's, so an edit or Undo in either window shows in both, and a caret in text the other window deleted moves to the nearest place left. Closing one of a document's windows asks nothing; closing its last asks about unsaved changes, and quitting asks once per document. Switch Windows lists every window. The web app keeps one window |
 | 2026-10-22 | trivial | One native window per open document on the desktop (the web app keeps one window): New and Open open the document in a window of its own, focused and cascaded from the last; Open replaces an untouched blank document in its window and brings an already-open file's window forward; each window keeps its own ribbon tab, File page, dialogs, panes and composition; View › Window › Switch Windows lists the windows and brings the chosen one forward; File › Close and the window's close button close the window (asking about unsaved changes) and the window focused before comes forward, while the last window stays open with no document; quitting asks Save / Don't Save / Cancel about each document in its own window |
 | 2026-10-22 | trivial | Several open documents in one window (one window per document comes next): View › Window › Switch Windows lists the open documents, the shown one marked and unsaved ones dotted, and shows the one chosen, with its own scroll position, zoom, comment drafts and AutoSave file; File › New, Open, Envelopes, Labels, Finish & Merge and personal templates open beside the open documents without asking about unsaved changes; File › Close shows the next open document; the window's close button asks Save / Don't Save / Cancel about each document with unsaved changes, showing it, and Cancel keeps the app open. Untitled documents are numbered (Document2) in the interface language |