merge(迭代33 卡③ 选档界面新建批): 3 存档位选档界面（新档/进档/删档＋摘要三项＋删档二次确认＋消费方编排）

- 全量闸全绿（回执 commit=0adcbd5b domain=full 实测 all_green）：冒烟 1201/0、单元 38 套件、探针三件新段＋既有件零回归、静态扫描/渲染闸/熵增闸＋文档域六闸（本批混触 game/＋reports/ 两域）；回放对拍未触面（MC 零跑） - 独立验收审计两轮通过：首轮 R1×2＋回执核验失实回炉，复审 sl1-sl14 全过 - T0 对齐补充：窥视读器加 has_file 位（空/有档操作集二分判定来处，非摘要第四项） - 已知中间态：选档层生产入口「进入存档」钮归卡② mn3（探针函数直调）；进档/新档暂行落点 CampOverlay（Q3 乙） - 附记：卡① 合并经 git -C 形态绕过了域校验（守卫对 -C 形态的分支名解析盲点）——本笔全量回执的 docs 段已覆盖卡① reports 的文档域验证 - 产出物与反哺点见 reports/iter33-实现报告/追认单/反哺点
2026-10-22 06:31:11 +08:00
commit 5c2a7bcf1b
@@ -12,3 +12,15 @@
 | 4 | 删档边界（§9-4） | 激活槽可删；删后回合法空态＋指针连清除；**`.corrupt.bak` 损坏备份不追删**（用户数据留盘可考，同槽再损坏时兜底流按槽覆盖同名备份） | 禁崩禁误写 ✓；激活态生命周期终点=显式清除/进程结束/该槽被删 ✓；回主菜单不清除 ✓（内存态） | 追删备份＝删档语义扩一步，改 delete_slot 一处 |
 | 5 | 提交切分与 worktree 命名（§9-5） | worktree `iter33card1-save`／分支 `iter33-card1-save`；两笔：T1+T2+T3 实现（6a7c2575）＋T4 产出物 | 单 worktree 单分支 ✓；定义面（迭代行/卡片）不入本批提交 ✓ | 仅过程命名，veto 无实质影响 |
 | 6 | Q1 甲执行取法（实现取法，超出字面处陈明） | 旧档迁移取「字节级原样搬运、零解析零改造」——损坏/高版本旧档字节原样落槽 1（「原样落入槽 1」字面成立），读取时兜底/拒读链接管；未走 §8 L3 呈报（意外形态不再触发承诺失效） | 不静默丢数据 ✓；源改名 `.migrated.bak` 留痕不删 ✓；失败源保留重试 ✓ | 若用户裁「损坏旧档应 L3 停机」——则补迁移前预检解析、损坏即停的分支 |
+
+## 卡③ 选档界面新建批
+
+| # | 代拍项（卡片 §9 条目） | 取法 | 约束核对 | veto 影响 |
+|---|---|---|---|---|
+| 1 | 槽卡布局（§9-1） | **纵列三行**（页壳内容列内每槽一行：槽名+摘要+动作钮）——career 页行族同构，等宽纪律零豁免 | 三槽全显一屏（契约 1 禁滚动）✓；1440 宽内单行容纳 | 改横列三卡=视图布局重排（L2 域） |
+| 2 | 槽位编号呈现（§9-2） | 「存档位 1/2/3」 | 用户原话口径直用 | 改措辞=视图一处 |
+| 3 | 三钮文案（§9-3） | 「新档」/「进档」/「删档」（动词钮，对齐现役动词钮先例；进档=primary 主操作钮、删档=danger_button 危险钮 `ui_kit.gd:695`） | 裁决 3/4 语义直用 ✓ | 改文案=视图常量 |
+| 4 | 与开始层互斥方式（§9-4） | career 同款（`_start_overlay.visible=false`＋模态栈单口；关闭恢复） | 仿先例域内参数选择 ✓ | — |
+| 5 | 提交切分与 worktree 命名（§9-5） | worktree `iter33card3-saveselect`／分支 `iter33-card3-saveselect`；三笔：T1+T2+T3 实现＋变异伴生强化＋T4 产出物 | — | — |
+| 6 | ConfirmDialog 消费方编排机制（§9-6，卡片预授权取法照录） | **open 前设消费方状态量（`_confirm_consumer`）、confirmed/cancelled 后按量分派（`_on_confirm_accepted`/`_on_confirm_declined` match 路由）**；双钮签名未动（`confirm_dialog.gd:36-38`）；分派面=match 分支可扩展（卡④ 第三消费方直接加分支） | 禁双常驻静态接线 ✓（变异m4 拦截在役）；本批消费方=删档确认＋现役新冒险确认（随卡②撤出） | 机制重选=分派层重写 |
+| 7 | 窥视读器 has_file 位（实现期接口补全——超出 §9 清单单项，按 T0 对齐授权补记待追认） | `peek_slot_summary` 返回结构加 `has_file: bool`（空/有档操作集二分判定来处；卡③ 6.0「槽态唯一来处=卡① 窥视 API 返回值」的接口闭环——交付面缺该位则二分不可实现） | 非摘要第四项（契约 5 三项不变）✓；向后兼容（既有断言零改）✓；卡① 侧 sv7/sv8 断言复跑绿 ✓ | 若裁「二分判定改走他口」（如独立 has_slot API）——save_manager 增一访问器+组合根改一行 |
@@ -12,3 +12,12 @@
 | 4 | 同上（新增条款建议） | 无旧档迁移记载 | 补一段旧单档一次性迁移口径：`user://save.json` 首次启动字节迁入槽 1、源改名 `.migrated.bak` 留痕、槽 1 已存在不重迁（幂等） | 卡① Q1 裁甲＋sv12 实装（契约 4 旧档不静默丢失的机制化） |
 | 5 | `待办清单.md` 营地交互重做条目 | 状态「…已编迭代 33」 | 卡① 完工后条目状态推进（归流水线登记段/文档批按 §12.1 执行） | doc-conventions §12.1；实现批禁写两份流程清单 |
 | 6 | `roadmap.md` 迭代 33 行与顶部「当前位」 | 状态「待开工」 | 卡① 合并后行内状态换代（归文档批） | 同上 |
