"""CPU-only PP1 correctness oracle. Deliberately not imported by serving code."""