iter44-卡1：卡①(组合根注册面批): ui_registry+三域容器建件·main.gd 49→15·全消费面改址main.ui.*·四闸主证行为零变化

reports/需求卡片-测速循环批-2026-10-29.md

@@ -1,36 +1,36 @@
 # 需求卡片——测速循环批（tune_sim_controller 循环内 await 真实消除）
 
-> **版本状态**：v1.1 定稿——零待裁点（2026-10-30 停卡重裁：实现段 T0 三重证据定谳 v1.0 的「潜伏红」前提已被迭代 41 测试债批消化〔215da315——运行态收尾归还 run〕，按停卡呈报建议案剥离已申报行为改动 V3、T0 义务改现状复核、夹具申报差异两处减一处；2026-10-29 原四点裁决中②作废，①③④仍有效——裁决记录见第 15 节）。
+> **版本状态**：v1.0 定稿——零待裁点（2026-10-29 用户裁：信号步进状态机形态、收尾置假还原作为已申报行为改动、双实现对拍入批、错误路径差异接受并文档化）。
 > **接收方**：待办清单条目「零豁免五键清偿批——S13 余量五键真修四卡（2026-10-29 登记，来源=会话提及）」——本卡为其四卡中的测速循环批卡。
-> **来源**：reports/设计-测速循环去await-2026-10-29.md（2026-10-29 设计闭合；§2.3 潜伏红推演与 §10 待裁点 1 的「还原」申报已随停卡重裁作废，§3–§7 形态与等价性论证仍有效）。**唯一事实源**：`reports/设计-测速循环去await-2026-10-29.md` ＋ `design/engineering/architecture/architecture.md` v1.25「测试与质量域」S13 测量面豁免注销句（2026-10-29 零豁免裁：原循环内 `await` 豁免〔2026-10-27〕注销——tune_sim_controller 改 process_frame 信号常驻连接＋步进状态机，每帧一局、帧相位逐点对齐；注销对象是 await 豁免、不依赖行为改动申报，句保持；句内「随批申报行为改动一处」半句已失效，随实现批现状化时一并修正——见第 6 节）＋ 停卡呈报三重证据（iter44 worktree 分支 `reports/iter44-实现报告-2026-10-30.md` §5——重裁依据）。
+> **来源**：reports/设计-测速循环去await-2026-10-29.md（2026-10-29 设计闭合）。**唯一事实源**：`reports/设计-测速循环去await-2026-10-29.md` ＋ `design/engineering/architecture/architecture.md` v1.25「测试与质量域」S13 测量面豁免注销句（2026-10-29 零豁免裁：原循环内 `await` 豁免〔2026-10-27〕注销——tune_sim_controller 改 process_frame 信号常驻连接＋步进状态机，每帧一局、帧相位逐点对齐；随批申报行为改动一处：运行态收尾由「每局置假」还原为「整批收尾单次置假」，消除与 wd8／ui_tune_probe 断言面的静态矛盾）。
 
 ## 1. 目标与完成定义
 
-这批做什么：把 S13 静态质量闸（gdstyle）在册裸键 `game/presentation/tune_sim_controller.gd|quality/await-in-loop` 真实消除——`run(n)` 的 for 循环内 `await process_frame` 改为 process_frame 信号常驻连接＋步进状态机（每帧回调执行一局、步尽次帧收尾断连），`run()` 只留函数级一次 `await _batch_finished` 保持协程身份；改后全文件零 for/while，该键从文本形态根除、此文件对这个键结构性免疫。随批执行一项已裁事项：新增双实现对拍套件，把帧相位等价论证变成当轮真实执行证据。**本批零行为改动**——收尾置假已在 run() 尾每批一次执行（迭代 41 测试债批 215da315 归还后的现行形态），本批收尾四语句同帧同相位迁入 `_finish_batch()`，语句集与语义零变化（第 3、4 节）。
+这批做什么：把 S13 静态质量闸（gdstyle）在册裸键 `game/presentation/tune_sim_controller.gd|quality/await-in-loop` 真实消除——`run(n)` 的 for 循环内 `await process_frame` 改为 process_frame 信号常驻连接＋步进状态机（每帧回调执行一局、步尽次帧收尾断连），`run()` 只留函数级一次 `await _batch_finished` 保持协程身份；改后全文件零 for/while，该键从文本形态根除、此文件对这个键结构性免疫。随批执行两项已裁事项：把「每局置假」还原为「整批收尾单次置假」（已申报行为改动——消除与两个在库断言面的静态矛盾）；新增双实现对拍套件，把帧相位等价论证变成当轮真实执行证据。
 
 什么状态算完：
 
 1. `tune_sim_controller.gd` 全文件零循环、`await` 仅 `run()` 函数级一处；`python tools/gdstyle_gate.py` 对账该裸键消失（消失键不参与红判定）、无基线外新键。
-2. 测量语义逐点等价（第 4 节四判据）经双实现对拍在当轮真实跑批中证明——五面对拍全等；wd8 三断言与 ui_tune_probe ⑤ 零改动保持绿。
-3. diff 中行为改动零处——收尾四语句迁移为非行为改动（同帧同相位、语义零变化，对照表 V3 行），无任何行为漂移。
+2. 测量语义逐点等价（第 4 节四判据）经双实现对拍在当轮真实跑批中证明——五面对拍全等；wd8 三断言与 ui_tune_probe ⑤ 零改动转绿。
+3. diff 中已申报行为改动恰一处（收尾置假还原，对照表 V3 行），无第二处行为改动。
 4. 脚本错误中断路径差异作为声明缺口写入实现报告（禁静默）。
 5. 批末代码域闸全绿；实现报告与反哺点清单写齐方算收口。
 
 ## 2. 设计事实源
 
-设计依据唯一出处＝`reports/设计-测速循环去await-2026-10-29.md`（2026-10-29 设计闭合，零待裁点）：§3 形态评估（process_frame 信号步进状态机采纳）、§4 推荐案（伪代码结构）、§5 等价性证明清单（四判据＋已声明缺口）、§6 键账预期——以上各节不受前提消化影响、仍是本卡依据；该文档 §2.3 潜伏红推演与 §10 待裁点 1「还原」申报已作废（前提消化证据见停卡呈报）。架构面凭据＝`design/engineering/architecture/architecture.md` v1.25「测试与质量域」S13 测量面豁免注销句（2026-10-29 零豁免裁落文）——豁免注销句保持，句内行为改动申报半句随实现批现状化修正（第 6 节同步面）。前提消化与重裁凭据＝iter44 worktree 分支 `reports/iter44-实现报告-2026-10-30.md` §5 停卡呈报（git 历史证据 215da315＋T0 两面实跑绿）。待办清单条目「零豁免五键清偿批」状态=已写卡＋已编迭代 44（本卡 v1.1 重裁段产出）。
+设计依据唯一出处＝`reports/设计-测速循环去await-2026-10-29.md`（2026-10-29 设计闭合，零待裁点）：§4 推荐案（process_frame 信号步进状态机伪代码结构）、§5 等价性证明清单（四判据＋已声明缺口）、§6 键账预期、§7 行为零变化风险点。架构面凭据＝`design/engineering/architecture/architecture.md` v1.25「测试与质量域」S13 测量面豁免注销句（2026-10-29 零豁免裁落文）——豁免注销、行为改动申报面与本卡一致。待办清单条目「零豁免五键清偿批」状态=文档设计已闭合＋待写卡（本卡即其中一卡的写卡段产出）。
 
