Local default: house seeds fly every round. One tab is enough.
Quick: player1–player4 / password lab.
lab
Frozen for the round once you are one of the first three distinct bettors.
Commitment published before BET. Proof reveals after END.