docs(卡②报告更新): §9 逐需求点 V1-V14 全落地表 + 补漏记录 + V1/V4/V9/V10 变异

reports/iter32-卡②实现报告-2026-10-20.md

@@ -39,8 +39,30 @@
 | T4 round 泛化＋宿主清零确认 | 并入 T2/T3 | ✅（round 整桶 clear＋宿主 new 天然空） |
 | T5 前缀双落点＋引用闭合＋负面套件＋manifest | d402ea14, 4c5bdbc9 | ✅ |
 | T6 数据行/合成行改名＋domain/reset_at 删 | 7f45f904 | ✅ |
-| T7 断言迁移＋S12＋V12＋变异 | b226a292, 003581f4, a9d5ac13, b42463c9 | ✅（见下） |
-| T8 产出物 | 本批 reports | 进行中 |
+| T7 断言迁移＋§9 正向断言＋S12＋V12＋变异 | b226a292, 003581f4, a9d5ac13, b42463c9, 33e1f110 | ✅（§9 见下） |
+| T8 产出物 | 本批 reports | ✅ |
+
+## §9 逐需求点正向验收主力（V1–V14·补漏记录 33e1f110）
+
+> 首合（d00f24a8）时本节缺 V1/V2/V6——只靠迁移旧测＋V12 兜底。V12 formed/rules 输出面不作判据，adventure 桶跨战持久若坏不会红，核心缺陷消解无回归网。补漏批建齐并打〔无状态化 Vn〕尾缀：
+
+| V | 需求点 | 落点 | 断言 | 变异拦截 |
+|---|---|---|---|---|
+| V1 | adventure 桶跨战持久（真实事件面） | smoke `_smoke_counter_buckets` | 同一 RunLedger 两 begin_battle 各真实 request_dig→adv_twin_digs 经 ctx 累积=2、第2战读到持久值1 | **变异红**（桶引用改新建空字典→3 断言 FAIL） |
+| V2 | adventure 桶新冒险置空 | feat_vouchers | start_adventure 后 run_ledger.adventure_counters 空 | — |
+| V3 | adventure 桶随断点往返 | feat_vouchers V16 换代 | 写桶→快照→回读逐键一致 | — |
+| V4 | level 桶同关跨战保持 | smoke `_smoke_tree_rules` | 共享 level 字典引用第2战读到限次值 | **变异红**（level 不共享→FAIL） |
+| V5 | tree_sense 每关限 2 | smoke `_smoke_tree_rules` | 置 2 后 mine_hit 闸关零命中 | — |
+| V6 | battle 桶随宿主销毁 | smoke `_smoke_counter_buckets` | 次战新编排器读 insurance_used=0 | — |
+| V7 | 保险每战限次迁移保绿 | feat_vouchers V25 | 组内断言原样绿（双账不改面） | — |
+| V8 | round 桶轮始清空 | effect_words_t1 ⑦ | round_ 前缀随 round_start 整桶 clear | — |
+| V9 | 前缀致命＋引用闭合 | counter_prefix_fatal_test | meta_/悬空读点两断言拒绝 | **变异红**（前缀分支置 false／闭合降 info→quit2） |
+| V10 | 旧件零残留 | static_scan.sh S12 | game/**/*.gd+*.tres 旧符号 0 命中 | **变异红**（注入 counters_export→命中） |
+| V11 | 旧断言同批摘除 | F2 迁移 | smoke 裸引擎段＋4 单测件 ctx 化 | — |
+| V12 | 同种子复放三组 | parity_compare.py | off 逐位／formed·rules 输入面恒等 | rules≠off 0 相同＝非空转 |
+| V13 | 旧档加载不崩 | feat_vouchers | 含改名前旧键 resume 受理零崩 | — |
+| V14 | tree_sense 削弱目检 | 实机目检清单 | 每关第3次无减半/无返 AP | 用户实战验（只登记） |
+
 
 ## V12 同种子复放三组判读（完成定义 6 主力证据）