账上没有这一栏

王德生 · 2026 年 8 月

序 · 一周之内发生的事

这篇文章的材料，来自一周之内的一批实际工作：几十本专著的选题、评分、装配与复查。它们分属完全不相干的题域——睡眠、免疫耐受、言论自由、股票、婚姻、宣教、风水、内卷、企业健康、生命韧性。按常理，这些题目之间不该有什么共同的东西。

但把它们的承重判断摆在一起，会看见一句反复出现的话，几乎逐字相同：

有一样东西确实发生了，确实在起作用，而且作用不小；但在所有相关的记录制度里，没有它的位置。不是记漏了，是没有这一栏。

免疫耐受那一批说：一次判定结清之后，执行它的那个位置没有回到起点，而账上只有"是不是"这一栏，没有"这一份是在哪个局里给的"。企业健康那一批说：一家企业的每一个健康读数，分母都由它自己维护。生命韧性那一批说：偏离与新秩序之间的那一段，续存不由任何一个会被结算的单位持有。风水那一批说：换掉一侧之后还在被沿用、而两侧的账本都不认领它。

这不是巧合，也不是抄袭。它们是不同的人、在不同的月份、对着不同的材料，各自独立走到同一个地方。当一批互不通气的探究反复落在同一个形状上，通常有两种可能：要么这个形状是探究者带进去的，要么它是被探究的世界本身的一个真实特征。

本文主张：两者同时为真，而这恰恰是最值得写下来的事。 它是一个关于世界的判断，也是一个关于方法的判断，而后者会反过来吞掉前者——如果不加约束的话。

文章分五编。第一编描述现象，把"没有"分成三种，并指出为什么其中一种此前没有名字。第二编给出原理：为什么没有字段的东西反而最有力，以及为什么单一的记录制度在原理上看不见自己缺了哪一栏。第三编与七位最近的前人逐条划界——默顿、波兰尼、鲍克与斯塔、庇古一系、斯科特、哈金，以及会计学自己那部关于"表外"的制度史；这一编最长，因为一个判断的价值不在它说了什么，而在它与最像它的那几个说法差在哪里。第四编把这个判断改写成一条可执行的创新策略。第五编处理它的反噬：一条策略被制度化的那一刻，会发生什么。

我先把结论说在前面，免得读者以为后面还有转折：这条策略是好的，而且正因为它好，它会在被制度化之后开始批量生产它自己所批判的那种东西。 本文最后要给出的，不是这条策略的胜利，是它的一份自减条款。

一、从一次普查说起：四十七篇，五个题域，同一句话

先摆事实，再谈解释。

我对一位作者一周内交出的四十七篇长文做过一次机械普查。这四十七篇分属五个互不相干的题域：局部提速与整体停滞、企业健康、生命韧性、免疫耐受、风水。没有任何一篇引用另一篇，没有任何两个题域共享一门学科的核心文献。

普查的判据是最笨的一种：数词。看每一篇的摘要里有没有出现"账、记、栏、条目、清单、结算"这一族记账词。结果是四十六篇有，其中三十二篇在副标题那一行就出现了。

一个数词统计当然不能证明什么深刻的东西。它能证明的只有一件事：这四十七篇在用同一套词汇处理五件不相干的事。 而这件事本身需要解释。

有两种廉价的解释，都不成立。

第一种：作者有语言习惯。这解释不了跨题域的一致性——一个人写风水时的词汇习惯，没有理由在写免疫耐受时原样重现，除非那个词汇在两处都是承重的，而不是修辞的。事实上把这些句子里的记账词换成同义的日常词，句子会立刻垮掉："账上没有这一栏"换成"人们没注意到"，那句话的意思就变了，而且变得平庸——后者是一个关于注意力的说法，前者是一个关于记录制度的说法。

第二种：这是一种时髦的隐喻，把什么都说成"账"。这解释不了它的可操作性。一个隐喻不会自带判定形式，而这些判断都自带：你可以把一份真实的记录导出来，数一数其中有没有那一栏；数得出来就是有，数不出来就是没有。隐喻不能被这样清点。

所以需要第三种解释。而第三种解释要从区分开始。

二、三种"没有"：空值、未测、无栏

日常语言把很多不同的事情都叫作"没有数据"。这个混同是本文要处理的第一件事。至少有三种，它们在结构上完全不同：

第一种：有栏而空着。 表里有这一列，这一行的这个格子是空的。这是空值。空值有一个决定性的性质：它自己会报告自己。任何一个稍微正经的统计流程，都会在某处告诉你"此列缺失率百分之几"。空值是可见的缺席——它在场，以缺席的形式在场。

第二种：无栏而可加。 表里没有这一列，但如果有人想到了，加上去就是了：定义写清楚、编码规则写清楚、回头补测一遍。这是未测量。未测量不会自己报告自己——没有人会告诉你"你的表里少了一列"，因为报告器本身也是照着这张表建的。但它有一个补救的方向：想到就能加。科学史上大量的进步是这一类：有人想到了要测一个此前没人测的量，于是那个量进入了账本，此后一切照旧，只是账本宽了一列。

第三种：无栏，而且加上去就不是它了。 这一种此前没有名字，也是本文的对象。

它的形状是这样：有一样东西在起作用，作用可以从后果上被感觉到；但它之所以能起那个作用，恰恰依赖于它不被计入。一旦你为它设立一栏、给它一个定义、把它写进考核办法，它就会变成另一样东西——通常是一样死的东西，而原来那样活的东西同时消失。

举一个不需要任何专业背景的例子。一个团队里有人会在别人卡住的时候顺手帮一把。这件事有作用，而且作用不小。现在给它设一栏：互助次数。此后会发生什么，任何在组织里待过的人都知道：互助次数会上升，而互助会消失。上升的是可被记录的那种互助——短的、显眼的、发生在会被看见的场合的、由已经打算记录它的人发起的。而原来那种在别人还没开口时就已经动了的东西，没有了。它没有被禁止，只是不再有人做——因为做了它现在意味着别的东西。

这不是"测量误差"，也不是"指标被操纵"。指标被操纵的前提是那个东西还在，只是数字失真了。这里是那个东西本身不在了。记上去这个动作，改变了被记的对象，改变到它不再是原来那一样。

本文把第三种叫作无字段者。它与前两种的分界可以写成一句可判定的话：

补上这一栏之后，那样东西还在不在？ 还在，只是终于被记下来了 → 第二种，未测量。 不在了，而记录本身完好无损 → 第三种，无字段者。

第三种的麻烦是根本性的：它没有任何一种自我报告的形式。 空值报告自己，未测量至少在被想到之后能被补上，而无字段者连"我这里少了什么"这个问句都无法在账本内部提出——因为提出它就需要指着一样东西，而那样东西一旦被指认就变了。

这就带出第一编的最后一节。

三、平账是一种沉默

一切结算制度的成功判据都是内部一致。一本账平了，意味着借贷相等、进出相符、各项加总与总数吻合。这个判据是自足的：它不需要账外的任何信息就能给出"对"或"不对"。

正因为自足，它对遗漏是结构性沉默的。

设想一本账，它完整地记录了 A、B、C 三项，而世界上还有一项 D 在起作用。这本账会平吗？会。它当然会平——因为平不平只取决于 A、B、C 之间的关系，D 不在其中。遗漏不产生任何不平衡的信号，因为不平衡是相对于已记入项定义的。

