Action
An action that could not be applied: outside a lever's bounds, non-integral on an integer domain, NaN, the wrong arity, or violating a joint constraint.
It carries every violation rather than the first, because a rule that returned three bad values should learn about three. When this is thrown, no lever has been written.