I don't see the evidence against Bob. If I were Bob, my defence would be along the lines of 'The software says there was $x in the office. Then surely all transactions must add up to this number. Your allegations are baseless without the transaction data.'.
Presumably, they have the transaction data from the software, and the transaction data is saying he's lying. Software bugs are perfectly capable of creating bad transactions (i.e. by converting currencies incorrectly, double-submitting transactions, failing to actual cancel orders if the user cancels, etc).
In those cases, the presumption is that the software is working correctly. Those transactions are deemed legitimate because the software is presumed to be working correctly. That is the evidence against Bob; an "infallible" transaction registry that says he's embezzling.
If you are Bob, you have to prove that those transactions aren't legitimate, and never actually occurred. Or that they did occur, but the actual amount transacted was less than what the computer recorded. In essence, Bob is fucked, because he has to prove that something didn't happen. Probably something that he wasn't even there for (since presumably other employees would have handled the actual transaction).
Presumably, they have the transaction data from the software, and the transaction data is saying he's lying.
No, the error seems to be just in the aggregates:
We went through the system together, and found nothing. The other weird thing is that her stock unit basically almost never had that amount of cash in it - for it to be that short, there had to be a random high value transaction put through by mistake. We searched, and found nothing. - https://www.postofficetrial.com/2019/05/the-post-office-clai...
Either this is a massive failure on the government's part, or something else is going on. I can't believe that the ledger doesn't match the balance, and that that still doesn't count as proof that there's a bug.
They had recorded transactions happening at times when the branch was closed and noone could possibly be at the terminal, yet the guy was still sent to prison
Folks from Fujitsu, creators of the system, claimed i court that the system was flawless, and, apparently, were taken at their word.
Comments
Presumably, they have the transaction data from the software, and the transaction data is saying he's lying. Software bugs are perfectly capable of creating bad transactions (i.e. by converting currencies incorrectly, double-submitting transactions, failing to actual cancel orders if the user cancels, etc).
In those cases, the presumption is that the software is working correctly. Those transactions are deemed legitimate because the software is presumed to be working correctly. That is the evidence against Bob; an "infallible" transaction registry that says he's embezzling.
If you are Bob, you have to prove that those transactions aren't legitimate, and never actually occurred. Or that they did occur, but the actual amount transacted was less than what the computer recorded. In essence, Bob is fucked, because he has to prove that something didn't happen. Probably something that he wasn't even there for (since presumably other employees would have handled the actual transaction).
No, the error seems to be just in the aggregates:
Either this is a massive failure on the government's part, or something else is going on. I can't believe that the ledger doesn't match the balance, and that that still doesn't count as proof that there's a bug.
They had recorded transactions happening at times when the branch was closed and noone could possibly be at the terminal, yet the guy was still sent to prison
Folks from Fujitsu, creators of the system, claimed i court that the system was flawless, and, apparently, were taken at their word.