Skip to content

Commit e719894

Browse files
committed
docs(versions): 补计划错误与假读数归因
1 parent c7ef9ca commit e719894

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎docs/versions/v0.22.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -662,7 +662,7 @@
662662

663663
**过程中纠正的计划错误(逐条带读数与出处)**
664664

665-
① **T3:计划在 `.ts` 文件里写 JSX** ⇒ 不可编译(9 条 `tsc` 错误 TS1005/TS1161)⇒ 改用 `createElement`(仓内既有 7 处 `.ts` React 测试范式)· ② **T6:计划 V5 的「jsdom 下」与 Files 表的「node 环境」矛盾** ⇒ 采纳 Files 表(`intensity.test.ts` 不写 jsdom 头),**连带硬要求 T7 补 jsdom 判据** · ③ **T8:计划表 5 遗漏 `style-seams:188` 的同族断言**(T8 STOP 请裁 ⇒ 追认;T8 的做法是「先 STOP 不擅改未授权断言」的**正面实例**)· ④ **T12:计划 `eco { transform: none }` 与 Files/V2 矛盾**(档位块不得新增私有 `--ed-*` 且不得反转无障碍优先级)· ⑤ **T12:Files 表 vs V2 的门禁口径矛盾** · ⑥ **T13 / T16 的预期值过期**(T16 计划预期 `style-seams 288 / motion-coverage 147`,实测 **299 / 186**)· ⑦ **T20:计划 V2 在单测里调 `review_card` 不可执行**(tauri 2.11.5 的 `State<'r,T>` 字段私有、无 `From<&T>`、未开 test feature ⇒ 全仓 `tauri::test` 0 命中)⇒ 按仓内 inner 约定搬进 `review_card_inner` · ⑧ **T20:控制方的「零新增文件」与计划自身的兜底互斥**(R17.2 的**派发错误**)· ⑨ **T4:V1 的「两半互证」不成立 + ③ 无法单独成立** · ⑩ **T14:计划 G1 的新断言原文有**假红洞****(`/\d+\s*ms|…s/` 会把 `var(--ed-dur-micro, 120ms)` 判成裸值)—— 改用 `withoutTokenVars` 先剥,双向变异证明 · ⑪ **T18:计划的 `aria-pressed` 不可满足 / Step 5 不可交付 / M2 预测为假**(`App.tsx` 596/600 + `ClassroomCapturePanel.tsx` 298/300 ⇒ 无生产调用点;`LiveBar` 的挂载并入 T19)· ⑫ **T21:计划 Step 3 自相矛盾**(点名 `scopeDue` 而文案取 `totalDue` ⇒ 选组过滤时分叉;T21 未擅改既有文案 = 正确)· ⑬ **T22:计划的跨任务互证不成立** · ⑭ **T23:V1 冗余项 + `timestamp_ms` 是块**末**(不是块首)** · ⑮ **T24:计划的注册表类型落点不可行 + V3 的顺序探针** · ⑯ **T26:V1 不可满足** · ⑰ **T27:计划的 Files 表未列 `TriTrackAlign.css`** · ⑱ **T28:V5 与 V7 自相矛盾、且 V7 对 `inline` 元素无效**(段正文是 `<span>` ⇒ `transform` 无效 ⇒ 「显影必须挂段落行」;这是本批最有价值的实测之一:**一个在 jsdom 里全绿、在浏览器里完全看不见**的判据形态)· ⑲ **T29:计划 V3 的源序改判**(相位块必须在档位块之前)· ⑳ **T30 V6 / T31 M7 是等价变异体**(诊断后换体才红)· ㉑ **T32:无计划错误**(唯一一条)· ㉒ **T33:计划 Files 表写 `useColumnFlip.test.ts`,而该文件必须渲染组件** ⇒ `.ts` 装不下 JSX(同 ① 一类)· ㉓ **R55.5 的两条计划缺陷**(V1 空真 · V9 的「1770 用例」已过期)· ㉔ **R58.3:`useColumnFlip.test.ts` 同类缺陷(= ㉒)** · ㉕ **波 A 的 G-1 变异预测为假**(批 5 D 表 `:1772` 与批 6 计划 `:1214`;代守名单更正为 `A4① + A4② + G1①③ / G2① / G4`)· ㉖ **G-3 的变异目标路径不存在**(计划点名 `views/session/SessionRawView.tsx`,T15 代以 `SessionProofView`)· ㉗ **T15/T16 的守卫自证缺口(4 条)** 与 **T15 的「F9 无测试级牙」**(只由命令级零 diff 代守)· ㉘ **T11 的 V1 M1 期望在 `paused` 下不成立** + **V2 的 M2 归因不成立**(paused 上绝对 seek 与方向无关 ⇒ 拆成 V2a/V2b/V2c)· ㉙ 🔴 **控制方的 3 处引述错误**:**(a)** `motion.md` 的 `=== 1`(`motion.md` **全 4 版扫 `=== 1` 命中 0**,该字面只在计划 `:580`/`:1009`)· **(b)** 追加 C 的前提为假(`motion.md` **从无**「微小曲线差」措辞,且 `:85` 是规格 §8.3 的**逐字表行、不许改**)· **(c)** R29.2 的「12/12」实测为 **6/6**(以实测为准)· ㉚ 🔴 **控制方的 2 处派发错误**:**(a)** R17.2 的「零新增文件」过紧约束(与计划兜底互斥)· **(b)** R33.2 的 **T16 派发早于依赖落定**(`motion.css` / `Text.css` / `motion-coverage.test.ts` 当时仍在飞 ⇒ T16 登记的是工作树口径;**二次刷新并入 T35**)· 另**控制方 1 处裁决错误**:R12.1 判「取 `ed-text--low-confidence` ⇒ 零既有断言改动」**漏了 `structuredBlocks.test.ts:84`**(它是改类的**必要连带**)⇒ 追认为 **G19** 授权。
665+
① **T3:计划在 `.ts` 文件里写 JSX** ⇒ 不可编译(9 条 `tsc` 错误 TS1005/TS1161)⇒ 改用 `createElement`(仓内既有 7 处 `.ts` React 测试范式)· ② **T6:计划 V5 的「jsdom 下」与 Files 表的「node 环境」矛盾** ⇒ 采纳 Files 表(`intensity.test.ts` 不写 jsdom 头),**连带硬要求 T7 补 jsdom 判据** · ③ **T8:计划表 5 遗漏 `style-seams:188` 的同族断言**(T8 STOP 请裁 ⇒ 追认;T8 的做法是「先 STOP 不擅改未授权断言」的**正面实例**)· ④ **T12:计划 `eco { transform: none }` 与 Files/V2 矛盾**(档位块不得新增私有 `--ed-*` 且不得反转无障碍优先级)· ⑤ **T12:Files 表 vs V2 的门禁口径矛盾** · ⑥ **T13 / T16 的预期值过期**(T16 计划预期 `style-seams 288 / motion-coverage 147`,实测 **299 / 186**)—— 同族三条:**T19 的预算过期**(计划给相位块 **≤+40 行**,实测 **+42** ⇒ `motion.css` **275 → 317**,越过 R11.8 的 ≤300 自律线;`.css` 不在门禁视野故不阻塞)· **T23 的读数更正**(R5.5-b 写 `audio_store.rs`「**213 行**」实测 **212**;`recon-a` A2 的「全仓 `58px` **0 命中**」在本计划者仪器下是 **2 命中** —— 两处都是 `SelectionActionMenu.test.tsx` 的 `258px` **子串** ⇒ **生产代码仍 0 处裸 `58px`**)· **T16 的关口读数**(人工块二次刷新的范围由「1 条」更正为「2 条」,见 R63.2)· ⑦ **T20:计划 V2 在单测里调 `review_card` 不可执行**(tauri 2.11.5 的 `State<'r,T>` 字段私有、无 `From<&T>`、未开 test feature ⇒ 全仓 `tauri::test` 0 命中)⇒ 按仓内 inner 约定搬进 `review_card_inner` · ⑧ **T20:控制方的「零新增文件」与计划自身的兜底互斥**(R17.2 的**派发错误**)· ⑨ **T4:V1 的「两半互证」不成立 + ③ 无法单独成立** · ⑩ **T14:计划 G1 的新断言原文有**假红洞****(`/\d+\s*ms|…s/` 会把 `var(--ed-dur-micro, 120ms)` 判成裸值)—— 改用 `withoutTokenVars` 先剥,双向变异证明 · ⑪ **T18:计划的 `aria-pressed` 不可满足 / Step 5 不可交付 / M2 预测为假**(`App.tsx` 596/600 + `ClassroomCapturePanel.tsx` 298/300 ⇒ 无生产调用点;`LiveBar` 的挂载并入 T19)· ⑫ **T21:计划 Step 3 自相矛盾**(点名 `scopeDue` 而文案取 `totalDue` ⇒ 选组过滤时分叉;T21 未擅改既有文案 = 正确)· ⑬ **T22:计划的跨任务互证不成立** · ⑭ **T23:V1 冗余项 + `timestamp_ms` 是块**末**(不是块首)** · ⑮ **T24:计划的注册表类型落点不可行 + V3 的顺序探针** · ⑯ **T26:V1 不可满足** · ⑰ **T27:计划的 Files 表未列 `TriTrackAlign.css`** · ⑱ **T28:V5 与 V7 自相矛盾、且 V7 对 `inline` 元素无效**(段正文是 `<span>` ⇒ `transform` 无效 ⇒ 「显影必须挂段落行」;这是本批最有价值的实测之一:**一个在 jsdom 里全绿、在浏览器里完全看不见**的判据形态)· ⑲ **T29:计划 V3 的源序改判**(相位块必须在档位块之前)· ⑳ **T30 V6 / T31 M7 是等价变异体**(诊断后换体才红)· ㉑ **T32:无计划错误**(唯一一条)· ㉒ **T33:计划 Files 表写 `useColumnFlip.test.ts`,而该文件必须渲染组件** ⇒ `.ts` 装不下 JSX(同 ① 一类)· ㉓ **R55.5 的两条计划缺陷**(V1 空真 · V9 的「1770 用例」已过期)· ㉔ **R58.3:`useColumnFlip.test.ts` 同类缺陷(= ㉒)** · ㉕ **波 A 的 G-1 变异预测为假**(批 5 D 表 `:1772` 与批 6 计划 `:1214`;代守名单更正为 `A4① + A4② + G1①③ / G2① / G4`)· ㉖ **G-3 的变异目标路径不存在**(计划点名 `views/session/SessionRawView.tsx`,T15 代以 `SessionProofView`)· ㉗ **T15/T16 的守卫自证缺口(4 条)** 与 **T15 的「F9 无测试级牙」**(只由命令级零 diff 代守)· ㉘ **T11 的 V1 M1 期望在 `paused` 下不成立** + **V2 的 M2 归因不成立**(paused 上绝对 seek 与方向无关 ⇒ 拆成 V2a/V2b/V2c)· ㉙ 🔴 **控制方的 3 处引述错误**:**(a)** `motion.md` 的 `=== 1`(`motion.md` **全 4 版扫 `=== 1` 命中 0**,该字面只在计划 `:580`/`:1009`)· **(b)** 追加 C 的前提为假(`motion.md` **从无**「微小曲线差」措辞,且 `:85` 是规格 §8.3 的**逐字表行、不许改**)· **(c)** R29.2 的「12/12」实测为 **6/6**(以实测为准)· ㉚ 🔴 **控制方的 2 处派发错误**:**(a)** R17.2 的「零新增文件」过紧约束(与计划兜底互斥)· **(b)** R33.2 的 **T16 派发早于依赖落定**(`motion.css` / `Text.css` / `motion-coverage.test.ts` 当时仍在飞 ⇒ T16 登记的是工作树口径;**二次刷新并入 T35**)· 另**控制方 1 处裁决错误**:R12.1 判「取 `ed-text--low-confidence` ⇒ 零既有断言改动」**漏了 `structuredBlocks.test.ts:84`**(它是改类的**必要连带**)⇒ 追认为 **G19** 授权 · ㉛ 🔴 **T13 面:M8b 的假读数归因更正(R42.2 ②)** —— M8b 的**真拦截者是「期望比对」**,`ran` 下降**只是旁证**(原归因把旁证当主证)⇒ 计入**判据纪律**:**`ran` 闸只证「跑起来了」、不证「拦下来了」**(同族先例:批 4 #30 的 `--cache.dir` · T20 的过滤器拼错 · T89 的 `git archive` 取不到未跟踪文件 ⇒ 三次「被 `ran` 闸拦下」都是**流程**证据,不是判据证据)。
666666

667667
**诚实代价(不许省略)**
668668

0 commit comments

Comments
 (0)