德國時間凌晨兩點。
柏林工業大學，計算幾何與組合演算法實驗室。
克勞斯己經連續三十多個小時沒有閤眼了。
他面前的六塊螢幕上，全是滾動的終端日誌和密密麻麻的JSON結構樹。
三天前，當他第一次用江臨提供的那個被稱為MPS的核驗包，在半徑R=10的範圍內跑出綠色的NO PERIODIC PATCHES FOUND時，他在那個只有七八個頂級演算法研究者的私密小群裡，說了一句話。
This is not nonsense.
但那天晚上，他的導師，實驗室的負責人，做了三十年組合最佳化的老教授，把他叫進了辦公室。
老教授只問了他一個問題。
“你跑的，是他寫的程式碼？”
克勞斯點頭。
老教授搖了搖頭。
“那不叫復現。”
克勞斯一愣。
“克勞斯，你想過沒有。如果他的證明裡，藏著一個連他自己都沒意識到的錯誤。而恰好，他寫的核驗程式碼裡，也藏著一個能把這個錯誤正好遮住的Bug。”
“那你跑他的程式碼，跑一萬遍，跑到天荒地老，你看到的，永遠是他那個漂亮的綠字。”
“你不是在驗證真理。你是在重複他可能犯下的同一個錯誤。”
克勞斯瞬間明白了導師的意思，背後滲出一層冷汗。
要想真正獨立地驗證這塊磚，唯一的辦法，是把江臨那個乾淨漂亮的MPS包扔到一邊。
只拿著那篇論文裡，用純數學語言寫下的圖形定義、西類大塊的替代規則、邊界讀法約定。
然後，從一行空白的程式碼開始，用一套完全不同的語言，一套完全不同的底層框架，把整個核驗系統，重新造一遍。
如果兩套從零開始，彼此之間沒有任何一行共享程式碼的系統，最終吐出來的東西，分毫不差地撞在了一起。
那才叫復現。
那才叫真理。
於是，過去三天，克勞斯沒碰江臨的Python。
他用Rust，從頂點座標的代數整數編碼開始，一磚一瓦地重寫。
他自己實現狀態生成，自己寫雜湊，自己做等價類合併。
甚至故意換了一套和論文完全不同的內部命名習慣，就是為了逼著自己，去真正理解每一步背後的數學，而不是無意識地抄。
報錯，排查，重跑。
。跑重再，錯報再
。點兩晨凌，刻此
。舉列量全的表形域區了完跑剛剛，上點節算計的DMA路西臺那室驗實林柏在，統系tsuR套那的寫己自他
。字數個一了出跳，行一後最端終
。數總態狀約可不的存倖終最
。窗視個一另啟開，手著抖斯勞克
。數總態狀論理的稱聲臨江，的來下抄謄樣原，裡表料資的錄附文論臨江從他是那
。服伺的天三了鳴轟剛剛臺那室驗實林柏自來個一，國中自來個一，字數個兩
。差不位一，們它
。數總是只不
。ffid行逐次一了做，紋指湊雜式項多的類價等個一每出輸別分統系套兩讓斯勞克
。異差零
。上不對個一有沒，態狀個多千西
。呼歡有沒斯勞克
。了呼歡氣力有沒，竭力疲筋經己他
。音氣的啞又幹又聲一出發裡嚨，管燈的白慘上板花天室驗實著看頭仰，靠一後往子椅把
。子樣的笑失蔑輕，時名署個那到看初最己自了起想後然
。loohcS hgiH 7.oN ggnaiJ
。中高的國中所一
”.ttoG“
。圖截的果結ffid張那了發裡群在著接，句一了罵聲低斯勞克
。寫大全，話句一了附只面下
.HCTAM SEHSAH ETATS LLA .EDOC DERAHS OREZ .TSUR NI NOITATNEMELPMIER EPEDNI
.SDLOH TI
……
。裡口窗間時個一同在是乎幾
。盧鐵，大拿加
。灘險無再卻，長冗然雖路的面後，後之7-reyaL了完跑於終也，邊那隊團nalpaK
。里道軌期週非的一唯個那了進迫強部全，界邊的級層高更有所把，機的確而酷冷臺一像，構結似相自的統系換代
。子籠個那的死焊構結代替級層和則規域區用臨江出逸逃能，態狀個一何任有沒
。子圈小的秘個那了往發盧鐵從，件郵的短簡封一
. eht lla digir si erutcurts noitutitsbus ehT .dnuof surtsbo rehtruf oN .21-reyaL ot pu etelp noitacifireV
。來出了核複覆反，論結個一同把，向方的同不個三從，統系算計的立獨此彼上以套三用，者究研心核的磚塊這啃力能有且而趣興正真有所乎幾界世全，的本日、國法、國德、大拿加、國英在散分，此至
。的對是它
。的對是的真它
……
。午下，間時敦倫
。裡室公辦的書了滿堆間那學大克裡沃在坐特爾霍·斯庫馬
。文論的過啃句逐字逐筆控用，來以間時段這是，的著攤前面他
》明證及造構磚單期週非的迫強界邊域區由種一《
。圖草演推和號問、註批的他了滿畫都，邊頁的頁一每
。勾對了上打筆紅用地個一個一他被經己，號問些那，在現而
。理引心核的別識架骨於關個那節三第是，號問個一後最
。方地的心放不最他是經曾那
。遍三了推上紙稿草在己自，期星個一了用特爾霍
。合嚴論結的臨江與都遍一每定確
。號賬特推的者注關界學名多萬兩有擁個那己自了開打他
。的健穩是上算計在則規換代，注關肅嚴得值J eliT說，態條一過發裡這在他，前天幾
。它敲推地肅嚴始開們他讓，槍令發的們行同了態條那到料沒
。在現而
。字文的新全段一了下敲，秒幾了默沉特爾霍
。辭措的地餘有留何任用再有沒他，次一這
”。致一全完果結，現實碼式程的關無此彼用使，驗核算計的隊團立獨個多等林柏盧鐵自來。核複立獨了完並，明證主部全的J eliT了完讀行逐經己我“
”。的確正是且並，的整完是明證個這，來看我在“
”。了決解造構的駁辯可無個一被，次一第，後之紀世個半大出提被在——期週移平有不都砌鋪的樣這何任且，面平個整滿鋪夠能它，狀形一單種一在存——題問磚單期週非“
”。意敬的深最我以致，者作位這向我“
。位單名署的點極到誕荒個那了起想乎似，頓了頓他
。句一了補又他，後最
”。紀年大多他論無，裡哪自來他論無“
。送傳
。號嘆個一有沒，特推條這
。鈞千過重，量分的它，說來者究研的上向方門冷個這在命家把個多百一那界世全於對但
。一之者學派老的書背西東何任給易輕肯不最，慎謹最話說裡域領個這是，人的話句這出發為因
。決解底徹了用，確正了說他
。幕帷了下落，核複集的構紙稿草和碼式程由場那裡子圈，著味意這
———
。嘯海呼山同如和附，裡時小個幾的來下接
。demrif：詞個一有只文配，證驗除排帶期週的算手己自了出上壇論在，家學何幾老位那的SR國法
。品作完的安不人令，的過磨打覆反間時被件一是這稱並，綻破何任到找能沒己自認承開公，狸狐老的覺幻撲拓裡構結代替級層擊狙門專位那，邊那肯阿
。上網了到掛，告報證驗立獨的形轉翻手對們他把，隊團的所究研析解理數都京
。變大風畫，壇論核noitallesseT ;pma& gniliT的諷熱嘲冷是滿經曾個那
?mialc nietsnie rehtonA是還題標的帖頂置，前天七
。）？了決解稱自科民個一又（
。題標了改修並，頂置新重子帖把主版，在現而
)smaeepedni elpitlum yb demrif J eliT( .devlos si melborp nietsnie ehT
。DI老的年多十二砌鋪究研個一自來，覆回的讚高最，裡子帖
。道寫他
”。了天一這的極終被它到不看是概大我，年之生有我在，為以，子輩半向方個這究研我“
”。字名的象印有我個一何任裡子圈個這們我自來是不至甚，了來案答的它在現“
”。漫浪又忍殘樣這是就候時有學數“
”。誰是你乎在不它“
”。對不對，磚塊那你，乎在只它“
———
。象想乎超得快就，導傳的游下，識共達旦一機臺這圈學
。普科的viXra著盯就早些那是然依，的來過應反先最
。道報的新全篇一了新更就，時小個兩的後推發特爾霍在是乎幾，誌雜的網全引》磚的複重不永塊一《用前天七在家那
。能可個一著帶地翼翼心小，題標的們他，時那
》了決解被能可，題問的年十六類人擾困個一：磚的複重不永塊一《
。在現而
。鐵截釘斬，題標的新
》結終底徹塊磚的J eliT為名塊一被，題問磚單期週非的類人擾困：了束結待等的年十六《
。尾收為作子句的瘩疙皮起間瞬者讀通普數無讓個一了用章文
”。裡書科教的砌鋪於關本一每進刻地久永被，碑程里座一的上史學數類人為作將，磚的錯牙犬，陋醜怪古塊這。了通走被路，在現而。路條一出趟裡澤沼片這在能沒都，腦頭的明聰最數無，來年十幾“
。獲捕肅嚴的球全被間瞬，詞個這碑程里
。詞定限的有所了下撤部全，報大的克攻似疑，寫改將或，實證果如用使地翼翼心小裡題標在還前之些那
。刻時碑程里的史學數類人：》報時約紐《
。題難何幾的年十六續延個一了結終，磚塊一：》報衛《
。件稿了寫重夜連是乎幾，版技科》報京新《》湃澎《的國
。訊資的信相法無人讓然依卻，遍數無了認確覆反界世全被，欄一那是然依，的誕荒和暈眩到人有所讓最而
。人的切一這完
。授教終位某的院究研等高頓斯林普是不
。家學何幾的子輩一了浸個某裡師高黎，津牛，橋劍是不
。生學三高，的考高加參要就天幾有還，的學中立公通普所一，市城線二國中，個一是而
———
。的烈暴是，轉反的向風
。秋硯沈是，的上置位尬尷最向風烈暴這在站而
。》呼歡著急別先《的字千三篇那了出發，譽清的累積年十己自了上押他，分三十二點六晚傍的前天西
。論結的八於大率機的口缺輯邏的補修法無在存了出給，刑死了判，率機的題難紀世決解立獨生中高個一把，點論的嚴輯邏個五用他
。過思門閉，月個三更停號賬有所且並，歉道躬鞠學同臨江向開公網全在刻立將他，誤無整完為認確同共何幾散離際國被終最本印預篇這果如，誓發咒賭末文在至甚他
。下臨高居的等何，定篤的等何是，他的候時那
。在現而
。了來，認確的同共何幾散離際國
。多太底徹也，多太快中象想他比得來
。隊團有所乎幾是，隊團個一是不
。的確正是且並，的整完的地餘何任有沒句那特爾霍·斯庫馬是，關通面全的21-reyaL到走層逐是，現復立獨的始開零從是，驗核分部是不
。齏碾地個一個一被，點論個五那他
】？嗎下一刪不章文篇那您，了形識共際國，師老沈【
】。話算要話說人男，師老沈，歉道躬鞠，月個三更停【
】。刑死判生中高個一給著急麼那，信自麼那得錯他，是題問。錯會都誰，了錯斷判他是不題問。了底徹太也得翻車翻他，次這但。假多麼那了打，的師老沈服佩前以我，的真說【
】。他了叛背驗經果結，才天的圍範驗經他出超個一定否去，驗經的累積假打年十用他，吧慢傲的義主驗經是就這【
……
。麼什是擇選的面一唯是也，的做能一唯在現己自道知秋硯沈
。乎知和博微啟開他，後之久很了默沉
。》呼歡著急別先《篇那刪有沒是還他
。虛心的底徹是就，了刪
。態的新條一了頂置，面下的文長篇那在他
”。斷判的口缺輯邏的補修法無在存八於大了出做，率機的作工項此完立獨生中高位一對，驗經往過於基，中文一》呼歡著急別先《在前此我。現復了完現實碼式程的關無此彼用使隊團立獨個多。確正與整完的明證該了認確經己同共何幾散離際國：J eliT於關“
”。譜離得錯且而，了錯，斷判個這“
”。錯的己自認承，後之了錯明證實現被在是而，人別疑質是不，的難最人個一。月個三更停並歉道開公會我，立認確被文論篇這果如，過說經曾我“
”。歉道重鄭，學同臨江向，裡這在我“
”。見偏與慢傲的我是這，人的驗經我出超遠遠個一了量丈去，驗經的累積假打年十我用我。能可的本才天了估低也，他了估低我“
