docs(TODO): 批 8 (甲) 刀 3 登记——只增追加 -1/-2/-3 + 新落 -4..-8 + 处置表 + 跨仓链接清理

[dslsdzc]

目的

批 8 (甲) 刀 3 的登记面：把「全语料实参面」的修正读数与四条新条目落进 TODO.md。

方式 = 只增不删（本仓惯例）：#2026-09-19-1/-2/-3 的 #136 原文逐字保留，追加段一律以
「〔2026-09-19 · b8-e1 追加（只增不删）〕」起头。

改动面

TODO.md 单档 +138/−1（那 1 处删除 = -3 正文里一个跨仓 wiki-link（[[ ]]）改成普通文字——
它在仓内不可解析，内容本身已内联）。

内容

追加进既有三条

• -1：TYP_PTR 全仓 53 处按符号锚分类（定义 / 生产 / 消费形状 / 判据期望值 / pass 静默失效面）
  ＋ (A) 一落地必红的三处具体载体（ptr_ref_first.cr 头注自证双依赖 · test_diag_gate.py · test_ccr_types.py）＋ 排除面显式登记。
• -2：res_call_type 分支逐条 ＋ 与 -1 不同面（勿合并）。
• -3：术语澄清（本条的「never 跳过」= 扫描流程；打点代码内的跳过条件是另一件事）
  ＋ 权威扫描口径（project 单元优先）＋ 真面 63 点 / 6 类
  ＋ 「6680」「69」两数留痕作废（69 = 63 ＋ targets 两根档 12 点重复计数）
  ＋ 第三个伪影维度 = 内建回退（三组对照钉死；原「未定义 callee」机理已被证伪）
  ＋ 「仪器在前置条件不满足时静默跳过整块」独立登记（覆盖静默退化为零 ≠ 覆盖为零）
  ＋ skip 规则 × 钉子对照表（六条，整张） ＋ 哨兵族/形式盲区两族划分。

新条目

• -4【A 类产出侧 · 两前端分歧】EXPR_GO：checker 说 int、ir_gen 自己的注释说 channel。
  含 await 耦合、为什么改定型不可行（变量中介 ⇒ AST 救不了 ⇒ 需 Future<T> = 语言设计）、
  第三个真源（bi_add("sched_go"/"g_get_curg", TI_INT)）、产出侧六行表、24 是下界、
  血缘引 #118（cc8f1b836669）原文、两向钉子（反向必须变量形——字面量被 skip 规则 ③ 吞）。
• -5【内建表 callee 实参面】登记「免检」契约：口径三条（未被 .cr 遮蔽的条目 / 22 是这张表的口径
  非内建口径 / 类型信息在返回面）＋ 否 (甲) 主因（合成参数符号 ⇒ g_sym_count 增长 ⇒ .ccr SYM 段变）。
• -6【潜伏 · 当前不可达】fiber_init 名字碰撞（措辞铁则照 recon §7，不许写成现网缺陷）。
• -7【同一注解形参位/局部位行为不同】dyn（含活性自证；机理未定位，候选不写结论）。
• -8 = (甲) 刀 4 前置②：63 点逐类处置表（A 排除+钉子 49 · B 迁移 2 · C 迁移 4 · D 排除 4 ·
  E 排除+落在环上 2 · F 排除 2），每类带载体逐处 + 两条钉子；含 D 的两条现成对照
  （@fields 不报 = 「不是整条通道坏了」的钉子 · checker.cr:4138 的 // placeholder — returns handle 三方分歧原文）；
  E 的落法归属写死（b8-e1 在刀 4 前置① 里与 never-skip 一并落）。

另：#2026-09-17-5 正文补一行（其映射表行标题为旧机理，以正文〔更正注〕为准——条目正文是检索第一落点）。

判据

• python3 tests/harness/test_todo_id_migration.py 6/6（J1 残留 0 · J2 悬空 0 · J3 双向一致 · M-a/M-b/M-c 三突变必红 · J4 突变自证 · J6 段内唯一）
• 本 PR 与 develop 的 diff = TODO.md 单档（无源码改动）
• 取号基准 = 现查 develop@origin 当天已有最大 N；顺移注记：#136 先合占用 1..3 ⇒ 本批按约定整体顺移，不复用已占号

边界（不在本 PR 内）

• E 的两条 skip 规则（ati == TI_DYN / 泛型形参型）与 TI_NEVER 是代码改动（s1p_arg_one），另开一小刀，不混进本登记 PR。
• 本 PR 不含任何 checker.cr 改动。