Hi @ned, while I think the concept of SMT and SMT Oracles very interesting (and would like to contribute to the whitepaper), I am not sure that the question: Did the entity behind this account perform action X, or X+Y, or X+Y+N? is so simple, and therefore something that can be incorporated easily into a process for Oracles. Of course, all complex operations can be broken down into simpler steps but then it will also be possible to automate as we have seen time and time again.
I do not have an answer yet but I have been thinking about the issue of bots and looking at data with people from bisteemit to see if there are some clues to help improve the quality of content on the platform, but I look forward to contributing to the whitepaper with an optimistic but cautious view about being able to problems that involve people behaving rationally or logically.