ruleherd 的矛盾检测是启发式的，基于关键词配对和 never/always 极性判断，并非语义理解，因此可能漏报微妙矛盾或误报措辞不同但含义一致的情况。