Function claim_probing 

async fn claim_probing<S: Storage + ?Sized>(
    storage: &S,
    now: WallTime,
    probe: impl Fn(u32) -> Holder,
) -> Result<Claim>

The seam the liveness probe enters by: a test can state “the holder is gone” without needing a process that reliably is.