Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon. - Cooper Veit (CoRR, 2026)