Cart or balance
Quorum 10Choose
A shop keeps carts and balances in two clusters of 3 copies. At 0:20 a fault cuts each primary off from its followers for 10 s. A shopper must always be able to add an item. A debit may be refused during the cut, but it must never be lost.
Goals
Not tested yet