Al revisar protocolos, empiezo buscando pruebas invariantes y documentación como primer paso. Es la forma más rápida de entender qué propiedades son importantes y cómo funciona el protocolo. Si no encuentro invariantes documentados, sé que debo proceder con precaución.