The clock rules were properly applied. Texas declined the 10 second runoff after the injury timeout
That doesn’t change the fact that the game clock should have restarted on the ready for play signal.