[netmod] Re: RFC 7950 Inconsistency

Per Andersson <per.ietf@ionio.se> Wed, 24 June 2026 20:43 UTC

Return-Path: <perkietf@gmail.com>
X-Original-To: netmod@mail2.ietf.org
Delivered-To: netmod@mail2.ietf.org
Received: from localhost (localhost [127.0.0.1]) by mail2.ietf.org (Postfix) with ESMTP id 90229106C4C45 for <netmod@mail2.ietf.org>; Wed, 24 Jun 2026 13:43:48 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ietf.org; s=ietf1; t=1782333828; bh=q075Ylm4GT98BRk98j9LSPXUQcwZ1E3mzi9O13HNIMI=; h=References:In-Reply-To:From:Date:Subject:To; b=sjK2XRMr0Fhw923QjvA/aMsBaEdxzMXQjzLiJA6b61RdBd9OGQsReA7BmD9xU3LWw yjjC3H65Fniz1tzKw5/smzgyI3L3SndQNRlDOZtN5s9WJdJwl08Y4URvtojIdPHCgC 5hV5KT+9/tIxoYso8IuaeN21fzKdXNIUkRm0y4MU=
X-Virus-Scanned: amavisd-new at ietf.org
X-Spam-Flag: NO
X-Spam-Score: -1.893
X-Spam-Level:
X-Spam-Status: No, score=-1.893 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, FREEMAIL_FORGED_FROMDOMAIN=0.001, FREEMAIL_FROM=0.001, HEADER_FROM_DIFFERENT_DOMAINS=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=unavailable autolearn_force=no
Received: from mail2.ietf.org ([166.84.6.31]) by localhost (mail2.ietf.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id Yka9Fz2gZZYG for <netmod@mail2.ietf.org>; Wed, 24 Jun 2026 13:43:47 -0700 (PDT)
Received: from mail-pj1-f49.google.com (mail-pj1-f49.google.com [209.85.216.49]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature ECDSA (P-256) server-digest SHA256) (No client certificate requested) by mail2.ietf.org (Postfix) with ESMTPS id B5509106C4C39 for <netmod@ietf.org>; Wed, 24 Jun 2026 13:43:47 -0700 (PDT)
Received: by mail-pj1-f49.google.com with SMTP id 98e67ed59e1d1-37df2101987so58463a91.0 for <netmod@ietf.org>; Wed, 24 Jun 2026 13:43:47 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1782333821; x=1782938621; h=content-transfer-encoding:content-type:to:subject:message-id:date :from:in-reply-to:references:mime-version:x-gm-gg:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to:content-type; bh=5GMKEZMlW4WmsUXupxMk+gkha8on5uOJXuQ/nVPvSXQ=; b=dVlXejuK/8c/2afUTceeJq1WcQFuOdwXtuz+4mF/GWAb9CJUKEd3+MkidfCN3lOrTR TrLP3njHjIRaWfok41QKYQ7kceTLUofnN6ikDzcncxUm6Wd4SP7TSg4xyyfNaxuqCzYE dOTjB5CVJuXCMl43t+eIf8wQQLUy1OQT0FsTDO97IRilOojf0H313HKGhdtp9oDhWnpc SAdlacePJAqe2e1hBah+EV49hBq4ZN7cYiCdzTTlphLBYMsA0IJEtMzvVktWjla1KmNh nFX3v/a6P0gYe1XancQZ2KQdoL8ED2y7Ou5p+wBMG2MooeWiQFdds5KeDGZyQqFzfF13 llhw==
X-Forwarded-Encrypted: i=1; AHgh+RpVGn+Zmbdar8/BARLiOPegsnTokbYKQFerCU8NTicB3iNuvugi185Qbji55qMk1W0hYS8AXRc=@ietf.org
X-Gm-Message-State: AOJu0YwLg/P7Tvpilbc4vt/xF1SLsfqjPk1XtYf/7dkBXG827M+Y4sjA ustamFRsn2DCNS9aKme0fSeIqWxxFFeR/5EZxwrulu/jHAP/BA9/fUYbmY79/+pe1go=
X-Gm-Gg: AfdE7ckGv/eAU3Rf+OAMUnLe/lhgJJFmS3eleMkVuXMCsLEqQwzYp5qWhoByx8BaEtf sNwlwnb+hye/4hLWYJIJuCFLzqivB8cshro5MesleSwRRwGYnjtI+FNKG7imxlu5D68tOlm9+u5 tMjQ6l1030GTIYAWj/AuZpa5NvF2AP08l63v2N4TPEhbyny2NSrP7hkhVkRj6ruj03txdNTMgdK eYXV6RSsCXW0QhgKnIm/rEi0gGpwaUm3yYm1DaULyY+6M77bsNbIKx3dOh3no8qJh8hfzq/m8pS 6EYKrt4ygAoeQdWdeZkxAWAT1dkGb0kJ9aYljxGrT6ondiatgn6cX5a61qCGYD9D8t9Q6r79bdg SQfdnn5y+M8qxzhlz95vbcFJr97/VnYrL1qZFBUUpnCUctYY8weEVn7hTZzmn7zQQz64xAopTRA wpJ8UPa3qGhNhNepVeQkz5ZaNbViWaHq9O+dIICpziHXfDs+PhhoF9d3ZfH/Pkbq3UM6/f6mf4h /O1ndhBH3LmUm6L6eakdRniSLkK9AcVEVbLQXwe3HFgOL8CMA==
X-Received: by 2002:a17:902:e742:b0:2c7:ef84:c58e with SMTP id d9443c01a7336-2c7ef84c5a5mr13069905ad.1.1782333820745; Wed, 24 Jun 2026 13:43:40 -0700 (PDT)
Received: from mail-pf1-f179.google.com (mail-pf1-f179.google.com. [209.85.210.179]) by smtp.gmail.com with ESMTPSA id d9443c01a7336-2c7f63b2bedsm5196345ad.44.2026.06.24.13.43.40 for <netmod@ietf.org> (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 24 Jun 2026 13:43:40 -0700 (PDT)
Received: by mail-pf1-f179.google.com with SMTP id d2e1a72fcca58-8455b0a5c6eso76210b3a.0 for <netmod@ietf.org>; Wed, 24 Jun 2026 13:43:40 -0700 (PDT)
X-Forwarded-Encrypted: i=1; AHgh+RpHxkBeCCjOpRN4bVpdkprIeXj6yUaGGVANjO8dPe0WHruHAgpILGRnRwTMG2f3M4364lHONHo=@ietf.org
X-Received: by 2002:a05:6a00:2d14:b0:842:38c8:3ef8 with SMTP id d2e1a72fcca58-8458f2d15d6mr6291538b3a.5.1782333820121; Wed, 24 Jun 2026 13:43:40 -0700 (PDT)
MIME-Version: 1.0
References: <f908d758-13a9-43fc-b1d3-1d738a3fa055@nic.cz> <CACvbXWFnyXsNOL+mMt5Pkbch54wKaT5t+743piw-gGNnXy4qDQ@mail.gmail.com> <m27bnotpal.fsf@lhotka.name>
In-Reply-To: <m27bnotpal.fsf@lhotka.name>
From: Per Andersson <per.ietf@ionio.se>
Date: Wed, 24 Jun 2026 22:43:27 +0200
X-Gmail-Original-Message-ID: <CACvbXWEf3XAYfpM8vHRFdQusbQc-1YHsbZyWGp4GoqPgsih9ZA@mail.gmail.com>
X-Gm-Features: AVVi8Cfq7PLGbiFuvv_o0aKb4LtzERulzbBXKjXG6DEnd_0mrmzYFrWvcoztUAE
Message-ID: <CACvbXWEf3XAYfpM8vHRFdQusbQc-1YHsbZyWGp4GoqPgsih9ZA@mail.gmail.com>
To: Per Andersson <per.ietf@ionio.se>, Vojtech Vilimek <vojtech.vilimek=40nic.cz@dmarc.ietf.org>, "netmod@ietf.org" <netmod@ietf.org>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Message-ID-Hash: Y5MS7RMUVJB4KQVEN2JOWPWFQRSIODFP
X-Message-ID-Hash: Y5MS7RMUVJB4KQVEN2JOWPWFQRSIODFP
X-MailFrom: perkietf@gmail.com
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; header-match-netmod.ietf.org-0; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
X-Mailman-Version: 3.3.9rc6
Precedence: list
Subject: [netmod] Re: RFC 7950 Inconsistency
List-Id: NETMOD WG list <netmod.ietf.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/Ickb713iHj_MuL-YHdjl6Q9ZTRk>
List-Archive: <https://mailarchive.ietf.org/arch/browse/netmod>
List-Help: <mailto:netmod-request@ietf.org?subject=help>
List-Owner: <mailto:netmod-owner@ietf.org>
List-Post: <mailto:netmod@ietf.org>
List-Subscribe: <mailto:netmod-join@ietf.org>
List-Unsubscribe: <mailto:netmod-leave@ietf.org>

On Wed, Jun 24, 2026 at 8:39 AM Ladislav Lhotka <ladislav@lhotka.name> wrote:
>
> Per Andersson <per.ietf@ionio.se> writes:
>
> > On Tue, Jun 23, 2026 at 8:49 AM Vojtech Vilimek
> > <vojtech.vilimek=40nic.cz@dmarc.ietf.org> wrote:
> >>
> >> Hi netmod,
> >>
> >> I found an inconsistency in the RFC 7950: YANG 1.1, see below.
> >>
> >> Section 7.1.5 The "import" statement, 3rd paragraph:
> >>     When the optional "revision-date" substatement is present, any
> >>     typedef, grouping, extension, feature, and identity referenced by
> >>     definitions in the local module are taken from the specified revision
> >>     of the imported module.  It is an error if the specified revision of
> >>     the imported module does not exist.  If no "revision-date"
> >>     substatement is present, it is undefined from which revision of the
> >>     module they are taken.
> >>
> >> Section 5.6.5 Implemening a Module, 5th paragraph:
> >>     If a server lists a module C in the "/modules-state/module" list from
> >>     "ietf-yang-library" and there are other modules Ms listed that import
> >>     C without specifying the revision date of module C, the server MUST
> >>     use the definitions from the most recent revision of C listed for
> >>     modules Ms.
> >>
> >>
> >> The revision could not be undefined and the most recent at the same
> >> time. The MUST in overview section make things easier. I want to file
> >> an erratum but before that I am open for discussion.
> >
> > Having a clear rule is desireable, and it already exists as you state.
> >
> > I would expect to take the statements from the latest available YANG
> > module on the system if not stating which version to import explicitly.
>
> An alternative is to leave imported revisions unresolved at the YANG level and modify YANG library so that the actual revisions imported to each module can be specified there. This makes more sense to me as different implementations may have different preferences wrt revisions used.

Perhaps this is solved by using YANG Packages? In any case, it seems
to be a bigger effort that the suggested Errata.

Currently the presented sections contradict each other, and undefined
behavior is never desired.


--
Per


> Lada
>
> >
> >
> > --
> > Per
> >
> > _______________________________________________
> > netmod mailing list -- netmod@ietf.org
> > To unsubscribe send an email to netmod-leave@ietf.org
>
> --
> Ladislav Lhotka <ladislav@lhotka.name>
> PGP Key ID: 0xB8F92B08A9F76C67