docs(批 8 收口): 活文档改内容（syntax.md apx 示例改为可编过 + errors.md 补 P024/P025/P026）· 记录加注四处（只增不删）——两提交性质分开

[dslsdzc]

活文档改内容 + 记录加注（docs-only，两提交 · 性质分开）

性质：零源码改动 · 新立区分 「活文档改内容 · 记录加注」（见下）· base = develop @ 662ff87d。

为什么分两提交：docs/developer/*.md 是活文档（职责 = 教读者写出能编过的东西）⇒ 教错写法时加注是错的处置（读者不会读注，他会照抄示例撞错）⇒ 直接改对；
而记录（批次报告 / 计划 / TODO.md）用今天一贯口径：原文逐字保留 + 〔…〕 追加、只增不删。⇒ 两提交的 additions/deletions 分别给，不糊在一起。

---

提交 1 —— 「活文档改内容」（af3748a9）：2 files · +14 / −1

• docs/developer/syntax.md §4.3：
  • 示例 speed : ., apx = 3.14; ⇒ speed : dex, apx = 3.14;（. + apx 自 2026-09-18 起为前端硬错 error[P26]）；
  • 新增「apx 的适用面」一段：白名单 = 显式 dex / 显式 int；其余形（推断位 . / auto / dex? / string / bool + apx）⇒ 硬错（含文案与检查点 src/compiler/parser.cr）。
• docs/developer/errors.md：补 P024 / P025 / P026 三行 + 「打印形 / fail-closed」注。
  编号、常量值、文案、检查点全部实读源码（非扫描转述）：
  • ast.cr：EC_P_EXTERN_OPTIONAL = 1024（注释 // P024）· EC_P_TOPLEVEL_TOKEN = 1025（// P025）· EC_P_APX_TAG = 1026（// P026）；
  • parser.cr 三处 check_error 调用点（extern 分支 / parse_declaration 尾兜底 / 声明标签分支），文案逐字照抄；
  • 三者均属语法族（P 族） ⇒ 按本文件开头的 fail-closed 语义：前端任一即 rc=1 + 零产物。

探针（硬要求：改完必须证明；corec check，cwd = 仓库根）

探针（逐字取自 syntax.md）	改前/改后	读数
speed : ., apx = 3.14;（改前原文逐字）	改前	rc=1 + error[P26] ← 红证据（文档确实教了被拒写法）
speed : dex, apx = 3.14;（改后原文逐字）	改后	rc=0
n : int, apx = 3;（白名单 契约形 int, apx）	对照	rc=0
同块另两行 count : int, mut = 0; / pub_val : int, pub = 42;	对照	rc=0

⇒ 「我改对了」不靠读、靠改后的示例真的编过；且原示例的红证据（rc≠0 + 具体码）与改后 rc=0 一并给出。

---

提交 2 —— 「记录加注」（2efa3e8b）：3 files · +18 / −0（jj diff --git 的 ^-[^-] 行 = 0）

四处失效口径，原文一字未改，一律以紧随其后的独立注落（内联改写会产 ^- 行，与「只增不删」硬判据冲突）：

1. TODO.md 映射表 #2026-09-17-5 行 —— 门面摘要仍写「调用侧环按泛型声明、callee 槽按实例」= 已被 T0 推翻的旧机理（正文有更正注、注册行没有）⇒ 表后加注指明现行机理（实例与声明共用形参节点 ⇒ 槽恒 TI_INT(GP)）。
2. TODO.md #2026-09-17-5 判据要件 ② —— 括注 {255（能力边界）, **ELF 锚定值**} 的**「ELF 锚定值」半支作废**（ELF 腿非确定 ⇒ 无锚可定；interp 半支保留）⇒ 按 §1-1 T0 回填块 Ⅳ/Ⅳ-bis 改判「必须可复现」。
3. 2026-09-17-silence-closure.md §1-1 标题 —— 标题仍为旧机理，且它是引用面（他人引本节即引到旧机理）⇒ 标题下加注（标题字面不改）。
4. 2026-09-16-apx-conversion-fix.md 探针表 —— 整表以 d : ., apx = 7.0; 为形态 ⇒ 作为可执行配方已失效（今为 error[P26]）；表后加注（含 B-2 行「期望 7」叠另一条失效面的指向）。

---

范围外（未动，按裁定）

• tools/baseline/canary_values.tsv 的 142793/142936：是 .ccr 尺寸（历史锁定值），与 ELF 142 同名不同物 ⇒ 勿误改 ✓。
• 第 5 类（check 面 error[ = 2）：live 判据面零命中（字面已不在仓内）；两处命中 = 历史记录（其一【2026-09-13 更新：口径作废】已自带；另一处 test_tf01_fallthrough.py:4 明标「修复前实测」且活跃断言正确） ✓。
• 6 条「可不动」（有意留的，逐条见回报）：#2026-09-17-5 机理/现象段（已逐处标注）· #2026-09-17-5 复现行（已注）· §1-1 各处 142（已注）· 批 5 报告 §10-U1（已补注）· 2026-09-11-r2-p3-capabilities.md（已自带作废注）· 类 4 其余命中（全部限定 interp 腿，确定值域，纪律仍成立）。

判据

• 本 PR 含 TODO.md 改动 ⇒ 推前 nice -n 19 python3 tests/harness/test_todo_id_migration.py（J1–J6）。
• docs-only（.md 独有 diff）⇒ 未跑 suite / full-bootstrap（那两档测编译器行为；.cr 零改动 ⇒ 不可能受影响）。