docs(迭代28): 实现报告成文（含类型闸自纠与 static_scan 结果）

design/qa/iter28-实现报告-2026-10-15.md

@@ -17,6 +17,7 @@
 | T4 | 渲染面内容断言三件（探针自检 + 墨色判据 + 启动态菜单 golden） | `67342c6` |
 | T5 | 变异验证（横切，六次注入；**零提交——注入即还原**） | 无提交（见 §五） |
 | T6 | 规范三处落文 + 机械面文档同步闸 | `db1bf42` |
+| T1 补 | 类型闸 S9 归零（`main.gd` 合同装配容器注解） | `140e440` |
 
 ### T0 开工基线与事实复核
 
@@ -73,8 +74,11 @@ T0 临时探针 `t28_treeorder_probe.gd` / `t28_treeorder_probe2.gd` 采完即
 | probe_gate --full | ⚠️ **t17_defer_probe 红**（存量红，非本批引入——详见 §六），其余五件全绿 |
 | render_gate | **全绿**：shot_checker A–D 过（含新增 F 判据 I-OK×2）、棋盘 golden 0.00%×3、**菜单 golden 0.00%** |
 | doc 三闸 | 对基线零新增（gdd_lint 三件 / 死链 3 / 术语 5 组，与 master 39c6544 同） |
+| static_scan | S1/S2 ok、S4 ok、**S9 归零**、S10 FAIL=文件头存量 125 处（2026-10-15 新立规，清偿批在册待发令，非本批引入） |
 | MC 模拟 | **零跑**（本批零数值零行为变更，装配顺序修复除外） |
 
+**类型闸自纠一笔**：批末 static_scan 报 S9（类型闸）**存量 1 处**——`main.gd:453` `_apply_layer_contract` 内 `var tags: Array` 未带元素类型，系本批新增代码触发（iter27 立闸时 S9 全绿）。随批修为 `Array[Variant]`，S9 归零，冒烟复跑 1125/0 不变。**这笔正是「闸不是摆设」的反面印证**：本批新增的验收函数抓别人的错，既有的类型闸同样抓本批的错。
+
 **顺带清理（非本批引入，基线带入）**：`design/gdd/07-体验验证清单.md` v1.0 行处残留 `<<<<<<<` / `=======` / `>>>>>>>` 合并冲突标记（iter27-techdebt-20261014 分支合并进 master 时漏解）。两侧均有效故全留（qa 收尾批人闸核销行 + ㉖ 目检节登记行与正文节），版本号顺延 v1.1，清理注记入 v1.2 行。
 
 ---