pub const LEASE: Duration;
How long a claim stands before it is taken back: longer than a push’s whole budget, so a push that is merely slow is never run twice at once.