It's almost as if they got some intern to "code" the correctness filter using some AI coding assistant!