Resolves YES if on the close date, it is possible for a user to code and then deploy a smart contract to Manifold. Smart contracts should have following capabilities:
Hold mana and market shares
Make bets
Carry out Turing-complete computations, (perhaps constrained by some kind of gas metering to prevent using too much server compute).
Store state that can be retrieved when the contract is called in the future (perhaps also limited somehow).
Here's a very simple use case for a good smart contract bot. You managram it money and it maintains a balance for you. Then on any market, you can comment something like "@smartcontractbot <this market> resolves the same as <other market> 10" and then the bot automatically sets 10 mana from your balance aside for risk-free arbing those markets to have the same price. Then it returns any mana made this way to you when the markets resolve.
@CamillePerrin I guess for a more serious answer, I would not feel very comfortable running a smart contract bot myself because I do not know how to maintain a server with 99% uptime and I don't want to be holding people's money in a way they can't withdraw.