I finally got around to trying to reproduce this, and now I'm not experiencing symptoms. So I'm not sure what triggers it. If I am able to reproduce it again, is spicedb repo the right place to open issues about the playground?