Function disk_still_holds 

fn disk_still_holds(dir: &Path, name: &str, sha: Option<&str>) -> bool

Whether name still holds content sha (None: still absent), read again immediately before overwriting it — the provider may have written it since this pass decided. What it wrote is captured next pass.