Sqlsure：给 AI 写的 SQL 做确定性语义检查，上线前揪出重复计数、关联键用错这类硬伤

Show HN: Sqlsure – deterministic semantic checks for AI-generated SQL

Sqlsure 是一个专门检查 AI 生成 SQL 语义错误的工具，不靠概率猜，直接按规则判断。它能抓出几种常见的坑：表连接时行数意外膨胀导致重复计数、聚合结果不满足可加性、关联键用错、以及违反数据权限策略的查询。作者拿它在 BIRD 和 Spider 这两个主流 text-to-SQL 评测集上跑了一遍，发现了真实存在的语义 bug，说明现有基准测试...

推荐理由：Sqlsure 这个工具抓的是 AI 生成 SQL 里那种“看着像那么回事，一跑就错”的语义 bug，比如 join 完行数莫名变多、聚合结果对不上。它不搞概率那一套，直接上规则判断，还在 BIRD 和 Spider 上验出了真问题，说明现有评测集可能漏了不少坑。我会先打个折：这东西对做数据管线的人很实用，但话题本身偏硬，出圈概率低，所以 R 轴没给分。整体 72 分放在 featured 档，合理。