Per the ratified meeting decision ("move Reduce pane below Verify"), the problem detail page's row order should have the Reduce pane last, after Verify — not third, before Visualize/Solve/Verify.
Current default order in pages/index.js:
problem, reduce, visualize, solve, verify
Target order:
problem, visualize, solve, verify, reduce
Reductions are an optional, exploratory side-feature (you can solve/verify a problem directly without ever reducing it), so it belongs at the end rather than gating the rest of the pipeline visually. This matches the section order the new Redux_Frontend project independently settled on (Overview, Visualizations, Solvers, Verifier, Reductions — Reductions last).
Per the ratified meeting decision ("move Reduce pane below Verify"), the problem detail page's row order should have the Reduce pane last, after Verify — not third, before Visualize/Solve/Verify.
Current default order in
pages/index.js:Target order:
Reductions are an optional, exploratory side-feature (you can solve/verify a problem directly without ever reducing it), so it belongs at the end rather than gating the rest of the pipeline visually. This matches the section order the new Redux_Frontend project independently settled on (Overview, Visualizations, Solvers, Verifier, Reductions — Reductions last).