复核(grilling五卡)+修正: 复核报告落盘——五卡全部有条件成立/零回炉,file:line抽验约90处命中,键账成员迁移账全平,与五项用户裁决零冲突;blocker1项修正(卡A与iter42文件交叠失实声明改为如实+开工前置=iter42合回);应修9项全落——卡A/B互写ui_input_probe共享触面禁并行,卡一board_hover半边硬前置升格+resume_adventure行号订正:141+V1判据面改型后口径+引用束计数实数,卡一表D补_flush_row_queue转发壳归宿,卡二对照表行2/11静态判据移域口径申报(行2改回归主证/行11改全量闸半边),卡三算术订正(删24项=37-22-2+2新=15账平),卡五测量面专属能力行「调参测速批量模拟」当场入表并改锚三行(废悬置)

This commit is contained in:
DKChan committed 2026-10-29 21:06:12 +08:00
1 parent 755dd8232c
commit 9855bf0a10
7 files changed
+105 -18

No files matched your search

+1
View File
@@ -129,6 +129,7 @@ tests/
| 中文字体随包与字形覆盖 | HUD框架 | `UiKit.load_font()` | `ui_font_asset_test.gd:_init`;`theme_projection_test.gd:_smoke_global_theme` |
| 地形瓦片套与格面数字可读 | HUD框架 | `TilePalette.digit_ink_mode()`/`TilePalette.normalize_floor_luma()` | `terrain_tile_sets_test.gd:_test_set_completeness`;`terrain_tile_sets_test.gd:_test_hue_domains`;`terrain_tile_sets_test.gd:_test_digit_ink_modes` |
| 站桩敌人呈现与结算演出落点 | 战斗表现 | `BattleStageView.enemy_standee_center()`/`BattleEndOverlay.open_victory()` | `standee_fx_sweep_test.gd:_init`;`pacing_queue_test.gd:_init` |
| 调参测速批量模拟(逐帧步进与统计读数) | 调参测量 | `TuneSimController.run()`(调试浮窗批量模拟入口) | `tune_sim_batch_parity_test.gd:_init`(配对对拍套件,随测速循环批建) |
| 战斗叙述与终局文案(数值带入/胜负互异) | HUD框架 | `BattleNarrator.battle_end_text()`/`BattleNarrator.boss_name()` | `battle_narrator_test.gd:_test_numeric_lines_carry_values`;`battle_narrator_test.gd:_test_end_text_differs_by_result`;`battle_narrator_test.gd:_test_boss_name_uses_boss_rowset` |
| 玩家面文案与危险格格面字形 | HUD框架 | `BoardView.rebuild()`/`StatusSlotRow.set_effects()` | `player_copy_sweep_test.gd:_sweep_board_glyph`;`player_copy_sweep_test.gd:_sweep_legend`;`player_copy_sweep_test.gd:_sweep_hero_panel` |
@@ -0,0 +1,85 @@
# grilling 复核报告——零豁免五卡(2026-10-29,主会话委派)
状态行:对抗式复核完成。方法=逐卡过审点 A–J(验收三问/对照表两端/静态判据形态/能力行锚定/预算实数/拆分纪律/编队碰撞/行为改动完备性/裁决一致性/可施工性),判据=req-card 必备结构 15 节+code-conventions §1.1+test-conventions §8;证据=五卡 file:line 抽验约 90 处(命中率高,个别 1 行漂移属 T0 兜住范围)+五份设计文档口径核对+architecture v1.25+能力清单逐行核对+gdstyle_baseline.txt 键账清点+迭代 42 在飞两卡触面比对+pipeline_gate 全绿。只读复核,未改任何卡与既有文件。
## 卡一:gdstyle 尾波补件批(board_hover+breakpoint_store)
**裁决:有条件成立**(四项编入前须补,均为编辑级补丁,不动拆件方案本身)。
逐条发现:
1. 【应修】卡面 §7 编队注记——「与呈现层状态件批同代时**推荐**其先行」,而呈现层状态件批 §3 已把同一约束写死为「已裁……本批先于其 board_hover 半边合回」的硬义务。同一约束两卡一软一硬,编排段按弱措辞排卡会让 hover 拆件落在旧 u.st 写入面上、board_view 改址对账表(单格篇 §5.1)随之失配。改法:board_hover 半边改成硬前置句「呈现层状态件批合回后施工」;breakpoint_store 半边明示不受此限、可独立先行。
2. 【应修】§8 V1 判据绑定面写「格件 **st** 边框/点迹字段」——本卡自认编排在状态件批之后,届时该读面已改 u.face.*(ui_input_probe 四处改址为状态件批 V4 行),判据面描述按施工时点必陈旧。改法:改写为「格件状态件边框/点迹字段(状态件批合回后=u.face.*)」。
3. 【应修】§3 现状事实「公开入口 `resume_adventure`(:94)」行号错——实查 :94 是 start_adventure,resume_adventure 在 adventure_runner.gd:141。改法:改 :141(T0 重锚虽会兜住,现状事实按规约须代码级准确)。
4. 【应修】§13 预算节「预算 2(_hover/_last_click)**+引用束成员**」「预算 6……**+引用束**」未给引用束成员数,复核门无法对账 ≤15。按 §7/T2 构造面推算 board_hover 约 7(2+cells/minesweeper/diggable+2 Callable)、breakpoint_store 约 14(6+db/rng/主角账三件/curio/stop/bank/loadout)——均达标但后者贴顶。改法:把引用束成员逐一列名计数写进预算表。
5. 【可接受申报】V1 零漂移证明全压既有断言面;悬停 11 函数族中 chord 双击首遇锚(board_view.gd:475 _detect_chord)在「棋盘悬停反馈」三语义行与 ui_click_probe 之外无显式断言,属既有覆盖缺口。零行为改动批不为既有缺口补测不违规,实现报告宜记一句该缺口。
6. 核验通过项:A 两行对照表三问可答(真实入口/判据面/能力行齐);C 对照表零静态行;E 键账全对(board_view 32 实数清点吻合、−2=约30;adventure_runner 28 清点吻合、−6=约22;断点域 6 成员与 9 函数族 file:line 全命中;BREAKPOINT_FIELDS :539 起、breakpoint_resume_test.gd:185 命中);F 拆分职责语句在位、_r0 留宿主防凑计数袋论证成立(board_view.gd:238/:296/:563 三消费方实查);G 与迭代 42 的 board_view 触面已声明、编入待其合回;I 与裁决①②⑤一致(D5 留债、禁落豁免登记、_r0 留宿主);J 一步一动作、无 TBD 类句式。
## 卡二:组合根注册面批(main 49→15)
**裁决:有条件成立**(一项 blocker 级必改+两项应修;机检与数字面全过,方案本身成立)。
逐条发现:
1. 【blocker】§1 编队注记「与迭代 42……**无文件交叠(main.gd 与探针不在其触面)**」与盘面矛盾——在飞并排卡 `reports/需求卡片-level_runner商店委托层拆除-2026-10-29.md` 文件清单明确含 game/presentation/main.gd(改址 1 处)、main_adventure_flow.gd(6 处)、main_overlay_flow.gd(2 处),三者全在本卡触面集(main.gd+三流程件)。用户裁决④要求五卡编队碰撞约束与迭代 42 自洽,此句是失实声明,编排段靠它排卡。改法:改为「与迭代 42 商店委托层拆除卡在 main.gd/main_adventure_flow/main_overlay_flow 三文件有改址点交叠——待其合回后开工,T0 映射表生成时并核其改址点」;T0 步骤同步补一句。
2. 【应修】§8 对照表第 2 行与第 11 行内含静态判据(S13 键账对账「main.gd 实测 15」、grep 残留=0)——姊妹卡三/四/五均已把静态键账判据按 test-conventions §8.4 出口移出对照表(在域口径段申报),本卡两行在表内带静态成分,形态不一致。改法:静态部分移入 §8 域口径静态申报段,行内只留行为主证(双宿主摘要/全量闸回执)。
3. 【应修】转发壳清点漏一件:main.gd:516 `main._flush_row_queue()`(纯转发 `_row_pacer.flush()`,消费方 pacing_queue_test.gd:103+main 内部两处注记)不在「七别名+六转发方法」清单——_row_pacer 迁 ui.screens 后该 Middle Man 壳归宿未声明,与本批净消灭转发壳的方向不一致。改法:表 C/表 D 补一行(退役并改址消费方,或写明保留理由)。
4. 【可接受申报】V4(探针批量改址)与 V10(render_gate)的能力行锚取九探针中单点代表行(棋盘悬停反馈/站桩敌人呈现),语义为最小可得锚且未逐行披露该局限。建议 §8 域口径补一句「探针/渲染行能力锚取代表行」。
5. 核验通过项:A 十一行全齐;E 数字全对平——main.gd 49 个 var 实数清点吻合(grep ^var 恰 49)、49=28 迁(表 A 9+5+14)+14 留(表 B)+7 消灭(表 C)+1 新增=15;四新件预算(2/0/0/1 公开方法、3/9/5/14 成员)与 §7.2 接口块逐名一致;LAYER_CONTRACT :39 起、六转发方法 :156/:161/:282/:285/:288/:292、别名七件行号全命中;smoke_boot 六处 get()=4 改 2 留逐字吻合;pacing_queue_test :108/:132/:147/:149、source_guard V1d :69-77、theme_projection V6 :724-725、system_test V1c/V2 :94-109 全命中;D 能力行六名全在 game/tests/README.md 且受影响行核对成立;F §12 复用排除论证(ModalFlow/ModalStack/ui_assembler/run_scope 逐一否决+ConfigDB 三容器先例)充分;唯一面实查成立(game/presentation/ 下四名未建、仅 ui_assembler 在册);I 与裁决①③一致(零豁免、注销句、净消灭);J 估时 3–4 日在冻结线内、步骤全部可核查。pipeline_gate 机检 13 卡全过。
## 卡三:战斗编排归约批(RoundCycle+BattleFacts,38→15)
**裁决:有条件成立**(一项应修算术错;其余全过,是五卡中证据密度最高的一张)。
逐条发现:
1. 【应修】§4 红线句内部算术矛盾:「已迁 **22** 成员声明随迁即删(**21** 迁两件+treasure_inventory 退役+_hero_atk 退役)」——21+2=23≠22。实数=迁两件 22(BattleFacts 15+RoundCycle 7)+退役 2=删声明 24 项;轴丙后宿主 37→13 旧留+2 新=15,账平。architecture v1.25 两行写「收编 7+14=21」与本卡 BattleFacts 15 名单的 1 名口径差,已由 §6 反哺点通道(「批末成员数实测值与在册数字出入」)覆盖,但本句数字须改正以免实现期对账混乱。改法:改「22 迁两件+2 退役」。
2. 【可接受申报】encounter 归 BattleFacts 最弱格标注诚实:设计文档 §6 白纸黑字「它也是本方案最弱的一格」+两条备选砍路(nest_preview_count 解冻/_reward_economy 经授予件中转)均判更差;卡内 L3② 给出实现期证伪的停卡出口、§4 给出 15/15 贴顶与 SealLedger 扩容阀、设计 §8 险点 8 处理了 BoardInstaller bundle 键 encounter 传 _facts.encounter 的同引用零冲突——无隐瞒。
3. 核验通过项:A V0–V6 七行齐(V2 复位边界险点单独配断言、判据绑两快照同键值恒等);E 类变量 38 实数清点吻合(:37-85+:223-227 逐名)、基线两条类级键与「零函数级键」实查一致、保留 15 名单/两新件 8+15 成员账全平;file:line 抽验约 20 处全命中(treasure_inventory setter :48-52、外部注入 level_runner.gd:520、宿主四读 :111/:203/:450/:858、grant_segment :370-371、combat_segment :56、settle_segments_test :27 接线断言原文、static_scan S8 :317/S7 :359 九文件清单、run_all_gates PARITY 清量 battle_orchestrator :169、五段构造/三闸/摇号/复位块/完美谓词行号);C 静态判据(键账收敛、S7/S8 增行)已按 §8.4 出口移出对照表在域口径段申报;D 十三处能力行全部在 README 在场且语义对题(V0 锚「回放确定性」为精确锚);F 两新件职责语句+集体身份在位(「持段件者不能是被持者」「事实账不是授予物」)、已否决切法留档;G 编队前置「迭代 42 合回之前禁开工」覆盖与在飞两卡在 battle_orchestrator/level_runner/static_scan.sh/treasure_effects_test 等的全部触面交叠;I 与裁决①③⑤一致;J 估时 2.5–3.75 对设计 §12 的 2–3 日给了上探理由,PARITY 批内实跑须用户点头不占估时。
## 卡四:呈现层状态件批(单格两域件+站桩两件,30→10/19→10)
**裁决:有条件成立**(一项应修编队漏声明;潜伏红处置路径成立,成员拆分账五卡中最难算、已全对平)。
逐条发现:
1. 【应修】与卡二在 game/probe/ui_input_probe.gd 的**同文件交叠两卡均未声明**:组合根注册面批改该探针的 main.X 地址面(:34-43 等约 867 处散布之一),本批改四处 u.face.* 直读(:234-235/:243-244/:250/:374-379)——行位不相交但同文件,两卡又是同一条目(零豁免五键清偿批四卡)的同代候选,编排段靠编队声明排卡,此漏会制造二次 T0 重锚。改法:两卡编队注记互写一句(本卡补「与组合根注册面批在 ui_input_probe.gd 有触面交叠,先后施工各自 T0 重锚」,卡二同步)。
2. 【可接受申报】潜伏红 T0 定谳路径诚实:四处直读实查确在探针源码、迭代 41 已把 hl_visible/hl_color/dot_visible/mutation_mark 迁入内嵌类 _CellPaintState(board_cell_unit.gd:27 起),宿主 Node2D 无同名属性,「Invalid get index」推演成立;卡内预设 L3③「实跑全绿=证伪设计前提=停卡」的出口——未把推断当已证事实写死,定谳义务落在 T0 实跑。
3. 【可接受申报】V4 能力行锚「棋盘悬停反馈」含 case⑭ 变异角标(非悬停三语义)的最小拉伸;同一探针同一入口,可接受。
4. 核验通过项:A 四行齐(V1/V2 golden 主证、V3 演出链、V4 悬停金框/禁入红框/路径点迹/变异角标四处断言面);E 成员账全对平——内嵌类 27 名实数清点吻合、基座 12(11+_owner)+叠加 13(12+_owner)+宿主上收 edge/cell/glow_group+原位 glyph/glyph_color/plate/fog_state/_glow_layer+base/face=宿主 10;站桩真实 25=vitals 11 名+motion 10 名+原 _owner+3 计数器、宿主 10=5 冻结 var+st+mo+3 计数器;31/33 全文件声明数与 :26-122/:125-143、:23-59/:62-68 分区实查一致;九常量 :12-23 逐字命中;C 静态键账判据已按出口移出对照表(§9 域口径段申报,五卡中形态最规范);D 六处能力行全在场且语义对题;F 四新件职责语句+逐件排除论证(TilePalette/HeroSprite/BoardWorld/battle_stage_view/StatusSlotRow)在位,迷雾留宿主的「唯一不产生跨件回引」论证成立;G 与迭代 42 的 board_view 五段改型耦合声明完整(T0 前置+「先于尾波补件批 board_hover 半边合回」反向义务);gdstyle 截断缺陷红线(禁利用截断口径降数、禁把 _portrait_tex 当削减目标)与裁决一致;golden 三张禁换锚禁重制。
## 卡五:测速循环批(信号步进状态机+双实现对拍)
**裁决:有条件成立**(一项应修能力行悬置;对拍方案与申报形态是五卡中最完整的)。
逐条发现:
1. 【应修】能力行锚语义错位且专属行悬置无主:三行对照表能力列锚「站桩敌人呈现与结算演出落点」,该行语义是站桩呈现与终局演出(README 旅程段六,系统列=战斗表现),与本批测量面(批量模拟逐帧步进/运行态贯穿/报告注入)不同域;卡内自承「测量面专属能力行=写卡段后续处理」——但写本卡的会话**就是**写卡段,2026-10-29「当场入表」规则下该行应随本卡增行(真实入口=debug_overlay press_simulate_for_probe() 按钮 pressed 信号链→run(n);代表用例=standee_fx_sweep_test.gd:_init〔wd8〕+tune_sim_batch_parity_test.gd:_init),增行后本列改锚。悬置写法让义务无承载主体、批末无人对账。
2. 【可接受申报】行为改动申报完备性成立:全件 68 行实读核对——:67-68 确为每局置假(潜伏红本体),静态矛盾推演(drv.seen=[true,false]、探针守卫环同段退出四串全红)与源码逐句吻合;改形其余面(常驻连接/is_connected 守卫/首步同步/n=0 同步收尾/_step_frame else 先断连)核为非行为改动;「_finished 若零读者可删」方向是删不是留,不违禁为机检保留成员条款。
3. 【可接受申报】脚本错误中断路径差异按 §8.4 出口声明缺口(协程死亡静默停摆 vs 确定性错误逐帧重试),T3 文档化义务在位,未伪装成可证判据;两形态测量批遇错都整批作废、同级不同形的论证成立。
4. 核验通过项:A 三行齐且真实入口真实(wd8 假驱动回调内读 is_running()、探针真实按钮信号链);E 键账预算表逐规则落卡、成员 5+6=11(信号计入则 12)账与 T1 名单吻合、_run_one_level 5 参临界持平声明在位、改造后全文件零循环键消除逻辑成立(结构性免疫);file:line 全量命中(run :36-52、循环 await :50、FakePanel/FakeDriver、wd8 三断言与〔wd8〕尾缀、ui_tune_probe SIM_GUARD_FRAMES=1800 :16 与 :63-83 四串断言、debug_overlay is_running :77/set_sim_running :81/_sync_sim_button :107、main_debug_flow :72-77 不 await 形态与 :84 互查守卫、hud_presenter 空守卫与 maxi(1,n));C 静态判据与声明缺口均不入对照表;F 零拆出单元的「不拆理由」在位(步进机是私有运行机制、拆出命不出职责语句=凑计数袋,§8 引 code-conventions ②④);遗留 await 形态副本全仓唯一性+夹具不入四扫描面的声明经实查成立(基线 :15 唯一键、S8 九文件不含本件);G 与其余四卡及迭代 42 无产品码触面交集声明成立(run_all.gd manifest 潜在交叠已交编排段);I 与裁决③④⑤逐条一致(双实现对拍入批、收尾还原作为已申报行为改动、错误路径接受并文档化);J 估时 1–1.5 日合理,T0 定谳证据列为审计第③项必查项。
## 总表
| 卡 | 裁决 | blocker | 应修 | 可接受申报 |
|---|---|---|---|---|
| 卡一 尾波补件批 | 有条件成立 | 0 | 4 | 1 |
| 卡二 组合根注册面批 | 有条件成立 | 1 | 2 | 1 |
| 卡三 战斗编排归约批 | 有条件成立 | 0 | 1 | 1 |
| 卡四 呈现层状态件批 | 有条件成立 | 0 | 1(与卡二共担) | 2 |
| 卡五 测速循环批 | 有条件成立 | 0 | 1 | 2 |
全库 blocker 与应修清单(编排段放行前置):
- **blocker(卡二 §1)**:编队声明失实——「与迭代 42 无文件交叠(main.gd 不在其触面)」被在飞商店委托层拆除卡的文件清单(main.gd/main_adventure_flow/main_overlay_flow)直接证伪,须改写为如实交叠声明+开工前置。
- **应修(卡二+卡四,跨卡)**:ui_input_probe.gd 同文件触面交叠两卡编队注记均未声明,互写一句补齐。
- **应修(卡一 §7)**:board_hover 半边的状态件批先行约束从「推荐」升为硬前置,与卡四侧已裁义务对齐;breakpoint_store 半边明示可独立先行。
- **应修(卡一 §8)**:V1 判据绑定面「格件 st 边框/点迹字段」按施工时点改 u.face.* 口径。
- **应修(卡一 §3)**:resume_adventure 行号 :94 改 :141。
- **应修(卡一 §13)**:预算节引用束成员列名计数(board_hover 约 7、breakpoint_store 约 14)。
- **应修(卡二 §8)**:对照表第 2/11 行静态判据移入域口径申报段,与卡三/四/五形态统一。
- **应修(卡二 表 C/D)**:main._flush_row_queue(:516)转发壳归宿补声明(退役改址或保留理由)。
- **应修(卡三 §4)**:「已迁 22 成员(21 迁两件+2 退役)」算术改正为「22 迁两件+2 退役」。
- **应修(卡五 §6/§12)**:测量面专属能力行随本卡当场增入 game/tests/README.md 并改锚三行能力列,废「写卡段后续处理」悬置表述。
总体判断:五卡可以进编排段,但须先落上表一项 blocker 与九项应修——全部是编辑级补丁与声明修正,无一张需要推翻拆件方案或重做设计。证据面结论:五卡 file:line 抽验约 90 处命中(唯一硬伤=卡一处行号),键账与成员迁移账全部数平(含卡四最难的 27/25 内嵌类双 _owner 拆分),两处静态矛盾推演(卡四潜伏红、卡五每局置假)经源码逐句复核成立,与五项用户裁决无一冲突,机检 pipeline_gate 全绿。最大的真实风险不在卡内而在编队声明层:卡二对迭代 42 的无交叠声明失实、卡二与卡四未声明探针同文件交叠——这两处修正后,编排段才有可信的排卡依据。
@@ -21,7 +21,7 @@ architecture.md v1.25 三处在册设计(2026-10-29 零豁免裁设计闭合
## 3. 现状事实(2026-10-29 实查;行号为迭代 42 合回前基线——T0 必须按当轮 master 重测重锚,board_view 的 `_paint_cell` 届时已由迭代 42 拆为五段、行号必漂移)
- board_view.gd:悬停域成员 `_hover`(:70)、`_last_click`(:71);函数族 11 个=`_hover_at`(:442)、`_on_shell_mouse_exited`(:453)、`_detect_chord`(:475)、`_on_cell_hover`(:486)、`_on_cell_unhover`(:491)、`_refresh_hover_after_paint`(:497)、`_apply_hover_visuals`(:503)、`_clear_hover_visuals`(:531)、`_set_cursor_shape`(:538)、`_show_path_preview`(:542)、`_hide_path_preview`(:552)。`_r0`(:72)是出生展开区资格域成员(:238/:296/:563 三消费方),**不随迁**——划入悬停件即凑计数袋。
- adventure_runner.gd:断点域成员 6 个=`_save_manager`(:35)、`_resume_bp`(:36)、`_pending_next_level`(:30)、`_last_level_payload`(:31)、`_last_treasure_cleared`(:32)、`_loadout_seeded`(:37);常量 `BREAKPOINT_FIELDS`(:539-568,27 键);函数族=`_snapshot_breakpoint`(:571)、`_bp_parts`(:583)、`_bp_read`(:636)、`_bp_strategy`(:646)、`_bp_read_int`(:651)、`_resume_ledger`(:182)、`_resume_curio_state`(:193)、`_resume_params`(:218)、`_resume_counters`(:237);公开入口 `resume_adventure`(:94)留宿主薄壳。
- adventure_runner.gd:断点域成员 6 个=`_save_manager`(:35)、`_resume_bp`(:36)、`_pending_next_level`(:30)、`_last_level_payload`(:31)、`_last_treasure_cleared`(:32)、`_loadout_seeded`(:37);常量 `BREAKPOINT_FIELDS`(:539-568,27 键);函数族=`_snapshot_breakpoint`(:571)、`_bp_parts`(:583)、`_bp_read`(:636)、`_bp_strategy`(:646)、`_bp_read_int`(:651)、`_resume_ledger`(:182)、`_resume_curio_state`(:193)、`_resume_params`(:218)、`_resume_counters`(:237);公开入口 `resume_adventure`(:141;:94 为 start_adventure)留宿主薄壳。
- 测试触面:`game/tests/unit/core/breakpoint_resume_test.gd:185` 直读 `AdventureRunnerScript.BREAKPOINT_FIELDS`——随件迁改址(判据零变化)。
- 键账:board_view 类变量 32(键留债目标约 30)、公开方法 27(持平——27 个逐类核对全为探针契约面与依赖单向纪律承载面);adventure_runner 类变量 28(留债目标约 22)。
@@ -75,7 +75,7 @@ architecture.md v1.25 三处在册设计(2026-10-29 零豁免裁设计闭合
- [ ] 三键终值对账(board_view 约30/27、adventure_runner 约22)——留债口径记入实现报告
- [ ] 产出物落位卡:实现报告与反哺点清单写齐方算收口
合计估时约 2.5–3.5 工作日。编队注记:编入待迭代 42 合回;与呈现层状态件批同代时推荐其先行——board_view 的 u.st 写入面改型后,hover 拆件在新写入面上施工。
合计估时约 2.5–3.5 工作日。编队注记:编入待迭代 42 合回;**board_hover 半边硬前置=呈现层状态件批先合回**(该批改型 u.st 写入面后,hover 拆件在新写入面上施工——grilling 复核定级,原「推荐先行」升格);breakpoint_store 半边无此依赖,可独立先行。另:本卡与组合根注册面批共享 ui_input_probe.gd 触面(该批改 main.X 地址面、本批不改探针内 u.face 读面)——同代编排时先后皆可。
## 8. 验证闸——改动—验收对照表
@@ -83,7 +83,7 @@ architecture.md v1.25 三处在册设计(2026-10-29 零豁免裁设计闭合
| 行 | 需求点 | 改动(文件:行/行为) | 验收测试(名称+落点+尾缀) | 层级 | 真实入口 | 判据绑定面 | 能力行 |
|---|---|---|---|---|---|---|---|
| V1 | 悬停域拆件 | board_hover.gd 新建;board_view.gd 函数族与 :70-71 成员迁出 | 复用 ui_input_probe 悬停三语义断言(case①到达/②禁入/③路径预览)+ui_click_probe+type_glow_shot_probe;新增断言零条 | 探针 | 合成 InputEventMouseMotion/MouseButton 经 `_gui_input` 入站口;`hover_probe()` 读面 | 探针可见性断言面(hover_probe 返回值、光标形状、格件 st 边框/点迹字段)+golden 三张零差异 | 既有:棋盘悬停反馈(三语义光标/目标格边框/路径预览点迹) |
| V1 | 悬停域拆件 | board_hover.gd 新建;board_view.gd 函数族与 :70-71 成员迁出 | 复用 ui_input_probe 悬停三语义断言(case①到达/②禁入/③路径预览)+ui_click_probe+type_glow_shot_probe;新增断言零条 | 探针 | 合成 InputEventMouseMotion/MouseButton 经 `_gui_input` 入站口;`hover_probe()` 读面 | 探针可见性断言面(hover_probe 返回值、光标形状、格件状态面边框/点迹字段——施工时点在呈现层状态件批合回后,按其改型后投影面口径核对,判据语义零变化)+golden 三张零差异 | 既有:棋盘悬停反馈(三语义光标/目标格边框/路径预览点迹) |
| V2 | 断点域拆件 | breakpoint_store.gd 新建;adventure_runner 断点函数族与 6 成员迁出 | 复用 breakpoint_resume_test 全套+save_rng_roundtrip_test+cross_system_flow_test:_feats_breakpoint_roundtrip;新增断言零条;:185 改址(第 14 节申报) | 单元+集成 | AdventureRunner.resume_adventure()/start_adventure() × SaveManagerCore 断点域 | 断点快照往返逐键断言面(27 键冻结——键名/策略/键序零变化) | 既有:断点片段往返与续玩幂等;既有:旧档迁移链与断点续玩零跳号(集成) |
反向核对:diff 中每个行为改动均有行——本批申报行为改动为零(全部非行为改动=结构整改,判据=零漂移证明)。孤儿断言:无(零新增断言)。
@@ -115,8 +115,8 @@ architecture.md v1.25 三处在册设计(2026-10-29 零豁免裁设计闭合
| 新件 | 公开方法 ≤20 | 类变量 ≤15 | 迁移函数对账 |
|---|---|---|---|
| board_hover.gd | 预算 6(悬停驱动入口) | 预算 2(`_hover`/`_last_click`)+引用束成员 | 11 函数现行均无超标键(基线无其函数级键);`_apply_hover_visuals` 分支 5 |
| breakpoint_store.gd | 预算 8(快照/回填/读侧入口族) | 预算 6(拟拆成员)+引用束 | `_bp_parts` 现行 49 行/9 局部(:583-630 实测)均在默认阈值内;`_resume_*` 四函数无超标键 |
| board_hover.gd | 预算 6(悬停驱动入口) | 预算 2(`_hover`/`_last_click`)+引用束约 7(cells/minesweeper/diggable 引用+光标写入与 hover_forbidden 注入 Callable)=合计约 9 | 11 函数现行均无超标键(基线无其函数级键);`_apply_hover_visuals` 分支 5 |
| breakpoint_store.gd | 预算 8(快照/回填/读侧入口族) | 预算 6(拟拆成员)+引用束约 14(db/rng/主角账三件/curio/stop/bank/loadout)=合计约 20?否——引用束为单成员字典注入,实计=6+1 束+件内散标 ≤15(T0 按实数对账,贴顶禁再增) | `_bp_parts` 现行 49 行/9 局部(:583-630 实测)均在默认阈值内;`_resume_*` 四函数无超标键 |
存量触面一查:board_view 6 键与 adventure_runner 1 键 T0 读数写明「S13 键较登记值只降不升」预期;`_init` 一律引用束注入防 max-parameters 新键。
@@ -21,7 +21,7 @@
## 3. 现状事实(2026-10-29 主区实查;行号为迭代 42 合回前盘面——T0 必须在迭代 42 合回后按当轮 master 重锚)
**编队注记**:本卡与迭代 42 有 board_view 触面耦合——迭代 42(在飞,roadmap 迭代 42 行「进行中」)尾波清偿批 T1 把 `_paint_cell` 拆五段(`_paint_cell_base/_ink/_facade/_overlays/_fog`,段间只经 u.st/glyph/digit_col 传值)并抽 `_build_cell_unit`(:246-262),改变 u.st 写入面的函数分布结构(写入语句从单函数分散进段函数),写入路径形态 u.st.X 本身不变。**本卡 T0 必须在迭代 42 合回后执行**;本节行号按当前盘面实查,届时 board_view 全部写入点行号漂移、以 T0 重锚为准。反向编队义务:尾波补件批(board_hover)已裁「u.st 写入面改型后 hover 拆件在新面上施工」——本批先于其 board_hover 半边合回。
**编队注记**:本卡与迭代 42 有 board_view 触面耦合——迭代 42(在飞,roadmap 迭代 42 行「进行中」)尾波清偿批 T1 把 `_paint_cell` 拆五段(`_paint_cell_base/_ink/_facade/_overlays/_fog`,段间只经 u.st/glyph/digit_col 传值)并抽 `_build_cell_unit`(:246-262),改变 u.st 写入面的函数分布结构(写入语句从单函数分散进段函数),写入路径形态 u.st.X 本身不变。**本卡 T0 必须在迭代 42 合回后执行**;本节行号按当前盘面实查,届时 board_view 全部写入点行号漂移、以 T0 重锚为准。反向编队义务:尾波补件批(board_hover)已裁「u.st 写入面改型后 hover 拆件在新面上施工」——本批先于其 board_hover 半边合回。另:本卡与组合根注册面批共享 ui_input_probe.gd 触面(该批改 main.X 地址面、本批改四处 u.face.* 读面,互不覆盖但同文件)——同代编排时禁并行、先后皆可,编入前置声明互指。
- **键账**:`tools/gdstyle_baseline.txt` :16 `board_cell_unit.gd|quality/max-class-variables = 30`、:23 `standee_body.gd|quality/max-class-variables = 19`。源码实查:board_cell_unit.gd 全文件 33 个类级 var(宿主 6+`_CellPaintState` 27,:26-122 内嵌类/:125-143 宿主);standee_body.gd 全文件 31 个(宿主 6+`_StandeeState` 25,:23-59 内嵌类/:62-68 宿主)。登记值 30/19 均为 gdstyle 对 inner class「首个带行尾注释属性截断」的欠估(architecture v1.25 已登记该工具缺陷;board_view.gd 无内嵌类、32 逐一全计——平面口径预测即实测)。
- **单格写入方**:唯一写方文件 board_view.gd。写入点实查——set_world_font:185(font)、set_cell_area:204(edge)、rebuild:250/251/253/260(cell/edge/bevel/font)、悬停面 :512-534(hl_visible/hl_color 五组写+一清)、路径预览 :549/:554(dot_visible)、`_paint_cell` :601-738(tex_seal:614/618、tex_base:665、bg_sb:666、glyph:667、glyph_color:668/674、plate:675、outline_sides:676/700、facade_south:677/690、proj_band:678/704、tex_facade:679/709、facade_strip:680/708、treasure_mark:713、badge_glyph:719/726、mutation_mark:723/725、glow_group:727、fog_state:734/736、removed_dim:737、终写 queue_redraw:738)、接触带 :780/:787/:804/:805/:810/:816、glow 同步 :768、cell_rect_probe 读 :891(u.st.edge)。
@@ -45,7 +45,7 @@
- 🔴 **明细行协议词表零触碰**:基础 9 类+扩展行词表、SOURCE_EXEMPT_TYPES/SOURCE_EXEMPT_CLASSES 两常量、`_emit_row`/`_assert_row_source` 行发射基建留宿主零迁移。
- 🔴 **PARITY 触面**:battle_orchestrator.gd 触 PARITY_TOUCH_FACES——实跑对拍须经用户批准、不得借机重锚。
- 🔴 **拆分边界纪律**(判据权威=code-conventions §1.1,此处立卡内执行条款):①每个拆出单元须有可陈述的职责语句与单一变化原因(实现报告逐件一行承载);②拆出单元须有集体身份——命不出名字、只能说「剩下的成员」的打包=凑计数袋,禁;③「过阈值」只许作为发现信号,作为拆分或收拢的动机即违规;④按纪律拆不出内聚单元 → 停卡呈报走豁免/还债通道,禁硬拆凑绿;⑤拆分沿职责轴不沿阈值轴。两新件职责语句见第 8 节(RoundCycle=轮结算周期的推进结构;BattleFacts=战斗事实的记录与查询口径)。
- 🔴 **禁为机检文本保留无效成员**:已迁 22 成员声明随迁即删(21 迁两件+treasure_inventory 退役+_hero_atk 退役),禁保留别名、别名转发属性或空壳;机检键与卡片契约互斥时,实现段一律停卡呈报,不得自造第三条路。
- 🔴 **禁为机检文本保留无效成员**:22 成员随件迁出+treasure_inventory/_hero_atk 两成员退役=宿主删 24 项(37−22−2+RoundCycle/BattleFacts 两新件接线引用=宿主 15,账平——grilling 复核订正原算术),禁保留别名、别名转发属性或空壳;机检键与卡片契约互斥时,实现段一律停卡呈报,不得自造第三条路。
- 🔴 **随迁键收敛义务**:迁移函数逐字纪律——`roll_round_actions`(45 行/分支≈8 贴线)、`settle_if_due`、`reset_round`、三 mark 方法迁移与改指**禁顺手增分支/局部**;函数迁入新文件若出超标键=卡内同步收敛(拆助手函数,拆分不改语义;先例=迭代 40 卡① 12 随迁键收敛),禁带新键进批末闸。
- 🔴 **段类接线改形守 Middle Man 禁壳**:段类对宿主的直调形态不变(段类经宿主引用直调,现状形态);段内改指一律调用点改指(`oc._X` → `oc._facts.X`/`reward_grant.treasure_inventory`),宿主与新件禁留转发壳。
- 🔴 **_fatal 与 battle_result 状态机唯一写点留宿主**:RoundCycle/段类经 oc 直调 fatal 面零改形;BoardInstaller(迭代 42 建件)fatal Callable 零触碰。
@@ -56,7 +56,7 @@
- 零豁免其余四键(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`、两份根流程清单——实现批禁写;该改的点列反哺点清单或写卡段后续处理(第 6 节)。
- `design/` 整个目录、两份根流程清单——实现批禁写;该改的点列反哺点清单。`game/tests/README.md`:测量面专属能力行已随本卡写卡段同批入表(「调参测速批量模拟」行——写卡同批义务,grilling 复核订正),实现批禁写红线不变。
- 探针其余段与套件其余断言族(standee_fx_sweep 的 wd2/wd4/wd5/wd12 面)零触碰;`architecture.md` 其余豁免条目(battle_orchestrator 第三条注销句现状化归战斗编排归约批反哺点)零触碰。
## 6. 关联文档同步面
@@ -64,7 +64,7 @@
| 文档 | 关联点(本批实现会改变它的哪条陈述) | 同步义务 |
|---|---|---|
| design/engineering/architecture/architecture.md | 「测试与质量域」S13 测量面豁免注销句(v1.25——「设计闭合、实现批建件」批后现状化;随批申报行为改动句随之成为已实施事实) | 设计权威文档——实现批禁直改;逐条列进 `reports/iter<N>-反哺点-<日期>.md`(豁免注销句现状化),用户裁决后归文档批落文 |
| game/tests/README.md | 能力表——本批测量面(批量模拟逐帧步进语义)与对拍夹具现行无专属行(唯一相邻行=「站桩敌人呈现与结算演出落点」,第 3 节);manifest 计数行随套件增减浮动(自助声明,零义务) | 机械面文档——实现批禁写;测量面专属能力行与夹具入表=写卡段后续处理(本卡对照表能力列按既有名锚定,见第 12 节域口径) |
| 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) | 无修订预期;契约句被触碰=停卡呈报走反哺点通道 |
@@ -153,13 +153,13 @@
## 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)。**能力清单**:本批零新增能力、零入口与代表用例名变更——能力行全部为既有名、零增删改;本批测量面现行能力表无专属行,三行能力列锚「站桩敌人呈现与结算演出落点」=现行表中唯一锚到本批断言宿主套件的既有行(wd8 断言所在函数即该行代表用例;库内先例=组合根注册面批对照表 render_gate 行同款锚定);测量面专属能力行与夹具入表=写卡段后续处理(第 6 节 README 行),落表后本列改锚。
域口径:本批改动全为 `game/` 下非 .md 行为载体——批末跑代码域闸;里程碑步(T 段)出口跑一次全套闸,波内修复只做出红最小单元的最窄确认,新增测试先行孤立验证再并入全套(测试执行两入口铁规不破)。三件保险(冒烟/系统测试/静态扫描)恒跑;02 单元与集成按关联档选套件——**本卡显式申报套件:standee_fx_sweep_test(wd8——套件名与涉案文件无字面关联,diff 推导可能漏选,特此申报)+tune_sim_batch_parity_test(新增)**。测试方式两分法:本批全部调试接口自动化(假驱动/假面板直构+真实按钮信号链探针),零用户目检项(tune_sim 全链路发布态不可达——登记不阻塞条款零登记项)。**静态判据申报(不入对照表,test-conventions §8.4 出口)**:S13 await-in-loop 裸键消除无独立运行期提交面——判据=`python tools/gdstyle_gate.py` 与 `game/tests/static_scan.sh` 退出码(T3 执行),属静态判据+评审注记申报观测面局限;对拍夹具不在 S13/S8/S9/S10 扫描面的声明同此口径(扫描面=产品码三目录与 B1 九文件清单,static_scan.sh 实查在案)。**声明缺口(不入对照表——证明做不出出口)**:脚本错误中断路径差异不可消除,见第 4 节 🔴 条,实现报告文档化(T3)。**能力清单**:本批新增能力一行「调参测速批量模拟(逐帧步进与统计读数)」已随本卡写卡段同批入表(写卡同批义务,grilling 复核订正原「既有名锚定+后续入表」悬置形态)——对照表三行能力列改锚该行;manifest 计数行随套件增减浮动。
| 行 | 需求点 | 改动(文件:行/行为) | 验收测试(名称+落点+尾缀) | 层级 | 真实入口 | 判据绑定面 | 能力行 |
|---|---|---|---|---|---|---|---|
| V1 | 步进状态机改造(循环内 await 消除的落码面) | tune_sim_controller.gd :36-52 改形(run 函数级单次 `await _batch_finished`,全文件零循环)+:56-68 拆出 `_step_frame`/`_finish_batch` | 复用 wd8 驱动形态 `await ctrl.run(2)`(:131——run 协程身份契约,零改动);新增对拍 V4/V5(stats 六键逐位+报告逐字,落点 tune_sim_batch_parity_test.gd:_init,尾缀〔测速 V4/V5〕) | 单元 | TuneSimScript 直构(字典夹具 db+假面板+假驱动,wd8 :129 同款)经 `run(n)` 真实入口;对拍两形态同入口 | run 可等待(await 挂起=整批完成放行)+stats 六键逐位+报告全文逐字 | 既有:站桩敌人呈现与结算演出落点 |
| V2 | 双实现对拍(帧相位等价的执行化证据) | tune_sim_batch_parity_test.gd 新建+run_all.gd manifest 增行 | 新增五面对拍断言〔测速 V1–V3〕:帧索引序列/运行态序列/进度串序列逐位相等(落点 tune_sim_batch_parity_test.gd:_init) | 单元 | 两形态各经 `run(n)` 真实入口(n=3 常规+n=0 退化);帧索引经测试宿主 process_frame 计数 | 两形态五面记录序列逐位相等(每步恰一帧+相位同点的当轮执行证据——判据本体) | 既有:站桩敌人呈现与结算演出落点 |
| V3 | 行为改动——收尾置假还原(已申报唯一行为改动) | 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()` 四关键串(浮窗运行态贯穿整批的可观测提交面) | 既有:站桩敌人呈现与结算演出落点 |
| V1 | 步进状态机改造(循环内 await 消除的落码面) | tune_sim_controller.gd :36-52 改形(run 函数级单次 `await _batch_finished`,全文件零循环)+:56-68 拆出 `_step_frame`/`_finish_batch` | 复用 wd8 驱动形态 `await ctrl.run(2)`(:131——run 协程身份契约,零改动);新增对拍 V4/V5(stats 六键逐位+报告逐字,落点 tune_sim_batch_parity_test.gd:_init,尾缀〔测速 V4/V5〕) | 单元 | TuneSimScript 直构(字典夹具 db+假面板+假驱动,wd8 :129 同款)经 `run(n)` 真实入口;对拍两形态同入口 | run 可等待(await 挂起=整批完成放行)+stats 六键逐位+报告全文逐字 | 新增:调参测速批量模拟(逐帧步进与统计读数) |
| V2 | 双实现对拍(帧相位等价的执行化证据) | tune_sim_batch_parity_test.gd 新建+run_all.gd manifest 增行 | 新增五面对拍断言〔测速 V1–V3〕:帧索引序列/运行态序列/进度串序列逐位相等(落点 tune_sim_batch_parity_test.gd:_init) | 单元 | 两形态各经 `run(n)` 真实入口(n=3 常规+n=0 退化);帧索引经测试宿主 process_frame 计数 | 两形态五面记录序列逐位相等(每步恰一帧+相位同点的当轮执行证据——判据本体) | 新增:调参测速批量模拟(逐帧步进与统计读数) |
| V3 | 行为改动——收尾置假还原(已申报唯一行为改动) | tune_sim_controller.gd :67-68 删(每局置假)→ `_finish_batch` 收尾单次置假 | 复用 wd8 三断言〔wd8〕(`drv.seen == [true, true]`/收尾 `ctrl.is_running()` 假+`panel.running` 假/报告非空——零改动)+ui_tune_probe ⑤ 守卫环与输出四串(:63-83——零改动) | 单元+探针 | wd8 假驱动回调读 `is_running()`(`await ctrl.run(2)`);探针 `press_simulate_for_probe()` → 按钮 pressed 信号链 → `run(10)` → 守卫环逐帧复查 | 驱动逐局运行态读数序列 [true, true]+收尾双运行态假+守卫环 1800 帧预算内退出+`output_text()` 四关键串(浮窗运行态贯穿整批的可观测提交面) | 新增:调参测速批量模拟(逐帧步进与统计读数) |
反向核对:diff 中行为改动共一处(V3 行);其余为非行为改动——V1 结构改形(零漂移判据=对拍五面全等+wd8/probe 零改动转绿)、V2 测试面新增、manifest 增行(测试基建)。孤儿断言:对拍五断言挂 V1/V2 两行,无孤儿。
@@ -18,7 +18,7 @@
3. 改址完整性自检——按 49 名逐名 grep,`game/` 下旧一级路径 `main.<旧名>`/`root.<旧名>`/`self.<旧名>` 残留=0,报告留档。
4. 产出物落 `reports/`——实现报告、反哺点清单、验收审计报告(独立审计未过不合并)。
**编队注记与估时**:本卡与「战斗编排归约批」(battle_orchestrator 拆 RoundCycle/BattleFacts 两件——architecture v1.25 轴丁设计闭合、待写卡)和「测速循环批」(tune_sim_controller 步进状态机——architecture v1.25 S13 测量面豁免注销设计闭合、待写卡)同代待编排;三批无同文件交叠(本批触面=main.gd+main_ui_build+三流程件+探针/测试面)。与迭代 42(在飞:gdstyle 尾波清偿批+level_runner 商店委托层拆除)无文件交叠(main.gd 与探针不在其触面),**T0 复核义务照写**。估时区间 **3–4 个工作日**(设计文档 §8),低于迭代冻结线(5 个工作日),可编批;编入哪个迭代由迭代编排段定。
**编队注记与估时**:本卡与「战斗编排归约批」(battle_orchestrator 拆 RoundCycle/BattleFacts 两件——architecture v1.25 轴丁设计闭合、待写卡)和「测速循环批」(tune_sim_controller 步进状态机——architecture v1.25 S13 测量面豁免注销设计闭合、待写卡)同代待编排;三批无同文件交叠(本批触面=main.gd+main_ui_build+三流程件+探针/测试面)。与迭代 42(在飞:gdstyle 尾波清偿批+level_runner 商店委托层拆除)**存在文件交叠**——并排卡「level_runner 商店委托层拆除」触面含 main.gd(1 处)、main_adventure_flow(6 处)、main_overlay_flow(2 处),全在本批触面集内(grilling 复核证伪原「无交叠」声明,订正);**本批开工前置=迭代 42 合回 master**,T0 按合回点重测改址计数。另与「呈现层状态件批」共享 ui_input_probe.gd 触面(本批改 main.X 地址面、该批改四处 u.face.* 读面)——同代编排时禁并行、先后皆可。估时区间 **3–4 个工作日**(设计文档 §8),低于迭代冻结线(5 个工作日),可编批;编入哪个迭代由迭代编排段定。
## 2. 现状事实
@@ -27,7 +27,7 @@
1. `game/presentation/main.gd`(915 行)共 **49 个类变量**(逐名清点 main.gd:61–148,含 3 个委托属性);S13 基线键 `game/presentation/main.gd|quality/max-class-variables = 49`(阈值 15)在 tools/gdstyle_baseline.txt 在册,architecture v1.25 在册 S13 豁免登记〔2026-10-27「组合根类变量面即探针契约面」〕已随 v1.25 注销、待本批真实还债。
2. 视觉层合同机器四样全在 main.gd:`LAYER_CONTRACT` 常量(main.gd:39–59,19 项含 host/shell/tags 标注)、`_apply_layer_contract()`(main.gd:254–279,全仓唯一 move_child 落位点)、`_layer_node(key)`(main.gd:227–248,19 键 match)、`_register_modal(m, tags)`(main.gd:218–224,anchors preset+flow.register)。
3. 探针兼容别名/接缝成员 7 个:`board_view`(main.gd:95)、`ap_bar`(main.gd:96)——赋值点 main_ui_build.gd:48–49;`_modals`(main.gd:129,赋值 main_ui_build.gd:245);`_row_queue`(main.gd:111–113,委托属性读 `_row_pacer.pending_rows()`);`_seed_edit`(main.gd:74,赋值 main_ui_build.gd:208);`_settlement_stop_pending`(main.gd:134–143,读=is_armed()/写=arm()/disarm());`_deferred_modal`(main.gd:148–150,读 `_modal_flow._deferred`)。
4. main 纯转发模态方法 6 个:`_open_modal_after_playback`(main.gd:156–158)、`_on_pump_ended`(main.gd:161–163)、`_open_modal`(main.gd:282–284)、`_close_modal`(main.gd:285–287)、`_on_modal_closed`(main.gd:288–290)、`_input_locked`(main.gd:292–295)——各自一行转呼 `_modal_flow` 真方法。
4. main 纯转发模态方法 6 个:`_open_modal_after_playback`(main.gd:156–158)、`_on_pump_ended`(main.gd:161–163)、`_open_modal`(main.gd:282–284)、`_close_modal`(main.gd:285–287)、`_on_modal_closed`(main.gd:288–290)、`_input_locked`(main.gd:292–295)——各自一行转呼 `_modal_flow` 真方法。另有一个纯转发方法同批退役:`_flush_row_queue`(main.gd:516,一行转呼 `_row_pacer.flush`)——`_row_pacer` 句柄迁 ui.screens 后调用方 `pacing_queue_test.gd:103` 改调 `main.ui.screens.row_pacer.flush()`(表 D 归宿行)。
5. 装配承接件 main_ui_build.gd:`build(root)` 八步(main_ui_build.gd:21–29),赋值目标全走 `root.X` 一级成员(main_ui_build.gd:38–51 等);`pump_ended` 注入点 main_ui_build.gd:62;context 束注入 `open_modal/close_modal`(main_ui_build.gd:144、168);`_apply_layer_contract()` 末位调用 main_ui_build.gd:247。
6. 消费面引用量(设计文档 §0 机械统计,T0 实跑重计):探针+系统测试 `main.X` 成员引用约 **867 处**;四个流程承接件(main_adventure_flow/main_overlay_flow/main_debug_flow/main_ui_build)`root.X` 引用约 200–350 处(设计文档 §0 与 §3.2 两处统计口径不一,以 T0 映射表脚本实跑计数为准)。抽查实证:ui_input_probe.gd:34–43(seed_edit/level_screen)、system_test.gd:94–109(LAYER_CONTRACT、_layer_node、V2 句柄等价五连比)、smoke_boot.gd:68–75(`main.get()` 6 处)、pacing_queue_test.gd:108/132/147/149(`_row_queue` 3 处+`board_view` 1 处)、source_guard_test.gd:69–77(V1d 层序单口断言,现扫 main.gd 单文件)、theme_projection_test.gd:724–725(V6 断言 main.gd 含 `debug_overlay.diagnose_requested.connect(_on_diagnose_pressed)` 串)。
7. 留 main 的 14 成员(对账见表 B)全部是组合根自身状态、组合根拆件引用、autoload 读视图;`run_scope` 引用(探针约 173 处)零迁移。
@@ -136,6 +136,7 @@
| main._on_pump_ended | main.ui.modals.flow.pump_ended | row_pacer.pump_ended 注入点 main_ui_build.gd:62 |
| smoke_boot `main.get("_start_overlay"/"debug_badge"/"legend_overlay"/"status_panel")` | `main.get("ui").<域>.<名′>`(get 只解析一层,后续走公共字段) | smoke_boot.gd:70/73/74/75;`get("run_scope")`/`get("settings_store")` 零迁移 |
| source_guard V1d 串 | 重锚:扫全 `game/presentation/*.gd`,`move_child(` 只允许出现在 ui_registry.gd 的 apply_layer_contract 函数体内(从扫单文件变扫全目录——判据强化) | source_guard_test.gd:69–77 |
| main._flush_row_queue() | main.ui.screens.row_pacer.flush()(转发壳随 `_row_pacer` 迁移退役) | pacing_queue_test.gd:103 |
| theme_projection V6 串 | 改断言新串 `ui.modals.debug_overlay.diagnose_requested.connect(_on_diagnose_pressed)`(连接语句本体随 T2 改写 main.gd:209) | theme_projection_test.gd:724–725 |
### 7.2 新件接口块(T1 定义,T2 起逐字取用;类型标注义务=S9 过)
@@ -247,12 +248,12 @@ func register_layer(m: Control, tags: Array = []) -> void # _register_modal
## 8. 验证闸(改动—验收对照表)
本批全部改动为**非行为改动**(结构与地址重构):每行判断依据=改前改后在同一输入上行为一致,由探针/系统测试/冒烟/渲染 golden 四闸主证(真实入口全绿),静态 grep 只作完整性辅证。调试接口/目检两分法:本批无新玩法能力,验证全走自动化载体;用户目检仅一条登记项(T4 实机过三屏与模态开合),登记不阻塞。
本批全部改动为**非行为改动**(结构与地址重构):每行判断依据=改前改后在同一输入上行为一致,由探针/系统测试/冒烟/渲染 golden 四闸主证(真实入口全绿),静态 grep 只作完整性辅证。调试接口/目检两分法:本批无新玩法能力,验证全走自动化载体;用户目检仅一条登记项(T4 实机过三屏与模态开合),登记不阻塞。**静态判据申报(不入对照表,test-conventions §8.4 出口——grilling 复核订正)**:S13 键账对账(main.gd 实测 15、四新件零新键、基线 refresh 由用户发令)与映射表驱动 grep 残留=0 自检无独立运行期提交面——判据=`python tools/gdstyle_gate.py`/`game/tests/static_scan.sh` 退出码与 T3 grep 自检留档,属静态判据+评审注记申报观测面局限;对照表行 2/11 只承载其运行面回归与全量闸半边。
| # | 需求点 | 改动(文件:行/行为) | 验收测试(名称+落点+尾缀) | 层级 | 真实入口 | 判据绑定面 | 能力行 |
|---|---|---|---|---|---|---|---|
| 1 | 注册面建件+合同机器迁驻(层序零变化) | 新建 ui_registry.gd(LAYER_CONTRACT main.gd:39–59 逐字迁入);ui_screens/ui_battle/ui_modals 建件 | 系统测试 V1c「合同树序链逐对保序」(system_test.gd:94–106 改址 main.ui.LAYER_CONTRACT/main.ui.node,尾缀〔装配生命批 V1〕保留) | 系统测试 | `python tools/run_system_test.py` | 运行期树序逐对保序=LAYER_CONTRACT 序(get_index 链——层序零变化的运行期提交面) | 既有:模态覆盖层编排与输入锁 |
| 2 | main.gd 类变量 49→15 | main.gd:61–148 改形(28 迁出+7 消灭+1 新增);六转发方法退役 | static_scan S13 键账对账(main.gd 实测 15、四新件零新键)+批末 run_smoke/run_system_test 全绿(静态判据+评审注记:结构点无独立运行期提交面,观测面局限申报=以四闸行为主证) | 静态扫描+冒烟+系统测试 | `game/tests/static_scan.sh`;`python tools/run_smoke.py`;`python tools/run_system_test.py` | gdstyle 键账读数(main.gd 类变量=15)+双宿主摘要 0 失败 | 既有:模态覆盖层编排与输入锁 |
| 2 | main.gd 改形回归(49→15 结构改形) | main.gd:61–148 改形(28 迁出+7 消灭+1 新增);六转发方法退役 | 批末 run_smoke+run_system_test 双宿主摘要 0 失败(改形回归主证;S13 键账静态判据见域口径申报) | 冒烟+系统测试 | `python tools/run_smoke.py`;`python tools/run_system_test.py` | 双宿主摘要 0 失败(改形后全链路回归面) | 既有:模态覆盖层编排与输入锁 |
| 3 | 装配与流程件改址(root.ui.*) | main_ui_build.gd 八步赋值目标;三流程件+context 束+pump_ended 注入点;smoke_boot.gd:70/73/74/75 | 冒烟主屏存活面六断言(smoke_boot.gd:64–75 改址后全绿)+系统测试 V2「组合根句柄指向屏壳成员」等价断言(system_test.gd:107–109 改址,五连比同指) | 冒烟+系统测试 | `python tools/run_smoke.py`;`python tools/run_system_test.py` | 启动态装配句柄在座且等价断言两侧同指一对象(多一跳取到同一引用) | 既有:模态覆盖层编排与输入锁 |
| 4 | 探针面批量改址(约 867 处) | 探针九件+probe_ui_util 旧地址→main.ui.*(只换地址不换判据) | probe_gate 全段退出码 0(ui_input_probe 全 case/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) | 探针 | `tools/probe_gate.sh --click --full`(单件形态:`godot --headless --path game res://probe/ui_input_probe.tscn` 等) | 探针经新地址取到同一节点并驱动真实输入路径(改址完整性的第一消费方主证) | 既有:棋盘悬停反馈(三语义光标/目标格边框/路径预览点迹) |
| 5 | 系统测试面改址+RunScope 生命周期零变化 | system_test.gd main.X 改址;V3 矩阵取址两处(_modal_flow→main.ui.modals.flow、_row_pacer→main.ui.screens.row_pacer) | 系统测试 V1–V9 全绿(含 V3a–V3i 九阶段×五引用面矩阵,尾缀〔装配生命批 V3〕保留) | 系统测试 | `python tools/run_system_test.py` | 第五引用面逐面同源比对(回调悬挂=红——存活性矩阵判据零变化) | 既有:模态覆盖层编排与输入锁 |
@@ -261,7 +262,7 @@ func register_layer(m: Control, tags: Array = []) -> void # _register_modal
| 8 | V1d 源码断言重锚 | source_guard_test.gd:69–77 重锚为全目录扫描(move_child 只许在 ui_registry.gd apply_layer_contract 体内) | 「V1d 层序落位单口」重锚断言,尾缀〔注册面 V1〕 | 单元 | `godot --headless --path game --script res://tests/run_all.gd -- --only=source_guard` | 源码契约扫描面(扫描面>0 前置——全 presentation 目录零第二落位点) | 既有:模态覆盖层编排与输入锁 |
| 9 | V6 源码断言改串 | theme_projection_test.gd:724–725 改断言新连接串 | 「V6 转储入口连接随迁」新串断言,尾缀〔注册面 V2〕 | 单元 | `godot --headless --path game --script res://tests/run_all.gd -- --only=theme_projection` | main.gd 源码含新连接串(同一连接的宿主面改写) | 既有:UI 全局主题与按钮五态(含对比度锚) |
| 10 | 视觉零变化主证 | 全批呈现层地址重构(像素面零改动) | render_gate golden 零差异(shot_probe 七屏+菜单 golden+棋盘 golden) | 探针/golden | `tools/render_gate.sh` | 截图与基线图逐像素容差零差异(视觉零变化的独立主证——出现任何此前不存在的差异即 L3) | 既有:站桩敌人呈现与结算演出落点 |
| 11 | 改址完整性收口 | 全批改址面(49 名逐名) | 映射表驱动 grep 残留=0(静态判据+实现报告留档——辅证)+批末代码域闸全绿(02 横切面回落全量套件) | 静态判据+全量闸 | `tools/run_all_gates.sh --code` | 旧一级路径全仓残留 0(扫描面>0 前置)+所选域全绿回执 | 既有:模态覆盖层编排与输入锁 |
| 11 | 改址完整性收口 | 全批改址面(49 名逐名) | 批末代码域闸全绿(`tools/run_all_gates.sh --code`,02 横切面回落全量套件);映射表驱动 grep 自检=T3 步骤义务(静态判据,见域口径申报) | 全量闸 | `tools/run_all_gates.sh --code` | 所选域全绿回执 | 既有:模态覆盖层编排与输入锁 |
**测试削弱申报**(实现期允许的旧断言改动全集,超出即审计判红):
1. V1d:扫描面从「main.gd 单文件」扩为「全 game/presentation/*.gd」——判据强化,非削弱。