This is an automated email from the ASF dual-hosted git repository. zyxxoo pushed a commit to branch refactor/rust-rewrite-design in repository https://gitbox.apache.org/repos/asf/hugegraph.git
commit dc3aede8f1d3f4a6c4fb538ebd4811f667bf6cea Author: vaughn <[email protected]> AuthorDate: Sun Sep 13 15:20:22 2026 +0800 docs(test): link standalone linearizability oracle --- docs/rust-rewrite-oracle-finalization.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/rust-rewrite-oracle-finalization.md b/docs/rust-rewrite-oracle-finalization.md index 28f7c37d9..0c5279b79 100644 --- a/docs/rust-rewrite-oracle-finalization.md +++ b/docs/rust-rewrite-oracle-finalization.md @@ -62,6 +62,8 @@ ## 完成条件 +已落地一个独立的单寄存器历史 checker：`tools/raft-linearizability/checker.py`。它仅依赖历史输入，通过回溯搜索验证实时顺序和读写语义；测试位于 `tools/raft-linearizability/test_checker.py`。该工具只覆盖 Raft 线性一致性 Oracle 的最小切片，不能替代多分区、多副本和快照恢复验证。 + 只有同时满足以下条件，测试盘点才可称为最终版并允许 Rust 单元替换： - 所有 CI 实际执行方法均达到 `reviewed` 或明确标记为 `irrelevant`；
