A solution is technical if it is precise enough to be goodharted, and social if it's so cryptonormatively imprecise that it can be used to coalitionally extract value