Опубликованный пакет / CLIR
ru.afanasyev.koschei
v0.1.0«Кощей Бессмертный» в трёх записях
Пломба §208
sha256:ecd612e0edba524f9bffd8e85af975c22113cff6f8a2ecf7530565fd8753a0a3Подключить /
law.toml[dependencies] ru.afanasyev.koschei = "0.1.0"
Получить канонические байты
curl -O /blobs/ecd612e0edba524f9bffd8e85af975c22113cff6f8a2ecf7530565fd8753a0a3.lawir.json
Стадии, переходы и их условия прочитаны из CLIR без исполнения дел: это устройство процедуры, а не ход конкретного дела. Проверить, что произойдёт на живом деле — какая попытка не даст правового эффекта §164 и почему, — умеет lawref process-run по журналу.
DobychaSmerti
Переходы
| Из | Переход | В | Условия |
|---|---|---|---|
| YaytsoUpuscheno | DostatYaytso | YaytsoVRukah | yaytso_dostatoobet_ispolnen |
| YaytsoVRukah | OtlomitKonchik | NositelUnichtozhen | konchik_igly_otlomlen |
| VmestilischeDostato | Otvorit | ZayacUpuschen | vmestilische_vskryto |
| Sokryto | Povalit | VmestilischeDostato | naruzhnoe_dostato |
| UtkaUpuschena | PoymatUtku | UtkaVRukah | utka_poymanaobet_ispolnen |
| ZayacUpuschen | PoymatZaytsa | ZayacVRukah | zayac_poymanobet_ispolnen |
| ZayacVRukah | RasporotZaytsa | UtkaUpuschena | zayac_vskryt |
| YaytsoVRukah | Razdavit | NositelUnichtozhen | yaytso_razdavleno |
| UtkaVRukah | RazorvatUtku | YaytsoUpuscheno | utka_vskryta |
| YaytsoVRukah | UronitYaytso | YaytsoUpuscheno | yaytso_uroneno |
Состояния
NositelUnichtozhenSokrytoначальноеUtkaUpuschenaUtkaVRukahVmestilischeDostatoYaytsoUpuschenoYaytsoVRukahZayacUpuschenZayacVRukah
Что видно статически
- SINK_STATENositelUnichtozhen
Из состояния нет переходов. Законный ли это конец процедуры — по CLIR не видно: маркера терминальности в узлах нет, и достраивать его догадкой значило бы объявить процесс завершённым там, где он, возможно, оборван.