沈知微她把自己關在404自習室里。第一夜,她把四份資料全部拆開、編號、謄抄,教學樓守則十二條,宿舍公約第13條的七晚版本記錄,禮堂倒計時的頻譜原始數據,奠基石銘文的拓片和照片。謄抄完,她對著四摞紙坐了很久,然後開始在白板上寫第一行公式。第二夜,她寫了三面白板的推導,又全部擦掉重來,最後寫了一套比對程序。江述白第三天早上推開門的時候,屋裡瀰漫著速溶咖啡和熬夜的味道,白板上密密麻麻地畫滿了線條,沈知微坐在白板前的椅子上,眼睛通紅,但精神出奇地亢奮。
「成了。」她說。
「什麼成了?」
「比對。」沈知微站起來,指著白板上四張並排的圖,「教學樓守則、宿舍第13條、禮堂倒計時、奠基石銘文,我把它們全翻譯成了同一種東西:邏輯表達式。」
「翻譯?」江述白走到白板前,「它們一個是一張紙,一個是音頻信號,一個是石刻,怎麼翻譯?」
「不管它們是什麼介質,它們都是規則。」沈知微說,「只要是規則,就有統一的骨架:觸發條件、執行行為、罰則、自指位點。我把四組東西,每一個都拆成這四個要素,再比較它們的骨架結構。介質只是外殼,守則寫在塑封紙上,公約滲在墨跡里,倒計時藏在音頻包絡里,銘文刻在石頭上,可規則本身,不看外殼,只看骨架。」
她指著第一張圖:「教學樓守則,禁止喧譁。違反者,延畢。拆開:觸發條件=喧譁,執行行為=記錄,罰則=延畢,自指位點=無。這是它的一條。我們把十二條全部拆完,十二條的骨架,一模一樣:全部是條件,記錄,罰則的三段式,沒有任何一條例外。」
又指著第二張:「宿舍公約第13條,禁止使用大功率電器。違反者,開除學籍。拆開:觸發條件=使用電器,執行行為=抹除記錄,罰則=抹除存在,自指位點=每晚重寫自己。它的骨架,跟守則一模一樣,只是罰則升級了:延畢→抹除。還有,你注意自指位點:守則沒有自指,第13條有。這是它比守則更深一層的證據。」
「第三條。」她指著頻譜圖,「禮堂倒計時,滿座時,台上之言應驗。拆開:觸發條件=滿座+台上說話,執行行為=存檔,罰則=應驗成事件,自指位點=預錄未來,它把自己還沒發生的部分都算進去了。骨架還是同一副,條件、執行、罰則、自指,一個不少。」
「第四條。」她指著銘文拓片,「奠基石銘文,格物致知四個字。拆開:觸發條件=台上聲場耦合,執行行為=收存話語,罰則=應驗,自指位點=校訓本身,格物致知,它知道自己是什麼。四條,四份資料,四種介質,骨架,一模一樣。」
「你光說一樣,怎麼證明?」江述白問。
【寫到這裡我希望讀者記一下我們域名 追書就上 101 看書網,𝟷𝟶𝟷ᴋᴋs.ᴄᴏᴍ超實用 】
沈知微把電腦轉過來,屏幕上是一張程序運行結果圖:「我寫了個比對程序,把四組規則全部轉成形式化表達式,然後做句法結構比對,逐節點比較:觸發條件的嵌套層級、罰則的嚴苛梯度、自指位點的位置分布。四組數據的句法距離,全部落在同一個閾值內。四組數據,同源的概率,百分之九十九以上。」
「百分之九十九。」江述白重複了一遍,「你排除掉巧合了嗎?」
「排除了。」沈知微說,「我做了一組對照:把全校能找到的其他規則文本,交通管理辦法、實驗室守則、學生會章程,全部拉進來做同樣的比對。對照組的結果,句法距離是四組數據的幾十倍,沒有一個落在閾值內。全校只有這四份東西,句法同源。巧合不能解釋只有它們四個像。」
「同源。」江述白重複著這個詞,「它們是同一份規則的四個……什麼?」
「四個實例。」沈知微說,「同一份母規則,被實例化了四次:教學樓一份,宿舍一份,禮堂一份,奠基石一份。介質不同,塑封紙、墨跡、音頻、石刻;殼子不同,守則、公約、倒計時、銘文;但內核是同一份。就像同一份法律,被抄成了四份不同語言的版本,條文全改了,但法條結構沒改。你聽它們說話的語氣都一樣。」
「母規則……」江述白看著白板上四張並排的圖,「全校的詭異,共享同一個源頭。」
「對。」沈知微說,「我們處理了這麼多,集合體、守則、第13條、合唱團、倒影看台、言出法隨,一直以為它們是獨立的怪談。可如果句法同源成立,它們全是同一份母規則的子進程。我們處理的每一個,都是同一個東西的一個界面。就像一棵樹,我們砍的每一根枝,都是同一棵樹的枝。」
「那第13條呢?」江述白問,「它在這套系統里,是什麼位置?」
「第13條最特殊。」沈知微把宿舍公約的記錄單獨拉出來,「它是四組裡唯一自指最深的,每晚重寫自己,意味著它知道自己在被觀測。它不只是母規則的一個實例,它是母規則里負責自我更新的那個模塊。你看它的行為模式:它不固定內容,只固定編號和罰則,它每天換一個禁止什麼,但永遠是第十三條,永遠是開除學籍。這說明它的本質不是某條規則,是規則的更新機制本身。」
「所以宿舍公約不是獨立的詭異……」江述白說,「是母規則的心臟之一。」
「對。」沈知微說,「母規則靠它維持規則還在運轉的假象,只要第13條還在每天更新,就說明母規則還活著。我們上學期以為處理完了集合體、處理完了守則,就能讓校園安生,其實那只是砍了枝。第13條還在更新,說明根還在下面活著。我們以為贏了的那幾仗,只是讓根少了幾根枝。」
「那抹除呢?」江述白問,「張磊、周雅琴,開除學籍的抹除機制,也在這套系統里?」
「在。」沈知微說,「我把它歸到了罰則欄比對,第13條的抹除存在,是四組裡最重的罰則。教學樓守則罰延畢,禮堂罰應驗,銘文罰收存,只有第13條罰抹除。而檔案里那個每年多一個的空位,我們查過:是檔案系統對被抹除者的自我修正。現在回頭想,那個自我修正的檔案系統,本身就是母規則的一部分。第13條負責抹,檔案系統負責補,一前一後,配合得天衣無縫。」
「第13條不是獨立系統。」江述白說,「它是母規則里負責抹除的模塊;檔案系統是負責善後的模塊。我們查了撕頁、查了空位、查了第13條,查的全是同一套系統的手腳。」
「所以那句第13條的抹除機制,十年前就在運轉,結論沒變,但性質變了。」沈知微說,「十年前在運轉的,不是宿舍公約,是母規則。宿舍公約只是它十年前穿上的殼。再過十年,它還會換一個新的殼。我們要找的從來不是公約,是那個會換殼的東西本身。」
江述白在白板上寫下母規則三個字,又畫了一條線,指向四個分支:「教學樓守則、宿舍第13條、禮堂倒計時、奠基石銘文,四個分支,一個根。那這個根,在哪兒?」
「我查了交集。」沈知微說,「四組數據的共同元素,觸發條件里都有的聲源在場、罰則里都有的秩序剝奪、自指位點都指向的核心載體,我把交集畫成圖,交集的中心點,落在校園地圖上唯一一個位置。」
她停了一下,把地圖展開,用紅筆在校園平面圖的一個位置畫了一個圈。
「這裡。」
江述白看著那個圈,那是校園裡,他從來沒有排查過的一棟建築。
「校史館。」他說。
「校史館。」沈知微說,「全校的詭異共享一個源頭,那個源頭,我們從來沒查過的地方,正好是存放校史的地方。你不覺得,這太巧了嗎?」
「校史館存著學校的歷史。」江述白說,「如果母規則比學校老,那學校的歷史裡,藏著的可能就是母規則的出生記錄。一棵樹,根在樹的歷史裡,要找根,就得先翻歷史。」
他盯著地圖上那個紅圈,看了一會兒,說:「明天,去校史館。」
「帶上我。」沈知微說,「我要親眼看一看,那捲母規則長什麼樣。」
「帶上你。」江述白說,「還有,把描紅本也帶上,你畫拓撲的手法,說不定在校史館派得上用場。」
沈知微的筆尖頓了一下,沒有說話。她把描紅本收進包里,指尖在封皮上停了一會兒,才拉上拉鏈。校史館的灰磚小樓,在校園東門的方向,安靜地等著他們,像一個存著百多年秘密的老人,終於等到有人來問,來聽,來把它肚子裡的那點東西,一個字一個字地挖出來。