From f4f8a2f003268faf02e5b918b0eb5dc2266991d4 Mon Sep 17 00:00:00 2001 From: DKChan <524912269@qq.com> Date: Sun, 25 Oct 2026 16:46:48 +0800 Subject: [PATCH] =?UTF-8?q?docs(=E6=AD=BB=E6=96=AD=E8=A8=80=E5=80=99?= =?UTF-8?q?=E9=80=89=E5=A4=8D=E6=A0=B8=E6=94=B6=E5=8F=A3):=20=E8=B4=A6?= =?UTF-8?q?=E6=9C=AC=E4=B8=89=E6=9D=A1=E6=AD=BB=E6=96=AD=E8=A8=80=E5=80=99?= =?UTF-8?q?=E9=80=89=E7=BB=8F=E7=8E=B0=E8=A1=8C=E5=AE=BF=E4=B8=BB=E4=BB=A3?= =?UTF-8?q?=E7=A0=81=E5=A4=8D=E6=A0=B8=E6=94=B6=E5=8F=A3=E2=80=94=E2=80=94?= =?UTF-8?q?=E2=91=A2=E5=8C=BA=E9=97=B4=E8=A1=8C=E6=B5=81=E5=8A=A8=E5=B7=B2?= =?UTF-8?q?=E7=94=B1=E6=A0=B8=E4=BB=A3=E7=A0=81=E4=BF=AE=E5=A4=8D=E6=89=B9?= =?UTF-8?q?957391e1=E6=96=B0=E5=A2=9Edraws=E8=AE=A1=E6=95=B0=E6=94=B9?= =?UTF-8?q?=E5=88=A4=E6=8D=AE=E4=BF=AE=E6=AF=95=E5=87=BA=E8=B4=A6=EF=BC=9B?= =?UTF-8?q?=E2=91=A1V3g=E6=8A=A4=E6=A0=8F=E5=88=A4=E6=B4=BB=E5=87=BA?= =?UTF-8?q?=E8=B4=A6=EF=BC=88=E8=B4=A6=E6=9C=AC=E6=AD=BB=E5=9B=A0=E5=BC=95?= =?UTF-8?q?=E7=94=A8=E7=9A=84=E5=8F=98=E5=BC=82=E7=82=B9campbtn=E5=B7=B2?= =?UTF-8?q?=E9=9A=8F=E8=BF=AD=E4=BB=A334=E5=8D=A1=E2=91=A1=E9=80=80?= =?UTF-8?q?=E5=BD=B9=EF=BC=8C=E7=8E=B0=E8=A1=8C=E5=AE=88=E9=9D=A2=E9=80=89?= =?UTF-8?q?=E6=A1=A3=E5=B1=82=E6=96=B0=E6=A1=A3=E9=92=AE=E6=8C=89=E9=80=BB?= =?UTF-8?q?=E8=BE=91=E5=8F=AF=E7=9B=B4=E6=8E=A5=E9=AA=8C=E7=BA=A2=EF=BC=8C?= =?UTF-8?q?=E9=87=8D=E8=AF=81=E7=BA=A2=E4=B8=80=E8=B7=91=E5=BE=85=E7=94=A8?= =?UTF-8?q?=E6=88=B7=E5=8F=91=E4=BB=A4=E8=A1=A5=E8=AE=B0=EF=BC=89=EF=BC=9B?= =?UTF-8?q?=E5=8F=AA=E4=BD=99=E2=91=A0V2-s4=E4=B8=96=E7=95=8C=E6=80=81?= =?UTF-8?q?=E6=96=AD=E8=A8=80=E5=BE=85=E8=A3=81=EF=BC=88=E7=BB=93=E6=9E=84?= =?UTF-8?q?=E4=BE=8B=E5=A4=96vs=E9=9A=94=E7=A6=BB=E5=A4=B9=E5=85=B7?= =?UTF-8?q?=E9=87=8D=E5=86=99=EF=BC=8C=E5=86=99=E5=8D=A1=E6=AE=B5=E5=91=88?= =?UTF-8?q?=E6=8A=A5=EF=BC=89=EF=BC=9B=E6=A0=87=E9=A2=98=E4=B8=8E=E5=AE=9E?= =?UTF-8?q?=E5=86=B5=E6=8C=89=E5=A4=8D=E6=A0=B8=E7=BB=93=E8=AE=BA=E6=94=B9?= =?UTF-8?q?=E5=86=99=EF=BC=8CC-2=EF=BD=9EC-6=E5=A4=87=E6=9F=A5=E5=B9=B6?= =?UTF-8?q?=E5=85=A5=E6=AE=B5=E4=BF=9D=E6=8C=81=E4=B8=8D=E5=8F=98?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- 待办清单.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/待办清单.md b/待办清单.md index bf0ab525..57ae9221 100644 --- a/待办清单.md +++ b/待办清单.md @@ -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 双维护（新增层忘登则漏检盖顶回归）。 **改动面**：游戏代码