这一点值得停下来多说一句，因为它比它听上去要严重。我们对"制度失灵"的常识图像是：出了问题，指标变红，警报响起，有人来修。这个图像预设了失灵会显形。而无字段者的失灵不显形：账照样平，指标照样绿，考核照样过，直到某一天后果以一种与任何一项指标都对不上的方式到达，而此时没有任何一条记录能解释它，因为解释它需要的那一项从来没有被记过。

免疫耐受那一批里有一篇把这个结构说得极准。它说：持续性的自身攻击不是消退程序失灵，也不是识别系统认错了自己，而是一次迟到的开窖——历次为了让当期的账记平而被移出当期、又从未被重新读入的那些量，在某一次足够深的扰动里同时被重新呈递。系统面对的不是眼前这一次刺激，而是被一次性交出的一沓旧账。

而它给出的读数是可清点的：自上一次重新读入至今，完整走过了几轮。这个数在任何现行的记录里都没有一栏。

于是有了一条可以写下来的话，本文称之为结算的封闭性：

一个结算制度的正确性判据，只能覆盖它已经设有字段的那些项。因此"这本账是平的"这句话，不携带任何关于"这本账完整不完整"的信息。

日常经验里，我们几乎总是把前者读成后者。审计通过了，就以为没事；指标都达标了，就以为运转正常；流程走完了，就以为该做的都做了。这个误读不是疏忽，是结构性的：因为除了"账平不平"，我们没有别的关于账的信息来源。

到这里，现象层描述完毕：有第三种"没有"，它不自我报告，而承载它的制度对它结构性沉默。

第二编要问的是：为什么它偏偏影响巨大？

四、账外积累律：为什么没有字段的东西反而最有力

现在处理本文最反直觉的一步。

常识说：没被记录的东西影响小。这个常识有很强的支持——组织行为学、经济激励理论、绩效管理，全都建立在"被度量的才被管理"上。它们大体是对的。

但它们对的方式，恰恰导出了相反的结论。

凡有字段者，皆被优化。 一样东西一旦有了字段，它就进入了三个过程：它被作为目标追求，被作为成本削减，被作为筹码交换。这三个过程有一个共同的后果——它被花掉。目标会被追到饱和，成本会被削到临界，筹码会被换到边际。有字段者的命运是被消费到它的边界上。

而无字段者不被优化。 它不是目标，所以没有人去追它；不是成本，所以没有人去削它；不是筹码，所以没有人拿它去换。于是它做一件所有有字段者都做不到的事：它在积累。

本文把这条叫作账外积累律：

在一个持续运转的结算制度里，唯一能够长期积累而不被消耗的，是那些没有字段的项。因此运转越久、优化越充分的系统，其实际承重越是落在账外。

这条律有一个直接的推论，也是本文关于"影响巨大"的全部论证：

一个系统的实际稳定性，主要不是由它的指标承担的，而是由它的账外余量承担的——而这件事只有在余量被耗尽的那一次才会被发现。

为什么只有那一次？因为余量的消耗不产生任何记录。有字段者被消耗时会留下痕迹（数字在往下走），无字段者被消耗时什么也不留下。所以从外面看，一个正在耗尽账外余量的系统与一个健康的系统，在所有可读的读数上完全一样。

这解释了一件长期难解的事：为什么最成功的组织、最优化的流程、最精细的管理，反而常常以一种毫无前兆的方式崩掉。通常的解释是"黑天鹅"，即外部冲击的不可预测。本文给的解释不需要外部冲击：优化本身就在系统性地把承重从有字段处转到无字段处，而这个转移过程在任何一份报表上都读不出来。

企业健康那一批里有一篇把这个机制说到了很硬的地步。它的判断是：越成功的企业越接近失稳，被效率消耗掉的不是余量，是"把某一份单独拿出来试一次"这件事。注意这个措辞的精确：不是余量本身被消耗了，是产生余量的那个动作被消耗了。而那个动作从来不在任何一张流程图上——它是没有名字的那半小时，是没人要求做的那次多余的对照。它有作用，但它从不作为一项工作被记录，因为一旦被记录为一项工作，它就必须有产出要求，而有产出要求的试验不再是"单独拿出来试一次"，是执行。

到此可以给出一个更锋利的表述。无字段不是无字段者的缺陷，是它的工作条件。 那个团队里顺手帮忙的人之所以能顺手，正因为它不算数。让它算数，它就不顺手了。

还有一条更冷的推论，本文不愿意写但必须写。

如果账外积累律成立，那么任何一次真诚的改进努力，都在把承重往账外推。

理由是这样的：改进的方式只有一种——把某样东西变得可管理，也就是给它设一栏、定一个目标、排一个次序。每一次这样做，那样东西就从账外进入账内，从此接受优化，从此被消费到边界。而系统仍然需要余量，于是余量退到下一处没有字段的地方。改进不消灭账外之物，它把账外之物往后赶了一层。

第十四节那段会计史给了这条推论最硬的支持：准则修订把大量表外项目赶进了表内，这件事整体成功，而过程中生出了新一代的表外安排。内部化没有消灭表外，它把表外推进了下一层。

这条推论有一个不舒服的含义，值得直说：一个管理得越精细的系统，它的账内部分越接近饱和，因而它对账外的依赖越重，而它对这份依赖的可见度越低。精细化管理不是在降低这类风险，是在提高它，同时降低对它的感知。 这与"管理越好越安全"的常识完全相反，而它不需要任何阴谋论或人性假设，只需要账外积累律。

本文不打算从这里推出"不要改进"。那是荒谬的。可以推出的只有一条很朴素的纪律：每一次给某样东西设栏，同时问一句——它原来靠什么在起作用？那样东西现在退到哪儿去了？ 这一问不会给出答案，但它至少让退让这件事留下一个痕迹，而不是像现在这样，退让本身也没有字段。

这是本文与所有"应该把 X 也纳入考核"这类主张的分界线。那些主张预设了纳入是无害的、只是技术上麻烦。本文说：对第三种"没有"而言，纳入是致命的，而且是对被纳入者致命，不是对制度致命。

五、为什么单一账本看不见自己的缺栏

第三节说了账本对遗漏结构性沉默。这一节要说的更强：不是沉默，是原理上不可能。

设想一个足够认真的记录者，他知道自己的账本可能不完整，于是决定去查。他怎么查？

他有三条路，三条都通向同一个死胡同。

第一条：查内部一致性。 他把所有交叉核对都做一遍，看有没有对不上的地方。问题在第三节已经说了：遗漏项不参与任何一条核对关系，因此不产生任何不一致。这条路的输出恒为"未发现问题"，而这个输出不携带信息。

第二条：查历史异常。 他把过去的记录调出来，找那些"事后回看解释不通"的时刻。这条路比第一条好，它确实能发现一些东西——但它只能发现已经引爆过的无字段者，发现不了正在积累的。而按第四节，正在积累的那些才是承重的。更麻烦的是：一个解释不通的历史事件，通常会被事后追加一个解释，而追加的解释一定是用现有字段写的（因为写的人只有这些字段），于是它反而把那个缺口填掉了——不是填上了那一栏，是填上了"这里没有缺口"这个印象。

