diff --git a/game/presentation/views/board_view.gd b/game/presentation/views/board_view.gd index a271ca4b..8af30583 100644 --- a/game/presentation/views/board_view.gd +++ b/game/presentation/views/board_view.gd @@ -203,15 +203,11 @@ func set_world_font(f: Font) -> void: # D 区可用面积（AP 条之外）→ 格边长 = floor((min(宽, 高) − 预留 − (N−1)×格间距) / N)（battle.md 格尺寸公式） # 公式须补算 (N−1)×2px 网格间距与垂直预留 24px，否则 12×12 板实高溢出可用区 ~6px，下缘被 clip_contents 裁掉。 +# 算式唯一落点 = _cell_for（迭代 46 卡C——探针与单元测试共用该静态函数求值，禁复写算式造第二口径）。 func set_cell_area(avail: Vector2) -> void: if _board == null or _board.width == 0: return - var n: int = maxi(_board.width, _board.height) - var sep := SEP # 格间距（_init 同值） - var d := DEPTH_PX - var reserve := 24.0 + d # 垂直总预留（上 12 + 下 12 + 悬崖外延——悬崖占预算防溢出） - var cell := int(floor((minf(avail.x - 12.0 - d, avail.y - reserve) - float((n - 1) * sep)) / float(n))) - _cell = float(clampi(cell, 26, 46)) + _cell = float(_cell_for(maxi(_board.width, _board.height), avail)) _hero_sprite.set_cell_size(_cell, float(SEP)) var stride := _cell + float(SEP) for c in _cells: @@ -224,6 +220,17 @@ func set_cell_area(avail: Vector2) -> void: _update_world_size() +# 格边长算式唯一落点（迭代 46 卡C T1 自 set_cell_area 抽出——逐位同式：SEP/DEPTH_PX 读本文件 +# 既有常量、clampi [26,46] 留本函数内；名字带下划线是 S13 max-public-methods 27 顶格的约束，禁改公开名。 +# 探针（非当前板型 13/14×实板可用面积）与单元测试（四档板型）经本函数求值，复写算式即造第二口径） +static func _cell_for(n: int, avail: Vector2) -> int: + var sep := SEP # 格间距（_init 同值） + var d := DEPTH_PX + var reserve := 24.0 + d # 垂直总预留（上 12 + 下 12 + 悬崖外延——悬崖占预算防溢出） + var cell := int(floor((minf(avail.x - 12.0 - d, avail.y - reserve) - float((n - 1) * sep)) / float(n))) + return clampi(cell, 26, 46) + + # 悬崖参数下发（网格像素尺寸/步距/列数/材质锚色——BoardWorld._draw 消费） func _refresh_slab() -> void: if _board == null or _board.width == 0: diff --git a/game/probe/layout_probe.gd b/game/probe/layout_probe.gd index ea8e366c..965732fd 100644 --- a/game/probe/layout_probe.gd +++ b/game/probe/layout_probe.gd @@ -6,15 +6,16 @@ extends Node const ProbeUiUtil := preload("res://probe/probe_ui_util.gd") # 隔离样板单点 +const BoardViewScript := preload("res://presentation/views/board_view.gd") # 算式单点静态调用载体（迭代 46 卡C） # 分辨率档位表（逻辑视口尺寸；数据侧——增删档位只改这里，断言代码零改动） const VIEWPORTS := [ {"label": "基座 1280x800", "size": Vector2i(1280, 800)}, {"label": "16:9 全屏 1920x1080", "size": Vector2i(1920, 1080)}, ] -const MIN_CELL := 36.0 # 格子可读门槛（battle.md §棋盘格尺寸公式 1280 档 12×12 → 36px） - var _problems: PackedStringArray = [] +var _cell_reads: Dictionary = {} # 逐档格边长实读留痕（label→cell_size；PASS 行引基座值） +var _est_reads: Dictionary = {} # 逐档 13/14 板推定读数留痕（label→{13,14,avail}；PASS 后打印对拍） func _ready() -> void: @@ -41,8 +42,12 @@ func _ready() -> void: # 复原本项目基座（探针不该把进程留在末档尺寸） get_tree().root.content_scale_size = Vector2i(1280, 800) if _problems.is_empty(): - print("[layout_probe] PASS — %d 档几何不变量全过（三区非零/不越视口/互不重叠/view 含于 D 区/格子 ≥%.0fpx）" - % [VIEWPORTS.size(), MIN_CELL]) + print("[layout_probe] PASS — %d 档几何不变量全过＋格边长等价成立（基座实读 %.0fpx）〔格边长 V1〕" + % [VIEWPORTS.size(), float(_cell_reads.get("基座 1280x800", -1.0))]) + for label in _est_reads: + var e: Dictionary = _est_reads[label] + print("[layout_probe] [%s] 13 板推定 %dpx／14 板推定 %dpx（实板可用面积 %s）〔格边长 V4〕" + % [label, int(e["13"]), int(e["14"]), str(e["avail"])]) get_tree().quit(0) else: for p in _problems: @@ -91,5 +96,25 @@ func _check_one(label: String, main: Node) -> void: _problems.append("[%s] 顶层区重叠 %s×%s（%s ∩ %s）" % [label, keys[i], keys[j], rects[keys[i]], rects[keys[j]]]) var cell: float = main.ui.battle.board_zone.board_view.get("cell_size") - if cell < MIN_CELL: - _problems.append("[%s] 格子边长 %.1fpx < 可读门槛 %.0fpx" % [label, cell, MIN_CELL]) \ No newline at end of file + _cell_reads[label] = cell + # 格边长接线守卫——判据=等价（生产写入值与单点算式严格相等，生产接线断开即红； + # 全仓禁任何人造格边长可读阈值）。 + # 板型 N 无公开出口→`bv.get("_board")` 内部字段直查＝受控例外（改动—验收对照表行 1 注明理由）。 + var b = bv.get("_board") + if b == null: + _problems.append("[%s] _board 为 null（板型 N 无从取值，等价断言无依据）〔格边长 V1〕" % label) + elif cell != float(BoardViewScript._cell_for(maxi(int(b.width), int(b.height)), bv.size)): + _problems.append("[%s] 格边长等价破——生产写入 %.1fpx ≠ _cell_for(n=%d, avail=%s) 返回 %.1fpx（实板可用面积 %s）〔格边长 V1〕" + % [label, cell, maxi(int(b.width), int(b.height)), str(bv.size), + float(BoardViewScript._cell_for(maxi(int(b.width), int(b.height)), bv.size)), str(bv.size)]) + # 最大板推定留痕（迭代 46 卡C T2——实板可用面积代入 13/14 板型求算式单点，读数打印不作判红： + # 锚点=用户验收的现行渲染值；对拍归实现报告，对拍不一致＝卡 §9 L3 #2 呈报，禁实现侧改锚； + # 零尺寸前置=可用面积不可信时推定无依据） + if bv.size.x <= 0.0 or bv.size.y <= 0.0: + _problems.append("[%s] board_view 零尺寸（可用面积不可信，格边长推定无依据）〔格边长 V4〕" % label) + else: + _est_reads[label] = { + "13": BoardViewScript._cell_for(13, bv.size), + "14": BoardViewScript._cell_for(14, bv.size), + "avail": str(bv.size), + } \ No newline at end of file diff --git a/game/tests/unit/core/board_gen_reward_test.gd b/game/tests/unit/core/board_gen_reward_test.gd index 347d2b42..441314fc 100644 --- a/game/tests/unit/core/board_gen_reward_test.gd +++ b/game/tests/unit/core/board_gen_reward_test.gd @@ -51,21 +51,29 @@ func _mk_stream(stream_name: String, scope: int) -> RandomNumberGenerator: # 公式 N×cell ≤ 可用高−12 必须计入 (N−1)×2px 网格间距，否则网格实高溢出被 clip_contents 裁掉； # 现公式 = 计入间距 + 垂直预留 24px〔上 12/下 12——底部不贴 D 区边框〕）---- func _smoke_layout_cell_formula() -> void: - print("--- 棋盘布局格边长公式（底部预留回归）---") + print("--- 棋盘布局格边长公式（底部预留回归·四档板型）---") var board_generator = load("res://core/board_generator.gd").new() var board_view = load("res://presentation/views/board_view.gd").new() - for L in [1, 2]: - var b = board_generator.generate(L, 0, _mk_stream("board_gen", 555), _db) + var board_view_script := load("res://presentation/views/board_view.gd") + # 四档取样表（board_gen.tres 实表取档——(L,D)→尺寸：10/12/13/14；13×13 与 14×14 首次入断言） + var tiers := [{"L": 1, "D": 0, "n": 10}, {"L": 2, "D": 0, "n": 12}, {"L": 3, "D": 0, "n": 13}, {"L": 3, "D": 9, "n": 14}] + for t_v in tiers: + var t: Dictionary = t_v + var b = board_generator.generate(int(t["L"]), int(t["D"]), _mk_stream("board_gen", 555), _db) board_view.rebuild(b, null) var avail := Vector2(1036, 460) # 受约束 D 区可用面积样本（1280×800 档量级——用户实测裁切场景） board_view.set_cell_area(avail) var n: int = maxi(b.width, b.height) var cell: float = board_view.get("_cell") var grid_h := n * int(cell) + (n - 1) * 2 - Kit.check("L%d %dx%d 板网格高 %d ≤ 可用高 %d − 预留 24（格边 %dpx——下缘不贴边不裁切）" % [L, b.width, b.height, grid_h, int(avail.y), int(cell)], + Kit.check("L%d D%d 板型一致（%dx%d = 取样 %d——表改动致取样落错档即红）〔格边长 V3〕" % [int(t["L"]), int(t["D"]), b.width, b.height, int(t["n"])], + n == int(t["n"])) + Kit.check("L%d D%d %dx%d 板网格高 %d ≤ 可用高 %d − 预留 24（格边 %dpx——下缘不贴边不裁切）〔格边长 V3〕" % [int(t["L"]), int(t["D"]), b.width, b.height, grid_h, int(avail.y), int(cell)], grid_h <= int(avail.y) - 24) - Kit.check("L%d 格边在 26–46 档内（%dpx）" % [L, int(cell)], + Kit.check("L%d D%d 格边在 26–46 档内（%dpx）〔格边长 V3〕" % [int(t["L"]), int(t["D"]), int(cell)], cell >= 26.0 and cell <= 46.0) + Kit.check("L%d D%d 算式单点等价（set_cell_area 写入 %d == _cell_for 返回 %d——同一事实两路读取）〔格边长 V2〕" % [int(t["L"]), int(t["D"]), int(cell), board_view_script._cell_for(n, avail)], + int(cell) == board_view_script._cell_for(n, avail)) board_view.free()