Have you read the SwiftCloud paper? https://pages.lip6.fr/Marek.Zawirski/papers/SwiftCloud-RR-8347.pdf https://pages.lip6.fr/Marek.Zawirski/papers/SwiftCloud-RR

Have you read the SwiftCloud paper? https://pages.lip6.fr/Marek.Zawirski/papers/SwiftCloud-RR-8347.pdf https://pages.lip6.fr/Marek.Zawirski/papers/SwiftCloud-RR-83... It's about using a centralized cloud infrastructure in conjunction with CRDTs. This allows to fix some of the issues you mention (pruning of operation history, stricter versioning, no need to push operations, ...). Of course it complicates the implementation but it's quite interesting.