-## 3. 现状事实（代码级，2026-10-30 实查；开工 T0 按当轮施工基面重锚——行号基线为本日 master）
+## 3. 现状事实（代码级，2026-10-29 实查；开工 T0 按当轮 master 重测重锚——行号基线为本日 master）
 
-- `game/presentation/tune_sim_controller.gd`（全件 68 行）：`run(n)` 在 :36-54——:37 置运行态真、:40-42 开共享 JSONL 日志会话、:43 `panel.set_sim_running(true)`、:44 进度 0/n、:45 建 stats 六键束、:46 取自动策略驱动、:47-50 for 循环体（`_run_one_level` → 进度串 → :50 `await panel.get_tree().process_frame`——命中键的语句）、:51-54 收尾四语句（`close_session()` :51 → 报告注入 :52 → `panel.set_sim_running(false)` :53 → `_running = false` :54）——**收尾置假在 run() 尾、for 循环外、每批恰一次**。`_run_one_level` 在 :57 注释／:58-68（5 参），尾部 :66-68 为败局节点记账（defeat 分支）——非置假。类成员 5（db／panel／_base_hp／_driver／_running）＋常量 2（:7 SEED_BASE=4200、:8 PlaytestLogger preload）；头注 4 行。
-- 前提消化定谳（v1.0「静态矛盾推演」作废依据）：git 历史——迭代 41 测试债批提交 215da315（2026-10-29 合回）提交信息明载「两个产品回归随批修（……tune_sim 运行态收尾归还 run）」，收尾置假两行由该批归还 run() 尾并随该批申报；v1.0 成文（2026-10-29）与该批合回同日，其「现状考证」被上游批施工消化变质（读法 A；读法 B「考证当时即误读」与 215da315 提交信息矛盾，停卡呈报 §5 不采）。T0 实跑三重证据（iter44 worktree，停卡呈报 §5）：wd8 三断言（现位 :145-147）全 PASS（套件 18 checks 全绿）；ui_tune_probe 全链路 PASS（⑤ 守卫环 1800 帧预算内退出＋输出四串在）。**潜伏红不存在**——两面现行全绿，「零改动转绿」改「零改动保持绿」。
-- 断言面一〔wd8〕`game/tests/unit/presentation/standee_fx_sweep_test.gd:139-147`：FakePanel（内类 Node，:20-40——setter 面并入树供 get_tree）＋FakeDriver（:44-55——`run_level` 回调内读 `ctrl.is_running()` 逐局记 `seen`）；:142 直构控制器（字典夹具 db）、:144 `await ctrl.run(2)`（run 必须可等待、挂起至整批完成的契约）、:145-147 三断言——`drv.seen == [true, true]`／收尾 `not ctrl.is_running() and not panel.running`／报告非空。套件在 run_all.gd manifest 在册（res://tests/unit/presentation/standee_fx_sweep_test.gd，expect 0，manifest :188）。
-- 断言面二〔探针 ⑤〕`game/probe/ui_tune_probe.gd:63-83`：:65-66 设滑条与 N=10、:67 `press_simulate_for_probe()`（真实按钮 pressed 信号链）、:68-71 守卫环（`while main.ui.modals.debug_overlay.is_running()` 逐帧等——SIM_GUARD_FRAMES=1800 在 :16）、:72-73 预算内未完成判红、:74-83 输出四串断言（关卡完成率／关卡完成剩余 HP 均〔口径换代 V7〕／败北节点／N=10）。面板语义面 `debug_overlay.gd`：`set_sim_running` :81-83 → `_sync_sim_button` :107-110（模拟与两层调试两钮禁用＋「模拟中…」文案——浮窗运行态贯穿整批的可见面）、`is_running` :77-79。
-- 调用面 `game/presentation/main_debug_flow.gd`：`_on_tune_simulate` :72-77——守卫（活跃结算/冒险早退）后 :77 `root._tune_sim.run(n)` **不 await 调用**（返回的协程态丢弃——新形态必须保持此调用形态可用、零改动）；`_start_debug_levels` :84 守卫读 `root._tune_sim.is_running()`（两层调试入口互查守卫）。
-- 键账：`tools/gdstyle_baseline.txt:15` ＝ 该文件唯一在册键（await-in-loop 裸键，基线 16 键之一）。S13 扫描面＝产品码三目录（game/core＋data＋presentation——probe/sim/tests 不在面，`game/tests/static_scan.sh` S13 头注在案）；S8 文件集＝**十文件**显式清单（static_scan.sh :317 现行实查——不含本件）；S9/S10 扫描面同不含 game/tests/。
+- `game/presentation/tune_sim_controller.gd`（全件 68 行）：`run(n)` 在 :36-52——:37 置运行态真、:40-42 开共享 JSONL 日志会话、:43 `panel.set_sim_running(true)`、:44 进度 0/n、:45 建 stats 六键束、:46 取自动策略驱动、:47-50 for 循环体（`_run_one_level` → 进度串 → :50 `await panel.get_tree().process_frame`——命中键的语句）、:51-52 收尾（close_session＋报告注入）。`_run_one_level` 在 :56-68（5 参），**尾部两行 :67 `panel.set_sim_running(false)`／:68 `_running = false` 每局执行一次**（潜伏红本体，见下）。类成员 5（db／panel／_base_hp／_driver／_running）＋常量 2（:7 SEED_BASE=4200、:8 PlaytestLogger preload）；头注 4 行。
+- 断言面一〔wd8〕`game/tests/unit/presentation/standee_fx_sweep_test.gd:126-134`：FakePanel（内类 Node，:20-40——setter 面并入树供 get_tree）＋FakeDriver（:44-55——`run_level` 回调内读 `ctrl.is_running()` 逐局记 `seen`）；:129 直构控制器（字典夹具 db）、:131 `await ctrl.run(2)`（run 必须可等待、挂起至整批完成的契约）、:132-134 三断言——`drv.seen == [true, true]`／收尾 `not ctrl.is_running() and not panel.running`／报告非空。套件在 run_all.gd manifest 在册（res://tests/unit/presentation/standee_fx_sweep_test.gd，expect 0）。
+- 断言面二〔探针 ⑤〕`game/probe/ui_tune_probe.gd:63-83`：:65-66 设滑条与 N=10、:67 `press_simulate_for_probe()`（真实按钮 pressed 信号链）、:68-71 守卫环（`while main.debug_overlay.is_running()` 逐帧等——SIM_GUARD_FRAMES=1800 在 :16）、:72-73 预算内未完成判红、:74-83 输出四串断言（关卡完成率／关卡完成剩余 HP 均〔口径换代 V7〕／败北节点／N=10）。面板语义面 `debug_overlay.gd`：`set_sim_running` :81-83 → `_sync_sim_button` :107-110（模拟与两层调试两钮禁用＋「模拟中…」文案——浮窗运行态贯穿整批的可见面）、`is_running` :77-79。
+- 调用面 `game/presentation/main_debug_flow.gd`：`_on_tune_simulate` :72-77——守卫（活跃结算/冒险早退）后 `root._tune_sim.run(n)` **不 await 调用**（返回的协程态丢弃——新形态必须保持此调用形态可用、零改动）；`_start_debug_levels` :84 守卫读 `root._tune_sim.is_running()`（两层调试入口互查守卫）。
+- 静态矛盾推演（设计文档 §2.3——T0 实跑定谳）：:67-68 每局执行 → wd8 首局完成即把两个运行态置假 → `drv.seen` 实测 `[true, false]` 必红；探针按下返回后首局已在同一同步段内跑完、运行态已假 → 守卫环立即退出 → 输出停在进度串 → 四串断言全红。推断这两行原在循环之后（「循环体提函数」搬运时被卷入提取体——设计文档 §2.3），wd8 写于 d8 批且当时必绿可反证；两面均不在近期批次的关联档选测覆盖内（套件名与涉案文件无字面关联、probe_gate --full 非恒跑三保险），潜伏红因此未暴露。
+- 键账：`tools/gdstyle_baseline.txt:15` ＝ 该文件唯一在册键（await-in-loop 裸键，基线 16 键之一）。S13 扫描面＝产品码三目录（game/core＋data＋presentation——probe/sim/tests 不在面，`game/tests/static_scan.sh` S13 头注在案）；S8 文件集＝九文件显式清单（static_scan.sh :317——不含本件）；S9/S10 扫描面同不含 game/tests/。
 - 产品码 process_frame 订阅面（T0 实查项）：本件 :50（循环内 await）＋`settlement_fx_view.gd:94`（play_damage_number 内一次性 await 等文本度量——战斗结算呈现期，与模拟批不并存）。现库无「run 途中新增订阅者」场景。
 - 报告渲染面 `game/presentation/hud_presenter.gd` :197-218 `tune_sim_report`（静态函数，零触碰计划）：空数组 `_mean`/`_p90` 双守卫（:221-227／:230-235）、完成率分母 `maxi(1, n)`（:206）——n=0 退化路径渲染安全（本批对拍 n=0 案的前提，实查在案）。
