iter41-卡2：呈现层结构收敛批：67清＋2豁免＋2展平改善——拆私有族＋六状态件＋ui_kit收敛＋束收拢＋print删；含u14补做、并master并案与收尾产出物
This commit is contained in:
DKChan committed
1 parent
bc75dab615
commit
7beb9bfdd5
94 files changed
+3417
-5314
No files matched your search
@@ -69,37 +69,40 @@ func _test_negative() -> void:
|
||||
var base := [_row(1, 6, 0.3, [0.5, 0.2, 0.2, 0.1], 1, 1, 4),
|
||||
_row(2, 9, 0.5, [0.5, 0.2, 0.15, 0.15], 2, 2, 6),
|
||||
_row(3, 13, 0.7, [0.55, 0.15, 0.15, 0.15], 2, 3, 8)]
|
||||
Kit.check("合法三行域校验零错误（夹具自证）〔fv2〕", _table(base).validate().is_empty())
|
||||
# ① L1 出口改 2 → 出口恒 1 断言红（负样本夹具）
|
||||
var bad_l1_exit := [_row(1, 6, 0.3, [0.5, 0.2, 0.2, 0.1], 1, 2, 4), base[1], base[2]]
|
||||
Kit.check("L1 出口=2 被拒（出口 L1 恒 1 已锁）〔fv2〕", not _table(bad_l1_exit).validate().is_empty())
|
||||
# ② 配比合计 0.5 → 合计 1 断言红（负样本夹具）
|
||||
var bad_ratio := [_row(1, 6, 0.3, [0.2, 0.1, 0.1, 0.1], 1, 1, 4), base[1], base[2]]
|
||||
Kit.check("配比合计 0.5 被拒（四类合计 1 已锁）〔fv2〕", not _table(bad_ratio).validate().is_empty())
|
||||
# ③ 层深低于下限
|
||||
var bad_layers := [_row(1, 5, 0.3, [0.5, 0.2, 0.2, 0.1], 1, 1, 4), base[1], base[2]]
|
||||
Kit.check("层深 5<6 被拒（层深下限已锁）〔fv2〕", not _table(bad_layers).validate().is_empty())
|
||||
# ④ 增幅未变大（6/9/11：Δ12=3、Δ23=2）
|
||||
var bad_growth := [base[0], _row(2, 9, 0.5, [0.5, 0.2, 0.15, 0.15], 2, 2, 6),
|
||||
_row(3, 11, 0.7, [0.55, 0.15, 0.15, 0.15], 2, 3, 8)]
|
||||
Kit.check("层深增幅倒挂被拒（递增且增幅变大）〔fv2〕", not _table(bad_growth).validate().is_empty())
|
||||
# ⑤ 出口越上界（L3 出口 4）
|
||||
var bad_exit := [base[0], base[1], _row(3, 13, 0.7, [0.55, 0.15, 0.15, 0.15], 2, 4, 8)]
|
||||
Kit.check("出口 4 越域 [1,3] 被拒〔fv2〕", not _table(bad_exit).validate().is_empty())
|
||||
# ⑥ 岔口去路数改 (2,4)
|
||||
var bad_fork_row := _row(1, 6, 0.3, [0.5, 0.2, 0.2, 0.1], 1, 1, 4)
|
||||
bad_fork_row["fork_ways_max"] = 4
|
||||
Kit.check("岔口去路数 (2,4) 被拒（恒 2/3 已锁）〔fv2〕",
|
||||
not _table([bad_fork_row, base[1], base[2]]).validate().is_empty())
|
||||
# ⑦ 键集非闭集（多塞未知键）
|
||||
var bad_keys_row: Dictionary = _row(1, 6, 0.3, [0.5, 0.2, 0.2, 0.1], 1, 1, 4)
|
||||
bad_keys_row["mystery"] = 1
|
||||
Kit.check("字段键集非 ROW_KEYS 闭集被拒〔fv2〕",
|
||||
not _table([bad_keys_row, base[1], base[2]]).validate().is_empty())
|
||||
# ⑧ level_index 重复
|
||||
Kit.check("键重复行被拒〔fv2〕", not _table([base[0], base[0]]).validate().is_empty())
|
||||
# ⑨ 战斗保底负值
|
||||
Kit.check("战斗保底 -1 被拒（≥0）〔fv2〕",
|
||||
not _table([_row(1, 6, 0.3, [0.5, 0.2, 0.2, 0.1], 1, 1, -1), base[1], base[2]]).validate().is_empty())
|
||||
# ⑩ 空表=合法态（沿 difficulty_table 先例）
|
||||
Kit.check("空表域校验零错误（合法态）〔fv2〕", _table([]).validate().is_empty())
|
||||
# 逐类负向表：[个案标签, 行集, 期望零错误]——每行仍逐案断言，消息带期望/实际与违例明细
|
||||
var cases: Array = [
|
||||
["合法三行域校验零错误（夹具自证）", base, true],
|
||||
["L1 出口=2 被拒（出口 L1 恒 1 已锁）", bad_l1_exit, false],
|
||||
["配比合计 0.5 被拒（四类合计 1 已锁）", bad_ratio, false],
|
||||
["层深 5<6 被拒（层深下限已锁）", bad_layers, false],
|
||||
["层深增幅倒挂被拒（递增且增幅变大）", bad_growth, false],
|
||||
["出口 4 越域 [1,3] 被拒", bad_exit, false],
|
||||
["岔口去路数 (2,4) 被拒（恒 2/3 已锁）", [bad_fork_row, base[1], base[2]], false],
|
||||
["字段键集非 ROW_KEYS 闭集被拒", [bad_keys_row, base[1], base[2]], false],
|
||||
["键重复行被拒", [base[0], base[0]], false],
|
||||
["战斗保底 -1 被拒（≥0）", [_row(1, 6, 0.3, [0.5, 0.2, 0.2, 0.1], 1, 1, -1), base[1], base[2]], false],
|
||||
["空表域校验零错误（合法态）", [], true],
|
||||
]
|
||||
for c in cases:
|
||||
var errs: Array = _table(c[1]).validate()
|
||||
var expect_label := "零错误" if c[2] else "有违例"
|
||||
var actual_label := "零错误" if errs.is_empty() else "违例 %d 条 %s" % [errs.size(), str(errs)]
|
||||
Kit.check("域校验：%s（期望%s，实际%s）〔fv2〕" % [c[0], expect_label, actual_label],
|
||||
errs.is_empty() == c[2])
|
||||
@@ -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")
|
||||
|
||||
@@ -89,8 +89,8 @@ func _first_encounter_band(level_index: int, enemy_id: String) -> int:
|
||||
# ① 冒险表（单行全局 Rule 4 豁免——建表与接线闸；TP0 令牌池：配额结构/件值对/池总量域检）
|
||||
func _smoke_adventure_table() -> void:
|
||||
print("--- 冒险表（AdventureTable——令牌池行值单点：回血/配额/件值对/同调位）---")
|
||||
Kit.check("db.adventure 已加载（adventure.tres 入 manifest）", _db.adventure != null)
|
||||
if _db.adventure == null:
|
||||
Kit.check("db.adventure 已加载（adventure.tres 入 manifest）", _db.run.adventure != null)
|
||||
if _db.run.adventure == null:
|
||||
return
|
||||
Kit.check("AdventureTable.validate() 零违例（全键域检+档位配额结构锚在案）", _db.run.adventure.validate().is_empty())
|
||||
Kit.check("clear_heal_pct ∈ [0,100]（%d——关卡完成部分回血比例）" % int(_db.run.adventure.clear_heal_pct),
|
||||
@@ -419,7 +419,7 @@ func _smoke_variation_framework() -> void:
|
||||
|
||||
func _smoke_difficulty_table() -> void:
|
||||
print("--- 难度曲线与Boss·DifficultyTable 结构位 ---")
|
||||
Kit.check("DifficultyTable MVP 空表加载（结构位）", _db.difficulty != null and _db.run.difficulty.rows.is_empty())
|
||||
Kit.check("DifficultyTable MVP 空表加载（结构位）", _db.run.difficulty != null and _db.run.difficulty.rows.is_empty())
|
||||
# ① 空表零行为：敌人系统.spawn 敌值 = EnemyTable 行值原样
|
||||
var enemy_system = load("res://core/unit_container.gd").new(_db)
|
||||
Kit.check("spawn 受理", enemy_system.spawn({"level_index": 1, "node_depth": 0, "hero_hp": int(_db.combat.hero.max_hp)}))
|
||||
@@ -498,7 +498,7 @@ func _smoke_nine_types_gp_stream() -> void:
|
||||
# conversion 覆盖恰三，Boss 两档 first ≥ repeat）----
|
||||
func _smoke_meta() -> void:
|
||||
print("--- 元进度·MetaTable 表结构 ---")
|
||||
var meta_tbl = _db.meta
|
||||
var meta_tbl = _db.crossrun.meta
|
||||
Kit.check("MetaTable 非空 + validate 零错（三行族词表封闭/唯一/连续/域界/first≥repeat/ratio 全过）",
|
||||
meta_tbl != null and meta_tbl.validate().is_empty())
|
||||
Kit.check("MetaTable 行族规模 3/3/2（Boss/换算恰三/Y 升级两档——forge_products 迭代 21 退役、workshop_items 迭代 22 退役）",
|
||||
|
||||
Reference in new issue
Block a user