Normally I'd give the developers the benefit of the doubt. But the sheer number of issues, and how fundamental some of them ~were~ are[1] leave me little room for sympathy.
https://en.wikipedia.org/wiki/British_Post_Office_scandal#Pr...
Transaction idempotency is such a basic property for a financial system that I struggle to believe that Horizon was tested in any meaningful way.
"the engineers who built the thing" (Gareth Jenkins) are also under investigation for perjury.
[1] Horizon is still in use, in its buggy state, with replacement scheduled for 2030....