Function write_state 

pub fn write_state(dir: &Path, claims: &Claims) -> Result<()>

Keep the tracker’s claims in dir/.state, atomically.