docs(迭代36产出物补全): 卡③节落位——实现报告卡③状态总表/对照表实况/P0禁令申报/面板目检条＋反哺点⑨–⑬五落点＋代拍板卡③节（含宿主现址执行更正与零变异备案）＋停机呈报撤回（用户裁决吸收进报告）＋审计卡③报告（sv1–sv9过，sv10缺口已补齐转通过）

2026-10-24 10:05:14 +08:00
1 parent 8a37712e64
commit 8b2233927f
@@ -19,6 +19,15 @@
 4. **源扫描注释剥离**（白名单 4）：行首 `#` 判定式（strip_edges 后 begins_with("#") 跳行）；board_view.gd 扫描为全源 `"雷"` 字面量计数（哨兵族钉住，无注释剥离必要——实查零命中含注释）。
 5. **提交切分**（白名单 5）：与卡C 同笔检查点提交（ui_click_probe 断言面两卡共用文件，拆笔无净收益）。
 ## 卡③（状态面板瘦身批）
 1. **空态句与段头措辞**（白名单 1）：段头=「本局状态/带的秘宝/已获专长」（用户原话词干）；空态句=「未携带秘宝」「未获专长」（:130 先例形制）✓。
 2. **属性行串接序与分隔符**（白名单 2）：「生命 %d/%d · 攻击 %d · 护甲 AC %d · GP %d」逐字（契约 4 钉值）✓。
 3. **断言定位写法**（白名单 3）：隔离档=成员直引（`_attrs_label`/`_curios_label`/`_feats_label`）＋子树文本扫描（零旧段）；探针=成员直引＋独立 oracle 对拍。
 4. **夹具数值**（白名单 4）：balance 77/hero_hp 13/max_hp 29/atk 7/ac 11/gp 41、秘宝二件（一未用一已用）、专长二行——任意非零可辨、与断言共值冲突零。
 5. **提交切分**（白名单 5）：卡③ 一笔实现提交＋风格修正一笔。
 6. **执行更正备案（超卡片字面，用户已裁）**：断言宿主按迁移现址执行（旧断言族全量保留于 theme_projection_test 现址——用户裁决「旧断言在新位置保留、新断言按新规矩写」），停机呈报撤回；变异验证六条注入按用户 P0 禁令零执行（正向验收照跑），相关判据记「拦截能力未证」。
 ## 超白名单事项（须用户知悉）
 - **路径②驱动前提不成立**（卡C）：奖励节点三选一在现行 build 不可达（reward 节点直通占位、L1 零商店节点）——处置=改快照喂入形态（代拍板 2 形态内）＋事实移交反哺点 ③/⑧＋实现报告缺陷记录。若用户认「路径②须保留原设计」→ 需先立「奖励节点三选一实装」批，本卡 wc1 正向半随之重写卡。
