——本书母题的形式陈述、三条推论与四对最危险的相邻章
把前十章的核心判断并排放到一张桌子上,先做的不是找它们的共同"主题"——主题很容易找,都是语言——而是看它们各自把什么当作分母、把什么当作判定字段。分母决定一个读数在数什么,判定字段决定它凭什么记一笔。
| 章 | 构念 | 分母(数什么) | 判定字段(凭什么记一笔) | 下一步是谁的 |
|---|---|---|---|---|
| 一 | 替换失效点 | 一对候选形式的替换事件 | 替换后伙伴的下一步是否改变,且被两名非原参与者无提示沿用 | 伙伴+第三方 |
| 二 | 双完成发生 | 一次语言事件 | 生产停止后,有权者的结算是否在窗口内以行动版本落定 | 有权共同体 |
| 三 | 修复谱系单位 | 一条修复链 | 故障—修复—第三方认证—后继吸收四节点是否可追踪 | 后继系统 |
| 四 | 最后修订权 | 一次由儿童触发的合格歧义 | 伙伴的下一步是否按儿童修订版本执行 | 伙伴 |
| 五 | 依赖—限时—承果 | 进入新场景族的时长 | 伙伴是否在截止前依据学习者信息改变选择 | 伙伴 |
| 六 | 学习梯度断层 | 一个稳定偏差 | 学习者的下一步是否经 L—O—A—U 四节点而改变 | 学习者本人 |
| 七 | 缺席否决位 | 一项进入检查位的决定 | 缺席条件失败是否阻止、撤销或改道当前行动 | 当前行动者 |
| 八 | 语义可达域 | 一个被分类对象 | 阈值两侧近似对象的下一步可达集合是否不同 | 对象 |
| 九 | 公共分支储备态 | 一条未兑现分支 | 身份、未兑现与重入资格三者是否同时成立 | 共同体的未来 |
| 十 | 可改写选择算子 | 一项正式制度修改 | 是否改变变体的相对存活条件 | 变体集合 |
十行的判定字段没有一处写着"说了什么"。它们全部写着下一步:谁的下一步、下一步是否改变、改变是否被第三方承认。这就是本书的母题——
话说完不算数,下一步接住才算数。
它是一个反直觉判断,不是一个主题。直觉里语言在说出的那一刻发生:一个词被说出,一句话被写下,一条规则被颁布。十章共同否定这一点:说出只给了第一只时钟,语言事件要在别人的下一步里才取得公共身份——伙伴按你的版本拿了杯子(第四章),系统因为一条规格拦下了发布(第七章),新来的同事沿用了那次争执留下的写法(第三章),14 分的餐馆进了复检(第八章)。没有下一步,只有声音。
十个判定字段可以按"下一步落在谁那里"压成两型。
单步型:下一步落在当前互动的另一方或当前行动系统上。第四章(伙伴按儿童版本行动)、第五章(伙伴按学习者信息改选择)、第六章(学习者自己的下一次选择改变)、第七章(当前行动被拦下)、第八章(对象进入不同转移门)、第二章的 Tₛ(有权者落定可行动版本)属于这一型。它们共用一只时钟 T_next:表达之后的第一个受影响行动。
跨手型:下一步落在原互动之外的人或系统上。第一章的独立复用者、第三章的后继吸收、第九章的重入资格、第十章的变体存活,属于这一型。它们共用第三只时钟 T_reuse:非原参与者承接的时点。
第一只时钟 Tₚ——生产停止——十章都用,但没有一章以它为判据。这条观察本身就是母题的另一种说法:十个判据没有一个落在说者这一侧。
由此写死本书的第一条合并规则:若在一份同时能算出单步型与跨手型读数的语料里,两型读数在事件层面的相关普遍高于 0.8,或第一主成分解释超过 70% 的方差,本书应从十章压成两章——一章讲 T_next,一章讲 T_reuse——三编的划分不再保留。作者的预期是相关不会那么高,因为第二章的 Hansard 材料已经显示,当场被接受的版本与制度层被吸收的版本可以分离;但这是预期,不是读数。
推论一:十个读数都不能从"说了什么"算出。 分母里没有形式量,判定字段里没有形式量。这意味着任何以词汇量、句长、准确率、复杂度为因变量的研究,产不出本书十个读数中的任何一个——不是因为那些研究不好,而是它们量的是 Tₚ 之前的东西。本书因此不能靠二次分析既有语料验证自己,除非那份语料保留了下一步。
推论二:十个读数都要求一次对照。 替换失效点要求 A/B 替换,缺席否决位要求删除测试,语义可达域要求阈值两侧比较,学习梯度断层要求补齐信用链的随机组,最后修订权要求"伙伴接受但按自己版本行动"与"伙伴按儿童版本行动"分开编码。没有一个读数是单条件成绩。这把本书与几乎全部现成评价工具隔开——考试、量表、等级、KPI 全是单条件成绩。
推论三:十个读数都要求延迟或第三方探针。 单步型要看下一步,跨手型要看下一手,都不能在表达当场读出。这条推论有一个反噬:本书的判据越严,能被它承认为"语言已发生"的事件越少。第九章的 PEP 材料显示,Deferred 与 Rejected 的区分要在几年后才可判定;第三章的 RFC 材料显示,一条勘误的后继吸收要等下一版规范。本书量得慢,是母题的代价,不是方法的缺陷。
母题把十章拉近以后,最需要防的是十章互相吞并。下面四对是全书最可能被合并的相邻章,各写死合并条件。
第一章与第二章(替换失效点/双完成发生)。 两者都以"下一步行动改变"为判据,都以一次事件为单位。分离线是分母:前者是一对形式,后者是一次事件。合并条件:若 T_SF 总与首次误解的 Tₛ 重合,即每一个替换失效点恰好就是那次事件的结算完成,两章为一章。
第四章与第五章(最后修订权/依赖—限时—承果)。 两者的下一步都是伙伴的。分离线是伙伴的动作:前者是伙伴按学习者修订的版本行动,后者是伙伴按学习者首次提供的信息行动。合并条件:若 TPD 到达的那次事件总是同时满足 FRR 的分子——即第一次被依赖就是第一次修订被承认——两章为一章。
第七章与第八章(缺席否决位/语义可达域)。 两者都是制度层的下一步。分离线是对象:否决位以决定为单位,可达域以被分类对象为单位。合并条件:若每一个否决位都恰好划出一个可达域,且每一个可达域都由某个缺席条件实现,两章为一章。
第九章与第十章(公共分支储备态/可改写选择算子)。 两者都在文明尺度上处理"哪些路以后还能走"。分离线是主语:储备态说的是一条分支自身的状态,算子说的是筛选所有分支的函数。合并条件:若所有 PBR 的重入都恰好由一次 ESO 触发,且算子不变时没有任何分支重入,两章为一章。
四对里作者最不放心的是第一对。第一章的 Dingemanse 复算与第二章的 Hansard 复算用的是完全不同的材料,两个读数还从未在同一份数据上并排出现过,"它们不同"目前只是定义上的不同。
按本书自己的判据,这本书也只是一句"说完"。它的十个字段有没有一个被谁用来编码过一份语料、复算过一个数字、在预注册里写进过一条假设——那才是它的下一步。写死:截至 2030 年 12 月 31 日,若本书十个读数中没有任何一个被作者之外的人用于任何公开语料的事件级编码,本书按自己的判据并未发生,应从"理论"降为"编码方案草案"。这不是谦辞,是母题在作者身上的一次应用。