Опубликованный пакет / 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_oformlenotext, textзакрытие цифрового счёта оформлено: остаток выкуплен, код аннулирован, основание указано в деле, органы государственных доходов уведомленыkod_annulirovanorgany_dohodov_uvedomlenyosnovanie_ukazano_v_deleostatok_na_scheteschet_otkryttenge_vykupleny_i_vydanypravila/53

Входы · 6

ИмяПараметрыСмысл
kod_annulirovantext, textучастник платформы аннулировал индивидуальный идентификационный код цифрового счёта (пункт 55)
organy_dohodov_uvedomlenytext, textучастник платформы уведомил органы государственных доходов в порядке, случаях и сроки, определённые Налоговым кодексом (пункт 57)
osnovanie_ukazano_v_deletextв деле пользователя платформы указано основание закрытия цифрового счёта (пункт 56)
ostatok_na_schetetextна цифровом счёте пользователя платформы имеется остаток цифровых тенге
schet_otkryttext, text, textучастник платформы открыл пользователю платформы цифровой счет
tenge_vykupleny_i_vydanytext, textучастник платформы приобрёл у пользователя цифровые тенге и выдал наличные деньги либо зачислил безналичные на его банковский счёт (пункт 53)