docs(迭代32反哺写入批): 卡①卡②两份反哺点清单 29 项按 2026-10-21 用户裁决全部落文

- 措辞换代：八件 design/ 文档「完美排雷」→「完美封印」（art-bible v3.17）；术语表「退役词对照」增行成 S11 词表权威来源
- 闸扩面：tools/doc_term_audit.py 词表加「完美排雷」＋扫描域扩 design/art（用户裁 2026-10-21）；变异验证＝注入见红 EXIT=1、还原回绿
- architecture.md v1.9：effect_engine/orchestrator 行与战斗域装配节改 ctx 形态、架构原则补第 8 条「系统无状态」、flag_missed→seal_missed 两处订正
- 提案 v1.3：§7.7/§7.10.3/§7.10.12 三处依卡片 §12 裁①②订正；sim-data/README 纪律③⑦批次例外登记
- 账面：待办清单增反哺专条×2／重锚批准条目／game/ 域欠账条目，无状态原则条「文档设计已闭合」；体验验证清单增 ㉚ 目检五项
- 代拍板两单 14 条用户全部追认（2026-10-21）；文档域闸 --docs 全绿（含 08c 流水线闸 70 条目零红）

design/research/提案-效果引擎无状态化-2026-10-19.md

@@ -1,7 +1,7 @@
 # 提案：效果引擎无状态化（计数器外置·分桶）
 
 - **日期**：2026-10-19
-- **版本**：v1.2（2026-10-20 设计闭合版——现行身份标记；改动沿革只查 git commit log）
+- **版本**：v1.3（2026-10-21 依需求卡片 §12 裁决订正 §7.7/§7.10.3/§7.10.12 三处口径——现行身份标记；改动沿革只查 git commit log）
 - **性质**：架构重构提案（restructure，非 refactor）——现役设计被判为错误形态，不是打磨
 - **上游**：`design/gdd/06-待办清单.md:627`「计数器寿命域未统一」条目（2026-10-18 登记）；本提案推翻该条目的解法方向，见 §8
 - **状态**：**设计已闭合·可写卡**——§7 设计定值、§7.7 采集定不发起；§4.3 六项卡点、§4.4 八项实现设计缺口、§4.5 六项需求澄清已于 2026-10-20 复核轮全部闭合（定值与推导依据集中在 §7.10，§3.2/§4.1–§4.5/§5 各节已按定值同步改写）；其中 B6（dig_combo 死读数删除）与 §7.9 五条同口径属「约束可推、可否决」项
@@ -292,6 +292,7 @@ round_start 清零点保留在引擎 `dispatch` 特判内（`:210-212` 现役挂
 **我把它挂上去的真实动机**是「想确认行为变更不是灾难级」。但这个需求有更便宜且纪律明定的手段：**同种子复放对拍**（配套纪律③——对拍断言 = **0 局新采集**，同种子重放已有锚，出口闸复验用锚内子集 ≤20）。对拍的作用是**排除意外**（除已知几处外不得有其他差异），不是量化。
 
 **定值**：不发起任何档位采集。依据＝配套纪律⑦「零数值改动 = 零 MC」＋档位表四档触发面均为数值场景。验收＝同种子复放对拍，adventure 桶相关差异列为**已知行为差异并记档**，不声称零漂移。§1 完成定义 6 同步改为「除已记档的已知差异外，逐位一致」。
+> **〔卡片裁决订正 2026-10-21，依 §12 裁①〕** 「零采集」前提失效：现行锚与本批采集面不同构，不可作复放基线。定值改为**批内重采三组各 40 局基线＋批后同种子复放 40 局**（二档上限内，`sim-data/` 纪律③⑦开批次例外）；其余判读口径见 §7.10.12 订正注。
 
 🔴 **必须呈报的事实（削弱幅度）**：`tree_sense_sharp_used` / `tree_sense_guard_used` 修后是**显著削弱**，不是变强。
 
@@ -459,7 +460,8 @@ func counters_merge_export(exported):
 
 #### 7.10.3 A3——前缀校验双落点定值（E2 并入 F1）
 
