docs(specs): 收窄 NoteEvidenceTrack 的实测域并补读数时点

依据 = 独立全批复核 + 控制方独立复现的两条入库文档缺陷（本单元受派修补）。
形态 = **原文 + 就地加注**（两条被更正的原句**逐字保留**）⇒ 本提交 **+5 行 / −0 行**。

【逐字对照：改了哪两行 / 原文是什么】
1. **位点 = §11-6 的批 7 收口注（`:901`）** —— **原文（保留）**：「> - **实测（批 7 独立复测）**：全仓 `NoteEvidenceTrack*` = **0 处 / 0 文件**（PROD 与 TEST 双侧；负控 `zzz_no_such_symbol_zzz` = 0）⇒ **不得**读成「已交付」。」
   **加注**：🔻 **口径更正** —— 「**全仓**」是**字面假命题**（**包含本行自身** ⇒ 自我指涉）。🔴 **T21 于 `53bd0759` 实测**（入库域 = `git ls-files`，**1,614** 文件；口径 = 行含子串，剥注释抹等长空白保偏移）：**`app/src/**`（生产 + 测试）= RAW 0 / 剥注释 0 / 0 文件** ✅ · **`app/src` 之外 = RAW 16 / 剥注释 6 / 3 文件，全部在 `docs/**`**（**含本行自身**）。⇒ **正确表述 = 「`app/src/**`（生产 + 测试）= 0 处 / 0 文件」**；`app/src` 之外的文档提及**不是实现**；**「全仓」一律按本注收窄读**（本页 `:538` 早已按 `app/src/**` 写 ⇒ **两处现口径一致**）。
   并附 ⚠️ **探针卫生教训**（本轮实测复现）：**阴性对照 `zzz_no_such_symbol_zzz` 在入库域命中 7 行 / 剥注释 5 / 3 文件** ⇒ 🔴 **对照串被自己的产物污染** ⇒「阴性对照一旦入库就不再有效」；**阳性对照** `useTriTrackAlign`（`app/src`）= **17 行 / 剥注释 12 / 6 文件** ⇒ 非假 0。
2. **位点 = §4.3 的批 7 收口注（`:242`）** —— **原文（保留）**：「…（**正控** `tone="ink-3"` = **201 处 / 94 文件** ⇒ 非「假 0」…）…」
   **加注**：🔻 **补时点** —— 该读数**在 `fb73e313` 那棵树上逐字可复现**（侦察单元已证），此后 `b72d4709`（T20 的六条展示面）与 T23 又加了文件 ⇒ **数继续变**。🔴 **T21 于 `53bd0759` 用自己的仪器复测**（入库域 = `git ls-files`；口径 = `app/src/**` 的 `.ts`/`.tsx` 内子串 `tone="ink-3"` 的出现次数）：**PROD 214 处 / 99 文件** · **TEST 2 处 / 1 文件** · **全树 `app/src` 216 处 / 100 文件**。
   🔴 **纪律逐字**：**该数随时点变化，引用必须带时点（并带仪器与域）**；⚠️ **不得**把 `216/100` 当「真值」（**它同样会漂**），也**不得**把 `201/94` 当错值（它是**时点值**）。

【门禁读数（串行，工作树）】
- `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 -- <规格>` ⇒ **5 / 0** · `^-` 行数 = **0** · 🔴 **纯空白行删除 = 0 行**
- 🔴 **结构自证**：标题**子序列校验** = **被删/被改 0 处 · 新增 0**（标题 51）

【诚实边界】
- 🔴 **我的 `216/100` 与控制方复核单元的 `222/104` 不一致**（差 6 处 / 4 文件）——**仪器与域的差异**：我用「入库域 `git ls-files` + 子串 `tone="ink-3"`」，对方的口径未逐字给出。⇒ 🔴 **本注把两者都写成「某时点 + 某仪器的读数」，不裁定谁是真值**（这正是本条要立的纪律）。`201/94` 的时点可复现性引自侦察单元，**T21 未独立复现该棵树的读数**。
- 🔴 **`app/src` 之外的 16/6 计数含 gitignored 内容吗？** 不含 —— 入库域 = `git ls-files`；若把 `.superpowers/**` 的导出树算进来会得到数量级更大的数（T21 首版仪器因此得 RAW 1,246 / 剥注释 368，**已作为仪器缺陷在报告里登记并修正**）。

Author: Aparencia

docs/superpowers/specs/2026-09-11-frontend-redesign-design.md

@@ -240,6 +240,8 @@
 >   · 墨度侧**不新增 token**：审校模式是**档位覆盖**（条件 ③ 逐字「全部升到 ≥4.5:1」），不是第五档墨度。
 > - **⑤ 实现层（一次覆盖，不改调用点）**：**纯 CSS 一层**完成 —— `html[data-proofread="on"]` 下把 `--ed-ink-4` 的值**指向 `--ed-ink-3`**（`ui/tokens.css` 的变量覆盖；`.ed-text--ink-4` 的规则一个字不用改）⇒ 「全部升到 ≥4.5:1」由**变量重绑**一次兑现，调用点零改动、零逐处判断。
 > - **⑥ 今日实测（本节的两条读数）**：`tone="ink-4"` 的**生产调用点 = 0 处 / 0 文件**（**正控** `tone="ink-3"` = **201 处 / 94 文件** ⇒ 非「假 0」；**负控** `zzz_no_such_symbol_zzz` = 0）；`ink-4` 的**任意形态**（含类型联合 / token 定义 / 对比度判据 / 注释）在生产侧 = **5 处 / 4 文件**，**全部**是「`ink-4` 是过渡态、不得承载唯一关键信息」这类**禁止性**表述或定义，**没有一处是把 `ink-4` 用在元素上**。仪器：`.superpowers/sdd/2026-09-12-frontend-redesign-batch7-unwired/tmp/t20/probe-spec-readings.mjs`（只读；口径 = `app/src/**` 的 `.ts`/`.tsx`，PROD 排除 `*.test.*`）。
