Fails to validate instance docs when schema contains different array contents based selectively on an array value

[rohanmahy]

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.)