Interesting work, and an absolute fediverse way to look at a problem lol.
Also love the rule they pointed out that instance had of, don't do things that would make us write new rules.
I do wonder what insights can be drawn, from a skim it seems more about understanding how rules connect to each other, rather than build a broad rule base.