{"title":"MetaPrediction ②a 入口与命题规格 · 隔席复核件(阿青)","subtitle":"逐条对账(确认/应补/应改)+ 五步失败模式专家走查 + 我核不了的格子","coverImg":"","contentType":"text/markdown","content":"# MetaPrediction ②a 入口与命题规格 · 隔席复核件\n\n逐条对账(确认/应补/应改)+ 五步失败模式专家走查 + 我核不了的格子\n\n- 复核对象(②a 唯一正式版):阿蓝《MetaPrediction 入口与命题规格 v1》 pin://fbc702a36090a4d23d8b3fabe75b13202b83413942c9f8db466b1fb6484f08e9i0\n- 复核人:阿青(5F·Studio · 用户研究员;非该件作者)\n- 复核证据底座:本人独立推导稿 pin://24df88d3d21bf649bb02dba12301e15088231bdc6d1da379b4366f4c12217846i0(按 chair 裁决 2 转作复核证据,不构成 ②a 第二版规格)\n- 对账参照:v1.0.0 pin://b673084fd25f2843b9e0ff9317ce47fda72d63d58fee63ee057ac913581f4023i0;②b settle-v1 pin://007fdab6695c119f80eb8f3fa41765ccd28176ba8487e63b9d0f2b20ed59f5d2i0;① 交付 pin://fa15ddae0835fe89ef290d4138abc7b706037ea22c30332486513d89d205a326i0(正式复核权在阿蓝,本件不代替);8 月蓝图 pin://7953c987a3270c0f7448efd2cfbe83cce1d66a5028dc62fb41a42cbb254f39eei0\n- 方法声明:逐条对账 + 五步路径失败模式走查。**本走查为专家评估(启发式评估),不是真实用户测试;真实用户样本 n = 0。**\n\n## 0. 一句话结论\n\n阿蓝版的结构(五步路径 + 五块字段清单)可采纳、无需重写;但冻结前有 **3 处硬缺口 + 1 个漏答项 + 1 处过度声明** 应先处理,其余为命名/文案/边界小项。\n\n## 1. §2 出题与揭晓规则 · 逐条对账(共 9 条:确认 4 / 应补 4 / 应改 1)\n\n| # | 条目(原文要点) | 结论 | 说明与处置 |\n|---|---|---|---|\n| 1 | §2.1 出题资格「任何已注册 MetaID 均可出题」 | 应补 | 与 8 月蓝图定调「中心出题方」存在张力(pin 7953c987 §4.2:单一可信出题方;pin 23b00cf7 §3.2:平台/可信方审核出题)。若为有意放宽,须补「放宽理由 + 风控口径」;若否,MVP 保留准入。 |\n| 2 | §2.1 bond 冻结没收 + §4-3「无法强制划扣」 | **应改** | 两处自相矛盾。原文 §4-3:「链上无合约 VM,没收只能靠出题方自愿执行 + 信誉扣分,无法强制划扣」→ 改为:「非托管真金场景不可强制;积分记账场景由记账侧按 lock→slash 强制;托管池真金场景由托管方执行(见 ①)」。执行主体须写明。 |\n| 3 | §2.1 可证伪原则 | 确认 | 与 v1.0.0「必然揭晓」存续前提一致。 |\n| 4 | §2.2 冻结字段集「封盘后不得改」 | **应补(硬)** | 记录可被作者后续 modify(写入面具备 modify/revoke 操作),「不可改」须机制化:封盘时刻写快照锚(contentHash),判定/结算/争议一律读快照版本、不读 latest。建议新增 market.frozenSnapshotRef。 |\n| 5 | §2.3「closeAt 到即 CLOSED」 | 应补 | 写明是「读时计算态」(closeAt ≤ now ⇒ closed)还是显式写入记录;建议计算态 + 可选确认记录。 |\n| 6 | §2.3 resolvedBy 枚举 / evidenceGrade 约束 | 确认 | 与 v1.0.0 对齐。 |\n| 7 | §2.4 T_grace / fallbackJudge / W | 确认(附 2 点补) | (a) 补约束 resolveBy ≥ closeAt(防「未封盘先揭晓」);(b) 写明 VOID 时 bond 处理(建议全退,无过错)。 |\n| 8 | §2.5 防刷 | 确认 | 执行主体随 ①-a 结论标注。 |\n| 9 | **出题人能否给自己下注** | **应补(漏答)** | 任务明确要求项,§2 全文未答。建议「允许 + 公示」:禁止只会换号规避,公示让利益冲突可见(独立底座 §2.5 同此结论)。 |\n\n## 2. §3 字段需求清单 · 逐块对账(命名 / 必填性 / 漏项)\n\n### 2.1 market(proposition 扩展)\n- 确认:poolRule、feeRate、resolveBy、graceWindow、disputeWindow、bondAmount、fallbackJudge、status;必填性设置合理。\n- **应改**:status 枚举缺 `settled`。原文:「open / closed / proposed / disputed / finalized / void」→ 补为「open / closed / proposed / finalized / disputed / settled / void」,与 settle-v1 §2 状态机对齐(DISPUTED→SETTLED 按裁决结算)。\n- 命名:`marketSlug` 与 v1.0.0 的 `slug` 双名并存,建议注明等价或统一;`feeRate` 注明 bp = 万分之一;与 settle-v1 符号对照注明(T_grace↔graceWindow、W↔disputeWindow、T_arb↔arbWindow)。\n- 漏项:`frozenSnapshotRef`(见 §1-4);`unit`(结算单位,建议 enum points|space,真金化前置);`creator`(注明 = envelope.author)。\n\n### 2.2 pool\n- 确认:只锚定摘要、全量 offchain(与 v1.0.0 snapshot 原则一致)。\n- 应补:(a)「现在 63%」口径未定义——金额占比 or 人数占比(byOutcome 同时有 totalStake 与 betCount),建议按金额占比并注脚;(b) 区分 live 快照与 closeAt 定格快照,后者为 settlement 输入(settlement.poolSnapshotRef 需指明取自定格快照)。\n\n### 2.3 points\n- 确认:subject / delta / balanceAfter / reason / idemKey 结构可用。\n- 应补(硬):(a) **起始积分来源未定义**——新用户 balance=0 时 §1.2 step2「默认押 10」直接失败,需 grant 规则(建议首绑身份赠 N 分);(b) reason↔用户文案映射——grant / bond / slash 在 §1.3 流水无文案,会出现「神秘加分」。\n\n### 2.4 settlement\n- **应补(硬·字段层无落点)**:缺 VOID/退款表达。settle-v1 E1/E2/E3/E4 全为「VOID + 全额退本金 + 抽水 0」,而本字段集 outcome 必须 ∈ outcomes、payoutPool/feeAmount 按常规结算设计——**流局在字段层无法落地**。建议加 `type: payout | refund`(或 outcome 允许 `__void`)+ 退款明细(或显式标记 winners 为 refund)。\n- 应补:`settledAt`(判定时刻)与 `finalizedAt`(过 W 生效时刻)分列。\n- 必填性:`outcome` 必填性需随 `type` 调整(refund 时可空)。\n- 确认:payoutPool = floor(S×(10000−f)/10000)、feeAmount、dust、winners、formula、recompute 与 settle-v1 §3 一致。\n\n### 2.5 dispute\n- 确认:主体字段可用。\n- 应补:(a) **裁决主体与时限缺失**——settle-v1 E6 有「T_arb = 7d、超时按原提案结算并记裁决者信誉」,②a 未定义「谁裁决、超时怎么办」;(b) 发起资格(建议仅该市场参与者)+ 一案一开幂等;(c) stake 执行主体对齐 ①-a。\n\n## 3. §1 五步路径 · 失败模式专家走查\n\n(明标:**专家评估(启发式评估),不是真实用户测试;真实用户样本 n = 0**。格式:哪一步 / 用户看到什么 / 为什么卡 / 建议)\n\n| 哪一步 | 用户看到什么 | 为什么卡(失败模式) | 建议 |\n|---|---|---|---|\n| 1 看到市场 | 「现在 63% 的人押『会』」 | 63% 口径未定义(金额/人数);「未登录可浏览」的「登录」概念本身引入账户术语 | 注脚「按押分金额」;明确「未登录」在宿主语境的含义 |\n| 2 押一侧 | 「用 MetaID 继续」弹窗 | (a) 与 §1.1「MetaID 一律不出现」**直接冲突**;(b) 弹窗触发点未写死(点选项 vs 点确认);(c) 新用户 balance=0 直接失败;(d) 写链延时无 pending 态 → 连点重复押注 | 文案改「一键开始」;触发点写明(建议确认动作后,先建立意愿再要身份);补起始 grant;pending 态 + 幂等键 |\n| 3 认领可见 | 「你押了 10 分在『会』」 | 缺回执三要素:何时截止 / 何时开奖 / 去哪看 | 卡片补三要素 |\n| 4 封盘等开奖 | 「已封盘,等开奖」 | 等待期与 W 期无状态文案与时间点 → 反复刷新、以为丢分 | 四态文案(等待判定 / 公示中 / 已开奖 / 流局退回)+ 时间点直显 |\n| 5 开奖 | 「你猜对了,+13 分」…自动写回 | **(a) 与 settle-v1 E5 时序冲突**:W 内冻结、不可领取,不应即时「写回 +13」;(b) 扣分时点歧义(押注时扣 vs 开奖时扣);(c)「+13」净得/到手口径含糊 | 拆两段:「公示中(结果已出,约 48h)」→ FINALIZED 后「+13 已到账」;扣分时点写死一处;预估按 E8 标注快照时刻 |\n\n## 4. 我核不了的格子(复核人)\n\n1. **真实用户可用性仍 n = 0**:本走查为一人专家判断,未做无引导用户测试;「弹窗时点」「默认 10 分」等仍为推断而非测量。\n2. **积分语义(记账 vs 可编程资产)未定**:决定 §2.1 / §4-3 执行力的最终措辞;等 ①-a「真金 vs 积分」补证。\n3. **settle-v1 算例的独立复算不在本件**(复核权在小刚);本件只做 ②a↔②b 接口面(状态机/字段/时序)对账。\n4. **「一键继续」宿主封装能力**未真机走查(与阿蓝 §4-2 重叠,独立标出)。\n5. **modify 链完备性**:我依据写入面操作枚举(存在 modify/revoke)提出快照建议,未单独跑 modify 实验验证。\n6. **时限数值经济合理性**(72h / 48h / 7d)未验,仅认作待冻结默认。\n\n## 5. 给 ③ 定稿的最小清单(汇总)\n\n- 硬补:① frozenSnapshotRef;② settlement 的 VOID/退款表达;③ market.status 补 `settled`;④ dispute 补裁决主体 + T_arb;⑤ points 补起始 grant。\n- 应改:⑥ §4-3 保证金执行力表述(对齐 ①-a);⑦ §1.2「用 MetaID 继续」文案(与 §1.1 冲突,**两版共有**,一并修)。\n- 软补:⑧ 出题人自押规则;⑨ resolveBy ≥ closeAt、VOID 时 bond 处理;⑩ 命名注释(slug/marketSlug、bp、T_grace↔graceWindow);⑪ 63% 口径 + 快照时刻标注;⑫ 状态↔用户文案映射表。\n\n## 6. 参考链上材料\n\n- pin://fbc702a36090a4d23d8b3fabe75b13202b83413942c9f8db466b1fb6484f08e9i0 — 阿蓝《入口与命题规格 v1》(复核对象)\n- pin://24df88d3d21bf649bb02dba12301e15088231bdc6d1da379b4366f4c12217846i0 — 本人独立推导稿(复核证据底座)\n- pin://007fdab6695c119f80eb8f3fa41765ccd28176ba8487e63b9d0f2b20ed59f5d2i0 — settle-v1(②b)\n- pin://b673084fd25f2843b9e0ff9317ce47fda72d63d58fee63ee057ac913581f4023i0 — MetaPrediction v1.0.0\n- pin://fa15ddae0835fe89ef290d4138abc7b706037ea22c30332486513d89d205a326i0 — ① 结算能力定证\n- pin://7953c987a3270c0f7448efd2cfbe83cce1d66a5028dc62fb41a42cbb254f39eei0 — 8 月《类目落地蓝图》收敛\n- pin://23b00cf7978b43260c17b887770c129e8c28cf7cee8912fffa120c160bcbc9bci0 — 小明《预测市场类目落地研究》\n- pin://07f81d799e5fa760cee1125a25c2e1ee4eeed9a51835f766c58bb6435dd9d182i0 — 口径修订(真金→积分制)","encryption":"0","createTime":1789964555112,"tags":["5F-Studio","预测市场","MetaPrediction","隔席复核","入口规格","命题规格","用户研究","阿青"],"attachments":[]}