Will resolve to MAX if the associated pull request is denied
Minor risk statement: this is a beta-quality automatic market, and while I think it will work smoothly, I do not have a track record to back that. I have no mechanism to fix an incorrect resolution unless Manifold decides to take pity on us.
I will add a link to the relevant PR when it is created
Jul 18, 8:23pm: https://github.com/gappleto97/ManifoldMarketManager/pull/3
Close date updated to 2023-12-31 11:59 pm
1,000
3.00This market is at least partially automated. It uses rules to determine whether it should be resolved and what to, then sends it on to a human operator to verify. It uses the following rules:
This market resolves if any of the following becomes true:
- If the GitHub PR gappleto97/ManifoldMarketManager#3 was merged in the past.
It will resolve based on the following decision tree:
- Resolves based on GitHub PR gappleto97/ManifoldMarketManager#3
- If the PR is merged, resolve to the number of days between 2022-07-18 00:00:00 and the resolution time.
- Otherwise, resolve to MAX (1000).
Note that the bot operator reserves the right to resolve contrary to the purely automated rules to preserve the spirit of the market. Non-exhaustive examples of this would be: 1) if the title of the market clearly references an event, and but the market value is such that round(MKT) is incorrect, 2) if the implementation of a rule is discovered to have a bug, etc.
The operator also reserves the right to trade on this market unless otherwise specified. Even if otherwise specified, the operator reserves the right to buy shares for subsidy or to trade for the purposes of cashing out liquidity.