A.2.4 states "doctype: REQUIRED when the format parameter is present in the Credential Request." This text is incomplete as the expected format parameter value of "mso_mdoc" is missing.
Suggest to extend like this:
"doctype: REQUIRED when the format parameter with a value of "mso_mdoc" is present in the Credential Request."
Same holds true for A.1.1.4. and A.3.4.