A Contract-Grade Verifier for LLM-Generated GPU Kernels | Dark Hacker News