Go 取消与原子库存：本批验证范围

本批新增 ContextTreeDemo 和 AtomicReservationDemo，放入 context、Go 内存模型、sync 包三章的对应小节。共有14个实验、19处嵌入、17个有实验的章节；这不是全书覆盖完成数。

已完成的本地检查

2026-10-14，208项 Node/jsdom 测试通过。其中新增34项，覆盖 context 的预算边界、精确到期、取消传播、首次 Err 保留、重置与卸载，以及库存实验的操作、预设、错误状态与返回值。库存纯模型穷举了固定两请求、两模式、库存0–3的132条完整交错路径。穷举只覆盖这个明确的有限模型。

已完成的真实环境验证

2026-10-14，提交 09216da33f470a09ae56a22c800362611eedf5c9 的完整CI通过两类独立验证：

• go-contracts：官方 Go 1.27.2，执行 tests/go 中的标准库契约测试，包含 -race 和 go vet。channel 屏障控制先后顺序，不靠 sleep 碰到超卖；context 的测试将取消信号与工作完成分开观察。
• build：Docker 构建启动、全部交互与正文渲染回归。新增浏览器脚本真实操作预算、取消、A/B交错和CAS重试，检查键盘、320/390/1400宽度、明暗结果态、实际章节嵌入和路由离开时清理计时器。

本地 Node 测试不能代替上述两项。Go标准库7项测试与-race/vet通过；浏览器真实操作、320px完整Err字段和三章嵌入通过。记录只针对上述提交，新增内容必须另行验证。

实验没有证明的事

浏览器没有运行 Go runtime。context 的虚拟时刻不是定时器精度或任务退出时间；原子库存的交错不是吞吐、调度概率或复杂无锁算法证明。原章已有 Go 运行记录也不会因为本批最小测试通过，就被说成全部重新执行过。