-- 能力表现状：`game/tests/README.md` 能力表「调参测速批量模拟（逐帧步进与统计读数）」行已入表（:131——写卡段 v1.0 同批义务，真实入口＝批量模拟入口，代表用例＝对拍套件）；断言宿主 wd8 套件锚既有行「站桩敌人呈现与结算演出落点」（:130）。
+- 能力表现状：`game/tests/README.md` 能力表零 tune_sim／调试浮窗行；锚到本批断言宿主套件的唯一既有行＝「站桩敌人呈现与结算演出落点」（代表用例 `standee_fx_sweep_test.gd:_init`——wd8 断言所在函数）。
 
 ## 4. 设计契约（违反即返工的红线条款，标 🔴 触碰＝L3 停机呈报）
 
@@ -40,30 +40,30 @@
   ③ 终止条件与终止时读数不变——终止＝计数走满 n；close_session／运行态复位／报告注入在同帧执行；
   ④ 输出逐字不变——报告＝未触碰的 `HudPresenter.tune_sim_report`；stats 是 (种子, atk_pct, hp_pct) 的纯函数、帧时点不进测量值；JSONL 由未触碰的自动策略逐行写、close 时点同帧。
   违反即返工；等价性对拍失败＝L3 停机呈报。
-- 🔴 **行为改动零处（收尾语义零变化）**：收尾置假已在 run() 尾每批一次执行（:53-54，215da315 归还后的现行形态）——本批 `_run_one_level`（:58-68）零触碰、运行态复位语义零变化；收尾四语句（:51-54）迁入 `_finish_batch()` 为同帧同相位语句迁移（判据③承载——非行为改动，对照表 V3 行）。禁任何行为漂移——`_on_tune_simulate` 不加运行态早退守卫（设计文档待裁点 3 备选否决）、发布态零触碰、探针①–④⑥–⑩ 段零触碰、`HudPresenter`／`PlaytestLogger`／`sim/level_autoplay.gd`／`debug_overlay.gd` 零触碰。
+- 🔴 **行为改动唯一＝收尾置假还原**（已申报——对照表 V3 行）：`_run_one_level` 尾部两行（:67-68）删除，运行态复位收进 `_finish_batch()` 收尾单次执行；禁任何其他行为漂移——`_on_tune_simulate` 不加运行态早退守卫（设计文档待裁点 3 备选否决）、发布态零触碰、探针①–④⑥–⑩ 段零触碰、`HudPresenter`／`PlaytestLogger`／`sim/level_autoplay.gd`／`debug_overlay.gd` 零触碰。
 - 🔴 **脚本错误中断路径差异＝声明缺口**（设计文档 §5 缺口 1，接受并文档化）：GDScript 无错误陷阱 API、差异不可消除——旧形态步进体内脚本错误＝协程死亡静默停摆（运行态永真、报告永不落）；新形态＝计数未推进、次帧重试同一步（确定性错误逐帧重试，探针 1800 帧守卫可抓；生产态＝持续重试的可见坏，与旧「静默卡死」同级不同形）。实现报告文档化义务（T3），禁静默、禁造第三条路（错误陷阱/守卫兜底均已否决）；测量批遇错本就整批作废，两形态都不产出可用读数。
-- 🔴 **S8 结算路径 await 零命中面不触碰**：本件不在 S8 文件集（十文件显式清单实查不含本件）；本批零触碰 S8 文件集与一切闸件。
+- 🔴 **S8 结算路径 await 零命中面不触碰**：本件不在 S8 文件集（九文件显式清单实查不含本件）；本批零触碰 S8 文件集与一切闸件。
 - 🔴 **拆分边界纪律**（判据权威＝code-conventions §1.1，卡内执行条款）：本批零拆出单元——步进状态机收编本件（职责语句与不拆理由见第 8 节）；①拆出单元须有可陈述职责语句与单一变化原因；②命不出名字、只能说「剩下的成员」的打包＝凑计数袋，禁；③「过阈值」只作发现信号——本批键消除靠形态根除、不靠拆件凑数；④按纪律拆不出内聚单元→停卡呈报；⑤禁沿阈值轴拆。
 - 🔴 **RNG 与种子零触碰**：SEED_BASE=4200 与逐局种子切分（SEED_BASE+i）零变化——stats 是种子纯函数是等价性论证的前提。
 - 🔴 **注释纪律**：新增头注/注释零变更叙事（「由 await 改为信号」类句禁——沿革归 git）；S11 注释禁词由术语表解析供给，新增注释用白话描述现行形态与信号契约。
 
 ## 5. 范围边界
 
-做什么：第 3 节四件事——T0 现状复核（两面实跑应绿）、`tune_sim_controller.gd` 步进状态机改造（收尾语义零变化）、双实现对拍套件、键账对账与收口。
+做什么：第 3 节四件事——T0 现状定谳（实跑两断言面）、`tune_sim_controller.gd` 步进状态机改造＋收尾还原、双实现对拍套件、键账对账与收口。
 
 不做什么（明示去向）：
 
 - 零豁免其余四键（main.gd 类变量 49、battle_orchestrator 类变量 38、board_cell_unit 30、standee_body 19）——各归组合根注册面批／战斗编排归约批／呈现层状态件批（同条目四卡，待办清单在册）。
 - `tools/gdstyle_baseline.txt` 禁实现批中途刷新——批末由用户人工重生成（第 6 节）。
 - `_on_tune_simulate` 运行态早退守卫——不收件（+1 行为面、system_test 前置断言随之需复核，代价大于收益，设计文档待裁点 3 否决）。