@@ -1,34 +0,0 @@
 # 停机呈报：迭代 36 卡③「状态面板瘦身批」开工检查不过——断言宿主变质（2026-10-24）
 - 呈报人：迭代 36 实现会话（/iter 36 开工检查第 2 步·自洽扫描③事实抽查）
 - 性质：**上游缺陷移交**（写卡段），非提问；卡③停摆，不阻塞卡①卡②（本迭代已按卡C→卡A 顺序完成实现，见 `reports/iter36-实现报告-2026-10-24.md`）
 - 待办清单对应条目：「状态面板瘦身——局内面板去跨关解锁内容、只留本局信息」（:73）——**状态回退拟稿**：条目状态由「已编迭代 36」回退「已写卡（断言宿主变质待重锚）」，缺口补记见 §3
 ## 1. 现状差在哪
 需求卡片 `reports/需求卡片-状态面板瘦身批-2026-10-23.md`（v1.1）成文于 2026-10-23。2026-10-24 `game/smoke/` 目录退役合并入库（`16c6f136`——探针迁 `game/probe/`、`smoke_all.gd` 删除、断言面分流迁 `game/tests/` 各单测与 `system_test.gd`）。同会话的另两张卡（开场后缀／文案清扫）已按此换代重锚至 v1.2（`305f8ee6`），**卡③没有重锚**，其断言面计划仍指向已消亡的宿主：
 | 卡③引用 | 现状 |
 |---|---|
 | `game/smoke/smoke_all.gd:5727-5779`（`_status_panel_projection` 断言族——T1 的重写对象、§8.3 削弱申报对象、sv1–sv5/sv8 落点） | 文件已删除；`_status_panel_projection` 现址＝`game/tests/unit/presentation/theme_projection_test.gd:737`（迁移账本 `game/tests/验证集清单.md` S61：去向=单元测试 theme_projection_test） |
 | `game/smoke/ui_click_probe.gd:593-621`（T2 真实入口三断言挂段） | 文件迁 `game/probe/ui_click_probe.gd`（行号未核） |
 | 文件结构图 §7 六行中两行（smoke_all／smoke/ui_click_probe）、§6 同步面表尾两行 | 同上失效 |
 T1 首步「实装冒烟 `_status_panel_projection` 换代（`smoke_all.gd:5727-5779` 重写）」按卡片原文无法执行——重写对象不存在。
 ## 2. 两种读法与建议案
 - **读法甲（机械重锚）**：断言宿主迁移是机械事实（S61 记录了去向），实现段把 smoke_all 引用就地改指 theme_projection_test.gd:737 继续施工。
  - **不采纳**：宿主迁移不是行号漂移——smoke_all 的断言按域分装进了多个宿主（投影族落 theme_projection_test、真实入口探针落 probe 新址），削弱的旧断言族（工坊 12 行投影断言 :5744-5770）拆分到哪、保留哪半（§8.3 申报的区间边界）都要按新宿主重新划界；这属断言面重落，是写卡段职责（先例＝卡A/卡C 的 v1.2 重锚走完整写卡批＋grilling，commit `305f8ee6`）。实现段代改＝越权裁断。
 - **读法乙（停卡退回写卡段）**：卡③停摆，写卡段出 v1.2——断言宿主全量重锚（投影族→theme_projection_test.gd 现址行号；真实入口三断言→`game/probe/ui_click_probe.gd` 现址挂段行号；§8.3 削弱申报按迁移后实况重写；§7 文件结构图/§6 同步面表尾两行同步订正），照卡A/卡C v1.2 先例走复核后合回，实现段续接。
  - **建议采乙**。卡③其余面（产品码改动设计、契约 1–6、接口块八键、sv6 三断言设计）经两处实查未发现除宿主迁移外的变质（status_panel.gd / main.gd `_status_data` :1070-1076 / 两角标 tooltip 三处 file:line 现值吻合），重锚范围仅断言宿主面。
 ## 3. 缺口补记拟稿（供写卡段/用户落笔）
 - 待办清单 ：73 条目状态：「已编迭代 36」→「已写卡（断言宿主变质 2026-10-24 停机呈报，待 v1.2 重锚后重新编入）」。
 - 本迭代收口：卡③停摆不提交、不合并；**迭代总收口合并须等卡③闭合、或用户裁「拆批」（卡①卡②先行合回、卡③随重锚卡另批收口）**——按 iter 技能第 4 步停机规则呈报待裁。
 ## 4. 验证与没把握的
 - 本呈报的宿主迁移事实以 `git log 16c6f136`、`game/tests/验证集清单.md` S61、`theme_projection_test.gd:737` 现址实查为凭（开工检查当日复核）。
 - 没把握的：迁移后 `_status_panel_projection` 在 theme_projection_test 内的断言族边界（哪些子断言随工坊段退役该删）未逐条核对——这正是写卡段 v1.2 要做的事，本呈报不代做。
@@ -38,7 +38,24 @@
 - 改成：卡A T2③ 断言「三选一停点弹层头部含『冒险牌库』」在本次实跑未捕获到「关卡奖励点」停点（奖励节点直通占位——同 ③ 依据；实跑出现的唯一停点=通关三选一，头部为「第 1 层通过！…」独立文案，不经 node_curio_header）。断言保留为条件断言（拦截面=未来奖励节点停点实装后的真实头部），**拦截能力未证**如实申报（test-conventions §6 口径）。
 - 依据：probe 探针实跑记录（ui_click_probe 主循环 curio 分支捕获条件）。
