RFC: priority-aware + canonical tie-breaks in tearing (order-robust tear-variable selection)#96

Merged

AayushSabharwal merged 6 commits into

mainfrom

priority-tearing-prototype

Jun 24, 2026

Commits on Jun 22, 2026

prototype: priority-aware tearing tie-breaks + ENV-gated torn-set dump

baggepinnen
authored and
AayushSabharwal
committed
prototype: component-granular state_priorities lookup (scalar var before parent array)

baggepinnen
authored and
AayushSabharwal
committed
prototype: canonical (name-rank) tie-break after priorities in tearing

baggepinnen
authored and
AayushSabharwal
committed
review: structured canonical sort key instead of stringification; copy+stable sort!

authored and
AayushSabharwal
committed
fix CI: make canonical_sort_key total over arbitrary fullvars entries

authored and
AayushSabharwal
committed
canonical_sort_key: build sort key with Vector{Int}, not growing tuples

authored and
AayushSabharwal
committed