Unreleased changes

Changes that have landed on the main branch but are not yet part of a tagged release. These entries are assembled into the Changelog when the next release is published.

[UNRELEASED DRAFT]

• Express the registered repeatable-option type as an invariant rather than an unreachable coverage exclusion.