1c Bsl Validate

---
name: 1c-bsl-validate
description: Проверка вызовов общих модулей в BSL по выгрузке конфигурации - существует ли модуль и экспортный ли у него метод; режим -Catalog - текстовый lint модулей по каталогу дефектов (транзакции, запросы, сообщения пользователю). Работает без платформы, по индексу от 1c-config-index
argument-hint: <ModulePath> -IndexPath index.json [-UnknownCalls] [-Detailed] | <ModulePath> -Catalog [-RuleId <ИД>] [-Json]
allowed-tools:
  - Bash
  - Read
  - Glob
---

# /bsl-validate - вызовы общих модулей против выгрузки, lint по каталогу дефектов

Отвечает на один вопрос: вызванный метод общего модуля вообще существует и экспортный ли он.
Переименовали метод или сняли `Экспорт` - вызовы в других модулях об этом не узнают до запуска.

Работает без EDT, без платформы и без базы. Синтаксис BSL этот навык НЕ проверяет - для синтаксиса
есть отдельный сервер `1c-syntax-checker-mcp`.

Второй режим - `-Catalog`: текстовый lint модулей по каталогу дефектов скила `1c-code-review`
(раздел ниже).

## Параметры

| Параметр      | Обяз. | Умолч. | Описание                                                       |
|---------------|:-----:|--------|-----------------------------------------------------------------|
| ModulePath    | да    | -      | Файл `.bsl` либо каталог - тогда обходится рекурсивно            |
| IndexPath     | да    | -      | Индекс от `1c-config-index`                                      |
| UnknownCalls  | нет   | -      | Дополнительно искать вызовы неизвестных имен (только общие модули) |
| Detailed      | нет   | -      | Показать счетчики даже когда есть замечания                      |
| MaxErrors     | нет   | 30     | Не выводить больше N замечаний                                   |

## Команда

```bash
python skills/1c-config-index/scripts/config-index.py -ConfigPath src -OutFile .cache/index.json
python skills/1c-bsl-validate/scripts/bsl-validate.py -ModulePath src -IndexPath .cache/index.json
```

```powershell
powershell.exe -NoProfile -File "skills/1c-bsl-validate/scripts/bsl-validate.ps1" -ModulePath "src" -IndexPath ".cache/index.json"
```

## Основная проверка: метод общего модуля

Вызов вида `ОбщиеФункции.Метод()`, где `ОбщиеФункции` есть в индексе среди общих модулей,
проверяется точно: метод обязан быть в списке экспортных. Ложных срабатываний тут нет - левая часть
однозначно опознана как общий модуль по имени из конфигурации.

Работает в ЛЮБЫХ модулях: формы, объекта, менеджера, общего.

Список экспортных методов индекс собирает разбором `Ext/Module.bsl` с вырезанными строчными
комментариями. Закомментированная процедура призраком в список не попадет.

## Дополнительная проверка: неизвестные имена (флаг `-UnknownCalls`)

Ищет `Имя.Метод()`, где `Имя` не объявлено в модуле, не общий модуль и не глобальная коллекция
платформы. Так ловится вызов УДАЛЕННОГО общего модуля.

Проверка идет **только в общих модулях** и **только по флагу**. Причина простая: у общего модуля
список доступных имен замкнут - все, что не локальная переменная, параметр или глобальная
коллекция, обязано быть общим модулем. У модуля формы или объекта это не так: `Дерево.ПолучитьЭлементы()`
обращается к реквизиту формы, который нигде не объявлен, и такая проверка выдала бы ложное
срабатывание на каждый реквизит.

Локальными считаются: `Перем`, параметры процедур и функций (включая значения по умолчанию), цели
присваиваний, переменные циклов `Для` и `Для Каждого`.

Список глобальных коллекций платформы в навыке заведомо НЕПОЛНЫЙ - их сотни. Именно поэтому
проверка и включается флагом: с ним она полезна, без него ничего не портит.

## Чего НЕ проверяется

Это не компилятор BSL. Без платформы недоступны типы выражений, число и типы параметров вызова,
директивы компиляции, доступность метода с клиента или сервера.

Намеренно пропускается:

- **цепочки** - в `Справочники.Номенклатура.СоздатьЭлемент()` корнем считается `Справочники`,
  а не `Номенклатура`;
- **вызов через переменную** - если имя объявлено в модуле, оно не трогается;
- **строковые литералы и комментарии** вырезаются до разбора: тексты запросов внутри строк полны
  точек, иначе каждая вторая строка запроса стала бы вызовом.

Все замечания - предупреждения, код возврата всегда 0. Это самый шумный класс проверок из всех,
что можно сделать по выгрузке, и ошибка тут дороже пропуска.

## Режим каталога дефектов (-Catalog)

Триггеры: нужен быстрый текстовый прогон модулей по каталогу дефектов - перед ревью, в
конфигурации без EDT, в конвейере после правок. Вход - файл `.bsl` или каталог (обход
рекурсивный); индекс конфигурации НЕ нужен. Правила - реестр
`scripts/catalog-rules.json` рядом со скриптом: массив объектов `id`, `title`, `kind`
(`regex` - паттерн по строкам модуля, `query-regex` - по тексту запросного литерала
целиком с номером строки по смещению совпадения, `structure` - многошаговая проверка).
Идентификатор правила равен идентификатору карточки
каталога дефектов; фикстуры карточек (`tests/catalog/<ИД>`) задают ожидаемые строки.

```bash
python skills/1c-bsl-validate/scripts/bsl-validate.py -ModulePath src -Catalog
python skills/1c-bsl-validate/scripts/bsl-validate.py -ModulePath src -Catalog -RuleId TXN-01 -Json
```

| Параметр  | Обяз. | Описание                                            |
|-----------|:-----:|-----------------------------------------------------|
| Catalog   | да    | Включить режим lint по каталогу                      |
| RuleId    | нет   | Выполнить только правило карточки с этим идентификатором |
| Json      | нет   | Печатать только JSON вместо таблицы                  |

Выход: таблица находок `[<ИД>] <файл>:<строка>  <фрагмент>` и итог (порядок находок -
файл, строка, идентификатор); последняя строка
`EVIDENCE {...}` - компактный JSON одной строкой (разделители без пробелов) с полями
`check` (всегда `bsl_validate@configurator`),
`ids`, `inputHash` (полный sha256 входа, 64 hex), `status` (`pass` - находок нет,
`findings` - находки есть), `findings` (находки с `id`, `file`, `line`, `match`) для
писателя следа; оба порта (Python и PowerShell) дают одинаковую строку байт в байт.
Пример:
`EVIDENCE {"check":"bsl_validate@configurator","ids":["TXN-01"],"inputHash":"<64 hex>","status":"findings","findings":[...]}`.
Коды выхода:
0 - находок нет, 1 - есть находки, 2 - ошибка вызова (нет пути, битый реестр).

Ограничения: только текстовые признаки без семантики - типов выражений, областей видимости
и разрешенных имен здесь нет. Находка - предупреждение с отсылкой к карточке каталога, а не
приговор: часть правил ловит и законные формы (например, ОБЪЕДИНИТЬ без ВСЕ при ожидаемых
дубликатах), финальное решение за карточкой и ревьюером.

## Связанные навыки

- `1c-config-index` - строит индекс, без него проверка не работает
- `1c-query-validate` - проверка текста запроса по той же выгрузке
- `1c-cfe-patch-method` - перехват метода в расширении