驗證不是口號。
範圍才是答案。
渾儀的主要位置結果曾與另一條以JPL DE442、Astropy與ERFA組成的管線逐小時比較。底下直接列結論、方法與沒有涵蓋的地方。
2,244,088天體—小時比對列1990–2026,七個天體,每列含多個欄位
99.96%落在工程門檻內位置與速度合計;門檻是比對設定,不是物理精度
0五大行星位置超標水星至土星
這是歷史、具名範圍的驗證,不是全系統認證,也不是每次開頁重跑。
01
兩條不同的計算路徑
產品使用Swiss Ephemeris;比較管線以JPL DE442為幾何星曆,經Astropy/ERFA產生參考結果。兩者在幾何星曆與主要轉換實作上不同,但仍共享IERS/IAU標準、部分觀測資料譜系與視位置定義,因此不稱為「完全獨立」。
產品管線Swiss Ephemeris實際產品輸出
對照
參考管線DE442+Astropy/ERFA外部幾何與轉換實作
查看比對設定
- 時間
- 1990-01-01至2026-07-28,逐小時,共320,584個時點
- 天體
- 太陽、月亮、水星、金星、火星、木星、土星
- 欄位
- 黃經、黃緯、赤經、赤緯、地心距離及各項速度
- 位置門檻
- 5角秒;月亮15角秒
- 速度門檻
- 1角秒/日;月亮5角秒/日
- 門檻的性質
- 工程門檻:本批比對校正器使用的設定,不是物理精度或不確定度,也不是經裁決的驗收標準
02
結果好看,更要解釋例外
五大行星位置
沒有一項超出位置門檻。代表性最大差異為水星赤緯4.8角秒、金星赤經4.0角秒、土星赤經1.7角秒。
月亮位置
位置一致到0.005角秒以內。早期的大幅速度差來自驗證器跨閏秒仍使用固定300秒分母;改用實際301秒後已修正。
近太陽速度
五大行星的最大速度差都發生在太陽視圓面內。該處沒有可觀測的行星視位置,兩套管線的延伸規則不同;這不是產品位置普遍算錯。
太陽解析速度
119個取樣點確認產品速度與自身位置一致到0.05角秒/日內;底層frame的完整分層歸因仍未完成。這不是目前release blocker,也不表示位置輸出已知錯誤。
03
涵蓋到哪裡,沒有涵蓋哪裡
已有強證據
- 七個天體的地心主要位置
- 指定年代與欄位的逐小時比較
- 五大行星站留附近的方向分類
- 星曆檔與恆星表的exact SHA-256
部分涵蓋
- 星座、旬、Egyptian bounds與exact aspect邊界
- 日夜盤與部分station案例
- 升降、中天與日月食的具名小型驗證
- 恆星:在同一份 sefstars 記錄上以獨立轉換鏈核對演算法、與 SIMBAD 現值比對只量目錄漂移;目錄本身未以 Gaia/Hipparcos 獨立核對
不能從本批外推
- 所有宮位制與quadrant cusp
- 所有center、frame與position mode
- 所有固定星方法與日月食shadow
- 全系統天文正確性認證
幾角秒的整體差異通常不改變分類,但落在星座、界、宮頭、station或orb邊界附近時仍可能翻轉;因此邊界驗證與大規模平均結果分開處理。
04
這些證據能證明什麼
能證明:在上列範圍內,產品與另一條參考管線的主要位置結果高度一致;資料檔若被替換,exact hash控制會失敗。
不能證明:所有占星方法都正確、所有年代與模式都已驗、目前每一次計算都重新跑過外部驗證,或本產品取得第三方安全與天文認證。