E.20:4.9 - Step 9: Terminology continuity (alias docking)
If the introduction renames any public token or changes canonical naming:
- Use lexical alias docking (F.18) so old tokens remain citeable.
- Update registers and twin labels per lexical discipline.
- Avoid silent rewrites: the MIP-run SHALL make the alias relation and successor relation explicit.