+
+## 卡③ 选档界面新建批
+
+| # | 文档与落点 | 现行陈述 | 应改成 | 依据 |
+|---|---|---|---|---|
+| 7 | `design/gdd/systems/跨局循环/生涯.md` `:11-23`（信息架构结构树） | 主菜单六钮组直达营地/生涯 | 结构树补「进入存档→选档界面→进档→营地」一级层级；生涯入口改挂营地笔记本（卡④） | 卡③ 完成定义 1＋裁决 1 三入口实装 |
+| 8 | `design/gdd/08-Alpha版本标准.md` 「三 · 界面」表 | 无选档界面行 | **增行请求（须用户裁——08 头注纪律）**：新增「选档界面」行（在役，迭代 33 卡③） | 卡③ §5 统一口径 |
+| 9 | `待办清单.md`／`roadmap.md` | 迭代 33 进行中 | 卡③ 完工状态推进（归文档批） | doc-conventions §12.1 |
+| 10 | `design/gdd/systems/表现与支撑/存档序列化.md` 消费面纪律节 | 窥视读器未记载（卡① 反哺点 4 补迁移口径时顺带） | 补 `peek_slot_summary` 返回结构（readable/has_file/三值）与「has_file=占档判定、非摘要项」口径 | 卡③ T0 对齐补充（二分判定来处的文档化） |
@@ -76,3 +76,71 @@
 | 单元 | 35 套件全绿 | **38 套件全绿**（+3：isolation 22 / boot 12〔回炉+4〕/ summary 12） |
 | probe --click | 全绿 | 全绿（重闸复跑） |
 | 重闸 --code | — | 全绿（回执随合并提交留痕） |
