bffdaf15

By: Codex <codex@openai.com>

Add checked full-orthant reference and lower-order zero proof
Time to Start Worker time Duration Time to finish Idle
Config - - - - 388h47m12s
Eval - - - - -
Build - - - - -
Suite - - - - 388h47m12s