docs(批8 条目1): dex? 泛型实例化 T0 重测 + §1-1 回填——(乙) 已消解 · 剩余 =(甲) · ELF 腿降级（doc-only，解锁 S3 前置件）

[dslsdzc]

性质

只读取数 + 落纸（doc-only，零源码改动）。本 PR 是解锁 S3 的前置件（lead 裁 ③）。

内容（两件）

1. 新：docs/superpowers/plans/2026-09-18-b8-e1-t0.md（T0 重测报告；起点 develop@origin = 41a51d8d；工作区 b8e1-ws）
2. 回填：docs/superpowers/plans/2026-09-17-silence-closure.md §1-1
   • 回填由 b8-e1 执行（一次性），plan-verikernel 已知会并暂停改该文件
   • 纪律：只做替换与新增；旧文本（更正注 / 真问题分裂 / 现象 / 最小复现 / 机理 / 修法方向 / 判据要件 / 突变自证 / 停条件）逐字保留，新增「✅ T0 回填」块（含逐行作废标注）

---

一、结论（一句话）

(乙) 已消解（并已实测确认对同型实参生效）；剩余 = (甲) 实参类型不校验。
探针仍静默错值：check=0 · build=0 · interp=15（确定）；ELF 腿 = 非确定垃圾。

二、M1 三态读数（原探针逐字）

腿	读数	实测/推断
check	0（仅 1 行 [S1-ARG] line=4 col=52 pi=1 p=T? a=dex）	实测
build	0（lower done: 18 funcs, 1747 instrs，零 error[）	实测
interp	15（3/3 一致；= 4619567317775286272 / 10^6 % 256，即 7.0 的 binary64 位模式未转换）	实测（确定值）
ELF	非确定：97 次运行命中 142 仅 1 次（首轮 30 次批内）；复跑 60 次 0 次；7 命中 0、255 命中 0；关 ASLR 稳定 rc=208	实测（非确定值）

判定：否——(乙) 未把该探针带到 7/7。
A/B（pre-#121 二进制 /tmp/ge-pre/corec）：本探针两态行为相同（哑火）；同型实参 g(d, d) 两态由垃圾变 7 ⇒ (乙) 修的是同型、不是本例。（实测）

补：打印探针读到被读值 = 栈地址（setarch -R 下稳定 0x7FFFFFFFE0C8）⇒ ELF 垃圾来自未初始化 GP 寄存器（四读数合推，未做 gdb/反汇编级确认）。

三、剩余机理（读码 + 最小实验；行锚 = 41a51d8d）

1. unify_types（checker.cr:1926）只有 == / TYP_GENERIC_PARAM / TYP_GENERIC_APPLY 三条规则；T?（内层泛型参数）落兜底 type_compat_strict ⇒ 恒假且不绑定 ⇒ 后续实参既不绑定也不校验（仅 [S1-ARG] report-only）。（读码）
2. 首实参 1 把 T 绑成 int ⇒ 实例 = g[int]。（实测）：首参给 struct P 时实例 = g[P]（非 ir_gen 回落路径的 g[unit]）⇒ 实例键来自 checker 的调用点绑定段。
3. --dump-params 槽型直读：PARAM g[int] p1 x slot=0（TI_INT/GP）。（实测）
4. 重定向后第二遍 dex_align_call_args（ir_gen.cr:2260）按实例 int? 判门 ⇒ 不发转换；.cir = call g[int](_arg, _arg)（无 _dxsc）。（实测）
5. ⇒ apx 实参（bits，XMM 类）入 TI_INT（GP 类）槽 ⇒ ELF 垃圾；interp 按位置拷贝位模式 ⇒ 15。（推理链，与 2–4 的实测一致）

为什么既有绿例是绿的（实测）：x: dex（具体）形参第一遍环即命中 ⇒ 发转换 ⇒ 7（test_apx_conversion.py 的 nonreg_generic_dex_param、tests/suite/apx_conversion_test.cr 的 generic7 都是这一形；与本探针的唯一差别是形参写 dex 还是 T?）；scaled 实参（GP 类）与 TI_INT 槽表示巧合相同 ⇒ 也得 7。两者都不是「实参类型被校验过」。

四、lead 三裁的落实位置（均在 §1-1 回填块内）

• 裁 ①（判据形态改，ELF 腿降级）：回填块 ② Ⅰ–Ⅵ —— 确定性腿为主（interp=15 + .cir 调用点 + --dump-params 槽型）；ELF 腿只作「≠7」+ N≥10 次采样不复现 7，不得写「= 某值」；「禁第三态」对非确定值域不适用 ⇒ 改判「必须可复现」；并升为通用纪律：读数进判据前须先证 N≥10 次采样稳定。
• 裁 ②（「期望 7」作废）：回填块 ③ —— g(1, d) 中 T 由首实参定 int、第二实参 dex 与 int? 不符 ⇒ 应拒；(甲) 修复后本探针 = rc=1 被拒；要「得 7」需另裁推断方向（字面量多态 / 多实参联合绑定 T）⇒ 单独立条目登记，本批不实现。
• 裁 ③（S3 前置，改排期）：回填块 ④ —— [S1-ARG] 对 T? 模式恒报，含 g(d, d)（实例 g[dex]、ELF=7）、g2(d)（正是 (乙) 套件 C4 断言的正确形态）、g2(int) 等已正确编译的合法调用 ⇒ 先 (甲)（含 unify_types 的 T? 规则）→ 再 S3，顺序不许颠倒。（实测：5 例命中的误报面）
• 新增停条件：任何修法若需改 unify_types 既有三条规则的语义（而非新增 T? 分支）⇒ 停下报 lead。

五、判据网缺口（须随 (甲) 一并补；回填块 ⑥）

T? 形参 + 类型冲突的多实参形态（本探针）·「类型不符实参必须被拒」· return g2(x) 位 · Some(…) 实参位 ⇒ 当前零覆盖（后两者当前实测 TF01 硬错，属同族相邻缺陷，未定位根因）。
（M3 另有：tests/ 里同形绿例在场但形参是具体 dex；T? 泛型形参唯一覆盖 = test_generic_param_erasure.py 的单形参 g2[T](x: T?)。）

六、六项「没做到的」（照抄 T0 报告 §④，不藏）

1. 未做 gdb/反汇编级确认（「读未初始化 GP 寄存器」是四读数合推的强推断）；
2. 未插桩打印 g_gen_binds 段内容（实例键来源由实验 N 反推）；
3. A/B 两态编译器并非只差 fix: (乙) 泛型实例形参擦除——实例形参链具体化（A1）+ 槽型直读判据通道 + 判据套件（C1–C7） #121，未做单提交回退验证；
4. 「CI 门对 tests/suite/*.cr 覆盖口径」未复核；
5. M2 末三个相邻缺陷（return g2(x) TF01 / Some(…) 实参 TF01 / S1 误报）只最小复现，未定位根因；
6. 未跑全量回归/CI（本轮性质所限）；未碰 src/arch/**、src/os/linux/callseq.cr、src/format/**；未跑 full-bootstrap（避 /tmp/corec2|corec3 撞车）。

七、守门（本轮实测）

test_generic_constr.py 15/15 · test_cache_identity.py 6/6 · test_cir_warm_path.py 19/19 · test_generic_param_erasure.py ALL PASS (C1–C7) —— 全绿；nice -n 19 构建（corec sha256 b5cdd49d…、corearch 9af0b8b3…）。