You haven't read the article, or the part I quoted from it referring to the manual, which I would consider as "going by the book". Two of the three boards looking into the mishap "concluded that most highly experienced pilots with similar levels of experience in an F-35 would have punched out of the plane".
