Re: [Cbor] Adam Roach's Discuss on draft-ietf-cbor-cddl-06: (with DISCUSS and COMMENT)

Jeffrey Yasskin <jyasskin@chromium.org> Tue, 20 November 2018 19:59 UTC

Return-Path: <jyasskin@google.com>
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 0E7E4130DFF for <cbor@ietfa.amsl.com>; Tue, 20 Nov 2018 11:59:21 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -9.72
X-Spam-Level:
X-Spam-Status: No, score=-9.72 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_HIGH=-0.47, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.249, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001, USER_IN_DEF_SPF_WL=-7.5] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=chromium.org
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id prAdtGpTAuOh for <cbor@ietfa.amsl.com>; Tue, 20 Nov 2018 11:59:19 -0800 (PST)
Received: from mail-yb1-xb2c.google.com (mail-yb1-xb2c.google.com [IPv6:2607:f8b0:4864:20::b2c]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id DA8D1130DC6 for <cbor@ietf.org>; Tue, 20 Nov 2018 11:59:18 -0800 (PST)
Received: by mail-yb1-xb2c.google.com with SMTP id u103-v6so1251245ybi.5 for <cbor@ietf.org>; Tue, 20 Nov 2018 11:59:18 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=chromium.org; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=4VcUhH2u21mi/6t/WaEwsBBRokujxkxUYHmdBfcVMeY=; b=iK17xa3YRoEcpa0ZLpR4sDhR/M9TyjGyPf1olDG7sqEBr+IkhJ+CMcm72dcj0K/D1O BL5He4cnFYiPsMek6psCRL6bHbb2xaqK0rSYTSC+Rj9pel4VWxDuyiuJpUPnVd41Umks bXsCnovupktKXnFmm42D3y4wREw02VxKwseYY=
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=4VcUhH2u21mi/6t/WaEwsBBRokujxkxUYHmdBfcVMeY=; b=WxI094+4hUpuHcFAksRJutMKN/9k5K759B82fPLSRpD27Na4u7r+Ly69dFHFoRZTNZ EquiNTes4NuQhScWPCBtGZqAtATH8cficYm7bLYn+0xvMcHm/alQkWsZ0T7n0EhT6NCG HbIOa6Xd8zkEwEw+AykVcB8REVSdXIAmGrxTEc7H5/rf9L/UIZdpAq7PAiz+fat3VEIg VnjS3HwikZYyUc9zz5qXHtNAao59Jv+heDMN7dDFZaWCCZ7b5iI3i14f8kwoZOzkl2IK 53CwIY64IdSWGxhwf23w/CniLB/48Zje1YUPZnKIcx4b6dN5kfnDizC08KeDT+y9RKof KUkg==
X-Gm-Message-State: AA+aEWbiQSYp0e+dgG2CPYQ+GdtCGJa6EwrMnkoloKLeIG+ohtJlM25u m0R8RdIW8eT6WThiX/7wRWz2ihD1vngksHCabPvAOBx6dEU=
X-Google-Smtp-Source: AFSGD/VJgq8Hb4w8tCCNgVeYjxiP2tKwoOjJ9C1rIOUFrv2VqJUZ34MNYzGvNl+d/nydFtFlaY1HttRctQxnBnHX++M=
X-Received: by 2002:a25:c441:: with SMTP id u62-v6mr3366864ybf.424.1542743957557; Tue, 20 Nov 2018 11:59:17 -0800 (PST)
MIME-Version: 1.0
References: <154269134623.26525.15947501642666003321.idtracker@ietfa.amsl.com> <91495E47-A203-472E-8FFB-19A648D537C0@tzi.org> <29344.1542730100@localhost> <91D62AC5-769E-4D8A-915F-CD6E4902DB43@tzi.org> <5807.1542740180@localhost>
In-Reply-To: <5807.1542740180@localhost>
From: Jeffrey Yasskin <jyasskin@chromium.org>
Date: Tue, 20 Nov 2018 11:59:05 -0800
Message-ID: <CANh-dXm_ZOEZRL=YHta4QLh2s-ud_jvNH7FzODr8MNuWsYaUiA@mail.gmail.com>
To: mcr+ietf@sandelman.ca
Cc: Carsten Bormann <cabo@tzi.org>, cbor@ietf.org
Content-Type: multipart/alternative; boundary="000000000000927d1f057b1e1166"
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/mcoxNMFYVhfd5msLz6PmjxCuJkA>
Subject: Re: [Cbor] Adam Roach's Discuss on draft-ietf-cbor-cddl-06: (with DISCUSS and COMMENT)
X-BeenThere: cbor@ietf.org
X-Mailman-Version: 2.1.29
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, 20 Nov 2018 19:59:25 -0000

On Tue, Nov 20, 2018 at 10:56 AM Michael Richardson <mcr+ietf@sandelman.ca>
wrote:

>
> Carsten Bormann <cabo@tzi.org> wrote:
>     Adam> With the lack of any version indicators in CDDL, this seems like
> a
>     Adam> straight-up interoperability issue.
>
>     >> Carsten Bormann <cabo@tzi.org> wrote:
>     >>> There is no expectation that a tool that does not implement a
> control
>     >>> operator is particularly useful with a specification that does use
> it.
>     >>
>     >> okay, but wouldn't it still be good if there was a declaration at
> the top of
>     >> the file as to which revision of the specification the CDDL is
> assuming,
>     >> just so that the tool can fail gracefully?
>
>     > Once there is such a revision, that might make sense.
>
> Not really. It needs to in this version.
> Something like:
>           "CDDL RFC9123"
>
> at the top....
>
>     > Adding a control operator is not a revision — that is the whole point
>     > about exposing an extension point.
>
> Sure.
>
>     > (A tool can easily compare its inventory of control operators with
> the
>     > set used in the specification; no need for a separate declaration
>     > here.)
>
> So, the error is:
>     "RFC9756 control operator found in specification that claims RFC9123"
>

I think Carsten's point is that in order to declare the set of control
operators in use, it's not sufficient to declare just the CDDL RFC. A CDDL
document might be using CDDL RFC9123 and also control operators from
RFC9234, ISO123456, and W3C REC better-cddl-1.

Needing to list all of those, or even just explicitly list the control
operators in use, seems like a pain, and doesn't seem to help old tools
reject new controls much earlier in processing.

Jeffrey