Globals

[willtebbutt]

What are the options here?

[yebai]

For a start, I think we can detect the usage of global variables; then, we can insert a guard on the tape and error if the value has changed, reminiscent of how we catch control flow changes.

[willtebbutt]

This is actually resolved now. If a global is constant, we just grab it. If it's not constant, we validate that its value does not change between runs.