A unified high-order framework that closes the gap between fast function-value residual convergence and slow gradient norm convergence in convex optimization.