第三条：问人。 他去问那些实际在做事的人："我们的记录里少了什么？"这条路的失败最有意思。做事的人回答不了这个问题，不是因为他们不知道，而是因为他们知道的方式不是"少了一栏"这种方式。他们知道的是"有些事得那么做"，"这个人靠得住"，"这一步不能省"。把这些翻译成一个字段名，需要的正是那个尚不存在的字段。你不能用一门语言里没有的词去问那门语言的使用者他们缺哪个词。

三条路的共同死因是同一个：查缺栏这件事，必须用某套字段来提问，而缺栏的定义就是它不在这套字段里。 这是一个自指的封闭，不是能力问题。再聪明、再诚实、再有资源的单一记录者，也走不出去。

这个死胡同在科学哲学里有一个熟悉的名字，只是从没被用在这个方向上。

汉森说过观察渗透理论：开普勒与第谷看同一个日出，看见的不是同一件事。这句话通常被读作关于知觉的：理论塑造了我们看见什么。但它还有一个更冷硬的制度版本——理论决定了什么算作一条数据。一台仪器、一份表格、一套编码规则，就是被凝固成物的理论；它们不是中立地接收世界，是预先规定了世界的哪些部分有资格进来。一样东西如果落在这套规定之外，它不会以"异常数据"的身份出现，它根本不会以数据的身份出现。异常至少还是一条记录；无字段者连成为异常的资格都没有。

迪昂—蒯因论题从另一侧堵死了同一条路。一个假说从来不是单独面对经验的，它总是与一整套辅助假设、仪器理论、背景知识捆在一起接受检验；因此当预测落空时，逻辑上你永远可以修改捆里的任何一件来保住核心。这条论题通常被用来说明证伪的不彻底。但把它反过来读，得到的是本文要的那一条：既然整个网可以通过内部调整来吸收几乎任何冲击，那么"网内部一致"这件事，就不携带任何关于"网是否漏掉了什么"的信息。 这与第三节说的"平账是一种沉默"是同一件事的两种说法，一种在会计上，一种在认识论上。

库恩的位置最需要说清楚，因为最容易被误认。

常规科学在库恩那里是解谜：范式给定了什么算问题、什么算答案、什么算做得好，科学家在这个框架内把格子一个个填满。用本文的话说，常规科学就是在既有账本上填栏——这是极有成效的工作，绝大多数科学成就属于这一类。而科学革命是换账本：新范式带来新的问题清单、新的合格标准，旧账本上的一些栏被作废，一些新栏出现。

本文说的既不是填栏，也不是换账本，是第三种情形：不换账本，而指出账本之外有一样东西在起作用，并且——这是关键——说明为什么它注定不会被换进任何一本账。

这第三种情形在库恩的框架里没有位置，原因很具体：库恩的反常（anomaly）是范式内部可识别的失败——它之所以能积累、能引发危机、能推动革命，正因为它以"该范式自己的标准判定它做错了"的形式出现。反常是账本内部的红字。而本文的对象不产生红字。它不构成反常，因此不参与危机的积累，因此按库恩的机制，它永远不会引发革命。一个范式可以带着它运行几十年、崩掉、被取代，而新范式照样带着它——因为交接的是问题清单，而它从来不在任何一份问题清单上。

这给出一条本文愿意接受检验的推论：

凡是能引发范式危机的问题，都是账本内的问题。因此一部只按危机—革命来写的科学史，会系统性地漏掉那一类从不引发危机的东西——而按第四节，那正是承重最多的一类。

拉卡托斯的研究纲领稍好一点：他的"保护带"承认了一大批不接受直接检验的辅助假设。但保护带里的东西仍然是被明确持有的命题，它们写得出来、辩护得动、必要时可以被牺牲。本文的对象连成为保护带成员的资格都没有——它不是一条被保护的命题，它不是一条命题。

至于波普尔，本文对他没有异议，只有一句补充：证伪要求主张有可被否定的内容，而一样连字段都没有的东西，无法被写成一条可否定的主张。这不是波普尔的漏洞，是他的判据的适用条件被触到了边界。第十七节那三条出路，做的正是把这类东西勉强推到那条边界之内的工作——推得并不干净，本文已经如实写了。

于是问题变成：如果一个账本原理上看不见自己的缺栏，那缺栏究竟怎么可能被看见？

答案在下一节，而它是本文关于方法的全部内容。

六、三家不能互译之处：缺栏如何以翻译失败的形式现身

一个账本看不见自己的缺栏。两个账本呢？

两个不够。两个账本对同一件事给出不同的说法时，最自然的处置是判谁对——而"判谁对"是一个可以在两套字段之内完成的动作：找一个共同的上位标准，把两边折算过去，看哪边合规。折算成功，分歧消解；折算失败，通常被归为"其中一方定义不严谨"。无论哪一种，都不会产生指向账外的东西。

三个才够，而且是有条件的三个：三家必须对同一个对象给出互不相容的判断，并且它们的失败定义互相翻译不过去。

这个条件值得说清楚。"失败定义"是指：在这一家的行当里，什么叫做错了。消防说"烧穿"算失败；海洋学说"收支不闭合"算失败；符号学说"意指落空"算失败；辐射防护说"超剂量"算失败；书法说"不成字、俗"算失败。这些失败定义之间没有任何一句共同的话说得下来——你没办法用"收支平了"去说服符号学，也没办法用"不成字"去说服消防。

把这样的三家放在同一个对象前面，会出现一种特殊的东西：一份三家都判不了、又都承认它在那儿的剩余。

这就是关键。缺栏在单一账本里不显形；但在三本互不能译的账并置时，它以翻译失败的形式显形——不是以错误的形式，是以"这一块我们三个都说不上话，而它显然在起作用"的形式。

为什么必须是"互不能译"而不只是"不同意"？因为如果三家的失败定义之间存在一个折算率，那么它们的分歧就是可结算的，而可结算的分歧最终会落回某一家的字段里。只有当折算率不存在时，那份剩余才没有地方可去，才只能被认作账外之物。

这里有一条容易被忽略的纪律：推翻共有前提的那件材料，必须来自三家之一自己。 从三家之外搬一个理由来说"你们都错了"，得到的只是第四家的立场——三家可以各自退回自己的阵地，因为那个理由不是他们的。而用三家中某一家自己早已承认、已经发表、只是从没往这个方向用过的事实去推翻，他们退不回去。

这条纪律的深层理由在于：账外之物不能被从外面指认，只能被从里面逼出来。 从外面指认得到的是又一个字段（第四家的字段），而从里面逼出来的才是那一家自己的账本承认自己接不住的地方。

三家共同假定而从不说出口的那一条，通常长成这个样子："凡是这一类东西，都是可以被裁定/被放置/被计量的。" 三家争的是"由谁裁、放哪儿、算多少"，而它们共同站着的是"它是那种可以被裁、可以被放、可以被算的东西"。这一条不会引起任何争论，因为它不是任何一家的立场，是三家赖以有立场的那块地。

推翻它，剩下的那样东西就是无字段者。

七、空位的三型

到上一节为止，"账外之物"还是一个笼统的说法。这一节要把它分开，因为不分开会有一个严重的后果——本文第五编会说明那个后果已经发生了。

