Huh, I think I might have found a solution for the problem in Matrix where 'roles' are really difficult to implement because they break orderability assumptions in the stateres protocol
Curiously, it looks like this problem can be solved with basically the same mechanism as the Spaces access control replication MSC that I wrote a while ago
