用途：该技能实现“Agentic Code Reasoning”框架，聚焦半形式化推理，在不运行代码的情况下进行深度分析，用于补丁等价性验证、故障定位、代码问答和提交前审查。
主要能力：通过迭代协议生成“推理证书”。第一阶段提取上下文与前提，列出函数签名、变量类型、常量与库行为，并用 grep_search 和 read_file 验证；第二阶段进行符号执行追踪，模拟控制流、数据流与循环边界，可运行 python3 -c ... 等小型隔离脚本验证语言语义，但禁止运行项目自身代码或测试，跨函数调用需读取定义并纳入子步骤；第三阶段验证目标属性并分析分歧，给出带置信度的排序预测，若追踪与前提矛盾则回溯修正；第四阶段基于证书给出正式结论。
使用方式：按 references/reasoning_templates.md 中的模板执行，包括补丁等价性验证、故障定位（Bug Hunter）和深度代码问答模板。
适用场景：复杂调试、补丁语义等价判断、根据失败测试定位缺陷行、项目特定逻辑与边界情况问答、提交前回归风险分析。
限制：以推理为主，不将运行测试作为主要验证手段；每个结论必须有前提或追踪步骤支撑；遇到未知库函数行为时需通过 grep_search 或 web_fetch 查找文档或实现。