按"空的到底是什么"，至少有三型，而且它们的判定形式、发现路径、可测量性都不同。

第一型：无字段者。空缺在账本上。

东西在，栏没有。判据句：有一样 ____，在三家的账本里都没有它的字段。 前面几节讲的全是这一型。它的产物是一样没有本体地位的东西——不是记录得少，是压根不算一样东西。落选的候选物、被筛掉的方案、"这一轮本该有人动而没人动"，都属此类。删掉这个读数，它不是变得难测，是不存在。

第二型：不可重走的那一段。空缺在路径上。

栏是有的，对象也在，但从它到它的那条路只能走一次——而所有相关的记法都默认它可以重走。判据句：有一条 ____，走过一次之后就走不了第二次，而三家的记法默认它可重走。

这一型与第一型的差别是实质性的。第一型说"没有记"，第二型说"记了，而且记法本身预设了一件不成立的事"。一个组织记录"我们做过 X"，这条记录预设了 X 是可以再做一遍的；而如果 X 是那种做完就把它自己的前提用掉了的事，那么这条记录在语法上完好、在语义上是假的。第二次走的不是同一条路，而账本上是同一行。

这一型的读数不是覆盖率，是次序或时刻：哪一段是不可逆的、第一次发生在什么时候、走不通时停在第几步。

第三型：计入即毁者。空缺在条件场里。

栏在，路也在，而那样撑着整件事的东西一旦被写下来就不再起作用。判据句：有一样 ____，它在场那件事才成立，而把它写进账的那一刻它就不再起作用。

第二节那个"互助次数"的例子，正是这一型。第三型与第一型的差别在于：第一型的东西是可以被写下来的，只是没人写；第三型的东西写下来就作废。所以第一型的处方是"设一栏"，第三型的处方不可能是设一栏——这一点后面还要展开。

三型的分界，可以压成一句话记死：

第一型的空缺在账本上（东西在，栏没有）；第二型的空缺在路径上（栏在，而路只有一次）；第三型的空缺在条件场里（栏在、路也在，而那样撑着它的东西一被写下来就没了）。

为什么要费这个事分三型？因为三型对应三种完全不同的提问方式，而只认第一型的人，会把第二型和第三型都错读成第一型——读成"这个也没记"，然后开出同一张处方："那就记上"。对第二型，这张处方产出一条语义为假的记录；对第三型，这张处方直接毁掉被记的东西。

而这正是本文第五编要处理的事故。

一个判断的价值，不在它说了什么，在它与最像它的那几个说法差在哪里。本编逐条处理七位最近的前人。凡是划不清的，本文就得让步；有两处确实让了。

划界的规矩是：每一条必须给出判定形式——一句话说清，拿什么去分辨"这是他的情形"还是"这是本文的情形"。写"更深入""更根本""视角不同"的，一律不算划界，那等于承认被覆盖。

八、潜功能不是无字段者（默顿）

最近的一位是默顿。他的潜功能（latent function）说的正是：一项制度安排除了它公开宣称的功能之外，还有一些实际在起作用而参与者并不认识的后果；而这些后果往往才是该安排得以延续的真正原因。霍皮人的求雨舞不下雨，但它维系群体认同——认同就是潜功能。

这与本文极近。近到如果不划清，本文这一整篇可以被一句话吸收掉："这不就是潜功能吗？"

分界在"谁不知道"上。

潜功能的定义里，不知道的是参与者：他们看不出自己在做什么。观察者可以看出来——事实上功能主义社会学的全部工作就是由观察者把潜功能翻译成显功能。潜功能是一种认识状态，因而它可以被认识所改变：一个足够聪明的观察者写出来，它就从潜的变成显的，而那件事本身照旧进行。 默顿从没主张写出来会让求雨舞失效。

本文的无字段者不是认识状态，是记录制度的结构。参与者知不知道无关紧要；关键是那套制度里没有可以容纳它的位置。而第三型更进一步：写出来它就不再起作用——这正是默顿明确不主张的那一条。

判定形式：把它写进正式记录，那件事还照旧进行吗？ 照旧 → 默顿的潜功能（认识问题，可由观察者补上）。 不照旧 → 本文的第三型（结构问题，补不上，因为补它就改了它）。

顺带一提：默顿自己给过一个非常接近本文的东西，但他没往这个方向用——"意料之外的后果"那篇文章里，他列举的原因之一是"当下的兴趣压过了对后果的考虑"。这句话的含义是：不是没看见，是制度性地没有位置去看。他没有把它发展下去，因为他的问题是解释社会行动，不是解释记录制度。这是本文该向他致谢也该与他分开的地方。

九、默会知识不是无字段者（波兰尼）

第二位是波兰尼。"我们知道的比我们能说出来的多"——默会知识（tacit knowledge）几乎是所有"重要而不在账上"的讨论的祖宗。

分界在障碍的位置上。

默会知识的障碍在表达：那件事你会做，但你说不清怎么做。骑车、辨面孔、判断一份材料"不对劲"。障碍是个人能力的，因而它有一系列已被反复验证的绕道办法：师徒制、示范、共同劳动、大量的例子。整个手艺传承史就是绕过表达障碍的历史。默会知识是可传递的，只是不能通过命题传递。

本文的无字段者的障碍不在表达，在制度：那件事完全可以说清楚——"这个位置上有没有人"是一句极清楚的话——但没有任何一份现行的表格有这一行。它不是说不出，是没地方写。

两者的关系是交叉而非包含：有默会而有字段的（一位老师傅的手感，被写进了工艺评级），有可言说而无字段的（本文的主要对象），也有既默会又无字段的（最难的一类）。

判定形式：这件事能不能用一句不含程度词的话说清楚？ 说不清楚 → 波兰尼的默会知识。 说得很清楚，而所有现行表格里都没有这一行 → 本文的无字段者。

赖尔的 knowing-how / knowing-that 之分同理，不再单列。

十、"其他"那一栏不是无栏（鲍克与斯塔）

第三位是鲍克与斯塔。《分类与后果》讲的正是分类系统如何决定什么能被看见，以及剩余范畴（residual categories）——每个分类表末尾那个"其他""未特指""NOS"——如何成为被塞进去的一切的坟场。

这一位最难分，因为她们讲的就是记录制度本身，不是认识状态。

分界在"其他"是不是一栏上。

剩余范畴是账本上有的一栏。它有名字、有编码、有计数，会出现在统计输出里。它的病是把异质的东西混成一格、把不该合并的合并了；但它是可见的——你打开任何一份用了 ICD 的统计，都能看到"其他"这一栏占了多少，而这个占比本身就是一个警报器：它偏高，就说明分类表跟不上现实了。

本文说的是连"其他"都没有的那一类。它不落进任何一格，包括不落进"其他"格。因为落进"其他"至少要求它被识别为"一件需要归类的事"，而无字段者连这个身份都没有——它不是一件被归错了类的事，它不是一件事。

这里有一个可以实测的签名，本文做过一次：在五百五十四个具名类别的定义链里，几乎没有人写"什么都算"这种兜底项；而有近一半的类别，追到本地边界就停住，指向别处，且不带定位信息。 也就是说：真实的记录制度里，缺口不以"其他"的形式出现，以转指的形式出现——每一处都指着别处，而没有任何一处记它在哪儿。

