Ship as fast as the machine can check
Formal verification is a means to an end and should disappear beneath the surface, freeing agents to generate optimized code cheaply and prove it meets agreed requirements.
What unchecked code cost in the last few months
What counts as a flaw in code
What kind of bug, in which layer
What the flawed code did, and who was hit
What the flawed code was for, and who got hit. Thicker bands mean more incidents.