Gossip converges under explicit assumptions
Gossip spreads information through repeated peer contact. It can tolerate some lost exchanges because surviving copies can be sent again. Eventual convergence still needs assumptions: relevant peers must become reachable, updates must remain available, and the merge rule must handle the states that can arise. Random contact alone does not guarantee agreement by a fixed deadline. ...