No one knows how large it is
Without a reference there is no way to say what share of possible machine behavior was ever checked. The question is not whether gaps exist — but where they are and which of them you can carry.
A gap you know is a risk. A gap you do not know is an assumption.