> With the British Post Office, the issue is whether or not a software system is inscrutable
Not sure what "inscrutable" means in that context. Is it supposed to mean it can't be scrutinized?
A law was passed some years ago that says evidence obtained from a computer system should be accepted as true, unless evidence is provided that opens it to question. That means, in the Post Office case, that postmasters couldn't demand that the Post Office prove that Horizon was working correctly. They had to prove that it was defective, which was difficult; they were kicked out of their shops, and denied access to their own records, including the Horizon terminals they had been using.