审计尾笔: 独立验收审计通过(可合并)——审计报告落位+记录级缺漏三项补记(卡③串行决定已在案/main_overlay_flow头注词面遗留留反哺点/grant_segment计数偏差补记)+V1d平铺口径例外备案

reports/iter44-实现报告-2026-10-30.md

@@ -101,7 +101,18 @@
 
 **实现决定记录补（白名单外备案）**：跨卡触面（卡② 迁移成员被卡① 已改址的探针/未申报套件消费）只有全量闸能抓——关联档选测的盲区实证；全域终扫（encounter/attunement 直读形态）后同类漏网清零。
 
-## 7. 停机状态与收口（进行中）
+## 7. 独立验收审计结论与记录级缺漏补记
+
+审计报告：reports/iter44-验收审计-2026-10-30.md——**结论=通过（可合并）**。21 行对照表逐行通过、判据绑定面自跑全绿、测试削弱零发现（37 条被删断言逐条有配对新行）、非行为改动成立、证据链在案。
+
+记录级缺漏三项（不阻塞，随本节补记）：
+1. 卡③ 对拍串行驱动为白名单外决定——已在 §5.1 卡③ 实现决定记录 1 备案（审计方读的是早期版本）；提交 04783fae 信息同载。
+2. main_overlay_flow.gd:4 头注仍写已退役的 root._open_modal/_close_modal 转发方法名——词面遗留（卡面头注义务只列 main.gd 与 main_ui_build 两处）；闸后代码面禁改（改则回执作废），留反哺点通道随文档批或下一代码批顺路改写。
+3. 卡② grant_segment 事实族改指实测 18 处 vs 卡面「约 23」估计偏差——记录偏轻，本节补记（T0 点名清单实数为准）。
+
+例外备案：V1d 扫描面为 presentation 平铺 27 文件口径（与卡面 glob 一致、只扩不缩；递归口径下批前既有 ui_kit.gd:819 即红——非本批引入）。
+
+## 8. 停机状态与收口（进行中）
 
 - 迭代总收口（冻结→并 master→reshape→批末全量域闸→独立验收审计→合并）**未启动**——按停机规则「迭代收口合并须等停摆卡闭合、或用户裁拆批后整体进行」。
 - 卡① 卡② 全部收口提交在 worktree iter44 分支（9 笔提交），冻结待收口。

reports/iter44-验收审计-2026-10-30.md

