Behavior-preserving refactoring prompts: grade first, then step-by-step improvements that never change what the code does.