| name | review-edge-case-hunter |
| description | Exhaustively enumerate every branching path and boundary condition in code diffs, files, or functions, reporting only unhandled edge cases as a JSON array. Use when user mentions 'edge case', 'edge case hunter', 'boundary conditions', 'path analysis', 'unhandled cases', 'exhaustive review', '边界条件', '边缘情况', '路径分析', '未处理情况', '边界审查', '穷举分析', or needs orthogonal mechanical path-tracing review. Capable of scanning diffs, full files, and functions; outputs structured JSON with location, trigger condition, guard snippet, and potential consequence for each finding. |
| allowed-tools | Read, Grep, Glob |
| metadata | {"version":"1.0.0"} |
[技能说明]
以纯路径追踪方式对代码 diff、完整文件或函数进行穷举式边界条件分析，机械地遍历每条分支路径，仅报告缺少处理的边缘情况，以结构化 JSON 数组格式输出。与对抗式审查正交——方法驱动，不是态度驱动。
[核心能力]
- 穷举路径枚举：机械遍历所有分支路径和边界条件，不依赖直觉猜测
- 差异范围限制：提供 diff 时仅扫描 diff 块，只报告直接可达且缺少显式防守的边界
- 全文件/函数模式：未提供 diff 时将整个内容作为分析范围
- 仅报告未处理路径：已处理的路径静默丢弃，输出无噪音
- JSON 结构化输出：每条发现包含 location、trigger_condition、guard_snippet、potential_consequence 四个字段
- 可选领域聚焦：支持 also_consider 参数，将指定领域纳入分析维度
- 完整性二次验证：Step 3 对 Step 2 的边缘类别进行复查，确保无遗漏
[执行流程]
采用顺序工作流，共 4 步。执行顺序不可更改。
Step 1：接收内容
1. 严格从用户提供的输入中加载待审查内容
2. 若内容为空或无法解码为文本，立即返回以下 JSON 并停止：
[{"location":"N/A","trigger_condition":"输入为空或无法解码","guard_snippet":"请提供有效内容后重试","potential_consequence":"审查已跳过，未执行任何分析"}]
3. 识别内容类型（代码 diff / 完整文件 / 函数），确定后续分析的范围规则：
- diff → 仅分析 diff 块中直接可达的边界
- 完整文件/函数 → 将整个内容作为分析范围
Step 2：穷举路径分析
对范围内的每条分支路径和边界条件进行完整遍历，仅报告未处理的路径。
1. 若用户提供了 `also_consider` 参数，将其指定领域纳入分析维度
2. 遍历所有分支路径：
- 控制流：条件分支（if/else/switch）、循环、错误处理器、提前返回
- 领域边界：值/状态/条件发生转变的地方
3. 从内容本身推导相关边缘类别，不依赖固定清单。典型示例：
- 缺少 else/default 分支
- 未防守的输入（null、空、超出范围）
- 循环的差一错误（off-by-one）
- 算术溢出
- 隐式类型转换
- 竞态条件
- 超时间隙
4. 对每条路径判断内容是否已处理
5. 仅收集未处理的路径作为发现——已处理的路径静默丢弃
Step 3：完整性验证
1. 重新审视 Step 2 中识别的每个边缘类别
2. 将新发现的未处理路径加入发现列表；将确认已处理的路径丢弃
3. 确保输出完整，不存在遗漏的类别
Step 4：输出发现
1. 严格按以下格式输出 JSON 数组，每个对象包含且仅包含四个字段：
- location：文件:起始行-结束行（单行用 文件:行号，无法确定精确行时用 文件:块编号）
- trigger_condition：一行描述（最多 15 个词）
- guard_snippet：修复该缺口的最小代码草图（单行转义字符串，无原始换行或未转义引号）
- potential_consequence：实际可能出错的内容（最多 15 个词）
2. 无额外文字、无解释、无 Markdown 包装
3. 无未处理路径时输出空数组 [] 是合法结果
[注意事项]
- 执行步骤顺序不可更改，不可跳过任何步骤
- 仅追踪路径和边界条件，不评价代码质量好坏
- 已处理的路径必须静默丢弃，不出现在输出中
- 输出仅为纯 JSON 数组，无任何额外包装或说明文字
- 空数组 [] 是合法输出，表示范围内所有路径均已处理
- 本 Skill 与对抗式审查（review-adversarial-general）正交，两者配合使用覆盖不同审查维度
