When the support of token reuse is added later in ticket #2287, there will be a new UNFORMATTED -> UNINITIALIZED transition for reformatting an existing token. It will be more intuitive to call the UNINITIALIZED state FORMATTED instead.

In the code the constant name can be replaced directly without issue. In the UI the state label can be modified to say "Formatted (uninitialized)" to help people that are familiar with the old TPS. In the database, assuming there is no migration required, the value can be replaced directly in the code. If a migration is required, the value can either be kept unchanged, or a migration script can be written to replace the value.