This is an older post of his that lopp shared on X today. It struck me as a great way think through the positive dimensions of bitcoin.
He came up with a ~20 properties, but I'd guess there are more we can find, or at least variations of his properties. I also wonder if some of these properties are aren't seen as "key" as they were almost five years ago. For instance, one of his properties is "race condition avoidance" where he says:
This is another reason why transactions should not have dependencies on the system’s state; it can create race conditions and complexity when state changes during a blockchain reorganization.
IIRC he's come out in support, vaguely, of some of the soft forks proposals which more often than not introduce this kind of introspection (which is a fancy way of saying dependency on the system state). I may misunderstand, but I also think it's healthy for our view of bitcoin to evolve over time.
Anyway, it might be easier for us to answer: which properties are key to your use of bitcoin?