docs(versions): 回写批 7 的终态八闸与懒侧基线

依据 = `rulings.md` **§C59.2**（八闸：7 绿、第 ⑤ 闸懒侧真构建 exit 1 —— 本批终态真实读数）+ **§C59.3**（授权重冻）+ **§C59.4**（LOST = 1）+ **§C59.5**（§C49.4 作废 N = 0）+ **§C59.7/§C59.8** + **§C59.10**（T22 三处诚实纠错全部采信）+ **§C59.12**（T21 的回写须排在 T22 重冻之后）。
形态 = **纯追加**（在「八闸（T21 落库时…）」段的读数之后追加一块「🔻 批 7 终态回写」；该段三个原读数**逐字保留**）⇒ 本提交 **+30 行 / −0 行**。

【逐字对照：改了哪几行 / 原文是什么】
- **位点**：`v0.22` 批 7 节「八闸」段的读数行（原 `:787`）。**原文（保留，一字未动）**：`line-limits --full` **exit 0**「>600 硬限 **0**…」· `docs-check` **exit 0**（扫描 **281** / 检查 **181**…）· registry **exit 0**「**定义 311 / 注册 311 / 重复 0**」· **其余五闸本节不重跑**…🔴 **本批八闸的终态读数一律以 T22 为准。**
- **加注（新增「🔻 批 7 终态回写」块）**：
  · **① 第 ⑤ 闸（懒侧真构建）的三个时点**：`0a503cc8` 当时 **绿**（limit 636,243）→ **`c0bff722`（全批收口树）当时 🔴 红（exit 1）**：637,501 > 636,243 + 64 ⇒ 超 **1,194 B**；具名 3 条 = 未归族 `lowConfidence-CbMOBOyG.js` · `KnowledgePage-` 28,466 > 27,620 · `NotesPage-` 48,627 > 48,087 → **`55f502fa`（T22 重冻）之后 ✅ 绿**（limit 637,501 · `unlisted = []` · `fails = []` · 逐族红 0 · 首屏 105.95 kB）。
    🔴 **T21 本轮逐字复核了两份日志**（`tmp/t22/logs/g5-bundle-budget-realbuild.txt` 与 `…/refreeze/g5-realbuild-post-refreeze.txt`）⇒ 红/绿两侧读数均**非转述**。
    🔴 **并加注台账 §C47.4 的「7a 正式收口：八闸全绿」**：**该句在批 7 终态已不成立** ⇒ **原文保留、本注为准**；**这是 T22 的诚实纠错（§C59.10 第 2 条）**，不是笔误。⚠️ **§C47.4 在 gitignored 的 `rulings.md`（不在 `docs/**`）⇒ T21 无法就地加注**（写集硬边界）⇒ **本表即其 durable 更正**。
  · **② 懒侧基线的精确性质**（T21 读 `scripts/lazyBudget.json` 逐值复核）：总量 **636,243 → 637,501** · chunk 数 **37 不变** · **族数 37 → 38**（补登 `lowConfidence-` = 100 B）· `generatedFrom` 真值谱系 `cd800d63` → `950afd5a` → `c0bff722`；🔴 **闭合性质**：**各族实测之和 = 637,501 = 总量 = 总上限**（逐字节相等），而 **Σ 逐族上限 = 638,029**（高 528 B = `shift-` 的 **212 B 死预算** + 其它族 **316 B** slack）⇒ 🔴 **除 64 B 容差外零余量，不得读成「还有空间」**；**`shift-` 的 212 B 死预算登记为批 8 清理项**；✅ **`vendor-*` 五族上限一字未动**（58,784 / 208,585 / 41,161 / 79,915 / 50,622，实测 ≤ +2 B 落在容差内）⇒ **非回潮**。
  · **③ 三条诚实纠错**：卡 `V3` 的「LOST = 0」与「以开工基线为锚」**不自洽** ⇒ 🔴 **`LOST = 1`**（T3 `5cda5bdb` 经计划预授权的合法删除）· **`SHRUNK = 0`** · 「LOST = 0」读作「**无未归因的丢失**」；**净 +93**（221/2132 → 229/2225）· cargo 台账 **2348** vs 实测 **2354**（**差 +6，成因未判定、不许猜**；第 ⑧ 闸 = 2360 / 2354 / 0 / 6）· 🔴 **§C49.4 的 1 s 等待上限 ⇒ 作废（N = 0）**，**批 7 不声称放宽过任何等待上限**，登记批 8 输入。
  · **④ 其余闸与红集（标明来源）**：第 ④/⑥/⑦/⑧ 闸**引自 §C59.2 / T22 报告，T21 未独立复跑**；漂移红集 **JS 5 成员 + Rust 1**、🔴 **只有 W1 三件齐**（红时 1146 ms ≳ 1 s、绿时 401–415 ms）、**其余 5 个一律「未判定」**、**成员会漂移**；✅ **`90bb5f6a` 补评通过**（CONTROL 8/8 绿 ⇒ 自造变异体 7/8 红在具名断言；DOM 两处且仅两处差异 ⇒ **T18–T23 无第三次漂移**）。

