What I wonder, though, is how exactly “happens before” is achieved with Kotlin coroutines?

In your case, A is:

val m = mutableMapOf<Int,String>()
m[1] = "one" 
yield() // or other suspending function

And B is:

m[2] = "two" // (2)

So what’s A=>B?