Comment by NoInputSignal

Is there some traceability on what input parameters were used in testing computer models?

Is there a hypothetical world where the modeling software failed to show this scenario for the correct input parameters?

Either way, I agree, based on the links presented in the OP, there is no evidence presented of it being a software bug.