Each recovery wait recomputes the current remaining gap. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Repeated recovery does not reuse the original gap
Changing the start value changes the remaining gap before the half-step is applied.
gap=M∞−Mstart
Later starts leave smaller gaps and smaller increments
The fraction is fixed at one half; the start value changes the gap and therefore the increment.
Mstart048gap16128increment864Mfinal81012
The final row starts halfway recovered
The diagram shows the last row from the table, with start, gap, increment, and final value all checked.