fix(#974): add 39 example-db tests and 31 paper entries for reduction rules (#997)

* docs: add design spec for proposed reductions Typst note

Covers 9 reductions: 2 NP-hardness chain extensions (#973, #198),
4 Tier 1a blocked issues (#379, #380, #888, #822), and
3 Tier 1b blocked issues (#892, #894, #890).

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* fix(#974): add 39 example-db lookup tests and 31 paper reduction-rule entries

Complete missing documentation and test coverage for 41 reduction rules
shipped across PRs #777, #779, #804, and #972.

Check 10: 39 new `test_find_rule_example_*` tests in example_db.rs covering
all cross-problem reductions from the four PRs (ILP i32→bool excluded as a
same-name variant edge).

Check 11: 31 new `#reduction-rule(...)` entries in reductions.typ — 30 for
cross-problem reductions (PRs #777, #779, #972) plus 1 for the ILP<i32> →
ILP<bool> variant reduction via FBBT + truncated binary encoding.

Closes #974

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* Delete docs/superpowers/specs/2026-03-31-proposed-reductions-note-design.md

* docs: add Institute of Science Tokyo affiliation to paper

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* chore: remove accidentally committed docs/superpowers directory

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs: add worked example for HamiltonianCircuit -> RuralPostman reduction

Upgrade the prose-only reduction-rule entry to include data-driven
example with load-example binding, pred-commands, three construction
steps, and multiplicity note.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs(paper): add worked example for HamiltonianCircuit -> HamiltonianPath reduction

Upgrade the prose-only reduction-rule entry with load-example data binding,
pred-commands reproducibility block, and a 3-step worked example showing the
vertex-splitting construction on a C4 cycle graph.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs(paper): add worked example for HamiltonianCircuit -> BottleneckTravelingSalesman reduction

Add data-driven example with load-example binding, pred-commands block,
step-by-step construction walkthrough, and solution verification.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs(paper): add worked example for HamiltonianCircuit -> StrongConnectivityAugmentation reduction

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs: add worked example for HamiltonianCircuit -> QuadraticAssignment paper entry

Upgrade the prose-only reduction-rule entry to include a data-driven
worked example with load-example binding, pred-commands block, and
step-by-step construction/verification using the C4 cycle graph fixture.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs(paper): add worked example for Partition -> BinPacking reduction

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs(paper): add worked example for ThreePartition -> JobShopScheduling reduction

Add data-driven example with load-example binding, pred-commands block,
and step-by-step walkthrough showing the m=1 canonical instance with
3 elements, sizes (4,5,6), bound B=15 on 2 machines.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs: add worked example for Partition → MultiprocessorScheduling reduction

Upgrade the prose-only reduction-rule entry to include a data-driven
worked example with load-example binding, pred-commands block, and
step-by-step verification of the canonical witness.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs(paper): add worked example for ThreePartition -> ResourceConstrainedScheduling reduction

Also remove duplicate Partition -> ShortestWeightConstrainedPath entry that caused a label collision.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs(paper): add worked example for ThreePartition -> SequencingWithReleaseTimesAndDeadlines reduction

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs: add worked example for ThreePartition -> FlowShopScheduling reduction

Add data-driven example with load-example binding, pred-commands block,
and step-by-step walkthrough showing source instance, job construction,
separator window mechanism, and end-to-end solution verification.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs(paper): add worked example for KSatisfiability -> KClique reduction

Add data-driven worked example with load-example binding, pred-commands
reproducibility block, step-by-step construction walkthrough, and
end-to-end solution verification for the 3-SAT to k-clique reduction.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs(paper): add worked example for MinimumVertexCover -> MinimumFeedbackArcSet reduction

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs(paper): add worked example for Satisfiability -> NAESatisfiability reduction

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs(paper): add worked example for ExactCoverBy3Sets -> MaximumSetPacking reduction

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs(paper): add worked example for KSatisfiability -> MinimumVertexCover reduction

Also remove duplicate ThreePartition -> FlowShopScheduling entry that caused
a duplicate label compilation error.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* docs(paper): add worked example for MaxCut -> MinimumCutIntoBoundedSets reduction

Also remove duplicate ThreePartition -> FlowShopScheduling prose entry
that was left over from a merge conflict.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* fix: remove duplicate SAT→NAESatisfiability prose-only entry

Leftover from parallel worktree merge — the data-driven entry
was placed at line ~10136 by the SAT→NAE agent, but the original
prose-only entry at line ~13454 was not cleaned up.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

---------

Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Co-authored-by: GiggleLiu <cacate0129@gmail.com>

Author: 3 people