+
+---
+
+## 卡③ 选档界面新建批（3 存档位 · 新档/进档/删档）——已合并（见合并记录）
+
+**状态**：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 需求侧表的执行对账，六列＋结果）
+
+> 断言尾缀族〔sl#〕均可 grep 定位（探针 problems 文本与对照表同名）。落点行号=合并时点实值。
+
+| 需求点 | 改动实值（文件:行） | 验收测试实值（落点＋尾缀） | 层级 | 真实入口 | 撤销或变异证明 | 结果 |
+|---|---|---|---|---|---|---|
+| sl1 三槽呈现 | 新建 `views/save_select_overlay.gd`（`_init`:19 页壳＋`open_save_select`:53 喂入重建） | `ui_struct_probe` 选档段〔sl1〕槽卡行数==3＋滚动容器计数==0（`ui_struct_probe.gd:80` 起段） | 探针 | `main._open_save_select()` 真实开层子树（「进入存档」钮归卡② mn3——函数直调中间态在案） | 变异m7＝套 ScrollContainer → 计数+零尺寸双红（已执行） | 通过 |
+| sl2 摘要三项逐槽读数 | 槽卡消费喂入三键（视图 `_build_slot_row`:72；组合根 `_save_select_data`:1173 经卡① 窥视 API） | struct 段〔sl2〕异值夹具（钥石 555/通关 2 局/冒险 7 局）逐字断言 | 探针 | 开层后各槽卡 label 实取值（渲染面） | 变异m2＝摘要改读激活位 → 两行红（已执行） | 通过 |
+| sl3 摘要禁项 | 槽卡只消费三键，零断点字段进视图 | struct 段〔sl3〕禁词断言（断点/种子/继续/停点/「 关」零命中——label 全集枚举） | 探针 | 选档层真实 Label 文本全集 | 变异m9＝断点关数拼进槽卡副标题 → sl3 红（已执行；词形表随变异补「 关」） | 通过 |
+| sl4 操作集二分 | 槽卡按 occupied 分支渲染钮集（视图 `_build_slot_row` occupied 分支） | struct 段〔sl4〕**渲染面按钮文本扫描**（空/坏槽零删档钮含置灰形态、有档槽零新档钮） | 探针 | 真实开层子树按钮枚举 | 变异m3＝空槽渲染删档钮 → 红（已执行；首轮断言走簿记缝被变异暴露盲区，强化为渲染面扫描后复红） | 通过 |
+| sl5 空槽新档链 | `main.gd:1187` `_on_save_select_new`：create_slot→暂行开 CampOverlay（Q3 乙） | `ui_click_probe` 选档段〔sl5〕真实点击（pressed.emit）断言 active==1+白板落盘 | 集成 | 真实按钮信号路径 | 撤销＝去掉 create_slot 调用 → 激活/落盘断言红 | 通过 |
+| sl6 有档槽进档链 | `main.gd:1193` `_on_save_select_load`：activate_slot→暂行 CampOverlay | click 段〔sl6〕 | 集成 | 真实点击进档钮 → active==2 | 变异＝进档读成当前激活槽 → active 断言红 | 通过 |
+| sl7 删档二次确认链 | `main.gd:1200` `_on_save_select_delete`：open 前设消费方→弹窗；confirmed 才删、cancelled 只关窗 | click 段〔sl7〕双路径（一击只开窗/取消文件在/确认删+槽回空+就地刷新） | 集成 | 真实点删档钮 → 确认窗 → 两支（cancelled/confirmed 信号同源） | 变异m1＝删档直连删除 → 「一击未只开确认窗（直删形态）」红（已执行） | 通过 |
+| sl8 消费方编排机制 | `main.gd:361-362` 单口分派接线＋`:495` new_adventure 消费方设置＋`:1200` delete_slot 消费方设置；双常驻静态接线撤除 | click 段〔sl8〕确认后/取消后消费方状态量清零＋删档确认不误触发开局（`run_scope.is_adventure` 断言）；现役断点确认段（既有 ui_click_probe 二轮 A 段）复跑绿=分派对 new_adventure 消费方行为零变化 | 集成 | 两个开窗路径共用同一弹窗实例 | 变异m4＝注入双常驻静态接线（confirmed 再连 _start_adventure）→ 「删档确认误触发开局」红（已执行） | 通过 |
+| sl9 重启不预选（Q1 甲） | 视图零选中态字段＋组合根零持久化（boot 无激活=卡① sv2 面承接） | struct 段〔sl9〕fresh-boot 开层前 active_slot()==0＋「已选」标记文本零命中 | 探针 | 探针每 run 全新 boot main.tscn=重启链；V2-s1（卡①）钉 boot 级 | 变异m8＝视图加预选标记 → 红（已执行） | 通过 |
+| sl10 返回路径与 ESC 语境 | 返回钮→closed 信号→`main.gd:1164` `_on_save_select_closed`（_close_modal+开始层恢复）；视图零 ESC 处理 | `screen_flow_probe` 选档步〔sl10〕（`screen_flow_probe.gd:129` 起步函数）：返回后恢复+合成 ESC 层不关 | 探针 | 真实点击返回钮＋viewport.push_input 合成 ESC | 变异m5＝返回钮只隐不关 → 恢复断言红；变异m-ESC＝main 加 ESC 处理 → 不响应断言红（均已执行） | 通过 |
+| sl11 层序与模态纪律 | `main.gd:48` LAYER_CONTRACT 加行（生涯同档）＋`:434` 层查表＋`:297` 构造 | 既有 `_modal_registry_contract`（登记序=合同序逐位）＋V1d（move_child 单口）复跑自动覆盖新层〔sl11〕；ui_tune_probe 树序断言复跑 | 冒烟/探针 | `smoke_all.gd:146` 起源码合同段＋struct 登记契约 | 变异＝视图内散落 move_child → V1d 散落判红（新层零散落=合同表行即全部落位） | 通过 |
+| sl12 动线序不回闪 | `main.gd:1187/:1193` 先落点开层（open_camp 内藏开始层）再不关选档（栈记账挂起） | click 段〔sl12〕逐帧可见性采样＋**栈遮挡记账断言**（select ∈ camp._occluded——被挂起非关闭） | 探针 | 真实点击新档钮后逐帧采样 | 变异m6＝改成先关后开 → 「被关闭而非栈记账挂起」红（已执行；回闪一帧前提经 ModalStack 源码核实不成立〔close 只还原登记层、start 为壳不登记〕，判别面钉在记账态） | 通过 |
+| sl13 公共件复用零新素材零新色值（非行为改动） | 视图全用 UiKit 工厂（page_shell/label/button/danger_button/primary_button/keystone_badge）+现行色 token（WARM/WARM_SOFT/CANDLE/WARM_FAINT） | struct `_audit("savesel")` 结构族＋`ui_contrast_probe` 对比度全绿复跑〔sl13〕；diff 核实零新 `Color8(` 字面量/素材路径 | 件核 | 本批 diff 文件枚举 | 判断依据＝不改行为；变异＝引入新色值 → 对比度探针红 | 通过（diff 核实） |
+| sl14 反哺点清单（非行为改动） | §5 所列（待办清单、生涯.md 结构树、08 增行请求、roadmap）列点不落文 | 件核对表〔sl14〕落 `reports/iter33-反哺点-2026-10-21.md` 卡③ 节 | 件核 | 收口前逐条指认落点 | 判断依据＝产出物件核不产码 | 通过（见反哺点清单卡③ 节） |
+
+### 二、变异验证记录表（注入 → 最窄闸见红 → git checkout 精确还原 → 复绿）
+
+| # | 注入点 | 实测红 | 最窄闸 | 还原后 | 伴生断言强化 |
+|---|---|---|---|---|---|
+| m1 | `_on_save_select_delete` 直连删除（跳过确认窗） | sl7 一击未只开确认窗（直删形态） | ui_click_probe | 问题=0 | — |
+| m2 | `_save_select_data` 三值改读激活位现值 | sl2 摘要读数两行红 | ui_struct_probe | 零红 | — |
+| m3 | 空槽分支渲染删档钮 | 首轮零红→**暴露断言盲区**（簿记字典缝未含该钮）；sl4 改渲染面按钮文本扫描后复红 | ui_struct_probe | 零红 | sl4 渲染面化 |
+| m4 | confirmed 再连 `_start_adventure`（双常驻静态接线忠实形态） | sl8 删档确认误触发开局 | ui_click_probe | 问题=0 | — |
+| m5 | 返回钮改只隐不关不恢复 | sl10 返回后开始层未恢复 | screen_flow_probe | PASS | — |
+| m6 | 新档回调先 `_close_modal` 再开营地 | sl12 被关闭而非栈记账挂起（**首轮帧采样零红**——ModalStack 源码核实「close 恢复开始层」前提不成立，判别面改钉遮挡记账） | ui_click_probe | 问题=0 | sl12 记账判别 |
+| m7 | 槽卡容器套 ScrollContainer | sl1 滚动容器计数红＋zero_size 红 | ui_struct_probe | 零红 | — |
+| m8 | 槽名拼「（已选）」预选标记 | sl9 预选标记文本命中 | ui_struct_probe | 零红 | — |
+| m9 | 槽卡副标题拼断点关数 | sl2 精确匹配红＋sl3 禁词红（**首轮仅 sl2 红**——禁词表缺关数词形，补「 关」形后双红） | ui_struct_probe | 零红 | sl3 词形表 |
+| m-ESC | main 加选档语境 ESC 处理 | sl10 ESC 关闭了选档层 | screen_flow_probe | PASS | — |
+
+### 三、T0 产物：confirm_dialog 断言面清点（§7.2 申报位点核对）
+
+| 位点 | 卡③ 处置后实况 |
+|---|---|
+| `ui_struct_probe.gd:71`（结构采样——confirm open/audit） | 分派口变化后行为不变（open 直开保留）——采样复跑绿，零改写 |
+| `smoke_all.gd:226`（最顶层候选） | 弹窗实例数与树序未变——复跑绿，零改写 |
+| `ui_click_probe.gd:508-527`（断点确认交互段） | 分派重构初版曾红（「确认开新冒险后未开局」——`_start_adventure_from_menu` 开窗未设消费方），补设后复跑绿；该段即 sl8 的 new_adventure 侧活体回归 |
+| `ui_tune_probe.gd:52`（树序断言） | 弹窗构建位未动——复跑绿，零改写 |
+| 申报小结 | §7.2 四位点**零改写**（判据未放宽）；新增断言见对照表 |
+
+### 四、已知中间态（随卡②/卡④ 合并消除或换代）
+
+1. **选档层无生产入口**（卡③ 合并后、卡② 合并前）：「进入存档」钮属卡②——探针经 `main._open_save_select()` 函数直调（mn10 同款中间态，对照表 sl1/sl5-sl7 真实入口列在案）；卡② mn3 补钮与点击链后闭环。
+2. **进档/新档暂行落点 CampOverlay**（Q3 裁乙）：卡④ 重立卡后改挂场景图（其 T3 承载改挂与二次验证面）。
+3. **选档层营地段被栈挂起不关闭**（sl12 钉死态）：camp 关闭时栈还原选档层（玩家回选档面）＋`_on_camp_closed` 恢复开始层（被选档页遮挡不可见）——卡④ T3 同口径换代点。
+4. **窥视读器 has_file 位**（T0 对齐补充）：空/有档操作集二分判定来处，非摘要第四项；已在卡① 交付面、卡③ 消费面两侧文档（卡③ §2 对齐附注）留痕。
+
+### 五、读数对照
+
+| 闸 | 基线（卡① 合并态） | 末态（卡③ 收口） |
+|---|---|---|
+| 冒烟 | 1201 / 0 | **1201 / 0**（卡③ 断言全在探针层，冒烟零新增） |
+| 单元 | 38 套件全绿 | **38 套件全绿** |
+| probe --click | 全绿 | 全绿（struct/click/flow 三件新段全绿＋ui_contrast 等既有件零回归） |
+| 重闸 --code | — | 首轮 all_green=false（R1×2 新增）→ 回炉后**全绿**（回执随合并提交留痕——收口流程订正：回执须核 verdict 非仅 commit） |
@@ -1,7 +1,7 @@
 # 迭代 33 独立验收审计（2026-10-21）

 > 审计人：未参与实现的独立会话，只采信盘面证据与自跑实测，不采信任何报告的「已全绿」。
