一、系统降临：数字时代的"完美解决方案"
1999年，英国邮局迎来了一个重大变革。为了适应数字化时代的发展，英国邮局决定引入一套名为"Horizon"的全新会计系统，这套系统由日本富士通公司旗下的英国子公司ICLPathway开发，耗资十多亿英镑。邮局高层将其视为现代化的"登月计划"，期望它能彻底改变传统的会计管理方式，提高效率，减少人为错误。
Horizon系统于1999年正式上线，取代了传统的纸质会计系统。该系统设计目的是自动化处理账目、存款、支付等事务，让所有的财务数据更加精准。按照设计，每个交易日结束后，邮政支局长需要按照"地平线"系统显示的当日结算金额进行对账，如果现金存量低于系统中的记录，就要自掏腰包填补差额，或者申请在未来的收入中扣账。
对于英国邮局来说，这不仅是一次技术升级，更是一次商业模式的转变。当时，为了节约成本，英国邮局已经将许多地方分支机构剥离，转而采用特许经营的方式，将服务外包给当地的连锁店和杂货店。这些分支机构的经理并非邮局的正式雇员，而是自负盈亏的个体经营者，他们与邮局签订合同，负责经营当地的邮政业务。
这套系统上线之初，邮局高层对其寄予厚望。他们相信，有了这个先进的数字系统，邮局的财务管理将变得前所未有的高效和透明。然而，谁也没有想到，这个被视为"完美解决方案"的系统，最终会成为数百名无辜者的噩梦，引发英国司法史上最大的冤案之一。
二、噩梦开始：莫名出现的"资金缺口"
Horizon系统安装后不久，一些邮局经理就开始察觉到不对劲。他们发现，收银机里的现金总是比系统记录的少，差额从几十到上万英镑不等，仿佛有一个无形的黑洞在不断吞噬着资金。
在苏格兰的一个村庄，一位经营商试图确认收到现金时，系统突然卡住。当他再次按下"回车"键时，系统重复更新记录，结果造成了2.4万英镑的"资金缺口"。另一个案例中，一位爱丁堡邮局代理商发现系统账目不平，短短一个月竟出现了3万英镑的资金缺口。面对这些子虚乌有的"资金缺口"，经营商们纷纷向邮局公司报告，但公司却对此置若罔闻。
按照合同规定，经营商对账面资金负责。因此，不少人试图自己筹钱来弥补不存在的资金缺口，有的甚至抵押房产直至破产。一些不愿意吃哑巴亏的经理们，选择拒绝承担损失，而邮局公司则毫不犹豫地将他们告上了法庭。
2000年，邮局公司开始以"地平线"系统存在严重误差的数据为证，要求各地经营商弥补财务缺口，否则将被起诉盗窃、欺诈和做假账。尽管经营商们纷纷陈情系统故障，但邮局公司坚称系统没有问题。邮局公司拥有在英国起诉等刑事诉讼部分权限，因此他们可以直接对经营商提起诉讼，无需经过警方。
从2000年到2015年，英国邮局的Horizon系统像一台精密的"冤案制造机"，不断制造出虚假的资金缺口，导致约3500名邮局经理被指控偷钱、骗人、做假账。其中，736人被错误定罪，236人进了监狱，还有4人在悲愤中自杀。这成为英国司法史上最大规模的冤案之一。
三、系统性失败：Horizon的技术缺陷
随着时间的推移，越来越多的证据表明，Horizon系统存在严重的技术缺陷。这些缺陷不是单一的bug，而是系统性的问题，包括舍入误差、数据损坏以及本地和中央数据库之间的同步问题。
一份独立报告发现，Horizon系统存在多种技术问题：
1. 事务处理中的原子性失败：导致重复传输。例如，一位经理人试图将4,000英镑从一个库存单位转入另一个单位时，系统崩溃。当系统恢复后，经理人收到了两张相同编号的收据，结果导致一个单位"少了4000英镑"。
2. 一致性失效：导致系统间失去同步。Horizon系统需要与后端会计系统保持同步，但在实际运行中，这种同步经常失败，导致数据不一致。
3. 隔离失败：导致报告中缺少交易。Horizon系统在生成报告时，无法有效隔离并发事务，导致某些交易未被正确记录。
4. 持久性失败：导致交易从系统中消失。有时，交易已经在连接的银行系统中提交，但却从Horizon系统中消失了，导致账面出现"缺口"。
5. 日志复制失败：Horizon早期版本通过维护系统间复制的消息日志来跟踪发生的事情，但这种复制机制经常失败，导致数据丢失。
6. 不受限制的访问权限：安永会计师事务所的审计报告中称，某些IT员工对分支机构负责人的Horizon账户具有"不受限制的访问"权限，可能导致处理未授权或错误的交易。
本小章还未完，请点击下一页继续阅读后面精彩内容！