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

Jürgen Schönwälder <jschoenwaelder@constructor.university> Fri, 02 June 2023 16:37 UTC

Return-Path: <jschoenwae@constructor.university>
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 123B9C14CF13 for <netmod@ietfa.amsl.com>; Fri, 2 Jun 2023 09:37:33 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.897
X-Spam-Level:
X-Spam-Status: No, score=-1.897 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_ZEN_BLOCKED_OPENDNS=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=jacobsuniversity.onmicrosoft.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 8fLlPT_Xypao for <netmod@ietfa.amsl.com>; Fri, 2 Jun 2023 09:37:29 -0700 (PDT)
Received: from EUR05-AM6-obe.outbound.protection.outlook.com (mail-am6eur05on2060f.outbound.protection.outlook.com [IPv6:2a01:111:f400:7e1b::60f]) (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 EF280C14CF09 for <netmod@ietf.org>; Fri, 2 Jun 2023 09:37:27 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=B3SVaUOEURZvEKDIPsC7s+zqIkOmVJHKs9JwIPHRQU4YOR9qD88LKUG0BmPD6dfqgWKTilMepjq9/fwA09I3RgmhCGg/FmBgiRvD9uWEzF8ruqniBPO9UrRwexIAwJrudejnGqm5F7Q/cesNKzBiPiR3ep7Wb6TYwYqEctIWIubOPcm/tRjo8yaejPG20YB1Kl3FbNMbjXpOBYoH+J87yrLMr/KZCqveITP04iVAhRKcy44mCfiRpX9QXozuGAzdd04CrLWsn5+EKRUw+keblxfAKEIKKlJ/JAjuuWOXZtYO2sX9LJHZltUxh4vzibst7mv1rfRa0UKmQ8uvfBcxLA==
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-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=zP8YLV99N/3U0+n2aNGBxVwsMXIZGVt5mgXLQqawyb4=; b=VmVhiLCdfH3pzg1U1c7F9ABOZGvZgUBGxGWbPAQ9BOY/l68gi8ePNCLfT64H17MPT1WAVzQyowuisARGrHvq3UJW49kTfPCb7OJc9QqB7h0K3vgsgUwSjPEAj1il72ESw5uV9zdnzNw/WtWdl26NBilp0WQKpDbh4VdQ0mmn+MQqO1X5roCxmGnNM1pvQ7PVxP97oTSjU3PIxIVhaB4lG3EPWThtrBG+F9UzPinPF7Ay0bgu653V3xeydCl8deOXNTV/lfwgDHpBwO9elb7zID9Bu1wHp5xRk168cC1MOcHVBdiiaFBzjkVU7pbO1ytFKYBJZV3FpEpiWjbs+XLXPg==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=constructor.university; dmarc=pass action=none header.from=constructor.university; dkim=pass header.d=constructor.university; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jacobsuniversity.onmicrosoft.com; s=selector2-jacobsuniversity-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=zP8YLV99N/3U0+n2aNGBxVwsMXIZGVt5mgXLQqawyb4=; b=ZehEnofwCqlJfRe4LktPzQWnZLhVw3wapsAxET+ngs5NDzCJDD5T9oN+0+0TZR4DmHWY7RxvhhXcx6R6IJWuHYZNbXrs7lyY4i4XvsSrWVl8+3VQEHiLPcLMbKV6y5M7tO89pjDRAvbSMyw9W0HzALMmUxludvqZlBKYqjcK/CY=
Authentication-Results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=constructor.university;
Received: from GVXP190MB1991.EURP190.PROD.OUTLOOK.COM (2603:10a6:150:3::6) by AS8P190MB1400.EURP190.PROD.OUTLOOK.COM (2603:10a6:20b:3fa::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6433.23; Fri, 2 Jun 2023 16:37:21 +0000
Received: from GVXP190MB1991.EURP190.PROD.OUTLOOK.COM ([fe80::581b:1ec3:e89b:df50]) by GVXP190MB1991.EURP190.PROD.OUTLOOK.COM ([fe80::581b:1ec3:e89b:df50%6]) with mapi id 15.20.6455.024; Fri, 2 Jun 2023 16:37:21 +0000
Date: Fri, 02 Jun 2023 18:37:19 +0200
From: Jürgen Schönwälder <jschoenwaelder@constructor.university>
To: Robert Varga <nite@hq.sk>
Cc: "netmod@ietf.org" <netmod@ietf.org>
Message-ID: <vln6ljsf7d3esxz2szeglscueacga746pnflg2exhlgzss6h42@cuar6zkh74wx>
Reply-To: Jürgen Schönwälder <jschoenwaelder@constructor.university>
Mail-Followup-To: Robert Varga <nite@hq.sk>, "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> <985d7c5a-4b16-280e-c1d7-ee1e61edcf9e@hq.sk>
Content-Type: text/plain; charset="utf-8"
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <985d7c5a-4b16-280e-c1d7-ee1e61edcf9e@hq.sk>
X-ClientProxiedBy: AM4PR05CA0015.eurprd05.prod.outlook.com (2603:10a6:205::28) To GVXP190MB1991.EURP190.PROD.OUTLOOK.COM (2603:10a6:150:3::6)
MIME-Version: 1.0
X-MS-PublicTrafficType: Email
X-MS-TrafficTypeDiagnostic: GVXP190MB1991:EE_|AS8P190MB1400:EE_
X-MS-Office365-Filtering-Correlation-Id: 84e42e3e-9d43-4011-b1cd-08db6387a342
X-MS-Exchange-SenderADCheck: 1
X-MS-Exchange-AntiSpam-Relay: 0
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: +8g4to+vjs9nkTLFJxxAKzro+gPsGlIh5KYkYvcnpDcRhTkFUQykek5mXR8IFXgH15E5GHv3xSMfQBmrmRIn+fCbF1qegrjqtK7w6A+NR0XLSHEDIqwtQem4Zi2iNSsGnJxhYOGHZl7pqbVN6PakR1/aXwE9G/7slrViTJBpSdceNwfnosxZQh3bhSFYBvFrA4gztnvPE2UCt76QdMPQWv0cbFp0bCZAMsbUepu4XvCHwlC2XfS5CV2SAl+nqqnEgvTUGoFjQsFkF491bQEIrSup7NDVfMoyYE/fEuiAxv5skM57Pq502YDseY2AnOZnWJqdule7F83UXpjxR47ZtcREg+VvoKUgSmgm/v2NH22lNkuTbS8tKBIWNUdHLe5E37zH8mKtHpq5p++zriWsNFcPK46J8XjCOerxVCf3ixOSjbQ+tT1piGMf57wfBogKBA26oAJSUkv9yvq4bZsp7JGwfZ6oyxQExBqZ/JsKwSQNLo8xJBwqyB9m1nIfNh0VPLfZGi83Gknn1ncrV7GuiEjiwfhrWWq0n92yrC1ebFmKkR/WPYAUiXc/XCy8lCtn1Pz3Pq7L98fyXU31chQVMqZIDYJdtOJ+L2ZFivwpk3TjqBE/stEdDg54u9uQiOo2
X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:GVXP190MB1991.EURP190.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFS:(13230028)(7916004)(136003)(376002)(39850400004)(366004)(396003)(346002)(451199021)(41300700001)(41320700001)(66556008)(52116002)(66946007)(40140700001)(4326008)(786003)(33716001)(6486002)(966005)(66476007)(85202003)(85182001)(478600001)(6916009)(316002)(66574015)(8936002)(3450700001)(2906002)(83380400001)(186003)(5660300002)(9686003)(38100700002)(6506007)(26005)(8676002)(38350700002)(6512007)(46492015); DIR:OUT; SFP:1101;
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: SwkLf6sbF97K+zxOy38MYD+NiiPnmysSZ952gYhLqGrz/c3l+2QJ6XaFnUkDW7Wb6B6+1PZtqEpP60ZkNA1KXPFBmi6ouhOd7iCtThXqDB6wrXEXiLwWUQ3I0QqPMgNBqyUlxUCLVnoh6RI70TZJqGA+dZGX8Aw149XlLORAnzov1UyDIkWYiKsRRtLLEczCx+I9/G9hMJHomzJApNdUdEuuHbq0JP96ktKlSrajLrPRZSBwb2Da5g8cCXbeWqDl3NVcD6Uufk0xk+ofaAAFHXqNj2Bot2zKwLUCZ5LHRsX6GK2uIl4YCXTBwMkhIZ2Bp4ngylRCp1wGx31j0vKaaBoO0pdmQl/Yty/y2ztkhpQJnPpjXgj2NvhuXNJhLW2Ll5xTXvIxwPY1wu6n+cE1YKWosX/UJE4vO4oG5WFGHf7/Mznc0Z0F/t9IyUvPf4rFUn/CRxXy1BV+565q4v+bDmY8nEFS1Yek2FsrUi+PplmPlh9LWd33Dlbb0yKL7ALT2NT1pfoXn24ZguV6lWrr5yrkvdo1baeZgo1DfgYS3dVc3FVP58guO20sFSUfZf4Oujw9mphASCBNxsSizT6oG2Dbf7iGPGnrLuZ4IQ467Fld4uhGl9sCEpA6BYK4MhNKPjbqPkqHPfHHdXRiU2BFsHq34p6idQV7oZNmUulI94Uj6kokZWyXqCjpeoJY+1m5vzwYnDVaUGTubnvbwTgfOnpZR6xG7ETdWutpOLpYKAiln+3bTxHMt/sbH8FxsbGXtS8XwK0ogVy6FBX3rxygt1B5EE0huF832wNodUoCdl92zwyi7RyDG6Mmxpnk5Yv5rAVDAG2Je59DInWUjqf3h8LHHGxl7LJCr0zMm0jTesYlrnq9wKZNKPj8ju3LfLBIlbcxkogfh/wG3QwTrSwtjZCUTTLtugBRUrqaENTQQIYoGK+tQl1VURLXjQ8T+8FgFN8C9zr/2D0XQ3gAPPk0oTClCkdn6lScsqnRCX20v1VWRtIE3s0N34LPC/UB3c95Ekbyd3+ze5G3nZQcF2g9up2j0idgzpzZn5jkdYyW954IRaLOG9vj6+iZpZkfDcfuHasxtRHl6Eyk0XKZskHCBNf2UWLgAeQ7EiCe5LY6REcfh4w3rjT34DfUjV/MfiFAQLGfqEYlmnu8v5dUkhOn7cw44wJCL6Kt80i6QsyFoTel5aeqFR23x6fqG/aj7mcqhFJpgtsU3NIbRchdVcEBVQa/eBWZiW/2z0JX6Gpqs/qhngyFqB69Lokb1zSiJxcSrtFsGhSqQLsNyzAGqHqXseNlWmXjpPYdAA/AnYCybqJvOoD3ZKj6AGCVSxb0P6z/uwzZRB9QzHYaRLT1u3An6fRCkzoFC3daHCyr4vqeUJdvituaYWU1gdtUpr7w4jTFPQadzLrMPY/VESdFYQgtoeCDVCR4+wbOaM7Tf+tD6GfyWZYllFA69Bdh3YB9XtNCoPvg49LyPJtI3rhyaEwTz7Srw8pyOjbBdzm4NDON79OJvrV6cAhJinsgVdXWmavpoA3dJVUVnETUlgQVtkJ9uSCTwRY7zLBxIpw0gDNTjF6MgMsmoHh0w0wtRjOvyTsOk3T6sSxcxxYxb6zxK8qYPRCXwYivFiUMecB6QZAdO3E=
X-OriginatorOrg: constructor.university
X-MS-Exchange-CrossTenant-Network-Message-Id: 84e42e3e-9d43-4011-b1cd-08db6387a342
X-MS-Exchange-CrossTenant-AuthSource: GVXP190MB1991.EURP190.PROD.OUTLOOK.COM
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 02 Jun 2023 16:37:21.5673 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: f78e973e-5c0b-4ab8-bbd7-9887c95a8ebd
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: UUKcbbCncUUTLc8qcaDiZTPTmaAMHCLQMubG+XXkm8JWN00oZshlrgdE1NbkgWisVNpreINStskGztTBPZIeopTX4KPhPN6OGWyuNisOoVU=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: AS8P190MB1400
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/uR9VDF1dMLJOKSZ0Y90IZRijCtQ>
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:37:33 -0000

On Fri, Jun 02, 2023 at 06:13:08PM +0200, Robert Varga wrote:
> 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?

I am not aware of an official authoritative source of YANG files. The
IETF sends documents to the RFC editor for publishing and the RFC
editor meanwhile publishes multiple formats. The discussion that we
should have an official archival repository of data model definitions
is likely more than 20 years old, it surely predates YANG. I have
given up on this but perhaps fresh blood can resolve roadblocks.

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

It would be more useful to explain why byte-level equivalence is now
necessary. So far, we did fine without requiring this.

/js

-- 
Jürgen Schönwälder              Constructor University Bremen gGmbH
Phone: +49 421 200 3587         Campus Ring 1 | 28759 Bremen | Germany
Fax:   +49 421 200 3103         <https://constructor.university/>