-> 被审计对象：卡① 存档制数据层改造批（worktree `D:\code\g-plan2-iter33card1-save`，分支 `iter33-card1-save`，实现提交 `6a7c2575`＋`074cfe27`，基线 `7280070f`；首轮审计后回炉提交 `4a8558a0`，见文末复审小节）。
+> 被审计对象：卡① 存档制数据层改造批（worktree `D:\code\g-plan2-iter33card1-save`，分支 `iter33-card1-save`，实现提交 `6a7c2575`＋`074cfe27`，基线 `7280070f`；首轮审计后回炉提交 `4a8558a0`，见文末复审小节）。卡③ 选档界面新建批审计见文末「卡③」节（worktree `D:\code\g-plan2-iter33card3-saveselect`）。
 > 审计材料：需求卡片 §7.1/§7.2、实现报告卡① 节实际对照表与变异记录表、`git diff 7280070f..HEAD`、三个新单元套件＋冒烟新段＋run_all 注册、闸回执。
 > 审计自跑基线（首轮，HEAD=074cfe27）：冒烟 **1201 项 / 0 失败**（`python tools/run_smoke.py`，三闸全过）；单元 **38 套件全绿**（`--script res://tests/run_all.gd`）——与实现报告读数一致。
 > 复审自跑基线（回炉后，HEAD=4a8558a0）：冒烟 **1201 项 / 0 失败**（三闸全过）；单元 **38 套件全绿**；boot 套件 **12 检查全绿**——均为审计自跑实测，见复审小节。
@@ -92,6 +92,100 @@

 **复审判定**：sv3、sv4 两缺漏回炉后断言均经实测具备判别力（变异⑦/⑥注入见红、还原复绿），sv3 申报真实入口已有生产链对照面（链级断言实测在役），处置未引入新削弱——两行改为**通过**。

-## 结论（终审）
+## 卡① 结论（终审）

 **通过**——sv1–sv14 全部 14 行通过（sv3/sv4 回炉后复审通过，凭据见复审小节；首轮未过记录保留于上，回炉事实=提交 `4a8558a0`）。独立验收审计合并前置达成。复审全程零 commit、`game/` 零残留（两处变异注入均已精确还原，杂散件已清）。
