القائمة
按复现、隔离、可证伪假设、验证和最小修复流程处理开发问题，避免凭猜测直接改代码。
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
将一个开发需求转化为可执行、可验证的最小实现计划，明确范围、影响、依赖、风险和验收标准。
对当前代码改动进行只读、发现优先的工程审查，覆盖正确性、回归、安全、性能、数据一致性和测试缺口。
根据当前代码改动选择最小但足够的测试范围，执行并解释测试结果与覆盖缺口。
在提交前检查改动范围、验证证据、敏感信息和 Git 规范，并生成可供确认的分支与提交信息提案。
在发布前核对版本、变更记录、构建、测试、发布物、兼容性、安全和回滚条件，给出明确放行结论。
استنادا إلى تصنيف SOC المهني
| name | debug |
| description | 按复现、隔离、可证伪假设、验证和最小修复流程处理开发问题，避免凭猜测直接改代码。 |
| type | flow |
| whenToUse | 当用户报告 bug、测试失败、构建失败、运行时错误、性能退化或行为与预期不一致时。 |
请调试 $ARGUMENTS（若为空则使用用户当前报告）。用户可在参数中指定 diagnose、fix 或 verify；未提供时根据用户意图判断。
kimi-engineering-tools 的 MCP 工具 codesearch：在隔离阶段优先用 AST 搜索定位符号定义、调用方和异常处理形态，再缩小假设空间。工具不可用时明确写「codesearch 不可用，仅文本搜索/手工调用链」，不得假装已做结构搜索。dead_code 仅在怀疑错误引用了已死模块或删除路径时可选使用，且结果只作候选。## Symptom
## Reproduction
- Command/input:
- Result:
## Isolation
## Tooling
codesearch: used / unavailable — summary
dead_code: used / unavailable / not needed — summary
## Hypotheses
1. [status] ...
## Root cause
证据等级：L1/L2/L3/L4
## Fix
## Verification
- [ ] 原失败路径
- [ ] 正常路径
- [ ] 边界/失败路径
## Residual risks
diagnose 模式只诊断不修改；fix 模式可以修改代码但不能自动提交；verify 模式优先复查已有修复，不重复无关重构。无法执行关键验证时，不得宣称修复完成。