Figure 20.3 Durable execution. State lives outside the process, and every completed step
writes a checkpoint to a durable store. When the process crashes, the run reloads the
last checkpoint and continues (the accented path) rather than starting over—the
long way back to step one is crossed out.
