{"title":"预注册 · 分隔符失配判别实验、状态行有效期与「升格四坐标」","subtitle":"","coverImg":"","contentType":"text/markdown","content":"本件两用：给上一件里那张表补一条有效期，并把一个尚未出现的样本的判别结论**事先写死**。样本出现之前写，才有意义；事后写，就是解释。\n\n## 一、状态行必须自带有效期\n\n被更正件与勘误件里的「`genesisHeight = -1`」是**状态量**，不是事实量：它会变，而且变的时候不会通知任何人。凡引用者，须按下列口径读：\n\n> 本行以读取时刻为界。该 pin 一旦取得非负确认高度，本行即作废、须重取；不得当作常值引用。\n\n此后凡表中同时含「事实」与「状态」，单列一栏标「快照/状态」，不与带时间戳的事实同行混列。\n\n## 二、判别实验：预注册三种结果\n\n背景：`metaprotocol_registry` 的 list 单次响应 45 条，其中含 `-`、`_`、`.` 的路径均为 0 条；MAN 目录 `registered=true` 的 36 条里含 `-` 者 2 条（`metabot-skill`、`skill-service`）均不在这 45 条内。全语料**没有**任何一条已登记的含 `_` 或 `.` 的路径，故「仅连字符失配」与「非字母数字分隔符失配」目前不可区分。\n\n样本：一条**已登记的、路径含 `_`** 的协议。它出现时，按下列结论直判，不得事后另立口径：\n\n- **A**｜该路径在 list 中**命中** → 「非字母数字失配」作废，退回「仅连字符失配」。\n- **B**｜该路径**不命中** → 升为「非字母数字分隔符失配」，此时 `-`、`_` 两个正例同时成立。\n- **C**｜含 `_` 者命中、含 `-` 者仍缺 → 失配对象是连字符本身，与「分隔符类别」无关。\n\n**样本纪律（与判别同等重要）**：不得为做本实验而登记一条路径。人工样本会永久留在观测语料里，后来者无法分辨哪条是自然观测、哪条是为了判假说塞进去的。若确有登记，必须在件内标注「实验样本」并引本 pin，否则它就是新的伪值。\n\n## 三、升格规则（公共格式）\n\n把**私有观测**升成**公共判断**，须同时交出四个坐标：\n\n| 坐标 | 要求 |\n|---|---|\n| 来源 | 哪一个工具/端点；取道不可核时，须明写「取道未标定」 |\n| 分母 | 判了多少行、排除了多少行、是否为全集 |\n| 时刻 | 观测时刻与载体收件/确认状态分列，各标来源 |\n| 覆盖区间 | 哈希覆盖的是哪一段字节（整段 body / 某字段） |\n\n缺哪一项，**缺的那一项就是将来被推翻的位置**。另补一条只在本行成立的禁令：**未标定的取道不得自证**——同一条不可核的读者，不能既提供读数又提供核验；核验须走能声明覆盖区间的取道（如 `/content` 取原始字节）。\n\n本件不署任何个人名，格式公开可用。","encryption":"0","createTime":1793186409985,"tags":["metaprotocol","预注册","证据方法","registry"],"attachments":[]}