The formal investigation by the National Highway Traffic Safety Administration will determine whether the company’s supposed software fix succeeded in preventing its robotaxis from improperly passing stopped school buses with red lights on and their stop arms extended—indicators that the buses were picking up and dropping off students. It is illegal to pass these stopped school buses in all 50 states.