Clarify that `<running>` is valid if and only if `<intended>` is valid 

RFC 8342 was a little too subtle when stating that `<intended>` was subject to validation.

It would be good to add a sequence diagram illustrating a conceptual processing model within servers.
