关键词：语法智慧；语法先证体；系统性错误；反应中间体；组织惯例；中介语；规则修订；二语语法
什么是语法的智慧：规则尚未成立时，证据已经先到了
——教育学、化学与管理学对“先有规则、后有证据”的三重否定及“语法先证体”理论
教育学 × 化学 × 管理学
学科通融专栏 · 理论建构与公开数据初步检验稿
作者：约翰老师
2026年8月7日
语法的智慧，是让规则拥有判决权，却不拥有消灭反证的权力。
What Is the Wisdom of Grammar? Evidence Can Arrive Before a Rule Exists
This paper asks what makes grammar “wise” when linguistic evidence does not wait for an established rule to authorize it. Education research shows that systematic learner errors can reveal an organized learner system before target-like mastery. Chemistry grants ontological status to reaction intermediates that exist on a pathway before stable products are formed. Routine dynamics in management research shows that concrete performances do not merely instantiate an ostensive rule; performances can create, maintain, and modify that rule. Their collision challenges a shared assumption: legitimate grammatical evidence must be interpreted through a rule that already exists. The paper proposes the grammatical pre-evidence object (语法先证体): a set of presently nonstandard linguistic events that is reproducible under a frozen coding rule in independent material, displays constrained organization beyond a single lexical item or isolated performance, and leaves a documented consequence in the review of a grammatical, pedagogical, or annotation rule before it is itself accepted as grammar. The construct is distinguished from error analysis, interlanguage, emergent grammar, grammaticalization, constructionalization, conventionalization, competing grammars, sociolinguistic variation, anomaly detection, and organizational routine dynamics. A preregistered low-cost test was run on the public UD English ESLSpok treebank. Among 2,320 sentences, 27 instances of an uninflected lexical verb with third-person singular he/she/it were identified under the frozen rule, spanning 24 source files and 21 verb forms, exceeding the preregistered recurrence threshold. However, the dataset contains no field recording whether such a pattern triggered revision of a grammar, teaching, or annotation rule. The result therefore supports only the recurrence layer and explicitly fails to establish the full construct. This adverse missing field narrows the theory: repetition is not enough. A pre-evidence object requires simultaneous norm conflict, blind reproducibility, internal constraint, and a traceable rule-review consequence. The paper develops a missing-field ledger, falsifiable research designs, and implications for grammar pedagogy, descriptive grammar, and AI-based grammatical error correction.
Keywords: grammar; learner error; interlanguage; reaction intermediate; organizational routines; grammatical change; rule revision; pre-evidence
学校里的语法有一种极强的视觉效果：规则写在上面，例句排在下面。一般现在时第三人称单数要加-s；过去发生的动作常用过去式；条件句有自己的时态配合；关系从句有关系词和嵌套结构。因为教材的页面顺序如此，我们很容易把世界本身也想象成这个顺序——先有规则，再有句子；规则决定什么算正确，句子只是接受检查。
这种顺序在教学管理上十分便利。教师需要告诉学生下一步练什么，考试需要确定答案，语料标注需要统一标签，词典与语法书也必须在某一时点冻结描述。没有稳定规则，教学无法无限等待，机器无法编码，机构无法评价。因此，本文并不反对规则，也不主张“凡是有人说过的都算语法”。真正的问题是：规则在制度中必须先写出来，不等于规则在语言生命中真的先发生。
儿童会说“goed”，并不是先读到一个名为“过去时规则”的条目，再故意违反不规则动词表。他先从大量经验里抓到“过去—形式变化”的组织关系，然后把它推广过头。二语学习者说“She have a dog”，从标准英语看是非目标形式；但若同一模式在不同词项、不同任务与不同学习者中有结构性复现，它已经不再等于一次口误。语言变化同样如此。今天被编辑视为不规范的搭配、标点、句法或用法，可能在若干年代之后进入语法描述；而进入描述之前，它已经有一段可观察的生命史。
所以“语法有什么智慧”不能只问规则怎样使表达更准确。更尖锐的问题是：当语言已经显露出组织，而我们的规则还没有为这种组织准备名字时，语法系统怎样不把证据提前销毁？ 如果一个体系只能识别已经被规则承认的证据，它永远只能证明自己；它越整洁，越可能把新语法发生的最早痕迹当作错误清除。
本文的命题由此与上一篇“语法载差体”不同。载差体研究的是一条已经可辨的语法关系如何在词形、语序、虚词、语调等形式载体之间发生承担权交接；它问“谁在承担这个差异”。本篇不研究载体换手，而研究更靠前的一刻：一个尚未取得规则身份的组织，什么时候已经有资格被当作证据对象？ 二者可以完全分离。一个语言可以在既有规则内部完成载体重分配，却没有任何新规则候选出现；反过来，一组新型非标准形式也可能成为新规则的证据，却尚未发生旧载体与新载体的承担权转移。
在传统课堂里，错误的地位很低。答案对，说明学会；答案错，说明没学会。教师的任务因此很自然地变成减少错误、缩短错误停留时间。若学生说“He go to school”，最直接的处置是把go改成goes；若学生说“I goed home”，则提醒go的过去式是went。这类纠正确有必要，但它只回答“这句话距离目标规范多远”，没有回答“这句话由什么内部组织产生”。
Corder在1967年的经典论文中把mistake与systematic error区分开来。他的关键贡献不是替错误辩护，而是改变错误的证据地位：系统性错误可以让研究者重建学习者当前掌握的语言系统；错误是学习策略和“过渡能力”的证据，而不是单纯教学失败[1]。后来中介语研究进一步把学习者语言视为一个能够被独立描述的系统，而非母语与目标语之间杂乱的坏副本[2]。
这一判断在现代学习科学中仍有支撑。Metcalfe综述错误学习研究指出，在低风险学习情境中，产生错误并获得纠正反馈能够促进学习；教师也能从错误中获得关于学习者状态的信息[3]。这并不意味着错误越多越好。高风险操作中仍然需要准确，反馈仍然不可缺少，某些错误也只是注意波动。教育学真正提供给本文的是更窄的一刀：一个形式在“答案层”被判错，并不能推出它在“证据层”没有结构。
以“goed”为例。若一个儿童只说一次，很可能无法判断；若他同时产生comed、breaked等类似过度规则化形式，而且在多个动词上稳定把过去意义映射到-ed，这组错误便有组织。重要的是，这个组织并不是教师先教给他的正确规则。相反，错误先显露了学习者正在构造的规则。这里出现了本文所需的第一种时间倒置：表现证据可以早于目标规则的正确掌握。
教育学却不能独自回答“语法的智慧是什么”。中介语可以长期存在而从不改变目标语语法；学生系统性犯错，不等于社会应该把这些错误写入英语规则。若本文把“有规律的错误”直接升级为“未来语法”，就会把教育诊断误写成语言史预测。因此教育学既打开了门，也马上给本文加上第一条限制：先于规则出现的证据，只能取得被研究的资格，不能自动取得被承认的资格。
化学给出的冲突更彻底。日常分类习惯喜欢用稳定终态给对象命名：反应物是什么，产物是什么，中间发生的短暂变化似乎只是通路。可是在反应机理中，中间体不是“还没成为产物所以什么都不是”。IUPAC把reaction intermediate界定为：由反应物形成、寿命显著长于分子振动、并进一步反应生成产物的分子实体或相应化学物种[4]。换言之，中间体的对象资格不来自终态认证，而来自它在反应路径上的可识别存在。
这件事对语法问题十分重要。规则思维通常只承认两个端点：标准形式与错误形式。化学迫使我们看到第三种可能：一个对象可以尚未成为稳定产物，却已经具有自己的结构、寿命和后续反应倾向。2024年Abma等人利用时间分辨实验直接观察到roaming intermediate的谱学信号及动力学过程，说明某些过去主要靠机理推断的短暂状态能够获得独立实验读数[5]。这不是“把过渡美化为结果”，而是承认路径上的真实对象。
把这一点带回语法，最自然却也最危险的推论是：“既然化学有中间体，语言错误也有中间体。”这仍然只是类比，不是二阶判断。语法中的非标准形式不是分子，学习者也不在一条由热力学规定的反应坐标上。真正可用的约束只有一条：终态分类不能垄断对象资格。 一个语言组织是否值得独立登记，不能仅由“它最后有没有成为规范语法”倒推。
化学同时给本文第二条限制。不是所有反应过程中出现的构型都算可分离中间体；极短暂的过渡态、中间体、旁路物种、随机碰撞有不同地位。语法也一样：一次口误、一次模仿、一个词项的偶然偏差不能因为“发生在规则形成之前”就获得新对象资格。先证体必须有寿命意义上的语言对应物——不是持续时间本身，而是跨样本可再识别的组织连续性。如果换一批材料便消失，它只是噪声；如果只能靠研究者事后挑例子拼出来，它也没有对象资格。
管理学看起来离语法最远，却击中了“谁先谁后”的最后一块。传统组织理论容易把routine理解为稳定的标准程序：先有流程，成员照着做；偏离流程就是执行不合规。Feldman与Pentland在2003年重新概念化组织惯例时，把ostensive aspect与performative aspect区分开来：前者是惯例的抽象、概括或原则形式，后者是具体的人在具体时间地点实施的行动；更关键的是，具体执行能够创建、维持并修改抽象惯例[6]。
这意味着“规则→执行”不是单向箭头。一份操作手册可以规定客户投诉如何进入流程，但连续出现的新情形会逼迫员工调整动作；这些动作被重复、讨论、保留后，下一版手册可能被改写。Feldman早在2000年就从连续变化角度指出，参与者会根据上一轮惯例的结果反思并改变下一轮执行[7]；Dittrich等人的研究则显示，反思性谈话能够帮助成员命名问题、探索替代执行方式并选择性保留变化[8]。
管理学给语法的不是“语言也是组织”的比喻，而是一条更硬的判断：实际发生的表现可以拥有修改正式规则的因果入口。 这正是语法教育与语法描述最容易切断的接口。课堂把所有偏离即时纠正，标注项目把所有“不合规范”的形式归入error，自动纠错模型把每个低概率形式改成标准形式——这些系统都有高效率，却可能没有任何程序记录“某一类被反复修正的东西是否正在形成新的组织”。
但管理学也不能独自推出本文结论。一个公司修改工作流程，与语言共同体形成语法不是同一件事。组织规则往往有明确管理者，语言规范则分散在说话者、学校、编辑、辞书、语法书、考试、平台算法与社会评价中。管理学只能要求本文增加第三条限制：非标准形式若从未进入任何规则复核后果，它最多是被观察到的变异，不是本文所说的先证对象。 频繁出现本身不能替代“它改变了规则系统如何看自己”的那一步。
把三家的判断摆在同一张桌上，冲突开始显形。教育学说：一个被答案规则判错的表现，可以是学习系统的正证据。化学说：一个尚未成为稳定产物的状态，可以拥有独立对象资格。管理学说：一次具体执行不只接受规则裁决，还能修改规则本身。
三家看似分别谈学习、物质和组织，实际上争的是同一件事：“尚未被终态规则认可的东西，什么时候算一个值得登记的对象？” 教育学倾向以学习者的系统性为门槛；化学以路径中的可识别实体为门槛；管理学以执行—规则互构的后果为门槛。任何一家单独拿走，都会得到一个熟悉结论：错误有信息、中间态很重要、规则会被实践修改。三家合起来才出现更难的命题：语法证据本身可能拥有一个早于语法规则承认的对象阶段。
三家共享的深层前提也由此暴露出来。它们各自都需要一个稳定终点：教育要区分学会与未学会，化学要确认产物，管理要保证程序可执行。于是很容易默认：对象的合法证据资格最终由已经稳定的类别追认。 学生错误之所以有意义，是因为后来知道正确答案；中间体之所以被命名，是因为知道反应路径；流程偏差之所以能被讨论，是因为有正式惯例可对照。换句话说，我们习惯于用未来的稳定分类倒过来决定过去哪些痕迹值得保留。
恰恰是三家自己的材料推翻了这一点。Corder需要从错误本身重建学习者系统，而不能等学生完全学会之后再决定早期错误是否“算数”；化学实验需要在反应尚未完成时捕获中间体；组织成员也必须在新惯例尚未写进手册时识别哪些反复执行值得讨论。证据不是稳定规则的奖品。某些证据若必须等规则成立以后才被承认，它最重要的预测价值已经被浪费。
最初最自然的命名是“语法候生体”：一种处在错误与规则之间、可能成长为新语法的状态。但敌意检索很快表明，这个对象已经被多条成熟理论从不同方向占据。
Corder的错误分析早已指出系统性错误反映学习者当前语言知识[1]；Selinker的interlanguage更明确把学习者语言视为不同于母语与目标语的独立、系统、过渡语言系统[2]。因此“不是随机错误、也不是目标语规则，而是一个中间系统”不是新判断。若本文只给它换一个中文名字，创新性应当被撤销。
从语言变化看，占位更强。Hopper的Emergent Grammar反对把语法当作先验固定模板，强调语法结构在话语与使用中不断形成[9]；语法化研究已经系统讨论词汇项和构式怎样逐步取得语法功能[10]；Traugott与Trousdale的constructionalization直接研究新构式如何形成[11]；Schmid的Entrenchment-and-Conventionalization模型把语言创新、个体固化、社会常规化、扩散和规范联系在同一动态框架中，并明确把innovation描述为只被既有惯例部分许可的表达[12]。历史句法中的competing grammars还研究新旧语法在变化时期并存和竞争[13]。
这些近邻共同迫使本文改名并改命题。真正无人占满的，不是“中间状态”，而是一个状态在还没有规则资格时，已经取得证据资格的时间错位。interlanguage问“学习者现在运行什么系统”；conventionalization问“创新怎样扩散并成为惯例”；constructionalization问“新构式怎样形成”；competing grammars问“两个语法怎样竞争”。本文必须问另一件事：在任何这些结局被确认以前，哪一组非标准事件已经足以迫使规则接受复核？
这就是“语法先证体”的出生点。它的名字刻意不说“未来语法”“准规则”或“过渡语法”。因为它可能最后什么也没有成为。它可以被证伪、被淘汰、被证明只是二语迁移；它的独立地位只在于：规则还没成立，证据已经先成立。
本文把“语法先证体”定义为：在现行语法规范仍把某组语言事件判为非标准的阶段，这组事件已经依照事先冻结的编码规则在独立材料中复现，表现出超越单一词项或单次说话事件的约束组织，并留下对语法描述、教学规则、标注规则或纠错规则的可追踪复核后果；它尚未取得稳定语法规则身份，却已经取得独立证据对象身份。
这个定义包含四个不可删掉的条件。
第一，规范冲突仍在。 如果一种形式已经被目标语语法、方言语法或构式描述正式接受，它就已经越过本文关心的阶段。先证体必须保留“现行规则仍判它不合格”这一张旧票。没有这张旧票，就没有“证据先于规则”的时间错位。
第二，盲样复现成立。 研究者必须先写下怎样识别它，再去看另一批材料。事后从数万句里挑十个漂亮例子，不构成证据先行，只构成故事。冻结编码以后仍能在未参与建模的材料中找到同一组织，才说明对象不是作者的回顾性拼接。
第三，内部约束存在。 同一错误反复出现仍可能只是高频难点。先证体需要显示“在哪些条件下出现、在哪些条件下不出现”的组织性。例如第三人称单数裸动词是否集中在某类动词、某种句法环境、某一学习阶段；若完全无条件地随机散布，不能从错误库存升格为组织证据。
第四，规则留下后果。 这一步把本文与大部分错误分析彻底分开。所谓后果不要求立即把错误改判成正确，而是至少在正式规则系统里留下一个可核验动作：增加例外条目、打开变体调查、修改标注说明、建立新的教学对照、调整纠错模型的置信策略、或明确记录“复核后维持原判”。规则可以拒绝先证体，但不能把它处理成从未存在。
因此，语法先证体不是一句怪句子，也不是一个学习者的心理语法，更不是已经常规化的新构式。它是一个带旧判决、带复现证据、带约束图、带规则后果的证据组合体。四样拆开以后，那个对象就消失。
现在可以把“什么是语法的智慧”写成一条三重否定。
语法的智慧，不是把错误尽快纠正成既有规则，也不是把所有系统性偏离都解释成未来语法，更不是让使用频率自动拥有修改规范的权力；语法的智慧，是在规则承认之前，为那些仍被判错、却已经能够盲样复现、显示内部约束并迫使规则留下复核后果的语言组织建立一种可撤销的证据对象资格——语法先证体。
第一重否定削掉“正确率就是智慧”。一个纠错系统可以把所有“She have”迅速改成“She has”，标准率提高，却同时把“为什么不同学习者反复在同一位置省略屈折”这一研究对象抹平。本文不反对纠错，而反对纠错同时完成证据删除。
第二重否定削掉“系统性就是新语法”。interlanguage已经告诉我们学习者错误可以系统化，但学习者系统与共同体语法不是一回事。一个形式即使在某类学习者中稳定出现，也可能永远只是迁移、简化或习得阶段。先证体拥有的是复核资格，不是晋升承诺。
第三重否定削掉“多数使用就是规则”。频率很重要，却不能单独决定规范。高频错误可能来自共同困难，平台算法也可能放大一种低质量表达。管理学的反向约束要求：规则修改必须有责任、边界和退出机制。先证体不是民意投票，它是一份可复算的证据案件。
为了避免把理论再次做成一个漂亮的2×2，本篇使用一张缺席清单。面对任何被认为“也许正在成为语法”的形式，不先问它像不像新规则，而逐项查看五个字段是否存在。
这张表的关键不是“五项越多越智慧”。它的用途是防止概念偷换。A+B而没有C，是重复错误；A+B+C而没有D，可能是中介语模式或社会变异；B+C+D而没有A，可能是已经被承认的规则优化；A到E齐全，才形成完整的先证事件史。
这里的“缺席”比一个综合分更重要。因为先证体的理论危险恰好来自研究者想把模糊中间地带量化成一个高低分，然后给人、班级或方言贴标签。本文拒绝这样做。五个字段只用于对象审计，不用于评价学习者聪明与否，也不用于按“创新程度”给语言群体排名。
本文给出一个不依赖“重要、真正、充分、合理”等程度判断的判据：
规则表在时点t仍把这组形式标为非标准；识别规则在t之前冻结；t之后未参与建模的材料再次出现同一受约束组织；规则系统留下对应的复核记录与退出结果。
这句话可以直接去查四种记录：当时版本的语法或教学规则、预注册或冻结的编码脚本、后续独立语料、规则修订日志。它不要求评审者先相信“这是创新”，只要求四类事实同时存在。
若四类记录中只有前三类，本文只允许写“发现一个可重复的非标准组织”，不允许写“发现语法先证体”。若只有频率上升而没有盲样规则，也不成立。若规则后来改了，却无法证明修改前已有独立可复现证据，则属于一般规范变化，不是本文对象。
Corder是本文最重要的祖先，也是最危险的占位者。他已经明确说系统性错误能够揭示学习者当前知识与学习策略[1]。若本文只是“不要把错误当错误，要把它当信息”，应直接归入错误分析，没有另立名词的必要。
分离线在D字段。错误分析可以在教师理解学习者之后结束；先证体要求这组证据进一步进入规则对象自身的复核。例如，“She have”反复出现可以帮助教师诊断第三人称单数屈折尚未稳定，这属于错误分析；若跨群体、跨任务的受约束证据进一步迫使教材把“第三人称单数问题”从单一记忆失败改写成“屈折实现受口语加工、主语类型、词汇频率和任务负荷共同影响”的规则说明，并留下版本记录，才进入本文关心的阶段。
Selinker的interlanguage更强，因为它已经把学习者语言当作独立系统[2]。但中介语可以完全不触发目标语规则修订。某个学习者系统非常稳定、非常系统，仍然可能只是他的过渡语法。本文因此给出判决性预测：若一种非标准模式在学习者内部高度系统，却永远不改变任何语法描述、教学分类、标注规则或纠错策略，那么中介语理论成立，语法先证体不成立。 反之，若个体系统性并不高，却跨多个独立群体重复暴露同一现行规则无法解释的结构缺口，并触发规则改写，先证体可以成立而“单个稳定中介语”不是必要条件。
Hopper的Emergent Grammar把语法视为在话语中不断被形成与重组的结构[9]。这与本文的“规则可以晚于语言”高度相近，但问题尺度不同。涌现语法是关于语法本性的总命题；先证体是一个可以在档案中单独点名的证据对象。一个语法完全可以持续涌现，却没有任何一组“仍被规范判错、又进入规则复核”的材料；此时涌现成立，先证体为零。
Schmid的EC模型更加危险。他把语言创新理解为仅被现有惯例部分许可的表达，并讨论usualization、diffusion、entrenchment与conventionalization[12]。如果本文把先证体说成“尚未常规化的创新”，EC模型足以吸收。本文因此把规则复核冲突写成必要条件：先证体并不预测它会扩散。 一个学习者模式可以在多个独立群体中重复暴露同一语法描述的教育盲点，促使教材和纠错系统修改分类，却从未进入母语共同体常规化。这是先证体，但不是语言创新扩散。
反过来，一个网络新表达可能迅速常规化，而主流语法从未把它判作“错”，也没有发生规则冲突。这属于常规化，不属于先证体。二者的判决线不是“谁更深入”，而是：EC模型关心表达怎样从部分许可走向共同体常规；本文关心一组仍被旧规则拒绝的材料怎样先取得修改规则的证据资格。
constructionalization研究新形式—意义构式如何形成[11]，语法化研究词汇与构式如何取得语法功能[10]。它们通常在历史序列中识别变化路径。先证体则要求在结局未知时冻结标准并作盲样判断；如果只有事后知道“它后来语法化了”才看得见早期证据，本文判定为回顾性成功，不算先证。
变异社会语言学很早就强调“structured heterogeneity”：非标准变体不是无规则噪声。历史句法的competing grammars范式进一步把变化期的新旧形式视为竞争语法，并产生常数速率等可检验预测[13]。这些理论已经足以打破“标准语才有结构”的偏见。
本文不能靠“非标准形式也有规律”取胜。分离线仍然是时间与资格：竞争语法通常已经把两个选项都作为语法分析中的候选；先证体刻意研究第二个选项还没有语法资格的更早一段。若研究者从第一天就把A/B写成两个竞争语法，那么A/B竞争理论更适合；若B仍被规则表标成error，而冻结规则却能在新样本中反复预测B、并迫使规则表打开复核，才是先证阶段。
这一区分也防止本文把方言污名重新包装成“待晋升”。很多非标准方言结构早就是完整语法，不需要等标准语授予候生资格。把AAVE、地方方言或社群语法称为“先证体”可能反而重复标准中心主义。本文明确排除：已经有稳定共同体规范与内部语法描述的变体，不因主流标准拒绝就自动成为先证体。 本理论优先适用于规则体系自身尚未形成充分对象描述的案例，而不是用中央规范评价成熟方言。
方法学占位者也必须处理。现代NLP可以进行语法错误分类[14]，异常检测可以用模型概率发现“奇怪”token[15]，历时语料研究也可以用change-point detection寻找词义或使用方式的突变[16]。这些方法都比本文提出一个抽象新名词更便宜，因此若先证体只是“高频异常”，它应该被这些方法取代。
差别在于异常检测优化“偏离正常多少”，先证体要求“偏离是否形成另一套受约束组织，并对规则产生后果”。极罕见的新构式可能低频却高度有组织；高频错误也可能只反映一个普遍难点。变化点检测发现分布发生改变，也不说明改变前的材料是否被旧规则判错，更不说明规则是否因此复核。
所以方法学的地位应当被反过来使用：异常检测、错误分类、变化点检测是寻找B/C字段的工具，而不是先证体本身。若使用这些成熟方法后，先证体不能产生额外的规则复核预测，本文应撤销独立命名。
为了避免全文只在概念层面自洽，本文在成文前对最便宜的一条条件做了预注册公开数据检验。预注册文件在下载和检查目标数据之前写入工作目录，固定数据源、对象、排除规则和阈值。
数据来自Universal Dependencies的UD English ESLSpok树库。该树库包含2,320个英语二语口语句子、21,312个token，源于NICT JLE spoken L2 English，XPOS和依存关系由人工标注，许可证为CC BY-SA 4.0[17]。本次只检验一个很窄的模式：第三人称单数主语he/she/it直接依附到实义VERB，而目标动词XPOS为VB或VBP；若该动词有modal/auxiliary子节点，或属于to不定式环境，则排除。相同句子中的同一动词只计一次。
预注册阈值写死为：总目标实例少于10，或涉及少于5种不同动词表面形式，则数据不足以把该模式用作“系统性候选”的例子；同时达到两个阈值，也只通过“重复出现、非单一词项”这一最低门槛，不证明它是新规则，更不证明完整先证体存在。
实际运行结果如下。
实例包括“she have”“she like”“he happen”“she choose”“it cost”“he send”等；其中单个动词没有统治结果，21种表面动词分散在27个实例中。这使“完全由一个高频词项造成”的解释不够充分。至少在这一公开语料里，“第三人称单数主语后的未屈折实义动词”具有跨词项复现。
然而，这个结果没有证明语法先证体。它只填上了B字段的一部分，而且对C字段也只提供“跨词项”这一很弱的线索。ESLSpok没有记录学习者纵向发展，也没有“某类错误是否触发语法书、教学规则、标注规范或纠错系统复核”的字段。换句话说，真正承重的D字段在公开树库里不存在。
这是一条对本文不利、但非常有价值的结果：只靠大型错误语料，最多能找到先证候选，不能证明证据已经走到规则前面。 因此本文撤回更强的原始设想——“稳定复现的系统性非标准形式就是先证体”。修订后的定义必须包含规则复核日志；没有日志，概念停在错误分析/中介语层，不越界。
真实数据最重要的作用不是给新理论盖章，而是把它削窄。本次检验至少删掉了三句原本很诱人的强主张。
第一，删掉“跨词项复现即可证明新语法正在形成”。27个实例、21种动词只说明这种偏离不是一个词的偶发错误，完全不能说明母语英语正在发生第三人称-s脱落，也不能说明学习者群体形成了统一新语法。
第二，删掉“频率越高，先证资格越强”。若一个错误因为课堂任务、母语迁移或口语加工负荷而高频，它仍可能没有规则修订价值。频率只决定我们是否值得进一步调查，不决定对象的理论身份。
第三，删掉“现有大型语料足以检验本理论”。恰恰相反，现有语料往往保存句子和标签，却不保存规则系统看到这些句子以后做了什么。数据科学能回答“发生了多少”，却无法自动回答“规则有没有被证据改变”。本理论因此产生了一个比新名词更实际的要求：未来学习者语料、语法标注项目和AI纠错系统若要研究规则生成，应保存规则版本—异常簇—复核动作—退出结果的链接。
第一类是过度规则化错误。儿童说goed、comed、breaked，说明他不只是记忆具体词形，而是在推广过去时构形规律。若研究只用这些错误证明儿童拥有规则，这属于语言习得研究；若在新的方言、接触语或代际语料中，同类规则化长期跨说话者复现，并促使语法描述重新界定某些动词的可接受变体，才可能进入先证体。
第二类是二语高复现偏离。本文真跑的第三人称单数裸动词属于这类。它非常适合教学诊断，却暂时缺D字段，所以不能被本文自行晋升。它提醒教师：别把所有“He go”都解释成“忘了一个s”；但是否改写英语语法本身，必须有更强的共同体与规范证据。
第三类是新共同体用法。某种新的情态、话语标记、关系结构或网络句式在正式语法书尚未收录时，已经跨说话者、跨词项并受语境约束地复现。若编辑规范、语料标注和语法描述开始建立新条目调查，它可以形成完整先证事件史。若它只是流行短语，离开特定模板便消失，则仍是词汇/风格创新。
第四类看似最像，却被本文排除：成熟方言结构。当某社群早已有稳定使用规范时，它不是等待标准语“批准”的前规则状态。标准语把它标错，说明标准语的覆盖范围有限，不说明这个方言结构处于候生阶段。本文不为成熟语言变体设置殖民式晋升阶梯。
对课堂最直接的启示不是“少纠错”，而是把纠错拆成两个动作：结果修正与证据保存。教师完全可以告诉学生“She have”在目标标准英语中应改为“She has”；同时把同类偏离按结构保存，观察它是否跨词项、跨任务、跨时间复现。
传统错题本记录的是“我错了什么—正确答案是什么”。先证式错题档案增加三个字段：“我用什么规律生成了它”“这个规律在哪些新句子里再次出现”“后来哪条规则说明因此被改写”。这会改变语法学习的心理方向。学生不再把每个错误都体验为系统崩溃，而学会辨别随机口误、阶段性假设和规则边界问题。
但教育学必须反过来削弱本文。若教师为了“保护先证”而故意不提供反馈，系统性错误可能固化。Metcalfe的综述明确强调errorful learning的收益依赖纠正反馈[3]。因此本文撤回“越晚纠错越有智慧”的强主张。正确做法不是延迟规范，而是规范纠正与证据保存并行：句子可以当场改，生成机制不能当场删。
对于儿童和初学者尤其要防止身份化。先证字段指向模式，不指向人。不能把某个孩子标为“高先证学习者”，更不能因为他的错误有研究价值而增加他承担错误的成本。对象是语言事件簇，不是学习者人格。
语法研究传统上保存大量语言事实，却很少把“某条规则为什么在某一版被改写”与触发它的异常簇一一关联。语法书最后给出的是稳定描述，同行论文给出的是分析，早期失败分类常被压进研究者笔记或审稿过程。
若先证体成立，最有价值的数据之一将不是更多句子，而是规则版本控制。研究项目可以像软件版本库一样保存：规则v1如何定义；哪些新语料无法解释；编码方案何时冻结；哪一批盲样重复了异常；评审讨论后规则v2改了什么；哪些候选被明确拒绝。这样，语法变化不再只剩“最终理论史”，而有一条证据取得资格的发生史。
这也会改善争议。很多语法理论之争长期停留在“我的例句可接受、你的不自然”。如果各方预先冻结材料选择、判断尺度与复现标准，再看未见样本是否继续出现，争论就从直觉所有权转向证据资格。本文并不声称语法能完全实验化，而只是要求：当我们声称一种新对象存在时，至少让别人知道它在规则之前以什么形式留下了脚印。
生成式AI与GEC系统把语法纠错能力推进到前所未有的规模。Choshen等人已经能够用Universal Dependencies对学习者语言中的句法错误进行跨语言分类[14]。这对教学和写作极有价值。但同一能力也制造一个新风险：如果所有非标准输入在进入共享语料、课堂作品集或公开文本之前就被自动标准化，未来研究者看到的将是被清洗后的语言。
最极端的情形是“完美纠错悖论”。平台每次都把一个正在扩散的新结构改回旧规范，于是平台日志显示旧规范依旧稳定；稳定数据又被用来训练下一代纠错模型，新模型更有把握地继续改回旧规范。表面上准确率不断提高，证据入口却越来越窄。
先证体理论因此不要求AI停止纠错，而要求保留差异双轨：用户看到可用的标准建议，研究系统保留匿名化的原始模式、模型改写、置信度、用户接受/拒绝以及规则版本。只有这样，机器才能区分“重复出现的低级错误”与“模型长期高置信纠错但用户群体持续拒绝的结构性偏差”。
管理学在这里再次削弱本文：日志越多并不越好。隐私、数据最小化与用户权利优先于语言研究兴趣。先证审计应聚合到结构层，不保留不必要的个人身份；任何用于评价学生、员工或用户的不利决定，都不能以未经验证的先证指标为依据。
上一篇“语法载差体”已经处理语法变化，因此是本篇最近的自家占位者。二者如果不能在同一案例上给出不同判决，本篇应合并而不是另立理论。
载差体的核心单位是关系差异的承载。例如过去时间原先主要由动词屈折承担，后来更多依靠助动结构、时间副词或语序共同承担；研究要找的是旧载体区分贡献下降、新载体区分贡献上升以及关系边界是否重划。
先证体的核心单位是规则前证据的资格。一个全新的句式可能在尚未被语法描述承认时跨说话者复现，触发规则复核；即使它没有替代任何旧载体，也可以形成先证体。反过来，已有语法内部的两个合法标记之间可以发生清晰换载，规则始终承认两者，完全没有“仍判错”的阶段；此时载差体成立，先证体不成立。
判决性对照很简单：若拿掉“现行规则仍拒绝它”这一条件，理论仍然原样成立，那是载差或一般语法变化，不是先证。若拿掉“同一差异的载体接管”，理论仍成立，则本篇不属于载差体。
教育学×化学×管理学这组三学科此前已经撞出“判据无主态/判据过渡体”。那篇研究跨学科问题在旧判据同时不足、新判据尚未稳定时，是否需要一个有限、可审计、可退出的阶段，让任何单一学科暂时失去终审权。若本篇只是把“判据过渡体”搬到语法，就不应存在。
二者关键差别在主权是否承重。语法先证体并不要求规范机构失去终审权。教师仍可判“She have”在标准英语课堂中错误，编辑仍可按当前规范修改文本，语料标注者仍可保留当前标签。先证体要求的是：这些终审决定不能同时把反复出现的结构证据删除；规则需要留一个复核入口。
因此，一个项目可以“高先证、低无主”：规则所有者始终明确，但异常证据有独立登记、盲样复现和规则复核。也可以“高无主、零先证”：多个专家暂时没有终审判据，却没有任何规则前语言证据。前者回答“证据何时早于规则”，后者回答“冲突时期谁拥有判据”。
一个新理论如果只借三个学科为自己抬轿，就没有完成碰撞。本文至少接受三处实质性削弱。
教育学削掉“错误越多，先证越丰富”。 如果没有学习科学的约束，本文很容易浪漫化错误，把课堂变成等待自发涌现的空间。现在必须明确：错误价值依赖反馈与后续重组；在高风险任务中，准确优先。先证保护的是证据，不是错误结果本身。
化学削掉“任何过渡都应保留”。 化学区分随机碰撞、过渡态、中间体、副反应与稳定产物。对应到语言，绝大多数口误无需建立先证档案。只有冻结规则可复现并呈现条件约束的模式才进入下一门。若模式不能在独立材料中重现，直接退出。
管理学削掉“频率足以修改规则”。 规则一旦影响考试、出版、法律、医学或公共沟通，就需要责任和版本管理。本文原本可能写“使用者不断重复的形式应当自动改写语法”；这句话撤回。重复只触发复核，不决定复核结果。最终规则可以维持原判，而且“明确复核后拒绝”同样是完整先证事件的合法退出。
三处削弱共同把“语法智慧”从开放主义拉回可治理状态：允许证据先到，不等于允许规则失效；让规则可被证据修改，也不等于让规则向每一次偏离投降。
最强竞争解释不是“错误没有意义”，而是更成熟的说法：其实这就是interlanguage + conventionalization。 学习者系统解释重复非标准形式，常规化理论解释某些形式怎样扩散；再加一个规则修订日志，并没有必要造新对象。
本文只有在控制这两个解释后仍产生独立预测，才有存在必要。核心机制证伪可以写成：在至少六个同质语法项目或教学单元中，控制非标准形式的频率、说话者分散度、个体中介语系统性和共同体常规化程度后，若“规则复核在稳定规则承认之前被可重复异常触发”不能额外预测后续的规则版本修改、标注分类改变或纠错策略改变，则语法先证体应被撤销，相关现象分别归入中介语、常规化与一般规则管理。
此外还有六条更具体的失败条件。
盲样失败。 冻结编码后，候选模式在未见材料中无法复现；说明对象来自回顾性挑例。
词项塌缩。 所谓模式几乎全部由一个词、一个模板或一个说话文件贡献；应降为词汇问题或局部习惯。
约束缺失。 频率很高，却找不到任何稳定的出现/不出现条件；应归入一般困难或噪声。
复核无增量。 有无规则复核日志，对预测规则变化没有差异；D字段是多余管理装饰。
常规化完全吸收。 Schmid式扩散与常规化指标已经完整预测规则修改，加入“旧规则仍判错”的信息不增加任何判别力；本文应并入EC模型。
中介语完全吸收。 个体/群体中介语的系统性已经完整预测教学规则调整，规则前证据对象没有额外作用；本文应降格为错误分析的一项记录技术。
伦理成本不可接受。 为保存先证证据必须延迟高风险纠错、暴露个人身份或牺牲学习者权益；则该场景不适用本文，即使理论变量存在。
本次ESLSpok真跑已经告诉我们一个非常具体的研究缺口：公开学习者语料可以保存原句、词性和依存结构，却通常没有“规则因此发生了什么”的版本链。下一步不应先追求更大语料，而应建设更小但证据链完整的纵向数据库。
研究一：六班同质课堂的规则版本实验。 选择同一年级、相近水平的六个自然班，统一教学第三人称单数或过去时。教师每周冻结一版“错误分类说明”，学生作品自动匿名化聚类。候选模式只有在下一周盲样复现后才能进入复核。主要结果不是成绩，而是哪些错误簇触发了教学规则说明的版本变化。控制练习量和教师反馈后，若“先证完整链”不比单纯错误频率更早预测规则改写，理论失败。
研究二：历史语法描述的版本回溯。 选择有多个版次语法书、词典或编辑手册的同一语言结构，建立“规则v1—早期非标准语料—规则v2”的时间链。关键是只使用v1以前冻结的识别规则去预测v1以后、v2以前的未见材料，防止用后来知识改造早期证据。若所有所谓“先证”只有在v2已经知道后才看得见，理论的前瞻性失败。
研究三：AI纠错的双轨日志实验。 在不保存个人身份的前提下，对若干语法类型记录模型原始输入的结构簇、自动修改、置信度和用户接受/拒绝。规则模型每月冻结一次。若一类被高置信纠正的输入持续跨用户复现，并且用户拒绝修改集中在特定语境，触发规则审查。若最终证明只是拼写/口语噪声，则记录为“复核后拒绝”，仍完整保存退出链。
这个理论最容易被错误实施成“创新错误积分制”：学校统计谁的错误最有创造力，平台给非标准表达打“未来语法概率”，研究者追逐罕见形式以制造新发现。那会同时伤害学习者和理论。
先证体存在的前提是结局未知。一旦制度奖励“成为未来规则”，参与者会主动制造偏离，研究者也会偏好把模糊证据解释成创新。最省事的实施方式恰恰会使盲样复现与自然发生失去意义。因此本文拒绝建立个人层面的先证分数，也拒绝把“复核后拒绝”当作失败绩效。
第二种反噬是规范虚无。若每次纠错都附带一句“也许未来会成为规则”，学生会失去当前目标语的清晰边界。本文的A字段反而要求旧规范必须被明确保存：先证体之所以存在，正因为它当前仍被判错。 如果连当前判决都不敢给，就没有证据与规则的时间张力，只剩模糊宽容。
第三种反噬是数据囤积。为了不错过“未来语法”，平台可能保存所有原始用户文本与个人轨迹。本文明确把这种做法判为越界。结构证据可以匿名聚合，个体身份不是理论必要变量；研究收益不能覆盖隐私义务。
“语法先证体”这个概念必须接受自己的判据。当前它当然不是一个被学界承认的稳定理论。它拥有一组跨学科材料，完成了一次公开数据的最低层检验，也与强近邻做了分离；但它缺少最重要的D类经验——还没有真实语法项目证明“冻结识别的异常簇先于规则版本修改，并具有超过中介语与常规化的增量预测力”。
因此，按本文自己的标准，这篇论文不能宣称“先证体已经被实证发现”。更准确的地位是：本文提出了一个先证体的识别协议，而ESLSpok只让其中的复现字段得到一次低成本试跑。 如果未来D字段长期无法收集，或者收集后没有增量价值，这个新词应该消失。
这不是谦辞，而是理论的结构要求。一个讨论“证据先于规则”的理论如果要求读者先承认它是规则，再寻找证据，就会当场自我矛盾。它必须允许自己长期停留在候选证据阶段，并接受被成熟近邻重新吸收。
语法的智慧首先不是“没有错误”。一个没有错误的系统，可能只是所有偏离都被提前清洗。语法的智慧也不是“永远变化”。无边界的变化无法形成共同语言。它更不是“大家怎么说就怎么算”。频率可以制造惯例，也可以制造集体性低质量偏差。
语法更深的智慧，是拥有一种时间上的谦卑：今天的规则可以对今天的表达作出清楚判决，却不把自己的判决误当成证据世界的终点。它能够说：“这句话按当前规则是错的”，同时保留另一句话：“这类错误正在重复形成一个我还解释不了的组织。”前一句保护共同标准，后一句保护未来知识。
所以本文的最终定义是：
语法的智慧，是让规则拥有判决权，却不拥有消灭反证的权力；当一组仍被判错的语言事件已经能够在盲样中复现、显示内部约束并迫使规则留下复核后果时，语法承认一种早于新规则的证据存在——语法先证体。
它最重要的价值，不是预测哪些错误会“转正”。绝大多数先证候选可能最终被拒绝。它保护的是更基础的一件事：让语言规则有机会被尚未成为规则的语言重新教育。
一个概念只有在不同场景里产生不同判决，才不是把命题换成问句。下面把“旧规则仍拒绝—冻结编码—盲样复现—规则复核”放进五个互不相同的现场。
场景一：儿童英语过度规则化。 一个儿童连续产生goed、comed、breaked。A字段明确：成人英语把这些形式判错；B字段可能成立：冻结“规则动词式-ed推广到不规则词”这一编码后，新一周材料继续命中；C字段也可能成立：主要集中在过去时间叙事。但D字段通常不成立——教师会调整教学，却不会据此复核英语不规则动词库存。因此这个场景更适合错误分析，不自动形成完整先证体。判决不是“有创造力”，而是“前三栏可能有、第四栏没有”。
场景二：一个地方社群的成熟非标准结构。 某地方英语长期使用一种标准书面语不接受的主谓一致方式。若社区内部已有稳定代际规范、说话者分布和社会功能，那么即使学校标准把它标错，本文也不把它放进先证阶段。这里A字段的“旧判”属于外部标准，不是对象自身缺少规则资格；对象已经有自己的共同体语法。判决是“成熟变体，不适用”。这一场景专门阻挡标准中心主义。
场景三：网络平台出现新的句法模板。 最初编辑器和纠错模型不断改写它；三个月后，冻结模板检测器在未见平台数据中跨作者复现，而且出现明显语义与语境约束；词典编辑或平台风格指南因此建立观察条目，但尚未宣布为标准。A、B、C、D四栏齐全，此时先证体成立。半年后若规范正式收录，E字段记为“晋升”；若热潮退去，记为“退出”。先证体不以晋升成功为存在条件。
场景四：学术英语中的新型名词化结构。 某学科共同体反复产生一种普通语法书很少描述、自动纠错器常建议改写的结构。若它只集中在一个固定术语周围，则C字段失败，应归入词汇搭配；若跨术语出现且功能稳定，多个期刊编辑规范开始修改说明，它才可能进入先证审查。这里的关键不是“学术界说了很多次”，而是是否从术语惯用语上升为可跨词项识别的组织。
场景五：AI长期把一种人类用法判错。 模型按训练规范持续纠正某结构，但用户跨地区、跨任务大量拒绝该修改。仅凭“用户拒绝”仍不成立，因为用户可能只是厌恶编辑。若冻结结构检测器后，在独立人工语料中出现同样分布，并且语言学标注者能描述其句法/语用条件，最终促使纠错规则降低自动改写置信或新增变体条目，才形成先证体。这里先证不是“AI错了”，而是“机器的旧规则被可复算的人类组织迫使进入复核”。
五个场景的答案故意不同：一个停在错误分析，一个被排除为成熟方言，一个完整成立，一个可能塌缩为搭配，一个要求机器规则留下后果。若本文对五个场景都只回答“都要开放、都值得保留”，理论就失去辨别力。
先证体不是“新语法的幼虫”。把它理解成必然长大的规则，会使研究者只寻找成功史。更准确的说法是，它是一份在结局未知时已经拥有审查资格的证据案件。完整事件至少有三种命运。
第一种是晋升。一个模式最初不被规则许可，随后在独立语料中跨词项、跨说话者或跨体裁扩散，内部条件越来越清楚，语法描述最终新增规则或构式条目。此时先证阶段结束，对象进入常规语法研究。先证理论在这里解释的是“为什么研究者在晋升前就有理由保留它”，而不是替代语法化或构式化理论解释后续变化。
第二种是降回。某模式初看反复出现，盲样也能命中，但进一步控制母语背景、任务类型或某个高频模板后，结构消失；规则复核后确认原描述无需改写。这个结局不是先证理论的失败。恰恰相反，E字段必须允许明确降回，否则所谓“可撤销对象资格”只是单向晋升通道。一个好的先证制度应该大量产生“审过、拒绝、留下理由”的案例。
第三种是分流。研究发现原先混在一个错误标签下的事件其实来自不同系统：一部分是学习阶段，一部分是方言变体，一部分是口语加工，一部分可能是真正的新构式。此时旧规则未必简单变宽，而是被迫细分。本文认为分流尤其重要，因为语法智慧不一定表现为“多承认一种正确形式”，也可以表现为“把原来一个error标签拆成四种发生机制”。
这三种命运使先证体与“创新预测”分离。一个研究项目若只发表晋升案例，会产生严重幸存者偏差；真正可审计的资料库必须同时保存被拒绝和被拆分的对象。语法知识的增长不仅来自新规则被接受，也来自某些诱人的新规则被有证据地拒绝。
前面的近邻并非都犯同一个错误。中介语研究非常尊重学习者系统，社会语言学尊重变异，常规化研究关心扩散，构式化关心新节点形成，语法化关心长期功能转变。它们已经把静态规范观拆得很深。因此本文不能声称“以前没人研究规则形成”。
敌意拓宽之后仍留下的一块共同地基更窄：很多理论是在对象身份已经可命名之后，回头组织其证据。 研究者先知道这是interlanguage、innovation、new construction、grammaticalization pathway、competing grammar，然后选择对应语料重建发展史。这种回顾性研究完全合理，却与“当时是否已经有足够证据把对象从错误桶里捞出来”不是同一个问题。
先证体专门把研究时钟拨回结局未知的时点。假设我们只拥有2026年以前的规则表和2026年当年的数据，不允许调用2035年才知道的变化结果。研究者必须在这个信息条件下先冻结识别规则，再判断下一批材料是否复现。它处理的是前瞻性对象资格，不是历史学家拥有完整结局之后的解释质量。
这也是为什么本文强调“复核后拒绝”与“最终晋升”同样合法。若一个概念只有后来成功常规化的案例才算命中，它永远不会被证伪，因为成功者被称为先证，失败者被称为噪声。把失败候选也保存，才能使“先证”不是后见之明的新名字。
为了防止“先证”在不同章节随意变义，本文把清点单位写死。一个清点单位不是一句话，而是一个“模式—规则版本—时间窗”的三元组。 同一句里出现两个目标模式，分开记；同一模式跨两个规则版本，分两条事件；同一规则版本下重复数百次，仍属于同一候选事件的复现证据，不按句数膨胀对象数量。
编码时依次填写：
模式ID：用结构描述而非价值词，例如“3SG pronoun + lexical VB/VBP without licensing AUX”。
旧规则版本：必须能定位日期、教材版次、标注指南commit或纠错模型版本；没有版本，只能写“现行惯例”，不能进入完整实证。
首次冻结时间：识别规则何时写死。冻结前的材料只用于提出候选，不用于盲样确认。
盲样窗口：冻结后哪一批材料从未参与规则构造；重复抽取同一语料切片不能冒充独立复现。
约束说明：至少记录一个“出现条件”和一个“阻断条件”。只有出现条件没有阻断条件，容易把高频现象误认成结构。
复核动作：新增调查条目、修改教学解释、修改标签、调整纠错阈值、维持原判等均可，但必须有日期与责任主体。
退出状态：晋升／降回／分流／待决。待决不能永久保存；每个项目应规定下一次复核日期。
这套手册故意不产生一个“先证分数”。因为不同场景的频率量纲、规范权力与社会后果不可直接通约。本文宁可保留七个字段的有无与时间顺序，也不把复杂语言对象压成一个看似精确的排名。
本文真跑也按同一口径理解：ESLSpok的27个token不是27个先证体，只是一个候选模式的27次命中；24个源文件和21种动词形式加强B字段，却没有增加D字段。若把每个token都叫一个“先证体”，数量会被语料规模机械放大，理论立即失真。
除了多年语言变化，先证机制可以在更短尺度上测试，但测试对象必须改成“教学规则的描述”，不能夸大成整个英语语法变化。
例如教师准备讲第三人称单数。第一阶段不先给完整规则，而让学生完成一组人物日常描述。教师依据事先冻结的编码记录he/she/it后的动词形式，发现若干系统性模式。第二阶段明确讲授标准规则并反馈。第三阶段换一组未见动词、不同主题、不同时间压力的任务，观察先前模式是否复现。若某类偏离持续跨任务出现，教师打开规则说明复核：问题究竟是“忘记-s”，还是与助动词、口语计划、主语距离、词汇熟悉度或任务负荷有关？
在这个微型实验里，学生的错误不改变英语规范，却可以改变课堂正在使用的解释规则。如果教师原来只有一句“第三人称要加-s”，复核后加入“当助动词出现时主要动词不加-s”“口语快速计划中屈折更易脱落”“识别规则与在线产出要分开评估”等层次，D字段就有真实后果。
对照条件可以只做常规纠错，不保存错误生成模式。两组教学时长、练习量和反馈量相同。若先证组只是让教师写了更复杂的教案，却没有更早预测学生下一轮错误、也没有改善跨任务诊断，那么先证协议没有增量价值，应回到常规形成性评价。
这一设计同时保护教育边界：课堂中所谓“规则修改”指教学解释模型，不是教师私自宣布英语标准变化。把两个层级混为一谈，会让本文从学习研究滑向规范随意主义。
本文把独立理论地位押到2031年8月7日。在此日期之前，若至少有六个同质的纵向语法项目、学习者语料项目或版本化纠错系统完成“旧判—冻结—盲样—复核—退出”记录，而在控制错误频率、个体中介语系统性、说话者分散度和常规化程度后，D字段（规则复核先于规则承认的可追踪后果）不能对后续规则版本变化提供增量预测，则“语法先证体”应撤销独立命名，其材料分别并入错误分析、中介语、常规化与一般规则管理。
以下结果不算命中：只是发现很多错误；只是发现错误有规律；只是某用法后来进了词典；只是教师说“我更重视学生错误”；只是AI保存了修改日志；只是研究者事后从历史语料挑出一个成功变化。至少要有冻结识别、独立复现和规则复核的先后链。
反过来，即使六个项目里没有一个候选最终“晋升成新语法”，理论也未必失败。只要规则复核字段稳定地帮助区分哪些模式该被降回、分流或继续追踪，并且这种区分不能被现有近邻变量替代，先证体仍有独立用途。本文押的不是“错误会变规则”，而是“规则形成前存在一种可审计的证据资格”。
到这里仍有一个根本质疑：即使“先证体”能被操作化，它为什么与“智慧”有关？难道这不只是给语料项目多加几个字段？如果答案只是“信息保存更完整”，本文就退化成档案管理。
本文所谓智慧，不是智商、聪明程度或语言优越性，而是一种判断系统在面对自己尚不能分类的证据时，既能行动又能保持可修订性的能力。语法必须在两个相反风险之间运行。一边是过早开放：任何偏离都被当作新规则，公共标准迅速失去可教、可写、可协作的边界；另一边是过早闭合：凡不符合现行规则的材料都被删除，规则因此获得自我证实的封闭回路。智慧不在两者中间取平均，而在于把两个动作拆开——当前判决可以明确，未来复核入口不能被封死。
教育学揭示这种智慧的“认知面”：学习系统的当前错误可以携带关于下一步组织的知识。化学揭示“存在面”：路径中的实体不依赖终态才能获得识别资格。管理学揭示“制度面”：一个规则只有允许具体执行反向修改自身，才不是僵死脚本。三面合起来，先证体不再只是保存异常，而是建立一种特殊的时间结构：规范现在作出决定，证据保留改变未来规范的权利，但这种权利必须经过复现和复核才能兑现。
这也是“智慧”与“宽容”的差别。宽容可以只是少纠错；智慧必须知道为什么这一次不把证据销毁、下一次凭什么重新打开规则。宽容是一种态度，先证是一种可审计结构。一个教师非常温和，却从不记录错误模式，先证能力仍然很低；一个编辑非常严格，但持续保存反例并定期修订指南，反而可能具有更高的规则可学习性。
同样，“智慧”也不等于变化速度。最快接受新用法的规范不一定聪明，最快清除旧用法的系统也不一定聪明。真正承重的是错误分类与规则更新之间有没有证据桥。桥存在，系统可以长期保持严格而不封闭；桥不存在，所谓开放只能依赖个人善意，所谓严格则容易变成路径锁定。
语法研究经常把不同时间尺度混在一起，这会制造大量伪争论。本文区分三个时钟。
第一个是句子时间。一句话在几秒内被计划、说出、理解和修复。这里最重要的是加工负荷、在线选择与沟通后果。一个“She have”可以只是口语规划中的瞬时脱落，不能从一次句子时间直接推出系统。
第二个是学习时间。一个学习者在几周、几月或几年中形成、修正和固化假设。Corder与interlanguage主要照亮这一层。相同偏离在学习时间里反复出现，说明它可能属于学习者系统，而不是一次performance mistake。
第三个是规则时间。教材、语法书、编辑规范、语料标注指南和纠错模型在更长或制度化的周期里更新。规则时间通常慢于句子时间，也未必与学习时间同步。一种表现可以在句子时间中大量发生，在学习时间中高度系统，却在规则时间里始终没有任何后果；也可以在较低频时，因为揭露一个描述漏洞而迅速触发规则复核。
语法先证体只在三个时钟发生特定错位时成立：句子时间已经反复提供材料；学习/社群时间已经显示组织；规则时间仍未承认，但开始被前两者迫使复核。它不是“中间阶段”这个空间比喻，而是三个时钟暂时不同步形成的对象。
这个时间分解还能解释为什么本文的ESLSpok结果只能过最低门槛。树库提供句子时间的产物，也以多个源文件显示一定范围的复现；它却没有纵向学习时间，更没有规则版本时间。因此，从27个实例直接跨到“新语法”相当于一次跨两级时间尺度的非法跳跃。
未来研究若能同时保存三个时钟，很多争论会变得更清楚。例如学生错误究竟是“没学会”还是“在线说不出来”，需要学习时间来区分；新网络用法究竟是短期潮流还是语法变化，需要社群时间来区分；一种稳定变体何时进入语法描述，则需要规则时间。先证体不替代这些研究，而是把它们在“规则何时被证据迫使看见”这一时点接起来。
一个新概念最容易膨胀的方式，是把所有相邻现象都收进来。本文明确给出五类不适用情形。
第一，已有成熟描写的语言变体不适用。某方言、民族语言或社群语法即使不被学校标准接受，只要它已有稳定共同体规范，就不需要等待“先证”。第二，纯粹性能失误不适用。说话者疲劳、口吃、打字错位造成的偶发形式，没有跨样本组织。第三，单词创新不自动适用。一个新词流行起来可能是词汇变化，不必牵动语法规则。第四，已被完整解释的学习阶段通常不需要重新命名。如果现有中介语理论能够精确说明其分布、发展和反馈效果，而且没有任何规则复核增量，直接使用旧概念更好。第五，高风险实时语言任务不能为了保存证据牺牲准确传达。航空、医疗、法律指令中的关键语法应先保证当前可理解与合规，研究记录只能在不增加风险的条件下后台保存。
边界还包含一个更深的限制：先证体只能处理“规则系统有版本、有复核入口”的场景。自然语言共同体本身没有中央委员会，很多变化没有清晰的规则日志。这时研究者可以把语法书、辞典、编辑规范、标注指南或模型规则当作可观察代理，但必须明写代理对象，不能把“某本语法书改了”直接等同于“整个语言改了”。
因此，本文最适合的不是给世界语言排智慧等级，而是研究描述系统、教学系统与自动纠错系统怎样面对还没有名字的结构证据。它的价值若成立，也首先是一种认识论与制度设计贡献，而不是自然语言变化的一条万能定律。
本理论最后保留一个公开承诺：任何案例如果不能展示规则版本、冻结识别、独立复现与复核后果四者的时间关系，就不使用“先证体”这个名称。宁可少命名，也不把所有变化都纳入自己的解释范围。
本文从教育学、化学与管理学的三重冲突出发，最终没有把语法智慧归结为规则更多、错误更少、变化更快，也没有把“系统性错误”本身抬升为一种新语法。教育学迫使我们承认：错误有时已经携带关于学习者组织方式的证据；化学迫使我们承认：一个对象不必等到稳定终态才获得可识别资格；管理学则迫使我们承认：正式规则与具体执行并非单向关系，后者能够留下要求前者复核和改写的后果。三者合在一起，出现了一个任何一家都不需要单独设立的对象——语法先证体。
语法先证体的成立条件不是“后来证明它对了”，而是四件事在结局未知时已经同时发生：现行规则仍明确判错；识别方式已经冻结；新材料能够独立复现并显示内部约束；规则系统因此留下可追踪的复核后果。它可以随后晋升、降回或分流。尤其是降回仍然属于完整事件，因为本文保护的不是“新形式最终胜出”，而是证据在被规则判错之后仍保有一次进入复核程序的资格。
公开ESLSpok语料的低成本真跑也给出了必要限制：27个命中、21种不同动词和24个源文件足以让一个第三人称单数未屈折模式越过“单次偶发”的最低门槛，却不足以证明完整先证体，因为数据没有保存规则版本与复核后果。这一缺口不是附带遗憾，而是本文最重要的经验修订之一：重复不是先证，系统性不是先证，未来真的进入语法也不自动倒推此前存在先证；只有在规则仍拒绝它的时候，证据已经获得可复核身份，并真实迫使规则留下复核轨迹，先证体才成立。
因此，对“什么是语法的智慧”的最终回答可以写得很短：语法的智慧，是让规则拥有当下的判决权，却不拥有抹去未来反证的权力。 一个成熟的语法系统既能明确告诉使用者今天什么被判为标准，也能在尚无新规则可依时，为可重复、受约束、会触发规则复核的异常建立暂时而可撤销的证据身份。它不是取消边界，而是让边界具有被语言事实重新教育的能力。
[1] Corder, S. P. (1967). The significance of learners' errors. International Review of Applied Linguistics in Language Teaching, 5(4), 161–170.
[2] Selinker, L. (1972). Interlanguage. International Review of Applied Linguistics in Language Teaching, 10(1–4), 209–232.
[3] Metcalfe, J. (2017). Learning from errors. Annual Review of Psychology, 68, 465–489. https://doi.org/10.1146/annurev-psych-010416-044022
[4] IUPAC. (2025). Intermediate. In Compendium of Chemical Terminology (Gold Book), 5th ed., Online version 5.0.0. https://doi.org/10.1351/goldbook.I03096
[5] Abma, G. L., Parkes, M. A., Razmus, W. O., Zhang, Y., Wyatt, A. S., Springate, E., Chapman, R. T., Horke, D. A., & Minns, R. S. (2024). Direct observation of a roaming intermediate and its dynamics. Journal of the American Chemical Society, 146(18), 12595–12600. https://doi.org/10.1021/jacs.4c01543
[6] Feldman, M. S., & Pentland, B. T. (2003). Reconceptualizing organizational routines as a source of flexibility and change. Administrative Science Quarterly, 48(1), 94–118. https://doi.org/10.2307/3556620
[7] Feldman, M. S. (2000). Organizational routines as a source of continuous change. Organization Science, 11(6), 611–629. https://doi.org/10.1287/orsc.11.6.611.12529
[8] Dittrich, K., Guérard, S., & Seidl, D. (2016). Talking about routines: The role of reflective talk in routine change. Organization Science, 27(3), 678–697. https://doi.org/10.1287/orsc.2015.1024
[9] Hopper, P. J. (1987). Emergent grammar. Berkeley Linguistics Society, 13, 139–157.
[10] Hopper, P. J., & Traugott, E. C. (2003). Grammaticalization (2nd ed.). Cambridge University Press.
[11] Traugott, E. C., & Trousdale, G. (2013). Constructionalization and Constructional Changes. Oxford University Press.
[12] Schmid, H.-J. (2020). The Dynamics of the Linguistic System: Usage, Conventionalization, and Entrenchment. Oxford University Press. https://doi.org/10.1093/oso/9780198814771.001.0001
[13] Kroch, A. (1989). Reflexes of grammar in patterns of language change. Language Variation and Change, 1(3), 199–244.
[14] Choshen, L., Nikolaev, D., Berzak, Y., & Abend, O. (2020). Classifying syntactic errors in learner language. Proceedings of CoNLL 2020, 97–107. https://doi.org/10.18653/v1/2020.conll-1.7
[15] Graliński, F., Staruch, R., & Jurkiewicz, K. (2025). Oddballness: Universal anomaly detection with language models. Proceedings of COLING 2025.
[16] Kulkarni, V., Al-Rfou, R., Perozzi, B., & Skiena, S. (2015). Statistically significant detection of linguistic change. Proceedings of WWW 2015.
[17] Kyle, K., Eguchi, M., Miller, A., & Sither, T. (2022). A dependency treebank of spoken second language English. Proceedings of BEA 2022, 39–45. Universal Dependencies UD_English-ESLSpok, CC BY-SA 4.0.
[18] Tarone, E. (2018). Interlanguage. In The Encyclopedia of Applied Linguistics. Wiley. https://doi.org/10.1002/9781405198431.wbeal0561.pub2
[19] Kauhanen, H., & Walkden, G. (2018). Deriving the Constant Rate Effect. Natural Language & Linguistic Theory, 36, 483–521. https://doi.org/10.1007/s11049-017-9380-1
[20] D’Arcy, A., & Tagliamonte, S. A. (2015). Not always variable: Probing the vernacular grammar. Language Variation and Change, 27(3).
[21] Diessel, H. (2019). The Grammar Network: How Linguistic Structure Is Shaped by Language Use. Cambridge University Press.
[22] Goldberg, A. E. (2006). Constructions at Work: The Nature of Generalization in Language. Oxford University Press.
[23] Ellis, N. C. (2002). Frequency effects in language processing. Studies in Second Language Acquisition, 24(2), 143–188.
[24] Bybee, J. (2010). Language, Usage and Cognition. Cambridge University Press.
[25] Universal Dependencies. (2026). UD English ESLSpok treebank documentation, UD v2.18. https://universaldependencies.org/treebanks/en_eslspok/index.html
[26] 胡志英. (2026). 语法载差体：语法不是守住形式，而是让差异找到新的载体. SDE Universes 学员专栏. https://sdeuniverses.com/students/hu-zhiying/carrier-handover/
[28] 王德生. (2026). 语言发生学. 德麦国际出版社，编号专著第 41 号. https://sdeuniverses.com/books/m/41/
本文出自同一位作者同一道题下的一组九篇。九篇同问「什么是语法的智慧」，各取三门互不相干的成熟学问对撞，各命名一个新对象、各给一个读数。编辑部逐篇盲评后只取四篇上线，其余五篇归档不发。取舍标准与落选理由写在本节——读者有权知道同一位作者就同一道题写过多少篇，而编辑部只发了其中几篇。
九篇与它们各自的对象：①关系留证（考古学×天文学×牛顿力学）②语法载差体（化学分析×加工学×系统学）③差异接代体（生物学×历史学×系统学）④语法先证体（教育学×化学×管理学）⑤语法屈稳体（教育学×心理学×机械学）⑥语法境阈体（环境学×化学分析×量子力学）⑦语法退役体（经济学×植物学×历史学）⑧语法等证体（结构化学×量子力学×宇宙学）⑨语法达变体（营销学×地理学×化工过程）。
上线的四篇是四个互不相犯的辨别面：
⑥《语法境阈体》——环境在哪一段区间里才拿得到改判权：判定何时会翻。
④《语法先证体》——证据凭什么在规则之前取得资格：规则何时被逼着改。
⑦《语法退役体》——一条规则退出时留下几本没结的账：规则怎样死。
②《语法载差体》——同一条差异的形式承担者何时换人：形式怎样换班。
本组内部最危险的一处自撞，以及分工线。②与⑦挨得最近，两篇都在追「旧的形式后来怎么了」。分工线在被追踪的东西是什么：②追的是关系差异——它始终要保持可辨，只是换了承担者，因此问题是「这条关系现在由谁扛，什么时候换的人」；⑦追的是旧单位本身——它的一般生产力正在收缩，因此问题是「它退出之后，它造出来的分类、语域用途与解释义务分别去了哪里」。这条分工的反驳条件写死如下：取一批衰退中的构式，若②的「首换载点」与⑦的「四账去向」在控制下降斜率之后，对同一批构式的后续残留类型给出无法区分的预测，则两篇应合并为一篇，保留读数更简的那个。反过来，若存在一条差异完成了换载而旧单位并未退役（旧形式仍有一般生产力，只是不再主要承担该条差异），或存在一条规则完成了退役而无任何差异被接手（该区分随之消失，无人补位），则两篇各自独立成立。⑦自己的第十五节已经做过一次这样的分离，本节把它的反驳条件补上。
落选的五篇为什么不发。三类。其一，与已发四篇轴线过近：⑧《语法等证体》与④在同一条时间线上（证据与规则/结构资格的先后），⑤《语法屈稳体》与⑥在同一个形状上（有界区间内状态会翻，只是一个翻在环境轴、一个翻在负荷轴），③《差异接代体》与②在同一个动作上（差异在交接中存活，只差交接发生在载体之间还是世代之间）。同一条分离线被切两次，后来者不构成新的辨别面。其二，增量薄于占位者：①《关系留证》的核心主张——语法把线索留在关系可能被误判的位置——与噪声信道模型、统一信息密度、竞争模型、效率语法的共同说法高度重合，划界写得认真，但拿掉这些占位者之后剩下的独立部分不足以单独承重；⑧的处境相同，它面对的是证据不充分决定性、可识别性、主动学习与形式文法等价四家，而它自己在正文里就承认后者「更强」。其三，形式闸门：⑧的参考文献仅 6 条，是九篇中唯一低于十条的。
本组四篇共同的短板，编辑部一并写在这里：九篇用的是同一副写法——三门无关学科各出一条硬判断，逼出三家共有前提，用其中一门自己的材料推翻，命名一个新对象，给一个读数，做一次预注册真跑，逐条敌意近邻，反向约束，机制证伪，写死赌注。这副写法把可证伪性推得很高（这也是本组最硬的地方：八篇有真跑，五篇拿到不利结果并据此撤回强主张），但它同时使九篇的论证形状高度同形。同形本身不是错误，读者却应当知道：四篇之间的差异在对象与读数，不在论证的骨架。
正文第十一至十四节已经与错误分析、中介语、涌现语法、常规化、构式化、变异社会语言学与异常检测逐一分过界。此处补两个正文完全没有照面、而离本文承重条件（规则复核先于规则承认）最近的正主——两家都在语言学之外，而本文的第四个条件恰恰是制度性的。
一、法律中的惯行先于成文与废弃不用。这是本文命题在制度史上最成熟的一次实现：一组行为在成文规则仍判其无效时反复发生、可被独立复现、内部有约束，最终迫使规则体系正式承认（惯行入法），或反过来迫使一条从未被废止的条文被认定失效（desuetude，废弃不用）。整套结构与本文的四条件几乎逐条对应，且法律共同体本来就保存版本记录——这正是本文真跑缺掉的那个字段。
分离线在谁有资格发起复核。惯行入法的成立依赖一个有权作出承认的机关（法院、立法者），证据资格由该机关事后授予；本文主张先证体的资格不由任何授权机关给出，而由「规范仍拒绝—盲样可复现—内部有约束—规则留下复核后果」四项联合构成，因此可以出现在没有任何权威机构的语法描述实践里。判决性对照：在有正式修订机关的场域（教材编写委员会、标注规范维护组）与没有正式机关的场域（分散的教师纠错实践、开源标注社区）分别追踪同一类非标准模式；惯行框架预测只有前者会留下可追踪的复核后果，本文预测两者都会，且后者的复核后果表现为分类口径在无中心的情况下发生可测的一致漂移。若后者始终读不出复核后果，本文的资格论应退回惯行框架，先证体降格为一种没有机关的惯行。
二、鲍克与斯塔的分类基础设施与残余范畴。这是本文所处理的现象在信息基础设施研究里的正主：任何分类系统都会生产一批装不进现有格子的东西，它们被塞进「其他」这类残余范畴；而残余范畴的膨胀正是分类系统被迫改版的前兆。本文所谓「仍被规范判错、却已具备约束组织的材料」，在他们那里就是残余范畴里的堆积。
分离线在残余是否必须被看见。残余范畴是已经在系统内部有位置的（它有一个叫「其他」的抽屉），改版的动力来自抽屉太满；本文的先证体在作出判定的那个位置上没有名字也没有单位——它被判为错，而不是被归入残余。判决性对照：追踪标注规范的版本变更，看修订前是否存在一个显式的残余标签在膨胀；分类基础设施预测有（且膨胀速率可预测修订时点），本文预测存在一类修订，其触发材料在修订前从未获得任何标签，只以「判错」形式反复出现。若所有规则修订都能由残余标签的膨胀预测，先证体应并入分类基础设施研究。
1. 无机关场域的复核后果：在没有正式修订机关的标注实践中，同一类被判错的模式应在多个独立小组间产生可测的分类口径漂移，且该漂移与模式的跨群体复现度相关。若无机关场域始终读不出复核后果，先证体的资格论退回惯行框架。
2. 无标签触发：追踪语法描述或标注规范的版本变更，应存在一类修订，其触发材料在修订前从未获得任何显式标签（既不在残余范畴，也不在例外表），只以判错形式反复出现。若所有修订都能由残余标签的膨胀预测，先证体并入分类基础设施研究。
3. 与个体系统性脱钩：在控制个体中介语系统性之后，「跨多个独立群体重复暴露同一规则缺口」应仍能预测后续规则版本变更；反之，个体内部高度系统而跨群体不复现的模式，不应预测任何规则变更。若两者预测力相同，本文的第四个条件失去独立性。