@@ -0,0 +1,99 @@
+# 迭代 44 独立验收审计报告——2026-10-30
+
+审计方：未参与实现的独立会话（只读审计＋自跑最窄抽查）。对象＝worktree D:\code\g-plan2-iter44 分支 iter44 尖 9f1dda40，对照基线 master 尖 ab3b4a9d；材料＝三张需求卡片（组合根注册面批／战斗编排归约批／测速循环批 v1.1）＋实现报告＋闸回执与日志。本报告不修改任何代码与测试，缺漏如实记录不代修。
+
+**结论行：通过（可合并）**——三卡 21 行对照表逐行核到落点、判据绑定面自跑全绿、测试削弱零发现（断言计数 22 文件零减少）、非行为改动判定成立、证据链在案；2 项记录级缺漏＋1 处注释级陈旧指址＋4 项例外备案，均不动行为、判据与验收闭合（见 §6），不构成合并阻塞。
+
+## 1. 逐行核对——卡①（§8 十一行）
+
+| # | 判定 | 凭据（文件:行／自跑） |
+|---|---|---|
+| 1 | 通过 | V1c 改址 `main.ui.LAYER_CONTRACT`／`main.ui.node`（system_test.gd:90/:94，尾缀〔装配生命批 V1〕保留）；自跑 run_system_test 69 项 0 失败；LAYER_CONTRACT 与基线逐字一致（git show ab3b4a9d 对读，唯一差异=注释指址 `_apply_layer_contract`→`apply_layer_contract`，白名单 3） |
+| 2 | 通过 | main.gd `^var` 计数 49（基线）→15（尖）；自跑 run_smoke 15 项 0 失败＋run_system_test 69 项 0 失败；gdstyle 零基线外新键 |
+| 3 | 通过 | main_ui_build.gd `build()` 八步名序与基线逐字同；`_build_screens` 赋值序/add_child 序不变；42 条 connect 一一对应（仅 :97/:206 两处 closed bind 改 `flow.close.bind`=表 D 申报）；smoke_boot get() 4 改 2 留（settings_store/run_scope 留）；冒烟六断言＋V2 五连比（system_test.gd:108-109）自跑绿 |
+| 4 | 通过 | 探针面 diff 归一化对账 88 处非平凡行全部落表 A/C/D＋实现决定 2/3/4；probe_gate 日志全绿（.gates/probe.log 06:53，全段）；ui_tune_probe 审计自跑 PASS |
+| 5 | 通过 | system_test 改址全对账（V1a/V1b/V1c/V2/V3 矩阵 `_face_snapshot` mf→`main.ui.modals.flow`、rp→`main.ui.screens.row_pacer`）；V3a–V3i 存活性矩阵自跑全绿（69 项含） |
+| 6 | 通过 | 七别名消费方改址逐处对上（pacing_queue 4 处、ui_struct_probe `flow.stack`、t17_defer_probe `flow._deferred`、ui_click_probe `settlement_stop_timer.is_armed()`）；自跑 `--only=pacing_queue --only=modal_flow` 双绿；改后断言判据零变化（归一化对账） |
+| 7 | 通过 | 六转发方法＋_flush_row_queue 全库零残留（grep 只余 1 处陈旧头注，见 §6 缺漏 2）；modal_flow 24 checks 绿＋系统测试 V3g 段绿 |
+| 8 | 通过 | source_guard_test.gd:69-92 重锚——尾缀〔注册面 V1〕；自跑输出「V1d 层序落位单口（presentation 27 文件——apply_layer_contract 之外 move_child 调用点=0）」；扫描面较改前（单文件）只扩不缩；口径例外见 §6 例外 1 |
+| 9 | 通过 | theme_projection_test.gd:725-726 改断言新串 `ui.modals.debug_overlay.diagnose_requested.connect(_on_diagnose_pressed)`，尾缀〔注册面 V2〕；自跑 164 checks 绿 |
+| 10 | 通过 | render_gate 日志全绿（.gates/render.log 06:54，shot_probe 七屏＋golden）；diff 零像素面改动（改址只动地址词） |
+| 11 | 通过 | 审计独立 grep：49 名旧一级地址 `main./root./self.` 代码级残留=0（仅 3 处注释级命中）；代码域闸日志六件全绿（§5）；留档偏薄见 §6 例外 5 |
+
+## 2. 逐行核对——卡②（§11 V0–V6）
+
+| 行 | 判定 | 凭据 |
+|---|---|---|
+| V0 | 通过 | 关联套件全绿：审计自跑 8 套件（settle_segments/round_flow_skill_pool/roll_multiplier/treasure_effects/pacing_queue/modal_flow/source_guard/theme_projection）＋批末闸 unit.log 分片全绿（15 suites shard 4/4）；behavior_roll 随件迁移取号序逐字（§4 核对）；五信号留宿主（battle_orchestrator.gd:12-16）；两快照出口在宿主（:677/:739） |
+| V1 | 通过 | settle_segments_test.gd:28-29 两断言〔编排归约 V1〕：`oc._rounds != null and oc._rounds.oc == oc`＋`oc._facts != null`（check_quiet 静默通过＝套件 18 checks 零失败）；五段段件齐在 _rounds 由 :30-34 五条既有接线断言改指 `oc._rounds._X_seg` 承载（尾缀〔迭代27 T2〕保留，纯改址） |
+| V2 | 通过 | round_flow_skill_pool_test.gd:112-115〔编排归约 V2〕：终局后 `presentation_snapshot()["refresh_used"]` == 末轮结算快照 `economy.refresh_used`（经 settlement_snapshot 末次发射承接）；自跑实跑输出 5 实例（L1·D0×3＋L2·D0×2）全 PASS；reset_round 只清三项（battle_facts.gd:32-35） |
+| V3 | 通过 | roll_round_actions 与基线 `_roll_round_actions` 逐行对读一致（仅成员改指；`oc.rng.open_stream("behavior_roll")` 流名与开流时点不变，round_cycle.gd:102）；settle_if_due 闸序 settling→battle_result→phase 逐字、终局早退不回置；trigger_cond_test 3 处改指（:119/:126/:131）；自跑 round_flow 134 checks＋settle_segments＋trigger_cond 全绿 |
+| V4 | 通过 | roll_multiplier_test.gd:45-59 四断言〔编排归约 V4〕：override 100→spawn hero_unit atk==100；缺省→hero 表值（check_quiet 静默通过）；攻击单 base_value 贯通由既有 `_hero_attack_row_with`（:343，hero_atk_val=100 全链路停手结算行）承载——两消费点（spawn＋base_value）闭合；combat_segment.gd:56 改调 `oc._hero_atk()`，宿主派生读 :69/:282 |
+| V5 | 通过 | treasure_effects_test.gd:311-315〔编排归约 V5〕：`ob14.reward_grant().treasure_inventory == adr14.runner().treasure_inventory` 引用同一性；use_treasure 受理链由 ob8/ob11/ob13 既有段承载（:311 ob8 直写改指后绿）；level_runner.gd:520 注入改经 `reward_grant()` 出口（`self.` 前缀＝实现决定 3） |
+| V6 | 通过 | seal_polarity（_perfect 直写→_facts 8 处对读）／feat_vouchers（契约 2 计数纯净段改指后全绿）／variant_placement／meta_forge／adventure_feats／table_structure_guard——批末闸 unit 分片全绿；三 mark 写口（grant_segment.gd:311/:379/:394 与基线直写同点同增量）；attune 三外部消费面零改址（main.gd/treasure_interact_controller/table_structure_guard 均不在改址 diff） |
+
+## 3. 逐行核对——卡③ v1.1（§12 V1–V3）
+
+| 行 | 判定 | 凭据 |
+|---|---|---|
+| V1 | 通过 | tune_sim_batch_parity_test.gd 五面断言〔测速 V4/V5〕自跑绿（n=3 stats 六键逐键重算＋报告逐字含四关键串；n=0 六键零计）；run 可等待契约由 wd8 `await ctrl.run(2)`（standee_fx_sweep_test.gd:144，零改动）承载；全文件零循环（grep -c "for \|while " = 0）、代码 await 仅 :69 一处 `await _batch_finished` |
+| V2 | 通过 | 五面对拍断言〔测速 V1–V3〕自跑绿：帧序列相对偏移逐位＋相邻差恒一（每步恰一帧）、运行态序列逐位＋收尾双假、进度串逐位；n=3＋n=0 两案各 5 断言全 PASS；manifest 增行（run_all.gd:189）；拓扑例外见 §6 缺漏 1 |
+| V3 | 通过 | wd8 三断言〔wd8〕自跑 PASS（18 checks：`drv.seen == [true, true]`／收尾双运行态假／报告非空——standee_fx_sweep_test.gd 不在本批 diff＝零改动）；ui_tune_probe 审计自跑 PASS（⑤ 守卫环 1800 帧预算内退出＋输出四串）；收尾四语句迁入 `_finish_batch()`（:87-92）与基线 run() 尾次序逐句同（close→报告→置假→_running），`_run_one_level` 零触碰（不在 diff） |
+| 静态 | 通过 | gdstyle_gate.py 审计自跑 exit 0：命中 7 全基线内、基线外新违规 0；基线 :15 `tune_sim await-in-loop` 裸键不命中＝死键（消失键不参与红判定） |
+
+## 4. 测试削弱检查（对照三卡申报全集）
+
+- **断言计数对账**：22 个改动测试/探针文件 `Kit.check|check(|check_quiet` 计数基线→尖逐一比较——零文件减少；仅 5 增（roll_multiplier 36→40＝V4 四断言、round_flow 100→101＝V2、settle_segments 16→18＝V1 两条、treasure_effects 58→59＝V5、tune_sim_batch_parity 0→10＝新套件）。与申报新增面（卡② V1/V2/V4/V5 四条＋卡① V1d/V6 重锚＋卡③对拍五断言）完全一致。
+- **删除断言逐条对账**：全 diff 被删 check/断言行 37 条逐条找到配对新行——语义不变只换地址（含 smoke_boot 三 get、system_test V2 五连比、pacing 四断言、V1d/V6 两条）；无任何断言删除后无配对。
+- **阈值/扫描面**：零阈值放宽；扫描面唯一改动＝V1d 单文件→27 文件（申报为强化，成立）；static_scan.sh S8/S7 两清单增行 round_cycle.gd（卡② T2 申报；battle_facts.gd 未增行＝卡片明示「零协作调用不入清单」，成立）。
+- **换下层直调**：零发现——探针仍走真实按钮/输入路径（pressed.emit/push_input 等既有形态未动）。
+- **wd8 三断言**：文件不在 diff＝零改动，自跑保持绿。**ui_tune_probe 巡检白名单**（实现决定 3）：`host == main and m == "_on_modal_closed"` → `host == flow_host and m == "close"`（ui_tune_probe.gd:214-216）——属卡①表 D「closed bind 目标改 flow.close.bind」的机检联动，同一连接新宿主登记；conn_count=11 断言与消息逐字不变（:223-224 与基线 :221-222 对读）；判据面「closed 外发消费目标＝模态编排口」语义保持。**判定：不属削弱**。
+- 卡② §15 零申报、卡③ §16 零申报——兑现成立（超出申报的删改零处）。
+
+## 5. 非行为改动判定与证据链
+
+**卡①**：装配序（八步名序、add_child 序、赋值序）逐字不变；42 条连接语句一一对应；LAYER_CONTRACT 19 项逐字迁驻；move_child 单口由 V1d 27 文件扫描绿＋grep 复证（全 presentation 仅 ui_registry :84/:98 两处调用，views/ui_kit.gd:819 为批前既有、不在 diff）；main._ready 仅插入 `ui = UiRegistry.new()` 一行于 _build_ui 之前；`_build_modal_flow` 注入语句序与基线逐字同（flow 实例改随 UiModals._init 构造＝实现决定 1，注入时点不变）。
+**卡②**：成员迁移与改指——roll_round_actions/settle_if_due 逐字迁移对读成立；grant_segment 三 mark＝同点同增量；encounter/attunement 词替换的三处字符串键保护（实现决定 5）grep 复证（behavior_roll 前置流名 "encounter" 字面在位）；treasure_inventory 注入时序（宿主构造后 :520）不变。
+**卡③**：收尾四语句迁移＝同帧同相位（对拍 V2 运行态序列＋V5 报告逐字承载，自跑绿）；`_run_one_level` 零触碰。
+
+**证据链**：
+1. 卡③ T0 三重证据在实现报告 §5 在案：215da315 提交信息明载「tune_sim 运行态收尾归还 run」（审计直读提交信息复证）＋两面实跑读数；审计自跑两面（wd8 套件＋ui_tune_probe）复证现行全绿——前提消化链条完整。
+2. 卡③ v1.1 重裁凭据：卡 v1.1 状态行＋§15 裁决记录（2026-10-30 停卡重裁三点）在案。
+3. 卡①卡②实现决定记录（报告 §3 共 5+5 条）对照卡① §10 七条、卡② §17 五条白名单——白名单外事项（shot/fx_shot 纳入、layout_probe get 键、curio/confirm 漏列补改、flow 随容器构造、grant 第五处读、treasure_effects 五处直构、self 前缀、占位符保护）均有备案，无遗漏。
+4. 闸凭据：receipt.json 现为 docs 域回执（9f1dda40 提交时 pre-commit 钩子生成，b27db010 时代，全绿）；代码域末跑凭据＝.gates 六件日志（smoke 15/0、system_test 69/0、static_scan ok、probe_gate 全绿、render_gate 全绿、unit 分片全绿），时间戳 06:49–06:54 恰落 b27db010（06:49:41 提交）与 9f1dda40（06:57:19 提交）之间——绑定终态代码（9f1dda40 只含报告文件）。
+5. 红线：diff 只触 `game/`＋`reports/` 两目录；零 `randomize()`/自建 RandomNumberGenerator；零触及 `design/`、`game/tests/README.md`、两份根流程清单。
+
+## 6. 缺漏与例外（如实记录，不修）
+
+**缺漏（记录级，不动判据）**：
+1. **卡③实现决定记录缺位**：对拍驱动由卡 T2 的「先启动两形态、后分别 await」并行拓扑改为**串行驱动＋相对帧偏移归一**（tune_sim_batch_parity_test.gd:145-162）——卡 §14 白名单六条不覆盖，应在实现报告「实现决定记录」节备案；实际只在提交 04783fae 信息中有案（理由＝GDScript 协程动态调用强制 await、无并行启动形态＋_init 时点 root 未挂树实测）。报告 §3 无卡③条目。实质判据未损（相对偏移＋相邻差恒一仍承载「每步恰一帧＋相位同点」，审计自跑绿）。
+2. **main_overlay_flow.gd:4 头注陈旧指址**：注释仍写「全部开合走组合根模态单口（root._open_modal/_close_modal）」，两转发方法已退役、实际调用全改 `root.ui.modals.flow.open/close`——「指址须真」词面违例，行为无涉，批内漏改。
+3. **卡②改指处数偏差记录偏轻**：grant_segment 实改 18 处与卡片「约 23」的 L2 偏差，实况数在报告 §2 V6 行在案但未入「实现决定记录」节（卡 §14 L2 要求记入该节）。
+
+**例外（依据在案，不判红）**：
+1. **V1d 扫描面口径**：实现为 DirAccess 平铺（res://presentation 顶层 27 个 .gd），不含 views/、scenes/ 子目录——与卡片字面 glob（`game/presentation/*.gd`）一致、较改前单文件只扩不缩；但「全 presentation 目录零第二落位点」按递归读法不成立：批前既有 `views/ui_kit.gd:819` 有一处 `body.move_child(...)`（视图内行排序、非层序落位；ui_kit.gd 不在本批 diff、归迭代 42 尾波清偿批在册债）。ui_registry.gd:3 头注「全仓唯一 move_child 点」沿袭旧 main.gd 注释口径、与该既有事实并存。若日后递归化扫描面，须先处置该行。
+2. **回执被覆盖**：receipt.json 为 docs 域回执（报告提交钩子生成）；代码域末跑以六件日志为凭（§5 第 4 条），与报告 §6「第三次全量域闸全绿、02/05/09 从基线红改善归绿」叙述吻合。
+3. **`_finished` 成员写而不读仍保留**（tune_sim_controller.gd:26/:64/:88）——卡 §14 白名单 3 明示「零读者确认后可删」，保留属白名单内两可选择，键账只升 1（11/15 在阈内）。
+4. **报告 row4 计数口径差**：「约 460 行机械改写」（报告 §1）与 784d581b「422 行」——统计口径差，不影响判据。
+
+## 7. 审计自跑记录（独立复证清单）
+
+| 项 | 结果 |
+|---|---|
+| `python tools/run_smoke.py` | PASS——15 项 0 失败 |
+| `python tools/run_system_test.py` | PASS——69 项 0 失败（V1a/V1c/V2/V3a–V3i 全过） |
+| `--only=source_guard --only=theme_projection` | 绿——V1d「presentation 27 文件…调用点=0」〔注册面 V1〕＋V6 新串〔注册面 V2〕＋theme 164 checks |
+| `--only=settle_segments --only=round_flow_skill_pool --only=roll_multiplier --only=treasure_effects` | 4 套件绿——V1 两断言、V2 五实例、V4 四断言、V5 一断言（check_quiet 静默通过＝零失败） |
+| `--only=pacing_queue --only=modal_flow` | 双绿 |
+| `--only=tune_sim_batch_parity --only=standee_fx_sweep` | 双绿——对拍 10 断言〔测速 V1–V5〕＋wd8 三断言 |
+| `res://probe/ui_tune_probe.tscn`（headless） | PASS——⑤ 守卫环预算内退出＋输出四串＋全链路通过 |
+| `python tools/gdstyle_gate.py` | exit 0——命中 7 全基线内、零新违规；tune_sim 裸键不命中 |
+| grep：tune_sim 循环／await | 循环 0；代码 await 仅 run() :69 一处 |
+| grep：49 名旧一级地址残留 | 代码级 0（仅注释级 3 处） |
+| 成员数 | main.gd 49→15；battle_orchestrator 37→15；容器 3/9/5/14 |
+| 断言计数对账 | 22 文件零减少、5 增（+4/+1/+2/+1/+10） |
+| diff 归一化对账 | 88 处非平凡行对全部落表 A/C/D＋已记录决定 |
+
+## 8. 总结论
+
+**通过（可合并）。** 三卡对照表 21 行全部核到落点且判据绑定面当轮实跑成立；测试削弱零发现；三卡「非行为改动」判定在代码级对读与实跑两面成立；证据链（卡③ T0 三重证据、v1.1 重裁、卡①卡②决定记录、闸日志）在案。缺漏三项（卡③决定记录缺位、main_overlay_flow.gd:4 陈旧头注、卡②计数记录偏轻）与例外四项均属记录/注释级，不触行为零变化、判据绑定与验收闭合；建议随批末收口由实现侧补记（补记动作归收口段，不由本审计代作）。gdstyle 基线 refresh（--force）仍属用户人工遗留义务（反哺点 7 在案）。