Clarfying some mechanics:
Players get executed if the day starts and they have 0 coins.
(If a player starts the day with 1 coin, they will remain alive with 0 after its taxed.)
Night actions are all resolved simultaneously.
Therefore all PRs treat players based on their coin counts at the start of night.
As stated in the OP, conflicts are resolved randomly in case of player bankruptcy.