From 7a2d19fd12c24e2d327d0bdf9eed707fd049fae3 Mon Sep 17 00:00:00 2001
From: DKChan <524912269@qq.com>
Date: Fri, 30 Oct 2026 16:47:20 +0800
Subject: [PATCH] =?UTF-8?q?=E8=A1=A5=E6=8F=90=E4=BA=A4(=E5=86=99=E5=8D=A1?=
 =?UTF-8?q?=E6=AE=B5=E6=AC=A0=E8=B4=A6):=20=E9=9C=80=E6=B1=82=E5=8D=A1?=
 =?UTF-8?q?=E7=89=87-=E6=A3=8B=E7=9B=98=E6=A0=BC=E8=BE=B9=E9=95=BF?=
 =?UTF-8?q?=E5=8F=A3=E5=BE=84=E6=94=B6=E5=8F=A3=E6=89=B9-2026-10-30=20?=
 =?UTF-8?q?=E5=85=A5=E5=BA=93=E2=80=94=E2=80=94=E5=BE=85=E5=8A=9E=E6=B8=85?=
 =?UTF-8?q?=E5=8D=95:326=20=E5=BC=95=E7=94=A8=E5=9C=A8=E5=85=88=E8=80=8C?=
 =?UTF-8?q?=E6=96=87=E4=BB=B6=E4=B8=80=E7=9B=B4=E6=9C=AA=E8=B7=9F=E8=B8=AA?=
 =?UTF-8?q?,=E4=B8=BB=E5=8C=BA=E7=9B=98=E4=B8=8A=E5=AD=98=E5=9C=A8?=
 =?UTF-8?q?=E6=95=85=2008c=20=E6=B5=81=E6=B0=B4=E7=BA=BF=E9=97=B8=E6=9F=A5?=
 =?UTF-8?q?=E7=9B=98=E6=94=BE=E8=A1=8C,worktree=20=E5=86=B7=E6=A3=80?=
 =?UTF-8?q?=E5=87=BA=E6=97=A0=E6=AD=A4=E4=BB=B6=E5=8D=B3=E7=BA=A2(iter44?=
 =?UTF-8?q?=20=E6=94=B6=E5=8F=A3=E6=9C=9F=2008c=20=E7=BA=A2=E7=9A=84?=
 =?UTF-8?q?=E6=88=90=E5=9B=A0);=E8=B7=A8=E5=8C=BA=E5=A4=B1=E9=85=8D?=
 =?UTF-8?q?=E9=9A=8F=E6=9C=AC=E5=9C=B0=20CI=20=E5=8C=96=E8=87=AA=E7=84=B6?=
 =?UTF-8?q?=E6=B6=88=E8=A7=A3(CI=20=E5=9C=A8=E4=B8=BB=E5=8C=BA=E8=B7=91,?=
 =?UTF-8?q?=E7=9B=98=E4=B8=8A=3D=E5=BA=93=E5=86=85=E5=90=8C=E4=B8=80?=
 =?UTF-8?q?=E9=9D=A2),=E6=9C=AC=E4=BB=B6=E8=A1=A5=E9=BD=90=E5=BC=95?=
 =?UTF-8?q?=E7=94=A8=E5=AE=9E=E4=BD=93=E7=9A=84=E5=8E=86=E5=8F=B2=E5=9C=A8?=
 =?UTF-8?q?=E5=BA=93?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 ...œ€æ±‚å�¡ç‰‡-棋盘格边长å�£å¾„收å�£æ‰¹-2026-10-30.md | 183 ++++++++++++++++++
 1 file changed, 183 insertions(+)
 create mode 100644 reports/需求�片-棋盘格边长�径收�批-2026-10-30.md

