By: ValentinHirschi <valentin.hirschi@gmail.com>
Record repeated finite Ready gains and guarded next diagnostics Co-Authored-By: Codex <noreply@openai.com>