Adaptive mastery: response time, baselines by phrase length, and a manual difficult flag— not just correctness.