F1競技規則にこういう記述があったんだが…

決勝レースが中断され、再スタートできない場合、決勝レース中にドライ天候用タイヤの少なくと
も２つの仕様を使うことができなかったすべてのドライバーの経過時間に３０秒が追加される。

これってルール上タイヤ交換義務違反ペナルティが存在することになるんじゃないかね
>>847のレスの信憑性が揺らぐ記述なんだが、実際のところどうなのかね