docs(卡②产出物): 实现报告＋代拍板追认单＋反哺点清单三份落 reports/

实现报告含完成定义 8 条逐项核对、V12 三组判读表（off 逐字节一致）、变异验证表、V14 目检登记；代拍板 7 条＋S11/S12 编号冲突与 V12 基线重采呈报；反哺点 13 条（architecture 三处/tests README/06/07/提案三处订正/sim-data 例外）。
2026-10-20 23:56:53 +08:00
1 parent b42463c920
commit 6491f7d5f6
@@ -0,0 +1,17 @@
+# 迭代 32 卡② 代拍板追认单（2026-10-20）
+
+批次内落入卡片 §11 代拍板白名单的微决策，逐条备案确认（授权发生于卡片审问阶段，实现只执行预授权）。
+
+| # | 决策 | 白名单条目 | 落点 |
+|---|---|---|---|
+| 1 | 负面套件命名/夹具诊断文案（"违规表被放行""校验通道静默化""正确拒绝"）措辞，退出码协议 1/2 已锁 | §11.6 | counter_prefix_fatal_test.gd |
+| 2 | 引用闭合声明集口径：采「任一 do.counter_id 行」而非「仅 kind=counter_add」——因 insurance_used 经 `forgive_seal_miss` 行的 do.counter_id 由 _apply_counter_hit 写入，严版会误判其为悬空 | §11.3 延伸（判据语义微调，成员判定本体不变） | config_db_cross_validator.gd ⑦ |
+| 3 | S12 段 shell 写法：`find | xargs -0 grep -lEn` 命中文件数 + 非空自检，与现役 S 段同构 | §11.7 | static_scan.sh S12 |
+| 4 | 冒烟裸引擎段 ctx 取用：rig 段取 `orch.counters_ctx`（真实挂载路径），_smoke_tree_rules standalone 引擎自建 `EffectContext.new()`（sense 用共享 level 字典引用复刻跨战持久） | §11.2 | smoke_all.gd |
+| 5 | effect_words_t1 ⑥⑦重写措辞（adventure 桶共享字典往返／round_ 前缀整桶清空 vs battle 无前缀存活），断言语义承卡片 §4.1 D1/E1 | §11.1 | effect_words_t1_test.gd |
+| 6 | parity 复放文件名与判读排版（off/formed/rules 三组、--mode 两判据、字段集从基线推导）内部实现自由 | §11.7/§11.8 | parity_compare.py |
+| 7 | V16 既有断言写键 twin_digs→adv_twin_digs、V13 旧键用字符串拼接构造（避 S12 旧件扫描字面，语义不变） | §11.1 延伸 | feat_vouchers_test.gd |
+
+**超白名单呈报（消解，非代裁）**：
+- **S 编号冲突**：卡片 §7 写「static_scan.sh 新增 S11 段」，但卡①（执行序①，先合入 master）已占用 S11（代码注释禁用词）。本批旧件扫描落 **S12**（顺延取下一号），判据与扫描面严格按卡片 §7 F1/V10 实现。此属卡片成文时 S11 未定义的现实偏差，归反哺点，未改卡片、未凑绿。
+- **V12 基线重采**：卡片 T0 记录预采基线 game 树哈希 f75acc15；卡① 改 game/ 后树前进到 4b34a656，据卡片 T0「若不等则留盘基线作废、按 T7 命令重采」条款重采三组 40 局；重采基线哈希 2d3d4247/0fcbcb26 逐字复现卡片在册值，证明重采口径与卡片一致。
@@ -0,0 +1,51 @@
+# 迭代 32 卡② 反哺点清单（2026-10-20）
+
+代码实现批，禁写 `design/` 与根规则文件。要改文档的点逐条列此，用户裁决后归文档批落文。对应卡片 §6 关联文档同步面。
+
+## architecture.md（三处）
+
+| # | 位置 | 现陈述 | 建议改成 | 依据 |
+|---|---|---|---|---|
+| 1 | 模块归属表 effect_engine 行「对外暴露」列（:116） | 记 `counters_export·counters_seed` 与「domain=adventure 跨战斗持久」 | 改写为 ctx 形态：`dispatch(ctx,...)`/静态 `counter_add·counter_spend·bucket_of`；跨战持久＝经 EffectContext 引用宿主持有桶（无 export/seed） | 搬运链已整段删除，该陈述失义 |
+| 2 | 战斗域装配现状节（:125） | 「战末 export/开局 seed 时点语义不变」 | 删除或改「adventure 桶经 ctx 引用直写 RunLedger，无搬运时点」 | 同上 |
+| 3 | 「架构原则」节 | 缺「系统无状态」条目 | 补一条（立项判据）——**指向 06 在册条目「效果引擎系统无状态原则缺架构文档条目」**，由文档批执行补条 | 卡片 §6 + 提案 §7.9#1/§7.10.16 B1 |
+
+## tests/README.md
+
+| # | 现陈述 | 建议改成 |
+|---|---|---|
+| 4 | :58「manifest 已登记实跑 26 套件」（卡片所载） | 本批实跑单元 35 套件（+1 counter_prefix_fatal 负面套件）；套件数与段描述由文档批更新到现实数（注意卡①/卡②并行期计数漂移，以 run_all.gd 现况为准） |
+
+## 06-待办清单
+
+| # | 项 | 建议 |
+|---|---|---|
+| 5 | 上游条目「计数器寿命域未统一」 | 随本批完成整条删除（收口=batch-closure 技能）；其现状内引用的行号（adventure_runner :838-841 等）随实现漂移，删除时一并消亡 |
+| 6 | 新增条目「效果引擎系统无状态原则缺架构文档条目」 | 本批实现落地后，该文档轨条目待文档批补 architecture.md 原则条；06 状态推进与条目清掉归文档批 |
+
+## 07-体验验证清单
+
+| # | 项 | 建议 |
+|---|---|---|
+| 7 | 天赋树锋/守「每关第 3 次起无减半/无返 AP」＝玩家可感知削弱 | 登记目检项（实现报告实机目检总清单已列 V14），用户实战验；只登记不阻塞 |
+
+## design/research/提案-效果引擎无状态化（三处口径订正——依卡片 §12 裁决以卡片为准）
+
+| # | 提案节 | 卡片裁定 | 建议 |
+|---|---|---|---|
+| 8 | §7.10.3 前缀判据「meta_ 及其余未知前缀→违例」 | 14 枚 id 全含下划线，严版误伤全部既有 battle id；封闭前缀词表＝第二事实源 | 采「只禁 meta_＋其余落 battle」松版＋引用闭合承接（提案随文档批订正） |
+| 9 | §7.10.12 复放判读「27 字段＋levels_cleared 不得上行」 | 实采 33 字段；单一不得上行判据把增强组与削弱组混判 | 采三组分类判据（off 逐位／formed·rules 输入面恒等，方向只记报告）——本批已按此实现 |
+| 10 | §7.7「零采集」定值 | 现行锚 24 字段与本批不同构，不可作复放基线 | 改批内重采三组 40 局（已做）；提案随文档批订正 |
+
+## sim-data/README.md
+
+| # | 项 | 建议 |
+|---|---|---|
+| 11 | 配套纪律③「对拍=0 新跑」⑦「零数值改动=零 MC」 | 登记本批批次例外：V12 三组 40 局基线重采＋40 局复放（二档上限内，依卡片 §12 裁点①）；现行锚与读数文件未动 |
+
+## 卡片与现实偏差（本批实况，非代裁）
+
+| # | 项 | 说明 |
+|---|---|---|
+| 12 | static_scan 编号 | 卡片写「S11 段」，卡① 已占 S11；本批旧件扫描落 S12（顺延）。卡片如订正归文档批，或后续以「S12=旧件零残留」为准 |
+| 13 | V12 基线哈希 | 卡片 T0 记 f75acc15 基线；卡① 改 game/ 致树前进 4b34a656，据 T0 条款重采，新基线复现卡片 formed/rules 在册哈希 2d3d4247/0fcbcb26 |
@@ -0,0 +1,77 @@
+# 迭代 32 卡② 实现报告·效果引擎无状态化批（2026-10-20）
+
+- **批次**：迭代 32 执行序②（效果引擎无状态化批·架构重构 restructure）
+- **分支**：`g-plan2-iter32-card2-stateless`（基点 master 880ee91b＝卡① 合回点）
+- **设计事实源**：`design/research/提案-效果引擎无状态化-2026-10-19.md` v1.2
+- **合回前 tip**：b42463c9（+ 本报告等产出物提交后为最终 tip）
+- **闸回执**：`game/tests/.gates/receipt.json` domain=code，all_green=true，11 号 parity 落 skip
+
+## 完成定义 8 条逐项核对
+
+| # | 完成定义 | 状态 | 证据 |
+|---|---|---|---|
+| 1 | EffectEngine 实例零运行时可变数据 | ✅ | 仅剩 `_triggers`（编译产物）＋`db`（只读）；`_counters/_reset_on_round_start/_adventure_counter_ids` 删除（T2 a721e52） |
+| 2 | 四桶外置、宿主持有、随宿主生灭 | ✅ | round/battle→BattleOrchestrator、level→LevelRunner.level_counters、adventure→run_ledger.adventure_counters（T1 ae5baed） |
+| 3 | 搬运链整段删除零残留 | ✅ | counters_export/counters_seed/counters_merge_export/counters_seed_snapshot 删除；S12 静态扫描 game/**/*.gd+*.tres 零命中（T7 003581f） |
+| 4 | 硬编码清除名单删除、按关清零改由 level 桶 new 承载 | ✅ | _reset_tree_limited_counters 删除（T1） |
+| 5 | 前缀归属机器可读＋加载期可校验＋引用闭合 | ✅ | validate_trigger_row 前缀致命 ＋ _push_trigger assert ＋ config_db ⑦ 引用闭合；负面套件两断言（meta_ 非法／悬空读点）正确拒绝（T5 4c5bdbc） |
+| 6 | V12 批内同种子复放三组判读通过 | ✅ | off 组 base==post 逐字节一致（bf084ef3…）；formed/rules input-parity PASS（详见 V12 节） |
+| 7 | dig_combo 死读数连同 combo 分支删除、零行为差 | ✅ | T3 删除；S12 含 dig_combo 相关旧件零残留；off 组逐位一致佐证零行为差 |
+| 8 | 旧档断点含改名前旧键加载不崩（无迁移） | ✅ | V13/H1 断言（430f97f）：注入 tree_sense_*/twin_digs 旧键 resume 受理零崩溃、留桶成死键 |
+
+## 改前改后读数对照
+
+| 读数 | 改前（master 880ee91b） | 改后（卡② tip） |
+|---|---|---|
+| 冒烟绿数 | 1150 | 1150（旧 V10 直呼断言随函数退役 −1，本批裸引擎段迁移净变化归零） |
+| 单元套件 | 34 全绿 | 35 全绿（+1＝counter_prefix_fatal 负面套件） |
+| static_scan 退出 | 0 | 0（新增 S12 绿） |
+| 代码域闸 all_green | — | true |
+
+## T 卡状态
+
+| T | 提交 | 状态 |
+|---|---|---|
+| T0 基线＋采集器 rules 档类型修复 | a8db2257 | ✅ 首提交单列（无玩法改动）；基线因卡① 改 game/ 树哈希漂移，据卡片 T0「重采」条款重采三组 40 局 |
+| T1 EffectContext＋四宿主接线 | ae5baed6 | ✅ |
+| T2 引擎删状态＋ctx 接口＋静态写口 | a721e529 | ✅ |
+| T3 7 施加点＋dig_combo 删＋run_ledger 搬运链删 | 96d31705 | ✅ |
+| 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 | 进行中 |
+
+## V12 同种子复放三组判读（完成定义 6 主力证据）
+
+基线码＝master 880ee91b＋采集器 rules 档类型修复（单独 worktree 采集）；post 码＝卡② tip。命令行逐字一致（normal/route=min/attune=off/shop=off）。
+
+| 组 | 档 | 局数 | base sha | post sha | 判据 | 结论 |
+|---|---|---|---|---|---|---|
+| off | feat_mode=off | 20（81000–81019） | bf084ef3… | bf084ef3… | 整条逐位相等 | **PASS（字节级一致）** |
+| formed | mode=formed | 10 | 2d3d4247… | 6e6423a5… | 输入面八字段＋字段集恒等 | **PASS** |
+| rules | rules+sense 两键 | 10 | 0fcbcb26… | f8af8da3… | 输入面八字段＋字段集恒等 | **PASS** |
+
+- off 组 base==post 逐字节一致＝未受影响路径（零 feats/零计数器触碰）确定性零漂移，结构迁移对其透明。
+- formed/rules 输入面（policy/seed/atk_pct/hp_pct/route/attune/equipped/feat_mode）恒等、种子集与局数一致、字段集恒等、零崩溃；输出面差异＝已定性预期行为变更（adventure 桶真跨战持久、sense 每关限次、pain_layers 不跨战——契约 1 三处），**不声称零漂移**。
+- 判红先排除环境：基线哈希 2d3d4247/0fcbcb26 与卡片 T0 在册预采值逐字复现，证明基线采集口径正确。
+- **rules≠off 0 局相同**（分组非空转）——证采集器类型修复（T0 首提交）生效，rules 组确按 sense 两键注入。
+
+## 变异验证记录表（test-conventions §6）
+
+| 断言 | 注入形态 | 跑的最窄闸 | 期望 | 结果 |
+|---|---|---|---|---|
+| V9（.tres 前缀侧） | validate_trigger_row 前缀分支置 `if false` | counter_prefix_fatal_test | ①非法前缀放行→quit2 | **EXIT=2 捕获** |
+| V9（引用闭合侧） | 闭合 push_diag 严重级 error→info | counter_prefix_fatal_test | ②悬空读点放行→quit2 | **EXIT=2 捕获** |
+| V10（S12） | reward_economy 注释写回 counters_export | static_scan.sh | S12 FAIL | **命中 1 文件见红**，还原回绿 |
+| V12（采集器侧） | 去 Array 包裹（还原 T0 修复形态）→ 已在基线验证 | rules 组判读 | rules==off 即空转 | 实测 rules≠off 0 相同＝非空转 |
+
+## 实机目检总清单（登记不阻塞·V14）
+
+- 天赋树锋/守：同一关内第 3 次起踩危险格不再伤害减半、第 3 次标错不再返 AP（每战限 2→每关限 2 的削弱，玩家可感知）——用户实战目检。
+- 断点续玩旧档（含改名前 counter 键）正常进入不崩（V13 自动化已覆盖崩溃面，此处目检手感）。
+
+## 遗留读数义务
+
+- 三处已定性行为变更由 V12 formed/rules 输入面判据＋负面套件＋冒烟桶断言承载；本批不声称零漂移。
+- V12 采集文件落 `sim-data/`（数据件不入 git，常驻留盘供报告与后续核对；本批不动现行锚）。