Include racy reads in Rust memory model with `MaybeInvalid<T>`
Rust Internals [Unofficial]
May 24, 2026
Ah I found it, it was just a bit hidden: Repairing Sequential Consistency in C/C++11. The "full paper with appendix" has the proofs.
Discussion in the ATmosphere