DAEDALUS 经验主体背后的方法学装置。发现引擎 + 饱和问题分析 + 数值与结构筛选 + 以 Rydberg 与 Bohr 半径校准的蒙特卡罗排列检验。v2 增加多关系别处看审计,带有试空间基数估计、独立性约化、三条程序保障与 Bayes 因子计算。
https://doi.org/10.5281/zenodo.20062462