+> - 🔻 **补时点（2026-09-13 · T21 补轮；上面那条读数的**数**不动，只补时点与漂移声明）**：上面写的正控 `tone="ink-3"` = **201 处 / 94 文件** 是**某个时点**的读数 —— 🔴 **它在 `fb73e313` 那棵树上逐字可复现**（侦察单元已证），此后 `b72d4709`（T20 的六条展示面）与 T23 又加了文件 ⇒ **数继续变**。🔴 **T21 于 `53bd0759` 用自己的仪器复测**（入库域 = `git ls-files`；口径 = `app/src/**` 的 `.ts`/`.tsx` 内**子串 `tone="ink-3"` 的出现次数**）：**PROD（排除 `*.test.*`）= 214 处 / 99 文件** · **TEST = 2 处 / 1 文件** · **全树 `app/src` = 216 处 / 100 文件**。
+> - 🔴 **纪律逐字**：**该数随时点变化，引用必须带时点（并带仪器与域）**。⚠️ **不得**把 `216/100` 当成「真值」—— 它**同样会漂**；也不得把 `201/94` 当错值 —— 它是**时点值**。（本轮另见批 7 的「贴边件读数必须带时点」与「数字带时点」两条纪律，同源。）
 > - 🔴 **不得合并结案**：条件 ③ 是**环境层第 ③ 件之外的另一件事** —— 不能用「做了 `lowConfidenceClass`（未确认段落墨度起伏）」宣称本条已兑现（原文 §4.3 批 6 加注已逐字记载：`ink-4` 与它**没有实现关系**）。批 7 对 `lowConfidenceClass` 的加宽（生产调用点 1 → 2）**不改变**本条状态：**仍是未实现**。
 
 ### 4.4 剪报底纹的防御性规则
@@ -900,6 +902,9 @@
    > - 🔴 **本条验收仍按批 5 的读数成立**（**2 ≥ 2**）：笔记视图键终态 = `["raw","cardflow"]`（`app/src/views/registry.ts` 的 `FROZEN_VIEW_KEYS.note`），**本节不改变这个数**。
    > - **实测（批 7 独立复测）**：全仓 `NoteEvidenceTrack*` = **0 处 / 0 文件**（PROD 与 TEST 双侧；负控 `zzz_no_such_symbol_zzz` = 0）⇒ **不得**读成「已交付」。
    > - **批 8 输入**：§7.4 的实现 + 它的两条红线裁决（段级身份 / 新 command）。
+   > - 🔻 **口径更正（2026-09-13 · T21 补轮；上一行的**实测域**收窄，原文保留）**：上一行逐字写的「**全仓**」是**字面假命题** —— 它**包含本行自身**（本行就含该串）⇒ **自我指涉**。🔴 **T21 于 `53bd0759` 实测**（入库域 = `git ls-files`，**1,614** 文件；口径 = 行含子串，剥注释抹等长空白保偏移）：**`app/src/**`（生产 + 测试）= RAW 0 行 / 剥注释 0 行 / 0 文件** ✅ · **`app/src/**` 之外 = RAW **16** 行 / 剥注释 **6** 行 / **3** 文件，**全部在 `docs/**`**（按顶层目录 `docs:16`）—— **含本行自身**。
+   > - ⇒ 🔴 **正确表述**：**「`app/src/**`（生产 + 测试）= 0 处 / 0 文件」**（这才是「实现未做」的**有效证据域**）；**`app/src` 之外仍有 16 行 / 剥注释 6 行的文档提及**，那**不是实现**。**上句的「全仓」一律按本注收窄读**（本页 §7.4 的 `:538` 早已按 `app/src/**` 写，**两处现口径一致**）。
+   > - ⚠️ **探针卫生教训（本轮实测复现）**：该声明的**阴性对照** `zzz_no_such_symbol_zzz` 在**入库域**命中 **7 行 / 5 行（剥注释）/ 3 文件（全在 `docs/**`）** ⇒ 🔴 **对照串被自己的产物污染**（它被写进了报告与文档）⇒ **阴性对照一旦入库就不再有效**；改用**每次现造的随机串**，或**把对照域明确限定在 `app/src/**`**。（阳性对照 `useTriTrackAlign` 在 `app/src` = **17 行 / 12 行（剥注释）/ 6 文件** ⇒ 非假 0。）
 7. **47 条未接线命令逐个有结论**，无「不知道」。
    > **进度（批 1 收口，2026-09-12）**：47 条中 **22 条已删**（含 #41 改判）、**25 条处置已定但未执行**（补 UI 12 → 批 7 · 登记不排期 7 → 批 7/无期 · 撤下 IPC 3 → 批 7 · 有意保留 3 → 无期）。**无「不知道」**。批 1 计划 §现状普查第三节给出 47/47 的逐条处置表；删除后复算 = registry 312 / 前端零引用 **25** 条（= 47 − 22，逐条与上列归属一致）。
     > **进度（批 7 收口，2026-09-13）**：registry **313 → 311**（−3 撤下 IPC + 1 新增 `remember_video_profile_tier`）· 前端零引用 **24 → 11**（**实测值见收口报告**；口径 = 上格那 47 条中**仍在 registry 者 22 条**里**前端生产零引用**的条数；仪器 = 五形态并列带引号定界字面量探针，正控 `invoke(` 命中 **68** 个生产文件、负控 **0**；`kb_search` 已交付的 1 条不计入）· **本次加注不改上格原文**。