FA-76327 / Chat ordering and read receipts / Member archive

Compute a member's visible history and initial read marker: leave inclusive · case 02

The member cannot see their own leave event.

Member previewVariant 2 · 3 implementations · 6 checks per implementation

Case contract

messages are seqs (duplicates possible). A member sees seqs >= join_seq, or all seqs from 1 when the room shares history with new members; after leaving at leave_seq they see nothing after leave_seq (their own leave event included). The initial read marker is join_seq - 1, so only messages from the join onward are unread. Result {visible (sorted, unique), initial_marker}.

Why this case matters

Membership changes decide which history a user may read and where their unread count starts.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
leave event visible	`{"initial_marker": 4, "visible": [5, 6]}`	`{"initial_marker": 4, "visible": [5, 6, 7]}`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.