pub const LEASE_GRACE: Millis;
How long a lease may go unrenewed before the watchdog treats the owner as gone, once the transaction’s deadline has passed.