Ich hab's anders verstanden: Bis 14:00 muss die Aufstellung gemacht sein. Kurz nach 14:00 startet die Berechnung, die auf den aktuellen Kader zugreift. Noch später werden die Spielberichte fertiggestellt, die ebenfalls auf den aktuellen Kader zugreifen. Deswegen werden Spieler der Heimmannschaft, die zwischen Spielberechnung und Spielberichterstellung aus dem Kader genommen werden, ja in der falschen Farbe angezeigt.
Es geht also schon immer um den aktuellen Kader zum Zeitpunkt der Berechnung und nicht um einen Snapshot per 14:00:00.