feat: Implement set-theoretic reduction path finding#12

Merged

GiggleLiu merged 16 commits intomainfrom

feat/set-theoretic-reductions

Jan 26, 2026

Commits on Jan 26, 2026

docs: Add set-theoretic reduction path finding design

GiggleLiu
and
claude
committed
docs: Add implementation plan for set-theoretic reductions

GiggleLiu
and
claude
committed
deps: Add inventory and ordered-float crates
GiggleLiu
committed
feat: Add graph marker traits for parametric problems
GiggleLiu
committed
feat: Add inventory-based graph subtype registration

GiggleLiu
and
claude
committed
feat: Add NumericWeight marker trait

GiggleLiu
and
claude
committed
feat: Add Polynomial type for reduction overhead

GiggleLiu
and
claude
committed
feat: Add reduction registration with inventory

GiggleLiu
and
claude
committed
feat: Add PathCostFn trait and built-in cost functions

GiggleLiu
and
claude
committed
feat: Add NAME, GraphType, Weight to Problem trait

GiggleLiu
and
claude
committed
refactor: Add NAME, GraphType, Weight to all Problem implementations

GiggleLiu
and
claude
committed
refactor: Implement set-theoretic path finding with cost functions

GiggleLiu
and
claude
committed
feat: Register all reductions with inventory for auto-discovery

GiggleLiu
and
claude
committed
test: Add integration tests for set-theoretic reduction system

GiggleLiu
and
claude
committed
test: Improve coverage for new modules

GiggleLiu
and
claude
committed
fix: Address PR review comments
GiggleLiu
committed