From 54c61ece422b1db4408f3c3dd85be9cf95f0f86a Mon Sep 17 00:00:00 2001 From: Martin Thomson Date: Wed, 1 Jul 2020 14:51:04 +1000 Subject: [PATCH 1/2] The minimum-information guarantee in invariants This is a reduction of #3787 to the important (and accurate) piece. Closes #3773. Closes #3774. Closes #3787. --- draft-ietf-quic-invariants.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/draft-ietf-quic-invariants.md b/draft-ietf-quic-invariants.md index 39f99d7ff2..af9d81c623 100644 --- a/draft-ietf-quic-invariants.md +++ b/draft-ietf-quic-invariants.md @@ -88,9 +88,11 @@ IP-version-independent. The primary goal of this document is to ensure that it is possible to deploy new versions of QUIC. By documenting the properties that can't change, this -document aims to preserve the ability to change any other aspect of the -protocol. Thus, unless specifically described in this document, any aspect of -the protocol can change between different versions. +document aims to preserve the ability for QUIC endpoints to negotiate changes to +any other aspect of the protocol. As a consequence, this also guarantees a +minimal amount of information that is made available to entities other than +endpoints. Unless specifically described in this document, any aspect of the +protocol can change between different versions. {{bad-assumptions}} is a non-exhaustive list of some incorrect assumptions that might be made based on knowledge of QUIC version 1; these do not apply to every From fb90c6e9bac22fe9286112530ef2871328fe383f Mon Sep 17 00:00:00 2001 From: Martin Thomson Date: Thu, 2 Jul 2020 13:43:38 +1000 Subject: [PATCH 2/2] prohibited Co-authored-by: Jana Iyengar --- draft-ietf-quic-invariants.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/draft-ietf-quic-invariants.md b/draft-ietf-quic-invariants.md index af9d81c623..665e992010 100644 --- a/draft-ietf-quic-invariants.md +++ b/draft-ietf-quic-invariants.md @@ -91,7 +91,7 @@ versions of QUIC. By documenting the properties that can't change, this document aims to preserve the ability for QUIC endpoints to negotiate changes to any other aspect of the protocol. As a consequence, this also guarantees a minimal amount of information that is made available to entities other than -endpoints. Unless specifically described in this document, any aspect of the +endpoints. Unless specifically prohibited in this document, any aspect of the protocol can change between different versions. {{bad-assumptions}} is a non-exhaustive list of some incorrect assumptions that