And how do they know it _reliably_ produces code instead of non-code?

I could tell you I back out of my driveway without looking every day and I reliably don't run people over.