[lukesed]

>then totally mechanical arbiters will handle most disputes once they're good enough.

It seems to me that any such arbiter would need to have the practical ability to interpret the human intent behind imprecise/incorrect language and author/fix code. I think that would be a major advance in computer science and the most important application would be writing software.