Weak-memory models are standard formal specifications of concurrency across hardware, programming languages, and distributed systems. A …