Yeah, CRDT seems to be the holy grail for p2p local-first apps.

I dream about this.