game-group/gplan-2
2
0 Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

iter41-卡1：核心数据面结构收敛批：85键全清——三族拆域＋config_db归位容器＋存档拆件＋meta瘦身＋adventure拆段＋spawn束化；行为零变化，8新件在阈

Browse Source
This commit is contained in:
DKChan committed 2026-10-29 01:16:37 +08:00
1 parent bda377eb16
commit c0190e1336
157 files changed
+7453 -4288
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

reports/工程改动报告-单元闸挂死守护-2026-10-28.md
-32
View File
@@ -1,32 +0,0 @@
# 工程改动报告——单元闸挂死守护（run_all.gd 每套件阻塞面超时）
**承接**：待办清单 2026-10-25 条目「闸与探针批上下文挂死防护——probe_gate 进程树回收与 run_all 阻塞面超时」件②（件① battle_log_view 已随迭代 38 卡⑥ 出账，probe_gate.sh 整树回收件 2026-10-28 已落；本批完成后该条目整条删除，git 历史可考）。
**车道**：工程改动直改批（改动四类，不写卡不编迭代），触及代码面走 worktree 批——分支 `runall-hangguard-20261028`，改动提交 a2710f22，并 master 后合并提交 4afe6c47。
**实证**：迭代 40 批末阻塞面挂死实拍三例（测试 `_init` 在 `quit()` 前中断，进程挂至外层超时 124），与件②同根。
## 改动—验收对照表
| 需求点 | 改动（文件:行为） | 验收测试 | 层级 | 真实入口 | 判据绑定面 | 结果 |
|---|---|---|---|---|---|---|
| 每套件截止时间守护（默认 120s，环境变量 `RUN_ALL_SUITE_TIMEOUT_SEC` 可覆盖，非法值回落默认） | `run_all.gd` `_run_suite` 阻塞调用换 `OS.create_process` 非阻塞＋200ms 轮询＋截止判定；常量 `SUITE_TIMEOUT_*` 与 `_suite_timeout_sec()` | 机制验证：临时挂死夹具（`_init` 死循环不 quit）登记 manifest 后 `--only` 选跑，`RUN_ALL_SUITE_TIMEOUT_SEC=8` → 输出 `[run_all] FAIL …dev_hang_fixture… — 超时挂死（8s），进程树已整树回收（pid=…）`＋`[run_all] 1 个套件失败`，进程退出码 1 | 闸基建 | `run_all.gd` `--script` 直跑（选跑态） | FAIL 行文本＋批退出码 | 绿（夹具与 manifest 行验证后即删，未提交） |
| 超时整树回收零孤儿 | `taskkill /F /T /PID`（杀 cmd wrapper 连引擎孙进程）＋等死确认 10s 宽限（确认不了报红留 PID）＋临界窗口 `.code` 同删 | 杀树后 PowerShell 按命令行清点该 worktree 路径 Godot 进程＝0 | 闸基建 | 同上＋外部进程清点 | 清点输出 | 绿 |
| 退出码通道等价（文件通道值＝原 cmd 回传值，判定形态不变） | 命令串追加 `& echo !ERRORLEVEL! > 文件`（`cmd /V:ON`）；读毕即删＋起跑前清陈值；缺文件/非数字 fail-closed 判红 | 负面套件 expect=1 照常判 PASS；全量 65 套件 `all green (65 suites)` 退出码 0 | 闸基建 | `run_all.gd` 全量直跑（与收口闸 02 同源） | PASS 行 exit 值＋all green 行 | 绿 |
| README 超时记载换代 | `game/tests/README.md` 工具速查表 run_all 行补守护说明；Running Tests 段失真行「本地闸必须配外部 wall-clock 超时（run_all_gates.sh 已内置）」删除（该脚本实测无 timeout 包装），换代为内建守护说明 | 收口闸 06 gdd_lint／07 doc_link／08 doc_term／08c 流水线闸／08d 引用可核全绿 | 文档 | 闸机扫描 | 闸退出码 | 绿 |
| 非行为改动：文件头注重写 | 只描述现行行为；原头注「本地闸 02 闸包装外部超时：timeout 120s」与闸机现实不符，属失真句换代 | — | — | — | — | 非行为改动 |
验证集清单（`game/tests/验证集清单.md`）零变化：本批不增删不改判任何套件断言，改动全部在运行器进程机制层。
## 机制验证的 API 实证（开工探针四件，30 秒级临时件，验证后即删）
1. 现行 `OS.execute(…, out, true, false)` 实测同步等待（ping 约 3s 计时吻合）、返回退出码——第五参在 Godot 4.7.2 上不是阻塞开关，阻塞面挂死根因坐实；
2. `OS.create_process` 返回真实 Windows PID，`is_process_running` 存活期 true、taskkill 后 false；
3. `cmd /V:ON /C "… & echo !ERRORLEVEL! > 文件"` 退出码落盘通道成立（错误命令落 1）；
4. `taskkill /F /T` 对 cmd→ping 树整树连坐闭环（存活计数 1→杀→0，cmd 自身 running=false）——镜像 probe_gate 已落件的同款机制。
## 闸况
全量域闸回执 2955c049（domain=full，dirty_game=False，总判定验收通过）：影响面选闸判测量面（diff 全在 `game/tests/`）→ 00 冒烟/03/04 探针/05 渲染闸/11 回放确定性 SKIP；01 系统测试、02 单元与集成测试、06–08d 文档域闸、10 熵增闸全绿；09 静态扫描退出码 1＝存量红（`level_map_screen.gd|quality/max-class-variables` 22 对基线登记 21 的恶化留账，还债归迭代 41 在案；指纹与入库基线一致，本批零新增）。合并后两件秒级事：`--editor --quit` 重刷类名缓存退出码 0＋冒烟启动 17 项 0 失败三闸全过。
## 移交与观察
`game/tests/README.md`「套件 manifest 现况」行记 64 条，manifest 实数 65 条（62 单元＋3 集成）——漂移先于本批存在（主区与任务分支同值），本批未动套件数，已登记待办清单新条目（tests/README manifest 计数行漂移订正）归文档批。
reports/工程改动报告-存量断言精简AB档-2026-10-28.md
-76
View File
@@ -1,76 +0,0 @@
# 工程改动报告——存量断言精简（A+B 档首批删并）
**承接**：待办清单 2026-10-28 条目「存量断言精简——验证内容不变下的断言收敛」执行形态的第一波（盘点先行→逐批裁决→分波执行→件核）。
**车道**：工程改动触及代码面（`game/tests/*.gd`）走 worktree 批——分支 `assert-slim-20261028`，区 `../g-plan2-assert-slim-20261028`。
**盘点方法**：机器初筛（同文件标签近似 223 对、cond 全同 42 组 109 条、跨文件同标签、护栏类 41 条）＋七路只读子代理逐域语义裁决（battle_settlement／core 三路／data_config+contracts／presentation／integration+system_test）＋主会话逐条抽验复核。子代理报称候选约 150 点，掺有运行时展开数与「不同查询函数间的算术蕴含」，按本批判据线核减至 19 点。
## 一、本批判据线（删除属显式判据改判，先立判据）
只删满足 **同一读数面 + 同一输入 + 谓词字面等价或字面上是承接者的真子集** 的站点。两类不算冗余、本批不删：
1. **不同查询函数之间的算术蕴含**——删了就失去对被调函数实现本身的守卫（例：`has_unrevealed()` 与 `revealed_cells().size()<safe_total`、单表 `validate()` 直调与 `load_tables` 诊断计数）。
2. **不同夹具实例的独立前置**——各场景自守一次，删则场景不可达时判读退化（例：另一局的 `abandon()` 受理前置、每进程的表加载零 error 护栏）。
**用户裁决记录（2026-10-28 会话）**：A+B 档 19 站点照删；另 4 处候选（cross_system_flow 127/128、theme_projection 312、theme_projection 503、board_gen_reward 181）全部保留——理由是它们的蕴含依赖夹具纪律或产品码未自证的不变量，不构成本批判据下的删除凭据。
## 二、删并申报表（逐条：旧清单序号→去向）
「旧 #」＝删前 `game/tests/验证集清单.md`（冻结基点 89a36822）行序号；去向已逐条写入新清单「处置」列。
| # | 旧清单 | 删的位置（文件:行） | 标签摘要 | 类别 | 承接者（保留条） | 蕴含依据 |
|---|---|---|---|---|---|---|
| 1 | #65 | system_test.gd:176 | V2d boot 无断点在档 | ① | #67 `:181` V2-s2 boot 内存默认空态 | `not sm.has_breakpoint()` 是 :181 三合取的字面成员；〔卡② mn8〕尾缀另在 :193 有落点 |
| 2 | #1519 | theme_projection:617 | V2 红线维持 Button 零接触 | ① | #1478 `:456` V1 红线 Button 零接触 | 两处 `th` 均 `ThemeDB.get_project_theme()`，同对象同谓词；源码注释自认「同判据复述」 |
| 3 | #1520 | theme_projection:624 | V2 红线维持 focus 零定义 | ① | #1479 `:464` V1 红线 focus 零定义 | 同 type list、同六词条表、同 `focus_hits == ""` |
| 4 | #649 | config_db_cross_validator:70 | 池内悬空 skill_id 被报 | ① | #650 `:71` 悬空项 category 非空 | 同 `errs`，:71 = 本条 ∧ category 非空 |
| 5 | #654 | config_db_resolver:67 | 行集返回同带全部行（2 行） | ① | #655 `:71` 行集按表序返回 | `ids` 由同一 `rows` 逐行 append，`ids==[goblin,bugbear]` ⟹ size 2 |
| 6 | #1057 | node_map_generator:313 | pure_stream 不推全局计数器 | ① | #1059 `:317` 不推计数器且产图非空 | `svc.counter() == before` 字面重复于 :317 首合取项，同对象同序 |
| 7 | #201 | round_flow_skill_pool:61 | 结算步骤流非空 | ① | #202 `:75` 步骤流含判定行 | `has_verdict` 遍历同一 `run1.stream`，空流必红 :75 |
| 8 | #614 | board_gen_reward:175 | 降级/非法产物标记互斥 | ① | #612 `:171` ＋ #613 `:173` 两等式 | 两等式 + mode 单值 ⟹ 互斥；:175 红必伴 :171 或 :173 红 |
| 9 | #1579 | type_glow:71 | 格面微光 blast→群伤组 | ① | #1576 `:61` 九型封闭循环 | `TYPE_EXPECT["blast"] == GLOW_AOE`（:27），同函数同入参同期望 |
| 10 | #1585 | type_glow:98 | 群伤组专项 H 零移动 | ① | #1584 `:93` 冻结色相保持 ΔH≤0.2° | 循环阈严于本条（0.2° < 0.36°），本条恒弱 |
| 11 | #1586 | type_glow:100 | 群伤组专项 S ≤0.01 | ① | #1584 `:93` 冻结色相保持 ΔS≤0.01 | 同对象同阈值字面重复；:102 的 V=0.65 档另立，保留 |
| 12 | #1393 | player_copy_sweep:59 | 头部含「同库分流」 | ① | #1338 battle_narrator:96 渠道句长串 | 同一 `node_curio_header()` 纯函数，长串含短串 |
| 13 | #1398 | player_copy_sweep:75 | 图例封印行存在 | ① | #1399 `:76` 封印行含「标空」 | 空行 ⟹ `seal_row[2] if size>2 else ""` 取空串 ⟹ :76 必红 |
| 14 | #168 | roll_multiplier:131 | nat20 种子可达 | ① | #169 `:132` 行留档 roll=20+crit | `crit_seed>0` 与 `crit_rows.roll==crit_roll` 同一扫描同真同假 |
| 15 | #324 | seal_polarity:443 | 构造触达：标中标空入队 | ① | #323 `:442` 极性路由种子可达 | `_polarity_probe_accepts` 合取项（:249-252），可达即三腿同真 |
| 16 | #325 | seal_polarity:444 | 构造触达：挖危险格 ≥1 | ① | 同上 | 同上（:253） |
| 17 | #326 | seal_polarity:445 | 构造触达：挖安全格 ≥1 | ① | 同上 | 同上（:253） |
| 18 | —（口径外） | smoke_boot.gd:69 | run_scope 非空 | ① | `:70` run_scope 在树 | `!= null` ⊂ `!= null ∧ is_inside_tree()`；GDScript `and` 短路，无空引用崩溃风险 |
| 19 | —（口径外） | smoke_boot.gd:72 | _start_overlay 已装配 | ① | `:73` 启动态菜单可见 | `!= null` ⊂ `!= null ∧ visible` |
**两条改判（标签变更，判据不变）**
- seal_polarity:442 标签追加「缺腿：%s」，把第 15/16/17 行的三腿诊断信息折进保留条；三腿取值仍读同一 `probe`，与原三条的语义强度逐字相同。
- roll_multiplier:132 标签追加「种子可达 seed=%d」，把第 14 行的 seed 读数折进保留条。
**随行清理**：theme_projection:614-625 的 `var th` 与 focus 扫描循环随其承载的两条断言一并删除（该循环只为已删断言供数据）；type_glow 的 `aoe_f` 局部量随 H/S 两条删除后无消费者，一并删；两处注释改写为指认真正承载该事实的保留条。
## 三、件核（验证项目覆盖不变）
| 核对项 | 结果 |
|---|---|
| 冻结清单条数 | 1604 → **1587**（−17；smoke_boot 两站点本不在清单源列，条数不受其影响） |
| `extract_checks.py --diff` | PASS——标签／cond／计数三对齐，零差异 |
| 被删 19 条标签全仓残留 grep（`tests/`＋`design/`＋`reports/`） | 零悬挂引用（唯一命中的「run_scope 非空」是 system_test 自己的 V2e 在册条，非本批对象） |
| 承接指认 | 15 条保留行的「处置」列逐条回填去向（旧序号＋蕴含依据＋批次名），新清单在册 |
| 判据等价复验 | 由代码域闸承担（见闸况）——本批不新增行为，删后被承接行为以保留断言复验 |
| 取证方式 | 未使用变异法与撤销类取证（2026-10-24／28 用户裁）；删除凭据＝上表逐条申报＋承接者指认 |
## 四、闸况
全量域闸（域=full，`dirty_game=false`，`all_green=true`，总判定「闸况与基线一致，无新增红」）回执 commit `4fbacc43`：01 系统测试、02 单元与集成测试、06/06b/07/08/08c/08d 文档域闸、10 熵增闸全绿；09 静态扫描退出码 1＝存量红（`game/presentation/views/level_map_screen.gd|quality/max-class-variables` 22 对基线登记 21 的恶化留账，还债归迭代 41 在案；指纹 `8467b4588a20` 与入库基线一致，本批零新增）；00 冒烟、03/04 探针、05 渲染闸、11 回放确定性由影响面选闸判 SKIP（本批 diff 全在 `game/tests/` 测量面）。
**本批复验缺口一条（合回后已补）**：第 18/19 两行改的是冒烟宿主自身 `smoke_boot.gd`，而 00 冒烟测试恰被影响面选闸跳过——该两站点在批末跑批中没有执行证据，只有静态蕴含论证（GDScript `and` 短路，保留条 `!= null and …` 在空值上判 false 不崩）。合回 master 后按 §3.9 code 批两件秒级事跑 `python tools/run_smoke.py`＝三闸全过、`[smoke] 摘要：15 项检查，0 项失败`（原 17 项检查删两条后为 15 项计数），缺口就此闭合。第 1–17 行所在套件的复验由 01/02 全绿承担。
跑批踩坑一条备案：闸日志首跑写在仓库根，触 10 熵增闸「根目录文件越界」判红——我的临时件写错位置，非批次改动引发；日志挪到仓库外重跑后 10 归绿，代码面零改动，回执按同一 commit 重生成。
## 五、移交与观察（后续批次账）
1. **类别② 在本仓基本不成立**：全仓钉内部路径/私有字段/中间态的断言约 52 条，被入口**严格承载 0 条**，约 51 条因覆盖入口打不到的边界/反例载荷必须保留（`fx.dispatch` 逐事件、`pending_ap_delta` 兑现时机、`_intent_charge`）；且 §8.4 本身要求判据绑提交面。后续批次的可精简空间只在类别①。
2. **前置护栏不可删**：`load_ok and diagnostics_count("error")==0` 全域 8 处属每进程 fail-fast，删致 `if load_ok:` 静默跳过→假绿，属负收益。
3. **静默通道在冻结口径之外**：`Kit.check_quiet` 静态站点实测 **407 个**，提取器 `CALL_RE = check\(` 匹配不到该形态（test-conventions:38 已备案该工具局限）——清单条数与〔尾缀〕grep 均覆盖不到。因此「循环 quiet 与聚合条双钉」两处真冗余（node_map_growth 47/51 vs #1073/74、node_map_generator 163 vs #fv9 聚合条）删的是口径外站点，不减 1604 这个数，且聚合侧带〔fv8〕〔fv9〕验收尾缀，本批不动；若要收该账，先做提取器改版（工程批）。
4. **恒真断言另立一账**（属判据缺陷，非重复，本批未动）：feat_vouchers:51 `deck_refresh_before == 0 or true`、treasure_effects:263 `... or true`、level_shop_economy:593 与 :696 `green_min_hp > 0`（初值 99999、仅 hp>0 分支取 min，恒真）；system_contracts:67 标签称「互异」而 cond 只查非空，属名实不符需改判据。建议按 §8.4 走「判据绑不上即停卡呈报」通道单独裁决。
5. **未采的删并形态**：C 档「手写族→表驱动循环合并」（level_gen_params 逐类负向 10→1、rng_stream_boot 8 向量→1、player_copy 禁词族、standee_fx 三入参、ui_font 字形集、forge_workbench 双行）静态可再省约 25～35 点，代价＝失败定位改用违例明细串（仓内已有 `forge_table_test:181-189`、`table_structure_guard:260/299` 范式）；D 档「是否同一验证项目」待owner 认账项（theme:215/217 vs type_glow:148/150、level_shop_economy 现行图跨表覆盖簇 vs 〔v11〕扩面段的尾缀义务）。
6. **example_test.gd** 两条硬编码占位断言在盘且随清单在册（旧 #S167），不进生产 manifest（run_all.gd:79-80 明示）——整件退役与否属样板件裁决，不入本账。
7. 本批不动 `game/tests/README.md`（断言双口径行仍成立）与任何 `design/` 文件。