Mientras no hay chequeo, hay información. Hoy en día todo es electrónico, pero antes había otros medios.
Por ejemplo, en los Estados Unidos, a los visitantes solían graparles una parte de su I-94 en su pasaporte al entrar al país. A la salida, el agente de check-in lo retiraría del pasaporte, y todos los I-94 recopilados se enviarían a la agencia correspondiente. Por supuesto, era extremadamente ineficiente (honestamente, no tengo idea de qué procesamiento real se hacía con esos formularios).
Hoy en día, todo es principalmente electrónico. Las aerolíneas proporcionan manifiestos (listas de pasajeros) con más o menos información a las autoridades pertinentes, que intentan hacer coincidirlos con el registro correspondiente (que es directo en la mayoría de los casos, incluso con información muy mínima, pero puede ser más difícil en casos especiales como personas que tienen múltiples pasaportes, posiblemente con diferentes nombres, o nombres extremadamente comunes...).
Los visitantes a los Estados Unidos pueden ver el resultado revisando su propio I-94 en línea después de salir de los Estados Unidos: la salida se (¿debería?) haber sido registrada incluso si nunca conocieron a un agente de CBP en su salida.
Por mucho tiempo hubo una serie de "huecos" en el sistema, por ejemplo:
-
En el Reino Unido, solo las aerolíneas proporcionaban la información (y creo que ni siquiera todas). Las compañías de trenes (Eurostar), ferry y autobuses no lo hacían. Esto ha sido abordado desde entonces.
-
Había un hueco para las personas que salían del Reino Unido a través de Irlanda. Dado que el Reino Unido e Irlanda son parte del Área de Viaje Común (CTA), las salidas a Irlanda no se registraban, y o Irlanda no registraba salidas o no las reportaba al Reino Unido, no recuerdo cuál. Creo que esto también ha sido abordado.
También, cabe mencionar que algunos de los vuelos en el itinerario de tu amigo (FR-DE e IE-UK) son vuelos/viajes internos (Schengen para el primero, CTA para el segundo), y no necesariamente tienen control fronterizo en ninguno de los extremos de todas formas.
Sin embargo, SÍ hay control migratorio de salida fuera de Schengen, por lo que tu amigo casi con seguridad se encontró con un agente fronterizo cuando voló de Alemania a Irlanda. Deberían tener un sello coincidente en su pasaporte. Si no lo tienen, deben conservar evidencia de que realmente salieron del área Schengen en esa fecha (tarjetas de embarque, recibos de hotel en otros países), porque esos sellos son actualmente el único registro de entradas y salidas de Schengen.
EE.UU.-Francia-Alemania-Irlanda-Londres-EE.UU.:
- Salida de EE.UU.: sin chequeo
- Entrada a FR: chequeo
- FR-DE: interno, sin chequeos excepto de identificación
- Salida de DE: chequeo
- Entrada a IE: chequeo
- IE-UK: interno, sin chequeos excepto de identificación
- Salida de UK: sin chequeo
