Execute code in an explicitly scoped runtime while validating inputs, outputs, resource limits, and side effects.
