fix: model Uri userinfo username/password as nullable - #142

Merged

OmarAlJarrah merged 6 commits into

mainfrom

a5-uri-nullable-userinfo

Jul 19, 2026

Commits on Jul 18, 2026

fix: model Uri userinfo username/password as nullable to preserve presence
OmarAlJarrah
committed
bfeb00d

Commits on Jul 19, 2026

merge: merge main into a5-uri-nullable-userinfo
OmarAlJarrah
committed
f4c85ff
test: cover the empty-but-present password round-trip
OmarAlJarrah
committed
58efb85
docs: note that password() alone still normalizes username to present-but-empty
OmarAlJarrah
committed
c373526
fix: assert MODEL-13's password/username pairing invariant at construction
OmarAlJarrah
committed
1f933d3
fix: avoid leaking the raw password value in the MODEL-13 invariant message
OmarAlJarrah
committed
7c1cf51