用途：对单个文件或单个函数进行逻辑缺陷审查，通过半形式化执行追踪找出逻辑错误，而不是泛化的代码风格检查。报告采用固定五字段结构：前提（Premises）、追踪（Trace）、偏差（Divergence）、触发（Trigger）、修复（Remedy），并要求命中文件/函数范围内的具体入口函数。
主要能力：先确立代码声称的行为与审查入口；构建前提（含调用方/被调方契约）；建立风险路径台账并跨 L1–L9 分类候选缺陷路径；对正常路径与高风险边界路径深度追踪；识别偏差并评级；做对抗式红队复核以撤回或降级误报；给出可粘贴的修复并做修复干跑；能执行时运行执行验证门，生成最小复现器对原代码执行、再套用修复后重跑，撤回误报。若无可用运行时，则标记为未验证。
必要用法：触发条件是用户提供一个文件或一个函数；如果指向目录则改用 logic-health，描述已确认失败则用 logic-locate，比较两个版本则用 logic-diff。报告需先检测用户语言，随后所有标签与标题使用该语言；五字段标签必须逐字出现于每个发现块内，不能以同义词或章节标题替代。无 Bug 时同样输出完整骨架，偏差写“无——[原因]”，并给出 Logic Score（中文“逻辑评分”）100/100。
适用场景：单文件/单函数的逻辑审查、缺陷追溯、边界与并发相关逻辑风险检查、对怀疑 bug 的验证。
限制：不覆盖目录级或跨文件大规模审查（应切换其他技能）；执行验证需要目标语言运行时，否则只能标记未验证；资料未提供具体安装命令、价格或平台信息。