"Solved" means it has been proven that, given one specific komi value, 9x9 go is tied with optimal play. An ultraweak solution would suffice to solve this, as long as the game is certainly tied with that komi. Any reasonable 9x9 ruleset will count.

If a proof is offered in, for example, 2029, but not accepted until after 2030, this market will resolve to "Before 2030". As a result, options might not necessarily resolve right away (on top of the fact that I'm unlikely to resolve things promptly years in the future). I expect this market to be fairly simple to resolve, but if there's any controversy over whether a solution or ruleset "counts" I'll sell all my shares before resolving. Barring that, I may trade in this market if I feel like it.