Опубликованный пакет / CLIR
fia.corpus.f1_sporting
v0.1.0FIA Formula One Sporting Regulations
Пломба §208
sha256:81e8e3716c7e54959d051860b942661e62f3e56b8d7fd5688dd9c2e79a308d86Подключить /
law.toml[dependencies] fia.corpus.f1_sporting = "0.1.0"
Получить канонические байты
curl -O /blobs/81e8e3716c7e54959d051860b942661e62f3e56b8d7fd5688dd9c2e79a308d86.lawir.json
Все адресуемые узлы пакета. Помеченные internal — не часть контракта: сослаться на них из другого пакета нельзя (§24). Свою страницу имеют только публичные символы.
symbol_decl — 53
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| CallInSafetyCar | call the safety car in under Article 48.13 | internal | |
| DeploySafetyCar | deploy the safety car | internal | |
| Finished | the race has taken the end-of-race signal | internal | |
| LappedCarsReleased | lapped cars have been let past under Article 48.12 | internal | |
| Racing | the race is running under green flag conditions | internal | |
| ReleaseLappedCars | let the lapped cars past under Article 48.12 | internal | |
| Restart | restart the race | internal | |
| SafetyCarCalledIn | the safety car has been called in under Article 48.13 | internal | |
| SafetyCarDeployedState | the safety car is deployed | internal | |
| TakeEndOfRaceSignal | take the end-of-race signal | internal | |
| a_required_car_passed_after | a car required to pass the leader passed him on a later lap | internal | |
| attempted_transition | — | internal | |
| car_has_passed_the_leader | the car has passed the leader | internal | |
| checked_car | машина входит в замкнутую область лап-чарта | internal | |
| checked_race | the race is within the closed domain of the race record | internal | |
| clerk_considers_it_safe_to_call_in | the clerk of the course decides it is safe to call in the safety car | internal | |
| clerk_considers_it_safe_to_release | the clerk of the course considers it safe to let lapped cars overtake | internal | |
| clerk_considers_presence_still_necessary | the clerk of the course considers the presence of the safety car is still necessary | internal | |
| clerk_of_the_course_of | the official is the clerk of the course nominated by the ASN for the event | internal | |
| clerk_order_on_safety_car_use_authorised | an order of the clerk of the course in respect of the use of the safety car is given with the express agreement of the Race Director | internal | |
| departure_from_safety_car_procedure_authorised | a departure from the safety car procedure of Article 48 is authorised | internal | |
| eligible_lapped_car | the car is one to which the release procedure of Article 48.12 applies | internal | |
| entered_state | — | internal | |
| field_lined_up_behind_leader | the leader is behind the safety car and all remaining cars are lined up behind him | internal | |
| final_lap_of_race | круг является последним кругом гонки | internal | |
| immediately_follows | первый круг непосредственно следует за вторым | internal | |
| lap_before | the first lap precedes the second in the race | internal | |
| lap_of_race | круг относится к этой гонке | internal | |
| lapped_at_the_qualifying_line_crossing | the car was lapped at the time it crossed the Line at the end of the lap during which it crossed the first Safety Car line for the second time after the safety car was deployed | internal | |
| lapped_by_leader | the car has been lapped by the leader | internal | |
| overtake_message_sent | the message "LAPPED CARS MAY NOW OVERTAKE" has been sent to all Competitors | internal | |
| overtake_message_sent_on | the message "LAPPED CARS MAY NOW OVERTAKE" has been sent to all Competitors on the lap | internal | |
| overtakes_on_the_last_lap | the car overtakes on the last lap | internal | |
| passed_the_leader_on | the car passed the leader on the lap | internal | |
| passes_lead_lap_cars_and_safety_car | the car passes the cars on the lead lap and the safety car | internal | |
| permitted_to_overtake_by_race_control | race control has let the car past the cars on the lead lap and the safety car | internal | |
| procedure_instance | — | internal | |
| race_director_of | the official is the Race Director nominated by the FIA for the event | internal | |
| race_finished | the race has taken the end-of-race signal | internal | |
| release_pass_recorded | a car required to pass the leader passed him on the lap | internal | |
| release_procedure_completed | the release procedure of Article 48.12 has run its course | internal | |
| release_procedure_completed_on | the last car required to pass the leader passed him on the lap | internal | |
| release_procedure_invoked | the release procedure of Article 48.12 has been invoked | internal | |
| required_car_outstanding | a car required to pass the leader has not yet passed him | internal | |
| required_to_pass_the_leader | the car is required to pass the cars on the lead lap and the safety car | internal | |
| return_deferred_to_following_lap | the return of the safety car is deferred to the lap following this one | internal | |
| safety_car_deployed | the safety car is deployed | internal | |
| safety_car_deployed_at_beginning_of | the safety car is deployed at the beginning of the lap | internal | |
| safety_car_direction_given | the Race Director has given a direction in respect of the use of the safety car | internal | |
| safety_car_in_this_lap_message_sent_on | the message "SAFETY CAR IN THIS LAP" has been sent to all Competitors on the lap | internal | |
| safety_car_must_remain_deployed | the safety car must remain deployed under the floor of Article 48.10 | internal | |
| safety_car_returns_to_pits_at_end_of | the safety car returns to the pits at the end of the lap | internal | |
| valid_transition | — | internal |
type_decl — 6
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| Car | машина | internal | |
| Lap | круг | internal | |
| Official | должностное лицо, назначенное по статье 15 | internal | |
| Race | гонка | internal | |
| SafetyCarProcedureState | — | internal | |
| SafetyCarProcedureTransition | — | internal |
rule — 41
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| ARequiredCarPassedAfter | a car required to pass the leader passed him on a later lap than the lap in question | internal | |
| AnyMeansAllReading/EveryEligibleLappedCarRequiredToPass | Article 48.12 read with "any" as "all": every car within the procedure is required to pass | internal | |
| AnyMeansSomeReading/UnreleasedLappedCarIsNotRequiredToPass | Article 48.12 read with "any" as "some": a lapped car that race control has not let past is not required to pass | internal | |
| AuthorityAsDispensingPower/AuthorisedDepartureDefeatsTheDeferredReturn | An authorised departure from the procedure displaces the deferral of Article 48.12 | internal | |
| AuthorityAsDispensingPower/DirectionAuthorisesDepartureFromProcedure | A direction of the Race Director in respect of the use of the safety car authorises a departure from the Article 48 procedure | internal | |
| AuthorityOverApplicationOnly/DirectionDoesNotAuthoriseDeparture | A direction in respect of the use of the safety car does not authorise a departure from the Article 48 procedure | internal | |
| DeferralExcludesReturnAtEndOfThisLap | Article 48.12, fourth sentence, read as excluding a return at the end of the lap on which the last lapped car passed the leader | 1 | internal |
| DeferredReturnFallsOnTheFollowingLap | Article 48.12, fourth sentence. The deferred return falls at the end of the following lap | 1 | internal |
| FloorBarsReturnWhileFieldIsNotLinedUp | Article 48.10. While the safety car must remain deployed it does not return to the pits at the end of any lap | 1 | internal |
| FloorSurvivesIncompleteRelease/FloorSurvivesWhileReleaseIncomplete | An invoked but incomplete release does not lift the floor: while a car required to pass the leader is still outstanding the safety car does not return to the pits | internal | |
| LappedCarMustPassLeadLapCarsAndSafetyCar | Article 48.12, first sentence. A car required to pass must pass the cars on the lead lap and the safety car | 1 | internal |
| LappedCarWithinTheProcedure | Article 48.12, second sentence. The procedure applies only to cars lapped at the time they crossed the Line at the end of the qualifying lap | 1 | internal |
| NoOvertakingOnTheLastLapBehindTheSafetyCar | Article 48.15. The cars will take the end-of-race signal as normal without overtaking | 1 | internal |
| OvertakeMessageSent | the message "LAPPED CARS MAY NOW OVERTAKE" has been sent on some lap of the race | internal | |
| RaceDirectorHasOverridingAuthorityOverSafetyCarUse | Article 15.3(e). The Race Director shall have overriding authority in the use of the safety car, and the clerk of the course may give orders in respect of it only with his express agreement | 2 | internal |
| ReleasePassRecorded | a car required to pass the leader passed him on the lap | internal | |
| ReleaseProcedureCompleted | the release procedure has run its course | internal | |
| ReleaseProcedureCompletedOn | Article 48.12, fourth sentence. The last lapped car has passed the leader on this lap | 1 | internal |
| ReleaseProcedureCompletedOn/unless/0 | Article 48.12, fourth sentence. The last lapped car has passed the leader on this lap | 1 | internal |
| ReleaseProcedureCompletedOn/unless/1 | Article 48.12, fourth sentence. The last lapped car has passed the leader on this lap | 1 | internal |
| ReleaseProcedureInvoked | Article 48.12, first sentence. The release procedure is invoked when the clerk of the course considers it safe and the message has been sent | 1 | internal |
| ReleasedCarsRequiredToPass | Article 48.12, first sentence, on the narrow reading: a lapped car that race control has let past is required to pass the cars on the lead lap and the safety car | 1 | internal |
| RequiredCarOutstanding | a car required to pass the leader that has not passed him leaves the release procedure outstanding | internal | |
| SafetyCarEntersPitLaneAtEndOfThatLap | Article 48.13. When the message "SAFETY CAR IN THIS LAP" has been sent the safety car will be entering the pit lane at the end of that lap | 1 | internal |
| SafetyCarProcedure/CallInSafetyCar/enters | call the safety car in under Article 48.13 | internal | |
| SafetyCarProcedure/CallInSafetyCar/valid | call the safety car in under Article 48.13 | internal | |
| SafetyCarProcedure/DeploySafetyCar/enters | deploy the safety car | internal | |
| SafetyCarProcedure/DeploySafetyCar/valid | deploy the safety car | internal | |
| SafetyCarProcedure/ReleaseLappedCars/enters | let the lapped cars past under Article 48.12 | internal | |
| SafetyCarProcedure/ReleaseLappedCars/valid | let the lapped cars past under Article 48.12 | internal | |
| SafetyCarProcedure/Restart/enters | restart the race | internal | |
| SafetyCarProcedure/Restart/valid | restart the race | internal | |
| SafetyCarProcedure/TakeEndOfRaceSignal/enters | take the end-of-race signal | internal | |
| SafetyCarProcedure/TakeEndOfRaceSignal/valid | take the end-of-race signal | internal | |
| SafetyCarProcedure/initial | the race is running under green flag conditions | internal | |
| SafetyCarReturnIsDeferred | Article 48.12, fourth sentence. Once the last lapped car has passed the leader the return of the safety car is deferred to the following lap, unless the clerk of the course considers its presence is still necessary | 1 | internal |
| SafetyCarReturnIsDeferred/unless/0 | Article 48.12, fourth sentence. Once the last lapped car has passed the leader the return of the safety car is deferred to the following lap, unless the clerk of the course considers its presence is still necessary | 1 | internal |
| SafetyCarStillOutOnTheLastLap | Article 48.15. If the safety car is still deployed at the beginning of the last lap it will enter the pit lane at the end of the lap | 1 | internal |
| SafetyCarUsedUntilFieldIsLinedUp | Article 48.10. Except under Article 48.12, the safety car shall be used at least until all remaining cars are lined up behind the leader | 1 | internal |
| SafetyCarUsedUntilFieldIsLinedUp/unless/0 | Article 48.10. Except under Article 48.12, the safety car shall be used at least until all remaining cars are lined up behind the leader | 1 | internal |
| StewardsPriorityReading/CallInDefeatsTheDeferredReturn | The message "SAFETY CAR IN THIS LAP" displaces the deferral of Article 48.12 | internal |
priority_rule — 2
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| ReleaseProcedureCompletedOn/unless/0/priority/0 | Article 48.12, fourth sentence. The last lapped car has passed the leader on this lap | 1 | internal |
| ReleaseProcedureCompletedOn/unless/1/priority/0 | Article 48.12, fourth sentence. The last lapped car has passed the leader on this lap | 1 | internal |
norm_template — 3
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| OverridingAuthorityOverSafetyCarUse | Article 15.3(e). The Race Director shall have overriding authority in the use of the safety car, and the clerk of the course may give orders in respect of it only with his express agreement | 2 | internal |
| PassLeadLapCarsAndSafetyCar | Article 48.12, first sentence. A car required to pass must pass the cars on the lead lap and the safety car | 1 | internal |
| TakeEndOfRaceSignalWithoutOvertaking | Article 48.15. The cars will take the end-of-race signal as normal without overtaking | 1 | internal |
interpretation — 6
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| AnyMeansAllReading | "any cars that have been lapped" read as every lapped car (Mercedes) | internal | |
| AnyMeansSomeReading | "any cars that have been lapped" read as whichever cars race control lets past (Red Bull) | internal | |
| AuthorityAsDispensingPower | Overriding authority read as a power to depart from the procedure (Red Bull) | internal | |
| AuthorityOverApplicationOnly | Overriding authority read as authority over the application of the safety car only (Mercedes) | internal | |
| FloorSurvivesIncompleteRelease | The Article 48.10 floor is lifted only by a completed release, not by an invoked one | internal | |
| StewardsPriorityReading | Stewards' Decision, Document 58: Article 48.13 overrides Article 48.12 | internal |
closure_policy — 3
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| FieldLinedUpClosure | a race not recorded as having its field lined up behind the leader does not have it lined up | internal | |
| PassedTheLeaderClosure | a car not recorded in the lap chart as having passed the leader has not passed the leader | internal | |
| PermittedToOvertakeClosure | a car not named in the race control message has not been let past | internal |
external_decl — 3
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| clerk_considers_it_safe_to_call_in/external | the clerk of the course decides it is safe to call in the safety car | internal | |
| clerk_considers_it_safe_to_release/external | the clerk of the course considers it safe to let lapped cars overtake | internal | |
| clerk_considers_presence_still_necessary/external | the clerk of the course considers the presence of the safety car is still necessary | internal |
fragment — 11
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| FIA21_ART15_3 | — | internal | |
| FIA21_ART15_3_E | — | internal | |
| FIA21_ART48_10 | — | internal | |
| FIA21_ART48_12_ELIGIBILITY | — | internal | |
| FIA21_ART48_12_RELEASE | — | internal | |
| FIA21_ART48_12_RETURN | — | internal | |
| FIA21_ART48_13_ENTRY | — | internal | |
| FIA21_ART48_15 | — | internal | |
| FIA22_ART55_13_RELEASE | — | internal | |
| FIA22_ART55_13_RETURN | — | internal | |
| FIA22_ART55_14_ENTRY | — | internal |
interpretation_group — 2
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| AnyReadings | — | internal | |
| OverridingAuthorityReadings | — | internal |
publication — 2
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| FIA_SR_2021_ISS13_EN_TEXT | — | internal | |
| FIA_SR_2022_ISS6_EN_TEXT | — | internal |
source_edition — 2
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| FIA_SR_2021_ISS13_EN | Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года | internal | |
| FIA_SR_2022_ISS6_EN | Спортивный регламент «Формулы-1» 2022 года, выпуск 6 от 29 апреля 2022 года | internal |
source_work — 1
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| FIA_F1_SPORTING_REGULATIONS | Спортивный регламент «Формулы-1» ФИА | internal |