Почему буквальный консерватизм парализует HARA: границы применимости метода σ × T в ISO 26262