[spring] Spirit and Letter of the Law (was: Question about SRv6 Insert function)
Ron Bonica <rbonica@juniper.net> Wed, 04 September 2019 18:28 UTC
Return-Path: <rbonica@juniper.net>
X-Original-To: spring@ietfa.amsl.com
Delivered-To: spring@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 4980A120BBE; Wed, 4 Sep 2019 11:28:07 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.7
X-Spam-Level:
X-Spam-Status: No, score=-2.7 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, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=juniper.net
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 7CZsAEpsxewi; Wed, 4 Sep 2019 11:28:05 -0700 (PDT)
Received: from mx0a-00273201.pphosted.com (mx0a-00273201.pphosted.com [208.84.65.16]) (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 163B4120BC5; Wed, 4 Sep 2019 11:28:05 -0700 (PDT)
Received: from pps.filterd (m0108159.ppops.net [127.0.0.1]) by mx0a-00273201.pphosted.com (8.16.0.42/8.16.0.42) with SMTP id x84IOVQb004159; Wed, 4 Sep 2019 11:27:57 -0700
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=juniper.net; h=from : to : cc : subject : date : message-id : content-type : content-transfer-encoding : mime-version; s=PPS1017; bh=NuLltziRAKzKCFot+feaOGfXx7eueKUeT5IrWH64cY8=; b=OTQInfw4DBKB2Bxte1fg7Xmn/fjMvhTOch8qPE6xgcksws5oal9pM1q7dfenHieQeITk 9vVSM9qP7kJoCvNaqhJVgoO3rseKOPcqwlDI89uHlxQtpDaGFNoTkavFhn1VndVfiF3C AO+RmhgzhXzIsYkBkmn/6vJBAfq0HHQQ3pXk2T4DTJ43WdgyhTE+ICbCyKuaVYMWmJ6I j9IDfuQ551Alfd6JlslPJyvAWcIuGXlro+IcEa9WhTHmzT25w6KvO8zHzoVYucFF7rro azkWPmS3KzBx5co7UBjjoQz6P+qc+YdrCEv20oscEQY4wwWqltVJ4RyI6l6N2O+ybL+W Dw==
Received: from nam03-co1-obe.outbound.protection.outlook.com (mail-co1nam03lp2059.outbound.protection.outlook.com [104.47.40.59]) by mx0a-00273201.pphosted.com with ESMTP id 2us7ap474p-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 04 Sep 2019 11:27:56 -0700
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=N9K1X8NI3J6pnBEoqfxcowpofjRsqnjeYMn/BU7X0aG64JFt5PtJhtjcJzKx4ou4DBDjOJljrPAqZ+8yz5TBsd8v3U/Q30+Sl/y5hFcnd+2uAJOBuiCz+w1nIIEvuAayrdloIM+uVDRxjvrvnUB+bCmC5c/CCgPVRjTFKQgyLc3YN63Uxgmv8x18h/olJPe+/5fGZnR1J5VRUfBNkkEW+McNrwoeNIX7D+kGeFdSCwVB1liu5k3R6AbM0E8X4GixIz06F7TyrKfLvxY3cDkuNOtIKvsw6w/gBGzc81cNtt0S25cmCrINTrOPCk3xkF0JpO36qIvVPwkue9K94ujXxQ==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=NuLltziRAKzKCFot+feaOGfXx7eueKUeT5IrWH64cY8=; b=CLmkWA9eYoZqMJ2eOcDdS4/Prikay7DJpdcS0bgJdKnhIkf5+2DmXGNtyqmwS2/RThAbHmvRmUNvqPlatiV2VA+gbt1omd/Iy/DbJVTgBHD8/8CkrOm94bLlkA4jF0AjblUR+Sp04lRpsTjIL8bBevoNtFKd2svNcriwTO+VrCaenSgHTg8I1+g7DbXZnwVElFvJYuVWgE4Y4KlXHq3H6dMchNBe8qOpoGj8R4s7KAhQooZJwsKJNgkJHImfxUYrveVCaPTu+JnsoQs/C5pJqVkySLNWxroRc5G6g6Prr0E0LJ0FRrXMKsUHyQV8bOVnxRdvLrJF0mb14KZYCbMzqg==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=juniper.net; dmarc=pass action=none header.from=juniper.net; dkim=pass header.d=juniper.net; arc=none
Received: from BYAPR05MB5463.namprd05.prod.outlook.com (20.177.185.144) by BYAPR05MB6549.namprd05.prod.outlook.com (20.178.234.75) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2241.12; Wed, 4 Sep 2019 18:27:54 +0000
Received: from BYAPR05MB5463.namprd05.prod.outlook.com ([fe80::f4f2:f284:d49a:890a]) by BYAPR05MB5463.namprd05.prod.outlook.com ([fe80::f4f2:f284:d49a:890a%4]) with mapi id 15.20.2241.014; Wed, 4 Sep 2019 18:27:54 +0000
From: Ron Bonica <rbonica@juniper.net>
To: Ole Troan <otroan@employees.org>, Fernando Gont <fernando@gont.com.ar>
CC: Suresh Krishnan <suresh.krishnan@gmail.com>, "spring@ietf.org" <spring@ietf.org>, "6man@ietf.org" <6man@ietf.org>, draft-voyer-6man-extension-header-insertion <draft-voyer-6man-extension-header-insertion@ietf.org>, draft-ietf-spring-srv6-network-programming <draft-ietf-spring-srv6-network-programming@ietf.org>
Thread-Topic: Spirit and Letter of the Law (was: Question about SRv6 Insert function)
Thread-Index: AdVjS14TVsuRj78sSeu1r8rfsn3VOQ==
Content-Class:
Date: Wed, 04 Sep 2019 18:27:54 +0000
Message-ID: <BYAPR05MB54637FEAE1518F83977D274FAEB80@BYAPR05MB5463.namprd05.prod.outlook.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
msip_labels: MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_Enabled=True; MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_SiteId=bea78b3c-4cdb-4130-854a-1d193232e5f4; MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_Owner=rbonica@juniper.net; MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_SetDate=2019-09-04T18:27:52.5331331Z; MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_Name=Juniper Business Use Only; MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_Application=Microsoft Azure Information Protection; MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_ActionId=2fd718f7-a72e-4cda-af69-639a0b2563ae; MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_Extended_MSFT_Method=Automatic
dlp-product: dlpe-windows
dlp-version: 11.2.0.14
dlp-reaction: no-action
x-originating-ip: [66.129.241.12]
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: 9e048d66-1b26-42dd-79a4-08d731659a49
x-ms-office365-filtering-ht: Tenant
x-microsoft-antispam: BCL:0; PCL:0; RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600166)(711020)(4605104)(1401327)(4618075)(2017052603328)(7193020); SRVR:BYAPR05MB6549;
x-ms-traffictypediagnostic: BYAPR05MB6549:
x-microsoft-antispam-prvs: <BYAPR05MB6549B7EADEBD900252618F8BAEB80@BYAPR05MB6549.namprd05.prod.outlook.com>
x-ms-oob-tlc-oobclassifiers: OLM:6790;
x-forefront-prvs: 0150F3F97D
x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(4636009)(396003)(346002)(136003)(376002)(366004)(39860400002)(13464003)(199004)(189003)(51444003)(476003)(8936002)(71190400001)(66066001)(6116002)(71200400001)(25786009)(81166006)(110136005)(99286004)(53936002)(3846002)(486006)(81156014)(2906002)(7696005)(5660300002)(6436002)(64756008)(305945005)(66476007)(14444005)(66946007)(4326008)(102836004)(66446008)(9686003)(55016002)(26005)(256004)(53546011)(6506007)(52536014)(54906003)(86362001)(33656002)(186003)(14454004)(478600001)(76116006)(316002)(74316002)(8676002)(66556008)(7736002); DIR:OUT; SFP:1102; SCL:1; SRVR:BYAPR05MB6549; H:BYAPR05MB5463.namprd05.prod.outlook.com; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; A:1; MX:1;
received-spf: None (protection.outlook.com: juniper.net does not designate permitted sender hosts)
x-ms-exchange-senderadcheck: 1
x-microsoft-antispam-message-info: KnXwg0tsVtKMoV/WGJhbkb32nEFkuq3sfJWwwW1ITaIbWnIvTU/yOJKtuhvrFQlaB5xb+wxDrKgJnfm0amoujb8qFmqq+YA5nDGx5zX3kEX5WaAh62f1fY/2AkgGnnZrzQ+M4WdQDEnQIywKq9VAsEs2LkB9x6ocGwVVxqPPzjgZ1OeHMpn3Nb+XUGE/dfQrchhVunJdMlfliEqoxjcreQ/hN+C5ERMoYC3Ap/+wkgSOfoZVSdkSkKl+ha01WHWjwUUsvk2pj8y6/CezvKFRZwSf0a5QBhzge/BAW1Mhk44gYssqGAGhL6Uc4+2xViTlqlvNoi6LgXWvHJ1sFAYDvEvzyjlDrTOSdoQ+vHo+XzjjVkl6+V6aX/IWfxqi+JOQ/jOu/8n7r4OvJGjDGL0ZSV1KOCUq21LGL5A5F19kC9s=
x-ms-exchange-transport-forked: True
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-OriginatorOrg: juniper.net
X-MS-Exchange-CrossTenant-Network-Message-Id: 9e048d66-1b26-42dd-79a4-08d731659a49
X-MS-Exchange-CrossTenant-originalarrivaltime: 04 Sep 2019 18:27:54.4539 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: bea78b3c-4cdb-4130-854a-1d193232e5f4
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: A/A6H9f6SiteYPfekoA5eNYSbG3jUZQEDPK5Y8ciVs/vn/czXtVdN/FXPgrGIalTHkIMVkWdz8tQPm2oIfh1hQ==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BYAPR05MB6549
X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.70,1.0.8 definitions=2019-09-04_05:2019-09-04,2019-09-04 signatures=0
X-Proofpoint-Spam-Details: rule=outbound_spam_notspam policy=outbound_spam score=0 malwarescore=0 lowpriorityscore=0 bulkscore=0 mlxscore=0 impostorscore=0 spamscore=0 priorityscore=1501 suspectscore=0 mlxlogscore=999 clxscore=1015 adultscore=0 phishscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-1906280000 definitions=main-1909040183
Archived-At: <https://mailarchive.ietf.org/arch/msg/spring/GNnOambnCovorfVBko8wr9wgjlo>
Subject: [spring] Spirit and Letter of the Law (was: Question about SRv6 Insert function)
X-BeenThere: spring@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Source Packet Routing in NetworkinG \(SPRING\)" <spring.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/spring>, <mailto:spring-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/spring/>
List-Post: <mailto:spring@ietf.org>
List-Help: <mailto:spring-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/spring>, <mailto:spring-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 04 Sep 2019 18:28:08 -0000
Ole, Yes, a deep breath and some introspection are always a good thing. First, I think that we need to make a distinction between the "spirit" and "letter" of the law. Next, we need to make a statement regarding good engineering practice. RFC 8200 mandates some things. For example, In an IPv6 header, the source address must precede the destination address. Any attempt to reverse those two would violate the letter of the law. By contrast, RFC 8200 strongly suggests other things. For example, transit nodes should not insert or delete extension headers. In general, these suggestions should be heeded. But exemptions can be granted, on a case-by-case basis, given that the motivation is strong, the risk is minimal, and there are no viable alternatives. For better or worse, RFC 8200 does not use RFC 2119 language. So it is difficult to distinguish between the spirit and letter of the law. I think that is the genesis of the current debate. Beyond that, we need to make a statement regarding good engineering practice. If a technology violates the spirit of RFC 8200 once, with good reason, that is fine. If it violates the spirit of RFC 8200 twice, we should all start asking questions. If it violates the spirit of RFC 8200 three times, and promises to do so again in the future, we should start to question whether that technology is building on RFC 8200 or trying to redefine it. Ron Juniper Business Use Only -----Original Message----- From: Ole Troan <otroan@employees.org> Sent: Wednesday, September 4, 2019 2:58 AM To: Fernando Gont <fernando@gont.com.ar> Cc: Suresh Krishnan <suresh.krishnan@gmail.com>; Ron Bonica <rbonica@juniper.net>; spring@ietf.org; 6man@ietf.org; draft-voyer-6man-extension-header-insertion <draft-voyer-6man-extension-header-insertion@ietf.org>; draft-ietf-spring-srv6-network-programming <draft-ietf-spring-srv6-network-programming@ietf.org> Subject: Re: Question about SRv6 Insert function [ snip ] I would prefer that we calmed down a bit on the protocol policing. [ snip ]
- [spring] Spirit and Letter of the Law (was: Quest… Ron Bonica
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… li zhenqiang
- Re: [spring] Spirit and Letter of the Law (was: Q… Ron Bonica
- Re: [spring] Spirit and Letter of the Law (was: Q… Ole Troan
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Ole Troan
- Re: [spring] Spirit and Letter of the Law (was: Q… Joel M. Halpern
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Ole Troan
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Tim Chown
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Tom Herbert
- Re: [spring] Spirit and Letter of the Law (was: Q… Enno Rey
- Re: [spring] Spirit and Letter of the Law Nick Hilliard
- Re: [spring] Spirit and Letter of the Law (was: Q… Robert Raszuk
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Philip Homburg
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Robert Raszuk
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Alexander Vainshtein
- [spring] IPv6 EH-insertion (Re: Spirit and Letter… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Mark Smith
- Re: [spring] IPv6 EH-insertion (Re: Spirit and Le… bruno.decraene
- Re: [spring] Spirit and Letter of the Law (was: Q… Ron Bonica
- Re: [spring] Spirit and Letter of the Law (was: Q… Robert Raszuk
- Re: [spring] Spirit and Letter of the Law (was: Q… Tom Herbert
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Robert Raszuk
- Re: [spring] Spirit and Letter of the Law (was: Q… Robert Raszuk
- Re: [spring] Spirit and Letter of the Law (was: Q… Ole Troan
- Re: [spring] Spirit and Letter of the Law (was: Q… Andrew Alston
- Re: [spring] Spirit and Letter of the Law (was: Q… Andrew Alston
- Re: [spring] Spirit and Letter of the Law (was: Q… Tom Herbert
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Ole Troan
- Re: [spring] Spirit and Letter of the Law (was: Q… Ron Bonica
- Re: [spring] Spirit and Letter of the Law - non-t… Alexandre Petrescu
- Re: [spring] Spirit and Letter of the Law - non-t… Robert Raszuk
- Re: [spring] Spirit and Letter of the Law (was: Q… Sander Steffann
- Re: [spring] Spirit and Letter of the Law (was: Q… Ole Troan
- Re: [spring] Spirit and Letter of the Law (was: Q… Sander Steffann
- Re: [spring] Spirit and Letter of the Law (was: Q… Ole Troan
- Re: [spring] Spirit and Letter of the Law (was: Q… Robert Raszuk
- Re: [spring] Spirit and Letter of the Law (was: Q… Sander Steffann
- Re: [spring] Spirit and Letter of the Law (was: Q… Sander Steffann
- Re: [spring] Spirit and Letter of the Law (was: Q… Tom Herbert
- Re: [spring] Spirit and Letter of the Law Nick Hilliard
- Re: [spring] Spirit and Letter of the Law (was: Q… Sander Steffann
- Re: [spring] Spirit and Letter of the Law (was: Q… Robert Raszuk
- Re: [spring] Spirit and Letter of the Law (was: Q… Tom Herbert
- Re: [spring] Spirit and Letter of the Law (was: Q… Mark Smith
- Re: [spring] Spirit and Letter of the Law (was: Q… Ron Bonica
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Fernando Gont
- Re: [spring] Spirit and Letter of the Law (was: Q… Sander Steffann
- Re: [spring] Spirit and Letter of the Law - non-t… Zafar Ali (zali)
- Re: [spring] Spirit and Letter of the Law - non-t… Tom Herbert
- Re: [spring] IPv6 EH-insertion (Re: Spirit and Le… Michael Richardson
- Re: [spring] IPv6 EH-insertion (Re: Spirit and Le… Chengli (Cheng Li)
- Re: [spring] IPv6 EH-insertion (Re: Spirit and Le… Fernando Gont
- Re: [spring] IPv6 EH-insertion (Re: Spirit and Le… Mark Smith
- Re: [spring] Spirit and Letter of the Law (was: Q… li zhenqiang
- Re: [spring] IPv6 EH-insertion (Re: Spirit and Le… Fernando Gont