docs: record K3 second-round release

PROGRESS.md

@@ -155,6 +155,7 @@
 - [x] 完成 K3 二轮正文：30 个编号章节逐节覆盖架构、预训练、后训练、环境、系统、评测、案例与 XTML 附录，并与 DeepSeek / 17 个课程专题交叉链接。
 - [x] 完成 K3 八联交互实验：Delta Rule、bounded decay、Block AttnRes、LatentMoE payload、SiTU-GLU、Quantile Balancing、MOPD/partial rollout、hybrid prefix cache。
 - [x] K3 专属 Chrome 断言通过：32/21/100 内容计数、八个实验计算、键盘 tabs、事实纠错、桌面与 390px 移动端均无异常。
+- [x] K3 二轮以源提交 `b669615`、不可变镜像 `20260729T040336Z-b669615` 发布；OCI digest `sha256:498b7e43…31cdb3c`，NAS、VPS/Tailscale、NPM、DNS、HTTPS、证书、门户、公开 Forgejo 与十六套生产 Chrome 回归全链路通过；保留 `20260729T031901Z-cd96dab` 回滚。
 
 ## 正在进行
 
@@ -276,6 +277,7 @@
 | 2026-07-29 | K3 原生视觉事实回到 §2.4 / §3.3 核验 | 删除“先冻结语言模型再解冻”旧表述；明确 MoonViT-V2 从头训练，视觉/文本从开始共同 NTP |
 | 2026-07-29 | K3 Figure 1–16 / Table 1–5 全部建立课程视觉契约 | 每张图同时写支持范围与不可外推项；作者报告、论文、推导与 toy model 使用 R/P/D/T 标签 |
 | 2026-07-29 | K3 二轮用八个独立实验闭环 | Delta memory、BF16 decay、AttnRes、LatentMoE、SiTU、QB、MOPD/RL 与 prefix cache 分开操作，不合成伪“架构总分” |
+| 2026-07-29 | K3 二轮用不可变镜像 `20260729T040336Z-b669615` 发布 | OCI digest `sha256:498b7e43…31cdb3c`；复用 `12010→8080`、NPM host 31 / cert 41、门户 order 180 与公开 Forgejo；十六套生产 Chrome 回归通过，保留 `20260729T031901Z-cd96dab` 回滚 |
 
 ## 未决问题
 

research/K3_RESEARCH.md

@@ -321,4 +321,7 @@ MTP → EAGLE-3 draft + LK acceptance loss
 - [x] 同步 papers、roadmap、progress、首页发布记录；
 - [x] 添加 K3 专属 browser regression；
 - [x] 本地 K3 browser regression、Astro check 与 build 通过；
-- [ ] 生产全量验收与不可变发布记录。
+- [x] 生产全量验收与不可变发布记录：源提交 `b669615`，不可变镜像
+  `20260729T040336Z-b669615`，OCI digest
+  `sha256:498b7e437207e36bcb8ba08524c283860472474e00fc238f57e41c15631cdb3c`；
+  NAS / VPS / NPM / DNS / HTTPS / 证书 / 门户与十六套生产 Chrome 回归全部通过。