+
+## 卡③ 选档界面新建批（3 存档位 · 新档/进档/删档）
+
+> 审计人：同一独立协议（未参与实现、只采信盘面证据与自跑实测、不采信报告「已全绿」）。
+> 被审计对象：worktree `D:\code\g-plan2-iter33card3-saveselect`，分支 `iter33-card3-saveselect`，实现提交 `a6614a3b`＋`52dd1ad2`＋`54bde367`，基线 merge-base=`ebf40947`（卡① 合并态）。
+> 审计材料：卡③ 需求卡片 §7.1/§7.2/§2 T0 对齐附注、实现报告卡③ 节（对照表＋变异表十条＋confirm 断言面清点）、`git diff ebf40947..HEAD`、三探针新段、闸回执。
+> 审计自跑基线（HEAD=54bde367）：冒烟 **1201/0 三闸过**；单元 **38 套件全绿**；探针三件 exit=0（struct **PASS 全屏结构断言零红**／click **问题=0**／flow **PASS**）；ui_contrast_probe **PASS（38 对测点）**；卡① `save_slot_summary_test` **12 检查全绿**（has_file 向后兼容面）。
+
+### ① 逐行核对表（sl1–sl14，对实现报告实际对照表逐行复核）
+
+| # | 判定 | 依据（审计自查实录） |
+|---|---|---|
+| sl1 三槽呈现 | 通过 | `ui_struct_probe` 选档段＋`_save_select_contract` 在盘：槽卡行数==3＋`_count_scroll` 零滚动容器断言；〔sl1〕grep 命中。真实入口=`main._open_save_select()` 函数直调——**中间态登记核实**：实现报告「已知中间态」#1＋对照表 sl1/sl5–sl7 真实入口列均在案；全仓 `_open_save_select` 调用方=探针 6 处＋定义 1 处，生产零调用、无死钮预埋（「进入存档」钮属卡② mn3，本批未提前接线）——合法中间态成立。变异m7（ScrollContainer）注入点与红项（滚动计数＋zero_size 结构族）桌核自洽。 |
+| sl2 摘要三项逐槽读数 | 通过 | struct 段夹具按槽直写（槽1=钥石 555/通关 2 局/冒险 7 局）逐字断言＋钥石徽全树枚举；真实入口=开层后渲染面 label 实取值。变异m2（`_save_select_data` 改读激活位）桌核自洽：槽1 两断言（摘要行＋钥石徽）必红。 |
+| sl3 摘要禁项 | 通过 | 禁词表=断点/种子/继续/停点/「 关」（label 全集 `contains` 扫描——「通关」无空格不误伤，词形注记在案）；变异m9 双红记录（sl2 精确匹配＋sl3 禁词）与词形表强化历史自洽（首轮缺「 关」被变异暴露后补齐=收紧）。 |
+| sl4 空/有档操作集二分 | 通过 | **渲染面实测**：`_collect_button_texts` 逐行枚举 visible Button 文本（行1=进档+删档零新档；行2/3=仅新档零进档删档含置灰形态）＋簿记 occ 判定保留；变异m3 **审计实测复现**（详②-1）。 |
+| sl5 空槽新档链 | 通过 | click 段真实按钮信号路径（`new_btn.pressed.emit()`）：active==1＋槽1 白板落盘（盘面解析 keystone==0）＋逐帧采样；中间态登记同 sl1。撤销机理成立（去 `create_slot` 调用→激活/落盘断言红）。 |
+| sl6 有档槽进档链 | 通过 | click 段槽2 进档→active==2＋落点营地层可见＋选档隐藏。变异（进档读成当前激活槽）桌核自洽：active 断言红。 |
+| sl7 删档二次确认链 | 通过 | 双路径全链：一击只开窗（`is_open`＋文件在盘）→取消只关窗文件仍在（含消费方状态量清零）→再开窗确认删＋槽回空＋就地刷新（occupied_flags 翻转断言）；变异m1 **审计实测复现**（详②-2）。 |
+| sl8 消费方编排机制 | 通过 | 分派单口三断言（取消后/确认后 `_confirm_consumer` 清零＋删档确认不误触发开局 `run_scope.is_adventure`）；现役断点确认段（`ui_click_probe.gd:604` 起，行号较申报漂移）零改写复跑绿=new_adventure 侧活体回归；变异m4（confirmed 再连 `_start_adventure`）桌核自洽。生产接线核验：`_start_adventure_from_menu` open 前设消费方、`_on_confirm_accepted` match 路由、旧双常驻静态接线撤除（diff 删除行=申报的生产改动本体）。 |
+| sl9 重启不预选（Q1 甲） | 通过 | struct 段开层前 `active_slot()==0` 断言＋「已选」标记文本零命中＋视图零选中态字段（文件核）；boot 级由卡① V2-s1 承接。变异m8（预选标记）桌核自洽。 |
+| sl10 返回路径与 ESC 语境 | 通过 | `screen_flow_probe` 新步：返回钮真实信号→选档隐藏＋开始层恢复断言＋屏级互斥采样；合成 ESC 键（viewport.push_input）层不关断言。变异m5（只隐不关）与 m-ESC（加 ESC 处理）桌核自洽（申报已执行）。 |
+| sl11 层序与模态纪律 | 通过（无新码尾缀——申报形态=既有段复跑，同卡① sv11 先例） | 凭据：`LAYER_CONTRACT` 加行＋`_layer_node` 查表＋构造三处在 diff 核实；`ui_struct_probe` 全屏 PASS 含 `_modal_registry_contract`（登记序==合同序，新层在册）；冒烟 1201/0（V1d 源码合同段，审计自跑）；ui_tune_probe 树序断言（:52 原样在位）经回执 04 --full 绿。变异（视图散落 move_child→V1d 判红）为既有闸机理，无新断言需变异。 |
+| sl12 动线序不回闪 | 通过 | 逐帧三断言（落点帧选档隐藏/营地层可见/开始层保持隐藏）＋**栈遮挡记账判别**（select ∈ `camp._occluded`）；变异m6 红项与报告一致。强化历史核实：首轮帧采样对 m6 零红（close-then-open 形态在帧采样下不可判别）→52dd1ad2 **纯新增**记账断言（帧采样保留零删）——收紧非放宽。 |
+| sl13 零新素材零新色值（非行为改动） | 通过（件核＋复跑） | diff 核实：新视图文件零 `Color8(`/`Color(`/`preload`/素材路径，main.gd 新增行零色值素材（grep 计数=0）；ui_contrast_probe **PASS（38 对测点＋裸色白名单/preload 红线静态段绿）**（审计自跑）。无新码尾缀=件核行申报形态（同卡① sv13 先例）。 |
+| sl14 反哺点清单（非行为改动） | 通过 | `reports/iter33-反哺点-2026-10-21.md` 卡③ 节 4 条（#7 生涯.md 结构树补层／#8 08 增行请求-明示须用户裁／#9 待办清单+roadmap 推进／#10 存档序列化消费面纪律补 has_file 口径）覆盖卡片 §5 全部落点。 |
+
+### ② 撤销/变异证明抽查记录（审计自跑实测）
+
+**②-1 变异m3 复现（空槽渲染删档钮——按簿记缝盲区形态注入：渲染但不注册簿记字典）**
+- 注入：`save_select_overlay.gd` `_build_slot_row` 空槽分支尾加 `row.add_child(UiKit.danger_button("删档", "MUTATION m3"))`（不写 `_delete_btns`）。
+- `ui_struct_probe` → **exit=1，恰两行红**：「行2 操作集失守（空/坏槽应=仅新档、零进档删档含置灰形态）〔sl4〕」＋「行3 ……〔sl4〕」——首轮走簿记缝的盲区（字典未含该钮）被渲染面扫描闭合，实测证实强化有效。
+- `git checkout --` 还原 → 复跑 **PASS 全屏结构断言零红** → `git status` 干净。
+- 强化本身核查（52dd1ad2 diff 逐行）：sl4 由簿记字典缝改为真实钮文本枚举（扫描面扩大、occ 簿记保留、零检查删除）；sl3 词形表扩充；sl12 记账断言纯新增——**未引入未申报削弱**。
+
+**②-2 变异m1 复现（删档直连删除，跳过确认窗）**
+- 注入：`main.gd` `_on_save_select_delete` 改直连 `save_manager.delete_slot(slot)`＋就地刷新，原确认链 `if false` 短路。
+- `ui_click_probe` → **exit=1，sl7 面如期红**：「sl7 一击未只开确认窗（直删形态）」。同轮另现一条连带红「断点段：战败结算后断点未清」——该段在变异前基线与还原后复跑均 0 红，判为变异扰动的对局段偶发（预算帧漂移 9781→9749→6619），非基线不稳，记录备查。
+- 还原 → 复跑 **问题=0** → `git status` 干净。
+
+**②-3 变异表十条逐条桌核**：m1/m3 实测如上；m2（读激活位→sl2 两断言红）、m4（双常驻接线→`run_scope.is_adventure` 红）、m5（只隐不关→恢复断言红）、m6（先关后开→记账判别红，帧采样不可判别的机理说明与 ModalStack 语义核实一致）、m7（ScrollContainer→滚动计数＋zero_size 结构族双红）、m8（预选标记→文本命中红）、m9（拼关数→sl2＋sl3 双红）、m-ESC（ESC 关层红）——注入点、断言面、红项记录逐条与盘面代码对得上，自洽。
+
+### ③ 测试削弱检查表（diff 全部删改逐处 vs 卡片 §7.2 申报）
+
+| diff 改动处 | 定性 | 判定 |
+|---|---|---|
+| `smoke_all.gd` | **零改动**（del=0/add=0） | 与对照表「卡③断言全在探针层，冒烟零新增」一致 ✓ |
+| `ui_struct_probe.gd`／`ui_click_probe.gd`／`screen_flow_probe.gd` | **纯新增**（del=0；+103/+96/+41） | 既有段零触碰 ✓；批内强化提交 52dd1ad2 为批内新断言的演进（m3/m9/m6 盲区修正），全部收紧零删（详②-1） |
+| §7.2 申报四位点（按内容定位，行号已漂移） | 逐一核实 | `ui_struct_probe` confirm 结构采样（:103-106）、`smoke_all` `_topmost_visible_layer` 候选表（:226 区）、`ui_click_probe` 断点确认交互段（:604-623）、`ui_tune_probe` 树序断言（:52）——**全部原样在位零改写**（申报允许改写而实际未改，优于申报） |
+| `main.gd` 删 9 行 | 生产改动本体 | 旧双常驻静态接线（`_on_confirm_new_adventure`/`_on_confirm_cancelled` 及两条 connect）撤除＝卡片契约 3/§9 第 6 条＋sl8 申报的改动本体，非断言削弱；新分派行为与旧 handler 逐句等价（new_adventure 分支对照核实） |
+| `save_manager.gd` 删 4 行 | 接口补全 | 注释 2 行＋peek 返回字典字面量 2 处加 `has_file` 键——向后兼容扩展，卡① 断言零触碰（详⑤） |
+
+**小结**：零未申报削弱；零批前既有断言删改；零阈值放宽；零扫描面缩小；零入口替换。
+
+### ④ 回执核验（`game/tests/.gates/receipt.json`，盘面工作件）
+
+- `commit` = `54bde3678ab8707872c2a117d75e7a9e8abcb91f` == HEAD ✓；`domain` = "code" ✓；`quick_mode` = false；`not_run` = 11 回放确定性对拍（NEED-APPROVAL，同卡① 口径）。
+- **`all_green` = false ✗**：`09 静态扫描` exit=1，且 `changed_vs_baseline` 记录红项清单较基线变化（基线 4354b2aa72a7 → 现 2b71884ec242；卡① 合并态该闸为绿/改善，存量基线记录的旧红清单已被卡① 清零）。其余 01 冒烟／02 单元／03 探针 --click／04 探针 --full／05 渲染闸／10 熵增闸 green（其中 01/02/03＋struct/flow/contrast 探针经审计自跑复现）。
+- 审计现场复现红项：`python tools/audit_type_hints.py` → **存量 2 处 R1（裸 Dictionary/Array 注解）**——`main.gd:1176`（`var p: Dictionary`，`_save_select_data` 内）＋`save_select_overlay.gd:58`（`var slots: Array`）；两处均为卡③新增代码行（diff `+` 行核实），即本批新引入的类型闸红。
+- **与实现报告矛盾**：卡③ 状态行与读数对照声称「批末重闸 --code 全绿（回执见合并提交信息）」——盘面回执 `all_green=false` 且红闸为本批新引入，报告表述失实。按硬性红线「`run_all_gates.sh` 所选域全绿才合回 master」，本批当前态**不可合并**。
+
+### ⑤ has_file 接口补全专项
+
+- diff 核实：`save_manager.gd` 仅 4 删 6 增＝窥视读器注释改写＋peek 返回字典（越界分支与 `out` 初始化）加 `has_file` 键＋主文件在盘置位一行——**纯返回键扩展，向后兼容**。
+- 卡① 侧断言零触碰：`save_slot_summary_test.gd` 零 diff；审计直跑 **all green (12 checks)** ✓。
+- 三处留痕一致：卡③ §2 T0 对齐附注（has_file=空/有档操作集二分判定来处、非摘要第四项、零 UI 语义）＝实现报告已知中间态 #4＝追认单卡③ #7（列为待追认单项、veto 影响写明）——三处口径逐字一致 ✓。
+- 消费面核验：`_save_select_data` `occupied = has_file ∧ readable`（Q2 甲坏槽按空呈现）✓；视图零自判（槽态唯一来处=喂入数据）✓。
+
+### 卡③ 结论（首轮）——未通过（已回炉，终审见文末卡③复审小节）
+
+**首轮缺漏清单（1 项，阻塞合并；保留存档）**：
+1. **批末重闸未全绿＋报告失实**：回执 `09 静态扫描` 红（2 处 R1 类型闸存量，均在卡③新增代码行：`main.gd:1176` 裸 `Dictionary`、`save_select_overlay.gd:58` 裸 `Array`；红项清单较基线变化），`all_green=false`；实现报告「批末重闸 --code 全绿」与盘面矛盾。回炉方向（供实现段参考，非裁断）：两处容器注解参数化（如 `Dictionary[String, Variant]`／`Array[Dictionary]`）或按闸机规程报用户裁；重跑批末重闸取全绿回执（回执 commit 须对新 HEAD）；更正实现报告「全绿」表述按盘面实况。回炉后按本协议复审。
+
+其余全部通过：sl1–sl14 逐行核对 14 行通过（含中间态登记与无死钮核实、has_file 专项、三处留痕一致）；变异 m1/m3 实测复现红→还原→绿，十条变异表自洽；52dd1ad2 强化纯收紧未引入削弱；§7.2 四位点零改写；smoke_all 零改动。审计全程零 commit、`game/` 零残留（两处变异注入均已 `git checkout` 精确还原）。
+
+### 卡③ 复审（2026-10-22，回炉提交 b673ced）
+
+**回炉 diff 核验**（`git show b673ced`，仅两处代码修＋实现报告更正，共 5 增 4 删）：
+- `main.gd:1176`：`var p: Dictionary = save_manager.peek_slot_summary(i)` → `var p := save_manager.peek_slot_summary(i)`（推断形态，行内注记写明取舍依据：裸注解触 R1、参数化 `Dictionary[String, Variant]` 赋值被运行期严格类型拒——实测 SCRIPT ERROR 实证过）。变量仍持同一窥视返回 Dictionary，下游 `.get()` 消费零变化。
+- `save_select_overlay.gd:58`：`var slots: Array = ...` → `var slots: Array[Variant] = []`＋`slots.assign(data.get("slots", []))`（typed 容器纪律）。`assign()` 逐元素拷贝后迭代内容不变，`for sd: Dictionary in slots` 原样——零行为改动。
+- 两处均为审计申报缺漏的定点修除，容器注解形态变化（声明面），零逻辑改动——无未申报削弱可言（行为不变佐证：sl2 摘要读数断言、sl5/sl7 数据链断言复审全绿，见下）。
+- 实现报告更正核实：卡③ 状态行改为两轮记录（首轮未过原因含「收口时点只核回执 commit 未核 verdict」的流程订正）；读数表「重闸 --code」行改为「首轮 all_green=false（R1×2 新增）→ 回炉后全绿」——首轮审计指出的「报告失实」已消除。
+
+**复审自跑实录**（HEAD=b673ced）：
+- `python tools/audit_type_hints.py` → **PASS，产品码类型闸归零（R1/R2/R3）**，exit=0（首轮红项 `main.gd:1176`/`save_select_overlay.gd:58` 均已消）。
+- `ui_struct_probe` → **PASS 全屏结构断言零红**——含 sl2 摘要读数断言（555/2 局/7 局逐字）绿＝`_save_select_data` 改推断形态后喂入数据面零行为变化的实测佐证。
+- `ui_click_probe` → **exit=0，问题=0**——sl5/sl7 数据链与 `open_save_select` 的 `Array[Variant]`+`assign()` 消费面（每次开层走该口）零行为变化的实测佐证。
+- 回执核验（复审轮）：`commit`==`b673cedd…`==HEAD ✓、`all_green`=**true** ✓、`domain`="code" ✓、`quick_mode`=false；`09 静态扫描` exit=0 green（fingerprint green）——首轮红闸闭合；`not_run` 同前（11 回放确定性对拍 NEED-APPROVAL）；回执时间戳（06:11:28）在回炉提交（06:04:59）之后＝修后重闸实测。
+
+**复审判定**：缺漏 1（批末重闸未全绿＋报告失实）回炉后闭合——类型闸归零、回执全绿且对上 HEAD、报告更正为两轮实况。零未申报削弱。卡③ sl1–sl14 全部 14 行通过。
+
+### 卡③ 结论（终审）
+
+**通过**——卡③ 选档界面新建批 14 行（sl1–sl14）全部通过（首轮未过记录保留于上，回炉事实=提交 `b673ced`）。独立验收审计合并前置达成。复审全程零 commit、`game/` 零残留、`git status` 仅本报告工作件。
@@ -37,10 +37,10 @@
 | F4 | 钥石徽工厂件在役：`UiKit.keystone_badge`（状态面板/生涯页/营地三处消费先例；迭代 17 卡③ Q10 甲工厂化） | `career_overlay.gd:54`；`camp_overlay_view.gd:82`；`status_panel` 同族 |
 | F5 | 层序唯一事实源=`main.gd` `LAYER_CONTRACT`（16 层＋float 类），`_apply_layer_contract` 为全仓唯一落位口；冒烟 V1d 源码断言判红散落 `move_child` | `main.gd:34-53`／:430-455；`smoke_all.gd:146-154` |
 | F6 | 模态栈单口在役：`_open_modal`/`_close_modal`（登记层开合一律走栈；T3 收口批纪律） | `main.gd:458-462` |
