DKChan bee73db51b 合并(迭代44): 组合根注册面批+战斗编排归约批+测速循环批v1.1三卡合回——S13零豁免三键真实清偿(main.gd 49→15/battle_orchestrator 38→15/tune_sim裸键消除)·批末全量域闸13/14绿(02/05/09三闸从基线红改善归绿·唯一红08c为并行写卡会话在飞件)·独立验收审计通过·卡③v1.1停卡重裁实况见实现报告§5

2026-10-30 16:23:46 +08:00

..

source_guard_test.gd

iter44-卡1：卡①(组合根注册面批): ui_registry+三域容器建件·main.gd 49→15·全消费面改址main.ui.*·四闸主证行为零变化

2026-10-30 07:13:23 +08:00

source_guard_test.gd.uid

fix(核代码补审): A-1 _face_liveness 补 alive-null 臂（激活 13 条对象缺位拦截，both 合法 null 不受影响）；A-2 V2-s4 补结构例外注；B×3 标签收口（V2d 删按钮承接叙事/V3h 删不复用冗余/V3 删续玩联动残留）；C-1 重复注释删除——代码域闸 --code 全绿验证通过（激活臂零误红）

2026-10-24 01:25:58 +08:00

system_contracts_test.gd

工程(工程小件批·件4): 恒真与名实不符断言五条判据修正(存量断言精简A+B批余账④转正,按test-conventions §8.4真实入口口径改绑可观测面)——①feat_vouchers:51 恒真cond改绑投放装配面:读数==Σ表配额−本会话已兑付一张(curio_quota表驱动+兑付摘牌义务双绑);②treasure_effects:263 去恒真尾缀绑清图判定未触发(天眼窗口≠全板构造面稳定);③④level_shop_economy:594/:697 恒真min改绑胜局HP>0旗+扫描面非空(≥1胜局)双条件,HP≤0胜局即红;⑤system_contracts:66 标签互异半缺失补值集去重计数==原计数(同文件:44-55字典法同款);孤立验证=四套件实跑全绿(level_shop_economy 192 checks)

2026-10-30 07:54:40 +08:00

system_contracts_test.gd.uid

test(unit): T1 单元测试与契约层——七套件实跑入口落 tests/run_all.gd

2026-09-28 02:52:19 +08:00