-- `design/` 整个目录、两份根流程清单——实现批禁写；该改的点列反哺点清单。`game/tests/README.md`：测量面专属能力行已随本卡 v1.0 写卡段同批入表（「调参测速批量模拟」行），实现批禁写红线不变。
+- `design/` 整个目录、两份根流程清单——实现批禁写；该改的点列反哺点清单。`game/tests/README.md`：测量面专属能力行已随本卡写卡段同批入表（「调参测速批量模拟」行——写卡同批义务，grilling 复核订正），实现批禁写红线不变。
 - 探针其余段与套件其余断言族（standee_fx_sweep 的 wd2/wd4/wd5/wd12 面）零触碰；`architecture.md` 其余豁免条目（battle_orchestrator 第三条注销句现状化归战斗编排归约批反哺点）零触碰。
 
 ## 6. 关联文档同步面
 
 | 文档 | 关联点（本批实现会改变它的哪条陈述） | 同步义务 |
 |---|---|---|
-| design/engineering/architecture/architecture.md | 「测试与质量域」S13 测量面豁免注销句（v1.25——「设计闭合、实现批建件」批后现状化；句保持——注销对象是 await 豁免、不依赖行为改动申报；句内「随批申报行为改动一处（收尾置假还原）」半句已失效〔前提被迭代 41 消化、申报已剥离〕，现状化时一并修正为收尾现行陈述） | 设计权威文档——实现批禁直改；逐条列进 `reports/iter44-反哺点-2026-10-30.md`（豁免注销句现状化，该清单 #6 已登记暂停点、随本卡 v1.1 恢复），用户裁决后归文档批落文 |
+| design/engineering/architecture/architecture.md | 「测试与质量域」S13 测量面豁免注销句（v1.25——「设计闭合、实现批建件」批后现状化；随批申报行为改动句随之成为已实施事实） | 设计权威文档——实现批禁直改；逐条列进 `reports/iter<N>-反哺点-<日期>.md`（豁免注销句现状化），用户裁决后归文档批落文 |
 | game/tests/README.md | 能力表——测量面专属能力行「调参测速批量模拟（逐帧步进与统计读数）」已随本卡写卡段同批入表（真实入口＝批量模拟入口，代表用例＝本卡对拍套件）；manifest 计数行随套件增减浮动（自助声明，零义务） | 机械面文档——实现批禁写；入表已完成于写卡段（本卡 v1.0 同批），实现期零改动 |
 | tools/gdstyle_baseline.txt | tune_sim await-in-loop 裸键（:15，该文件唯一在册键）随键消失成死键 | 重生成为人工专用——批末由用户执行 `python tools/gdstyle_gate.py --refresh`（键数 16→15，降幅 <10% 不需 --force）；禁实现批中途刷新 |
 | design/gdd/（全目录） | 无关联文档——测量工具私有机制改造，不改游戏规则与玩家可见行为（tune_sim 全链路发布态不可达，设计文档 §7.3） | 无修订预期；契约句被触碰＝停卡呈报走反哺点通道 |
@@ -72,18 +72,18 @@
 
 | 文件 | 新增/复用 | 职责 | 行为改动 |
 |---|---|---|---|
-| game/presentation/tune_sim_controller.gd | 复用（改造） | 批量模拟控制器——process_frame 信号常驻连接＋步进状态机；收尾单点 `_finish_batch`（四语句同帧同相位迁入）；全文件零循环 | 非行为改动（结构改形——收尾语义零变化，零漂移由对拍证；回归锚面＝对照表 V3 行） |
-| game/tests/unit/presentation/tune_sim_batch_parity_test.gd | 新增 | 双实现对拍配对套件——现行 await 形态夹具（内类，收尾在 run() 尾的现行形态）＋五面对拍断言 | 非行为改动（测试面） |
+| game/presentation/tune_sim_controller.gd | 复用（改造） | 批量模拟控制器——process_frame 信号常驻连接＋步进状态机；收尾单点 `_finish_batch`；全文件零循环 | 行为改动一处（V3 收尾还原）＋结构改形（V1——零漂移由对拍证） |
+| game/tests/unit/presentation/tune_sim_batch_parity_test.gd | 新增 | 双实现对拍配对套件——遗留 await 形态夹具（内类）＋五面对拍断言 | 非行为改动（测试面） |
 | game/tests/run_all.gd | 复用（改造） | manifest 增一行（新套件注册，expect 0） | 非行为改动（测试基建） |
 
-结构图与第 8 节互指：新增件一件（对拍套件），其「为什么不能复用/落点唯一」理由见第 8 节；其余两行均为既有文件改造。行为改动列全为零——每行的验收落点见对照表 V1/V2/V3 行。
+结构图与第 8 节互指：新增件一件（对拍套件），其「为什么不能复用/落点唯一」理由见第 8 节；其余两行均为既有文件改造。
 
 ## 8. 落位与可复用性预检
 
 - **步进状态机不引入新文件（本件内改造）——为什么不拆新件**：单一职责已在件内——`tune_sim_controller` 的职责就是批量模拟控制，步进机制（每帧一局的节律与帧相位承载）是它的私有运行机制，随批生灭（run 期活成员，批末失效下次 run 重写），没有独立于批量模拟的存在意义；拆出「步进机」件命不出独立职责语句＝凑计数袋（code-conventions §1.1 判据②④禁）。复用面核查：全仓 grep 无信号步进机同职责实现可复用；其余四形态（SceneTreeTimer 链／Timer 节点／递归协程／线程）已被设计文档 §3 逐一否决（相位不同或键不消）。
-- **对拍套件落 `game/tests/unit/presentation/` 的唯一性与命名**：落点唯一——与断言宿主 wd8 同目录同协议（extends SceneTree＋Kit 收尾），单元层承载；命名 `tune_sim_batch_parity_test.gd`（领域命名、无 ID 前缀）；grep 同名与同义标识符实查无第二处。**遗留 await 形态副本全仓只许此一份**——产品码禁留第二实现（旧形态只活在测试夹具内）；tests/ 不在 S13/S8/S9/S10 扫描面（扫描面＝产品码三目录与 S8 文件集，实查在案），夹具内循环 await 合法在册。
+- **对拍套件落 `game/tests/unit/presentation/` 的唯一性与命名**：落点唯一——与断言宿主 wd8 同目录同协议（extends SceneTree＋Kit 收尾），单元层承载；命名 `tune_sim_batch_parity_test.gd`（领域命名、无 ID 前缀）；grep 同名与同义标识符实查无第二处。**遗留 await 形态副本全仓只许此一份**——产品码禁留第二实现（旧形态只活在测试夹具内）；tests/ 不在 S13/S8/S9/S10 扫描面（扫描面＝产品码三目录与 B1 九文件清单，实查在案），夹具内循环 await 合法在册。
 - **复用面**：夹具的假面板/假驱动复用 wd8 的形态先例（FakePanel/FakeDriver 同形——代码在各套件内自建，不跨套件共享 helper，禁散落）；收尾复用 `test_kit.gd` 的 Kit.finish（零断言专用退出码协议）。