-## 卡③（状态面板瘦身批——停摆）
+## 卡③（状态面板瘦身批）
-### ⑨ 停机呈报移交
+### ⑨ `design/gdd/systems/跨局循环/元进度.md` 「解锁界面：双入口框架」节（:104-106）
- 见 `reports/iter36-停机呈报-状态面板瘦身批-2026-10-24.md`：待办清单 ：73 条目状态回退拟稿＋卡③ v1.2 重锚范围。归写卡段/用户处置，不在本清单展开。
+- 改成：「局内状态面板……也可查看钥石余额与**已解锁清单**（只读）」→「……也可查看钥石余额与本局冒险信息（只读）」。
 - 依据：卡③ 契约 1/2（跨关解锁概览退役——「已解锁清单」半句失效）。
 ### ⑩ `design/gdd/systems/跨局循环/生涯.md` :30 与 :73 两处
 - 改成：:30 括注「局内只读查看钥石与**解锁进度**」→「钥石与本局冒险进度」；:73 分工表行「局内只读查看这一局进行中的钥石与**解锁进度**」→「钥石与本局冒险进度」。
 - 依据：卡③ 契约 1/2（同上）。
 ### ⑪ `design/gdd/08-Alpha版本标准.md` :115 状态面板行状态换代
 - 改成：「部分在役（在役半=面板本体……未结半=2026-10-16 用户令瘦身……）」→「在役」，并随记出口判据逐项销号（本报告卡③节为凭）。
 - 依据：卡③ §6 ③＋D1（08 状态面板行）。
 ### ⑫ `体验验证清单.md` ⑳ 连带句（已核销历史条目）追溯改写与否——由用户裁
 - 改成与否待裁：⑳「营地统一四柜台目检」连带句「状态面板属性锻造段已消失（钥石+工坊+天赋树概览）」随本批换代过时（面板现=本局信息五件）——已核销历史记录，改否只影响史实描述精度。
 - 依据：卡③ §6 ④。
 ### ⑬ `待办清单.md` 卡③ 登记条批后退役
 - 改成：「状态面板瘦身——局内面板去跨关解锁内容、只留本局信息」条目整条退役（状态「已实现（迭代 36）」）。
 - 依据：卡③ §6 ⑤。
@@ -1,8 +1,9 @@
-# 迭代 36 实现报告（2026-10-24）——卡C 开场后缀营地灰字迷雾测点批＋卡A 文案与禁字清扫批
+# 迭代 36 实现报告（2026-10-24）——卡C 开场后缀营地灰字迷雾测点批＋卡A 文案与禁字清扫批＋卡③ 状态面板瘦身批
 - 工作区：`../g-plan2-iter36`（分支 `iter36`，单工作区串行）；卡序=roadmap 行格内顺序（卡C→卡A→卡③）
- 卡③（状态面板瘦身批）**开工检查不过停摆**：断言宿主随 `game/smoke/` 退役变质——停机呈报见 `reports/iter36-停机呈报-状态面板瘦身批-2026-10-24.md`；本报告只覆盖卡C/卡A
+- 卡③经过更正：实现会话曾因卡片断言宿主指认指向已退役的 `game/smoke/` 而停机呈报；**用户裁决更正**——退役迁移已把旧断言族全量保留至现址（`theme_projection_test.gd` `_status_panel_projection`，迁移账本 S61），实现按现址续接即可，无需重锚流程。原停机呈报文件已删（git 历史可考），其结论由本报告卡③节吸收。
 - 执行形态：整迭代单工作区、各卡串行（三卡 §0 均未声明可并行）
 - **纪律变更（用户 2026-10-24 令，P0 级）**：本项目**禁止一切变异测试**（注入/回退造红实验）——本报告 §3/§4 所录变异实验均发生于禁令送达前；卡③起零变异执行，相关判据一律记「拦截能力未证」。规则文档中「变异验证」条款的修正归文档批。
 ## 0. 卡C 状态总表
