I'm not sure about "fixed" maybe "maximum"?
Finite might be better
Immutable verifiable pseudonymous and divisible too!
I think some of these can be assumed from the rest of words in part:
  • a well functioning ledger is immutable and verifiable
  • permissionless implies some degree of anonymity