test(迁移): 批 B 波 1 G3 套1 格边公式两条迁入 board_gen_reward_test.gd——新宿主落位＋manifest 登记＋剪切挂载绿＋按条变异 2/2 验红（间距项删除与钳制带出带各红唯一）；smoke_all.gd 同批删函数，_mk_stream 共享 helper 双份过渡（G11 仍消费）

reports/批B-断言迁移账本-2026-10-22.md

@@ -262,6 +262,13 @@
 
 施工发现（供后续组参考，接 G1 序号）：④ 共享 helper 迁移形态＝宿主复制＋smoke_all.gd 原地保留双份（残余套仍消费；本波各组禁从 smoke_all.gd 删共享 helper，收尾批统一去重）；⑤ 表值变异若触发表内 validate（配额锚/AC 带宽/互锁等），在「夹具 load 失败不中止」形态下红自然落到断言，无需两点变异；仅当变异被断言外机制吞掉（round 舍入/不变式未破/执行序不可达）才换变异点，并在账本记明无效变异首试；⑥ 宿主 fixture 与现役单元「load 失败即退」惯例不同（沿源语义不中止），后续 data_config 侧新宿主按各自断言面对齐源形态选择。
 
+**G3 单元·棋盘生成与资源 → game/tests/unit/core/board_gen_reward_test.gd：四套 39 条逐套原子提交（本组起组内按套提交）。**
+挂载终态＝宿主 `_init` 自建 `_db`（ConfigDB 构造注入，`load_tables(..., true)` 失败不中止承 G2 同款）＋`_rng`（RngService master 种子 42 沿源，全新取号计数）；套执行序沿源编排序（layout_cell_formula→reward_identity→board_generator→power_interval）。helper 随迁：`_mk_stream`（实例法，依赖 `_rng`；smoke_all.gd 原件保留——G11 `_smoke_type_glow` 仍消费）＋`_board_dump`/`_row_power`（实例法，依赖 `_db`）＋内嵌类 `_BoardRowStub`；`BoardData`/`RewardTable` 全局 class_name 裸用（--script 模式全局类在册，G2 宿主同先例）。manifest 登记随首套 commit。
+
+逐套变异记账（每条独立一轮：改坏→跑新宿主→红→`git checkout` 还原→`git status` 清洁确认）：
+
+- `_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，网格高条保持绿）。
+
 ## 十、支援线 9 项待裁闭合（2026-10-22 主会话裁）
 
 1. `extract_checks.py` **常驻保留**——承担清单维护义务（test-conventions §9.3 锚）的再提取/diff 职能；其 DEFAULT_SRC 悬空问题列入波 2：默认源改为三宿主（game/tests/unit、integration、system_test.gd）遍历，或显式路径参数，波 3 出口对账用显式模式。