Re: Call for Adoption: Invariants

Roberto Peon <fenix@fb.com> Mon, 05 February 2018 19:05 UTC

Return-Path: <prvs=5574192a57=fenix@fb.com>
X-Original-To: quic@ietfa.amsl.com
Delivered-To: quic@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 27E2912778E for <quic@ietfa.amsl.com>; Mon, 5 Feb 2018 11:05:26 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.721
X-Spam-Level:
X-Spam-Status: No, score=-2.721 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=fb.com header.b=UkPMEjgy; dkim=pass (1024-bit key) header.d=fb.onmicrosoft.com header.b=fXvPAIMZ
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id fY3YCGu3bxrf for <quic@ietfa.amsl.com>; Mon, 5 Feb 2018 11:05:24 -0800 (PST)
Received: from mx0a-00082601.pphosted.com (mx0b-00082601.pphosted.com [67.231.153.30]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 0CA1C1275AB for <quic@ietf.org>; Mon, 5 Feb 2018 11:05:23 -0800 (PST)
Received: from pps.filterd (m0001303.ppops.net [127.0.0.1]) by m0001303.ppops.net (8.16.0.22/8.16.0.22) with SMTP id w15IqIm5019669; Mon, 5 Feb 2018 11:05:18 -0800
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fb.com; h=from : to : cc : subject : date : message-id : references : in-reply-to : content-type : content-id : content-transfer-encoding : mime-version; s=facebook; bh=bYoEGG/+voOgSPaHwjNYJB9PKC7iGByY0yBM5duCPP8=; b=UkPMEjgylO4SVXU+2CuBFyDEyjnRN5lL8f6/55Y2zt95YjH4C/pUL6C/ntndD9bfw7GT 9Zorwi6JiF9tpBtuqU9TmMqgdg0xEGS/p6G/keZ0Th8rteVeCPzpduD06dj+SgapgHXw J4jsQdJYH4flrfQuiOYYJYYjS9B8QpA/6EU=
Received: from mail.thefacebook.com ([199.201.64.23]) by m0001303.ppops.net with ESMTP id 2fxuwcrawe-3 (version=TLSv1 cipher=ECDHE-RSA-AES256-SHA bits=256 verify=NOT); Mon, 05 Feb 2018 11:05:18 -0800
Received: from NAM03-BY2-obe.outbound.protection.outlook.com (192.168.54.28) by o365-in.thefacebook.com (192.168.16.14) with Microsoft SMTP Server (TLS) id 14.3.361.1; Mon, 5 Feb 2018 11:05:17 -0800
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fb.onmicrosoft.com; s=selector1-fb-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=bYoEGG/+voOgSPaHwjNYJB9PKC7iGByY0yBM5duCPP8=; b=fXvPAIMZ3SqdREZhEKnk4fl2SxmJORwp8mBA4+kWMv2HDfL+V49LaM0UJC3UbIxZHjTMycaQaLBth4Wjyghhewhp+3K1qw2UiuOsZ8g2J0F9G/1fuxnSYX7YpgOkWd4FjAQJEcRXyqwaN/WcilkvIB8fr/AsNpp5v/osUSlkC/4=
Received: from BY2PR15MB0775.namprd15.prod.outlook.com (10.164.171.11) by BY2PR15MB0485.namprd15.prod.outlook.com (10.163.110.147) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.464.11; Mon, 5 Feb 2018 19:05:15 +0000
Received: from BY2PR15MB0775.namprd15.prod.outlook.com ([10.164.171.11]) by BY2PR15MB0775.namprd15.prod.outlook.com ([10.164.171.11]) with mapi id 15.20.0464.015; Mon, 5 Feb 2018 19:05:15 +0000
From: Roberto Peon <fenix@fb.com>
To: Mike Bishop <mbishop@evequefou.be>, "Brian Trammell (IETF)" <ietf@trammell.ch>, Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com>
CC: Lars Eggert <lars@eggert.org>, Mark Nottingham <mnot@mnot.net>, QUIC WG <quic@ietf.org>
Subject: Re: Call for Adoption: Invariants
Thread-Topic: Call for Adoption: Invariants
Thread-Index: AQHTnke71VfTOLESs0C03kkd0o9QVKOVb7kAgAALu4CAAK9GgP//exsA
Date: Mon, 05 Feb 2018 19:05:14 +0000
Message-ID: <E37F2206-8871-4BD2-AB1B-03E5E8AD9F53@fb.com>
References: <C35C3AB6-F0FC-4D83-9C97-DD0B605A863F@mnot.net> <DB6PR10MB17667AAB19D4A9288FD5BAF3ACFE0@DB6PR10MB1766.EURPRD10.PROD.OUTLOOK.COM> <FDFA0988-1FB4-4AFC-8958-1A6B16068FE5@trammell.ch> <MWHPR08MB2432F1CB1FBAFACD611D3913DAFE0@MWHPR08MB2432.namprd08.prod.outlook.com>
In-Reply-To: <MWHPR08MB2432F1CB1FBAFACD611D3913DAFE0@MWHPR08MB2432.namprd08.prod.outlook.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-originating-ip: [2620:10d:c090:200::6:a15b]
x-ms-publictraffictype: Email
x-microsoft-exchange-diagnostics: 1; BY2PR15MB0485; 7:EeusO+5G3Dk4F/IpmUhjqJ69vvnR2CHbwsuEpUZWRLbhkoy4NaZwcj4N2N7J5OrBwMlurjsKMIfgubk7GZigBO3iZMlhr/MujUHorgLEjiGA04bhCDMczLMkFGnJthr6mBPaal49DgkrbT3mVWgkkcN4buAwzoODrMArOVtPAxzSktsC2raVeVRMGCiiFSvABy7KBfxWYe44wZeOB4w/o2ouE1NbOFdMKb49W/HK7sYsfs74u10Wb7Z7SO8Pq19H; 20:TLmiIYh1UJIUBUAvLO8H+IYQWZFIW1D3DroktZhhxeuOQf6zG/WEqcS1VRaRl8lbA+gRzrpCObqJzoYP2x9kgv7bRfaZ+GMQdaDIR8Ij1/JnAw6CwdlSa33TIYSMoKNtqCEWT57XsWGmcfU9tVICJgp4unXQXBXOzwOEDH/IyOI=
x-ms-exchange-antispam-srfa-diagnostics: SSOS;
x-ms-office365-filtering-correlation-id: f3f1464a-3252-4d23-daf5-08d56ccb63cc
x-microsoft-antispam: UriScan:; BCL:0; PCL:0; RULEID:(7020095)(4652020)(4534165)(4627221)(201703031133081)(201702281549075)(5600026)(4604075)(3008032)(2017052603307)(7153060)(7193020); SRVR:BY2PR15MB0485;
x-ms-traffictypediagnostic: BY2PR15MB0485:
x-microsoft-antispam-prvs: <BY2PR15MB04857C13EC5CC2F31E9858B1CDFE0@BY2PR15MB0485.namprd15.prod.outlook.com>
x-exchange-antispam-report-test: UriScan:(10436049006162)(85827821059158);
x-exchange-antispam-report-cfa-test: BCL:0; PCL:0; RULEID:(6040501)(2401047)(8121501046)(5005006)(10201501046)(93006095)(93001095)(3002001)(3231101)(11241501184)(2400082)(944501161)(6041288)(20161123558120)(20161123562045)(20161123560045)(20161123564045)(201703131423095)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(6072148)(201708071742011); SRVR:BY2PR15MB0485; BCL:0; PCL:0; RULEID:; SRVR:BY2PR15MB0485;
x-forefront-prvs: 0574D4712B
x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(39860400002)(39380400002)(396003)(346002)(376002)(366004)(13464003)(199004)(189003)(8676002)(7736002)(36756003)(76176011)(2950100002)(305945005)(4326008)(6436002)(83716003)(105586002)(6306002)(6116002)(97736004)(77096007)(3280700002)(102836004)(33656002)(2906002)(3660700001)(6512007)(82746002)(25786009)(99286004)(2900100001)(86362001)(966005)(575784001)(478600001)(6486002)(14454004)(53936002)(106356001)(186003)(53546011)(8936002)(110136005)(6506007)(5660300001)(39060400002)(316002)(68736007)(81166006)(81156014)(229853002)(93886005)(54906003)(6246003)(42262002); DIR:OUT; SFP:1102; SCL:1; SRVR:BY2PR15MB0485; H:BY2PR15MB0775.namprd15.prod.outlook.com; FPR:; SPF:None; PTR:InfoNoRecords; A:1; MX:1; LANG:en;
received-spf: None (protection.outlook.com: fb.com does not designate permitted sender hosts)
x-microsoft-antispam-message-info: ZTttiGvH34z9M5oUWbSrYbpkld66S+xCKI+wcjoY0A5h+MVn5727u+q1FSMFxeNB8h1Dg++9L7zzxpgRtNRx6Q==
spamdiagnosticoutput: 1:99
spamdiagnosticmetadata: NSPM
Content-Type: text/plain; charset="utf-8"
Content-ID: <D3D5788AC6AB834989BA7D7ED5865F24@namprd15.prod.outlook.com>
Content-Transfer-Encoding: base64
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-Network-Message-Id: f3f1464a-3252-4d23-daf5-08d56ccb63cc
X-MS-Exchange-CrossTenant-originalarrivaltime: 05 Feb 2018 19:05:14.9136 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 8ae927fe-1255-47a7-a2af-5f3a069daaa2
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BY2PR15MB0485
X-OriginatorOrg: fb.com
X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:, , definitions=2018-02-05_04:, , signatures=0
X-Proofpoint-Spam-Reason: safe
X-FB-Internal: Safe
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/vyFUvHUJgcqUTSk6U0aECKsJXd8>
X-BeenThere: quic@ietf.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: Main mailing list of the IETF QUIC working group <quic.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/quic>, <mailto:quic-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/quic/>
List-Post: <mailto:quic@ietf.org>
List-Help: <mailto:quic-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/quic>, <mailto:quic-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 05 Feb 2018 19:05:26 -0000

Supported.
-=R

On 2/5/18, 11:01 AM, "QUIC on behalf of Mike Bishop" <quic-bounces@ietf.org on behalf of mbishop@evequefou.be> wrote:

    I support adoption.  The way to change the invariants will be to mint a new protocol, and not claim that your new protocol is a version of QUIC.  If it happens to be startlingly similar, all well and good.
    
    
    
    -----Original Message-----
    
    From: QUIC [mailto:quic-bounces@ietf.org] On Behalf Of Brian Trammell (IETF)
    
    Sent: Monday, February 5, 2018 12:34 AM
    
    To: Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com>
    
    Cc: Lars Eggert <lars@eggert.org>; Mark Nottingham <mnot@mnot.net>; QUIC WG <quic@ietf.org>
    
    Subject: Re: Call for Adoption: Invariants
    
    
    
    Hi, all,
    
    
    
    I support adoption of the invariants draft.
    
    
    
    > On 5 Feb 2018, at 08:51, Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com> wrote:
    
    > 
    
    > Only concern is when it takes effect since it likely needs adjustments.
    
    
    
    I'd presume that invariants is published simultaneously with the version 1 spec.
    
    
    
    > And perhaps a procedure to handle invariant changes since everything changes.
    
    
    
    Noted, though the point of declaring something an invariant is to say "the meaning of this part of the wire image, expressed as a bit offset, will never change". You can add constraints to the invariants, but if you think you might remove a constraint, then it's not an invariant by definition.
    
    
    
    Cheers,
    
    
    
    Brian
    
    
    
    > From: QUIC <quic-bounces@ietf.org> on behalf of Mark Nottingham <mnot@mnot.net>
    
    > Sent: Monday, February 5, 2018 7:07:45 AM
    
    > To: QUIC WG
    
    > Cc: Lars Eggert
    
    > Subject: Call for Adoption: Invariants
    
    > 
    
    > At the Melbourne meeting, there was strong support for adopting Martin's invariants draft:
    
    > 
    
    > https://urldefense.proofpoint.com/v2/url?u=https-3A__tools.ietf.org_html_draft-2Dthomson-2Dquic-2Dinvariants-2D00&d=DwIGaQ&c=5VD0RTtNlTh3ycd41b3MUw&r=C0sUo-LFNBaYfyoaCsf6TA&m=n2lIH7zPwu1fqpBUDcWUjVP95HAbaY7C09E0GkdeyCw&s=c3G4obrjxpXIoksS1cIl2limGbhBHXDkvvv3znFlpH8&e=
    
    > 
    
    > Any objections / concerns about doing so? Unless we hear otherwise, we'll adopt at the end of the week.
    
    > 
    
    > Cheers,
    
    > 
    
    > --
    
    > Mark Nottingham   https://urldefense.proofpoint.com/v2/url?u=https-3A__www.mnot.net_&d=DwIGaQ&c=5VD0RTtNlTh3ycd41b3MUw&r=C0sUo-LFNBaYfyoaCsf6TA&m=n2lIH7zPwu1fqpBUDcWUjVP95HAbaY7C09E0GkdeyCw&s=gYxNCWYpVzWg2A4bb8Dzq9r4M7EtUPpc8QcUpMnYyqI&e=