Activate a new, unchecked baseline or disable credit immediately. Re-enabling a previously used
version is forbidden. Replacing a baseline requires drained reservations and positive stop evidence
observed at or before the new console read. The host also fences nonlocal spending before that read.
While any reservation is open, for a retired version, for a record whose version does not match its
fields, is read in the future or has expired, and for a replacement without its fence.
Activate a new, unchecked baseline or disable credit immediately. Re-enabling a previously used version is forbidden. Replacing a baseline requires drained reservations and positive stop evidence observed at or before the new console read. The host also fences nonlocal spending before that read.