用途：对比两个代码版本，通过并排的半形式化追踪判断两者语义是否等价。触发场景为用户提供重构、重写、迁移或 A/B 实现，并希望确认行为未变，例如“我有没有改坏”“这两版是否等价”。
主要能力：识别共享规格，记录用户声明为预期变更的行为（声明区域内的差异视为预期，只标记区域外的差异）；分别对版本 A、B 构建独立前提；对共同用例做平行追踪并定位首个分歧；追踪边界用例（空/null/零、最大/最小、错误输入、集合首尾），默认最多三个最高风险边界场景；分类语义分歧并给出含前提、追踪、分歧、触发条件与补救措施的发现和 L 编号；最后给出✅语义等价、⚠️条件等价（需精确说明条件）或❌语义分歧的判定。
使用方式：按延迟加载方式，先仅读取 ../_shared/common.md 以获取语言、Iron Law、Verdict 头、范围路由、Remedy 规范、配置字段与加载预算；到达具体步骤时再读取 logic-diff-guide.md 的对应步骤；按需加载 ../_shared/logic-risks.md、../_shared/semiformal-guide.md、../_shared/semiformal-checklist.md 和 ../_shared/report-template.md。步骤为语言与范围路由（仅提供一个版本时切换到 logic-review）、识别共享规格、分别为两版构建前提、共同用例平行追踪、边界用例追踪、分歧识别与分类、给出等价判定、按报告模板输出。报告需含 Verdict 头，模式行为 Semantic Diff（中文 语义对比），用户使用中文时本地化标题。
限制：仅在任务明确符合其上游来源与本地项目上下文时使用；应用变更前需自行验证命令、生成代码、依赖、凭据及外部服务行为；示例不能替代针对环境的测试、安全审查，也不能替代对破坏性或高成本操作的用户批准。格式为强制要求，即使代码片段极短，每处分歧也必须使用 Premises / Trace / Divergence / Trigger / Remedy 五个标注字段，不得改用普通段落或表格。