[Anima] Re: removing choice code from RFC8366bis -- Re: Review of draft-ietf-anima-rfc8366bis-17

Toerless Eckert <tte@cs.fau.de> Tue, 25 November 2025 16:56 UTC

Return-Path: <eckert@i4.informatik.uni-erlangen.de>
X-Original-To: anima@mail2.ietf.org
Delivered-To: anima@mail2.ietf.org
Received: from localhost (localhost [127.0.0.1]) by mail2.ietf.org (Postfix) with ESMTP id E8FBE905EE53 for <anima@mail2.ietf.org>; Tue, 25 Nov 2025 08:56:49 -0800 (PST)
X-Virus-Scanned: amavisd-new at ietf.org
X-Spam-Flag: NO
X-Spam-Score: -1.981
X-Spam-Level:
X-Spam-Status: No, score=-1.981 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.017, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: mail2.ietf.org (amavisd-new); dkim=pass (2048-bit key) header.d=cs.fau.de
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 pB3JqvqRCTxs for <anima@mail2.ietf.org>; Tue, 25 Nov 2025 08:56:46 -0800 (PST)
Received: from faui40.informatik.uni-erlangen.de (faui40.informatik.uni-erlangen.de [131.188.34.40]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-256) server-digest SHA256) (No client certificate requested) by mail2.ietf.org (Postfix) with ESMTPS id C9634905E763 for <anima@ietf.org>; Tue, 25 Nov 2025 08:56:19 -0800 (PST)
Received: from faui48e.informatik.uni-erlangen.de (faui48e.informatik.uni-erlangen.de [IPv6:2001:638:a000:4134::ffff:51]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by faui40.informatik.uni-erlangen.de (Postfix) with ESMTPS id 4dG83F4kn1z1RBMp; Tue, 25 Nov 2025 17:56:09 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs.fau.de; s=r20250630-faui40; t=1764089772; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=k+n3yOrpJYemaPonm3FXdVznMc0gpACktx8BdnOdSms=; b=rHPMEGeUIn8tmxKIgCsWq5z2sUQk3Fqa0EHVp3z4TFs7244A8MGY0VGi702LtokkNHSpui UmnP9SH2wIhlVC3zgMimZVN6GcUixPgg0XZhMTsrxeRoruEt4LvPI/8C4EJHNwMbCJ146P XLUhAoTdQZyE/2jCs9PkfLof7ToScai9PNDleEpWGcLsVvFcQClrVowj3pcCw5qCNHIU09 n/1iaHiQTgHgea4mnZYfbfxkZ7/jt5NfB0ygJC6L6IoOulJz+RwH0phKx5aN4yG1h6IHqK Vc5XuZwl0OSs3xzt42WKJ4GKvBY5vdKghUqTedtqhXUmThAkdqGOm5pQ3jvz/g==
Received: by faui48e.informatik.uni-erlangen.de (Postfix, from userid 10463) id 4dG83F475Lzl2Kg; Tue, 25 Nov 2025 17:56:09 +0100 (CET)
Date: Tue, 25 Nov 2025 17:56:09 +0100
From: Toerless Eckert <tte@cs.fau.de>
To: Michael Richardson <mcr+ietf@sandelman.ca>
Message-ID: <aSXfqZrmhhw9_XVD@faui48e.informatik.uni-erlangen.de>
References: <19ddedf3-7a8d-43e7-9941-4933c4ed0570@iotconsultancy.nl> <25597.1764086935@obiwan.sandelman.ca>
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <25597.1764086935@obiwan.sandelman.ca>
Message-ID-Hash: OPQA67B3YEEJN3NE6PXQ3J42WKHVHHDW
X-Message-ID-Hash: OPQA67B3YEEJN3NE6PXQ3J42WKHVHHDW
X-MailFrom: eckert@i4.informatik.uni-erlangen.de
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; header-match-anima.ietf.org-0; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
CC: Esko Dijk <esko.dijk@iotconsultancy.nl>, "anima@ietf.org" <anima@ietf.org>
X-Mailman-Version: 3.3.9rc6
Precedence: list
Subject: [Anima] Re: removing choice code from RFC8366bis -- Re: Review of draft-ietf-anima-rfc8366bis-17
List-Id: Autonomic Networking Integrated Model and Approach <anima.ietf.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/anima/Sc5qJ6bN_hokDpmSHNdQLrXpRec>
List-Archive: <https://mailarchive.ietf.org/arch/browse/anima>
List-Help: <mailto:anima-request@ietf.org?subject=help>
List-Owner: <mailto:anima-owner@ietf.org>
List-Post: <mailto:anima@ietf.org>
List-Subscribe: <mailto:anima-join@ietf.org>
List-Unsubscribe: <mailto:anima-leave@ietf.org>

Just installed pyang (probably not even newest, and it did create me 
ietf-voucher-tree-latest.txt as follows:

  structure voucher:
    +-- voucher
       +-- created-on?                        yang:date-and-time
       +-- extensions*                        union
       +-- manufacturer-private?              binary
       +-- assertion?                         enumeration
       +-- serial-number                      string
       +-- idevid-issuer?                     binary
       +-- (pinning)?
       |  +--:(pinned-domain-cert)
       |  |  +-- pinned-domain-cert?          binary
       |  +--:(pinned-domain-pubk)
       |  |  +-- pinned-domain-pubk?          binary
       |  +--:(pinned-domain-pubk-sha256)
       |     +-- pinned-domain-pubk-sha256?   binary
       +-- domain-cert-revocation-checks?     boolean
       +-- last-renewal-date?                 yang:date-and-time
       +-- (nonceless)?
       |  +--:(expires-on)
       |  |  +-- expires-on?                  yang:date-and-time
       |  +--:(nonce)
       |     +-- nonce?                       binary
       +-- est-domain?                        ietf:uri
       +-- additional-configuration-url?      ietf:uri

Which i guess looks correct at least to the indentation issue of those
components.

Maybe there is something wrong with the build setup in the directly so
that pyang is not correctly run ?

Cheers
    Toerless

On Tue, Nov 25, 2025 at 11:08:55AM -0500, Michael Richardson wrote:
> 
> Thank you for looking; it's hard to see some of these things while in the
> middle.
> 
> TL;DR> **I propose to take the choice stuff out of the YANG**
> 
> 
> 
> Esko Dijk <esko.dijk@iotconsultancy.nl> wrote:
>     > In Section 7.1, the last 3 elements fall outside of the structure "voucher". 
>     > Why is this the case? Can we correct/unify this or is there a reason (in
>     > which case we'd need to explain).
>     > For me personally, the less unneeded hierarchy the better; but the prime goal
>     > should be consistency - i.e. leafs at the same level in the hierarchy - where
>     > possible.
> 
> It took me a bit to understand the issue.
> I see now.  Wow. Oops.  The copy on my laptop does not have that problem.
> I must have fixed something.  I'll do -18 with the fix.
> Or maybe the tree diagram generation was broken due to the sid issues.... YES.
> 
> We've figured out that this is the result of the introduction of the
> "choice", which the YANG doctor told us to do.  To me, it's become a
> disaster.
> 
> **I propose to take the choice stuff out**
> 
> 
>     > In Section 8.1, similar question.
> 
>     > In Section 8.3, "expires-on" is present twice. This is not the case in 8.1,
>     > so it looks like 8.1/8.3 are not in sync?
> 
> This is the SID problems that we've been fighting.
> I see other duplicates as well.  Sigh.
> Would it better if the routine that truncates the long SID names just always
> kept just the last component?
> 
>     > We use RFC 6125 as reference, though it's not very important I think. This
>     > RFC has been obsoleted. I think we should remove or change this
>     > reference. Not sure which reference is good?
> 
> Yes, RFC6125's DNS-ID got replaced by RFC9525.
> The problem is that 9525 does not define the CN-ID check, which is part of
> what we reference.  I've split that reference up into two pieces.
> 
>     > I'm preparing a few editorial fixes in a single PR. One thing I found is that
>     > "Voucher Artifact" and "Voucher" and "Artifact" are all equal by the
>     > definitions in the Terminology section.
>     > It all refers to the Voucher Data plus the signature applied to it. Is that
>     > correct?
>     > (If so I'll add a cross-reference in the terms so it's easier for a reader to
>     > understand this.)
> 
> Thank you for the editorial PR.
> 
> --
> ]               Never tell me the odds!                 | ipv6 mesh networks [
> ]   Michael Richardson, Sandelman Software Works        |    IoT architect   [
> ]     mcr@sandelman.ca  http://www.sandelman.ca/        |   ruby on rails    [
> 
> 
> --
> Michael Richardson <mcr+IETF@sandelman.ca>   . o O ( IPv6 IøT consulting )
>            Sandelman Software Works Inc, Ottawa and Worldwide
> 
> 
> 
> 



-- 
---
tte@cs.fau.de