iter33 卡③ 审计回炉: 静态扫描两处新增 R1 修除＋回执核验流程订正

首轮审计实锤批末回执 all_green=false（09 静态扫描两处卡③新增 R1 裸容器注解）——
main.gd:1176 改推断形态（裸注解触 R1、参数化赋值运行期严格拒）、save_select_overlay.gd:58
改 Array[Variant]+assign()（typed 严格赋值纪律）；实现报告状态行与读数表更正（收口订正：
回执须核 verdict 非仅 commit）。audit_type_hints 复跑归零。

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)),

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

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） |