If one of the humans involved shows up here, I have a few questions:

How are you doing endpoint projection?

What is your KoC strategy?

What existing research systems (Choral, MultiChor, Chorex, etc.) did you take as inspiration?

What benefits does your system have over ChorRus?

Also: is this actually a choreography? Or are you doing runtime monitoring to ensure deadlock freedom?