@@ -28,6 +29,24 @@
 **卡A 前提缺陷（较轻）**：wa4 探针半（三选一停点弹层头部断言）本次实跑未捕获到「关卡奖励点」停点——实跑唯一停点=通关三选一（头部=「第 1 层通过！…」独立文案，不经 `node_curio_header`）。断言保留为条件断言，**拦截能力未证**（test-conventions §6 口径）；静态半（sweep 断言②＋u3 变异红）拦截力已证。已列反哺点 ⑧。
 ## 1b. 卡③ 状态总表（状态面板瘦身批）
 | 完成定义项 | 状态 | 凭据 |
 |---|---|---|
 | 1. 面板五件内容在位且投影一致 | 达成 | theme_projection `_status_panel_projection` 换代九断言全绿（余额徽/属性行五现值/秘宝受理序＋已用尾缀/专长行串/空态句×2/提示行）——套件 162 checks 全绿 |
 | 2. 跨关概览退役零残留 | 达成 | sv5 双断言（子树零旧文案＋旧成员零残留）；`meta.treasure_shop_status()/tree_camp_rows()/tree_fork_groups()` 三函数本体零改动（diff 核） |
 | 3. 文案三处换代＋标题/继续钮锚不变 | 达成 | 提示行/两角标 tooltip=「查看本局冒险进度（只读）」；全仓「永久强化进度」零命中；ui_struct_probe ⑧ 两契约绿（信号连接数=2＋零动效） |
 | 4. 只读/零动效契约保持 | 达成 | 同上（ui_struct/field 探针回归） |
 | 5. 产出物三份 | 达成 | 本节＋反哺点＋代拍板追认单卡③节 |
 | 对照表 sv6/sv7 探针三断言 | 达成 | ui_click_probe 状态段（真实角标信号开层）：零旧段＋属性行对 runner 五现值＋`_status_data()` 直调八键键集＋curios 独立 oracle（query_inventory×treasure_item_row）＋feats 对拍——探针全绿（问题=0） |
 | 变异验证 | **零执行（用户 P0 禁令）** | 卡片 T1/T2 六条注入全部未跑；相关断言记「拦截能力未证」——正向验收测试照跑（隔离档＋探针） |
 实现要点更正（对卡片 F4 的执行更正）：`hero_hp`/`gp` 取数走 LevelRunner 属性 getter（`runner.hero_hp`/`runner.gp`——`_ledger` 直取下标的属性化封装，键缺失=致命语义不变）；卡片原文 `runner.ledger[...]` 的 ledger 住在 AdventureRunner，面板开层时点的 runner=LevelRunner。
 ## 1c. 卡③ 实机目检总清单（登记不阻塞）
 1. 面板观感：本局信息层级/文案通顺/空态句得体（08 出口判据「用户目检通过」由此承接）。
 ## 2. 实际改动—验收对照表（卡C）
 > 与卡片 §8.2 的差异处加粗。断言尾缀可 grep。
@@ -104,13 +123,15 @@
 ## 7. 遗留读数义务与申报
 1. wa4 探针半与 wc1 fresh 正向：**拦截能力未证**（前提不可驱动——反哺点 ③/⑧）。
-2. u8 变异红面=扫描（卡片预判 glyph_color 半红未现）——如实记录，判据未改。
+2. 卡③ 全部变异判据：**零执行**（用户 P0 禁令）——sv 断言「拦截能力未证」，正向验收照跑。
-3. ui_click_probe/battle_log_view 存量噪声：`_round_rows`（Array[Dictionary]）append String 的运行期 TypedArray 报错（绿跑亦复现，~388 次/全程）——**存量、非本批引入**，登记待办由后续批处置。
+3. ui_click_probe/battle_log_view 存量噪声：`_round_rows`（Array[Dictionary]）append String 的运行期 TypedArray 报错（绿跑亦复现）——**存量、非本批引入**，登记待办由后续批处置。
-4. 探针窗口化全程偶发静默中断（约 1/6 次实跑无输出退出 exit=1）——存量环境噪声（多次复跑同脚本可绿），登记观测。
+4. **批末闸偶发中断事件与恢复（环境级，非代码缺陷）**：卡③ 后的四次闸跑批先后出现探针静默退出/单元 runner 挂死（泄漏的引擎子进程对持续持锁，殃及后续全部 Godot 启动）。处置=清杀泄漏进程＋删除并重建 `game/.godot` 缓存 → 闸全绿。同日独立运行（窗口化与 headless 直跑）八连全绿。登记观测：`level_shop_economy_test` 在闸批量上下文存在挂死形态（直跑恒绿），留待闸机批排查（probe_gate 的 per-suite timeout 只杀 wrapper 不杀引擎子进程——孤儿泄漏源）。
 5. 探针断点段已埋故障指纹打印（仅「战败清断点」偶发失败时输出断点内容指纹）——留作该偶发问题下次复现时的定位面。
 ## 8. 独立验收审计
