コンパイラは (2) が MainActor で実行されるものだと思ってるのに、ランタイムで (2) を別のスレッドで実行できちゃっているから、(3) の挙動が安定しないのかなと思ってます。この (2) を脱法と呼んでます