-- **分层与交互**：控制器保持 RefCounted、零 Node 入树；process_frame 连接经 `panel.get_tree()` 取树（与现状同一出口）；对拍套件 `--script` 模式零 autoload 依赖（db 用字典夹具，同 wd8 :142 先例）；零新增跨层出口、零数值表读取、零随机。
+- **分层与交互**：控制器保持 RefCounted、零 Node 入树；process_frame 连接经 `panel.get_tree()` 取树（与现状同一出口）；对拍套件 `--script` 模式零 autoload 依赖（db 用字典夹具，同 wd8 :129 先例）；零新增跨层出口、零数值表读取、零随机。
 
 ## 9. 实现规范预算（gdstyle 默认阈值对账：公开方法 ≤20、类变量 ≤15、单函数分支 ≤8、返回 ≤6、参数 ≤5、局部 ≤10、函数 ≤50 行）
 
@@ -93,7 +93,7 @@
 |---|---|---|
 | quality/await-in-loop（裸键，本案标的） | **消除** | 全文件零 for/while；await 仅 `run()` 函数级一处（`await _batch_finished`）——结构性免疫 |
 | quality/allocation-in-loop | 不命中 | 文件零循环；`PlaytestLogger.new()` 在 run 顶层（现状即如此） |
-| max-function-length ≤50 | 达标 | run 约 22 行、`_step_frame` 约 12 行、`_finish_batch` 约 6 行、`_run_one_level` 现行 11 行零触碰 |
+| max-function-length ≤50 | 达标 | run 约 22 行、`_step_frame` 约 12 行、`_run_one_level` 删两行后约 10 行 |
 | max-branches ≤8 | 达标 | `_step_frame` 一个 if/else；run 一个 if/else |
 | max-local-variables ≤10 | 达标 | run 局部 3（logger/stats/autoplay——余者转成员）；`_step_frame` 局部 1 |
 | max-returns ≤6 | 达标 | 全 void |
@@ -108,15 +108,15 @@
 
 ## 11. 任务卡 T0..T3（估时为区间；工作量限制只属迭代层——合计 1–1.5 工作日）
 
-**T0 现状复核与读数重锚（0.25 工作日）**
+**T0 现状定谳与读数重锚（0.25 工作日）**
 
-- [ ] 实跑 wd8 单套件（开发期最窄确认，不作验收凭据）：`godot --headless --path game --script res://tests/run_all.gd -- --only=standee_fx_sweep`——记录 :145-147 三断言实况，**应绿**（绿＝前提已被迭代 41 测试债批消化，按无行为改动形态开工）。套件若因在册无关债先红于 wd8 断言，先核该债修复状态、不得借本批顺手修非申报面——读数以「wd8 断言可达性」为准呈报（L2 记录）
-- [ ] 实跑 ui_tune_probe 单探针：`…console.exe --headless --path game res://probe/ui_tune_probe.tscn`——记录 ⑤ 守卫环与输出四串实况，**应在**
-- [ ] 判读：两面实跑全绿＝重裁前提成立开工；任一面红＝现状与重裁前提失配（迭代 41 修复被回退或新潜伏红）——L3 停卡呈报（第 13 节）
-- [ ] 按当轮施工基面重锚第 3 节全部 file:line 与成员计数；漂移处就地改卡并记录（本卡行号基线＝2026-10-30 master；同迭代卡①改址过 main_debug_flow/ui_tune_probe——两件相关行实测未漂移，仍以 T0 重锚为准）
+- [ ] 实跑 wd8 单套件（开发期最窄确认，不作验收凭据）：`godot --headless --path game --script res://tests/run_all.gd -- --only=standee_fx_sweep`——记录 :132-134 三断言实况；红＝潜伏红定谳成立。套件若因在册无关缺陷先红于 wd8 断言（待办清单「迭代 41 测试债修复」在册的 set_trans 一类），先核该债修复状态、不得借本批顺手修非申报面——读数以「wd8 断言可达性」为准呈报（L2 记录）
+- [ ] 实跑 ui_tune_probe 单探针：`…console.exe --headless --path game res://probe/ui_tune_probe.tscn`——记录 ⑤ 守卫环与输出四串实况
+- [ ] 判读：两面按第 3 节静态推演红＝前提成立开工；两面实跑全绿＝潜伏红证伪＝设计前提崩塌——L3 停卡呈报（第 13 节）
+- [ ] 按当轮 master 重锚第 3 节全部 file:line 与成员计数；漂移处就地改卡并记录
 - [ ] 实查产品码 process_frame 订阅面——预期两处（本件 :50＋settlement_fx_view.gd:94）；出现 run 途中新增订阅者场景＝L2 记录＋代码评审注记（设计文档 §5 缺口 2）
 
-产出：现状复核读数（两面绿——前提消化链条的当轮证据，独立验收审计要核对）；重锚后行号。
+产出：潜伏红定谳读数（改动前基线证据，独立验收审计要核对）；重锚后行号。
 
 **T1 步进状态机改造（0.25–0.5 工作日）**
 
@@ -124,16 +124,16 @@
 - [ ] 增 `signal _batch_finished` 与 6 个 run 期活成员（名字按设计文档 §4.1 逐字：`_sim_n: int`／`_sim_i: int`／`_sim_stats: Dictionary`／`_sim_autoplay`／`_sim_logger`／`_finished: bool`）
 - [ ] `run(n)` 改形：setup 段（:37-46 语句逐字保持）；n>0 分支——`is_connected` 守卫 connect `panel.get_tree().process_frame`（恰好连接一次，迭代 39 先例）→ `_step_frame()` 首步同步执行（与 await 形态「第 0 局在调用栈内跑完」对齐）→ `await _batch_finished`（函数级单次 await——键消除落点）；n=0 分支直调 `_finish_batch()`（循环零进同步收尾，与 await 形态一致不挂起）
 - [ ] 新增 `_step_frame() -> void`（0 参）：`_sim_i < _sim_n` 分支——`_run_one_level(_sim_autoplay, _sim_stats, _sim_i, panel, _sim_logger)`＋`panel.set_sim_progress("模拟中：%d/%d …" % [_sim_i + 1, _sim_n])`（串逐字保持现码 :49）＋`_sim_i += 1`；else 分支——先 disconnect（防再入）→ `_finish_batch()` → `_batch_finished.emit()`
-- [ ] 新增 `_finish_batch() -> void`（0 参）：收尾四语句由 run() 尾 :51-54 迁入（`close_session()`→报告注入→`panel.set_sim_running(false)`→`_running = false`，同帧同相位——判据③；`_finished = true` 置位为新增首句，对两断言面不可观测——白名单 5）
-- [ ] `_run_one_level` **零触碰**（:58-68 逐字保持——败局节点记账非置假；本批行为零改动的锚面）
-- [ ] 孤立验证：`--only=standee_fx_sweep` 全绿（wd8 三断言零改动保持绿＝收尾语义零变化实证）＋ui_tune_probe 单探针绿（probe_gate --full 段承载）
+- [ ] 新增 `_finish_batch() -> void`（0 参）：`_finished = true` → `close_session()` → `panel.set_sim_running(false)` → `_running = false` → `panel.set_sim_report(HudPresenter.tune_sim_report(_sim_n, panel.atk_pct(), panel.hp_pct(), _sim_stats, _base_hp))`（四语句相对次序按此草图，对两断言面不可观测——白名单 5）
+- [ ] `_run_one_level` 删尾部两行（:67-68），其余逐字保持（5 参签名不变）
+- [ ] 孤立验证：`--only=standee_fx_sweep` 全绿（wd8 三断言零改动转绿＝潜伏红消除实证）＋ui_tune_probe 单探针绿（probe_gate --full 段承载）
 - [ ] 自检：新增头注/注释零变更叙事、S11 禁词零命中
 
