fix(compilers/openapi): keep the tighter of co-declared bounds - #274

Merged

OmarAlJarrah merged 9 commits into

mainfrom

fix/openapi-exclusive-bound-overwrite

Aug 6, 2026

Commits on Aug 6, 2026

fix(compilers/openapi): keep the tighter of two co-declared bounds
OmarAlJarrah
committed
912f72e
test(compilers/openapi): cover the co-declared bound matrix
OmarAlJarrah
committed
1225443
test(compilers/openapi): put co-declared bounds in the corpus
OmarAlJarrah
committed
0686d7e
fix(compilers/openapi): compare co-declared bounds without a rational
OmarAlJarrah
committed
8ac7d28
test(compilers/openapi): say what the unvalidated parse helper is for
OmarAlJarrah
committed
3c956d8
test(compilers/openapi): hold the bound grammars together at the seam
OmarAlJarrah
committed
4a5e74b
test(compilers/openapi): narrow the unvalidated helper's stated purpose
OmarAlJarrah
committed
62ecf98
test(compilers/openapi): tell the 3.0 exclusive sides apart
OmarAlJarrah
committed
629c2f0
test(compilers/openapi): give the grammar seam a widening to catch
OmarAlJarrah
committed
4d8cefe