多种可能根因或跨模块 Bug 时…

当 Bug 有多种合理根因、初步排查未定位或问题跨模块时，用并行假设调查、分级证据和根因仲裁系统定位根因。

适用场景

解决思路

1. 使用竞争假设分析（ACH）方法组织复杂调试：为多个可能根因建立相互竞争的假设。
2. 为竞争假设并行分配独立调查者或调查任务，避免单线排查和确认偏差。
3. 生成假设时覆盖 6 类失效模式：逻辑错误、数据问题、状态问题、集成失败、资源问题、环境。
4. 逻辑错误假设：检查条件逻辑错误，如运算符错误、遗漏分支。
5. 逻辑错误假设：检查循环或数组访问中的 off-by-one 错误。
6. 逻辑错误假设：检查缺少边界情况处理。
7. 逻辑错误假设：检查算法实现错误。
8. 数据问题假设：检查非法或非预期输入数据。
9. 数据问题假设：检查类型不匹配或强制转换错误。
10. 数据问题假设：检查预期有值处出现 null/undefined/None。
11. 数据问题假设：检查编码或序列化问题。
12. 数据问题假设：检查数据截断或溢出。
13. 状态问题假设：检查并发操作之间的竞态条件。
14. 状态问题假设：检查陈旧缓存返回过期数据。
15. 状态问题假设：检查错误的初始化或默认值。
16. 状态问题假设：检查共享状态被意外修改。
17. 状态问题假设：检查状态机转换错误。
18. 集成失败假设：检查 API 契约违规，如请求/响应不匹配。
19. 集成失败假设：检查组件之间的版本不兼容。
20. 集成失败假设：检查环境之间的配置不匹配。
21. 集成失败假设：检查缺失或错误的环境变量。
22. 集成失败假设：检查网络超时或连接失败。
23. 资源问题假设：检查内存泄漏导致逐渐退化。
24. 资源问题假设：检查连接池耗尽。
25. 资源问题假设：检查文件描述符或句柄泄漏。
26. 资源问题假设：检查磁盘空间或配额超限。
27. 资源问题假设：检查低效处理导致 CPU 饱和。
28. 环境假设：检查缺失运行时依赖。
29. 环境假设：检查错误库或框架版本。
30. 环境假设：检查平台特定行为差异。
31. 环境假设：检查权限或访问控制问题。
32. 环境假设：检查时区或区域设置相关行为。
33. 按证据强度收集直接证据：强证据，例如 `file.ts:42` 的代码显示 `if (x > 0)` 应为 `if (x >= 0)`。
34. 按证据强度收集相关性证据：中等证据，例如提交 `abc123` 后错误率上升。
35. 按证据强度收集证词证据：弱证据，例如「It works on my machine」。
36. 按证据强度收集缺失证据：强度可变，例如代码路径中未发现 null 检查。
37. 始终用 file:line 引用证据，例如：`src/validators/user.ts:87` 的验证函数只检查 null/undefined，不检查空字符串，导致空邮箱通过验证。
38. 评估置信度为高（>80%）：多个直接证据、清晰因果链、无矛盾证据。
39. 评估置信度为中（50-80%）：部分直接证据、因果链合理、有轻微歧义。
40. 评估置信度为低（<50%）：主要是相关性证据、因果链不完整、存在一些矛盾证据。
41. 所有调查者报告后，将结果分类为 Confirmed：高置信度、强证据、清晰因果链。
42. 所有调查者报告后，将结果分类为 Plausible：中置信度、有一些证据、因果链合理。
43. 所有调查者报告后，将结果分类为 Falsified：证据与假设矛盾。
44. 所有调查者报告后，将结果分类为 Inconclusive：证据不足以确认或证伪。
45. 如果有多个假设被确认，按置信度排序。
46. 如果有多个假设被确认，按支持证据数量排序。
47. 如果有多个假设被确认，按因果链强度排序。
48. 如果有多个假设被确认，按没有矛盾证据排序。
49. 如果某个假设明显占优，将其宣布为根因。
50. 如果多个假设同等可能，考虑复合问题，即多个贡献原因。
51. 如果没有假设被确认，基于已收集证据生成新假设。
52. 宣布修复前检查：修复针对已识别根因。
53. 宣布修复前检查：修复不引入新问题。
54. 宣布修复前检查：原始复现用例不再失败。
55. 宣布修复前检查：相关边界情况已覆盖。
56. 宣布修复前检查：相关测试已添加或更新。

适用边界 · 注意事项

• 只有一个明显且可直接验证的根因时，不需要启动完整并行假设调查与仲裁流程。
• 无法获得代码、日志、提交历史、运行环境等可引用证据时，该框架无法有效仲裁根因。
• 问题极小或组织并行调查的成本高于直接修复成本时，不必使用该流程。