Release v4.145.0

A reducer or a code-bodied validation rule no longer stops the specification executor and the semantic Host from running the rest of a model.

Changed

• The specification executor refuses only the specifications that reach a reducer or a validation implementation body, and the semantic Host refuses only the commands and queries that reach one. Previously a single such body anywhere refused every specification and every command. A body is reached through the command under test, commands invoked by reactions, concept rules on command properties and query arguments, and reducers fed by given, appended or produced events, including events from an action expected to be refused. (part of #513)
• These refusals carry the new diagnostic code STAGE-IMPL-003, naming the body the specification or command reaches. (part of #316)