docs: Clarify Address Space Switch Memory Model and provenance questions. #599
Description
It is now clear how to model and represent multiple address spaces and especially switching between address spaces under Rusts memory model and pointer provenance rules. We must clarify how this is supposed to work, establish and document a model and make sure all the code we have is sound under that model.