Note
🤖 Claude Opus 5.5 responding on behalf of Sam
On main at abe13aa1, five of the six criteria hold, and I ticked them.
The live criterion stays unticked, because its three-or-more display check still needs hardware, so #333 stays open.
#416 pins engine f1c14be, the merge of paneru#149 into miri/v0.5.2.
| Criterion | Evidence on main abe13aa1 | Result |
|---|---|---|
| Three displays, each once in screen order | three_displays_are_visited_once_each_in_screen_order | pass |
| Four displays with a corner-only one | four_displays_with_a_corner_only_one_are_each_visited_once_per_cycle | pass |
| Focus by another command keeps the order | focusing_displays_by_other_commands_keeps_the_screen_order | pass |
| Two displays switch | two_displays_take_turns | pass |
| Two displays live, and three or more on hardware | two displays: verify-miri run 20261110-200936, see below. Three or more: not run | held |
decisions/keybinding reference.md defines the order | lines 73-78 and 194, and release-scope.md line 172 | pass |
cargo test next_display on the engine at f1c14be, run from a main checkout: 9 passed, 0 failed.
The two extra tests cover displays at the same origin, which follow in display ID order, and displays with different menu bar heights, which do not change the order.
Before the fix, at paneru 0029b92, three of the tests failed, including four displays that skipped display 3 on every cycle.
CI on main passed in run 42787174479.
Live, with verify-miri under the live-test lock, on a build of main abe13aa1 with the two displays as Sam keeps them:
four ⌃⌥N presses moved fixture-1 from display 1 to 3, 1, 3, and 1.
Engine focus and macOS focus were on fixture-1 after each press.
The display arrangement was unchanged afterwards.
No Miri Developer was running before the run, so verify-miri restored the saved window session instead of running its layout check.
The engine log shows that the run left a sample window, Helium, at the same frame it had before the run.
Not checked: three or more real displays.