4 ms·

I don't think CRDTs are needed and they come with some significant downsides. Bart's plan has the right idea using server reconciliation.