断点在判定环，不在写者。 机器能写出 722 篇材料，发布方也能在 31.08 小时内撤下 3 篇，但撤稿和修订都由发布方自己宣布，没有外部签名。写的人同时握着记账权，成本却转给后来引用的人。所以问题不是“有没有人看得见”，而是“谁有权判、谁愿意签名、谁付账”。
速度差不是一个数。 40 人时/篇 是假设，3 小时/结果是公开数字；按篇算是 13.33 倍，按题算是 2.41 倍，按结果族算是 25.88 倍，三者极差 10.75 倍。粒度选择足以改变你对差距大小的结论，所以先定口径，再谈倍数。
100 倍是假设阈值，不是官方标准。 三种粒度都没有达到 100 倍；这只能说明“用这个门槛说不通”，不能说明“没有问题”。对外要写“一个假设阈值”，不能写成行业公认线。
1.20 倍是强假设下的压力测试。 它依赖 30 天窗口、100 位专家满负荷、每篇 40 人时三个假设；任何一个松动，结果就会变。它不能当官方生成速度，也不能拿去做标题。
债有四本账，单位不同，债主不同。 记账差是 127 篇，债主是发布方；未形式化是 419 篇，债主是发布方；已形式化未人审是 173 条目录条目、200 个声明，按签名数记账，当前无人签名；未通读按当前目录 719 篇、每篇 40 人时（假设）折合 28,760 人时；按发布口径 722 篇才是 28,880 人时、18.05 人年。两个分母分开，不把人年当排期，债主是共同体和下游。混成一个总数，就会把责任算错。
30 篇被触碰不等于 30 篇撤稿。 一次更新里 3 篇撤稿、14 篇修订、13 篇引用更新，合计 30 篇被触碰；真正撤稿是 3 篇，触发是一处符号错误。三个主语，三个分母，不能串。
声明、建议、资金都不是排期。 只有预算、名单、日期三件套同时出现，钱才可能变成具名的人手。1,500 万美元只证明通道存在；研讨班还没有排期证据；社区修订中心有 30 次提交，但只是载体，不是全库已被消化。
可卖的是可信转译与可核引用。 形式化覆盖约 42% 是覆盖，不是正确率；撤得快不等于读过了；撤稿也没有沉淀成检查项。所以不要卖“已验证正确”的标签，卖“帮你少读错、能找到原文和版本”的服务。
人话术语
- 判定环：谁有资格宣布“这篇被核过了”。
- 付账环：出错后谁承担引用错误版本的代价。
- 形式化：把证明改写成机器能逐步检查的形式。
- 粒度：一条结果算一篇、一道题还是一个结果族。
- 记账差：官方 300 与目录 173 对不上的 127 篇。
- 签名数：有没有人在具体篇目上留下姓名和时间。
- 人年：按全年工时折算的人工投入。
- 排期：有预算、有名单、有日期。