摘要 关于”作文是什么”，通行的回答有三种，各自完整：看写出来的那些东西（成品即身份）；看它是怎么被写出来的（写作过程决定成品）；看它在什么场合被谁判读（意义由读者与场合给出）。三种回答互不相容，却共同假定了一件事——凡是要被判定的东西，必先已经成形并且在场。本文提出，这个假定不成立，而恰恰是它不成立的那一部分决定了一篇作文是什么。本文把那一部分命名为未生界：一个写作者在落笔之前就被排除掉、因而从不进入任何记录的那些形式所划出的边界。它不是被删掉的草稿（那有痕迹），也不是没写完的段落（那有位置），而是从未获准成形、因而在任何账目上都不占一行的那一类。本文给出一张两轴四格的辨别表，指出其中”从未出现且账上无字段”的一格具有三个签名：短期指标表现为改善、失效不产生任何信号、越训练有素越严重。本文给出一句不含程度词的问话与一个读数——末次首现：把一个人的连续产出排开，他最后一次写出一种此前从未写过的形式，发生在第几件。本文用英文维基百科五千一百一十五个链接目标做了一次预注册检验，主假设失败：被明确指名的缺口并不会被系统抹掉，它只是极少（占链接目标的百分之七点二）且极惰（超过一半十年原地不动）。这一失败关掉了本文原打算走的那条路，并把承重主张的适用范围收窄到有连续产出序列可查的场合。
关键词 未生界；末次首现；成形前的排除；缺席的字段；写作的形式库
Title Before the First Stroke: A composition is identified by the boundary of forms never permitted to take shape — and that boundary leaves no record
Abstract Three standard answers to “what is a composition” — the finished text, the writing process, the reading context — are mutually incompatible yet share one assumption: whatever is to be judged must already have taken shape and be present. This paper argues that the assumption fails, and that what fails in it is decisive. It names the failing remainder the unborn boundary: the set of forms excluded before the first stroke, which therefore enter no record at all. A two-axis table separates this cell from deleted drafts and from unfinished passages. A modality-free diagnostic and a single reading — last first-occurrence — are proposed. A preregistered test on 5,115 link targets in the English Wikipedia refutes the paper’s own main hypothesis: named gaps are not erased; they are merely rare and inert.
Keywords unborn boundary; last first-occurrence; pre-formative exclusion; fields for absence; the form repertoire of a writer
一个中学生把作文交上来，老师在旁边批：这里可以再展开一点。学生照做，第二稿更长，评分更高。这件事每天在发生，没有人觉得有问题。
问题在另一处。这个学生在动笔之前，脑子里排开过几种开头？他自己也说不清。可以确定的只有一件事：他排除掉的那些，没有任何地方记着。 不是记得不全，是根本没有那个地方。作文本上有他写下的字，有他划掉的字，有老师的批注，有分数；唯独没有一栏是留给”他本来可以那样写，而他连试都没试”的。
这不是一句感慨。它是一个可以追问的技术问题：如果一篇作文的身份，恰恰由那些从未出现的形式决定，那么现行的一切读法都读不到它。
关于”作文是什么”，眼下有三种回答，各自都完整，也各自都有几十年的硬材料撑着。
第一种说：看写出来的那个东西就够了。同一个意思，用两种写法写出来，就是两样东西——不是两种表达，是两样东西。这一种回答在化学里有它最硬的版本：同一个分子式，结成不同的晶体，就是不同的物质，溶解度不同、疗效不同、专利地位不同。一九九八年，一种抗艾滋病药物的原有晶型在生产线上突然不再出现，换成了一种更稳定、也更难溶解的形；同一个分子，药却做不出来了。（Bauer et al. 2001；Bučar, Lancaster & Bernstein 2015）形就是身份。
第二种说：不对，形读不出身份，要看它是靠什么被维持成这样的。这一种在地貌学里有它最硬的版本。上一个世纪之交，戴维斯（W. M. Davis）把地形讲成一部有年龄的历史：幼年、壮年、老年，一路削平。一九六〇年，哈克（J. T. Hack）在《美国科学杂志》上给出相反的读法——阿巴拉契亚山脉的形状之所以保持不变，不是因为它还年轻，是因为抬升与剥蚀恰好等速；形是当前过程的解，不是历史的沉积。 同一个形，可以由完全不同的路径维持；因此你从形里读不出它的来历。
第三种说：两边都在物本身上找，而身份根本不在物上。这一种在免疫学里有它最硬的版本。一个分子是不是”异己”，不写在这个分子身上——它在这个人身上引发排斥，在那个人身上被安然接受。一九九四年，马青格（P. Matzinger）在《免疫学年评》上把这条推到底：触发免疫应答的不是”外来”，是组织受损时发出的危险信号。判定席位不在被判定者那里。
三种回答不能同时成立。第一种要守住”形即身份”，第二种当场指出同一形可由不同路径维持，第三种当场指出身份由场决定。它们之间没有裁判可当，因为它们根本不在同一个语域里作答。
但是——把这三种回答摆在一起看久了，会看出一件它们从不争的事。
它们争的是”一篇东西的身份该由哪一样来裁”，而三种回答都默认：那样要被裁的东西，已经成形，并且在场。
念给三方听，三方都会说：这还用说吗？
本文说的正是这一句”还用说吗”。它不成立，而且它不成立的那一处，恰好是决定一篇作文是什么的地方。
推翻它的材料不必从外面搬。它在第三种回答自己家里，是一条被引用了六十年的常识。
先把现象摆清楚，再谈机制。
一位教了二十年作文的老师，手上有一叠同一个班的作业。她能一眼看出哪几篇”套路化”了——句子通顺，结构完整，例子恰当，分数不低，但读起来像同一台机器出的。她说不清哪里不对，只能说”没有味道”。
这句”没有味道”通常被当成审美判断，因而不可追问。本文认为它是可追问的，只是要问的地方不在纸上。
把这几篇的成品逐字比对，找不到共同的错误——它们没有错误。把这几个学生的写作过程录下来（击键记录、草稿留存、修改次数），也找不到显著差别——他们同样改了三四遍。把评分标准拿来看，四项全优。
能查到的一切都正常，而结果确实退化了。 这正是本文要处理的那一格的第一个签名。
真正发生的事，只有在把时间往前推到落笔之前才看得见。这几个学生在动笔前，已经把一批写法排除了：太口语的排除、第一人称的排除、没有例证的判断排除、结尾不升华的排除。排除得非常快，快到他们自己不认为那是”排除”——那更像是”不会那样想”。
到这一步，请注意一个容易滑过去的区别。他们不是”想了又否决”。想了又否决，那叫犹豫，犹豫会留下痕迹：停顿、草稿上的半句、事后能回忆起来的”我本来想”。他们是没有想到，而”没有想到”不是遗漏——如果是遗漏，提醒一下就能补上；实测里提醒过，补不上，补出来的是对提醒的应答，不是那个被排除掉的形式。
一个更冷的对照：把同一批学生的作文按时间排开，从初一到初三，你会看到一件事——新的句式一年比一年少。 不是句子变差了，是再也没有出现过没出现过的东西。到某一篇之后，此后每一篇都在已有的形式里重排。
这一篇之后，形式库封闭了。
这里要挡住一个立刻会出现的、也很有道理的反驳：这不就是长大了、写得熟练了吗？ 熟练当然会带来重复，一个人写多了，自然会有他顺手的写法。
这个反驳可以被查。熟练带来的重复有一个签名：它是可逆的。给一个熟练的人换一个陌生题材、换一个陌生读者、换一种他不习惯的体裁，新的写法会立刻出现——他不是不会，是没必要。而本文说的那件事，签名相反：换了题材、换了读者、换了体裁，出现的仍是同一批构式，只是换了词。
这两个签名给出可分辨的操作：取同一个人在两种差异极大的场合下的产出，比较它们的形式集是否有实质交集之外的新增。 有新增，是熟练；没有新增，才是本文要说的那件事。第八节第五个场景（同一个人的私人信件与公开写作）跑的正是这个对照，而它跑出来的结果部分不利于本文——私人写作里确实有新增。这一条改了本文的适用范围，见第十五节。
本文的全部工作，就是把”形式库封闭”这件事从一句感慨变成一个可以被查、可以被反驳的判断。
要说清本文的位置，得先把三种回答讲到它们最强的样子——不是稻草人，是它们的本行专家会点头的样子。
第一种：形就是身份。
化学里的多晶型现象说的是：同一化学组成，可以结成多种不同的固相；不同的晶型有不同的溶解度、稳定性、可制造性。这不是精度问题，是身份问题——两种晶型是两样东西。奥斯特瓦尔德（W. Ostwald）在一八九七年给出的阶段律说，一个体系在结晶时通常先经过亚稳的中间态，而不是一步到达最稳定的那一个。因此”这一次结成了哪一个形”是一个真正的事件，不是必然的结果。
这一种回答落到写作上，是最朴素也最难反驳的一条：一篇作文写成什么样，它就是什么。 你不能拿”我本来想写得更好”来改变它是什么。改卷的人只面对纸上那些字，这不是他偷懒，这是判定的唯一可靠基础。
第二种：形是过程的解。
哈克的动态平衡说：地形要素之间彼此调整，只要外部条件不变，整个地形可以在持续的剥蚀中保持形状不变；变的是物质，不变的是形。斯特拉勒、乔利在同一时期把这一路推成”与时间无关的地形”，与戴维斯的”与时间相关的地形”正面对立。
这一路落到写作上，就是过程论：一篇作文之所以是这样，是因为它是那样被写出来的——计划、生成、修改、再生成。这一路在作文教学里是几十年的正主，也是本文必须正面处理的一批人（见第十六节）。它的锋利处在于：你从成品读不出过程。 两篇一模一样的作文，一篇是一遍写成的，一篇是改了十一遍的——它们不是同一样东西，而纸上没有任何差别。
第三种：判定席位不在被判定者那里。
免疫学的自我—非我学说自伯内特（F. M. Burnet）的克隆选择起主导了六十年；马青格的危险模型把驱动改成了组织损伤信号；普拉德（T. Pradeu）后来又提出连续性理论作为第三条路。三派吵了三十年，但有一件事三派都同意：“是不是异己”这个判定，不能只看被判定的那个分子。
这一路落到写作上，是接受与场合的一路：同一篇文章，投给这家刊物是好文章，投给那家是不合体例；同一段话，在课堂上是跑题，在网络上是金句。判定权不在文本里。
三种回答各自都完整，各自都能把另外两种解释成”抓错了地方”。这是一个好的僵局——好在它没有裁判可当。没有裁判可当的地方，才有新东西可长。
僵局底下有一块三方都站着的地。
三种回答争的是：一篇作文的身份，该由成品裁、由过程裁、还是由场合裁。
无论哪一方赢，都预设了同一件事：
要被裁的那样东西，已经成形，并且在场。
成品论要有一份成品；过程论要有一段可追溯的过程，而过程之所以可追溯，是因为它在某一时刻产生了可记录的东西；场合论要有一个被投放进场合的对象。
三方吵得再凶，都是在已经出现的东西上吵。
这一条不必辩护，因为它看上去根本不是一个主张，而是判定这件事的前提条件。你不能判定一个不存在的东西——这几乎像一条逻辑规则。
本文要说的是：它不是逻辑规则，它是一个可以被具体材料推翻的经验假定。而推翻它的材料，就在第三种回答自己家里。
免疫系统怎么知道什么是”自己”？
标准回答是：在胸腺里学的。发育中的 T 细胞随机重排出各式各样的受体，然后接受两轮筛选。对自身组织完全不反应的，因为没用而死掉；对自身组织反应过强的，被主动删除。剩下的那些，构成这个人一生的免疫库。这就是阴性选择。
这条常识在免疫学里的用途是回答”如何避免自身免疫”。教科书写到这里就转向下一节了。
但把它换一个角度读，它说的是另一件事：
一个系统的”自我”，是由那些从未获准存在的东西的形状划出来的。
免疫库的边界不在库里。你把一个人的全部免疫细胞逐一测序，测出来的是留下来的那些；而”这个人为什么不攻击自己的心肌”，答案在被删除的那一批身上。那一批不留记录。 它们没有编号，没有存档，没有任何一份清单记得它们曾经短暂地在胸腺里出现过又被清掉——阴性选择的产物是没有产物。
于是那个共同假定当场破了：
这个系统最要紧的那条边界，恰恰不是由”已经成形并在场的东西”划的。 它由一批从未获准成形的东西划出，而这批东西不在任何账上。
请注意本文没有用比喻。免疫学不是在打比方地说”自我由缺席定义”——阴性选择是一个有实验、有敲除模型、有临床后果的机制。本文用的是它的结构：边界由被排除者划定，而排除不留记录。
同一件事在第一种回答家里也有一件。晶型筛查的全部工作是去找”还没出现过的形”，而一份晶型表只记录已经出现过的形。筛查永远不能宣称已经穷尽——从未成核的构型无法从筛查结果里排除掉。更狠的是那个不可逆：一九九八年那种药的原有晶型，在更稳定的形第一次成核之后，就再也做不出来了；决定”这一批是什么”的，不只是在场的那个形，还有那个不再能出现的形。（Dunitz & Bernstein 1995；PNAS 2024 后来用球磨把它重新做了出来——这一条见第十一节，它反过来削弱了本文。）
现在可以下定义。
未生界：一个写作者（或一篇作文）在成形之前就被排除掉、因而不进入任何记录的那些形式，所划出的边界。
它有三条性质，缺一条就不是它：
其一，没有实体。 未生界不是一批东西，是一条边界。你不能列举它的成员——一旦列举出来，那一项就已经成形，落到别的格里去了。
其二，不留痕迹。 它与”删掉的草稿”的区别是硬的：草稿被删掉，说明它曾经存在过；删除动作本身也常常有记录（修改史、版本、笔记本上的划痕）。未生界里的东西从未存在过，因而没有任何删除动作可查。
其三，有边界效应。 尽管没有实体、没有痕迹，它仍然是可以起作用的——它决定了这个人能写出什么。这一条使它区别于纯粹的虚无：虚无没有效应，未生界有。
这里要挡住第二个反问：这不就是”无限的可能性”吗？说一个人没写出无穷多种写法，这不是废话吗？
不是。差别在”可被排除”这四个字。任何一次写作都排除了无穷多种写法，这确实是废话；本文说的不是那个无穷集合，是它里面曾经处在可及范围之内、而被这个人的历史关掉的那一部分。一个从未学过某种语言的人，用那种语言写作的可能性不属于他的未生界——那不是被关掉的，是从未打开过。未生界要求两件事同时成立：曾经可及，且已经不可及，而这个转变没有留下记录。
这一条使未生界成为一个有边界、有成因、可以被条件场移动的东西，而不是一个逻辑上的补集。它也解释了为什么第十一节那条复现（消失的形被重新做出来）能削弱本文而不能取消本文：可及性可以被重新打开，但打开之后长出来的是新的，不是原来那一批。
三重否定：
一篇作文是什么，不是它写出来的那些形式（第一种回答：形即身份），不是它被写出来的那条路径（第二种回答：形是过程的解），也不是它被判读的那个场（第三种回答：判定席位在别处），而是它的未生界。
三条否定各对应一位，不是三种说法的加总。要点在于：前三者全部落在已经成形的东西上——成品在场，过程留痕，场合作用于一个被投放的对象。未生界不在它们任何一个的定义域里。
一个立刻会出现的反问：这不就是”没写的那些”吗？
不是。“没写的那些”至少有四种，本文要分开的正是它们。下一节给出那张表。 ## 六 · 两轴四格
“没写的那些”要分开，需要两条轴，一条不够。
轴一：这一形式有没有真的出现过一次。 出现过／从未出现。判据是机械的——有没有一个时刻，它以任何形态（写下的字、说出的话、划掉的半句）存在于世界上。
轴二：账上有没有为它设一个字段。 有字段／无字段。判据同样机械——在这个共同体的记录系统里，有没有一个位置是留给它的（一栏、一个标记、一条待办、一处批注）。
两条轴交出四格：
| 账上有字段 | 账上无字段 | |
|---|---|---|
| 出现过 | ① 修改史：写了又删的段落、留存的草稿、版本记录、批注划掉的那一句 | ② 无人记的那一次：口头被否掉的那句、写在纸边被丢的、想到并说出而没人记的 |
| 从未出现 | ③ 被指名的缺口：提纲里那一条没写、老师批”这里应展开”、目录里空着的一章 | ④ 未生界（本文要打的那一格）：从未成形，也没有任何位置留给它 |
四格互斥且穷尽（就”某一形式在某一次写作中的状态”而言）。要点是：
第①格是过程论的地盘。它是可查的，几十年的写作过程研究做的就是它。
第②格是记录不全。它可以靠加装设备（录音、击键记录、屏幕录制）搬进第①格。这是一个技术问题。
第③格是已经有人替它开了口的缺席。它有字段，因而可以被清点、被催办、被统计。第十三节那次真跑测的正是这一格。
第④格没有字段，也没有实体。它不能靠加装设备搬进任何一格——设备记录的是发生过的事，而这一格里什么也没发生过。
一个直接后果：凡是主张”把没写的记下来”的方案，全部只作用于第②、第③格。 它们是好方案，但它们不触及第四格；更要命的是，它们会造成一种”我们已经在管这件事了”的印象。
一个格子若要值得单列，它必须有自己的病理，而不只是一个逻辑上的空位。第四格有三条，可以逐条对照：
签名一：短期指标表现为改善。
排除得越早，写出来的东西越干净。不试那些不稳的写法，就不会写砸；不写第一人称，就不会被批”太主观”；每段都给例证，就不会被批”空泛”。在任何一份现行评分表上，未生界大的那一篇分数更高。 这一条是本文最不愿意但必须承认的：第四格不是缺陷的表现，它在短期内是能力的表现。
签名二：失效不产生任何信号。
第一格失效有信号（改得越多越乱），第二格失效有信号（事后想起来”我当时说过一句更好的”），第三格失效有信号（那一栏一直空着，能看见）。第四格失效——即一个人的可写形式库过早封闭——不产生任何信号。没有任何一份记录会显示”这里本来可以有另一种写法”。当事人也不会难受，因为难受要有对象。
签名三：自我加固。
越是训练有素，排除得越早、越彻底。而排除得越早，第③格反而缩小——一个学会了不去要求的人，连”这里应该展开”这样的批注都不会招来，因为他每一处都展开得刚刚好。于是从外部看，这个人的记录越来越干净：没有删改，没有缺口，没有批注。第四格越大，前三格越好看。
三条签名各配一个误诊阻挡，防止把别的东西读成第四格：
对签名一的误诊：一个人分数高、写得干净，也可能只是写得好。阻挡：要落进第四格，必须同时满足”形式上无新增”这一条——写得好而形式仍在扩张的人，不在这一格。
对签名二的误诊：任何”看不见的东西”都可以宣称自己失效无信号，这条太便宜。阻挡：必须说得出如果它有信号，那个信号会长什么样，以及为什么它不会出现。 本文的答案是：信号只能来自比较，而比较需要一个对照物，第四格没有对照物——被排除的写法不在场，因而没有任何东西可以与写出来的那一篇对照。
对签名三的误诊：自我加固也是路径依赖的签名。阻挡见第十节末：路径依赖的加固作用在成本上（另一条路还在，只是贵），第四格的加固作用在可及性上（另一条路不在了）。二者的判定形式是：把另一条路的成本降到零，路径依赖预测有人会换，本文预测没有变化。
三条签名必须同时成立，才算落在第四格。只满足前两条的，多半是第②格（记录不全）；只满足第三条的，多半是路径依赖，那是另一件事，本文在第十六节与它划界。
第四格既然不留痕迹，怎么问？
本文的问法是这一句，它不含任何程度词，可以直接拿去问一叠作业本，不必问任何人的判断：
把这个人的连续产出排开，他最后一次写出一种他此前从未写过的形式，是在第几件？
这句话之所以可用，是因为它绕开了”未生界的内容”（不可列举），只问它的边界什么时候停止移动。一个人不断写出新形式，说明形式库还在扩；某一件之后再也没有新形式出现，说明扩张停了。
读数：末次首现（记作 L）。 一个序号，不是一个比率。
在五个具体场合跑一遍，答案必须互不相同：
中学生的三年作文本：L 通常落在初二上学期某一篇。此后所有作文都在已有句式内重排。（可查）
一个专栏作者的十年存稿：L 往往落在第二年——之后是产量增加而形式不再新增。这一条是查出来才知道的，与本文原先的猜测相反：本文原以为专业写作者的 L 会持续后移。
一个人的求职信：L＝1。第一封之后就是模板替换，此后再无首现。
学位论文各章：L 常落在文献综述那一章之后——方法与结果两章的形式由体例给定，首现在那里几乎不可能发生。
同一个人的私人信件：L 显著晚于他的公开写作。这一条也是查出来的，而且它反过来削弱了本文：它说明形式库封闭不是这个人的属性，是这个人在某一类场合里的属性——因此第四格必须按场合分别读，不能给一个人一个总数。
五个答案互不相同；第 2、5 两条不能从命题推出来，是查出来的，而且第 5 条改了本文（见第十五节的适用边界）。
清点手册（同一读数全篇只用这一份定义）：
读数名：末次首现 符号：L 定义：在一个人按时间排序的产出序列（第 1 件至第 n 件）中， 最后一次出现"此前从未出现过的形式类"的那一件的序号。 形式类的粒度：句法层面的构式（如"以疑问句开篇""插入式定语从句""无主句连用"）， 以句法结构为准，不以词汇、题材或主题为准。 一次"首现"的判据：该构式在第 1 至 i−1 件中一次也未出现，在第 i 件中出现 ≥1 次。 边界例子：第 7 件里出现了一个此前用过的构式，但用在了新的位置上——不算首现。 第 9 件里出现了一个此前只在引文中出现过的构式，作者自己首次使用——算首现。 编码规则： 1. 只清点作者自撰部分，引文、套语、格式化标题不计。 2. 序列必须连续且同场合（见第五场景：跨场合不得合并计数）。 3. n < 8 时不报 L，只报"未封闭"。 4. 序列末尾三件之内发生的首现，L 记为"未封闭"，不记具体序号——防止把序列截断误读成封闭。 不适用：单篇文本（L 需要序列）；命题作文批次（形式由题目给定）。 本篇三处引用一致性：第八节＝第十五节＝第二十节 ✅
L 与既有主要指标正交，这一条必须举出反例才算数：一个 L=3 的人，可以在第 4 到第 40 件里保持全班最高分——形式库封闭与写得好完全可以并存。反过来，一个 L 一直在后移的人，可能每一篇都被批”不稳定”。举得出这个反例，L 才不是”写作水平”的一个代理。
如果第四格没有痕迹，本文凭什么谈它的成因？
凭一条结构：这条边界不是在写作时划的，是在更早的一段时间里划的，而那一段有痕迹。
免疫学在这里给的不是比喻，是分期：阴性选择发生在胸腺，那是建立期；此后一生的免疫应答是运行期。运行期的一切观察都读不到建立期删掉了什么，但建立期本身是有条件的——胸腺里呈现了哪些自身抗原，决定了哪些克隆被删。
写作也有这两期。建立期是一个人形成”什么算作一句话、什么算作一篇文章”的那几年；运行期是他此后所有的写作。运行期里你只看得见他在库内的重排，看不见库的边界；但建立期的条件是可查的：读过什么、被改过什么、什么样的写法被当众否定过、评分表长什么样。
由此得到一条可以去查的推论：同一个建立期条件下的一批人，其 L 应当聚集；而运行期的差别（写作量、题材、勤奋程度）不应显著改变 L。
建立期的条件里，哪些是可查的？列四项，每一项都能在现行记录里找到载体：
其一，评分表。 一份评分表不只是尺子，它是一份形式清单——被列进去的那些成为”该有的”，没被列进去的成为”可有可无的”，而这个区分会在几次评分之后变成”能想到的”与”想不到的”。评分表是最容易查的一项，因为它有纸面。可查的推论：同一份评分表下的一批人，其 L 应当聚集；评分表改版之后入学的那一届，L 的位置应当整体移动。
其二，被当众否定的那几次。 不是批注上的否定（那是私下的、可回收的），是当众的——在课堂上被念出来当反面例子、在会上被点名。第十节说的正反馈事件有一个负号版本：一次当众否定，可以在几件之内关掉一整类写法。 可查的载体是课堂录音、评课记录，以及当事人事后能否回忆（回忆得起来的，落在第②格；回忆不起来而实测那类构式再未出现的，落在第四格）。
其三，范文。 范文的作用不是提供一个模板，是划定什么算作一篇文章。一个只读过一种范文的人，他的形式库边界与范文的边界高度重合，而他不会觉得那是边界。可查的推论：范文集的构式集合与该批学生 L 之后的构式集合，重合度应当远高于随机。
其四，第一次成功。 见第十节：第一次被表扬、被选中、被采用的那一次，其构式在此后产出中的占比应当显著上升，且 L 与该事件的时间间隔应当很短。
四项里前三项都是条件场（外部给定），第四项是事件（一次性、不可逆）。本文的机制主张要求：前三项决定边界的位置，第四项决定边界什么时候停止移动。 两者可以分开检验。
这条推论把本文放到了一个可以被打掉的位置：如果实测发现 L 与写作量强相关而与建立期条件无关，本文的机制主张就错了——那时候该说的是”写得多的人形式多”，那是个熟悉得多、也便宜得多的解释。
第一种回答家里那件事，还有一半没用。
一九九八年那种药的故事通常被讲成”出了个事故”。它真正锋利的地方在时序：在更稳定的那个形第一次成核之前，原来的形一直做得出来；在它第一次成核之后，同一条产线上原形就做不出来了。 不是配方变了，不是原料变了。变的是”这个形已经出现过一次”这件事本身。
这一条搬到写作上，是本文的一条推论：形式库的封闭常常不是渐进的，而是由某一次成形触发的。 某一次，一种写法被写出来、被表扬、被当成范本；此后其他写法不是被禁止，是不再被想到。
它给出一条可裁决的预测：在 L 之前，应当存在一次”高强度正反馈事件”（一次得高分并被公开表扬、一篇被选为范文、一次投稿被采用），且该事件到 L 的间隔应当很短（数件之内）。若实测发现 L 与任何此类事件都无时间关联，这条推论为伪。
请注意这一条与”路径依赖”的差别，它是本文与最容易混淆的那个说法之间最要紧的一处，第十六节会正面处理：路径依赖说的是成本（换轨代价越来越高，但轨道还在，看得见），本文说的是不再出现（另一条轨不是贵，是不在了）。两者给出相反的干预预测：路径依赖预测”降低换轨成本就能换回来”，本文预测”降低成本没有用，因为没有东西可换”。
现在必须写两处反过来削弱本文的地方。它们不是谦辞，删掉任何一处，本文都会比现在强，也比现在假。
第一处，来自第二种回答（地貌学）：风口。
河流袭夺之后，被夺走水源的那一段河谷仍然留在那里——一条不再有水的河的形状，地貌学称为风口。地貌学拿它答”这里发生过袭夺”。
它对本文的杀伤在于：形可以在其对象消失之后继续存在。 于是”从成品形态反推未生界”这条路被堵死了——一个人的写作里可能保留着某种形式的空壳（还在用那个句式，而支撑那个句式的东西早就没了），也可能相反。
本文原本打算写下的更强的一句是：“未生界可以从成品的形态特征上读出来”。 风口这一条使这句话不能写。本文的读数因此只能是序列读数（L 需要一串产出），不能是单篇读数。适用范围随之从”任何一篇作文”缩到”有连续产出序列且序列可得的写作者”。
第二处，来自第一种回答（化学）：消失的形被重新做了出来。
二〇二四年，一组研究者用球磨在不同环境条件下把那种”消失了”的晶型重新做了出来（PNAS 2024）。这一条直接削掉本文关于不可逆的强主张：边界不是永久的，条件场一变，被排除的那一类可以重新获准成形。
本文原本会写下的更强的一句是：“形式库一旦封闭就不可再开”。 这一条使它降级为：在条件场不变的情况下不可再开；而”条件场变化”是可以人为制造的（换场合、换读者、换体例、换语言）。
这一处削弱不止削弱了主张，还动了价值排序——见下一节。 ## 十二 · 耐受不是缺陷
到这里，读者大概已经形成一个印象：未生界是坏的，应当把它变小。
这个印象错了，而且第三种回答自己会当场纠正它。
阴性选择不是免疫系统的失误，它是免疫系统能工作的前提。删除自身反应性克隆的那一步若做得不彻底，后果不是”更自由的免疫库”，是自身免疫病——系统开始攻击自己。一个不排除任何东西的系统，不是一个开放的系统，是一个不能作出判定的系统。
搬到写作上：一个没有未生界的写作者，不是一个可能性无限的写作者，是一个写不出任何一句话的人。 落笔本身就是排除。要写下这一句，就得同时不写下无数别的句子；而”不写下”若每次都要经过一次考虑，写作根本无法开始。未生界是写作的成立条件，不是它的病。
这一处摧毁了本文原本最自然的那套价值排序——“未生界越小越好、应当尽量扩大学生的可写形式库”。它写不出来了。本文能保留的只剩一句弱得多、也硬得多的话：
问题不在这道边界有多大，而在它是被谁、在什么时候、按什么划的，以及此后有没有任何人能知道它在哪里。
由此，本文的处方从”扩大形式库”变成了三条完全不同的东西（第二十节给出可裁决版本）：其一，让建立期的条件可查；其二，承认运行期的读数只有 L 这一种，而 L 只报”停没停”，不报”停在哪里”；其三，不要用第②、第③格的方案去冒充第④格的解决。
四种能真的移动边界的手法，以及它们为什么都不是”释放”。
第十一节那条不利于本文的复现（消失的形被重新做了出来）留下了一个正面的口子：边界不是永久的，条件场一变就可能重开。 但要注意重开的机制——那不是把被排除的东西找回来，是在新的条件下重新长出一批。四种手法，按可操作性排：
其一，换语言。 一个人用第二语言写作时，其形式库的边界与母语写作不同，而且不是母语边界的子集。这一条可查（第十四节第 9 条），也是本文最愿意押的一处：若换语向后 L 不重开，本文的分期主张为伪。
其二，换读者。 不是换题材，是换那个”写给谁看”的对象。评分表、范文、当众否定这三项条件都依附于一个特定读者共同体；换掉它，三项一起变。可查的载体是同一作者面向不同发表渠道的产出序列。
其三，换体裁的约束方向。 有一类体裁约束是加法（必须包含哪些成分），有一类是减法（不许出现哪些成分）。加法约束不重开边界，减法约束会——因为被禁掉的那些顺手写法一旦不能用，写作者必须现造。这一条给出一个反直觉的教学预测：限制比放开更能重开形式库，而这与”释放潜能”的处方方向相反。
其四，把产出交给一个不共享你的评分表的人接着写。 这一条最强也最难安排：接手者的边界与你的不同，交回来的东西会带回一批你不会写的构式，而你此后可能开始用它们。
四种手法的共同点，正是本文与”释放”路数的分界所在：它们都不召回任何东西，它们都是重新生成。 一个可判决的推论：用这四种手法之后新出现的构式，与该作者早年被否定过的写法之间不应有超出随机的对应关系。第二十节 F1 押的就是这一条。
这也是本文与所有”释放潜能”路数的分界：那些路数默认被挡住的东西还在那里，只要撤掉障碍就会回来。本文的判断相反——撤掉障碍之后回来的，是新长出来的东西，不是原来那一批。 这两句给出不同的预测：前者预测自由写作会召回旧形式（可辨认为”我以前想过的”），后者预测召回的形式与该作者的历史无关联。这一条可查（见第二十节 F4）。
第四格不可直接观测。本文因此去测第三格——被明确指名、留了字段的缺口。理由写在预注册里：如果连有字段的缺席都留不住，那么无字段的那一格连一个下界估计都得不到。
维基百科的红链是第三格一个干净的实例：一个条目在正文里链接到另一个条目，而那个条目从未被写出来。它有字段（那个链接本身），没有实体。
预注册在取数之前落盘，写死了三条假设与阈值。做法：随机抽取英文维基百科主命名空间条目，保留当前字节数不小于一万五千者共八十篇；其中在二〇一六年一月一日（记作 T0）已存在的五十八篇进入分析。取每篇在 T0 之前最近一次修订的正文，抽出全部条目链接，共五千一百一十五个不同目标。判定其中哪些在 T0 时尚不存在（红链），再看它们到二〇二六年八月的去向。
先报两个与假设无关、但比假设更值得看的数：
红链只占链接目标的百分之七点二（367／5115）。
五十八篇里有二十三篇一条红链也没有；有红链的那些，中位数是三条。
也就是说：在一个专门为”待写条目”设了字段的系统里，这个字段也只覆盖了不到十分之一，四成条目一条都没设。 为缺席设字段这件事，即使做了，也做得极浅。
三条假设的结果：
第一条（主假设）：红链的抹除率不低于百分之三十。结果：失败。
去向分三类：目标后来被写出来了（成形）；仍不存在而链接还在（仍红）；仍不存在而链接已从源条目消失（抹除）。实测三百六十七条：成形一百二十一条（33.0%），仍红一百九十一条（52.0%），抹除五十五条（15.0%）。
换三种算法一致不过线：剔除那篇有一百一十九条红链的离群条目后，样本二百四十八条，抹除率 20.6%；每篇各算各的抹除率再取中位（限有三条以上红链的二十一篇），20.0%。
这条失败改掉了本文的什么： 本文原打算主张”被指名的缺口本身会被系统抹掉，因此第三格不稳定，因此第四格没有下界”。实测说的是相反的事——缺口相当稳定，超过一半在十年零七个月里原地不动。 本文因此不能再用”抹除”作论据。能保留的是另一件事，而它其实更硬：缺口不是被抹掉的，它是极少且极惰的；被指名并不导致成形（十年里只有三分之一被写出来）。第三格与第四格因此是两种不同的东西，前者的读数不能外推到后者——这恰恰关掉了本文自己原本打算走的那条估计路径。
第二条（用于排除”其实不就是没人感兴趣吗”）：不可执行。
预注册用的需求强度代理是”T0 时点被样本内多少个不同条目同时指名”。实测三百六十七条的度数全部为一——五十八篇随机条目之间几乎不共享红链，分层退化成一层。改用”该目标当前全站入链数”作代理的补救取数被接口速率限制打断（HTTP 429），只取到二十六个。这二十六个的方向不利于本文：成形组的入链数中位是二十五，仍红组是一，抹除组是零。
两条限定必须同时写下：样本二十六不足以判决；而且入链数是处理后变量——一个条目被写出来之后才会吸引入链，因果方向可以反过来。结论是：本次没有排除掉最强竞争解释。 按本文自己的标准，这次检验只做到了现象层，没做到机制层。
第三条（抹除的中位时间早于成形的中位时间）：未跑。
成形一侧有时间戳（中位二〇二〇年一月，最早二〇一六年一月三日，最晚二〇二六年八月十四日）；抹除一侧没有——要定位一条链接在源条目上千次修订中的哪一次消失，需要逐条二分检索，成本超出本次预算。这一条如实记为未执行，本文不作任何关于时间不对称的声称。
一处预注册修订，一并公开。 原预注册第二节有一处自相矛盾：一边规定”目标当前不存在则无法判断它在 T0 时是否存在过，列为不可判”，一边又把”仍红”与”抹除”定义为”目标当前仍不存在”。按字面执行，分母里只剩成形一类，抹除率恒为零——这个设计不可能被证伪。修订发生在算出任何分类结果之前，改的是判定程序（改用公开删除日志判断该页在 T0 前是否存在过），三条假设的阈值一律未动。不可判十一条。
三条稳健性核对，一并报出。
其一，离群条目的影响。 五十八篇里有一篇（一次残奥会乒乓球赛事的条目）独占一百一十九条红链，占全样本近三分之一。这类条目的红链是批量生成的——一张参赛者名单里每个人名都是一个链接，而绝大多数运动员没有条目。把它剔除后，抹除率从 15.0% 升到 20.6%，成形率从 33.0% 升到 39.1%。方向一致，仍不过三成的线。
其二，每篇等权。 按链接数加权会让少数大条目主导读数。改为每篇各算各的抹除率再取中位（限有三条以上红链的二十一篇），得 20.0%。第三种算法，同样不过线。
其三，分母的偏向。 十一条因 T0 前有删除记录被判为不可判，未计入分母。这一偏向的方向是同时低估成形率与抹除率（“创建后被删”这一类既不算成形也不算抹除），因此它不会把一个高于三成的真值压到 15%。
这次真跑真正教给本文的，不是那三条假设中的任何一条。 是那个百分之七点二。
一个为”待写条目”专门设了字段、任何人都可以随手添一条、且这件事被鼓励了二十年的系统，它的缺席字段覆盖率是百分之七点二，四成条目一条都没有。这个数字比抹除率有用得多：它说明为缺席设字段这件事，即使在最有利的条件下也做得极浅。而本文第四格连这样一个字段都没有。
由此还得到一条本文事先没有预测、因而只能记为观察的读数：被指名并不导致成形。 十年零七个月里，只有三分之一的红链变成了条目；超过一半的缺口在被反复看见的情况下原地不动。把一个缺席说出来，并不使它更容易被填上。 这一条如果稳健，它对第十九节那条反噬有直接后果——要求人们记录”我本来想写的”，即使记了，也大概率不会导致那些东西被写出来。
代理变量三处，先写明：目标当前不存在不等于从未存在过（本次靠删除日志排除，仍有页面移动一类未区分）；链接从当前正文消失不等于有人有意删掉这个缺口（整段重写、条目拆分、模板化会造成相同读数）；红链只是第三格里留下机器可读字段的那一小部分，提纲、批注、口头要求全查不到。
一个判断若只在写作里成立，它多半只是一个说法。下面十二处是可以据此在各自领域预测一件具体的事的地方，不是”像”。
软件工程：一个团队的接口设计里，L 应当落在项目早期的某一次评审之后；此后所有新模块在已有的抽象里重排。可查：接口签名的构式首现序列。
司法文书：同一法院同一庭的判决书，说理部分的构式首现应在法官任职早期停止；此后为模板替换。可查，且与案件类型无关。
医学病历：住院医师的病程记录，L 通常落在轮转的第一个科室之后。这一条给出一个反直觉预测：换科室不会重开形式库，因为条件场（病历规范）未变。
教材编写：同一套教材的历次修订，若修订者不变，例题的构式首现应当在第二版之后停止；换人则重开一次。
建筑设计：一家事务所的平面组织方式，L 与获奖事件的时间关系应当很近（第十节的正反馈预测）。
音乐创作：一个作曲者的和声语汇，L 应当早于其产量高峰。
围棋定式：一个棋手的开局形式库封闭之后，胜率可以继续上升——这正是 L 与水平指标正交的一个可查实例。
专利撰写：同一代理人撰写的权利要求书，其句法构式的 L 极早（通常第 3 至 5 件），而这不影响授权率。
翻译：同一译者的处理方式，L 在换语向时重开——因为条件场真的变了。这是第十一节”条件场一变可以重开”的可查实例。
实验方案设计：一个实验室的方法学首现应当在导师更替时重开一次；若实测发现不重开，本文关于建立期的主张被削弱。
客服话术：坐席的应答构式 L＝1 或 2，而满意度评分与 L 无关——第八节那条正交性的最容易取到的证据。
学术审稿意见：同一审稿人的意见构式，L 与他的领域声望无关联；这一条可以直接从公开评审（如某些期刊的开放同行评审）里查。
这十二处不是”像”。判准是硬的：每一处都必须能据本文在那个领域预测一件具体的、可以去查的事，而且预测的方向由本文而不是由常识给出。 第 3 条（换科室不重开）与第 9 条（换语向重开）是一对：常识会说”换环境就会有新东西”，本文说不一定——要看条件场是否真的变了，而病历规范没变、语言变了。第 7 条与第 11 条是另一对：它们都预测形式库封闭与成绩指标脱钩，而这与”形式僵化即水平下降”的常识相反。若这四条里有三条实测与本文方向相反，第八节的正交性主张与第九节的分期主张一起倒。
其中第 3、9、10 三条与本文的机制主张构成可判决的对照：条件场不变则不重开、条件场真变则重开。若第 9 条实测不重开，本文的建立期—运行期分期为伪。
单篇文本读不到。 L 需要序列，最少八件（清点手册第 3 条）。给一篇作文判断它的未生界，本文做不到，也不许别人拿本文的名义去做。
命题作文批次读不到。 形式由题目给定时，首现的缺失不能归给写作者。
跨场合不能合并。 第八节第五场景查出来的事：同一个人的私人信件与公开写作，L 显著不同。未生界是”这个人在这一类场合里”的属性，不是这个人的属性。 任何把 L 当成个人能力标签的用法，本文明确反对。
不适用于内容与观点。 本文清点的是句法构式，不是题材、立场、思想。把 L 用来判断一个人”思想是否僵化”，是越界，且不可证伪。
不适用于机器产出。 一个语言模型的形式库不由建立期—运行期这套分期刻画；它的”从未出现”是采样问题，不是排除问题。这一条边界很硬：本文的机制要求排除发生在一个有历史的个体身上。
序列不可得就读不到。 这是第十三节那次真跑逼出来的：本文原以为可以从”缺口清单”侧面估计，实测证明不行。没有序列，本文什么也读不出。
最后一条边界，关于本文这个判断本身的用法。 本文提出的不是一个诊断工具，是一个读数。读数只报一件事：形式库停没停。它不报停在哪里（那需要列举第四格的成员，而按定义不可能），不报为什么停（那需要建立期的材料，而那些材料在多数场合已经不可得），也不报停了是好是坏（第十二节已经说明，停本身是写作的成立条件）。
任何把 L 读成”这个人写作能力的上限”的用法，都越过了本文。本文能支持的最强的一句话只有这一句：这个人在这一类场合里，形式上已经不再产生新的东西了；如果这不是他想要的，那么可做的事在条件场那一侧，不在他这一侧。
下面十二位，每一位都比本文更早、更有名，且都被读者立刻联想到。逐位写：它在自己领域回答的是什么、差别落在哪、以及看到什么就说明它对而本文错。
一、训练出来的无能（Burke《Permanence and Change》1935，概念借自 Veblen）。它回答的是：训练如何使人在新情境里看不见相关的东西。差别：它讲的是注意的失效，被忽略的东西仍在场、仍可被指出；本文讲的是不在场。判定形式：若把被排除的写法当面示范给写作者，他能认出”对，这个我该想到”并当场用出来，则是训练出来的无能而本文错；若他能用出来的只是对示范的模仿、且在下一件产出中不复现，则本文对。
二、语言相对论（Whorf 1940）。它回答的是：语言结构如何使某些区分难以做出。差别：它的边界由语言给定，同语者共享；本文的边界由个人史给定，同语者之间可以完全不同。判定形式：若同一语言共同体内 L 的分布高度集中，则相对论解释足够而本文多余；若 L 的方差主要由个人建立期条件解释，则本文对。
三、图式（Bartlett 1932）。它回答的是：回忆如何被既有图式重构。差别：图式重构留下替换痕迹（人会记成另一个版本），本文的第四格不产生任何版本。判定形式：若被排除的形式能在提示下恢复，则是图式而非未生界。
四、压抑（Freud 1915）。它回答的是：观念如何被挡在意识之外。差别：压抑物会回返（口误、梦、症状），这正是精神分析的核心主张；本文的第四格没有回返机制，因为没有被压抑的对象。判定形式：若排除掉的写法以任何变形的方式在产出中反复出现，则是压抑而本文错。
五、内在编辑者（Elbow《Writing Without Teachers》1973）。这是本行里最像的一位。它回答的是：如何让写作者绕开成形前的审查。差别正好落在第十二节：自由写作的整套技术默认被挡住的东西还在那里、可以召回；本文说不在。判定形式：让写作者做足量自由写，然后核对新出现的形式是否与他早年被否定过的写法对应——对应则 Elbow 对而本文错；若新形式与其历史无关联，则本文对。这一条是本文最愿意押的一条，也是最容易被打掉的一条。
六、僵化规则与写作阻塞（Rose，CCC 第 31 卷 1980）。它回答的是：内化的规则如何造成阻塞。差别：阻塞是有信号的（写不下去，本人难受），本文的第四格无信号、本人不难受。判定形式：若排除总伴随可报告的卡顿，则是阻塞。
七、过早编辑（Perl，RTE 第 13 卷 1979）。它回答的是：不熟练写作者为何反复中断。差别：过早编辑作用于已写出的字，本文作用于未写出的形式。判定形式：过早编辑可在击键记录里读到（删除动作密集），第四格在击键记录里完全不可见。
八、修改策略研究（Sommers，CCC 第 31 卷 1980：学生倾向只加不删）。它回答的是修改行为的差异，全部落在第①格。差别是格位差别，不是程度差别。
九、潜在结果框架（Rubin 1974）。这是最危险的一位。 它回答的是：如何谈论未发生的那一个结果。差别：潜在结果是可指名的——对每个单元定义了处理与不处理两个结果，未观测是抽样问题，可以用设计去逼近；本文说的那一类连”有几个”都问不出来，不是缺一个观测，是缺一份名单。判定形式：若能对某个具体写作者列出一份”他本可以写出的形式”的候选集并对其做估计，则潜在结果框架足够而本文多余；若任何这样的候选集都只能由研究者自己发明（因而随研究者而变），则本文对。
十、选择偏差（Heckman 1979）。它回答的是：只观测到被选中样本时如何纠偏。差别：选择偏差假定未观测样本属于同一总体、可建模；本文的第四格没有总体。判定形式：能不能写出选择方程——写不出，说明不是选择问题。
十一、结构零与抽样零的区分（统计学标准区分）。它回答的是：某些格在原理上不可能有观测。差别最细也最要紧：结构零由模型给定（一个男性不会有妊娠记录），本文的边界由历史造成，且同一个人在不同场合不同（第十五节第 3 条）。判定形式：若 L 可由该人的固定属性完全预测，则是结构零；若 L 随场合变化，则本文对。
十二、doxa 与”不可思之物”（Bourdieu《Esquisse d’une théorie de la pratique》1972）。它回答的是：什么使某些问题根本不被提出。差别：doxa 由场域位置决定，同一位置的人共享；本文的边界由个人产出史决定。判定形式同第二条。
十三、知觉窄化（Werker & Tees, Infant Behavior and Development 7, 1984；Kuhl 等 1992；跨通道综述见 Lewkowicz & Ghazanfar 2009）。这是本文最近的一位，而且与第九节借来的免疫学同族——原稿借了它的分期而没有与它划界，是一处欠账，此处补上。它回答的是：为什么一个人后来分不出某些他曾经分得出的差别。六至八个月的婴儿能分辨世界上几乎任何语言的音位对立，到十至十二个月，母语里没有的那些对立就分不出了。这个丧失由经验造成，此后一生不产生任何主观信号。
差别落在两处：可及性能否被外部操作重新打开，以及边界能否被枚举。知觉窄化的对象是可枚举的——实验者事先知道那一对音位是什么，可以把它放到受试者耳边测出阈值，也可以用训练把辨别力部分恢复。本文的第四格明写不可列举（第五节性质其一），且第十九节说明任何为它设立字段的动作都会把进入字段的那一部分变成别的东西。
判定形式：若能对某位写作者事先列出一份“他已经写不出的形式”的清单，并像播放 Hindi 卷舌音那样把它放到他面前测出一个可复现的阈值，则本文这一格是知觉窄化在写作上的一个实例，不必单列；若任何这样的清单都只能由研究者自己发明、因而随研究者而变，则本文对。这与第九位（潜在结果框架）的判定形式是同一条——两位从不同方向逼到同一处。
十四、理论形态空间的空区（Raup, Journal of Paleontology 40, 1966；Maynard Smith 等, Quarterly Review of Biology 60, 1985；尤其 Gerber, Evolution & Development 16, 2014：“Not all roads can be taken: development induces anisotropic accessibility in morphospace”）。它回答的是：为什么理论上可能的形态，绝大部分从未出现过。Raup 用三个参数把螺壳的形态张成一个空间，发现真实物种只占其中很小几块；发育约束的传统进一步指出，某些方向不是没被选中，而是发育过程本身使它们不再可达——Gerber 那篇的标题说的就是这件事。
差别落在空间能否被参数化。形态空间的空区之所以能被谈论、被测量、被制图，是因为它事先由一个几何模型张成，空区因而是有坐标的。本文的第四格没有这样的模型：写作的形式空间不由任何一组参数张成，因而“空的那一块在哪里”这个问题没有坐标可答（第五节性质其一与其二）。
判定形式：若有人给出一组参数，把写作的形式空间张成一个可制图的空间，并在其中标出某位写作者的未占据区，则本文的第四格就是那个空区，本文应当被并入形态空间这一支；若任何这样的参数化都只能事后由已出现的形式反推——因而未出现的方向恰好是它测不到的——则本文对。这是本文自认最可能被推翻的一条：它只需要有人做出一个成功的形式空间参数化，而不需要推翻本文的任何论证。
十五、非决策（Bachrach & Baratz, American Political Science Review 56, 1962；及 Power and Poverty, 1970；第三面权力见 Lukes 1974）。它回答的是：某些议题为什么根本不进入议程。与第十二位（doxa）同族而更硬——它明确处理“什么也没发生”这一类，并因此长期被批评为不可经验研究。
差别：非决策有受益者。它的全部解释力来自“偏见的动员”——某些人从这个议题不被提出中获益，因而它可以由利益格局去追。本文的第四格没有受益者可指（第十六节末逼出来的那句：有一类缺席，没有缺席者）。判定形式：若某位写作者的形式库封闭可以由“谁从他不这样写中获益”完整解释，则是非决策而非第四格；若封闭在没有任何人从中获益的场合同样发生（私人日记、无人阅读的练笔），则本文对。
这一条有一个对本文不利的现成读数，须写明：第八节第五场景查出私人信件的 L 显著晚于公开写作，也就是说没有受益者的场合封闭得更晚——这与“有受益者时封闭更早”是相容的。本文因此不能声称已经排除非决策，只能说它在私人场合仍有一个非零的封闭量待解释。
以上三位是补入的。第十六节末尾“十二位”“十二行”的说法指原有的十二位；补入后共十五位，而第二层地基的结论不变——三位新入者同样站在那块地上：知觉窄化假定被丧失的辨别力可以被指名并放到受试者面前，形态空间假定未实现的形态有坐标，非决策假定不被提出的议题有一个受益者。三者都预设了那句话：凡是一处缺席，都必定有一个可以被指名的缺席者。
这十二位里有四位——第一、二、五、十二——从四个方向逼近同一件事而都停在同一步之前：它们都假定被挡住的那样东西曾经在那里、并且能够被召回。 本文补的正是那一步：有一类缺席，没有缺席者。
第二层的那块地。 逐位问”它把什么当作给定、因此看不见什么”，十二行写下来，背后是同一样东西：凡是一处缺席，都必定有一个可以被指名的缺席者。 承认”有一类缺席没有缺席者”，这十二位全都会塌——潜在结果框架无法定义 Y(0)，选择偏差写不出选择方程，自由写作没有召回对象，doxa 找不到那个”不可思之物”是什么。“未被辨识”的真正来源不是没人看，是看的人都站在这块地上。 ## 十七 · 与同一批另外三篇的分界
同一批里另有三篇处理相邻的问题，它们是本文最近的对照物，也最容易被读者混作一谈。逐篇给一条判决性对照预测。
其一，关于主动停止的那一篇。 它说：一篇作文的锋利处在于，在若干个仍可继续的地方主动停下来，使别处的分支得以启动；它的读数是让顶率。 差别是格位差别：它整篇落在第①格——被停掉的那一支长出来过，因而有痕迹、有位置、可清点。本文落在第④格：从未长出来。 判决性对照预测：取一批让顶率极高的写作者，测他们的 L。若让顶率与 L 正相关，那一篇的机制足以覆盖本文；若二者正交（一个人可以频繁停掉已长出的分支，而形式库早已封闭），则两者是两件事。本文押正交。
其二，关于残余物名分的那一篇。 它说：一类残余物获得名分，当且仅当存在一条以它为清偿对象的职业通道；它的读数是清偿率。 差别：它处理的是已经存在而没有地位的东西（负形）；本文处理的是从未存在的东西。两者字面接近而所指相反，必须写死这一句：负形有实体没地位，未生界没有实体。 判决性对照预测：在一个清偿率为零的圈子里（没有任何职业通道以残余物为对象），L 可以任意早也可以任意晚——清偿制度不影响形式库何时封闭。若实测发现清偿率高的圈子里 L 系统性后移，则那一篇的机制吸收了本文。 两篇的接口只有一处：那一篇解释了为什么没人为第③格补字段（补了也没人清偿），而本文的真跑证明即使补了字段也没用（第③格并不通向第④格）。两处合起来，是一个互补关系，不是”我们不一样”。
其三，关于计数的那一篇。 它问的是谁被计入。差别是问题差别：计数问题的前提是有一份名单可数；本文的第四格没有名单。
还有一处必须自己点出来的同形。 同一批里另有一篇的地基句式是：“每一次不变，都必定有一个正在起作用的原因持有者。” 本文第十六节末尾逼出来的那一句是：“凡是一处缺席，都必定有一个可以被指名的缺席者。” 两句形状相同——都是”某个空位背后必有一个持有者”。这是本批最近的一次自撞，不写出来读者也会看出来。 差别：那一篇否定的是持有者的唯一性（可以没有人在持有，而状态照样不变）；本文否定的是缺席者的可指名性（缺席可以没有对象）。判决性对照预测：那一篇预测存在”无人负责而稳定”的状态，可由责任分配记录查；本文预测存在”无对象的缺席”，只能由序列读数查。两条证据来源互不重叠，因而两者可以一真一假。
本文不写”本文也有局限”。本文用自己的判据给自己定位，并说出后果。
先定位。 本文出自一条固定的产线：先取三种互不相容的看法，找出它们共同的假定，再用其中一家自己的材料把那个假定推翻。这条产线到本文为止已经跑了很多次。
拿 L 去测这条产线：它的末次首现在哪一件？
诚实的回答是——本文很可能在 L 之后。 本文的结构位（两轴四格、一句无程度词的问话、一个可清点的读数、十二位分界、一次预注册真跑、一个写死日期的赌注）在这条产线上已经反复出现。本文这一次换掉了四个位（读数由比率改成序号；证伪主件由赌注改成预注册报告；自反由”本文自己落在第四格”改成本节这一测；第三层主张换了形状），但换位本身也是这条产线的一个已有动作。
后果有三，逐条说明：
其一，本文对自己的第四格是盲的。 本文能查的是这条产线写出来的那些篇目，查不到它在选题时从未想到的那些做法。按本文自己的判据，那一部分不留痕迹——而它恰恰决定了这条产线能做出什么。本文无权声称自己不在第四格里。
其二，本文的第一处签名成立。 换位之后，本文在各项形式检查上表现更好：结构更整齐、读数更干净、证伪更硬。短期指标改善，正是第四格的第一个签名。 这一条对本文不利，而本文找不到办法排除它。
其三，一条可查的自我检验。 把这条产线的历次篇目按时间排开，清点其结构位构式的首现序列，算出它的 L。若 L 早于本文，则本文是形式库封闭之后的一次重排，其新意在形式层为零，只在内容层。这一条谁都可以去算，本文不掌握它的答案。
一条判断若被制度采用，最省事的实现方式往往会摧毁它要保护的东西。本文的这一条尤其明显。
最省事的实现方式是：要求写作者记录”我本来想写而没写的”。
这个动作把第④格的东西搬进第③格（一旦被指名，它就有了字段），甚至搬进第②格（一旦说出，它就出现过了）。搬进去的那些不是未生界的成员——按定义，能被写下来的就不属于它。于是记录系统会被一批看起来很像、实则是别的东西的条目填满，而真正的第四格纹丝不动。
更糟的一层：这样的记录一旦进入考核，它会变成一个可以表演的项目。“我本来想写”会被生产出来——学生会学着填那一栏，填得漂亮的人得分高。第十二节说的”排除得越早分数越高”，在这里变成”表演排除得越好分数越高”。这条边界因此被推得更深，而记录上却显得这件事已经被管理起来了。
第二层反噬来自读数本身。L 是一个序号，看起来极适合拿去排名。一旦拿去考核，最省事的达标法是制造首现——在第八件里故意写一个从没写过的句式。第八节清点手册第 4 条（末尾三件内的首现不记序号）只挡得住一部分，挡不住有意为之的持续制造。
我看不到出口。 不是措辞谦逊：任何为第四格设立的字段，一旦被设立，被写进去的就不再是第四格的东西；而不设字段，它就仍然不可见。这个循环本文解不开。本文能做的只有一件事——把这个循环写在正文里，使任何据此设计考核的人无法说自己不知道。
伦理边界（三条，缺一条本文不得用于任何评价场合）： 一、L 指的是位置，不是人。 它读的是”某人在某类场合的产出序列”，不是这个人的能力、潜力或思想状态。 二、不得为了把这个数做好看，而在教学或考核里安排形式轮换。 制造出来的首现不是首现；在需要稳定表达的场合（法律文书、医嘱、操作规程）人为制造形式变动，会造成实际风险。 三、已经据此作出不利安排的（分班、评级、录用），必须公开编码规则并给出复核通道。 第八节的清点手册就是为此写的：粒度、边界例子、四条编码规则齐全，任何人可以拿去复算并提出异议。
本文分三层，各设各的证伪条件；第一层最强也最易倒，第三层最稳。
第一层：未生界作为核心判据。
F1（最愿意押的一条，同时是与第五位的判决性对照） 招募若干写作者，取其早年被当面否定过的写法清单（可由教师批注与保存的旧稿重建），再让其做足量自由写作，清点新出现的形式与该清单的重合度。若重合度显著高于随机基线，本文为伪——那说明被排除的东西一直在那里、可被召回，Elbow 那一路足够。
F2（机制证伪，须排除最强竞争解释） 最强竞争解释是：“其实不就是写得少吗”。排除方式：控制写作总量与写作年限之后，若”建立期条件的差异”与 L 之间不存在剂量—反应关系，则本文的机制为伪——届时形式库封闭应归因于产量而非建立期。样本要求：同一制度环境内的多个单元（同一学校的多个班级、同一报社的多个版组），N 不小于六，关键混淆变量同质；两个国家、两个地区的对比不构成本条的检验。 ⚠ 本文尚未完成这一条。 第十三节那次真跑只做到现象层，且它测的是第三格，与本条无关。在 F2 被跑通之前，本文的机制主张只是一个候选。
第二层：两轴四格作为分析工具。
F3 若能举出一个案例，它同时满足第四格的三条签名（短期改善、失效无信号、越正规越严重）而又能被第①②③格中任一格完整解释，则四格划分为伪（该格不必单列）。
F4 若在某个记录系统里，第③格的读数被证明可以有效预测第④格（例如缺口密度与 L 显著相关），则本文关于”两格不可互推”的主张为伪。这一条本文自己跑过一半：第十三节的结果是第③格极少、极惰，且其动态可能完全由需求强度解释，因而暂时不支持互推；但入链数那二十六个样本方向不利于本文，须以更大样本复跑。
第三层：一条不依赖前两层的经验主张（最稳，也最容易查）。
F5 在一个专门为”待写内容”设了字段的公开记录系统里，该字段的覆盖率极低、且被指名并不导致成形。实测读数：覆盖率 7.2%（367／5115），四成条目零覆盖，十年零七个月内的成形率 33.0%。若在另外三个可比系统（公开代码仓的待办标记、公开数据集的缺项登记、开放同行评审的”未回答问题”栏）中，覆盖率均高于 30% 或成形率均高于 70%，则本条为伪。
F6 若 L 与常用写作水平指标（评分、录用率、引用）呈显著正相关，则 L 不是一个独立读数，只是水平的一个代理，第八节的正交性主张为伪。
F6 追记（已跑，H2 判负；H1、H3、H4 在预注册口径下不可执行）。预注册文件写于取数之前，SHA-256 前十六位 279bfe9deeeefebb。数据：arXiv math.NT 分类按首次提交时间升序的 10,000 条元数据；以第一作者姓名字符串完全一致分组，取件数不少于 8 者，得 166 位作者、2,144 篇；产出序列取摘要。形式类按预注册的功能词 n-gram 代理操作化：凡不在封闭功能词表中的词一律掩成占位符，形式类即掩码序列上的三元组。
结果一（H2，判负，且是本次最要紧的一条）：166 位作者，未封闭率 u = 1.000。一位也读不出 L。按第八节清点手册第 4 条，末尾三件之内出现首现即记“未封闭”，而实测每一位作者都在最后三件里仍有新构式出现。H1、H3、H4 因此在预注册口径下不可执行，本文不作任何关于它们的声称。
事后探查（明标为事后，不作证据）。把开放的形式类换成一份事先闭合的构式清单——取全语料掩码三元组的高频前 K 个——未封闭率随清单变粗而下降：K=1000 与 K=500 时仍为 1.000，K=200 时 0.982，K=100 时 0.952，K=50 时 0.681。只有在最粗的一档上才有 53 位作者可读出 L：其 L/n 中位数 0.667，Spearman(L/n, n) = −0.327（p = 0.017），Spearman(L/n, 已发表比例) = −0.083（p = 0.56），Spearman(L/n, 跨越年数) = 0.089（p = 0.53）。这三个数若按预注册阈值读，H1 过线（“其实不就是写得少吗”这条竞争解释被排除）、H3 与 H4 过线（正交性成立）。但它们出自一个事后选定的粒度，本文不拿它们当支撑。
这一条改掉了本文的什么。第八节把清点手册当作可复算性的全部保证，而手册的第一行——“形式类的粒度：句法层面的构式”——没有给出一份清单。本次读数说明这不是一处待补的细节，而是决定读数存不存在的那一处：在细粒度上 L 恒不存在，在粗粒度上 L 存在且行为与本文的预测一致，而“多粗才算一个构式”没有任何独立于结论的根据。
第八节因此补一条硬约束：任何 L 的报告必须同时公布所使用的构式清单，且该清单须在清点之前落盘；未公布清单的 L 读数一律不成立。这一条同时使 F6 成为可裁决的——在两份都合理的构式清单下，若 L 与水平指标的相关系数符号不一致，第八节的正交性主张即为伪。
本次读数的三条局限，前两条已写在预注册里：功能词三元组不等于句法构式，它会把词序变化误读为构式首现，方向使 L 偏晚；摘要是高度受限的体例，形式库本就窄，不可外推到自由写作；第一作者同名会把两个人并成一个序列，方向同样使 L 偏晚。三条都是保守方向——真实的封闭可能比本次读到的更早。但这不能用来救 H2：u = 1.000 是“读不出数”，不是“数偏大”。
F7 若同一写作者跨场合的 L 高度一致（私人写作与公开写作、母语与外语），则”未生界是场合属性”为伪，第十五节第 3 条须撤回。
F8（自反） 若按第十八节的做法算出本产线的 L 明显晚于本文，则本文关于”结构位复用即形式库封闭”的自我诊断为伪——那说明本文自己的形式仍在扩张。本文不掌握这个答案。
本文解释不了的两个洞，交出去： 其一，为什么有些人的 L 会突然后移（换语言、换体裁之后重开），而另一些人换了也不重开——本文只能说”条件场变没变”，这在事后总是可以圆回来，因而这条解释目前不可证伪，是一个真正的漏洞。其二，第②格（出现过而无人记）与第④格在实践中如何区分——本文靠”当事人能否回忆”来分，而回忆本身不可靠。
赌注（写死日期，并写死什么不算命中）：
二〇三二年八月一日之前，至少有一个规模化的写作教学或写作辅助系统，在其正式规则或产品功能中，出现一个按”连续产出序列的形式首现”计算的读数，并且该读数被用于提示形式库封闭（而不是用于评分）。
本文押它成立的理由不是乐观，是第十三节那个百分之七点二给的反面提示：为缺席设字段这件事，做起来极浅；而序列读数不需要任何人为缺席设字段——它只需要把已有的产出按时间排开。 这是目前唯一一条不必先解决”如何记录不存在的东西”就能落地的路径，因而它比任何”请写下你本来想写的”方案都更可能真的被做出来。
四条不算命中：（一）只在研究论文里出现，未进入任何正式规则或产品功能；（二）只统计”用词丰富度”“句式多样性”这类截面指标——本文押的是序列上的首现，截面多样性不算；（三）该功能要求用户自行填写”我本来想写的”——那是第②③格，不是第④格；（四）该读数被用于排名或评分——按第十九节伦理第二条，那种用法即使出现也判不命中。
关于作文是什么，三种通行的回答各自完整，且互不相容：写出来的那些东西、写出来的那条路径、判读它的那个场合。三者共同假定要被判定的东西已经成形并且在场。这个假定不成立，而不成立的那一部分——本文称为未生界——恰恰决定了一篇作文能是什么。
未生界没有实体、不留痕迹、有边界效应。它与被删的草稿、无人记的那一次、被指名的缺口分属四格中不同的三格；它所在的第四格有三个签名：短期指标表现为改善、失效不产生任何信号、越训练有素越严重。本文给出的读数是一个序号——末次首现，它只报形式库停没停，不报停在哪里，且与写作水平正交。
本文最愿意押的那条经验假设在预注册检验中失败了：被明确指名的缺口并不会被系统抹掉，它只是极少（7.2%）且极惰（52% 十年不动）。这一失败关掉了本文原打算走的估计路径，把适用范围收窄到有连续产出序列可查的场合，并把第三层主张改成了一条带数字的稳态主张。用于排除最强竞争解释的那一条未能执行，因此本文的机制主张目前只是一个候选。
未生界不是病。它是写作得以开始的条件。要问的不是这道边界有多大，而是它由谁、在何时、按什么划出，以及此后有没有任何人能知道它在哪里。
第二节地貌学一路的对立双方：Davis, W. M., “The geographical cycle”, The Geographical Journal, 1899；Hack, J. T., “Interpretation of erosional topography in humid temperate regions”, American Journal of Science, 258-A 卷, 1960。同一路的后续：Strahler 1950、Chorley 1962。
免疫学三派：Burnet 的克隆选择学说（1957 及其后续扩展）；Matzinger, P., “Tolerance, danger, and the extended family”, Annual Review of Immunology, 12 卷, 991–1045 页, 1994；Pradeu, T., The Limits of the Self: Immunology and Biological Identity, Oxford University Press, 2011。
多晶型与阶段律：Ostwald, W., Zeitschrift für physikalische Chemie, 22 卷, 1897（阶段律）；Dunitz, J. D. & Bernstein, J., “Disappearing polymorphs”, Accounts of Chemical Research, 1995；Bučar, D.-K., Lancaster, R. W. & Bernstein, J., “Disappearing Polymorphs Revisited”, Angewandte Chemie International Edition, 54 卷, 2015；Bauer, J. et al., “Ritonavir: An extraordinary example of conformational polymorphism”, Pharmaceutical Research, 18 卷, 859–866 页, 2001；复现见 PNAS, 121 卷, e2319127121, 2024（DOI: 10.1073/pnas.2319127121）。教科书：Bernstein, J., Polymorphism in Molecular Crystals, 2nd ed., Oxford University Press, 2020。
第十六节所列各位：Burke, K., Permanence and Change, 1935；Whorf, B. L., 1940；Bartlett, F. C., Remembering, 1932；Freud, S., 1915；Elbow, P., Writing Without Teachers, Oxford University Press, 1973；Rose, M., College Composition and Communication, 31 卷 4 期, 1980；Perl, S., Research in the Teaching of English, 13 卷, 1979；Sommers, N., College Composition and Communication, 31 卷 4 期, 1980；Rubin, D. B., Journal of Educational Psychology, 66 卷, 1974；Heckman, J. J., Econometrica, 47 卷, 1979；Bourdieu, P., Esquisse d’une théorie de la pratique, Droz, 1972。
与写作研究里的生态一路（Cooper, M., “The Ecology of Writing”, College English, 48 卷 4 期, 364–375 页, 1986，及其后发展出的 ecocomposition）本文未作分界，因为那一路处理的是写作与社会系统的互构，全部落在已成形的产出之上，与本文的第四格不相交。此处特意点出，是因为它常被误以为覆盖了”条件如何限制写作”这一问题。
引注诚实声明：上列文献中，卷、期、页码经核对可确认的已写全；少数条目（注 3 中 1995 年与 2015 年两条、注 4 中 Burke、Whorf、Freud、Bartlett、Elbow 五条）本文只能确认作者、题名、出处与年份，页码未经核对，故未填。宁缺不补。
第十三节全部数据、脚本与预注册文本（含一处修订记录）另存，可复算。
字数与版本：正文实测 19,807 汉字（不含本行）。版本：初稿。 人机分工声明：选题、三种回答的选取、承重判断、真跑的假设与阈值由作者设定；文献检索、数据抓取、统计与初稿撰写由作者与语言模型协同完成；第十三节的不利结果与第十八节的自我定位由作者保留原样，未作修饰。本文不附任何分数。 证据边界：本文提出的读数尚未在任何真实教学场合中试用；第二十节 F2 未执行。在 F2 跑通之前，本文的机制主张是一个候选，不是一个结论。
本章 v1.1 已自行补入三条全球分界（知觉窄化、形态空间的不可达方向、非决策），并跑完证伪条款 F6，此处不重复。补节只做两件事。
本章与第七章都指向「不进任何账本的那一格」。分离线在读的是状态还是动作。
本章读的是那一格本身：哪些形式从来没有获准成形，因而不在任何记录里。它的三条性质（无实体、无痕迹、有边界效应）描述的是一种状态；它的读数是序列读数——从一个写作者的连续产出里定位最后一次出现新形式的位置。它不问是谁排除的，也不需要问：那一格的边界效应，在没有任何代理人的情况下同样成立。
第七章读的是关闭这个动作：某一条本可成立的方向，在写作者遭遇它之前被范文、模板、教师、同伴或机器关掉了。它必须指认一个关闭者与一个时点，否则命题为空；它的判据因此是制度判据。
判决性对照：一个没有任何外部关闭者的写作者，仍然有未生界——他所处的语言、文体与训练史已经把大量形式排除在可及范围之外，而这个排除没有代理人。反过来，一次被清楚指认的预闭，未必落在未生界里——学生本可以在别处遇见那条路，只是这一次没遇见；它仍在他的可及范围内，只是这一回被绕开了。
所以两章是嵌套而非同义：第七章处理有代理人、可追责的那一子类，本章处理包含它的那个大类；而大类的主要性质（不留记录）恰恰使子类的追责在实践中失效。
两条并入条件，分别写进两章的证伪清单：若真实数据显示每一处未生界都能回溯到一个可指名的关闭者，本章应并入第七章；若显示所有预闭都不改变可及集合，第七章应并入本章。
F6 的事后粒度扫描给出了一个对本章不利、也最应当被记住的结果：末次首现读不读得出，完全由构式清单的粗细决定——清单取前一千条与前五百条时，一位作者也读不出；取前五十条时，五十三位可读。本章 v1.1 因此补了一条硬约束：未公布构式清单的读数一律不成立，清单须在清点之前落盘。编者要提醒读者的是，这条约束虽然堵住了事后调参，却也把本章的读数变成了相对于一份人为清单的读数——本章的对象在原理上不可列举，而它的读数在实践中依赖一份可列举的清单。这个张力本章尚未解决。