2026-10-21。当前 Codex 会话真实调用公开 Foggy CLI，先获取实时模型说明，再 validate、execute，使用只读 SQLite 原始记录与 Python Decimal 独立核对。未另开干净会话验收短提示词；未执行 Text-to-SQL 对比评测。
http://127.0.0.1:18067，Namespace chinook，数据源 chinook-sqlite，原 Chinook v1.4.5 副本。billingState，在原 Invoice QM 公开字段；创建、校验刷新与查询分开。models/dicts.fsscript，覆盖原 Invoice 全部 24 种国家；Invoice TM 的 billingCountry 增加 dictRef。Invoice QM 原有国家引用不变。| 范围 | 结果 |
|---|---|
| 第九章文字包含 | like United 编译参数为 %United%，2012 年 2 张英国账单，ID 261、283 |
| 排除美国/加拿大 | not in 返回 53 张，与原行 ID 集合一致 |
| 未填写/已填写州 | is null 39 张、is not null 44 张；合计 83 张 |
| 文本 0 / 空字符串 | 文本 0 无匹配；空字符串等值在 validate 拒绝，未 execute |
| 第十章条件聚合 | 金额 >= 10：15 张、216.08；IF 编译为 CASE WHEN，未手工提供物理 SQL |
| 第十二章 DISTINCT | 2012 年 20 个不重复国家，total=20；和 Python 原值集合一致 |
| 普通分组与完整总计 | 20 国合计 477.53、83 张，withSubtotals 追加 grandTotal，total 仍为 20 |
| 分页总计 | limit=5 返回 5 行数据 + 1 行 grandTotal，为 137.61、25 张；total 仍为 20。证明该路径按返回页汇总，不是全范围总额 |
| 两级小计 | 国家/客户共 47 行，国家 subtotal 20 行，grandTotal 1 行；各国、总额独立核对 |
| 第十五章字典原值/标签 | USA 与“美国”等值结果完全相同，21 张；SQL 绑定值为 USA |
| 显示与名称筛选 | billingCountry$caption 返回“美国”；该列等值筛选也返回同样 21 张 |
| 集合与未收录名称 | in [美国, 加拿大] 返回 30 张；Canada 原值返回 9 张；“美利坚”未收录，校验成功、执行空结果 |
本轮共 18 项正常执行（含空结果），另 1 项预期校验拒绝。字典 Markdown 中有 id、value/label 与名称字段；中文标签没有替换结果中的原始编码。未测试任意同义词、重名标签、大小写匹配差异及所有字典操作符，不作通用承诺。
模型修改后，复跑原维护题库 7 项正常查询，结果与历史基线 items 完全相同；原错误字段仍在校验阶段返回 FIELD_NOT_FOUND。两项人工回答审阅题继续未执行。权限隔离服务未重启或复测。
lab/queries/basic-supplements/；响应和命令：lab/evidence/basic-supplements/，其中 commands.jsonl 保存公开 CLI 参数与退出码。09-empty-validate.json 保存空字符串错误，下层中文 message 有编码异常，原样留存；不编造更清晰的引擎诊断。python lab/checks/basic-supplements.py，重放 18 项查询与 1 项预期拒绝；再执行 python lab/checks/verify-basic-supplements.py，核对原始数据、字典、原题库及变更范围。这些脚本只复跑已有模型，不安装、改模型或启动服务。初始 before-hashes.json 保留补充前快照，不随重放覆盖。运行目录为本资料项目根目录。
原维护章顺延第十六章，chapter-15 历史证据和脚本保留旧编号；其中“其他九个文件不变”等断言只描述当时维护阶段，不应用来否定本轮已授权的新增字段与字典。