Yes and that's exactly my point. It is not enough to make the execution deterministic.
Thinking about that, you may have been confused why I said it's reasonable to avoid WebAssembly for that. I meant that a full Turing-complete execution might not be necessary if that makes it easier to ensure the correctness; OpenZL graphs are not even close to a Turing-complete language for example.
Comments
But that is the case in any language and runtime? There is nothing unique about WASM here.
Yes and that's exactly my point. It is not enough to make the execution deterministic.
Thinking about that, you may have been confused why I said it's reasonable to avoid WebAssembly for that. I meant that a full Turing-complete execution might not be necessary if that makes it easier to ensure the correctness; OpenZL graphs are not even close to a Turing-complete language for example.