Аудит обвязки: правильно ли она устроена

Обвязку проверяют четыре инструмента, и у каждого свой вопрос:

Аудит читает и рассуждает, остальные три ломают и смотрят. Чтение не говорит, держится ли правило на деле, — это меряет probe. Слом не говорит, верно ли правило задумано, — это находит аудит. Поэтому они кормят друг друга, а не заменяют.

Заканчивается отчётом, а не правками

Находка аудита — недостающее, лишнее или противоречивое правило, а правка доктрины — развилка разработчика (loop.md, раздел «Найденное чинится сразу, в том же заходе»). Аудит кладёт перед ним выбор с ценой, а не ставит перед фактом.

Исключение одно: находка обычного класса — битый адрес, застывшее число, опечатка, мёртвая отсылка — чинится сразу и называется в отчёте отдельно.

Два корпуса

Доктрина одна на все проекты, и читать её в каждом проекте значит повторять работу мастерской. В проекте аудит читает только его документацию: смысл документа не видит ни одна сверка, и это чтение — единственная его проверка.

Области: корпус читается частями

Корпус обвязки в один контекст не помещается: проза — около 849 000 знаков, код инструмента — около 1 890 000 (замер 2026-10-07). Поэтому проход берёт одну область и читает её целиком и дословно:

1. доктрина, которую среда кладёт каждой сессии, — файлы .claude/rules/ без шапки paths:;
2. доктрина по поводу — файлы .claude/rules/ с шапкой paths:; состав и повод каждого — entry.md, раздел «Правила, которые не зависят от проекта»;
3. обоснования — .claude/rationale/;
4. посадка — .claude/seat/: инструкция, карта, семена, заметки;
5. справочники инструмента — .claude/tools/graph.md и .claude/tools/checks.md;
6. скиллы и состояние — .claude/skills/, .claude/state/;
7. код инструмента — по сверке: её код, её строка в checks.md и её рецепт в falsify.json; по режиму: его код и его раздел в graph.md.

Документация проекта делится по папке документов.

Какую область брать — решает история. Пройденная область помечается последней строкой коммита, которым проход закрыт:

Audit-pass: <номер области>; находок: <число>

Первыми берутся области, ни разу не пройденные, затем те, что правились после своего прохода:

git log --grep="^Audit-pass:" --format="%cs %h %(trailers:key=Audit-pass,valueonly)"
git log --oneline <коммит прохода>..HEAD -- <папка области>

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

Порядок прохода

1. Прочитать, что уже решено. Обоснование области — там отклонённые варианты; отложенное и открытые вопросы обвязки, в .claude/state/; в проекте — 02-todo.md, 09-decisions.md, 13-questions.md базы. Отклонённое заново не предлагается, если не появилось нового довода — и тогда он назван.
2. Прочитать область целиком и дословно. Код — вместе с прозой, которая его описывает. Не по адресу и не выборочно: дыры этого рода видны при сопоставлении разных мест между собой.
3. Пройти признаки — оба списка ниже, по каждому файлу области, и четыре вопроса — к каждому механизму области.
4. Держать дисциплину вывода. Утверждение опирается на якорь — путь и строку; без якоря это гипотеза и называется гипотезой. Прежде чем назвать противоречие, искать, не разрешено ли оно в другом месте свода. Связный вывод на непроверенной посылке проверкой не является.
5. Отчёт — раздел ниже.

Признаки: что ищется в обвязке

