Тип: contract · Статус: сведения требуют сверки с действующей установкой; архитектурные правила сформулированы как целевой контракт.
AutomatedVerificationProvider предоставляет общую семантику запроса, результата, источника и evidence. Решатель сначала проверяет локальные возможности и только затем доступный внешний Platform/provider fallback.
Внешний результат не равен автоматическому Permission: evidence проходит нормализацию и правила требований. Отказ внешнего сервиса не превращается в успешную проверку; статус должен быть объяснимым.
Нужны устойчивые идентификаторы проверки, повторяемые запросы без дублирования активных задач, аудит основания решения, управление таймаутами и возможность ручного пути.