This is the first time I hear about librdx and Chotki, very cool projects. I skimmed over both projects but I haven't seen much written about conflict resolution. Does it mean that last write wins based on version vectors?
FIRST (Float Int Reference String Term): Last-Write-Wins based on the timestamp,
PLEX:
- Tuples: per-entry LWW or recursive,
- Linear: DISCONT (CT/RGA type),
- Eulerian: per-key LWW or recursive,
- Multiplexed (version vectors, counters): per-author LWW or recursive.