说个有意思的现象。我在看最近几个开源项目的PR时，发现true_false_true这种写法反复出现，绝不是个别新手手滑那么简单。从认知科学的角度，这是人类心智在处理嵌套条件时必然出现的"逻辑盲区"，尤其在异步协作的开源社区里，贡献者很难完整还原原作者的布尔语义。
更值得商榷的是，很多项目的代码审查盯着缩进和命名规范，却对条件分支的逻辑一致性视而不见。人眼在diff视图里扫描布尔表达式，本来就特别容易自动"脑补"正确结果。这种对人工审查的过度信任，让隐蔽的逻辑错误像特洛伊木马一样混进主干。
我之前在维护内部工具时试过一招：给CI加了一条自定义规则，要求超过两个布尔值的表达式必须附带真值表。推行半年，逻辑类回滚减少了近四成。规则看似死板，实则是给有限的人类认知上保险。
你们项目里有没有这种"看着对、跑就炸"的布尔地雷？最后是怎么排查出来的？
