037 · 实数上等价，就能放心运行浮点 kernel 吗？Racer 把 PTX 中的浮点运算解释为精确实数运算，寻找被测试容差掩盖的逻辑错误。它让我们区分：证明公式相同，与证明机器计算的数值误差可接受，是两种不同的正确性主张。