Re: [netmod] [Technical Errata Reported] RFC7950 (6031)

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Fri, 27 March 2020 16:13 UTC

Return-Path: <J.Schoenwaelder@jacobs-university.de>
X-Original-To: netmod@ietfa.amsl.com
Delivered-To: netmod@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 32EEB3A0F3D for <netmod@ietfa.amsl.com>; Fri, 27 Mar 2020 09:13:41 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.699
X-Spam-Level:
X-Spam-Status: No, score=-1.699 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_INVALID=0.1, DKIM_SIGNED=0.1, MSGID_FROM_MTA_HEADER=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=no autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=fail (1024-bit key) reason="fail (body has been altered)" header.d=jacobsuniversity.onmicrosoft.com
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 Jm3rQySidX-Y for <netmod@ietfa.amsl.com>; Fri, 27 Mar 2020 09:13:38 -0700 (PDT)
Received: from EUR05-AM6-obe.outbound.protection.outlook.com (mail-am6eur05on20614.outbound.protection.outlook.com [IPv6:2a01:111:f400:7e1b::614]) (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 EFB423A0F1E for <netmod@ietf.org>; Fri, 27 Mar 2020 09:13:28 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=dADn/ilYj9d44LTW2C2gGlqd2kGTspw2NXJrZeBSqrJl/Vo/C21g7ly7lyBBv/p3/ztHD9+h9e8pvskqTyTNY0WHPCPHVMdOYc98kkonoDM3xDF3u7U5e1CpIldNmT/3a6DnIFaayRM/wPtMWASEPdVbHEdn25o3rSp1rjYlDi++sJ6SrM4wUNSlxEW3CEVOrKnX+ED2TrmdQCfHv8ht2DxDEUJ4nPJ/fvbIzC5VtVa6EWo40zuvMmFvrzdox7O32EVdR3InAeOeabTCok1e3Lkz4LmOikRzIIPi9kiynflC2oQJAktpr4M9MUTkFQ2YfLlsa1nw8EbsRNWMvfNoZw==
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=nqkSurOIogW0N8DXJR7Z/MlXYdbbBybNFdDpfK2pFTI=; b=Bu8Wxy6iaqx/cQ0z8qFg/OzPi4qg+rbjg43wc0kbQZKRT6eusjXv8wniopQ/9M26c8JP83hOAOlkR8WnuOVKT0O3ZCxfKoNc/ptFQuX7/WR7Lxq2gKenui+Tc0lk5QWcEhtBZaXzvfFaDkrFX9/x8EdnQIpVGsOI+weyYMTzaG19gB+0HEp98yY3UGmUduSeQlF/+K7GGuttfZrcxXGUJQHIyEtiLN87kEZlEdzvsL6jDzA8Z1rtpuaRRhW10KA9ULK1ykvHC8M+tvjJxlNhp/YfCQhfBNW9W7dmxgYpISVqjsusbuWJEP+r6ClEv9yEl0bYEZvka3+/MHiG3a0u/Q==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=jacobs-university.de; dmarc=pass action=none header.from=jacobs-university.de; dkim=pass header.d=jacobs-university.de; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jacobsuniversity.onmicrosoft.com; s=selector2-jacobsuniversity-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=nqkSurOIogW0N8DXJR7Z/MlXYdbbBybNFdDpfK2pFTI=; b=FUB3XSApYqOelecMNAqK68o/y9sX5ZtFNCrtmLnoaoc/PuSt8pPw+x2YGCIeHnOyV14SwN0fLaMCaVrZnKWdnUM4If70+u87gE3Tw1xB7h1SLcDRR0TgZ32BBEbrc60512KpH+tYxanKEI8BpEl0F78klzgaV20nfydJSUCYsP0=
Authentication-Results: spf=none (sender IP is ) smtp.mailfrom=J.Schoenwaelder@jacobs-university.de;
Received: from HE1P190MB0315.EURP190.PROD.OUTLOOK.COM (10.160.48.146) by HE1P190MB0314.EURP190.PROD.OUTLOOK.COM (10.160.71.13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2856.19; Fri, 27 Mar 2020 16:13:25 +0000
Received: from HE1P190MB0315.EURP190.PROD.OUTLOOK.COM ([fe80::2541:1a1b:124b:9881]) by HE1P190MB0315.EURP190.PROD.OUTLOOK.COM ([fe80::2541:1a1b:124b:9881%7]) with mapi id 15.20.2835.025; Fri, 27 Mar 2020 16:13:25 +0000
Date: Fri, 27 Mar 2020 17:13:18 +0100
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: Martin =?utf-8?Q?Bj=C3=B6rklund?= <mbj+ietf@4668.se>
Cc: rfc-editor@rfc-editor.org, ibagdona@gmail.com, netmod@ietf.org, warren@kumari.net
Message-ID: <20200327161318.ykrx2s36bhmaglxq@anna.jacobs.jacobs-university.de>
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Mail-Followup-To: Martin =?utf-8?Q?Bj=C3=B6rklund?= <mbj+ietf@4668.se>, rfc-editor@rfc-editor.org, ibagdona@gmail.com, netmod@ietf.org, warren@kumari.net
References: <20200327101812.51904F40712@rfc-editor.org> <20200327151743.xwzncq4osj26tzec@anna.jacobs.jacobs-university.de> <20200327.163544.1954043640939771631.id@4668.se>
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <20200327.163544.1954043640939771631.id@4668.se>
X-ClientProxiedBy: AM4PR05CA0025.eurprd05.prod.outlook.com (2603:10a6:205::38) To HE1P190MB0315.EURP190.PROD.OUTLOOK.COM (2603:10a6:7:5f::18)
MIME-Version: 1.0
X-MS-Exchange-MessageSentRepresentingType: 1
Received: from localhost (2001:638:709:5::7) by AM4PR05CA0025.eurprd05.prod.outlook.com (2603:10a6:205::38) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2856.20 via Frontend Transport; Fri, 27 Mar 2020 16:13:25 +0000
X-Originating-IP: [2001:638:709:5::7]
X-MS-PublicTrafficType: Email
X-MS-Office365-Filtering-Correlation-Id: 2954892a-18eb-4ae3-d24b-08d7d269c75f
X-MS-TrafficTypeDiagnostic: HE1P190MB0314:
X-MS-Exchange-Transport-Forked: True
X-Microsoft-Antispam-PRVS: <HE1P190MB031419CBFC2A7AB38C995309DECC0@HE1P190MB0314.EURP190.PROD.OUTLOOK.COM>
X-MS-Oob-TLC-OOBClassifiers: OLM:9508;
X-Forefront-PRVS: 0355F3A3AE
X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:HE1P190MB0315.EURP190.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFTY:; SFS:(10009020)(346002)(396003)(39850400004)(136003)(376002)(366004)(478600001)(8676002)(86362001)(1076003)(81156014)(4326008)(16526019)(8936002)(186003)(5660300002)(66946007)(66476007)(66556008)(2906002)(786003)(316002)(81166006)(6496006)(6666004)(52116002)(6486002)(3450700001); DIR:OUT; SFP:1101;
Received-SPF: None (protection.outlook.com: jacobs-university.de does not designate permitted sender hosts)
X-MS-Exchange-SenderADCheck: 1
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: GW1w+NplKr2ubRs6MWmPbvldewF8Ax+JfkFnIAB0YXs2ZhQ8BHJ8ou59pgzwcBtyaL7ZrixMG0lRXouEixRQBBewvGnISMhLMAqe7mWGOXRTf5wkzQLk8CDgdE5E8ytPqFKHptoNhHfblQQdm349zfVEfU5En0238lReajP8wBzLZYOti4ziHbYrbpd0lGw2T1bluipqJpFbf2F7Rn/fxl6FmgrtdCrEqu5evUdd4wsQcne+FhKIDr8mhGH4HAQfw27oqsX+CtLwlEhRWApqgKhtWyV1QQ9xJHrh0B8pM/QGIBJro9AjsiNiLXOFtRbkCvvTPWG4mtjbgbs88RDWhurTYK/DYWgpX8gxHkP8aMeh6ajLBFlOpqosudnFRL6dev+w+idDcI/OhHr/mmuKHm9K70/1S4LE9PJpDAvC4JwbWzdpJMitmrF0bKQ+/xFqzSV+RLw3bjvl7CMHTMRZ/n05JiA87Ho/d1rduo+FCOwt3mD35crbsUtXmENB3N9X2Mvw6iCWdTYy/i8AZfIvRw==
X-MS-Exchange-AntiSpam-MessageData: x97EYIga+2AdQc1yNoIja770bxtvohJ77PRQVfG7id8PiaBJfwoFJcn1pkqaHofHSKPG+PpdSDJjTIw5CcHDBnuRT+zWaM/j/ea722lP4DCsI92g/W1OjBxXck9lbEdqx0uQCXtfVr8w5/N6XorohMiNZdAro+yLNLBfOkL/qDY=
X-OriginatorOrg: jacobs-university.de
X-MS-Exchange-CrossTenant-Network-Message-Id: 2954892a-18eb-4ae3-d24b-08d7d269c75f
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 27 Mar 2020 16:13:25.6488 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: f78e973e-5c0b-4ab8-bbd7-9887c95a8ebd
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: Y/m6ARtd8E4ql+PUR/3eba+R/9KrB2xlHd9G2jHLM+oRgrec01O0uEZHzw5X+aavp65Gy2vHVBrKQoy3cMaGuBMbHaiz0/j2BqNlFdohtBs=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: HE1P190MB0314
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/ZIz_5AV49zXCRiAa35DSDZax73Q>
Subject: Re: [netmod] [Technical Errata Reported] RFC7950 (6031)
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: NETMOD WG list <netmod.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/netmod>, <mailto:netmod-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/netmod/>
List-Post: <mailto:netmod@ietf.org>
List-Help: <mailto:netmod-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/netmod>, <mailto:netmod-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 27 Mar 2020 16:13:51 -0000

On Fri, Mar 27, 2020 at 04:35:44PM +0100, Martin Björklund wrote:
> [re-sent w/ correct address]
> 
> Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> wrote:
> > Hi,
> > 
> > two comments:
> > 
> > - It is unclear to me whether this really qualifies as an errata.
> > 
> > - If we add this, then there should probably text about which
> >   combinations are allowed. For example, for pattern and ranges, there
> >   is explicit text that says further restrictions of the value space
> >   are possible, bot not expansions. If we follow that logic, then
> > 
> >   typedef a {
> >     type leaf-ref {
> >       path "/some/thing";
> >       require-instance true;
> >     }
> >   }
> > 
> >   typedef b {
> >     type a {
> >       require-instance false;
> >     }
> >   }
> > 
> >   might be illegal since b has a larger value space than a.
> 
> The value space of b is the same as for a. "require-instance" doesn't
> change the value space; it changes semantic validation of the given
> values ((see my mail from 17 Mar, "Require-instance problem").
> 
> /martin

OK. If we consider require-instance a constraint and not a
restriction, then the motivation for this errata is at least
confusing:

  Since no one argued against this understanding, this errata changes
  the text to the same form as in other restrictions applicable to
  derived types.

Simply put: Do you think it is OK to overwrite a require-instance true
with a require-instance false in a derived type?

/js

-- 
Juergen Schoenwaelder           Jacobs University Bremen gGmbH
Phone: +49 421 200 3587         Campus Ring 1 | 28759 Bremen | Germany
Fax:   +49 421 200 3103         <https://www.jacobs-university.de/>