用途：面向常规调试难以解决的复杂缺陷，提供假设驱动的系统化排查流程，覆盖复现、隔离、定位根因、修复、验证与预防。
主要能力：把模糊缺陷转写为精确的“给定 X，期望 A，实际 B”契约；优先建立可复现用例；通过日志、指标与追踪增强可观测性；用二分法（如 git bisect）与分层隔离缩小搜索空间；对缺陷分类（逻辑、数据、环境配置、并发竞态、性能、集成）；用最小实验证伪假设；处理 flaky 与 Heisenbug；修复后补充回归测试、边界测试并跑通 CI。
Lint 与静态分析：将 lint 违规视为缺陷的一部分，要求对改动文件运行相关工具，如 ESLint、Prettier、Flake8、Pylint、Black、mypy、Bandit、go vet、staticcheck、clippy、rustfmt、CheckStyle、SpotBugs、PMD、RuboCop、clang-tidy、cppcheck 等；仅在书面说明理由并注释时抑制规则，不得直接关闭 linter。
使用方式：按 12 步协议推进——精确框定问题、建立复现、增强可观测性、缩小范围、分类、假设实验、选对工具、处理 flaky、实施最小修复、测试与 lint 验证、根因分析与系统性预防、团队升级协议。升级前需提供一句话缺陷契约、复现脚本、失败日志、已试假设与结果、提交范围、影响评估。
适用场景：CI 中随机失败的测试、生产环境间歇性 500、快速补丁后的 lint 违规、长运行服务内存泄漏等。
限制：资料未提供具体安装命令、收费方式、平台支持或效果保证；该技能为流程性指导，不替代具体项目的工具配置。