test(迭代35覆盖批): 〔v11〕敌侧覆盖判据由「行集非空」改为「解析落带 ≥ 请求深度」——非空不是覆盖判据(越顶 resolver clamp 照样返行),band_of 非 -1 才是卡② V11 的原意

This commit is contained in:
DKChan committed 2026-10-24 09:25:00 +08:00
1 parent 9214ef8e02
commit b5fd516b73
1 file changed
+6 -2
@@ -70,7 +70,11 @@ func _smoke_generated_coverage() -> void:
dmax = maxi(dmax, d)
var kind := String(n["type"])
if kind == "battle" or kind == "boss":
if _db.resolve_enemy_rowset(L, d, "boss" if kind == "boss" else "battle").is_empty():
var rk := "boss" if kind == "boss" else "battle"
var rs0: Array[Dictionary] = _db.resolve_enemy_rowset(L, d, rk)
# 判据=解析落带 ≥ 请求深度(等价 EnemyTable.band_of 非 -1)——行集非空不是覆盖判据,
# 越顶时 resolver 会 clamp 到顶带照样返回非空行(顶 clamp 消解正是设计禁的)
if rs0.is_empty() or int(rs0[0].get("depth_band", -1)) < d:
enemy_ok = false
var board: Dictionary = _db.resolve_board_gen(L, d)
if board.is_empty() or int(board.get("node_depth", -1)) != d:
@@ -86,7 +90,7 @@ func _smoke_generated_coverage() -> void:
boss_band_ok = false
readings.append("L%d 深度域 %d–%d" % [L, dmin, dmax])
print("[v11] 生成图覆盖量程读数:" + "; ".join(readings))
Kit.check("生成图每个 battle/boss 节点深度在敌表解析到非空行集(顶 clamp 消解禁)〔v11〕", enemy_ok)
Kit.check("生成图每个 battle/boss 节点深度的敌侧解析落带 ≥ 请求深度(band_of 非 -1·顶 clamp 消解禁)〔v11〕", enemy_ok)
Kit.check("生成图每个节点深度在 board_gen 精确命中(非空且 node_depth 等值)〔v11〕", board_ok)
Kit.check("多终点 Boss 各终点解析带键两两互异(L2/L3×20 种子)〔v11〕", boss_band_ok)