Skip to content

Document scalar-value encode precondition - #48

Open
steve-downey wants to merge 1 commit into
mainfrom
codex/scalar-value-precondition
Open

Document scalar-value encode precondition#48
steve-downey wants to merge 1 commit into
mainfrom
codex/scalar-value-precondition

Conversation

@steve-downey

Copy link
Copy Markdown
Owner

Plan

  • Treat char32_t input as a representation type, not as proof that the value is a Unicode scalar value.
  • Document the encoder precondition semantically: encode input values must be Unicode scalar values, excluding surrogates and values above U+10FFFF.
  • Leave validation out of the scalar-value encode path; decoded input already arrives past decoding, while raw char32_t sources remain the caller's responsibility.

Changes

  • Clarifies the scalar-value encode precondition in README.md.
  • Documents the semantic requirement beside the scalar-value concepts.
  • Updates the proposal wording in papers/transcode-view.md.

Verification

  • make cmake CONFIG=Asan
  • make compile-headers CONFIG=Asan

Full test suite was not run; this is a documentation and wording change.

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