Which part of each Praos header is the signed one.

Orphans by necessity: Signed is declared in ouroboros-consensus and the header types in cardano-protocol, so no module owning either can host these. They are alone here so that the pragma covers nothing else.