Slim64FS
架构与治理规范作者 · 实现由 AI 编写
一个面向可移动闪存的现代文件系统。做法是:把通用文件系统携带、而 SD 卡从来不需要的功能全部砍掉,然后把剩下的部分验证到无法被合理质疑为止。
- 五条不变量约束每一次写入:竞速至空闲、全成或全废、有序提交、仅用 CRC32C、不做数据日志
- 由人类架构师设定约束,AI 只在约束范围内狭窄地实现
- 七个独立 AI 模型对成品代码进行对抗性审计
- 310 次崩溃注入测试与 17/17 项 xfstests MUST_PASS——可复现、未删减
设计决策必须通过具名且苛刻的用户来检验:一天拍 7,500 张的野生动物摄影师、持续录制 8K 的摄像师,以及一位刻意设定为充满敌意的内核审查者——没有日志支撑的结论,他一条也不接受。