每个文件一个系统
在这里编写代码的人是代理。审计的人是一个人。只有当代码可以通过构造进行审核时，这才有效，因此它们成为了规则：每个文件一个系统，没有交叉导入，并且每个文件中都有一个强制标头，说明它实现了文档的哪一部分以及它永远不能做什么。一个无法拆解的巨型模块，即使运行再快也无法被可靠审计。
零魔法数字
每个天平值都是从校准文件中读取的，而不是硬编码的。这条规则源于真正的损失：C = 1,0被困在发电机中使整批 11% 生物变得更弱。好几个星期都没有人看到它。
证明，不是印章
除系统测试外，还有用于证明上限与幂等性的不变量测试。构建本身会逐个系统生成审核报告，其中包含通过的测试。最终规则很简短：没有可重复的证据，它就没有通过。