Skip to content

docs: correct two worked-example rows in normalization contract#7

Merged
bart-turczynski merged 1 commit into
mainfrom
fix/normalization-contract-examples
Jun 15, 2026
Merged

docs: correct two worked-example rows in normalization contract#7
bart-turczynski merged 1 commit into
mainfrom
fix/normalization-contract-examples

Conversation

@bart-turczynski

Copy link
Copy Markdown
Owner

Two rows in docs/normalization-contract.md §5 contradicted the verified behavior of host_normalize():

Input Was Now (verified)
xn--MNCHEN-3ya.de NA xn--mnchen-3ya.de
faß.de fass.de xn--fa-hia.de
  • münchen: Punycode basic (ASCII) code points are case-insensitive, so a mixed-case A-label payload case-folds to canonical — it is not rejected.
  • faß: the section's own correction paragraph (just below the table) already states the non-transitional output is xn--fa-hia.de; the stale table cell was never updated to match.

Both outputs confirmed by running host_normalize() on each input against the merged implementation (#6).

🤖 Generated with Claude Code

…-encodgsk)

Both rows contradicted the implementation's verified behavior:

- `xn--MNCHEN-3ya.de` is `xn--mnchen-3ya.de`, not `NA`. Punycode basic
  (ASCII) code points are case-insensitive, so a mixed-case A-label
  payload case-folds to canonical rather than being rejected.
- `faß.de` is `xn--fa-hia.de`, not `fass.de`. The section's own
  correction paragraph already states this for non-transitional UTS-46;
  the stale table cell was never updated to match.

Verified by running host_normalize() on each input.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@bart-turczynski bart-turczynski merged commit d00eed8 into main Jun 15, 2026
8 checks passed
@bart-turczynski bart-turczynski deleted the fix/normalization-contract-examples branch June 15, 2026 11:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant