38. The Memory Model and Race Detection

Go's memory model defines when one goroutine's writes are visible to another: channel operations, mutexes and sync/atomic create happens-before edges. Anything else is a data race, and races are undefined behaviour even if tests pass — run -race in CI.