pub fn write(target: &Utf8Path, proof: &Proof) -> Result<()>
Write the proof in one rename, so an interrupted write leaves the previous record whole.
The underlying I/O failure.