TypeSchema: resolve choice variants monotonically across the profile hierarchy - #200

Merged

ryukzak merged 6 commits into

mainfrom

choice-monotonic

Jul 24, 2026

Commits on Jul 23, 2026

feat(typeschema): resolve choice variants monotonically across the profile hierarchy
ryukzak
committed
825f57c
test(typeschema): cover excluded variants, monotonic narrowing, and the non-monotonic warning
ryukzak
committed
f305577
chore(examples): regenerate bodyweight/bp profiles with value[x] prohibitions
ryukzak
committed
c524562

Commits on Jul 24, 2026

Improve TypeSchema typing.
ryukzak
committed
aa2870d
Add on the fly example for KBV Condition Diagnosis types
ryukzak
committed
3dbd9ae
Bump fhirschema
ryukzak
committed
48249db