DKChan 6a3203a8db 工程(工程小件批·件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

..

source_guard_test.gd

test(批B): 断言层级重构大提交——1065 条断言自 smoke_all.gd 全量迁入 16 标准宿主（冒烟/单元/集成/系统＋UI 探针）；smoke_all.gd 整体退役；变异引擎按用户令删除、验证改核代码（三冷启动审核员 1065 全审：1047 有效，17 存疑＋2 段落级，其中 2 段落级经今日闸记录实证解决）；10 条核代码修复（恒真/名实/静默跳过/键名等——grilling 一轮修订）；验证集清单回写 1068 条三对齐零差异；底册去向补正与笔误清账

2026-10-23 20:48:20 +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