Resolves YES if by 12/31 it is possible for an author to undo a market resolution. Any capability to undo (even if it's just a few seconds) will count for the purposes of this market.
Motivation: People accidentally resolve markets incorrectly sometimes. This is a recent real-world example: https://manifold.markets/Austin/what-contributions-will-we-list-on#Df3a0jEtLDQ9qEJKQO1Y. I think it would be good if the author can undo the resolution of their market. This would undo all of the payouts made by the incorrect resolution (undoing transactions is not a new concept, it's similar to how N/A undos all of the trades). Then the author can resolve to the correct resolution, or the market can stay open if it wasn't supposed to be resolved yet. This should probably be subject to reasonable limitations - e.g. can only fix the resolution within some grace period. Perhaps in the future it could require approval by other parties. But I think given that authors freely editing markets was added without any issue, allowing authors to undo resolution shortly after an accidental mistake would be much more likely to allow fixing mistakes than to be abused.
Another benefit - being able to change resolutions would also make our lives better in many markets where the market is almost certain but not completely certain to resolve a certain way. For example:
Markets on who will win an election are typically resolved when a decision desk calls it, but these calls are typically incorrect about 0.1% of the time - which means statistically it's fairly likely for at least one election market to end up resolved wrong.
Markets like Will Liz Truss still be Prime Minister of the UK on Christmas Day 2022? technically have to remain open until the end date, because theoretically Truss could become PM again (it turned out to be a surprisingly real possibility with Johnson).
Being able to resolve them earlier and then correct the resolution in the rare case it's needed means the markets operate more efficiently - less locked up capital, more accurate prices due to less discounting, etc
I think in this market I will also count as sufficient being able to change the resolution to a different one after resolution. (Although being able to return it to open would be more ideal, being able to modify the resolution would still achieve the most important effects.)
I think I will also count it if the author is able to request Manifold admins to undo or fix the resolution, even if it requires admin action and there isn't just a button to do it.
Any objections?
@citrinitas The admins have no way to do it today. If they build a way to do it, then this resolves YES.
Another misclick: https://manifold.markets/Gigacasting/will-a-nuclear-weapon-be-detonated-5b3361923e29. (This was a huge market)
SirSalty said: "I think we probably are planning to code a mechanism that allows us to retroactively change market resolutions for situations like this. But it might not be in the next few weeks."
@IsaacKing Clever! I think there's a difficulty though - I can't just resolve it no right now because this market resolves YES if I can undo even if only for a limited time. And I can't exactly wait until 12/31 to do the resolve no thing, because what if undo is implemented and then reverted because they found a bug - that ought to resolve YES according to the current description. Still, I like your description
Another example where this would have been immensely helpful - even a 10 second undo would have been sufficient because I noticed the typo immediately after seeing that the payout numbers made no sense. https://manifold.markets/jack/new-york-home-price-index-for-june
Good point; @jack would you count a 'fake' undo, e.g. say clicking a Resolve button doesn't actually resolve the market until five minutes later, and during those five minutes it says "This market will soon resolve to YES; click here to undo"
Yep, that would count. One of the simplest suggestions I saw was "wait 10 seconds after clicking the button before actually resolving, with an undo button", which is one example I was referring to in the market description. A longer period would of course be better for catching mistakes but might feel like too long of a delay.