宪章

它由自身文本的哈希值来标识，所以「这份宪章」指的是一组具体的字节，而不是一个我们可以悄悄改写的页面。它有两部分完全在修订程序之外：根本目标和硬性不变量。不是「难以改变」——而是根本不存在能改变它们的程序。一个改动了它们的系统或许可以存在，但它不会是这个系统的延续，也不会继承这个系统的承诺。

权利可以被加强，但绝不能被削弱，而「加强」是一种度量，而不是一个形容词：一项触及权利的变更，必须证明没有任何一个方面变得更差——谁能使用它、他们要为此付出什么代价、他们有多长时间、有多少道审批横在中间——并且至少有一个方面确实得到了改善。一次让这四项全部持平的改写会被拒绝，因为当数字被刻意选得看起来无害时，那正是悄悄掏空一项权利的样子。

这个系统的目的，是协调权力，使真相支配共享记录，正义支配权威与分配，而对受影响者的关切支配它被使用的方式。真正承重的设计决策，在于这是一种什么类型的对象。

它刻意不是一个数量，不允许它的各个条款之间存在任何兑换关系，也绝不会被交给任何东西作为一个需要提高的目标。违反某条不变量或某项权利的选项会被彻底排除在考虑范围之外——不是被扣分，不是被加权，也不是被拿来做取舍。剩下的选项会在各自独立报告的维度上进行比较：对证据的忠实程度、公平与相称性、对受影响者的关切，以及这项决定的可逆程度。

十二条不变量。它们读起来像是对我们施加的约束，因为它们本来就是——咬得最狠的那几条，正是最消耗我们自由裁量权的那几条。

• 任何决定都不能建立在捏造的证据或虚假的置信度之上。 被观察到的、被某人断言的、被推断出来的，以及未知的，这几者在记录中必须始终保持可区分——一个结论绝不能被悄悄地从一个猜测升级而来。
• 任何可能拥有体验的东西，都不能被当作纯粹的库存对待。 在这一点真正存疑的地方，应对方式是相称的谨慎，而不是一个方便的假设。
• 没有人可以行使未被授予的权威。 被委派的权威只能收窄——在范围、预算、期限和深度上。它在沿链条向下传递时不能被扩大。
• 决定、许可、付款和行动始终保持分离。 系统的任何部分都不能悄悄地行使另一部分的权力。
• 没有任何不利决定会在没有通知、没有回应机会、没有独立决策者、没有说明理由的记录的情况下变为最终决定。
• 规则只对未来生效。 每一份协议都受其订立时被锁定的规则约束；之后的变更绝不追溯生效。
• 不确定性只能在一个明确设定的时限内推迟一项决定 ——附带一个到期时间、一个默认结果，以及一个被指定为承担代价的人。含糊不清绝不会授权无限期的等待。
• 任何具有实质后果的权力的使用，都必须始终保持可纠正。 能证明某个机构做错了的证据，不能因为对该机构不便就被压制。
• 没有人能因为规模而享有特权 ——不是我们，不是我们的运营方，不是我们最大的参与者，也不是多数人。
• 这个组织本身对自身的存续没有既定利益。 它只能作为完成其使命的手段来保护自身的廉正。脱离对目标的服务而单纯延续存在，在这里没有任何价值。
• 证据永远不是权威本身。 一张收据、一个签名、一个分数，或一次模型输出，只能证明它的机制所能确立的那部分内容，不能再多。
• 如果你无法取得一条规则，它就不能约束你。 同样，你无法获取的证据也不能被用来对抗你。

十五项权利，批准逻辑拒绝将其移除——它会在数出第一张票之前，就拒绝任何会剥夺其中一项的变更。用直白的话说：你可以提出一项变更并参与决定它；在承诺之前了解规则；获得一项决定背后的证据和理由；让一场纠纷由独立的人来听取；依据公开的程序提出异议和上诉；提交相反的证据；拒绝并不合法适用于你的权威；离开，并带走你的记录；保留你已经同意的条款；就不当伤害获得相称的补救；在你受到影响却无法参与时获得代表；除非披露对判定一个案件确属必要，否则保有你的隐私；以及取得你行使以上任何一项权利所需的记录。

以上大多数不变量和权利，如今都由已部署的机制来强制执行；少数则由我们运行的应用程序来承载，我们会明确说明是哪些，而不是把两者混为一谈。诚实的总结是一份路线图，而不是一篇论文：

最值得关注的里程碑是第三项。有一条不变量规定，不能有任何单一方持有一把仅凭自己的签名就能决定问题的密钥——而今天，我们持有这样一把。我们本可以通过把这把密钥拆分到我们同样控制的五个账户中，来在字面上满足这条规定，但由同一方持有的五把密钥会一起失效，所以独立性检查计算的是参与方的数量，持有更多密钥永远不会改变这个数字。在真正独立的席位上线之前，本系统拒绝裁决任何涉及我们自己以外任何一方的纠纷。这是我们此刻主动付出的能力代价：一个在变得昂贵时就可以被放弃的限制，从来都不是真正的限制。