docs(死断言候选复核收口): 账本三条死断言候选经现行宿主代码复核收口——③区间行流动已由核代码修复批957391e1新增draws计数改判据修毕出账;②V3g护栏判活出账(账本死因引用的变异点campbtn已随迭代34卡②退役,现行守面选档层新档钮按逻辑可直接验红,重证红一跑待用户发令补记);只余①V2-s4世界态断言待裁(结构例外vs隔离夹具重写,写卡段呈报);标题与实况按复核结论改写,C-2~C-6备查并入段保持不变

This commit is contained in:
DKChan committed 2026-10-25 16:46:48 +08:00
1 parent 8abab05460
commit f4f8a2f003
1 file changed
+2 -2
+2 -2
View File
@@ -64,9 +64,9 @@
**状态**:待文档设计
#### 死断言候选三条处置——照迁禁删断言的退役或改判待裁(2026-10-25 登记,来源=批次移交)
#### 死断言候选复核收口——账本三条经代码复核只余 V2-s4 一条待裁(2026-10-25 登记,来源=批次移交)
**实况**:批 B 断言迁移施工验出三条死断言候选(照迁禁删,宿主在座、结构复核通过、拦截能力未证——执行序遮断或执行前提在本机不可达):① V2-s4 旧单档迁移不变式 `game/tests/system_test.gd:185`(本机磁盘态已固化,可红面「旧档在而槽 1 缺」在生产码变异下不可达;补审 A-2 已补结构例外标签——迁移逻辑本体由 save_manager_domain v0 迁移链断言覆盖);② V3g 营地入口缺失 `game/tests/system_test.gd:481`(menu campbtn 置 null 后 boot 信号接线先崩,护栏在执行序上被遮断不可达,拦截语义由 boot 崩与前置断言代偿);③ 区间行上下阶实际流动 `game/tests/unit/core/board_gen_reward_test.gd:297`(守面 `samples` 与 `seen[rid].size()` 为同一字典同引用恒假,系源码自带的测试侧死逻辑、非生产缺陷)。证据=批B迁移账本 :238/:241/:273(账本已退役,考古=git 历史——删除批 53075baa,删除前全稿见历史版本 5644d30c)+冻结基点 `game/tests/验证集清单.md` 头注(commit 1aea9397)。另:核代码补审 C-2~C-6 五件测试增强候选原登记备查于账本 §十五,随账本退役并入本条备查——C-2 计数闸残缝(visible 标志位≠渲染面,隐藏匿名旧钮接回双闸漏过)、C-3 _stage_faces extra 静默吞键(match 无默认臂)、C-4 顺序耦合无守卫(boot_chain 须先于驱动执行;lifecycle_matrix 永久改写槽模板不还原)、C-5 camp 残留档使 V3g 红的原因标注误导(不静默)、C-6 V1a 候选表与 LAYER_CONTRACT 双维护(新增层忘登则漏检盖顶回归)。
**实况**:批 B 迁移账本曾报三条死断言候选(账本 :238/:241/:273),2026-10-25 按现行宿主逐条代码复核(判断时机、取数来源、被守生产码三方对照)收口为一件:① **V2-s4 旧单档迁移不变式 `game/tests/system_test.gd:184`(唯一真死,处置待裁)**——世界态断言:读真实磁盘 `user://`,红前提「`save.json` 在盘且槽 1 文件缺」本机永久不可达,死因是断言性质而非判断时机或取数错误;迁移逻辑本体由 save_manager_domain v0 迁移链断言覆盖(补审 A-2 结构例外标签已在案)。处置二选一=登记结构例外,或造隔离存储夹具预置旧档后重写——待写卡段呈报用户裁决。② **V3g 营地入口护栏 `game/tests/system_test.gd:481`(判活,出账)**——账本死因引用的变异点 menu campbtn 已随迭代 34 卡② 退役,现行守面=选档层新档钮 `_new_btns.get(1)` 取不到即 `check(false)` 显式红,按逻辑可直接验红;遗留一件事=用现行变异点重证红一跑,待用户发令后补记账。③ **区间行上下阶实际流动(已修,出账)**——核代码修复批第 8 条(提交 957391e1)已新增 `draws` 独立计数改写判据(总抽≥2 且不同值<2 即红),自比较死逻辑已除,非候选。证据=批B迁移账本 :238/:241/:273(账本已退役,考古=git 历史——删除批 53075baa,删除前全稿见历史版本 5644d30c)+冻结基点 `game/tests/验证集清单.md` 头注(commit 1aea9397)。另:核代码补审 C-2~C-6 五件测试增强候选原登记备查于账本 §十五,随账本退役并入本条备查——C-2 计数闸残缝(visible 标志位≠渲染面,隐藏匿名旧钮接回双闸漏过)、C-3 _stage_faces extra 静默吞键(match 无默认臂)、C-4 顺序耦合无守卫(boot_chain 须先于驱动执行;lifecycle_matrix 永久改写槽模板不还原)、C-5 camp 残留档使 V3g 红的原因标注误导(不静默)、C-6 V1a 候选表与 LAYER_CONTRACT 双维护(新增层忘登则漏检盖顶回归)。
**改动面**:游戏代码