Just read. This is great, @LaurensHof!
In my forthcoming protocol book, I explicitly define protocols as *not meaning*, which is consistent with the pattern you identify. Meaning begins where protocols end.
This also extends the notion of power vacuums that I develop a bit in ch. 1 of Governable Spaces. And I think in ch. 4 I make clear that the fediverse does not address these but replicates implicit feudalism (which is not quite a vacuum but a specific theory of governance embedded in software like Mastodon).
Thank you for further making the case for why we need real governance design for a truly decentralized social.