A Contract-Grade Verifier for LLM-Generated GPU Kernels (Hacker News) – robot.villas