• правило без крючка — объявлено обязательным, но не входит ни в один исполняемый список, ни в форму отчёта, ни в вывод инструмента;
• крючок без правила — вывод инструмента, графа отчёта или шаг списка требуют того, чего в правилах уже нет или что переформулировали;
• держится одной прозой, хотя могла бы машина — признак виден в тексте (форма, имя, адрес, число, связь двух файлов), а держит его внимание. Предложение — сверка с рецептом; вход — матрица bar-hold и записи «Держится: вниманием»;
• код расходится со своим описанием — сверка или режим делает не то, что о нём сказано в checks.md или graph.md; комментарий описывает прежнее поведение;
• правило против машины — доктрина требует одного, а сверка, посадка или инструмент — другого. Вторая сторона не текст, поэтому её спрашивают у прогона;
• два места об одном — дословный или смысловой дубль, который разойдётся при первой правке одной из копий;
• противоречие — два правила требуют разного, и выбор оставлен читателю;
• неисполнимость — по формулировке нельзя сказать, выполнено ли правило;
• устаревший механизм — правило описывает то, как было устроено раньше;
• проверка сужена по источнику, а причина её про цель — исключение завели под ложное срабатывание одного источника, и с ним выпали все прочие;
• мёртвая отсылка прозой — ссылка без адреса, которую сверка не разбирает: «как сказано выше», имя режима или раздела, которого больше нет;
• форма записи без опознания близких форм — инструмент читает один точный образец, а запись, отличающаяся знаком («## Вопрос 5: …» вместо «## Вопрос 5. …»), не читается и не краснит: прогон при этом нулевой;
• путь сравнивается подстрокой — «../../CLAUDE.md» содержит «../CLAUDE.md», но ведёт выше корня; сравнение обязано разбирать путь;
• корпус сверки уже слов правила — правило говорит «в прозе свода», а сверка читает часть свода (записи базы и правила проекта, но не доктрину); например, конфиг корня с комментарием под решёткой вне сверок комментариев;
• корпус посчитан по другому предмету — сверка печатает «осмотрено N» по одному множеству, а проверяет другое; проверяемого нет — «осмотрено ноль» не встаёт;
• сверка читает форму записи, которой база больше не пишет — корпус ноль у каждого проекта с нынешней формой;
• одно опознание размножено по местам — каждое место со своим словарём и своей неполнотой форм;
• файл машины прочитан без проверки формы — разбор прошёл, а значение не той формы роняет читателя либо переписывается;
• находка без адреса строки — два упоминания дают две одинаковые строки;
• утверждение о пустоте, верное до первой записи — семя говорит «нет ни одного», и это устаревает без признака;
• находка по семени не называет его семенем — после обновления обвязки семя прежней редакции читается как работа проекта;
• режим не опознаёт свою площадку — режим, рассчитанный на особое окружение, вызванный вне его, печатает претензию на каждый предмет вместо одного отказа;
• образец в коде — ограде либо блоке с отступом — читается как запись — сверка или сводка берёт показанную форму («TODO», «42 файла», «Держится: ничем») за настоящую и краснит там, где форму лишь показывают; прочая проза корпуса при этом ограды пропускает;
• имя сверки в прозе не сверяется — после переименования сверки слова о ней с прежним именем остаются в тексте и отсылают к сверке, которой под этим именем нет;
• открытая ограда прячет хвост файла — читатели прозы пропускают ограды кода, и незакрытая длится до конца файла: всё ниже неё выпадает из сверок;
• шапка скилла сверена не вся — окружение подбирает скилл по description, а сверка читает name и признак вызова и молчит о пустом описании;
• значение, заданное полем настройки, повторено литералом в другом файле — правилах, семени, скилле;
• термин в двух смыслах — одно слово означает разное в разных местах;
• цена чтения не по моменту — доктрина, которую читает каждая сессия, держит то, что нужно только по поводу; кандидат в обоснование или в справочник;
• правило, которого нет — шаг, который делают всегда, но нигде не записан;
• храповик держит только сверху — объявленное число долга не даёт расти, а сжатия следом за починкой никто не спрашивает: предмет починен, число стоит прежним;
• починен пример, а не класс — одно место приведено, а соседние того же рода стоят как были: другой сценарий, другой файл, другой ключ;
• файл есть, а не той формы — читается как отсутствующий — разбор упал либо вернул не объект, и дальше идёт ветка «файла нет» с чужой причиной;
• сбой посреди работы мимо отката — откат ловит только ожидаемые отказы, а неожиданное исключение оставляет сделанное наполовину;
• опознание по признакам, которые не смотрят в предмет — решение «удалить как своё» стоит на подписи файла, а не на его содержимом.

У скилла свои классы дыр, потому что скилл — порядок действий, а не свод утверждений:

• противоречие внутри скилла — норма требует того, чего не даёт его же порядок шагов;
• шаг неисполним в записанном виде — команда делает не то, что о ней сказано, или нужного предмета на этом шаге ещё нет;
• второй режим скилла наследует правило без упоминания;
• параметр вызова без описанного исхода;
• стоп-условие не покрывает реальную ситуацию;
• шапка обещает не то, что делает тело: по шапке скилл выбирают, и расхождение уводит его на чужую задачу.

Четыре вопроса к каждому механизму — сверке, правилу, шагу, форме записи:

• что он говорит, когда его предмет исчез;
• что он говорит, когда носителей свойства стало два;
• по какому признаку сужен его корпус, и совпадает ли этот признак с причиной, ради которой механизм заведён;
• чем держится он сам и когда в последний раз срабатывал.

Признаки: что ищется в документации проекта

• противоречие двух документов — об одном предмете сказано разное;
• устаревший механизм — описано то, как было устроено раньше;
• пересказ кода вместо «почему» — абзац получается чтением файла;
• термин в двух смыслах — одно слово означает разное в разных документах;
• решение, отменённое другим решением — текст читается как действующий;
• обещание шире предмета — документ объявляет полный перечень или гарантию, которых не даёт;
• возможность без строки в витрине — и обратное: витрина обещает несуществующее;
• документ, которого нет в указателе;
• README, обещающий не то, что делает папка.

Источник истины — код: расхождение «код — документ» означает дефект документа.

Список признаков растёт

Класс, найденный где угодно — пробой, пробой планки, ревью, случайным чтением, — дописывается в списки выше тем же заходом. Иначе аудит ищет вчерашние классы.

Обмен с probe и bar-probe

• Логическая дыра, найденная здесь, уходит в следующий прогон проб отдельной пробой: чтение показывает, что правило висит, а держится ли оно чем-нибудь на деле, показывает только слом.
• Проба, удержанная одним вниманием, приходит сюда: её класс — кандидат в признак «держится одной прозой, хотя могла бы машина».
• Критерий, который bar-probe пропускает, читается здесь: его формулировка, его держатели, его вопросы модели.

Отчёт

• область, коммит, на котором её читали, и что из неё не прочитано;
• находки — по каждой: класс, адрес, что не так, чем грозит, предложение и его цена, включая то, что оно добавит к обязательному чтению;
• исход по каждой — прямым утверждением: исправлено (только для находок обычного класса); вопрос разработчику — с записью в список вопросов (.claude/state/questions.md, в проекте — 13-questions.md), чтобы находка пережила сессию; отклонено — с причиной;
• прямой вопрос о составе работ — и ожидание ответа.

После ответа работа идёт по обычным правилам. Отклонённое разработчиком ложится в обоснование того правила, которого касалось, — там его найдёт следующий проход на шаге 1.