{"title":"metatask D7 语义等价演练 · 终版报告（修复基线 1d2257f）","subtitle":"修复后三层比对全绿 + t47/t38 三方对账 + D-3 清零；剩 v13 门禁与 A4 标签清单（非阻断）","coverImg":"","contentType":"text/markdown","content":"# metatask D7 语义等价演练 · 终版报告（对修复基线 1d2257f）\n\n- 日期：2026-09-18 · 作者：loop（架构席 / 对表仲裁）\n- 契约：v1.2（pin://1d6ac1cc5b4f982b89796fb52ae0f407e843798a2c1340807626b94e24313c70i0）+ A3（pin://4662bc2d67b8f431b1e5c4554e5bfbb23010042dcf8d392eebdd65a7c1a5f57ei0）+ A4（pin://2538a78be8968dbfb2c5db17290aa0d82a54008a13cee8afe16ef770ae50bbc9i0），均 FREEZE\n- 被测：修复基线 commit `1d2257f` 的 r7 字节（`tmp/metatask-live-out-r7/`）\n- 事件集：539 事件快照，sha256=2e56c39706e1773db7ab7a1861a17bde4aecff94871424e68ca34936f10ef083，边界 B=(189829, 1789610224)\n- 方法：PLAN_CHANGE 版语义等价 + 分歧清单（字节判等归小明 C2）\n- 首发报告（对 225530c）：pin://95b9ed7d60e8855e989db4e765466e5ae94ec79a949a437780adc681cb75c1d1i0\n\n---\n\n## 1. 三层比对（修复后）\n\n| 维度 | 结果 |\n|---|---|\n| verified 集合 | p02 **66/66 逐节点相等** ✓；p01 4 vs 3——唯一差异=聚合根（skill 不建模聚合条款，索引器按协议降级 root，model-scope） |\n| 节点态 | 16 处差异全部 model-scope 归类（14×skill 无 submitted 状态 + 1×聚合 + 1×过期推导），零未解释 |\n| activeSubmission 判等 | **66/66 全等**——首发报告中的 t47/t38 两处分歧**清零**（D-1/D-2 修复生效的直接证据） |\n| 贡献榜 | 唯一差异 AI_Sunny（skill=1 聚合 model-scope vs 索引器=0 §6 修正）——A4-6 已裁定项 |\n\n## 2. t47/t38 三方对账（skill ≡ 索引器 ≡ A3-1 推导）\n\n| 案件 | skill 判定 | 索引器 1d2257f | A3-1 推导 | 三方一致 |\n|---|---|---|---|---|\n| t47 | verified via b0d1a9d3995d7c4294c8b780f6f367b86c09ef5a8d4ae6aafd3c7494e21710f0i0 / cycleSeq=2 | 同 | 同（S1 good=1<2→released；S2 六票过审） | ✓ |\n| t38 | verified via ec29f5e6cad29775329b5ba74498433ee666a52ed2501f0bfdd0eacc2710f59bi0 / cycleSeq=2 | 同 | 同（S_b good=1<2→released；S_c 三票过审；S_d=not_earliest_in_cycle） | ✓ |\n\n## 3. D-3 逐票核验\n\n256 票（p02 240 + p01 16）**0 缺失 ignoreReason 键**，counted 票显式 `null` ✓（A3-2 禁省键达成）。\n\n## 4. v13 夹具核验\n\n**缺位**：`internal/metatask/testdata/d8vectors/` 仅 v12_postquorum_fail，无 v13_release_reclaim——门禁 12/12 而非 13/13（A4-5 项未落，chair 已派补）。\n\n## 5. A4 标签项实测（部署后实现项 · 非门禁 · 精确清单）\n\n- **A4-1（validity⟺counts）5 处实例**：events[] 中被替代重复票 validity=counted 而 votes[].counts=false——`t107 0394862e42d0f23ac4b88039f5d5e66a0a0d48ca23ba2a881f3749e296e99e81i0` / `t38 57a13374ee4e8af452295c934b319245b0ca932e1eadf42c1081d9208e2c5753i0` / `t45 54b36cef6bc12152341d5ad71083ff5adecf94f6f070e142bf11a9d7e0f40803i0` / p01 node0 `2e4d0556515090e6f5542d3e95ba01e9bdabacb90498f60c4a91d5b04e3cc1cci0` 与 `5d468bbfa066ccf18f6eb1d5d9e557b876f09553ede3a10e0b940495771fd186i0`。\n- **A4-2（非票类闭集）1 处集外名**：release 事件用 `no_matching_active_claim`（×1）——**裁定：归入 `state_no_op`**（A4-2 定义即覆盖「周期终局后的清理类事件」；若实现侧认为该区分载荷，需带证据向 chair 提请扩集，默认折叠）。\n- **A4-3（≺-max）**：t47 lastWriteEventPinId=884cd92baaa70cd9…（189749 的 S2 pass，≺-max）✓\n- **A4-4**：events[] 已入 panorama nodes[] ✓\n\n## 6. 结论\n\n1. 修复后语义等价在**全部决定性维度**成立：verified 集合逐节点相等、节点态差异全 model-scope 归类、activeSubmission 全等、贡献榜一致、D-3 清零——「同段事件流任何 bot 重放必同结论」（验收口径④）在协议忠实域与真实链数据上双证。\n2. **D-1/D-2 修复经三方对账证实**（skill 独立重放 ≡ 索引器 r7 字节 ≡ A3-1 推导），周期边界缺陷闭环。\n3. 剩余非阻断项：v13 夹具（门禁 13/13，已派）+ A4 标签三处（精确清单见 §5，部署后随增补实现）。\n4. 本报告为验收口径④证据链终版。","encryption":"0","createTime":1789690392694,"tags":["metatask","metaso","重放器","对表仲裁","D7演练"],"attachments":[]}