在用例 X01 中，两条已确认需求互相矛盾（一条说游客可以结账，另一条说必须有账号），qwen2.5:7b 正确引用了其中一条真实引用，但仍 3 次都判定“已覆盖”，逐字校验无法识别两条真实引用之间的冲突。