diff --git a/reports/需求�片-棋盘格边长�径收�批-2026-10-30.md b/reports/需求�片-棋盘格边长�径收�批-2026-10-30.md
new file mode 100644
index 00000000..0b260e10
--- /dev/null
+++ b/reports/需求�片-棋盘格边长�径收�批-2026-10-30.md
@@ -0,0 +1,183 @@
+# 需求�片——棋盘格边长�径收�批（探针门槛纠�＋格边长算��点＋冒烟扩四档�型）
+
+状�行：v1.0 定稿——零待�点（2026-10-30 用户�：①探针�扩到 L3 推关；②最紧档 14×14 的�读断言��元四档＋探针实�推定两处；③算��点��用�有���，��� §2 第 5 �）
+
+接收方：待办清��目「棋盘格边长三方�值�一致——待扩�定档处置（2026-10-06 登记，��=批次移交）�（`待办清�.md` 在册，状�「待写��）
+
+��：**设计事实�**�`design/gdd/ux/battle.md`「棋盘格尺寸公��节（Last Updated 2026-10-29；格边长�径的**唯一事实�**——公���读下� 30px�结构钳制 [26,46] 三项都在此节）。指路文档（2026-10-26 已归一���存算例）�`design/art/art-bible.md` §8.1�§8.2�`design/gdd/systems/表现与支撑/HUD框架.md`。四档�型事实��`game/data/tables/board_gen.tres`。
+
+## 1. 目标与完�定义
+
+这批�什么：把「棋盘格边长�在代�侧残留的两处旧�径收干净。文档侧已于 2026-10-26 归一（�径�剩 battle.md 一节），代�侧还差两件——探针的�读门槛�是 12×12 时代的 36px（比 battle.md 的�读下� 30px 严 6px，属用旧值当新标准），格边长冒烟�跑 L1/L2（13×13 与 14×14 两档�型无断言）。本批顺带把格边长算�收��点（现在它内�在 `set_cell_area` 里，任何「在别的�型/别的�积上求值�的需求都�能�写算��造第二�径）。
+
+**行为零�化**：算�����，`set_cell_area` 的副作用顺�（英雄脚锚�置 → `_refresh_slab` → `_update_world_size`）零改动，玩家��画�零�化。
+
+完�定义（全部满足�算完）：
+1. 代�侧�读门槛�30px，与 battle.md「�读下� 30px�一致；旧值 36 在 `game/` 下零残留。
+2. 格边长算��剩一处�点（`BoardView._cell_for`），`set_cell_area` �调它；探针与�元测试���自�写算�。
+3. 13×13 与 14×14 两档进入断言并在当轮真实跑批中执行通过（�元四档＋探针实��积推定两�）。
+4. 代�域闸全绿；`tools/gdstyle_baseline.txt` 中 board_view.gd �键�许�平或下�（MATCH——`max-public-methods` �� 27）。
+5. 产出物三份� `reports/`（实现报告��哺点清��验收审计报告），独立验收审计未过��并。
+
+**编队注记与估时**：估时 **0.5 个工作日**（T0 0.1�T1 0.15�T2 0.1�T3 0.1�T4 0.05），远低于迭代冻结线（5 个工作日），�编批；编入哪个迭代由迭代编排段定。本批触��`game/presentation/views/board_view.gd`＋`game/probe/layout_probe.gd`＋`game/tests/unit/core/board_gen_reward_test.gd`＋`game/tests/README.md`（写�段已�批入表），与在飞批次无文件交�需编排段�核。
+
+## 2. 现状事实
+
+全部行�为 **2026-10-30 实查**——本批编入�须由 T0 按 T0 时点 master �测�锚。
+
+1. 算�内�在 `game/presentation/views/board_view.gd:191-209`（`set_cell_area`）：`:194` N�`maxi(width,height)`�`:195` `sep := SEP`（`SEP := 2`，`:34`）�`:196-197` `d := DEPTH_PX`（`8.0`，`:37`）与 `reserve := 24.0 + d`�`:198` 一� `int(floor((minf(avail.x - 12.0 - d, avail.y - reserve) - float((n - 1) * sep)) / float(n)))`�`:199` `clampi(cell, 26, 46)`。副作用尾链 `:200-209`（英雄脚锚�置�`_refresh_slab`�`_update_world_size`）。
+2. 生产调用路径两�：`game/presentation/views/board_zone_view.gd:91-92`（`board_area.resized` → `set_cell_area(_board_area.size)`）与 `game/presentation/views/board_view.gd:250`（`rebuild` 末尾 `set_cell_area(size)`）——传入的都是棋盘视图实际�用区尺寸，`board_view` 为 `PRESET_FULL_RECT` �级，故 `board_view.size` �生产传入值。
+3. 探针门槛：`game/probe/layout_probe.gd:15` `const MIN_CELL := 36.0`，注释自陈「battle.md §棋盘格尺寸公� 1280 档 12×12 → 36px�；`:92-94` 断言 `cell < MIN_CELL` 记红。探针�进 L1（`:27` 起始冒险）�`:31` `press_candidate(0)`，故实跑�会�到 10×10（格边约 45px），门槛 36 从未在 30–35px 区间生效过。
+4. 格边长冒烟：`game/tests/unit/core/board_gen_reward_test.gd:53-69`（`_smoke_layout_cell_formula`）：`:57` `for L in [1, 2]`�`:58` `generate(L, 0, ...)`�`:60` 样本 `avail := Vector2(1036, 460)`�`:63` 读 `board_view.get("_cell")`�`:64-66` 网格高 ≤ �用高−24�`:67-68` 格边长 ∈ [26,46]。13×13 与 14×14 两档从未进入断言。
+5. **S13 顶格事实（本机 gdstyle v0.4.0 实测）**：`tools/gdstyle_baseline.txt:22` 登记 `game/presentation/views/board_view.gd|quality/max-public-methods = 27`，与实测公开方法数 27 相等。对�一文件副本加一个公开��函数�实测�到 **28**（WORSENED 红）；改�为下划线�缀（`_cell_for`）�实测�为 **27**（零新�现）。故算���必须用�有�。
+6. 四档�型�档（`game/data/tables/board_gen.tres` 实查 (level_index, node_depth) → 尺寸）：L1 depth 0–3�10×10�L1 depth 4–6�12×12�L2 depth 0–9�12×12�L3 depth 0–8�13×13�L3 depth 9–13�14×14。� `generate(1,0)`�10�`generate(2,0)`�12�`generate(3,0)`�13�`generate(3,9)`�14。
+7. 规格侧：`battle.md:137-146` 公�与两项判�——结构钳制区间 [26,46]px（`:143`，管算��越界）�**�读下� 30px**（`:144`，管玩家能�看清，与钳制分开）；`:148-152` 算例表按「1280 档�用高 486px�推算 43/36/33/30，文内明标「�布局与�型�化，�是契约值�。
+8. 实机�用�积与算例���：`game/presentation/ui_assembler.gd:20-28` 结构为 B 区 252px ＋ C/D 两列�余高（该文件 `:24` 注释写明 548px），D 列内 `board_zone_view.gd:24-36` �� AP � 44px 与 4px 间�——与 battle.md 算例�设的 486 �用高存在�差（与待办清�在册的「B 区高度 270 vs 252���）。本��把算例当契约，实��用�积一律以探针实读 `board_view.size` 为准。
+
+## 3. 设计契约（���返工，标 🔴 触碰�L3 �机呈报）
+
+- 🔴 **算��点**：格边长算��在 `BoardView._cell_for` 一处；`set_cell_area` �调它。探针�测试�任何新调用方都�得�写这�算�（�写�造第二�径，本批立项原因就是三处�径打架）。
+- 🔴 **两个数�得�并**：�读下� 30px（battle.md 判�）与结构钳制 [26,46]px（算��越界）是两个概念。�者�出现在探针门槛与断言里，�者�出现在 `_cell_for` 内；�止用钳制区间替代下�判�，也�止把下�塞进 `cell_for` 的 clamp。
+- 🔴 **�有�固定**：��函数�必须是 `_cell_for`（下划线�缀）。���§2 第 5 �的实测：公开��令 `max-public-methods` 27→28 �化。实现期「顺手改�公开方法更好看��L3。
+- 🔴 **行为零�化**：`set_cell_area` 的副作用顺�与数值����；`rebuild`�`resized` 两�调用路径�改；画��素零�化。
+- 🔴 **测试削弱申报制**：�许改动的旧断言全集� §8「测试削弱申报�，未申报的删改由独立验收审计判红。
+- 🔴 **��异类测试与撤销类��**：�得�回退 hunk 或注入破��明断言有效。
+
+## 4. 范围边界
+
+�：算���为 `_cell_for` 并改调；探针门槛 36→30 与注释改指 battle.md；探针新增「实��用�积下 13/14 �格边长推定�断言与 board_view 零尺寸�置；格边长冒烟扩到四档�型并加算��点等价断言；`game/tests/README.md` 能力行入表（写�段�批，� §5）。
+
+��（明示去�）：
+1. **探针扩到 L3 推关**——2026-10-30 用户���：�本是探针�真打穿两关（main 无跳关入�），且一旦红因是推关而�布局会污染该闸；最大��读�改由 §7.3 的推定断言承担。
+2. **battle.md 算例表改数**——实现批�写 `design/`；实测与算例的�差走 §5 �哺点通�。
+3. **四档�型数值调整**——`board_gen.tres` �尺寸由设计侧定，本批�读�写。
+4. **B 区高度 252 vs 270**——�一�在册待办（迭代 43 批�待�三点），本批�碰。
+5. **`set_cell_area` 副产物顺�调整**——零触碰。
+6. **MC�数值验�**——无数值改动零跑。
+
+## 5. 关�文档�步�
+
+| 文档 | 关�点（本批实现会改�它的哪�陈述） | �步义务 |
+|---|---|---|
+| design/gdd/ux/battle.md（设计��——实现批�直改） | ①`:148-152` 算例表按「�用高 486px�推算 43/36/33/30，而实机 D 列结构为 548px（§2 第 8 �）——探针实测格边长若与算例�符，是算例�布局漂移而�代�错；②「�读下� 30px�（`:144`）�本身��，本批正是�它对� | �哺点通�：把探针 L1 实测格边长与 13/14 推定读数��列进 `reports/iter<N>-�哺点-<日期>.md`（改哪一节�`:148-152` 算例表�改�什么�填实测值或标注「按旧布局�径�����实测读数），用户会��决�归文档批�文 |
+| game/tests/README.md（机械�——归写�段维护） | 新增能力行「战斗�三区几何与棋盘格边长（分辨率两档×四档�型）�，覆盖域表 HUD框架.md 行�步补� | 写�段已于本��文�批入表，实现批零增删零改行 |
+| design/gdd/systems/表现与支撑/HUD框架.md�design/art/art-bible.md §8.1�§8.2（已归一为指路） | 本批�改二者的任何陈述（2026-10-26 归一�它们�写规则与指针，�存算例与定值档） | 无（本行��——按规约查�出也�写明） |
+
+## 6. ��文件结构图
+
+| 文件 | �责 | 新增/�用 | 行为改动? |
+|---|---|---|---|
+| game/presentation/views/board_view.gd | 修改：`set_cell_area` 内�算�抽� `static func _cell_for(n, avail) -> int`，`set_cell_area` 改调；注释补「算�唯一�点�� | �用既有（抽自本文件既有代�，�新增文件/类） | �（算���相�——对照表行 2 的等价断言承载） |
+| game/probe/layout_probe.gd | 修改：门槛 36→30＋注释改指 battle.md；新增 board_view 零尺寸�置与 13/14 �格边长推定断言 | 修改 | 是（守���化——对照表行 1/4） |
+| game/tests/unit/core/board_gen_reward_test.gd | 修改：格边长冒烟循环扩四档�型＋�型一致断言＋算��点等价断言 | 修改 | 是（测试�——对照表行 2/3） |
+| game/tests/README.md | 修改：能力清�加一行＋覆盖域表 HUD框架行补� | 修改 | �（机械�文档，写�段�批完�） |
+
+�触碰：`board_zone_view.gd`�`ui_assembler.gd`�`data/tables/board_gen.tres`�全部 `core/` 与 `data/` 代��其余探针与测试套件。
+
+## 7. 任务� T0..T4
+
+### 7.1 T0——读数�锚与�档对账（估时 0.1 个工作日）
+
+- [ ] 按 T0 时点 master �测�锚 §2 全部行�：`layout_probe.gd:15`�`:92-94`�`:27`�`:31`�`board_view.gd:34`�`:37`�`:191-209`�`:250`�`board_zone_view.gd:91-92`�`board_gen_reward_test.gd:53-69`。
+- [ ] 四档�档�核：对 `db.combat.board_gen.resolve_row(L, D)` �组� (1,0)(2,0)(3,0)(3,9)，实测返回 `board_width` �次为 10/12/13/14——�符�L3 ��退回写�段。
+- [ ] 改�基线读数（孤立验�）：`python tools/gdstyle_gate.py`（board_view.gd `max-public-methods` 实测 27 �平）＋�件跑 `board_gen_reward_test`（绿）＋�件跑 `layout_probe`（两档绿）。三�读数进实现报告 T0 节。
+- �用：本� §2。产出：�锚�的行�与三份改�读数（T1–T4 对�基准）。
+
+### 7.2 T1——算��点��（估时 0.15 个工作日）
+
+- [ ] `board_view.gd` 新增 `static func _cell_for(n: int, avail: Vector2) -> int`，函数体�`:195-199` 五行算��字�入（`SEP`�`DEPTH_PX` �读本文件既有常�，`clampi(..., 26, 46)` 留在该函数内），返回 `int`。
+- [ ] `set_cell_area` 的 `:194-199` 六行替�为 `_cell = float(_cell_for(maxi(_board.width, _board.height), avail))`；`:200-209` 副作用尾链一字�动。
+- [ ] `:189-190` 注释�补一�：算�唯一�点�`_cell_for`（探针与�元测试共用）；�字带下划线是 S13 `max-public-methods` 27 顶格的约�，�改公开�。
+- [ ] 孤立验�：�件跑 `board_gen_reward_test`（既有四套断言全绿�算�等价性�明）＋`python tools/gdstyle_gate.py`（board_view.gd �键�平，`max-public-methods` � 27）。
+- �用：T0 读数。产出：`BoardView._cell_for(n: int, avail: Vector2) -> int`（公开��调用�，T2/T3 �字消费）。
+
+### 7.3 T2——探针门槛与最大�推定（估时 0.1 个工作日）
+
+- [ ] `layout_probe.gd:15` 改 `const MIN_CELL := 30.0`，注释改为「�读下� 30px（battle.md §棋盘格尺寸公�；结构钳制 [26,46] 管算��越界，是�一回事）�。
+- [ ] 顶部加 `const BoardViewScript := preload("res://presentation/views/board_view.gd")`（��调用载体）。
+- [ ] `_check_one` 在既有格�断言之�追加两段：①board_view 零尺寸�置——`bv.size.x <= 0.0 or bv.size.y <= 0.0` 时记问题「board_view 零尺寸（�用�积��信，格边长推定无��）�；②推定断言——对 `n in [13, 14]` � `BoardViewScript._cell_for(n, bv.size)`，`< int(MIN_CELL)` �记问题，消��实��用�积��型�算出的格边长与下�。
+- [ ] 收� PASS 消�补一�「13/14 �推定 ≥30px�。
+- [ ] 孤立验�：�件跑 `layout_probe`（两档全绿）＋`tools/probe_gate.sh` 默认段（�本探针在内的默认段退出� 0）。
+- �用：T1 `_cell_for`。产出：绿的两档探针日志（T4 对�基准）。
+
+### 7.4 T3——格边长冒烟扩四档（估时 0.1 个工作日）
+
+- [ ] `_smoke_layout_cell_formula` 的 `:57` 循环集改为四档�样表：`[{L:1,D:0,n:10}, {L:2,D:0,n:12}, {L:3,D:0,n:13}, {L:3,D:9,n:14}]`（按 §2 第 6 �的实表�档）。
+- [ ] �档追加两�断言：①�型一致——`maxi(b.width, b.height) == �样 n`（表改动导致�样�错档时红）；②算��点——`int(cell) == BoardViewScript._cell_for(n, avail)`（`set_cell_area` 写入值与纯函数返回�值）。
+- [ ] 既有两�断言（网格高 ≤ �用高−24�格边长 ∈ [26,46]）�字�留，仅把消��缀从 `L%d` 扩� `L%d D%d`；`:60` 样本 `Vector2(1036, 460)` �改（本�把「真实�用�积�的�读�交给探针，样本�承担算��溢出�）。
+- [ ] 孤立验�：�件跑 `board_gen_reward_test`（四档全绿）。
+- �用：T1 `_cell_for`�T0 �档对账。产出：四档冒烟日志（T4 对�基准）。
+
+### 7.5 T4——批末收�与产出物��（估时 0.05 个工作日）
+
+- [ ] 批末代�域闸：`tools/run_all_gates.sh --code` 全绿（本批改动� `game/` 下� `.md` 行为载体 → 代�域；02 �元与集�按关�档选跑 `board_gen_reward` 套件，冒烟�系统测试���扫�三件�跑）。里程碑步出�跑一次全套；波内修���出红最��元的最窄确认。
+- [ ] S13 键账对账：board_view.gd �键�平（`max-public-methods` 27 ���`max-class-variables` 32 ���无 NEW 键）；探针与测试�在 S13 扫��。
+- [ ] **产出物���**（轻闸全绿���并�写�，方算收�）：
+  - `reports/iter<N>-实现报告-<日期>.md`——��状�＋T0 三份改�读数与��改�读数对�＋探针实读的 `board_view.size`（两档视�）与 L1 格边长实测值＋13/14 推定值＋实机目检总清�（登记�阻塞：「第三关 14×14 �格�数字清楚�辨�一项，时间由用户自定）。
+  - `reports/iter<N>-�哺点-<日期>.md`——§5 �步�第 1 行（battle.md 算例表 vs 实测）��有�点。
+  - `reports/iter<N>-验收审计-<日期>.md`——独立验收审计（未�与实现的会�或�代�执行，未过�得�并）。
+- �用：T1–T3 全部产出。产出：代�域闸回执＋三份 reports/ 产出物。
+
+## 8. 验�闸（改动—验收对照表）
+
+本批三处改动全部�在守��（探针门槛�测试覆盖�算��点），游�行为零�化，故无新玩法验收；用户目检一项登记�阻塞（T4）。对照表 5 行对应 §1 完�定义第 1–5 �。
+
+| # | 需求点 | 改动（文件:行/行为） | 验收测试（�称＋�点＋尾缀） | 层级 | 真实入� | 判�绑定� | 能力行 |
+|---|---|---|---|---|---|---|---|
+| 1 | 探针�读门槛与 battle.md 对�（36→30） | `layout_probe.gd:15` 常�与注释；`:92-94` 断言文本沿用 | 「layout_probe 两档几何����`layout_probe.gd:_ready`（尾缀〔格边长 V1〕） | 探针 | `godot --headless --path game res://probe/layout_probe.tscn` | 探针�真实战斗�装�读到 `board_view.cell_size` 且 ≥30px（下�判�直接作用于实机�值） | 新增：战斗�三区几何与棋盘格边长（分辨率两档×四档�型） |
+| 2 | 算��点（`_cell_for`） | `board_view.gd:191-209` 抽函数并改调；`:189-190` 注释补唯一�点� | 「格边长算��点等价�`board_gen_reward_test.gd:_smoke_layout_cell_formula`（尾缀〔格边长 V2〕） | �元 | `godot --headless --path game --script res://tests/unit/core/board_gen_reward_test.gd` | `set_cell_area` 写入的 `_cell` 与 `BoardView._cell_for(n, avail)` 返回值�档严格相等（�一事实两路读�，分��红） | 新增：战斗�三区几何与棋盘格边长（分辨率两档×四档�型） |
+| 3 | 13×13�14×14 进入冒烟 | `board_gen_reward_test.gd:53-69` 循环集改四档�样＋�型一致断言 | 「格边长冒烟四档�型��函数（尾缀〔格边长 V3〕） | �元 | �上 | 13/14 两档首次被断言：�档尺寸与实表一致�网格高 ≤ �用高−24�格边长 ∈ [26,46]（此�从未执行） | 新增：战斗�三区几何与棋盘格边长（分辨率两档×四档�型） |
+| 4 | 最大��读推定（实��用�积） | `layout_probe.gd:_check_one` 新增 board_view 零尺寸�置＋`n∈{13,14}` 推定断言 | 「最大�格边长推定��探针（尾缀〔格边长 V4〕） | 探针 | `godot --headless --path game res://probe/layout_probe.tscn` | 以探针实读 `board_view.size` 代入 `_cell_for(13�14, size)` 得 ≥30px（真实容器尺寸下的最大��读�——�推关��覆盖） | 新增：战斗�三区几何与棋盘格边长（分辨率两档×四档�型） |
+| 5 | 批末收� | 全批 | 代�域闸：`tools/run_all_gates.sh --code` | 全�闸 | `tools/run_all_gates.sh --code` | 所选域全绿回执（`game/tests/.gates/receipt.json`） | 新增：战斗�三区几何与棋盘格边长（分辨率两档×四档�型） |
+
+**测试削弱申报**（实现期�许的旧断言改动全集，超出�审计判红）：
+1. **探针门槛 36→30�阈值放宽**，�� battle.md `:144`「�读下� 30px�（旧值 36 是 12×12 旧锚点的误用，探针实跑从未触� 30–35px 区间，等于该门槛对大�无效）。补��第 4 行新增推定断言与第 3 行四档冒烟——原门槛守��的�由两者接管。
+2. 第 3 行循环集从 2 档扩到 4 档�纯增�；`avail` 样本值�改；既有两�断言（网格高�区间）�字�留。
+3. 探针新增断言�纯增�，既有格�断言与两档视�表�改。
+4. 显��止：删任何旧断言�放宽区间 [26,46]�把格�读�从 `cell_size`�`_cell` ��别的入�。
+
+**独立验收审计**：入�与报告�`reports/iter<N>-验收审计-<日期>.md`；审计方�未�与实现的会�或�代�，�行核对对照表两端�抽查判�绑定�是�绑在被测改动特有的�观测�（`cell_size`�`_cell` �值与 `_cell_for` 返回）�核对削弱申报�确认全文无�异�撤销类��；未过�得�并。
+
+## 9. 异常分级
+
+- **L1 自救**：�件跑红→定�该件最��元修��跑；探针�件超时→孤立�跑该件；`--only` 选跑零命中（用法错 exit 2）→修正选��跑。
+- **L2 记录继续**：�一红连续 3 次�因→在实现报告「实现决定记录�记因�继续最窄确认。
+- **L3 �机写报告等用户**：
+  1. **机检预算互斥�上游缺陷��退回写�段**——`gdstyle_gate` 出 NEW 键或 `board_view.gd|quality/max-public-methods` �到 28（� `_cell_for` 的下划线被去掉）；本批零新增文件�零新增�员，任何键�化都�许改基线�绿，�开��。
+  2. **实��读�本身�达标**——探针实测 L1 `cell_size` < 30，或实��用�积代入 13/14 � < 30。这是产��问题（�是断言错），��呈报，�调低下����样本凑绿。
+  3. **四档�档对�上**——`resolve_row(1,0)/(2,0)/(3,0)/(3,9)` 实测尺寸与 §2 第 6 ��符（表已改而本�未跟上）。
+  4. **算�等价性破**——T1 �既有四套断言出现改��存在的红，说明��改�了算�语义。
+
+## 10. 代��白��（��列，超清�记实现报告「实现决定记录�）
+
+1. `_cell_for` 内部局部���与注释措辞（算��常��clamp 数值��）。
+2. 四档�样表用字典数组还是三元组数组（�值与断言��）。
+3. 探针推定断言与零尺寸�置的失败消�文案�PASS 消�措辞（判���）。
+4. 尾缀〔格边长 V1〕–〔格边长 V4〕的字样编排（�义��）。
+5. `BoardViewScript` 常��（preload 载体命�）。
+
+## 11. 待�点
+
+**零待�点，开工门�U0。** 2026-10-30 用户三项�定已定案：①探针�扩到 L3（推关�本与红因混淆，最大�改走推定断言）；②最紧档 14×14 的断言�两处（�元四档＋探针实�推定）；③算���用 `_cell_for` �有�（§2 第 5 � S13 实测��）。编批由迭代编排段定。
+
+## 12. ��与��用性预检
+
+**�用�**：本批零新增文件�零新增类。`_cell_for` 抽自 `board_view.set_cell_area` 既有内�算�——�能�留在原处内�，是因为探针�在「�当��型（13/14）× 真实�用�积�上求值��元测试�在四档�型上求值，内�形�无法�用，�写算�就是造第二�径（正是本��消�的缺陷形�）。探针与测试的既有工具件（`probe_ui_util.gd`�`test_kit.gd`）与本批�责无关，��用也�扩展。
+
+**唯一�**：算�唯一�点�`BoardView._cell_for`；�读下� 30px 的唯一代�判���`layout_probe.MIN_CELL`（文本出处�battle.md `:144`）；四档�型唯一事实��`board_gen.tres`（测试按 (L,D) �行，��制�值）。2026-10-30 实查 `game/` 下无 `cell_for`�`_cell_for` ��或�义函数，无第二�点。
+
+**分层与交互�**：`_cell_for` 是无状�纯函数——零�员读写�零信��零 RNG�零 UI �赖�零 `load()`；调用路径�`set_cell_area`（生产）�探针 `_check_one`（�脚本常���调用）��元测试（��）。preservation：�新增跨层�赖，Core 零 UI 红线零触碰（本批�触 `core/`）。
+
+## 13. 实现规范预算
+
+**新件三查**：本批零新增文件——三查�适用（写「无新增件�）。
+
+**存�触�一查**：触碰的存�件为 `board_view.gd`（S13 扫��内）与探针�测试两件（�在 S13 扫��）。`board_view.gd` 预期：`quality/max-public-methods` �� **27**（�有���计数，§2 第 5 �实测）�`quality/max-class-variables` �� 32�`quality/max-branches|_paint_cell` 等函数级键�平（本批�增分支��增�员��增局部��——`set_cell_area` 局部���而�少）。达�手段：算�整体�出，函数体�留一行调用。
+
+**指标例外申报**：无。
+
+## 14. ��级断言与探针契约�的�批义务（防�项清�）
+
+1. `layout_probe` 的既有两档视�表（`VIEWPORTS`）与三�几何���（三区�零��越视��互����view �于 D 区）本批零改动——T2 �追加断言，�改判�。
+2. `board_view` 的对外�读出�（`cell_size`，`board_view.gd:93-95`）是探针�值�，本批�动；测试内部读 `_cell`（测试惯例已如此，`board_gen_reward_test.gd:63`），�改为公开出�。
+3. `game/tests/README.md` 能力行由写�段�批入表（本��文时已�），实现批�写该文件；批末核对表上�字与实况一致。