diff --git a/reports/iter46-实现报告-卡C-2026-11-01.md b/reports/iter46-实现报告-卡C-2026-11-01.md
index 35fb4a73..59f9cd05 100644
--- a/reports/iter46-实现报告-卡C-2026-11-01.md
+++ b/reports/iter46-实现报告-卡C-2026-11-01.md
@@ -24,7 +24,7 @@
 
 | # | 需求点 | 改动 | 验收测试（名称＋实际落点＋尾缀） | 层级 | 真实入口 | 判据绑定面 | 结果 |
 |---|---|---|---|---|---|---|---|
-| 1 | 探针阈值退役＋格边长接线守卫 | `layout_probe.gd` MIN_CELL 常量整行删除；阈值断言换等价断言（:106-109） | 「两档几何不变量＋格边长等价」`layout_probe.gd:_ready`（PASS 行 :45 尾缀〔格边长 V1〕；失败路径 :107） | 探针 | `godot --headless --path game res://probe/layout_probe.tscn` | 实读 `cell_size`（生产经 `set_cell_area` 真实写入）与 `_cell_for(n, bv.size)` 同输入严格相等——生产停止调单点算式即红；`grep -rn "MIN_CELL\|可读门槛\|可读下限" game/` 零命中（已跑，exit=1 零命中） | 绿（两档全过，基座实读 40px） |
+| 1 | 探针阈值退役＋格边长接线守卫 | `layout_probe.gd` MIN_CELL 常量整行删除；阈值断言换等价断言（:106-109） | 「两档几何不变量＋格边长等价」`layout_probe.gd:_ready`（PASS 行 :45 尾缀〔格边长 V1〕；失败路径 :107） | 探针 | `godot --headless --path game res://probe/layout_probe.tscn` | 实读 `cell_size`（生产经 `set_cell_area` 真实写入）与 `_cell_for(n, bv.size)` 同输入严格相等——生产停止调单点算式即红；`_board` 内部字段直查＝受控例外（板型 N 无公开出口，卡 §14.2）；`grep -rn "MIN_CELL\|可读门槛\|可读下限" game/` 零命中（已跑，exit=1 零命中） | 绿（两档全过，基座实读 40px） |
 | 2 | 算式单点（`_cell_for`） | `board_view.gd:210` 改调 `static _cell_for`（:226，逐位同式）；:206 注释补唯一落点句 | 「算式单点等价」`board_gen_reward_test.gd:75-76`（尾缀〔格边长 V2〕） | 单元 | `godot --headless --path game --script res://tests/unit/core/board_gen_reward_test.gd` | `set_cell_area` 写入的 `_cell` 与 `BoardView._cell_for(n, avail)` 返回值逐档严格相等（同一事实两路读取，分叉即红） | 绿（四档 4 断言全过；既有四套断言全绿＝等价性证明，62→74 checks） |
 | 3 | 13×13／14×14 进入冒烟 | `board_gen_reward_test.gd:58` 循环集改四档取样表 [(1,0,10),(2,0,12),(3,0,13),(3,9,14)]；:69-74 板型一致＋既有两断言（前缀 L%d D%d） | 「格边长冒烟四档板型」同函数（尾缀〔格边长 V3〕） | 单元 | 同上 | 13/14 两档首次被断言：取档尺寸与实表一致、网格高 ≤ 可用高−24、格边 ∈ [26,46]（既有断言逐字保留） | 绿（四档 12 断言全过，10/12/13/14 实测 41/33/31/28px） |
 | 4 | 最大板推定守卫（留痕型） | `layout_probe.gd:_check_one` 零尺寸前置（:112-114 记红）＋13/14 推定留痕（:116-119 采集，:47-50 PASS 后打印） | 「最大板推定留痕」同探针（尾缀〔格边长 V4〕） | 探针 | 同行 1 | ①零尺寸前置（size ≤ 0 记红）；②推定读数打印并与本报告 §四留档锚点读数逐值对拍，不一致＝卡 §9 L3 #2 呈报（禁实现侧改锚） | 绿（基座 30/28、全屏 46/46——与锚点逐值一致，零对拍偏差） |
@@ -67,4 +67,4 @@
 
 ## 九、独立验收审计结论
 
