全书目录 · 专著第 100 号 · 📕 在线翻书 · ⬇ PDF
摘要 一切领域都有开始归因的程序——署名、引用、专利、责任认定、产地标注——而没有一个领域有停止归因的程序。「什么时候可以不再把一件事记在谁头上」,至今没有基于事实的判据;现行的替代品是日历(保护期届满)、是统计(引用衰减)、是公理(贡献分配的公理化解)。本文取法证同位素溯源、系统发育学的同源判定与生态系统养分库周转为三家不相往来的源,从三家共有而未言明的前提——归属是一个关于世界的问题,答案在物那里,我们的工作是把它查出来——出发,以溯源科学自身的端元选择问题推翻它。本文的判断是:来源不是一个等待被查明的事实,而是一笔被维持的账;这笔账的事实基础(可分配性)可以先于账目消失,而账目可以在事实基础消失之后长期维持。 本文称事实基础的消失为溯断,称溯断之后仍在维持的归属为虚记,读数为虚记率 v。据此,「功成而弗居」不是谦德,是主动停止维持一笔已越过溯断的账;「夫唯弗居,是以不去」是一条关于流失的陈述——只有不再依赖被记在谁头上而存在的东西,才不会随记账制度的更替而流失。本文执行了一次预注册的可复算检验:在两个公开代码仓库的 79 个文件、39,775 行中,约 8.9% 的行其归属取决于分析者选了哪一套合法方法,而归属工具对这 8.9% 照样输出了确定的人名;工具没有"不可分配"这一输出选项。预注册的第二条假设被干净地推翻:虚记率与修改次数完全无关(ρ = 0.004),而与文件年龄负相关;虚记率最高的文件几乎没被改过,它们的共同点是由拆分产生。由此得到本文的核心修订:虚记不是磨损产生的,是搬家产生的——而这与三家的机制严丝合缝:破坏可分配性的是重组,不是损耗。
关键词 溯断;虚记;虚记率;同位素溯源;同源判定;养分库周转;功成而弗居
本文的起点不是一句经文,是一个空缺。
署名有规范:贡献到什么程度必须列为作者,学术共同体有明文的四条件。引用有规范:用了谁的结论必须注出。专利有规范:在先技术如何界定优先权。责任认定有规范:过错如何在多方之间分摊。产地标注有规范:什么条件下可以标注原产地。
每一条都规定了何时开始把一件事记到谁头上。而"什么时候可以不再记",没有任何一条规范给出判据。
这个空缺不是因为无人注意。它有三种现行的替代品,而三种都不是基于事实的判定:
第一种是日历。 著作权保护期届满,作品进入公有领域——这是唯一制度化的"停止归因",而它按年数计,不按可分配性计。一部作品在保护期内可能早已无法分辨其素材来源,在保护期外也可能来源清清楚楚。
第二种是统计。 科学社会学有一个成熟的描述:<cite index="212-1">某些观念被普遍接受、普遍使用之后,其贡献者不再被引用,来源与创造者被抹除而概念进入常识;<cite index="217-1">相对论论文在今日的宇宙学论文中极少被引,是标准例证。</cite></cite>但这是回顾性的统计描述——事后发现引用衰减了,而不是当下判定归属还有没有事实可依。
第三种是公理。 多个参与者共同产生一个结果时,贡献分配有公理化的唯一解。而那个唯一性来自公理的选择,不来自世界。
三种替代品的共同形状是:它们都绕开了事实那一侧。 没有一种在问——这笔归属,现在还有没有一个可查的事实与之对应?
本文要问的正是这一问,而它在三门与老子学毫无往来的学科里有实质性的、互不相容的答案。
法证同位素溯源说:来源的痕迹刻在物质里,看当下这一块就够了。 羊毛能追回牧场,粮食能追回产地,金属能追回矿脉;这套指纹由地理与生物过程写入,不依赖任何记录,因而不受篡改与遗忘影响。
系统发育学说:归属不由当下物质决定,由分支次序决定。 同源与同功之别,本质上就是"这个性状该记到哪个祖先账上";形态相同不等于归属相同。
养分库周转研究反手把两家撇开:一个原子进入库存之后,"它来自哪一次输入"不再有答案。<cite index="205-1">n 种同位素示踪剂只能唯一确定 n+1 个来源的比例;来源数一旦超过,就找不到唯一解。</cite>
而最要紧的一点是:甲家与丙家用的是同一种技术。 稳定同位素在一家手里是追来源的工具,在另一家手里是证明来源已不可分配的工具。同一把尺子,两个相反的结论,分岔点是来源的数目。
本文的结论可以先说:来源不是一个等待被查明的事实,而是一笔被维持的账。这笔账有开账条件、有维持成本、有事实基础,而三者互相独立——事实基础可以先于账目消失,账目可以在事实基础消失之后长期维持。前者本文称为溯断,后者称为虚记。
而《道德经》第二章那一句,在这个框架里从谦德变成了记账:「功成而弗居」是主动停止维持一笔已越过溯断的账;「夫唯弗居,是以不去」是一条关于流失的陈述——只有不再依赖被记在谁头上而存在的东西,才不会随记账制度的更替而流失。
本文余下部分:第二节交代方法、自我限定与和同批前五篇的划界,并处理一处版本学事实。第三至五节陈述三家。第六、七节取共有前提并以溯源科学自身的材料推翻它。第八至十节建立构念、读数与辨别格。第十一节处理靶格,并说明本轮最危险的占位者为何被本文收编为例证而不是挡回去。 第十二节给出十处兑现。第十三、十四节回到文本。第十五节与十家近邻逐条划界。第十六节取第二层共有前提。第十七节写明三处让步。第十八节报告一次已执行的可复算检验:主假设成立,而第二条假设被干净地推翻,推翻它的方式给出了本文的核心机制。 第十九节给出分层引用、自反检验与反噬预言。第二十节结论。
本文问的是"这到底是什么"——要的答案是一条把「还需归因」与「已不必归因」分开的辨别维度。因此三家必须各占一个不同的位置,且各自主张"看我这一处就够了":
三家的回答彼此不能并存,也无法靠"判谁对"化解——因为它们对"来源是否还有答案"这件事本身给出了相反的判断。
第二章通行本作「万物作焉而不辞,生而不有,为而不恃,功成而弗居」。
而帛书乙本没有「生而不有」四字,作「万物昔(作)而弗始,为而弗侍(恃)也,成功而弗居也」;今人有据此指出,河上公本与通行本多出的这四字疑为后人所加。
若依帛书,本章的三个动作是弗始、弗恃、弗居——三个都是关于"不把自己放在起点、依靠、位置上",即关于归属位置,没有一个是关于占有物的。 而「不有」(不占据)恰是后加的那一层,也正是历代把本章读成"不占有"的入口。
本文因此有一个版本学上的立足点:本章原本可能讲的就是账,不是物。 本文不主张这一版本判断已成定论,只主张:在两种文本并存的情况下,读作"账"至少与读作"物"一样有依据,而读作账能产生可查的推论。
本文与同批前五篇属同一产线。前五篇的对象是:被放弃而仍在场的余料、从未进入受理的资格、下一轮的发起处、知道了却动不了的等待、已把作用交付出去的那一部分。
本文与其中最近的两篇必须逐条划开:
六篇不得互相引用为对方的证据:同一条产线的六次产出,互引会造成虚假的相互支持。
本文对源做过预先排除:不取哲学、国学、政治学、伦理学作为三家之一。代价与前五篇相同——本文只能处理归属的事实基础何时消失,不能处理归属的应然问题。 一笔虚记该不该被撤销、撤销之后利益如何调整、谁有权判定——本文没有工具处理。
这一处限定在本篇尤其重,因为归属问题的核心争议恰恰是分配正义。 本文明确:本文不提供任何关于"功劳该归谁"的主张,只提供"这笔归属还有没有事实基础"的判据。
来源的痕迹刻在物质里,看当下这一块就够了。
同位素比值由地理位置、气候、地质与生物过程系统性地写入物质:水的氢氧同位素随纬度与海拔变化,锶同位素随基岩年龄变化,碳氮同位素随饲料与代谢途径变化。这套指纹不依赖任何人类记录,因而不受篡改、遗忘与档案损毁的影响。
这是溯源科学最有力的一点:当一切文书都可能造假时,物质本身不会。
其一,指纹是被过程写进去的,不是被记录下来的。 因此它对造假免疫,对档案缺失免疫。
其二,分馏使指纹漂移,而漂移可校正。 同位素比值在传输、代谢、加工过程中会系统性偏移,这门学科为此建立了整套逐段校正的方法。漂移不是障碍,是可建模的过程。
其三,也是本文要用的那一条:<cite index="205-1">这门学科的全部效力建立在一个条件上——n 种示踪剂只能唯一确定 n+1 个来源;可能来源的数目一旦超过示踪维数加一,就找不到唯一解。</cite>
自曝:<cite index="200-1">混合模型的欠定性被这门学科自己判定为一种根本性的、结构性的不确定来源——变量数超过约束数时,解有无穷多个。</cite>
它为什么停在这里:溯源科学的问题是「这一块东西来自哪里」。"这个问题什么时候不再有答案"不在它的对象域里——一个不能被溯源的样品,在它的工作流里只是一个失败的案例,不是一类需要被命名的对象。
归属不由当下物质决定,由分支次序决定。看它从哪条路来的就够了。
同源与同功之别是这门学科的地基:两个结构形态相同、功能相同,却可能记在不同的祖先账上——一个是继承来的,一个是各自演化出来的。判据不在形态,在树的拓扑。
其一,归属是有强度的,不是有无。 分支重建给出可量化的支持度(自举值、后验概率),因而"这个性状属于哪一支"是一个带置信度的判断。
其二,趋同演化使形态判据失效。 相同的形态可以独立出现多次;只看东西本身,永远判不出归属。
其三,水平基因转移使谱系判据本身失效。 一个基因可以来自非祖先的另一支——此时谱系归属对它整个失效,而它照样在工作。
自曝,且这是本文要用的第二件材料:同源判定依赖树,而树是重建出来的。换一套建树方法、换一组性状,同一个性状可以从同源变成同功——归属随之改变,而生物没有变。
它为什么停在这里:这门学科的问题是「如何重建正确的树」。归属的改变在它那里是"我们之前重建错了",不是"归属本来就依赖方法"——它必须假定有一棵真树,否则它的全部工作失去目标。
一个原子进入库存之后,"它来自哪一次输入"不再有答案;看它现在在哪个库里就够了。
土壤有机质库、可交换态库、矿化库——养分在库之间流转,而库是混合的:来自去年固氮的氮、来自今春施肥的氮、来自十年前凋落物的氮,在同一个库里不可分辨。
其一,不可分配是结构性的,不是精度问题。 <cite index="202-1">混合模型的欠定使各来源的相对贡献"不完全可识别"——不是测不准,是解不唯一。</cite>
其二,多库并存使"平均滞留时间"失去意义。 不同的原子在同一片土壤里的滞留时间可以相差几个数量级;一个平均值不对应任何一个真实的原子。
其三,也是最要紧的一条:库存照常供养万物。 来源不可分配,丝毫不妨碍这些养分被吸收、被利用、被再释放。功能与归属完全脱钩。
自曝:库有分层——快库、慢库、惰性库,不同库的可分配性不同,因而"进入公共库存"不是一个时点,是一个随库层而异的过程。
它为什么停在这里:这门学科把不可分配当作方法学的困难——它的整个反应是发展更好的模型(贝叶斯混合模型、更多示踪剂)去逼近唯一解。它没有把"不再有唯一解"立为一类状态,因为在它的问题结构里那只是一个待克服的障碍。
三家谈的都是"来源",为什么不并成一个通式?
第一,三家的来源载体不同:甲家的载体是物质本身,乙家是分支拓扑,丙家是库存状态。这三样在各自体系里是不同层级的东西,并成通式只能并成"来源以某种方式被携带",不产生任何预测。
第二,三家的可分配性失效方式不同:甲家因端元数超过示踪维数而失效,乙家因水平转移与趋同而失效,丙家因混合而失效。这三种失效的可逆性不同——甲家可靠增加维数回退(第 17.1 节的让步正是从这里来),乙家可靠更好的建树部分回退,丙家不可回退。
第三,也是最要紧的:并成通式会消掉本文的两轴。 通式只保留"来源有时查不出",而本文的全部锋利之处在于事实侧与制度侧的不同步——这个不同步只在具体体系的具体规程里存在,通式里没有制度。
三家里有一处值得单独说,因为它是本文闸门里给分最高的一处。
甲家与丙家使用的是同一种技术:稳定同位素。
在甲家手里,它是追来源的工具——比值是产地的指纹。在丙家手里,它是证明来源已不可分配的工具——当端元数超过示踪维数加一,同一批比值数据与无穷多组来源比例相容。
分岔点不在技术,在来源的数目。
这一点对本文有两个后果。其一,它说明"可分配"与"不可分配"不是两个学科的立场之争,是同一个方法在参数越过某个界线时的两种状态——因而溯断是一个可以被算出来的界线,不是一个哲学判断。其二,它给了本文一个廉价的实务判据:只要数一数"可能来源有几个"与"手上有几维示踪",就知道这个体系当前是在界线的哪一侧。
三家争的是:「这东西来自谁」这个问题,该用什么去回答。
甲说用当下的物质指纹;乙说用分支次序;丙说在多来源条件下它没有唯一答案。
一个初看合理的候选是「来源永远有一个确定答案」。但丙家自己就在否认这一条,因而它不可能是三家共有的。
真正共有的是它下面那一条:
三家共同假定:归属是一个关于世界的问题——答案在物那里,我们的工作是把它查出来。
丙家也认这一条。 它说的是"查不出唯一解",而不是"这不是一个待查的问题";它把无解读成了世界的一种性质,仍然把归属当作事实问题来处理。
念给三家听,三家都会说「这还用说吗」。
而正因为三家都这么假定,三家都没有为"归属的维持"设字段:没有一家问过「这笔账为什么还在记」「谁在维持它」「停止维持会怎样」。归属在三家眼里只有查得出与查不出,没有记与不记。
溯源结果的唯一性依赖一个前提:可能来源的清单必须事先给定,且其数目必须少于示踪维数加一。
而这份清单不是从物质里读出来的。 它由分析者依据背景知识、行政边界、贸易路线、可获得的参考样品预先划定。换一份端元清单,同一批同位素数据给出另一套来源比例,而两套都与数据相容。
也就是说:溯源结果的唯一性,有一部分来自一个人为的前置决定,不来自物质本身。
这件材料在甲家回答的是「如何合理选择端元以避免解不唯一」——一个方法学问题,在文献里以"端元选择"的名义被反复讨论。没有人拿它去质疑"归属是一个关于世界的问题"这个前提。
而它恰恰推翻了这一条:归属的答案里,有一部分自始就来自记账者的决定。
同源与同功之分依赖树的拓扑,而树是重建的产物。换一套建树方法,同一个性状可以从同源变成同功——归属改变,而生物没有变。
这件材料在乙家回答的是「如何提高重建的准确性」。没有人拿它去质疑归属的事实性,因为那样会取消这门学科的目标。
两件材料合起来:归属的答案,一部分来自世界,一部分来自记账者的方法选择;而在多来源条件下,后者的份额会一直增大到吞掉前者。
共有前提当场不成立。
一件事的来源,不是一个等待被查明的事实,而是一笔被维持的账。这笔账有开账条件(制度明文)、有维持成本(记录、追溯、争议处理)、有事实基础(可分配性),而三者互相独立:事实基础可以先于账目消失,账目可以在事实基础消失之后长期维持。
溯断:来源分配从"有唯一解"转为"无唯一解"的那个转变。它不是认识能力的界限,是在给定示踪维数下,事实那一侧不再有一个唯一答案。
虚记:溯断之后仍在维持的归属。它不是错记——错记意味着有一个正确答案而记成了别的;虚记是已经没有正确答案,而账仍在给出一个确定的名字。
其一,虚记不是造假。 每一笔虚记都是照章办事的产物,其记账依据完全合规。
其二,虚记不可被证伪。 事实上已不可分配,因此也无法证明它记错了。这是它与错记的根本区别,也是它能长期稳定存在的原因。
其三,溯断与虚记是两件事。 溯断是事实侧的事件,虚记是制度侧的状态;溯断之后不必然产生虚记——若制度同时停止记,就直接进入公共库存。虚记只在两侧不同步时出现。
v =(制度上仍在归因的份额 − 事实上仍可唯一分配的份额)÷ 制度上仍在归因的份额。
v→0 表示两侧同步;v→1 表示归属全部是虚记——制度在记,而事实那一侧已经没有对应物。
这个量的特殊之处在于它跨两层。 它不是一个统计上的可识别性指标(那只在事实侧),也不是一个制度合规指标(那只在制度侧);它是两侧份额之差,因而它必须同时取两个层的读数才能算出。
读数名:虚记率 符号:v
定义:v =(制度上仍在归因的份额 − 事实上仍可唯一分配的份额)÷ 制度上仍在归因的份额
必报两项(缺一则该 v 值无效):
① 事实侧的判定方法对 —— v 的分子依赖"用哪两套合法方法比较",
换一对方法就换一个 v;必须写明所用的方法对
② 当前可用的示踪维数 —— 溯断是相对于维数的状态,加一维可能使溯断回退
粒度:一次「归属」= 一个制度上可指认的记名单位(一行代码、一条署名、一笔责任)
边界例一:制度记的是集体(如"某团队")→ 计为已聚合,不计入分子
边界例二:制度允许标注"来源不明"→ 该单位不计入分母
边界例三:重组事件之后制度重新确定过归属 → 从重组时点重新起算
编码规则:
① 事实侧不得用记账者的自述替代("作者本人记得"不算可分配)
② 制度侧以规程实际输出为准,不以规程文本的应然表述为准
③ 必须同时报告"制度侧是否提供不可分配这一输出选项"——多数体系不提供
④ 单次 v 不得用于判决个案;本读数是批量读数
表头:单位|制度侧归因|方法对|方法一结果|方法二结果|是否一致|v
不适用:制度侧允许输出"不可分配"且实际使用该选项的体系(那里两侧同步,无虚记)
三处引用一致性:正文 §9.1 = 证伪 §18.2 = 赌注 §18.6
编码规则第③条是本文在真跑之后加进来的:实测发现,制度侧之所以份额恒为 1,不是因为事实清楚,是因为工具设计上不允许它说不知道。
如果停止维持这笔归属,有没有任何可查的事实会与新状态冲突?
有 → 在账;没有 → 虚记。五个场景,五个不同答案,其中四个必须查:
| 场景 | 答案 |
|---|---|
| 教科书定律 | 查文献:停止署名会不会与任何实验记录或手稿冲突 |
| 混合库养分 | 查示踪维数与端元数:n+1 是否被突破 |
| 多轮改良品种 | 查系谱档案:亲本贡献能否被唯一分配 |
| 代码行 | 查版本记录:换一套合法归因方法,作者是否改变 |
| 冠名建筑与奖项 | 查设立文件:冠名依据的事实是否仍可核 |
轴一:事实上是否还可唯一分配。轴二:制度上是否仍在维持归属。
| 制度仍在记 | 制度已不记 | |
|---|---|---|
| 事实可分配 | 在账:两侧一致,正常归属 | 默免:还查得出,只是没人再记 |
| 事实不可分配 | ⭐ 虚记(靶格):没有唯一解了,账还在记 | 溯断完成:进入公共库存 |
右上「默免」格是既有理论已经占住的那一格。 科学社会学关于"因融入而湮没"的整套描述落在这里:概念被普遍使用之后不再被引,而它的来源原则上仍可考证——爱因斯坦那篇论文还在,谁写的从无争议,只是没人再引。
这一格的存在对本文很重要,因为它是本文与最近占位者的分界线:那一路处理的是引用行为的变化,事实那一侧毫发无损;本文处理的是事实那一侧本身的消失。
左下的「虚记」格是本文的靶格,第十一节详述。
右下的「溯断完成」格是第二章那一句的落点:功成而弗居,说的是主动走到这一格。
① 完全合规。 每一笔虚记都有文件、有惯例、有法律依据。照章办事的人不可能发现自己在虚记——他做的每一步都是规程要求的。
② 不产生任何反例。 事实上已不可分配,因此也无法证明它记错了。一个不可能被证伪的归属,在制度里表现为"从无争议";而无争议被普遍读作准确。
③ 随时间自我加强。 记得越久越像事实:引用累积、冠名固化、教科书转抄。每一次转抄都增加它的证据外观,同时离原始的可分配性更远一步。
三条合起来的后果:虚记不是一个错误,是一个稳定的制度状态。它不会被内部纠错发现,因为纠错机制要的是反例,而这一格按定义没有反例。
多参与者贡献分配有一个公理化的解——在对称性、可加性、虚拟参与者为零、有效性等公理之下,分配方案唯一。
这直接顶住本文的承重命题:本文说多来源混入之后无唯一解,它说有。
分离线两条,缺一条本文即倒。
其一,唯一性的来源不同。 那个唯一性来自公理的选择,不来自世界。换一组公理就换一个分配方案,而没有任何经验事实能判定哪一组公理是对的。它给出的是一个规定的分配,不是一个被发现的事实。
其二,它要求的输入在本文的情形里测不到。 计算它必须知道每一个参与者子集的产出值——即"如果只有这几个来源,结果会是什么"。而在一个混合库里,这个反事实无法测量:你没法把土壤里的氮拆成"只来自去年那次固氮"的那一部分再测一次。
由此得到本文认为最要紧的一处判读:
这个公理化方法恰恰是「虚记」的标准工艺。
它产出的分配完全合规(公理清楚、推导严密)、无反例可查(没有事实能证明它错)、随使用而固化(一旦被采用即成为行业标准)。三条签名逐条对上。
本文因此不与它争对错,而是主张:它是事实层已不可分配之后、制度层仍须给出一个答案时的标准做法——而它被广泛采用这件事本身,证明了这个需求有多强。
这一步与本产线前五篇的做法不同。 前五篇面对最危险的占位者时,做的都是划出分离线把它挡回去;本篇是把它请进靶格里当例证。 一个占位者能被自己的框架收编,说明框架的覆盖范围大于占位者——这是本文在不可还原性上最实质的一处主张,也是最容易被反驳的一处:若有人证明该公理化方法的输入在本文所说的情形里其实可测,本文这一节即倒。
有一条关于归属的著名观察:没有一项科学发现以其最初发现者命名;历史荣誉常被给予使观念广为人知的那个人,而不问他是否原创者。
这与虚记形似而实异:它讲的是记错了人——存在一个正确答案,只是被记到了别人头上;本文讲的是不再有正确答案。
分界可以直接检验:误记可以被历史考证纠正——找到更早的手稿、更早的发表,归属即可改正;虚记不能,因为没有任何考证能产生一个唯一答案。
这条分界之所以重要,是因为两者的处方相反:对误记,正确的做法是加强考证;对虚记,加强考证只会增加证据的外观而不改变可分配性——它落在第 11.1 条第三签名上,反而加固了那笔账。
一 · 教科书定律:以人名命名的定律,其命名依据的原始文献与现行表述之间的对应关系,随版本更迭而下降;而署名不变。
二 · 混合库养分:示踪维数与端元数之比可直接算出该体系当前是否已越过溯断。
三 · 多轮改良品种:经过多代回交与聚合杂交的品种,其亲本贡献的唯一分配在第几代之后失效,可从系谱档案算出——而品种权归属不随之调整。
四 · 代码行归属:换一套合法归因方法后作者改变的行占比(第十八节已实测)。
五 · 大气源解析:源类数超过示踪物种数时,各源贡献不可唯一分配——而排放责任照旧按解析结果分摊。
六 · 合作论文的贡献声明:贡献声明的粒度(谁做了什么)随作者数上升而失去分辨力,而作者列表长度不变。
七 · 开源依赖链:一个功能经过多层依赖包实现之后,其"由谁提供"在许可证层面仍可追,在功能归属层面已不可分配。
八 · 冠名与奖项:冠名设立文件所依据的事实(捐赠、贡献、纪念对象)在若干年后是否仍可核,可直接查档。
九 · 责任分摊:多因致害中,各因的贡献度在因果链交织之后不可唯一分配——而判决必须给出一个比例。
十 · 训练语料与模型输出:一段输出由哪些语料贡献,在参数混合之后不可分配——而版权归属的诉求仍以"来自谁"的形式提出。
第九与第十处值得单列:这两处是虚记的最高强度形态——制度不但仍在记,而且必须记,因为不记就无法作出裁决或分配。本文对这两处不提供解决方案,只指出它们与前八处属同一类;按第 2.4 节的自我限定,本文没有工具处理应然问题。
第 18.5 节给出的判据是"重组之后有没有重新确定过归属"。但在多数场合,重新确定归属是做不到的——成本太高,或者当事人已不在。本节给出三条成本递增的做法。
做法一 · 只记下重组事件本身(成本几乎为零)。 不必重新分配归属,只需在记录里留下一条:此处发生过一次重组,时间、范围如此。 这一步不需要任何判断,而它使日后的任何一次复核有了起点。多数体系连这一条都没有做——文件被拆分之后,没有任何字段记录"这是拆出来的"。
做法二 · 给归属输出加一个"不可分配"选项。 第 19.3 节已经指出这条做法的风险(部分诚实比完全不诚实更难被察觉),因而它必须与做法一同时执行:只有在能指出"因为这里发生过重组"的时候,"不可分配"这个输出才有信息量;否则它只是把一个确定的错误换成了一个模糊的托词。
做法三 · 在重组时点做一次归属封存(成本最高)。 重组之前的归属状态被完整快照并封存,重组之后另起一套。这不解决可分配性,但它把一笔连续的虚记切成两段可核的账——每一段内部仍然可查,跨段则明确标注为不可跨越。版本控制里的标签、法律上的权利存续证明、系谱学里的登记世代,都是这条做法的现成形态。
三条做法的共同要点:它们都不要求任何人相信本文的承重命题,只要求体系承认"这里发生过一次重组"这件已经发生的事实。 而这正是第 19.3 节那个自我封闭循环唯一可能的松动处。
第二章的这一句,历代读作谦德。<cite index="230-1">通行的注解是:创造而不占有,有作为而不自负,成功而不居功;正因为不居功,就无所谓失去。<cite index="233-1">而其义理被概括为强调沉稳与谦逊的态度。</cite></cite>
按本文的框架,这一句得到一个不涉德性的读法:
「弗居」是主动停止维持一笔已越过溯断的账。
三个动作依次落位:
三个动作是同一件事在三个时点上的形态:开账前、维持中、到期后。 而通行读法把三者都读成心态,因而它们之间没有次序关系,只是三种并列的美德。本文的读法给了它们一个时间结构。
一个自然的反驳是:本文把一句关于修养的话读成了记账,这是把价值问题偷换成了技术问题。
本文接受这个反驳的一半。 本文确实不处理"应不应该弗居"——那属于第 2.4 节排除掉的范围。
但本文主张另一半:通行读法有一个它自己无法回答的困难。如果「弗居」是一种美德,那么它的对象是什么? 不居"功"——而"功"是什么?若功是一个可以被占有也可以被让出的东西,那么弗居就是一种慷慨;可老子紧接着说的是「是以不去」——不占反而不失。慷慨不会带来不失,慷慨带来的是失。
通行读法在这里只能诉诸一种间接的解释:因为不居功,所以别人更愿意归功于你,所以功反而保住了。这是一个关于人际反应的经验假设,而且它与文本的语气不合——文本说的是"是以",一个直接的因果连接。
本文的读法不需要这个中介:不去,是因为那份作用本来就不依赖归属而存在。库存里的养分不因无法追溯来源而失效,定律不因无人再引原始文献而失效。「不去」不是回报,是一个关于什么东西会流失的事实。
河上公注此句:「夫惟功成不居其位,福德常在,不去其身也。」
他把「不去」的主语解为福德不离开自己的身。 也就是说,不居其位是为了让好处更稳地归于己——这是一种更精巧的占有,不是放弃占有。
本文与他正面对立,而对立可判决:
判决材料是现成的:以人名命名的定律,其作用一分不减地在运行,而它已经不在那个人身上——没有人因为使用它而向那个人的后人支付什么,也没有任何福德因此常在于谁。它进入了公共库存。
若河上公成立,弗居应当带来更持久的个人收益;若本文成立,弗居的结果是个人从这笔账里彻底退出,而作用照旧。
本文与那一路的分界已在第一节与第十节给出,此处只补一句最关键的:
那一路是回顾性的——它统计引用衰减,事后发现某来源被"湮没"了。它对当下的一笔归属,无法判断它还有没有事实基础。
而它的框架里根本没有虚记这一格,因为它不问事实那一侧:在它看来,"仍被引用"是正常的、甚至是荣誉,它不会去问"这一笔还引得对吗——不是引错了人,而是还有没有一个人可引"。
以上是形式层的对应,不是训诂。本文没有主张老子持有本文的构念。本文主张的是较弱的一条:在两种文本(帛书与通行本)并存、且通行读法自身留有"不占为何不失"这一困难的情况下,本文的读法能提供一个内部一致、且带可查推论的替代。其价值应按推论是否可查来评判。
第 2.2 节指出「生而不有」四字在帛书本中不存在,疑为后人所加。此处必须交代本文对这一层的处理,因为它涉及本文最容易被质疑的地方。
本文不主张「不有」这一层是错的,也不主张它应当被删。 本文只主张两件事。
其一,「不有」与「弗居」不是同一件事。 「不有」讲的是物的占有——生养万物而不据为己有;「弗居」讲的是位置的占据——功业成就而不占那个位置。一个是财产关系,一个是归属关系。 通行读法把两者读成同一种谦德的三个面,因而它们之间的差别被抹平了。
其二,本文只处理后者。 财产关系有它自己的一整套问题(占有、使用、收益、处分),本文按第 2.4 节的自我限定不予处理。本文因此不是在解释整个第二章,只是在解释其中的一句。
这个限缩有代价,须写明:若「生而不有」确为原文而非后加,那么本章的三个动作就不是同一层级的,而本文的"三个时点"结构(开账前、维持中、到期后)就只覆盖其中两个。 本文承认这一风险,并把它记在版本学争议未决的账上。
它的问题:观念被普遍接受之后,其贡献者为何不再被引用。分离线三条:因变量不同(引用行为 vs 事实存否);方向不同(回顾性统计 vs 前瞻性判据);它没有虚记这一格。
见 11.3 节。误记有正确答案,虚记没有;处方相反。
它的问题:作品的排他权何时终止。这是唯一制度化的"停止归因"。
分离线,且它本身就是本文的一条证据:保护期按日历计,不按可分配性计。制度用时间代替了事实判定——这恰恰说明,没有任何领域有基于事实的到期判据,只有替代品。
见 11.2 节。本文不挡它,把它收编为虚记的标准工艺。
它的问题:什么条件下必须署名。分离线:它规定开账条件,不规定停账条件;一篇论文的署名一旦确定永远有效。它是本文缺口的最好证据,不是占位者。
它的问题:某个因素对结果的贡献有多大。分离线:反事实框架要求可定义的干预("如果没有它会怎样"),而在混合库里这个干预不可定义——你无法移除某一次输入而保持其余不变。
它的问题:参数能否由数据唯一确定。分离线:它只在事实侧;本文的 v 是两侧份额之差,必须同时取制度侧读数才能算出。一个纯统计的不可识别性指标算不出 v。
它的问题:同一发现由多人独立作出时,荣誉如何分配。分离线:它仍假定每一份贡献原则上可辨——它处理的是竞合,不是不可分配。
它的问题:公共资源为何被过度使用。分离线:那一路关心的是使用的激励,本文关心的是来源的可分配性;一个资源可以完全可追溯而仍被过度使用,也可以完全不可追溯而被良好治理。
见第 2.3 节。六篇的对象与读数互不通约,且不得互相引用为证据。
第一种,也是最可能的:第 11.2 节的收编被反驳。 若有人证明,贡献分配的公理化方法所需的子集反事实在本文所说的情形里其实可测(例如通过同位素标记的输入实验、通过逐个来源的可控引入),那么"多来源无唯一解"就不成立,而本文的靶格连同它的三条签名一起失去对象。 本文认为在受控实验中这确实可做,本文的主张只限于不可控的、已经混合完成的现场体系——但这条限定使本文的适用范围比表面看起来窄得多。
第二种:两轴被证明不可分。 第 17.2 节的让步已经承认事实侧也有约定成分。若有人进一步证明"受数据约束的约定"与"不受数据约束的约定"之间没有清晰界线,那么本文的 2×2 就该改成一个连续谱,而四格划分是过度离散化。本文对此没有反驳,只能指出实测里确实出现了 v = 0 与 v = 1.0 的两端。
第三种:本文只是把一个描述性现象换了个说法。 若"虚记"最终被证明可以完全还原为"引用惯性"或"制度滞后",本文即为换皮。 本文对此的抵抗只有一条:那两个说法都不含"事实侧已无唯一解"这一项,因而它们预测不出第十八节那 8.9%——它们预测的是"人们懒得改",而实测显示的是"改也改不出唯一答案"。
本文认为第一种最可能,并把它作为后续工作的首要方向。
从上节各位近邻的结构性盲区取交集:湮没现象——只问引用;冠名律——假定有正确答案;公有领域——按日历;公理化分配——用规定补上;作者规范——只管开账;反事实归因——假定干预可定义;可识别性——只在事实侧;多重发现——假定可辨。
交集是一条:
归属的到期,是一件不需要判据的事。
要么它自然发生(引用衰减),要么按日历(保护期),要么用公理补上(分配方案),而没有一家问"事实那一侧到底还在不在"。
本文的全部工作是对这一条的否定,而否定的代价是明确的:一旦承认到期需要判据,就必须承认有一大批现行的归属没有事实基础——而它们在制度上完全合规。第 19.3 节的反噬预言正是从这里来的。
原本要写的更强的话:溯断一旦发生即不可回头。
削它的材料:示踪维数可以增加——多加一种同位素、一种微量元素、一种标记,原本欠定的体系可以重新变得可分配。
削掉之后:溯断不是绝对状态,是相对于当前可用维数的状态。 v 必须与"当前示踪维数"一并报告;且技术进步会使一部分虚记重新变成在账。
原本要写的更强的话:本文的两轴一边是客观事实,一边是人为制度。
削它的材料:同源判定依赖建树方法,而建树方法是学科共同体的约定——事实那一侧也有约定成分。
削掉之后:两轴不是"客观 vs 主观",是两种不同强度的约定——一种受数据约束(换方法会与数据冲突),一种不受(换规则不与任何数据冲突)。这一削减动了本文的地基,本文接受它。
原本要写的更强的话:溯断是一次跳变。
削它的材料:库有分层,快库、慢库、惰性库的可分配性不同。
削掉之后:溯断是分层发生的——同一批东西的不同部分可以处在不同的格里。第十八节的实测支持这一削减:同一个仓库里,有的文件 v = 0,有的 v = 1.0。
核心思路来自第 7.1 节那件推翻材料:溯源结果的唯一性来自人为的前置决定。对应到代码归属——
方法对(两套均为该工具的标准用法):方法 A 为默认归属(把行归给最后触碰它的提交);方法 B 为忽略空白、跟踪同文件内移动、跟踪跨文件复制与移动。
变量:v(file) = 两法作者不一致的行数 ÷ 总行数;churn = 该文件的历史提交次数;age = 首次提交至今天数。
假设(阈值写死):
样本:两个公开代码仓库,79 个文件,39,775 行。
| 读数 | 值 |
|---|---|
| v 中位数 | 0.0608 |
| v 均值 | 0.1226 |
| 行加权 v(全样本) | 0.0887 |
| v = 0 的文件 | 12 / 79 |
| 0 < v < 5% | 23 / 79 |
| 5% ≤ v < 20% | 36 / 79 |
| v ≥ 50% | 6 / 79 |
H1 成立(0.0608 ≥ 0.05)。约 8.9% 的行,其归属取决于分析者选了哪一套合法方法——而归属工具对这 8.9% 照样输出了确定的人名。
H3 成立,且是结构性的:79 个文件、39,775 行,两套方法全部输出唯一作者,无一行被标为不可分配。制度侧的份额恒为 1,不是因为事实清楚,是因为工具设计上不允许它说不知道。
预设 v 与修改次数正相关(ρ ≥ 0.30)。实测 ρ = 0.004——完全无关。
更反方向的是:ρ(文件年龄, v) = −0.391,越老的文件虚记率越低。
看 v 最高的六个文件,它们的提交次数是 1、1、2、2、2、2——几乎没被改过。而它们的首次提交说明是同一条:把一个大文件拆成多个文件。
反过来,v = 0 的那些文件,首次提交说明是"初始提交""文档开始""新增结构测试"——原地长出来的文件。
而在剔除掉这些拆分产物之后(限于提交次数 ≥ 5 的 57 个文件),ρ 回到 0.371——修改确实会缓慢抬高 v,只是被拆分的效应整个盖住了。
虚记不是磨损产生的,是搬家产生的。
这一条本文事先没有预料,而它与三家的材料严丝合缝:同位素溯源里破坏可分配性的是混合与搬运,不是时间;系统发育里最彻底摧毁归属的是水平基因转移——一次搬家,不是长期漂变;养分库里来源变得不可分配,也发生在进入库存那一刻,不是在库存里放久了。
三家的机制在这一条上是同一个:重组,而非损耗。
其一,承重命题加一句限定。 原表述"事实基础会随时间消失"是错的。改为:事实基础主要在重组事件中消失,在平稳期只缓慢衰减。 溯断因此不是一条平滑曲线,是在搬移处的一次跳变——这同时支持了第 17.3 节的分层让步。
其二,v 必须与方法对一并报告。 换一对方法就换一个 v,单独的 v 值无意义。这与本产线前一篇"读数必须带平衡期"是同类要求,但来源不同:那里是时间尺度不定,这里是方法对不定。
其三,得到一个更强也更窄的可操作判据。 不必去测"来源还查不查得出",只需问:
这段东西经历过重组吗?重组之后,有没有人重新确定过归属?
几乎没有任何制度在重组之后重新确定归属:文件被拆分之后,归属工具照旧输出人名,没有任何环节要求复核;论文被拆成两篇之后,作者列表照抄;部门被拆分之后,功劳照旧记在原建制上。这就是虚记的产生机制,而且它是一次性的、可定位的、有时间戳的。
其一,代理变量。 用"两套方法的分歧"代理"事实上不可唯一分配"。分歧确实证明归属依赖方法选择,但不证明世界上没有一个事实——原作者本人可能记得。本文测的严格说是记录层的不可判定性,不是本体层的。
其二,样本狭窄。 两个仓库、单一语言、且都是维护良好的项目。维护良好意味着重组频繁,可能高估 v。
其三,方法对由本文选定。 选另一对(例如更激进的复制跟踪,或改用逐次提交追溯),v 会变。这一条无法回避,只能如实报告并把方法对写进读数定义——第 9.2 节已据此写死。
至 2028 年 8 月 19 日,若有公开可复算的研究,在至少两个不同领域(例如作物系谱与合作论文贡献声明)按本文口径测得 v,而"重组事件"与 v 的跃升之间不存在时间上的对应关系,则「虚记由重组产生」这一核心修订判负。
什么不算命中一并写死:仅报告归属争议数量或引用衰减的研究,一律不算——那些测的是制度侧的摩擦或引用行为,不是两侧份额之差;仅报告单一 v 值而不写明方法对的研究,亦不算。
本文的可信度主要落在第二、三层,以及第十八节 H1 那一条实测。
本文自己就是一笔归属账,而且它的 v 不低。
本文的构念来自三家的材料与一次重组(把三家的判据搬到一起)。按本文自己的机制,重组正是破坏可分配性的那一步——本文的哪一部分来自哪一家,在本文写成之后已经不可唯一分配。而本文的署名照旧给出确定的人。
更具体的一处:第 11.2 节把最危险的占位者收编为例证,这一步的"归属"尤其含糊——它算是本文的创见,还是那个方法自己的性质被重新描述了一遍? 本文倾向前者,但本文承认这个判断由本文自己作出,且没有独立判据。按第 11.1 条第二签名,这正是"无反例因而无争议"的形态。
本文因此在自己身上落在靶格里,而且是自觉地落进去的。 本文没有办法退出——停止署名并不能使本文的可分配性恢复。
本命题一旦被采用,最省事的落地方式是"凡是越过溯断的归属,一律撤销"。这会以两步毁掉它。
第一步,撤销的判定权落在谁手上,本文没有规定,而按第 2.4 节本文也无权规定。 于是判定权会落到有能力做这个测算的一方——通常是持有记录的一方,也就是最有动机撤销他人归属的那一方。 本文提供的是一把可以合规地抹掉别人名字的尺子。
第二步,"我们做过溯断测算"成为合规项;而一个用单一方法对、不报告方法依赖的测算,与随意撤销没有区别——本文最要紧的那处限定(v 必须带方法对)在落地时最先被抹掉。
我看不到出口。 更麻烦的是:本文的第三层主张(工具不提供"不可分配"选项)看起来最像一个可以立刻改进的地方——给工具加一个"不可分配"输出。但这恰恰会使问题更隐蔽:一个偶尔输出"不可分配"的工具,会让人相信它在其余场合的输出是可靠的,而实际上那些场合的可分配性同样依赖方法选择。部分诚实比完全不诚实更难被察觉。
本文的检验里主假设成立、第二条假设被干净推翻。按通行的出版激励,最省事的处理是把 H2 改写成"在剔除拆分产物后成立",把 ρ = 0.004 那个数字放进附录。本文没有这样做,理由是结构性的:
按本文第 11.1 条第二签名,虚记之所以稳定,正是因为它不产生反例。 一篇论证"无反例被读作准确"的文章,如果自己把反例处理成不出现,它在方法上就成了它所描述的那种账。
因此本文的可信度应当被这样评估:
本文不主张自己已被证实。本文主张的是:它已经把自己被推翻的方式、被绕过的方式(第 19.3 节)、以及自己落在靶格里这件事(第 19.2 节),都写清楚了。
本文从一个空缺出发:一切领域都有开始归因的程序,没有一个领域有停止归因的程序;现行的三种替代品——日历、统计、公理——都绕开了事实那一侧。
本文论证:来源不是一个等待被查明的事实,而是一笔被维持的账;这笔账的事实基础可以先于账目消失,而账目可以在事实基础消失之后长期维持。前者本文称为溯断,后者称为虚记,读数为虚记率 v。虚记的三条签名是:完全合规、不产生任何反例、随时间自我加强;因而它不是错误,是一个稳定的制度状态。
本文与最危险的那位占位者的关系与前五篇不同:贡献分配的公理化方法不是被挡回去的,是被收编为虚记的标准工艺——它合规、无反例、随使用固化,逐条对上三条签名。这是本文在不可还原性上最实质的主张,也是最容易被反驳的一处。
据此,《道德经》第二章那一句从谦德变成记账:「弗居」是主动停止维持一笔已越过溯断的账;「是以不去」不是回报,是一条关于流失的陈述——只有不再依赖被记在谁头上而存在的东西,才不会随记账制度的更替而流失。 这一读法与河上公「福德常在,不去其身」正面对立,而对立可判决:以人名命名的定律作用一分不减,而它已经不在那个人身上。
本文的经验部分:主假设成立(约 8.9% 的行归属取决于方法选择,而工具照样给出人名),而第二条假设被干净地推翻——虚记率与修改次数完全无关,与文件年龄负相关;虚记率最高的文件几乎没被改过,共同点是由拆分产生。由此得到本文的核心修订:虚记不是磨损产生的,是搬家产生的,而这与三家的机制严丝合缝——破坏可分配性的是重组,不是损耗。
本文最后交出三个自己解不了的洞。其一,本体与记录的分界:本文测到的是记录层的不可判定性,不是本体层的不可分配性,而两者的分界本文没有办法测。其二,应然:一笔虚记该不该被撤销,本文因自我限定而无力处理,而这恰恰是这个题目最要紧的地方。其三,本文自己落在靶格里:本文的构念由一次重组产生,其内部归属已不可唯一分配,而本文的署名照旧给出确定的人,且本文没有办法退出。
1. Phillips, D. L., & Gregg, J. W. (2003). Source partitioning using stable isotopes: coping with too many sources. Oecologia, 136(2), 261–269.
2. Phillips, D. L., Inger, R., Bearhop, S., et al. (2014). Best practices for use of stable isotope mixing models in food-web studies. Canadian Journal of Zoology, 92(10), 823–835.
3. Parnell, A. C., Inger, R., Bearhop, S., & Jackson, A. L. (2010). Source partitioning using stable isotopes: coping with too much variation. PLoS ONE, 5(3), e9672.
4. Hennig, W. (1966). Phylogenetic Systematics. Urbana: University of Illinois Press.
5. Patterson, C. (1982). Morphological characters and homology. In K. A. Joysey & A. E. Friday (Eds.), Problems of Phylogenetic Reconstruction. London: Academic Press.
6. Doolittle, W. F. (1999). Phylogenetic classification and the universal tree. Science, 284(5423), 2124–2129.
7. Trumbore, S. (2000). Age of soil organic matter and soil respiration: radiocarbon constraints on belowground C dynamics. Ecological Applications, 10(2), 399–411.
8. Kuzyakov, Y., Friedel, J. K., & Stahr, K. (2000). Review of mechanisms and quantification of priming effects. Soil Biology and Biochemistry, 32(11–12), 1485–1498.
9. Merton, R. K. (1968). Social Theory and Social Structure (Enlarged ed.). New York: Free Press.
10. Merton, R. K. (1957). Priorities in scientific discovery: a chapter in the sociology of science. American Sociological Review, 22(6), 635–659.
11. Garfield, E. (1975). The obliteration phenomenon. Current Contents, 51/52, 5–7.
12. Stigler, S. M. (1980). Stigler's law of eponymy. Transactions of the New York Academy of Sciences, 39, 147–158.
13. Kennedy, H. C. (1972). Who discovered Boyer's law? The American Mathematical Monthly, 79(1), 66–67.
14. Shapley, L. S. (1953). A value for n-person games. In H. W. Kuhn & A. W. Tucker (Eds.), Contributions to the Theory of Games II. Princeton: Princeton University Press.
15. 河上公:《老子道德经河上公章句》,王卡点校,北京:中华书局,1993 年。
16. 王弼:《老子道德经注》,载楼宇烈《王弼集校释》,北京:中华书局,1980 年。
17. 高明:《帛书老子校注》,北京:中华书局,1996 年。
18. 朱谦之:《老子校释》,北京:中华书局,1984 年。
数据可得性声明 第十八节的检验使用两个公开代码仓库与标准版本控制工具,仓库清单、方法对、文件筛选门槛与三条假设的阈值均在运行之前写定并存档,任何人可用同一口径复算。全部分档计数、两条相关系数与不利结果(H2 被推翻)均已完整报告,无一省略。
与同批论文的关系声明 本文与同批前五篇为同一产线的六次独立产出,构念互不通约。六文不得互相引用为对方的证据。
利益冲突声明 无。
| 构念 | 对象 | 读数 | |
|---|---|---|---|
| 第一篇 | 落项 | 被放弃而仍在场的余料 | 落项量 |
| 第二篇 | 未入册者 | 从未进入受理的资格 | 封册率 |
| 第三篇 | 待征位 | 下一轮的发起处 | 低位命中率 |
| 第四篇 | 滞改带 | 知道了却动不了的等待 | 滞改比 |
| 第五篇 | 已交付项 | 作用已转移而本体可撤 | 接续保持率 |
| 本文 | 溯断/虚记 | 事实基础已消失而账仍在维持 | 虚记率 |
前五篇处理的都是"东西"——余料、资格、位置、时间、本体。本文第一次处理的是"账"。 这是六篇里唯一一次,对象不是世界上的某一样东西,而是一种关于世界的记录关系。
「德」的接口:本产线前两篇分别指出,「德」可能是"真无为与被追认的无为之别"的名字,也可能是"系统据以承接的那样东西"。本文给出第三条线索,而它与前两条不冲突:若「道」这一侧的六个构念处理的都是转移出去的那一路——余料被放弃、资格被封定、发起权被移交、修正被推迟、作用被交付、来源被溯断——那么「德」就是承接那一侧的总名。
而本文特别指出承接的一个条件:承接完成的标志,恰恰是不再需要知道来源。 库存里的养分不问来自哪一次固氮,定律不问原始手稿在谁手里。若一样东西必须知道它来自谁才能被使用,它就还没有被真正承接。
已知的最大风险仍与前两篇相同:这条线索极易滑向"德即包容"或"德即涵养"这类过于顺滑的表述,而它们都是标量或态度,无法区分四格。后续工作若产出一个标量或一种品德,即应视为失败信号。