cddltool

Overview ¶

Package cddltool implements a real parser and structural validator for the CDDL subset used by spec/v1/wire-messages.cddl. It is not a general-purpose CDDL implementation: it deliberately supports exactly the constructs the protocol truth uses — rule definitions with '=' and '/=', unions, arrays with labelled entries and occurrence indicators, integer/text literals, numeric ranges, and the .size/.cbor/.le/.gt control operators — so that a grammar mistake, an undefined reference, or a wire message violating the published shape fails loudly instead of silently.

The validator decodes CBOR strictly (no tags, no indefinite lengths, no trailing bytes) before matching it against a rule, which makes golden positives and hand-built negatives meaningful conformance signals.