docs: replace Rust code with JSON schema tables in paper#38

Merged

GiggleLiu merged 14 commits intomainfrom

feat/improve-reductions-typ

Feb 10, 2026

Commits on Feb 10, 2026

docs: replace Rust code with JSON schema tables in reductions.typ

GiggleLiu
and
claude
committed
update
GiggleLiu
committed
refactor: add reduction-rule function for unified theorem rendering

GiggleLiu
and
claude
committed
fix: correct overhead formulas and add Display for polynomials

GiggleLiu
and
claude
committed
docs: show reduction overhead in theorem statements

GiggleLiu
and
claude
committed
fix: add edge click and hover handlers to mdBook reduction graph

GiggleLiu
and
claude
committed
save
GiggleLiu
committed
refactor: rename 7 problem types with Maximum/Minimum prefix, improve paper and perf

GiggleLiu
and
claude
committed
feat: add edge doc links and compound variant nodes to reduction graph

GiggleLiu
and
claude
committed
fix: use flat nodes with variant placement in reduction graph

GiggleLiu
and
claude
committed
docs: add design plan for improving example instances

GiggleLiu
and
claude
committed
docs: add implementation plan for improving example instances

GiggleLiu
and
claude
committed
refactor: use lower(ProblemName) convention for all example filenames

GiggleLiu
and
claude
committed
fix: remove unused import in polynomial tests

GiggleLiu
and
claude
committed