Function write_checkpoint 

pub fn write_checkpoint(
    project_root: &Path,
    checkpoint: &Checkpoint,
) -> Result<()>

Write a progress checkpoint file for the given role.

Creates the .batty/progress/ directory if it doesn’t exist.