第35章读者复审

2026-10-25。正文：用SQL表达语义查询。

主线与衔接

承接文件系列结束后的查询入口专题，复用第32章已有QM，不新建环境或再介绍旧库。开篇先说明当前为AI转换路线，避免读者误认为SQL被直接交给引擎解析。

顺序为读取模型 → 给出SQL → 展示转换后的DSL → 校验执行 → 对照模型规则 → 检查转换遗漏。准备与查询分开，两个提示词各表达一个阶段的目标。日期、业务单位和客户编码不要求读者凭空知道。

精简与重点

• 用一组客户排名贯穿SQL、DSL与结果，不复述第三、四章整套概念。
• 物理SQL只节选模型展开部分，完整文本和分页说明留在实操记录。
• HAVING只补一条实际追问，强调计算阶段，不重教筛选语法。
• 未公开字段的AI审查和引擎DSL校验分开表述；不把数据库入口用错称作引擎BUG。
• 不宣称有两种原生查询前端或确定性SQL编译器，等价性核对留给下一章。

实测与边界

0.1.42 / CLI 0.1.25，18368，file-legacy。当前Codex会话实际读取元数据并生成4组SQL/DSL，4项语义执行与1项字段拒绝通过；总量83/477.53、排名、HAVING及状态范围独立核对。另计1次解释和2次数据库探查，其中1次预期失败。

原模型、旧库、注册表与绑定摘要一致，没有重启原服务；18067未操作。解释响应为RECOMPILED，不冒充历史执行轨迹。没有另开干净AI会话或恢复此前暂缓的多次生成评测。

验收证据 · 实操 · 正文与源码静态核对。完成后等待用户审阅，不开始第36章。

第二轮：整体阅读与后续规划

2026-10-25，按用户要求再次整体复审。主线与顺序保留，重点修正CLI与引擎的职责表述：SQL表达意图，Codex转换，CLI提交，Foggy校验并编译，数据库计算。将这一链路写入开篇，合并重复说明，两个提示词保持不变。

正文SQL、DSL、物理SQL节选和结果均保留原实测版本；本轮只对照已有证据核对，没有重新执行引擎查询，也没有改模型、数据、脚本或请求。静态检查另见本轮记录，原首次检查保留。

结尾改为承接第36章“SQL转成DSL后，怎样核对查询含义”。系列大纲已细化固定基准、转换执行、平均值/空集/别名诊断等案例。第35章的排名和HAVING用例直接复用，避免重新讲语法；新案例尚未实操，不写成双原生入口等价性或LLM生成正确率结论。当前仅继续规划，未写第36章正文。