4.3.2 On the Sender when receiving multiple acknowledgment vector payloads from the receiver
The Sender updates the states of the packets acknowledged as Received in the Sender window buffer within the active range. The Sender does not update the circular lower bound of the active range of the Sender window buffer (section 3.1.1.2.1).
The sequence numbers as Received are forwarded to the Sender reliability controller, and the corresponding copy of the original data packet is removed and discarded from the temporary buffer (section 3.1.1.2.4.1).
When multiple acknowledgment vectors are received and processed as described above, and the highest received sequence number is more than the base sequence number coded in the acknowledgment vector, the packet with the base sequence number is declared as lost, and its entry in the circular lower bound of the active range of the Sender window buffer is marked as Lost. The circular lower bound of the active range is advanced until 1 more than the latest Received sequence number (section 3.1.1.2.4.1).
The Sender reliability controller retrieves the buffered packet corresponding to the lost packet, resends it with a new sequence number (but with the same channel sequence number), and re-buffers it onto the temporary buffer (section 3.1.1.2.4.1).
An AckOfAcks packet is sent to the Receiver containing the new value of the circular lower bound of the active range of the Sender windows buffer (section 2.2.1.2.4).