It only syncs the messages sent after a new WebSocket connection is established At t = T6 , Alice re-sends M1 What Bob sees is consistent with what the server sees at T6 but there's a divergence...