-**定值**：前缀合法性校验落两处、共用同一静态判定函数——①`validate_trigger_row`（.tres 行路径）：`do` 含 `counter_id` 时校前缀（无前缀=合法 battle；`round_`/`lvl_`/`adv_` 合法；`meta_` 及其余未知前缀→errs 追加违例，加载致命）；②`_push_trigger`（树合成行路径）：同规则 assert，写错即调试期致命。**E2 撤销**：「同 counter_id 跨前缀重复」在新形态下无指称——前缀即归属，同一字符串必落同一桶，「跨桶同名」不可构造；「同一语义计数器两行写了两套 id」（改名漏改一类）不可机器判定（两串本不同），其防线归 F1：静态扫描 S 段新增**带引号旧 id 字面零命中**规则（`"tree_sense_sharp_used"`／`"tree_sense_guard_used"`／`"twin_digs"`／`"instinct_atk"`——带引号匹配不误伤 `"lvl_tree_sense_sharp_used"`／`"adv_twin_digs"`／`"round_instinct_atk"` 等新名）。
+**定值**：前缀合法性校验落两处、共用同一静态判定函数——①`validate_trigger_row`（.tres 行路径）：`do` 含 `counter_id` 时校前缀（无前缀=合法 battle；`round_`/`lvl_`/`adv_` 合法；`meta_` 及其余未知前缀→errs 追加违例，加载致命）；②`_push_trigger`（树合成行路径）：同规则 assert，写错即调试期致命。
+> **〔卡片裁决订正 2026-10-21，依卡片 §12 裁②〕** 前缀判据定值改松版：只禁 `meta_` 前缀，其余（含未知前缀）一律落 battle 桶即归属——`feats.tres` 现有 14 枚 id 全含下划线、首段除三枚 `round_` 外全是普通词，本节严版误伤全部既有 battle id，且封闭前缀词表＝第二事实源（2026-10-19 registry 注销裁定同类）。自造新前缀静默落 battle 的残余风险改由装载期引用闭合校验（写读成对核验，拦「字面改一半」）正面承接，不再单靠人工评审；判定函数=`counter_id_legal`。本节其余双落点结构不变。**E2 撤销**：「同 counter_id 跨前缀重复」在新形态下无指称——前缀即归属，同一字符串必落同一桶，「跨桶同名」不可构造；「同一语义计数器两行写了两套 id」（改名漏改一类）不可机器判定（两串本不同），其防线归 F1：静态扫描 S 段新增**带引号旧 id 字面零命中**规则（`"tree_sense_sharp_used"`／`"tree_sense_guard_used"`／`"twin_digs"`／`"instinct_atk"`——带引号匹配不误伤 `"lvl_tree_sense_sharp_used"`／`"adv_twin_digs"`／`"round_instinct_atk"` 等新名）。
 
 **推导依据**：完成定义 5「写错即加载致命」对 .tres 行经 errs→load_tables 拒绝通道成立（feat_table.gd:44／treasure_item_table.gd:104 调用面零改、校验在函数内部生效）；树合成行不经 .tres 校验、只在 rebuild 期经 `_push_trigger` 生成（`effect_engine.gd:142-158`），漏②＝A3 原判「与完成定义 5 直接冲突」成立。负面套件载体＝`reward_dangling_treasure_test.gd` 同构（copy_tables 夹具注入坏行→load_tables 拒→expect 1＋negative:true，run_all.gd manifest 登记）。
 
@@ -499,14 +501,17 @@ func counters_merge_export(exported):
 
 #### 7.10.12 U5——G1 已知差异面（分组判读制）
 
-**定值**：RUNSUM 字段面清点完毕（`adventure_monte_carlo.gd:114-149` 共 27 字段）。行为变更只触 adventure 桶四枚中的三枚——**pain_layers 迁 battle 对全新开局零位移**（缺陷态下本就不跨战〔§7.8 自锁〕，battle 桶同样不跨战，前后皆无跨战携带）；受影响枚＝`adv_twin_digs`（返还得真跨战累积）与 `lvl_tree_sense_*`（每战限 2 → 每关限 2，§7.7 削弱定性）。同种子复放比对判读分两组：
+**定值**：RUNSUM 字段面清点完毕（`adventure_monte_carlo.gd:114-149` 共 27 字段）。行为变更只触 adventure 桶四枚中的三枚——**pain_layers 迁 battle 对全新开局零位移**（缺陷态下本就不跨战〔§7.8 自锁〕，battle 桶同样不跨战，前后皆无跨战携带）；受影响枚＝`adv_twin_digs`（返还得真跨战累积）与 `lvl_tree_sense_*`（每战限 2 → 每关限 2，§7.7 削弱定性）。
+> **〔卡片裁决订正 2026-10-21，依卡片 §12 裁①与本卡〕** 实采字段面为 33 个（本节原记 27 系清点时漏量）；分组判读由两组扩为三组——单一「`levels_cleared` 不得上行」判据把增强组（双管镐跨战累积返还得真）与削弱组（sense 每关限 2）混判，作废。现行判读口径＝**off 组全字段逐位一致；formed 组与 rules 组输入面字段恒等、其余字段允许 RNG 级联位移、方向只记报告不作判据**。下表按此执行。
+
+同种子复放比对判读分组（现行口径）：
 
 | 组 | 判定条件（由 RUNSUM 自身字段可判） | 判据 |
 |---|---|---|
 | 未受影响局 | feat_mode=off，或装备集不含双管镐与 sense 两组 | **全字段逐位一致**（结构迁移对未触路径必须透明——零漂移回归面） |
-| 受影响局 | 保守超集：装备集含受影响件且（`mine_hits>0` 或 `seal_miss>0` 或付费挖格≥2） | 输入面字段恒等（policy/seed/atk_pct/hp_pct/route/attune/equipped/feat_mode）；其余字段允许 RNG 级联位移（轮数一变后续流消费全移）；统计面判据一条：**`levels_cleared` 分布不得上行**（削弱批清关率上移即意外，§7.7 定性） |
+| 受影响局（formed/rules 两组） | 装备集含受影响件（formed=表驱动装配、rules=树规则注入，采集分组见卡片 T0/T7） | 输入面字段恒等（policy/seed/atk_pct/hp_pct/route/attune/equipped/feat_mode）；其余字段允许 RNG 级联位移（轮数一变后续流消费全移）；**方向只记报告不作判据**（增强组与削弱组分列读数随实现报告记档） |
 
-复验规模：锚内 normal 档前 20 种子（81000–81019，配套纪律③子集 ≤20；normal 单局 1.21s，20 局约 25 秒）。逐位差异明细随实现报告记档。
+复验规模（本节原案，作废——现行锚 24 字段面与本批采面不同构、且 `sim-data/` 不入 git 致 worktree 内无锚文件可校）：~~锚内 normal 档前 20 种子（81000–81019，配套纪律③子集 ≤20）~~。**现行口径〔卡片裁决订正 2026-10-21，依 §12 裁①〕＝批内重采三组各 40 局基线＋批后同种子复放 40 局**，二档上限内、`sim-data/` 纪律③⑦的批次例外已按其反哺条登记；现行锚与读数文件一律不动。逐位差异明细随实现报告记档。
 
 #### 7.10.13 U6——`mine_hit` 构造路径