test(迁移): 批 B 波 1 G3 套4 伤害量值区间五条迁入 board_gen_reward_test.gd——剪切挂载绿（宿主累计 62 检查）＋变异 4/5 验红；「区间行上下阶实际流动」证死断言候选（守面同字典读数自比较恒假，源码自带缺陷非迁移引入，照迁禁删上报主会话）；_row_power 套内独占随迁，smoke_all.gd 同批删函数与游离节头注释
This commit is contained in:
DKChan committed
1 parent
5dd6d8498a
commit
824a88d26d
3 files changed
+81
-84
No files matched your search
@@ -1331,9 +1331,6 @@ func _ms_digest(ms, ae) -> Array:
|
||||
return [[int(ms.hero_pos().x), int(ms.hero_pos().y)], rev, seals, ae.ap, ae.phase, ms.seal_count()]
|
||||
|
||||
|
||||
# ---- 地图战斗资源·伤害量值区间冒烟（roll 域内 + 中点锚 + 变异实际流动 + 定值行不受扰）----
|
||||
|
||||
|
||||
# ---- 排雷玩法 封印动作耗尽末点 AP 回归（playtest 缺陷②——v1 冒烟盲区：自动玩家不用封印）----
|
||||
|
||||
func _smoke_seal_ap_exhausted() -> void:
|
||||
@@ -2023,87 +2020,6 @@ func _auto_play_round(settlement, out: Dictionary) -> void:
|
||||
|
||||
|
||||
|
||||
# ---- 地图战斗资源·伤害量值区间冒烟（roll 域内 + 中点锚 + 变异实际流动 + 定值行不受扰）----
|
||||
|
||||
func _smoke_power_interval() -> void:
|
||||
print("--- 地图战斗资源·伤害量值区间（上阶/下阶随机）---")
|
||||
# ① 表侧静态锚（配置推导——改表不断锚）：凡带 power_min/power_max 的行 = 区间行，
|
||||
# 校验配对齐全（lo ≤ hi）+ power = floor 中点（行动经济 条款①期望当量锚）；其余行必须零区间字段。
|
||||
# 行清单与区间值全部随表走——现行区间行 heal_minor/clear_blast 只是恰然，不再是锚。
|
||||
var interval_rows := {} # rid → [lo, hi]（读表）
|
||||
var anchors_ok := true
|
||||
for row in _db.reward.rows:
|
||||
var rid := String(row.reward_id)
|
||||
if row.has("power_min") or row.has("power_max"):
|
||||
var lo: int = int(row.get("power_min", -1))
|
||||
var hi: int = int(row.get("power_max", -1))
|
||||
interval_rows[rid] = [lo, hi]
|
||||
if lo > hi or int(row.power) != (lo + hi) / 2:
|
||||
anchors_ok = false
|
||||
check(anchors_ok and interval_rows.size() >= 1,
|
||||
"区间行配对齐全且 power = floor 中点（配置推导 %d 行：%s）" % [interval_rows.size(), str(interval_rows.keys())])
|
||||
# ② 运行侧：24 板 roll——区间行快照 power 全域内 + 上下阶实际流动 + 定值行不受扰
|
||||
var rng = load("res://core/rng_service.gd").new()
|
||||
rng.set_master_seed(20260914)
|
||||
var reward_economy_factory = load("res://core/reward_economy.gd")
|
||||
var eligible: Array = []
|
||||
for i in range(6):
|
||||
eligible.append({"cell": Vector2i(i, 0)})
|
||||
var seen := {}
|
||||
for rid in interval_rows.keys():
|
||||
seen[rid] = {} # rid → {roll 值集}（区间行随表注册）
|
||||
var in_domain := true
|
||||
var fixed_ok := true
|
||||
for trial in range(24):
|
||||
var reward_economy = reward_economy_factory.new(_db, rng)
|
||||
if not reward_economy.roll_board(eligible):
|
||||
continue
|
||||
for e in eligible:
|
||||
var snap: Dictionary = reward_economy.query_full_snapshot(e.cell)
|
||||
var rid := String(snap.reward_id)
|
||||
if interval_rows.has(rid):
|
||||
var v := int(snap.power)
|
||||
seen[rid][v] = true
|
||||
if v < interval_rows[rid][0] or v > interval_rows[rid][1]:
|
||||
in_domain = false
|
||||
elif int(snap.power) != _row_power(rid):
|
||||
fixed_ok = false # 定值行快照 power 必须仍是表值
|
||||
var cs: Dictionary = reward_economy.grant_clear()
|
||||
var cv := int(cs.power)
|
||||
var c_rid := String(cs.reward_id)
|
||||
if not seen.has(c_rid):
|
||||
seen[c_rid] = {}
|
||||
seen[c_rid][cv] = true
|
||||
if interval_rows.has(c_rid) and (cv < interval_rows[c_rid][0] or cv > interval_rows[c_rid][1]):
|
||||
in_domain = false
|
||||
check(in_domain, "24 板全区间行快照 power ∈ [power_min, power_max]（含清图槽）")
|
||||
check(fixed_ok, "定值行快照 power 恒等表值——区间批零外溢")
|
||||
# 定值行（区间 lo==hi 的行，如 heal_minor）roll 恒等表值；区间行（lo<hi，如 clear_blast）须实际流动。
|
||||
# 全部按 interval_rows 配置推导——新增/改区间行自动纳入，不逐行硬编码。
|
||||
var variance_ok := true
|
||||
var fixed_rows_ok := true
|
||||
for rid in interval_rows.keys():
|
||||
var lo: int = interval_rows[rid][0]
|
||||
var hi: int = interval_rows[rid][1]
|
||||
var samples: int = seen.get(rid, {}).size()
|
||||
if lo == hi:
|
||||
if samples > 0 and not (samples == 1 and seen[rid].has(lo)):
|
||||
fixed_rows_ok = false
|
||||
elif samples >= 2 and seen[rid].size() < 2:
|
||||
variance_ok = false
|
||||
check(variance_ok, "区间行上下阶实际流动（≥2 样本的区间行须 ≥2 个不同 roll 值）")
|
||||
check(fixed_rows_ok, "定值行（lo=hi）roll 恒等表值")
|
||||
|
||||
|
||||
func _row_power(rid: String) -> int:
|
||||
for row in _db.reward.rows:
|
||||
if String(row.reward_id) == rid:
|
||||
return int(row.power)
|
||||
return -1
|
||||
|
||||
|
||||
|
||||
|
||||
# ---- 行动经济·轮内刷新冒烟（方案 A：Active 相位当场换图继续挖）----
|
||||
|
||||
func _smoke_active_refresh() -> void:
|
||||
|
||||
@@ -33,6 +33,7 @@ func _init() -> void:
|
||||
_smoke_layout_cell_formula()
|
||||
_smoke_reward_identity_unit()
|
||||
_smoke_board_generator()
|
||||
_smoke_power_interval()
|
||||
quit(Kit.finish("board_gen_reward_test"))
|
||||
|
||||
|
||||
@@ -202,3 +203,82 @@ func _board_dump(b) -> String:
|
||||
var c := Vector2i(x, y)
|
||||
parts.append("%d:%d:%d:%s" % [x, y, 1 if b.is_mine(c) else 0, str(b.variants.get(c, []))])
|
||||
return "\n".join(parts)
|
||||
|
||||
|
||||
# ---- 地图战斗资源·伤害量值区间冒烟（roll 域内 + 中点锚 + 变异实际流动 + 定值行不受扰）----
|
||||
|
||||
func _smoke_power_interval() -> void:
|
||||
print("--- 地图战斗资源·伤害量值区间（上阶/下阶随机）---")
|
||||
# ① 表侧静态锚（配置推导——改表不断锚）：凡带 power_min/power_max 的行 = 区间行，
|
||||
# 校验配对齐全（lo ≤ hi）+ power = floor 中点（行动经济 条款①期望当量锚）；其余行必须零区间字段。
|
||||
# 行清单与区间值全部随表走——现行区间行 heal_minor/clear_blast 只是恰然，不再是锚。
|
||||
var interval_rows := {} # rid → [lo, hi]（读表）
|
||||
var anchors_ok := true
|
||||
for row in _db.reward.rows:
|
||||
var rid := String(row.reward_id)
|
||||
if row.has("power_min") or row.has("power_max"):
|
||||
var lo: int = int(row.get("power_min", -1))
|
||||
var hi: int = int(row.get("power_max", -1))
|
||||
interval_rows[rid] = [lo, hi]
|
||||
if lo > hi or int(row.power) != (lo + hi) / 2:
|
||||
anchors_ok = false
|
||||
Kit.check("区间行配对齐全且 power = floor 中点（配置推导 %d 行：%s）" % [interval_rows.size(), str(interval_rows.keys())],
|
||||
anchors_ok and interval_rows.size() >= 1)
|
||||
# ② 运行侧：24 板 roll——区间行快照 power 全域内 + 上下阶实际流动 + 定值行不受扰
|
||||
var rng = load("res://core/rng_service.gd").new()
|
||||
rng.set_master_seed(20260914)
|
||||
var reward_economy_factory = load("res://core/reward_economy.gd")
|
||||
var eligible: Array = []
|
||||
for i in range(6):
|
||||
eligible.append({"cell": Vector2i(i, 0)})
|
||||
var seen := {}
|
||||
for rid in interval_rows.keys():
|
||||
seen[rid] = {} # rid → {roll 值集}（区间行随表注册）
|
||||
var in_domain := true
|
||||
var fixed_ok := true
|
||||
for trial in range(24):
|
||||
var reward_economy = reward_economy_factory.new(_db, rng)
|
||||
if not reward_economy.roll_board(eligible):
|
||||
continue
|
||||
for e in eligible:
|
||||
var snap: Dictionary = reward_economy.query_full_snapshot(e.cell)
|
||||
var rid := String(snap.reward_id)
|
||||
if interval_rows.has(rid):
|
||||
var v := int(snap.power)
|
||||
seen[rid][v] = true
|
||||
if v < interval_rows[rid][0] or v > interval_rows[rid][1]:
|
||||
in_domain = false
|
||||
elif int(snap.power) != _row_power(rid):
|
||||
fixed_ok = false # 定值行快照 power 必须仍是表值
|
||||
var cs: Dictionary = reward_economy.grant_clear()
|
||||
var cv := int(cs.power)
|
||||
var c_rid := String(cs.reward_id)
|
||||
if not seen.has(c_rid):
|
||||
seen[c_rid] = {}
|
||||
seen[c_rid][cv] = true
|
||||
if interval_rows.has(c_rid) and (cv < interval_rows[c_rid][0] or cv > interval_rows[c_rid][1]):
|
||||
in_domain = false
|
||||
Kit.check("24 板全区间行快照 power ∈ [power_min, power_max]（含清图槽）", in_domain)
|
||||
Kit.check("定值行快照 power 恒等表值——区间批零外溢", fixed_ok)
|
||||
# 定值行（区间 lo==hi 的行，如 heal_minor）roll 恒等表值；区间行（lo<hi，如 clear_blast）须实际流动。
|
||||
# 全部按 interval_rows 配置推导——新增/改区间行自动纳入，不逐行硬编码。
|
||||
var variance_ok := true
|
||||
var fixed_rows_ok := true
|
||||
for rid in interval_rows.keys():
|
||||
var lo: int = interval_rows[rid][0]
|
||||
var hi: int = interval_rows[rid][1]
|
||||
var samples: int = seen.get(rid, {}).size()
|
||||
if lo == hi:
|
||||
if samples > 0 and not (samples == 1 and seen[rid].has(lo)):
|
||||
fixed_rows_ok = false
|
||||
elif samples >= 2 and seen[rid].size() < 2:
|
||||
variance_ok = false
|
||||
Kit.check("区间行上下阶实际流动（≥2 样本的区间行须 ≥2 个不同 roll 值）", variance_ok)
|
||||
Kit.check("定值行（lo=hi）roll 恒等表值", fixed_rows_ok)
|
||||
|
||||
|
||||
func _row_power(rid: String) -> int:
|
||||
for row in _db.reward.rows:
|
||||
if String(row.reward_id) == rid:
|
||||
return int(row.power)
|
||||
return -1
|
||||
@@ -270,6 +270,7 @@
|
||||
- `_smoke_layout_cell_formula`（2 条）：2/2 验红。变异点——board_view.gd:233 删 `- float((n - 1) * sep)` 格间距项（bug⑥ 原缺陷形态；红唯一两条迭代齐红 L1 438/L2 442 > 436，档内条保持绿）；board_view.gd:234 clamp 上界 46→25（该条守面＝钳制带本体——夹具板实测格边 41/33 为带内值，带内改界不红，改界出带方验红；红唯一两条迭代齐红 25px < 26，网格高条保持绿）。
|
||||
- `_smoke_reward_identity_unit`（10 条）：10/10 验红（全部红唯一 1/14）。变异点——reward_economy.gd:89 roll_board 尾 return true→false（红「roll_board 受理」）；:39 相位守卫 `_phase == "ready"`→`"never"`（红「重复 roll_board 被拒」）；:113 投影删 tier 键（红「query_identity 投影」）；:111 清单外出口 return null→{}（红「清单外坐标查询」；null→{} 形态避免 `_mapping[cell]` 缺键 crash）；:140 grant 幂等缓存出口改扰动副本 duplicate+stacks=99（红「同格重复 grant 幂等」——重算快照值相等，非扰动副本形态红不了）；:137 grant 清单外出口 return null→{}（红「清单外 grant 拒绝」）；:87 `_clear_identity = clear_rid`→`"gp_coin"`（红「清图批尾身份」，power 掷定仍循真 clear_rid 故 :1977 power 条保持绿——隔离成功）；:85 `_clear_power` 区间掷点→`power_min - 1`（红「清图奖励 power ∈ 表区间」roll 23 < 24）；:152 grant_clear 幂等缓存出口改扰动副本（红「grant_clear 同批次重调幂等」）；:163–164 两点变异 `_phase = "retired"` 与 `_mapping.clear()` 双双 pass 化（红「映射退役后 grant 拒绝」——该条守面＝相位门＋映射 wipe 联合，单点均被另一机制代偿必须两点）。
|
||||
- `_smoke_board_generator`（22 条）：22/22 验红（零死断言候选）。变异点——config_db_resolver.gd:156 行匹配 return row→`return {}`（红「BoardGen 行解析」双迭代＋generate 行缺失断言链连带：「产物非空」「R1 ceil」同轮红——resolve 与 generate 共用单点不可分）；**首试无效变异**：_ceil_key `return int(k)`→`int(k) - 1` 键值偏移致 level 键错位空 depth_keys 数组越界 crash（Parse 级污染不算红），换形 depth_ceil 路径插 `if missing == "depth_ceil": return {}`（红「R1 ceil 解析」红唯一 1/57）；board_generator.gd:75 return accepted→null（红「生成产物非空」双迭代＋suite1 rebuild 空板访问中断连带——预期形态）；:278 is_clearable 尾 return true→false（红「clearable」双迭代＋legality 内嵌消费链连带 6 条：legality 双红/accept_worst 链 inferability/非法产物/R₀ 结构）；:282 legality 头插判别器 `if params.has("node_depth"): return false`（红「legality 全过」双迭代红唯一——generate 内部 params 无 node_depth 不受扰，防三分出口链连带）；:340 指标 inferability→0.0（红「inferability ≥ target」L1 迭代红唯一——L2 原生 accept_best 走右支保持绿）；:354 后插雷位格放变异 `for c in b.mines.keys(): b.variants[c] = []; break`（红「零变体格」双迭代红唯一——雷位格不入 spawn/R₀ 合法性扫描域）；:346 指标删 degraded_product 键（红「指标集输出」双迭代红唯一——板字段独立在 :354 故三分出口条零连带）；:354 板 degraded_product→true（红「降级标记」L1 红唯一——L2 原生 accept_best 与恒真恰一致）；:353 板 illegal_product→true（红「非法标记==」双迭代＋A14 双红＋L2 互斥连带）；:353–354 双标记恒 true（红「互斥」双迭代＋A9/A10/A14 连带）；:341 指标 actual_mines+10（红「实际≤目标」双迭代——真实雷数不动绕开 _finalize 内同不变式 _fatal 守卫）；:344 指标 attempts_used→0（红「attempts 域」双迭代红唯一）；:353 板 illegal_product 取反（红「非法标记=false」双迭代＋A10 双红＋L2 互斥＋A21 b9 诚实降级标记连带）；:100 取号换全局未播种 randi_range（红「同种子逐格相同」双迭代红唯一）；:100 取号恒 i 恒等置换（红「异种子不同」＋退化板 legality 链连带——板全同构时退化板本身非法属必然形态）；board_gen.tres L1 depth0 行 r0_max_cap 45→5（红「cap 投值 ≥9」＋cap 闸压全尝试 accept_worst 链连带 2 条）；:349 指标 r0_count+100（红「R₀≤cap」双迭代红唯一——b9 illegal 支路承载故 A21 零连带）；:351 指标 r0_cap_rejected→-1（红「尝试事实在位」双迭代＋A22 双红连带）；:348 指标 ring_removed→999（红「剃雷量界」双迭代红唯一）；:316 r0_cap 闸条件 >→<（红「cap 压线 9」双迭代＋L2 结构断言连带——闸关后高 R₀ 板入收）；:345 指标 accept_mode→""（红「指标集完整」双迭代＋L2 A6/A9 连带——右支与降级比较均读该指标）。
|
||||
- `_smoke_power_interval`（5 条）：4/5 验红＋**1 条死断言候选（照迁禁删）**。变异点——reward.tres clear_blast 行 power 32→33（偏离 floor 中点；红「区间行配对齐全」红唯一 1/62）；reward_economy.gd:85 清槽掷点 hi+5（红「24 板域内」红唯一——仅清槽支路格掷点不动故零连带）；:353 _snapshot 定值行支路 `(int(row.power) + 1) if rolled_power < 0`（红「定值行零外溢」红唯一——区间行走 rolled 支路不受扰）；:82＋:85 双掷点恒取下界（**流动彻底消灭仍全绿＝死断言取证**）——「区间行上下阶实际流动」守面 `elif samples >= 2 and seen[rid].size() < 2` 中 `samples` 与 `seen[rid].size()` 为同一字典的同一读数（`seen.get(rid, {})` 与 `seen[rid]` 同引用），条件恒假 variance_ok 不可置假；该缺陷系 smoke_all.gd 源码自带（非迁移引入），断言逐字照迁，死断言候选上报主会话裁；:82 格掷点 hi+1（红「定值行（lo=hi）roll 恒等表值」＋「24 板域内」连带——heal_minor [2,2] 行任何失恒值必出域，两断言语义重叠连带不可避免）。
|
||||
|
||||
## 十、支援线 9 项待裁闭合（2026-10-22 主会话裁）
|
||||
|
||||
|
||||
Reference in new issue
Block a user