Sí, se envuelve. Puede leerlo en Wikipedia o en RFC1323 , que muestra cómo protegerse contra los números de secuencia envueltos.
Déjame citar:
Las marcas de tiempo TCP se utilizan en un algoritmo conocido como números de protección contra secuencia envuelta, o PAWS (consulte RFC 1323 para más detalles). PAWS se utiliza cuando la ventana de recepción cruza el límite envolvente del número de secuencia. En el caso de que un paquete se retransmitiera potencialmente, responde a la pregunta: "¿Es este número de secuencia en los primeros 4 GB o el segundo?" Y la marca de tiempo se utiliza para romper el empate.
Y:
PAWS utiliza la misma opción de marcas de tiempo TCP que el mecanismo RTTM descrito anteriormente, y supone que cada segmento TCP recibido (incluidos los segmentos de datos y ACK) contiene una marca de tiempo SEG.TSval cuyos valores son monótonos y no disminuyen en el tiempo. La idea básica es que un segmento se puede descartar como un duplicado antiguo si se recibe con una marca de tiempo SEG.TSval menor que alguna marca de tiempo recibida recientemente en esta conexión.
Tanto en el mecanismo PAWS como en el RTTM, las "marcas de tiempo" son enteros sin signo de 32 bits en un espacio modular de 32 bits. Por lo tanto, "menor que" se define de la misma manera que para los números de secuencia TCP, y se aplican las mismas técnicas de implementación. Si syt son valores de marca de tiempo, s <t si 0 <(t - s) <2 ** 31, calculado en aritmética de 32 bits sin signo.