-取用：T0 重锚行号。产出：`_batch_finished` 信号与 `_step_frame`/`_finish_batch` 签名（T2 对拍新形态即产品码本体）；wd8 保持绿读数。
+取用：T0 重锚行号。产出：`_batch_finished` 信号与 `_step_frame`/`_finish_batch` 签名（T2 对拍新形态即产品码本体）；wd8 转绿读数。
 
 **T2 双实现对拍夹具（0.25–0.5 工作日）**
 
-- [ ] 建 `game/tests/unit/presentation/tune_sim_batch_parity_test.gd`（extends SceneTree，Kit 收尾，全类型标注）：内类 FakePanel（Node——wd8 同形 setter 面，另带进度串/报告记录数组）＋FakeDriver（RefCounted——固定返回值两档〔victory/defeat，同 wd8 :53-55 取值〕，零随机；逐局记录帧索引与运行态读数，帧索引经宿主注入的计数 Callable 读取）＋AwaitLoopRunner（RefCounted——现 `run()` await 形态逐字副本，含循环内 await 与收尾四语句在 run() 尾的现行形态（:47-54 语句逐字），含自身 `is_running()` 镜像；**与产品码新形态的申报差异仅一处**：批末把 stats 六键束存夹具成员供对拍读取——产品码 stats 经报告公开面观测，第 17 节直查受控例外申报）
+- [ ] 建 `game/tests/unit/presentation/tune_sim_batch_parity_test.gd`（extends SceneTree，Kit 收尾，全类型标注）：内类 FakePanel（Node——wd8 同形 setter 面，另带进度串/报告记录数组）＋FakeDriver（RefCounted——固定返回值两档〔victory/defeat，同 wd8 :53-55 取值〕，零随机；逐局记录帧索引与运行态读数，帧索引经宿主注入的计数 Callable 读取）＋AwaitLoopRunner（RefCounted——现 `run()` await 形态逐字副本，含自身 `is_running()` 镜像；**与产品码的申报差异仅两处**：尾部两行按还原语义置收尾、批末把 stats 六键束存夹具成员供对拍读取）
 - [ ] 对拍驱动：两形态各经 `run(n)` 真实入口驱动（新形态＝真 TuneSimScript 直构，旧形态＝夹具直构；同参假面板/假驱动各自实例）；拓扑钉死——测试宿主先连 process_frame 帧计数、后启动两形态（两形态下「计数先于步进体」相对次序同构，序列可比）；n=3 常规＋n=0 退化两案
 - [ ] 五面对拍断言（落点 `_init`，尾缀〔测速 V1〕..〔测速 V5〕）：V1 帧索引序列——两形态逐局记录序列逐位相等（每步恰一帧＋相位同点的执行证据）；V2 运行态序列——驱动内 `is_running()` 读数序列逐位相等＋收尾双运行态假相等；V3 进度串序列——面板记录的 set_sim_progress 串序列逐位相等；V4 stats 六键逐位——夹具暴露 stats 与测试内按假驱动固定返回值重算的六键期望（wins/dmg_all/hp_left_win/hp_boss/rounds_all/death_nodes）逐键相等；V5 报告全文逐字——两形态面板记录的 set_sim_report 串逐字相等，n=3 案含「关卡完成率／关卡完成剩余 HP 均／败北节点／N=」渲染面（n=0 案只断逐字相等——空 stats 渲染无剩余 HP 行，`_mean`/`_p90` 空守卫实查在案）
 - [ ] `run_all.gd` manifest 增行 `{"path": "res://tests/unit/presentation/tune_sim_batch_parity_test.gd", "expect": 0}`
@@ -147,27 +147,27 @@
 - [ ] 关联档复跑：`--only=standee_fx_sweep,tune_sim_batch_parity`＋ui_tune_probe（probe_gate --full 段）全绿
 - [ ] 批末代码域闸全绿：`tools/run_all_gates.sh --code`（改动含 game/ 下非 .md 行为载体——`--code` 档）
 - [ ] 错误路径声明缺口写入实现报告（第 4 节 🔴 条全文迁入——禁静默）
-- [ ] 产出物落位卡：`reports/iter44-实现报告-2026-10-30.md`（各卡状态＋实机目检总清单〔本批零目检项〕＋遗留读数义务＋实现决定记录）与 `reports/iter44-反哺点清单-2026-10-30.md`（第 6 节同步面逐条落点）写齐，方算收口
+- [ ] 产出物落位卡：`reports/iter<N>-实现报告-<日期>.md`（各卡状态＋实机目检总清单〔本批零目检项〕＋遗留读数义务＋实现决定记录）与 `reports/iter<N>-反哺点清单-<日期>.md`（第 6 节同步面逐条落点）写齐，方算收口
 
-编队注记：本卡与零豁免其余三卡无产品码触面交集（本卡触面＝tune_sim_controller.gd＋game/tests/ 两件）；run_all.gd manifest 行与并行批可能交叠——编队归编排段。本卡在 iter44 worktree 施工（卡①卡② 已收口冻结在分支），T0 重锚以 worktree 基面为准。
+编队注记：本卡与零豁免其余三卡无产品码触面交集（本卡触面＝tune_sim_controller.gd＋game/tests/ 两件）；run_all.gd manifest 行与并行批可能交叠——编队归编排段（待办清单条目口径：编队待迭代 42 合回）。
 
 ## 12. 验证闸——改动—验收对照表
 
