Thanks everyone for the insightful review discussion! I enjoyed reading through how everyone thinks about disconnected regions and values, the relationship between region isolation and the object graph of non-Sendable values, etc.
The LSG decided that the proposal is accepted with modifications: