FA-74983 / CRDT convergence / Member archive

Delta causal context join: one-sided dots are tested against their own context · case 03

New additions known to only one replica disappear on join.

Member previewVariant 3 · 3 implementations · 10 checks per implementation

Case contract

A state is {"dots": [[element, replica, n]], "vv": {replica: n}, "cloud": [[replica, n]]}. A context covers (r, n) when n <= vv[r] or [r, n] is in the cloud. Join keeps dots present in both states plus dots of one state not covered by the other's context; contexts join by vector maximum and cloud union, then the cloud is compacted: an entry equal to vv[r]+1 advances vv[r], entries at or below vv[r] are pruned. Return elements, dots, vector and cloud, all sorted.

Why this case matters

Delta-state add-wins sets rely on causal contexts to tell removals from unseen additions.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
dot unseen by the peer survives	`{"cloud": [], "dots": [], "elements": [], "vv": [["a", 1]]}`	`{"cloud": [], "dots": [["x", "a", 1]], "elements": ["x"], "vv": [["a", 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.