# MySQL手册核验记录

> 说明：本记录写于 ZIP 离线包退役前。相关 ZIP 已于 2026-10-27 删除，页面现只提供 Markdown 正文下载；原始核验结论仍然有效。

核验日期：2026-10-07。固定MySQL官方tag`mysql-8.4.0`，SHA`dc86e412f18b36ce271f791026714e8caa0ec919`。`git ls-remote`与浅clone的HEAD一致；选用8.4 LTS起点用于固定源码坐标，不宣称是最新安全补丁。

- 正文：27个实质章节；27张本地静态SVG机制图；30段固定SHA真实源码窗口。
- 全部节选逐字与源码checkout相应连续行窗口比较；路径、起止行、SHA256与固定GitHub链接记录在`source-manifest.json`。
- 检查窗口没有从块注释内部开始或结束；短窗口可能包含函数/控制块片段，完整函数由永久链接提供。
- 补充ReadView::prepare、ordered_commit提交队列与恢复checkpoint条件，支持正文中的关键字段和故障推演。
- HTML本地使用highlight.js11.11.1生成语法着色，运行时没有CDN库。SVG直接内联，同时保留单独文件。title和marker具有唯一ID，检查所有内部锚点与本地资源。
- 页面包含且只包含一份指定Umami统计；离线ZIP移除统计，包含完整页面、图、源码节选、Markdown、SQL步骤、核验脚本及GPL/高亮许可说明。ZIP未包含整个MySQL仓库或构建物。
- 静态核验脚本：`python3 docs/mysql/verify.py /tmp/codex-mysql-8.4.0`，本地路径仅用于证据核对，公开正文不依赖它。

## 动态验证限制

未编译或启动MySQL，未执行SQL实验、EXPLAIN、并发会话、复制搭建或故障注入。`lab.sql`与`sessions.md`中所有行为均标明预期，需在隔离MySQL8.4实例执行。页面浏览器渲染由主任务统一验收；本记录不虚构数据库实测。

不把read view当整表副本，不把binlog/redo/undo互换，不把write LSN当磁盘flush LSN，不把mtr提交当SQL提交，也不把RR普通BEGIN当无条件创建视图。两阶段提交恢复表列明可靠保存前提与客户端响应丢失窗口。

官方参考：源码repo及8.4手册的多版本、redo和GTID页面已读取核对；教程机制主体从固定源码独立推导，未复制官方文档全文。动态在线手册可能超过8.4.0实现细节。

主任务浏览器验收：修复390px手机视口下长源码文件路径造成的横向溢出，补充段落换行和表格内部滚动；公开与离线HTML同步。

机制图二次核验：第17图改为ReadView条件分支与早返回；第19图区分快路径成功、进入慢路径及等待/跳过/报错；第22图注明2PC和sync策略前提；第23图明确有序提交与线程自行提交分支。保留手机段落换行/表格滚动修复。章节27、图27、源码节选30不变。

## 2026年10月8日复审

本轮逐字核对30段源码与固定8.4.0 checkout；补充纯gap锁兼容性和插入意向锁边界。SQL实验仍未执行。