You make an interesting point about embedded specifications. But doesn’t that assume two things: 1) the specs are clear and complete, 2) we’re ok trusting AI to

You make an interesting point about embedded specifications. But doesn’t that assume two things: 1) the specs are clear and complete, 2) we’re ok trusting AI to develop safety critical software in those subsets of embedded applications?