Software does allow errors hence, IMO, we overload the complexity and "underload" the proof of correctness. We're not really that afraid of failures most of the

Software does allow errors hence, IMO, we overload the complexity and "underload" the proof of correctness. We're not really that afraid of failures most of the time. Vibe code a bridge! Arf. I am sure someone will.