Опубликованный пакет / CLIR
labels.tyres
v0.1.0labels.tyres: боковина (индекс нагрузки, символ скорости) → подходит ли шина автомобилю; буква этикетки боковину не заменяет
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.13
- возможности
- status:not_known, value:quantity
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/doctrine-labels-tyres.lawir.json --target ts --target py --target go --out DIR
intl.tyre_labellingvocab.labelsvocab.maintenancevocab.vehicle
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 6
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| classified_for_severe_snow | text | часть D Приложения I: пиктограмма означает классификацию шины для ТЯЖЁЛЫХ снежных условий — это вывод акта, а не свойство рисунка | severe_snow_pictogram | LABELS_TYRES_BRIDGE |
| does_not_fit_by_load | text, text, dec | не подходит по нагрузке: не хватает столько килограммов на колесо | tyre_considered_fortyre_load_indexvehicle_required_load_indexitem_is_tyrevehicle_of_case | LABELS_TYRES_BRIDGE |
| does_not_fit_by_speed | text, text, dec | не подходит по скорости: не хватает столько километров в час | tyre_considered_fortyre_speed_symbolvehicle_required_speed_symbolitem_is_tyrevehicle_of_case | LABELS_TYRES_BRIDGE |
| letter_class_is_not_fitness | text, text | буквы этикетки (топливная экономичность, сцепление на мокром) о пригодности шины автомобилю не говорят ничего — вывод правового пакета без изменений | tyre_considered_fortyre_fuel_efficiency_classitem_is_tyrevehicle_of_case | LABELS_TYRES_BRIDGE |
| ms_without_pictogram_unrated | text | «M+S» без пиктограммы 3PMSF: снежное сцепление шины НЕ подтверждено испытанием по части D, и схема не приравнивает одно к другому | ms_markingsevere_snow_pictogram | LABELS_TYRES_BRIDGE |
| tyre_fits | text, text | вопрос tyre_fits: шина держит и требуемую массу, и требуемую скорость — обе проверки сразу | tyre_considered_fortyre_load_indextyre_speed_symbolvehicle_required_load_indexvehicle_required_speed_symbolitem_is_tyrevehicle_of_case | LABELS_TYRES_BRIDGE |
Входы · 10
| Имя | Параметры | Смысл |
|---|---|---|
| tyre_considered_for | text, text | The tyre is being considered for that vehicleEN |
| tyre_fuel_efficiency_class | text, enum | Annex I, Part A. The fuel efficiency class shown on the tyre labelEN |
| tyre_load_index | text, dec | Paragraph 2.28. The load-capacity index marked on the sidewallEN |
| tyre_speed_symbol | text, text | Paragraph 2.29. The speed-category symbol marked on the sidewallEN |
| vehicle_required_load_index | text, dec | The minimum load-capacity index the vehicle manufacturer requires, as stated in the vehicle documentsEN |
| vehicle_required_speed_symbol | text, text | The minimum speed-category symbol the vehicle manufacturer requires, as stated in the vehicle documentsEN |
| item_is_tyre | text, text | вещь дела и шина правового пакета — одно и то же (отождествление подаётся делом) |
| ms_marking | text | на боковине стоит «M+S» (Mud and Snow) |
| severe_snow_pictogram | text | на этикетке шины стоит пиктограмма трёх вершин со снежинкой (3PMSF) |
| vehicle_of_case | text, text | автомобиль словаря транспорта и автомобиль правового пакета шин — один и тот же |