Recategorize problem models by input structure#113

Merged

GiggleLiu merged 15 commits intomainfrom

recategorize-models

Mar 1, 2026

Commits on Mar 1, 2026

Design: recategorize problem models by input structure

GiggleLiu
and
claude
committed
Simplify contributor guide: file an issue, we implement it

GiggleLiu
and
claude
committed
Clarify contributor role: feedback via community calls, not code review

GiggleLiu
and
claude
committed
Add Zulip community link

GiggleLiu
and
claude
committed
Add implementation plan for problem categorization refactoring

GiggleLiu
and
claude
committed
refactor: move model files to input-structure-based categories

GiggleLiu
and
claude
committed
refactor: update mod.rs files for new category structure

GiggleLiu
and
claude
committed
refactor: move unit tests to match new category structure

GiggleLiu
and
claude
committed
refactor: update rule imports for new model categories

GiggleLiu
and
claude
committed
refactor: update lib.rs prelude and docs for new categories

GiggleLiu
and
claude
committed
refactor: update all imports, tests, examples, and docs for new categories

GiggleLiu
and
claude
committed
docs: update import paths in getting-started guide

GiggleLiu
and
claude
committed
docs: update reduction graph colors for new categories

GiggleLiu
and
claude
committed
chore: format code and regenerate reduction graph artifacts

GiggleLiu
and
claude
committed
chore: remove completed implementation plan

GiggleLiu
and
claude
committed