Rewrite getting-started with Factoring→SpinGlass and path overhead API#78

Merged

GiggleLiu merged 3 commits intomainfrom

jg/getting-started-factoring-overhead

Feb 16, 2026

Commits on Feb 16, 2026

feat: rewrite getting-started with Factoring→SpinGlass example and path overhead API

GiggleLiu
and
claude
committed
test: add coverage for ReductionPath and ReductionStep Display impls

GiggleLiu
and
claude
committed
merge: resolve conflict with origin/main (reduced exports)

GiggleLiu
and
claude
committed