Looks clean. One question how are you ensuring fairness and preventing race conditions during contract resolution? That’s usually where smaller prediction market engines run into edge cases.
Could you give me a link to what you're referring to and what you have seen in the past with this specific problem?
I think I have it solved but would like to know more as words can have multiple definitions.