Primary question
What remains true across the whole class
The strongest candidate for governing logic is usually the characteristic that remains stable across all credible members of the class while also forcing the sharpest exclusions. This is an important combination. Many similarities remain stable without actually doing enough classificatory work. Color, size range, or common market familiarity may recur across many members, but they often do not force meaningful exclusions. A governing logic has to do more than recur. It has to sort. It has to make some things clearly belong and others clearly fall away.
This is why recurring application, recurring environment, recurring object type, and recurring trait should not be treated as interchangeable evidence. One may provide the stronger sorting power in one concept, while another provides only background context. The concept becomes clearer when the strongest sorting characteristic is placed first and the others are recast as scope notes, side conditions, or related concepts instead of competing definitions.