第4期 | 建议都欢迎，但我不保证实现

操作系统 · 2026-10-19 · 九羲科技

一、Linux 线

1991 年 8 月那封帖子里，最容易被滑过去的一行，是倒数第二段的结尾：

"Any suggestions are welcome, but I won't promise I'll implement them:-)"

建议都欢迎，但我不保证实现。末尾还跟了个笑脸。

先看他到底向社区要了什么。8 月 26 日这封，要的是"你们喜欢 / 不喜欢 Minix 的哪些地方"；再往前倒，7 月 3 日那封帖子，要的是 POSIX 标准的机器可读版本——他手里没有那份文档。

一个 21 岁的大学生，写操作系统之前，先向全世界众筹了两样东西：别人的经验，和一份标准。不是要人，不是钱，是知识。反常识的细节在这儿：Linux 诞生之前，最先被众筹的，是"知道什么该做"。

然后是那句"不保证实现"。22 天后，9 月 17 日，0.01 版上传 ftp.funet.fi，约一万行，承诺兑现了一半——能跑，但还很小。从那天起，这个回路就转起来了：全世界的补丁开始往赫尔辛基飞，他一个人就是全部的合并队列。建议他听，拍板权一次也没让渡。再往后，"不保证实现"长成了维护者分层：子系统的拍板权交到他信任的人手里（据公开资料，即后来的 lieutenants 模型），但合进主线的最后一道门，始终是他自己。

维纳在《Cybernetics》（1948）里早就写过这个结构：控制回路是"感知—比较—执行"三环。建议只是感知端的输入，反馈不等于自动执行。一个没有明确控制器的回路会振荡、发散——Linus 那天顺手写下的，其实是一份控制系统的权力声明：传感器可以有很多，控制器只能有一个。

美学时刻看 Escher。1948 年的石版画《Drawing Hands》，两只手从纸面上升起，互相把对方画出来。Linus 画内核，社区画建议，建议又画出更大的内核——谁在画谁，分不清。Hofstadter 在《Gödel, Escher, Bach》（1979）里说，这是怪圈（strange loop）的范本。一个操作系统，就是这样被一只看不见的手和千万只看得见的手，互相画出来的。

二、原生 AI OS 线：推演

如果 AI 的操作系统先出现，"建议都欢迎"会变成什么样？

首先，建议不再来自人。Agent 之间互相提议、互相打补丁，提案是百万级的，机器速度。那时"不保证实现"不能是一句笑脸，它必须是一组治理原语：提案用什么格式、附什么证据、谁来验证、沙箱试跑多久、否决权归谁。

推演一步：AI-native OS 的内核里会有一个"宪法层"——不是业务逻辑，是可审计的治理策略。每个 agent 的提案进来，先过验证沙箱（自动试跑，看代价），再进裁决（采纳 / 拒绝 / 排队）。Linus 用一个人脑干的活，AI 时代要写成协议。

旧范式里，"不保证实现"是一个人脑里的 if-else——确定性分支；新范式里，它会变成一个可调的采纳阈值：多少证据才触发合并，本身是一个可以学习的参数。治理从"人拍板"变成"概率裁决"。这是控制论在向量时代的续集，也是范式之眼照到的地方：连"决策"这个最像人的动作，都在从线性分支滑向向量空间里的优化。

这里借金刚经第 8 条照一照：「以无我、无人、无众生、无寿者，修一切善法。」（鸠摩罗什译）治理的第一课，是放下我执。"我的架构最优"是相，"社区的建议都对"也是相。Linus 那句"不保证实现"，妙在两边都不住：不住于社区的建议，也不住于自己的成见——他真听进去的好建议，后来都合并了。无住，系统才有弹性。

三、现在动手线：今晚能试的一步

这条线离她最近。她的处事心法里写着："目标与主宰者是她"。翻译成 1991 年的英文，就是 "suggestions welcome, but I decide"。SkyBook 的六位智能体，是六个常驻进程，天天给她提"照见"和建议——这个结构里，缺的正是 Linus 那行小字：建议的格式，和拍板的归属。

今晚就能动手：给 SkyBook 写一条"治理宪法"初稿，三行就够——

一，任何建议必须附四件套：建议内容、预期收益、可能代价、回滚方案；

二，最终拍板权在主宰者（她），智能体只有建议权；

三，被否决的建议留档并注明原因，一个月后可重提。

先拿一个真实业务场景跑一周，看两件事：建议的数量变没变，质量变没变。可观察，有体感，这就是"实践才能体验体悟"。

再往远推一格。照见之镜问可能性：xuanora 的研判层，天生就是"提案—验证—否决"的试验场——每条告警都是一次提案，画面验证是沙箱试跑，派单或忽略是裁决。问落地实践性：缺三样——提案的协议格式、自动验证的算力、否决权归属的约定。一个最小协议草案，一周能写出来。

· · ·