-| F7 | 摘要三项读源：现役单档访问器（`keystone_balance`/`adventure_total`/`adventure_cleared`，save_manager.gd:214/258/264）＋**按槽窥视读器=卡① T2 交付物（未实现）**；「通关次数」口径=**通关局数 `adventure_cleared`**（同生涯页行，卡① F4 已锁——禁与「各关通关次数 clear_count」混义） | `save_manager.gd:214`／:258／:264；卡① §6 T2 |
+| F7 | 摘要三项读源：现役访问器（`keystone_balance`/`adventure_total`/`adventure_cleared`；卡① 合并后 :385/：429/：435〔T0 订正 2026-10-22，成文时 :214/258/264〕）＋**按槽窥视读器=卡① 已交付**（`peek_slot_summary` :164，含 `has_file` 位——T0 对齐补充）；「通关次数」口径=**通关局数 `adventure_cleared`**（同生涯页行，卡① F4 已锁——禁与「各关通关次数 clear_count」混义） | `save_manager.gd:385`／:429／:435／:164；卡① §6 T2 |
 | F8 | UI 公共件纪律先例（迭代 17 卡③）：「复用现行公共件与色板，零新素材零新色值」——本卡同类批，照此执行 | `roadmap.md` 迭代 17 ③行 |

-**T0 对齐结论（2026-10-21，卡① 实测交付形态，消契约 9 落空项）**：窥视读器=`peek_slot_summary(slot: int) -> Dictionary`（另有路径注入口 `peek_summary_at(path)` 供探针隔离，契约 7 同款）；返回结构=`{"readable": bool, "keystone": int, "cleared": int, "total": int}`；空槽（主文件不在盘，含仅 .tmp 残留）＝`readable=true`＋三项零值；不可读态（损坏/高版本/缺版本字段/越界槽号）＝`readable=false`（Q2 裁甲：UI 一律按空槽呈现，禁自设第三态）。激活与档操作 API：`active_slot() -> int`（0=无激活态）、`create_slot(slot)`/`activate_slot(slot) -> bool`（失败自动恢复切换前三态）/`delete_slot(slot) -> bool`；位数常量=`SaveManagerCore.SLOT_COUNT=3`；槽路径唯一派生口=`slot_path(slot)`，视图/组合根禁自拼槽文件名；测试夹具隔离走 `attach_slot_template(template)` 注入口。
+**T0 对齐结论（2026-10-21，卡① 实测交付形态，消契约 9 落空项）**：窥视读器=`peek_slot_summary(slot: int) -> Dictionary`（另有路径注入口 `peek_summary_at(path)` 供探针隔离，契约 7 同款）；返回结构=`{"readable": bool, "keystone": int, "cleared": int, "total": int}`；返回结构另含 `has_file: bool`（主文件在盘与否——T0 对齐补充 2026-10-22：空/有档操作集二分判定来处，非摘要第四项、零 UI 语义）；空槽（主文件不在盘，含仅 .tmp 残留）＝`readable=true`＋`has_file=false`＋三项零值；不可读态（损坏/高版本/缺版本字段/越界槽号）＝`readable=false`（Q2 裁甲：UI 一律按空槽呈现，禁自设第三态）。激活与档操作 API：`active_slot() -> int`（0=无激活态）、`create_slot(slot)`/`activate_slot(slot) -> bool`（失败自动恢复切换前三态）/`delete_slot(slot) -> bool`；位数常量=`SaveManagerCore.SLOT_COUNT=3`；槽路径唯一派生口=`slot_path(slot)`，视图/组合根禁自拼槽文件名；测试夹具隔离走 `attach_slot_template(template)` 注入口。

 ## 3. 设计契约（红线，违反 = L3 停机呈报）