The facts whose declared absence semantics is clear (spec revision 3, #665): on a
whole-state restore, each of these returns to its fresh-strip state THROUGH ITS OWN DOOR
whenever the file carries none of its snapshot fields. The ONE enumeration the restore
stations and the load-B-after-A battery both consume — a station keeping its own list of
clears is the hand-kept enumeration this contract exists to delete.
The facts whose declared absence semantics is
clear(spec revision 3, #665): on a whole-state restore, each of these returns to its fresh-strip state THROUGH ITS OWN DOOR whenever the file carries none of its snapshot fields. The ONE enumeration the restore stations and the load-B-after-A battery both consume — a station keeping its own list of clears is the hand-kept enumeration this contract exists to delete.