DKChan
4fbacc437b
工程(存量断言精简·A+B档首批): 19 静态断言站点删并——验证项目覆盖逐条不变
判据线＝同一读数面＋同一输入＋谓词字面等价或字面是承接者真子集；不同查询函数间的
算术蕴含与不同夹具实例的独立前置一律不删。机器初筛（同文件标签近似 223 对／cond 全同
42 组）＋七路只读子代理逐域语义裁决，主会话逐条抽验复核后由约 150 点核减至 19 点。
删并 17 在册站点（system_test #65／theme_projection #1519 #1520／config_db_cross_validator
#649／config_db_resolver #654／node_map_generator #1057／round_flow #201／board_gen_reward
#614／type_glow #1579 #1585 #1586／player_copy_sweep #1393 #1398／roll_multiplier #168／
seal_polarity #324 #325 #326）＋smoke_boot 两站点（该件不在清单源列＝口径外）。
两条改判＝seal_polarity:442 标签并入三腿缺腿明细、roll_multiplier:132 标签并入 seed 读数，
判据本体不变。随行删除只服务已删断言的 focus 扫描循环与无消费者局部量 aoe_f。
验证集清单重生成（基点 b9260138，1604→1587）＋15 条保留行「处置」列逐条回填去向指认；
--diff 对账 PASS（标签／cond／计数三对齐）；被删标签全仓 grep 零悬挂引用；未用变异法与
撤销类取证。删并申报表与后续账（类别② 实测承载 0 条／护栏 8 处不可删／quiet 通道 407 站点
在冻结口径外／恒真 4 条另账）落 reports/工程改动报告-存量断言精简AB档-2026-10-28.md。
2026-10-28 20:04:35 +08:00
..
2026-10-26 07:06:56 +08:00
2026-10-19 01:28:41 +08:00
2026-10-20 00:22:18 +08:00
2026-10-13 00:21:41 +08:00
2026-10-20 00:22:18 +08:00
2026-10-19 01:28:41 +08:00
2026-10-26 16:57:50 +08:00
2026-10-22 05:52:11 +08:00
2026-10-25 03:49:05 +08:00
2026-10-15 00:31:36 +08:00
2026-10-28 01:45:48 +08:00
2026-09-29 23:29:40 +08:00
2026-10-28 20:04:35 +08:00
2026-10-24 10:20:34 +08:00
2026-10-26 07:06:56 +08:00
2026-09-29 20:56:43 +08:00
2026-10-28 06:47:31 +08:00
2026-10-25 03:49:05 +08:00
2026-10-25 06:43:03 +08:00
2026-09-28 03:42:15 +08:00
2026-10-28 20:04:35 +08:00
2026-10-24 01:25:58 +08:00
2026-10-28 20:04:35 +08:00
2026-10-17 10:18:35 +08:00
2026-10-24 07:42:46 +08:00
2026-09-28 03:13:54 +08:00