diff --git a/App/lib/core/Gen/TypeGenResolve.vp b/App/lib/core/Gen/TypeGenResolve.vp
index 5e3c90a..549f1ff 100644
--- a/App/lib/core/Gen/TypeGenResolve.vp
+++ b/App/lib/core/Gen/TypeGenResolve.vp
@@ -963,6 +963,9 @@ class TypeGenResolve(TypeGenBase.TypeGenBase):
                     if gp_tpn is not None and string.strcmp(nm.id, gp_tpn) == 0:
                         gp_ta: str = self.GenericTypeArgs.get(gp_i)
                         if gp_ta is not None:
+                            # 诊断（8fbba list[str].get 类型不匹配）：方法体 T 替换
+                            # 的实际值。list[str] 特化时 T→str；T→Value 则上下文污染。
+                            stdio.printf("[DIAG] T 替换: %s -> %s\n", nm.id, gp_ta)
                             # 自映射/污染实参防护（泛型循环套用）：
                             # 1) 实参与参数名完全一致（T→T）
                             # 2) 实参串包含任一类型参数名（如 "T | t.CPtr"、" T "、