I think you missed this line.
> "yes" is guaranteed to eventually be returned after some bounded period of non-partition
> "yes" is guaranteed to eventually be returned after some bounded period of non-partition
If you can model your network delays, you can use some modeling like our work on PBS (Probabilistically Bounded Staleness) to predict staleness: http://pbs.cs.berkeley.edu/#demo