docs: polish reductions.typ with theorem labels and cleanup#31

Merged

GiggleLiu merged 12 commits intomainfrom

polish-reductions-typ

Feb 10, 2026

Commits on Feb 9, 2026

Add design doc for polishing reductions.typ

GiggleLiu
and
claude
committed
Update design: integrate reference package insights

GiggleLiu
and
claude
committed
Clarify: use existing export_petersen_mapping for unit disk example

GiggleLiu
and
claude
committed
Polish export_petersen_mapping example to match new format

GiggleLiu
and
claude
committed
Add JSON export requirement to example files

GiggleLiu
and
claude
committed
Add docs/paper/examples/ to gitignore

GiggleLiu
and
claude
committed
docs: add implementation plan for reductions.typ polish

GiggleLiu
and
claude
committed
docs: add theorem labels and clean up problem definitions

GiggleLiu
and
claude
committed
docs: polish reductions paper and add 30 standalone example files

GiggleLiu
and
claude
committed

Commits on Feb 10, 2026