英國當地時間十九點整。
國家彩票開獎特別直播準時開始。
今晚的節目和過去有些不同。演播室中央原本放置搖獎設備的位置空了出來,背景牆換成一塊巨大的電子屏。主持人身後,六個空白號碼框依次排列,屏幕下方顯示著國家彩票監管委員會、獨立審計機構以及開獎系統的認證狀態。
節目開始以後,主持人先用了不到一分鐘解釋今晚的特殊安排。
由於常規開獎程序受到外部風險影響,本期開獎已經依據《國家彩票開獎連續性與災難恢復條例》啟動確定性替代機制。今晚的六個中獎號碼將由銷售截止後封存的多項數據共同生成,整個過程經過兩套獨立系統交叉計算,最終結果仍需監管機構完成認證。
普通觀眾大概很難從這段說明里聽出多少異常。
電視台甚至保留了原來的節目音樂。
主持人介紹完規則以後,畫面切入數據認證中心。幾名工作人員坐在各自的終端前,牆上的狀態欄已經全部進入綠色。
自從十七點彩票銷售截止,此後兩個小時,銷售數據完成封存,監管參數解封,兩套獨立系統分別進行計算。所有步驟都已經結束,今晚真正留給直播節目的,只剩最後的結果公布。
WRC主控制室同步接入英國方面的直播信號。
會議大廳里的人比往常少了一些。醫學委員會只留下兩名值班人員,安全委員會和信息科學委員會仍保持完整席位。阿德里安坐在主控制台附近,桌上的咖啡卻還是下午那杯。
主屏幕右側始終掛著Lamp給出的第二組號碼。
02、12、19、26、34、41。
這一次,WRC無法接觸開獎過程中的任何數據。
101看書101𝑘𝑘𝑠.𝑐𝑜𝑚全手打無錯站
從英國政府批准確定性替代開獎協議以後,結果生成、覆核和認證全部由英國現有監管體系獨立完成。WRC保留觀察權限,也可以獲得最終技術記錄,但已經無法改變其中任何一個輸入欄位。
十九點零三分。
開獎直播進入結果公布環節。
主持人身後的第一個號碼框亮起。
07。
第二個號碼隨後出現。
14。
主控制室里有人把身體往前挪了一點。
第三個。
22。
已經和Lamp給出的前三個號碼完全不同。
28。
35。
最後一個號碼出現得稍慢。
46。
六個數字在電視畫面上同時展開。
07、14、22、28、35、46。
WRC的自動比對程序隨即完成核驗。
屏幕右側仍然是另一組六個數字。
兩組之間,一個號碼都沒有重合。
匹配結果:0/6。
大廳里仍然保持著原來的工作狀態。
信息科學委員會繼續等待英國方面上傳兩套計算系統的交叉驗證記錄,安全委員會檢查監管認證狀態,理論科學委員會則把開獎時間、數據封存時間和結果發布時間依次寫入A-004記錄。
經歷了過去二十多個小時以後,已經沒人願意因為一組六個號碼提前作出結論。
十九點十一分,英國國家彩票監管委員會完成正式認證。
十九點十三分,獨立審計機構的簽名進入系統。
官方網站更新開獎結果,全國銷售終端同步接收本期號碼。
電視直播里的主持人重新念了一遍。
「07、14、22、28、35、46。以上為本期國家彩票正式中獎號碼。」
節目進入後續環節。
主控制室里終於有人開始摘耳機。
幾名連續值守一整夜的工作人員收起電腦,信息科學委員會關閉了已經完成任務的實時比對程序。戴維安排安全委員會留下最低值班組,其餘人員可以退出一級實驗狀態。
阿德里安一直等到英國方面最後一份認證文件進入系統,才把自己終端上的倒計時軟體關掉。
他把身體靠進柔軟的椅背,兩手攤在扶手上,聲音有些沙啞,但掩蓋不了語氣中的欣慰。
「都辛苦了,值夜班的先回去吧。」
幾個人看向他。
「不容易啊,這兩天累的夠嗆。別著急慶祝,都回去補覺去。」
「明天開始寫報告。」
有人小聲地歡呼了一聲。
蘇菲婭已經開始整理桌上的文件。她從凌晨到現在只離開過會議區兩次,臨走前提醒醫療組把奧利弗的屍檢資料直接送入一級檔案系統,隨後拿著電腦離開。
哈特曼沒有馬上走。
他把英國方面剛剛簽署的開獎結果重新看了一遍,又把Lamp給出的第二組號碼調出來,兩組數字並排放在自己的屏幕上。
阿德里安經過他身後時停了一下。
「還在看什麼呢?這局算我們贏了。」
「不存在輸贏,只是我們終於看到了它的能力邊界。」
哈特曼關掉文件。
「這些材料,先不要修改。明天可能會用到。」
阿德里安已經懶得判斷這句話是什麼意思,拿起外套往門外走。
會議大廳里的人陸續散開。
有人準備去食堂吃宵夜,有人回辦公室拿洗漱用品。
過去一天裡持續不斷的警報、會議和事故終於停了下來。
主屏幕上只剩開獎直播的結束畫面。
-----------------
開獎結束後的第四十七分鐘,A-004專項組重新收到一級召回通知。
南宮智勛已經回到生活區。
他洗完澡,頭髮還沒幹,終端就在桌上連續震了三次。第一條來自科研管理委員會,第二條是緊急會議通知,第三條要求所有仍在總部的A-004相關人員立即返回主控制區。
他看著屏幕站了幾秒,穿好所有的衣服就出了門。
電梯上行途中,又進來兩個人。
一個來自信息科學委員會,另一個是安全委員會的值班研究員。三個人都在看終端,不知道發生了什麼。
安全委員會的人先開口。
「英國那邊出事了?」
「看這架勢,應該是。」
「難道又死人了?」
「應該不會。中獎結果都已經公布了,就算Lamp要使壞,為什麼現在才死。」
電梯繼續上行。
南宮智勛低頭翻了一遍剛收到的通知。裡面只有會議編號和召回等級,事故類型一欄是空的。
「有道理,實驗不是結束了嗎?」
可他心裡莫名有一種不好的預感。
電梯門打開以後,他們幾乎同時加快了腳步。
主控制室已經重新亮起。
剛才關閉的英國通訊線路再次占據中央屏幕,十幾名已經離開的工作人員陸續從不同入口回來,有人還穿著生活區的拖鞋。安全委員會正在調取英國方面的事故信息,醫療組值班席位重新上線,最先被確認的是人員狀態。
可確認後,發現並無人死亡或受傷。
其他方向的排查結果陸續有了定論。
開獎數據中心運行正常,中央彩票系統正常,通信正常。
先前南宮祈禱不要發生的那些災難並沒有發生。
安全委員會又查了一遍英國方面剛剛上傳的訪問記錄。
也沒有發生入侵行為。
南宮智勛遠遠就聽到了有人在爭吵,進了會議室,終於看見了阿德里安。
他還穿著離開會議大廳時的那件襯衫,外套扔在椅背上,正站在主控制台前和英國國家彩票監管委員會爭執。
「你們到底在幹什麼!我再確認一次!」
阿德里安的聲音已經明顯帶著憤怒。
「這組六個號碼,是不是你們的系統計算出來的?」
屏幕另一端聲音更大一些。
「是的,先生,可是......」
「是不是通過了監管認證?」
「是的,沃克先生,但您聽我說......
「你們的獨立審計機構是不是他M的簽了字了!?」
「執行理事,首先必須得承認.....」
「那你們到底在和我扯什麼犢子!」
阿德里安吼道,剛進入會議室的人氣都不敢喘。
「你們以為這是鬧著玩嗎?以為我們是在陪你們做遊戲嗎!?」
「我現在非常懷疑你們國家的專業性!」
他把筆往面前的桌子上一砸,那支筆彈到了兩米之外。
「沃克先生,請讓我們重新解釋一遍。」
他做了幾個安撫自己的姿勢,然後重新冷靜下來。
「......好的,好的,那麼。」
「你現在告訴我,告訴所有人,為什麼要重新開獎?」
「好的,已經整理好了。」
有人把一份三頁的技術報告推送到了WRC。
南宮智勛的終端同步收到文件。
他打開第一頁,技術文檔有些複雜,但他看到一個數字出現頻率極高。
1742。
「這是什麼意思?」
旁邊的信息科學委員會研究員正在看第二頁。
「輸入的參數是錯的。」
「什麼?」
「上面說,剛才開獎的時候,少算了1742張彩票。」
南宮智勛轉過頭,他終於知道了原因。
開獎結束後的第二十三分鐘,英國監管機構按照災備條例執行結果後完整性覆核。中央彩票系統最終確認本期共有1846萬2771筆有效投注,而確定性開獎程序實際讀取的交易記錄少了1742筆。
1742筆遺漏的彩票,全部發生在十七點銷售截止以前,且都屬於付款成功的本期投注。
只是中間出了點bug,來自一批舊式銷售終端。
2044年英國彩票銷售系統升級以後,新設備開始採用中央認證時間,舊設備仍然記錄本地終端完成時間。為了讓兩套系統繼續運行,開發團隊增加了一層兼容接口。
六年來,這層接口一直存在。舊終端每天通過它出售彩票。
偶爾會晚幾秒,十幾秒。
這個小問題從來沒人處理過,因為沒有處理的必要。
正常開獎依靠搖獎設備。十七點前最後一分鐘買的彩票究竟在十七點整還是十七點零幾秒進入中央認證系統,從來不會改變下一顆球。
可是偏偏在今晚,這個bug暴露了出來。
2030年編寫的確定性開獎程序按照認證時間截取參與計算的交易。
那1742張彩票恰好集中在截止前最後幾十秒。
舊終端已經完成了交易,中央系統也承認它們屬於本期。
但今晚負責開獎的那套程序,把它們留在了十七點之後,沒有計入當天開獎結果的計算。
除了具備專業知識的信息組,其他人不明白哈希算法的邏輯,只能一遍遍復讀那篇報告。
他們不理解這件事為什麼值得把整個專項組叫回來,只要把丟失的參數補上,重新計算,難道不足以解決問題嗎?
於是信息科學委員會完成了復算,把遺漏的1742筆交易補進算法之後,認證摘要直接改變。
原本已經公布的六個數字隨之消失。
新的計算結果出現在屏幕上。
02、12、19、26、34、41。
......
會議室里所有人都停下了手中的動作。
「不...」
慢慢有人回過神來。
這不可能。
英國政府法律部門的意見隨後進入系統。
災備條例要求確定性開獎程序使用本期全部合法有效交易生成認證摘要。遺漏1742筆有效投注以後,號碼生成程序本身不滿足條例規定。
即使計算正確、簽名有效、認證程序都正常。
可之前認證的,是一個從第一步就殘缺的因子。
所以,原來的中獎結果,它不合法。
阿德里安盯著英國法律部門的主官。
「可是,你們已經宣布了。」
「你們是想要反悔,是吧?你們也被lamp奪了魂兒了,是吧!」
「你們他M到底是和誰一夥的!」
對方沉默了一會兒。
「執行理事,我想,您比我們更需要心理評估。」
匆匆趕來的蘇菲婭剛好聽到這句話,看了看屏幕上的數字,然後驚恐地看了阿德里安一眼。
他擺擺手:「我好得很。」
然後把聲音壓了下來。
「我問的是,有沒有辦法不重新開獎,也不重新公布正確的結果。」
英國方面沒有再回答。
社會治理委員會接管了後續溝通。
他們開始查條例,開獎認證規則、錯誤數據補正規則、災難恢復程序、結果公布後的撤銷權限,能夠調出來的法律文件全部被送進會議系統。
各種各樣的方案被提了出來。
有人提出讓英國彩票監管委員會以重大異常事件為由直接確認已經公開的開獎結果,還有人詢問能否將遺漏的1742筆交易順延至下一期,由WRC承擔補償責任。
英國方面逐項否決。
爭論持續了近一個小時。
如果在其他國家,也許存在協調的可能,可偏偏這件事發生在英國。
從中世紀王室法院逐漸形成的普通法,到幾個世紀累積下來的判例、法案和程序,這個國家曾把自己的法律傳統帶到世界許多地方。
它當然能夠修改法律,卻很少允許行政機關為了一個臨時目的,讓一項已經依法成立的流程隨意動搖。
英國法律部門主官最終說道:
「沃克先生,英國政府可以對原先錯誤結果中獎的人進行特別賠償,也可以請求議會之後修改這條法律。」
「但你要求我們做的,是在開獎結果已經出現以後,宣布1742筆此前合法的交易禁止擁有參加本期開獎的資格。」
「政府沒有這個權力。」
......
二十二點以後,英國國家彩票監管委員會作出最終決定。
本次確定性開獎無效。
獎金池凍結。
全部合法彩票繼續有效。
而之後——
要麼,重新公布正確的中獎結果,要麼,已宣布的結果作廢,二十四小時以後,重新開獎。
阿德里安已經不再說話。
南宮智勛坐在後排,把那份只有三頁的技術報告從頭看到了尾。
信息組已經確認,那層兼容接口最後一次修改發生在2044年。六年來,核心時間轉換邏輯始終如此。今晚沒有人碰過它。
它只是一直在那裡,藏匿了六年。
直到WRC為了讓一組數字不再出現,親手取消隨機搖獎,啟用了那套二十年前的確定性程序。
07、14、22、28、35、46因此出現,隨後又因為bug再次作廢。
「重新開獎。」
阿德里安最終代表WRC給出了正式意見。
通訊結束時,會議大廳重新陷入忙碌。
一級特別理事會在當天夜裡再次召開。
這一次會議比之前短得多。
需要決定的事情只剩下一個:20小時以後重新開獎,WRC是否繼續干預。
倫理委員會已經提交終止意見。奧利弗和丹尼爾先後死亡以後,蘇菲婭不再接受任何需要把新的人員、設備或者外部機構納入反事實操作鏈的方案。
安全委員會給出了相同方向的建議。戴維在報告中指出,A-004的干預範圍已經從WRC內部終端擴大到英國的彩票設備、運輸系統和國家級開獎程序,繼續增加新的技術路徑只會讓風險邊界進一步擴散。
理論科學委員會內部討論得更久。
他們已經嘗試過兩種完全不同的主動干預。確定性替代開獎又把實驗推到了更複雜的位置:人類確實產生過一組與Lamp預測完全不同的號碼,而且這組號碼一度通過認證並向全國公開,最後卻因為一條六年前已經存在的系統兼容問題失去效力。
哈特曼直到會議後半段才提出自己的意見。
「我們原本想知道未來能不能改變。現在繼續設計第四種方法,得到的東西只會越來越難解釋。」
他把整個第二階段的時間線留在屏幕上。
奧利弗的操作中止。
機械設備運輸失敗。
確定性協議產生不同結果,隨後失去法律效力。
「如果我們再換一種辦法,新的設備、新的人員和新的規則都會進入實驗。失敗以後,我們還可以設計第五種、第六種。這樣做下去,實驗不會結束。」
哈特曼停了一會兒。
「下一次最有價值的干預,就是停止干預。」
......
阿德里安最終沒有提出新的技術方案,他真有些累了。
凌晨零點十二分,一級特別理事會完成表決。
A-004第二-階段停止主動反事實幹預。
WRC撤銷對重新開獎過程的一切特別操作權限。英國方面恢復正常開獎機制,設備選擇、號碼池、人員安排和結果認證全部按照既有制度執行,WRC只保留觀察和事後研究權限。
會議結束以後,阿德里安留到了最後。
清潔人員已經進入外側區域,主控制室仍然亮著燈。
他站在屏幕前看了一會兒。
來自Lamp的那一組號碼已經掛了太久。
02、12、19、26、34、41。
-----------------
第二天。
英國國家彩票開獎恢復正常程序。
這一次沒有特別直播。
主持人首先解釋了昨天彩票結果異常的原因,然後再次介紹獎金池和銷售情況,只比昨天公布的多了1742注。
透明搖獎設備擺在演播室中央,四十九個號碼球在開獎前完成最後一次核驗。
WRC主控制室只開放了觀察席位,A-004專項組的大部分成員仍然到了現場。
阿利斯泰爾也來了,陰鬱地坐在後排。
英國當地時間十九點,搖獎設備啟動。
四十九個號碼球在透明艙體內快速翻滾。
第一顆球進入讀取槽。
02。
負責記錄的工作人員面無表情地把號碼寫入系統。
第二顆很快出現。
12。
第三顆號碼進入讀取區。
19。
......
開獎繼續。
26。
34。
最後一顆球從高速滾動的球群中落入通道。
41。
六個號碼同時出現在英國電視畫面下方。
02、12、19、26、34、41。
監管機構按照正常程序完成設備核驗、號碼確認和結果認證。
WRC的比對程序自動運行。
匹配結果:
6/6。
......
阿利斯泰爾直到電視畫面開始播放GG才起身離開。
英國方面的正式認證文件進入系統以後,阿德里安把A-004的觀察狀態改成結束。
會議大廳里的人開始收拾東西。
沒人認為會再有新的電話進來。信息組會關閉了實時比對程序,安全委員會撤掉一級實驗狀態,幾名連續參與專項工作的研究人員已經在商量第二天什麼時候回來補報告。
張一鳴站在門口等電梯。
南宮智勛頂著黑眼圈跟在旁邊,低頭看了一眼時間。
「明天你幾點開始幹活?」
「......」
「那誰先醒誰發消息。」
張一鳴按了一下電梯。
「行。」
電梯門打開。
幾天前,他們用盡辦法想讓這組六個數字出錯。
02、12、19、26、34、41。
可它們還是如約而至。