wip

Author: Mr-Leshiy

specs/definitions/generic/optional.cue

@@ -1,7 +1,9 @@
 package optional
 
+#field_without_default: 
+					"yes" |
+					"optional" |
+					"excluded"
+
 // Is a field Required, Optional or Excluded/Unused
-#field:
-	"yes" |
-	"optional" |
-	*"excluded"
+#field: #field_without_default | *"excluded"

specs/definitions/signed_docs/cose_headers.cue

@@ -5,7 +5,7 @@ package signed_docs
 
 import (
 	"list"
-	// "github.com/input-output-hk/catalyst-libs/specs/generic:optional"
+	"github.com/input-output-hk/catalyst-libs/specs/generic:optional"
 	"github.com/input-output-hk/catalyst-libs/specs/media_types"
 )
 
@@ -51,8 +51,9 @@ cose: headerFormats: #metadataFormats & {
 	coseLabel:   int | string
 	description: string
 	format:      #coseHeaderTypesConstraint
-	required:    "yes" | "optional" | "excluded"
-	
+	//required:    "yes" | "optional" | "excluded"
+	required:    optional.#field_without_default
+
 	if required != "excluded" {
 		if format == "Media Type" {
 			value: media_types.#contentType | [...media_types.#contentType]