xbsl-validate

Во всех командах ниже {python} означает python в Windows и python3 в macOS/Linux/WSL. Выбирай команду сразу по текущей ОС, не запускай оба варианта.

Используй CLI из текущего корня skills:

{python} <skills-root>/xbsl-validate/scripts/validate.py PATH... [--format text|json]

В исходниках репозитория это обычно skills/xbsl-validate/scripts/validate.py, в установленном Codex layout — ~/.codex/skills/xbsl-validate/scripts/validate.py.

Гарантии:

• только читает входные файлы и каталоги;
• рекурсивно обходит каталоги и проверяет только *.yaml;
• выдаёт детерминированные diagnostics в text или едином JSON envelope;
• использует sibling skill xbsl-meta-add/object-coverage.json из того же корня skills как единственный registry типов, статусов и владельцев;
• использует xbsl-meta-add/references/types.md как источник grammar для Тип;
• сначала определяет owning schema; common-поля и grammar Тип проверяет только у функциональных объектов и только в их документированных type slots, а UI, Проект.yaml и Подсистема.yaml маршрутизирует без объектных false-positive diagnostics;
• Документ проверяет наличие обязательного стандартного реквизита Дата;
• для Отчет, ЖурналДанных, ИнтегрируемоеПриложение, ПланОбмена, ПроцессИнтеграции, РегистрНакопления, РегистрСведений, Обработка, КлючДоступа и ЗапланированноеЗадание запускает object-specific validators после common слоя.

Стабильные object-specific rule ID:

• документ: owner.document.date;
• отчет: owner.report.source, owner.report.query_companion, owner.report.query_parameters, owner.report.interface, owner.report.layout_10;
• регистр: owner.register.dimensions, owner.register.resources, owner.register.member, owner.register.invalid_uuid, owner.register.resource_type, owner.register.registrar, owner.register.kind, owner.register.write_mode, owner.register.next_period, owner.register.subordinate_filter, owner.register.reserved_member;
• обработка: owner.processing.access_shape, owner.processing.call_right, owner.processing.handler, owner.processing.operations;
• запланированное задание: owner.scheduled_task.schedule, owner.scheduled_task.time_literal, owner.scheduled_task.location, owner.scheduled_task.yaml_handler, owner.scheduled_task.missing_companion, owner.scheduled_task.unreadable_companion, owner.scheduled_task.handler.
• ключ доступа: owner.access_key.boolean_literal, owner.access_key.manual_grant_required, owner.access_key.parameter_uuid, owner.access_key.system_recalculation_mode, owner.access_key.manual_handler_ignored.
• журнал данных: owner.data_journal.access, owner.data_journal.composition, owner.data_journal.project, owner.data_journal.source, owner.data_journal.source_kind, owner.data_journal.columns, owner.data_journal.column_uuid, owner.data_journal.attributes, owner.data_journal.attribute, owner.data_journal.attribute_source, owner.data_journal.attribute_missing.
• интегрируемое приложение: owner.integrable_application.system_settings;
• процесс интеграции: owner.integration_process.permissions_runtime (warning: нужны разрешения работающего приложения);
• план обмена с передачей данных: owner.exchange_plan.transfer, owner.exchange_plan.batch_kind, owner.exchange_plan.connections, owner.exchange_plan.project, owner.exchange_plan.external_name, owner.exchange_plan.connection, owner.exchange_plan.connection_kind.

Коды завершения:

• 0 — ошибок нет; warning diagnostics допустимы;
• 1 — contract violations;
• 2 — ошибка аргументов, I/O или parser failure.

object-coverage.json не является JSON Schema. Для partial объектов CLI сообщает coverage.partial, для routed вызывает adapter owning skill, а automatic/out_of_scope остаются warning diagnostics.

Значения локальных перечислений

Для скалярного ЗначениеПоУмолчанию простого ненулевого локального перечисления проверяются короткое имя и наличие элемента: types.enum_default_format, types.enum_default_member. Диагностика указывает поле и строку значения.

При наличии ближайшего Проект.yaml объявления ищутся только в этом проекте; для отдельного файла без проекта — среди соседних YAML. Локальные объявления имеют приоритет над импортами; в Импорт учитываются только доступные из другой подсистемы типы (ВПроекте/Глобально). Контекст читается и при проверке одного файла, но в счётчик files входят только явно выбранные входы.

Неизвестные внешние и неоднозначные типы, nullable/union/коллекции и составные литералы этой проверкой не проверяются. Отсутствие явного значения не считается ошибкой: перечисление может задавать его через ПоУмолчанию: Истина. Локальная проверка не заменяет компиляцию и применение сборки на платформе.