From d8622ee271d3a3a4038afbec73ecaf633a130c2c Mon Sep 17 00:00:00 2001
From: DKChan <524912269@qq.com>
Date: Wed, 21 Oct 2026 02:47:10 +0800
Subject: [PATCH] =?UTF-8?q?docs(=E5=8D=A1=E2=91=A1=E6=8A=A5=E5=91=8A?=
 =?UTF-8?q?=E6=9B=B4=E6=96=B0):=20=C2=A79=20=E9=80=90=E9=9C=80=E6=B1=82?=
 =?UTF-8?q?=E7=82=B9=20V1-V14=20=E5=85=A8=E8=90=BD=E5=9C=B0=E8=A1=A8=20+?=
 =?UTF-8?q?=20=E8=A1=A5=E6=BC=8F=E8=AE=B0=E5=BD=95=20+=20V1/V4/V9/V10=20?=
 =?UTF-8?q?=E5=8F=98=E5=BC=82?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 reports/iter32-卡②实现报告-2026-10-20.md | 26 ++++++++++++++++++++++--
 1 file changed, 24 insertions(+), 2 deletions(-)

diff --git a/reports/iter32-卡②实现报告-2026-10-20.md b/reports/iter32-卡②实现报告-2026-10-20.md
index d8cac9e5..a505a923 100644
--- a/reports/iter32-卡②实现报告-2026-10-20.md
+++ b/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 主力证据）