判定形式：这件事会不会被计入"其他"？ 会 → 鲍克与斯塔的剩余范畴（可见的粗糙，占比本身是警报）。 不会，连"其他"都进不去 → 本文的无字段者（不可见的缺席，无警报）。

同一位作者的"不可见的劳动"（invisible work）更近一步，它讲的是那些维持系统运转而不出现在任何工作描述里的活。本文接受这一处大部分重合，让步如下：在第一型（无字段者）这一档上，本文没有超出斯塔太多，本文的新增只在第二型与第三型。 这是本文该认的账。

十一、外部性可以内部化，而它不能（庇古以下）

第四位是经济学的外部性。庇古以下这一整条线讲的就是"起作用而不进价格"：工厂排污影响下游，而排污不在成本表上。

分界在内部化的可能性上，而这一处是全篇最锋利的一条。

外部性理论的全部力量，来自它对处方的信心：外部性之所以是一个问题，正因为它原则上可以被内部化。 庇古税、科斯谈判、排放权交易——三套处方都在做同一件事：给那个原本没有价格的东西一个价格，把它请进账本。而请进来之后，它就是一项普通的成本，接受与其他成本一样的优化。整个环境经济学是这条路的成功史。

本文的第三型，恰恰是内部化即毁的那一类。 给它定价，它就不再是它。这不是内部化做得不够好，是内部化这个动作与被内部化的对象不相容。

这一条给出了一个可以直接检验的分类判据，也是本文最愿意被拿去证伪的一条：

拿一样"起作用而不在账上"的东西，为它设一栏，运行足够长的时间。若它的量上升而它的作用不降，它是外部性；若它的量上升而它的作用同步下降，它是第三型。

注意这条判据的严厉：它要求分开测"量"与"作用"，而这两者通常是同一个数。能分开的场合不多，但确实存在——凡是有独立后果指标的领域都可以做：安全报告数与事故率、互助记录数与实际救援时间、代码评审条数与缺陷逃逸率。这条判据本文尚未跑通，如实记在这里。

十二、可读性使人失败，而无字段使人有力（斯科特的反转）

第五位是斯科特。《国家的视角》讲的是：现代国家为了治理，必须把复杂的地方现实简化成可清点的形式——地籍、姓氏、标准度量、单一树种的森林；而这种可读性（legibility）的代价是摧毁了那些不可清点的地方知识（metis），并因此导致了二十世纪最大的一批治理灾难。

这一位与本文共享全部前提，而结论相反——所以分界不在事实上，在方向上。

斯科特的判断：看不见导致失败。 国家看不见 metis，于是它的规划失败。他的处方隐含在批评里：多看见一点，别那么急着标准化，给地方知识留出空间。

本文的判断：看不见恰恰是它能起作用的条件。 那些东西不是"不幸没被看见"，是"被看见就不成立"。按本文，斯科特的处方在第三型上会加速灾难而不是缓解它——"给地方知识留出空间"如果落实为"承认地方知识、把它纳入规划体系"，那就是又一次内部化，而按第十一节，内部化即毁。

这个分歧可以说得更准。斯科特的 metis 大部分是默会的（第九节那一档）——它说不出来，因此国家看不见。这一档他是对的，而处方也确实可行：师傅带徒弟，别拆散共同体。但他的材料里混着另一档：那些完全说得出来、而一旦纳入正式体系就立刻变质的东西。这一档他没有单独处理，于是他的处方在这一档上会失手。

判定形式：把它请进正式体系，它会怎么样？ 被简化、被削平，但核心还在，只是变粗了 → 斯科特的 metis（可读性的代价，是损耗）。 被完整地保留下来，而作用消失了 → 本文的第三型（不是损耗，是失效）。

第二种情形有一个刺眼的签名：所有形式审查都通过。 没有一条规则被违反，没有一项要求没落实，文档齐全，流程闭合——而那件事不再发生了。

十三、循环效应：计入即毁的最强近邻（哈金）

第六位是哈金，也是本文第三型的最强对手。

循环效应（looping effect）说的是：人的分类与被分类的人之间存在双向作用。给一群人一个名字——"多重人格""高功能自闭""天才儿童"——被这样命名的人会依据这个名字重新理解自己、调整行为，于是这个类别所指的那种人发生了改变，于是分类又要跟着改。分类与对象互相追逐，这在人的科学里是常态，在自然科学里没有对应（钾不会因为被叫作钾而改变）。

这一位与第三型几乎是同一件事，本文必须让步，而且让得不小。

让步的内容：第三型在"人的分类"这个领域内，是循环效应的一个特例，本文在这一域内没有新东西。

保留下来的分界有两处。

第一处，作用方向。 循环效应描述的是双向漂移：类别改变人，人改变类别，两者互相追逐、共同演化，长期看是一段互相牵扯的历史。而第三型描述的是单向失效：写下来那一刻它就不再起作用，没有互相追逐的过程，也没有"新的它"接替"旧的它"。互助被记录之后，不是变成了另一种互助，是不再有互助，只有互助记录。哈金的循环里两端都还活着；第三型里一端死了。

第二处，适用域。 循环效应明确限定在"人的种类"（human kinds）上，哈金本人反复强调自然种类没有这个性质。而本文的第三型在非人的场合也成立——一份技术流程里那个"没人要求做的对照"，一套算法系统里那个"没有触发条件的复原步骤"，都不涉及任何人对自己的重新理解，它们失效的原因纯粹是：被记录之后，做它的理由变成了"因为要记录"，而原来的理由（因为它需要被做）在记录制度里没有位置。

判定形式：写下来之后，是出现了一个新的它，还是只剩下记录？ 出现了一个新的它，且两端继续互动 → 哈金的循环效应。 只剩下记录，那件事不再发生 → 本文的第三型。

这一处必须承认：上面这个判定形式在很多真实场合是分不开的，因为"只剩下记录"与"变成了一种很差的新形态"在观测上难以区分。本文在这里是脆的，如实写下。

十四、表外项目：一部关于"不在账上"的制度史

第七位不是一个人，是会计学自己。

表外项目（off-balance-sheet）是一段现成的、被反复检验过的制度史：一笔真实的义务，由于会计准则的确认条件不满足，不出现在资产负债表上；它在起作用，规模可能极大，而报表是干净的。经营租赁、特殊目的实体、某些衍生合约，都属此类。二〇〇一年之后的一系列准则修订，正是在把这些东西往表内赶。

这一段史对本文有三个用处，每一个都是硬的。

第一，它证明本文的对象不是玄学。 表外项目完全可清点、可举证、有法律定义，而且它确实以本文说的方式起过作用：某些机构在所有偿付能力指标上都合格的同时倒掉了，事后追查发现真正的承重在表外。账平不意味着账全，这句话在会计史上是有尸体作证的。

第二，它给出了一条"确认"的实际机制。 会计上一样东西进不进表，取决于三条：能不能可靠计量、控制权归谁、未来经济利益的流入是否很可能。注意第一条：可靠计量是确认的前提，不是后果。 于是有一个循环——不可靠计量的东西不进表，而不进表的东西没有人有动机去发展它的计量方法。这个循环是自我维持的，且它不是任何人的失职，是准则本身的结构。

