斯台普顿学说

摘要

2026年9月23日，在奥斯汀举行的Rails World 2026大会上，Ruby on Rails的创造者David Heinemeier Hansson宣称：“英语比Ruby更优秀的编程语言。”本文接受该主张并予以驳斥。英语具有歧义性：两个主体可能对同一句话产生不同理解，且无法证明一句话的确切含义就是你所认为的那样。

该架构中普遍存在的事物并非某种口语语言，而是可验证程序：一个小型、可检查的实体，带有可度量的凭证，任何机器均可在不信任原始编写机器的前提下重新验证。

本文阐述了AIEN架构背后的教义：意义应如何从建议经验证到证据流动，软件栈应如何逐层剥离至作者完全拥有的基础，以及为何永远租用解释器与真正拥有理解并非等同。该论点建立在先前同一辩论中的重要标记之上：阿达·洛芙莱斯关于机器能否产生原创内容的观点，艾兹赫尔·戴克斯特拉关于测试与普通语言所能证明的内容，C.A.R.霍尔关于简洁性的困难，以及理查德·斯托曼关于谁控制谁的思考。

记录在案的分歧

本文所回应的观点属于某个特定人物，且具有固定文本。在2026年Rails大会的开幕主题演讲中，汉森结束了长达二十五年手动编写代码的生涯，并宣布作为职业程序员的退休，将代理生成的代码视为黑箱进行评估。本文所回应的句子正是他原话：“英语比Ruby更适合作编程语言。”

该教义赋予了该观点的宽宏一半。对话正成为主要接口，一个思维清晰的人应当能够通过与强大代理协作构建严肃系统。它拒绝其余部分。如果英语是语言，而租用的模型是决定你英语含义的编译器，那么谁拥有该模型，谁就拥有你指令的含义。度量标准并未消失；它已向上移动了一层，隐于幕后，无法再被测量。

以姓名回应主张已有先例。图灵在《计算机器与智能》（1950）中，引用了他归于阿达·洛芙莱斯的异议，将其命名为“洛芙莱斯女士的异议”，并以姓名回应。本文遵循这一礼节：主张附上发言者姓名、日期和原文，然后在实质上予以回应。该主张也有更早的历史：COBOL语言于1959年由格蕾丝·霍珀推动设计，旨在像英语一样可读，早已尝试以散文作为机器语言，而戴克斯特拉在一代人之内便给出了判决。

该主张

英语是对话。程序就是实际所说的内容。

机器的通用语言候选者既不是英语，也不是人类已掌握的任何语言。它是经过验证的程序：一个通过所有测试并附带证明收据的程序。“通用”并非指人人都能阅读，而是指无人需要依赖他人之言。一句话可以争论；收据却不能。只要该产物可被检验，地球上任何机器都能独立验证，正是这一属性，而非人类可读性，使产物具有通用性。

该架构中最小的此类产物称为“碎块”：由代理起草的程序片段，经独立验证者检查，评估其收益与成本，并附上证据归档。程序从路边向上构建，每个模块在下一个模块建立之前均须证明其正确性。本文为哲学基础；碎块的工程规则则由治理项目仓库的主权谱系教义所规定。

循环

此架构中的一切均不被接受于抵达之时。一切皆需通过同一循环：

一个模型的权重提出一个候选方案。该候选方案被重新表述为一个明确的程序，即“碎屑”，机器可以运行它，检查器可以审查它。Omega，即定义层，将这一主张编译为具有清晰边界的形态。物理现实拥有最终决定权：只有实际执行、消耗的瓦数、观测到的比特、计数的结果，才算真实。而证据能够教学，因为测量结果会反馈到权重中，使得每一次循环都能从比上一次更好的建议开始。

两种未来，阶梯，以及产权与租用的对立

该论点归结为两种图景。在第一种中，英语被宣布为通用语言，其下的机械结构被当作黑箱忽略，而决定词语含义的解释器则由代币租用，永久持续。在第二种中，对话停留在人类擅长的层面，而验证则下沉至机器内部，那里才真正存在证明：程序被起草、检查、测量并归档，当不再有任何可租用之物时，工作才告结束。

因此，这一教义沿着阶梯下行，而阶梯仅能单向下行。租用的服务和托管的解释器最先被摒弃。Rust 是桥梁：编译型、作者编写，当前的主力工具。C 语言是下一步，属于迁移步骤而非最终目标。最终目标是作者自己的语言作为基础，从构建、阅读到拥有，全程自主可控。只有当一个经过验证的替代方案能够承受负载时，才移除一层：阶梯的下行基于证据，而非声明；一次通过的测试并非证据，而一份收据才是：经过测量的结果，连同其方法一并归档，可供任何人重新运行。

整个架构的目标有一个名称：智能作为产权，而非租用。Stallman 在一代人之前就阐明了这一根本原则：“当用户无法控制程序时，程序就控制了用户。” 产权意味着你机器上的实体可以被你明天重新运行、重新测量、重新验证，无需订阅，也无需任何人的许可。租用意味着他人黑箱决定你指令今日的含义，并向你收取下一轮的费用。

教义的十条原则

1. 英语是对话，而非语言。 交谈是人类引导的方式。它不是被执行的内容，不是被验证的内容，也不是被记忆的内容。
2. 经验证的程序是通用的实体。 通用意味着无需信任即可检查，而非人人都能阅读。碎屑及其收据，是这一架构中的通用货币。
3. 权重仅作建议，不作裁决。 建议与裁决是两种不同的职能，而教义确保它们由不同的人持有。
4. 意义沿着循环向下传递。 建议、明确的程序、清晰的定义、可测量的执行、归档的证据。在底部抵达的，正是顶部所说内容的真相。
5. 见证者验证，但不触碰。 AEGIS 检查代理生成的内容，不作任何更改，不制定任何政策，也不属于生成系统的一部分。若无独立的见证者，验证就只是另一种作者行为。
6. 物理是最终的授权者。 未被测量的，就等于未完成。文档、声明和架构图永远无法超越一次执行的凭证。
7. 剥离堆栈，直达根基。 首先移除托管层。迁移步骤如 C 必须凭借其作为步骤的证明获得地位。只有当基础在作者自己的语言中被完全掌控时，才算完成。
8. 在被替代之前，一切都不应被默认拥有。 一个层级只有在有经验证的替代品承重时才能被移除。阶梯的下降基于证据，而非声明。
9. 掌控基础，否则你只是租用意义。 谁掌控解释器，谁就决定你话语的含义。当不再有任何东西可租时，教义便终结。
10. 先有眼耳，后有产业。 循环必须在方便之前就独立于任何供应商。资产必须先建立，然后才可产品化。

研究资料

引用

@misc{stapleton2026doctrine,
  author = {M. Drake Stapleton},
  title = {The Stapleton Doctrine:
           A Personal Philosophy of AI Architecture
           and Programming},
  year = {2026},
  month = {September},
  version = {1.5},
  note = {Position paper, not peer reviewed},
  url = {https://aienos.com/research/the-stapleton-doctrine}
}