-域口径：本批改动全为 `game/` 下非 .md 行为载体——批末跑代码域闸；里程碑步（T 段）出口跑一次全套闸，波内修复只做出红最小单元的最窄确认，新增测试先行孤立验证再并入全套（测试执行两入口铁规不破）。三件保险（冒烟/系统测试/静态扫描）恒跑；02 单元与集成按关联档选套件——**本卡显式申报套件：standee_fx_sweep_test（wd8——套件名与涉案文件无字面关联，diff 推导可能漏选，特此申报）＋tune_sim_batch_parity_test（新增）**。测试方式两分法：本批全部调试接口自动化（假驱动/假面板直构＋真实按钮信号链探针），零用户目检项（tune_sim 全链路发布态不可达——登记不阻塞条款零登记项）。**静态判据申报（不入对照表，test-conventions §8.4 出口）**：S13 await-in-loop 裸键消除无独立运行期提交面——判据＝`python tools/gdstyle_gate.py` 与 `game/tests/static_scan.sh` 退出码（T3 执行），属静态判据＋评审注记申报观测面局限；对拍夹具不在 S13/S8/S9/S10 扫描面的声明同此口径（扫描面＝产品码三目录与 S8 文件集，static_scan.sh 实查在案）。**声明缺口（不入对照表——证明做不出出口）**：脚本错误中断路径差异不可消除，见第 4 节 🔴 条，实现报告文档化（T3）。**能力清单**：本批新增能力一行「调参测速批量模拟（逐帧步进与统计读数）」已随本卡 v1.0 写卡段同批入表（README :131）——对照表三行能力列锚该行；manifest 计数行随套件增减浮动。
+域口径：本批改动全为 `game/` 下非 .md 行为载体——批末跑代码域闸；里程碑步（T 段）出口跑一次全套闸，波内修复只做出红最小单元的最窄确认，新增测试先行孤立验证再并入全套（测试执行两入口铁规不破）。三件保险（冒烟/系统测试/静态扫描）恒跑；02 单元与集成按关联档选套件——**本卡显式申报套件：standee_fx_sweep_test（wd8——套件名与涉案文件无字面关联，diff 推导可能漏选，特此申报）＋tune_sim_batch_parity_test（新增）**。测试方式两分法：本批全部调试接口自动化（假驱动/假面板直构＋真实按钮信号链探针），零用户目检项（tune_sim 全链路发布态不可达——登记不阻塞条款零登记项）。**静态判据申报（不入对照表，test-conventions §8.4 出口）**：S13 await-in-loop 裸键消除无独立运行期提交面——判据＝`python tools/gdstyle_gate.py` 与 `game/tests/static_scan.sh` 退出码（T3 执行），属静态判据＋评审注记申报观测面局限；对拍夹具不在 S13/S8/S9/S10 扫描面的声明同此口径（扫描面＝产品码三目录与 B1 九文件清单，static_scan.sh 实查在案）。**声明缺口（不入对照表——证明做不出出口）**：脚本错误中断路径差异不可消除，见第 4 节 🔴 条，实现报告文档化（T3）。**能力清单**：本批新增能力一行「调参测速批量模拟（逐帧步进与统计读数）」已随本卡写卡段同批入表（写卡同批义务，grilling 复核订正原「既有名锚定＋后续入表」悬置形态）——对照表三行能力列改锚该行；manifest 计数行随套件增减浮动。
 
 | 行 | 需求点 | 改动（文件:行/行为） | 验收测试（名称＋落点＋尾缀） | 层级 | 真实入口 | 判据绑定面 | 能力行 |
 |---|---|---|---|---|---|---|---|
-| V1 | 步进状态机改造（循环内 await 消除的落码面） | tune_sim_controller.gd :36-54 改形（run 函数级单次 `await _batch_finished`，全文件零循环；收尾四语句 :51-54 迁入 `_finish_batch`）＋:58 起新增 `_step_frame`/`_finish_batch` | 复用 wd8 驱动形态 `await ctrl.run(2)`（:144——run 协程身份契约，零改动）；新增对拍 V4/V5（stats 六键逐位＋报告逐字，落点 tune_sim_batch_parity_test.gd:_init，尾缀〔测速 V4/V5〕） | 单元 | TuneSimScript 直构（字典夹具 db＋假面板＋假驱动，wd8 :142 同款）经 `run(n)` 真实入口；对拍两形态同入口 | run 可等待（await 挂起＝整批完成放行）＋stats 六键逐位＋报告全文逐字 | 新增：调参测速批量模拟（逐帧步进与统计读数） |
+| V1 | 步进状态机改造（循环内 await 消除的落码面） | tune_sim_controller.gd :36-52 改形（run 函数级单次 `await _batch_finished`，全文件零循环）＋:56-68 拆出 `_step_frame`/`_finish_batch` | 复用 wd8 驱动形态 `await ctrl.run(2)`（:131——run 协程身份契约，零改动）；新增对拍 V4/V5（stats 六键逐位＋报告逐字，落点 tune_sim_batch_parity_test.gd:_init，尾缀〔测速 V4/V5〕） | 单元 | TuneSimScript 直构（字典夹具 db＋假面板＋假驱动，wd8 :129 同款）经 `run(n)` 真实入口；对拍两形态同入口 | run 可等待（await 挂起＝整批完成放行）＋stats 六键逐位＋报告全文逐字 | 新增：调参测速批量模拟（逐帧步进与统计读数） |
 | V2 | 双实现对拍（帧相位等价的执行化证据） | tune_sim_batch_parity_test.gd 新建＋run_all.gd manifest 增行 | 新增五面对拍断言〔测速 V1–V3〕：帧索引序列／运行态序列／进度串序列逐位相等（落点 tune_sim_batch_parity_test.gd:_init） | 单元 | 两形态各经 `run(n)` 真实入口（n=3 常规＋n=0 退化）；帧索引经测试宿主 process_frame 计数 | 两形态五面记录序列逐位相等（每步恰一帧＋相位同点的当轮执行证据——判据本体） | 新增：调参测速批量模拟（逐帧步进与统计读数） |
-| V3 | 运行态语义零变化（收尾迁移的回归锚面——非行为改动行） | 收尾四语句（:51-54）迁入 `_finish_batch` 同帧同相位——非行为改动判断依据：语句集与语义零变化、对两断言面不可观测，等价证据由对拍 V2/V5 承载；`_run_one_level` :58-68 零触碰 | 复用 wd8 三断言〔wd8〕（:145-147——`drv.seen == [true, true]`／收尾双运行态假／报告非空——零改动**保持绿**）＋ui_tune_probe ⑤ 守卫环与输出四串（:63-83——零改动保持绿） | 单元＋探针 | wd8 假驱动回调读 `is_running()`（`await ctrl.run(2)`）；探针 `press_simulate_for_probe()` → 按钮 pressed 信号链 → `run(10)` → 守卫环逐帧复查 | 驱动逐局运行态读数序列 [true, true]＋收尾双运行态假＋守卫环 1800 帧预算内退出＋`output_text()` 四关键串（浮窗运行态贯穿整批的可观测提交面——绿＝保持绿，非转绿） | 新增：调参测速批量模拟（逐帧步进与统计读数） |
+| V3 | 行为改动——收尾置假还原（已申报唯一行为改动） | tune_sim_controller.gd :67-68 删（每局置假）→ `_finish_batch` 收尾单次置假 | 复用 wd8 三断言〔wd8〕（`drv.seen == [true, true]`／收尾 `ctrl.is_running()` 假＋`panel.running` 假／报告非空——零改动）＋ui_tune_probe ⑤ 守卫环与输出四串（:63-83——零改动） | 单元＋探针 | wd8 假驱动回调读 `is_running()`（`await ctrl.run(2)`）；探针 `press_simulate_for_probe()` → 按钮 pressed 信号链 → `run(10)` → 守卫环逐帧复查 | 驱动逐局运行态读数序列 [true, true]＋收尾双运行态假＋守卫环 1800 帧预算内退出＋`output_text()` 四关键串（浮窗运行态贯穿整批的可观测提交面） | 新增：调参测速批量模拟（逐帧步进与统计读数） |
 
