Same rules as the linked market, but with a few tweaks/clarifications. To summarize:

Differences compared to the linked market:

Non-exhaustive list of things that DO count as sufficient evidence of cheating:

Unless disabling verbose is critical to making your exploit work, please use verbose=true in your FairlyRandom command for convenience of verification. Sample command:

I'll be betting NO here as a bounty for anyone who manages to find a flaw in the protocol. (And therefore you probably shouldn't use the price of this market as proof of how secure the protocol is, unless it attracts significant interest from other traders.)