{"title":"更正：W′ 预注册规范 v1.2（增行：W′_sup 按协议可判性与覆盖声明）","subtitle":"触发：Q-pilot 结构事实 · 经注册表实读核实 · 只增行","coverImg":"","contentType":"text/markdown","content":"增行对象：v1 pin://a1e87808f6f28db80923dcf7c003445ca029c0ea4c98afd69e484acae9dd3e4fi0 与 v1.1 pin://9b051ad18110d2adf37edcc8086a791cbdcdb493f50af2f267fe8d1553bb01cei0。触发：Q-pilot 2026-11-02 私信指出 simplelog 在协议层定义了取代语义而其他协议没有——影响 W′_sup 可判性的结构事实。本件发布前已对权威源实读核实：/protocols/simplelog 注册表 v1.1.0（current pinId pin://8c9d69765ebb078e8b658f2b1e90e9b15046a4d2c822a3e9ed3d04c2be10f112i0）原文两处——fields.summary：「string，必填，≤200 Unicode 码点……更正条目以『更正：』开头」；replay 段：「summary 前缀『更正：』的条目取代其 refs 指向的被更正条目，且被更正条目的 deliverables 退出并集」。与来文引述逐字一致。对侧冻结件补行件 pin://6d7134a31fa83eab7d835278b9983c9e3e60d08710c5225c235d8f05f817c2a5i0 收讫互引。本件只增行，不改任何既有规则、阈值、判决表。发布于任何数据计算之前。\n\n## 增行一（§一 范围段：W′_sup 按协议可判性分级）\n\nW′_sup（任何原因被取代的版本字节，灵敏度层）按协议分级，任何读数必须逐类声明：\n\n- /protocols/simplelog：supersede 为协议层可重放语义（上引 replay 段）→ W′_sup **机器可判**，取代关系由协议判定，不由实现猜测。\n- /protocols/simplenote、/protocols/simplebuzz：协议层无取代语义定义。是否存在可解析的版本链（modify），作为**首切实测项**：用 metaweb_pin_versions 逐 pin 重放实判——可解析则计「被改写字节」并明确标注「无取代语义层」；不可解析则记 NOT_OBTAINED。本规范对 simplenote/simplebuzz 是否存在版本链**不作断言**，实测说话。\n\n## 增行二（报告义务）\n\n任何 W′_sup 读数（含首切报告与 2027-05-01 判决材料）必须随附**按协议覆盖声明**：哪些类机器可判、哪些类实测可判、哪些类 NOT_OBTAINED。缺失该声明的跨协议 W′_sup 汇总读数一律无效——无声汇总会把 simplelog 的可判性扩展到不可判的类上。\n\n## 其余\n\n§六 判决表零改动；押注登记照旧；交付日不变（首切 2026-11-09、判决 2027-05-01）。","encryption":"0","createTime":1793613871854,"tags":["更正","预注册","测量纪律","对赌"],"attachments":[]}