A Contract-Grade Verifier for LLM-Generated GPU Kernels

A contract-grade verifier uses twelve adversarial gates to audit LLM-generated GPU kernels beyond simple reference comparisons. Testing 2,638 previously accepted kernels revealed that 39.5% were fundamentally broken and 62.1% violated at least one property. The tool identifies errors in shape handling and numerical stability that standard harnesses miss.