target = "https://www.rfc-editor.org/rfc/rfc9001#section-5.5"

[[TODO]]
quote = '''
Once an endpoint successfully receives a packet with a given packet
number, it MUST discard all packets in the same packet number space
with higher packet numbers if they cannot be successfully unprotected
with either the same key, or -- if there is a key update -- a
subsequent packet protection key; see Section 6.
'''
tracking-issue = "318"
feature = "Key update"

[[TODO]]
quote = '''
Similarly, a packet that
appears to trigger a key update, but cannot be unprotected
successfully MUST be discarded.
'''
tracking-issue = "318"
feature = "Key update"