## Replaying a run
The run's history replays deterministically. Every write shows the fencing number it carried, so you can see that no stale write was accepted.