第三，也是最重要的一条：它给出了一次失败的内部化的实例。 准则修订把大量表外项目赶进了表内，这件事整体是成功的——但过程中发生了本文第十一节说的那件事：某些项目在被确认之后，其功能被重新设计以规避新的确认条件，于是产生了新一代的表外安排。内部化没有消灭表外，它把表外推进了下一层。

这一处对本文既是支持也是限制。支持在于它坐实了机制；限制在于它说明第一型（无字段者）大体上是可以被内部化的——只是每内部化一次会生出新的一层。真正内部化不了的只有第三型。

于是第三编的结算是这样的：

三处让步，两处反向，三处保留。本文真正剩下的新东西只有两样：第二型（不可重走的那一段），以及三型的分法本身——即"没有"不是一种，而是三种，且它们的处方互相有毒。

前三编说的是"世界上有这么一类东西"。这一编说的是另一件事：把寻找这类东西当作方法。

两件事必须分开。前者是一个关于世界的判断，可以对也可以错；后者是一条产线的准入规则，它的评价标准不是真假，是产出。而本文第五编将要说明：后者会腐蚀前者——这是全篇最要紧的一处，但要先把策略本身讲清楚。

十五、三句改题式如何工作

一道题问得好不好，在开工之前就定了，而且事后补不回来。

大多数题目问的是账本上已有的一栏："X 是什么""X 的本质是什么"。这类题问得再认真，答出来的也只能是那一栏的一种新算法——更精确的定义、更细的分类、更好的测量。这是有价值的工作，但它的上限是被题目本身封死的：你在一张现成的表里，不可能问出这张表缺哪一列。

改题的做法，是把题目的落点从一样已有的东西，挪到一个空位上。按第七节的三型，各有三句：

挪向第一型（无字段者）： 1. 「X 是什么」→「X 发生之前，先空着的是什么？」 2. 「X 是什么」→「X 被算进去的时候，什么没有被算？」 3. 「A 与 B」→「A 交给 B 之后，那一拍由谁接？」

挪向第二型（不可重走的那一段）： 4. 「X 是什么」→「X 这条路，哪一段走过就回不去了，而所有人都按它可以重走在记？」 5. 「X 怎么发生」→「同一条路第二次走，走的还是不是同一条？差在哪一步？」 6. 「A 与 B」→「从 A 到 B 那一次，用掉的是什么？」

挪向第三型（计入即毁者）： 7. 「X 是什么」→「X 成立需要什么在场，而那样东西一旦被写下来就不再起作用？」 8. 「X 为什么稳」→「维持 X 的那一样，为什么不能被 X 自己认出来？」 9. 「A 与 B」→「A 与 B 之间那样谁都不能点名、点名就作废的东西是什么？」

九句在做同一件事的三种做法。它们的共同点是把"是什么"换成了"什么不在"——而后者有一个前者没有的性质：它的答案不可能已经在账本上，因为如果在，它就不是答案。

这里必须立即插一条纪律，否则这九句会被滥用：

空位不等于稀奇。 判据是三句判据句之一填得进，不是"没人研究过"。一个冷门对象仍然是对象——把一个没人研究的东西找出来研究，那是补白，不是本文说的事。一个人人天天遇到、却从不记账的时段，才是空位。冷门是糖，无字段才是骨。

这条纪律排除掉了大部分伪装成创新的工作。找到一个别人没写过的题目很容易；找到一样别人天天在用而无处可写的东西，很难。

十六、真跑：一条不能只是纸面的证伪

策略的第二件是证伪，而证伪有两档，只有第二档算数。

第一档是纸面证伪：写下"如果观察到 P，本文即被推翻"，然后交稿。这一档的问题不在诚意，在它不产生任何后果——写下一个从未被执行的条件，与没写的差别，只在读者的观感上。

第二档是真跑：拿真实的、公开的、可复算的数据，把最便宜的那条证伪条款实际跑一遍，并且把不利结果写进正文。

真跑的价值不在于它证明了什么，恰恰在于它常常什么也没证明，甚至证明了相反的东西。本文这一周的材料里，真跑的实际效果几乎全部是削弱：

- 一批四条预注册假设全部判负，作者据此改掉了核心读数的形式，并在正文写下"四条全负是本文最值钱的一次结果"； - 一篇原本要主张"这一栏在实务里普遍不存在"，真跑当场推翻——在有明文规范、有专门字段的地方，这一栏不但存在，而且填得很满，空值率百分之三； - 一篇的假设方向与设想相反，作者据此砍掉了半条处方，并承认"不再声称存在一个不付出产出代价的办法"； - 一篇自陈"本文的核心读数与代价走向，这次真跑一条也没测到——只测到了它的一个必要条件"。

这些都是坏消息，而它们是这批工作里最值钱的部分。理由很直接：一条没有被数据顶过的判断，与一条被数据顶过并因此改小了的判断，不是同一种东西。 前者的边界是作者划的，后者的边界是世界划的。

真跑还有一个更实际的功能：它是唯一能在选源阶段就被预定的东西。三家取源如果全是解释型的学科，成文时无处取数，这件事在选源那一刻就已经定了，事后再有诚意也补不上。所以选源时必须问一句：三家里有没有一家能落到一个数得出来的单位上？没有，就换掉一家，或者当场写明本次放弃真跑。

实测的落差是可观的：同一批、同一题域的十七篇里，有真跑与无真跑的均值差近六分；同一作者同一题域的两批，从封闭语料换成开放语料，均值升了近三分。

十七、可测量性悖论：如何测量一样"记上就变"的东西

第三型带着一个看起来致命的困难：如果它记上就变，那怎么可能有任何关于它的证据？一条不能被测量的主张，凭什么算数？

这个诘难是对的，而且它是第三型必须自己回答的问题。有三条出路，都不完美，但都可执行。

出路一：测它的影子，不测它。

不测那样东西本身，测它不在时留下的形状。互助测不了，但可以测"从卡住到有人接手的时长分布"——注意这不是互助的代理指标，而是互助缺席时会变形的另一个量。这条路的纪律是：必须事先写明这个量在被优化时会怎样，否则它会变成新的第三型受害者。

出路二：测转折，不测水平。

不去问"现在有多少"，去问"在设立那一栏的前后，有没有出现方向相反的变化"。第十一节那条判据就是这条路：量上升而作用下降。它要求一个自然实验——某个机构在某个时点设了一栏，而另一个可比机构没有设。这类实验在制度史里并不罕见，只是从没有人按这个方向去读它。

出路三：测不可读性本身。

这条最反常识，也最干净：把"这一栏读不出来"作为一个正式的读数记下来，并且严格区分它的两种来路——是没有通道（原理上无法记），还是有通道而无使用记录（可以记而没人记）。这两者混在一起记，等于什么也没记；分开记，就得到了一个关于账本自身的读数。

本文这一周的材料里，有一篇把这条做到了可复算的程度：它规定某个计数的取值域是自然数并另设一个无穷值，而这个无穷值专指一件确定的事——在现有制度里不存在任何会去读它的程序——并且明令这个值不得与"数值很大"合并编码。

这一条规定看似琐碎，实际上是第三型可测量性问题的一个真解：你测不了那样东西，但你可以精确地测"没有任何程序会去读它"这件事，而这件事是可清点的。

