Опубликованный пакет / CLIR
kz.corpus.water_safety
v0.1.0Правила безопасности на водоемах
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.7
- возможности
- только базовый слой
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
bslcsdarterlexgojavaktluaphppyrbrsscalaswiftts
./law dev backend corpus/clir/kz-water-safety.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 5
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| bathing_season_ends | dec, dec | день и месяц окончания купального сезона | без входов | |
| bathing_season_starts | dec, dec | день и месяц начала купального сезона | без входов | |
| ice_access_forbidden_at_night | выход на лёд в тёмное время суток и при плохой видимости не допускается | без входов | ||
| ice_access_forbidden_during_freeze_up_and_thaw | выход на лёд во время ледостава и ледотаяния не допускается | без входов | ||
| safe_ice_thickness_cm | enum, dec | безопасная толщина льда для названной нагрузки, сантиметры | без входов |