I might be able to write this up. I started spitballing possible FEPs in the other thread but I like this idea of hammering out the actor model first. i was actually just reading this report by Yoel Roth today, which feels like corroboration of the importance of this approach:
(Src ; the link leads here to François’ 2019 paper)