生产率的账本记产出也记投入,却不记一样东西:做一件事的人不可能不同时得到的那些东西。写代码的人必然知道自己为什么这么写,做调研的人必然知道数据从哪儿来,画图的人必然改得动那张图——旧条件下这些不必被要求,因为要求它们是多余的。本文把这一类条件命名为必附:随主过程必然附带、因而从未被任何条款要求过、且只在断裂的那一刻显形一次的东西。承重命题:人工智能生产率不是任务速度的提高,不是穿过质量控制的合格产出速率,也不是穿过协作与市场验证后落账的价值增量,而是一次交付之后必附清单的断裂位置。岩石力学交出推翻的材料:原位应力只能用应力解除法测量,测的是解除瞬间的应变,一旦解除原位状态不复存在,同一块岩石不能被测第二次——存在一类条件,它在的时候不产生读数,走了也不产生读数,只在离开的那一瞬间显形一次。装置是一条四级台阶(为什么是这样/哪里是猜的/怎么改它/它对不对),读数是必附覆盖谱与末项倍数 s。十六份公开交付验收模板的预注册实测一利一弊:覆盖谱 (7, 4, 4, 53),s=3.53(严口径 4.82),“验收压倒性只检查最后一级”成立;而”理由最先无人过问”被推翻。另有四条预注册之外的条款:要求申报这件东西是不是生成工具做的。
关键词:必附;必附覆盖谱;末项倍数;应力解除;离体灌注;人工智能生产率
有一类东西,从来不必要求,因为做那件事的人不可能不同时得到它。
你不必要求写代码的人理解这段代码——写出来的人必然理解它,否则他写不出来。你不必要求做完调研的人知道数据从哪儿来——他必然知道,因为数据是他一条条取回来的。你不必要求画完图的人能改这张图——他必然能改,因为每一根线是他放上去的。你不必要求译完一章的人知道哪一句是他猜的——他必然知道,因为猜的时候他停顿过。
这些”不可能不”,构成了全部协作制度的免费地基。
而它们的共同特征是:它们从来没有出现在任何一份验收标准里。 这不是因为它们不重要,而是因为要求它们是多余的。一份合同不会写”乙方须理解自己交付的东西”,因为在旧条件下,这句话与”乙方须交付”是同一句话。
生成工具打破的正是这个”不可能不”。现在,做出它的人可以不理解它、不知道数据从哪儿来、改不动它、不知道哪一句是猜的。而这四件事一件也不会在验收里被发现,因为验收从来不检查它们——从来没有人需要写下它们。
于是有了本文的问题:当一件产出物按全部条款都合格,而做出它的人不再持有那些从前必然附带的东西时,账上会发生什么?
答案是:什么也不会发生。合格率不变,交付周期缩短,成本下降。账上什么也不会发生,正是这件事最要紧的性质。
本文要主张的是:这件事不是生产率的一个副作用,它就是”人工智能生产率”这个问题的答案所在的位置。
我把这个问题带到三个与人工智能毫无关系的地方。选它们的理由是:这三处各有一套用了几十年的、自成一体的账本,而三套账本的失败定义互相翻译不过去。一个是地下工程里的地应力测量,一个是设计学里的意图与使用,一个是生理学里的离体维持。三家对同一件事给出三个不能同时成立的答案,而在它们打架的地方,掉出来一样东西。
先说最硬的一家。
要在几百米深处开一条隧道,第一件要知道的事是:那里的岩石现在受着多大的力,力的方向朝哪儿。这个量决定支护怎么设计,决定挖到哪一步会垮,决定一个工程能不能做。它不是一个可有可无的参数,它是地下工程的第一输入。
麻烦在于,它测不了。
你可以把岩芯钻上来,做单轴抗压、做三轴、做声波、做密度,这些都测得很准。但你测不到它在地下受的那个力——因为岩芯一旦被钻出来,它就卸载了;你拿到手上的那块石头,身上已经没有那个力了。这不是仪器不够好,是取样这个动作本身销毁了要测的东西。深部取芯时常见的”岩芯饼化”,就是这个卸载过程留下的痕迹:石头在被取出来的路上,被自己身上原来的力掰断了。
岩石力学解决它的办法叫应力解除法。做法是:在孔底贴上应变计,然后把带着应变计的那一圈岩石套芯钻下来,让它脱离周围岩体。脱离的那一瞬间,原来压着它的力消失,岩石回弹,应变计记下这一次回弹。用回弹量和岩石的弹性参数,反算出原来的应力。
请把这个做法的形状看清楚:
这个量只能通过撤除它来测量,而且只能测一次。
同一块岩石不能被测第二次——因为第二次的时候,那个力已经不在了。你也不能事后回去补测——原位状态不复存在。这个量在被撤除的那一瞬间显形一次,此后既不在那块石头上,也不在任何一份记录上,除非当时恰好有人在测。
这一套的立场,压成一句:看这一块现在是什么状态就够了。整体性、稳定性、独立性——这块岩体是不是一个完整的、站得住的、能与周围分开的东西——岩石力学处理的正是这三样。
它的失败定义硬得能死人:垮塌、涌水。终止性也强:挖到那儿就知道了。
第二家离得很远。
一件东西被设计出来,设计者知道每一个决定的理由:这个按钮为什么放在右下角,这个默认值为什么是三十秒,这个流程为什么要分两步。这些理由在设计者脑子里是完整的、连贯的、有依据的。
而成品上什么也没有。用户看到的是一个按钮、一个数字、两个步骤。
设计学对这件事的处理,是它整个学科最要紧的一条纪律:你不是用户。设计者无法从成品推出用户会怎么用它,因为设计者带着理由去看它,而用户不带。于是设计学发展出可用性测试、出声思考、用户观察这一整套办法——它们全部是在补一件事:把设计者身上那份”我知道为什么”从他身上取下来,换成”没有那份知道的人会怎么样”。
更要紧的是设计学对自己的一个判断:好的设计,是让理由不必被说明的设计。 一个需要一本说明书才用得起来的东西,是设计失败。也就是说,设计学的成功标准,恰恰是把”知道理由”这件事的必要性消除掉。
这一套的立场压成一句:看它被怎么用、上手多快、卡在哪儿就够了。轨迹、速度、什么在拖住它——设计学看的正是这三样,而”卡在哪儿”就是它的粘度。
它的失败定义软得没法计量:用错、不用。它自己也承认这一点——两个资深设计师可以对同一个方案给出相反的判断而各自说得出道理,最后只能拿去测。这正是软账本的用处:它提供的是”数不出来而确实在起作用”的那一类判据的形式。
第三家管活的东西。
一个肾在身体里工作得好好的。把它取出来,放在台子上,它几分钟就不行了。
要让它继续工作,得给它:合适的温度、含氧的灌流液、合适的渗透压和电解质、合适的灌注压力与流量、清除代谢废物的通路、还有一批激素。这份清单不是从教科书上抄下来的,是一百年里一项一项撞出来的——每一次离体保存失败,都发现”原来这个也得给”。今天的机械灌注液配方,就是这份清单的现状。
请注意这份清单的性质:上面每一项,在体内都不需要被要求。 没有哪一份生理学的”肾脏工作条件表”会写”须提供三十七度”,因为在体内温度是白给的。这份清单只有在器官离体的那一刻才被发现,而且是一项一项、以失败的形式被发现的。
生理学对这件事的处理是它的核心:稳态不是某个器官的属性,是回路的属性。 一个指标正常,可能因为它被一整套调节回路维持着;把器官从回路里拿出来,指标不是慢慢变差,是塌。
这一套的立场压成一句:看它嵌在什么调节结构里、什么接着什么、按什么次序调就够了。连接、次序、结构——生理学处理的正是这三样。
它的失败定义硬得可以判死亡:失代偿。终止性也强:几小时到几天就知道了。
把三家摆在一起,冲突立刻出来。
岩石与设计的冲突:岩石力学说,那个决定性的量只在撤除的一瞬显形一次,此后不可复现;设计学说,把设计者身上那份知道取下来,是一件可以反复做、而且应当反复做的事——每一轮可用性测试都是一次取下来。若它可以反复取,那么”只显形一次”不成立;若它只显形一次,那么可用性测试测到的不是那个东西。
岩石与生理的冲突:岩石力学说,撤除之后原位状态不复存在,测得的读数是那一次撤除的记录;生理学说,撤除之后可以把条件一项一项补回去,补得够全,器官就继续工作——离体灌注就是这么做的。若能补回去,那么原位状态就不是不可复现的,它是一份可以被复现的清单。
设计与生理的冲突:设计学说,最好的办法是让理由不必被说明——把知道的必要性消除掉;生理学说,离体维持的全部技术进步,恰恰是把每一项条件显式地列出来并供给。一个主张消除必要性,一个主张逐项显式化,两条路相反。
三对全冲突,且不能靠判谁对来化解。它们不在同一个语域里作答:岩石答”这块现在受多大力”,设计答”没有理由的人会怎么用它”,生理答”要让它继续活着得给什么”。三个问题都不假,三个答案不能并存。
三家争的是同一件事:一件东西成立所需的条件,该由谁来裁、该在哪儿读、该算多少。
岩石说在它当下的状态里读,设计说在它被使用的过程里读,生理说在它所嵌的结构里读。而三家共同假定了一件谁也没有说出口的事:
一件东西成立所需的条件,是可以被读出来的——从它本身、从它的使用、或者从它所嵌的结构,三者之一。
把这句话念给三家听,三家都会说这还用说吗。岩石会说,当然,所以我发明了应力解除法;设计会说,当然,所以我做用户测试;生理会说,当然,所以我有灌注液配方。没有人会为这句话争论,这正是它是共有前提的标志。
这条假定在生产管理里的形态更露骨。全部规范、标准、验收、需求工程都站在它上面:一件事要做对,需要什么,可以被列成清单;列不全是本事不够,多列几轮就全了。 缺陷管理的整个方法论——根因分析、检查表、事前故障树——都建立在”条件可穷举”这一条上。
那么,有没有这样一类条件:它确实决定着结果,而它不在物上、不在使用里、不在结构里,并且这不是列得不够全的问题?
有。而且它就是三家中最硬那一家的核心工艺。
再看一遍应力解除法。它测的不是”应力”,它测的是解除应力时的应变。也就是说:
这个量的读数,是它消失这件事本身。
在它没有消失的时候,它读数为零——不是接近零,是任何仪器都读不到,因为岩体处在平衡里,没有任何东西在动。在它消失之后,它也读数为零,因为它已经不在了。只有在消失的那一瞬间,它显形一次。
请把这句话与共有前提对照。共有前提说”条件可以被读出来”。而这里有一类条件,它在正常状态下的读数与它已经彻底丧失之后的读数完全相同,都是零。你无法用任何一次观测把”它在”与”它没了”分开——除非你恰好在它离开的那一刻在场。
这段材料在岩石力学自己的领域里回答的是另一个问题:地下工程的支护怎么设计。它不是在讨论生产率,也不是在讨论条件的可清点性。但它顺手承认了一件与共有前提不相容的事:存在一类决定结果的条件,它既不在物上、也不在任何记录上,而它的存在与消失在常规观测下不可分辨。
而且这不是边角自曝,它是核心工艺。去掉应力解除法,岩石力学交不交得出它的标准产品——一份能拿去定支护参数的地应力报告?交不出。世界应力图这样的公开数据库里,绝大部分数据点正是靠这一类方法一次一次取来的。
回头看另外两家,会发现同一个形状,只是名字完全不同。
设计学那边,是专家盲区(有时叫知识的诅咒)。一个把系统吃透的人,无法再想起不懂它是什么感觉;他不是不愿说,是取不回那个状态。可用性测试之所以必须找新用户,正因为老用户身上那个”第一次看见”的状态已经不可复现。一个人第一次上手一件东西,只有一次;这一次没被记录,就永远没有了。
生理学那边,是热缺血时间。器官从血流中断到冷保存之间的那段时间,长一分钟,后续功能就差一点,而这个损伤在移植前的任何一项常规指标上都看不出来——形态正常、酶谱正常、活检正常,直到装上去以后才知道。移植医学为此专设了这个计时项,并把它写进供体记录。它是一个只能在事发当时记录、事后无法反推的量。
三处的名字完全不同:应力解除、专家盲区、热缺血时间。形状是同一个:
有一类条件,它在的时候不产生读数,它走的时候也不产生读数;它只在离开的那一瞬间显形一次,而那一瞬间通常没有人在测。
我把这一类东西叫作必附。
定义写死:必附是随主过程必然附带、因而从未被任何条款要求过、且只在断裂的那一刻显形一次的条件。
三个限定词都承重。
“随主过程必然附带”——这是它的来由。它不是被谁提供的,是做那件事的副产品。写代码的人理解那段代码,不是因为有人要求他理解,是因为写这个动作本身包含理解。
“从未被任何条款要求过”——这是它的处境,也是它最难被发现的原因。它不在验收标准里,不是因为被漏掉了,而是因为在旧条件下,要求它是一句同义反复。一份规程写”须经评审”,它真正要保证的是”被读过”;在旧条件下”经评审”与”被读过”是同一件事,所以规程只写了一边。规程没有缺陷——它写的那一边至今仍然为真。
“只在断裂的那一刻显形一次”——这是它的读数性质,也是本文全部困难的来源。必附在的时候不产生记录(因为它是免费的),断了之后也不产生记录(因为没有字段),只有断裂的那一瞬间会有一次可观测的异常,而那一瞬间通常没有人在测。
于是本文的承重命题:
人工智能生产率不是任务速度的提高,不是穿过质量控制之后的合格产出速率,也不是穿过组织协作与市场验证之后落在账上的价值增量,而是一次交付之后必附清单的断裂位置。
这条命题为什么三家都不会同意,而三家的证据合起来只能得出它——
岩石力学不会同意,因为它的问题是”这块岩体会不会垮”。必附对它而言不是一个待管理的清单,是一个必须测准的输入参数;它甚至从不问”这个量为什么在正常状态下读不到”,因为对它来说这只是一个测量技术问题。这不是它的疏忽,是它的问题结构使这一步成为不必要的——它不生产岩体,它只读岩体。
设计学不会同意,因为它的目标恰恰是消除对必附的依赖。一个好设计让用户不必知道理由。它没有”清单在断裂”这个概念,因为在它那里,让某项条件变得不必要是成功而不是损失。
生理学不会同意,因为它有清单——灌注液配方就是清单。在它那里,必附是可以被逐项显式化并供给的,只是贵。它不会去问”有没有一类条件,连清单这个容器都装不下”,因为它的一百年历史就是不断把新的一项加进清单。
三家谁也到不了。而三家各自都有一件材料支持它:应力解除、专家盲区、热缺血时间。
必附不是一样东西,是一串东西,而它们不是同时断的。
把一件产出物交出去时,随它一起交出去的东西,按”是否还附带”可以排成一条阶梯。本文取四级,按取数之前定死的次序:
第一级 · 为什么是这样。 每一个决定的理由:为什么选这个方案而不是另一个,为什么这个参数取这个值,为什么这一段被删掉。
第二级 · 哪里是猜的。 不确定性的位置:哪一句是推断的,哪一个数是估的,哪一处没有验证过,哪一处是”看起来对但没把握”。
第三级 · 怎么改它。 可修改与可退回:要改这里得动哪些地方,改坏了怎么退回去,哪些部分是耦合的。
第四级 · 它对不对。 正确性:跑不跑得通,测试过不过,符不符合规格。
四级之间的关系不是并列,是依赖:能判断”它对不对”,不需要知道前三级;能判断”怎么改它”,需要知道一部分第一级;能说清”哪里是猜的”,需要第一级完整。依赖越少的那一级,越能被单独检查。
而这正是本文要说的那件事的机制:
验收永远只检查第四级,不是因为验收设计得差,是因为第四级恰好是唯一一级可以在成品上被单独检查的。一件东西之所以能被单独检查,正因为它不依赖那些已经断掉的条件。
可单独检查性与最后断裂,是同一个性质的两面。
拿一件具体的东西走一遍,四级的分别就清楚了。
某人交来一段两百行的数据处理程序。它跑得通,测试全过,格式规范,文档齐全,评审通过,上线运行三个月无故障。按第四级,它无懈可击。
半年后需求变了,要加一个筛选条件。接手的人打开它,发现:
中间有一段把空值统一填成零。为什么是零而不是丢弃?没有人知道。写它的人说”当时那样跑得通”。这是第一级断了。
有一个阈值写着 0.85。这个数是量出来的还是拍出来的?没有人知道。这是第二级断了。
那段填零的逻辑与下游的三处统计耦合。改了会坏哪几处?要靠一处一处试。这是第三级断了。
三级全断,而这件事在过去六个月里没有产生任何一条记录:没有缺陷单,没有告警,没有超期,没有返工。它在账上是一次干净的交付,而且是一次快的交付。
现在把它与另一种情形对照:同样两百行,同样跑得通、测试全过、文档齐全,而写它的人说得出为什么填零(上游那个字段在旧系统里用空值表示未采集,丢弃会让样本有偏)、说得出 0.85 是怎么来的(试过三个值,这个的误报最少,另两个的记录在某处)、说得出改了会影响哪三处。
两次交付在任何一份现行记录上完全相同。 这就是本文全部要说的那件事。
于是靶段的形状出来了:前几级已断而第四级完好。 此时:
全部验收通过,且通过得比从前更干净(第四级的表现确实更好);
断裂不产生任何事件(前三级从来没有字段,断了不生成记录);
后果在很久以后以别的名义出现——“这个东西没人敢动”“改一改就崩”“当初为什么这么做没人知道”——而这些说法在任何一份缺陷统计里都没有分类。
这一格不是管理不善的产物。 一个把第四级做到极致的组织,正是最可能出现这一格的组织:它的检查越硬,第四级越干净,前三级的断裂就越不引人注意。
在给读数之前,先给一句不含任何程度词的问话。它的用处是:可以拿去问规程、合同、模板、验收单,而不是拿去问人的判断。
在这份验收清单上,有几条要求的是”它对不对”以外的东西?
这句话之所以要写成这个形状,是因为它把”能力有没有随产出一起交过来”这个抽象问题,换成了一个可以逐条清点的东西。它不问谁更负责,不问文档全不全,只问:清单上有几条,问的不是结果。
把它在五个场合各跑一遍,答案必须互不相同,否则它就不是判据,是命题的复述。
场合一 · 十六份公开的交付验收模板(查出来的)。 六十八条可归类的要求里,五十三条问的是”它对不对”,其余三级合计十五条。这个答案反过来改了本文——见第十二节,它推翻了本文预注册的一条次序假设。
场合二 · 器官移植的供体记录(查出来的)。 有一条:热缺血时间。它问的既不是”这个器官对不对”,也不是理由或可改性,它问的是一段只能在当时记录、事后无法反推的经过。这是本文在全部材料里找到的、唯一一条已经被正式写进标准表格的”断裂时刻”记录,它反过来给了本文第十九节的赌注一个可参照的形状:一个必附项被制度承认的方式,是给它设一个计时器,而不是给它设一个检查项。
场合三 · 地下工程的岩土勘察报告。 大量条目问的是”这块石头有多硬”(第四级),而地应力那一项只有一个数和一次测量日期——它是全报告里唯一一个不可复测的数,而它在格式上与其他数长得一模一样。
场合四 · 一份房屋买卖合同。 几乎全部条款问的是”标的对不对”(产权、面积、抵押);没有一条问”卖方为什么当初这么装修”“哪面墙不能拆”。买方要在住进去两年后才发现前三级已经断了,而合同完全合格。
场合五 · 一份学位论文的答辩表。 表上问的是结论成不成立、方法对不对、格式规不规范;不问”哪一步你自己也没把握”。唯一接近第二级的,是答辩现场的口头追问——而它不进表格。
五个答案互不相同,其中两个是查出来的,而且两个都改了本文。第三、四、五个场合还给出一条本文原本没有的观察:第四级之所以占满清单,不只是因为它好查,还因为它是唯一一级在争议时可以举证的——一份验收单首先是一份可能要拿去打官司的文件,而前三级举不出证。
本节把读数写死。全文只有这一份定义;第十七节的证伪条款与第十九节的赌注引用的是同一份,阈值一致。
读数一 · 必附覆盖谱。记作四元组 (n₁, n₂, n₃, n₄):在一份交付验收清单上,分别要求提交者提供第一级(为什么是这样)、第二级(哪里是猜的)、第三级(怎么改它)、第四级(它对不对)的条目数。
读数二 · 末项倍数。记作 s = n₄ ÷ (n₁ + n₂ + n₃)。s 越大,这份清单越只检查最后一级。s 是一份清单的属性,不是一个人的属性,也不是一次交付的属性。
编码规则六条:
一条条目按它要求提交者提供什么归入唯一一类,不按它属于哪个章节。
无法归入四级的条目记入”其他”,不参与 s 的计算,但其数量必须一并报出。举一个恰好在边界上的例子:要求填写关联的问题编号——它要求的是一个指针,不是四级中的任何一项,记入其他;而要求”说明这个改动为什么必要”,记入第一级。
归类只看条款文本,不看该组织实际怎么执行。这一条会低估实际的第一级覆盖(很多组织靠口头追问补),这个低估是系统性的,必须在报告里明写。
第二级的口径必须写死并公布:严口径只计入明确要求写出”你不确定之处”的条目;宽口径允许把”给审阅者的特别说明”“备选方案”“预计影响”计入。两种口径的 s 都要报。
清单的边界必须写死(一份模板/一份合同/一张表),跨清单不合并。
报 s 时必须同时报 n₄ 与三级之和的绝对值;只报比值不算数。
判定线:本文只给一条,且它是最弱的一条——s > 1 即为偏斜。本文不给”s 大于几就危险”的阈值,理由见第十二·三节:s 对第二级口径高度敏感。任何引用本文而给出具体危险阈值的说法,都不是本文的主张。
表头(可直接拿去做一张空表):
清单 ID
条目文本
它要求提交者提供什么
级(1/2/3/4/其他)
编码依据
与既有主要指标正交:s 与交付质量正交。举得出反例:一份 s 极高的清单可以属于一个缺陷率极低的组织(它把第四级做到了极致),而一份 s 接近 1 的清单可以属于一个交付质量平平的组织(它要求很多说明,但说明的质量无人检查)。下一节的数据里,s 最高的那几个项目恰好是工程质量声誉最好的几个。
本文的证伪条款不许全是纸面的。成文之前,用公开数据把最便宜的一条跑通了。结果一利一弊,外加一个预注册之外的发现,三个都写在下面。
取数之前把假设、次序与编码规则写死存档,事后不改:
数据:公开代码托管平台上十六个大型项目的合并请求模板(路径公开、可复算),取数日期二〇二六年八月十一日。
四级次序(取数前定死):①为什么是这样 ②哪里是猜的 ③怎么改它 ④它对不对。
H1(覆盖偏斜):n₄ > n₁ + n₂ + n₃。若不成立,则”验收只检查最后一级”为伪。
H2(首项最少):n₁ < n₃。若不成立,则”理由最先无人过问”这条次序为伪。
编码:一条条目归入唯一一类;不可归类者记入其他,不参与比较。
不利结果一律写进正文。
十七份模板取到,其中一份是指向多模板目录的指针文件、无实质条目,剔除;有效样本 N = 16。可归类条目 68 条,另有 36 条记入其他。
必附覆盖谱 (n₁, n₂, n₃, n₄) = (7, 4, 4, 53)。
级
内容
条目数
出现该阶的项目数
①
为什么是这样
7
5
②
哪里是猜的
4(严口径 0)
4(严口径 0)
③
怎么改它 / 怎么退回去
4
3
④
它对不对
53
14
有利结果(H1 成立,且成立得很硬):末项倍数 s = 53 ÷ 15 = 3.53;严口径下(第二级归零)s = 53 ÷ 11 = 4.82。十六份公开的、由成熟工程组织自己写的交付清单里,问”它对不对”的条目数是问其余三级之和的三到五倍。
不利结果(H2 被推翻,且方向相反):n₁ = 7 > n₃ = 4。“理由最先无人过问”是错的。 恰恰相反,十六份模板里有五份明确要求写清动机——“解释做这个改动的动机”“为什么需要这个特性”“为什么我们应当接受这个改动”——而只有三份要求说明可退回性(数据库迁移必须支持回滚、预发布特性必须放在开关后面、破坏性改动必须说明怎么让它重新工作)。
预注册之外的发现(新长出来的一类):十六份模板里出现了 4 条四级台阶上没有位置的条款,分布在 3 个项目:要求申报这件东西是不是生成工具做的、以及申报者是否已经审阅并核实过它的输出。这一类既不问结果、也不问理由、也不问可改性,它问的是来路。
这四条值得单说,因为它们是本文取数时唯一的意外。
四条的形状各不相同。一条要求提交者在两个选项里勾选:没有使用生成工具,或者使用了、并且已经披露用了哪些、且已完整审阅并核实其输出。同一份模板里还有第二条,要求提交者承诺不为这次提交申请自动化审阅。另一份模板的清单里有一条,把”我已审阅并核实这些改动”单列出来并链接到一份专门的政策文件。还有一份模板在说明里写着:若用生成工具产生了本次提交的任何部分,包括描述文字,须按指引披露;这类贡献不被禁止,但会被以更高的标准审查。
把这四条按本文的四级台阶归类,一条也放不进去。它们问的不是结果、不是理由、不是不确定处、也不是可改性,它们问的是这件东西的来路。
本文对它们只作两点观察,都不作结论。
第一,它们的出现时间与生成工具的普及重合,而它们要求的东西恰好是本文所说的那一类——“你是不是真的持有它”。制度对必附断裂的第一反应,是补一条披露,而不是补一条核验。 这与第十九节赌注里排除的第三条正好对应。
第二,披露与核验不是一回事,而这四条全部是披露。 勾选”我已审阅并核实”这个动作本身不产生任何可核的东西;下一个人拿到的仍然只有第四级。这一类条款能不能真的把必附补回来,是一件三年内就能看出来的事,本文把它写成了 F7。
第一,四级次序被改写。 原来的次序是①②③④。实测支持的次序是:第二级与第三级并列最先无人过问(各 4 条,且第二级在严口径下为 0),第一级居中(7 条),第四级最后(53 条)。 本文第九节保留四级的依赖关系(它是逻辑关系,不由这次实测决定),但取消了”断裂按①②③④次序发生”这条经验主张,改为:最先断的是那些无法在事后举证的那一级,而不是最靠前的那一级。
这一改其实让本文更硬。理由在第十节场合四、场合五那条观察里:验收单首先是一份可能要拿去举证的文件。“为什么这么做”是可以写成一段话并存档的,因此它进得了清单;“哪里是我猜的”与”改坏了怎么退回去”都要求提交者承认自己的不确定,而一份用于举证的文件不会要求任何人承认不确定。次序不由逻辑深浅决定,由可举证性决定。
第二,取消了危险阈值。 初稿写过”s 高于 5 应当警觉”。第二级的宽严两种口径把 s 从 3.53 变到 4.82,跨过了那条线。既然一次口径变更就能跨线,这条线不成立。
第三,“来路披露”被记为一条独立观察,而不是塞进四级。 它是新的,它在四级台阶上没有位置,而它恰好出现在生成工具普及之后。本文不把它算作对自己的支持——它同样可以被读作”组织正在自发地补上缺口,因此不需要本文的框架”。它进正文,是因为它是本文预测的反面证据的一个候选,藏起来不合适。
第四,一处必须明写的低估。 编码规则第三条只看条款文本,不看实际执行。很多组织靠评审时的口头追问补第一级与第二级,而这些追问不进模板。因此本文报出的 n₁ 与 n₂ 是下界,s 是上界。 这个低估是系统性的、方向固定的,它使本文的结论偏向有利的一侧——读者应当按这个方向打折。
第五,样本的性质要说清。 十六个项目全部是长期存续、以工程质量著称的开源项目;它们的清单是本文能找到的最认真的一批。s 在这批清单上是 3.53,这个数在更随意的组织里只会更高。这一点使本文的结论更稳,但也意味着本文没有覆盖那些根本没有模板的组织——对那些组织,s 无定义,而无定义与偏斜在后果上不可分。
一个跨领域的构念如果只能”像”,那是比方;能在那个领域里据此预测一件可以去查的事,才算兑现。
一 · 地下工程。 若某工程以数值反演替代实测地应力(用已建成段的变形反推),则其后续段的支护事故率应当高于实测组,且差异集中在地质条件与已建成段不同的区段。预测的是差异出现的位置,不是水平。 世界应力图与各国的隧道事故记录里有这个数。
二 · 器官移植。 若某中心把热缺血时间的记录从”实测”改为”按流程估算”,则其移植物功能延迟恢复率应当上升,而术前的一切常规指标不变。这一条现在就能在移植登记数据里回溯检验。
三 · 设计与产品。 由完全未参与设计的团队接手维护的产品,其”改一处坏三处”的比例应当高于原班人马维护的产品;而两者的当期缺陷密度不应有差异。前者是第三级断裂的读数,后者是第四级的读数,二者应当分离。
四 · 建筑改造。 原设计单位不可考的建筑,其改造中的结构意外(拆到某处发现不能拆)发生率应当更高,且这一差异不随原图纸的完整程度而消失——因为图上有线,没有理由。
五 · 药物工艺转移。 一个生产工艺从原研厂转到受托厂之后,即使全部工艺参数逐项交接、验证批全部合格,首年的偏差调查数量仍应显著高于原厂同期,且偏差集中在参数表上没有的操作细节。制药行业的工艺转移记录里有这个数。
七 · 学术复现。 论文原作者不在时的复现失败率,应当高于原作者参与时;而这一差异在方法描述最详尽的那一批论文里同样存在——因为详尽描述覆盖的是第四级,不是第二级。这一条与复现危机的现有数据可以对照。
八 · 翻译出版。 由未读过原著全书、只按段分配的译者完成的译本,其术语前后不一致的比例应当更高,而逐句对照的准确率不应更低。前者是第一级断裂的读数。
九 · 医疗交接班。 采用结构化交接表之后,交接的形式完整率上升,而“接班人不知道为什么前一班这么处理”导致的处置反复不下降。结构化表格覆盖的是第四级。
十 · 软件运维。 使用生成工具编写的运维脚本,其在异常路径上的行为无人能预测的比例应当更高,而正常路径的通过率更高。这两个方向相反的预测同时出现,才是本文的签名。
十一 · 教学。 由讲义完全照搬他人的教师授课,学生的当堂测验成绩不下降,而学生提出预料之外的问题时的处理质量下降。前者第四级,后者第一级。
十二 · 考古发掘。 发掘者未记录的现场判断(为什么把这一层定为一个层位),在报告中不可复原;因此同一遗址由不同队伍二次整理时,层位划分的分歧率应当随首次发掘者的在世与否而变化。这一条听上去极端,而考古学自己有相应的实践(发掘日记与现场照片的强制归档),可以对照。
十二条里有十一条可以用与本文实测完全无关的数据源去查。这一点是有意的:第十二节的数据只覆盖一个行业的一种文件,若全部兑现都落在同一个数据源家族里,整组证据的独立性会一起垮掉。
十二条里有两条本文押得最重,值得单独说清楚它们为什么难。
第五条(工艺转移)之所以难,是因为制药行业已经为它做了几十年努力:工艺转移有专门的规程、有验证批、有并行生产期、有人员互派。如果本文是对的,那么这一整套做到极致之后,首年的偏差调查数量仍然高于原厂同期,而且高出的部分集中在参数表上没有的操作细节上——比如加料的手法、观察终点的判断、什么时候该停下来看一眼。若做到极致之后差异消失,本文在这个领域就是错的,而这个数据是各国药监的检查记录里现成的。
第十条(运维脚本)之所以难,是因为它要求两个方向相反的预测同时成立:正常路径的通过率更高,异常路径的行为无人能预测的比例也更高。 只有其中一个成立,都不算本文命中——第一个单独成立可以用”工具确实更好”解释,第二个单独成立可以用”脚本写得差”解释。两个同时成立,才排得掉这两种解释。 本文把它列为最愿意被打的一条,正因为它最难蒙对。
我原本会写:必附不可被清单替代。
生理学不让我写。离体灌注的一百年历史,正是一份清单被一项一项补出来的历史,而今天它确实成功了——机械灌注下的肾可以保存超过一天,肝脏的常温机械灌注甚至能让一部分原本要被丢弃的器官恢复到可用。在体内白得的东西,被逐项显式化并付费供给之后,器官继续工作。
于是本文必须承认:必附原则上可以被清单替代,只是贵,而且清单只能靠失败一项一项撞出来。 这一处削掉的是本文的价值排序——本文不能主张”这件事没有办法”,只能主张”这件事的办法是逐项购买,而账上没有这一项预算”。
本文只保留一条:清单是靠断裂发现的,因此在断裂之前,你不知道清单上有几项。 这比原来的弱,但它可查。
我原本会写:必附断裂总是损失。
设计学不让我写。它的成功标准恰恰是消除对必附的依赖:一个好设计让用户不必知道理由,一个好接口让调用者不必知道实现。整个模块化、封装、标准化的历史,就是一部有意切断必附的历史,而它创造了巨大的价值。 一颗螺栓不需要携带它是怎么被车出来的。
于是本文的适用范围必须缩:只有当承接方需要在原设计者未预见的情形下作出判断时,必附断裂才构成损失。 在只需按既定方式使用的场合,切断必附是纯赚。
这一分很要紧。它把本文的适用范围从”所有交付”缩到那些承接方必须自己作判断的交付——而这恰好是最难事先识别的一类,因为是否会出现未预见情形,本身要到出现时才知道。本文因此失去了它本来最想要的那个处方:事先分辨哪些交付需要保住必附。
我原本会写:必附的断裂可以被监测。
岩石力学不让我写。应力解除法的全部要点是:这个量只在被撤除的那一刻显形一次,而且撤除是不可逆的。 要测它,你必须先毁掉它;测完之后,那个状态永远不在了。监测这个词在这里不成立——监测的前提是被测对象在观测期间持续存在,而必附在被观测的那一刻已经不在。
于是本文的读数必须改口径。本文给的 s 不是必附的读数,它是”清单在多大程度上不问必附”的读数——它测的是制度的姿态,不是那样东西本身。这一处削掉的是本文最想要的那个东西:一个能告诉你”这次交付断了几项”的仪表。本文没有这个仪表,也说不出它可能长什么样。
它同时带出一条本文原本不会写的、更难听的推论:如果必附只在断裂的瞬间显形,而断裂不产生记录,那么一个组织唯一能知道自己断了什么的时机,是它已经断了并且撞上了后果的时候。此时它面对的是一个已经不可复原的状态——不是”补上清单”,是”重新把清单撞出来”,而撞的代价与当初白得它的成本毫无关系。
这个构念最容易被读成某个既有说法的改名。逐条分清,每条写出判定形式——观察到什么,本判断对而它错;观察到什么,反之。只能说出”本文更强调什么”的条目一律不列,因为那等于承认被覆盖。
一 · 默会知识(波兰尼,一九五八、一九六六)。 我们知道的比我们能说出来的多;技艺的核心部分不可言传,只能通过师徒共处传递。这是本文最危险的一位。
分离线:默会知识是表达问题——它在人身上,只是取不出来;必附是要求问题——它没有出现在任何条款里,不是因为不能说,是因为说它是多余的。写代码的人为什么这么写,他完全说得出来;只是从来没有人要求他说。
判定形式:取一项必附物,把它完整地写下来并培训。若问题因此消失,则那是默会知识;若写下来之后仍然没有任何条款要求它、因而没有人去读那份文档,则是本判断。 本文押后者,而第十二节的数据支持这一押注:那十六份清单里,第二级在严口径下一条也没有——不是写不出来,是没被要求。
二 · 当然品质(狩野纪昭,一九八四)。 需求分为魅力品质、一元品质与当然品质;当然品质满足了不加分、不满足则极不满,因此顾客不会主动提出它。这是本文在实务层最危险的一位——它已经说了”有一类要求没人会提”。
分离线:当然品质仍然是产品的属性,可以被写进需求规格,只是顾客不主动说;必附是过程的副产品,它不属于产品,因此连需求规格这个容器都装不下它。你可以把”必须防水”写进规格;你没法把”做它的人得知道自己为什么这么做”写进产品规格——那不是产品的性质。
判定形式:把该项写进需求规格并验收。若问题消失,则那是当然品质;若它无法被写成对产品的要求(因为它是关于承接方还知不知道的),则是本判断。
分离线:影子工作转移之后仍然有人在做,只是做的人换了、且不被计酬;必附断裂之后没有人在做——那件事就是没有了,既不在生产者手上,也不在承接方手上。判据是找人:影子工作总找得到那个多干活的人,必附断裂找不到。
判定形式:清点断裂之后新增的工作量落在谁身上。若能指认承担者,则是影子工作;若指认不出承担者而后果照旧出现,则是本判断。
四 · 契约的非契约要素(涂尔干,一八九三;麦考利,一九六三)。 合同之所以能履行,靠的是合同之外的信任、惯例与长期关系;商人之间的实际交易大量不依赖合同条款。
分离线:那一支说的是履行的保障(为什么大家不违约);本文说的是验收的对象(验收在检查什么)。二者可以分离:一个完全没有信任、纯靠条款约束的关系,其验收清单同样只检查第四级。
判定形式:把非契约要素全部写进合同并强制执行。若验收从此也检查前三级,则那一支够用;若合同写得再密,验收仍然只检查第四级,则是本判断。 本文押后者,理由在第十二·三节:清单的构成由可举证性决定,而可举证性不随信任程度变化。
分离线:技术债记在制品上——那段实现在那里,不好,可以看见、可以评估、可以列进待办;必附断裂不记在任何制品上,因为断掉的不是一段实现,是承接方手里的一份知道。技术债可以被列成清单,必附的清单只能靠断裂撞出来。
判定形式:把制品里全部不理想的实现逐项列出并修复。若问题消失,则是技术债;若制品完全无瑕而”没人敢动它”照旧,则是本判断。
分离线:这一支讲的是专家高估他人(专家自己什么都有,只是估错了别人);本文讲的是承接方什么都没有,而没有任何人估过这件事——因为验收从不问它。二者的干预方向相反:前者要治专家的偏差,后者要改清单。
判定形式:把专家的偏差完全校正(例如强制他按新手视角复述一遍)。若问题消失,则是知识的诅咒;若专家校正得再好,清单仍然不要求承接方持有前三级,则是本判断。
分离线:组织遗忘的对象是曾经被组织持有过的知识——它进过某个人的脑子、某份文档、某套流程;必附从来没有被组织持有过,它一直挂在做事这个动作上,随做随有,做完随走。判据是历史:遗忘要求曾经有过,必附不要求。
判定形式:去查这项知识在组织历史上是否被记录过、被传授过、被写进过任何文件。若查得到,则是组织遗忘;若从来没有任何形式的存在记录,而它显然一直在起作用,则是本判断。
八 · 消融实验(机器学习一脉的标准范式)。 逐项移除一个部件,看性能掉多少,据此判断该部件的贡献。这是本文操作上最危险的一位——本文做的正是”移除主过程,看还附不附带”。
分离线:消融实验要求移除之后系统仍可被评测,且评测口径不变;必附断裂之后,评测口径本身正是那个不变的东西——第四级完好,所以消融读出来的性能变化是零。一个消融实验对必附的读数恒为零,而这正是本文要解释的现象。
判定形式:做一次标准消融:切断某项必附,测全部现有指标。若任一指标变化,则该项可被消融实验捕捉,本判断多余;若全部指标不变而后果在若干周期后出现,则是本判断。
分离线:敲除的代偿是系统内另有部件顶上(顶上的那个部件是可以被找到的);必附断裂之后没有部件顶上,是判断本身不再发生。判据是加压:敲除的代偿在加压下会露出来,必附断裂在加压下露出来的是别的东西——是”没有人知道该怎么办”。
判定形式:加压。若露出的是某个替代通路的过载,则是代偿;若露出的是无人能给出下一步,则是本判断。
分离线:假设登记要求登记者知道自己在假设;必附的关键正是没有人知道自己在依赖它——它不是一个未被登记的假设,它是一个从来不必被当作假设的事实。一份最完备的假设登记册也不会写”承接方理解自己交付的东西”。
判定形式:取一份实际使用中的假设登记册,看有没有任何一条登记的是”做这件事的人还持有某项知道”。若有,则本判断多余;若一条也没有,而后果照旧出现,则是本判断。 第十二节的十六份清单里一条也没有。
分离线:文档交付条款要求的是一批物,可以按份数验收;必附是承接方的状态,验收不了。一个把全部文档交齐、而承接方一份也没读的交付,在文档条款下完全合格。
判定形式:按份数验收文档,然后随机抽问承接方一个只有读过才答得出的问题。若两者结果一致,则文档条款够用;若文档齐全而抽问全败,则是本判断。 这一条是本文列出的判定形式里最便宜的一条,一小时可做。
本栏近期与本文同题或同形的篇目,是本文最近的占位者,必须逐条指名。
《零幅》(同题第一篇)处理的是”该空着的一段时间被压掉了”。分离线:那一篇的对象是一段无人做事的时间,本文的对象是一份随做事附带的条件。二者可以独立发生:把全部等待原样保留的交付,照样可以把前三级全部断掉(等得再久,承接方也不会因此获得他没有形成的理由)。判定形式:取一个零幅跨度为零的交付(等待全部保留),若必附覆盖谱仍然极度偏斜,则本文对而那篇管不到。
《旁异》(同题第二篇)处理的是”多件产出之间还剩多少与功能无关的差异,可以用来判定它们各自独立”。分离线:那一篇是横向的(产出与产出之间),本文是纵向的(产出与做它的人之间)。关键区别:旁异管的是能不能判定这几件东西各自独立,必附管的是做出它的人手里还剩什么。二者可以反向:一批由三个完全独立的团队做出的产出(共偏率极低),每一个团队的前三级都可以是断的。判定形式:取三个共偏率极低的独立团队的交付,若三家的必附覆盖谱都极度偏斜,则两篇各自成立且互不吸收。
《候成》(同轮)处理的是”没有执行者的工序造成的补位距”。分离线:那一篇管流程上缺人,本文管人手上缺东西;那一篇的读数随协调负担上升,本文的读数随可举证性要求上升,二者可以反向——一个人手充足、无需补位的组织,其清单可以最偏斜。
《停读窗》(同轮)处理的是”还能不能再测一次”。分离线:那一篇管测量机会,本文管测量对象——必附的困难不是没机会测,是测不到(第十四·三节已写明,本文没有仪表)。二者叠加时:有机会测而测不到,是最坏的一格。
《期额》(同轮)处理的是”上一次测的还算不算数”。分离线:那一篇的对象是一份已经作出的声明(它有期限),本文的对象是从来没有被作出过的要求(它没有期限,因为它不存在)。判定形式:若给某项必附补上一条条款,它此后就落入《期额》的管辖(有了声明就有了有效期);在补上之前,它只属于本文。
《哑段》(同轮)处理的是”还有没有人往回说话”。分离线:那一篇管通道(下游有话能不能传回来),本文管存量(承接方手里有没有那份东西)。二者可以独立:一个反馈通道完全畅通的组织,其承接方照样可以什么都不持有——因为畅通的通道传回来的也只是第四级的信息。
《未依》(同轮)处理的是”交付之后未建立的依赖”。分离线:那一篇管下游有没有用起来,本文管上游有没有交出来;分居交付点两侧,读数可以一高一低。
七篇的一行分工:该空着的一段还在不在(零幅)|还认不认得出各自从哪儿来(旁异)|有没有人接得住那一步(候成)|还能不能再测一次(停读窗)|上一次测的还算不算数(期额)|还有没有人往回说话(哑段)|交出去的有没有被用起来(未依),本文加的是:做它的人手里还剩什么。 七个读数的分母各不相同,因此本文预测它们两两之间的相关系数低于 0.3;若任意两者高于 0.6,则那两篇应当合并为一篇。这个检验一次可以否掉两篇,包括本篇。
把七篇摆在一起,会有一个合理的怀疑:它们是不是同一个说法换了七个名字——都在说”有样东西在账上没有字段”。
这个怀疑必须被正面回答,而回答的方式不是声明,是给一个能一次否掉多篇的检验。
七个读数的分母各不相同:零幅的分母是时间,旁异的分母是产出的对数,候成的分母是工序的站数,停读窗的分母是测量机会,期额的分母是声明的条数,哑段的分母是通道上的段数,本文的分母是清单上的条目数。分母不同不保证不重复,但分母相同一定重复,所以第一步是看分母。
第二步才是那条检验:在同一批单位上同时算这七个读数,看两两秩相关。 本文预测全部低于 0.3。这个检验的锋利处在于它是可以失败的——若任意两者高于 0.6,那两篇就应当合并,而合并意味着其中一篇的独立价值为零。 我把本篇也放进这个检验里,不给自己留例外。
第三步是一条更严的:七个读数应当可以互相构成反例。 本文在第十七节逐条给出了这样的反例(零幅为零而覆盖谱偏斜、共偏率极低而三家都断、通道畅通而承接方什么都不持有)。给不出反例的那一对,无论相关系数多低,都还没有被真正分开。
四 · 不管必附本身的读数。 本文给的 s 是清单的属性,不是必附的读数(第十四·三节)。任何把 s 读作”这次交付断了几项”的用法,都是误用。
在给条款之前,先把那句最难反驳的话写出来。
最强的竞争解释是:其实不就是文档没写好、交接没做好吗。
交接不充分、文档不完整、新人培训不到位——这是任何一个组织里都存在的老问题,与生成工具毫无关系。这个解释朴素、便宜、几乎无法反驳,而且它解释了本文观察到的全部现象。
本文与它的分歧点只有一个,而这个分歧点是可查的:交接解释预测的是”补文档能治”。若问题出在文档,那么把文档写全、把交接做扎实,问题就应当缓解;而这件事各行各业做了几十年,方法成熟、成本可算。本文则预测:在文档最完备、交接最规范的场合,问题照旧出现,因为文档覆盖的是第四级与第一级的一部分,而断掉的是无法被写成交付物的那几阶。
因此下面所有条款的形式都是:在控制掉文档完备度与交接规范度之后,本机制独有的变量是否仍然成立。
F1(主条款,机制证伪):在同质样本内,控制文档完备度与交接规范度之后,若”必附覆盖谱的偏斜”与”承接方在未预见情形下的处置质量”之间不存在剂量—反应关系,则本判断为伪。需要 N ≥ 6 个同质单位(同一机构内多个团队、同一行业多家企业、同一平台多个项目),关键混淆变量同质;严禁拿两个国家或两个地区充数。本条未跑——它需要”未预见情形下的处置质量”这一变量,而多数机构不记录它。
F2(覆盖偏斜,已真跑):若在公开的交付验收清单上,n₄ 不大于 n₁+n₂+n₃,则”验收只检查最后一级”为伪。实测:53 对 15,s=3.53(严口径 4.82),未被推翻。
F3(断裂次序,已真跑,已被推翻):若 n₁ 不小于 n₃,则”理由最先无人过问”为伪。实测:n₁=7 > n₃=4,本条被推翻。 处置见第十二·三节:取消按逻辑深浅排列的断裂次序,改为按可举证性排列。这条不利结果不使本文整体为伪,但它换掉了本文原来的次序主张,也换掉了本文原来打算给出的干预顺序。
F4(文档不可替代,最便宜的一条):取一批文档交付条款完备的项目,按份数验收文档全部合格;随后对承接方随机抽问一个只有读过并理解才答得出的问题。若文档合格率与抽问通过率高度相关(秩相关绝对值 ≥ 0.5),则文档条款够用,本判断多余;若二者不相关而后续处置质量随抽问通过率变化,则本判断对。 一个人一小时可以在一个团队里跑完。
F5(顺序预测):在同一机构内,必附覆盖谱的偏斜加剧应当早于任何一项质量指标的恶化,中位提前量不小于一个完整交付周期。若恶化早于或同时于偏斜加剧,则本文的方向为伪——那说明是质量先坏,清单是补救的结果。顺序比相关难被巧合满足。
F6(清单可补性,冲着本文自己最不利的方向):取一个已经断裂的场合,按生理学的路子逐项补供给(把理由、不确定处、可改路径显式化并纳入验收)。若补到某个程度后处置质量恢复到断裂前水平,则第十四·一节那条约束是全部真相,本文只是”这件事很贵”的一个说法;若补到清单再长也恢复不到,则本判断对。 本文押前者与后者之间——预测会恢复大部分而不是全部,而”大部分”这个含混的预测本身是本文的一个弱点,我不掩饰。
F7(新类的方向):第十二·二节发现的”来路披露”条款,若在此后数年内扩散并同时带来处置质量的改善,则组织能自发补上缺口,本文的框架不必要;若扩散而处置质量不变,则披露只是把来路记了一笔,没有把必附补回来,本判断对。这是本文最愿意等的一条,因为它已经在发生。
F8(跨领域一致性):第十三节的十二条兑现中,若有三条以上在可查数据上给出与预测相反的结果,则本构念不具备跨领域适用性,应退回为一个仅在软件交付内部成立的说法。
若 F1 与 F4 一起失败——文档完备度能解释一切——那学到的是一件很有用的事:必附不是一类特殊的东西,它只是文档的一部分,而所有问题都是交接问题。 那么正确的干预就是把交接做扎实,方法现成、成本可算,不必再造新概念。这个结论比本文的简洁得多,因此值得被认真检验一次。
若只有 F3 一条失败(已经失败了),学到的是:断裂的次序不由逻辑深浅决定,由可举证性决定。 这本身就是一个可以拿去用的结论——它告诉想要干预的人,别从”最根本的那一级”下手,从”最不可举证的那一级”下手。
按本文自己的判据检本文自己,结果不好看,而且是三层的。
第一层:本文这一篇。 本文由人与生成系统协作写成。按本文自己的四级台阶,读者拿到的是第四级(论证成不成立、数据对不对、引注可不可核),而第一级与第二级在成品上没有位置:为什么选这三门而不是另外三门、哪一步我自己也没把握——这些没有出现在正文的任何一处,因为没有任何一份学术论文的格式要求它们出现。本文批评十六份清单只检查第四级,而本文自己交出去的东西同样只有第四级。
第二层:本文的证据。 更要紧的是这一层。第十二节的编码是我做的,编码规则是我写的,边界例是我挑的。我知道每一条为什么被归到那一类,而这份知道不随这篇文章移动——读者拿到的是一张表和四个数字。按本文自己的定义,那份编码判断正是一份典型的必附:它随编码这个动作必然附带,从未被任何学术规范要求过,并且只在有人重编一遍并得出不同结果的那一刻才会显形一次。 我把逐条编码表附在文末,这是我能做的全部;而附上表格并不等于附上判断——第十六节第十一条那个”文档齐全而抽问全败”的判定形式,对本文自己成立。
第三层:本文所属的这一栏。 本栏近期的篇目共用一副结构,而这副结构本身是一份验收清单:三家最强、共同前提、推翻材料、新构念、辨别装置、判据、兑现、反向约束、分界、边界、编号条款、自反、赌注。它检查的全部是第四级。 一篇按这副结构写出来的文章可以处处合格,而”为什么是这三家”“哪一步作者自己也没把握”在结构上没有位置。本栏的 s 是多少,我没有算,而按本文的定义它算得出来——把这副结构的每一格按四级归类即可。这是我交给本栏其他人的一条检验,也包括对本篇。
关于本文提出的读数的反噬:s 一旦进考核,最省事的达标方式是在清单里加几条问理由的条款——“请说明这个改动的动机”。加三条,s 从 3.53 掉到 2.0。而这三条不会带来任何一份真实的理由,因为填表的人可以写”为了修复缺陷”,而没有任何人会去核这句话是不是理由。必附是随做事附带的,它无法靠填表获得;而 s 只测填表。
我看不到出口。 缓解办法想过三个,三个都不成立:把这些条款做成需要核验的(核验前三级要求核验者自己持有前三级,而这正是稀缺的那样东西);把它交给外部审计(外部审计比承接方更不可能持有前三级);用抽查(抽查会改变被抽单位的填表行为,而填表行为正是 s 唯一测得到的东西)。
本文的产物是一个可以被拿去考核的读数,因此下面三条是发表的前提。
一 · 这个读数指的是清单,不是人,也不是一次交付。 s 是一份验收模板的属性。同一个人在两份不同清单下会落在完全不同的 s 上。把 s 归到个人头上,是把制度的姿态算到人身上。
二 · 不得为了把这个数做好看而增加填报负担。 尤其不得在安全关键的交付流程里,为降低 s 而添加大量无人核验的说明性条款——未经核验的说明会挤占核验时间,而第四级恰恰是那个必须被核验的那一级。 这是本文最担心被误用的地方。
三 · 已经按这个读数做出不利安排的,必须公开编码规则与第二级的口径(严/宽),并给出复核通道。 复核通道指被评价方可以要求重新编码、并对某一条的归类提出异议。没有这两样,这个读数不得用于任何人事或供应商决定。
另有两条证据边界:第十二节的数据来自公开路径,取数日期、样本、编码规则、两种口径的结果与逐条编码表都写在正文与附录里,任何人可以重取重编;本文不提供任何未标明出处的数字。同时必须明写:本文的取数落在与本栏近期若干篇相同的数据源家族(公开代码托管平台),取的字段完全不同(那几篇取时间戳、依赖声明、评审事件,本篇取治理文本),但同一家族的多次取样不构成互相的独立验证,合起来只能算一次。
到二〇二九年八月十一日为止,在公开可查的交付验收标准、行业规范或合同范本中,若出现至少一项针对”承接方是否持有某项过程性知道”的核验条款——要求以抽问、复述或独立重做的形式核验,而不是以填报或声明的形式满足——则本文的第三层主张命中。
什么不算命中(写死,免得事后放宽):
只要求填报、声明、勾选的条款不算,必须是可执行的核验条款。
要求交付文档、说明书、设计依据文件的条款不算——那是交付一批物,第十六节第十一条已与它划界。
要求申报是否使用了生成工具的条款不算——那是记来路,不是核持有;这一类已经在发生(第十二·二节四条),把它算作命中等于事后放宽。
学术论文提出而未进入任何公开标准的不算;只在某个组织内部实践而无公开文本的不算。
我押不命中。理由写在第二十节:核验前三级要求核验者自己持有前三级,而这正是最稀缺的那样东西——一个不需要稀缺资源就能执行的条款才会被写进标准,而这一条需要。
第一个洞:没有仪表。 第十四·三节已写明:本文给的 s 测的是清单的姿态,不是必附本身。一个能告诉你”这次交付断了几项”的读数,本文没有,也说不出它可能长什么样。 这是本文最大的缺口,而它不是修辞——岩石力学的应力解除法给了它一个理论上的理由(只在撤除瞬间显形一次),而那个理由同时说明这个仪表可能不存在。
第二个洞:不知道清单有多长。 生理学一百年才把灌注液配方撞出来。一次知识交付的必附清单有几项,本文说不出。这个数决定这件事是可以逐项买回来的(贵而已),还是买不完的。
第三个洞:不知道生成工具是不是真的切断了它。 本文全篇假定”用生成工具做出来的东西,做的人不持有前三级”。这个假定合理,但本文没有证据。反过来的可能是存在的:一个反复与生成系统往复、逐轮质疑其输出的人,可能比一个独自埋头写完的人持有更多的第一级与第二级——因为他被迫把每一个选择显式地说出来过。这一条若成立,本文的适用范围会大幅缩小到”一次性接受输出”的那种用法,而这是一条我很愿意被推翻的判断。
三个洞都不是留白,是缺口。填上其中任何一个的人,都比本文走得更远。
附录 · 逐条编码表(第十二节数据)
十六份模板的分类计数(1 为什么是这样/2 哪里是猜的/3 怎么改它/4 它对不对/5 来路披露/0 其他):
项目
①
②
③
④
来路披露
其他
angular/angular
0
0
0
3
0
5
apache/superset
0
1
2
2
0
7
django/django
0
0
0
6
2
4
elastic/elasticsearch
0
0
0
5
0
1
electron/electron
0
0
0
6
1
2
facebook/react
1
0
0
7
0
0
grafana/grafana
1
1
1
2
0
3
home-assistant/core
2
0
1
0
0
3
kubernetes/kubernetes
1
1
0
1
0
3
microsoft/vscode
0
0
0
3
0
1
moby/moby
0
0
0
2
0
2
nodejs/node
0
0
0
4
0
0
prometheus/prometheus
0
0
0
7
0
2
python/cpython
0
0
0
2
0
0
rails/rails
2
1
0
3
0
1
rust-lang/rust
0
0
0
0
1
2
合计
7
4
4
53
4
36
宽口径 s = 53 ÷ 15 = 3.53;严口径(第二级归零)s = 53 ÷ 11 = 4.82。 第四级为零的项目 2 个;出现第一级的项目 5 个;出现第三级的项目 3 个;出现来路披露的项目 3 个。
第二级四条的具体归入(供复核者逐条推翻):迁移的运行时长与停机预期估计一条;给审阅者的特别说明两条;补充信息中要求提供备选方案一条。严口径下这四条全部剔除,因为它们都不是明确要求写出”你不确定之处”。 复核者若认为其中任何一条应当保留,请按第十一节编码规则第四条重报两种口径。
本节由编者增补,不是作者原稿的一部分。本文第十五、十六两节分上下两支逐位处理了默会知识、当然品质、影子工作、非契约要素、技术债、知识的诅咒与组织遗忘,每一位都给了「写下来之后会怎样」这种可执行的判定形式。增补的理由只有一条,而它是这一篇最重的一条:本文承重命题里那句最锋利的话,几乎是另一支文献的一句名言。
Star 与 Ruhleder 1996 年、Star 1999 年给出的基础设施八条性质里,最被反复引用的一条是:基础设施在正常工作时是不可见的,它在坏掉的那一刻才显形——服务器宕了、桥冲垮了、停电了。本文说的「它在的时候不产生读数,走了也不产生读数,只在离开的那一瞬间显形一次」,在句子层面就是这一条。这是名句级的贴面,必须正面认下:作为一个观察,「只在断裂时才现身」早已被命名,并且已经长成一整支基础设施研究。
分界落在两件不同的事上:可见性,与要求。Star 那一支处理的是看不看得见——这是一个认识论问题,它的整套方法(基础设施反转、显影不可见的工作)都是为了把背景翻成前景。本文处理的是有没有被要求过——这是一个制度问题。两者可以完全分离,而分离的方向恰好对本文有利:一件必附物完全可以是高度可见的——所有人都知道写这段代码的人当然明白自己为什么这么写——而仍然没有任何一条验收条款要求承接方持有它。可见性在这里从来不是瓶颈。
判定形式:取一批必附物,逐条问两件事——它在断裂之前是否可被指认(可见性),以及是否有任何条款要求它(要求)。若不可指认的比例高,属 Star 那一支的辖区,本文只是它的一个案例;若普遍可指认而普遍无条款要求,则本文对。本文第十二节的数据已经答了一半:那十六份清单里第二级在严口径下一条也没有——作者自己写了「不是写不出来,是没被要求」,这句话正是与 Star 那一支的分界线,只是原稿没有把它挂到这位对手身上。
本文第十二·三节指出,清单的构成由可举证性决定。编者主张这一步可以推成一条更一般、也更容易被反驳的话:任何验收体系只能要求那些能在交付物上被检验的东西,而必附按定义是关于承接方状态的,不在交付物上——因此它的缺席不是疏漏,是落在验收这个动作的值域之外。
把它拆开:验收是对着交付物做的,它的输出是「这件东西合不合格」。而必附问的是另一件事——接手它的那个人还知不知道它为什么长这样、数据从哪来、这张图改不改得动。这些不是交付物的属性,是交付物与承接方之间那条关系的属性。一个只对着交付物提问的程序,无论提得多细、条款写得多密,都碰不到这条关系,因为关系的另一端根本不在它的检验范围里。这解释了本文第十五节那几条判定形式为什么都押同一个方向:把必附物写进文档没有用,写进合同也没有用——不是写得不够好,是这些动作全都仍在对着交付物做。
由此得到一条可以直接去查的推论:凡是验收对象包含承接方的场合,必附的断裂率应当显著更低。飞行员的机型改装放行、外科医师的资质授权、核电操纵员的换证——这些体系验收的不是交付物而是人,因而它们有能力要求前三级。若在这类体系里必附的断裂率与普通交付验收体系无差异,则「值域」这条解释不成立,本节的推进作废,本文应退回原稿的「可举证性决定清单构成」这一步。
编者增补声明:以上一节为本站编者增补,非作者原稿,因此本篇标注「盲评 140 → 修改设计目标 142 · 待独立复核」,不是认证分。原稿的盲评分对投稿全文所打,本节不计入该次评分。增补引用:Star, S. L., & Ruhleder, K. (1996). Steps toward an ecology of infrastructure. Information Systems Research, 7(1), 111–134;Star, S. L. (1999). The ethnography of infrastructure. American Behavioral Scientist, 43(3), 377–391.
Amadei, B., & Stephansson, O. (1997). Rock Stress and Its Measurement. London: Chapman & Hall.(应力解除法与套芯法;地应力不可复测。)
Zang, A., & Stephansson, O. (2010). Stress Field of the Earth’s Crust. Dordrecht: Springer.
Heidbach, O., Rajabi, M., Cui, X., et al. (2018). The World Stress Map database release 2016. Tectonophysics, 744, 484–498.
Norman, D. A. (2013). The Design of Everyday Things, rev. ed. New York: Basic Books.(可供性;设计者不是用户。)
Nielsen, J. (1993). Usability Engineering. San Diego: Academic Press.
Guyton, A. C., & Hall, J. E. (2020). Textbook of Medical Physiology, 14th ed. Philadelphia: Elsevier.(稳态与调节回路。)
Nasralla, D., Coussios, C. C., Mergental, H., et al. (2018). A randomized trial of normothermic preservation in liver transplantation. Nature, 557, 50–56.(常温机械灌注。)
Moers, C., Smits, J. M., Maathuis, M.-H. J., et al. (2009). Machine perfusion or cold storage in deceased-donor kidney transplantation. New England Journal of Medicine, 360, 7–19.
Halazun, K. J., Al-Mukhtar, A., Aldouri, A., et al. (2007). Warm ischemia in transplantation: search for a consensus definition. Transplantation Proceedings, 39(5), 1329–1331.(热缺血时间的定义与记录。)
Polanyi, M. (1958). Personal Knowledge. Chicago: University of Chicago Press.
Polanyi, M. (1966). The Tacit Dimension. Garden City: Doubleday.
Kano, N., Seraku, N., Takahashi, F., & Tsuji, S. (1984). Attractive quality and must-be quality. Journal of the Japanese Society for Quality Control, 14(2), 39–48.
Illich, I. (1981). Shadow Work. Boston: Marion Boyars.
Durkheim, É. (1893). De la division du travail social. Paris: Alcan.(契约的非契约要素。)
Macaulay, S. (1963). Non-contractual relations in business: A preliminary study. American Sociological Review, 28(1), 55–67.
Cunningham, W. (1992). The WyCash portfolio management system. OOPSLA ’92 Experience Report.
Camerer, C., Loewenstein, G., & Weber, M. (1989). The curse of knowledge in economic settings: An experimental analysis. Journal of Political Economy, 97(5), 1232–1254.
de Holan, P. M., & Phillips, N. (2004). Remembrance of things past? The dynamics of organizational forgetting. Management Science, 50(11), 1603–1613.
Ryle, G. (1949). The Concept of Mind. London: Hutchinson.(知道怎么做与知道那是什么。)
Hutchins, E. (1995). Cognition in the Wild. Cambridge, MA: MIT Press.
十六个公开项目的合并请求模板,取数日期二〇二六年八月十一日,路径见第十二节;逐条编码表见附录。
数据与可复算性说明
第十二节的数据取自公开代码托管平台上十六个大型项目的合并请求模板,取数日期二〇二六年八月十一日,路径公开、可直接重取。四级次序、编码规则与两个假设在取数之前写死存档。样本单位为模板(十六份),可归类条目 68 条,样本量小,因此本节只作描述性使用,不构成假设检验;这是样本结构的直接限制,写在这里而不是留给读者去发现。编码由作者一人完成,未做双人编码与一致性检验——这是本节最实在的一处弱点,逐条编码表附在文末正是为了让复核者可以逐条推翻。
字数与版本
正文约 20,300 汉字。版本:初稿,二〇二六年八月十一日。
人机分工声明
本文的问题由作者提出;三个领域的选取、构念的命名、承重命题的形状与全部判定形式由作者与生成系统在多轮往复中确定;第十二节的取数与统计由生成系统执行,逐条编码由作者判定并复核;文献出处由作者逐条核对,未核实的条目一律不写入。第二十节所述的三层自反结论,适用于本文的写作过程本身、本文的证据、以及本文所属的这一栏。