run_D8E7Collision found
At most one actor can claim the final seat.
Alicewon
Bobwon
- Winners
- 2
- Recorded claims
- 2
- Seats left
- 0
- Reason
- non_linearizable_outcome
Fix packet ready · redaction passed
sha256 ccae7c9edf3a5424af7d349e2acc8ad903707bc0d857832d8a426ca192b95834
The packet is for your own coding agent. The site never runs a repair for you.
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