kernel-numerics-verifier
kernel-numerics-verifier 是一个面向 PyTorch/torchtitan 的手写低精度 GPU 内核数值正确性验证技能,用于核对手写 Triton 或 CUDA 内核的前向与反向计算结果是否与高精度 oracle 及同 dtype 的 eager 基线一致。该技能通过 golden、reference、target 三套实现对比,生成一次低精度输入并无损上转为 FP64,以隔离输入量化误差,只衡量内核算术误差;同时给出参考误差、舍入地板、绝对地板与阈值公式,并要求在门控前检查参考实现的相对误差与条件数,避免把数值敏感性误判为 Bug。它定义了 PASS、PASS WITH LIMITATIONS、FAIL、INCONCLUSIVE 四种结论,并强调不得为通过而放宽容差、逐梯度检查、覆盖生产形状与边界形状及对抗性输入、诊断失败原因后再调参。