I have only skimmed this so far but it seems there were many bugs.
Also this stood out to me.
> 4. Fujitsu inserted transactions. These are injected into branch accounts by Fujitsu. They may be performed in order to ‘balance’ a discrepancy. These do NOT require acceptance by SPMs in the same manner as TCs and TAs.
They inserted transactions for corrections of discrepancies where you could not see they were authored by them; it was just assumed the postmaster did.
They did not let postmasters know about this; probably an order by the post office.
These corrections where incorrect, and caused discrepancies to increase; they mixed plus and minus sign quite often.
They added lines of code to the system running on the counter in the local post office.
They used the message store system like wild west without defining a data schema.
Then prosecuted the postmasters for inserting transactions, because "only the postmaster can insert transactions".