Codex: six days, zero completed runs | LeanZero