Status: IN
Multi-leader replication achieves reliable eventual convergence regardless of network topology: sync uses a safe collect-then-distribute pattern with idempotent merge and monotonically advancing timestamps, and topology choice affects only the duration of observable divergence (linear in node count for ring, single round for all-to-all), not the final converged state.
A depth-1 convergence safety conclusion combined with a depth-2 topology-independence conclusion form a strong positive claim, gated on the silent acceptance of merge_fn=None that crashes at resolution time
Depends on (SL): multi-leader-sync-designed-for-safe-convergence, topology-creates-divergence-window-not-correctness-gap