pub const TEARDOWN_GRACE: Duration;
Grace period between arming and the earliest possible teardown. An order of magnitude above the slowest healthy quit observed (multi-window with pool sweep: ~2-5s), far below “user annoyed”.