fix(批8 (甲) 批1 刀1): unify_types 的 T? 模式规则——修 S1-ARG 恒报 + 同基点上的 TF01 硬错（判据 C1–C7 两向钉子 + 突变自证）

[dslsdzc]

本批是什么

批 8 （甲）批 1 · 刀 1 = unify_types 的 T? 模式规则（独立小批；计划 = docs/superpowers/plans/2026-09-18-b8-e1-arg-check.md §3 刀 1，冻结版 76ce7023）。
只加一个分支、不改既有三条规则的语义、不改任何调用点（+24 行，含注释）。

根因（实读 + 实测）

unify_types 原只有三条规则（pattern == concrete / TYP_GENERIC_PARAM / TYP_GENERIC_APPLY），
T?（TYP_OPTIONAL，内层泛型参数）落兜底 type_compat_strict(concrete, pattern) ⇒ 内层不代入、不绑定、恒假。
后果两层：

1. [S1-ARG] report-only 打点对 T? 恒报（含已正确编译的合法调用 g(d,d) / g2(d)）；
2. 更重（本批实测发现）：T? 形参的单泛型调用在当前基点 965052b5（2(a) 合并后）本就是硬错 error[TF01]（rc=1）——
   g2(d) / g2(x:int) / g2(Some(3)) / return g2(x) / f := g2(x); return f 均 rc=1；
   根因同一条：unify 不绑定 ⇒ 调用结果型解不出 ⇒ 调用者被判「返回型不符」。
   （旧基点 41a51d8d 上它们是 rc=0 + 1 条打点 ⇒ 2(a) 合并后升级成硬错。）

修法

pk == TYP_OPTIONAL ⇒ ① concrete 亦 optional ⇒ 内层对内层递归；② 否则（裸值入 T?，T ⊆ T?，与 type_compat_strict 的可选目标分支同语义）⇒ 内层对 concrete 递归。
内层是泛型参数时，由既有 TYP_GENERIC_PARAM 分支绑定/比对。

判据（tests/selfhost/test_topt_pattern.py，已挂 src/ci/run.sh 的 selfhost-tests；两向钉子）

组	内容	修复后	变异体（删回分支重建）
C1（5 例）	g(d,d) / g2(d) / J / K / M：合法调用	check rc=0 · [S1-ARG] 0 条	5 例全红（各回 1 条；其中 g2(d)/M 回 rc=1）
C2（1 例）	g(1, d)（apx）：真错	check rc=0 · [S1-ARG] 恰 1 条	1 条（绿）——防「一律不报」
C7（3+1 例）	T0 登记的「同族 TF01」三例：g2(Some(3)) / f := g2(x); return f / return g2(x)（对照 f := g2(x); return 0）	rc=0	3 例全红（rc=1 · error[TF01]）
C3/C5	机械腿：g[dex] / g2[dex] / call g2[dex](_dxsc) / --dump-params slot=8	全在场	全绿（判据分工：C1/C7 咬绑定/诊断面，C3/C5 咬实例键与槽型）
C4	零足迹对照：非泛型 g12(1,d)	[S1-ARG] 0（改前亦 0）	绿

突变自证（配方可复跑）：独立工作区删回该分支 → 重建 → COREC_BIN=<变异二进制> python3 tests/selfhost/test_topt_pattern.py
⇒ 8 项红（C1 五 + C7 三），C2/C3/C4/C5 全绿 —— 判据命中目标、且未把「产物面」与「诊断面」混在一根钉子上。

批次判据（判据 = 与当批起点读数相同，非写死数）

项	起点（改前）	改后
./build/corec check src/compiler	rc=0 · ^error[ = 0	rc=0 · ^error[ = 0
selftest-types	415/415	415/415
canary（tools/baseline/canary_check.sh）	5/5	5/5，五值逐字节相同（canary_elf f1137275… · pa_ccr f06bf45b… · pa_static_ccr 76df0adf… · gt_ccr edfd8e98… · gt_static_ccr bbfe4789…）
停条件六套件	全绿	全绿：test_optional 80/80 · test_arg_inference_gap 全绿 · test_generic_constr 15/15 · test_generic_param_erasure ALL PASS · test_cache_identity 6/6 · test_cir_warm_path 19/19

行为变更（显式登记，本批不是「零行为变化」）

1. 诊断面：T? 的 [S1-ARG] 误报消失；
2. 绑定面：该模式下的泛型绑定由「不绑定」变为「绑定」（实例键经 C3/C5 机械腿证实未变）；
3. 硬错面：T? 形参单泛型调用在当前基点上的 error[TF01]（rc=1）被修好（= T0 报告登记的「同族相邻缺陷、未定位根因」三例，根因即本刀）；
4. 产物面零足迹：canary 五值逐字节同改前 + 六套件全绿。

不做 / 不确定

• 本 PR 不触碰 @raw_int（(i) 小批已派 plan-optdex；两个写者不同时改 checker.cr）；
• 本批不撤 diag.cr 的 TF07 build 豁免（归刀 4）；(甲) 主体（实参校验硬错）归批 2；
• 未跑 CI 全量层（本地判据面如上；PR 门只 3/5 档，tests/suite/*.cr 语料不在门内）。