Function holder_is_dead 

fn holder_is_dead(file: &LeaseFile) -> bool

True only when the holder is provably gone: it recorded this host, and its pid is not running or now belongs to a process that started at a different time. Anything we can’t prove (a lease from another host — the shared root on a network drive — or one written before hosts were recorded) is treated as alive.