ARXO ATLAScanonical corpus

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

kz.corpus.bata

v0.1.0

Бата: құдалықты бекітетін ғұрып

Пломба §208sha256:5909728656f02fb362ec24477cbf12256e4ffda54b2f005e1208c7832956f3da
Подключить / law.toml
[dependencies]
kz.corpus.bata = "0.1.0"
Получить канонические байты
curl -O /blobs/5909728656f02fb362ec24477cbf12256e4ffda54b2f005e1208c7832956f3da.lawir.json

Стадии, переходы и их условия прочитаны из CLIR без исполнения дел: это устройство процедуры, а не ход конкретного дела. Проверить, что произойдёт на живом деле — какая попытка не даст правового эффекта §164 и почему, — умеет lawref process-run по журналу.

QargysZholy

состояний 6 · переходов 5 · начальное Qatarda

Переходы

ИзПереходВУсловия
KinalyAkeAytadyAkeBatasyAytyldyfather_pronounced_teris_bata
KinalyAnaSauadyAnaQargysyAytyldymother_poured_milk
QatardaKinalanuKinalymisdeed_committed
AnaQargysyAytyldyQatardanShygaruQatardanShygaryldypeople_refused_the_ranks
AkeBatasyAytyldyTanbaQaladyTanbaSalyndymark_became_known

Состояния

  • AkeBatasyAytyldy
  • AnaQargysyAytyldy
  • Kinaly
  • Qatardaначальное
  • QatardanShygaryldy
  • TanbaSalyndy

Что видно статически

  • SINK_STATEQatardanShygaryldy

    Из состояния нет переходов. Законный ли это конец процедуры — по CLIR не видно: маркера терминальности в узлах нет, и достраивать его догадкой значило бы объявить процесс завершённым там, где он, возможно, оборван.

  • SINK_STATETanbaSalyndy

    Из состояния нет переходов. Законный ли это конец процедуры — по CLIR не видно: маркера терминальности в узлах нет, и достраивать его догадкой значило бы объявить процесс завершённым там, где он, возможно, оборван.