docs: record DeepSeek second-round release

PROGRESS.md

@@ -148,6 +148,7 @@
 - [x] 论文库新增 DeepSeek-Coder/Coder-V2、ESFT、Prover-V1.5/V2 与 Engram 6 个节点，从 480 篇扩充至 486 篇。
 - [x] DeepSeek 专属 Chrome 断言通过：24 张账、10 次转向、60 节点、MLA 576 元素、FP8 角色、DualPipe、MTP、GRPO/DAPO/Dr.GRPO、R1 身份、键盘 tabs 与 390px 移动端均正确响应。
 - [x] Astro 类型检查、生产构建、21 个页面、1145 个站内引用和 14 个跨页锚点通过；DeepSeek 与既有十四专题共十五套本地真实 Chrome 回归全部通过。
+- [x] DeepSeek 二轮以源提交 `cd96dab`、不可变镜像 `20260729T031901Z-cd96dab` 发布；NAS、VPS/Tailscale、NPM、DNS、HTTPS、证书、门户、公开 Forgejo 与十五套生产 Chrome 回归全链路通过。
 
 ## 正在进行
 
@@ -257,6 +258,13 @@
 | 2026-07-29 | 论文库扩充到 480 篇 | 新增 30 个表示、位置、归一化、残差拓扑、激活函数与深层稳定性节点 |
 | 2026-07-29 | 表示深度首版用四个独立实验闭环 | Token 接口、位置几何、Norm/深度、Residual/FFN 分开操作；报告事实、数学推导与 toy model 永久分级 |
 | 2026-07-29 | 表示深度首版用不可变镜像 `20260729T023329Z-a2c9298` 发布 | OCI digest `sha256:93c88bf2…145a23`；复用 `12010→8080`、NPM host 31 / cert 41、门户 order 180 与公开 Forgejo；保留 `20260729T013530Z-cfd2367` 回滚 |
+| 2026-07-29 | DeepSeek 二轮按二十四张对象账与十次问题转向重建 | total/active、KV state、通信、数值角色、奖励偏差与长程状态不再压成单一“效率” |
+| 2026-07-29 | Grok DeepSeek 候选与正式证据永久分离 | 候选只负责问题召回；60 节点正式链只接受一手论文、DeepSeek 官方仓库和 K3 官方报告 |
+| 2026-07-29 | R1-Zero、正式 R1、蒸馏与后续复现分四种身份 | “无 reasoning SFT”不外推为无预训练先验；DAPO / Dr.GRPO 不冒充 DeepSeek 内部 R1 recipe |
+| 2026-07-29 | V4 与 K3 按状态机器而非 1M 标签对照 | CSA/HCA、mHC 与 KDA/MLA、AttnRes 分开；主模型 AttnRes 12 层 block 不与芯片 nano-model block size 2 混写 |
+| 2026-07-29 | 论文库扩充到 486 篇 | 新增 DeepSeek-Coder/Coder-V2、ESFT、Prover-V1.5/V2 与 Engram 6 个旁支节点 |
+| 2026-07-29 | DeepSeek 二轮用四个独立实验闭环 | 稀疏容量、MLA 缓存、V3 协同与 RL 偏差分别操作；精确公式、作者报告和 teaching model 永久分级 |
+| 2026-07-29 | DeepSeek 二轮用不可变镜像 `20260729T031901Z-cd96dab` 发布 | OCI digest `sha256:4bfb3faf…fa3968`；复用 `12010→8080`、NPM host 31 / cert 41、门户 order 180 与公开 Forgejo；保留 `20260729T023329Z-a2c9298` 回滚 |
 
 ## 未决问题