ARXO ATLAScanonical corpus

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

ru.pushkin.balda

v0.1.0

С. М. Бонди, примечания к «Сказке о попе и о работнике его Балде» (по странице «Сказки (Пушкин)» Викитеки, ревизия 5739304)

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

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

FlickSettlement

состояний 4 · переходов 3 · начальное Unsettled

Переходы

ИзПереходВУсловия
UnsettledStrikeFirstFirstDeliveredsettlement_duefirst_flick_struck
FirstDeliveredStrikeSecondSecondDeliveredsecond_flick_struck
SecondDeliveredStrikeThirdSettledthird_flick_struck

Состояния

  • FirstDelivered
  • SecondDelivered
  • Settled
  • Unsettledначальное

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

  • SINK_STATESettled

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