A GatorLink can be thought of as an ordered sextuple:

1. UFID of type identifier
2. username of type identifier
3. u-expiry (username expiration) of type datetime
4. password of type opaque-token
5. p-expiry (password expiration) of type datetime
6. disabled (manually disabled) of type Boolean

Conceivably "password hint" may be an element of the GatorLink.

If two states of an account do not differ in one of the elements of the sextuple, they are not distinct "GatorLink states".

The meaningful GatorLink states seem to include:

state	UFID	username	u-expiry	password	p-expiry	disabled
forbidden	(null)	invalid	(null)	(null)	(null)	(N/A)
reserved	valid	valid	future	(null)	(null)	F
available	valid	valid	past	(null)	(null)	F
active	valid	valid	(null)	valid	future	F
inactive	valid	valid	(null)	valid	past	F
expiring	valid	valid	future	valid	(any)	F
expired	valid	valid	past	valid	(any)	F
disabled	(any)	valid	(any)	(any)	(any)	T

In this scheme, "deleted" is not a state, it is the absence of such a sextuple and hence is not distinguishable from "never existed".