工程(存量断言精简·C档批): 六组手写断言族改表驱动循环——33 静态站点并为 7,清单 1587→1561,运行期条数不变

- C1 level_gen_params 逐类负向 11→1(消息带期望/实际与违例明细);C2 rng_stream_boot 黄金向量 8→1;C3 player_copy 禁词族 3→1、2→1;C4 standee_fx 蓄力判据 4→1;C5 ui_font 字形集 3→1(缺字明细进消息);C6 forge_workbench 持有行 2→1(两行取谓词并集,轻甲行补两子句,只增不减)
- 个案标签字面量全部保留在表内,失败定位不降级;冻结清单不动(对账基准 1587),extract_checks --diff=消失 33/新增 7,逐条对应删并申报表
- 用户裁决 2026-10-28:六组全批
This commit is contained in:
DKChan committed 2026-10-28 23:51:01 +08:00
1 parent 6df43525ea
commit fd6cf968dc
6 files changed
+59 -50

No files matched your search

@@ -34,14 +34,11 @@ func _smoke_initialize() -> void:
rng.set_master_seed(42)
# 统一流黄金向量(数据配置 AC-3:单盐沿用 board_gen 盐,
# scope 0-3 与 board_gen 向量逐位连续;Python 参考实现逐位交叉验证一致)
Kit.check("统一流向量 m=42 scope=0(=旧 board_gen scope0 连续性锚)", rng.derive_at(0) == 8672514112661456564)
Kit.check("统一流向量 m=42 scope=1", rng.derive_at(1) == 8834291164406037215)
Kit.check("统一流向量 m=42 scope=2", rng.derive_at(2) == 7714373262647006282)
Kit.check("统一流向量 m=42 scope=3", rng.derive_at(3) == 1280102845971471347)
Kit.check("统一流向量 m=42 scope=4", rng.derive_at(4) == 82585501446482399)
Kit.check("统一流向量 m=42 scope=5", rng.derive_at(5) == 8078924421474470922)
Kit.check("统一流向量 m=42 scope=6", rng.derive_at(6) == 6638052740430622424)
Kit.check("统一流向量 m=42 scope=7", rng.derive_at(7) == 8264196488417721294)
var golden := [8672514112661456564, 8834291164406037215, 7714373262647006282, 1280102845971471347,
82585501446482399, 8078924421474470922, 6638052740430622424, 8264196488417721294]
for i in golden.size():
Kit.check("统一流向量 m=42 scope=%d(黄金向量;scope0=旧 board_gen 连续性锚)" % i,
rng.derive_at(i) == golden[i])
Kit.check("derive_at 纯函数恒等", rng.derive_at(0) == rng.derive_at(0))
# scope 取号语义:首个 open_stream = 全局 scope 0;计数器单调;用途标签不参与派生(只进事件日志)
var s0 = rng.open_stream("board_gen")