Lane 1 Went Missing How checking a formal GPU semantics against real hardware, bit for bit, turned up a small ptxas miscompile in shared-memory half2 atomics.