【门禁读数（串行，工作树；与基线逐条对账）】
- `docs-check` ⇒ **exit 0** ·「扫描 **281** / 检查 **181**，五项全 ✅」⇒ 与基线 **281/181 逐字一致**
- `line-limits --full` ⇒ **exit 0** ·「>600 硬限 **0** · 301–600 档 **121** · 登记条目 **121**」⇒ 与基线**逐字一致**
- `check-command-registry` ⇒ **exit 0** ·「定义 **311** / 注册 **311** / 重复 **0**」⇒ 与基线**逐字一致**
- `git diff --numstat -- docs/versions/v0.22.md`（本提交口径）⇒ 见提交末尾读数；`git diff` 的 `^-` 行数 = **0**
- 🔴 **结构自证**：`#`–`####` 标题**子序列校验** = **被删/被改 0 处 · 新增 0**（HEAD 20 / CUR 20）；🔴 **另查「纯空白行删除」= 0 行**（本轮实施中我曾误删一个空行、**提交前自查发现并恢复** —— 这是「不看 diff 删除列之外还要看空白行」的又一次兑现）

【诚实边界】
- 🔴 **本提交只改 `v0.22`**；同轮的第二批追加（陷阱 5/6）与 `docs/standards/performance.md` 的同步是**后两条提交**（原子拆分；第二条用 §C18.2 的 **blob 构造**从本条之上叠加以保证「一个提交只做一件事」）。
- 🔴 **第 ⑤ 闸的「红 → 绿」跨越了两次提交**（`c0bff722` 的红读数与 `55f502fa` 的重冻）⇒ 引用时必须带时点；**不得**把「重冻后的绿」写成「全批一直绿」。

Author: Aparencia

docs/versions/v0.22.md

@@ -786,6 +786,37 @@
 
 `line-limits --full` **exit 0**「>600 硬限 **0**（棘轮内）· 301–600 档 **121** · 登记条目 **121**」· `docs-check` **exit 0**（扫描 **281** / 检查 **181**，五项全 ✅）· registry **exit 0**「**定义 311 / 注册 311 / 重复 0**」· **其余五闸本节不重跑**（`tsc` / vitest / `bundle-budget` / `bundle-eager-graph` / `cargo`）—— **T21 的写集只有 `docs/**`，对它们零影响**；**引用 T12/T20 的读数时必须标明来源与树**（§C42.3 M-2/M-3 的纪律）。🔴 **本批八闸的终态读数一律以 T22 为准。**
 
