docs(m81): bind the evidence to the implementation revision without a stale final-HEAD claim

docs/plans/M81_M61_EVIDENCE_HARDENING.md

@@ -34,8 +34,9 @@
    - `m61-late-round`（timeout 900）
 3. **M81-C**：记录四个 artifact 路径与结果到 `docs/EVIDENCE_LEDGER.md` 与
    `CURRENT_CHECKPOINT.md`；只在必要处补命令/参数说明（density 的 16 场口径）。
-4. **M81-D**：证据文档提交（focused）。本包共**三个 focused commits**：两个 strict 修复
-   （`9f17aa2b`、`d41730b1`）+ 一个证据文档（`7c2e10f2`）。确认工作树干净、HEAD==upstream，停下。
+4. **M81-D**：证据文档提交（focused）。本包历史为**三个 focused commits**：两个 strict 修复
+   （`9f17aa2b`、`d41730b1`）+ 一个证据文档（`7c2e10f2`）；此后仅有一处 docs-only 措辞纠偏
+   （`4d00fed3`）。确认工作树干净、HEAD==upstream，停下。
 
 ## 命令模板
 
@@ -57,8 +58,8 @@ python3 tools/run_test_attempt.py --label <label> --cwd-subdir runtime --git-ref
   写成游戏不可通关（须同时引用五画像 10/10 合同全清）。
 - `M61-I05` 保持 **OPEN**；`M80-I10` 不动。
 - 提交拆分：**三个 focused commits**（两个 strict 修复 + 一个证据文档）；
-  attempt 绑定**实现修订 `d41730b1`**，最终文档 HEAD 为 `7c2e10f2`，文档提交未改变 runtime 测试源；
-  `HEAD == upstream`；工作树干净。
+  attempt 绑定**实现修订 `d41730b1`**；其后仅有 docs-only 证据记录/措辞纠偏提交，
+  未改变 runtime 测试源；`HEAD == upstream`；工作树干净。
 
 ## Frozen scope
 
@@ -77,8 +78,9 @@ python3 tools/run_test_attempt.py --label <label> --cwd-subdir runtime --git-ref
 
 ## M81 结果（2026-09-17）
 
-四个 attempt 全部 `PASS`，同绑**实现修订 `d41730b1`**（当时的代码/测试 HEAD；最终仓库 HEAD
-为本文档提交 `7c2e10f2`），strict diagnostics 全空、
+四个 attempt 全部 `PASS`，同绑**实现修订 `d41730b1`**（当时的代码/测试 HEAD；
+此后仅有两类 docs-only 提交：证据文档 `7c2e10f2` 与措辞纠偏 `4d00fed3`，
+均未改变 runtime 测试源），strict diagnostics 全空、
 marker 各恰好一次、owned cleanup 完成（`workspace_removed=true`）：
 
 | label | marker（实测文本） | artifact |
@@ -102,7 +104,7 @@ marker 各恰好一次、owned cleanup 完成（`workspace_removed=true`）：
 `d41730b1`（第二次 strict 修复：等待 boot 协程结束）、`7c2e10f2`（最终证据文档）。
 前两个是 strict 修复、第三个是文档；之所以拆开，是因为 Test Attempt Hygiene 要求
 "先 commit 再跑 attempt"——修复必须进入归档源才能被验证，而文档只能在其后追加。
-**attempt 绑定实现修订 `d41730b1`；最终文档 HEAD 为 `7c2e10f2`；文档提交未改变 runtime 测试源。**
+**attempt 绑定实现修订 `d41730b1`；其后仅有 docs-only 证据记录/措辞纠偏提交（`7c2e10f2`、`4d00fed3`），未改变 runtime 测试源。**
 
 ## 措辞边界（本包再次确认）