You're right: it's strictly coupled to time order. All of the CRDT semantics rely on that invariant. Arbitrary reordering would turn it into a different beast i

You're right: it's strictly coupled to time order. All of the CRDT semantics rely on that invariant. Arbitrary reordering would turn it into a different beast indeed...