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

## 1. **Uniqueness Invariant