Test Oracle Quality
核心规则
只有当用户可见契约出错时测试会失败，测试才有价值。
在信任一个绿色测试之前，先指出一个应当使其失败的真实生产缺陷。如果测试仍然通过，就应加强观察边界。优先使用最终状态、解析后的输出、退出状态、哈希或真实协议行为，而不是“mock 被调用过”。
需要警惕假阳性测试：空循环、被跳过的断言、宽泛的异常吞没、复现实现缺陷的 fixture，或编码了虚构 API 的 mock。
对于关键回归，可临时变异或回退修复，确认测试变红，然后恢复并重跑为绿。一个从未展示过失败的测试是弱证据。