三条出路都有同一个前提：必须承认自己测的不是那样东西本身，并把这一点写进正文，而不是藏在附录里。 一篇声称测到了第三型的稿子，如果没有这一段自陈，它多半是把第三型误当成第一型处理了。

十八、创新策略的一般形状

把上面几节抽出来，这条策略的形状是这样的：

1. 先判题：这道题问的是一个空位，还是账本上已有的一栏？后者改题，改不了就明写"本次做的是操作化"。 2. 判空位的型：第一型、第二型还是第三型？三型的处方互相有毒，判错型比不判更糟。 3. 取三家：三家必须对同一件事给出互不相容的判断，且失败定义互相翻译不过去；其中至少一家能落到可清点的对象上。 4. 找共有前提：三家争的是归属/路径/计量，而它们共同假定的是"它是那种可以有归属/可以重走/可以被计入的东西"。 5. 用三家之一自己的材料推翻它——不许从外面搬理由。 6. 真跑一条，把不利结果写进正文。 7. 划界：与最近的六到十位逐条分开，每一条给出判定形式。 8. 自反：用本文自己的判据检本文自己，并说出后果。

第八条不是礼节。它是这条策略唯一的安全阀，而下一编要说明为什么它此刻正在失效。

十九、一条策略被制度化的那一刻

前四编写完，本文本该收尾了。按常规，收尾处应当是一段关于前景的话：这条策略如何有效，还能用在哪些地方。

但本文自己的第八条纪律要求自反——用本文的判据检本文自己。做了之后，发现了一件不能不写的事。

事情是这样的。这条策略在实际使用中被写成了一道准入判据：开工之前先判题，判据句只有一句——

有一个 ____，三家的账本里都没有它的字段。

填得进，放行；填不进，改题。这道判据装上去之后，产出质量确实上去了：单篇的下限抬高了，那些"问了一道账本上已有的题、然后答得很勤奋"的稿子被拦在了门外。

三周之后，出现了第一节那份普查的结果：四十七篇，五个互不相干的题域，四十六篇的摘要落在同一族词汇上。

这不是巧合，是这道判据的直接产物。因为那句判据句只写了第一型。填得进它的题，产出必然是一个无字段者；填不进的，被改题——而改题的三个句式（先空着的是什么、什么没有被算、那一拍由谁接）也全部指向第一型。于是每一篇都过闸，而全部产出落在同一个形状上。

用本文自己的话说：这道闸把"账上没有这一栏"这条判断，给了一个字段。

而按第七节，一样东西被给了字段之后会发生什么？它进入优化：被作为目标追求，被作为筹码交换，被消费到边界上。这条判断也不例外。它被追到饱和——每一篇都去找无字段者，直到无字段者本身成了最容易找的东西；它成了筹码——一个稿子只要长成这个形状就容易过闸，于是形状先于内容被生产出来。

一条关于"记上就变"的判断，被记上了，然后变了。

这不是一个巧妙的修辞。它是第三型在方法论上的一次实例，而且是可验证的实例：这条判断在被制度化之前，是从材料里逼出来的；被制度化之后，是从判据里填出来的。两者在成品上完全一样——同样的形状、同样的可清点读数、同样的划界表——而它们不是同一样东西。

第十二节讲斯科特时，本文给过一个签名：内部化失效的情形有一个刺眼的标志——所有形式审查都通过。这个签名在这里完整地兑现了：这条产线的每一项当期指标都是好看的。工序跑满，闸门逐条过，真跑做了，不利结果写进了正文，划界给了十位并各有判定形式。每一篇单独看都是合格的，而全批只有一个想法。

二十、实测：闸门装上去三周之后

上面这段话如果只是自省，价值有限。所以本文对它做了一次真跑。

方法：把站上已发表的全部长文（两千六百余篇）加上尚未发表的三批（六十五篇），逐篇取它的承重构念名与副标题，按第七节的三型判一遍。判型只用"构念名＋副标题"这一层，不用全文——因为全文层不具判别力：任何两万字的稿子里，"账、记、悬、在场"这类字必然出现，实测对两个对照组都给出接近百分之百，等于没判。

结果：

在三型之内，第一型占 94.2%。而那两条第三型的命中，人工核过之后，一条是误判，一条关键词为空——实际为零。

第二项读数更刺眼。本文这套方法从很早就规定共有前提有两层——三家共同假定的那一层，和整个学术领域共同站着的那一层，两层都要过。实测：

两千七百零九篇里，两千六百七十一篇（98.6%）根本没有写出第二层。 而写出来的那三十八篇，百分之百是同一条——"凡是一样东西，都有人持有、都有人记账"。

第三项读数是一处必须公开的更正。本文起初的判断是"全站的母题只有一个"。按上表，这一条在全站尺度上不成立：第一型在全部文章里只占 29.2%。那个印象来自一个有偏的样本——我最近评过的批次，恰恰全是这一版产线的产出。真实的分布是：

所以这不是二十年沉淀出的学派风格，是一道闸门在三周内造出来的东西，而且还在加速。

这个更正让诊断变得更严重而不是更轻。一个历史积累的偏好可以慢慢调整；一个刚装上去的判据在几周内把产出收敛到一点，说明这条策略的收敛速度远快于任何人的自省速度。等到有人从成品上看出问题，已经过去几十篇了。

二十一、策略的半衰期，与一条自减条款

于是有了本文最后一个概念，也是唯一一个从本文自身的失败里长出来的：

一条创新策略的价值，不在它能产出多少，在它多久之后开始产出同一个东西。

把这个时间叫作策略的半衰期。它可以被定义得相当精确：从这条策略被写成准入判据那一天算起，到该产线任意连续三件产出的承重判断剥到形式层后同形的那一天为止。

本文这条策略的半衰期，按上面的实测，不足三周。

半衰期短不等于策略坏。一条好策略之所以半衰期短，恰恰因为它好用——好用的策略会被反复用，而反复用就是收敛。真正的问题不在收敛，在收敛是不自知的：每一篇都以为自己找到了新东西，因为每一篇单独看确实都找到了。

因此处方不是废掉这条策略。"账上没有这一栏，然后却真实发生了，而且影响巨大"——这是一条好绳子，一个探究传统本该有一条主绳。处方有三条，都是让它申报而不是让它消失：

第一条，申报取型。 每一件产出必须写明自己取的是第一型、第二型还是第三型。不写的，按第一型计——因为不写时默认就会滑向它。取第一型的，额外写一句：把同一道题改成第二型或第三型来问，会问成什么样。写不出这一句，说明取第一型不是选择，是滑落。

第二条，轮换。 同一条产线连续三件不许取同一型。这条纪律比"不许用同一副结构骨架"更靠上游，也更贵——换学科、换骨架、换题域都救不了它，因为它管的不是"读起来像"，是想出来的方式只有一种。

第三条，也是唯一真正有效的一条：给这条策略本身写一个自减条款。

本文这条策略，在下述情形下自动作废：若某条产线连续十件产出的承重判断，剥到形式层后落在同一型，且无一件在正文里申报过取型，则该产线此后按"填模板"处理，本文这条策略在该产线上不再具有方法论地位。

