отладки, развёртывания и валидации политик. Проверки Automated Reasoning используют двухэтапный процесс: сначала базовые модели (foundation models) переводят вопросы и ответы в формальную логику, а затем решатель SMT (Satisfiability Modulo Theories, «выполнимость по модулю теорий») проверяет эту логику на соответствие правилам политики, выдавая математически обоснованные и объяснимые вердикты. Шесть навыков включают builder (построитель), reviewer (рецензент), tester (тестировщик), debugger (отладчик), deployer (развёртывающий) и validator (валидатор) — каждый со своими инструкциями и скриптами для взаимодействия с конкретными API (Application Programming Interface, «программный интерфейс приложения»). В статье приводится пример на основе политики родительского отпуска, демонстрирующий, как создать политику из исходного документа, просмотреть отчёты о качестве, запустить тесты и развернуть решение за guardrail («ограждением», защитным механизмом). Ключевые выводы подчёркивают, что объяснимость играет центральную роль: каждый вердикт сопровождается подтверждающими или противоречащими правилами, а вердикт SATISFIABLE («выполнимо») не является провалом — он указывает на согласованность, а не на логическое следование (entailment). Навыки также учитывают такие ограничения, как лимит на количество одновременных потоков сборки (build workflows), автоматически освобождая занятые слоты.