测试全绿，上线三周数据没入账——那个95%的兼容度报告，漏掉的是边界

迁移评估报告按对象计数，给出一个很高的兼容度百分比，但业务跑批数据对不上。根因往往不在“大功能不支持”，在求值时机、类型系统、三值逻辑这些末梢语义的边界差异——它们能通过语法翻译，却改变了执行行为。本文拆解六类末梢语义差异的典型表现，给出差分测试的落地方法：真实流量回放、按差异来源构造用例、发现一条差异固化一条回归用例。