pub fn progress_path(workspace: &Path, session_id: &str) -> PathBuf
Resolve the on-disk path of the progress ledger for a session.