Blockchain, Dsls, Game Theory, Safety, Correctness.
is first passed to all applicable interceptors (they are collected by walking up the state hierarchy). The interceptor can observe the command or variable access and decide what to do about it: It can let the request through unchanged, It can make arbitrary changes to the request, Or it can block