ARXO ATLAScanonical corpus

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

fia.corpus.f1_sporting

v0.1.0

FIA Formula One Sporting Regulations

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

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

SafetyCarProcedure

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

Переходы

ИзПереходВУсловия
LappedCarsReleasedCallInSafetyCarSafetyCarCalledInrelease_procedure_completed
RacingDeploySafetyCarSafetyCarDeployedStatesafety_car_deployed
SafetyCarDeployedStateReleaseLappedCarsLappedCarsReleasedrelease_procedure_invoked
SafetyCarCalledInRestartRacingrelease_procedure_completed
RacingTakeEndOfRaceSignalFinishedrace_finished

Состояния

  • Finished
  • LappedCarsReleased
  • Racingначальное
  • SafetyCarCalledIn
  • SafetyCarDeployedState

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

  • SINK_STATEFinished

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