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

Robert Varga <nite@hq.sk> Fri, 02 June 2023 16:13 UTC

Return-Path: <nite@hq.sk>
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 54352C14CEFC for <netmod@ietfa.amsl.com>; Fri, 2 Jun 2023 09:13:19 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.097
X-Spam-Level:
X-Spam-Status: No, score=-2.097 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, NICE_REPLY_A=-0.001, 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 (1024-bit key) header.d=hq.sk
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 CFiHwgtlVkOc for <netmod@ietfa.amsl.com>; Fri, 2 Jun 2023 09:13:14 -0700 (PDT)
Received: from mail.hq.sk (hq.sk [81.89.59.181]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 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 17544C14F74E for <netmod@ietf.org>; Fri, 2 Jun 2023 09:13:12 -0700 (PDT)
Received: from [192.168.1.107] (chello085216197060.chello.sk [85.216.197.60]) by mail.hq.sk (Postfix) with ESMTPSA id 630F2248A5B for <netmod@ietf.org>; Fri, 2 Jun 2023 18:13:09 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=hq.sk; s=mail; t=1685722389; bh=ZtsRWREKplw2RMXcv4U66Zrqj1TLowcY9DE2WErwXws=; h=Date:Subject:To:References:From:In-Reply-To; b=kAZTOeEnjOYXyfr+2nH5k0g5P3krjzayN8h6I5Q+xTV2JLQ8CPR6SS/x6hFBA9kZ1 nmIWso2yq5ucXH+Av3mX0j/T+sFmXNqnw6B4JFlmaLgIzobxFuTFET8lPbZF3Hz1+d cd+Izg2QAZfVtU5ADuRK8pEtNFwmBSiWEwOu03vc=
Message-ID: <985d7c5a-4b16-280e-c1d7-ee1e61edcf9e@hq.sk>
Date: Fri, 02 Jun 2023 18:13:08 +0200
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.10.0
Content-Language: en-US
To: "netmod@ietf.org" <netmod@ietf.org>
References: <01000187fd8e0407-84bd7e7b-ede3-43d8-a9b3-5d4d0a915509-000000@email.amazonses.com> <jr5nepvspm3kpoxbv6dpxwi234ggjuthvckeerj2hb3g3qdc6x@4o42ngfbw72f> <12cd6ad9-e384-7cbc-d14d-fdf58cdbb0df@hq.sk> <6fdiqbrvqqsrcddq4c4z7kpwnl7rublqizqoija23penfnuvbk@heqvysdnhuvp>
From: Robert Varga <nite@hq.sk>
In-Reply-To: <6fdiqbrvqqsrcddq4c4z7kpwnl7rublqizqoija23penfnuvbk@heqvysdnhuvp>
Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="------------ZsnDCrXIh77k0ba9U07v8gD2"
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/byouA3lQar0EOFGfzKjP4cUaiT4>
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: Fri, 02 Jun 2023 16:13:19 -0000

On 31/05/2023 09.50, Jürgen Schönwälder wrote:
> On Wed, May 31, 2023 at 02:13:11AM +0200, Robert Varga 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.
> 
> I have YANG modules that were extracted years ago using some version
> of smistrip of the past. Do you believe my files extracted back then
> are byte-by-byte equivalent to what some cron job produces on some
> github repo somewhere today?

smistrip tries to be smart with whitespace and the version I looked up 
does not actually refer to any specification. Also arriving at YANG 
files would then imply RFC6643 processing, right? If that is the case, I 
would say the chances of the files being byte-exact equivalents are 
close to, but not equal, to zero.

I do not quite understand how the problem of IETF still not publishing 
files should be solved, or whether in fact it is being solved. Do you 
have any references I could use to read up on the current state of 
affairs, please?

  Do you guarantee that the software behind
> the cron job will never ever be updated causing it to produce
> something where white space may differ?

No, obviously not. But there is a public ledger of all changes made to 
those files. So:

a) the cron job's results can feasibly be guarded against accidental 
overwrite

b) if that ever happens, there is a clear indication that it happened, 
when it happened and who has done it.

On the other hand those guarantees do not hold for RFCs either -- we 
have errata and the associated process.

Regards,
Robert