ruff

[ty] Remove `source_order` fields from constraint sets; go back to fully reduced BDDs

#22578

Open