-独立验收审计由未参与实现的子代理执行，报告＝`reports/iter46-验收审计-卡C-2026-11-01.md`。结论：**待审计落笔**（本节在审计报告落位后回填结论行；未过不得合并）。
+独立验收审计由未参与实现的子代理执行，报告＝`reports/iter46-验收审计-卡C-2026-11-01.md`。结论：**通过，可合并**——五项全过（对照表五行逐行核对／自跑最窄测试实读：探针基座实读 40px·推定 30/28·46/46·单元 74 checks 全绿／判据绑定面钉生产写入值／测试削弱逐处对上卡 §8 申报全集／全仓无人造阈值回归且无变异·撤销取证）。一处非阻断备注已处置：实现报告 §三 行 1 判据绑定面格补「受控例外」句（审计报告原文备注定格于补句前）。审计方自跑读数与本实现会话当轮实跑逐值一致。未过不得合并红线未触发。
diff --git a/reports/iter46-验收审计-卡C-2026-11-01.md b/reports/iter46-验收审计-卡C-2026-11-01.md
new file mode 100644
index 00000000..3ecc4302
--- /dev/null
+++ b/reports/iter46-验收审计-卡C-2026-11-01.md
@@ -0,0 +1,91 @@
+# 迭代 46 验收审计——卡C 棋盘格边长口径收口批 v2.0（2026-11-01）
+
+> 审计方：独立子代理（未参与实现，只读证据＋自跑最窄测试，不采信实现报告转述）。
+> 审计对象：commit `e3e206d0`（代码三件）＋`8eaf7d87`（收尾文档两件）；卡C 段基点 master `5269ed40`。
+> 依据：需求卡片 v2.0（§8 改动—验收对照表＋测试削弱申报全集）、实现报告 §三 实际对照表、批末闸回执。
+> 审计工作区：`D:\code\g-plan2-iter46`（分支 iter46）。审计全程只读，唯一写入＝本报告。
+
+## 一、对照表逐行核对——通过
+
+实现报告 §三 五行逐行核对，每行的验收测试真实存在、尾缀可 grep、真实入口未绕过改动点。
+
+行 1（探针阈值退役＋接线守卫）：
+- 测试真实存在：`game/probe/layout_probe.gd:98-109`（读 `cell_size` → 等价断言），失败路径 `:107`，PASS 行 `:45`。
+- 尾缀 grep：`grep -n "格边长 V1" game/probe/layout_probe.gd` → `:45`／`:105`／`:107` 三处。
+- 真实入口：`layout_probe.tscn:6` 挂载 `res://probe/layout_probe.gd`（场景进，非脚本直调）；探针断言对象＝`main.tscn` 实例化的生产 UI 链（`main.ui.battle.board_zone.board_view`），非测试替身。
+- 报告附带的 grep 读数（MIN_CELL 零命中）由审计方独立复跑证实（见第五节）。
+
+行 2（算式单点 V2）：
+- 测试真实存在：`game/tests/unit/core/board_gen_reward_test.gd:75-76`，断言条件 `int(cell) == board_view_script._cell_for(n, avail)`。
+- 改动点行号核实：`board_view.gd:210`＝`_cell = float(_cell_for(maxi(_board.width, _board.height), avail))`、`:226`＝`static func _cell_for`——与报告所记 `:210`／`:226` 逐一相符。
+- 真实入口：`--script res://tests/unit/core/board_gen_reward_test.gd` 直跑（文件头 `:10` 自述同入口）。
+
+行 3（四档冒烟 V3）：
+- 测试真实存在：`board_gen_reward_test.gd:59` 四档取样表 `[(1,0,10),(2,0,12),(3,0,13),(3,9,14)]`，`:69`／`:71`／`:73` 三条 V3 断言。
+- 真实入口同行 2（同一宿主 `_init:33` 调 `_smoke_layout_cell_formula`）。
+
+行 4（推定留痕 V4）：
+- 测试真实存在：零尺寸前置 `layout_probe.gd:113-114`，推定采集 `:116-119`，PASS 后打印 `:47-50`，尾缀 `:49`／`:114`。
+- 真实入口同行 1。
+
+行 5（批末收口）：
+- `game/tests/.gates/receipt.json` 实读：`all_green=true`、`commit=e3e206d0f5646ecb8ece22ac08018c26e5591e1d`、七闸（00/01/02/03/05/09/10）exit 全 `0`、`domain=code`、`scope=related[presentation]`、`changed_vs_baseline=[]`——与报告行 5 所记一致。审计方未重跑全量闸（按审计约束，回执承载）。
+
+## 二、自跑最窄测试抽查——通过
+
+a. 探针两档（工作目录 `D:\code\g-plan2-iter46\game`）：
+- 命令：`/d/code/godot/Godot_v4.7.2-stable_win64_console.exe --headless --path . res://probe/layout_probe.tscn`
+- 实测 exit 0。关键输出原文：
+  - `[layout_probe] PASS — 2 档几何不变量全过＋格边长等价成立（基座实读 40px）〔格边长 V1〕`
+  - `[layout_probe] [基座 1280x800] 13 板推定 30px／14 板推定 28px（实板可用面积 (1022.0, 454.0)）〔格边长 V4〕`
+  - `[layout_probe] [16:9 全屏 1920x1080] 13 板推定 46px／14 板推定 46px（实板可用面积 (1662.0, 734.0)）〔格边长 V4〕`
+- 读数与卡 §2 第 7 条锚点（基座 30/28、全屏 46/46，可用面积 1022×454／1662×734）逐值一致，零对拍偏差。审计方另按公式手工复核：基座 13 板 `(422−24)/13=30.6→30`、14 板 `(422−26)/14=28.28→28`、全屏 14 板 `(702−26)/14=48.3→钳制 46`——打印值与单点算式自洽。
+
+b. 单元四档（同工作目录）：
+- 命令：`…console.exe --headless --path . --script res://tests/unit/core/board_gen_reward_test.gd`
+- 实测 exit 0，收尾行 `[board_gen_reward_test] all green (74 checks)`。
+- 四档各四断言全 PASS：L1D0（41px）／L2D0（33px）／L3D0（31px）／L3D9（28px）——每档「板型一致〔格边长 V3〕」「网格高 ≤ 可用高−24〔格边长 V3〕」「格边 ∈ 26–46〔格边长 V3〕」「算式单点等价〔格边长 V2〕」各一条，16 条尾缀齐全。62→74 增量＝每档净增 3 条 × 4 档，账目相符。
+
+c. gdstyle（工作目录 `D:\code\g-plan2-iter46`）：
+- 命令：`python tools/gdstyle_gate.py`
+- 实测 exit 0：`扫描面 142 个 .gd；命中 5 条，基线内 5 条，基线外新违规 0 条，较登记值恶化 0 条`。
+- 基线两键实读：`tools/gdstyle_baseline.txt:11`＝`board_view.gd|quality/max-class-variables = 31`、`:12`＝`board_view.gd|quality/max-public-methods = 27`——持平，无 NEW 键。
+
+## 三、判据绑定面核查——通过（一处非阻断措辞备注）
+
+1. 绑定的是生产写入值，不是多层防御后的终态：
+   - 探针取值面＝`cell_size` 公开只读属性（`board_view.gd:89-91` getter 直返 `_cell`），`_cell` 由 `set_cell_area` 在 `:210` 直接写入；生产写入路径两条未动（`board_zone_view.gd:92` resized 信号→`set_cell_area(_board_area.size)`、`board_view.gd:273` rebuild 末尾）。等价断言 `layout_probe.gd:106` 对 `bv.size`（实板可用面积）严格相等（`!=` 记红）——生产停调单点算式即红（基座档默认值 46 与算式值 40 分叉可捕）。
+   - 单元取值面＝真实调用 `set_cell_area(avail)` 后直读 `_cell`（`board_gen_reward_test.gd:65,67`），与同输入 `_cell_for(n, avail)` 逐档 int 严格相等（`:76`）——同一事实两路读取。
+2. 内部字段直查两处的例外依据：
+   - 探针读 `_board`（`layout_probe.gd:103`）：理由「板型 N 无公开出口」已载于代码注释 `:102`、卡 §7.3 T2 与卡 §14.2、报告 §六 白名单第 6 项。
+   - 测试读 `_cell`（`board_gen_reward_test.gd:67`）：批前既有取值面（卡 §2 第 4 条记载改前即如此），卡 §8 申报 4 明列 `cell_size`／`_cell` 为两合法入口、禁换别的入口——属守住的旧面，非新开直查。
+3. 非阻断措辞备注：卡 §14.2 与代码注释 `layout_probe.gd:102` 均称例外理由「对照表行 1 注明」，但实现报告 §三 行 1 判据绑定面格（以及卡 §8 行 1）未逐字带「N 无公开出口／受控例外」句——交叉引用指针落空。例外事实与理由已在他处完整承载（本节第 2 点所列四处），断言零削弱、无申报外改动，不判红；建议实现会话顺手把该句补进报告 §三 行 1（可选，不阻塞合并）。
+
+## 四、测试削弱核查——通过
+
+e3e206d0 负向行（删除行）全集逐处对账，全部落进卡 §8 申报四条，无申报外删改：
+
+| 删除内容 | 对应申报 |
+|---|---|
+| `const MIN_CELL := 36.0` 整行 | 申报 1（阈值常量退役） |
+| `if cell < MIN_CELL:` ＋「< 可读门槛」记红两行 | 申报 1（阈值断言删除） |
+| 旧 PASS 消息（「格子 ≥36px」形态）两行 | 申报 2（文案随判据换代） |
+| `for L in [1, 2]` 与 `generate(L, 0, …)` 两行 | 申报 3（循环集 2→4 档）＋白名单第 2 项（字典数组形态） |
+| 两条旧 Kit.check 的消息行 | 申报 3（前缀 L%d→L%d D%d——卡 §7.4 明许）＋白名单第 4 项（尾缀编排） |
+| 冒烟 print 头行（「底部预留回归」→「·四档板型」） | 申报 3 同批日志头随档数换代（非断言，无条件面） |
+| `board_view.gd` 内联算式六行 | 非断言——逐字搬入 `_cell_for`（`board_view.gd:226-231` 对拍：SEP/DEPTH_PX 同源、reserve 24.0+d 同式、clampi(26,46) 留函数内），行为零变化由单元 74 checks 全绿承载 |
+
+补偿三件全在位：等价断言（V1）、结构钳制四档（V3）、推定留痕（V4）。既有两断言条件逐字保留（`grid_h <= int(avail.y) - 24`、`cell >= 26.0 and cell <= 46.0`），样本 `Vector2(1036, 460)` 未改。既有几何不变量与视口档位表零改动（diff 负向行中无其一）。申报 4（禁恢复阈值/删旧断言/放宽区间/换读取入口）成立——四处均未发生。
+
+## 五、全仓无人造阈值回归——通过
+
+- `grep -rn "MIN_CELL\|可读门槛\|可读下限" game/` → 零命中（exit 1）；扩到 `tools/`、`design/` 查 `MIN_CELL` 亦零命中。
+- 30/36 阈值形态穷举：三件改动文件中 30 仅两处且均非格边长判据（`board_gen_reward_test.gd:203`「板面 30% 锚」＝雷数比例锚、`board_view.gd:659`「南部 30%」＝墙面口径注释）；36 零出现。全 `game/` 断言形态 grep（`(>|>=|<|<=)\s*(30|36)`）命中皆为无关域（RNG 位移 `>> 30`、商店 `1 << 30` 哨兵价、护甲 `<= 30` 属性域检）；`clampi` 无 30/36 形态。格边长唯一区间判据仍是公式自带 `clampi(26, 46)`。
+- 变异类测试与撤销类取证：diff 负向行无「人为改错值验抓取」形态；无回退 hunk；测试代码无注入破坏分支（探针 `_board == null` 前置属测量面防御，报告 §六 第 1 项已备案，非变异）。
+- design/ 现状：`battle.md:144`「可读下限 30px」句仍在位＝预期（实现批禁写 `design/`，退役走反哺点通道——`reports/iter46-反哺点-卡C-2026-11-01.md` 第 1 条已登记，卡 §5 明示不阻塞本批）。
+- 禁写面核查：卡C 段全区间 `5269ed40..8eaf7d87` 触碰文件恰为三件代码＋两件 reports，`待办清单.md`／`体验验证清单.md`／`game/tests/README.md`／`design/` 零触碰。
+- 工作区漂移核查：三件代码文件 `git status` 干净——审计实跑的即 e3e206d0 提交的字节。
+
+## 六、总结论
+
+**通过。** 五项审计全过：对照表五行真实入口与尾缀齐全；自跑探针两档绿（基座实读 40px、推定 30/28 与 46/46 合锚点）、单元 all green 74 checks（四档 41/33/31/28px，V2/V3 全 PASS）、gdstyle 基线外新违规 0 恶化 0；判据绑生产写入值与 `_cell_for` 严格相等；删改逐处对上申报四条；全仓无人造阈值回归、无变异/撤销形态。唯一遗留＝第三节第 3 点的交叉引用措辞备注（不判红、不阻塞合并，补句归实现会话可选动作）。