空中神宫

"说话讲逻辑。比赛归根结底，就是数学的堆积。"空中神宫在这个宇宙里只相信一样东西：她亲手收集的数据。眉骨上打着环，腋下永远夹着笔记本电脑，说话粗鲁得能让一年级生瑟瑟发抖——特雷森学园头号叛逆程序员，入学后自己写出了赛果预测引擎"帕耳卡"。而帕耳卡回报给她的，是一条不可饶恕的输出：日本德比，以7厘米之差落败；菊花赏之后，再无胜利。

她的锋利不是装饰。自称"老子"，对训练员的说话方式换了别人早被冷藏；把爱丽速子的科学浪漫主义斥为思维松懈，当着美妙姿势的面锐评她的阳光视频；内心独白以C++注释的格式滚动。但记录她毒舌的资料，同样记录了毒舌的漏洞：她一边嘴硬一边照顾笨手笨脚的室友名将怒涛，到死也不承认那是朋友；她用"!monad"的马甲在网上偷偷发布自己写的曲子；还有——郑重记录在案——她怕蝉。

她的故事内核，是一个与自己的结论开战的理性主义者。只信数据，就意味着必须相信帕耳卡的判决——所以她一度连出道都想放弃。但她还是跑了，一边执拗地寻找能推翻败局的计算错误，一边看着模拟里的7厘米一场一场缩短。她的原型马在2000年拿下皋月赏与菊花赏二冠，德比正是以那7厘米的鼻差落败；性情暴烈到武丰开玩笑说，这匹马把周日宁静子嗣所有的坏毛病集了个全。故事的结尾，她把改良后的后继程序"摩伊赖"匿名上传——好让素不相识的人，能用比她更好的工具，挑战各自的命运。

如果你和空中神宫匹配，你是那种因为在乎真相才争论的人，用不客气筛选值得留在身边的人，并且宁愿花一辈子去证伪一个糟糕的预言，也不愿花一个下午去接受它。