No creo que la ley REAL ID requiera que los estados registren el estado de ciudadanía en la licencia de conducir. El estado debe verificar la ciudadanía de uno (o, para un extranjero, el estado de inmigración de uno) durante la solicitud, pero una vez que se verifica, un extranjero con (por ejemplo) residencia permanente en los EE. UU. Puede recibir una licencia del mismo tipo que una emitida a un ciudadano. Un extranjero con algún tipo de permiso de residencia temporal (por ejemplo, admitido con una visa de no inmigrante, o otorgado un TPS) probablemente recibirá una licencia marcada de alguna manera (o, al menos, tendrá una fecha de vencimiento bastante corta , según el período actual de estadía autorizada del solicitante).
Lo que está buscando es una licencia de conducir mejorada . En línea con la tendencia general de hacer que los estados desempeñen el papel de agentes del gobierno federal, el gobierno de un estado puede hacer arreglos para incorporar la información de ciudadanía de uno en el DL, y las autoridades federales (CBP, etc.) aceptarán una licencia “mejorada” como Una prueba de ciudadanía. Curiosamente, la página de DHS en realidad no enumera los estados que emiten tales licencias; pero el artículo de Wikipedia (Licencia de conducir mejorada) solo enumera varios estados a lo largo de la frontera norte de los EE. UU. como emisores de EDL. Entonces, aparentemente, Florida no está configurada para EDL (¿todavía?).