DAEDALUS:用於發現基本常數間代數聯絡的量綱分析引擎

DAEDALUS 經驗主體背後的方法學裝置。發現引擎 + 飽和問題分析 + 數值與結構篩選 + 以 Rydberg 與 Bohr 半徑校準的蒙特卡羅排列檢驗。v2 增加多關係別處看審計,帶有試空間基數估計、獨立性約化、三條程式保障與 Bayes 因子計算。