Published package / CLIR
labels.tyres
v0.1.0labels.tyres: боковина (индекс нагрузки, символ скорости) → подходит ли шина автомобилю; буква этикетки боковину не заменяет
A package can be printed as a standalone module in a general-purpose language that answers without the rules engine: an answer and its status, with no proof, hashes or canonical document. Everything on this page comes from the generation plan built with the index; the gallery computes nothing of its own.
Generation plan
The plan builds: the package can be printed as a module.
- plan format
- law-backend-plan/0.13
- capabilities
- status:not_known, value:quantity
Checked against package scenarios
Not checked: the package scenarios have not been run against generated modules. A plan that builds does not yet show that the answers coincide.
Target languages
gopyts
refuse this plan · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)RUcsверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)RUdartверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)RUerlверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)RUexверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)RUjavaверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)RUktверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)RUluaверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)RUphpверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)RUrbверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)RUrsверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)RUscalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)RUswiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.13' (поддержана law-backend-plan/0.7)RU
./law dev backend corpus/clir/doctrine-labels-tyres.lawir.json --target ts --target py --target go --out DIR
intl.tyre_labellingvocab.labelsvocab.maintenancevocab.vehicle
Module interface
Questions are public relations with a producing rule; inputs are the facts a question reads. Function names follow the language: ask_… in Python, ask.… in TypeScript, Ask… in Go.
Questions · 6
| Name | Parameters | Meaning | Reads | Sources |
|---|---|---|---|---|
| classified_for_severe_snow | text | часть D Приложения I: пиктограмма означает классификацию шины для ТЯЖЁЛЫХ снежных условий — это вывод акта, а не свойство рисункаRU | severe_snow_pictogram | LABELS_TYRES_BRIDGE |
| does_not_fit_by_load | text, text, dec | не подходит по нагрузке: не хватает столько килограммов на колесоRU | tyre_considered_fortyre_load_indexvehicle_required_load_indexitem_is_tyrevehicle_of_case | LABELS_TYRES_BRIDGE |
| does_not_fit_by_speed | text, text, dec | не подходит по скорости: не хватает столько километров в часRU | tyre_considered_fortyre_speed_symbolvehicle_required_speed_symbolitem_is_tyrevehicle_of_case | LABELS_TYRES_BRIDGE |
| letter_class_is_not_fitness | text, text | буквы этикетки (топливная экономичность, сцепление на мокром) о пригодности шины автомобилю не говорят ничего — вывод правового пакета без измененийRU | tyre_considered_fortyre_fuel_efficiency_classitem_is_tyrevehicle_of_case | LABELS_TYRES_BRIDGE |
| ms_without_pictogram_unrated | text | «M+S» без пиктограммы 3PMSF: снежное сцепление шины НЕ подтверждено испытанием по части D, и схема не приравнивает одно к другомуRU | ms_markingsevere_snow_pictogram | LABELS_TYRES_BRIDGE |
| tyre_fits | text, text | вопрос tyre_fits: шина держит и требуемую массу, и требуемую скорость — обе проверки сразуRU | tyre_considered_fortyre_load_indextyre_speed_symbolvehicle_required_load_indexvehicle_required_speed_symbolitem_is_tyrevehicle_of_case | LABELS_TYRES_BRIDGE |
Inputs · 10
| Name | Parameters | Meaning |
|---|---|---|
| tyre_considered_for | text, text | The tyre is being considered for that vehicle |
| tyre_fuel_efficiency_class | text, enum | Annex I, Part A. The fuel efficiency class shown on the tyre label |
| tyre_load_index | text, dec | Paragraph 2.28. The load-capacity index marked on the sidewall |
| tyre_speed_symbol | text, text | Paragraph 2.29. The speed-category symbol marked on the sidewall |
| vehicle_required_load_index | text, dec | The minimum load-capacity index the vehicle manufacturer requires, as stated in the vehicle documents |
| vehicle_required_speed_symbol | text, text | The minimum speed-category symbol the vehicle manufacturer requires, as stated in the vehicle documents |
| item_is_tyre | text, text | вещь дела и шина правового пакета — одно и то же (отождествление подаётся делом)RU |
| ms_marking | text | на боковине стоит «M+S» (Mud and Snow)RU |
| severe_snow_pictogram | text | на этикетке шины стоит пиктограмма трёх вершин со снежинкой (3PMSF)RU |
| vehicle_of_case | text, text | автомобиль словаря транспорта и автомобиль правового пакета шин — один и тот жеRU |