NarrowingException

An attempt to narrow a lever outside what the model declares, or to non-integral bounds on an integer domain.

The model's limits are a physical fact and the experiment's are a choice, so narrowing may only shrink. A rejected narrowing leaves both bounds as they were (§4.1.3.1).