Evidence ceiling E3Proof boundary
DISTRIBUTED EFFECT SAFETY
One authorization must not become two real consequences because the network split.
Site 66 adds a declared Byzantine reservation policy and treats crash/timeout/partition outcomes as UNKNOWN rather than success.
Reference quorum
HONEST INTERSECTION PASS
The reference profile uses n=4, f=1, q=3. The finite exhaustive check agrees with the declared 2q > n + f safety condition.
- OPERATORS
- 4
- FAULT BOUND
- 1
- QUORUM
- 3
- PAIR CHECKS
- 30
- POLICY MATRIX
- PASS