The margin below the hibernation threshold; the one free parameter in the model.
Any interval under the threshold prevents every cold boot equally, so the optimum is the largest
safe one (9,500 fires 9,094 times a day against 10,800). How late an alarm may fire is
unmeasured, so 9,500 is a ceiling solveWarmInterval climbs toward, not a default.
The margin below the hibernation threshold; the one free parameter in the model.
Any interval under the threshold prevents every cold boot equally, so the optimum is the largest safe one (9,500 fires 9,094 times a day against 10,800). How late an alarm may fire is unmeasured, so 9,500 is a ceiling solveWarmInterval climbs toward, not a default.