这一条不是谦辞。它是本文第三型的自我应用：这条策略只在它还没有被完全内部化的时候起作用；一旦它被完整地写进准入判据、每一步都可核对、每一件都合规，它就已经不是它了。

而按第十二节那个签名，那时候会发生的事，是所有形式审查都通过。

结 · 我们自己的账上没有的那一栏

最后回到第五节那个死胡同：一个账本原理上看不见自己的缺栏。

本文这一周做的全部工作——三型的分法、九句改题式、真跑纪律、划界表、那三张统计表——都是在给这条产线自己造账本。造得越细，可核对的越多：取的哪一型有一栏，第二层前提写没写有一栏，构念名落在哪一族有一栏。

按第五节，这件事必然有一个后果：这本新账，也有它自己看不见的那一栏。

它是什么，本文答不出来。能做的只有两件事，都不体面但都诚实。

第一件，把已经知道的洞写下来。本文对三位前人的让步是真让步：在第一型这一档上，本文没有超出斯塔的"不可见的劳动"太多；在第三型这一档上，本文与哈金的循环效应大幅重合，而分开两者的那个判定形式在很多真实场合分不开。本文真正剩下的新东西只有两样：第二型，以及三型的分法本身。这比开篇看上去的要少得多。

第二件，把测不出来的地方标成测不出来，而不是留空。第十七节那条规定——那个专指"不存在任何会去读它的程序"的无穷值，且不得与"数值很大"合并编码——是本文最愿意留下的一条技术遗产。它不解决问题，它只是拒绝让一个读不出来的地方看起来像一个读出来了的地方。

这两件事合起来，是本文能给出的全部方法论保证。它不保证下一批产出更好，只保证当它们开始变成同一样东西时，有一张表会先说出来。

至于那一栏究竟是什么——按定义，只能等到有另外三家互不能译的账本被并置在这条产线面前，那时它才会以翻译失败的形式现身。本文写下这一句，是为了那一天到来时，这一段能被引用为一次事先的承认，而不是一次事后的补救。

账上没有这一栏，然后却真实发生了，而且影响巨大。 这句话最要紧的地方，从来不在前半句，在后半句的那个"然后"——它意味着有一段时间，事情已经在发生，而没有任何记录承认它在发生。一切关于制度的严肃思考，都是关于那段时间的。

附录 · 四个解剖

上文的原理全部从一周之内的实际工作里抽出来。为免抽象，这里把四件产出摊开，各自属于不同的型，并各自给出它的判定形式与它的短板。四件分属四个不相干的题域，彼此无引用关系。

解剖一 · 一次结平留下的东西（第一型）

题域：免疫学中的持续性自身攻击。 通行说法：要么消退程序失灵，要么识别系统认错了自己，要么刺激总量超过了承载上限。三种说法共用一个前提——一轮循环走完，这一轮就结清了。 承重判断：一次结平有两种做法，一种是处理，一种是移出；两种在账上都表现为"平"，而移出的那一份仍然存在，只是不再进入当期结算。持续性攻击不是失控，是历次移出的量在某一次深扰动里被一次性重新呈递。 它是第一型：那一份东西完全在，可以被指出来，只是没有任何一栏记它。 读数：自上一次重新读入至今，完整走过了几轮。取值域为自然数，另设一个无穷值专指"不存在任何会去读它的程序"，与"数值很大"分开编码。 判定形式：拿一份真实记录来，当期账被判为平的那一刻，那笔未处理量是被消化掉了，还是被挪到了当期结算范围之外？

它的真跑与它的失败：作者取了一个公开软件仓库的五千余个发行版做检验，预注册的主张是"结平方式这一栏在实务里普遍不存在"。真跑当场推翻了它——在有明文规范、有专门字段的地方，这一栏不但存在，而且填得很满，空值率百分之三。作者据此把主张缩窄：一旦移出成为一个有名字、有字段、要写理由的动作，它就不再是这里说的那种移出，而是一次有名有姓的例外。

短板：所有真跑材料都取自软件生态，与免疫学之间隔着一层代理，而这层代理的正当性只由作者自己在文中论证——这是一个本地闭合。作者自陈了这一点。

解剖二 · 分母由谁维护（第一型的一个变体）

题域：企业健康的读数。 通行说法：健康是若干比率的高低。 承重判断：一家企业的每一个健康读数，分母都由它自己维护。因此健康不是比率的高低，是分母的维护权归谁。 为什么它仍是第一型：账本上有分子、有分母、有比率，独独没有"这个分母是谁定的、上一次改动是什么时候"这一栏。 判定形式：把过去五年的同一个比率调出来，分母的口径改过几次？每次改动记在哪儿？ 它为什么值钱：这一条不需要任何新数据就能执行，而它一旦被执行，一大批"持续改善"的曲线会失去意义——不是因为数字造假，是因为改善的是分母。 短板：这一条与经济学里的指数编制问题、与教育测量里的常模更新问题高度重合，作者点了名但没有给出足够硬的分离线。

解剖三 · 停手之后还会往前走的那一段（第二型）

题域：生命系统的韧性。 通行说法：韧性是抵抗改变，或改变之后重新生成秩序。 承重判断：偏离与新秩序之间还有一段——停手之后，事情还会自己往前走一程；而账本在停手那一刻就合上了。 它是第二型而非第一型：这一段不是"没有被记"，而是记法本身预设了一件不成立的事——预设了停手即终止，因此"我们停手了"这条记录在语法上完好、在语义上是假的。 读数不是比率，是时刻与次序：停手在第几步、那一程走到哪儿才真的停、下一轮从哪一步接。 判定形式：把干预的结束时点与后果的稳定时点分开记两栏，两者之间隔了多久？现行记录里有没有第二栏？ 它为什么难：第二型的难处在于它要求同一条路被走两次并被比较，而多数场合只走得了一次。这也是全站第二型只有四十七篇的原因。

解剖四 · 两侧的账本都不认领它（第一型与第三型的边界案例）

题域：一套判定装置里被沿用的残余项。 承重判断：换掉一侧之后还在被沿用、而两侧的账本都不认领它的那一类条目。 为什么它在边界上：如果它只是"两边都没记"，它是第一型；但作者进一步主张，这类条目之所以能被沿用，正因为两边都不认领——一旦某一边正式认领它，它就要接受那一边的合规审查，而它通不过任何一边的审查。这就滑进了第三型：认领即失效。 判定形式：让任一侧正式把它写进自己的口径文件，它还留得下来吗？ 这个解剖的用处：它说明三型的分界在实际材料上不总是干净的，同一样东西可能按不同的追问落进不同的型。本文第七节那条"三型的处方互相有毒"因此要加一句限定：先判型，但允许一件产出声明自己在边界上，并同时给出两种判定形式。 只有一种情形不允许——不声明，然后默认按第一型处理。

四个解剖合起来说明的事很简单：这条策略产出的不是四个新概念，是同一条追问在四个位置上的四次执行。 它们的价值在于每一次都自带一句可以拿去问记录的话，而不在于名字起得多好。名字是糖，那句话才是骨。

本文的三张统计表（空位型表、地基表、形式句表）与生成它们的脚本可复算。第二十节所有读数取自 2026 年 8 月 22 日的全量扫描，样本为两千七百零九篇；判型口径、词表与已知的三处误判，随表一并公开。