Опубликованный пакет / CLIR
intl.tyre_labelling
v0.1.0Regulation (EU) 2020/740 on the labelling of tyres with respect to fuel efficiency and other parameters
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.7
- возможности
- только базовый слой
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
bslcsdarterlexgojavaktluaphppyrbrsscalaswiftts
./law dev backend corpus/clir/intl-tyre-labelling.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 11
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| fuel_efficiency_rrc_upper | enum, enum, dec | Annex I, Part A. Upper bound of the rolling resistance coefficient in N/kN for that fuel efficiency classEN | без входов | |
| label_class_says_nothing_about_fit | text, text | The letter classes on the tyre label concern fuel efficiency and wet grip; they say nothing about whether the tyre fits the vehicleEN | tyre_considered_fortyre_fuel_efficiency_class | annex/1/Aannex/1/Bpara/2.28 |
| load_capacity_index_kg | dec, dec | Annex IV. The mass in kilograms corresponding to that load-capacity indexEN | без входов | |
| load_short_by_kg | text, text, dec | The tyre carries LESS than the vehicle requires, and by how many kilograms per wheelEN | tyre_considered_fortyre_load_indexvehicle_required_load_index | annex/4 |
| load_sufficient | text, text | The tyre carries at least the mass the vehicle requiresEN | tyre_considered_fortyre_load_indexvehicle_required_load_index | annex/4 |
| speed_category_max_kmh | text, dec | Paragraph 2.29.1. The maximum speed in km/h the tyre can sustain, by speed-category symbolEN | без входов | |
| speed_short_by_kmh | text, text, dec | The tyre sustains LESS than the vehicle requires, and by how many km/hEN | tyre_considered_fortyre_speed_symbolvehicle_required_speed_symbol | para/2.29 |
| speed_sufficient | text, text | The tyre sustains at least the speed the vehicle requiresEN | tyre_considered_fortyre_speed_symbolvehicle_required_speed_symbol | para/2.29 |
| tyre_max_load_kg | text, dec | Annex IV. The mass the tyre is rated to carry, read from its load-capacity indexEN | tyre_load_index | annex/4 |
| tyre_max_speed_kmh | text, dec | Paragraph 2.29.1. The maximum speed the tyre can sustain, read from its speed-category symbolEN | tyre_speed_symbol | para/2.29 |
| wet_grip_lower | enum, enum, dec | Annex I, Part B. Lower bound of the wet grip index for that wet grip classEN | без входов |
Входы · 6
| Имя | Параметры | Смысл |
|---|---|---|
| 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 |