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

Assign idempotent per-conversation sequence numbers: retry returns original · case 05

A retried send is told it received the newest seq of the conversation instead of its own.

Member previewVariant 5 · 3 implementations · 6 checks per implementation

Case contract

requests are [conv, sender, nonce] in arrival order; members maps conv -> member list. A sender who is not a member gets "forbidden" and consumes nothing. Each conversation numbers accepted messages 1, 2, 3... A retry with the same (conv, sender, nonce) returns the originally assigned seq without consuming a new one.

Why this case matters

Server sequencing is the backbone of chat ordering; idempotency errors create duplicates or gaps.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
retry returns original	`[1, 2, 2]`	`[1, 2, 1]`	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.