项目总览
前面几节讲的是技术。这一节讲的是这个项目本身是怎么运作的：几条线在并行、判据是什么、什么被明确排除在外、以及它承认自己做不到什么。
协作
开发分支
三条线各自的边界、判据，以及靠“让出清单”划出来的并行方式。
应用线网络线
为什么让一门新语言的第一个真应用是网络，现在有什么、缺什么。
计划路线图
波次主题、当前进度，以及那六件明确写着“不做”的事。
纪律可复现性纪律
W46 反证轮之后立下的规矩：数字必须能重跑到同一个值。
边界已知边界
集中一处列出这个项目做不到的事——比分散在各页更好找。
证据怎么自己验证
不用相信这里的任何一句话：回归、ISO 自验证与静态门禁都可以自己跑。
作者与性质：
这是一个学生个人项目（作者 Yuxuan Jiang，另有 contributor LiuDaiJun07）。参考机器是 QEMU。它真正要问的问题是：能否把一个 LLM 放进由内核强制、可撤销的信封里——而不是这个内核能否成为生产系统。