intended-vs-implemented
Метод выявления разрыва между тем, что система должна делать согласно требованиям, и тем, что код делает фактически. Это класс багов, которые пропускают универсальные сканеры, так как у них нет модели намерений. Определяет, что считается задокументированным намерением, что — доказательством реализации, какие несоответствия имеют значение и как избегать неточных выводов. Используйте при аудите кода, созданного ИИ, проверке контроля доступа на соответствие задокументированным разрешениям или оценке соответствия кодовой базы собственной документации.
Что делает навык
Метод выявления разрыва между тем, что система должна делать согласно требованиям, и тем, что код делает фактически. Это класс багов, которые пропускают универсальные сканеры, так как у них нет модели намерений. Определяет, что считается задокументированным намерением, что — доказательством реализации, какие несоответствия имеют значение и как избегать неточных выводов. Используйте при аудите кода, созданного ИИ, проверке контроля доступа на соответствие задокументированным разрешениям или оценке соответствия кодовой базы собственной документации.
Как подключить
SKILL.md к навыкам ассистентаНавык — папка с файлом SKILL.md (описание + инструкции) и опциональными скриптами. Ассистент (Claude, Claude Code и совместимые) подхватывает его по описанию и следует шагам.