use bstr .size and bstr.everparse-det-cbor in COSE

project-everest · Jan 17, 2025 · b5f9dc6 · b5f9dc6
1 parent bd06dfa
commit b5f9dc6
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/cddl/spec/cose.cddl b/src/cddl/spec/cose.cddl
@@ -46,7 +46,12 @@ header_map = {
     * label => values
 }
 
-empty_or_serialized_map = bstr ; TODO: .cbor header_map / bstr .size 0
+; Here I am using an everparse-specific construct to handle only the
+; deterministic CBOR subset. While RFC 9052 Section 9 says that COSE
+; requires the Deterministic CBOR restrictions of RFC 8949 Section
+; 4.2.1, that does not appear in the .cbor construct of the CDDL
+; specification.
+empty_or_serialized_map = bstr .everparse-det-cbor header_map / bstr .size 0
 
 COSE_Sign_Tagged = #6.98(COSE_Sign)