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

---

**1. Unique Token ID Invariant**
