solution history
Unify the marker rather than widen the pattern, and assert required coverage cells so an empty family fails
Revision reasons are not recorded in this slice.