pub const REGION_LEASE_SECS: u64 = _; // 10u64
The lease seconds of a region. It’s set by 3 heartbeat intervals (HEARTBEAT_INTERVAL_MILLIS × 3), plus some extra buffer (1 second).