ProofKern

ProofKern is a verifier-first harness for AI-generated GPU kernels. Its current release is local Metal validated, not CUDA validated; four MLX-relative winners become zero cross-framework winners when torch.compile is added on the same GPU.

• Float64 oracle, held-out shapes, and anti-cheat probes
• Strict bootstrap-CI timing rule
• Local Metal validated on Apple Silicon
• CUDA validation is explicitly out of scope for current claims