feat: Decision wrapper for optimization→decision conversion#1014

Merged

GiggleLiu merged 18 commits intomainfrom

feat/decision-wrapper

Apr 7, 2026

Commits on Apr 6, 2026

docs: add Decision wrapper design spec and implementation plan

GiggleLiu
and
claude
committed
feat: add OptimizationValue trait for Min/Max decision conversion
GiggleLiu
committed
feat: add Decision<P> generic wrapper with Problem impl

GiggleLiu
and
claude
committed
feat: add ReduceToAggregate<P> impl for Decision<P>

GiggleLiu
and
claude
committed
fix: extract_type_name handles Decision<T> nested generics
GiggleLiu
committed
feat: register Decision variants for MVC and MDS
GiggleLiu
committed
refactor: remove hand-written VertexCover, replaced by Decision<MinimumVertexCover>
GiggleLiu
committed
feat: add golden-section search solver via Decision queries
GiggleLiu
committed
docs: migrate VertexCover paper entry and example_db to DecisionMinimumVertexCover
GiggleLiu
committed
chore: integration fixups for Decision wrapper
GiggleLiu
committed

Commits on Apr 7, 2026