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

"Rob Wilton (rwilton)" <rwilton@cisco.com> Wed, 17 July 2019 10:28 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 82637120089 for <netmod@ietfa.amsl.com>; Wed, 17 Jul 2019 03:28:38 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -14.489
X-Spam-Level:
X-Spam-Status: No, score=-14.489 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_HI=-5, SPF_PASS=-0.001, T_KAM_HTML_FONT_INVALID=0.01, 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=Lr+3EQEQ; dkim=pass (1024-bit key) header.d=cisco.onmicrosoft.com header.b=UY/2oCRB
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 mVPCoMD2nk3Q for <netmod@ietfa.amsl.com>; Wed, 17 Jul 2019 03:28:34 -0700 (PDT)
Received: from alln-iport-6.cisco.com (alln-iport-6.cisco.com [173.37.142.93]) (using TLSv1.2 with cipher DHE-RSA-SEED-SHA (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 6F11F120024 for <netmod@ietf.org>; Wed, 17 Jul 2019 03:28:34 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=cisco.com; i=@cisco.com; l=63156; q=dns/txt; s=iport; t=1563359314; x=1564568914; h=from:to:cc:subject:date:message-id:references: in-reply-to:mime-version; bh=eLUOjMw1vhnPKot5U1rQGh+PVDNzxKjIcPuURZB19/Q=; b=Lr+3EQEQfjUQUZOi5vLys/fbt45o+1YrlY4eXyYtRelYICRmRKe2xbQ8 f3cgi1OvYbs482Z5mlB7hBcSeru6Zw0Ep1ymQi6i0SUMSMHHVDjbfH5bI /zZ/Xobpk42C5emurXZEYAsvVMbIh3OagsEORXU+xFmGpF4AhUL4C3N9m A=;
IronPort-PHdr: =?us-ascii?q?9a23=3AVEU9ARH8JSvpF+1JaigMmJ1GYnJ96bzpIg4Y7I?= =?us-ascii?q?YmgLtSc6Oluo7vJ1Hb+e4z1A3SRYuO7fVChqKWqK3mVWEaqbe5+HEZON0pNV?= =?us-ascii?q?cejNkO2QkpAcqLE0r+eeT1bigmG8JqX15+9Hb9Ok9QS47z?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AGAABP9y5d/4sNJK1jAxkBAQEBAQE?= =?us-ascii?q?BAQEBAQEHAQEBAQEBgVMEAQEBAQELAYEUL1ADbVUgBAsqCoQSg0cDhFKJMYJ?= =?us-ascii?q?biVSNfIEugSQDUAQJAQEBDAEBGAEKCgIBAYN6RgIXgi0jNAkOAQMBAQQBAQI?= =?us-ascii?q?BBW2FPAyFSgEBAQECAQEBEBEKEwEBLAsBBAkCAgEGAg4CAQQBASEBBgMCAgI?= =?us-ascii?q?ZBgYLFAkIAQEEAQ0FCBqDAYEdTQMODwECDJEokGACgTiIYHGBMoJ5AQEFhRA?= =?us-ascii?q?NC4ITAwYFgS8Bi14XgUA/gRFGgkw+gQSBFkcBAYFLGBUKDAkRgkQygiaMJia?= =?us-ascii?q?CLIR+gi2UBEAJAoIZkBiED4IthyWOOI01iT2LIIJzAgQCBAUCDgEBBYFQOIF?= =?us-ascii?q?YcBUaIYJsgkGDcTOEYYU/coEpjCYBgSABAQ?=
X-IronPort-AV: E=Sophos;i="5.64,274,1559520000"; d="scan'208,217";a="302345979"
Received: from alln-core-6.cisco.com ([173.36.13.139]) by alln-iport-6.cisco.com with ESMTP/TLS/DHE-RSA-SEED-SHA; 17 Jul 2019 10:28:33 +0000
Received: from XCH-RCD-015.cisco.com (xch-rcd-015.cisco.com [173.37.102.25]) by alln-core-6.cisco.com (8.15.2/8.15.2) with ESMTPS id x6HASXAl004777 (version=TLSv1.2 cipher=AES256-SHA bits=256 verify=FAIL); Wed, 17 Jul 2019 10:28:33 GMT
Received: from xhs-aln-002.cisco.com (173.37.135.119) by XCH-RCD-015.cisco.com (173.37.102.25) with Microsoft SMTP Server (TLS) id 15.0.1473.3; Wed, 17 Jul 2019 05:28:32 -0500
Received: from xhs-rtp-002.cisco.com (64.101.210.229) by xhs-aln-002.cisco.com (173.37.135.119) with Microsoft SMTP Server (TLS) id 15.0.1473.3; Wed, 17 Jul 2019 05:28:31 -0500
Received: from NAM04-CO1-obe.outbound.protection.outlook.com (64.101.32.56) by xhs-rtp-002.cisco.com (64.101.210.229) with Microsoft SMTP Server (TLS) id 15.0.1473.3 via Frontend Transport; Wed, 17 Jul 2019 06:28:31 -0400
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=kXW8sWYKDdxypj4bg4752UWxbnKwbV0txUKkEejD36KYIEdzqg9Fy0SPepecFsz0Ylo7wR9YvXOlKXm88O3wuMleHgy9VXox5SDaWUQSWsYhyErzxYqaVXWi9h9aZXFXkal+rLUFdB3w8c96wcspk80ilMYKDeMEvyGulnQC+yDI5jQNhC1zFQsM8kn3dWnwJuU5V+F5k/5+nFbWe4M2Fpnphp0zMn01QazNxvEpr8TbOinfD+fORSi6yR+v7t4XaJeK+pLmZBSdY0QfhqXFep6gT+ojyLAdeKepTaJFHFFGuAHTgXtpahDOJabYbMneesxq/e7P8XDWvaF10yuqfw==
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=eLUOjMw1vhnPKot5U1rQGh+PVDNzxKjIcPuURZB19/Q=; b=ceRMsc06LvoR3WVyTVVM7BChfDkGUpJaQAGgmojhTK2yWJyDwFdvVjyqF9ZmnMzJc1qQvYuorghRqfYZxvC9ZjCRuZGzLl14cohKqo9o2DF2ZHeTDpd6lQW/nl96cWpJ99TvZj7gs/AbsPLRRQiTq2t5xfvWklHi3oVNc9/lKAjXGhF2XhyoTGRL8TcKsFM912Cnw/IMKKOXFAxjX+v6pG3pd2HRGnbhPbR+a2EeNvQnckhIESzCxilf2nrMt/2SwR2aMMFP9ikF09Ea5kHgWt80GuBpJ9fN5cc5LFU3ClJybdJ3klcvu2nA5BbwKBr1mubAxww7Oq6rt0YHMVeqYA==
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=eLUOjMw1vhnPKot5U1rQGh+PVDNzxKjIcPuURZB19/Q=; b=UY/2oCRBfVUE6UUUEobt4JZiC1auiqgf+pSdVc47DS4ZiE2Z2xkdL5opEbbol83EvICmWgmrkmYwP08dz24Tjm+qf9uK8/+DKYmDKG2uBFh0EOhYOq4L0FjUuORgNpfjzo59vtJAx4jEDzMSnnbjQfHkeuQ77p3ZaAZta6JPNX4=
Received: from BYAPR11MB2631.namprd11.prod.outlook.com (52.135.227.28) by BYAPR11MB2774.namprd11.prod.outlook.com (52.135.228.16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2073.14; Wed, 17 Jul 2019 10:28:29 +0000
Received: from BYAPR11MB2631.namprd11.prod.outlook.com ([fe80::91da:1669:aaf0:d428]) by BYAPR11MB2631.namprd11.prod.outlook.com ([fe80::91da:1669:aaf0:d428%4]) with mapi id 15.20.2073.012; Wed, 17 Jul 2019 10:28:29 +0000
From: "Rob Wilton (rwilton)" <rwilton@cisco.com>
To: Qin Wu <bill.wu@huawei.com>, Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
CC: "ibagdona@gmail.com" <ibagdona@gmail.com>, "warren@kumari.net" <warren@kumari.net>, "netmod@ietf.org" <netmod@ietf.org>, RFC Errata System <rfc-editor@rfc-editor.org>
Thread-Topic: [netmod] RE: [Technical Errata Reported] RFC7950 (5784)
Thread-Index: AdU8g0W6PP+jAqE4R22+KEI23+9T5AABmOCA
Date: Wed, 17 Jul 2019 10:28:29 +0000
Message-ID: <BYAPR11MB26317A31E7DD8B3BA440F7B4B5C90@BYAPR11MB2631.namprd11.prod.outlook.com>
References: <B8F9A780D330094D99AF023C5877DABAA4A009D9@nkgeml513-mbs.china.huawei.com>
In-Reply-To: <B8F9A780D330094D99AF023C5877DABAA4A009D9@nkgeml513-mbs.china.huawei.com>
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: [173.38.220.36]
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: d31018ac-857f-4202-fbdc-08d70aa182d5
x-microsoft-antispam: BCL:0; PCL:0; RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600148)(711020)(4605104)(1401327)(2017052603328)(7193020); SRVR:BYAPR11MB2774;
x-ms-traffictypediagnostic: BYAPR11MB2774:
x-ms-exchange-purlcount: 5
x-microsoft-antispam-prvs: <BYAPR11MB2774F13D8F953FA8C2C764E0B5C90@BYAPR11MB2774.namprd11.prod.outlook.com>
x-ms-oob-tlc-oobclassifiers: OLM:10000;
x-forefront-prvs: 01018CB5B3
x-forefront-antispam-report: SFV:NSPM; SFS:(10009020)(4636009)(39860400002)(366004)(396003)(376002)(346002)(136003)(189003)(199004)(7736002)(2906002)(81156014)(8936002)(316002)(81166006)(86362001)(478600001)(66066001)(25786009)(9686003)(110136005)(9326002)(54906003)(71200400001)(71190400001)(446003)(5660300002)(54896002)(66556008)(66946007)(4326008)(66446008)(99286004)(8676002)(229853002)(966005)(6306002)(74316002)(68736007)(76176011)(53546011)(7696005)(33656002)(64756008)(256004)(66476007)(3846002)(790700001)(6116002)(26005)(6246003)(186003)(53936002)(52536014)(76116006)(11346002)(6506007)(486006)(606006)(14454004)(102836004)(476003)(236005)(55016002)(53946003)(6436002); DIR:OUT; SFP:1101; SCL:1; SRVR:BYAPR11MB2774; H:BYAPR11MB2631.namprd11.prod.outlook.com; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; MX:1; A:1;
received-spf: None (protection.outlook.com: cisco.com does not designate permitted sender hosts)
x-ms-exchange-senderadcheck: 1
x-microsoft-antispam-message-info: 8LlbpBE/lwmhKJvHK9rl+uwAZZ5buPW9RlbaNwBcwIGoh+w3YHccKfX5XB36htlvk21Hs79+6vF7pMkvjiAYUrj879aqjozHhmyEWjuDORh9WpyAEVeXULXNWR7ga+Y2WUS2CbVGEQqihbbDTyOlZBSADKDS3kMQ2Ta6OcTzAYoMJjp0aTkjvPIONDHcn778MLlQVbc6SuY27slNmE6Zy5sSKrlF4vYdQvhIC+oMAPE3ZNGyONnRI1xQKJN+6cch36wjXrxl8aSahlszHjXi9LdjUp6hP0hYMmi6f/E4ycrWWwVEw9mVVxYJx8Tr97nvRDA5aLx8IyafiBMjxvXAg3t+3CLiX9HwWuqca+GGrHrwxvdrF0AzsT52D9iLktbDPPy4aAIcX5hYeR4DXt0DbJ28io++B/QpzpgkEYwx5ow=
Content-Type: multipart/alternative; boundary="_000_BYAPR11MB26317A31E7DD8B3BA440F7B4B5C90BYAPR11MB2631namp_"
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-Network-Message-Id: d31018ac-857f-4202-fbdc-08d70aa182d5
X-MS-Exchange-CrossTenant-originalarrivaltime: 17 Jul 2019 10:28:29.4790 (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: rwilton@cisco.com
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BYAPR11MB2774
X-OriginatorOrg: cisco.com
X-Outbound-SMTP-Client: 173.37.102.25, xch-rcd-015.cisco.com
X-Outbound-Node: alln-core-6.cisco.com
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/iIWvhtl3Ef3fSqhtP6RO8VqG3UA>
Subject: Re: [netmod] [Technical Errata Reported] RFC7950 (5784)
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: Wed, 17 Jul 2019 10:28:39 -0000

Hi Qin,

If it is input to the server then “0.50000” is allowed.  But the canonical format for this value (i.e., that would be returned in get-config, get, or get-data) is “0.5”.


The value “0.50000” is not allowed as a canonical form because of “Leading and trailing zeros are prohibited“.  The leading 0 is retained to satisfy the rule “there MUST be at least one digit before and after the decimal point”.


Thanks,
Rob


From: Qin Wu <bill.wu@huawei.com>
Sent: 17 July 2019 10:43
To: Rob Wilton (rwilton) <rwilton@cisco.com>om>; Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Cc: ibagdona@gmail.com; warren@kumari.net; netmod@ietf.org; RFC Errata System <rfc-editor@rfc-editor.org>
Subject: RE: [netmod] RE: [Technical Errata Reported] RFC7950 (5784)

I realized my proposed changes also have some flaw and may need to be tweaked.

My question is should trailing zeros in “0.50000” be allowed? I didn’t see the original text prohibit this.
Yes, the original text is correct, but it excludes some exception cases, such as “0.500000000”, if my understanding is correct.
发件人: Rob Wilton (rwilton) [mailto:rwilton@cisco.com]
发送时间: 2019年7月17日 17:20
收件人: Qin Wu <bill.wu@huawei.com<mailto:bill.wu@huawei.com>>; Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de<mailto:j.schoenwaelder@jacobs-university.de>>
抄送: ibagdona@gmail.com<mailto:ibagdona@gmail.com>; warren@kumari.net<mailto:warren@kumari.net>; netmod@ietf.org<mailto:netmod@ietf.org>; RFC Errata System <rfc-editor@rfc-editor.org<mailto:rfc-editor@rfc-editor.org>>
主题: RE: [netmod] 答复: [Technical Errata Reported] RFC7950 (5784)

Hi Qin,

I also find the current RFC text quite understandable and correct.

The “and” is required to disallow “.0” and “0.” as valid canonical forms.  I.e. in the canonical form there MUST always be at least one digit (which could be 0) before the decimal point and then must be at least one digit (which could be 0) after the decimal point.  Otherwise, there must be no leading or trailing 0’s.  So, none of  “.0”, “0.”, “00.0”, “0.00” and “00.00” are in the canonical form, and should be represented as “0.0” instead; similarly none of “.1”, “1.”, “01.0”, “1.00” and “01.00” are in the canonical form and should be represented as “1.0” instead.

Thanks,
Rob


From: netmod <netmod-bounces@ietf.org<mailto:netmod-bounces@ietf.org>> On Behalf Of Qin Wu
Sent: 17 July 2019 09:59
To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de<mailto:j.schoenwaelder@jacobs-university.de>>
Cc: ibagdona@gmail.com<mailto:ibagdona@gmail.com>; warren@kumari.net<mailto:warren@kumari.net>; netmod@ietf.org<mailto:netmod@ietf.org>; RFC Errata System <rfc-editor@rfc-editor.org<mailto:rfc-editor@rfc-editor.org>>
Subject: [netmod] 答复: [Technical Errata Reported] RFC7950 (5784)


Understand, the problem lies at "and" that is used in " one digit before and after the decimal point ", that is to say it only focus on the case that has two digits, one is before decimal point, the other digit is after decimal such as "5.06", but doesn't cover the case where "one digit before or after the decimal point ", that’s why I think the case 0.500000 is not covered. We should prohibit trailing zeros in “0.5000000”.

-----邮件原件-----
发件人: Juergen Schoenwaelder [mailto:j.schoenwaelder@jacobs-university.de]
发送时间: 2019年7月17日 16:46
收件人: Qin Wu <bill.wu@huawei.com<mailto:bill.wu@huawei.com>>
抄送: RFC Errata System <rfc-editor@rfc-editor.org<mailto:rfc-editor@rfc-editor.org>>; ibagdona@gmail.com<mailto:ibagdona@gmail.com>; netmod@ietf.org<mailto:netmod@ietf.org>; warren@kumari.net<mailto:warren@kumari.net>
主题: Re: [netmod] [Technical Errata Reported] RFC7950 (5784)



The text starts with the general case and says "Leading and trailing zeros are prohibited", which seems to cover 0.50000000. The text then handles the special rule that there needs to be at least one digit before and after the decimal point. I think all is fine.



/js



On Wed, Jul 17, 2019 at 08:11:41AM +0000, Qin Wu wrote:

> What about "0.50000000"? based on original text, is it legal or illegal?

> It seem original text exclude the case where one digit before or after the decimal point?

>

> -Qin

> -----邮件原件-----

> 发件人: netmod [mailto:netmod-bounces@ietf.org] 代表 Juergen Schoenwaelder

> 发送时间: 2019年7月17日 15:50

> 收件人: RFC Errata System <rfc-editor@rfc-editor.org<mailto:rfc-editor@rfc-editor.org>>

> 抄送: ibagdona@gmail.com<mailto:ibagdona@gmail.com>; netmod@ietf.org<mailto:netmod@ietf.org>; warren@kumari.net<mailto:warren@kumari.net>

> 主题: Re: [netmod] [Technical Errata Reported] RFC7950 (5784)

>

> I do not see why the original text makes 0.5 or 0.0 illegal.

>

> /js

>

> On Tue, Jul 16, 2019 at 08:52:52PM -0700, RFC Errata System wrote:

> > The following errata report has been submitted for RFC7950, "The

> > YANG

> > 1.1 Data Modeling Language".

> >

> > --------------------------------------

> > You may review the report below and at:

> > https://www.rfc-editor.org/errata/eid5784

> >

> > --------------------------------------

> > Type: Technical

> > Reported by: Qin WU <bill.wu@huawei.com<mailto:bill.wu@huawei.com>>

> >

> > Section: 9.3.2

> >

> > Original Text

> > -------------

> > Leading and trailing zeros are prohibited, subject to the rule that

> > there MUST be at least one digit before and after the decimal point.

> > The value zero is represented as "0.0".

> >

> >

> >

> >

> > Corrected Text

> > --------------

> > Leading zeros before the first digit and trailing zeros after the

> > last digit are prohibited, subject to the rule that there MUST be at

> > least one digit before and after the decimal point.  The value zero

> > is represented as "0.0".

> >

> > Notes

> > -----

> > Based on the rule in the orginal text, the value such as "0.5","0.0" is illegal. So I think the intention of the original text is to make sure the leading zeros before the first digit and the trailing zero after the last digit are prohibited.

> >

> > Instructions:

> > -------------

> > This erratum is currently posted as "Reported". If necessary, please

> > use "Reply All" to discuss whether it should be verified or rejected.

> > When a decision is reached, the verifying party can log in to change

> > the status and edit the report, if necessary.

> >

> > --------------------------------------

> > RFC7950 (draft-ietf-netmod-rfc6020bis-14)

> > --------------------------------------

> > Title               : The YANG 1.1 Data Modeling Language

> > Publication Date    : August 2016

> > Author(s)           : M. Bjorklund, Ed.

> > Category            : PROPOSED STANDARD

> > Source              : Network Modeling

> > Area                : Operations and Management

> > Stream              : IETF

> > Verifying Party     : IESG

> >

> > _______________________________________________

> > netmod mailing list

> > netmod@ietf.org<mailto:netmod@ietf.org>

> > https://www.ietf.org/mailman/listinfo/netmod

>

> --

> 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<mailto:netmod@ietf.org>

> https://www.ietf.org/mailman/listinfo/netmod



--

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/>