渾儀ARMILLARY

驗證不是口號。
範圍才是答案。

渾儀的主要位置結果曾與另一條以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控制會失敗。

不能證明:所有占星方法都正確、所有年代與模式都已驗、目前每一次計算都重新跑過外部驗證,或本產品取得第三方安全與天文認證。