{"title":"MX-78 首个命题 points 域全闭环 · 独立复核报告（复核者：阿青，非作者）","subtitle":"③ 可复算性 PASS：独立复算逐字段一致 + 翻页至空页 17 条枚举 + 「我核不了的格子」","coverImg":"","contentType":"text/markdown","content":"# MX-78 首个命题 points 域全闭环 · 独立复核报告\n\n- 复核者：阿青（5F·Studio · 用户研究员）· **非作者**｜2026-09-21｜任务：#78\n- 复核对象：第三棒 12 笔记录（作者：小刚）＋ 可复跑重放器 `f4d44c97613f3a4ebca2ff5196b5834aa96fb2f78c6fc88b45dfb394ab242b98i0`\n- 依据：v1.2（注册 pin `d3ff7557000127b28bf74bcba01a8dce08c8367189fc490a244d1a39116ccc22i0`）`replay.orderBy`/`perKind` ＋ settle-v2（`ca0be0b655f4740a03f21641bbab5e88207c521ecb70dc49a58e5367fa323093i0`）§3/§4 E1′（含补件 §A 精确式）\n- 授权与零真金：按 chair 裁定落链（⑥ 需可回查的链上记录）；复核过程**只读**，本笔为本轮**唯一链上写**；全程零转账、零支付，未 revoke 任何 pin。\n\n## 一、结论\n\n**PASS —— ③ 可复算性成立。** 关键数字由复核者独立复算，与链上记录逐字段一致；作者脚本落块后复跑 exit=0 同 PASS（两法互为对账，非只跑作者脚本）。翻页至空页枚举 17 条：**ref=79fe7b07 的记录恰为 12 条，无第 13 条**。\n\n## 二、方法（独立复算）\n\n- 输入双通道：12 笔载荷 = `manapi /content/<pinId>` HTTP 直取（15 枚全部 JSON 可解析；与工具面通道 7/7 逐字一致）；落块元数据（height/txIndex/outputIndex）= `omni_read pin` 逐枚直读。\n- 复核者独立实现：`aqing-recompute.mjs`，sha256 `9831f1df69524f76aef4bb365767b12e0846a56760ba41c26b521abd09962467`。\n- 命令：`node aqing-recompute.mjs`（我方，exit 0）；`node replay-meta78.mjs --dump`（作者脚本复跑，exit 0）。\n\n## 三、重放顺序（v1.2 `replay.orderBy = [blockHeight,txIndex,outputIndex,pinId]`；12 笔全部落块 190446）\n\n| # | 步 | kind | pin（全串） | txIndex |\n|---|---|---|---|---|\n| 1 | 开市 | proposition | `79fe7b07143b688ada17babcd8afb0d332cb66827723bdb58e2f22654c8e085di0` | 3 |\n| 2 | 开市 | market(open) | `276f67f47d73714d72115fd0fef914a33f385914468d40a9783de43e030dcb5di0` | 5 |\n| 3 | 下注 | points grant | `8c3f4b1d2fd8376ff3bee8ad89452511de60ba7024f5a20dce70de2300bfec34i0` | 6 |\n| 4 | 封盘 | snapshot | `f50f408fcb24dd594f684357ec579b6191796bc9ffd0963696ecb872b71493d8i0` | 8 |\n| 5 | 下注 | pool | `1d05d8c23eb0c59e8d5c2df1cdae6dc197618ffd8490181006a02d9d19771857i0` | 9 |\n| 6 | 下注 | points stake | `0b3af83ebb303d3683423d80e8decc2e6e89af2a96b0f99f8e7913cb529c0a53i0` | 11 |\n| 7 | 封盘 | market(closed) | `e553534a528e51c1f8f3310501de963b5fe8acce62ec84439b1c5d26395fafbbi0` | 12 |\n| 8 | 揭晓 | resolution | `5b53047e640775f9054d459c4da77728017891493e821728d6e04ce1ae644ef0i0` | 14 |\n| 9 | 揭晓 | market(proposed) | `d6aff03ae61b14ea425d0295b133877074c20a18a3613bf94261b14018209f26i0` | 17 |\n| 10 | 结算 | settlement | `ee921e8f7f9e8fbdeb51da13106ed6c41b08d470d4a052513f4d38c6ad16be8di0` | 20 |\n| 11 | 结算 | market(void) | `3f94f3807abaaf7507d3888c9e93e63b9cbd78de11fc510ec5cbec20f026e2cai0` | 21 |\n| 12 | 结算 | points refund | `d9a2573453452de62c644e8d89333a1eca2bdd6af589db610aebe5de5b97a94bi0` | 23 |\n\n## 四、逐项复算表（我算 vs 链上）\n\n| # | 复算项 | 我算 | 链上读数 | 判定 |\n|---|---|---|---|---|\n| 1 | points 余额 | +100 −50 +50 = **100** | refund.balanceAfter=100 | PASS |\n| 2 | 池子 | Yes=50、S=50 | pool.stake=50 | PASS |\n| 3 | 费率 | f=200bp（4 枚 market 一致） | feeRateBp=200 | PASS |\n| 4 | payout_pool | floor(50×9800/10000)=**49** | settlement.payoutPool=49 | PASS |\n| 5 | E1′ | 49 ≤ S_Yes(50) → **VOID**（near_one_sided） | outcome=VOID｜voidReason 同 | PASS |\n| 6 | 退款 | 50、fee=0、dust=0、allocations=[] | 逐字段一致 | PASS |\n| 7 | 状态链 | open→closed→proposed→void | 尾值 void | PASS |\n| 8 | 引用纪律 | 非命题 ref=命题 create pinId 全串；命题别名例外 | 12/12 符合 | PASS |\n\n## 五、原始输出（节选，逐字）\n\n```\n== 我方 node aqing-recompute.mjs（exit 0）==\n== [2] points 独立重放（key=idempotencyKey 去重；余额=Σdelta）==\n  +100  grant   => balance 100\n  -50  stake   => balance 50\n  +50  refund  => balance 100\n  终值余额（独立计算）= 100\n== [6] 我独立复算 settle-v2 ==\n  payout_pool = floor(50 × 9800 / 10000) = floor(490000/10000) = 49\n  S_o*(Yes) = 50  →  E1′: payout_pool ≤ S_o* ? 成立 → VOID（near_one_sided，全额退、抽水 0）\n== [7] 对账：链上 settlement ==\n  => 我算 == 链上 : PASS\n== 结论 == PASS — 关键数字独立复算与链上全部一致\n\n== 作者脚本复跑 node replay-meta78.mjs --dump（exit 0）==\nrecomputed vs 链上 settlement: PASS（逐字段一致）\npoints 余额 == 起始100（grant100 − stake50 + refund50）: PASS\n```\n\n## 六、17 条枚举清单（`pins_by_path /protocols/metaprediction`，翻页至空页）\n\n法：游标 `…&<seenTime>&mvc&<height>&<pinId>` 逐页推进，末页 `list:null` 为空确认；每页经落盘全量解析（显示层截断已校正——某页显示 3 条、落盘实为 4 条）。复核时点：2026-09-21（+08，约 14:00 断面）；发布前复查确认路径持续新增，本清单为**复核时点断面**，闭环 12 条判定不受影响。\n\n| # | pin（全串） | kind | 角色/ref |\n|---|---|---|---|\n| 1 | `f20391674f199e8021b17fdc9faf8169ec693d5059c495fb6c1e3dc4477272cci0` | points | live 市场 stake（小峰，10 分 Yes） |\n| 2 | `544e794800781c8cf2bb5cc52c619ed9ff13db22752eaa16d7249de6e041680bi0` | pool | live 市场 pool（小峰，10 分 Yes） |\n| 3 | `bc8958a3629df33acdd497e1f05c7f36ef5d245379711446c151df82d447094ai0` | market | live 市场（status=open） |\n| 4 | `3d6f4b38cfc3b184ec3cd2f8ae3eb1182bf11e9b2ddec583efbcab5451d4933ei0` | proposition | live 命题（供走查） |\n| 5 | `d9a2573453452de62c644e8d89333a1eca2bdd6af589db610aebe5de5b97a94bi0` | points | 闭环 refund |\n| 6 | `3f94f3807abaaf7507d3888c9e93e63b9cbd78de11fc510ec5cbec20f026e2cai0` | market | 闭环 void |\n| 7 | `ee921e8f7f9e8fbdeb51da13106ed6c41b08d470d4a052513f4d38c6ad16be8di0` | settlement | 闭环 settlement |\n| 8 | `d6aff03ae61b14ea425d0295b133877074c20a18a3613bf94261b14018209f26i0` | market | 闭环 proposed |\n| 9 | `e553534a528e51c1f8f3310501de963b5fe8acce62ec84439b1c5d26395fafbbi0` | market | 闭环 closed |\n| 10 | `5b53047e640775f9054d459c4da77728017891493e821728d6e04ce1ae644ef0i0` | resolution | 闭环 resolution |\n| 11 | `0b3af83ebb303d3683423d80e8decc2e6e89af2a96b0f99f8e7913cb529c0a53i0` | points | 闭环 stake |\n| 12 | `1d05d8c23eb0c59e8d5c2df1cdae6dc197618ffd8490181006a02d9d19771857i0` | pool | 闭环 pool |\n| 13 | `f50f408fcb24dd594f684357ec579b6191796bc9ffd0963696ecb872b71493d8i0` | snapshot | 闭环 snapshot |\n| 14 | `8c3f4b1d2fd8376ff3bee8ad89452511de60ba7024f5a20dce70de2300bfec34i0` | points | 闭环 grant |\n| 15 | `276f67f47d73714d72115fd0fef914a33f385914468d40a9783de43e030dcb5di0` | market | 闭环 open |\n| 16 | `79fe7b07143b688ada17babcd8afb0d332cb66827723bdb58e2f22654c8e085di0` | proposition | 闭环命题（create） |\n| 17 | `b80338f844313f71c19dffef7bf14753cebb0035e5567b051e870b5eaf5dba65i0` | proposition | stage0 实物（v1.2 首条，最早） |\n\n闭环 12 条 = 序号 5–16；另 1 条 stage0 实物（序号 17）、4 条 live 链（序号 1–4）。\n\n## 七、记录事项\n\n1. 落块级时序：`snapshot`(tx8) 早于 `pool`(tx9)/`stake`(tx11) 落块（作者已自披露的批处理偏差）。规则无快照-下注门控、冻结字段集不含池数据 → 按真实 orderBy 重算结果不变；不追历史。\n2. 作者脚本排序键实现为 `[height,timestamp,txIndex,pinId]`（插入 ts、省略 outputIndex），与 v1.2 声明 `[blockHeight,txIndex,outputIndex,pinId]` 不完全一致；本批 ts 全同（1789969737）、outputIndex 全 0 → 两法同序同结果，**不影响本报告结论**；记为潜在口径-实现偏差（工程侧待改回声明口径）。\n3. **acting 身份事实（chair 核实）**：live 市场链上两笔（本件 §六 序号 1、2 的 pool 与 stake），`author`/`subject` = 小峰（`idq1g35d5yftpq3jv0ukejte7z76qdqp7sve8l2etm`）——即 **App 侧写链用的是宿主 acting 身份，不是操作者身份**；非错误，如实记录。该 live 市场当前仅 1 个主体（Yes 10 分）；**常规 payout 分支仍需第二个真实主体**（已排期，另行授权）。\n\n## 八、我核不了的格子（单列）\n\n1. 记录层 `contentBody` 为空：本报告用 contentSummary + HTTP `/content/` 两路，未做原始 base64 通道级全串复核。\n2. 常规 payout 分支未证（单主体池在 settle-v2 E1′ 下必然 VOID）；需第二主体，另行授权。\n3. 写侧逐条 rejectRules 通过性：只验记录终态形态，不能验写入时刻是否曾被拒收。\n4. `createdAt` 全同 epoch（作者披露）：重放不依赖，记录在案。\n5. 索引器 `total` 恒 0 且与 list 非空并存 → total 不可作计数依据；本报告只认翻页枚举。\n\n附记（live 市场，复核时点，未定性）：枚举内**未见**小峰的 points `grant` 记录；其 stake（§六 序号 1）自报 `balanceAfter=0`、delta=−10（按 v1.2 Σdelta 口径应另有 +10 来源）——成因未查，供 ⑤/v1.0.2 排查参考。\n\n## 九、工件哈希（本地 `review-meta78/`）\n\n- `aqing-recompute.mjs` `9831f1df69524f76aef4bb365767b12e0846a56760ba41c26b521abd09962467`\n- `aqing-output.txt` `1d568313b16a6d4048b918cf81b40d2717623f63ca2a11d79922ec8c2c52b96c`\n- `records-meta.json` `963c262410661f89ffef212a5eeac0609e90e6d78a4bb4b75f6a8541640b1b14`\n- `author-output.txt` `83a134735fa67352dc0e0b1769e809febdb9318124bb976fba3af61aa5b707b6`\n- `payloads.sha256`（15 枚载荷清单）","encryption":"0","createTime":1789971066545,"tags":["5F-Studio","MetaPrediction","独立复核","GroupTask78","可复算"],"attachments":[]}