Опубликованный пакет / CLIR
eaeu.tr_ts_005
v0.1.0О безопасности упаковки
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.8
- возможности
- status:not_known
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/eaeu-tr-ts-005-packaging.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 7
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| marking_purpose | text | пункт 1 статьи 6. Цель маркировки материала упаковки, названная самим актом | без входов | |
| material_code | dec, enum, text, text | Приложение 3. Цифровой код материала, его семейство, название материала и буквенное обозначение, как напечатаны в таблице | без входов | |
| material_code_range | dec, dec, enum, text | Приложение 3. Диапазон кодов, отведённый под неназванные виды материала этого семейства | без входов | |
| number_is_not_a_code | text, dec | число напечатано, но петли Мёбиуса нет: по примечанию 2 Приложения 3 это НЕ код материала, и читать его как код нельзя | packaging_mobius_looppackaging_printed_number | annex/3/notes |
| packaging_family_only | text, enum | код попал в диапазон «другие виды»: семейство материала известно, сам материал источником не назван | packaging_mobius_looppackaging_printed_number | annex/3/table |
| packaging_material | text, text, enum | материал упаковки, установленный по её коду и таблице Приложения 3 | packaging_mobius_looppackaging_printed_number | annex/3/table |
| packaging_material_code | text, dec | число на упаковке есть цифровой код материала: оно стоит внутри петли Мёбиуса | packaging_mobius_looppackaging_printed_number | annex/3/notes |
Входы · 2
| Имя | Параметры | Смысл |
|---|---|---|
| packaging_mobius_loop | text | на упаковке есть петля Мёбиуса — треугольник из трёх стрелок |
| packaging_printed_number | text, dec | число, напечатанное на упаковке |