docs(批8): 失效口径扫描报告——基线重定 + 15 条逐条重核（已消解 6 / 在场 10）+ 统计更正 + §5 过判更正

[dslsdzc]

docs(批8 失效口径扫描报告): 基线重定 + 15 条逐条重核（已消解 6 / 在场 10）+ 统计更正 + §5 过判更正（只增不删）

缘起：本报告（docs/superpowers/specs/2026-09-18-stale-criteria-scan.md）基线为 662ff87d，
其产出后基线前进——报告 15 条中有 6 条的对象已被修复，报告自身另有 3 处数字/事实缺陷。
本提交只对报告本身做「原文逐字保留 + 加注」收口，未改任何被扫描对象。

一、基线重定（662ff87d → 09f253b8）

• 消解者 = 2b103d69（docs(批 8 收口): 活文档改内容（syntax.md apx 示例改为可编过 + errors.md 补 P024/P025/P026）· 记录加注四处（只增不删）——两提交性质分开 #131）：其 description 自陈「活文档改内容」+「记录加注四处」，
  逐字读 diff 后确认——四处加注恰为报告的 1-1 / 1-2 / 2-1 / 4-1；活文档改内容恰为 3-1 / §6bis。
• 新增 §0「基线重定与逐条复核」：15 条 + §6bis 的「在场 / 已消解」二态判定表（逐条附消解者与取证命令）。
• 各表下方补〔基线重核〕注（5 处）+ §5〔更正注〕+ §6 / §6bis〔基线重核〕注。

二、逐条结论

• 已消解 6：1-1（TODO.md:157-160〔映射表注〕）· 1-2（silence-closure.md:54-57〔标题注〕）·
  2-1（apx-conversion-fix.md:166-168〔表注〕）· 3-1（syntax.md:219 显式形 + :224-227 适用面块）·
  4-1（TODO.md:1235-1238〔更正注〕）· §6bis（errors.md:62-64 P024/P025/P026 + :66 注）。
  ——全部为「原文逐字保留 + 加注」，无一处删改原字面，与报告建议的处置形态一致。
• 在场 10（1-3 … 5-2）：全为「可不动」，其「可不动」依据经逐条复核全部成立
  （已标注的仍标注 · 正确的仍正确 · tools/baseline/canary_values.tsv 勿误改的仍在原位）。
  ⇒ 现基线上没有任何仍须处置的条目：原「必须处理 3」与「建议处理 2」全部归零。

三、报告自身缺陷更正（3 处，均「只增不删」）

1. 头统计「必须 3 · 建议 5 · 可不动 6」（=14）与表体不符 ⇒ 实数 3 · 2 · 10 = 15 行
   （建议多算 3、可不动少算 4，合计恰差 1）。附可复核清点命令（行首 | N-M | 锚定 + 分类词取第 2 列）。
2. 「★ = 最危险的 5 条」⇒ 实数 4（1-1 / 1-2 / 2-1 / 3-1）。
3. §5 括注「^error[ 字面在仓内已不存在」不成立（且在报告自己的基线上就已不成立）：
   jj file search -r <rev> --pattern '^error\[' ⇒ 3 行 / 2 档（均为文档里举例的错误输出样式）。
   但 §5 的真判定「live 判据面零命中」成立（src tests tools 行锚定命中 0）⇒「结论对、括注的加强句错」。

四、方法与边界

• 新增 §0.4：重核期间 develop@origin 移动过（7ddf6ed2 → 09f253b8，docs(批8 TODO 登记 3 条): ① &x/&T 语义（定性待裁）· ② D2 *T 形参调用点→TI_UNIT（含仪器限定）· ③ S1P 扫描口径+台账 never 跳过 #136 由另一代理合入），
  症状 = 磁盘工作副本与 -r develop@origin 读数不一致且 jj diff 不报错 ⇒ 纪律 = -r 写现查现用的 commit id，
  行号只作辅助、主锚仍为唯一子串。
• 新增 §0.5 动作台账：改动仅本文件；TODO.md / syntax.md / errors.md / 各计划文档 / tools/baseline/canary_values.tsv /
  src/** / tests/**/*.py 均一字未碰，逐项附理由。
• 边界判据（两向钉子，已实测）：jj diff -r <本提交> --stat ⇒ 1 file changed, 129 insertions(+), 0 deletions(-)
  ——「只改本文件」与「原文零删改」两条同时由 diff 计数机械成立。

判据：tests/harness/test_todo_id_migration.py 6/6 通过（J1–J6；本批未改 TODO.md，仅作状态核验）。