I'm with you that a couple layers of the "safety in depth" worked impressively well here. But a bug of this types points to egregiously bad process and standard

I'm with you that a couple layers of the "safety in depth" worked impressively well here. But a bug of this types points to egregiously bad process and standards with the software vendor. And the airlines or FAA should have audits to catch that well upstream of this incident.