kernel-correctness
GitHub验证计算内核正确性，检查数值容差、内存安全及输入变体。通过对比参考实现定位索引错误、同步缺失或未初始化内存等缺陷，确保并行写入和归约操作的准确性与可重复性。
Trigger Scenarios
Install
npx skills add uw-syfi/vibesys --skill kernel-correctness -g -y
SKILL.md
Frontmatter
{
"name": "kernel-correctness",
"description": "Check a compute kernel against its task reference, including numerical tolerance, memory safety, and supported input variants. Use for kernel implementation or correctness failures."
}
Kernel correctness
Read the task's candidate contract and accuracy checker to identify the exact supported inputs and comparison rule. Translate the reference operation into invariants for every output element, including reductions, masks, aliasing, strides, and tails where applicable. Keep the evaluator-owned reference and checker unchanged.
When a case fails, isolate the smallest supported shape and input pattern that reproduces it. Compare intermediate values or one output tile against the reference, then distinguish indexing errors, missing synchronization, uninitialized memory, and allowed floating-point variation. Run the full checker after each fix; a passing benchmark shape is insufficient.
For parallel writes, establish which thread owns each address. For reductions, check accumulation dtype, order-sensitive tolerance, and behavior at zero or masked elements. If the contract requires repeatable output, verify repeated runs under the same input and reject race-dependent results.
Version History
- 3a50e8b Current 2026-11-02 13:56
