ARXO ATLAScanonical corpus

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

intl.minsk.package_2015

v0.1.0

Комплекс мер по выполнению Минских соглашений

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

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

MinskImplementation

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

Переходы

ИзПереходВУсловия
SignedDeclareCeasefireCeasefireInForceceasefire_in_force
LocalElectionsHeldEnactConstitutionalReformConstitutionalReformInForcepoint_11_implemented
DialogueOnElectionsHoldLocalElectionsLocalElectionsHeldlocal_elections_valid
HeavyWeaponsWithdrawnOpenDialogueDialogueOnElectionsdialogue_on_election_modalities_startedrada_special_regime_resolution_adopted
ConstitutionalReformInForceRestoreBorderControlBorderControlRestoredfull_border_control_restoredfull_border_control_due
CeasefireInForceWithdrawHeavyWeaponsHeavyWeaponsWithdrawnheavy_weapons_withdrawal_completedceasefire_and_withdrawal_monitored

Состояния

  • BorderControlRestored
  • CeasefireInForce
  • ConstitutionalReformInForce
  • DialogueOnElections
  • HeavyWeaponsWithdrawn
  • LocalElectionsHeld
  • Signedначальное

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

  • SINK_STATEBorderControlRestored

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