逻辑差异比对

通过半形式化、并排追踪两个代码版本以比较语义等价性。用户分享重构、重写、迁移或 A/B 实现并想确认行为未变（“我改坏了吗”“是否等价”）时使用。