+> 🔻 **批 7 终态回写（2026-09-13 · T21；上段三个读数**原样保留**为「T21 落库时」的时点读数）** —— 全批收口件（gitignored）= `closing-review.md` · `task-22-report.md`（T21 本轮实测 **109,327 B / 693 行** 与 **41,469 B / 323 行**；控制方 §C59.1 报的 94,256 B / 28,796 B 是**更早的落盘时点值** ⇒ 🔴 **两处读数都带时点**）。
+>
+> **① 第 ⑤ 闸（懒侧**真构建**）的三个时点 —— 🔴 本批最有价值的一条读数**
+>
+> | 时点 | 第 ⑤ 闸 | 读数 |
+> |---|---|---|
+> | `0a503cc8`（T12 的 7a 段收口重冻）当时 | ✅ **绿** | limit **636,243** |
+> | **`c0bff722`（全批收口树）当时** | 🔴 **红（exit 1）** | 懒侧 **637,501 B > 636,243 + 64** ⇒ **超 1,194 B**；具名 3 条 = **未归族 `lowConfidence-CbMOBOyG.js`** · `KnowledgePage-` **28,466 > 27,620** · `NotesPage-` **48,627 > 48,087** |
+> | **`55f502fa`（T22 重冻）之后** | ✅ **绿** | limit **637,501** · `unlisted = []` · `fails = []` · 逐族红 **0** · 首屏 **105.95 kB `pass=true`** |
+>
+> - 🔴 **T21 本轮逐字复核了两份日志**：`tmp/t22/logs/g5-bundle-budget-realbuild.txt`（`totalBytes 637501` / `totalMaxBytes 636243` / `unlisted` **1 条** / `fails` **4 条** / `❌ 懒侧 gzip 预算超标（退出码 1）`）与 `tmp/t22/logs/refreeze/g5-realbuild-post-refreeze.txt`（`totalBytes` **=** `totalMaxBytes` **= 637501**、`unlisted: []` / `fails: []`、各族 `pass: true`）。
+> - 🔴 **加注台账 §C47.4 的那句「7a 正式收口：八闸全绿」**：🔴 **该句在批 7 终态已不成立**（`c0bff722` 树上第 ⑤ 闸真构建红）⇒ **原文保留、本注为准**；**这是 T22 的诚实纠错**（§C59.10 第 2 条，控制方采信），**不是笔误**。⇒ 引用一律写「**7a 段收口当时绿；全批收口树曾红；重冻后绿**」，**不得**只引「八闸全绿」。
+> - ⚠️ **§C47.4 的原文在 gitignored 的 `rulings.md`（不在 `docs/**`）** ⇒ T21 **无法就地加注**（写集硬边界 = 只改 `docs/**`）⇒ **本表即该句的 durable 更正**（已在报告里点名）。
+>
+> **② 懒侧基线的精确性质（T21 本轮读 `scripts/lazyBudget.json` 逐值复核）**
+> - `lazyTotalGzipBytesMax` **636,243 → 637,501**（+1,258 B / +0.20%）· `lazyChunkCountMax` **37 → 37（不变）** · **族数 37 → 38**（新增 `lowConfidence-` = **100 B**）· `generatedFrom` 的真值：**`950afd5a`（T12 重冻树）** —— 谱系 = **`cd800d63`(T9 批次中段) → `950afd5a`(T12) → `c0bff722`(T22)**（原写 `90bb5f6a` 与提交顺序不符，已由 T22 修正）。
+> - 🔴 **闭合性质（T21 复核）**：**各族实测之和 = 637,501 = `lazy.totalBytes` = `totalMaxBytes`**（**逐字节相等** —— 重冻后日志里 `totalBytes` 与 `totalMaxBytes` **同为 637501**）；而 **`Σ gzipBytesMax` = 638,029**（比总量高 **528 B**）= **`shift-` 族的 212 B 死预算**（该族 `chunkCount = 0`、实测 0、上限 212）+ **其它族保留的 316 B 正 slack**。
+> - 🔴 **结论逐字**：**除 64 B 容差外零余量** ⇒ **不得读成「还有空间」**；🔴 **`shift-` 的 212 B 死预算登记为批 8 清理项**。
+> - `vendor-*` **五族上限一字未动**（`canvas` **58,784** · `editor` **208,585** · `gsap` **41,161** · `katex` **79,915** · `md` **50,622**；T21 逐值复核一致），实测 **+2 / 0 / +1 / 0 / +1**（**全部落在 64 B 容差内**）⇒ **非回潮**（§C46.4 条件⑤ 的 STOP **未触发**）。
+>
+> **③ 三条诚实纠错（逐条落账；🔴 全部归到计划卡 / 台账，不是实施者）**
+> 1. **卡 `V3` 的「`LOST = 0`」与「以开工基线为锚」不自洽**（§C59.4）：T3 的合法删除**就在锚区间内**，逐文件对拍**必然**计入 LOST ⇒ 🔴 **正确表述 = `LOST = 1`**（`components/structuredBlocks.test.ts`，T3 `5cda5bdb` **经计划预授权**的合法删除）· **`SHRUNK = 0`** · 「`LOST = 0`」应读作「**无未归因的丢失**」。**用例对账**：开工基线 `681e73c6` **221 文件 / 2132**（passed 2129 / pending 3，与 §C6.2 逐字吻合）→ 终态 **229 / 2225**；**净 +93** = 新增 9 文件 Σ81 + 增长 7 文件 Σ20。
+> 2. **台账 cargo `2348 passed` vs 实测 `2354 passed`（差 +6）**（§C59.10 第 3 条）⇒ 🔴 **逐字保留「成因未判定」**，**不许猜**。**第 ⑧ 闸实测**：**2360 run / 2354 passed / 0 failed / 6 ignored**（exit 0）。
+> 3. 🔴 **§C49.4 的「统一放宽 `W1`/`W2`/`P1` 的 1 s 等待上限」⇒ 作废（N = 0）**（§C59.5）：T22 实测**一个都没放宽** ⇒ 🔴 **批 7 不声称放宽过任何等待上限**；该项**从批 7 待办移除**，登记为**批 8 输入**（若批 8 仍要动，**必须先补 T17 之前的对照证据**）。
+>
+> **④ 其余终态读数（T21 未独立复跑者逐条标明来源；§C42.3 M-2/M-3 的纪律）**
+> - 第 ①②③ 闸在本轮**由 T21 自己的提交前实测复核**：`line-limits --full` **0（121/121）** · `docs-check` **0（281/181）** · registry **0（311/311/0）** ⇒ **逐字一致**。
+> - 第 ④ 闸 `bundle-eager-graph` **0（111 文件 / 7 包）** · 第 ⑥ 闸 `tsc --noEmit` **0** · 第 ⑦ 闸 vitest **冷 1 / 热 1 / 第 3 次 0**（**229 文件 / 2225 用例**，红集 = **W1**）· 第 ⑧ 闸 cargo **0（2360 / 2354 / 0 / 6）** —— **引自 §C59.2 / `task-22-report.md`，T21 未独立复跑**（需真构建与全量跑）。
+> - **漂移红集**（§C59.7）：**JS 5 成员**（`SessionDetailPanel` **W1/W2** · `NoteReadingColumn.views` **F2** · `SessionViewHost` **H4b** · `registryResolution` **A1** · `KnowledgeGraphView`）+ **Rust** `ffmpeg::…large_output`（**10 s 墙钟签名**）；🔴 **只有 W1 三件齐**（冷红 / 热红 / 第 3 次绿；**红时该用例 1146 ms ≳ 1 s 上限、绿时 401–415 ms**）⇒ 判**负载敏感红**；**其余 5 个一律「未判定」**；**成员会漂移**。⇒ 本节「诚实代价」里的红点集合段**据此不变**。
+> - ✅ **`90bb5f6a`（T19 的 U2 提交）补评：通过**（§C59.8）：「**生效档 ≠ 本地映射档**」构造成功（talking-head → 本地 `low` vs 后端记忆 `rich`）：CONTROL **8/8 绿** ⇒ 自造变异体 **7/8 / exit 1 / 红在具名断言**；**DOM 逐字节复核 = 两处且仅两处**声明差异成立 ⇒ **T18–T23 无第三次漂移**。
+
 **规格漂移纠正（逐处，原文保留 + 就地加注）**
 
 | 漂移 | 落点 |