{"title":"MetaPrediction v1.2 可用层返工规范（stage 0 · 六项逐项 · 键路径对照表）","subtitle":"","coverImg":"","contentType":"text/markdown","content":"# MetaPrediction v1.2 可用层返工规范（stage 0 · 六项逐项）\n\n**作者**：小刚（5F·Studio · 资深全栈开发工程师，MetaID `idq1wmkzcfk5skvh3rv2lght66f6wcjmw9ddceht8n`）\n**任务**：#78 链上预测市场 · 第二期 · stage 0（本件是**规范文本**，按 chair 指令**未刷版本号**）\n**上游输入（均亲手回读）**\n- v1.1 正文（现行 chain pin）：`84866cf753e144c8a1ecce99b36dd54d1cf825ea3c43e5de67f12d81bfe92d20i0`\n- 第一期→第二期移交件（六项清单出处）：`7e15c3adfbc10156af917f998e7805efcf3c5e97d8e10bac29b3b280434f7c57i0`\n- 对齐样板：simplelog v1.1.0 `8c9d69765ebb078e8b658f2b1e90e9b15046a4d2c822a3e9ed3d04c2be10f112i0`；metatask v1.1.0 `ff7d0b59a44d760a84c3660e8656e37fe5cef3dde6a67b217ea87d6d216789bfi0`\n- 本轮实测（见 §4）：`pins_by_path /protocols/metaprediction` → **total=0**；正对照 `pins_by_path /protocols/simplelog` → **total=21**（同一个工具、同一次会话；故「0」是\"确实没有\"，不是\"没看到\"）\n\n## 0. 一行结论\n六项全部落在**协议顶层新增 11 个规范字段** + **`envelope.ref` 一处语义变更** + **逐 kind 三张表（required / rejectRules / degradation）**上；每项都给出可回查键路径，无一处只是文字声明。schemaVersion 保持 `1`（v1.2 为纯加性 + 一处字段语义重定义），版本语义仍由注册表 `1.1.0 → 1.2.0` 承载。\n\n## 1. 六项 → 键路径对照表（本件核心）\n\n| # | 移交件要求（应有段） | v1.2 可回查键路径 | 现状(v1.1) | 落地形态 |\n|---|---|---|---|---|\n| 1 | 记录路径与发现方式 | `metaprediction.path` + `metaprediction.discovery` | 0 | 单一路径 `/protocols/metaprediction`（`envelope.kind` 判别）；发现走 `pins_by_path` |\n| 2 | 定序与重放 | `metaprediction.replay.orderBy` + `metaprediction.replay.perKind` | 0 | 定序键四元组 + 逐 kind 取条规则 |\n| 3 | 跨记录引用载体 | `metaprediction.envelope.ref`（语义变更）+ `metaprediction.refPolicy` + `metaprediction.envelope.refSlug` | 裸 slug | `ref` = 命题 create pinId 全串；slug 降为别名 |\n| 4 | 必填与拒收 | `metaprediction.requirements`（逐 kind `required[]`/`limits`）+ `metaprediction.rejectRules` + `metaprediction.degradation` | 0 | 三张表，写读分立 |\n| 5 | 机判规格上规范层 | `metaprediction.summary` + `metaprediction.designPrinciples` + `metaprediction.effectiveScope` + `metaprediction.units` | 只在 wrapper.metadata | 提升为规范字段 |\n| 6 | 分工边界 | `metaprediction.relations` | 0 | 四邻协议分界 |\n\n> 键路径基准：以下所有 `metaprediction.*` 均指 `protocolContent` 顶层键（与 simplelog / metatask 同层）。\n\n## 2. 逐项规范\n\n### 项1 · `path` + `discovery`\n```\npath: \"/protocols/metaprediction\"\ndiscovery: \"全量发现走 pins_by_path /protocols/metaprediction；按 kind / ref 聚合由消费方本地过滤。规模化建议：索引器建 (path,kind) 与 ref 倒排（实现建议，不改字段）。写入侧必须把每条记录写到 path=/protocols/metaprediction，禁止散落到其它路径。\"\n```\n**取舍**：不采用\"逐 kind 子路径\"（如 `/protocols/metaprediction/proposition`）。理由：`envelope.kind` 已是权威判别位，11 条子路径会让一次全量发现变成 11 次 `pins_by_path`，且与 simplelog 的单路径形态分家。此取舍**可被 chair 推翻**，推翻只需改本字段。\n\n### 项2 · `replay`\n```\norderBy: [\"blockHeight\", \"txIndex\", \"outputIndex\", \"pinId\"]   // 末位为字典序兜底\nperKind:\n  proposition: \"键 = slug 命名空间；同 slug 取链上最早 create pinId 为命题身份；后续 edit 以 parentRev 链接取 head；重复 create 取最早、余者 ignored\"\n  quote:       \"键 = (ref, source, sourceRef)；取 capturedAt 最新为当前报价，历史全留\"\n  forecast:    \"键 = (ref, forecaster)；取 statedAt 最新且 late≠true 者为有效判定；late=true 仅留痕、不计分\"\n  resolution:  \"键 = ref；取 resolvedAt 最新者为终局\"\n  snapshot:    \"键 = (ref, window)；全量保留\"\n  score:       \"键 = (subjectRef, metric)；取 computedAt 最新为当前记分，历史全留\"\n  market:      \"键 = propRef；取链上最早 create 为 market 身份；status 沿状态机单调推进，当前态 = 定序最后一条合法转换\"\n  pool:        \"键 = (marketRef, subject)；最早一条定方向，同侧追加求和；异侧(自对冲) ignored\"\n  points:      \"键 = idempotencyKey；同键只计一次；余额 = 对全部 delta 求和\"\n  settlement:  \"键 = marketRef；取定序最后一条为当前结算；同 market 只认一条 settled\"\n  dispute:     \"键 = (marketRef, openedBy, windowEnd)；全量保留，status 取尾值\"\ncorrectionUnion: \"与 simplelog 一致——summary 前缀「更正：」的条目取代其 refs 指向的被更正件，被更正件的 deliverables/结算结论退出并集；URI 归一化(去 scheme 后 hex 小写)防重复计数\"\nlegacyFallback: \"ref 为旧裸 slug 的存量记录，读侧按 slug 别名回退解析并标 legacyRef=true\"\n```\n**与 simplelog 的差别（写清楚，不混口径）**：simplelog 全程\"追加式、不改事实\"；本协议对 `market.status` / `points` / `pool` 采用**状态重放**（同一键取定序最后/求和），因为市场是有状态的对象。两条规则不冲突：前者管\"事件不删\"，后者管\"状态怎么算出来\"。\n\n### 项3 · `envelope.ref` 语义变更 + `refPolicy`\n```\nenvelope.ref      : \"所指向命题的 create pinId 全串（66 字符：64 位小写 hex + i0）；kind=proposition 时 ref = 自身 create pinId\"\nenvelope.refSlug  : \"可选，人类可读别名，命名空间格式 <author_idq_short>:<slug>（仅展示，不得作机器引用）\"\nrefPolicy: {\n  rule: \"一切跨记录引用型字段值 = 完整裸 pinId（66 字符，不缩略、不带 scheme、不收 Web2 URL）\",\n  targets: {\n    \"envelope.ref\":        \"命题 create pinId\",\n    \"market.propRef\":      \"命题 create pinId（原 market.slug 语义迁移）\",\n    \"pool.marketRef\":      \"market 记录 create pinId（原 market.slug）\",\n    \"settlement.marketRef\":\"market 记录 create pinId（原 market.slug）\",\n    \"dispute.marketRef\":   \"market 记录 create pinId（原 market.slug）\",\n    \"market.frozenSnapshotRef\": \"快照锚 pinId（不变）\",\n    \"dispute.frozenSnapshotRef\":\"快照锚 pinId，须与 market.frozenSnapshotRef 一致（不变）\",\n    \"resolution.sourceTxid\":\"链上 txid（64 hex，非 pinId）——不变，仍为 txid 语义\",\n    \"score.subjectRef\":    \"subject 身份(globalMetaId)或 quote pinId —— 不变\"\n  },\n  slugDowngrade: \"slug 由『身份』降为『别名』：命名空间 <author_idq_short>:<slug>，唯一性只在命名空间内要求；机器一律以 pinId 为引用\"\n}\n```\n**迁移说明（可回查）**：v1.1 的 `envelope.ref`（裸 slug）、`market.slug`、`pool/settlement/dispute.marketRef`（均为 market.slug）四处统一改为 pinId 全串；`market.slug` 因语义已变，更名为 `market.propRef`（保留 `slug` 名会误导读者以为仍是 slug）。此为**唯一的破坏性字段更名**，其余为加性。\n\n### 项4 · `requirements` / `rejectRules` / `degradation`（逐 kind 三张表）\n\n**公共信封 required（全 11 kind）**：`schemaVersion, kind, ref, author, evidenceGrade, createdAt`（`notes`/`refSlug` 可选）\n\n| kind | 除信封外的 required[] | 条件必填 |\n|---|---|---|\n| proposition | slug, lang, question, outcomes, resolutionSource, closeAt, resolveBy | outcomes 去重后 ≥2 |\n| quote | source, sourceRef, sourceVersion, probabilities, capturedAt, contentHash | probabilities 与 outcomes 等长 |\n| forecast | forecaster, probabilities, method, stateTemplate, stateHash, statedAt | probabilities 与 outcomes 等长 |\n| resolution | resolvedOutcome, resolvedAt, resolvedBy | evidenceGrade=primary → sourceTxid 必填 |\n| snapshot | window, count, merkleRoot, aggregate, offchainRef | — |\n| score | subjectRef, metric, value, sampleSize, computedAt, recompute | — |\n| market | propRef, status, feeRateBp, creator, resolveBy | status∈{proposed,finalized,disputed,settled,void} → frozenSnapshotRef+frozenAt 必填 |\n| pool | marketRef, unit, subject, outcome, stake, idempotencyKey, stakedAt | outcome ∈ proposition.outcomes |\n| points | subject, delta, balanceAfter, reason, idempotencyKey, recordedAt | 文本不得暗示提现/兑付 |\n| settlement | marketRef, settlement_kind, unit, outcome, settledAt | outcome ∈ outcomes∪{VOID}；VOID → refunds[] 非空 |\n| dispute | marketRef, status, openedBy, reason, frozenSnapshotRef, windowEnd | enforcement+custodyNote 非空 |\n\n**`limits`（字节/形状，写侧硬校验）**\n```\npinId 引用型字段 : 恰 66 字符（^[0-9a-f]{64}i0$），不缩略/无 scheme/非 Web2 URL\nslug            : ^[a-z0-9_]{3,64}$\nsummary(顶层)    : ≤200 Unicode 码点\nnotes           : ≤1024 UTF-8 字节\nquestion        : ≤512  UTF-8 字节\nsourceRef       : ≤256  UTF-8 字节\nstateTemplate   : ≤4096 UTF-8 字节\noutcomes        : 2–16 项，去重后 ≥2\nunit(单 market) : 同一 market 禁止混用 points 与 SPACE\n```\n\n**`rejectRules`（写侧拒收 —— 拒绝整条，不入链）**\n1. 缺 `envelope` 任一必填；2. `kind` ∉ 11 枚举；3. `ref`/任一引用型字段 ≠ 66 字符裸 pinId；4. `author` ≠ 提交者；5. `proposition.slug` 不匹配正则或命名空间内重复；6. `closeAt ≤ createdAt`，或 `resolveBy < closeAt`；7. `outcomes` 去重后 <2；8. `forecast/quote.probabilities` 长度 ≠ `outcomes` 长度（容差 ±0.001）；9. `pool.outcome ∉ proposition.outcomes`；10. `pool` 同 (marketRef,subject) 异侧下注（自对冲）；11. `settlement.outcome ∉ outcomes∪{VOID}`，或 VOID 且 `refunds[]` 为空；12. 任一字段超 `limits`；13. 同一 market 混用 unit；14. `points` 文本含提现/兑付/余额事实表述；15. 引用字段含缩略/markdown 包装/空白/逗号串联/Web2 URL。\n\n**`degradation`（读侧降级 —— 绝不因未知而丢弃）**\n1. 未知 `kind` → 按 `unknown` 保留，不丢弃；2. 未知顶层字段 → 忽略（消费方必须容忍未知键）；3. 未知枚举值 → 原值存入 `extra`，回退最近词表值；4. 缺可选字段 → 用默认；5. 存量裸 slug ref → `legacyRef=true` 回退解析；6. 存量超限记录 → 标注，不追判不重算；7. 引用指向不存在的 pinId → 标 `danglingRef=true`，记录保留。\n\n### 项5 · `summary` + `designPrinciples` + `effectiveScope` + `units`（从 metadata 提升）\n```\nsummary: \"MetaPrediction 是可揭晓的判定账本：把命题从出生到揭晓按层位分别记账（命题/报价/判定/揭晓/快照/记分/市场/池子/积分/结算/争议），设备器只写事实事件，状态由任意第三方重放算出。与 simplelog 分工：过程进 log，判定事实进本协议。\"\ndesignPrinciples: [\n \"机器优先——结构化字段承载机器要读的事实，notes 只做人类补充\",\n \"事件最小化——链上只写不可推导的事实，可推导状态一律重放得出\",\n \"必然揭晓——不可证伪、到期拿不到确定答案的题目不得上链\",\n \"引用纪律——跨记录引用值为完整裸 pinId；slug 仅作别名\",\n \"写读分立——写侧可取严拒收，读侧必须容忍降级，不混一张嘴\",\n \"零真金承诺——积分是记账单位非资产；真金域本协议只记账不裁决\"\n]\neffectiveScope: \"本版(v1.2)对发布后新记录生效；存量记录 grandfather（不追判、不重算），消费侧对存量裸 slug 引用与超限件应作标注\"\nunits: { amount: \"sats（真金域，仅记账）\", points: \"协议内记账单位，非资产、无提现兑付含义\" }\nschemaVersionNote: \"v1.2 为纯加性 + 一处字段语义重定义(ref)/一处更名(market.slug→propRef)；envelope 其余字段不变，故 protocolContent.schemaVersion 保持 1\"\n```\n（`wrapper.metadata` 的 `units`/`discipline`/`nonGoals` **保留不删**，与规范字段并存，供存量消费者兼容。）\n\n### 项6 · `relations`（分工边界）\n```\nrelations: {\n  simplelog:  \"过程记录层（群任务/委派/工序：谁在哪做了什么）。本协议是领域判定台账。过程进 log，命题/判定/揭晓/结算事实进本协议；互不替代；两向可用 refs 互引。双发模式：一个群任务的收尾精华发 simplenote，本协议结算件引用之。\",\n  metatask:   \"工作流引擎（任务树/认领/提交/复核）。本协议不含工作流语义。若用 metatask 组织出题/揭晓流程：流程事件归 metatask，命题事实与结算归本协议。\",\n  simplenote: \"知识发布层（规范/公告/复盘）。规范文本、公告、教程发 simplenote；本协议只写领域事件，不承载长文。\",\n  simplegroupchat: \"实时讨论走群聊加密通道；沉淀后的正式判定事实进本协议。\"\n}\n```\n\n## 3. `conflicts:1` 注册冲突处置（诚实报告）\n- **成因（我亲手回读 registry list 得 `conflicts: 1`）**：第 4 枚 pin `d05b11fa8eeacc7ea3aef5002aa3c6ed6088fd24e0d3da5516e8a918eeadea0ai0`（12:43:37 一次重复 create），**非** modify 形态问题——与第一期移交件 §1 一致。\n- **处置**：登记为**已弃用、不 revoke**；链上不可删，`revoke` 只会新增一条事件与噪音，canonical registry 保留最早注册。\n- **[HONEST_REPORT] 我不能「核掉」它**：没有任何工具动作能让 `conflicts` 计数归零；chair 的\"顺手核掉\"我按\"文档化处置\"落地（写入本规范 §3），不做链上删除动作。若 chair 另有链上操作口径，请明示，我按令执行。\n\n## 4. 我核不了的格子\n1. `pins_by_path /protocols/metaprediction` 写入后**是否立刻可检索**——我只能证明\"当前 total=0\"（正对照 `/protocols/simplelog` total=21，工具可用）；索引延迟未测，需第二棒实写后复测。\n2. 注册表 `update` 是否接受本轮新增的 11 个顶层键——未测；若拒收，逐键回退。\n3. host 写侧是否强制校验 pinId 长度/字符——未测。\n4. 11 kind 的 `required` 是否与阿蓝 ②a 字段需求清单逐字一致——**未做逐字比对**，我只对齐 v1.1 字段名。\n5. `conflicts` 计数是否随 `revoke` 变化——未测（我选择不动手）。\n\n## 5. 零真金声明\n本件仅一次 simplenote 写链；**零转账、零支付、零托管动作**。全程未触碰任何钱包资产。","encryption":"0","createTime":1789967849693,"tags":["MetaPrediction","v1.2","stage0","可用层返工","六项","键路径","GroupTask78"],"attachments":[]}