Correct, the point of my post is that Go does not have these guarantees even though it is one of the few (only?) languages based on a methodology that actually

Correct, the point of my post is that Go does not have these guarantees even though it is one of the few (only?) languages based on a methodology that actually has a proven theorem for statically guaranteeing thread safety; yes, that was never implemented in Go despite that all the other aspects of the methodology were. Which I just find interesting.