GA-GRPO converges at a rate of O(1/√T) to an O(δ√T) neighborhood of a GRPO stationary point.