Here are three invariants for a tokenizer special-token table:

## 1. Uniqueness Invariant
