test: compare the ported ConstraintSetParser against the oracle - #358

Merged

Lavmee merged 13 commits into

mainfrom

test/constraintset-differential

Aug 19, 2026

Commits on Aug 19, 2026

test: add the outcome types for a ConstraintSetParser harness
Lavmee
committed
eec6d8b
test: model and emit ConstraintSet documents for the parity harness
Lavmee
committed
6442ab8
fix: make goneMargin-without-margin unconstructable in AnchorSpec
Lavmee
committed
dcb2bf3
test: drive both ConstraintSetParser implementations from one document
Lavmee
committed
a6510a3
test: generate ConstraintSet documents from a seed
Lavmee
committed
31577d1
test: draw a rare fractional Num variable to keep CLNumber.getInt's crash path observed
Lavmee
committed
0dbd9db
test: compare the ported ConstraintSetParser against the oracle
Lavmee
committed
283dbf7
test: guard the differential test against vacuous, not just rejected, documents
Lavmee
committed
0fa9538
test: require every generated axis to reach the parser
Lavmee
committed
e9af120
test: make all nine remaining axes genuinely live
Lavmee
committed
e5ccda9
test: exercise measure, not just parse, in the differential corpus
Lavmee
committed
fe4612f
test: compare design-element parsing against the oracle
Lavmee
committed
a412848
test: apply the differential harness's final review fixes
Lavmee
committed
e0eac42