>Mastadon has distributed identity, and localized management of moderation. Is this sufficient that we should deem it "not a social network"? I think not.

Good point. Something created for the explicit purpose of competing with (in the sense of taking users away from) a social network should be called a social network.