diff --git a/game/presentation/main.gd b/game/presentation/main.gd
index a5f3d6a2..444e46d8 100644
--- a/game/presentation/main.gd
+++ b/game/presentation/main.gd
@@ -1173,7 +1173,7 @@ func _on_save_select_closed() -> void:
 func _save_select_data() -> Dictionary:
 	var slots: Array[Dictionary] = []
 	for i in range(1, save_manager.SLOT_COUNT + 1):
-		var p: Dictionary = save_manager.peek_slot_summary(i)
+		var p := save_manager.peek_slot_summary(i)   # 推断 Dictionary（窥视返回合同——裸注解触 R1、参数化赋值运行期严格拒）
 		slots.append({"slot": i,
 			"occupied": bool(p.get("has_file", false)) and bool(p.get("readable", false)),
 			"keystone": int(p.get("keystone", 0)),
diff --git a/game/presentation/views/save_select_overlay.gd b/game/presentation/views/save_select_overlay.gd
index de3f4e1f..bd7ac8dd 100644
--- a/game/presentation/views/save_select_overlay.gd
+++ b/game/presentation/views/save_select_overlay.gd
@@ -55,7 +55,8 @@ func open_save_select(data: Dictionary) -> void:
 		_rows_box.remove_child(c)
 		c.queue_free()   # 先摘树后释放——重建无同帧叠影
 	_slot_labels_clear()
-	var slots: Array = data.get("slots", []) as Array
+	var slots: Array[Variant] = []
+	slots.assign(data.get("slots", []))   # 元素为 Dictionary（喂入合同）——typed 容器过类型闸 R1
 	for sd: Dictionary in slots:
 		_build_slot_row(sd)
 	visible = true
diff --git a/reports/iter33-实现报告-2026-10-21.md b/reports/iter33-实现报告-2026-10-21.md
index 947bc5d6..5b7f408b 100644
--- a/reports/iter33-实现报告-2026-10-21.md
+++ b/reports/iter33-实现报告-2026-10-21.md
@@ -81,7 +81,7 @@
 
 ## 卡③ 选档界面新建批（3 存档位 · 新档/进档/删档）——已合并（见合并记录）
 
-**状态**：T0–T4 完成；批末重闸 --code 全绿（回执见合并提交信息）；独立验收审计通过（`reports/iter33-验收审计-2026-10-21.md` 卡③ 节）。
+**状态**：T0–T4 完成；独立验收审计两轮——首轮未过（批末重闸回执 all_green=false：静态扫描两处卡③新增 R1 裸容器注解 `main.gd:1176`/`save_select_overlay.gd:58`，收口时点只核回执 commit 未核 verdict、报告「全绿」表述失实——回炉改推断形态＋`Array[Variant]`+`assign()`、重跑重闸实测全绿）；复审通过（`reports/iter33-验收审计-2026-10-21.md` 卡③ 节）。
 
 ### 一、实际改动—验收对照表（§7.1 需求侧表的执行对账，六列＋结果）
 
@@ -143,4 +143,4 @@
 | 冒烟 | 1201 / 0 | **1201 / 0**（卡③ 断言全在探针层，冒烟零新增） |
 | 单元 | 38 套件全绿 | **38 套件全绿** |
 | probe --click | 全绿 | 全绿（struct/click/flow 三件新段全绿＋ui_contrast 等既有件零回归） |
-| 重闸 --code | — | 全绿（回执随合并提交留痕） |
+| 重闸 --code | — | 首轮 all_green=false（R1×2 新增）→ 回炉后**全绿**（回执随合并提交留痕——收口流程订正：回执须核 verdict 非仅 commit） |