用途：对代码做严格的、方法驱动的边界情况审查。它不属于通用代码审查，只报告未处理的路径与边界条件，即找出代码中没有被覆盖的分支和边界情形。
主要能力：追踪 diff、完整文件或函数中的分支路径，识别遗漏的边界处理；支持通过 also_consider 可选参数指定审查时需留意的区域；输出结构化发现结果。
使用方式：输入 content（diff、完整文件或待分析函数），可选输入 also_consider。需严格按照 references/workflow.md 执行，不添加额外评论或章节。输出必须是有效 JSON 数组，字段包括 location、trigger_condition、guard_snippet、potential_consequence。若无发现则返回 []。若输入为空或无法解码，则按 workflow 返回规定的单元素数组。
限制：只报告未处理的情况，不做一般性代码审查；输出格式固定为 JSON，不得附加说明；具体实现细节依赖 references/workflow.md，资料未提供该文件内容。