I wasn't around for the Red Book. Are you saying controllers got a flat 3% per the contract but no January increase along with the rest of the government?
Also, I have 1.03^(2024-2017) = 1.230 (23.0% increase). Your number seems to be 1.03^(2025-2017) = 1.267 (26.7% increase). I think you're accounting for an extra year. But I always get this kind of math confused so maybe you're right.