The on:'range' description names autoNarrow next to its truncation
caveat (a truncated run supports a positive but never a negative), the
state op list mentions the load liveness probe, and the playbook's
save-state passage tells the reader the probe exists before a frozen
state costs them a session.