SQL 优化技术¶
这个主题沉淀 SQL 优化引擎本身的技术规范——状态机、约束、执行、控制流。来源：sql_opt 项目的技术文档归档。
已沉淀条目¶
| 文档 | 主题 | 来源 |
|---|---|---|
| 结果一致性验证与语义等价边界 | 四层比较、空结果、抽样与语义边界（provisional） | 结果一致性判断逻辑说明_develop.md |
| 优化效果指标与统计口径 | 覆盖、验证、复核、采纳及临时口径（provisional） | SQL大模型优化指标体系与计算方法.md |
| 时间基准与计时口径 | execute/fetch、采样、缓存与历史 v3 口径（provisional） | 时间标准_develop.md、v3计时与一致率说明.md |
| DDL 约束与索引 | DDL 安全约束 + 索引生命周期管理 | index-topic.md |
| 状态机 | SQL 优化状态机跳转规范 | state-machine-spec.md |
| 分布式适配 | 分布式数据库耦合点处理 | spec-distributed-adaptation.md |
| 审查轮与优化轮 | 控制台日志降噪 + 审查/优化轮解耦 | tech-spec.md |
| 规则验证与数据合成 | 候选规则、合成样本、匹配与原子性诊断 | IK1CK3 / PR #3 / #4 |
| 测试数据治理与稳定基线 | SQL、参数、环境、运行和结果证据的轻量治理 | origin/summer-intern |
待沉淀候选¶
- SQLite 存储设计方案（v2）— 见 04-knowledge-pending
- 审查未通过保持优化轨累加 — 见 04-knowledge-pending
- SQL 模板与参数变体验证方案 — 见 04-knowledge-pending
规则¶
- 本主题只放已实施或已有可复核分支证据的规范；未完成项必须标
provisional并写清限制。 - 只有设计、没有实现证据的内容继续留在候选区。
- 修改已沉淀文档需走 SSD 流程（更新 spec + 关联代码 PR）。