-反向核对：diff 中行为改动共零处；其余为非行为改动——V1 结构改形（零漂移判据＝对拍五面全等＋wd8/probe 零改动保持绿）、V2 测试面新增、V3 回归锚面行（非行为改动）、manifest 增行（测试基建）。孤儿断言：对拍五断言挂 V1/V2 两行，wd8/probe 既有断言挂 V3 行，无孤儿。
+反向核对：diff 中行为改动共一处（V3 行）；其余为非行为改动——V1 结构改形（零漂移判据＝对拍五面全等＋wd8/probe 零改动转绿）、V2 测试面新增、manifest 增行（测试基建）。孤儿断言：对拍五断言挂 V1/V2 两行，无孤儿。
 
 ## 13. 异常分级
 
 - **L1 自救**：编译错、断言尾缀措辞、夹具记录数组名笔误——就地修复，重跑最窄单元确认。
 - **L2 记录继续**：T0 套件因在册无关债先红于 wd8 断言（记录可达性事实，不借批顺手修）；行号重锚漂移（就地改卡记录）；产品码 process_frame 订阅面发现第三处（记录＋评审注记——非 run 途中新增场景不红）。
-- **L3 停机写报告等用户**：①T0 两面任一红＝现状与重裁前提失配（迭代 41 修复被回退或新潜伏红），停卡呈报；②等价性对拍失败——五面任一不等＝测量语义漂移，设计前提崩塌；③机检预算互斥——改造后实测键超第 9 节预算或基线外新键＝上游缺陷停卡退回写卡段（含禁为机检保留无效成员条款冲突）；④S13 对账 await 键未消或冒新键；⑤判据绑不上可观测提交面（证明做不出＝停卡呈报，禁自造注入破坏或回退取证）。
+- **L3 停机写报告等用户**：①T0 潜伏红证伪——两面实跑全绿＝「每局置假系搬运卷入」前提崩塌，停卡退回写卡段重裁行为改动申报面；②等价性对拍失败——五面任一不等＝测量语义漂移，设计前提崩塌；③机检预算互斥——改造后实测键超第 9 节预算或基线外新键＝上游缺陷停卡退回写卡段（含禁为机检保留无效成员条款冲突）；④S13 对账 await 键未消或冒新键；⑤判据绑不上可观测提交面（证明做不出＝停卡呈报，禁自造注入破坏或回退取证）。
 
 ## 14. 代拍板白名单（逐条列，超清单记实现报告「实现决定记录」）
 
@@ -175,20 +175,20 @@
 2. 头注 `_batch_finished` 契约行措辞（信号语义与发射时点不变）。
 3. `_finished` 成员零读者确认后删去（成员 11→10——键账只降不升，行为与断言面零变化）。
 4. 夹具假面板/假驱动成员命名微调（记录语义不变；与 wd8 同形自建、不跨套件共享）。
-5. 收尾段语句相对次序——现行 run() 尾次序（close→报告→置假→_running）与设计草图次序（close→置假→_running→报告）对两个断言面均不可观测，两种皆可落码（实现期查 git 历史原序可进一步对齐）；`_finished = true` 置位为新增首句（成员写，不可观测）。
+5. `_finish_batch` 收尾段四语句相对次序按第 11 节 T1 草图次序落码（对两个断言面不可观测——实现期查 git 历史原序可进一步对齐）。
 6. 排版机械改写（空行、preload 顺序、注释换行）。
 
 ## 15. 待裁点
 
-零待裁点，开工门=U0。（裁决记录：2026-10-29 用户裁四点——①信号步进状态机形态采纳〔SceneTreeTimer 链/Timer 节点/递归协程/线程四形态淘汰依据见设计文档 §3〕；②收尾置假还原作为已申报行为改动随批实施【已作废——前提被迭代 41 测试债批 215da315 消化，v1.1 剥离】；③双实现对拍入批；④脚本错误中断路径差异接受并文档化。2026-10-30 停卡重裁（用户裁，按停卡呈报建议案逐条落卡）：剥离行为改动申报 V3、T0 义务改现状复核、夹具申报差异两处减一处；重裁沿用 2026-10-29 grilling 复核门结论（reports/复核-grilling-零豁免五卡-2026-10-29.md，修正全落），重裁差异面未新增设计裁决。）
+零待裁点，开工门=U0。（裁决记录：2026-10-29 用户裁四点——①信号步进状态机形态采纳〔SceneTreeTimer 链/Timer 节点/递归协程/线程四形态淘汰依据见设计文档 §3〕；②收尾置假还原作为已申报行为改动随批实施；③双实现对拍入批；④脚本错误中断路径差异接受并文档化。）
 
 ## 16. 测试削弱申报
 
-无申报项——wd8 三断言与 ui_tune_probe ⑤ 零改动零削弱（保持绿）；对拍五断言为新增非改判；夹具与产品码新形态的申报差异仅一处（夹具暴露 stats 供对拍读取）系新增件自身设计、设计文档 §5 在案，非既有断言削弱。禁删断言、禁放宽阈值、禁缩小扫描面、禁把真实入口换成下层直调；未申报的削弱由独立验收审计判红。
+无申报项——wd8 三断言与 ui_tune_probe ⑤ 零改动零削弱；对拍五断言为新增非改判；夹具与产品码的两处申报差异（收尾还原语义＋stats 暴露成员）系新增件自身设计、设计文档 §5 在案，非既有断言削弱。禁删断言、禁放宽阈值、禁缩小扫描面、禁把真实入口换成下层直调；未申报的削弱由独立验收审计判红。
 
 ## 17. 独立验收审计
 
-合并前由未参与实现的会话或子代理执行；报告落 `reports/iter44-验收审计-2026-10-30.md`，未过不得合并。审计至少做五件事：①逐行核对第 12 节对照表（测试存在、真的执行、尾缀可 grep、真实入口未绕过改动点）；②抽查判据绑定面——帧索引序列是否真从 process_frame 发射点记录、对拍拓扑两形态是否同构可比、V3 行判据是否钉在运行态提交面（保持绿证据，非终态兜底）；③核对现状复核证据在案（T0 两面实跑绿读数＋停卡呈报三重证据引注〔215da315 提交信息〕——前提消化链条完整，缺 T0 复核读数＝审计不过）；④核对行为改动零处——diff 中任何行为改动（含收尾四语句语义漂移）＝审计不过，收尾迁移的等价性由对拍 V2 运行态序列＋V5 报告逐字承载；⑤检查测试削弱（对照第 16 节零申报）与内部字段直查受控例外（本批零直查——新形态 stats 经报告公开面观测）。
+合并前由未参与实现的会话或子代理执行；报告落 `reports/iter<N>-验收审计-<日期>.md`，未过不得合并。审计至少做五件事：①逐行核对第 12 节对照表（测试存在、真的执行、尾缀可 grep、真实入口未绕过改动点）；②抽查判据绑定面——帧索引序列是否真从 process_frame 发射点记录、对拍拓扑两形态是否同构可比、V3 行判据是否钉在运行态提交面而非终态兜底；③核对 T0 定谳证据在案（改动前 wd8/probe 红读数——潜伏红链条完整，缺 T0 读数＝审计不过）；④核对行为改动唯一性——diff 中除 V3 外无第二处行为改动；⑤检查测试削弱（对照第 16 节零申报）与内部字段直查受控例外（本批零直查——新形态 stats 经报告公开面观测）。
 
 ## 18. MC／数值与 RNG 零触碰声明