路线图

Rove 处于早期。没有发布版本，没有发布的 crate，也没有日期。这是实现顺序，不是时间表。

步骤	状态
标量似然核心与数值参考测试	已完成
ARM64、x86_64 和最低 Rust 版本上的 CI	已完成
可复现的 BEAST 2.7.8 参考分析	已完成
形态学 NEXUS 与观测模式压缩	已完成
Rust 内核基准测试基线	已完成，#8
完整推断和跨引擎基准测试	待完成，#8
Mkv 确认偏差校正	下一步，#14
直接 Mk 剪枝	计划中，#4
NEON 向量化	计划中，#5
最小的独立 MCMC	计划中，#15
松弛时钟参考模型	计划中，#16
完整推断验证	计划中，#12
子树内重复的评估	计划中，#17
可选的 BEAST 2 JNI 与 BEAGLE C ABI 适配器	可能，#6 和 #7

建立基线

核心已与一个独立的标量实现核对。NEXUS 读取器在不依赖 BEAST 的情况下提供带权重的观测。参考实验记录了确切的输入、模型设置、两次完成的 BEAST 运行和固定的数值状态。

Apple M4 Max 基线记录了 11 个 Rust 工作负载，分别测量初始化、整树计算、局部更新和提议状态管理。报告包含原始样本、内存分配观测以及三个独立进程之间的变动。下一步是验证 Mkv 校正。完整推断和跨引擎比较仍待完成，目前尚未测得任何跨引擎的加速。

Mkv 把似然条件化于仅含可变性状的矩阵的观测过程。它需要自己的测试，针对固定的参考状态；用于确认偏差校正的人造模式必须与观测到的模式权重分开。

然后，直接 Mk 路径可以取代通用矩阵乘法，之后是 Apple silicon 上的 NEON。标量实现仍是参考和回退。每项优化都需要前后对比的测量，而不只是算术运算的计数。

最小的采样器先于完整的松弛时钟和生灭配置。验证从固定状态的似然推进到已知矩阵上的完整运行。采样质量，包括单位时间的 ESS 和树诊断，与运行时间一同计入。

预期的产品是一个原生 macOS 应用程序。应用程序 UI 的工作尚未开始。BEAST 和 BEAGLE 适配器是可选的兼容路径，不是 Rust 引擎的依赖。

关注代码仓库的 issues 了解验收标准和结果。