[Cbor] CDDL Model for YANG-SID (draft-ietf-core-sid)

[Carsten Bormann <[e-mail]>]

draft-ietf-core-sid defines a file format for the interchange of YANG-SID allocation information.
This is a JSON file, a data model for which is provided in YANG (via RFC7951 YANG-JSON).

The spec of course also contains an example instance of such a file, which is directly useful as the SID allocation for the ietf-system YANG module.
However, it appears that the YANG ecosystem currently does not provide a way to mechanically validate that instance against the YANG model.

I find this rather unsettling.

Since we just did a global change (to fix our incorrect representation of uint64 in YANG-JSON), I wanted to make sure the SID file is not broken.

So I translated the YANG model into CDDL (and, yes, the example instance does validate, phew).

While I was at it, I remembered that there are a few other RFCs (or soon-to-be-RFCs) that would benefit from having CDDL models handy.

So I wrote an I-D [1] that presents a number of such models, including the SID-file model.

Please enjoy…
(And please do tell me about other RFCs that would benefit from the availability of CDDL-based models.)

Grüße, Carsten

[1]: https://www.ietf.org/archive/id/draft-bormann-cbor-rfc-cddl-models-00.html