Skip to content

docs(evidence): 恢复误删证据行、补 issue 号、补上表头第三列 - #271

Merged
JavaZeroo merged 2 commits into
mainfrom
docs/evidence-restore-and-refs
Oct 31, 2026
Merged

JavaZeroo merged 2 commits into
mainfrom
docs/evidence-restore-and-refs

Conversation

@JavaZeroo

@JavaZeroo JavaZeroo commented Oct 31, 2026 •

Copy link
Copy Markdown
Owner

问题与最终行为

对 docs/EVIDENCE.md 做了一次索引核对,修三个问题。

1. #152 的证据行被误删了

该行由 58fee28(PR #154,refs #152)加入,随后被 e13be0c("research(ui): add the SGR carry observation across 1049 refs #126 #123")在改动相邻区域时连带删除。git log -S 只有这两条记录。

产物仍在 main,只是索引丢失:

experiments/measure/RECOVERY-PREPARE.md                                      存在
experiments/measure/results/2026-10-29-recovery-core-prepare/README.md       存在
experiments/measure/results/2026-10-29-recovery-core-prepare/validation.json 存在

已按 58fee28 原文恢复并补 (#152)。

2. 表头缺少第三列,导致 94 行的「覆盖边界」不可见

表头是两列:

| 配置 | 证据定位 |
|---|---|

但全文有 94 行带 3 个单元格。GFM 规定行的单元格多于表头时多余部分被忽略——因此这些行的第三格在渲染后完全不显示,而这一格记录的正是"该证据明确不覆盖什么"。

补上第三列后(| 配置 | 证据定位 | 覆盖边界 |),这些内容才真正可见;15 个两格行会渲染成空的边界格。

3. 两行有证据但缺 issue 号

行 补
Qt 基础 Unicode 文本字节 (#147)
Qt app-local 固定微软 CRT 与隔离 Windows 加载 (#138)

验证

  • 恢复的行与 58fee28 中的原文逐字一致(除补加的 (#152)),三个链接目标均已用 Test-Path 确认存在
  • 表头修改后统计:96 行 4 管道(3 格)、15 行 3 管道(2 格);此前为 94 / 17
  • 未改动其他行,未改变任何结论

性能影响(如适用)

不适用。纯文档。

来源与限制

  • 定位方法:git log -S '自主 C++ recovery 核心双构建准备' -- docs/EVIDENCE.md 仅返回加入与删除两次提交
  • 限制:本 PR 只恢复索引与表头,不重跑 #152 证据;那 15 个两格行的第三列原意未知,暂留空

合入 11 个 PR 后核对证据缺口,发现两件事:

1. #152 的证据行不见了。它由 58fee28(PR154,refs #152)加入,随后被 e13be0c
   (SGR carry observation,refs #126/#123)连带删除——该提交改动相邻区域时把这行
   一并删掉。产物仍在 main(experiments/measure/RECOVERY-PREPARE.md 与
   results/2026-10-29-recovery-core-prepare/),只是索引丢失。本提交按原文本恢复,
   并补上 issue 号。
2. Qt 的两行(基础 Unicode 文本字节、app-local 固定微软 CRT)有对应证据但没有
   issue 号,补 #147 / #138。

管道数与 main 逐行一致(这两行在 main 上本来就是 3 个管道,属既有情况,本次不动)。
@JavaZeroo JavaZeroo changed the title docs(evidence): 恢复被误删的 recovery 双构建证据行,并补两个 issue 号 docs(evidence): 恢复误删证据行、补 issue 号、补上表头第三列 Oct 31, 2026
EVIDENCE 的表头是两列(| 配置 | 证据定位 |),但 94 行有 3 个单元格。
GFM 规定「行的单元格数多于表头时,多余部分被忽略」,因此这些行的第三格
(覆盖边界:该证据明确不覆盖什么)在渲染后不可见。

补上第三列后,第三格内容才真正显示;15 个两格行会渲染成空的边界格。
@JavaZeroo
JavaZeroo merged commit 418d57a into main Oct 31, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant