Fails to validate instance docs when schema contains different array contents based selectively on an array value
rohanmahy opened this issue · 0 comments
rohanmahy commented
In the CDDL schema here, one array (NestedPart) has different subsequent contents based on the value of the 4th element of the array ("cardinality").
NestedPart = [
disposition: baseDispos / $extDispos / unknownDispos,
language: tstr,
partIndex: uint .size 2,
( NullPart // SinglePart // ExternalPart // MultiPart)
]
NullPart = ( cardinality: nullpart )
SinglePart = (
cardinality: single,
contentType: tstr,
content: bstr
)
ExternalPart = (
cardinality: external,
contentType: tstr,
url: uri,
expires: uint .size 4,
size: uint .size 8,
encAlg: uint .size 2,
key: bstr,
nonce: bstr,
aad: bstr,
hashAlg: uint .size 1,
contentHash: bstr,
description: tstr
)
MultiPart = (
cardinality: multi,
partSemantics: chooseOne / singleUnit / processAll,
parts: [2* NestedPart]
)
nullpart, single, external, and multi and the integers 0 through 3 respectively.
The schema itself compiles fine with this tool.
Instance documents using this schema validate fine with the Ruby validator but fail with this project.
Sample run
rohan@Rohans-MBP examples % /Users/rohan/.cargo/bin/cddl compile-cddl --cddl ../mimi-content.cddl
[INFO] ../mimi-content.cddl is conformant
rohan@Rohans-MBP examples % /opt/homebrew/lib/ruby/gems/3.3.0/bin/cddl ../mimi-content.cddl validate original.cbor
rohan@Rohans-MBP examples % /Users/rohan/.cargo/bin/cddl validate --cddl ../mimi-content.cddl --cbor original.cbor
[INFO] Root type for validation: NestedPart
[ERROR] Validation of "original.cbor" failed: error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 1, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 12, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 1, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 12, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 1, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 12, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 1, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 12, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 1, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 12, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 1, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 12, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 1, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 12, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 1, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 12, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 1, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 12, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice at cbor location : expected array with length 1, got 7
error validating type choice at cbor location : expected array with length 3, got 7
error validating type choice at cbor location : expected array with length 12, got 7
error validating type choice at cbor location : expected array with length 3, got 7
error validating type choice at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 1, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 12, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice type choice in group to choice enumeration at cbor location : expected array with length 3, got 7
error validating type choice at cbor location : expected array with length 1, got 7
error validating type choice at cbor location : expected array with length 3, got 7
error validating type choice at cbor location : expected array with length 12, got 7
error validating type choice at cbor location : expected array with length 3, got 7
error validating type choice at cbor location : expected array with length 3, got 7
error validating type choice at cbor location : expected array with length 1, got 7
error validating type choice at cbor location : expected array with length 3, got 7
error validating type choice at cbor location : expected array with length 12, got 7
error validating type choice at cbor location : expected array with length 3, got 7
error validating type choice at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "NullPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "NullPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "NullPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "NullPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "NullPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "SinglePart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "SinglePart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "SinglePart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "SinglePart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "SinglePart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "SinglePart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "SinglePart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "SinglePart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "SinglePart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "SinglePart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "SinglePart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "SinglePart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "SinglePart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "SinglePart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "SinglePart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "ExternalPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 1, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 12, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 3, got 7
error validating group choice type choice group entry associated with rule "MultiPart" at cbor location : expected array with length 3, got 7
error validating type choice at cbor location /1: expected value 0, got []
error validating type choice at cbor location /1: expected type $extDispos, got Bytes([])
error validating type choice at cbor location /1: expected uint to be in range 9 <= value <= 255, got Bytes([])
error validating type choice at cbor location /1: expected type tstr, got Bytes([])
error validating type choice at cbor location /1: expected "[]" .size 2, got 0
error validating type choice at cbor location /1: expected value 0, got []
error validating type choice at cbor location /5: object missing key: "0"
error validating type choice at cbor location /5: object missing key: ""extDispos""
error validating type choice at cbor location /5: expected uint to be in range 9 <= value <= 255, got Map([])
error validating type choice at cbor location /5: map requires entry key of type tstr
error validating type choice at cbor location /5: object missing key: "2"
error validating type choice at cbor location /5: object missing key: "0"
error validating type choice at cbor location /4: array must have exactly one item
error validating type choice at cbor location /4: array must have exactly one item
error validating type choice at cbor location /4: array must have exactly one item
error validating type choice at cbor location /4: array must have exactly one item
error validating type choice at cbor location /4: array must have exactly one item
error validating type choice at cbor location /4: array must have exactly one item
error validating type choice at cbor location /3: expected 0, got Null
error validating type choice at cbor location /3: expected type $extDispos, got Null
error validating type choice at cbor location /3: expected uint to be in range 9 <= value <= 255, got Null
error validating type choice at cbor location /3: expected type tstr, got Null
error validating type choice at cbor location /3: expected 2, got Null
error validating type choice at cbor location /3: expected 0, got Null
error validating type choice at cbor location /0: expected 0, got Null
error validating type choice at cbor location /0: expected type $extDispos, got Null
error validating type choice at cbor location /0: expected uint to be in range 9 <= value <= 255, got Null
error validating type choice at cbor location /0: expected type tstr, got Null
error validating type choice at cbor location /0: expected 2, got Null
error validating type choice at cbor location /0: expected 0, got Null
rohan@Rohans-MBP examples %
instance documents and CDDL available at the repo https://github.com/ietf-wg-mimi/draft-ietf-mimi-content (CDDL in the main level, instance docs in the examples directory.)