Опубликованный пакет / CLIR
fide.laws.chess
v0.1.0FIDE Laws of Chess
Пломба §208
sha256:bbae5f143f1103a18fccd4e4c3f3ce617ba2ec2353050085a513f77fd2c28868Подключить /
law.toml[dependencies] fide.laws.chess = "0.1.0"
Получить канонические байты
curl -O /blobs/bbae5f143f1103a18fccd4e4c3f3ce617ba2ec2353050085a513f77fd2c28868.lawir.json
Стадии, переходы и их условия прочитаны из CLIR без исполнения дел: это устройство процедуры, а не ход конкретного дела. Проверить, что произойдёт на живом деле — какая попытка не даст правового эффекта §164 и почему, — умеет lawref process-run по журналу.
GamePlay
Переходы
| Из | Переход | В | Условия |
|---|---|---|---|
| Playing | ConcludeByAgreement | Ended | agreed_draw_has_ended_the_game |
| Playing | ConcludeByCheckmate | Ended | checkmate_has_been_delivered |
| Playing | ConcludeByDeadPosition | Ended | dead_position_has_ended_the_game |
| Playing | ConcludeByDrawnClaim | Ended | game_drawn |
| Playing | ConcludeByResignation | Ended | resignation_has_ended_the_game |
| Playing | ConcludeBySecondIllegalMove | Ended | second_illegal_move_has_ended_the_game |
| Playing | ConcludeByStalemate | Ended | stalemate_has_ended_the_game |
| Playing | PlayMove | Playing | legal_move |
| NotStarted | StartPlay | Playing | play_started |
Состояния
EndedNotStartedначальноеPlaying
Что видно статически
- SELF_LOOPPlayMove
переход PlayMove ведёт в то же состояние
- SINK_STATEEnded
Из состояния нет переходов. Законный ли это конец процедуры — по CLIR не видно: маркера терминальности в узлах нет, и достраивать его догадкой значило бы объявить процесс завершённым там, где он, возможно, оборван.