Function save_progress 

pub fn save_progress(
    workspace: &Path,
    session_id: &str,
    ledger: &ProgressLedger,
) -> Result<(), SessionStoreError>

Persist the progress ledger for a session, creating derived/ if needed.