Seeking volunteer review for a small deterministic Rust verification harness

Hello, I am looking for a volunteer technical reviewer for a small Rust project that checks untrusted structured proposals against a fixed admission policy and preserves deterministic replay evidence. The narrow question is not “does this solve AI safety?” It is whether the implementation behaves correctly on a defined synthetic rule fragment and whether the evidence procedure is reproducible. Current internal controls include a frozen model-free suite, raw-input hashes, replay checks, and a ...