E.15:5.3 - One-word semantic change with dependent consumers

A conformance rule changes may to must. The diff is one word, but admissible use and failure conditions change. The actual class is Δ-3. The author repairs examples, checklist items, and direct consumers that relied on the optional branch and rechecks their conclusions. Unrelated source and publication checks are reused.