pub const MAX_CLOCK_LEAD_MS: i64 = 30_000; // 30_000i64
How far the sender’s clock may lead the receiver’s (SPEC-SERVER §7.1).