个闭环。”*
*“闭环不需要外部验证。”*
*“因此，林霜不存在于外部世界，但存在于闭环中。”*
谢铭的手指触碰到了那片文字。
冰凉的。
像死人的皮肤。
他继续往前走。球体空间的内壁开始变化——文字越来越密集，公式越来越复杂，代码越来越长。
然后他看到了一个页面。
一个单独的页面，被钉在球体空间的正中央。
页面上只有一行字：
*“林霜命题的余项：谢铭。”*
谢铭的心脏停跳了一拍。
他伸手去触碰那个页面。
手指碰到纸面的瞬间，世界再次裂开。
---
他站在一个房间里。
不是球体空间。是一个普通的卧室。床、书桌、衣柜、窗户。
窗外是夜晚。城市的灯火在远处闪烁。
谢铭认出了这个房间。
这是林霜的房间。
三年前。婚礼前夜。
他看到一个女人坐在书桌前，背对着他。
林霜。
她的头发披散着，穿着一件白色的睡裙。她的手指在键盘上飞快地敲击，屏幕上是一行行代码。
谢铭想开口叫她，但声音卡在喉咙里。
这不是真实的林霜。这是记忆回响——林霜留在这个房间里的记忆投影。
他走近她。
屏幕上的代码在跳动。
*“functionbind(x,y){”*
*“letlove=newSymbol(‘爱’);”*
*“letresult=x⊕y⊕love;”*
*“returnresult;”*
*“}”*
谢铭看着那行代码。
*“letlove=newSymbol(‘爱’);”*
他记得这个符号。∧——逻辑与。但在林霜的代码里，它被重新定义了。
*“x⊕y⊕love”*
⊕是异或运算。x和y是两个变量。love是第三个变量。
但love不是一个普通的变量。它是一个符号。一个被重新定义的符号。
谢铭看着林霜的手指继续敲击。
*“letx=林霜的存在;”*
*“lety=谢铭的存在;”*
*“letresult=bind(x,y);”*
*“//如果result为真，则林霜消失，谢铭记得”*
*“//如果result为假，则林霜存在，谢铭忘记”*
谢铭的呼吸停止了。
他明白了。
林霜不是在写代码。她是在写命题。