Deterministic Raft Lease Quorums Under Asymmetric Cross-AZ Jitter
Why leader read leases silently violate linearizability when NIC receive queues stall on one availability zone, and how monotonic hardware clock bounds eliminate split-read windows at p99.9.