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

"Rob Wilton (rwilton)" <rwilton@cisco.com> Fri, 03 April 2020 12:06 UTC

Return-Path: <rwilton@cisco.com>
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 43CE53A18B1 for <netmod@ietfa.amsl.com>; Fri, 3 Apr 2020 05:06:25 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -9.6
X-Spam-Level:
X-Spam-Status: No, score=-9.6 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_PASS=-0.001, URIBL_BLOCKED=0.001, USER_IN_DEF_DKIM_WL=-7.5] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=cisco.com header.b=lUNKGsbs; dkim=pass (1024-bit key) header.d=cisco.onmicrosoft.com header.b=o+RvTezy
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 J2od8xGmgGNl for <netmod@ietfa.amsl.com>; Fri, 3 Apr 2020 05:06:20 -0700 (PDT)
Received: from alln-iport-5.cisco.com (alln-iport-5.cisco.com [173.37.142.92]) (using TLSv1.2 with cipher DHE-RSA-SEED-SHA (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 6CC8B3A18AF for <netmod@ietf.org>; Fri, 3 Apr 2020 05:06:20 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=cisco.com; i=@cisco.com; l=2596; q=dns/txt; s=iport; t=1585915580; x=1587125180; h=from:to:cc:subject:date:message-id:references: in-reply-to:content-transfer-encoding:mime-version; bh=05wwbxC5sYPI/hzY8bFDSksvo0etjP5NXZC5A/3UqK0=; b=lUNKGsbsnBr0dePl1rO/F5INy7CSwl+5FsxAr+ZqrWKiX/f2eV5gXNoo E7KE3aAS2c+yVZnDsjdbmHTdP0HtI+UnBmdH1ZgJ1yiDHDKq69QEIxLBH jUJIx3XHKkMvY6IjbKuyTLkDvZGoSiRo3nwNpvyNVg1I9TVpaOB9oApiU U=;
IronPort-PHdr: =?us-ascii?q?9a23=3AypqomRy5xpM7ok7XCy+N+z0EezQntrPoPwUc9p?= =?us-ascii?q?sgjfdUf7+++4j5YhSN/u1j2VnOW4iTq+lJjebbqejBYSQB+t7A1RJKa5lQT1?= =?us-ascii?q?kAgMQSkRYnBZufFkz/MPnsRyc7B89FElRi+iLzPA=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AOAADEJYde/5NdJa1jAxoBAQEBAQE?= =?us-ascii?q?BAQEDAQEBAREBAQECAgEBAQGBaAQBAQEBCwGBU1AFbFggBAsqh2ADimOCX4l?= =?us-ascii?q?ujjCBLoEkA1QKAQEBDAEBGAsKAgQBAYN/RQKCRCQ1CA4CAwEBCwEBBQEBAQI?= =?us-ascii?q?BBQRthVYMhXABAQEBAwEBEC4BASwLAQsCAgIBCA4CAQQBAQEuGwYGCx0IAgQ?= =?us-ascii?q?BDQUIGoMFgksDLgEOozsCgTmIYoIngn8BAQWFNQ0LggwDBgWBMwGMMBqBQT+?= =?us-ascii?q?BVIJNPoEEgRpJAQGBZx8mgn2CLJgjl3oyRwqCPZJqhFicAI8yi1+QPgIEAgQ?= =?us-ascii?q?FAg4BAQWBVAE2gVdwFTuCaVAYDY4dg3MzhGGFQXSBKYtoLYIUAQE?=
X-IronPort-AV: E=Sophos;i="5.72,339,1580774400"; d="scan'208";a="466777215"
Received: from rcdn-core-11.cisco.com ([173.37.93.147]) by alln-iport-5.cisco.com with ESMTP/TLS/DHE-RSA-SEED-SHA; 03 Apr 2020 12:06:19 +0000
Received: from XCH-RCD-001.cisco.com (xch-rcd-001.cisco.com [173.37.102.11]) by rcdn-core-11.cisco.com (8.15.2/8.15.2) with ESMTPS id 033C6Jq5022278 (version=TLSv1.2 cipher=AES256-SHA bits=256 verify=FAIL); Fri, 3 Apr 2020 12:06:19 GMT
Received: from xhs-aln-001.cisco.com (173.37.135.118) by XCH-RCD-001.cisco.com (173.37.102.11) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Fri, 3 Apr 2020 07:06:19 -0500
Received: from xhs-aln-002.cisco.com (173.37.135.119) by xhs-aln-001.cisco.com (173.37.135.118) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Fri, 3 Apr 2020 07:06:18 -0500
Received: from NAM12-BN8-obe.outbound.protection.outlook.com (173.37.151.57) by xhs-aln-002.cisco.com (173.37.135.119) with Microsoft SMTP Server (TLS) id 15.0.1497.2 via Frontend Transport; Fri, 3 Apr 2020 07:06:18 -0500
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=iTayZJEOCaKYfvAbPrzveyrlFb7pNmWXtBvvLiy1XOqjksvFl1ihDlZI3izFNxqnDB8UqNSEVV+awV83+2GH6ynES5HlzlVU04DX/sc1KXkBcAS6awn79ueEHEsRkT7++Swtq2R40C6ul6xxIb3FHI4hsOlvffBE/0obdwULoa+UcOJLkAote8Vcy6svK322NNWcc0sjo3V/MsZRMYfayna9IBcgyEvWr5FLHv5C+gW4vcylcAbP8l5whN80a2jAjWwfn9yUkZoiCPKwegoWVPPr/5h8sIfDWcOE+rZ7wHrR+OdrkImNF/6khXR7tQjNlIn31Fgby5P3E/2SrKogPw==
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=NO2W4K5QYeo+crzhI7gJaSpSdwqFZYWw/koGWsDDGNE=; b=DRhgTXOHFzyMxb2fnPaa6Rdhctpa0fqVRkc0UoN2VQL4iJeGMzkeWxYdUcygjy50MFsUOPaG+PnOUmEVHKACT08SAaC4zgrHS3n9Zq7l1lXAhSrUlgVx9GDHMc8yaJ8xygja8tWPyYh8PK9qTUx2aYytnPZPA55/BiKzezL5erHu4zEfG4QYOdcoIApp3V1rhShiGE5I68vtYNguSaoXiIdeiU0tu464YH7v19QsDbYNOQdhbhpEZgROevEOYr+CIN0GWPjw/gPx1+oUdbfiRrSXoMmUPGGOiAgsCLTEZEV0qg1o+4x+YbnZAzg9cniaFm0vkpyhZVOS8Fu9UiPquw==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cisco.com; dmarc=pass action=none header.from=cisco.com; dkim=pass header.d=cisco.com; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cisco.onmicrosoft.com; s=selector2-cisco-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=NO2W4K5QYeo+crzhI7gJaSpSdwqFZYWw/koGWsDDGNE=; b=o+RvTezyHpZ73IzV+AUDLbcXfKZQxf4a/gYkgE2cwQNRf1T9pXQ2tNTJoi7XNs2GowS3FsP75MkHxOwJY+n0TNH0oWRaxnBPa8JBmQM4hvw7I4gbGwQOWHCwFQ/lZzj2GfPAXxlX4lNlt7vNCLvreHM6rdYVgM2RVZhIvw9hzKY=
Received: from MN2PR11MB4366.namprd11.prod.outlook.com (2603:10b6:208:190::17) by MN2PR11MB4647.namprd11.prod.outlook.com (2603:10b6:208:262::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2878.15; Fri, 3 Apr 2020 12:06:17 +0000
Received: from MN2PR11MB4366.namprd11.prod.outlook.com ([fe80::3:2164:a8e2:33b3]) by MN2PR11MB4366.namprd11.prod.outlook.com ([fe80::3:2164:a8e2:33b3%5]) with mapi id 15.20.2856.019; Fri, 3 Apr 2020 12:06:17 +0000
From: "Rob Wilton (rwilton)" <rwilton@cisco.com>
To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>, =?iso-8859-1?Q?Martin_Bj=F6rklund?= <mbj+ietf@4668.se>
CC: "warren@kumari.net" <warren@kumari.net>, "netmod@ietf.org" <netmod@ietf.org>, "rfc-editor@rfc-editor.org" <rfc-editor@rfc-editor.org>
Thread-Topic: [netmod] [Technical Errata Reported] RFC7950 (6031)
Thread-Index: AQHWBCEZ+1dLitN/gE+4JTO6Fuc0uqhcjXeAgAAFCACAAAp/AIAKthqg
Date: Fri, 3 Apr 2020 12:06:17 +0000
Message-ID: <MN2PR11MB43666AB22069D14FC3FB9A66B5C70@MN2PR11MB4366.namprd11.prod.outlook.com>
References: <20200327101812.51904F40712@rfc-editor.org> <20200327151743.xwzncq4osj26tzec@anna.jacobs.jacobs-university.de> <20200327.163544.1954043640939771631.id@4668.se> <20200327161318.ykrx2s36bhmaglxq@anna.jacobs.jacobs-university.de>
In-Reply-To: <20200327161318.ykrx2s36bhmaglxq@anna.jacobs.jacobs-university.de>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
authentication-results: spf=none (sender IP is ) smtp.mailfrom=rwilton@cisco.com;
x-originating-ip: [2001:420:c0c8:1005::2b4]
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: 6f3d1963-030b-4b92-b9b4-08d7d7c76a46
x-ms-traffictypediagnostic: MN2PR11MB4647:
x-microsoft-antispam-prvs: <MN2PR11MB464767EB203F499E57D22807B5C70@MN2PR11MB4647.namprd11.prod.outlook.com>
x-ms-oob-tlc-oobclassifiers: OLM:9508;
x-forefront-prvs: 0362BF9FDB
x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:MN2PR11MB4366.namprd11.prod.outlook.com; PTR:; CAT:NONE; SFTY:; SFS:(10009020)(4636009)(396003)(376002)(39860400002)(366004)(136003)(346002)(8676002)(66946007)(81166006)(8936002)(76116006)(66476007)(6506007)(71200400001)(81156014)(52536014)(966005)(53546011)(7696005)(64756008)(316002)(54906003)(66556008)(5660300002)(33656002)(66446008)(110136005)(478600001)(55016002)(9686003)(4326008)(86362001)(2906002)(186003); DIR:OUT; SFP:1101;
received-spf: None (protection.outlook.com: cisco.com does not designate permitted sender hosts)
x-ms-exchange-senderadcheck: 1
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: xPYtD02f9EBifIzyEqcmt91mMVu/asnpdPa7qO6C+iLxe7htmXExLkHn2rrfW8e3YawnPMp71zUE+SgfhpLFlZ0mFE4CHi/A73DYlyVJDwD5WuVyGkfx+D3pzAbnnwc/HB++r7Bd6R7GwFN0sSwvEoyCIIQHl5bJX00fFJf9xOeVV7v1PHCeR3aqAPsM5RsWwqJNSHIgFk69MOPa/S69QW0O6E1DbwMvEDdZ57bbkiGlJlAaAaZ1V1dPZwW1RQqGZZxOmK7d8XY23r3N2SbyRX+DouJfC00Cv8xu5qvml9j7474UkxW4dmd7KvFxltcl4JhNhz1WwuEgtTTVSidhrsKxNs0WhW+HAOKAy3UiipfUCpTYGFOJGtBoBhVr9zcBUY6zIGjpQ5J7f+qTZ7/9I/sn1A1ccqSK4CtfdFR4Nx1+CLwoKY/1e8YFOlVrLXhIXxIW1mZO1Jy90EzeAMgMGHTkaiIJYm5A1ind51z407FR35SLDhUWsqWdRLO7e5KHV9pmKAD25hTp61RSf3u4dQ==
x-ms-exchange-antispam-messagedata: yXAx6RYgX8h0YsxmlzpScbOUW+jVcsVWiVwib9cvz9RNClO/3k6vdfBgl9zuE7gapU12SDyihd8KRux812RJj0tWME6tXe0loV1CDKvEJHQUGmXY9bii9VInOb7b5JlTHkG75VxF5iXbJUmJSrG3NKT+6+0rUh4FctdWrr1DC+M=
x-ms-exchange-transport-forked: True
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-Network-Message-Id: 6f3d1963-030b-4b92-b9b4-08d7d7c76a46
X-MS-Exchange-CrossTenant-originalarrivaltime: 03 Apr 2020 12:06:17.6359 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 5ae1af62-9505-4097-a69a-c1553ef7840e
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: ihjyJuapMElyh+fvdWS875eQ0Q5VJMnxtlVqlabNsLRqc4erpZqI6jD/NXSqWE7g2UCMd0CVqi9z1iv87SEdzg==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: MN2PR11MB4647
X-OriginatorOrg: cisco.com
X-Outbound-SMTP-Client: 173.37.102.11, xch-rcd-001.cisco.com
X-Outbound-Node: rcdn-core-11.cisco.com
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/os-OOIUy7f1gss_AaUPTlJAqL10>
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, 03 Apr 2020 12:06:26 -0000


> -----Original Message-----
> From: netmod <netmod-bounces@ietf.org> On Behalf Of Juergen Schoenwaelder
> Sent: 27 March 2020 16:13
> To: Martin Björklund <mbj+ietf@4668.se>
> Cc: ibagdona@gmail.com; warren@kumari.net; netmod@ietf.org; rfc-
> editor@rfc-editor.org
> Subject: Re: [netmod] [Technical Errata Reported] RFC7950 (6031)
> 
> 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?
[RW] 
I'm not sure, but going in the other direction seems plausible.

E.g. you start with a typedef that is explicitly require-instance false that is then refined by a typedef to be require-instance true.

Regards,
Rob


> 
> /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/>
> 
> _______________________________________________
> netmod mailing list
> netmod@ietf.org
> https://www.ietf.org/mailman/listinfo/netmod