Simplify variant system and clean up type hierarchy#66

Merged

GiggleLiu merged 23 commits intomainfrom

jg/fix-reduction-graph

Feb 14, 2026

Commits on Feb 13, 2026

move paper static files
GiggleLiu
committed
Simplify variant system: derive categories from module_path, use node indices in JSON

GiggleLiu
and
claude
committed
chore: apply rustfmt formatting

GiggleLiu
and
claude
committed
Remove hardcoded fallback from #[reduction] macro, make ReduceTo impls concrete

GiggleLiu
and
claude
committed
Add design doc: type system cleanup (WeightElement, One, SatisfactionProblem)

GiggleLiu
and
claude
committed
Add implementation plan: type system cleanup (WeightElement, One, SatisfactionProblem)

GiggleLiu
and
claude
committed
feat: add WeightElement trait and One type, remove Unweighted/Weights/NumericWeight

GiggleLiu
and
claude
committed
refactor: update graph problem impls to use WeightElement

GiggleLiu
and
claude
committed
refactor: update set and optimization problem impls to use WeightElement

GiggleLiu
and
claude
committed
refactor: update reduction rule bounds to use WeightElement

GiggleLiu
and
claude
committed
refactor: rename Unweighted to One in variant metadata

GiggleLiu
and
claude
committed
feat: add SatisfactionProblem marker trait

GiggleLiu
and
claude
committed
chore: cleanup remaining Unweighted references in comments

GiggleLiu
and
claude
committed

Commits on Feb 14, 2026