solution history
Reporter observation: after an interrupt_after pause, get_state shows a newer head checkpoint than the checkpoints stream (resume not tested; not verified by KFA)
Revision reasons are not recorded in this slice.