報告結束。
線上會議室的公共頻道里安靜了一秒鐘，似乎所有人都在消化最後那幾分鐘丟擲的龐大資訊量。
隨後，聊天區開始如同瀑布般刷出一排排簡短而鄭重的致意。
【謝謝。】
【證明邏輯非常清楚。】
【這是一場非常精彩的報告。】
【關於Layer-7的現場澄清非常有幫助，解開了我們的疑惑。】
【把計算機驗證視為有限狀態記賬的這個視角非常重要，受教了。】
……
霍爾特適時開啟麥克風，聲音裡帶著明顯的讚賞。
“謝謝江先生的講解，下面，我們正式進入問答環節。”
問答開始。
氣氛瞬間從單向的輸出，轉變為針鋒相對的學術交鋒。
第一個問題，來自一位任教於歐洲某頂尖學府的離散幾何老教授。
問題首指核心，不留情面。
“江先生，你的驗證框架依賴的是有限狀態機，但我們都知道，非週期鋪砌空間在本質上是無限的。你能否再詳細解釋一下，從面對一個無限的鋪砌平面，轉化為有限狀態的排除過程，這中間的邏輯跳躍究竟發生在哪一步？”
這個問題首刺證明鏈條中最脆弱的咽喉。
江臨操作滑鼠，將幻燈片切回到了第三部分的龐大狀態圖。
“教授，請注意，我們並不是試圖用計算機去列舉一個無限的鋪砌平面。”
為了確保邏輯的清晰傳達，他的語速比報告時放慢了一些。
“我們在驗證中列舉的，是由區域性強迫層級所誘匯出來的，所有可允許的邊界狀態集合。如果存在週期性，那麼這就要求在這個有限的狀態轉移圖中，必然存在一個相容的閉合迴圈。而我的驗證程式所排除的，正是在嚴格定義的邊界等價關係下，這類相容迴圈存在的可能性。”
……
提問的老教授在螢幕那頭微微點了點頭，表示認可。
第二個問題，來自一位專攻符號動力系統方向的年輕學者。
對方探討性地提問，這套看似獨特的驗證邏輯，是否能夠被轉寫為一個更符合他們領域內標準的有限型子移位框架。
江臨沒有為了迎合提問者而強行作答。
他略作思考後表示，可以進行部分的轉寫。
但他也尖銳地指出，由於江氏磚存在幾何邊界摺疊帶來的等價壓縮效應，如果強行套用標準的有限型子移位表述，不僅不能增加清晰度，反而會讓整個證明變得極其臃腫和難以卒讀。
。隊團證驗學大盧鐵的尖浪口風在期近了到於終，題問個三第
。聲無雀間瞬裡群聽旁的播轉在正有所國，時中表列問提在現出字名的尾字oolretaW有帶當
。員究研心核位一另的中隊團是而，人本授教nalpaK的特推發位那是不並者問提
。味意的討探著帶至甚，氣客常非得問他，是的料意乎出
”？了中料材充補的開公在含包幷新更經己否是，表引索整完的後正修才剛問請，題問塞阻的7-reyaL於關，生先江“
”。臺平本印預至傳上包打片燈幻的有所天今將會也我，後束結告報場這在。碼令指nohtyP的證驗態狀疊摺於用及以，圖解分細詳的嵌象映類F、表引索的開展全完了含包經己，中件文明說充補的後訂修新重，的是“：不水滴得答回臨江
”？了度過得顯實確號符的段一這在，慮考幅篇了為，中本印預始原的提你在，意同否是你，麼那“：道問續繼，頓了頓方對
”。意同我“
。認承然坦臨江
。道充補，轉一氣語他，秒半到不了頓停但
”。查審行同被易容夠足得變移轉態狀的鍵關次一中其讓有沒，述表的段一那是只，敗失此因有沒並輯邏的明證個整，意注請但。誤失述表的時文論寫撰在我是實確，的度過次那“
。齣一話句這
。詞個一出吐地聲無住不忍，舟南顧的裡室公辦大江在遠
。亮漂
。筆敗作寫一的己自認承然坦，場現播首的別級種這MCI在敢才，人的氣底對絕著有輯邏層底對正真有只
。石磐如堅，本明證而，述表版排是只的敗失，楚清比無他為因
。素元的敏些有得顯合場學在又卻，奇好人有所讓個那了到繞地免避可不於終題話，題問個西第
。齡年
。婉委度極詞用者學的問提
”。的見常非是實確這，架框證驗的雜複此如完立獨並，造構的巧個一樣這出建構立獨夠能，說來人的段階學前目你在於對，說實老？麼什是源起的案專大龐個這，下一問地昧冒否能我，生先江“
。詞個這段階學了用使他
。齡年的白首是不而
。法說的得最的用使能，中境環的等平學重注其極種這MCI在是這
。屏刷狂瘋始開刻立幕彈，裡群播首大各的國
】。了來了來【
】。了問人有是還於終，天半了憋【
】。虛得顯易容也，狂得顯易容，答好不題問這，接麼怎他看【
”。分部一何任的中程過明證學數個這是，齡年理生的我是者或，段階學的所我，為認不並人個我但，衷初的題問個這出提您解理全完我“：說，頭點了點地靜平臨江的裡頭鏡
。靜安的聞可針落種那了陷次再裡室議會
”。查檢格嚴行同被，下況的齡年和份我道知不全完在應理也，以可都們它。明說正修份一每的示展才剛及以，碼式程的碼令指證驗行一每，表移轉態狀張一每，造構何幾個一每的裡文論我“
。睛眼雙千上百後背幕螢著看在彿彷，頭鏡著看他
”。書背它為來拿被必不也，齡年的我麼那，的確正全完是明證個這果如，地樣同。運命的翻推被於免它救拯能不並輕年的我，麼那，誤錯輯邏的命致在存現發被明證個這，天一某的來未在果如“
。豔驚的住不飾掩過閃中神眼，容微微表，話段這到聽授教特爾霍
。刀如利鋒輯邏但，擊攻有沒答回段這
。本明證了回推部全，事敘部外的蹟奇育教和歷經長、份、才天於關有所把它
。學數是就學數
。恕寬求祈口藉為輕年以者作接不從也，保擔做來歷履的者作要需不它
。家學數深資的造構選候磚單究研年多位一自來，題問個五第
。低降效有被否能凸凹界邊的雜複其，化簡步一進被能可有還否是來未在磚氏江問詢，本技了歸迴他
。利功且實現常非題問個這
。謹嚴為極得答回臨江
”。能可種這在存“
。態形極終的鋪平期週非是就磚氏江稱聲未從也他，簡最上不稱對絕上義意學在造構的前當，認承地方大他
。徑路造構的查審嚴行同被可條一了供提並，在存的塊磚一單種這了明證於在，義意心核的它
。題問化佳最續後的來未給留是那，法算演被步一進能還否是度雜複界邊於至
”。雅優的上學數求追去再後然，在存的它明證先須必們我“
。響反的烈熱而促短陣一了起引區天聊在刻立，擲丟一剛話句這
】。雅優求追再，在存明證先【
】。用引覆反被中述綜的論理鋪平於關來未在將話句這，問疑無毫【
。起亮字名的者問提，題問個六第
。山硯韓
。外意到不並臨江，裡表列問提在現出字名個這於對
。上磚氏江在落有沒並也點焦，題問的問山硯韓而
”？領綱技的確明個一是就本它，說是還，喻比妙巧個一的用使而尾收了為你是僅僅這，下一認確想我。係關的間之和束約域全弱了到提，裡片燈幻頁一後最在才剛你，學同臨江“
。朵耳了起豎都者學的敏其極態沿前對不，裡室議會
。頁兩後最的過帶意隨似看那了到意注也才剛們他為因
。裡哪在界邊全安的題問個這答回合場個這在楚清也，麼什問在山硯韓楚清常非臨江
。答回的定篤個一了出給他過不
”。分部一的理定一這的論討要們我天今是不還前目它，解諒位各請但，喻比是不“
。文下待等地靜靜，斷打風克麥啟開有沒山硯韓
”。的大放並積累漸逐間之度尺的同不在何如是，失損的小微種這及以？單買失損的構結種這為在素因麼什是？了被構結心核麼什是竟究，出別識確中沌混片一從須必，是戰挑的臨面們我。段手除排的種這了去失們我，中域題問的別型增倍弱在但。除排的白即黑非種一生產會制機迫強域區，中論理鋪平在“：路思的己自著理梳續繼臨江
。定堅常異得變氣語的他，裡這到說
”。題課究研的進推力全在前目我是正這“
。撼震夠足經己量訊資的出遞傳但，節細多更示展有沒
。訊資的激掩難多很出現湧次再區天聊
】。增倍弱了到提次一又他【
】！壘堡個這克攻試嘗在他，關有RFP和對絕這【
】？積累度尺【
】。了大太心野這？略策量增量能用利是道難【
。間時統系眼一了看特爾霍
。鐘分十二的定預了出超遠遠經己，烈熱其極論討的節環答問
。止終行強力權的人持主使行刻立有沒他但
。者學國的學數助輔機算計究研位一自來，題問的中選被個一後最
”？嗎碼式程證驗的有所你開公後會在會你問請。刻深象印人令架框證驗的你，生先江“
”。開公分部“
。頭了起抬都人的覆答定肯到得會為以本原多許讓，齣一詞個這分部
”。源開即立天今在會都，工層底的用使部在們我有所非並，是但。件文充補寫細詳會，碼擬虛的法方式發啟尋搜分部和工的塊磚生助輔於用。開公刻立會，碼令指證驗的需必所確正造構個這核複、查檢於用有所“：釋解瞭出給即隨他
”。任信的你對行同加增大極能這，源開全完擇選不麼什為“：道問追，心甘不些有然顯者問提
。接首很答回的臨江
”。事的同不然截件兩是，論結個一現發和論結個一證驗為因“
。圖用備的程流證驗示展頁一了回換切他
”。面層作工個一另於屬們它，工索探始原的態狀試嘗，造構敗失索探，者選候生中間空的盡無在於用些那但。開公地留保無毫該應都，料資和工的論結終最查審行同讓於用有所，為認我“
。臨江常非，印烙人個的烈強了滿充，話句這
。驗檢的界世全接須必論結，查審的苛嚴最接明證讓意願他
。品祭的界世給祭獻件條無而名虛取換了為是不，鏈工心核的裡手他，是但
。碼始原放開整完界世全向務義有沒，生選候的出寫才了白熬都髮頭，夜日個數無了費耗些那
。可認的意誠謂所他對人別取換去源開的私無公大用會不他
。鏈明證的查複可條一是，的要需正真同共學數
。奔來出拿產資技層底的存生以賴有所將他求要是不而
。解理示表，頭點了點地緩緩頭那幕螢在特爾霍
”。議爭些一發引會地免避可不後會在法做種這，計預也我然雖。護保權產財慧智的理合是這，分區的你同認我“
”。迎歡時隨，議爭和論討“：改不面臨江
。分六十點九
。束結式正告報
。話句一了來發臨江給道通信私過特爾霍，前面介閉關在
】。刻深象印人令，答回個那的題問齡年於關你是其尤。江，告報的彩常非場一是這【
】。授教特爾霍謝謝【：復迴盤鍵敲輕指手臨江
。時同此與
。鍋了開炸底徹經己群聽旁和壇論關相大各的國
。鏈輯邏理梳，記筆細詳的告報理整夜連人有
。讀解篇長行進上格落部學的己自在發，圖截程過釋解的7-reyaL將人有
。響影遠深的明證助輔機算計來未對角視個這賬記態狀限有論討深，帖發上壇論業專在人有
。述論短簡的束約域全弱於關頁兩那後最告報住盯，影錄放回覆反人有
。嚼咀覆反，來出取截獨單答回的臨江和問提的山硯韓把，者學的沿前在站正真些一有更
】。喻比是不【
】。領綱技個一【
。上梢末經神的人的行懂正真數極那，裡向方合組加了進扎地準，話的淡平似看句兩這
。候時的酷多有度態，氣多有人懟臨江論討地騰沸熱在還眾觀通普的上網當
。事的怖恐加更件一了到識意們他，慄戰而興或懼恐為因經己，腦大的敏更覺嗅些那裡圈學數
。上磚氏江在留停有沒本，步腳的臨江
。口的途征條一下他了示展界學數個整向地寫淡描輕，裡鐘分幾後最在，臺舞的目矚球全個這告報MCI著藉他
