docs: record FlashKDA execution release

PROGRESS.md

@@ -168,6 +168,7 @@
 - [x] RTX 5090 正确性闸门通过：one chunk、partial tail、multi-chunk、96 heads 与 varlen 共 6 组，FlashKDA output / final state 和官方 `torch_ref.py` 逐元素完全相等，max absolute error 0。
 - [x] RTX 5090 K3 形状受控计时完成：fixed / varlen、BF16 / no-state / FP32 state 共 1,800 个 CUDA Event samples；fixed BF16 mean 2.6210 ms、P95 2.6437 ms，varlen BF16 mean 2.3335 ms、P95 2.3574 ms。
 - [x] 可复现 Dockerfile、运行脚本与机器可读 JSON 接入开源树；网站第四视图把作者 H20/GB200 表、本机 RTX 5090 值、exact suite、构建链、synthetic router 和 `A_log` 未决冲突分开显示。
+- [x] K3 FlashKDA 执行里程碑以源提交 `2ef846f`、不可变镜像 `20260729T053852Z-2ef846f` 发布；OCI digest `sha256:08ad5b55…32e6`，NAS、VPS/Tailscale、NPM、DNS、HTTPS、证书、门户与十六套生产 Chrome 回归全链路通过；保留 `20260729T044605Z-be2b291` 回滚。
 
 ## 正在进行
 
@@ -194,6 +195,7 @@
 |---|---|---|
 | 2026-07-29 | K3 FlashKDA 在隔离 CUDA 13.0 / glibc 2.39 构建并回到 RTX 5090 执行 | 主机头文件 ABI 问题与 GPU 架构支持分离；wheel checksum、Dockerfile 与执行 JSON 可审计 |
 | 2026-07-29 | FlashKDA 本机实测永久与作者 H20 / GB200 表分账 | 6/6 exact 与 1,800 个 latency samples 可称 X；未跑本机 FLA 就不计算本机 speedup |
+| 2026-07-29 | K3 FlashKDA 执行里程碑发布到既有 `llm-atlas` 链路 | `2ef846f`、不可变镜像、NAS 12010→8080、NPM 31 / cert 41、门户 order 180 与十六套生产回归闭环 |
 | 2026-07-28 | 网站命名为 **LLM Atlas / 大模型技术全景** | 既能容纳 K3 深读，也能承载完整 LLM 课程 |
 | 2026-07-28 | K3 作为“汇流点”，不是课程起点 | 初学者可以先学基础，高阶读者可以从 K3 反向跳转 |
 | 2026-07-28 | 优先重绘论文图并标明“简化/改绘” | 图可缩放、可交互，也减少脱离上下文复制论文图片 |

research/K3_ARTIFACT_AUDIT.md

@@ -445,12 +445,12 @@ src/data/k3-flashkda-runtime.json
 
 ## 11. 发布与回归证据
 
-- 源提交：`be2b291`；
-- 不可变镜像：`docker.k1412.top/wuyang/llm-atlas:20260729T044605Z-be2b291`；
-- OCI digest：`sha256:99aa953e419d537bc03127616546d201bc25624498f892088e69cc633bd00cdf`；
+- 源提交：`2ef846f`；
+- 不可变镜像：`docker.k1412.top/wuyang/llm-atlas:20260729T053852Z-2ef846f`；
+- OCI digest：`sha256:08ad5b550b3a174135cc445f5117cc2740935bee1155f2feb3e81ac7b5b232e6`；
 - NAS：Compose Manager project `llm-atlas`，`12010 → 8080`，容器 health `healthy`；
 - 代理：NPM host `31`，certificate `41`，forward `100.94.16.3:12010`；
 - 公网：DNS `93.179.98.23`，HTTP → HTTPS 301，`/healthz` 与关键静态资源 200；
 - 门户：`LLM ATLAS` / `projects` / order `180`；
-- 回归：16 套生产 Chrome 脚本全部通过，包含 K3 四视图、键盘 tabs、桌面和 390px 移动端；
-- 回滚镜像：`20260729T040336Z-b669615`。
+- 回归：16 套本地与 16 套生产 Chrome 脚本全部通过；K3 覆盖作者/本机双 benchmark、local case/state、6/6 exact、键盘 tabs、桌面和 390px 移动端；
+- 回滚镜像：`20260729T044605Z-be2b291`。