TheBigH wrote:I disagree.
You don't disagree, but you discuss other cases.
If you're behind on the rest of the board, you should go for the "no result" option. If you're ahead on the rest of the board, you should go for the local seki.
Yes.
The interesting case is "tie on the rest of the board".
you seem to be saying that the problem is undecidable because you're missing information that would help you decide what to do.
Yes.
This would include the situation on the rest of the board,
The rest of the board can often circumvent the problem of missing information, but cannot do so in the interesting case and cannot do so if the rest of the board's dynamics let the interesting case be somehow relevant.
how the tournament rules handle jigo v no result,
Rules or tournament rules can provide sufficient information or can not provide it. E.g., the rule "for the sake of making strategic decisions, 'no result' equals 'the score 0' and tournament rules do not alter this" would suffice.
your current standing at the tournament,
This is meta-gaming. Ok, it exists, and once I was in a position of necessary meta-gaming and strategy depending on setting personal preferences whether I considered a tournament place or a seeding points amount more important; accordingly I had to achieve or avoid a jigo. However, IMO, rules of play should be about what happens on the board only and avoid meta-gaming to have any impact.
I don't consider that "undecidable". I would call that "under-determined" instead, if that information is not provided.
It is undecidable because it is under-determined.
An undecidable problem would be one that cannot be solved even when all the relevant information is known.
All relevant information is known because the rules makers have not had the intention to provide the missing information.