请教一个竞争问题

go memory model 中说:

…each read of a single-word-sized or sub-word-sized memory location must observe a value actually written to that location (perhaps by a concurrent executing goroutine) and not yet overwritten.

这句话是否可以理解为读一个字长以下的数据, 总是会读到某一次写入的数据, 而不会读到某个中间状态?

如果上述理解是正确的, 那么对于下面的程序:

package main

import (
	"fmt"
	"sync"
	"time"
)

type A struct {data string}

func main() {a := &A{data: "b"}
    
	go func() {
		for {
			if a.data == "a" {a = &A{data: "b"}
			} else {a = &A{data: "a"}
			}
		}
	}()

	var wg sync.WaitGroup
	for i := 0; i < 100; i++ {wg.Add(1)
		go func() {
			for i := 0; i < 100000; i++ {
				// 复制 a 的指针, aa 在接下来的使用中应该指向同一个 A
				aa := a
				if aa.data != "a" && aa.data != "b" {panic(aa.data)
				}
			}
			wg.Done()}()}

	start := time.Now()
	wg.Wait()
	fmt.Println(time.Since(start))
}

由于指针 *A 是一个字长, 那么读取变量 a 总是会读到某一个 A 地址, 所以 panic 不会发生, 但实际上会出现:

panic: 

goroutine 6 [running]:
main.main.func2()
	/Users/a/test/test.go:44 +0xa0
created by main.main in goroutine 1
	/Users/a/test/test.go:40 +0x44
exit status 2

这是为什么?