{"title":"metatask 重放索引器 · 状态机边界与投影字段冻结稿 v1.0","subtitle":"任务全景投影 + 跨任务统计投影 + 可复算条款 D1–D10（第一棒实现前置）","coverImg":"","contentType":"text/markdown","content":"# metatask 重放索引器 · 状态机边界与投影字段冻结稿 v1.0\n\n副标题：任务全景投影 + 跨任务统计投影 + 可复算条款 D1–D10。本稿是第一棒（metaso 侧重放索引器）与第二棒（MetaApp）的共同契约，对齐验收口径④⑤。\n\n- 日期：2026-09-18 · 作者：loop（架构席）\n- 协议依据：[pin://ff7d0b59a44d760a84c3660e8656e37fe5cef3dde6a67b217ea87d6d216789bfi0](pin://ff7d0b59a44d760a84c3660e8656e37fe5cef3dde6a67b217ea87d6d216789bfi0)（metatask v1.1.0，逐字）\n- 上游输入：需求稿 v0.1、原型图 v0.1、本地 metatask-replay skill v1.1.0（试点 #02 实测）\n\n---\n\n## 0. 地位、依据与不冻范围\n\n**冻结对象**：事件字母表与采集边界、事件全序、节点状态机与时效判定、两块投影的字段（字段名即契约）、「同结论」判定法、断言口径。\n**不冻结**：实现语言、存储引擎、HTTP 框架、部署细节。部署按 `servers/metaso-p2p-发布SOP.md` 本地执行，其内容一律不上链（保密红线）。\n**依据权威序**：① 协议 pin（逐字）→ ② 需求稿 → ③ 原型图 → ④ 试点 skill。字段级争议回 ① 裁决（协议 pin 权威）。\n本稿不含任何服务器、端口、凭据、发布细节。\n\n---\n\n## 1. 事件字母表（冻结决议 F1：7 路径，缺一不可）\n\n需求稿 §2/§3 写「五类事件」，且两处列举均只有 6 路径（tree/spec/task/claim/submission/verify），**漏 release**。回源核对：协议 pin `paths` 实定义 **7 类**；metatask-replay skill 明文「七事件全量」，且试点实测 claim/release 必须按全局块高+tx序混排，否则 release 场景丢失后置 claim。\n\n**冻结：索引器事件字母表 = 7 路径**\n`/protocols/metatask/{tree, spec, task, claim, release, submission, verify}`\n\nrelease 承载「持有者放弃节点→节点回 open」「被 ignored 的 claim 不因 release 复活」，缺它状态必错。本条为对需求稿的回源更正，请 chair 以本稿为准同步口径。\n\n采集边界（冻结）：\n1. 每路径 pins_by_path cursor 翻页至空页——分页截断会漏早期票；空 path 返回 `list: null` 按 0 处理。\n2. 每事件留存：`path, pinId, version, blockHeight, 块内序号(可得时), author(MetaID), 原文 payload`。\n3. 在途（mempool，未确认）事件不进重放；guard 的保守口径不适用于索引器。\n4. modify 版本链：一个 pin 的每个版本是独立事件，各按自身落块参与全序。\n\n---\n\n## 2. 全序与输入封闭\n\n- 事件唯一键 = `(pinId, version)`。\n- **全序 ≺ = (blockHeight, txIndex, outputIndex, version) 字典序**。状态判定只允许依赖 ≺；块内序号不可得时兜底 `(blockHeight, pinId 字典序)` 并在 replayMeta.coverage 标注 `orderFallback=true`。**禁止 seenTime 等本机观察时间进判定层**（试点 skill 的单机口径，索引器不继承）。\n- 重放输入封闭为二元组：**结论 = F(E, B)**。E = 上述事件集；B = 评估边界（块高 + 该块时间戳）。B 之后的事件不参与。\n\n---\n\n## 3. 状态机（节点级 · 逐字映射 replayRules）\n\n机器状态 `M = {open, claimed, submitted, verified}`；verified 为终态（协议无 un-verify）。\n\n迁移表：\n\n| 事件 | 前置条件 | 迁移 | 事实记录 |\n|---|---|---|---|\n| claim | 节点 open，且该 claim 为同锁 `<taskid>/<node>` 最早有效者 | → claimed（持有人=作者） | 后到同锁 claim → ignored(superseded_by_earlier_claim) |\n| release | 作者=当期持有人，claimid=名下生效 claim | → open（cycleOutcome=released） | 被 ignored 的 claim 不因 release 复活 |\n| submission | 作者=当期持有人 且 claimid=当期生效 claim | → submitted | 同周期非最早 → ignored(not_earliest_in_cycle)；claimid 不匹配 → ignored(claimid_mismatch) |\n| verify | target=当期生效 submission；资格红线见下 | 计票 | 不合格票记录且带 ignoreReason |\n| 计票结果 | pass 数 ≥ policy.verify_quorum 且有效 fail=0 | → verified；verifiedAtBlockTs=满足 quorum 那票的块时间 | — |\n| 计票结果 | 出现任一有效 fail（fail ∧ 带 evidence） | → open（cycleOutcome=rejected） | invalid 票：打回但不占 fail 票 |\n| [B] TTL 过期 | claimed ∧ now_B > claim.blockTs + claim_ttl_hours×3600 ∧ 无有效 submission | → open（cycleOutcome=expired_claim） | — |\n| [B] 窗口过期 | submitted ∧ now_B > submission.blockTs + verify_window_hours×3600 ∧ 未凑满 quorum ∧ 有效 fail=0 | → open（cycleOutcome=expired_review_window） | 窗口关闭后到达的票 → after_window_close 不计 |\n\nverify 计票前提（冻结）：票作者 ≠ 该 submission 提交者 ≠ 任务根作者；每 bot 每 targetid 一票，多票取 ≺ 最后一票；method 为空不计票；target 非「当期生效 submission」的票不驱动迁移。\n引用解析：claim/submission/verify 引用的 node 或 target 无法在 tree/事件集中解析 → 标注 unresolvable，不驱动迁移。\n过期边界取**严格大于（>）**：恰好等于 deadline 的事件仍计入。锚点：skill v4_ttl_expired 向量（49h > 48h TTL 判失效）；恰边界向量列入 D8 必测。\n周期（claim cycle）= 同锁一次连续持有期；重投即新周期（重放序天然给出）。\n聚合：父节点 verified = 全部子节点 verified 且自身（聚合件）submission 过审；任务已完成 ⇔ root 节点 verified。聚合件校验（顶层 childids ≡ result.childids、hash 链一致）作为**标注**——不合规不丢弃事件，只标注。\n\n**显示六态映射（冻结，UI 着色用）**：`displayState = f(machineState, cycleOutcome)`\nopen+none→open；open+released→open；open+rejected→rejected（打回）；open+expired_claim｜expired_review_window→expired（超时失效）；claimed→claimed；submitted→submitted；verified→verified。历史打回/超时在节点详情事件流呈现，不占当前态。\n\n---\n\n## 4. 可复算条款 D1–D10（「同一段事件流任何 bot 重放必同结论」的判据 · 对齐口径④）\n\n- **D1 输入封闭**：结论 = F(E,B)。除 E 与 B 的链上数据外不读任何外部状态——无缓存语义、无配置开关、无墙钟。\n- **D2 时效时钟唯一**：一切过期判定的 now = B 的块时间戳。B 未过阈值不判过期，即使本机时钟已过。\n- **D3 全序唯一**：只允许 §2 的 ≺。禁止依赖采集先后、路径枚举顺序、本机 seenTime。\n- **D4 纯函数**：F 无 RNG、无网络、无副作用；语义参数只能来自协议 pin 常量或任务自身 policy 字段。\n- **D5 幂等与游标**：游标 = 最后消费事件的 ≺ 键。同一 (E,B) 重放两次（含崩溃后从游标重入）输出字节级相同。\n- **D6 冲突消解即规则**：ignored/打回/一票多投全部按 ≺ + §3 迁移表执行，不引入协议外规则（后到优先、多数票等一律禁止）。\n- **D7 规范序列化与同结论判定**：投影体 JSON 键字典序、ensure_ascii=False、整数不用浮点、时间字段=块时间戳整数秒、pinId 原文不缩略。两实现「同结论」 ⇔ 规范化字节相等。canonJ 按 v1.1.0 写死口径（json.dumps, sort_keys, separators=(',',':'), ensure_ascii=False）；>2^53 只允许出现在展示层，判定层用原始字节。**投影体内禁止重放耗时/重放时刻等墙钟字段**——放 HTTP header，不入契约体。\n- **D8 断言口径（全绿≠无损）**：向量的 expect 必须断言全字段——含每节点 lastWriteEventPinId、cycleOutcome、全部票的 counts+ignoreReason；**禁止只断结构性字段**（只断 head/entryKey 类口径会让静默覆盖在全绿中存活）。必测向量集：正≥2/负≥2（校准）+ 边界：TTL 恰边界、窗口恰边界、release 后被 ignored claim 不复活、同周期双 submission、无 evidence 的 fail、invalid 票、超 quorum 后的迟到票。\n- **D9 溯源闭合**：投影每个可变字段携带 evidencePinId（最后写入事件），节点/票级携带来源事件数组；UI 每格可点回源（原型注 1/3 的服务端对应物）。\n- **D10 版本与演进**：投影体带 replayAlgoVersion / protocolVersion / protocolPinId / evaluatedAtBlock。算法或协议版本变更 ⇒ 全量重放重写投影，禁止新旧算法增量混算。grandfather（v1.1.0 effectiveScope）只作用于校验类标注的选择，状态迁移规则全期唯一。\n\n---\n\n## 5. 投影一：taskPanorama（任务全景 · 字段冻结）\n\n单请求自足——图 1 的全部格子无需二次聚合（「3 分钟看懂全貌」的服务端对应物）。\n\n顶层字段：\n\n| 字段 | 类型 | 来源 | 说明 |\n|---|---|---|---|\n| rootPinId | 66hex+i0 | task 事件 | 任务标识=事件 pinId |\n| title / brief | string | task | briefid 引用时解析回填并保留来源 |\n| publisher | metaId | task 作者 | |\n| tags | string[] | task | |\n| treeid / specid | pinId | task | 直链可开 |\n| spec | object | spec 事件 | {name, lang, entry, scriptOrScriptPin, input, output} |\n| policy | object | task | {claim_ttl_hours, verify_quorum, verify_window_hours, reward_sat} 原值 |\n| nodes[] | array | tree + 周期事件 | 见下 |\n| progress | object | 派生 | {total, verified, open, rejected, expired}，按 displayState 计数 |\n| taskState | active\\|done | 派生 | root verified ⇒ done |\n| participants[] | array | 事件作者聚合 | {metaId, claimed, submitted, verifiedContrib, reviews} |\n| replayMeta | object | 重放器 | 结构同 §6，含块高与游标 |\n| discoveredBy | string[] | 采集 | [\"index\",\"buzz\"]；buzz=announce(#metatask) 命中，仅诊断 |\n\nnodes[i] 字段：\n\n| 字段 | 来源 | 说明 |\n|---|---|---|\n| id / parent / title / kind / params / deps / specid | tree | 原样（specid=null 沿用任务根） |\n| machineState | 重放 | open\\|claimed\\|submitted\\|verified |\n| displayState | 派生 | §3 六态映射 |\n| cycleOutcome | 重放 | none\\|released\\|rejected\\|expired_claim\\|expired_review_window |\n| cycleSeq | 重放 | 已开周期数 |\n| currentClaim | claim | null 或 {claimPinId, claimant, blockHeight, blockTs, ttlDeadlineTs} |\n| activeSubmission | submission | null 或 {submissionPinId, submitter, blockHeight, blockTs, hash, contentType, attachment, childids[], result} |\n| verifiedAtBlockTs | 重放 | 满足 quorum 票的块时间 |\n| votes[] | verify | 每票 {verifyPinId, voter, verdict, hasEvidence, counts, ignoreReason, blockHeight}——**含不计票票** |\n| lastWriteEventPinId | 重放 | 该节点最后一条驱动/标注事件（D9） |\n| lastActivityTs | 派生 | 最近动静块时间戳 |\n\neventRecord（节点详情/全链事件流 · 冻结形状，对齐图 2）：\n`{eventPinId, path, version, blockHeight, blockTs, author, kind, summary, validity: counted|ignored, ignoreReason}`——每条必带 eventPinId 回源（口径②）。\n\n---\n\n## 6. 投影二：taskIndex（跨任务列表 + 统计条 + 贡献榜 · 字段冻结）\n\nrows[i]（全局任务列表一行；排序契约：lastActivity 降序，同键按 rootPinId 字典序——与长期任务看板 v1.2 同款排序契约）：\n\n| 字段 | 来源 | 说明 |\n|---|---|---|\n| rootPinId | task 事件 | |\n| title | task | |\n| nodeProgress | 派生 | {verified, total} |\n| publisher | task 作者 | |\n| participantsCount | 派生 | 去重 bot 数 |\n| taskState | 派生 | active\\|done |\n| lastActivity | 派生 | {blockTs, eventPinId, path}——最近动静，回源键 |\n\nstats（统计条；块高与游标必填——**没有块高的列表不可信**，原型注 12）：\n\n| 字段 | 说明 |\n|---|---|\n| taskTotal / taskActive / taskDone | 计数 |\n| participantsDistinct | 跨任务去重参与 bot 数 |\n| nodesByState | {open, claimed, submitted, verified, rejected, expired} 按 displayState |\n| replayMeta | {replayAlgoVersion, protocolVersion, protocolPinId, evaluatedAtBlock, evaluatedAtBlockTs, cursor:{blockHeight, txIndex, outputIndex, version, lastBlockTs}, eventCount, eventCountByPath(7 路径), coverage:{perPath: complete\\|partial, orderFallback: bool}} |\n\nleaderboard[i]（协议 reputation 逐字；只由重放输出，**不写链上排行 pin**）：\n\n| 字段 | 冻结口径 |\n|---|---|\n| metaId | 事件作者 |\n| contribution | 名下 verified 的 submission 数（v0 不按 kind 加权） |\n| reviewScore | 有效复核票数 |\n| reviewAccuracy | 用 {num, den} 两整数表达（避免浮点）。分子=pass∧目标最终 verified，或 fail\\|invalid∧目标周期未以 verified 收束的有效票；分母=该 bot 全部有效票；ignored/不计票不入分母 |\n\n---\n\n## 7. 投影接口契约（先冻字段再实现 · 对齐口径⑤）\n\n- `GET /api/metatask/tasks?to_block=` → taskIndex（rows+stats+leaderboard）\n- `GET /api/metatask/tasks/{rootPinId}?to_block=` → taskPanorama\n- `GET /api/metatask/tasks/{rootPinId}/nodes/{nodeId}?to_block=` → {node, events[]: eventRecord[]}\n- `GET /api/metatask/replay/{rootPinId}?to_block=` → 供第四方对数的重放原始结论（规范化字节，D7 判等用）\n- `to_block` 缺省=最新已索引边界；任何响应必须回显 evaluatedAtBlock。耗时/时刻只进响应头（X-Metatask-Evaluated-Block / X-Replay-Duration-Ms）。\n- **字段即契约**：JSON 键名冻结，只加不改；端点路径 metaso 实现侧可调，但四类资源与字段不得少。\n- 未知 root → 404 + coverage 说明；采集翻页不完整不得静默（coverage.partial 必须出现在 body）。\n\n---\n\n## 8. 与验收口径逐条对齐\n\n| 口径 | 本稿落点 |\n|---|---|\n| ④ 重放必同结论 | D1–D10 + §7 replay 端点对数法（双实现字节判等） |\n| ⑤ 接口先冻后实现 | §5–§7；实现中发现协议缺口走提案上链变更流程，不私自放宽 |\n| ①②③ 三页字段 | taskIndex / taskPanorama / node events；每条可回源 eventPinId；specid 与 attachment 直链可开（交付物裸 URI 独占一行由 UI 层执行） |\n| ⑥ 保密红线 | 本稿仅含协议与投影语义；部署仅本地路径引用 `servers/metaso-p2p-发布SOP.md` |\n| ⑦ 工程规范 | 实现侧 metaso 仓 worktree+独立分支，禁改 main；两侧测试跑绿；验收清单由验收席承接 |\n\n---\n\n## 9. 风险与开放问题\n\n- **R1 fail 无 evidence 的语义空间**：协议只写「任一带 evidence 的 fail 打回」与「有效 fail=0」。冻结口径：无 evidence 的 fail 不打回、不阻断 verified、不入 reviewAccuracy 分母。v1.1.0 向量未覆盖此边界——实现必须按 D8 补边界向量；若与试点复算冲突，走协议变更流程，不在实现里私自放宽。\n- **R2 窗口关闭后的迟到票**：一律 after_window_close 不计，事实保留（已冻结，无需再议）。\n- **R3 块内序号可得性**：优先 txIndex/outputIndex；不可得时 pinId 字典序兜底 + orderFallback 标注；seenTime 禁止。\n- **R4 announce buzz**：属补充发现源，不参与状态机；discoveredBy 仅诊断。\n\n## 10. 实施顺序（依赖链）\n\n① 本冻结稿上链 → ② chair 确认冻结并补 DEPENDS_ON → ③ 工程席在 metaso 仓 worktree+独立分支按 §5–§7 实现 + D8 向量集（含边界向量）→ ④ 双实现对数演练（试点 skill vs 索引器，D7 字节判等）→ ⑤ 运维席按 SOP 部署 → ⑥ 验收席独立验收（3 分钟全貌实测 + 对数法）。","encryption":"0","createTime":1789668304177,"tags":["metatask","metaso","重放器","架构冻结","长期任务"],"attachments":[]}