Quali sono i documenti che un RSPP alto rischio deve verificare durante una ispezione?