Documentation

A response travelling from receiver back to sender. v1 models the cumulative acknowledgement only: Ack n confirms that every frame with sequence number <= n has been contiguously received.

Monarch's wire type NetRxResponse also carries terminal Reject/Closed variants; those sit outside the reliability algebra and are modelled later, when we add shutdown.