- 审计报告：`reports/iter36-验收审计-2026-10-24.md`（未参与实现的子代理执行；只读对照表/diff/测试文件，自跑三件变异抽查：wa6/wc5/wa12 注入→红→还原→复绿→工作区零残留）。
+- 审计报告：`reports/iter36-验收审计-2026-10-24.md`（未参与实现的子代理执行；只读对照表/diff/测试文件，自跑三件变异抽查：wa6/wc5/wa12 注入→红→还原→复绿→工作区零残留——**该三件抽查发生于用户 P0 禁令送达前**）。
 - **总判：通过**——wc1–wc7＋wa1–wa12 共 19 对照行零缺漏；未申报削弱零（31 行删除逐行归因：27 行产品码钉值＋迷雾单行换代 3 行〔§8.3 申报〕＋打印消息＋头注）。
 - 三件例外均申报/授权在案：wc1 fresh 正向与 wa4 探针半「拦截能力未证」（前提不可驱动——反哺点 ③/⑧）、L2/L3 行值修值（卡C §9 L2）、路径②并入快照喂入形态（代拍板 2＋缺陷移交）。
 - 审计留档观察：`_norm_floor_avg` 对部分缺位纹理 continue 跳过（仅全缺必红）——素材齐盘态无实际削弱，备查。
 - **卡③ 审计**：`reports/iter36-验收审计-卡③-2026-10-24.md`——sv1–sv9 全过＋契约 1–6 成立＋削弱检查零未申报＋自跑 theme_projection 162 全绿/ui_struct PASS；唯一缺漏=sv10 产出物缺口，**已补齐**（本节＋反哺点 ⑨–⑬＋代拍板卡③节），转通过。
