用途：比较两个代码版本是否语义等价，适用于重构、重写、迁移等场景。当用户提供两个版本时触发；若只提供一个版本，则转为 logic-review。
主要能力：先识别两版共享的规格（应处理的输入、预期输出与副作用）；若用户声明某处行为被有意改变，该区域内的差异视为预期，只报告声明之外的差异。随后分别为两个版本构建独立前提，对同一输入做并行追踪，找出首个分歧点；再追踪边界情况，如空值、null、零、最大最小值、错误输入、集合首尾元素，默认先取最多三个最高风险的边界场景，除非用户要求穷尽等价性。最后识别并分类语义分歧，每条分歧按“前提→追踪→分歧→触发条件→补救”五段式给出，并附 L 编号。
结论形式：✅ 语义等价、⚠️ 有条件等价（需精确说明条件）、❌ 语义分歧。报告使用固定模板与结论头部，即使用户使用中文也会本地化标题；报告模式行标注为“语义对比”。
使用方式：按需懒加载共享文档，仅在到达相应步骤时读取 logic-diff-guide.md 的相关步骤，并按需加载逻辑风险、半形式化指南与检查清单、报告模板等文件。
限制：资料未提供具体安装命令、配置字段细节、支持语言清单及收费信息；格式为强制要求，每条分歧必须使用五个标注字段，不得用普通段落或表格替代。