We need to implement an Observed‑Remove Set (ORSet) CRDT and a driver to manage multiple replicas. Currently…
We need to implement an Observed‑Remove Set (ORSet) CRDT and a driver to manage multiple replicas. Currently…: a task in LegoFlow-SWE (Harbor dataset). Observed behaviour When two replicas independently add and remove the same element with different tags, the final state after merging is…
The task
**Observed behaviour** When two replicas independently add and remove the same element with different tags, the final state after merging is inconsistent. Specifically, if replica A adds an element `"x"` with a unique tag, then removes `"x"`, and replica B adds `"x"` with a different tag, after both replicas exchange…
Part of Lego-X/LegoFlow-SWE.