Re: [Cbor] [Technical Errata Reported] RFC8610 (6527)

[Carsten Bormann <[e-mail]>]

Hi Sean,

thank you for submitting this errata report.

Without going into all the details here:

CDDL imports JSON syntax (Section 7 of RFC 8259) for text strings, and that has been somewhat simplified in the ABNF (which allows more than the RFC 8259 rules then actually allow).
However, there is one omission in the ABNF: the \u syntax, which is somewhat complicated in JSON because it is followed either by 4 hex digits that are not in the range d800 to dfff or by 4 hex digits in the range d800 to dbff, another \u, and four more hex digits dc00 to dfff.
Someone needs to sit down and write up the ABNF for that (or find some ABNF that already has done the work).

I’m not sure this update should all be put into an errata item; maybe we should pursue writing this up in a document that updates RFC 8610 that could then also add a less unwieldy syntax for non-BMP code points such as the ubiquitous \u{…}.

It seems people haven’t used a lot of \u notation with CDDL before: except for the C0 control characters not covered by JSON escapes, the literal character usually works well enough.

Grüße, Carsten


> On 2021-04-11, at 18:10, RFC Errata System <[e-mail]> wrote:
> 
> The following errata report has been submitted for RFC8610,
> "Concise Data Definition Language (CDDL): A Notational Convention to Express Concise Binary Object Representation (CBOR) and JSON Data Structures".
> 
> --------------------------------------
> You may review the report below and at:
> https://www.rfc-editor.org/errata/eid6527
> 
> --------------------------------------
> Type: Technical
> Reported by: Sean Bartell <[e-mail]>
> 
> Section: B
> 
> Original Text
> -------------
>     SESC = "\" (%x20-7E / %x80-10FFFD)
> 
> Corrected Text
> --------------
>     SESC = "\" (%x22 / %x27 / %x2F / %x5C / %x62 / %x66 / %x6E / %x72 / %x74 / %x75 4HEXDIG )
> 
> Notes
> -----
> The ABNF rule for string escape codes should specify which escape codes are allowed, and also specify that "\u" must be followed by four hex digits. My suggested correction is based on JSON, but with the addition of "\'" (single quote) for use in text-based byte strings (section G.2). (Presumably, characters outside the BMP must be escaped using a surrogate pair, as in JSON.)
> 
> Instructions:
> -------------
> This erratum is currently posted as "Reported". If necessary, please
> use "Reply All" to discuss whether it should be verified or
> rejected. When a decision is reached, the verifying party  
> can log in to change the status and edit the report, if necessary. 
> 
> --------------------------------------
> RFC8610 (draft-ietf-cbor-cddl-08)
> --------------------------------------
> Title               : Concise Data Definition Language (CDDL): A Notational Convention to Express Concise Binary Object Representation (CBOR) and JSON Data Structures
> Publication Date    : June 2019
> Author(s)           : H. Birkholz, C. Vigano, C. Bormann
> Category            : PROPOSED STANDARD
> Source              : Concise Binary Object Representation Maintenance and Extensions
> Area                : Applications and Real-Time
> Stream              : IETF
> Verifying Party     : IESG