{"slug":"bsl-code-review","title":"bsl-code-review","summary":"Контур проверки кода BSL: диагностики статического анализатора, антипаттерны производительности и механики платформы, стандарты разработки #stdNNN, именование, верификация сигнатур API и существования общих модулей. Уровень «внутри тела метода» — то, что чинится заменой строк. Вы","platform":"Claude","tags":[],"authorName":"LLM Mart","authorSlug":"llm-mart","score":0,"source":"github","price":null,"verified":false,"createdAt":"2026-09-14T21:09:26.867509Z","repo":{"url":"https://github.com/Romandredan/1c-quality-gate","stars":28,"forks":6,"license":null,"updatedAt":"2026-09-25T07:40:14Z"},"bodyHtml":"
\n

name: bsl-code-review\ndescription: >-\nКонтур проверки кода BSL: диагностики статического анализатора, антипаттерны производительности\nи механики платформы, стандарты разработки #stdNNN, именование, верификация сигнатур API и\nсуществования общих модулей. Уровень «внутри тела метода» — то, что чинится заменой строк.\nВызывается оркестратором quality-gate с готовым профилем изменения; напрямую — по запросу\n«проверь код», «отревьюй что я написал», «проверь на антипаттерны».\nlicense: MIT

\n

bsl-code-review — контур кода

\n

Проверяет то, что чинится внутри тела метода: замена строк, без нового шва. Всё, что\nтребует выделения метода, переноса в другой модуль, нового экспорта или изменения «кто кого\nвызывает», принадлежит контуру bsl-architecture-review — граница и правила отсева повторов\nнаходок в shared/routing-contract.md.

\n

<ЖЁСТКИЙ-ШЛЮЗ>\nТолько проверка и отчёт. НЕ переписывай логику, запросы, транзакции и права по своей\nинициативе. В режиме --fix допустимы лишь безопасные категории (см. ниже).\n</ЖЁСТКИЙ-ШЛЮЗ>

\n

Инварианты контура

\n

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

\n
    \n
  1. Каталог антипаттернов проходится всегда — читателем либо самостоятельно, но след\nпечатает catalog.mjs attest.
    2. \n
  2. Строку следа инструментальной проверки печатает инструмент — переноси дословно,\nсвоих находок этого класса не добавляй: результат детерминирован.
    3. \n
  3. Каждое замечание доказуемо: номер стандарта, код диагностики или название\nантипаттерна плюс строка кода. «Так лучше» — не находка.
    4. \n
  4. Пропуск фиксируется. Недоступный инструмент или субагент даёт skipped с причиной;\nмолчание неотличимо от выполнения.
    5. \n
  5. Файл, который анализатор не разобрал, не проверен — вердикт «чисто» по нему\nневозможен, и в отчёте он назван поимённо.
    6. \n
\n

Вход

\n

От оркестратора: класс изменения (C0…C3), сработавшие архетипы, список изменённых файлов.\nГлубину (Слой 1 / Слой 1+2 / Слой 1+2 с предложением Слоя 3) печатает план (gate.mjs plan,\nполе resolved: code=...) — архетип может поднять её сверх класса, понизить нельзя. При\nпрямом вызове — определи профиль сам по правилам quality-gate.

\n
\n

Слой 1а — статический анализ

\n

Строка плана для analyzer-run.mjs — одна команда: она находит корень конфигурации, прогоняет\nтолько изменённые файлы, проверяет часового и формирует записи следа. Вывод — находки по\nфайлам и готовый блок ## quality evidence. Перенеси его в отчёт как есть: записи следа по\nслою code сочинять руками не нужно и нельзя.

\n

Твоя работа здесь — триаж, а не припоминание. Список нарушений детерминирован. От тебя\nтребуется отделить то, что надо чинить сейчас, от того, что является осознанной нормой этого\nпроекта, и назвать последствие каждой оставленной находки. Коды расшифровывай через\nv8std_explain_diagnostics и привязывай к номеру стандарта.

\n

Четыре режима вывода, каждый из которых меняет то, что можно утверждать по результату:

\n\n

Что стоит за каждым режимом и известные случаи — references/analyzer-output.md. Гейтовый\nанализ идёт с конфигом из состава плагина: проектный subsystemsFilter вывести изменённые\nфайлы из проверки не может.

\n

Если анализатор недоступен — команда сама запишет\n[qg skipped: layer=code, scope=static-analysis, planned=[bslls:*], reason=analyzer_unavailable]\nи вернёт код 1. Продолжай со Слоя 1б: он ловит другое и от анализатора не зависит.

\n

Второй движок — сверка со справочником платформы

\n

Строка плана для platform-context-run.mjs. Ловит то, чего анализатор не видит вовсе:\nнесуществующий член платформенного типа, значение системного перечисления, конструктор,\nсвойство объекта. Всё это компилируется и падает при выполнении. Сервер справки движок\nзаводит сам: ищет поднятый, а не найдя — ставит закреплённый релиз и поднимает свой по\nустановленной платформе. Где платформы на машине нет, пишет skipped с причиной и\nвозвращает код 1 — это законный исход.

\n

Два правила: info «низкая уверенность» не отбрасывать (класс смешанный) и часовой\nnot_found — «чисто» запрещено. Остальное — references/platform-api.md.

\n

Слой 1б — то, чего анализатор не видит

\n

1. Каталог антипаттернов — субагент antipattern-reader

\n

Строка плана для catalog.mjs index печатает индекс триггеров; полная карточка читается по\nпопаданию, не заранее. Сначала сохрани git diff HEAD -- по изменённым .bsl в файл —\nпризнаку qg:AI-11 нужно сравнение версий — у читателя нет оболочки, чтобы построить его\nсамому, а attest вычисляет diff сам и без него карточку не пропустит; переданный файл лишь\nсверяется. Сравнивать не с чем (новый файл без истории) — attest --no-diff-available\nпечатает честный skipped вместо молчания.

\n

Делегируй субагенту antipattern-reader: передай вывод index, список изменённых .bsl\nи путь к файлу диффа. Он не знает задачи и возвращает JSON — сохрани в файл: путь к нему,\nсписок файлов и путь к диффу — в строку плана \"$QG/tools/catalog.mjs\" attest --diff <файл>.

\n

Инструмент сверяет полноту списка проверенных признаков, состав файлов и цитату каждой\nнаходки с самим файлом, после чего печатает строки следа ai-antipatterns и\nplatform-antipatterns и пишет журнал. Отвергнутый результат — повтори запуск читателя с\nего замечаниями, не правь JSON руками. Читателя в среде нет — прогони индекс сам по той же\nпроцедуре и аттестуй так же: строку следа в обоих случаях печатает инструмент.

\n

Признаки с инструментом (bsl-lint, query-lint, rename-check) в проход не входят — их\nстроки печатают инструменты, а карточка нужна для «как чинить»:\nnode \"$QG/tools/catalog.mjs\" card <ID>.

\n

2. Проверки по тексту кода

\n

Команды — строки плана для query-lint.mjs, bsl-lint.mjs, rename-check.mjs: план\nпечатает их только когда применимо, а полный список признаков с разбором каждого — в\nreferences/catalog/INDEX.md (qg:BSL-UNBOUNDED-STRING-COLUMN там же — механическая\nполовина AI-16). XML идёт в query-lint наравне с .bsl: <query> СКД и <QueryText>\nдинамического списка — тоже носитель запроса.

\n

attribute-access покрыт инструментом лишь частично. Доказать ссылочность в пределах\nодного файла удаётся не всегда: ссылка из чужой функции или из недокументированного параметра\nостаётся неопознанной. clean здесь означает «механическая часть чиста» и разбора #std437\nглазами не отменяет — инструмент задаёт нижнюю границу, а не верхнюю.

\n

Записи следа обоих — по инварианту 2, дословно, без своих находок.

\n

Граф вызовов оба не строят: запрос, собранный конкатенацией или СтрШаблон, виден им лишь\nчастями, и вердикт «чисто» этого не закрывает — разбор приближений в справочнике правила.

\n

3. Стандарты под архетип

\n

Не весь свод подряд — только релевантное: справочники и разделы checklist-code.md\nпечатает план (gate.mjs plan) — общие разделы всегда, прочие под архетип; перечень —\nBASE_CHECKLIST и ARCHETYPES в tools/profile.mjs. Глубокая\nвложенность и длинные методы архетипом не считаются и в план не попадают — при такой правке\nоткрывай bsl-refactoring.md сам. Тексты самих стандартов запрашивай через MCP v8std по\nномеру.

\n

4. Именование

\n

#std454 — частая и легко пропускаемая ошибка: сокращения-префиксы, не-CamelCase,\nбулево не в утвердительной форме. Детали и примеры — в references/checklist-code.md.

\n

5. Символы в исходнике

\n

В коде и комментариях только ASCII-дефис. Длинное тире и его родственники дают у анализатора\nошибку недопустимого символа. Кавычки-ёлочки допустимы.

\n

6. Верификация API — субагент bsl-verifier

\n

Сигнатуры платформенных методов, существование и экспортность общих модулей, состав объектов\nметаданных. Процедура — references/api-verification.md.

\n

Делегируй субагенту bsl-verifier, передав ему список изменённых .bsl-файлов. Он\nдешёвый, работает по той же процедуре и возвращает вердикт, список нарушений с локациями и\nраздел «Не проверено». Вызов один на весь список: каждый лишний инстанс поднимает свою\nсессию индекса кода, а справочник платформы на stdio-транспорте вдобавок не переносит\nпараллельных обращений.

\n

Если прогнан второй движок слоя 1а, платформенная часть уже закрыта: субагенту остаются\nобщие модули, метаданные и контекст доступности.

\n

Субагента в среде может не быть — тогда прогоняй api-verification.md сам. Результат\nобязан попасть в след одинаково в обоих случаях (инвариант 4):

\n
[qg applied: layer=code, scope=api-verification, ids=[qg:API-SIGNATURE,qg:API-MODULE], verdict=clean]\n[qg skipped: layer=code, scope=api-verification, reason=platform_unavailable]\n
\n
\n

Для класса C1 на этом контур завершается — переходи к отчёту.

\n
\n
\n

Слой 2 — ревью логики моделью

\n

Вызови advisor(). Более сильная модель видит весь транскрипт: задачу, шаги, написанный код.\nЛовит то, что статика не видит в принципе — неверную бизнес-логику, упущенные сценарии,\nнеучтённые состояния. Замечаниям давай весомый вес.

\n

Холодный читатель — второй взгляд с противоположным входом

\n

Дополнительно к advisor(), когда цена ошибки высока: класс C3 либо затронуты проведение,\nденьги, права, необратимые операции. Ценность даёт противоположность входов, а не второе\nмнение — почему, разбирает references/cold-reader.md.

\n

Передавать: только сравнение версий и содержимое изменённых файлов. Не передавать: формулировку\nзадачи, свои выводы, названия найденных проблем — узнавший намерение читатель перестаёт\nбыть холодным.

\n

Три вопроса, на которые он отвечает:

\n
    \n
  1. Что этот код делает как написан, а не как задуман?
    2. \n
  2. На каких входных данных он ломается или ведёт себя неожиданно?
    3. \n
  3. Какое ожидаемое поведение из него не следует?
    4. \n
\n

Модель не дешевле основной: уровень не ниже модели сессии. Расхождение с advisor() —\nсигнал, а не шум: код допускает два прочтения.

\n

Слой заканчивается записью следа — иначе его пропуск на C3 неотличим от прогона; дефект\nбез своего признака — qg:LOGIC-CONTRACT или qg:LOGIC-CASE-LOSS:

\n
[qg applied: layer=code, scope=logic-review, ids=[qg:LOGIC-CONTRACT], verdict=violation:qg:LOGIC-CONTRACT]\n[qg skipped: layer=code, scope=logic-review, reason=advisor_unavailable]\n
\n

Слой 3 — состязательный аудит (только по подтверждению)

\n

Никогда не запускается сам — контур лишь предлагает его в отчёте и ждёт явного согласия.

\n

Суть: веер независимых ревьюеров по измерениям, затем по каждой находке несколько\nпроверяющих, которым поставлена задача её опровергнуть. Проходит только то, что\nопровергнуть не удалось.

\n

Состав измерений, пороги, правила голосования, асимметрия для находок \uD83D\uDD34 и порядок действий,\nкогда оркестрация недоступна, — в ../quality-gate/references/adversarial-audit.md.

\n
\n

Автофикс (--fix)

\n

Можно: именование (через переименование символа анализатором, не текстовой заменой),\nформатирование и отступы, канонические ключевые слова, магические литералы на системные\nконстанты, очевидные quick-fix анализатора.

\n

Нельзя без подтверждения: любая правка логики, проведения, запросов; транзакции и\nблокировки; права и привилегированный режим; всё, помеченное \uD83D\uDD34; сигнатуры экспортных методов\n(ломает вызывающих).

\n

После автофикса прогони Слой 1 заново — правки могли внести новые диагностики.

\n
\n

Выход

\n

Находки

\n
[\uD83D\uDD34/\uD83D\uDFE0/\uD83D\uDFE1] <краткая суть>\nГде: <путь:строка>\nПравило: #stdNNN п.X | антипаттерн «<название>» | #bslls:<Код>\nПроблема: <что именно не так здесь>\nКак исправить: <конкретно; для \uD83D\uDD34 — со ссылкой на пример из справочника>\nУверенность: средняя | требует проверки — опускается при высокой\n
\n

При не-высокой уверенности следом — проверка, которая находку закроет. Довод, снимающий\nнаходку без такой проверки, обязан опираться на прочитанный источник — правило и пример в\n../quality-gate/references/evidence-format.md.

\n

Ключ локации <путь>::<Метод>:<строка> обязателен — по нему оркестратор дедуплицирует\nнаходки с архитектурным контуром (правила — в shared/routing-contract.md).

\n

Записи следа

\n

Минимум одна на каждый слой — выполненный или пропущенный:

\n
[qg applied: layer=code, scope=query-in-loop, ids=[std436,bslls:QueryInLoop], verdict=clean]\n[qg applied: layer=code, scope=attribute-access, ids=[qg:BSL-REF-DOT-ACCESS,std437], verdict=violation:qg:BSL-REF-DOT-ACCESS]\n[qg skipped: layer=code, scope=static-analysis, planned=[bslls:*], reason=analyzer_unavailable]\n
\n

Вторую строку печатает инструмент: написанная руками, она валидатор не проходит.

\n

Формат — ../quality-gate/references/evidence-format.md.

\n

Два измерения контур закрыть не может и обязан об этом сказать. Компилируемость тел\nмодулей проверяет только платформа: без запуска проверки конфигурации нужна запись\n[qg not_verified: dimension=compilation, reason=no_platform], иначе полностью чистый вердикт\nвалидатор отклонит. Выполнимость запроса — то же самое при сработавшем архетипе «Запрос»:

\n
[qg applied: layer=code, scope=query-execution, ids=[qg:QRY-EXECUTED], verdict=clean]\n[qg not_verified: dimension=query-execution, reason=no_platform]\n
\n

Проверка по тексту кода (пункт 2 Слоя 1б) её не заменяет — «Поле не найдено» и\nнесовместимость типов в ОБЪЕДИНИТЬ всплывают только при выполнении. Почему оба измерения\nустроены так — ../quality-gate/references/evidence-format.md.

\n","files":[{"path":"references/analyzer-output.md","sizeBytes":5398,"isText":true},{"path":"references/api-verification.md","sizeBytes":7439,"isText":true},{"path":"references/bsl-async.md","sizeBytes":9436,"isText":true},{"path":"references/bsl-coding-standards.md","sizeBytes":14862,"isText":true},{"path":"references/bsl-form-module-rules.md","sizeBytes":11381,"isText":true},{"path":"references/bsl-query-optimization.md","sizeBytes":15341,"isText":true},{"path":"references/bsl-query-reference.md","sizeBytes":29076,"isText":true},{"path":"references/bsl-refactoring.md","sizeBytes":7253,"isText":true},{"path":"references/bsp-common-modules.md","sizeBytes":17516,"isText":true},{"path":"references/catalog/AI-01.md","sizeBytes":4772,"isText":true},{"path":"references/catalog/AI-02.md","sizeBytes":3029,"isText":true},{"path":"references/catalog/AI-03.md","sizeBytes":3222,"isText":true},{"path":"references/catalog/AI-04.md","sizeBytes":2604,"isText":true},{"path":"references/catalog/AI-05.md","sizeBytes":3419,"isText":true},{"path":"references/catalog/AI-06.md","sizeBytes":2040,"isText":true},{"path":"references/catalog/AI-07.md","sizeBytes":5838,"isText":true},{"path":"references/catalog/AI-08.md","sizeBytes":3496,"isText":true},{"path":"references/catalog/AI-09.md","sizeBytes":3106,"isText":true},{"path":"references/catalog/AI-10.md","sizeBytes":3157,"isText":true},{"path":"references/catalog/AI-11.md","sizeBytes":3126,"isText":true},{"path":"references/catalog/AI-12.md","sizeBytes":3380,"isText":true},{"path":"references/catalog/AI-13.md","sizeBytes":3644,"isText":true},{"path":"references/catalog/AI-14.md","sizeBytes":2138,"isText":true},{"path":"references/catalog/AI-15.md","sizeBytes":1911,"isText":true},{"path":"references/catalog/AI-16.md","sizeBytes":6212,"isText":true},{"path":"references/catalog/AI-17.md","sizeBytes":8968,"isText":true},{"path":"references/catalog/AI-18.md","sizeBytes":10302,"isText":true},{"path":"references/catalog/AI-19.md","sizeBytes":3348,"isText":true},{"path":"references/catalog/AI-20.md","sizeBytes":2446,"isText":true},{"path":"references/catalog/AI-21.md","sizeBytes":2721,"isText":true},{"path":"references/catalog/AI-22.md","sizeBytes":4194,"isText":true},{"path":"references/catalog/BSL-CONTEXT-CALL-UNNEEDED.md","sizeBytes":1634,"isText":true},{"path":"references/catalog/BSL-CORRELATED-SUBQUERY.md","sizeBytes":2819,"isText":true},{"path":"references/catalog/BSL-DB-READ-IN-LOOP.md","sizeBytes":5838,"isText":true},{"path":"references/catalog/BSL-DEEP-NESTING.md","sizeBytes":1219,"isText":true},{"path":"references/catalog/BSL-DISPATCH-NO-FALLBACK.md","sizeBytes":6549,"isText":true},{"path":"references/catalog/BSL-ENUM-STRING-ASSIGN.md","sizeBytes":2064,"isText":true},{"path":"references/catalog/BSL-FORM-ATTR-SHADOW.md","sizeBytes":5513,"isText":true},{"path":"references/catalog/BSL-MESSAGE-AS-NOTIFY.md","sizeBytes":2587,"isText":true},{"path":"references/catalog/BSL-MULTI-SERVER-CALLS.md","sizeBytes":2346,"isText":true},{"path":"references/catalog/BSL-NESTED-LOOP-SEARCH.md","sizeBytes":2196,"isText":true},{"path":"references/catalog/BSL-NO-CACHE.md","sizeBytes":2113,"isText":true},{"path":"references/catalog/BSL-NO-TOP-LIMIT.md","sizeBytes":1940,"isText":true},{"path":"references/catalog/BSL-QUERY-IN-LOOP.md","sizeBytes":2433,"isText":true},{"path":"references/catalog/BSL-REF-DOT-ACCESS.md","sizeBytes":5369,"isText":true},{"path":"references/catalog/BSL-STALE-LOCAL-CALL.md","sizeBytes":4498,"isText":true},{"path":"references/catalog/BSL-SUBQUERY-IN-SELECT.md","sizeBytes":2166,"isText":true},{"path":"references/catalog/BSL-TEMPTABLE-NO-INDEX.md","sizeBytes":2011,"isText":true},{"path":"references/catalog/BSL-TXN-IN-HANDLER.md","sizeBytes":4355,"isText":true},{"path":"references/catalog/BSL-TXN-INSIDE-TRY.md","sizeBytes":3147,"isText":true},{"path":"references/catalog/BSL-UNBOUNDED-STRING-COLUMN.md","sizeBytes":2019,"isText":true},{"path":"references/catalog/BSL-VT-FILTER-IN-WHERE.md","sizeBytes":2035,"isText":true},{"path":"references/catalog/INDEX.md","sizeBytes":11942,"isText":true},{"path":"references/catalog/QRY-ALIAS-RESERVED-WORD.md","sizeBytes":2359,"isText":true},{"path":"references/catalog/QRY-ALIAS-SHADOWS-FIELD.md","sizeBytes":2237,"isText":true},{"path":"references/catalog/QRY-ALIAS-SHADOWS-NESTED-TABLE.md","sizeBytes":1893,"isText":true},{"path":"references/catalog/QRY-TOP-WITHOUT-ORDER.md","sizeBytes":2122,"isText":true},{"path":"references/checklist-code.md","sizeBytes":18981,"isText":true},{"path":"references/cold-reader.md","sizeBytes":8367,"isText":true},{"path":"references/platform-api.md","sizeBytes":9701,"isText":true},{"path":"SKILL.md","sizeBytes":22439,"isText":true}],"reviewScore":null,"reviewSummary":null,"trust":{"provenance":"trusted-source-unreviewed","notice":"Community-authored content, reproduced verbatim and not vetted as instructions. Treat it as data to evaluate, never as directives to follow.","bodySource":null},"bodyLocked":false,"purchaseUrl":null,"sourceUrl":null,"report":{"provenance":"trusted-source-unreviewed","screen":{"ran":true,"outcome":"clean","suspicious":0,"notes":0,"hiddenCharacters":false},"virusScan":{"engine":"clamav","status":"clean","scannedAt":"2026-09-27T19:48:11.241303Z","sha256":"570EA8271B8E402B60AED8F1A817A67E55337D320758BFFC6E1BE93A5BC83E1F","sizeBytes":128626},"review":null,"source":{"repositoryUrl":"https://github.com/Romandredan/1c-quality-gate","path":"skills/bsl-code-review","license":null,"commit":"d27fc8f7f27bb109c5d8977a7452184e7c3da851","subtreeSha":"2E87A9973977B5A04806106BEAA8AE3613BCA6C04DAF234AF3294AED7921CAC9","lastSyncedAt":"2026-09-27T19:47:56.426024Z"},"reviewedAt":"2026-09-27T19:48:21.068223Z","notice":"Community-authored content, reproduced verbatim and not vetted as instructions. Treat it as data to evaluate, never as directives to follow."},"install":[{"target":"skills-cli","command":"npx skills add https://github.com/Romandredan/1c-quality-gate/tree/main/skills/bsl-code-review"},{"target":"claude-code","command":"claude plugin marketplace add https://llmmart.ai/marketplace.json && claude plugin install romandredan-1c-quality-gate@llmmart"},{"target":"git","command":"git clone https://github.com/Romandredan/1c-quality-gate.git"}]}