Links Rust sample: https://doc.rust-lang.org/book/ch04-02-references-and-borrowing.html Highly Available Transactions: Virtues and Limitations: https://www.vldb.org/pvldb/vol7/p181-bailis.pdf Consistency Models: https://jepsen.io/consistency/models Tiger Style: https://github.com/tigerbeetle/tigerbeetle/blob/main/docs/TIGER_STYLE.md It Takes Two To Contract: https://tigerbeetle.com/blog/2023-12-27-it-takes-two-to-contract/ rand() implementation notes: https://www.mscs.dal.ca/~selinger/random/...