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
The following commit(s) were added to refs/heads/refactor/rust-rewrite-design
by this push:
new 2d5d7b270 test(oracle): archive linearizability checker evidence
2d5d7b270 is described below
commit 2d5d7b27012e3e4acfee6b28b04ff3ab87c5e888
Author: vaughn <[email protected]>
AuthorDate: Sun Sep 13 15:21:00 2026 +0800
test(oracle): archive linearizability checker evidence
---
docs/evidence/rust-rewrite/raft-linearizability-oracle-20260913.log | 2 ++
1 file changed, 2 insertions(+)
diff --git
a/docs/evidence/rust-rewrite/raft-linearizability-oracle-20260913.log
b/docs/evidence/rust-rewrite/raft-linearizability-oracle-20260913.log
new file mode 100644
index 000000000..0ec2183b6
--- /dev/null
+++ b/docs/evidence/rust-rewrite/raft-linearizability-oracle-20260913.log
@@ -0,0 +1,2 @@
+{"linearizable": true, "detail": ["w", "r"]}
+{"linearizable": false, "detail": "no legal sequential ordering"}
