Ein Spieler zuviel auf dem Spielfeld ist ein Regelfehler aber für sich genommen noch kein Regelverstoß. Das Kampfgericht soll natürlich auf den Regelfehler hinweisen und eingreifen, aber erst nachdem er auch eingetreten ist - in diesem Fall nach Wiederanpfiff des Spiels.
korrekt, nichts anderes steht in meinem Beitrag und in den verlinkten Dokumenten