> > CRDTs don't _ensure_ ops are commutative (and associative, and idempotent) but rather they _require_ that ops are commutative (and associative, and idempotent)

> I disagree. You can create a CRDT flavor of data structure whose ops are not commutative

i think it's important to reiterate (for other third-party readers) that this is factually incorrect

a data structure with operations that are not commutative (or associative or idempotent) is not a (state-based) crdt by definition