The short, reasonable answer is no. But the long, pedantic answer is yes, if
第二百零二条 共同海损，是指在同一海上航程中，船舶、货物和其他财产遭遇共同危险，为了共同安全，有意合理地采取措施所直接造成的特殊牺牲、支付的特殊费用。
，更多细节参见51吃瓜
This is not limited to critical systems. Any non-trivial engineering project where bugs are expensive (which is most of them) accelerates when correctness is cheap.
ВсеГосэкономикаБизнесРынкиКапиталСоциальная сфераАвтоНедвижимостьГородская средаКлимат и экологияДеловой климат