При обзоре протоколов я начинаю с поиска инвариантных тестов и документации как первого шага. Это самый быстрый способ понять, какие свойства важны и как работает протокол. Если я не нахожу никаких задокументированных инвариантов, я знаю, что нужно действовать осторожно.