Status: IN
Chat combines per-conversation sequence numbers with monotonic read cursors, guaranteeing that once a message is marked read, no earlier message in that conversation can regress to unread.
Sequence-number ordering + monotonic cursors create an irreversible read-progress guarantee
Depends on (SL): chat-dual-ordering-sequence-and-lamport, chat-read-cursors-monotonic