The text here looks confusing: <hr> <img width="772" height="238" alt="Image" src="https://github.com/user-attachments/assets/38b05dd9-c60e-4a7a-8b53-7e65b6ddac15" /> <hr> I think the 'MUST' for the proof types is not intended to be a MUST given the 'SHOULD' in the following section.