候选标题：一、司医星不是一颗星，而是一次命名检验；二、司医星：当名字跑在观测前面；三、从陈卓星官到IAU星表：司医星的位置。
在国际天文学联合会小行星中心（MPC）的公开数据库里输入「司医」，返回为空；在陈卓汇总的283官、1464星体系中，也找不到「司医」这一星官。这个检索结果就是本文的论点：司医星的问题不在于它有多远、多暗，而在于它尚未在权威星表中获得可核查的身份。一个天文学名词的可信度，不取决于它听起来是否古老或诗意，而取决于它能否绑定轨道根数、观测弧和发现记录。
一、命名的证据链：从临时编号到永久编号
小行星的发现流程有明确的制度节点：发现者先获得临时编号（发现年份加字母），轨道确定后由MPC分配永久编号，命名提案再经IAU小天体命名工作组审核。这套流程把「名字」绑定在「对象」上，而不是反过来。命名公告属于制度性事实（证据等级：制度性事实），其背后是CCD天体测量与轨道拟合（证据等级：直接观测与间接推断）。命名不是发现的同义词；命名是制度确认。
二、这个称谓在星表里的位置
如果司医星指某颗小行星，它应当有一个MPC永久编号，形如「(XXXX)」，并附带轨道根数、观测弧和发现台站记录。没有编号，就没有可检验的轨道；没有轨道，名字就只是语汇。少数派观点认为传统星官名可以直接移植到现代星表，以保留文化连续性；主流命名实践则要求先有对象、后有名字（证据等级：制度性事实，少数派观点属纯假说）。这里的真实分歧不是「文化名能不能用」，而是「文化名是否必须绑定可核查对象」。我倾向前者可以承载记忆，后者不可替代观测。
三、传统星官与现代星表：两套坐标系统
据《晋书·天文志》所载陈卓定纪，传统星官体系为283官、1464星（证据等级：历史文献直接记载）。其中司命、司禄、司危、司非等星官可考，司医不见于该体系。1922年IAU确定88星座，中国星官体系退出正式星表（证据等级：制度性事实）。这不是观测精度的胜负，而是命名制度的更替。类比地说，星官像古代地名，星座像现代邮政地址；这个类比在「文化记忆」处失效——古代地名承载地方知识，星官则嵌入占星与帝国秩序，不能简单等同。
四、如何知道一颗星存在
天体测量的原理并不神秘：多次观测给出赤经、赤纬，结合观测弧长拟合轨道；误差主要来自天体测量精度、参考架系统差和短弧拟合的不确定性。量化地说，截至2024年，MPC数据库中拥有永久编号的小行星约60万颗，获得正式命名的约2.3万颗（来源：MPC公开统计，量级可靠，具体数字随更新浮动）。典型主带小行星轨道周期为3至6年。可证伪性在于：若它是已编目对象，应能用编号或名称检索到；检索为空，则它不属于已编目对象（证据等级：直接检索；受数据库覆盖范围限制）。
五、边界在哪里
目前已知的是：没有「司医星」的轨道记录，也没有发现报告、临时编号或命名公告。卡住的地方不是理论，而是证据链的起点——发现与编目。下一步若要把这个称谓变成科学对象，需要给出MPC编号或完整的发现记录；若它指古代星官，则需要给出星官表出处与对应坐标。名字可以先行，但轨道不会因为名字而弯曲。
关键数据
- MPC永久编号小行星：约60万颗（2024年公开统计）
- 正式命名小行星：约2.3万颗
- 陈卓星官体系：283官、1464星（《晋书·天文志》）
- IAU星座：88个（1922年确定）
参考文献
- IAU Minor Planet Center. 2024. Minor Planet Statistics.
- Sun Xiaochun & Jacob Kistemaker. 1997. The Chinese Sky During the Han. Brill.
- 潘鼐. 1989.《中国恒星观测史》. 学林出版社.
- Needham, J. 1959. Science and Civilisation in China, Vol. 3. Cambridge University Press.
- IAU. 1922. Transactions of the IAU, Vol. I.