Hello,
Ah, now I understand better. Thank you for clarifying. This looks like a bug to me. I will record it and we will see if we can get it fixed. The problem is the Game API. The plugins you listed all use the Game API. The Game API has been deprecated for many years.
If you are not too far along in writing your plugin, I would strongly recommend switching to the Data Interactive Plugin API(https://github.com/concord-consortium/codap/wiki/CODAP-Data-Interactive-Plugin-API). It is far more capable. The Game API is a one-way API. It can send data to CODAP, only. The Plugin API is bidirectional. In addition to the things you can do with the Game API, you can ask for data from CODAP and receive notifications about events.
Again, thank you for calling our attention to this bug, and I hope it is not too late for you to switch to the Plugin API.
Jonathan Sandoe