resource accepts anything client re-checks its lease compares a fencing token breaks all three GC pauses only NTP clock steps only network delay only nothing lock svc one durable node failover, no consensus clients lease margin speed ⏸ pause next ▸ restart ↺