MoteDB 作者复盘：用差分测试统一11处SQL谓词实现并揪出隐藏分歧

MoteDB 作者复盘在 Rust 嵌入式多模态数据库中把11处重复的 SQL 比较语义统一为单一模块的过程，先写特征测试锁定现状，再建差分测试把随机谓词跑过9条执行路径并要求结果一致，第一天就抓到7个已发布的 0.17 中的既有分歧，包括 NOT (flag IN (0,1)) 因裸 == 遇 NULL 返回全部行的三值逻辑泄漏。