FA-75173 / CRDT convergence / Member archive

Visible index translation: delete targets the character before the cursor index · case 03

Deleting index zero removes the last character; other deletes remove the preceding character.

Member previewVariant 3 · 3 implementations · 9 checks per implementation

Case contract

A sequence CRDT holds [id, char, deleted]. Local edits use visible indices: ["insert", i, ch] (0 <= i <= visible length) references the visible element at i-1 (None at 0), is placed immediately after it, and gets id "L<k>" from a counter advanced only by accepted inserts; ["delete", i] (0 <= i < visible length) tombstones the visible element at i. Out-of-range edits yield ["reject", i]. Return the emitted ops and visible text.

Why this case matters

Editors translate cursor positions into identifier-based CRDT operations; tombstones make that translation error-prone.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
delete by visible index	`{"ops": [["del", "e5"], ["del", "e2"]], "text": "be"}`	`{"ops": [["del", "e1"], ["del", "e5"]], "text": "ce"}`	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.