Section 5.3.1 should give a general definition of ecdh_info for a KDC, like the one for sign_info in RFC 9594.
In that CDDL definition, it has to be possible for cred_fmt to also be null (0xf6), in case the KDC does not act as repository of authentication credentials for the group members.
To that end, Section 5.3.0 has to detail how this application profile uses ecdh_info. In particular, this OSCORE Group Manager always acts as repository of the authentication credentials of group members. Therefore, in each ecdh_info_entry, cred_fmt cannot be null (0xf6).
Section 5.3.1 should give a general definition of ecdh_info for a KDC, like the one for sign_info in RFC 9594.
In that CDDL definition, it has to be possible for cred_fmt to also be
null(0xf6), in case the KDC does not act as repository of authentication credentials for the group members.To that end, Section 5.3.0 has to detail how this application profile uses ecdh_info. In particular, this OSCORE Group Manager always acts as repository of the authentication credentials of group members. Therefore, in each ecdh_info_entry, cred_fmt cannot be
null(0xf6).