Aletheia — тестирование минимальности прав в правилах coding-агента
Саммари
Инструкционные файлы репозитория (CLAUDE.md, AGENTS.md, .cursorrules) управляют coding-агентом — и одновременно открывают его prompt injection. Вредоносное правило может запросить доступ к креденшелам или выгрузку данных, и при этом агент выдаёт корректный патч. Работа предлагает Aletheia: фреймворк тестирования минимальности прав, который переводит запрошенные полномочия в типизированный язык, синтезирует исполняемые конфигурации песочницы и ищет права, без которых задача всё ещё решается.
Из этого следует: аудит инструкционных файлов должен проверять не текст правила, а достаточность запрошенных полномочий. Это смена единицы анализа с «что написано в файле» на «что реально требуется задаче».
На практике для Revit: набор MCP-инструментов агента логично проверять тем же методом — снять одно разрешение, прогнать типовую задачу рефакторинга, и если она проходит, разрешение избыточно. Это превращает permission-модель из декларации в измеренный артефакт.
Важный нюанс: 3,75% ложных срабатываний на реальных правилах — это не ноль, и в проде это означает ручную очередь на разбор. Aletheia даёт сигнал, а не вердикт, и подавать его в пайплайн нужно именно так.
Второй нюанс: метод требует, чтобы у задачи были функциональные тесты. Там, где тестов нет, dispensability witness построить нельзя — а именно там риск инъекции обычно и выше.
Третий нюанс: снятие разрешений по одному — правильный выбор, но он дорогой по числу прогонов. Для репозитория с сотней правил это уже не быстрый CI-шаг, а отдельный ночной процесс.