Re: [quicwg/base-drafts] Invariant independent (#3684)

Martin Thomson <> Sun, 24 May 2020 10:13 UTC

Return-Path: <>
Received: from localhost (localhost []) by (Postfix) with ESMTP id B95B53A011F for <>; Sun, 24 May 2020 03:13:05 -0700 (PDT)
X-Virus-Scanned: amavisd-new at
X-Spam-Flag: NO
X-Spam-Score: -1.555
X-Spam-Status: No, score=-1.555 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_HIGH=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_IMAGE_ONLY_20=1.546, HTML_MESSAGE=0.001, MAILING_LIST_MULTI=-1, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: (amavisd-new); dkim=pass (1024-bit key)
Received: from ([]) by localhost ( []) (amavisd-new, port 10024) with ESMTP id r_SXti9CmM6Q for <>; Sun, 24 May 2020 03:13:04 -0700 (PDT)
Received: from ( []) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by (Postfix) with ESMTPS id C09A83A00D8 for <>; Sun, 24 May 2020 03:13:03 -0700 (PDT)
Received: from ( []) by (Postfix) with ESMTP id 55A532612C8 for <>; Sun, 24 May 2020 03:13:03 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;; s=pf2014; t=1590315183; bh=U9Xc9o+9JphAsahzFd028rQReqrvvaKJoy5Hy+IzeTo=; h=Date:From:Reply-To:To:Cc:In-Reply-To:References:Subject:List-ID: List-Archive:List-Post:List-Unsubscribe:From; b=WSltuX9skd/LyzrC/DxeWNY2P3e3nFrzbnKmjZtwZBgUFQhH/oCn1Rr4oK560324b Eb/VS0C07FGq0QbvQU0Z6q43NsZn7i6zD34TSg4+tmqCPDLgdqTtehh+u0B4gfDV6l 72v7d1MDt5HMLp7IG8U4k+y+VkYPHZVYgp5mIqV4=
Date: Sun, 24 May 2020 03:13:03 -0700
From: Martin Thomson <>
Reply-To: quicwg/base-drafts <>
To: quicwg/base-drafts <>
Cc: Subscribed <>
Message-ID: <quicwg/base-drafts/pull/3684/>
In-Reply-To: <quicwg/base-drafts/pull/>
References: <quicwg/base-drafts/pull/>
Subject: Re: [quicwg/base-drafts] Invariant independent (#3684)
Mime-Version: 1.0
Content-Type: multipart/alternative; boundary="--==_mimepart_5eca48af106c3_6b4f3f97a26cd96811288a8"; charset="UTF-8"
Content-Transfer-Encoding: 7bit
Precedence: list
X-GitHub-Sender: martinthomson
X-GitHub-Recipient: quic-issues
X-GitHub-Reason: subscribed
X-Auto-Response-Suppress: All
Archived-At: <>
X-Mailman-Version: 2.1.29
List-Id: Notification list for GitHub issues related to the QUIC WG <>
List-Unsubscribe: <>, <>
List-Archive: <>
List-Post: <>
List-Help: <>
List-Subscribe: <>, <>
X-List-Received-Date: Sun, 24 May 2020 10:13:06 -0000

> Technically, we could reference this draft for the notation

Yes, but I think that - at least in principle - each should be as independent of the other as possible.  Sure, -transport is a concrete instantiation of -invariants, but you can implement it without -invariants.  Similarly, -invariants exists to support -transport, but it describes something bigger than it.  So while we might have some pointers, you can read each without the other, which is nice.

You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub: