So, I have done a bit of research on this with the writeup+skills+scripts on my personal git: https://github.com/NickalasLight/codex-reasoning-bug-512-tok...
I think it is very interesting that: A. Removing the section in question seems to greatly fix performance on the benchmark candy question. B. Removing the section does not appear to change at all mean reasoning token use or the 512 reasoning token hit problem