These two concerns aren't separate. You can publish agile software frameworks like rails with assurance guarantees based on proofs. If programmers play within

These two concerns aren't separate. You can publish agile software frameworks like rails with assurance guarantees based on proofs. If programmers play within the bounds, they can retain various proof-grade guarantees about the software they write. Just make better tools for Chrissakes.