Today — the PTY suite drives the TUI at one geometry, size(110, 32), and never with NO_COLOR. reconverge's suite tests a narrow width, NO_COLOR and ASCII mode; this one does not, so a layout that truncates a verdict at 80 columns, or a colour-only cue that disappears in a monochrome terminal, is not caught.
Fix. Add a second geometry (80×24, the default terminal) and a NO_COLOR=1 run to the existing flows, asserting the verdict, the chosen configuration and the speedup remain whole and readable; keep the "one predicate per instant" sync policy the suite already follows.
Done when
Today — the PTY suite drives the TUI at one geometry,
size(110, 32), and never withNO_COLOR. reconverge's suite tests a narrow width,NO_COLORand ASCII mode; this one does not, so a layout that truncates a verdict at 80 columns, or a colour-only cue that disappears in a monochrome terminal, is not caught.Fix. Add a second geometry (80×24, the default terminal) and a
NO_COLOR=1run to the existing flows, asserting the verdict, the chosen configuration and the speedup remain whole and readable; keep the "one predicate per instant" sync policy the suite already follows.Done when
NO_COLOR, with assertions on content, not just absence of panic.