While the proof types say something about the values that are included in proof_signing_alg_values_supported, the proof types section don't say anything how they correspond to the provided proofs. IMO, it should be the following:

• jwt -> alg should match any of proof_signing_alg_values_supported, and if attestation is provided, the alg of the attestation must also match any of proof_signing_alg_values_supported.
• attestation -> alg must match any of proof_signing_alg_values_supported
• ldp -> cryptosuite must match any of proof_signing_alg_values_supported