审计整改(迭代50·缺漏三条补齐): V14落地minesweeper_rules_test(_test_preview_reveal_readonly五断言:形态A/B零状态写入+实挖差集F2同口径逐位+preview前后cell_revealed零增量—根因=t8b patch脚本漏写落盘调用文件零触碰,12→17 checks绿)+V2具名承接件落地level_shop_economy_test(_test_spend_discount_from_rule_key:shop.tres零诊断+字段不在位+折后价discount_pct推导+未激活原价—192→195 checks绿)+实现报告第九节订正与第十节审计整改记录+决定记录#10(forge_table闭集钉数34→32补账—R3摘名必然连带强度不减)

reports/iter50-实现报告-2026-11-03.md

@@ -100,6 +100,15 @@
 2. **透传确认读数**（T10）：adventure_monte_carlo ab_a 档 N=5 零报错零脚本错误（BATCH perfect 终局计数落盘）——level_autoplay tree_rules 字典透传生效。
 3. **MC 旧锚不重跑**（卡③总判据）：六案现行值迁移全部同种子逐位回归（冒烟+77 套件），MC 采集端零改动。
 
-## 九、能力清单核对（收尾义务）
+## 九、能力清单核对（收尾义务——经审计整改后更新）
 
-`game/tests/README.md` 能力行与实际落地逐行核对：架构整改 10 新行（V1-V15 各行）与 5 改行、断言补齐 5 行（:164 减动效行等）、个体化批新增行——代表用例名与实际落地函数名一致（V13/V5 两处实现侧改名对齐，见 #6）。覆盖域表 :211「减动效开关存储契约」状态列翻转归反哺点清单。
+`game/tests/README.md` 能力行与实际落地逐行核对：架构整改 10 新行（V1-V15 各行）与 5 改行、断言补齐 5 行（:164 减动效行等）、个体化批新增行——代表用例名与实际落地函数名一致。**首版核对漏检两处名实断裂（V14/V2 函数未落地即报一致），经独立验收审计判缺漏后补齐（见第十节）**；V13/V5 两处实现侧改名对齐见 #6。覆盖域表 :211「减动效开关存储契约」状态列翻转归反哺点清单。
+
+## 十、独立验收审计与整改（2026-11-03）
+
+- **首轮审计判定：不通过**（审计体=未参与实现子代理，报告全文落 `reports/iter50-验收审计-2026-11-03.md`）。缺漏三条：①R14/V14 `_test_preview_reveal_readonly` 从未落地（实现期 patch 脚本漏写落盘调用，minesweeper_rules_test 零触碰——虚假绿记录，根因在实现）；②R2/V2 具名承接件 `_test_spend_discount_from_rule_key` 从未落笔（判据由申报 8 改造断言承载但名实断裂）；③第九节名实核对结论失实（漏检上述两处）。
+- **整改**：①V14 落地 minesweeper_rules_test（挂载+五断言：形态A/B 零状态写入+实挖差集 F2 同口径逐位+preview 前后 cell_revealed 零增量——12→17 checks 绿）；②V2 落地 level_shop_economy_test（shop.tres 加载零诊断+字段不在位+折后价 discount_pct 推导逐位+未激活原价对照——192→195 checks 绿）；③本节与第九节订正。
+- **削弱申报程序缺项补账**：forge_table_test `_test_effect_kinds_closed` 钉数 34→32（审计判「例外——R3 摘名必然连带、强度不减、未按程序申报」）——补记为决定记录 #10。
+- **复验**：整改后由同一审计体复验两件落地测试与报告订正，判定见审计报告末节。
+
+**实现决定记录补 #10**：forge_table_test 效果类型闭集钉数断言 34→32——甲案摘名（R3 被测面本身）的必然连带：该断言按其自身注释「钉现行数」必须随词表换代；强度不减（仍捕获任何增删），非削弱。属「随被测改动同步的计数对账」，性质同卡③申报 1-9 各条（夹具/引用形态迁移），未在卡面申报清单内——审计例外判定在案，此处补账。