pub fn sync(a: &ReplicaState, b: &ReplicaState) -> Result<()>Expand description
One incremental sync round between two replicas: each announces its state vector, receives only the updates it is missing, and applies them. After the round both replicas have converged. This models a single FFI-node ↔ supervisor exchange; repeated rounds (or one round per delivered op) keep live replicas in sync without ever shipping a whole-document snapshot after the first contact.