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 6d9d10b9e docs(rust): record final rewrite architecture audit
6d9d10b9e is described below
commit 6d9d10b9e80931fe24edfca1e5e854ef9916e48a
Author: vaughn <[email protected]>
AuthorDate: Sun Sep 13 17:08:48 2026 +0800
docs(rust): record final rewrite architecture audit
---
docs/evidence/rust-rewrite/final-audit-20260913.md | 36 ++++++++++++++++++++++
tools/rust-partition-poc/src/lib.rs | 10 ++++--
2 files changed, 44 insertions(+), 2 deletions(-)
diff --git a/docs/evidence/rust-rewrite/final-audit-20260913.md
b/docs/evidence/rust-rewrite/final-audit-20260913.md
new file mode 100644
index 000000000..3542cdbee
--- /dev/null
+++ b/docs/evidence/rust-rewrite/final-audit-20260913.md
@@ -0,0 +1,36 @@
+# Rust rewrite final architecture audit (2026-09-13)
+
+Commit audited: `d5d19b14deeddf9c27de202f478a47413d159a8a`.
+
+## Reproduction
+
+Environment: rustc/cargo 1.94.1, Maven 3.8.7, Java 21.0.10, Docker 29.1.3,
Linux x86_64. Proxy bypass includes localhost/127.0.0.1/::1. Worktree was clean
after removing generated mutant output directories.
+
+Command: `cd tools/rust-partition-poc && ./verify.sh` (after `cargo fmt
--all`). Exit code 0; 19 tests passed. This validates only the partition POC
contract and is not production evidence.
+
+## Gate decision
+
+| Gate | Status | Evidence / reason |
+|---|---|---|
+| Architecture invariants | MISSING | Design/principles define invariants, but
no production Rust implementation proof. |
+| Protocol/data compatibility | MISSING | No Java/Rust differential replay or
complete API oracle. |
+| Integration assets | MISSING | Inventory is draft; CI coverage not fully
enumerated. |
+| Independent Oracle | MISSING | Single-register/unit Oracle only; no real
three-node history. |
+| Fault/partition/restart/recovery | MISSING | POC and compose smoke exist;
cross-process and full matrix absent. |
+| Snapshot round-trip/corruption | MISSING | SnapshotHandler tests are
unit-level; real file semantics absent. |
+| Java/Rust differential replay | MISSING | No executable production replay
harness/evidence. |
+| Concurrency/linearizability | MISSING | Synthetic Oracle only; no real
cluster history. |
+| Mutation | PASS (POC only) | Contract mutation score evidence; scope
excludes production implementation. |
+| Performance/resources/long stability | MISSING | No approved baseline. |
+| Dual-read/gray/rollback | MISSING | Design requirement, no implementation
evidence. |
+| CI gates | FAIL | Rust POC workflow omits Maven/RAT, cluster, snapshot,
differential and linearizability gates. |
+| Docs/evidence/review | MISSING | Maintainer and two-reviewer sign-off
absent. |
+
+Per `docs/rust-rewrite-go-no-go-checklist.md` current status remains NO-GO.
Sentinel was intentionally not created.
+
+## Local work completed
+
+- Removed generated untracked mutant output directories.
+- Applied rustfmt to the POC and reran its verification successfully.
+
+No production migration was performed. External maintainer/reviewer approvals,
production traffic, API keys, and real three-node history collection require
named owners and external execution; they remain open blockers and are not
represented as completed evidence.
diff --git a/tools/rust-partition-poc/src/lib.rs
b/tools/rust-partition-poc/src/lib.rs
index 39203f719..4872e56a7 100644
--- a/tools/rust-partition-poc/src/lib.rs
+++ b/tools/rust-partition-poc/src/lib.rs
@@ -139,10 +139,16 @@ mod tests {
let mut current = base()[0].clone();
let mut incoming = current.clone();
incoming.start = 1;
- assert_eq!(apply_heartbeat(&mut current, incoming),
Err("range-mismatch"));
+ assert_eq!(
+ apply_heartbeat(&mut current, incoming),
+ Err("range-mismatch")
+ );
let mut incoming = current.clone();
incoming.end = 11;
- assert_eq!(apply_heartbeat(&mut current, incoming),
Err("range-mismatch"));
+ assert_eq!(
+ apply_heartbeat(&mut current, incoming),
+ Err("range-mismatch")
+ );
}
#[test]
fn heartbeat_is_idempotent() {
