From 3b761623de8a4c5c8273ae718ff3323a6aa12295 Mon Sep 17 00:00:00 2001 From: DKChan <524912269@qq.com> Date: Fri, 30 Oct 2026 07:11:41 +0800 Subject: [PATCH] =?UTF-8?q?iter44-=E5=8D=A13=EF=BC=9A=E5=8D=A1=E2=91=A2(?= =?UTF-8?q?=E6=B5=8B=E9=80=9F=E5=BE=AA=E7=8E=AF=E6=89=B9v1.1):=20=E6=AD=A5?= =?UTF-8?q?=E8=BF=9B=E7=8A=B6=E6=80=81=E6=9C=BA=E6=94=B9=E9=80=A0(?= =?UTF-8?q?=E5=BE=AA=E7=8E=AF=E5=86=85await=E6=B6=88=E9=99=A4=C2=B7?= =?UTF-8?q?=E6=94=B6=E5=B0=BE=E5=9B=9B=E8=AF=AD=E5=8F=A5=E5=90=8C=E5=B8=A7?= =?UTF-8?q?=E5=90=8C=E7=9B=B8=E4=BD=8D=E8=BF=81=E5=85=A5=C2=B7=5Frun=5Fone?= =?UTF-8?q?=5Flevel=E9=9B=B6=E8=A7=A6=E7=A2=B0)+=E5=8F=8C=E5=AE=9E?= =?UTF-8?q?=E7=8E=B0=E5=AF=B9=E6=8B=8D=E5=A5=97=E4=BB=B6(=E4=BA=94?= =?UTF-8?q?=E9=9D=A2=C2=B7n=3D3+n=3D0)=C2=B7wd8=E4=B8=8E=E6=8E=A2=E9=92=88?= =?UTF-8?q?=E9=9B=B6=E6=94=B9=E5=8A=A8=E4=BF=9D=E6=8C=81=E7=BB=BF=C2=B7?= =?UTF-8?q?=E8=A3=B8=E9=94=AE=E4=BB=8Egdstyle=E5=91=BD=E4=B8=AD=E6=B6=88?= =?UTF-8?q?=E5=A4=B1=C2=B7=E5=90=ABS9=E5=8F=82=E6=95=B0=E5=8C=96=E4=BF=AE?= =?UTF-8?q?=E5=A4=8D=C2=B7=E5=B9=B6master=C2=B7=E4=B8=89=E5=8D=A1=E4=BA=A7?= =?UTF-8?q?=E5=87=BA=E7=89=A9(=E5=AE=9E=E7=8E=B0=E6=8A=A5=E5=91=8A/?= =?UTF-8?q?=E5=8F=8D=E5=93=BA=E7=82=B9/=E9=AA=8C=E6=94=B6=E5=AE=A1?= =?UTF-8?q?=E8=AE=A1=E9=80=9A=E8=BF=87)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- design/art/art-assets-checklist.md | 2 +- design/art/art-prompts.md | 6 +- design/art/remote-gen-prompts.md | 2 +- .../engineering/architecture/architecture.md | 4 +- design/engineering/process-conventions.md | 2 +- design/engineering/test-conventions.md | 2 +- game/presentation/tune_sim_controller.gd | 50 +++- game/probe/ui_input_probe.gd | 4 +- game/tests/.gates/baseline.json | 10 +- game/tests/README.md | 4 +- game/tests/run_all.gd | 1 + .../unit/core/meta_progression_forge_test.gd | 6 +- game/tests/unit/core/run_time_fatal_test.gd | 2 +- .../tune_sim_batch_parity_test.gd | 245 ++++++++++++++++++ reports/iter44-反哺点-2026-10-30.md | 26 ++ reports/iter44-实现报告-2026-10-30.md | 118 +++++++++ reports/iter44-验收审计-2026-10-30.md | 99 +++++++ reports/需求卡片-测速循环批-2026-10-29.md | 94 +++---- tools/render_gate.sh | 16 ++ tools/run_all_gates.sh | 21 +- 待办清单.md | 78 +++--- 21 files changed, 655 insertions(+), 137 deletions(-) create mode 100644 game/tests/unit/presentation/tune_sim_batch_parity_test.gd create mode 100644 reports/iter44-反哺点-2026-10-30.md create mode 100644 reports/iter44-实现报告-2026-10-30.md create mode 100644 reports/iter44-验收审计-2026-10-30.md diff --git a/design/art/art-assets-checklist.md b/design/art/art-assets-checklist.md index b6a3e98f..2aac8c7f 100644 --- a/design/art/art-assets-checklist.md +++ b/design/art/art-assets-checklist.md @@ -131,7 +131,7 @@ ### 3.5 营地场景图 - **要什么**：营地场景图 9 张——`scene_camp_bg`（背景）＋ `scene_camp_gate / forge / chest / notebook / dummy / board / campfire`（七个可点物件）＋ `scene_camp_tent`（承载件）。钥石顶栏图标沿用现役 `icon_keystone`。 -- **来源/规格**：**✦ 插画级**（作者自跑远程生图管线）；烛光黄 `#F6C667` + 木色 `#8A5A34`（art-bible §6.2）；2× 源档出图、最近邻降采样到 1280×800；后处理＝抠底／降采样／色板量化／描边统一。**每张出图须登记模型名＋分辨率＋seed＋对话/日期**。 +- **来源/规格**：**✦ 插画级**（作者自跑远程生图管线）；烛光黄 `#F6C667` + 木色 `#8A5A34`（art-bible §6.2）；2× 源档出图、最近邻降采样到 1280×800；后处理＝抠底／降采样／色板量化／描边统一。**出图登记照 [remote-gen-prompts](remote-gen-prompts.md) 头注轻量口径执行：用途＋生成时间必注，其余参数有则记。** - **排期**：营地交互重做**美术自立批**（不占迭代位；UI 贴图重构批已搁置）。终稿落 `game/assets/art/scene/`，消费常量 `UiKit.TEX_CAMP_*`。 - **现状**：全占位。 diff --git a/design/art/art-prompts.md b/design/art/art-prompts.md index 76348109..ca2d2c3e 100644 --- a/design/art/art-prompts.md +++ b/design/art/art-prompts.md @@ -1,4 +1,4 @@ -# 生图提示词卡(角色级资产)v2.10 +# 生图提示词卡(角色级资产)v2.11 > **性质**:美术清单生图通道(✦ 用户自跑,现走线上 API)的执行侧文件——每资产一段**自包含完整提示词**:正向 = 通用底座+主体+动作已拼妥、负向 = 通用底座+增补已并妥,整段复制直接贴进工作流即可,**不需要读其他文件、不需要拼装**。人物规格转写自 [character-design.md](character-design.md)(人物设计 v1.0,自 art-bible §5 迁出,圣经 §5 为存根),风格/色彩条款转写自 [art-bible](art-bible.md)(§4.1 主色板 / §4.2 语义色规则);冲突时人物规格以 character-design 为准、色彩以 art-bible 为准。 > **边界**：本文件只管**角色级**资产的生图通道。图标/格面/样张走脚本管线（⚙ 代理出），规格在 art-bible §4.6 与 [art-assets-checklist](art-assets-checklist.md)，不需要提示词。**场景级资产（营地场景图的背景层与八个物件层）另立 [camp-scene-prompts](camp-scene-prompts.md)，本文件不覆盖**；两卡的角色/场景分工以「谁的资产谁出卡」为界，同一段提示词不两处维护。战斗舞台的场景级两件与护甲类型图标三枚的**出图工单**登记在本文件 §5（camp-scene-prompts 只管营地场景图，战斗屏这两类无处可落）；§5 只把各权威节的定值收进逐件工单，不立新值。意图动画三档是动画资产，等一屏样张锁方案后另立规格卡，本文件不覆盖。 @@ -289,7 +289,7 @@ Seamless tileable pixel art texture of dry dirt ground, top-down, for a dungeon > **范围注**:本文件原定位角色级(见文件头边界句),§4bis 已有「地形类同库登记」的先例,本节循同一先例补登记战斗屏两类——战斗舞台的场景级两件(① ②)与护甲类型图标三枚(③),两组在营地卡与清单里都无处落工单;角色级立绘重产(④)是本文件的本职。四组的规格定值清单 §4 已有登记,本节补的是「逐件照着就能出件」那一层。 > **定值纪律(§8 头注 定值单点纪律)**:本节**指路不立值**——色值 = 圣经 §4.1(含场景环境子板)、尺寸与缩放 = §8.2、明度带 = §2、甲档 = character-design §5.3、命名 = §8.3 + asset-path-map。本节新增零定值;凡圣经未定的值,一律进本节 §5.5 缺口,不在本节填空。 > **验收标注纪律**:逐条按三档标 `←机检: <断言>` / `←目检: <判据>` / `←方向性`,照圣经头注 2026-10-06 用户拍板的写法。 -> **流程**:出图前后一律走 §0 五步;出图登记义务(模型名 + 分辨率 + seed + 对话/日期)照 remote-gen-prompts 头注,随候选图存 `artwork/candidates/<资产名>/`,缺登记的候选不入正稿遴选。 +> **流程**:出图前后一律走 §0 五步;出图登记义务照 remote-gen-prompts 头注轻量口径(用途＋生成时间必注,其余参数有则记),随候选图存 `artwork/candidates/<资产名>/`;登记不作正稿遴选前置。 > **产出状态**:组二地台件与组三护甲三枚已按各节 ⑤「程序化产出即终稿」产出入包(`scene_stage_plaza.png` 48×12、`ui_armor_light/ward/heavy.png` 24×24,路径见各组 ① 字段;登记=战斗一屏样张批,合并提交 3b66d1a6);组一背景插画与组四立绘重产仍待出图。 ### 5.1 组一 · B 区舞台背景插画(1 件) @@ -445,7 +445,7 @@ Do not add any of the following: realistic, photorealistic or 3D rendering; pain 1. 出件顺序 = 先主角、再三 Boss(Alpha 范围 = 主角 + 三 Boss 重产,其余敌种当前可读则保留到 Beta)。 2. **源密度判据 = 三判据②**:显示 96–188px 下脸、铲、旗、物种可认——照这条反推源档即可,逐键定档已完成(§8.2),本批不必再猜档位。 3. 手绘起稿顺序 = 剪影(§5.1 archetype)→ 体块主色 → 暗部与受光 → 描边 → 落影底盘。 -4. 逐件 2–3 版候选;登记义务项 = 手绘者 / 日期 / 源档尺寸(手绘件无模型名与 seed,按此三项替换 §0 的登记项),随候选图存 `artwork/candidates/<资产名>/`。 +4. 逐件 2–3 版候选;登记照 remote-gen-prompts 头注轻量口径(用途＋生成时间必注,手绘作者有则记),随候选图存 `artwork/candidates/<资产名>/`。 5. 候选评审 = 并排横评,**隐去文件名与来源后按三判据逐条判读**(§0 五步第 1 步「便于横评」的手绘侧落法),不靠记忆与印象拍板。 6. 出件 = 透明 PNG(Alpha 直出,禁先出白底图再抠);入包前过 §8.3 色板检查器(报新增色 / 近色告警 / 超 48 上限拦截)。 diff --git a/design/art/remote-gen-prompts.md b/design/art/remote-gen-prompts.md index 29ed0880..394440d0 100644 --- a/design/art/remote-gen-prompts.md +++ b/design/art/remote-gen-prompts.md @@ -2,7 +2,7 @@ > **渠道定位**:生图渠道 = **远程对话式生图为主,本地 ComfyUI 为备选**;本文件是**对话操作单**(怎么开对话/贴什么参考图/怎么续写),提示词正文词库归 [art-prompts](art-prompts.md)——分工:词库改词库、操作单改流程,同一段正文不双处维护。 > **冲突优先级**:画法与色彩以 [art-bible](art-bible.md) 为准,人物规格以 [character-design](character-design.md) 为准;本单为执行侧操作单,不另立规格。 -> **出图登记义务(复现性)**:每张产出登记 **模型名 + 分辨率 + seed(可取则取)+ 对话/日期**,随候选原图同存 `artwork/candidates/<资产名>/`;缺登记的候选不入正稿遴选。 +> **出图登记义务(出处备查)**:每张产出随图注明 **用途**(备选/参考/其他什么用)与 **生成时间**(YYYY-MM-DD HH:MM 格式),随候选原图同存 `artwork/candidates/<资产名>/`;模型名、seed、分辨率等参数有则随手记、无则不填,分辨率这类文件属性里自带的值不必抄。登记不作正稿遴选前置——缺注明不落选,遴选时问清用途即可。 > 开新对话出图:同一角色 2–3 版候选各开新对话(同对话续写=修图);同角色换姿势在同对话续写。分辨率开大档;候选原图存 `artwork/candidates/<资产名>/`。 ## 1. 主角战斗立绘 diff --git a/design/engineering/architecture/architecture.md b/design/engineering/architecture/architecture.md index a169a01a..fd60bb59 100644 --- a/design/engineering/architecture/architecture.md +++ b/design/engineering/architecture/architecture.md @@ -238,7 +238,7 @@ | **run_system_test**（系统测试运行器） | `tools/run_system_test.py` | 系统测试总入口：headless 跑真实玩法路径断言面（宿主=`res://tests/system_test.gd`）+ 三闸判定（口径同 run_smoke，摘要行兼容两种宿主格式） | 进程退出码（0=PASS / 1=FAIL） | 三闸齐备（同 run_smoke：退出码／摘要失败数／脚本错误扫描；wall-clock 超时在位） | | **run_all**（单元与集成测试） | `game/tests/run_all.gd` | 64 套统一入口（61 单元＋3 集成，2026-10-28 实数）：套件 manifest 逐条「套件 → 期望退出码」，致命类 expect=1 独立子进程实跑；`negative` 字段标负面套件（仅豁免错误扫描一闸）；选跑态 `--only=<词[,词…]>`（直跑形态对套件路径子串匹配只跑命中套件，零命中＝用法错 quit(2)，仅供开发期最窄确认——不产闸回执、不作验收凭据，批末全量闸不经选跑分支） | 逐套件结果 + 汇总退出码（任一套件失败 quit(1)） | 套件级退出码协议在位；三硬闸齐备（入口内扫子套件输出 + 编排层扫 `unit.log`；`Kit.finish` 零断言返回专用码 2）。子进程输出须经系统命令解释器重定向落盘再读——`OS.execute` 的输出管道在本机恒空 | | **probe_gate**（场景探针） | `tools/probe_gate.sh` | headless 场景探针段编排：默认段 ui_input_probe / ui_struct_probe / layout_probe / ui_contrast_probe / **screen_flow_probe**（屏壳切换），`--click` 加跑 ui_click_probe，`--full` 加跑 ui_probe / ui_tune_probe / t17_defer_probe / fx_probe；孤儿 Godot 预清 + 批末残留清点（必须 0） | 段级 FAIL 输出 + 汇总退出码 | 每段 timeout 守卫在位（挂死 124/137 = FAIL，不静默）；判定统一走 `verdict` 函数——退出码为唯一权威判据，PASS 串降级为附加判据，逐段跑 `tools/error_scan.py` | -| **render_gate**（视觉 golden） | `tools/render_gate.sh` | 窗口化渲染闸：①shot_probe 七屏截图 → shot_checker A-D 语义断言；②fx_shot_probe / board_shot_probe 取证（超时/零字节/文件缺失任一 = FAIL）；③棋盘 golden 逐像素容差比对（差 ≤16 / changed ≤2%，provisional）+ 菜单 golden；④批末孤儿残留清零 | 段级 FAIL 输出 + 汇总退出码 | 查退出码在位（每段 timeout 守卫 + 退出码/取证文件双检）；**SCRIPT ERROR 扫描缺失**；断言数下限不适用（判定主体 = golden 容差与取证文件存在性，非断言计数） | +| **render_gate**（视觉 golden） | `tools/render_gate.sh` | 窗口化渲染闸：①shot_probe 七屏截图 → shot_checker A-D 语义断言；②fx_shot_probe / board_shot_probe 取证（超时/零字节/文件缺失任一 = FAIL）；③棋盘 golden 逐像素容差比对（差 ≤16 / changed ≤2%，provisional）+ 菜单 golden；④批末孤儿残留清零；⑤三段探针日志逐段脚本错误扫描 | 段级 FAIL 输出 + 汇总退出码 | 查退出码在位（每段 timeout 守卫 + 退出码/取证文件双检）；SCRIPT ERROR 扫描在位（逐段 `tools/error_scan.py`，标记与 run_smoke 同源）；断言数下限不适用（判定主体 = golden 容差与取证文件存在性，非断言计数） | | **static_scan**（静态扫描域） | `game/tests/static_scan.sh` | 静态扫描域 S1–S10 可执行载体（grep 规则 + `tools/audit_type_hints.py`〔S9〕+ `tools/audit_file_headers.py`〔S10〕） | fail 聚合退出码（任一硬失败规则命中即 exit 1） | 查退出码在位；SCRIPT ERROR 扫描与断言数下限不适用（逐规则命中即红，无运行时错误面与断言计数）；S3 现为 warning 级、不参与 fail 判定（见下表） | ### 改动域划分（2026-10-17 用户裁「代码批只跑代码闸、文档批只跑文档闸」） @@ -267,7 +267,7 @@ | 硬闸 | run_smoke | run_system_test | run_all | probe_gate | render_gate | static_scan | |---|---|---|---|---|---|---| | **退出码优先** | 已落实（闸①） | 已落实（闸①，口径同 run_smoke） | 已落实（套件 manifest expect 协议） | 已落实（`verdict` 函数逐段判退出码，PASS 串不作判据） | 已落实（段级退出码 + 取证双检） | 已落实（fail 聚合退出） | -| **SCRIPT ERROR 扫描** | 已落实（闸③，外部扫描——GDScript 无脚本错误陷阱 API，闸设在外部包装） | 已落实（闸③，标记清单与 run_smoke 同源） | 已落实（入口内扫子套件输出；子进程的 stdout/stderr 须先落盘——`OS.execute` 管道在本机恒空） | 已落实（逐探针段 `tools/error_scan.py`，标记与 run_smoke 同源） | **缺失**（本批未收——判定主体是 golden 容差与取证存在性；登记待办清单） | 不适用（静态域无运行时错误面） | +| **SCRIPT ERROR 扫描** | 已落实（闸③，外部扫描——GDScript 无脚本错误陷阱 API，闸设在外部包装） | 已落实（闸③，标记清单与 run_smoke 同源） | 已落实（入口内扫子套件输出；子进程的 stdout/stderr 须先落盘——`OS.execute` 管道在本机恒空） | 已落实（逐探针段 `tools/error_scan.py`，标记与 run_smoke 同源） | 已落实（三段探针日志逐段 `tools/error_scan.py`，标记与 run_smoke 同源） | 不适用（静态域无运行时错误面） | | **断言数下限** | 无独立下限（闸②摘要行必须在案，防「跑一半仍 PASS」；脚本错误吞断言路径由闸③兜住） | 同 run_smoke（过渡期宿主摘要行必须在案） | 已落实（`Kit.finish` 零断言返回专用退出码 2——与「断言失败=1」区分，防致命类套件的 expect 协议放过） | 已落实（退出码 0 但无该探针签名标记亦判红——防静默退出） | 不适用（golden 容差 + 取证存在性判定） | 不适用（逐规则命中判定；另有扫描面为空即判红的零命中自检） | 背景事实（run_smoke 头注在案）：GDScript 运行时脚本错误不改进程退出码、不计入冒烟失败数、且静默中断所在函数剩余断言——2026-09-19 状态记录 83 实证「309 项 0 失败」实为断言未跑全。这是 SCRIPT ERROR 扫描必须存在于判定层的原因。 diff --git a/design/engineering/process-conventions.md b/design/engineering/process-conventions.md index 727fc342..04273dd3 100644 --- a/design/engineering/process-conventions.md +++ b/design/engineering/process-conventions.md @@ -48,7 +48,7 @@ 7. **验收改动先行声明**——验收变化（基线换代/探针增改/旧断言改判）预先写进需求卡片，禁事后补 **完成** -8. **批末按域验收才合并（worktree 批；直改车道无批末动作，验收在 commit 点由 git 钩子执行，见 §1 第 3 条）**——在任务 worktree 内跑 `tools/run_all_gates.sh`，**按本批改动域选档**：按文件性质判——代码面＝`game/` 下非 `.md` 的行为载体（代码、测试脚本、探针、场景、数据表、素材）→ `--code`；文档件＝`game/` 内 `.md`（README、生成清单）与 `game/` 外一切路径（`design/`、根规则文件、`tools/` 工具脚本、`.zcode/` 配置等）→ `--docs`；两类同批都有 → 全量档不带参数。代码域按**关联档选测**（2026-10-29 用户裁）：02 单元与集成只跑「需求卡片申报 ∪ diff 推导」并集的套件——申报＝在册需求卡片对照表「验收测试」列提到的测试文件名，推导＝闸脚本内套件族映射表按改动文件归族；改动命中公共件/数据表/autoload/数值·存档·RNG·结算触面或映射不到 → 横切回落全部套件；00 冒烟／01 系统测试／09 静态扫描三件保险恒跑不降；03/04 探针与 05 渲染闸维持影响面口径（本批 game/ 改动全在测量面 game/tests、game/sim 时记 SKIP）。所选域全绿即可合回 master，全量回归由用户自发发起（合入后无自动兜底）。合回前独立验收审计通过（iter 技能第 5 步），未过不合回。该脚本是全部验证闸的**唯一入口、唯一清单与唯一域划分（含选闸算法与套件族映射表）**，闸件增减、分域调整都只改它；**本文与其他文档禁另列闸件清单**（清单散落多处正是 iter27 漏跑 `probe_gate --full` 的成因）。跑完写回执 `game/tests/.gates/receipt.json`（含 `domain`、`scope`（full｜related，02 跑子集＝related）与 `dirty_game` 字段），合回时由 worktree-guard 按 diff 文件性质推域强制校验（六况拦截：缺回执／quick 模式／回执未覆盖分支尖＝回执 commit 之后代码面又有改动、或跑闸时代码面带着未提交改动（`dirty_game`）／域不覆盖本次改动／含新增红／master HEAD 非回执 commit 祖先＝合并将产出未测内容；guard 只验域覆盖与全绿，不复核选套件清单）。回执与分支尖的对齐判据是**代码面**不是 commit 号：回执之后只追加文档件（`game/` 内 `.md`、`reports/`、`design/` 等）提交，回执照样有效，不构成复跑理由。闸件（`tools/` 下机检脚本与闸壳）自身的改动不占合回全量——其质量义务＝落批时人工确认闸可跑通且判据口径未变，闸真崩溃时合回闸 fail-closed（跑不出回执即拦），不以合回全量为兜底 +8. **批末按域验收才合并（worktree 批；直改车道无批末动作，验收在 commit 点由 git 钩子执行，见 §1 第 3 条）**——在任务 worktree 内跑 `tools/run_all_gates.sh`，**按本批改动域选档**：按文件性质判——代码面＝`game/` 下非 `.md` 的行为载体（代码、测试脚本、探针、场景、数据表、素材）→ `--code`；文档件＝`game/` 内 `.md`（README、生成清单）与 `game/` 外一切路径（`design/`、根规则文件、`tools/` 工具脚本、`.zcode/` 配置等）→ `--docs`；两类同批都有 → 全量档不带参数。代码域按**关联档选测**（2026-10-29 用户裁）：02 单元与集成只跑「需求卡片申报 ∪ diff 推导」并集的套件——申报＝在册需求卡片对照表「验收测试」列提到的测试文件名，推导＝闸脚本内套件族映射表按改动文件归族；改动命中公共件/数据表/autoload/数值·存档·RNG·结算触面或映射不到 → 横切回落全部套件；00 冒烟／01 系统测试／09 静态扫描三件保险恒跑不降；03 场景探针与 05 渲染闸维持影响面口径（本批 game/ 改动全在测量面 game/tests、game/sim 时记 SKIP）。所选域全绿即可合回 master，全量回归由用户自发发起（合入后无自动兜底）。合回前独立验收审计通过（iter 技能第 5 步），未过不合回。该脚本是全部验证闸的**唯一入口、唯一清单与唯一域划分（含选闸算法与套件族映射表）**，闸件增减、分域调整都只改它；**本文与其他文档禁另列闸件清单**（清单散落多处正是 iter27 漏跑 `probe_gate --full` 的成因）。跑完写回执 `game/tests/.gates/receipt.json`（含 `domain`、`scope`（full｜related，02 跑子集＝related）与 `dirty_game` 字段），合回时由 worktree-guard 按 diff 文件性质推域强制校验（六况拦截：缺回执／quick 模式／回执未覆盖分支尖＝回执 commit 之后代码面又有改动、或跑闸时代码面带着未提交改动（`dirty_game`）／域不覆盖本次改动／含新增红／master HEAD 非回执 commit 祖先＝合并将产出未测内容；guard 只验域覆盖与全绿，不复核选套件清单）。回执与分支尖的对齐判据是**代码面**不是 commit 号：回执之后只追加文档件（`game/` 内 `.md`、`reports/`、`design/` 等）提交，回执照样有效，不构成复跑理由。闸件（`tools/` 下机检脚本与闸壳）自身的改动不占合回全量——其质量义务＝落批时人工确认闸可跑通且判据口径未变，闸真崩溃时合回闸 fail-closed（跑不出回执即拦），不以合回全量为兜底 9. **合并后主区零复跑**（2026-10-24 用户裁：合回重跑验的是与回执同一份字节，零信息）——合回落地后 code 批只做两件秒级事：`--editor --quit` 重刷类名缓存（在册坑：.godot 缓存不入 git，与合并后代码失配会假红假绿）＋冒烟启动确认可开机（合计约 1 分钟）；docs 批零动作。全量验证**每批跑一次**＝worktree 批末按域闸，顺序是「先并入 master、再跑闸」（§1 第 2 条）；只有两种情形允许把这次跑作废重来——① 闸红且修法动了 `game/`，② 闸已开跑后 master 又被推进（合并将产出未测内容，由合回闸祖先判定拦下，§3.9 第六况）。「跑都跑了再跑一遍保险」「闸后顺手改点 `game/` 再补一跑」都不构成复跑理由；master 上永不跑全量 10. **批次完成后的登记义务**——合回 master 后按 doc-conventions §12.1 推进待办清单条目状态（做完整条删除），涉及迭代编排的在 roadmap 迭代总表与顶部「当前位」节换代——执行入口=项目技能 batch-closure（批后收尾与中间文档退役），跨会话教训写记忆库。批次过程与结论由 git 提交信息承载，禁止再写会话状态文件（见 doc-conventions 第 10 节）。`design/` 与根规则文件（`AGENTS.md`/`roadmap.md`/`待办清单.md`/`体验验证清单.md`）实现批禁写，见 §12 11. **文档同步闸（实现批禁写文档）**——实现批**禁写 `design/` 整个目录与根规则文件**，**另禁写 `game/tests/README.md`（能力清单，归写卡段维护，test-conventions §8.9）**，要往外交代的东西一律落 `reports/`：实现报告 `reports/iter-实现报告-<日期>.md`（各卡状态+实机目检总清单+遗留读数义务+实现决定记录——超白名单／超卡片明列范围事项逐条记「决了什么／为什么／代价／撤销方式」，全部按卡执行时只写一行「零拍板」）、GDD 反哺点清单 `reports/iter-反哺点-<日期>.md`（每条写清哪个文件哪一节、改成什么、依据是什么）。设计权威文档（GDD/art-bible）**任何批都不直改**：用户在会话中逐点裁决后，由工程/文档设计改动批（直改类）写入 `design/`（执行入口=doc-design 技能），并把反哺条目从 `reports/` 清掉（吸收即死；退役执行=batch-closure 技能）。机械面文档（roadmap 行/术语表/README 工具注）同样归工程/文档设计改动批在合并前更新。反哺点未落地期间相关 GDD 节视为待反哺，读前先查 `reports/` 与待办清单；需求卡片必列「关联文档同步面」按两层标注 diff --git a/design/engineering/test-conventions.md b/design/engineering/test-conventions.md index c89d61a8..f82fde02 100644 --- a/design/engineering/test-conventions.md +++ b/design/engineering/test-conventions.md @@ -67,7 +67,7 @@ - 「跑一遍没崩＝通过」无效：测试绿只证明**当前代码没犯这个错**，不证明**犯了这个错会被抓住**；断言存在不等于断言执行。 - **脚本错误会静默中断所在函数的剩余断言，而套件仍报全绿**（机制事实）：GDScript 无脚本错误陷阱 API，错误不改进程退出码、不计失败数。三处实证：①2026-09-19「309 项 0 失败」实为断言未跑全（状态记录 83）；②敌人表行集纪律 10 条断言因定型数组赋值错误从未执行（迭代 29 修复后两条正向见红＝夹具本缺锚行）；③`Callable` 形参类型写错致解析函数返回 null、后续断言整段蒸发。 - 由此产生两条义务：**写闸件**按 §6 配三硬闸；**写验收函数**必须自证断言全数执行——真实入口断言在当轮执行并通过（§8.4）为主证，零命中自检（扫描面为空即判红）为辅证。 -- **覆盖率不是目标**：行覆盖率度量缺失（Godot 无内建，第三方属新基建，是否引入待办清单在册待裁）；现行补洞=零指名单测清单+人工判定，判定可靠性靠上列自证手段，不靠覆盖率数字。 +- **覆盖率不是目标**：不引入行覆盖率度量（Godot 无内建，第三方属新基建）；现行补洞=能力清单覆盖域表+人工判定，判定可靠性靠上列自证手段，不靠覆盖率数字。 ## 8. 改动级验收闭合（2026-10-21 立） diff --git a/game/presentation/tune_sim_controller.gd b/game/presentation/tune_sim_controller.gd index db2c5601..8a6695b3 100644 --- a/game/presentation/tune_sim_controller.gd +++ b/game/presentation/tune_sim_controller.gd @@ -2,16 +2,28 @@ ## 调整板批量模拟控制器：逐次驱动关卡自动策略（与 headless 扫描同口径），进度/报告经面板 setter 注入。 ## 零核心写——表基线复位由组合根在移交前完成，加成施加只走自动策略内部 runner.set_hero_override 单路径。 ## presentation 不 preload smoke：驱动实例由调用方注入（须供与 level_autoplay 同款 run_level 签名），缺省 null=运行时 load 兜底。 +## 逐帧步进：每局恰占一帧——第 0 局在调用点同步段执行，第 i 局（i≥1）在第 i 帧信号发射点执行，收尾恒在第 n 帧发射点； +## n=0 退化路径为调用点同步收尾零帧。 +## _batch_finished 信号契约：整批收尾放行——发射时点=报告注入与运行态复位之后；消费方=run() 自身收尾放行， +## 外部 await run(n) 经此挂起至整批完成（协程身份契约）。 extends RefCounted const SEED_BASE := 4200 # 模拟种子基（与历史实现同源——同种子可回放） const PlaytestLogger := preload("res://presentation/playtest_logger.gd") # 试玩日志（同层依赖——运行时 load 收敛为 preload 常量） +signal _batch_finished + var db var panel # 调试浮窗 setter 面：atk_pct/hp_pct/set_sim_running/set_sim_progress/set_sim_report var _base_hp := 0 # 报告中的"基础 HP"口径注记值 var _driver = null # 关卡自动策略驱动（调用方注入；null = 旧行为运行时 load 兜底） var _running := false # 运行态（run 全程 true——组合根互查守卫用，与面板置灰解耦） +var _sim_n := 0 # 本批局数（run 期活成员——批末失效、下次 run 重写） +var _sim_i := 0 # 已执行局数（步进计数） +var _sim_stats: Dictionary[Variant, Variant] = {} # stats 六键束（run 期承载） +var _sim_autoplay = null # 自动策略驱动实例（run 期承载） +var _sim_logger = null # 共享 JSONL 日志会话（run 期承载） +var _finished := false # 批完成旗标（_finish_batch 置位——收尾段同步承载） func _init(db_ref, panel_ref, base_hp: int, driver = null) -> void: @@ -44,12 +56,38 @@ func run(n: int) -> void: panel.set_sim_progress("模拟中：0/%d …" % n) var stats := {"wins": 0, "dmg_all": [], "hp_left_win": [], "hp_boss": [], "rounds_all": [], "death_nodes": {}} var autoplay = _autoplay() - for i in range(n): - _run_one_level(autoplay, stats, i, panel, logger) - panel.set_sim_progress("模拟中：%d/%d …" % [i + 1, n]) - await panel.get_tree().process_frame - logger.close_session() - panel.set_sim_report(HudPresenter.tune_sim_report(n, panel.atk_pct(), panel.hp_pct(), stats, _base_hp)) + _sim_n = n + _sim_i = 0 + _sim_stats = stats + _sim_autoplay = autoplay + _sim_logger = logger + _finished = false + if n > 0: + if not panel.get_tree().process_frame.is_connected(_step_frame): + panel.get_tree().process_frame.connect(_step_frame) # 恰好连接一次（迭代 39 先例同款守卫） + _step_frame() # 首步同步执行（第 0 局在调用栈内跑完——与 await 形态对齐） + await _batch_finished + else: + _finish_batch() # n=0：循环零进同步收尾，不挂起（与 await 形态一致零帧） + + +# 逐帧步进回调：i void: + if _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]) + _sim_i += 1 + else: + panel.get_tree().process_frame.disconnect(_step_frame) # 先断连防再入 + _finish_batch() + _batch_finished.emit() + + +# 整批收尾单点（收尾四语句同帧同相位：close_session→报告→运行态复位——次序与 run() 尾现行形态逐句对齐） +func _finish_batch() -> void: + _finished = true + _sim_logger.close_session() + panel.set_sim_report(HudPresenter.tune_sim_report(_sim_n, panel.atk_pct(), panel.hp_pct(), _sim_stats, _base_hp)) panel.set_sim_running(false) _running = false diff --git a/game/probe/ui_input_probe.gd b/game/probe/ui_input_probe.gd index 71b55f77..fddfb61a 100644 --- a/game/probe/ui_input_probe.gd +++ b/game/probe/ui_input_probe.gd @@ -479,13 +479,13 @@ func _ready() -> void: var p_lantern: Dictionary = main.build_adventure_params(main.save_manager, main.meta) if not (p_lantern.get("attunement", []) as Array).has("wide_scout_band"): _problems.append("case⑮ 装配未进开局参数面（attunement=%s 应含 wide_scout_band）" % str(p_lantern.get("attunement", []))) - main.run_scope.settlement.attunement = ["wide_scout_band"] + main.run_scope.settlement._facts.attunement = ["wide_scout_band"] main._sync_treasure_glow() if int(bv.fog_params_probe()["lantern"]) != 4: _problems.append("case⑮ 装配后视野未扩（lantern 应=4——呈现桥未生效）") if int(bv.cells_probe()[ring_cell].fog_state) != 0: _problems.append("case⑮ 装配后 dist==R+1 格仍被遮（应转可见）") - main.run_scope.settlement.attunement = [] + main.run_scope.settlement._facts.attunement = [] main._sync_treasure_glow() if int(bv.fog_params_probe()["lantern"]) != 0: _problems.append("case⑮ 卸装后视野未复原（lantern 应=0——契约复原语义显式重算）") diff --git a/game/tests/.gates/baseline.json b/game/tests/.gates/baseline.json index fc904fe3..95e64f41 100644 --- a/game/tests/.gates/baseline.json +++ b/game/tests/.gates/baseline.json @@ -13,13 +13,9 @@ "exit": "1", "fp": "f9865f1a5a44" }, - "03 探针 --click": { - "exit": "1", - "fp": "8a3cae0d0446" - }, - "04 探针 --full": { - "exit": "1", - "fp": "591b27250b36" + "03 场景探针": { + "exit": "0", + "fp": "green" }, "05 渲染闸": { "exit": "1", diff --git a/game/tests/README.md b/game/tests/README.md index 574f7ee5..0fc9073e 100644 --- a/game/tests/README.md +++ b/game/tests/README.md @@ -33,7 +33,7 @@ tests/ | **单元测试** | 领域类的原子行为对不对（公式/状态机/纯逻辑）——从对外方法进、断言钉对外可观测面（写法判据见 test-conventions §8.2） | `tests/unit/` | `run_all.gd` manifest（闸 02） | | **集成测试** | 跨系统的闭环对不对 | `tests/integration/` | 同上（与单元测试同一入口、同一协议） | | **系统测试** | 启动真实工程走真实玩法路径 | 过渡期 `game/probe/smoke_all.gd`（断言迁移批后＝`tests/system_test.gd`） | `run_system_test.py`（闸 01） | -| **UI 探针＋渲染 golden** | 跑起来之后 UI 与场景切换对不对；画面基线 | `game/probe/*.tscn` 探针 | `probe_gate.sh`（闸 03/04）、`render_gate.sh`（闸 05） | +| **UI 探针＋渲染 golden** | 跑起来之后 UI 与场景切换对不对；画面基线 | `game/probe/*.tscn` 探针 | `probe_gate.sh`（闸 03）、`render_gate.sh`（闸 05） | > **integration/ 已建承载**（迭代 29 T3——此前只有章程句无实体，空壳曾于迭代 19 卡① T4 删过一次）。 > 首个集成用例 = `save_rng_roundtrip_test.gd`（存档⇄RNG 快照往返）。章程登记的四类集成用例里， @@ -194,7 +194,7 @@ tests/ | `tools/run_system_test.py`（系统测试） | 真实玩法路径的行为断言面（推理→战斗→结算→进度推进） | 退出码＋脚本错误扫描 | 玩法链路改动的调试期确认 | | `tests/run_all.gd`（单元与集成） | 公式／状态机／契约／跨系统闭环（65 套件 manifest） | 退出码＋三硬闸（见下）；每套件子进程带截止时间守护——超时先 taskkill /T 整树回收再判该套件 FAIL、批继续（默认 120s，环境变量 `RUN_ALL_SUITE_TIMEOUT_SEC` 可覆盖）；连续 3 个套件超时＝红树整批挂死，第 3 个即中止整轮、汇总已见失败与超时清单后非 0 退出（阈值＝可调常量，不连续的超时照旧逐个回收） | 新套件单跑调试；逻辑改动的最小单元复跑；开发期选跑——追加 `-- --only=<词[,词…]>` 只跑路径命中词的套件（零命中＝用法错 exit 2；此形态仅供开发期最窄确认，不产闸回执、不作验收凭据）；闸机关联档选跑——同一过滤机制加 `-- --only-source=gates`，由 `tools/run_all_gates.sh` 在 02 闸传入（回执 scope=related，是验收跑批本体） | | `tools/probe_gate.sh`（场景探针，`--click`／`--full` 两模式） | UI 可达性、可见性、状态——真实实例化场景＋真实输入路径 | 探针自检＋退出码 | 新增 UI 区域的配套探针直跑与断言复核 | -| `tools/render_gate.sh`（渲染 golden） | 画面基线——截图与基线图逐像素容差比对 | golden 比对脚本（依赖 PIL） | 主题／素材／排版类改动；窗口化运行，需开显示器 | +| `tools/render_gate.sh`（渲染 golden） | 画面基线——截图与基线图逐像素容差比对 | golden 比对脚本（依赖 PIL）＋退出码／取证双检／三段探针日志脚本错误扫描（`error_scan.py`） | 主题／素材／排版类改动；窗口化运行，需开显示器 | | `game/tests/static_scan.sh`（S 域） | 项目纪律＋第三方质量规则：RNG 单点／core 纯度／类型标注／文件头／注释禁词／旧符号残留；S13＝gdstyle 质量规则（重复 load、循环内 await、循环内分配、不可达代码等真缺陷类；基线键＝文件|规则|函数名（类/文件级＝文件|规则，无数字条目带消息），数字漂移不假红，同键指标恶化超基线登记值即红） | 退出码（逐规则 FAIL 行） | 改产品码前后的快速自检；新增纪律先补扫描规则再修码 | | 测量件（`game/sim/`，逐件见下「游离脚本台账」） | 期望／分布读数——只给读数，不判对错 | 人工读 stdout 或配套工具脚本 | 调参与归因；MC 类一律用户发起（档位表见 `sim-data/README.md`「MC 采集档位表」） | diff --git a/game/tests/run_all.gd b/game/tests/run_all.gd index 93e05bd1..f0df8b67 100644 --- a/game/tests/run_all.gd +++ b/game/tests/run_all.gd @@ -186,6 +186,7 @@ func _suites() -> Array: {"path": "res://tests/unit/core/level_map_type_vis_test.gd", "expect": 0}, # 信息迷雾——类型可见性（层距 N＋Boss/候选豁免＋单圈＋N 读表＋续玩同值） {"path": "res://tests/unit/presentation/pacing_queue_test.gd", "expect": 0}, # AC⑤/T9——排空零分叉/零丢行/延迟双态 {"path": "res://tests/unit/presentation/standee_fx_sweep_test.gd", "expect": 0}, # 呈现域缺陷扫掠（d2 蓄力档/d4 庆祝句柄/d5+d8 互斥/d12 站桩按 id 解析） + {"path": "res://tests/unit/presentation/tune_sim_batch_parity_test.gd", "expect": 0}, # 测速循环批双实现对拍（帧索引/运行态/进度串/stats/报告五面——信号步进 vs await 基线） {"path": "res://tests/unit/presentation/standee_present_values_test.gd", "expect": 0}, # 战斗一屏样张批 V5–V9（血条危险红/名字行素底不压地台/徽标 FS_HINT/护甲 PNG 绑定/素材入包） {"path": "res://tests/unit/presentation/reward_overlay_test.gd", "expect": 0}, # 奖励节点 UI 直验（盲区补漏） {"path": "res://tests/unit/presentation/level_map_info_fog_test.gd", "expect": 0}, # 信息迷雾——呈现显隐/Boss 豁免/详情零显示/大图拟合 diff --git a/game/tests/unit/core/meta_progression_forge_test.gd b/game/tests/unit/core/meta_progression_forge_test.gd index 508396dd..0a3f5373 100644 --- a/game/tests/unit/core/meta_progression_forge_test.gd +++ b/game/tests/unit/core/meta_progression_forge_test.gd @@ -339,7 +339,7 @@ func _meta_settle_and_workshop() -> void: adr_res.resume_adventure(bp_min, p_resume)) Kit.check("继续上局受理面：tree_rules 随参数面进 runner._tree_rules（消费面 set_tree_rules 下传现成）", adr_res.runner() != null and adr_res.runner().pick_next_node(int(adr_res.runner().next_candidate_ids()[0])) - and ((adr_res.runner().current_battle().encounter.get("tree_rules", []) as Array) == rules_e)) + and ((adr_res.runner().current_battle()._facts.encounter.get("tree_rules", []) as Array) == rules_e)) _meta_smoke_cleanup() @@ -746,7 +746,7 @@ func _smoke_tree_rules() -> void: "feats": [], "tree_rules": [], "battle_index": 1, "bonus_ref": {"atk": 0, "max_hp": 0, "armor_class": 0}, "adventure_counters": {}, "voucher_rap": 0, "voucher_time_sand": 0, "node_type": "battle"})) - orch3.encounter["tree_rules"] = [] + orch3._facts.encounter["tree_rules"] = [] var gp_base: int = orch3._roll_gp_drop() var orch4 = load("res://core/battle_orchestrator.gd").new(_db, _fresh_rng(777005)) Kit.check("聚 rig：增益编排启动（tree_rules=economy_hoard）", @@ -755,7 +755,7 @@ func _smoke_tree_rules() -> void: "feats": [], "tree_rules": ["economy_hoard"], "battle_index": 1, "bonus_ref": {"atk": 0, "max_hp": 0, "armor_class": 0}, "adventure_counters": {}, "voucher_rap": 0, "voucher_time_sand": 0, "node_type": "battle"})) - orch4.encounter["tree_rules"] = ["economy_hoard"] + orch4._facts.encounter["tree_rules"] = ["economy_hoard"] var gp_hoard: int = orch4._roll_gp_drop() Kit.check("聚：战斗掉落乘算 ×1.5（provisional——同种子配对 %d→%d，入账前=结算框显示实得）", gp_hoard == int(round(float(gp_base) * 1.5)) and gp_hoard >= gp_base) diff --git a/game/tests/unit/core/run_time_fatal_test.gd b/game/tests/unit/core/run_time_fatal_test.gd index b25e1910..cd80a919 100644 --- a/game/tests/unit/core/run_time_fatal_test.gd +++ b/game/tests/unit/core/run_time_fatal_test.gd @@ -72,7 +72,7 @@ func _seal_propagation(db) -> bool: rng_a.set_master_seed(5) var oc_bg = OrchestratorScript.new(db, rng_a) var bi_bg = BoardInstallerScript.new({"db": db, "rng": rng_a, "minesweeper": oc_bg.minesweeper, - "reward_economy": oc_bg._reward_economy, "encounter": oc_bg.encounter, "fatal_cb": oc_bg._fatal}) + "reward_economy": oc_bg._reward_economy, "encounter": oc_bg._facts.encounter, "fatal_cb": oc_bg._fatal}) bi_bg.generator._fatal("测试违约①棋盘生成") if oc_bg.battle_result != "fatal_error": push_error("[run_time_fatal_test/wr5] 棋盘生成违约未传导封印（battle_result=%s）" % str(oc_bg.battle_result)) diff --git a/game/tests/unit/presentation/tune_sim_batch_parity_test.gd b/game/tests/unit/presentation/tune_sim_batch_parity_test.gd new file mode 100644 index 00000000..b44b9c6f --- /dev/null +++ b/game/tests/unit/presentation/tune_sim_batch_parity_test.gd @@ -0,0 +1,245 @@ +# 双实现对拍配对套件（注册面批同代测速循环批 v1.1——帧相位等价的执行化证据）： +# 产品码（process_frame 信号步进状态机）vs 夹具（现行 await 形态逐字副本——循环内 await＋收尾四语句在 run() 尾）。 +# 五面对拍（帧索引序列／运行态序列／进度串序列／stats 六键／报告全文）逐位相等＝ +# 每步恰一帧＋相位同点＋输出逐字的当轮真实执行证据（测量语义逐点等价四判据的落码面）。 +# 拓扑钉死：测试宿主先连 process_frame 帧计数、后启动两形态——两形态下「计数先于步进体」相对次序同构，序列可比。 +# n=3 常规案＋n=0 退化案（同步收尾零帧——_mean/_p90 空守卫渲染面）。 +# 运行：godot --headless --path game --script res://tests/unit/presentation/tune_sim_batch_parity_test.gd（expect 0） +extends SceneTree + +const Kit := preload("res://tests/unit/test_kit.gd") +const TuneSimScript := preload("res://presentation/tune_sim_controller.gd") + + +# 假调试面板（wd8 同形 setter 面＋进度/运行态/报告三记录数组供序列对拍） +class FakePanel extends Node: + var running := false + var progress := "" + var report := "" + var atk := 0 + var hp := 0 + var progress_log: Array[String] = [] + var report_log: Array[String] = [] + var running_log: Array[bool] = [] + + func atk_pct() -> int: + return atk + + func hp_pct() -> int: + return hp + + func set_sim_running(r: bool) -> void: + running = r + running_log.append(r) + + func set_sim_progress(t: String) -> void: + progress = t + progress_log.append(t) + + func set_sim_report(t: String) -> void: + report = t + report_log.append(t) + + +# 假自动策略（固定返回值两档 victory/defeat 交替——wd8 :53-55 同款取值，零随机； +# 逐局记录帧索引与运行态读数——帧索引经宿主注入的计数 Callable 读取） +class FakeDriver extends RefCounted: + var ctrl + var frame_counter: Callable # 宿主帧计数（0 参 Callable——拓扑钉死：计数先于步进体） + var seen: Array[bool] = [] + var frames: Array[int] = [] + var calls := 0 + + func run_level(_db: Variant, _seed: int, _level: int, _atk: int, _hp: int, _other: bool, _logger: Variant) -> Dictionary: + calls += 1 + seen.append(ctrl.is_running()) + frames.append(int(frame_counter.call())) + if calls % 2 == 1: + return {"hero_dmg": 12.0, "rounds": 4, "result": "victory", "hp_left": 3.0, "hp_at_boss": 5.0} + return {"hero_dmg": 6.0, "rounds": 2, "result": "defeat", + "defeat_node_index": 3, "defeat_node_type": "battle", "hp_left": 0.0, "hp_at_boss": 0.0} + + +# 假配置库（TuneSimController 只读 db.run.action_economy.ap_per_round——wd8 同款最小域对象图） +class FakeActionEconomy: + var ap_per_round := 2 + + +class FakeRun: + var action_economy := FakeActionEconomy.new() + + +class FakeDB: + var run := FakeRun.new() + + +# 现行 await 形态逐字副本（tune_sim_controller.gd run(n) 改形前形态——循环内 await＋收尾四语句在 run() 尾； +# 全仓唯一在测夹具——产品码禁留第二实现，tests/ 不在 S13/S8/S9/S10 扫描面、夹具内循环 await 合法在册）。 +# 与产品码新形态的申报差异仅一处：批末把 stats 六键束存 out_stats 成员供对拍读取 +# （产品码 stats 经报告公开面观测——内部字段直查受控例外申报在卡 §17）。 +class AwaitLoopRunner extends RefCounted: + const SEED_BASE := 4200 + const ParityLogger := preload("res://presentation/playtest_logger.gd") + var db + var panel + var _base_hp := 0 + var _driver = null + var _running := false + var out_stats: Dictionary = {} + + func _init(db_ref, panel_ref, base_hp: int, driver = null) -> void: + db = db_ref + panel = panel_ref + _base_hp = base_hp + _driver = driver + + func is_running() -> bool: + return _running + + func run(n: int) -> void: + _running = true + var logger = ParityLogger.new() + logger.ap_per_round = int(db.run.action_economy.ap_per_round) + logger.start_session(SEED_BASE) + panel.set_sim_running(true) + panel.set_sim_progress("模拟中：0/%d …" % n) + var stats := {"wins": 0, "dmg_all": [], "hp_left_win": [], "hp_boss": [], "rounds_all": [], "death_nodes": {}} + var autoplay = _driver + for i in range(n): + _run_one_level(autoplay, stats, i, panel, logger) + panel.set_sim_progress("模拟中：%d/%d …" % [i + 1, n]) + await panel.get_tree().process_frame + logger.close_session() + panel.set_sim_report(HudPresenter.tune_sim_report(n, panel.atk_pct(), panel.hp_pct(), stats, _base_hp)) + panel.set_sim_running(false) + _running = false + out_stats = stats + + func _run_one_level(autoplay, stats: Dictionary, i: int, panel, logger) -> void: # type-hint: ignore（驱动/面板/日志件鸭子型注入——同产品码构造缝） + var st = autoplay.run_level(db, SEED_BASE + i, 1, panel.atk_pct(), panel.hp_pct(), false, logger) + (stats["dmg_all"] as Array).append(st.hero_dmg) + (stats["rounds_all"] as Array).append(st.rounds) + if st.result == "victory": + stats["wins"] = int(stats["wins"]) + 1 + (stats["hp_left_win"] as Array).append(st.hp_left) + (stats["hp_boss"] as Array).append(st.hp_at_boss) + elif st.result == "defeat": + var key := "%d.%s" % [st.defeat_node_index, st.defeat_node_type] + stats["death_nodes"][key] = int(stats["death_nodes"].get(key, 0)) + 1 + + +func _init() -> void: + var frame_idx := {"i": -1} # 帧计数（宿主最先连——拓扑钉死「计数先于步进体」） + process_frame.connect(func() -> void: frame_idx["i"] += 1) + await process_frame # 树初始化就绪帧（SceneTree._init 时点 root 未挂树——面板 get_tree() 首帧后才有效；wd8 同款先例：panel 段前有 await 过帧） + var r3 := await _run_pair(3, frame_idx) + _check_n3(r3) + var r0 := await _run_pair(0, frame_idx) + _check_n0(r0) + quit(Kit.finish("tune_sim_batch_parity")) + + +# 对拍驱动：两形态各经 run(n) 真实入口（同参假面板/假驱动各自实例）；先启动两形态、后分别 await—— +# 两形态在调用点同一同步段内先后挂起（并行于同一帧时钟），驱动协程返回 int 承接 void run 的可等待面 +func _run_pair(n: int, frame_idx: Dictionary) -> Dictionary: + # 两形态串行驱动（各经 run(n) 真实入口 await 调用——GDScript 协程动态调用必须 await， + # 无并行启动形态）：帧序列各自记录、断言按相对首帧偏移归一后逐位比对——拓扑不变式 + # 「计数先连、启动后于计数、计数先于步进体」在两形态下相对次序同构，等价证据结构不变。 + var panel_a := FakePanel.new() + root.add_child(panel_a) + var drv_a := FakeDriver.new() + var a: Variant = TuneSimScript.new(FakeDB.new(), panel_a, 100, drv_a) + drv_a.ctrl = a + drv_a.frame_counter = func() -> int: return frame_idx["i"] + await a.run(n) + var panel_b := FakePanel.new() + root.add_child(panel_b) + var drv_b := FakeDriver.new() + var b: Variant = AwaitLoopRunner.new(FakeDB.new(), panel_b, 100, drv_b) + drv_b.ctrl = b + drv_b.frame_counter = func() -> int: return frame_idx["i"] + await b.run(n) + return {"a": a, "b": b, "pa": panel_a, "pb": panel_b, "da": drv_a, "db": drv_b} + + +func _check_n3(r: Dictionary) -> void: + var pa: FakePanel = r["pa"] + var pb: FakePanel = r["pb"] + var da: FakeDriver = r["da"] + var drv_b: FakeDriver = r["db"] + var a = r["a"] + var b = r["b"] + Kit.check("n=3 帧序列相对偏移逐位相等（%s vs %s）＋相邻差恒一（每步恰一帧）〔测速 V1〕", + str(_norm(da.frames)) == str(_norm(drv_b.frames)) and da.frames.size() == 3 + and _consecutive(da.frames) and _consecutive(drv_b.frames)) + Kit.check("n=3 运行态读数序列逐位相等＋收尾双运行态假＋面板置假序列同构〔测速 V2〕", + str(da.seen) == str(drv_b.seen) and da.seen == [true, true, true] + and not a.is_running() and not b.is_running() + and not pa.running and not pb.running + and str(pa.running_log) == str(pb.running_log)) + Kit.check("n=3 进度串序列逐位相等（%d 段）〔测速 V3〕", + str(pa.progress_log) == str(pb.progress_log) and pa.progress_log.size() == 4) + var got: Dictionary = r["b"].out_stats + var deaths: Dictionary = got.get("death_nodes", {}) + Kit.check("n=3 夹具 stats 六键与按假驱动固定返回值重算的期望逐键相等〔测速 V4〕", + int(got.get("wins", -1)) == 2 + and _arr_eq(got.get("dmg_all"), [12.0, 6.0, 12.0]) + and _arr_eq(got.get("hp_left_win"), [3.0, 3.0]) + and _arr_eq(got.get("hp_boss"), [5.0, 5.0]) + and _arr_eq(got.get("rounds_all"), [4, 2, 4]) + and deaths.size() == 1 and int(deaths.get("3.battle", -1)) == 1) + Kit.check("n=3 报告全文逐字相等且含渲染面四关键串〔测速 V5〕", + pa.report == pb.report and pa.report != "" + and pa.report.contains("关卡完成率") and pa.report.contains("关卡完成剩余 HP 均") + and pa.report.contains("败北节点") and pa.report.contains("N=3")) + + +func _check_n0(r: Dictionary) -> void: + var pa: FakePanel = r["pa"] + var pb: FakePanel = r["pb"] + var da: FakeDriver = r["da"] + var drv_b: FakeDriver = r["db"] + var a = r["a"] + var b = r["b"] + Kit.check("n=0 退化：两形态驱动零回调、帧索引序列空（同步收尾零帧）〔测速 V1〕", + da.frames.is_empty() and drv_b.frames.is_empty() and da.calls == 0 and drv_b.calls == 0) + Kit.check("n=0 运行态置假序列 [true, false] 双形态同构＋收尾双假〔测速 V2〕", + str(pa.running_log) == str(pb.running_log) and pa.running_log == [true, false] + and not a.is_running() and not b.is_running()) + Kit.check("n=0 进度串单段逐字相等〔测速 V3〕", + str(pa.progress_log) == str(pb.progress_log) and pa.progress_log == ["模拟中：0/0 …"]) + Kit.check("n=0 夹具 stats 六键零计〔测速 V4〕", + int((r["b"].out_stats as Dictionary).get("wins", -1)) == 0 + and ((r["b"].out_stats as Dictionary).get("dmg_all") as Array).is_empty() + and ((r["b"].out_stats as Dictionary).get("hp_left_win") as Array).is_empty() + and ((r["b"].out_stats as Dictionary).get("hp_boss") as Array).is_empty() + and ((r["b"].out_stats as Dictionary).get("rounds_all") as Array).is_empty() + and ((r["b"].out_stats as Dictionary).get("death_nodes") as Dictionary).is_empty()) + Kit.check("n=0 报告全文逐字相等且非空（空 stats 渲染面）〔测速 V5〕", + pa.report == pb.report and pa.report != "") + +# 帧序列归一（相对首帧偏移——串行驱动下两形态帧段错位、结构可比性归一承载） +func _norm(fr: Array) -> Array: + var out: Array = [] + var base := int(fr[0]) if fr.size() > 0 else 0 + for i in fr.size(): + out.append(int(fr[i]) - base) + return out + + +# 相邻差恒一（每步恰占一帧——判据①的序列面证据） +func _consecutive(fr: Array) -> bool: + for i in range(1, fr.size()): + if int(fr[i]) - int(fr[i - 1]) != 1: + return false + return true + +# 数组逐元素浮点比对（stats 桶重算期望——类型化比较，消 str 形态歧义） +func _arr_eq(a, b: Array) -> bool: + var aa := a as Array + if aa == null or aa.size() != b.size(): + return false + for i in b.size(): + if absf(float(aa[i]) - float(b[i])) > 0.0001: + return false + return true diff --git a/reports/iter44-反哺点-2026-10-30.md b/reports/iter44-反哺点-2026-10-30.md new file mode 100644 index 00000000..442da564 --- /dev/null +++ b/reports/iter44-反哺点-2026-10-30.md @@ -0,0 +1,26 @@ +# 迭代 44 反哺点清单——2026-10-30 + +要写进权威文档的点逐条列落点（改哪一节、改成什么、依据）；用户在会话中裁决后归文档批落文。实现批禁写 `design/` 与根规则文件，本清单是唯一移交通道。 + +## 架构文档（design/engineering/architecture/architecture.md） + +1. **「模块归属·呈现层」ui_registry 行现状化**——现登记「实现批建件」态；实现后改现状陈述：UiRegistry/UiScreens/UiBattle/UiModals 四件已建（全 RefCounted、类变量 3/9/5/14、UiModals.flow 随容器构造即建）。 +2. **同表 main_ui_build 行「层序逻辑不在此件——唯一事实源仍是 main.LAYER_CONTRACT + _apply_layer_contract()」句失效**——唯一事实源已迁 `ui_registry.LAYER_CONTRACT`＋`ui.apply_layer_contract(root)`；该句改指 ui_registry（依据＝设计文档 §3.3 建议句＋实现实况）。 +3. **「呈现层装配与会话生命周期」节屏成员寻址迁注册面句核对**——v1.25 已预写「探针挂载假设＝main.ui.<域>.<句柄>」；实现实况与其一致，但需补两句实况细节：①ModalFlow 实例随 UiModals 容器构造建立（装配早期注入点依赖其先在座）；②探针契约面新增两件取证探针（shot_probe/fx_shot_probe）随批改址。 +4. **「战斗编排域拆件定稿」节轴丁两行「构造＝引用束注入」句与实态口径差**——实态＝RoundCycle 三参直构（host/fx_host_ref/reward_grant_ref，五段构造透传不落成员）、BattleFacts 零参直构；句按设计文档 §8 预判「三参直构无需束」现状化。 +5. **「模块归属·功能层」RoundCycle/BattleFacts 两行实测值换代**——RoundCycle 类变量 8／公开方法 3；BattleFacts 类变量 15（贴顶）/公开方法 4（reset_round＋三 mark）；宿主 battle_orchestrator 实测 15 成员/811 行（文件长键 1035 已远超实况——基线 refresh 后自然消失）。 +6. **「测试与质量域」S13 豁免第三条注销句现状化**——v1.25 预写「设计闭合、实现批注销」；键账已达成（宿主实测 15），注销句转已实施事实。**同节 tune_sim 测量面豁免注销句现状化随卡③ v1.1 恢复**：裸键已消除（实测命中消失、全文件零循环）；注销句保持（注销对象是 await 豁免、不依赖行为改动申报），句内「随批申报行为改动一处（收尾置假还原）」半句已失效（前提被迭代 41 测试债批 215da315 消化、申报已剥离）——现状化时一并修正为收尾现行陈述（「运行态收尾在 run() 尾每批一次执行」）。 + +## gdstyle 基线与闸面（tools/） + +7. **基线 refresh 义务（用户人工，非落文）**——`python tools/gdstyle_gate.py --refresh`：预期消失键＝main.gd max-class-variables=49（实测 15）＋battle_orchestrator max-class-variables=38（实测 15）＋battle_orchestrator max-file-length=1035（实测 811）＋轴丙遗留归绿键；合计消失 ≥2 条触发骤降守卫，须 `--force`。与待办清单「零豁免五键清偿批」批末一次人工 refresh 合并执行。 +8. **S13 no-self-assign 检查的误报形态观察**（登记不阻塞）——`X.y.z = y` 形态（赋值链尾名与右侧成员同名）被判自赋值；本批以 self 前缀消解（level_runner:520）。若后续批次再现此巧合，可考虑工程批把检查器改为比较完整接收链（登记归「迭代 42 批末移交小件」同类工具小件）。 + +## 待办清单（根流程清单——状态回退拟稿，落笔归上游段/用户） + +9. **「零豁免五键清偿批」条目测速循环批子项状态（净零处理——原回退拟稿作废）**：卡③ 停卡呈报→用户裁重裁→写卡会话重写 v1.1（零待裁点，重裁时订正 S8 十文件与两处行号注记）→本会话恢复施工收口——条目状态直推「文档设计已闭合＋已写卡＋已编迭代 44」无回退中间态；重裁经过实况记录于实现报告 §5/§5.1，本条不再承载状态回退义务。 +10. **「零豁免五键清偿批」条目键账进度换代**——五键中两键已真实清偿（main.gd 49→15、battle_orchestrator 37→15），待基线 refresh 收账；呈现层状态件批（迭代 45 在册）两键不受影响。 + +## 其他 + +11. **main.gd 死 preload 存量**（工程小件登记建议）——拆件遗留的零使用 preload 常量 8 条（UiAssembler/TuneSimController/DebugSessionScript/TreasureInteractController/CurioInteractController/CampShopPresenter/BoardResolversScript/三场景 preload 中 main 零使用者）；本批仅清理与迁移直接相关的 ModalStack/RowPacer 两条，其余属存量债不扩范围；归工程改动直改批顺路清理。 diff --git a/reports/iter44-实现报告-2026-10-30.md b/reports/iter44-实现报告-2026-10-30.md new file mode 100644 index 00000000..153ae6ab --- /dev/null +++ b/reports/iter44-实现报告-2026-10-30.md @@ -0,0 +1,118 @@ +# 迭代 44 实现报告（组合根注册面批＋战斗编排归约批＋测速循环批）——2026-10-30 + +状态：三卡全部施工收口（卡③ 按停卡呈报建议案重裁为 v1.1 后施工）；迭代总收口（批末闸/审计/合并）进行中。 + +## 0. 各卡状态 + +| 卡 | 状态 | 提交（worktree iter44，基点 c8f5091d） | +|---|---|---| +| 卡① 组合根注册面批 | **收口**——main.gd 49→15、四新件建件、全消费面改址 | bee0682f（T1 建件）／b89ee850（T2 改形）／784d581b（T3 改址）／1929516a（T4 消灭收口） | +| 卡② 战斗编排归约批 | **收口**——battle_orchestrator 38→15（实测 37 轴丙基数起算）、RoundCycle/BattleFacts 两新件 | 24f3ca51（T1 BattleFacts）／a832965a（T2 RoundCycle）／15c833e0（T3 宿主收束）／3e9d3afa（T4 键账） | +| 卡③ 测速循环批 | **收口（v1.1 重裁后施工）**——v1.0 停卡呈报→用户裁重裁→v1.1 剥离行为改动申报面后 T0–T3 全落 | c82ef23f（T1 步进状态机）／04783fae（T2 对拍套件） | + +## 1. 卡① 实际对照表（卡片 §8 十一行 → 实况） + +| # | 需求点 | 改动实况 | 验收测试实况 | 结果 | +|---|---|---|---|---| +| 1 | 注册面建件＋合同机器迁驻 | ui_registry.gd（LAYER_CONTRACT 逐字迁入＋node(key) 19 键 match＋apply_layer_contract 唯一落位口）＋ui_screens/ui_battle/ui_modals 三容器 | 系统测试 V1c（system_test.gd:94-106 改址 main.ui.LAYER_CONTRACT／main.ui.node，尾缀〔装配生命批 V1〕保留）——树序逐对保序 | 绿 | +| 2 | main.gd 改形回归（49→15） | 28 迁出＋7 消灭＋1 新增＝22（T2 中间态）→15（T4 终态）；六转发方法＋_flush_row_queue 退役 | run_smoke 15 项 0 失败＋run_system_test 69 项 0 失败；S13 静态判据＝gdstyle 实测 15（基线键 49 已不命中、成死键） | 绿 | +| 3 | 装配与流程件改址 | main_ui_build 八步赋值目标 root.ui.*（八步顺序/add_child 序/连接语句逐条不变）；三流程件同表映射；smoke_boot get() 4 改 2 留 | 冒烟主屏存活面六断言＋系统测试 V2 句柄等价五连比（system_test.gd:108-109 改址） | 绿 | +| 4 | 探针面批量改址 | 探针九件＋probe_ui_util＋shot_probe/fx_shot_probe（决定记录 2）共约 460 行机械改写 | probe_gate --click --full 全段退出码 0（九件 PASS） | 绿 | +| 5 | 系统测试面改址＋RunScope 生命周期 | system_test V1a/V1c/V2/V3 矩阵取址改指 | V1–V9 全绿（V3a–V3i 存活性矩阵第五引用面逐面同源） | 绿 | +| 6 | 别名/接缝成员消灭（7 个） | _seed_edit/board_view/ap_bar/_row_queue/_modals/_settlement_stop_pending/_deferred_modal 全删；消费方改址（pacing_queue 4 处＋接缝探针三件＋main 自身） | pacing_queue 绿＋ui_struct_probe 登记序断言（改 flow.stack）＋t17_defer_probe 挂起态断言（改 flow._deferred） | 绿 | +| 7 | 六转发模态方法退役 | _open_modal/_close_modal/_on_modal_closed/_input_locked/_open_modal_after_playback/_on_pump_ended 退役；调用方改指 ui.modals.flow 五真方法＋pump_ended 注入改 flow 方法 | modal_flow 绿＋系统测试 V3g 模态开合段＋ui_click_probe 模态开合路径 | 绿 | +| 8 | V1d 源码断言重锚 | source_guard_test.gd 重锚全 presentation 目录扫描（move_child 只许 ui_registry.apply_layer_contract 体内），尾缀〔注册面 V1〕 | source_guard 绿（8 checks） | 绿 | +| 9 | V6 源码断言改串 | theme_projection_test.gd V6 改断言 ui.modals.debug_overlay.diagnose_requested.connect(_on_diagnose_pressed)，尾缀〔注册面 V2〕 | theme_projection 绿（164 checks） | 绿 | +| 10 | 视觉零变化主证 | 全批呈现层改址零像素改动 | render_gate golden 零差异（shot_probe 七屏＋golden 全过） | 绿 | +| 11 | 改址完整性收口 | 49 名逐名 grep 残留=0（词形态＋字符串键形态两轮全量扫描，T3 提交信息留档） | 批末代码域闸归迭代总收口（待跑）；grep 自检静态判据已留档 | 静态部分绿 | + +静态判据申报执行实况（卡片 §8 域口径）：S13 键账对账＝gdstyle 实测 main.gd 15、四新件零新键（T1/T4 两轮 static_scan 确认）；基线 refresh 留用户人工（见 §4 遗留义务）。 + +## 2. 卡② 实际对照表（卡片 §11 V0–V6 行 → 实况） + +| 行 | 需求点 | 改动实况 | 验收测试实况 | 结果 | +|---|---|---|---|---| +| V0 | 行为零变化（总判据） | 成员迁移与改指；RNG 五流零触碰（behavior_roll 随件迁移取号序逐字）；五信号留宿主；两快照签名载荷逐字 | 关联套件全绿零改址应红项（round_flow/settle_segments/skill_unlock/trigger_cond/seal_polarity/feat_vouchers/variant_placement/meta_forge/adventure_feats/treasure_effects/roll_multiplier/breakpoint_resume/level_shop_economy/table_structure_guard） | 绿 | +| V1 | 两新件建件接线 | battle_facts.gd（15 成员贴顶＋reset_round 逐字＋三 mark 写口）＋round_cycle.gd（8 成员＋三参直构＋五段构造逐字迁入） | settle_segments_test V1 断言（_rounds 在座且 oc 回指＋_facts 在座＋五段段件齐 _rounds）〔编排归约 V1〕 | 绿 | +| V2 | reset_round 复位边界 | reset_round 只清 reveals/seals/path 三项 | round_flow_skill_pool_test 内嵌断言：终局后 presentation_snapshot()["refresh_used"] == 末轮结算快照 economy.refresh_used〔编排归约 V2〕 | 绿 | +| V3 | 段驱动与摇号迁移 | 三函数迁出；宿主调用点五处改址；trigger_cond 3 处改指 | round_flow 全套＋settle_segments V4-3＋skill_unlock＋trigger_cond（改指后绿）——同种子回放断言零改址钉住 | 绿 | +| V4 | _hero_atk 派生读 | 成员删→私有函数；combat_segment :56 改调 | roll_multiplier_test 内嵌：override 贯通 spawn＋缺省回退表值〔编排归约 V4〕；攻击单 base_value 贯通由既有 hero_atk_val=100 全链路夹具承载 | 绿 | +| V5 | treasure_inventory 注入改址 | 宿主成员与 setter 删、五处读改指、level_runner:520 改经 reward_grant() 出口直注 | treasure_effects_test 内嵌引用同一性断言〔编排归约 V5〕＋ob8/ob11/ob13 既有 use_treasure 受理链改址后全绿 | 绿 | +| V6 | 封印判定账/装板溯源/受理事实迁移 | 事实族改指（grant_segment 18 处＋宿主全量）；三 mark 写口升级；attune 读源改 _facts | seal_polarity／feat_vouchers（契约 2 计数纯净 R2）／variant_placement／meta_forge／adventure_feats／table_structure_guard（attune 外部面零改址应绿——最硬的外部面零变化证）全绿 | 绿 | + +行为改动申报核对：diff 中行为改动零条（全部非行为改动——成员迁移与改指；完美写口升级＝同一时点同一增量改经方法单点）。测试削弱申报：零申报兑现（测试改指只动成员寻址；新增断言 V1/V2/V4/V5 四条＋V1d/V6 重锚两条＝卡片 §8 申报全集）。 + +## 3. 实现决定记录（代拍板白名单外事项备案） + +卡①： +1. **ModalFlow 实例随 UiModals 容器构造即建**（ui_modals._init）——装配第二步 row_pacer.pump_ended 注入早于第八步 flow 建立，转发壳退役后需 flow 先行在座；查询/钩子 Callable 注入时点不变（_build_modal_flow 内语句序不变），八步顺序零变化。 +2. **shot_probe/fx_shot_probe 纳入改址**——两件是 render_gate 取证探针、不在卡片「探针九件」清单（probe_gate 段构成），但同为 main.X 一级地址消费方；T3 改址完整性 grep 自检抓漏后纳入（render_gate 对照表行 10 的承载件，属消费面全量改址义务）。 +3. **ui_tune_probe 零连接巡检白名单登记 flow.close**——表 D 申报「closed bind 目标改 flow.close.bind」的机检联动：巡检白名单原钉 main._on_modal_closed（组合根转发壳），改钉 main.ui.modals.flow.close（同一连接的新宿主）；判据面「closed 外发消费目标是模态编排口」语义不变，conn_count=11 断言零变化。 +4. **layout_probe 三区 get() 字符串键改容器字段键**——卡片表 D 字符串键清单只列 smoke_boot 6 处；layout_probe:60 `main.get(key)`（key="stage"/"info_panel"/"board_zone"）为漏网字符串键，改 `main.get("ui").battle.get(key)`（战区域容器字段名与三区合同键同名）。 +5. **curio_overlay/confirm_dialog 两词在装配/流程件替换表漏列**——main.gd 表有、main_ui_build 与三流程件表漏，冒烟（Invalid assignment on main.gd）与 ui_click_probe sl7（开窗调用静默失效）抓漏后补改；教训＝机械改写必须逐词对照 T0 名单全量扫描（T3 终检已按 49 名逐词复查全域归零）。 + +卡②： +1. **grant_segment._seal_preview_area 的 oc.treasure_inventory 读为 T3 盘点漏项第五处**（卡片 T3 列宿主四处读）——SCRIPT ERROR 抓漏后改指 reward_grant.treasure_inventory。 +2. **treasure_effects_test 五处直构注入 obX.treasure_inventory**（ob8/ob11/ob13 注入与读、ob14 段）——设计文档 §11 盘点「1 处」漏项；同属「成员寻址改指、断言零变化」改经 reward_grant() 出口。 +3. **level_runner 注入行加 self 前缀**消 S13 no-self-assign 文本巧合（`X.treasure_inventory = treasure_inventory` 左侧链尾名与右侧成员同名）；语义零变化。 +4. **_hero_atk 派生读落位**：受理段写点删除、spawn 读点改调、combat_segment 消费改调——「读面即引用、无第二账」先例同款。 +5. 宿主内 encounter/attunement 词替换以占位符保护三处字符串键（behavior_roll 前置流名 "encounter"／BoardInstaller bundle 键 "encounter"／enc.get("attunement") 键）——键字面零变化。 + +## 4. 遗留读数义务与登记项 + +- **gdstyle 基线 refresh（用户人工，批末总收口后）**：`python tools/gdstyle_gate.py --refresh`——卡① 死键 1 条（main.gd max-class-variables=49）＋卡② 预期死键 1 条（battle_orchestrator max-class-variables=38；文件长键 1035 已由轴丙归绿基线在册需一并核对）＋轴丙遗留归绿键，合计消失 ≥2 条触发骤降守卫须 `--force`（与待办清单「零豁免五键清偿批」批末一次人工 refresh 合并执行口径一致）。 +- **实机目检总清单（登记不阻塞）**：①三屏切换与模态开合实机过一遍（卡① T4 义务——冒烟/探针/golden 已机检承载，真人观感复核登记）；②战斗一局全流程观感（卡② 结构迁移零行为变化的一般性目检）。 +- **能力清单核对（收尾核对义务）**：本批卡① 零新增能力（改址只换地址）、卡② 零新增能力（新增断言全部内嵌既有函数）——game/tests/README.md 零增删改，批末核对表上代表用例名与实际落地一致（未改名，核对通过）。 +- **批末代码域闸**（run_all_gates.sh --code）归迭代总收口——卡③ 裁决后与 reshape 串联执行。 + +## 5. 卡③ 停卡呈报（缺陷移交——按卡片 §13 L3 条款①预设停机点） + +**分歧点**：卡③ §3 断言「`_run_one_level` 尾部两行 :67 `panel.set_sim_running(false)`／:68 `_running = false` 每局执行一次（潜伏红本体）」与现行代码不符——实测两行在 `run()` 尾 :53-54（for 循环外、每批恰一次），`_run_one_level` 尾部 :67-68 实为败局节点记账。 + +**定谳证据**（三重）： +1. git 历史：迭代 41 测试债批提交 215da315（2026-10-29 合回）提交信息明载「两个产品回归随批修（……**tune_sim 运行态收尾归还 run**）」——潜伏红已由该批先修复。 +2. T0 实跑面一：`--only=standee_fx_sweep` 全绿（18 checks）——wd8 三断言（`drv.seen == [true, true]`／收尾双运行态假／报告非空，现位 :145-147）现行全 PASS。 +3. T0 实跑面二：ui_tune_probe 全链路 PASS——⑤ 守卫环 1800 帧预算内退出、输出四串在（模拟 N=10 完整输出）。 + +**两种读法**： +- 读法 A（证据支持）：卡片成文（2026-10-29 v1.0 定稿）时点潜伏红确实在（u23 卷入形态），同日合回的迭代 41 测试债批把收尾归还 run() 尾——卡片「现状考证」被上游批施工消化变质。215da315 提交信息与代码现状一致。 +- 读法 B：卡片考证当时即误读（:67-68 为败局记账非置假）。与 215da315 提交信息矛盾，不采。 + +**影响面**： +- 已申报行为改动 V3（收尾置假还原）**无对象**——还原动作已由迭代 41 测试债批完成并申报。 +- 目标 2「wd8 三断言与 ui_tune_probe ⑤ 零改动**转绿**」变「零改动**保持绿**」。 +- 核心义务仍有效：S13 await-in-loop 裸键消除（tools/gdstyle_baseline.txt:15 在册、基线 16 键之一）与双实现对拍套件（帧相位等价执行化证据）——对拍夹具与产品码的申报差异由两处减为一处（收尾还原差异消失，仅余 stats 暴露成员）。 +- T0「实跑定谳」义务已完成（上列三重证据），实现段零施工（停摆卡不提交）。 + +**建议案**（供写卡段/用户裁决）： +1. 卡③ 退回写卡段重裁：剥离行为改动申报（对照表 V3 行删、§1 目标 2/3 措辞改「保持绿」）、T0 判读出口改「两面全绿＝前提已由迭代 41 测试债批消化，直接按无行为改动形态开工」；保留裸键消除＋双实现对拍义务（夹具＝现行产品码 await 形态逐字副本——收尾在 run() 尾形态——与产品码唯一申报差异＝夹具暴露 stats 供对拍）。 +2. 若用户不愿重写卡：裁「卡③ 剥离出迭代 44」（roadmap 行拆批），裸键消除与对拍随下一迭代重编。 + +**待办清单条目状态回退拟稿**（落笔归上游段/用户，本批禁写根流程清单）：「零豁免五键清偿批」条目的测速循环批子项状态由「文档设计已闭合＋已写卡＋已编迭代 44」回退为「文档设计已闭合＋待写卡（现状考证已被迭代 41 测试债批消化——行为改动申报面失效，卡片重裁后重编）」。 + +## 6. 批末全量域闸与闸红修复（收口实况） + +**闸况**：reshape 后第三次全量域闸（--code）全绿——00 冒烟/01 系统测试/03 场景探针/05 渲染闸/10 熵增闸绿；**02 单元与集成、09 静态扫描从基线红改善归绿**（基线记的迭代 41 时代存量红指纹已在册待换代——现真绿）；回执 commit 对齐分支尖（b27db010）。 + +**闸红修复三笔（新红必修，均孤跑复绿）**： +1. S9 R1：tune_sim_controller `_sim_stats` 裸 Dictionary 注解改 `Dictionary[Variant, Variant]`（Variant 参数化现行口径）——本批新码写法违规。 +2. ui_input_probe :482/:488 case⑮ 装配直构注入 `settlement.attunement` → `_facts.attunement`——卡② 成员迁移的探针消费漏网（T0 映射谱系只扫 main./root./self. 前缀，直构注入形态不在谱系）；SCRIPT ERROR 中断 _ready 致探针挂死超时。 +3. run_time_fatal_test :75 BoardInstaller 束键值 `oc.encounter` → `oc._facts.encounter`＋meta_progression_forge_test 三处编排器 encounter 直读改指（:340/:749/:758）——同型漏网（负面套件名与触面无字面关联＝关联档选测盲区；meta_forge 分片复现、单进程未现的夹具路径差异）。 + +**实现决定记录补（白名单外备案）**：跨卡触面（卡② 迁移成员被卡① 已改址的探针/未申报套件消费）只有全量闸能抓——关联档选测的盲区实证；全域终扫（encounter/attunement 直读形态）后同类漏网清零。 + +## 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 笔提交），冻结待收口。 diff --git a/reports/iter44-验收审计-2026-10-30.md b/reports/iter44-验收审计-2026-10-30.md new file mode 100644 index 00000000..5a070a7d --- /dev/null +++ b/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 在案）。 diff --git a/reports/需求卡片-测速循环批-2026-10-29.md b/reports/需求卡片-测速循环批-2026-10-29.md index c7748f9a..98b32a9b 100644 --- a/reports/需求卡片-测速循环批-2026-10-29.md +++ b/reports/需求卡片-测速循环批-2026-10-29.md @@ -1,36 +1,36 @@ # 需求卡片——测速循环批（tune_sim_controller 循环内 await 真实消除） -> **版本状态**：v1.0 定稿——零待裁点（2026-10-29 用户裁：信号步进状态机形态、收尾置假还原作为已申报行为改动、双实现对拍入批、错误路径差异接受并文档化）。 +> **版本状态**：v1.1 定稿——零待裁点（2026-10-30 停卡重裁：实现段 T0 三重证据定谳 v1.0 的「潜伏红」前提已被迭代 41 测试债批消化〔215da315——运行态收尾归还 run〕，按停卡呈报建议案剥离已申报行为改动 V3、T0 义务改现状复核、夹具申报差异两处减一处；2026-10-29 原四点裁决中②作废，①③④仍有效——裁决记录见第 15 节）。 > **接收方**：待办清单条目「零豁免五键清偿批——S13 余量五键真修四卡（2026-10-29 登记，来源=会话提及）」——本卡为其四卡中的测速循环批卡。 -> **来源**：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 断言面的静态矛盾）。 +> **来源**：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——重裁依据）。 ## 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，该键从文本形态根除、此文件对这个键结构性免疫。随批执行两项已裁事项：把「每局置假」还原为「整批收尾单次置假」（已申报行为改动——消除与两个在库断言面的静态矛盾）；新增双实现对拍套件，把帧相位等价论证变成当轮真实执行证据。 +这批做什么：把 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 节）。 什么状态算完： 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 设计闭合，零待裁点）：§4 推荐案（process_frame 信号步进状态机伪代码结构）、§5 等价性证明清单（四判据＋已声明缺口）、§6 键账预期、§7 行为零变化风险点。架构面凭据＝`design/engineering/architecture/architecture.md` v1.25「测试与质量域」S13 测量面豁免注销句（2026-10-29 零豁免裁落文）——豁免注销、行为改动申报面与本卡一致。待办清单条目「零豁免五键清偿批」状态=文档设计已闭合＋待写卡（本卡即其中一卡的写卡段产出）。 +设计依据唯一出处＝`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 重裁段产出）。 -## 3. 现状事实（代码级，2026-10-29 实查；开工 T0 按当轮 master 重测重锚——行号基线为本日 master） +## 3. 现状事实（代码级，2026-10-30 实查；开工 T0 按当轮施工基面重锚——行号基线为本日 master） -- `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/。 +- `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/。 - 产品码 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` 能力表零 tune_sim／调试浮窗行；锚到本批断言宿主套件的唯一既有行＝「站桩敌人呈现与结算演出落点」（代表用例 `standee_fx_sweep_test.gd:_init`——wd8 断言所在函数）。 +- 能力表现状：`game/tests/README.md` 能力表「调参测速批量模拟（逐帧步进与统计读数）」行已入表（:131——写卡段 v1.0 同批义务，真实入口＝批量模拟入口，代表用例＝对拍套件）；断言宿主 wd8 套件锚既有行「站桩敌人呈现与结算演出落点」（:130）。 ## 4. 设计契约（违反即返工的红线条款，标 🔴 触碰＝L3 停机呈报） @@ -40,30 +40,30 @@ ③ 终止条件与终止时读数不变——终止＝计数走满 n；close_session／运行态复位／报告注入在同帧执行； ④ 输出逐字不变——报告＝未触碰的 `HudPresenter.tune_sim_report`；stats 是 (种子, atk_pct, hp_pct) 的纯函数、帧时点不进测量值；JSONL 由未触碰的自动策略逐行写、close 时点同帧。 违反即返工；等价性对拍失败＝L3 停机呈报。 -- 🔴 **行为改动唯一＝收尾置假还原**（已申报——对照表 V3 行）：`_run_one_level` 尾部两行（:67-68）删除，运行态复位收进 `_finish_batch()` 收尾单次执行；禁任何其他行为漂移——`_on_tune_simulate` 不加运行态早退守卫（设计文档待裁点 3 备选否决）、发布态零触碰、探针①–④⑥–⑩ 段零触碰、`HudPresenter`／`PlaytestLogger`／`sim/level_autoplay.gd`／`debug_overlay.gd` 零触碰。 +- 🔴 **行为改动零处（收尾语义零变化）**：收尾置假已在 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` 零触碰。 - 🔴 **脚本错误中断路径差异＝声明缺口**（设计文档 §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`：测量面专属能力行已随本卡写卡段同批入表（「调参测速批量模拟」行——写卡同批义务，grilling 复核订正），实现批禁写红线不变。 +- `design/` 整个目录、两份根流程清单——实现批禁写；该改的点列反哺点清单。`game/tests/README.md`：测量面专属能力行已随本卡 v1.0 写卡段同批入表（「调参测速批量模拟」行），实现批禁写红线不变。 - 探针其余段与套件其余断言族（standee_fx_sweep 的 wd2/wd4/wd5/wd12 面）零触碰；`architecture.md` 其余豁免条目（battle_orchestrator 第三条注销句现状化归战斗编排归约批反哺点）零触碰。 ## 6. 关联文档同步面 | 文档 | 关联点（本批实现会改变它的哪条陈述） | 同步义务 | |---|---|---| -| design/engineering/architecture/architecture.md | 「测试与质量域」S13 测量面豁免注销句（v1.25——「设计闭合、实现批建件」批后现状化；随批申报行为改动句随之成为已实施事实） | 设计权威文档——实现批禁直改；逐条列进 `reports/iter-反哺点-<日期>.md`（豁免注销句现状化），用户裁决后归文档批落文 | +| design/engineering/architecture/architecture.md | 「测试与质量域」S13 测量面豁免注销句（v1.25——「设计闭合、实现批建件」批后现状化；句保持——注销对象是 await 豁免、不依赖行为改动申报；句内「随批申报行为改动一处（收尾置假还原）」半句已失效〔前提被迭代 41 消化、申报已剥离〕，现状化时一并修正为收尾现行陈述） | 设计权威文档——实现批禁直改；逐条列进 `reports/iter44-反哺点-2026-10-30.md`（豁免注销句现状化，该清单 #6 已登记暂停点、随本卡 v1.1 恢复），用户裁决后归文档批落文 | | 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 收尾还原）＋结构改形（V1——零漂移由对拍证） | -| game/tests/unit/presentation/tune_sim_batch_parity_test.gd | 新增 | 双实现对拍配对套件——遗留 await 形态夹具（内类）＋五面对拍断言 | 非行为改动（测试面） | +| game/presentation/tune_sim_controller.gd | 复用（改造） | 批量模拟控制器——process_frame 信号常驻连接＋步进状态机；收尾单点 `_finish_batch`（四语句同帧同相位迁入）；全文件零循环 | 非行为改动（结构改形——收尾语义零变化，零漂移由对拍证；回归锚面＝对照表 V3 行） | +| game/tests/unit/presentation/tune_sim_batch_parity_test.gd | 新增 | 双实现对拍配对套件——现行 await 形态夹具（内类，收尾在 run() 尾的现行形态）＋五面对拍断言 | 非行为改动（测试面） | | game/tests/run_all.gd | 复用（改造） | manifest 增一行（新套件注册，expect 0） | 非行为改动（测试基建） | -结构图与第 8 节互指：新增件一件（对拍套件），其「为什么不能复用/落点唯一」理由见第 8 节；其余两行均为既有文件改造。 +结构图与第 8 节互指：新增件一件（对拍套件），其「为什么不能复用/落点唯一」理由见第 8 节；其余两行均为既有文件改造。行为改动列全为零——每行的验收落点见对照表 V1/V2/V3 行。 ## 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 扫描面（扫描面＝产品码三目录与 B1 九文件清单，实查在案），夹具内循环 await 合法在册。 +- **对拍套件落 `game/tests/unit/presentation/` 的唯一性与命名**：落点唯一——与断言宿主 wd8 同目录同协议（extends SceneTree＋Kit 收尾），单元层承载；命名 `tune_sim_batch_parity_test.gd`（领域命名、无 ID 前缀）；grep 同名与同义标识符实查无第二处。**遗留 await 形态副本全仓只许此一份**——产品码禁留第二实现（旧形态只活在测试夹具内）；tests/ 不在 S13/S8/S9/S10 扫描面（扫描面＝产品码三目录与 S8 文件集，实查在案），夹具内循环 await 合法在册。 - **复用面**：夹具的假面板/假驱动复用 wd8 的形态先例（FakePanel/FakeDriver 同形——代码在各套件内自建，不跨套件共享 helper，禁散落）；收尾复用 `test_kit.gd` 的 Kit.finish（零断言专用退出码协议）。 -- **分层与交互**：控制器保持 RefCounted、零 Node 入树；process_frame 连接经 `panel.get_tree()` 取树（与现状同一出口）；对拍套件 `--script` 模式零 autoload 依赖（db 用字典夹具，同 wd8 :129 先例）；零新增跨层出口、零数值表读取、零随机。 +- **分层与交互**：控制器保持 RefCounted、零 Node 入树；process_frame 连接经 `panel.get_tree()` 取树（与现状同一出口）；对拍套件 `--script` 模式零 autoload 依赖（db 用字典夹具，同 wd8 :142 先例）；零新增跨层出口、零数值表读取、零随机。 ## 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 行、`_run_one_level` 删两行后约 10 行 | +| max-function-length ≤50 | 达标 | run 约 22 行、`_step_frame` 约 12 行、`_finish_batch` 约 6 行、`_run_one_level` 现行 11 行零触碰 | | 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`——记录 :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 与成员计数；漂移处就地改卡并记录 +- [ ] 实跑 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 重锚为准） - [ ] 实查产品码 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 参）：`_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 段承载） +- [ ] 新增 `_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 段承载） - [ ] 自检：新增头注/注释零变更叙事、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 形态逐字副本，含自身 `is_running()` 镜像；**与产品码的申报差异仅两处**：尾部两行按还原语义置收尾、批末把 stats 六键束存夹具成员供对拍读取） +- [ ] 建 `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 节直查受控例外申报） - [ ] 对拍驱动：两形态各经 `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/iter-实现报告-<日期>.md`（各卡状态＋实机目检总清单〔本批零目检项〕＋遗留读数义务＋实现决定记录）与 `reports/iter-反哺点清单-<日期>.md`（第 6 节同步面逐条落点）写齐，方算收口 +- [ ] 产出物落位卡：`reports/iter44-实现报告-2026-10-30.md`（各卡状态＋实机目检总清单〔本批零目检项〕＋遗留读数义务＋实现决定记录）与 `reports/iter44-反哺点清单-2026-10-30.md`（第 6 节同步面逐条落点）写齐，方算收口 -编队注记：本卡与零豁免其余三卡无产品码触面交集（本卡触面＝tune_sim_controller.gd＋game/tests/ 两件）；run_all.gd manifest 行与并行批可能交叠——编队归编排段（待办清单条目口径：编队待迭代 42 合回）。 +编队注记：本卡与零豁免其余三卡无产品码触面交集（本卡触面＝tune_sim_controller.gd＋game/tests/ 两件）；run_all.gd manifest 行与并行批可能交叠——编队归编排段。本卡在 iter44 worktree 施工（卡①卡② 已收口冻结在分支），T0 重锚以 worktree 基面为准。 ## 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 扫描面的声明同此口径（扫描面＝产品码三目录与 B1 九文件清单，static_scan.sh 实查在案）。**声明缺口（不入对照表——证明做不出出口）**：脚本错误中断路径差异不可消除，见第 4 节 🔴 条，实现报告文档化（T3）。**能力清单**：本批新增能力一行「调参测速批量模拟（逐帧步进与统计读数）」已随本卡写卡段同批入表（写卡同批义务，grilling 复核订正原「既有名锚定＋后续入表」悬置形态）——对照表三行能力列改锚该行；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 扫描面的声明同此口径（扫描面＝产品码三目录与 S8 文件集，static_scan.sh 实查在案）。**声明缺口（不入对照表——证明做不出出口）**：脚本错误中断路径差异不可消除，见第 4 节 🔴 条，实现报告文档化（T3）。**能力清单**：本批新增能力一行「调参测速批量模拟（逐帧步进与统计读数）」已随本卡 v1.0 写卡段同批入表（README :131）——对照表三行能力列锚该行；manifest 计数行随套件增减浮动。 | 行 | 需求点 | 改动（文件:行/行为） | 验收测试（名称＋落点＋尾缀） | 层级 | 真实入口 | 判据绑定面 | 能力行 | |---|---|---|---|---|---|---|---| -| 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 六键逐位＋报告全文逐字 | 新增：调参测速批量模拟（逐帧步进与统计读数） | +| 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 六键逐位＋报告全文逐字 | 新增：调参测速批量模拟（逐帧步进与统计读数） | | 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 | 行为改动——收尾置假还原（已申报唯一行为改动） | 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()` 四关键串（浮窗运行态贯穿整批的可观测提交面） | 新增：调参测速批量模拟（逐帧步进与统计读数） | +| 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()` 四关键串（浮窗运行态贯穿整批的可观测提交面——绿＝保持绿，非转绿） | 新增：调参测速批量模拟（逐帧步进与统计读数） | -反向核对：diff 中行为改动共一处（V3 行）；其余为非行为改动——V1 结构改形（零漂移判据＝对拍五面全等＋wd8/probe 零改动转绿）、V2 测试面新增、manifest 增行（测试基建）。孤儿断言：对拍五断言挂 V1/V2 两行，无孤儿。 +反向核对：diff 中行为改动共零处；其余为非行为改动——V1 结构改形（零漂移判据＝对拍五面全等＋wd8/probe 零改动保持绿）、V2 测试面新增、V3 回归锚面行（非行为改动）、manifest 增行（测试基建）。孤儿断言：对拍五断言挂 V1/V2 两行，wd8/probe 既有断言挂 V3 行，无孤儿。 ## 13. 异常分级 - **L1 自救**：编译错、断言尾缀措辞、夹具记录数组名笔误——就地修复，重跑最窄单元确认。 - **L2 记录继续**：T0 套件因在册无关债先红于 wd8 断言（记录可达性事实，不借批顺手修）；行号重锚漂移（就地改卡记录）；产品码 process_frame 订阅面发现第三处（记录＋评审注记——非 run 途中新增场景不红）。 -- **L3 停机写报告等用户**：①T0 潜伏红证伪——两面实跑全绿＝「每局置假系搬运卷入」前提崩塌，停卡退回写卡段重裁行为改动申报面；②等价性对拍失败——五面任一不等＝测量语义漂移，设计前提崩塌；③机检预算互斥——改造后实测键超第 9 节预算或基线外新键＝上游缺陷停卡退回写卡段（含禁为机检保留无效成员条款冲突）；④S13 对账 await 键未消或冒新键；⑤判据绑不上可观测提交面（证明做不出＝停卡呈报，禁自造注入破坏或回退取证）。 +- **L3 停机写报告等用户**：①T0 两面任一红＝现状与重裁前提失配（迭代 41 修复被回退或新潜伏红），停卡呈报；②等价性对拍失败——五面任一不等＝测量语义漂移，设计前提崩塌；③机检预算互斥——改造后实测键超第 9 节预算或基线外新键＝上游缺陷停卡退回写卡段（含禁为机检保留无效成员条款冲突）；④S13 对账 await 键未消或冒新键；⑤判据绑不上可观测提交面（证明做不出＝停卡呈报，禁自造注入破坏或回退取证）。 ## 14. 代拍板白名单（逐条列，超清单记实现报告「实现决定记录」） @@ -175,20 +175,20 @@ 2. 头注 `_batch_finished` 契约行措辞（信号语义与发射时点不变）。 3. `_finished` 成员零读者确认后删去（成员 11→10——键账只降不升，行为与断言面零变化）。 4. 夹具假面板/假驱动成员命名微调（记录语义不变；与 wd8 同形自建、不跨套件共享）。 -5. `_finish_batch` 收尾段四语句相对次序按第 11 节 T1 草图次序落码（对两个断言面不可观测——实现期查 git 历史原序可进一步对齐）。 +5. 收尾段语句相对次序——现行 run() 尾次序（close→报告→置假→_running）与设计草图次序（close→置假→_running→报告）对两个断言面均不可观测，两种皆可落码（实现期查 git 历史原序可进一步对齐）；`_finished = true` 置位为新增首句（成员写，不可观测）。 6. 排版机械改写（空行、preload 顺序、注释换行）。 ## 15. 待裁点 -零待裁点，开工门=U0。（裁决记录：2026-10-29 用户裁四点——①信号步进状态机形态采纳〔SceneTreeTimer 链/Timer 节点/递归协程/线程四形态淘汰依据见设计文档 §3〕；②收尾置假还原作为已申报行为改动随批实施；③双实现对拍入批；④脚本错误中断路径差异接受并文档化。） +零待裁点，开工门=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，修正全落），重裁差异面未新增设计裁决。） ## 16. 测试削弱申报 -无申报项——wd8 三断言与 ui_tune_probe ⑤ 零改动零削弱；对拍五断言为新增非改判；夹具与产品码的两处申报差异（收尾还原语义＋stats 暴露成员）系新增件自身设计、设计文档 §5 在案，非既有断言削弱。禁删断言、禁放宽阈值、禁缩小扫描面、禁把真实入口换成下层直调；未申报的削弱由独立验收审计判红。 +无申报项——wd8 三断言与 ui_tune_probe ⑤ 零改动零削弱（保持绿）；对拍五断言为新增非改判；夹具与产品码新形态的申报差异仅一处（夹具暴露 stats 供对拍读取）系新增件自身设计、设计文档 §5 在案，非既有断言削弱。禁删断言、禁放宽阈值、禁缩小扫描面、禁把真实入口换成下层直调；未申报的削弱由独立验收审计判红。 ## 17. 独立验收审计 -合并前由未参与实现的会话或子代理执行；报告落 `reports/iter-验收审计-<日期>.md`，未过不得合并。审计至少做五件事：①逐行核对第 12 节对照表（测试存在、真的执行、尾缀可 grep、真实入口未绕过改动点）；②抽查判据绑定面——帧索引序列是否真从 process_frame 发射点记录、对拍拓扑两形态是否同构可比、V3 行判据是否钉在运行态提交面而非终态兜底；③核对 T0 定谳证据在案（改动前 wd8/probe 红读数——潜伏红链条完整，缺 T0 读数＝审计不过）；④核对行为改动唯一性——diff 中除 V3 外无第二处行为改动；⑤检查测试削弱（对照第 16 节零申报）与内部字段直查受控例外（本批零直查——新形态 stats 经报告公开面观测）。 +合并前由未参与实现的会话或子代理执行；报告落 `reports/iter44-验收审计-2026-10-30.md`，未过不得合并。审计至少做五件事：①逐行核对第 12 节对照表（测试存在、真的执行、尾缀可 grep、真实入口未绕过改动点）；②抽查判据绑定面——帧索引序列是否真从 process_frame 发射点记录、对拍拓扑两形态是否同构可比、V3 行判据是否钉在运行态提交面（保持绿证据，非终态兜底）；③核对现状复核证据在案（T0 两面实跑绿读数＋停卡呈报三重证据引注〔215da315 提交信息〕——前提消化链条完整，缺 T0 复核读数＝审计不过）；④核对行为改动零处——diff 中任何行为改动（含收尾四语句语义漂移）＝审计不过，收尾迁移的等价性由对拍 V2 运行态序列＋V5 报告逐字承载；⑤检查测试削弱（对照第 16 节零申报）与内部字段直查受控例外（本批零直查——新形态 stats 经报告公开面观测）。 ## 18. MC／数值与 RNG 零触碰声明 diff --git a/tools/render_gate.sh b/tools/render_gate.sh index b39e209a..d6443f25 100644 --- a/tools/render_gate.sh +++ b/tools/render_gate.sh @@ -18,6 +18,10 @@ # ④ 基准档 1280 单档（Q4）。1920 档注记：16:9 全屏下 stretch=canvas_items/aspect=keep 等比 # 1.35×+左右黑边各 96px，构图与基准档一致（分辨率案甲）——分辨率维度不重复建闸。 # （1920 布局机检面现无承载，待补。） +# ⑤ 脚本错误扫描（三硬闸之二）：shot/fx/board 三段 Godot 日志逐段过 tools/error_scan.py， +# 命中 SCRIPT ERROR/Parse Error 即红（标记与 run_smoke.py 同源）；python 工具自身输出不扫。 +# 此类错误不改退出码、不计失败数，且会中断所在函数的剩余断言——只能由外部扫日志。 +# 新增日志段必须同步加扫描调用，漏加＝该段静默错误漏网。 # 过程产物纪律（Q2）：一切截图 PNG 落 mktemp 临时区，闸毕即弃——任何过程 PNG 禁入 git； # 例外=game/tests/golden/ 基线（测试资产入库，.gitignore 已核不挡）。 # 窗口化运行会短暂弹 Godot 窗口（本机可开窗口径）；禁改 --headless 跑本闸 @@ -41,6 +45,15 @@ kill_orphans() { local p; for p in $(orphans); do taskkill //F //PID "$p" >/dev/null 2>&1; done } +scan_log() { # scan_log <段名> <日志>——脚本错误扫描；日志不可读（error_scan exit 2）同判红 + local name="$1" log="$2" + if ! python "$REPO/tools/error_scan.py" "$log" >"$TMP/err_scan.txt" 2>&1; then + echo "[render_gate] FAIL — $name 脚本错误扫描未通过（命中或日志不可读）：" + sed -n '1,6p' "$TMP/err_scan.txt" | sed 's/^/ /' + _rc=1 + fi +} + # 冷检出刷导入（.godot 不入 git，fresh worktree 首跑一次性付） if [ ! -f "$GAME/.godot/uid_cache.bin" ]; then echo "[render_gate] 冷检出：editor --quit 刷导入（一次性，可到 1-2 分钟）" @@ -66,6 +79,7 @@ if [ "$_rc" -eq 0 ]; then _rc="${PIPESTATUS[0]}" [ "$_rc" -ne 0 ] && echo "[render_gate] FAIL — shot_checker A-D 断言存在红（S1 停机点：首跑存量 FAIL 全量呈报登记待办清单）" fi +scan_log "shot_probe" "$TMP/shot.log" echo "======== fx_shot_probe 三时刻取证（Q7） ========" FX="$TMP/fxshots" @@ -77,6 +91,7 @@ if [ "$st" -eq 124 ] || [ "$st" -eq 137 ]; then elif [ "$st" -ne 0 ]; then echo "[render_gate] FAIL — fx_shot_probe 退出码=$st（取证失败=闸红）"; _rc=1 fi +scan_log "fx_shot_probe" "$TMP/fx.log" fx_evidence() { # 取证双检：模式文件存在且非零字节（零字节/缺失任一即 FAIL——Q7） local pat="$1" min="$2" n=0 f for f in "$FX"/$pat; do @@ -101,6 +116,7 @@ if [ "$st" -eq 124 ] || [ "$st" -eq 137 ]; then elif [ "$st" -ne 0 ]; then echo "[render_gate] FAIL — board_shot_probe 退出码=$st（取证失败=闸红）"; _rc=1 fi +scan_log "board_shot_probe" "$TMP/bd.log" for b in board_L1_dungeon.png board_L2_underdark.png board_L3_deep_underdark.png board_meta.json; do if [ ! -s "$BD/$b" ]; then echo "[render_gate] FAIL — 取证缺失/零字节: $b"; _rc=1; fi done diff --git a/tools/run_all_gates.sh b/tools/run_all_gates.sh index 05885698..86c5dbfc 100644 --- a/tools/run_all_gates.sh +++ b/tools/run_all_gates.sh @@ -11,11 +11,11 @@ # 回执即作废须重跑；跑闸时若代码面还带着未提交改动，回执会标 dirty_game，合回闸拒绝采信。 # # 用法：tools/run_all_gates.sh [--code|--docs|--quick] -# --code 只跑代码域闸（00 冒烟测试／01 系统测试／02 单元与集成测试／03 探针 --click／ -# 04 探针 --full／05 渲染闸／09 静态扫描＋10 熵增闸） +# --code 只跑代码域闸（00 冒烟测试／01 系统测试／02 单元与集成测试／03 场景探针／ +# 05 渲染闸／09 静态扫描＋10 熵增闸） # ——本批改动含 game/ 下非 .md 的行为载体（代码/测试脚本/探针/场景/数据表/素材）时用。 # 关联档选闸（2026-10-29 用户裁，推广自 2026-10-28 影响面选闸）：00 冒烟／01 系统测试／ -# 09 静态扫描三件保险恒跑不降；03/04 探针与 05 渲染闸维持影响面口径（本批 game/ 改动 +# 09 静态扫描三件保险恒跑不降；03 场景探针与 05 渲染闸维持影响面口径（本批 game/ 改动 # 全在测量面 game/tests、game/sim 时记 SKIP）；02 单元与集成改「选套件跑」——套件集＝ # 需求卡片申报 ∪ diff 推导并集（算法与套件族映射表见脚本中部），横切面（公共件/数据表/ # autoload/数值·存档·RNG·结算触面）回落全套件；回执 scope 字段记 full｜related。 @@ -218,7 +218,7 @@ suite_terms_for() { # suite_terms_for <仓库相对路径> → stdout: 套件 # ── 关联档选闸（2026-10-29 用户裁，推广自 2026-10-28 影响面选闸）── # 三件保险恒跑不降：00 冒烟／01 系统测试／09 静态扫描（10 熵增闸照旧两域都跑）。 -# 03/04 探针与 05 渲染闸维持影响面口径：本批 diff 相对 master 分叉点的 game/ 改动若全部落在 +# 03 场景探针与 05 渲染闸维持影响面口径：本批 diff 相对 master 分叉点的 game/ 改动若全部落在 # 测量面（game/tests/**、game/sim/**——测试与模拟驱动件，不触场景树与渲染输出）则记 SKIP。 # 02 单元与集成改「选套件跑」：套件集＝申报 ∪ 推导 取并集—— # 申报：在册需求卡片（本批 diff 触及的 reports/需求卡片*.md ∪ roadmap「进行中」迭代行登记的 @@ -241,7 +241,7 @@ if in_domain code; then _behavior="$(echo "$_gfiles" | grep -vE '^(game/tests/|game/sim/)' || true)" if [ -n "$_gfiles" ] && [ -z "$_behavior" ]; then NONBEHAVIOR=1 - echo "[gates] 影响面选闸：game/ 改动全在测量面（tests/sim）——03/04 探针/05 渲染闸 → SKIP（00/01/09 三件保险恒跑）" + echo "[gates] 影响面选闸：game/ 改动全在测量面（tests/sim）——03 场景探针/05 渲染闸 → SKIP（00/01/09 三件保险恒跑）" fi # ── 02 选套件推导（只对行为面代码文件做——测量面文件不进推导，其验证就是 02/09 自身）── _codefiles="$(echo "$_gfiles" | grep -viE '\.md$' | grep -vE '^(game/tests/|game/sim/)' || true)" @@ -412,15 +412,12 @@ gate "00 冒烟测试" "smoke_boot.log" "$PY" "$REPO/tools/run_smoke.py" gate "01 系统测试" "system_test.log" "$PY" "$REPO/tools/run_system_test.py" # ── 2. 单元与集成测试 ── gate_unit -# ── 3. 场景探针 · 行为走查段 ── -# ── 4. 场景探针 · 断言段（iter27 漏跑的就是这一段）── +# ── 3. 场景探针（走查＋断言十件一次跑齐；iter27 漏跑断言段事故后固化为无条件整闸）── if [ $NONBEHAVIOR -eq 1 ]; then - NAMES+=("03 探针 --click"); EXITS+=("SKIP"); LOGS+=("") - NAMES+=("04 探针 --full"); EXITS+=("SKIP"); LOGS+=("") - echo ""; echo "[gates] 03/04 探针 → SKIP（影响面选闸：测量面改动不触场景树与探针断言面）" + NAMES+=("03 场景探针"); EXITS+=("SKIP"); LOGS+=("") + echo ""; echo "[gates] 03 场景探针 → SKIP（影响面选闸：测量面改动不触场景树与探针断言面）" else - gate "03 探针 --click" "probe_click.log" bash "$REPO/tools/probe_gate.sh" "$GAME" --click - gate "04 探针 --full" "probe_full.log" bash "$REPO/tools/probe_gate.sh" "$GAME" --full + gate "03 场景探针" "probe.log" bash "$REPO/tools/probe_gate.sh" "$GAME" --click --full fi # ── 5. 渲染面（窗口化，依赖 PIL）── if [ $QUICK -eq 1 ] || [ $NONBEHAVIOR -eq 1 ]; then diff --git a/待办清单.md b/待办清单.md index 0b1cb2f6..f5df4bf2 100644 --- a/待办清单.md +++ b/待办清单.md @@ -92,9 +92,9 @@ **状态**：待执行 -#### 闸基线 02/09 两键换代——存量红指纹已随迭代 41 测试债批归绿（2026-10-29 登记，来源=批次移交） +#### 闸基线 02/05/09 三键换代——存量红指纹已消除或现行不复现（2026-10-29 登记、2026-10-30 并入 05，来源=批次移交） -**实况**：证据＝迭代 41 测试债批代码域闸实测（worktree 分支 `testdebt-20261029`，回执 commit afd1a41f、域=code、scope=full、零新增红），02 单元与集成与 09 静态扫描两闸判「基线红 → 现绿（改善）」；基线 `game/tests/.gates/baseline.json` 里这两键仍记着已消除的存量红指纹（02 fp f9865f1a5a44＝9 套件失败；09 fp 1a9ad773489f＝S9 24 处＋S10 4 处＋S11 1 处），留着不动的后果＝日后同类红回归会被判「存量红·对基线零新增」静默放行。待做＝两键按归绿实测重生成（写 exit=0／绿指纹），改的是 `game/` 下非 .md 文件＝代码面，须随下一个代码批在 worktree 内一并落、禁主区直改；人工确认凭据＝上述回执与 reports/迭代41测试债批-实现报告-2026-10-29.md 第三节。本条目无设计段（机械重锚），不走写卡与编排。 +**实况**：证据＝迭代 41 测试债批代码域闸实测（worktree 分支 `testdebt-20261029`，回执 commit afd1a41f、域=code、scope=full、零新增红），02 单元与集成与 09 静态扫描两闸判「基线红 → 现绿（改善）」；05 渲染闸在 2026-10-30 脚本错误扫描批主区真跑 `bash tools/render_gate.sh` exit=0 全绿（shot/fx/board 三段扫描零命中、残留 Godot=0、golden changed 0.00%），其红键在现行主区不复现。基线 `game/tests/.gates/baseline.json` 里这三键仍记着历史红指纹（02 fp f9865f1a5a44＝9 套件失败；05 fp de89589e49ed；09 fp 1a9ad773489f＝S9 24 处＋S10 4 处＋S11 1 处），留着不动的后果＝日后同类红回归会被判「存量红·对基线零新增」静默放行。待做＝三键按归绿实测重生成（写 exit=0／绿指纹），改的是 `game/` 下非 .md 文件＝代码面，须随下一个代码批在 worktree 内一并落、禁主区直改；05 须在素材齐盘预检后跑出真值（冷检出空盘态下的渲染红不作数）。人工确认凭据＝上述回执、reports/迭代41测试债批-实现报告-2026-10-29.md 第三节与本批提交说明。本条目无设计段（机械重锚），不走写卡与编排。 **改动面**：游戏代码 @@ -110,12 +110,12 @@ #### 零豁免五键清偿批——S13 余量五键真修四卡（2026-10-29 登记，来源=会话提及） -**实况**：用户 2026-10-29 裁「不允许任何豁免」——S13 三条豁免注销（architecture.md v1.25 落文），五键真实修复至阈值内：main.gd 类变量 49→15（组合根注册面：ui_registry 一门面＋三域容器，约 867 处探针/系统测试引用改址 `main.ui.<域>.<句柄>`，7 别名/转发成员消灭）／battle_orchestrator 类变量 38→15（RoundCycle＋BattleFacts 两件，叠加迭代 42 轴丙 BoardInstaller；encounter 归 BattleFacts、attune 改判状态两成员随件）／board_cell_unit 类变量 30→10＋standee_body 类变量 19→10（各拆两独立文件，gdstyle inner-class 展平计数口径）／tune_sim 循环内 await 消除（process_frame 信号步进状态机；含**申报行为改动**一处：运行态收尾由每局置假还原为整批收尾单次置假——消除与 wd8/ui_tune_probe 断言面的静态矛盾，T0 实证定谳）。设计闭合凭据＝architecture.md v1.25＋五份设计文档（reports/ 下五件 设计-组合根注册面-2026-10-29.md／设计-战斗编排类变量归约-2026-10-29.md／设计-单格绘制状态件-2026-10-29.md／设计-站桩状态件-2026-10-29.md／设计-测速循环去await-2026-10-29.md）。四卡已成文（均零待裁点开工门 U0）： +**实况**：用户 2026-10-29 裁「不允许任何豁免」——S13 三条豁免注销（architecture.md v1.25 落文），五键真实修复至阈值内：main.gd 类变量 49→15（组合根注册面：ui_registry 一门面＋三域容器，约 867 处探针/系统测试引用改址 `main.ui.<域>.<句柄>`，7 别名/转发成员消灭）／battle_orchestrator 类变量 38→15（RoundCycle＋BattleFacts 两件，叠加迭代 42 轴丙 BoardInstaller；encounter 归 BattleFacts、attune 改判状态两成员随件）／board_cell_unit 类变量 30→10＋standee_body 类变量 19→10（各拆两独立文件，gdstyle inner-class 展平计数口径）／tune_sim 循环内 await 消除（process_frame 信号步进状态机；**零行为改动**——v1.0 申报的收尾置假还原已被迭代 41 测试债批 215da315 先行完成并申报，2026-10-30 实现段按卡片预设停机点停卡、三重证据定谳前提已消化，按停卡呈报建议案重裁剥离行为改动申报：iter44 worktree 分支 reports/iter44-实现报告-2026-10-30.md §5）。设计闭合凭据＝architecture.md v1.25＋五份设计文档（reports/ 下五件 设计-组合根注册面-2026-10-29.md／设计-战斗编排类变量归约-2026-10-29.md／设计-单格绘制状态件-2026-10-29.md／设计-站桩状态件-2026-10-29.md／设计-测速循环去await-2026-10-29.md）。四卡已成文（均零待裁点开工门 U0；测速循环批卡 2026-10-30 停卡重裁 v1.1——前提消化后剥离行为改动申报、T0 改现状复核、夹具申报差异两处减一处，仍零待裁点）： 关联文档清单： - 组合根注册面批 reports/需求卡片-组合根注册面批-2026-10-29.md - 呈现层状态件批 reports/需求卡片-呈现层状态件批-2026-10-29.md（单格＋站桩两设计并一卡） -- 测速循环批 reports/需求卡片-测速循环批-2026-10-29.md +- 测速循环批 reports/需求卡片-测速循环批-2026-10-29.md（v1.1，2026-10-30 停卡重裁） - 战斗编排归约批 reports/需求卡片-战斗编排归约批-2026-10-29.md（接收方＝在册条目「战斗域结构深拆批」宿主瘦身子项，不在本条目记账） 编队待迭代 42 合回（battle_orchestrator／board_view 触面碰撞约束），具体迭代归属归编排段；编入前置＝各卡过 grilling 复核门。gdstyle inner-class 计数截断缺陷已在册（architecture v1.25）——基线登记值欠估，各批按真实口径施工；各批全部合回后一次人工 --refresh --force 收账（一并清迭代 42 归绿 6 键离账——批末实测已归绿而基线仍记 16 键：board_view 四键＋level_runner `_enter_node`＋battle_orchestrator 文件长；各留债键按重锚时实测重登记，冻结禁恶化口径不变）。2026-10-29 编排（用户裁编法）：卡 A 组合根注册面批＋卡 B 战斗编排归约批＋卡 D 测速循环批编入**迭代 44**（≈7.875 个工作日，中值合计）；卡 C 呈现层状态件批编入**迭代 45**（与补件批同批，卡 C 先于其 board_hover 半边施工）。grilling 复核门已过（reports/复核-grilling-零豁免五卡-2026-10-29.md，五卡有条件成立、修正全落，提交 9855bf0a）。 @@ -327,9 +327,11 @@ **实况**：扩板已落地（四档板型 10/12/13/14 在跑），2026-10-26 文档面已按单点维护归一：①格边长口径的唯一出处收敛到 [战斗屏规格](design/gdd/ux/battle.md)「棋盘格尺寸公式」——公式含格间距与垂直预留，可读下限 30px，1280 档算例 43/36/33/30 标注为随布局变化的非契约值；②[美术圣经](design/art/art-bible.md) §8.1 改为指路 battle.md、只锁资产侧两条比例，§8.2 甲类整数倍纪律已剔除砖面 tile（瓦片随格边长整格铺满，允许非整数倍）；③[HUD框架](design/gdd/systems/表现与支撑/HUD框架.md) 只留装板可行性不等式，删去 36/45 定值档与旧算例；④demo 原型 44px 那一路随 `src/` 退役消失。剩余为代码面两处与口径不同步：`game/probe/layout_probe.gd:15` 的格子可读门槛 `MIN_CELL := 36.0` 仍取 12×12 的旧锚点值，比 battle.md 的可读下限 30px 严——现探针只进 10×10 的 L1 故仍全绿，一旦覆盖 13×13（33px）与 14×14（30px）即会误报红；`game/tests/unit/core/board_gen_reward_test.gd:53` 的格边长冒烟只跑 L1/L2，13×13 与 14×14 无覆盖。断言改动后按 `game/tests/README.md`「能力清单」核对受影响行（验证集清单已退役——test-conventions §8.3）。 +- 需求卡片：[需求卡片-棋盘格边长口径收口批-2026-10-30](reports/需求卡片-棋盘格边长口径收口批-2026-10-30.md)（2026-10-30 已写卡，零待裁点——算式单点提取经 `BoardView._cell_for`／探针门槛 36→30 对齐 battle.md 可读下限／冒烟扩 13×13 与 14×14；探针不扩到 L3，最大板可读面改由实板面积推定断言承担） + **改动面**：游戏代码 -**状态**：待写卡 +**状态**：已写卡 #### 立绘清晰度回退评估——是否改用高清图（2026-10-13 登记，来源=playnote） @@ -364,15 +366,6 @@ **状态**：待美术设计（备选） -#### 在途草稿整理批——3349 个失管草稿（2026-10-06 登记，来源=审计发现） - -**实况**：审计 P2-1——`artwork/ui-reuse-2026-09-23/` 独占 3043 个草稿（91%），vN 命名率 0%，冗余 41 文件，残留非素材文件（.url ×8 / .ogg ×6 / .ai ×2 / .swf ×1）；根因＝脚本链覆盖「生成→验证」但**缺「草稿整理」段**。整理涉及**批量文件移动/删除**，按用户惯例须先 dry-run 呈报清单、经确认再分批执行。执行窗口随实现批；开工＝用户点名。 -- 相关文档：[art-bible](design/art/art-bible.md) §8.3 归档纪律（原则已写入）· 资产管线批（工具+文件操作） - -**改动面**：美术素材＋工具代码 - -**状态**：待写卡 - #### 战斗区背景图替换——B 区舞台插画 + 临时光柱退役（2026-10-07 登记，来源=会话提及） **实况**：B 区舞台现行＝程序化平色底（`UiKit.STAGE_BG`，`battle_stage_view.gd:47`）+ **顶光柱氛围层**（`:55-63` 四柱，x 基准 110/900/1055/1210@1280，60 段叠层矩形自顶向下渐宽窄渐隐〔顶 α26→0〕，层序＝bg < 光柱 < 世界）——二者均系 §6.1 方向稿的**临时占位**，用户口径「光柱只是临时方案，换正式战斗背景后效果更好」。正式件已立资产契约：`stage/stage_bg.png`（源 1280×270，B 区全高含明细带底；三关换挡走 §4.3 `wall_ambient` tint 槽，不按板出三张），属审计 P1-2 查得的「B 区舞台背景插画 0 张」缺口。**光柱在背景到位后顺带退役或吸收进背景绘制**（不再作为独立程序层）。**与立绘探顶解耦**：大体档「允许向上溢出盒顶 N px」的判定（2026-10-07 用户裁甲案）**不依赖光柱是否存在**，换背景零返工。 @@ -384,6 +377,29 @@ **状态**：待美术设计 +#### 棋盘封印印记图形换代——现件仍是扫雷旗形，改法阵或锁链待设计（2026-10-30 登记，来源=会话提及） + +**实况**：用户口径＝棋盘封印图标现在还是按旧扫雷的做法画成一个旗子，希望换成法阵那样的封印、或锁链；形未定，先做设计讨论再出图。现状证据： + +- 现件 `game/assets/art/board/seal_mark.png`（32×32 纯黑剪影）＝经典扫雷旗形（旗面 + 旗杆）。2026-09-28 那次只定了色（旗朱→封印紫→封印黑 `#000000`），图形一直没动。 +- 消费面两处，换形同时受影响：棋盘侧 `game/presentation/views/tile_palette.gd:19`（`TILE_SEAL_MARK` 常量）→ `board_view.gd:616` 未开格封印槽绘制，盘上缺图时回落单字「封」（`board_view.gd:654-658`）；战末弹层的「金蜡封徽记」复用同一张图（金底 52×52 面板 `battle_end_overlay.gd:65-69`，叠 32px 印记 `:84`）——蜡封徽记要不要跟着换是独立一裁。 +- 文档侧口径仍以旗为形：art-bible §4.1 封印黑条内含「旗杆米白保可读」这一旗形前提、§3.2 封印印记条只锁色与格内栈位；art-assets-checklist §4 封印特效行写「印记旗面走封印黑」「印记常显形态可与 §3.3 旗面像素化合并出」；ux/battle.md:128 呈现术语注记与 :270 悬停三态光标「封印（印记形）」。 +- 术语层已闭合，本条只欠呈现层：「旗」概念 2026-10-18 用户裁全库退役（动作=封印、印记=封印印记、板面单字=「封」），图形停在退役前的形态。 + +关联文档清单： +- 相关文档 [美术圣经](design/art/art-bible.md) v3.23——§3.2 封印印记条（:167）· §4.1 封印黑条（:202）· §1.2 格内优先级栈 · §1.4 格子样张 +- 相关文档 [美术资源依赖清单](design/art/art-assets-checklist.md)——§3.3 雷/封印印记/数字格面像素化（:118）· §4 封印特效行（:162） +- 相关文档 [美术素材状态清单](design/art/art-status-checklist.md)——P2「雷/封印印记/数字砖面全套」◐ · P3「封印特效」⬜ +- 相关文档 [战斗屏 UX](design/gdd/ux/battle.md)（Last Updated 2026-10-29）——:128 呈现术语注记 · :270 悬停预承诺三态光标 · :261 未开格封印交互行 +- 相关文档 [术语表](design/gdd/术语表.md) v1.25——「封印」条（:15）· 用语规范禁用字面条（:184） +- 相关目检项 [体验验证清单](体验验证清单.md) 第 4 条「封印印记贴图三关加载」（:317，现判据只验贴图是否加载、不验形状） + +**缺口**：还差一次封印印记图形的设计讨论（形未定，法阵／锁链两案并列，禁代裁），讨论须一并裁五点：①形＝法阵（圆形阵纹）还是锁链（束缚感），或第三种方案；与危险格巢穴纹、奖励徽章的剪影语言（art-bible §3.1 直线几何体）互辨是否成立。②色＝现封印黑 `#000000` 是 §4.1 不变槽成员，法阵若带发光或色相即与该条口径冲突，须重登记不变槽与对比度机检判据（现判据＝未开格墙顶对纯黑 ≥4.4:1）。③尺寸与遮挡＝32×32 内保持可读，格内优先级栈「数字 > 小人 > 封印印记」下法阵铺满整格是否侵入数字字形区（§3.2 验收句禁止）。④连带件＝战末金蜡封徽记与悬停「封印（印记形）」光标是否同步换，还是各留一件。⑤与「封印特效＝施印瞬间特效 + 印记常显形态」两件的关系＝合并出一件还是分两件。裁决写入 art-bible §3.2/§4.1 与两份美术清单条款后，才可出样张与终稿（终稿文件名沿用代码消费名 `seal_mark.png`，除非裁决换名）。 + +**改动面**：文档＋美术素材 + +**状态**：待美术设计 + ### 教学引导 > **节头注记（2026-10-04 用户拍板）**：教学引导定稿批整体改排 **Beta 阶段**——当前 Alpha 版不做教学相关工作，本节五条全部随之改排（2026-09-19 的 Alpha 排期拍板被本拍板取代）。同日五问讨论已形成初裁与设计提案，提案已归档 `archive/` 目录（磁盘留存、不入 git，Beta 批立项底稿，引用以其「归档状态与初裁记录」节为准）。初裁摘要：①教学形态＝丙1 混合（首次冒险编排式首遇提示〔挂 first_script 锚、不锁操作〕+其余全程情景触发）；②「因果教学顺序」问题**注销**——只教扫雷操作，结算读法不设教学（用户裁：结算只是表达、展现、演出，无策略内容；展示层每行带来源标注已自带归因；教学引导.md 旧前提〔设计目的句/P0 候选归因提示/验收第 2 条〕随 Beta 批文档定稿清除）；③图例面板按循环段落分组、无结算段；④不做「再教一次」——改走独立「帮助」手册面（全部内容放一个文档）；⑤教学文案内容权归设置与本地化（两文档负责表对齐随 Beta 批）。**未裁三疑点**（Beta 立项时先裁）：增益叠层节奏条目去留／帮助入口位置（设置面为推荐）／图例面板与帮助手册的内容分工。 @@ -453,17 +469,6 @@ ### 文档与结构 -#### qa/ 实现报告收尾·孤儿遗留七项余二项（2026-10-14 登记，来源=批次移交） - -**实况**：qa 收尾批核查 iter19 系列出口报告遗留移交项时发现**不在待办清单在册**的七项（acceptance-package §三.2/card0 §5.3/followup §七.3/uibackfill §6.2-4/verify §6.1/3/7）。已结案的（tree_rules 受理闭环、X/Y 双源、S1 七项违例修复、提灯目检项、tests.yml 休眠等）已在各报告标注结案证据，不入本条。2026-10-24 处置：第②③④项随迭代 36 卡C 落地销号（营地 STONE 深档六处、迷雾三关派生行、开场后缀条件加算区），第⑥项按用户 2026-10-24 裁整条注销（TG_* 装饰带非文字，不另立探针）。余二项均为挂号备查/顺路件，无排期承诺（第①项 design/diagrams 越界 2026-10-28 实查核销——目录磁盘与 git 均已不存在，越界实体消失，白名单甲/乙两案失去对象）： - -5. **字面量墨收测前置**（iter19 卡②遗留）：bcard 属性描述/类型脚注/✓章/primary_button 字四处内联 Color8 无常量形态，收测需先在 ui_kit 立常量（呈现批顺路件，改 ui_kit 越当批面）。落点＝呈现优化批（ui_kit 常量面） -7. **商店房截图纳屏**（iter19 卡①遗留）：商店房截图纳屏留后续呈现批（考证结论在 shot_probe 头注）。本项原并列的「`数据配置.md:223` 历史行死指」半句已于 2026-10-21 实查核销——禁写变更记录规约生效后该文件的版本史行整段已不存在（现全文 212 行，文内零版本史行），被指对象随之消亡。落点＝呈现批 - -**改动面**：游戏代码＋工具代码 - -**状态**：待写卡（备选） - #### 主角棋盘小人像素管线重产——原「美术资产链路审计两项 P0」之 P0②（2026-10-09 登记，来源=审计发现） **实况**：主角棋盘小人未走像素管线（插值糊图），重产事项未在任何登记处在册；审计报告 HTML 件从未进版本库、现已删除，现状以本条正文为准。2026-10-13 用户令随「UI 美化三层诊断」登记：本条属第三层「观感提升」，Alpha 阶段需完成。原 P0①（文档面：两处引用已丢失的冻结样张路径）2026-10-28 按用户裁乙销号——art-bible §1.4 冻结记录与 art-status-checklist P0 样张行删路径、留「产物原件已丢失」，机检报告凭据（git 提交 7a847c7）保留。 @@ -474,29 +479,6 @@ **状态**：待美术设计 -#### 技术债观察登记——长函数余量与 lambda 连接防回归（2026-10-15 登记，来源=批次移交） - -**实况**：证据＝迭代 27 需求卡片两项「登记待办清单观察」义务批内漏登、卡片核对时补登——①**长函数 17 个**中非结算段的装配/校验函数（`level_map_screen.gd` 选路装配 155 行/`camp_overlay_view.gd` 152 行/`debug_overlay.gd` 114 行/`treasure_item_table.gd` schema 校验群等；`main._build_ui` 已随场景拆分自然解体、`_settle`/`_resolve_hero_attack` 已随波二拆段＝17 中 3 件已消解，余 14 件）；②**lambda 连接 76 处**（presentation 6/smoke 62/tests 8——实读无泄漏，登记防回归）。长函数拆分无独立需求驱动不动；lambda 连接数若有审计工具化需求归类型闸后续。 - -**改动面**：游戏代码 - -**状态**：待写卡（备选） - -#### 测试域遗留（2026-10-16 登记，来源=批次移交） - -**实况**：证据＝迭代 29 批内未收余量（交付报告与验收审计申报，报告已按吸收即死退役、git 历史可考）。迭代 29 把验收语义从「跑一遍没崩＝通过」扭到「三层完备＋判定可靠」，三硬闸（退出码／脚本错误扫描／断言数下限）已落地，L2/L3 从零建起承载。本批未收的余量集中登记在此，均不阻塞、不排期： - -| # | 事项 | 落点与要点 | -|---|---|---| -| 1 | **余下 3 个 core 模块仍零指名单测**：`board_data`／`reward_economy`／`skill_lottery` | 测试基建批。本批补了 minesweeper_rules／board_generator／config_db_resolver／config_db_cross_validator 四件；余三件按同一手法补（判据＝能否在 `--script` 模式不加载 autoload 验完） | -| 2 | **render_gate 的 SCRIPT ERROR 扫描仍缺失** | 测试基建批。判定主体是 golden 容差与取证文件存在性，脚本错误不改退出码时无扫描面；本批只把矩阵状态如实记为「缺失」，收它的写法待裁 | -| 3 | **E 级卫生件**（test_kit static var 串台风险、4 套件自建断言出口、157 处 untyped 容器、76 处 lambda） | 工程债批。本批只统一了**新写**断言的出口，存量未动；test_kit 的 static var 是「并发跑批」的前置障碍（并发分层方案的前提） | -| 4 | **行覆盖率度量缺失** | 基建评估项。Godot 无内建、第三方属新基建；现行补洞靠「零指名清单 + 人工判定」，是否引入度量待裁 | - -**改动面**：游戏代码 - -**状态**：待写卡（备选） - #### 营地交互重做·五张需求卡片（2026-10-18 登记，来源=会话提及） **实况**：2026-10-17~18 需求讨论澄清会话产出结论文档，用户令按工作内容维度拆卡、卡片不预占迭代号。五卡已写（顺序＝执行顺序）：①存档制数据层改造批 ②主菜单三入口化批 ③选档界面新建批 ④营地场景图新建批 ⑤Esc 浮窗与营地顶栏批（各卡估时与内容见卡片自身）。三道复核：grilling 子 Agent 对抗审查（五卡各一）→v1.1；用户裁定「事项按推荐的来」→v1.2；用户两次订正（**卡④留在批内不踢出**；前置归用户自立批，Agent 不代跑不代产——曾越权起草的点选反馈设计稿 v0.1 已撤回删除）→卡④ v2.2；**卡④ 2026-10-21 用户令退回美术设计段（v2.3，非有效卡，美术设计闭合后重立卡）**。①②③⑤ 零待裁点可编工程波次：②③ 硬耦合同波（「进入存档」钮落点＝选档界面），① 是 ③ 前置；⑤ 随 ④ 代码波同行。Alpha 出口裁决（2026-10-21 用户裁）：五卡整体列入 Alpha——08「三 · 界面」已开条目，Alpha 出口依赖五卡完工与卡④三个用户侧前置销号。**工程波次一已落地（2026-10-22）**：卡①②③ 随迭代 33 实现批合回 master（合并提交 ebf40947／5c2a7bcf／508f190b，总收口 6e8f72b2），三卡需求卡片与批次产出物已按「吸收即死」退役（设计口径已吸收进 存档序列化.md／生涯.md／camp.md／08-Alpha版本标准.md v1.13／art-bible.md v3.18，反哺落文凭据=文档批 git 提交 1864f157＋9f7b3e8a）；卡④（营地场景图）退回美术设计段待重立卡、卡⑤（Esc 浮窗）随卡④ 代码波同行，两卡未编排——编入哪一迭代由用户经迭代编排段发令。关联文档：