run_62B8Verified
At most one actor can claim the final seat.
Aliceseat taken
Bobwon
- Winners
- 1
- Recorded claims
- 1
- Seats left
- 0
- Reason
- capacity_invariant_satisfied
Before and after
One failed proof and one verified rerun, joined by the repair packet digest.
Before repair
run_D8E7Collision
- Winners
- 2
- Reason
- non_linearizable_outcome
run_62B8Verified
- Winners
- 1
- Reason
- capacity_invariant_satisfied
packet sha256 ccae7c9edf3a5424af7d349e2acc8ad903707bc0d857832d8a426ca192b95834