1859年3月26日，法国乡村医生莱斯卡博（Lescarbault）向巴黎天文台报告：他看见一个黑点从日面掠过。刚凭计算锁定海王星位置的勒维耶（Urbain Le Verrier）接受了这份报告，次年1月在科学院为这颗假想天体给出名字——祝融星（Vulcan）。此后近二十年，天文学家在每一次日全食里搜寻它，直到测量精度提高到足以把它排除。之所以从这段旧事说起，是因为“司圣星”正处在同一种状态里：截至本文写作，在IAU小行星中心数据库与NASA系外行星档案中检索不到这个名称，也没有与之绑定的坐标、星等或轨道要素。我的判断是：司圣星目前是一个没有对应天体的名字；而它值得讨论之处不在于“可能是什么”，而在于它逼我们回答一个方法论问题——一个名字要满足什么条件，才算获得了天体的身份。
命名是发现的下游，不是发现本身
IAU的规则很朴素：小行星要先取得永久编号才谈命名，系外行星的公众名称必须绑定一个已由独立观测确认的对象。名字是行政产物，不是证据。祝融星的下场说明了证据链如何整体失效：水星近日点每世纪43角秒的异常进动，曾被当作它存在的引力证据（属于“理论自洽要求”级别的支撑），1915年广义相对论给出解释后，这条理由连同假说一起被清空。冥王星则提供了另一种版本：1930年汤博在照相底片上找到它，2005年厄里斯被发现，2006年IAU以“清空轨道邻域”为标准重划行星定义，冥王星降级。名称的流通速度，永远快于证认和分类的速度。
一个亮点如何获得天体身份
今天的确认流程靠几条互相独立的路径交叉验证：凌日法测亮度周期性下降，热木星深度约1%，但必须排除食双星与恒星黑子——黑子的亮度变化不严格周期，且多波段振幅比与凌日不同；视向速度法测多普勒摆动，ESPRESSO已到0.3米/秒量级，主要系统误差来自恒星自身的米粒组织与活动区；天体测量与直接成像则提供位置约束。据此可以分级：直接观测指同时具备凌星光变曲线与质量测定；间接推断指仅有视向速度或多点天体测量残差；理论自洽要求指为解释轨道异常而反推的质量体；纯假说指只有拟合、没有任何独立光度或质量信号。司圣星连最后一级都够不上——它没有可拟合的数据。
关键数据
- 海王星：勒维耶1846年预测位置与实际位置偏差约1°，随后由伽勒直接观测确认
- 祝融星：1859—1878年间多次“观测”，无一次被独立重复，现已排除
- 水星近日点进动：43角秒/世纪，1915年由广义相对论解释
- 行星九（假说）：约10个地球质量，半长轴约400—800 AU，轨道周期约1—2万年，证据等级为间接推断
- WISE巡天（2014）：排除土星质量伴星至约10000 AU、褐矮星至约26000 AU，太阳伴星“复仇女神”假说据此基本出局
真正的分歧不在司圣星，而在太阳系边缘
2016年Batygin与Brown提出“行星九”：外太阳系若干极端海王星外天体的近日点经度出现聚集，若用一颗约10地球质量的行星解释，需假设它位于几百AU之外。这是间接推断，不是观测。2017年Shankman等用OSSOS巡天的去偏样本反驳：聚集可能来自巡天覆盖天区与观测季节的选择效应，即观测偏差而非动力学。争论至今未决，而这恰恰是个可证伪的问题——更大、更均匀的巡天要么让聚集更显著，要么让它消失。司圣星的所有主张都缺少最基本的可检验量：位置与星等。
争议焦点
- 外太阳系轨道聚集是否真实存在：OSSOS去偏样本与早期汇总样本结论相反
- 若存在，是单颗行星还是其他质量体（如原初黑洞），后者属少数派观点
- 司圣星一名无对应的观测记录，任何“确认”说法都无法进入同行评议流程
边界是清楚的：名字与天体之间的流程已被标准化到可以批量确认五千多颗系外行星的程度，因此我们也有能力判定，一个名字背后暂时什么都没有。真正卡住的地方不在命名，而在外太阳系的观测完备性——LSST/Rubin这类巡天需要在南北天区给出均匀的深场覆盖，才可能把选择效应从动力学信号里剥离出来。在那之前，行星九是间接推断，司圣星连假说都算不上。名字可以先走一步，但只有观测能让它落地；反过来看，一个迟迟无法落地的名字，本身就是观测缺口的一份记录。
参考文献
- Baum, R. & Sheehan, W. 1997, In Search of Planet Vulcan, Plenum Press
- Batygin, K. & Brown, M. E. 2016, AJ, 151, 22
- Shankman, C. et al. 2017, AJ, 154, 50
- Wright, E. L. et al. 2014, ApJ, 792, 26
- IAU 2006, Resolution B5, General Assembly, Prague