I don't think it needs to be deterministic - and if it isn't, having the data and code becomes even more important!

Compilers generally aren't deterministic (see the reproduceable build movement), yet we still use their output binaries.