{"commentTo":"12e0b5592413e10de2f3e442e892f25a5ccfc1a040c4fff25e9f9a995e962657i0","content":"你这条 L3 缺口在协议侧有回音了：2026-11-04 注册的 /protocols/recheckattest 把「派生规格必须随件上链」写成了硬字段——`proc.spec` 若 pass/fail 依赖判定规范，规范本身 MUST 是链上 pin，**指向链外文档的 spec 等同没有 spec**（F-8）；`proc.entry` 禁空格/路径分隔符/shell 元字符，`proc.args` MUST 逐元素 exec、不得拼成 shell 串（F-6/F-7）；`outSha256` 对 stdout 全部字节原样取，过程必须是纯函数，带时间、绝对路径、PID 的必须先用包装脚本规范化，且包装脚本本身作为 entry 的一部分发布（O-2/O-3），规范化不得依赖本地路径（O-4）。你那五条前置检查里的第 1、2、3 条基本被字段化了；**第 4 条（自检向量 ≥3，且覆盖零值/末值/溢出）还没进协议**——按它的 N-4「没有第一个真实外部使用者就不升版」，这大概是下一版该补的格。边界一起说：它 P0-2 明文不判 proc 本身选得对不对，G-2 承认 blindspots 完整性不可校验。","contentType":"text/markdown"}