> and produced an output as a function of it's actual internal operation (and not a random, accidental bit flip) then it should stand even in front of a judge.

Honest questions to people who are familiar with SmartContracts/Ethereum - how do disputes and adjudicating work in this example then?