Re: [netmod] Joint WGLC on "semver" and "module-versioning" drafts

Andy Bierman <andy@yumaworks.com> Wed, 31 May 2023 00:52 UTC

Return-Path: <andy@yumaworks.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 22DF6C151061 for <netmod@ietfa.amsl.com>; Tue, 30 May 2023 17:52:27 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.095
X-Spam-Level:
X-Spam-Status: No, score=-2.095 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, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=yumaworks.com
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id SmLmXMuaMMbi for <netmod@ietfa.amsl.com>; Tue, 30 May 2023 17:52:22 -0700 (PDT)
Received: from mail-lf1-x131.google.com (mail-lf1-x131.google.com [IPv6:2a00:1450:4864:20::131]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id D2934C14CE39 for <netmod@ietf.org>; Tue, 30 May 2023 17:52:22 -0700 (PDT)
Received: by mail-lf1-x131.google.com with SMTP id 2adb3069b0e04-4f3b39cea1eso5778810e87.3 for <netmod@ietf.org>; Tue, 30 May 2023 17:52:22 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yumaworks.com; s=google; t=1685494340; x=1688086340; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=GWLjd+XVULH79368+KyrXarU0Bp7BKUzCGvLOjymA5Y=; b=UM7DtpcJfUg3hNovqqNKS1krIlWqnPiIdzzZAqdV+7zE9oSuDFQwLJ8SrP1KMOymoz Vxt3Dfp8jm1mI3102YeRrv5x+EJduSQLE1aJoyXCDa5i161zh/oFVakVETMeldLi3aoy qnDy6wHNbbE7nxOPLnZEaYl7+OK9W521/0s345s4EPCdWFXXbrMrrg51E5WJnZqWc+iH JyFWCaJB200nD7sD9//TGtTNmY85WYfmF1/Yt9nBUorABRwPhGHoNkNpBZ1sxArSGnyZ 5Xbe9g2OOXFvGGPHJQiGSSHt3yxKJnk2Ugm3ZpGg2hFphjz7Zoh0AD+fuoINWvwRVvDA nDmg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1685494340; x=1688086340; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=GWLjd+XVULH79368+KyrXarU0Bp7BKUzCGvLOjymA5Y=; b=JjCdulp72wdKjQsty+3BOKjIYv3bWQwnz6P32eZVkXjDJA7UJib/WRi2C7CrVCAea0 t89xKgJktF7xAsUma6AUYHOWSmi30QYqhXNQBWpT8YpeJg3J1mQUQUtFYJXniPNuViEi J8g0oxnPZLs7v1ounVpGck8bEnXhZLqfnbgks4mEF0BwKrCnD+qZckV3Yse1FbzOaqo8 MRqPivduDdFNv4RQJXkLIwqt5r9TRYnMQ7cy9VecHUaNAUYkoGV4xaaH+q5LamBxKJHK 2atJbbYllcNwPgZP2Jgl6bpKPuRyjNDFmFfpkkgFwvT8DuvW8ABdryI56Qm+1DUu+t8I 3jyw==
X-Gm-Message-State: AC+VfDz6y0+x4ASA3FVWexxMRITQoJn8Cl4x18lz8NtNdp6bX8Yz37x+ VU12O1sZ36yEYGQZum/UBmaucS9oNuMTsDYNqzUtSSHigfhcGY5mpEU=
X-Google-Smtp-Source: ACHHUZ73EWGb5LxUiIUycvfva3j8fpRLBr0wfA/Lur/7nxF2xHUX9A979p3WcOZpfLcjIlXAeMvEDeTpaMkp0WZeX6I=
X-Received: by 2002:ac2:4556:0:b0:4ee:dafa:cb00 with SMTP id j22-20020ac24556000000b004eedafacb00mr1551126lfm.60.1685494340142; Tue, 30 May 2023 17:52:20 -0700 (PDT)
MIME-Version: 1.0
References: <01000187fd8e0407-84bd7e7b-ede3-43d8-a9b3-5d4d0a915509-000000@email.amazonses.com> <jr5nepvspm3kpoxbv6dpxwi234ggjuthvckeerj2hb3g3qdc6x@4o42ngfbw72f> <12cd6ad9-e384-7cbc-d14d-fdf58cdbb0df@hq.sk>
In-Reply-To: <12cd6ad9-e384-7cbc-d14d-fdf58cdbb0df@hq.sk>
From: Andy Bierman <andy@yumaworks.com>
Date: Tue, 30 May 2023 17:52:08 -0700
Message-ID: <CABCOCHQ2FrkeY00UPDg-H7mi6FSrVFerNMMucDjKRh65LL-2Xg@mail.gmail.com>
To: Robert Varga <nite@hq.sk>
Cc: "netmod@ietf.org" <netmod@ietf.org>
Content-Type: multipart/alternative; boundary="0000000000006a60dd05fcf2bbfe"
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/RU3oqU0QOxNnwlhpmKoFZdYdulk>
Subject: Re: [netmod] Joint WGLC on "semver" and "module-versioning" drafts
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.39
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, 31 May 2023 00:52:27 -0000

On Tue, May 30, 2023 at 5:13 PM Robert Varga <nite@hq.sk> wrote:

> On 30/05/2023 20.28, Jürgen Schönwälder wrote:
> >    It is unclear what "identical" means here. If two people extract a
> >    module from an RFC, they may not end up with identical byte
> >    sequences. So does white space matter when we talk about MUST be
> >    identical? What about comments? The problem is that the IETF still
> >    publishes YANG modules in RFCs instead of files.
>
> As for RFC vs. files, the mechanics of extracting of files from RFCs
> seems to be well established, plus it is an IETF-owned cron job which
> updates https://github.com/YangModels/yang/tree/main/standard/ietf/RFC
> -- so I would (and I actually do) assume that is the normative source of
> byte-exact files.
>
> In my opinion "identical" leaves little room for interpretation: it is
> byte-exact, i.e. md5sum (and everything else of that kind) returning the
> same value.
>
> If we were to say "equivalent", now that would be a whole another kettle
> of fish.
>
> I stand to be corrected, but I do not believe there is a single
> normative statement about handling equivalent Unicode encodings. As a
> tool author, I believe having that is a hard prerequisite to be solved
> before we ever embark on pulling in YANG semantics into the conversation.
>
> I do have opinions around that, in particular the equivalence of
> - description "foo"
> - description 'foo'
> - description foo
> and the order of preference of those (which may contradict best current
> practice), but I certainly do not have the cycles to engage in that
> discussion to a reasonable depth :(
>
>

There are many ways to maintain semantic equivalence with vastly different
language syntax.
That is a separate issue I think.

As per [RFC7950 <https://www.rfc-editor.org/info/rfc7950>] and [RFC6020
<https://www.rfc-editor.org/info/rfc6020>], all published revisions of a
module are given a new unique revision date. This applies even for module
revisions containing (in the module or included submodules) only changes to
any whitespace, formatting, comments or line endings (e.g., DOS vs UNIX).¶
<https://datatracker.ietf.org/doc/html/draft-ietf-netmod-yang-module-versioning-09#section-3.1-4>

I disagree with this proposed module update rule.
This includes insignificant whitespace that is ignored in the YANG
language.

Your example description-stmt should count as a change since each string
form has different rules.

Changing any characters, even changing the newline (dos2unix) or trimming
trailing whitespace on a line, requires a new module revision.

IMO this is a bad idea since it is too fragile.
E.g., tools might change the end-of-line chars so they are correct
for the operating system used to store the file. Module authors should not
need to
track insignificant whitespace changes that are ignored in YANG.



> Regards,
> Robert
>

Andy


> _______________________________________________
> netmod mailing list
> netmod@ietf.org
> https://www.ietf.org/mailman/listinfo/netmod
>