Опубликованный пакет / CLIR

kz.corpus.information_security

v0.1.0

Қазақстан Республикасы Қаржы нарығын реттеу және дамыту агенттігі Басқармасының банктердің, банк операцияларының жекелеген түрлерін жүзеге асыратын ұйымдардың және банк холдингтерінің ақпараттық қауіпсіздігін қамтамасыз етуге қойылатын талаптарды бекіту туралы қаулысы

Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.

План кодогенерации

План строится: пакет печатается модулем.

формат плана
law-backend-plan/0.11
возможности
calendar:business, 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-information-security.lawir.json --target ts --target py --target go --out DIR

Интерфейс модуля

Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.

Вопросы · 0

План не выставляет вопросов: ни у одного публичного отношения нет производящего правила.

Входы · 0