c22c343b292493f6d8d55eed383656dd604f4f5a
145c1865)首次真实评估,套件内直查零残留(件核 grep=0):① ActionEconomy 私有字段→公开属性 ap/rap 直换×7(晨操令夹具读/试炼镐×3/储备罐×3——同值 getter 零语义差);② RefreshBank _refresh_x→free_left==refresh_y+refresh_stock 公开面等价式(X=free_left−Y−存量 恒零,逻辑等价);③ _board_face_dig 探针×3→settle_batch 公共意图面真实提交(D1→A2 边界):远程镐反例先跑(拒绝零副作用,sub_reason=not_adjacent+棋盘事实零变化)、正例受理+is_revealed 双面(比原单面探针强——真挖真揭示)、信标边界同式;④ ⑭装配同源 runner._attunement 私有读→战斗公开装配集==冒险启动参数逐位对比(活引用链全公开面)。撤销证明口径:本批零产品码=零行为改动可撤,§8.4 真撤销不适用,断言语义等价由逐处 diff 审读承载;验证集清单对账 PASS 零差异(改钉全落 check_quiet 通道=提取扫描面外,§5.2 工具面备案在册);孤立验证=单套件直跑 exit 0 全绿。评估结论(新判据首评):公开替代口在册率高(12/12 零产品码),成本重心=3 处 settle_batch 形态重塑,本套件为后续被批次触碰顺带换代的写法样板
工程(测试判据试点归位): treasure_effects_test 断言级内部直查 12 处改钉公开可观测面——新判据(test-conventions §8.2,提交
145c1865)首次真实评估,套件内直查零残留(件核 grep=0):① ActionEconomy 私有字段→公开属性 ap/rap 直换×7(晨操令夹具读/试炼镐×3/储备罐×3——同值 getter 零语义差);② RefreshBank _refresh_x→free_left==refresh_y+refresh_stock 公开面等价式(X=free_left−Y−存量 恒零,逻辑等价);③ _board_face_dig 探针×3→settle_batch 公共意图面真实提交(D1→A2 边界):远程镐反例先跑(拒绝零副作用,sub_reason=not_adjacent+棋盘事实零变化)、正例受理+is_revealed 双面(比原单面探针强——真挖真揭示)、信标边界同式;④ ⑭装配同源 runner._attunement 私有读→战斗公开装配集==冒险启动参数逐位对比(活引用链全公开面)。撤销证明口径:本批零产品码=零行为改动可撤,§8.4 真撤销不适用,断言语义等价由逐处 diff 审读承载;验证集清单对账 PASS 零差异(改钉全落 check_quiet 通道=提取扫描面外,§5.2 工具面备案在册);孤立验证=单套件直跑 exit 0 全绿。评估结论(新判据首评):公开替代口在册率高(12/12 零产品码),成本重心=3 处 settle_batch 形态重塑,本套件为后续被批次触碰顺带换代的写法样板
Dungeon Sweeper(扫雷 × 自动战斗 闯关 Roguelike)
扫雷推理层+自动战斗结算的两段式回合 Roguelike。个人开发,Godot 4.7 · GDScript。
本 README 只是路牌——不重述任何规则,想知道什么去唯一权威处:
| 想知道 | 去看 |
|---|---|
| 这个游戏设计成什么样 | design/gdd/02-系统清单.md(GDD 根索引) |
| 开发流程怎么走(五段流水线/批次纪律/验收闸) | design/engineering/process-conventions.md+AGENTS.md 规范导航表(每段一个技能入口) |
| 现在做什么 | roadmap.md 顶部「当前位」节 |
| 待办与待裁 | design/gdd/待办清单.md |
Languages
GDScript
56.6%
HTML
29.1%
Python
12%
Shell
2.2%
GDShader
0.1%