This is a very WIP draft for changes to define a memory model. It is in no way complete and almost certainly incorrect in the bit it attempts to specify. But, I invite and welcome all your feedback (You can see the remains of many previous attempts as commented-out LaTeX.)

The style of wording is heavily based on C11/C17 and cppreference.com (e.g., atomic_thread_fence).

Part of the approach here is to add the notion of PE-happens-before and PE-synchronizes-with, rather than overload/extend C's definitions of happens-before and synchronizes-with. What has so far made this a complicated endeavor (both in wording and correctness) is that OpenSHMEM has blocking and nonblocking operations, fence vs. quiet.