Re: [netmod] 6021 ipv4-prefix

Ladislav Lhotka <lhotka@nic.cz> Fri, 26 April 2019 07:39 UTC

Return-Path: <lhotka@nic.cz>
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 D6D041201BA for <netmod@ietfa.amsl.com>; Fri, 26 Apr 2019 00:39:49 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7
X-Spam-Level:
X-Spam-Status: No, score=-7 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_HI=-5] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=nic.cz
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 QuvFdXzEv6QD for <netmod@ietfa.amsl.com>; Fri, 26 Apr 2019 00:39:47 -0700 (PDT)
Received: from mail.nic.cz (mail.nic.cz [217.31.204.67]) (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 A4C69120254 for <netmod@ietf.org>; Fri, 26 Apr 2019 00:39:47 -0700 (PDT)
Received: from birdie (unknown [IPv6:2001:718:1a02:1::380]) by mail.nic.cz (Postfix) with ESMTPSA id 06D64637D2 for <netmod@ietf.org>; Fri, 26 Apr 2019 09:39:45 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nic.cz; s=default; t=1556264385; bh=wojgepkO8YfFbwUhYhDPsvlUvbvgXduAHGKMJzIjy/c=; h=From:To:Date; b=C+lSNVlcR117EcxBhe+3OqPGjglRz0BfmmiQfLWLBMUF25LaBA0sJfIdaQZ1pK/bf C6IppGYWrjbrnY5vnsvBMIshvJbW+JnQHo3q6RLOBgFPd6F0fbA3lssnPzN06YutNa SS0Eq8Mcjs0LgOpaWiGBLSVUbCAD841LZjG5HA5E=
Message-ID: <24fff697cde3ac2e0c9a09cf2dfa1153ca61bd90.camel@nic.cz>
From: Ladislav Lhotka <lhotka@nic.cz>
To: netmod@ietf.org
Date: Fri, 26 Apr 2019 09:39:45 +0200
In-Reply-To: <20190425215134.pabdl3bbbjoivbaj@anna.jacobs.jacobs-university.de>
References: <003301d4f498$4f593640$ee0ba2c0$@gmail.com> <alpine.DEB.2.20.1904180906360.3490@uplift.swm.pp.se> <20190418080643.gcdi5x4dtn64adwc@anna.jacobs.jacobs-university.de> <alpine.DEB.2.20.1904181128480.3490@uplift.swm.pp.se> <20190418102604.y5wyqflcudiywj2i@anna.jacobs.jacobs-university.de> <alpine.DEB.2.20.1904181251000.3490@uplift.swm.pp.se> <20190418111241.5csf5kkgwgxwtsnm@anna.jacobs.jacobs-university.de> <227a2452-69f9-6786-2643-822e70dc636d@spritelink.net> <20190425215134.pabdl3bbbjoivbaj@anna.jacobs.jacobs-university.de>
Organization: CZ.NIC
Content-Type: text/plain; charset="UTF-8"
User-Agent: Evolution 3.32.1
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
X-Virus-Scanned: clamav-milter 0.99.2 at mail
X-Virus-Status: Clean
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/MI62M6m8_A3wnc4g_Kj4VVidHuE>
Subject: Re: [netmod] 6021 ipv4-prefix
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, 26 Apr 2019 07:39:50 -0000

On Thu, 2019-04-25 at 23:51 +0200, Juergen Schoenwaelder wrote:
> On Thu, Apr 25, 2019 at 11:20:57PM +0200, Kristian Larsson wrote:
> > 
> > On 2019-04-18 13:12, Juergen Schoenwaelder wrote:
> > > On Thu, Apr 18, 2019 at 12:53:22PM +0200, Mikael Abrahamsson wrote:
> > > > On Thu, 18 Apr 2019, Juergen Schoenwaelder wrote:
> > > > > On Thu, Apr 18, 2019 at 11:43:05AM +0200, Mikael Abrahamsson wrote:
> > > > > +17.4 is not an integer, so this is an error (not because of the + but
> > > > > because of the . followed by additional digits). +17 is I think a
> > > > > valid
> > > > > integer value but the + will be dropped in the canonical
> > > > > representation.
> > > > 
> > > > Yes, but 2001:db8::1/64 isn't valid prefix (because the host portion of
> > > > the
> > > > prefix isn't 0) so why should it be "rounded" when 17.4 shouldn't be
> > > > rounded
> > > > if an integer input is expected?
> > > 
> > > The non-prefix bits are irrelevant for the prefix and the canonical
> > > format has the non-prefix bits all set to zero. I understand that you
> > > prefer 2001:db8::1/64 to be an error but RFC 6021 and RFC 6991
> > > consider this as valid input that can be safely interpreted to mean
> > > 2001:db8::0/64.
> > 
> > Vice versa, if an implementation does treat 2001:db8::1/64 as a syntax
> > error, is that implementation incorrect?
> > 
> 
> I think so. The types do not require that non-prefix bits are zero
> when a value is received. However, a server must report the canonical
> value, in this case 2001:db8::/64.

Agreed. The description only says (and only for ipv6-prefix) that the host bits
should be zero, i.e. no strict requirement.

Lada

> 
> /js
> 
-- 
Ladislav Lhotka
Head, CZ.NIC Labs
PGP Key ID: 0xB8F92B08A9F76C67