From fae08d1493bb84b90a64172e96eb81bf1196fab9 Mon Sep 17 00:00:00 2001 From: DKChan <524912269@qq.com> Date: Sun, 25 Oct 2026 20:44:12 +0800 Subject: [PATCH] =?UTF-8?q?docs(11=E5=8F=B7=E5=AF=B9=E6=8B=8D=E5=AE=9A?= =?UTF-8?q?=E6=80=A7):=20=E5=8F=8C=E6=A0=91=E5=8E=9F=E5=A7=8B=E9=9D=A2?= =?UTF-8?q?=E5=AE=9E=E6=B5=8B=E2=80=94=E2=80=94runsum=20=E9=80=90=E5=AD=97?= =?UTF-8?q?=E8=8A=82=E5=90=8C=E3=80=81JSONL=20=E8=A1=8C=E6=95=B0=E5=85=A8?= =?UTF-8?q?=E5=90=8C=E4=B8=94=2017222=20=E8=A1=8C=E5=B7=AE=E5=BC=82=20100%?= =?UTF-8?q?=20=E4=B8=BA=E5=8D=A1=E2=91=A0=20d12=20=E6=96=B0=E5=A2=9E?= =?UTF-8?q?=E9=94=AE=20target=5Fid=E3=80=81=E9=9B=B6=E5=80=BC=E5=B7=AE?= =?UTF-8?q?=E9=9B=B6=E5=88=A0=E9=94=AE=EF=BC=9B=E6=8D=AE=E6=AD=A4=E6=8E=92?= =?UTF-8?q?=E9=99=A4=E5=AE=9E=E7=8E=B0=E4=B8=8D=E6=AD=A3=E7=A1=AE=EF=BC=8C?= =?UTF-8?q?=E7=BA=A2=E5=9B=A0=EF=BC=9D=E9=94=9A=E6=97=A9=E4=BA=8E=E8=BF=AD?= =?UTF-8?q?=E4=BB=A335=20=E5=8D=A1=E2=91=A1=20level=5Ftemplates=E2=86=92le?= =?UTF-8?q?vel=5Fmaps=20=E6=94=B9=E5=90=8D=EF=BC=88=E5=8E=86=E5=8F=B2?= =?UTF-8?q?=E6=AC=A0=E8=B4=A6=EF=BC=8C=E5=AF=B9=20master=20=E5=90=8C?= =?UTF-8?q?=E6=A0=B7=E6=88=90=E7=AB=8B=EF=BC=89=EF=BC=8B=E6=9C=AC=E6=89=B9?= =?UTF-8?q?=20d12=20=E5=87=BA=E6=95=B0=E9=9D=A2=E6=96=B0=E9=94=AE=E6=9C=AA?= =?UTF-8?q?=E5=85=A5=E9=94=9A=E5=8F=A3=E5=BE=84=EF=BC=9B=E9=87=8D=E9=94=9A?= =?UTF-8?q?=E4=B9=89=E5=8A=A1=E4=B8=8E=20target=5Fid=20=E7=BA=B3=E9=94=9A?= =?UTF-8?q?=E8=A6=81=E6=B1=82=E5=88=97=E5=8F=8D=E5=93=BA=E7=82=B9=E7=AC=AC?= =?UTF-8?q?=2010=20=E6=9D=A1?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- reports/iter37-反哺点-2026-10-25.md | 6 ++++++ reports/iter37-实现报告-2026-10-25.md | 19 +++++++++++++++++++ 2 files changed, 25 insertions(+) diff --git a/reports/iter37-反哺点-2026-10-25.md b/reports/iter37-反哺点-2026-10-25.md index 37eb0fce..84008e2d 100644 --- a/reports/iter37-反哺点-2026-10-25.md +++ b/reports/iter37-反哺点-2026-10-25.md @@ -53,3 +53,9 @@ ## 8. 观感/交互类无（本批零行为变更） 本批四卡全部为缺陷定点修＋等价重构，无 GDD 数值与玩法语义变化；数值表新增两 knob（`relic_base_price`/`spend_discount`，卡① d11）与 `display_name`（d16a）已随卡① 提交入库，其**表值即事实源**，GDD 若已列同值则无需改动——文档批按现行 GDD 核一次即可，未核前不落笔。 + +## 10. 重锚批的义务清单（本批实测新凭据，须并入待办清单:118 那条） + +- **文件/节**：`待办清单.md:118` 「旧行为 MC 行为锚全数作废——重锚归数值批」条目的**实况**属性；以及 `sim-data/README.md` 的 MC 采集档位表说明 +- **改成什么**：给该条目补一手凭据与新增义务——①2026-10-25 迭代 37 实测：`parity_anchor.py check` 失败 9 项，其中 3 票 RUNSUM 与 JSONL 行数面属锚早于迭代 35 卡② `9ee393a1`（MC 出数字段 `level_templates`→`level_maps`）的历史失配，对 master 同样成立；②另 6 票＝迭代 37 卡① d12 新增明细行键 `target_id`（双树原始面实测：行数全同、零值差、唯一差异＝该新键），**重锚时必须把 `target_id` 纳入锚的 JSONL 口径**，否则重锚后仍报 6 票；③锚重制属数值标定窗口动作，禁在行为重构批内顺手做（本批即按此未重锚）。 +- **依据**：实现报告附录 E（含原始面留盘位置 `sim-data/parity-master`、`sim-data/parity-iter37`，gitignored）；commit `0170071d`／`9ee393a1`；待办清单:118 现行条文。 diff --git a/reports/iter37-实现报告-2026-10-25.md b/reports/iter37-实现报告-2026-10-25.md index 9024edc3..232860c0 100644 --- a/reports/iter37-实现报告-2026-10-25.md +++ b/reports/iter37-实现报告-2026-10-25.md @@ -220,3 +220,22 @@ | F-7 | 卡① §8.3「唯一既有测试改动」与 d2×契约 5 互斥（卡片自身 spec-AC 矛盾） | 不属本批可修：V4 换代只增强不放宽（审计证实）；矛盾退回写卡段，列反哺点第 7 条 | 反哺点 7 | | F-8 | 回执钉 `9e3e2667` 落后 HEAD（纯 reports/ 追加） | 随合并 master 后的全量档复跑消解（复跑原因＝master 推进，合法复跑况②） | §5 闸读数 | | 用户裁 | 11 号回放确定性对拍 | **已获批准**：复跑带 `PARITY_APPROVED=1` 实跑三变体×20 局同种子逐字节比 | 本次复跑 | + +## 附录 E：11 号回放确定性对拍的根因定性（用户批准发起，2026-10-25 19:06–20:43 实测） + +你批准发起后跑了 `tools/parity_anchor.py check`：三票 RUNSUM 漂移＋六票 JSONL 逐位漂移＝**失败 9 项**，回执因此非绿。为分清"锚本来就错／需求改了没配套／实现写坏了"，按脚本自带取证法（头注 15 行）做了双树原始面比对： + +| 步骤 | 读数 | +|---|---| +| A：master 树跑同参批落原始面 | `sim-data/parity-master/`（9 件，gitignored） | +| B：iter37 树跑同参批落原始面 | `sim-data/parity-iter37/`（9 件） | +| C：A vs B 逐字节比 runsum | **三份 runsum 全同** | +| D：A vs B 比 JSONL | 六份文件**行数两两全同**（9671/62766/9217/60775/7125/59436）；差异行合计 17222，**全部是 `kind:"step"` 行**；差异形态只有一种——B 侧多一个键 `target_id`；**删键 0、值差 0** | + +定性结论（三类各判一次）： + +1. **不是"实现不正确"**：若实现有偏差，表现为数值差或行数差。实测两树零值差、零行数差，runsum 逐字节同——本批（含卡④ 拆件与断点单源、卡②③ 判离拆件）行为侧零漂移，这比审计的静态逐表达式对拍更强一层。工具确定性也一并验过：同种子两树各跑，无任何顺序抖动。 +2. **是"原本就有问题"（历史欠账，占 3 票 RUNSUM＋行数面）**：锚最后重制是 `0170071d`（2026-10-19），其 RUNSUM 行仍含 `level_templates`、不含 `level_maps`——该字段改名出自**迭代 35 卡② `9ee393a1`**（提交信息④明写「MC 出数字段 `level_templates`→`level_maps`」）。待办清单:118「旧行为 MC 行为锚全数作废——重锚归数值批」（2026-10-06 登记，状态＝待文档设计）已明文规定"重锚不在改动批执行、重锚前旧读数禁止与新行为逐项比对"。⇒ 这个红对 master 一样成立，与本批无因果。 +3. **也含"需求改了出数面、锚与口径没配套"（本批侧，占 6 票 JSONL）**：17222 行差异 100% 是卡① d12 按设计新增的 `target_id` 键（damage_controller 四处产发）。卡① §8.2 只要求单元级断言（已在：damage_controller_test:271/:276 等〔wd12〕），未要求也不该在缺陷修批内重锚——但**重锚批必须把 `target_id` 纳入锚面**，否则下一次 `check` 还会因同一形态报 6 票。已列反哺点第 10 条。 + +处置建议（待你选一，见对话）：A＝按在册条目闭合（重跑全量档不带 PARITY_APPROVED，回执回 NEED-APPROVAL 形态，本附录与合回提交信息留归因凭据）；B＝批准本批重锚（`freeze` 重写 tracked 锚文件，与待办条文"重锚不在改动批执行"相违）。