solution history
Guard every stage boundary after a possible terminal outcome, and assert the side effect did not happen
Revision reasons are not recorded in this slice.