think it's missing the biggest assumption, which is not necessarily true for regular software either but much more true than AI:

The same inputs should produce the same outputs.

And that assumption is important because dependability is the strength of an automated process.