pub fn exercise_key(exercise_id: &str) -> String
The progress-map key for a guide exercise’s SRS entry.