Опубликованный пакет / CLIR
kz.corpus.digital_tenge
v0.1.0Қазақстан Республикасы Ұлттық Банкі Басқармасының «Цифрлық теңгені шығару, айналысқа жіберу және өтеу қағидаларын бекіту туралы» қаулысы
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.11
- возможности
- calendar:business, calendar:days_between, calendar:period, defeasible, norm, status:not_known
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/kz-digital-tenge.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 1
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| zakrytie_oformleno | text, text | закрытие цифрового счёта оформлено: остаток выкуплен, код аннулирован, основание указано в деле, органы государственных доходов уведомлены | kod_annulirovanorgany_dohodov_uvedomlenyosnovanie_ukazano_v_deleostatok_na_scheteschet_otkryttenge_vykupleny_i_vydany | pravila/53 |
Входы · 6
| Имя | Параметры | Смысл |
|---|---|---|
| kod_annulirovan | text, text | участник платформы аннулировал индивидуальный идентификационный код цифрового счёта (пункт 55) |
| organy_dohodov_uvedomleny | text, text | участник платформы уведомил органы государственных доходов в порядке, случаях и сроки, определённые Налоговым кодексом (пункт 57) |
| osnovanie_ukazano_v_dele | text | в деле пользователя платформы указано основание закрытия цифрового счёта (пункт 56) |
| ostatok_na_schete | text | на цифровом счёте пользователя платформы имеется остаток цифровых тенге |
| schet_otkryt | text, text, text | участник платформы открыл пользователю платформы цифровой счет |
| tenge_vykupleny_i_vydany | text, text | участник платформы приобрёл у пользователя цифровые тенге и выдал наличные деньги либо зачислил безналичные на его банковский счёт (пункт 53) |