@@ -0,0 +1,57 @@
 # 迭代 36 验收审计——卡③「状态面板瘦身批」（2026-10-24）
 - 审计人：独立验收审计子代理（未参与本迭代实现；只读审计，唯一产出物=本报告）
 - 审计对象：分支 `iter36`，diff 基线 `2931b1f2..HEAD`（477a73e7 卡③实现笔＋8a37712e 静态扫描归零笔）；卡片 `reports/需求卡片-状态面板瘦身批-2026-10-23.md`（v1.1）
 - 断言宿主指认：按用户裁决采迁移后现址执行（`game/smoke/` 已于 `16c6f136` 退役）——sv1–sv5/sv8 隔离档现址=`game/tests/unit/presentation/theme_projection_test.gd` `_status_panel_projection`；sv6/sv7 真实入口现址=`game/probe/ui_click_probe.gd`。宿主变迁凭据=`reports/iter36-停机呈报-状态面板瘦身批-2026-10-24.md`＋迁移账本 S61
 - 方法：逐行核对卡片 §8.2 对照表 sv1–sv10（断言存在性＋尾缀 grep＋真实入口形态＋契约逐条读 diff）；正向自跑抽查（本项目已明令禁止变异测试，零注入零回退，只跑绿）
 ## 1. 对照表 sv1–sv10 逐行判定
 | 行 | 判定 | 依据 |
 |---|---|---|
 | sv1 属性行投影 | **通过** | 断言在座且尾缀可 grep：theme_projection_test「属性行全值投影 = 契约4 钉值格式逐字（生命/上限/攻击/AC/GP 五现值）〔sv1〕」（现址 `_status_panel_projection` 段内），夹具钉值 13/29/7/11/41 全值逐字比对「生命 13/29 · 攻击 7 · 护甲 AC 11 · GP 41」，自跑绿。真实入口侧另有探针 sv6② 全值对 runner 五现值（见 sv6 行）。隔离档为八键手拼夹具直喂 `open_status`（同构口径、不依赖 runner），与卡片口径一致 |
 | sv2 秘宝行投影 | **通过** | 断言两则：「秘宝行投影 = 受理序 join＋已用件「（已用）」尾缀〔sv2〕」（期望串「青苔密卷 · 锈蚀怀表（已用）」——受理序＋尾缀逐字）＋「空秘宝态句=「未携带秘宝」〔sv2〕」，自跑绿。投影复用 `_treasure_ui.inventory_projection()`（main.gd `_status_curios` 只做 name/used 键裁剪，零第二份件名换算） |
 | sv3 专长行投影 | **通过** | 断言两则：「专长行投影 = 行串 join〔sv3〕」（期望「疼痛记忆 ×2 · 双管镐 ×1」）＋「空专长态句=「未获专长」〔sv3〕」，自跑绿。feats 取 `HudPresenter.feat_holdings_lines(db, runner.feats_held())` 现成行透传（main.gd `_status_data`），零第二份计数实现 |
 | sv4 余额徽回归 | **通过** | 断言「余额徽投影 = 快照 balance 读数（sv4 回归锚）〔sv4〕」在座（沿旧断言族改喂夹具钉值 77），自跑绿；`open_status` 余额徽喂值逻辑零改动（diff 核：仅 `data.get("balance", 0)` 原样保留） |
 | sv5 零旧段（隔离档） | **通过** | 断言两则：「面板子树零「道具工坊/天赋树」文案（跨关概览退役零残留）〔sv5〕」（`_all_labels` 递归全子树扫描）＋「旧段成员退役（_workshop_holder/_tree_label 零残留——契约2 数据/成员层面清零）〔sv5〕」，自跑绿。源内核：status_panel.gd 零 `_rebuild_workshop`/`_rebuild_tree`/`_workshop_holder`/`_tree_label`（grep 零命中）；段头/行构建/数据键三层面清零。**留档观察（非缺陷）**：文件头 `##` 注释第 3 行含「天赋树已购」字样——系退役去向说明句（「由营地/生涯承载，本面板不镜像」），非面板子树 UI 文案、非段头，sv5 机检扫描面（Label 文本）不含注释，判不违契约 2 |
 | sv6 零旧段＋投影值真链路（真实入口） | **通过** | 三断言全部在座于 `game/probe/ui_click_probe.gd` `_run_modal_probes_once` 状态面板段（:754-810 现址），且该段由 `main.board_zone.status_badge.pressed.emit()`（:763，真实按钮信号路径→组合根接线）开启面板后执行——真实入口未绕过。断言①=子树零「道具工坊/天赋树」文案（问题串带「sv6①」）；断言②=属性行全串==契约 4 格式 % `run_scope.runner` 五现值（hero_hp/effective_max_hp/effective_atk/effective_ac/gp——问题串带「sv6②」，runner 空指针单独报契约 5 缺陷禁软回退）；断言③=`main._status_data()` 直调八键键集＋curios 逐行 {name, used} 对拍独立 oracle（`runner.treasure_inventory.query_inventory(Callable())` 行集 × `main.db.treasure_item_row().display_name`，件名换算不走被测投影）＋feats 对拍 `HudPresenter.feat_holdings_lines`（问题串带「sv7」）。未实跑探针（窗口化长跑，按审计指令采信实现报告问题=0 读数；三断言代码存在性与真实入口形态已静态核成立） |
 | sv7 投影零旧键 | **通过** | 承载=sv6 断言③键集恰八键（size==8＋逐键 has）＋键序无关；diff 核 `_status_data()` 现 return 恰 balance/hero_hp/max_hp/atk/ac/gp/curios/feats 八键，workshop/tree/fork_groups 三旧键清零；全 presentation 检索旧三键仅剩营地侧消费（camp_shop_presenter.gd/camp_overlay_view.gd——契约 2 明示营地在役件，零关联）。直调发生在探针对局中（runner 在役） |
 | sv8 提示行文案 | **通过** | 断言「提示行=「查看本局冒险进度（只读）」（新定位换代）〔sv8〕」在座，自跑绿；diff 核 status_panel.gd 提示行换代逐字；标题「状态」与「继续」钮零改动（diff 核＋struct/click 探针既有定位锚回归绿） |
 | sv9 角标 tooltip×2 | **通过** | diff 核两处换代逐字：board_zone_view.gd:58／level_map_screen.gd:107 →「查看本局冒险进度（只读）」；全仓检索旧串「查看钥石与永久强化进度」零命中、「永久强化进度」仅剩 theme_projection_test.gd:786 一处测试注释（非玩家面文案，判不违）。sv9 断言宿主=件核＋四探针回归（卡片 §8.2 原口径），四探针本批实跑全绿（实现报告 §6.1＋本审计 struct 探针复跑） |
 | sv10 反哺点清单（非行为改动） | **缺漏** | 见 §4——三份 `reports/` 产出物均未覆盖卡③：反哺点清单卡③节仅 ⑨ 停机呈报移交一条，卡③ §6 六条同步面（元进度①/生涯②/08-Alpha③/体验验证清单④/待办清单⑤/roadmap⑥）零落点；实现报告自记「本报告只覆盖卡C/卡A」，卡③状态总表/变异禁令申报/目检总清单「面板观感」条均缺；代拍板追认单无卡③节（§10 白名单五项——空态句措辞/属性行串接序/断言定位写法/夹具数值取值/提交切分——本批均有行使，未备案） |
 ## 2. 契约核查结论（读 diff 逐条）
 - **契约 1（五件口径/禁第二份投影）**：成立。面板四块=钥石总量徽＋「本局状态」合一行＋「带的秘宝」段＋「已获专长」段，零新增段；属性/GP 取数=LevelRunner `hero_hp`/`gp` 属性（level_runner.gd:30-36，getter `int(_ledger["hero_hp"])`/`int(_ledger["gp"])` 直取下标——键缺失即致命，符合「禁 .get 缺省留门」）＋三 effective 访问器；秘宝=`_treasure_ui.inventory_projection()` 逐行键裁剪；专长=`HudPresenter.feat_holdings_lines` 现成行。零第二份投影/拼装。
 - **契约 2（两段退役零残留）**：成立。status_panel.gd 源内 `_rebuild_workshop`/`_rebuild_tree`/`_workshop_holder`/`_tree_label` 及两段段头文案全清（grep 零命中；头注「天赋树已购」为退役去向说明句，见 sv5 行观察）；`meta.treasure_shop_status()`/`tree_camp_rows()`/`tree_fork_groups()` 三投影函数本体零改动（`git diff 2931b1f2..HEAD -- game/core/meta_progression.gd` 为空）；camp_overlay_view.gd 本批改动仅卡C wc4 灰字换色六处，其同名 `_rebuild_workshop`/`_rebuild_tree` 本体未动。
 - **契约 3（只读快照/UiKit 工厂/零动效）**：成立。open_status 单次开层重建口径沿袭、跨开层零持有、零写调用；新三 Label 全经 `UiKit.label` 工厂产出，零裸色值；自跑 `ui_struct_probe` PASS——⑧ 只读契约（信号连接数=2，白名单 `_emit_closed`/`_on_status_closed`）与⑨ 零动效契约（子树零 AnimationPlayer＋源码零 `create_tween`/`UiKit.motion`）对重写后面板仍绿。
 - **契约 4（文案钉值）**：成立。提示行/两 tooltip=「查看本局冒险进度（只读）」逐字；段头「本局状态」「带的秘宝」「已获专长」逐字在座（源核）；空态句「未携带秘宝」「未获专长」逐字（机检断言在座）；已用尾缀「（已用）」逐字（机检断言在座）；标题「状态」/「继续」钮不变。**留档观察**：三段头无正向机检断言（卡片 §8.2 断言清单未列段头项，隔离档与探针的 sv5 扫描只反向钉旧段头）——呈现层唯一载体的段头文案现仅由源核与本审计覆盖，判不违卡片断言清单，登记备查。
 - **契约 5（runner 在役零软回退）**：成立。`_status_data()` 直读 `run_scope.runner`，无 null 守卫无缺省回退；探针侧 runner 空指针显式报「契约5——状态机缺陷」问题项，不掩盖。
 - **契约 6（数值单一事实源）**：成立。面板与投影零数值字面量（仅文案格式串），全部实时读访问器现值；生命上限走 `effective_max_hp()` 生效上限口径。
 ## 3. 削弱检查（test-conventions §9.5 申报核对）
 1. **theme_projection_test 删除的旧断言族即 §8.3 申报范围**：本次 diff 删除的旧内容=meta 存档夹具＋工坊 12 行投影逐项断言块＋天赋树聚合文案断言块；保留=开层可见断言（原样）＋余额徽断言（改喂夹具钉值，sv4 回归锚）。经 `git show 16c6f136~1:game/smoke/smoke_all.gd` 调出迁移前原件逐段比对：迁移后（2931b1f2 时点）theme_projection_test 的 `_status_panel_projection` 与 smoke_all 原件内容实质逐句相同（仅 check→Kit.check 宿主化），即删除面=迁移时保留至今的 §8.3 申报两段（工坊 12 行＋天赋树聚合），无额外断言被删。§8.3 申报的保留区间（开层可见＋余额徽）确实保留。宿主现址执行经用户裁决（停机呈报移交），申报边界按迁移后实况成立。
 2. **ui_struct_probe/ui_input_probe/shot_probe 零断言改动（卡③口径）**：成立。三文件在本批 diff 中，ui_input_probe/shot_probe 零改动；ui_struct_probe 仅 +5 行且全为卡C wc4 营地灰字源 token 扫描段（camp 域，与状态面板断言零交集）——卡③自身对三探针零改动，回归线全绿。
 3. **变异验证零执行**：卡③六条注入实验（T1 三条＋T2 三条）未执行——用户 P0 禁令明令禁止变异测试，本审计亦零注入。替代拦截证据=sv1–sv8 全部正向机检断言在座且自跑绿（sv6② 钉格式逐字对 runner 现值、sv7 键集＋独立 oracle 对拍，值层有判别力）；但「撤销该改动能让断言变红」的变异证明在卡③范围未成立，按禁令口径记「已实现，拦截能力未证（变异验证按用户 P0 禁令零执行）」。此例外须随卡③补进实现报告（并入 §4 sv10 回炉项）。
 ## 4. sv10 缺口明细（唯一缺漏，回炉 T2 产出物）
 1. `reports/iter36-反哺点-2026-10-24.md` 卡③节现仅 ⑨ 一条（停机呈报移交）；卡③ §6 六条同步面（元进度.md「已解锁清单」句①／生涯.md 两处「解锁进度」②／08-Alpha「部分在役」销号③／体验验证清单 ⑳ 追溯改写④／待办清单条目批后退役⑤／roadmap 迭代行⑥）每条须一落点，现零落点。sv10 判据「§6 六条每条有落点〔sv10〕」不满足。
 2. `reports/iter36-实现报告-2026-10-24.md` 需补卡③节：状态总表（对照完成定义五项）、变异禁令申报（§3.3）、实机目检总清单「面板观感」条、改前改后读数对拍（theme 153→162 本审计实测在案，可采）。
 3. `reports/iter36-代拍板追认单-2026-10-24.md` 需补卡③节：§10 白名单行使备案（空态句/段头最终措辞、属性行串接序、断言名与定位写法〔含断言宿主重锚落点选择〕、夹具数值取值 77/13/29/7/11/41 与空态夹具、提交切分两笔）。
 ## 5. 自跑实录（正向抽查，cwd=D:\code\g-plan2-iter36\game）
 1. `Godot_v4.7.2-stable_win64_console.exe --headless --path . --script res://tests/unit/presentation/theme_projection_test.gd` → **all green (162 checks)**，含 sv1/sv2×2/sv3×2/sv4/sv5×2/sv8 九断言全 PASS（退出期 RID 泄漏告警为 headless 存量噪声，与本批无关）。改前基线 153（卡C 报告 §6）→ 162，与卡③九断言增量吻合。
 2. `--headless --path . res://probe/ui_struct_probe.tscn` → **PASS — 全屏结构断言零红**（exit=0），⑧ 两契约（信号连接数=2＋零动效 token）对重写后面板仍绿；输出中「Parse JSON failed/broken」为探针坏档夹具既有噪声。
 3. `ui_click_probe` 未实跑（窗口化长跑，按审计指令采信实现报告「问题=0」读数；三断言代码存在性、真实入口形态〔board_zone.status_badge pressed→组合根接线→断言段〕、独立 oracle 取数面已静态核成立）。
 4. 审计期间工作区存在一笔未提交改动（ui_click_probe.gd 战败断点段诊断打印，卡② T3 域，非卡③范围）——不影响本次审计结论，登记备查。
 ## 6. 总判
 **不通过（仅因 sv10 产出物缺口；代码面与断言面全部通过）。**
 - sv1–sv9 九行全部「通过」：断言在座、尾缀可 grep、真实入口未绕过、契约 1–6 逐条成立、削弱面与 §8.3 申报逐行吻合（迁移史比对成立）、隔离档与 struct 探针自跑全绿。
 - 唯一回炉项=sv10：三份 `reports/` 产出物补齐卡③覆盖（§4 明细三条）后复判——补齐并经确认即可转「通过」，代码零回炉。
 - 合并前置（卡 §7 T2「审计逐行通过才合并」）在本报告转通过前不满足。