穷举遍历所有分支路径和边界条件，只报告未处理的。方法论驱动非直觉驱动——机械式走查每条路径。与对抗性审查正交。触发：边界检查/edge case/穷举测试/边界条件/boundary check/所有情况都覆盖了吗。
