[bobsomers]

Everything you said is 100% correct.

However, part of designing and upholding a safety-critical software development process is looking for places to reduce or eliminate the introduction of bugs in the first place.

Strong type systems, for example, eliminate entire classes of errors, so mandating that code is written in X language is a pro-active process decision to reduce the introduction of certain types of bugs.

Restricting the use of AI tools could very much be viewed the same way.

[paulddraper]

So you would suggest ">1% in dynamically typed language" disclaimers as well?

[kangalioo]

If someone made that happen I'd be ecstatic