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