Non-reusable number space

[larseggert]

12.3. Packet Numbers

The packet number is an integer in the range 0 to 2^62-1.

It would save a bit of wondering until later if this was described as a
non-reusable number space

[martinthomson]

I think that this text is sufficient:

A QUIC endpoint MUST NOT reuse a packet number within the same packet number space in one connection.

It's not at the top of that section, but it isn't the most important thing to know either.

[LPardue]

The proposed resolution was to close to with action, which was signalled to the appropriate review channel.

Hearing no pushback, I'm closing this.