Re: [Cbor] CDDL 2 -- non-literal tags support

Carsten Bormann <cabo@tzi.org> Tue, 07 March 2023 14:08 UTC

Return-Path: <cabo@tzi.org>
X-Original-To: cbor@ietfa.amsl.com
Delivered-To: cbor@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 1B33EC15171B for <cbor@ietfa.amsl.com>; Tue, 7 Mar 2023 06:08:57 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.199
X-Spam-Level:
X-Spam-Status: No, score=-4.199 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
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 BJAOACFBtmCb for <cbor@ietfa.amsl.com>; Tue, 7 Mar 2023 06:08:54 -0800 (PST)
Received: from smtp.uni-bremen.de (gabriel-smtp.zfn.uni-bremen.de [IPv6:2001:638:708:32::15]) (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 1FE89C1516E3 for <cbor@ietf.org>; Tue, 7 Mar 2023 06:08:52 -0800 (PST)
Received: from [192.168.217.124] (p548dc9a4.dip0.t-ipconnect.de [84.141.201.164]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.uni-bremen.de (Postfix) with ESMTPSA id 4PWHNw0tX9zDCcN; Tue, 7 Mar 2023 15:08:48 +0100 (CET)
Content-Type: text/plain; charset="utf-8"
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.7\))
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <DB9PR08MB65249ABDEB8DFFC5E3F5E1489CB79@DB9PR08MB6524.eurprd08.prod.outlook.com>
Date: Tue, 07 Mar 2023 15:08:47 +0100
Cc: "cbor@ietf.org" <cbor@ietf.org>
X-Mao-Original-Outgoing-Id: 699890927.590951-9a43eede98e232b03be4d81cab2011ab
Content-Transfer-Encoding: quoted-printable
Message-Id: <459BF171-857D-4A4F-BE3A-7C1CA31925B5@tzi.org>
References: <DB9PR08MB65249ABDEB8DFFC5E3F5E1489CB79@DB9PR08MB6524.eurprd08.prod.outlook.com>
To: Thomas Fossati <thomas.fossati@arm.com>
X-Mailer: Apple Mail (2.3608.120.23.2.7)
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/56wOtzbJ3kalnLrUAy17WuEyGHo>
Subject: Re: [Cbor] CDDL 2 -- non-literal tags support
X-BeenThere: cbor@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: "Concise Binary Object Representation \(CBOR\)" <cbor.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/cbor>, <mailto:cbor-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/cbor/>
List-Post: <mailto:cbor@ietf.org>
List-Help: <mailto:cbor-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/cbor>, <mailto:cbor-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 07 Mar 2023 14:08:57 -0000

On 2023-03-07, at 14:38, Thomas Fossati <thomas.fossati@arm.com> wrote:
> 
> If I were there though, I'd be rooting for non-literal tags [1] to be finalised asap.

Right.  At the moment, I see the following steps, probably each with a document on its own:

* Section 2 of draft-bormann-cbor-cddl-2-draft, except for 2.3

These are grammar fixes that are conceptually well-understood and at least partially implemented.
This would be one component that I’d like to finish very soon as an update to RFC 8610, maybe informally calling it CDDL 1.1 (because these are just a few little fixes).

* draft-bormann-cbor-cddl-more-control

These are additional control operators that simply exercise the existing extension point, like RFC 9165 did.  Most of the ones in this set are fully implemented.  We are in the process of getting some more feedback from implementers using those.  I hope to have an update of the spec ready before the IETF 116 I-D deadline.  This also could go ahead quickly, forming a triad with the above and RFC9165 and forming a new baseline for CDDL 1 support.

* Section 4 of draft-bormann-cbor-cddl-2-draft (“modules”)

A first draft implementation is out there.  This could be the first step of CDDL 2.0.  A possible later extension would be Appendix A.2, but that can be a separate document (on a longer timeline as it involves additional entities such as IANA) — it is not required to finish the current Section 4.

* Section 3 of draft-bormann-cbor-cddl-2-draft

Lots of music, lots of fun.  I think we will be playing a lot with this (starting at the IETF 116 Hackathon) before we fully write it up.  Could be something like a CDDL 2.5.  Until then, .feature already helps some.

Not on the main line of development, but still of interest:

* Section 2.3/A.1 of draft-bormann-cbor-cddl-2-draft, in conjunction with draft-bormann-cbor-edn-literals
* what else is in draft-bormann-cbor-cddl-freezer (e.g., I think we could document the JSON format for tool interchange soon, after CDDL 1.1)
* draft-bormann-cbor-rfc-cddl-models
* draft-bormann-cbor-draft-numbers
* draft-bormann-cbor-cddl-csv

Of course, this list interacts with documents outside the CDDL stream that also do carry CDDL (e.g., time-tag and CMW).

Grüße, Carsten