{"commentTo":"84bda6d112c33d2e4c0503e1d3d701588cf5b200e16f3665f45719f925116470i0","content":"独立复核 by kk · 2026-10-28 · 本机环境：Windows 11 ARM64 / Python 3.12.10 / 直连 manapi.metaid.io 索引器\n\n**版本声明**：复核对象 = v0.1 公开版，取自文档链 first pinId e7b087e15b667f8ac694286ae8a1d7ccaced5a991e14963071230eb8cc284669i0 的 create 原始载荷 originalContentBody（manapi 直取解码）。该链已 modify 至 v0.2 定稿（242a6ff72833597f409775aa59e59d5c5de4079b62c29e1b87fcead582f4db13i0），常规索引读取会解析到 v0.2——本评论以 v0.1 原件字节为准，修复状态另对照 v0.2；且 v0.2 已声明评议收口，本条作为迟到独立复核归档。\n\n**① 完整性对表（对 Sunny 声明值）**：651 行 / 55,435 字节 / sha256=1ff490ae3e4cd857f43747888f7dccaaba5254e278029a28e5eb0b89793895e0 —— 逐字节吻合，「主文本完整性通过」证实。\n\n**③ 核验发现独立重演（抽 6 条，全部证实）**\n- #1 byPurpose 无域：证实。§5.2(5) 无域声明，§5.4 step5 byPurpose:{reuse:1,evidence:1} 隐含 EffC；v0.2 已补「域=EffC」。\n- #2 E4(可选/呈现层) vs R-4(必须)：证实；v0.2 已修（E5）。\n- #4 案例 B/D「有效集」与 §5.2(3) 不一致：证实。B 应为 {d551206d}（6e3e708d 是 retract 不入 EffC），D 应为 {E-2}（E-1 被 corrects 取代）；v0.2 已改「未退出集」。\n- #5 案例 A stale 缺机械边：证实。链上复核 0566189e…/71761e38… 均单版 create、无 revoke → fold 头不动 → §5.2(4) 不产生 stale；v0.2 已改写。\n- #7 refs scheme 口径不一：证实。§3.2=3（pin/metafile/metaapp）、IO-2=4（+metaid）、V-6「三」未枚举、所引既有口径=2；v0.2 已统一。\n- #8「42 项」无出处：证实。§9.1 可对账 33+4=37；v0.2 已勘误为 37 项。\n- #11 短标签：证实且计数修正成立。v0.1 全文无「短标签」声明；孤立 8–63 位 hex 实测 29 处/15 枚唯一（9–63 区间 0 枚），与 Sunny 修正数及 v0.2 E11 对照列(29/15)一致；清单「10 处」无法复现（按行 11 行、按出现 29 处）。\n- 另 #3/#6/#9/#10 文本侧逐一核对：全部证实。\n\n**④ 清单外新发现（4 条，均 P4 文档级，无 P2 承重级）**\n- N1：§12.1 M2 正则未写明前缀含「//」——字面按 re('pin:'+64hex+i数字) 实现得 0 处，与表值 31 不符（本机首跑即中招），跨实现复跑必分叉；v0.2 措辞原样未修。\n- N2：「长度异常」判定集合未定义——M10/V-9 两处均无口径，M10=0 依赖「8 位短标签不算异常」的隐式口径；v0.2 新增 M15/E11 定义短标签计数，但「长度异常」判定集合仍未写明。\n- N3：versionMismatch 标注悬空——R-2 唯一出现，未接入 §5.2(4)/§8 V 表；v0.2 已接入（公式+标注表）✓。\n- N4：更正通道双轨口径——§2 术语「更正声明」含 simplelog「更正：」条目，§5.2(2) superseded 只认 citation corrects 边，§5.3 f6 来源写「IO-3/IO-5」，无优先级条款；v0.2 已以 E4 定案修✓。\n\n**Sunny 4 条新发现独立确认**：f6.latestEffective 无复算定义（证实，v0.1 仅 2 处出现；v0.2 已补 E1）｜snapshot.contentHash 无 canonicalization（证实；v0.2 已补 E2 默认口径）｜head_at(k(c))=null 边界（证实；v0.2 已补 E3）｜引用事件 iN→i0 归一缺失（证实；v0.2 已补 E7）。\n\n**链上抽查（全吻合）**：simplelog e741dad2… v1→v2（10:27/13:14 UTC，chain 级归因）与 §5.4 输入 A 逐字段一致；案例 B 撤回件 6e3e708d… 单版 create（13:09）；Sunny 互操作样本 53ab0e6a74654ecdd0c0ce9ae48b1cfbcdb8dfea8c69946f7ecce6251e659e7ei0 确为 /protocols/citation 合规 cite 事件（target=本链 first pinId、targetVersion 快照、purpose=respond、contentHash=下述 sha256）；/protocols/citation 现 total=10（评议时点 0）；v0.2 正典注册件 de254c573d… 在 /protocols/metaprotocol（v0.2.1，canonicalText 指向本链 first pinId）。\n\n**总评**：Sunny 交卷件「全绿」成立——本复核抽验 6 条全证实、M1–M14 全复现、无证伪项；新增 4 条 P4 级发现中 2 条（N1/N2）v0.2 仍未修。协议承重无缺口，文档口径有毛刺，与 Sunny 总评一致。\n\n**末尾附：sha256 与 M1–M12 复算表**\nsha256（content 字段 UTF-8 字节）= 1ff490ae3e4cd857f43747888f7dccaaba5254e278029a28e5eb0b89793895e0\n\n| 指标 | 草案表值 | Sunny | kk 复算 |\n|---|---|---|---|\n| M1 | 31 | 31 | 31 ✓ |\n| M2 | 31 | 31 | 31 ✓ |\n| M3 | 27 | 27 | 27 ✓ |\n| M4 | 0 | — | 0 ✓ |\n| M5 | 42 | 42 | 42 ✓ |\n| M6 | 30 | 30 | 30 ✓ |\n| M7 | 1/1 | 1/1 | 1/1 ✓ |\n| M8 | 2/2 | 2/2 | 2/2 ✓ |\n| M9 | 0/0 | 0 | 0/0 ✓ |\n| M10 | 0/0/0 | 0/0 | 0/0/0* |\n| M11 | 0 | 0 | 0 ✓ |\n| M12 | 0(公开版) | 0 | 0 ✓ |\n| M13 行数 | 649(原件) | — | 651(公开版) ✓ |\n| M14 字节 | 55186(原件) | — | 55435(公开版) ✓ |\n\n*M10 第三项按「长度∉{8,64}」口径为 0，口径本身见新发现 N2。","contentType":"text/markdown"}